We consider Brownian last passage percolation evolving dynamically via a discrete resampling procedure. Using $Î_{(0,0)}^{(n,n),r}$ to denote a geodesic from $(0,0)$ to $(n,n)$ at time $r$, we prove that the expected total number of coarse-grained changes (or "switches") accumulated by $Î_{(0,0)}^{(n,n),r}$ away from its endpoints during a time interval $[s,t]$ is at most $n^{5/3+o(1)}(t-s)$; we expect the exponent $5/3$ to be tight. Using the above estimate, we establish that the set $\mathscr{T}$ of exceptional times at which a non-trivial bi-infinite geodesic exists a.s. has Hausdorff dimension at most $1/2$. Further, for any fixed direction $θ$, we show that the set $\mathscr{T}^θ\subseteq \mathscr{T}$ of times at which a non-trivial bi-infinite geodesic directed along $θ$ exists a.s. has Hausdorff dimension equal to $0$.
Geodesic switches and exceptional times in dynamical Brownian last passage percolation
- Paper ID: 2510.27589
- Title: Geodesic switches and exceptional times in dynamical Brownian last passage percolation
- Author: Manan Bhatia (MIT)
- Classification: math.PR (Probability Theory)
- Submission Date: October 31, 2025
- Paper Link: https://arxiv.org/abs/2510.27589
This paper studies Brownian last passage percolation (BLPP) evolving dynamically through discrete resampling processes. The author proves that the expected total number of coarse-grained "switches" accumulated by geodesics from (0,0) to (n,n) during the time interval s,t is at most n5/3+o(1)(t−s), and conjectures that the exponent 5/3 is tight. Using this estimate, the author proves that the Hausdorff dimension of the exceptional time set T where nontrivial bi-infinite geodesics exist is at most 1/2. Furthermore, for any fixed direction θ, the Hausdorff dimension of the exceptional time set Tθ where nontrivial bi-infinite geodesics in direction θ exist is almost surely 0.
- Static vs. Dynamic LPP: The static model of exponential last passage percolation (LPP) has been extensively studied, but understanding of its dynamic evolution version remains limited. In the dynamic version, each vertex has an independent clock attached, and when the clock rings, the weight at that vertex is resampled.
- Noise Sensitivity: Geodesics are expected to be noise-sensitive, meaning microscopic noise causes macroscopic changes in geodesic structure. Previous research (e.g., GH24) shows that geodesic overlap undergoes a phase transition at the critical time scale n−1/3.
- Bi-infinite Geodesics (Bigeodesics): In static LPP models, nontrivial bigeodesics are conjectured to almost surely not exist, which has been verified for exponential LPP and BLPP. However, in dynamic models, bigeodesics may exist at certain "exceptional times."
- Quantitative Analysis of Geodesic Switches: Existing research primarily compares geodesic overlaps at fixed times. This paper is the first to systematically analyze the sample path behavior of geodesics during time evolution, quantifying the number of rapid oscillations.
- Dimension Bounds on Exceptional Times: Accompanying paper Bha25 proves "near-existence" of exceptional times in exponential LPP. This paper approaches from the opposite direction, providing dimension upper bounds on the exceptional time set in BLPP, demonstrating its "rarity."
- Technical Challenges: The local behavior of routed weight profiles in exponential LPP is insufficiently understood. Therefore, this paper focuses on BLPP, leveraging its Brownian Gibbs property to enable comparison with Brownian motion.
- Quantitative Estimate of Geodesic Switches (Theorem 1): Proves that the expected number of coarse-grained switches accumulated by geodesics from (0,0) to (n,n) in the time interval s,t, away from endpoints, is at most n5/3+ϵ(t−s), where the exponent 5/3 is believed to be optimal.
- Dimension Upper Bound on Exceptional Times (Theorem 3): Establishes that the Hausdorff dimension of the exceptional time set T where nontrivial bigeodesics exist is at most 1/2.
- Exceptional Times for Directional Bigeodesics (Theorem 4): For any fixed direction θ, the Hausdorff dimension of the exceptional time set Tθ where nontrivial bigeodesics in direction θ exist is almost surely 0.
- Hitset Estimate (Theorem 2): Proves that the expected cardinality of the coarse-grained point set swept by all geodesics from L−n to Ln in the time interval s,t is at most n1+ϵ+n5/3+ϵ(t−s).
- Technical Innovations:
- Develops a strategy to access all on-scale geodesics between regions via Poisson point sampling
- Establishes Brownian regularity estimates for BLPP line ensembles (adapted from Dau24)
- Proves twin peaks estimates for routed weight profiles
Dynamic BLPP Model:
- Starts from an i.i.d. family of standard Brownian motions {Wn}n∈Z
- Defines process {Xi,nt}i,n∈Z,t∈R where each (i,n) has an independent exponential clock
- When a clock rings, the path Xi,nt is independently resampled
- Defines the dynamic Brownian motion family via Wnt(x)−Wnt(⌊x⌋)=X⌊x⌋,nt(x−⌊x⌋)
- Corresponding last passage times and geodesics are denoted Tt and Γpq,t
Core Quantity Definitions:
- Geodesic Switches: For points p≤q and set K⊆R2,
Switchpq,[s,t](K)=∑r∈Tpq,[s,t]∣Coarse(K∩Γpq,r)∖Coarse(K∩Γpq,r−)∣
where Coarse(K) is the coarse-grained approximation of K.
- Hitset:
HitSetK1K2,[s,t](K)=⋃p∈K1∩ZR,q∈K2∩ZR,r∈[s,t]Coarse(Γpq,r∩K)
Intuitive Motivation (Section 3.1):
- Consider a single resampling: if point p is at transverse distance k from geodesic Γ0n, then geodesic change requires a "twin peaks" event to occur
- Twin peaks probability is estimated via Brownian motion comparison as Θ(k−3/2)
- If change occurs, by KPZ 1:2:3 scaling, the change magnitude is Θ(k3/2)
- Thus the expected change from a single update is Θ(k−3/2×k3/2)=O(1)
- In time (t−s), there are expected O((t−s)n5/3) updates (since there are n5/3 points in the n2/3 neighborhood)
- This yields total expected switches ≤n5/3+o(1)(t−s)
Technical Implementation:
- Introduces "excursion" concept: paths deviating from the geodesic
- Defines Excℓδ(m) event: existence of near-geodesic excursion at scale ℓ, position m
- Uses twin peaks estimate (Proposition 15) to prove P(Excℓδ(m))≤Cℓ−1/3+2δ
- Excludes pathological geometries via "thin excursion" estimate (Proposition 22, from GH23)
- Controls the union of all qualified excursions (Lemma 25): E[∣Pivotℓδ(m)∣2]≤C′ℓ5/3n500δ
- The critical 5/3 exponent emerges from this estimate
Challenge: Theorem 1 provides point-to-point estimates, but Theorem 2 requires estimates between segments L−n and Ln.
Strategy (Section 3.3):
- Poisson Point Sampling: Independent of dynamic BLPP, samples a Poisson point process Qn,ν with intensity n−10/3+2ν on (ZR)2
- Basin of Attraction Estimate (Proposition 28): For geodesic Γpq, defines its "basin of attraction"
Basinnδ(Γpq)={(p′,q′):Γp′q′∩[−(1−γ)n,(1−γ)n]R=Γpq∩[−(1−γ)n,(1−γ)n]R}
Proves ∣Basinnδ(Γpq)∣hor≥n10/3−2δ with superpolynomial high probability
- Coverage Lemma (Proposition 30): With stretched exponential high probability, all geodesics between on-scale regions can be accessed by geodesics between Poisson points
- Since ∣Qn,ν∣=O(n5δ), the problem reduces to O(n5δ) point-to-point estimates
Key Observation (Section 3.4):
- By Proposition 13, any nontrivial bigeodesic Γt stays within distance n2/3+ϵ of its direction line within [−n,n]R
- Defines on-scale parallelogram Bn=Bn2/3(L−nn)∩[[−n/2,n/2]]R, with ∣Bn∣=Θ(n5/3)
- If 0∈Γt for some t∈[s,s+n−2/3], then
P(0∈Coarse(Γuv,r) for some r∈[s,s+n−2/3],u∈L−n,v∈Ln)≲∣Bn∣1E[∣HitSetL−nLn,[s,s+n−2/3]∣]≲n−5/3(n1+δ+n5/3+δ⋅n−2/3)=O(n−2/3+δ)
- Covers [0,1] with n2/3 intervals of length n−2/3, expecting O(nδ) intervals containing exceptional times
- Yields dimT0θ=0
- Scale and Position Decomposition of Geodesic Switches: Introduces Switch0n,[s,t](ℓ,m) to quantify contributions at scale ℓ and position m, recovering total switches via logarithmic scale summation.
- Connection Between Excursions and Near-Geodesics: Lemma 18 establishes precise relationship between Γ0n,r∖Γ0n,r− and excursions, providing structure for analysis.
- Moment Estimates for Pivot Sets: Through peak counting (Proposition 14) and twin peaks estimates (Proposition 15), precisely controls E[∣Pivotℓδ(m)∣2], yielding the critical 5/3 exponent.
- BLPP Version of Brownian Regularity: Adapts Dau24's Airy line ensemble results to BLPP (Propositions 58, 59), overcoming technical difficulties from BLPP's finite domain.
- Lower Bound on Basin Volume: Uses volume accumulation ideas from BB23 (Proposition 29), combined with transverse fluctuation estimates, to obtain stretched exponential probability lower bounds on basin volume.
This is a pure theoretical mathematics paper with no numerical experiments. All results are rigorous mathematical proofs.
- BLPP Foundational Estimates:
- Moderate deviation estimates (Propositions 5, from LR10, DV21a)
- Transverse fluctuation estimates (Propositions 8, 9, from GH23, BBBK25)
- Brownian Gibbs property of line ensembles
- Connection Between Dynamic and Static BLPP (Lemma 10): Conditioned on resampling times, the BLPP distribution at each time is that of static BLPP.
- Directionality of Infinite Geodesics (Propositions 12, 13): Adapts Newman-Howard-Newman argument to dynamic BLPP, proving semi-infinite geodesics are θ-directed and non-axial.
- Peak Estimates for Routed Weight Profiles (Proposition 14): Uses Brownian comparison to control ∣Peak(nδ)∩{m}R∣≤n200δ.
Theorem 1 (Geodesic Switches):
Fix β∈(0,1/2) and ϵ>0. For all sufficiently large n and all [s,t]⊆R,
E[Switch0n,[s,t]([[βn,(1−β)n]]R)]≤n5/3+ϵ(t−s)
Theorem 2 (Hitset Estimate):
Fix γ∈(0,1). For any ϵ>0 and all sufficiently large n,
E[∣HitSetL−nLn,[s,t]([[−(1−γ)n,(1−γ)n]]R)∣]≤n1+ϵ+n5/3+ϵ(t−s)
Theorem 3 (Exceptional Time Dimension):
For dynamic BLPP, almost surely dimT≤1/2.
Theorem 4 (Directional Exceptional Times):
For dynamic BLPP and fixed direction θ∈(0,∞), almost surely dimTθ=0.
- Twin Peaks Estimate (Proposition 15): For β′∈(0,1/2), δ∈(0,1/6), all ℓ≤n and m∈[[β′n,(1−β′)n]],
P(TPℓ,m)≤Cℓ−1/3+2δ
where TPℓ,m is the event that the routed profile has ≤ℓδ suboptimal peaks at distances ≥ℓ2/3−δ.
- Basin Volume (Proposition 28): There exist constants c,C,δ0 such that for δ<δ0,
P(∣Basinnδ(Γpq)∣hor≤n10/3−2δ)≤Ce−cn3δ/11
- Coverage Event (Proposition 30): The Poisson point process Qn,ν accesses all geodesic basins with probability ≥1−Ce−cn3δ/11−Ce−cn2ν−2δ.
- Origin of the 5/3 Exponent:
- Expected change from single update O(1) (via twin peaks)
- n5/3 points in n2/3 neighborhood
- Expected O((t−s)n5/3) updates in time (t−s)
- Origin of 1/2 Dimension Upper Bound:
- Hitset expectation ∼n1+δ+n5/3+δ(t−s)
- Taking t−s=n−2/3 yields probability O(n−2/3+δ)
- Covering [0,1] with n2/3 intervals, expected coverage O(nδ)
- Interval length n−2/3=(n−2/3)−1/2−21δ/2
- Yields dimension ≤1/2+21δ/2, letting δ→0 gives ≤1/2
- Origin of 0 Dimension: For directional bigeodesics, directly uses hitset estimate without special time scaling, obtaining stronger dimension 0 conclusion.
- Non-existence of Bigeodesics:
- BHS22, BBS20: Nontrivial bigeodesics almost surely don't exist in exponential LPP
- RS24: Corresponding result for BLPP
- LN96: Fixed-direction bigeodesics don't exist in first passage percolation
- Directionality of Geodesics:
- New95, HN01: Classical arguments by Newman and Howard-Newman
- FP05: Implementation in exponential LPP
- This paper, Propositions 12, 13: Adaptation to dynamic BLPP
- Phase Transition in Geodesic Overlap:
- Cha14: General theory of noise sensitivity
- GH24: Phase transition in BLPP geodesic overlap at time scale n−1/3
- ADS24: Related stability-to-chaos research
- Complementarity with Bha25:
- Bha25: "Near-existence" result for exceptional times in exponential LPP
- This paper: Dimension upper bounds on exceptional time sets in BLPP
- Both replace earlier preprint arXiv:2504.12293v1
- Brownian Gibbs Property of Line Ensembles:
- CH14: Brownian Gibbs property of Airy line ensemble
- Ham22, CHH23: Brownianity of BLPP weight profiles
- Dau24: Wiener density of Airy line ensemble
- This paper, Appendix 8: Adaptation of Dau24 to BLPP
- Twin Peaks Estimates:
- GH23: Twin peaks for BLPP routed profiles
- SSZ24: Corresponding result for exponential LPP
- This paper, Proposition 15: Twin peaks in more general setting
- Basin Volume:
- BB23: Volume accumulation for semi-infinite and finite geodesics in exponential LPP
- This paper, Proposition 29: Adaptation to BLPP
- Key for Poisson point sampling strategy
- Transverse Fluctuation Estimates:
- GH23: Macro and meso transverse fluctuations for BLPP
- BBBK25: Refined version of meso transverse fluctuations
- This paper, Lemma 50: Meso transverse fluctuations in dynamic setting
- Quantitative Noise Sensitivity: The n5/3(t−s) upper bound on geodesic switches provides the first quantitative characterization of geodesic noise sensitivity, with the 5/3 exponent believed to be optimal.
- Rarity of Exceptional Times:
- Exceptional time set where nontrivial bigeodesics exist has dimension ≤1/2
- For fixed-direction bigeodesics, exceptional time dimension =0
- Contrasts with "near-existence" result in accompanying paper Bha25
- Methodological Contributions:
- Poisson point sampling strategy for accessing on-scale geodesics has universal applicability
- Establishment of BLPP Brownian regularity estimates
- Framework for scale-decomposition analysis of geodesic switches
- Model Restrictions:
- Main results only proven for BLPP, not covering exponential LPP
- Reason: Local behavior of routed weight profiles in exponential LPP insufficiently understood
- Accompanying paper Bha25 proves complementary "near-existence" result for exponential LPP
- Non-tightness of Dimension Upper Bound:
- Author conjectures dimT=0 (rather than 1/2)
- Theorem 4 only proves dimension 0 for fixed direction, not for union over all directions
- Bha25, Conjecture 4: Conjectures T should be empty or a singleton
- Non-tightness of 5/3 Exponent:
- While 5/3 is expected to be tight, no lower bound is provided
- Heuristic arguments support 5/3, but lack rigorous lower bound proof
- Sub-optimality of Technical Details:
- Factor n500δ in Proposition 17 not carefully optimized
- 1/2 dimension upper bound in Theorem 3 may not be tight
- Generalization to Exponential LPP:
- Develop local theory of routed weight profiles in exponential LPP
- Prove corresponding geodesic switch estimates
- Unify treatment of BLPP and exponential LPP
- Exact Dimension Values:
- Prove dimT=0 (or provide counterexample)
- Prove dimension 0 for union ⋃θTθ over all directions
- Improve 1/2 upper bound to 0
- Lower Bounds on 5/3 Exponent:
- Construct configurations showing n5/3(t−s) lower bound
- Understand deep connection between 5/3 and KPZ 1:2:3 scaling
- Generalization to Other KPZ Models:
- Corresponding problems in directed landscape
- Other integrable models (e.g., log-gamma polymer)
- Non-integrable first passage percolation
- Fine Structure of Dynamics:
- Spatial distribution of geodesic switches
- Fine topological structure of exceptional times
- Quantitative characterization of geodesic chaos
- Pioneering Problem:
- First systematic study of sample path behavior of geodesics in dynamic LPP
- Quantitative estimate of geodesic switch count fills important gap
- Provides new perspective on understanding KPZ universality class dynamics
- Technical Innovation:
- Poisson Point Sampling Strategy: Elegantly lifts point-to-point estimates to on-scale estimates, with universal application potential
- Scale Decomposition: Introduction of Switch0n,[s,t](ℓ,m) provides refined analytical framework
- Brownian Regularity: Adaptation of Dau24 to BLPP overcomes technical difficulties, laying foundation for future work
- Proof Rigor:
- 60-page detailed proof including 5 appendices handling technical details
- Clear distinction between heuristic arguments (Section 3) and rigorous proofs (Sections 4-6)
- Complete treatment of foundational properties of dynamic BLPP (e.g., geodesic uniqueness, directionality)
- Result Depth:
- Appearance of 5/3 exponent reveals deep connection between geodesic dynamics and KPZ scaling
- Dimension estimates introduce topological methods to dynamic LPP research
- Complementarity with Bha25 demonstrates problem richness
- Writing Quality:
- Section 3 proof overview is clear and intuitive, with beautiful illustrations
- Technical details well-organized, appendices independently readable
- Consistent notation system facilitates tracking complex arguments
- Model Limitations:
- BLPP Only: Main results don't cover more physically meaningful exponential LPP
- Discrete Dynamics: Uses discrete resampling rather than continuous Ornstein-Uhlenbeck dynamics
- Planar Restriction: Only considers Z2 model, not generalized to higher dimensions
- Non-optimality of Results:
- Dimension Upper Bound: 1/2 expected improvable to 0, but technically not achieved
- Theorem 3 vs. Theorem 4: For union over all directions only get 1/2, for single direction get 0, creating gap
- Sub-optimal Constants: Factors like n500δ clearly not tight
- Missing Lower Bounds:
- 5/3 Exponent: While expected optimal, no matching lower bound provided
- Dimension Lower Bounds: No discussion of whether dimT could be >0
- Exceptional Time Structure: No characterization of fine properties of T (e.g., whether countable)
- Technical Dependencies:
- Brownian Gibbs Property: Key results depend on BLPP's special structure, difficult to generalize
- Reliance on Existing Results: Heavy use of deep results from GH23, Dau24, BB23, limited independence
- Appendix Complexity: Adaptation of Dau24 arguments occupies substantial space, increasing reading difficulty
- Insufficient Physical Intuition:
- Origin of 5/3 Exponent: While heuristic argument provided, deep connection to KPZ scaling insufficiently clarified
- Bigeodesic Emergence Mechanism: Lacks intuitive explanation of mechanism for bigeodesic appearance
- Connection to Other KPZ Quantities: No discussion of relationship to fluctuation exponents, correlation lengths, etc.
- Contribution to Field:
- New Direction: Opens new direction of sample path analysis of geodesics in dynamic LPP
- Methodology: Poisson point sampling strategy potentially applicable to other point-to-region lifting problems
- Foundational Tools: BLPP Brownian regularity estimates (Appendix 8) will be cited in future work
- Practical Value:
- Theoretical Significance: Primarily pure mathematics results, limited direct practical value
- Concept Clarification: Provides precise quantitative characterization of "noise sensitivity"
- Conjecture Support: Provides partial evidence for dimT=0 conjecture
- Reproducibility:
- Pure Theory: No numerical experiments, reproducibility manifested in proof verifiability
- Detail Level: 60-page detailed proof and appendices support independent verification
- Dependencies: All cited results explicitly listed, facilitating traceability
- Follow-up Research:
- Direct Generalizations: Corresponding results for exponential LPP, similar problems in other KPZ models
- Refinements: Improved dimension bounds, proof of 5/3 exponent tightness
- New Problems: Fine structure of exceptional times, spatial distribution of geodesic switches
- Probability Theory Research:
- Geodesic research in random geometry
- Quantitative analysis of noise sensitivity
- Sample path behavior of dynamic random systems
- Mathematical Physics:
- Dynamics of KPZ universality class
- Time evolution of growth models
- Dynamic properties of integrable systems
- Method Borrowing:
- Poisson point sampling strategy potentially applicable to:
- Other problems requiring point-to-region lifting
- Scenarios using "basin of attraction" ideas
- Research on geodesic merging phenomena
- Scale decomposition analysis potentially applicable to:
- Other problems involving multi-scale behavior
- Scenarios requiring fine control of different scale contributions
- Inapplicable Scenarios:
- Non-integrable or weakly integrable models (lacking Brownian Gibbs property)
- High-dimensional models (methods highly dependent on planar geometry)
- Applications requiring exact constants (results only give asymptotic orders)
- GH24 Ganguly & Hammond (2024): "Stability and chaos in dynamical last passage percolation" - Phase transition in geodesic overlap
- Dau24 Dauvergne (2024): "Wiener densities for the Airy line ensemble" - Brownian regularity of Airy line ensemble
- BB23 Basu & Bhatia (2023): "A Peano curve from mated geodesic trees in the directed landscape" - Volume accumulation estimates
- GH23 Ganguly & Hammond (2023): "The geometry of near ground states in Gaussian polymer models" - Twin peaks estimates and transverse fluctuations
- Bha25 Bhatia (2025): "Near-existence of bigeodesics in dynamical exponential last passage percolation" - Accompanying paper, complementary result for exponential LPP
- BHS22 Basu, Hoffman & Sly (2022): "Nonexistence of Bigeodesics in Planar Exponential Last Passage Percolation" - Non-existence of bigeodesics in static exponential LPP
- RS24 Rassoul-Agha & Sweeney (2024): "Shocks and instability in Brownian last-passage percolation" - Non-existence of bigeodesics in static BLPP
Overall Assessment: This is an excellent theoretical paper with deep technical content and novel results. The author is the first to systematically study sample path behavior of geodesics in dynamic LPP, establishing the pioneering result that geodesic switch count has upper bound n5/3(t−s), with the 5/3 exponent believed optimal. The appearance of the 5/3 exponent reveals deep connection between geodesic dynamics and KPZ scaling. Technical innovations like Poisson point sampling have universal application potential. The paper's main limitations are restriction to BLPP (not covering exponential LPP) and non-tightness of dimension bounds. Nevertheless, this paper opens new directions for studying dynamic KPZ systems and is expected to have significant follow-up impact.