Search papers, labs, and topics across Lattice.
This paper establishes an exact finite-length theory for the uniform car-parking process, detailing how cars park in a one-dimensional space of length \( s \) until no further cars can fit. The authors resolve the joint density of parked positions into jamming cells, utilizing a subset recursion method that operates in \( O(2^n n) \) time, and derive hyperlogarithmic forms for marginal and gap order statistics. Key findings include the formulation of absorption counts and aggregate quantities through an integral equation based on R\'enyi's theory, providing a comprehensive mathematical framework for understanding this parking model.
The joint density of parked cars can be expressed as a rational function, revealing intricate spatial laws that govern parking dynamics.
The uniform car-parking process is the one-dimensional random sequential adsorption of unit cars on a segment of finite length $s$: cars arrive at uniformly random positions and park wherever they fit, until no gap admits another. This paper develops the exact finite-$s$ theory. The joint density of the parked positions is resolved into jamming cells, on each of which it is a rational function, and evaluated by a subset recursion in $O(2^n n)$ operations; the marginal and gap order statistics are obtained as hyperlogarithms whose weight is fixed by the number of coordinates integrated out; and the absorption count and the aggregate quantities are treated through the integral equation descending from R\'enyi.
