In the parking model on , each vertex is initially occupied by a car (with probability ) or by a vacant parking spot (with probability ). Cars perform independent random walks and when they enter a vacant spot, they park there, thereby rendering the spot occupied. Cars visiting occupied spots simply keep driving (continuing their random walk). It is known that is a critical value in the sense that the origin is a.s. visited by finitely many distinct cars when , and by infinitely many distinct cars when . Furthermore, any given car a.s. eventually parks for $p \leq 1/2p > 1/2$. We study the subcritical phase and prove that the tail of the parking time of the car initially at the origin obeys the bounds for sufficiently small. For , we prove these inequalities for all . This result presents an asymmetry with the supercritical phase (), where methods of Bramson–Lebowitz imply that for the corresponding tail of the parking time of the parking spot of the origin decays like . Our exponent also differs from those previously obtained in the case of moving obstacles.

生成讲解博客的中文版本

生成AI智能校验的中文版本