Stationary Distributions and First-Passage Observables
A stationary density and a first-passage distribution answer different questions. The first describes probability after relaxation under a specified current condition; the second describes when a trajectory first reaches a declared boundary. Both depend on the field domain and boundary conditions, and neither by itself defines a volume-weighted measure for eternal inflation.
Required background. Langevin and Fokker–Planck dynamics fixes the stochastic calculus and probability current; stochastic coarse-graining fixes the long field and noise normalization; and Fokker–Planck evolution supplies forward and backward generators. Helpful background. Open-system noise and dissipation explains when the Markov reduction is licensed; detailed balance and fluctuation–dissipation clarifies zero-current equilibrium; and Hawking–Moss and stochastic crossover supplies the gravitational comparison.
Probability current and stationary measures
Section titled “Probability current and stationary measures”Consider one light spectator field in fixed de Sitter space, with negligible gravitational backreaction, a coarse-graining prescription that gives additive white noise, and cosmic time . At leading order its Itô equation is
Write for the mobility, for the diffusion coefficient, and for the effective stochastic scale. has the dimensions of a potential-energy density; it is not the de Sitter temperature . The probability density satisfies with
Setting gives
On a finite interval with reflecting endpoints and a smooth potential, is finite and this is the unique normalized stationary density. On the line, normalizability and the boundary behavior must be checked separately. On a circle, a single-valued periodic potential with this constant diffusion admits the periodic zero-current density. A nonzero stationary current instead requires a different steady-flow problem, such as a driven system. These statements concern comoving histories; physical-volume reproduction changes the evolution equation.
Existence of a stationary density does not say that a finite-duration state has reached it. On the reflecting finite interval, deviations decay in eigenmodes of the Fokker–Planck operator; the smallest positive decay eigenvalue gives the longest relaxation time . A high barrier makes interwell equilibration much slower than relaxation inside either well. For the fixed-background scalar problem, see Starobinsky and Yokoyama 1994, §III, Eqs. (12), (14)–(21).
First-passage boundary problem
Section titled “First-passage boundary problem”Now change the experiment: reflect at and stop at . Define for the reflected process started at . The survival probability and hitting-time density are
The backward generator is . Thus , with in the interior, , and . Integrating over time gives and
The reflecting condition prevents probability loss at ; the absorbing condition stops the clock at . Two absorbing endpoints define a different exit problem. In particular, a normalized equilibrium density on a reflecting domain is not a stationary density for a killed process: survival mass decreases through its absorber.
Multiplying the backward equation by makes it an exact derivative,
Integrate from to , use , then integrate from to using . This yields the exact one-dimensional answer
Both integration limits matter. This derivation also gives in the interior and , useful sign checks. The same overdamped first-passage integral and its dependence on the exit surface appear in Hofmann and Ivanyuk 2003, Eq. (2) and Fig. 3, with their friction and temperature replacing and .
First application: escape from a bounded spectator well
Section titled “First application: escape from a bounded spectator well”Take a confining double-well potential and bound the sampled field domain explicitly:
For equilibrium use with both endpoints reflecting. For first passage start at , reflect at , and absorb either at the saddle or at . The latter stops a trajectory on the descending side, before the right minimum. The potential itself is bounded below and grows quartically on the line; “bounded” here specifies the field domain.
Let , , and . For , the inner integral in samples a full Gaussian around the left minimum. With an absorber exactly at the saddle, the outer integral samples only the left half of its Gaussian. Consequently,
If the absorber lies many saddle widths beyond the top, while still preceding the next well, the outer Gaussian is complete. The leading time doubles and its inverse becomes the usual overdamped crossing estimate
Within the locally quadratic saddle region the interpolation is
This boundary effect changes the leading prefactor. A trajectory that first touches the saddle can return to the original well; reaching a surface beyond the saddle includes such repeated attempts. The difference is therefore not merely downhill travel time. The half-time at the saddle is also explicitly identified in Hofmann and Ivanyuk 2003, discussion of Fig. 3. Interpreting as a constant decay rate further requires a metastable regime with intrawell relaxation much faster than escape; in general the hazard depends on time.
Numerical comparison
Section titled “Numerical comparison”Rescale the field and time to
All times below are measured in ; multiply them by for cosmic time. The stationary density on is and . Direct quadrature gives
| Barrier-to-noise ratio | ||
|---|---|---|
| 2 | 1.410915 | 0.852136 |
| 4 | 0.947838 | 0.917671 |
The mean is zero by reflection symmetry; normalization on a finite reflecting interval is exact after division by . Halving the integration spacing from to changes the second moments by less than .
For first passage, two independent numerical constructions can now be compared. The continuum mean comes from the nested integral above. The trajectory construction approximates the diffusion by a continuous-time nearest-neighbor jump process on with rates
At the reflecting node set and double ; the absorbing node has no outgoing transitions. The interior generator tends to with error on smooth functions. Adjacent interior rates obey detailed balance with ; the reflecting endpoint has half the interior quadrature weight. This fixes the boundary discretization independently of the trajectory data.
At each visited node, draw independent uniforms in . Advance time by and jump right if , otherwise left. The exponential waiting law and rate-weighted channel selection are the direct stochastic simulation algorithm of Gillespie 1977, §IIIC, Eqs. (21a)–(21b). This simulation is exact for the chosen grid generator; approximation to a continuous field still requires spatial refinement.
An independent deterministic check solves that grid generator’s backward equation. If , then
where . Starting at , 6,000 completed trajectories for each case at give:
| Absorber | Continuum mean | Exact grid mean | Trajectory mean ± approximate 95% sampling interval half-width | |
|---|---|---|---|---|
| 2 | 0 | 18.4262 | 18.4007 | 18.3730 ± 0.4493 |
| 2 | 0.5 | 35.0270 | 34.9739 | 34.6119 ± 0.8496 |
| 4 | 0 | 135.7830 | 135.2711 | 136.3560 ± 3.4340 |
| 4 | 0.5 | 263.6999 | 262.6920 | 262.6902 ± 6.5188 |
The reported half-width is times the sample standard error; it is an approximate normal interval, not a rigorous finite-sample bound. No trajectory was discarded or censored. Every sample mean is within standard errors of its independently solved grid mean. Sampling error and grid bias are different: across these four cases the maximum relative bias falls from at to at and at . Moving the continuum reflector from to changes these means by less than relative, so the chosen cutoff is immaterial at the shown precision.
The same trajectories estimate finite-duration survival. For example, at , , and the surviving fraction is with binomial standard error . This is close to for this example; it does not assume that the entire hitting-time distribution is exponential. The accompanying data give survival at half, one, and twice each grid mean, together with its sampling error.
Finally, high barriers test the asymptotic prefactor without the exponentially expensive task of waiting for ordinary trajectories to escape. With in dimensionless time, direct continuum quadrature gives:
| 20 | 0.510000 | 1.019982 |
| 40 | 0.504834 | 1.009669 |
| 80 | 0.502379 | 1.004759 |
The limiting values are and . For the fixed absorber , the number of saddle widths grows as , so it enters the full-Gaussian regime as increases. The finite- departures from those limits remain after quadrature refinement; they are corrections to the asymptotic approximation.
The calculation record contains the parameters, numerical results, grid refinements, fixed random seeds, completed trajectory counts, and uncertainty estimates. From a checkout of the site source, reproduce it with node scripts/benchmark-stationary-first-passage.mjs --check. The dependency-free Node script recomputes the record, checks discrete detailed balance, verifies refinement and trajectory agreement, and compares all stored results with the recomputation. Use --write to regenerate the data, or --quick for a smaller exploratory ensemble. The high-barrier integration evaluates to keep exponentials within numerical range.
The structure map separates normalization and zero-current relaxation from absorbing-boundary observables. Inspect where the boundary data enter before interpreting a rate.
Stationarity requires normalizable zero-current evolution, whereas a hitting distribution requires declared absorbing and reflecting surfaces. Schematic; not to scale.
Domain and failure conditions
Section titled “Domain and failure conditions”Use the chapter’s domain table. The formulas assume a single Markov coordinate, fixed , additive leading noise, negligible energy transfer to the geometry, and a comoving probability density. In a physical spectator application also check that over the sampled field range and that its energy density is small compared with the background. A large by itself establishes neither condition: barrier height relative to noise and lightness relative to are separate parameters. With field-dependent , multiplicative noise, curved field space, or memory, return to the appropriate generator and measure before imposing boundaries.
The benchmark checks the stated diffusion model, not its derivation from a full interacting quantum field theory. It also tests neither volume weighting nor a changing inflationary background. If the available de Sitter duration is short compared with equilibration or escape, report finite-time for the specified initial state. For very rare events, direct trajectories require many completed escapes to estimate the mean; a collection of trajectories that has not escaped is censored data and cannot be averaged as though its stopping times were known.
The failure map rejects equilibrium claims with nonnormalizable densities or hidden flux, and it rejects decay rates whose boundary or duration is unspecified. Time-dependent backgrounds pass to quasi-de Sitter validity; genuine gravitational saddle comparisons pass to Hawking–Moss and stochastic crossover.
Equilibrium, hitting probabilities, and escape rates have distinct normalization, boundary, duration, and backreaction tests. Schematic; not to scale.
Exercises
Section titled “Exercises”A flat-potential check. Set on a reflecting–absorbing interval . Evaluate and check its dimensions and both boundary conditions.
Solution
The inner integral is , so
It obeys , , and . Since has units of field squared per time, the result has units of time. There is no barrier and no justified Kramers exponential.
A boundary within the saddle region. For an absorber at , what fraction of is obtained at leading order? Explain why “slightly beyond the top” is not a sufficient specification.
Solution
The fraction is . At it is ; it tends to only for . The relevant displacement is measured in noise-dependent saddle widths. An absorber that approaches the saddle while tends to zero can therefore retain an intermediate prefactor.
References
Section titled “References”- Gillespie, D. T., “Exact Stochastic Simulation of Coupled Chemical Reactions,” The Journal of Physical Chemistry 81(25), 2340–2361 (1977), doi:10.1021/j100540a008.
- Hofmann, H., and F. A. Ivanyuk, “Mean First Passage Time for Nuclear Fission and the Emission of Light Particles,” Physical Review Letters 90, 132701 (2003), doi:10.1103/PhysRevLett.90.132701. Open PDF.
- Starobinsky, A. A., and J. Yokoyama, “Equilibrium State of a Self-Interacting Scalar Field in the de Sitter Background,” Physical Review D 50, 6357–6368 (1994), doi:10.1103/PhysRevD.50.6357.
Original QFT.org content:CC BY 4.0, unless an item supplies different terms. Third-party material retains its own terms.