Recognition: 2 theorem links
· Lean TheoremThe directed landscape in half-space
Pith reviewed 2026-05-11 01:47 UTC · model grok-4.3
The pith
Two half-space models in the KPZ class converge to the same random directed metric in the half-plane.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that exponential last-passage percolation and Poisson-avoiding metrics generalizing colored TASEP converge to the directed landscape in half-space, a random directed metric in the half-plane indexed by a boundary-interaction parameter. We characterize this landscape via the half-space KPZ fixed point, establish convergence of geodesics, and construct explicit joint stationary measures for the log-gamma polymer, the KPZ equation, exponential and geometric last-passage percolation, and the directed landscape itself.
What carries the argument
The directed landscape in half-space, a random directed metric on the half-plane whose boundary interaction strength is controlled by a single real parameter.
Load-bearing premise
The two models obey the exact scaling and technical conditions that allow their large-scale limits to coincide with the half-space KPZ fixed point.
What would settle it
Numerical computation of scaled passage times or distance distributions from the two models that remain measurably different after the boundary parameter is matched and system size is taken large.
Figures
read the original abstract
We prove that two half-space models in the KPZ universality class, exponential last-passage percolation and a family of Poisson-avoiding metrics generalizing colored TASEP, converge to a common scaling limit. This scaling limit is the directed landscape in half-space, a random directed metric in the half-plane indexed by a parameter which determines the strength of the boundary interaction. As part of our analysis, we characterize the half-space directed landscape in terms of the half-space KPZ fixed point, and prove convergence of geodesics. We also give an explicit construction of joint stationary measures (or horizons) in half-space for the log-gamma polymer, the KPZ equation, exponential and geometric last passage percolation, and the directed landscape itself.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves convergence of two half-space models from the KPZ universality class—exponential last-passage percolation and a family of Poisson-avoiding metrics generalizing colored TASEP—to a common scaling limit called the directed landscape in half-space. This limit is a random directed metric on the half-plane indexed by a boundary interaction parameter. The analysis includes a characterization of the half-space directed landscape in terms of the half-space KPZ fixed point, convergence of geodesics, and explicit constructions of joint stationary measures (horizons) for the log-gamma polymer, KPZ equation, exponential and geometric LPP, and the directed landscape itself.
Significance. If the convergence and characterization results hold, this is a substantial contribution to the rigorous understanding of KPZ models with boundaries. It unifies half-space models under a single scaling limit, provides a characterization that enables further analysis, and supplies explicit stationary measures that are likely to be useful for studying fluctuations, geodesics, and related objects. The explicit constructions and geodesic convergence strengthen the manuscript's utility for the field.
minor comments (2)
- In the abstract and introduction, the precise range and scaling of the boundary interaction parameter could be stated more explicitly to clarify the indexing of the limit object.
- Notation for the half-space KPZ fixed point and its relation to the directed landscape should be cross-referenced consistently across the characterization theorem and the stationary measure constructions.
Simulated Author's Rebuttal
We thank the referee for their positive summary, recognition of the significance of the results, and recommendation to accept the manuscript. The referee's description accurately reflects the paper's contributions on convergence to the half-space directed landscape, its characterization via the half-space KPZ fixed point, geodesic convergence, and the explicit stationary measures.
Circularity Check
No significant circularity detected in convergence proof
full rationale
The manuscript establishes convergence of exponential last-passage percolation and Poisson-avoiding metrics to the directed landscape in half-space by direct characterization through the half-space KPZ fixed point, together with explicit stationary measure constructions and geodesic convergence arguments. All load-bearing steps rely on stated technical conditions on boundary scaling and model approximations that are verified within the proofs rather than presupposed by the target object. No equations reduce by construction to fitted inputs, no uniqueness is imported solely via self-citation chains, and the limit object is defined externally via the convergence statement itself rather than self-referentially.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Axioms of real analysis and probability theory for defining limits and random processes
invented entities (1)
-
Directed landscape in half-space
no independent evidence
Lean theorems connected to this paper
-
Foundation/RealityFromDistinction.leanreality_from_one_distinction unclearWe prove that two half-space models... converge to a common scaling limit. This scaling limit is the directed landscape in half-space... characterized in terms of the half-space KPZ fixed point
-
Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearTheorem 1.15... triangle inequality, independent increments, KPZ fixed point marginals
Reference graph
Works this paper leans on
-
[1]
Gideon Amir, Omer Angel, and Benedek Valk\'o. The TASEP speed process. Ann. Probab. , 39(4):1205--1242, 2011
work page 2011
-
[2]
Scaling limit of the colored ASEP and stochastic six-vertex models
Amol Aggarwal, Ivan Corwin, and Milind Hegde. Scaling limit of the colored ASEP and stochastic six-vertex models. arXiv:2403.01341, 2024
-
[3]
Gideon Amir, Ivan Corwin, and Jeremy Quastel. Probability distribution of the free energy of the continuum directed random polymer in 1+1 dimensions. Comm. Pure Appl. Math. , 64(4):466--537, 2011
work page 2011
-
[4]
Jinho Baik, Guillaume Barraquand, Ivan Corwin, and Toufic Suidan. Facilitated exclusion process. In Computation and combinatorics in dynamics, stochastics and control , volume 13 of Abel Symp. , pages 1--35. Springer, Cham, 2018
work page 2018
-
[5]
Pfaffian S chur processes and last passage percolation in a half-quadrant
Jinho Baik, Guillaume Barraquand, Ivan Corwin, and Toufic Suidan. Pfaffian S chur processes and last passage percolation in a half-quadrant. Ann. Probab. , 46(6):3015--3089, 2018
work page 2018
-
[6]
Guillaume Barraquand, Alexei Borodin, Ivan Corwin, and Michael Wheeler. Stochastic six-vertex model in a half-quadrant and half-line open asymmetric simple exclusion process. Duke Math. J. , 167(13):2457--2529, 2018
work page 2018
-
[7]
Littelmann paths and B rownian paths
Philippe Biane, Philippe Bougerol, and Neil O'Connell. Littelmann paths and B rownian paths. Duke Math. J. , 130(1):127--167, 2005
work page 2005
-
[8]
Local stationarity in exponential last-passage percolation
M\'arton Bal\'azs, Ofer Busani, and Timo Sepp\"al\"ainen. Local stationarity in exponential last-passage percolation. Probab. Theory Related Fields , 180(1-2):113--162, 2021
work page 2021
-
[9]
Stationary measures for the log-gamma polymer and KPZ equation in half-space
Guillaume Barraquand and Ivan Corwin. Stationary measures for the log-gamma polymer and KPZ equation in half-space. Ann. Probab. , 51(5):1830--1869, 2023
work page 2023
-
[10]
Stationary measures for integrable polymers on a strip
Guillaume Barraquand, Ivan Corwin, and Zongrui Yang. Stationary measures for integrable polymers on a strip. Invent. Math. , 237(3):1567--1641, 2024
work page 2024
-
[11]
On the distribution of the length of the longest increasing subsequence of random permutations
Jinho Baik, Percy Deift, and Kurt Johansson. On the distribution of the length of the longest increasing subsequence of random permutations. J. Amer. Math. Soc. , 12(4):1119--1178, 1999
work page 1999
-
[12]
Permutation invariance in last-passage percolation and the distribution of the busemann process
Erik Bates, Elnur Emrah, James Martin, Timo Sepp \"a l \"a inen, and Evan Sorensen. Permutation invariance in last-passage percolation and the distribution of the busemann process. arXiv:2506.12641, 2025
-
[13]
Ofer Busani and Patrik L. Ferrari. Universality of the geodesic tree in last passage percolation. Ann. Probab. , 50(1):90--130, 2022
work page 2022
-
[14]
Ferrari, and Alessandra Occelli
Dan Betea, Patrik L. Ferrari, and Alessandra Occelli. Stationary half-space last passage percolation. Comm. Math. Phys. , 377(1):421--467, 2020
work page 2020
-
[15]
Lectures on integrable probability
Alexei Borodin and Vadim Gorin. Lectures on integrable probability. In Probability and statistical physics in S t. P etersburg , volume 91 of Proc. Sympos. Pure Math. , pages 155--214. Amer. Math. Soc., Providence, RI, 2016
work page 2016
-
[16]
Time correlation exponents in last passage percolation
Riddhipratim Basu and Shirshendu Ganguly. Time correlation exponents in last passage percolation. In In and out of equilibrium 3. C elebrating V ladas S idoravicius , volume 77 of Progr. Probab. , pages 101--123. Birkh\"auser/Springer, Cham, [2021] 2021
work page 2021
-
[17]
Riddhipratim Basu, Shirshendu Ganguly, and Lingfu Zhang. Temporal correlation in last passage percolation with flat initial condition via B rownian comparison. Comm. Math. Phys. , 383(3):1805--1888, 2021
work page 2021
-
[18]
Moderate deviation and exit time estimates for stationary last passage percolation
Manan Bhatia. Moderate deviation and exit time estimates for stationary last passage percolation. J. Stat. Phys. , 181(4):1410--1432, 2020
work page 2020
-
[19]
The geometric B urge correspondence and the partition function of polymer replicas
Elia Bisi, Neil O'Connell, and Nikos Zygouras. The geometric B urge correspondence and the partition function of polymer replicas. Selecta Math. (N.S.) , 27(5):Paper No. 100, 39, 2021
work page 2021
-
[20]
Jinho Baik and Eric M. Rains. Algebraic aspects of increasing subsequences. Duke Math. J. , 109(1):1--65, 2001
work page 2001
-
[21]
Jinho Baik and Eric M. Rains. The asymptotics of monotone subsequences of involutions. Duke Math. J. , 109(2):205--281, 2001
work page 2001
-
[22]
Jinho Baik and Eric M. Rains. Symmetrized random permutations. In Random matrix models and their applications , volume 40 of Math. Sci. Res. Inst. Publ. , pages 1--19. Cambridge Univ. Press, Cambridge, 2001
work page 2001
-
[23]
Last Passage Percolation with a Defect Line and the Solution of the Slow Bond Problem
Riddhipratim Basu, Vladas Sidoravicius, and Allan Sly. Last passage percolation with a defect line and the solution of the slow bond problem. arXiv:1408.3464, 2014
work page Pith review arXiv 2014
-
[24]
The stationary horizon and semi-infinite geodesics in the directed landscape
Ofer Busani, Timo Sepp\"al\"ainen, and Evan Sorensen. The stationary horizon and semi-infinite geodesics in the directed landscape. Ann. Probab. , 52(1):1--66, 2024
work page 2024
-
[25]
Diffusive scaling limit of the B usemann process in last passage percolation
Ofer Busani. Diffusive scaling limit of the B usemann process in last passage percolation. Ann. Probab. , 52(5):1650--1712, 2024
work page 2024
-
[26]
An identity in distribution between full-space and half-space log-gamma polymers
Guillaume Barraquand and Shouda Wang. An identity in distribution between full-space and half-space log-gamma polymers. Int. Math. Res. Not. IMRN , 2023(14):11877--11929, 2023
work page 2023
-
[27]
Brownian G ibbs property for A iry line ensembles
Ivan Corwin and Alan Hammond. Brownian G ibbs property for A iry line ensembles. Invent. Math. , 195(2):441--508, 2014
work page 2014
-
[28]
Brownian structure in the KPZ fixed point
Jacob Calvert, Alan Hammond, and Milind Hegde. Brownian structure in the KPZ fixed point. Ast\'erisque , pages v+119, 2023
work page 2023
-
[29]
Stationary measure for the open KPZ equation
Ivan Corwin and Alisa Knizel. Stationary measure for the open KPZ equation. Comm. Pure Appl. Math. , 77(4):2183--2267, 2024
work page 2024
-
[30]
The K ardar- P arisi- Z hang equation and universality class
Ivan Corwin. The K ardar- P arisi- Z hang equation and universality class. Random Matrices Theory Appl. , 1(1):1130001, 76, 2012
work page 2012
-
[31]
Invariance of polymer partition functions under the geometric RSK correspondence
Ivan Corwin. Invariance of polymer partition functions under the geometric RSK correspondence. In Stochastic analysis, random fields and integrable probability--- F ukuoka 2019 , volume 87 of Adv. Stud. Pure Math. , pages 89--136. Math. Soc. Japan, Tokyo, [2021] 2021
work page 2019
-
[32]
Tropical combinatorics and W hittaker functions
Ivan Corwin, Neil O'Connell, Timo Sepp\"al\"ainen, and Nikolaos Zygouras. Tropical combinatorics and W hittaker functions. Duke Math. J. , 163(3):513--563, 2014
work page 2014
- [33]
-
[34]
Hidden invariance of last passage percolation and directed polymers
Duncan Dauvergne. Hidden invariance of last passage percolation and directed polymers. Ann. Probab. , 50(1):18--60, 2022
work page 2022
-
[35]
Non-uniqueness times for the maximizer of the KPZ fixed point
Duncan Dauvergne. Non-uniqueness times for the maximizer of the KPZ fixed point. Adv. Math. , 442:Paper No. 109550, 41, 2024
work page 2024
-
[36]
Wiener densities for the A iry line ensemble
Duncan Dauvergne. Wiener densities for the A iry line ensemble. Proc. Lond. Math. Soc. (3) , 129(4):Paper No. e12638, 57, 2024
work page 2024
-
[37]
Pinning in non-critical half-space geometric last passage percolation
Sayan Das, Evgeni Dimitrov, and Zongrui Yang. Pinning in non-critical half-space geometric last passage percolation. arXiv:2603.24616, 2026
-
[38]
Duncan Dauvergne, Janosch Ortmann, and B\'alint Vir\'ag. The directed landscape. Acta Math. , 229(2):201--285, 2022
work page 2022
-
[39]
The pinned half-space airy line ensemble
Evgeni Dimitrov, Christian Serio, and Zongrui Yang. The pinned half-space airy line ensemble. arXiv:2601.04546, 2026
-
[40]
Bulk properties of the A iry line ensemble
Duncan Dauvergne and B \'a lint Vir \'a g. Bulk properties of the A iry line ensemble. Ann. Probab. , 49(4):1738--1777, 2021
work page 2021
-
[41]
The scaling limit of the longest increasing subsequence
Duncan Dauvergne and B \'a lint Vir \'a g. The scaling limit of the longest increasing subsequence. arXiv:2104.08210, 2021
-
[42]
Half-space airy line ensembles
Evgeni Dimitrov and Zongrui Yang. Half-space airy line ensembles. arXiv:2505.01798, 2025
-
[43]
Characterization of the directed landscape from the KPZ fixed point
Duncan Dauvergne and Lingfu Zhang. Characterization of the directed landscape from the KPZ fixed point. arXiv:2412.13032, 2024
-
[44]
Right-tail moderate deviations in the exponential last-passage percolation
Elnur Emrah, Chris Janjigian, and Timo Sepp \"a l \"a inen. Right-tail moderate deviations in the exponential last-passage percolation. arXiv:2004.04285, 2020
-
[45]
Joint distribution of B usemann functions in the exactly solvable corner growth model
Wai-Tong Louis Fan and Timo Sepp\"al\"ainen. Joint distribution of B usemann functions in the exactly solvable corner growth model. Probab. Math. Phys. , 1(1):55--100, 2020
work page 2020
-
[46]
Random metric geometries on the plane and K ardar- P arisi- Z hang universality
Shirshendu Ganguly. Random metric geometries on the plane and K ardar- P arisi- Z hang universality. Notices Amer. Math. Soc. , 69(1):26--35, 2022
work page 2022
-
[47]
Optimal tail exponents in general last passage percolation via bootstrapping & geodesic geometry
Shirshendu Ganguly and Milind Hegde. Optimal tail exponents in general last passage percolation via bootstrapping & geodesic geometry. Probab. Theory Related Fields , 186(1-2):221--284, 2023
work page 2023
-
[48]
Stationary cocycles and B usemann functions for the corner growth model
Nicos Georgiou, Firas Rassoul-Agha, and Timo Sepp\"al\"ainen. Stationary cocycles and B usemann functions for the corner growth model. Probab. Theory Related Fields , 169(1-2):177--222, 2017
work page 2017
-
[49]
Alan Hammond. Brownian regularity for the A iry line ensemble, and multi-polymer watermelons in B rownian last passage percolation. Mem. Amer. Math. Soc. , 277(1363):v+133, 2022
work page 2022
-
[50]
T. E. Harris. A correlation inequality for M arkov processes in partially ordered state spaces. Ann. Probability , 5(3):451--454, 1977
work page 1977
-
[51]
Boundary current fluctuations for the half-space ASEP and six-vertex model
Jimmy He. Boundary current fluctuations for the half-space ASEP and six-vertex model. Proc. Lond. Math. Soc. (3) , 128(2):Paper No. e12585, 59, 2024
work page 2024
-
[52]
Shift invariance of half space integrable models
Jimmy He. Shift invariance of half space integrable models. Probab. Theory Related Fields , 194(1-2):541--611, 2026
work page 2026
-
[53]
Huse, H enley, and F isher respond
David A Huse, Christopher L Henley, and Daniel S Fisher. Huse, H enley, and F isher respond. Phys. Rev. Lett. , 55(26):2924, 1985
work page 1985
-
[54]
Alan Hammond and Sourav Sarkar. Modulus of continuity for polymer fluctuations and weight profiles in P oissonian last passage percolation. Electron. J. Probab. , 25:Paper No. 29, 38, 2020
work page 2020
-
[55]
Solvable models in the KPZ class: Approach through periodic and free boundary S chur measures
Takashi Imamura, Matteo Mucciconi, and Tomohiro Sasamoto. Solvable models in the KPZ class: Approach through periodic and free boundary S chur measures. Ann. Probab. , 54(1):301--366, 2026
work page 2026
-
[56]
Shape fluctuations and random matrices
Kurt Johansson. Shape fluctuations and random matrices. Comm. Math. Phys. , 209(2):437--476, 2000
work page 2000
-
[57]
Discrete polynuclear growth and determinantal processes
Kurt Johansson. Discrete polynuclear growth and determinantal processes. Comm. Math. Phys. , 242(1-2):277--329, 2003
work page 2003
-
[58]
Depinning by quenched randomness
Mehran Kardar. Depinning by quenched randomness. Phys. Rev. Lett. , 55(21):2235, 1985
work page 1985
-
[59]
Dynamic scaling of growing interfaces
Mehran Kardar, Giorgio Parisi, and Yi-Cheng Zhang. Dynamic scaling of growing interfaces. Phys. Rev. Lett. , 56(9):889, 1986
work page 1986
-
[60]
Thomas M. Liggett. Coupling the simple exclusion process. Ann. Probab. , 4(3):339--356, 1976
work page 1976
-
[61]
Small deviations for beta ensembles
Michel Ledoux and Brian Rider. Small deviations for beta ensembles. Electron. J. Probab. , 15:no. 41, 1319--1343, 2010
work page 2010
-
[62]
Konstantin Matetski, Jeremy Quastel, and Daniel Remenik. The KPZ fixed point. Acta Math. , 227(1):115--203, 2021
work page 2021
-
[63]
Martin, Allan Sly, and Lingfu Zhang
James B. Martin, Allan Sly, and Lingfu Zhang. Convergence of the environment seen from geodesics in exponential last-passage percolation. J. Eur. Math. Soc. (JEMS) , 27(3):877--970, 2025
work page 2025
-
[64]
Tropical R obinson- S chensted- K nuth correspondence and birational W eyl group actions
Masatoshi Noumi and Yasuhiko Yamada. Tropical R obinson- S chensted- K nuth correspondence and birational W eyl group actions. In Representation theory of algebraic groups and quantum groups , volume 40 of Adv. Stud. Pure Math. , pages 371--442. Math. Soc. Japan, Tokyo, 2004
work page 2004
-
[65]
Geometric RSK correspondence, W hittaker functions and symmetrized random polymers
Neil O'Connell, Timo Sepp\"al\"ainen, and Nikos Zygouras. Geometric RSK correspondence, W hittaker functions and symmetrized random polymers. Invent. Math. , 197(2):361--416, 2014
work page 2014
-
[66]
Brownian analogues of B urke's theorem
Neil O'Connell and Marc Yor. Brownian analogues of B urke's theorem. Stochastic Process. Appl. , 96(2):285--304, 2001
work page 2001
-
[67]
Scale invariance of the PNG droplet and the A iry process
Michael Pr\"ahofer and Herbert Spohn. Scale invariance of the PNG droplet and the A iry process. J. Statist. Phys. , 108(5-6):1071--1106, 2002. Dedicated to David Ruelle and Yasha Sinai on the occasion of their 65th birthdays
work page 2002
-
[68]
Jeremy Quastel. Introduction to KPZ . In Current developments in mathematics, 2011 , pages 125--194. Int. Press, Somerville, MA, 2012
work page 2011
-
[69]
Dan Romik. The surprising mathematics of longest increasing subsequences , volume 4 of Institute of Mathematical Statistics Textbooks . Cambridge University Press, New York, 2015
work page 2015
-
[70]
Lecture notes on the corner growth model
Timo Sepp \"a l \"a inen. Lecture notes on the corner growth model. Unpublished notes, available: https://people.math.wisc.edu/ tseppalainen/cornergrowth-book/ajo.pdf, 2009
work page 2009
-
[71]
The corner growth model with exponential weights
Timo Sepp\"al\"ainen. The corner growth model with exponential weights. In Random growth models , volume 75 of Proc. Sympos. Appl. Math. , pages 133--201. Amer. Math. Soc., Providence, RI, 2018
work page 2018
-
[72]
T. Sasamoto and T. Imamura. Fluctuations of the one-dimensional polynuclear growth model in half-space. J. Statist. Phys. , 115(3-4):749--803, 2004
work page 2004
-
[73]
Infinite order phase transition in the slow bond TASEP
Sourav Sarkar, Allan Sly, and Lingfu Zhang. Infinite order phase transition in the slow bond TASEP . Comm. Pure Appl. Math. , 77(6):3107--3140, 2024
work page 2024
-
[74]
Brownian absolute continuity of the KPZ fixed point with arbitrary initial condition
Sourav Sarkar and B\'alint Vir\'ag. Brownian absolute continuity of the KPZ fixed point with arbitrary initial condition. Ann. Probab. , 49(4):1718--1737, 2021
work page 2021
-
[75]
Craig A. Tracy and Harold Widom. Asymptotics in ASEP with step initial condition. Comm. Math. Phys. , 290(1):129--154, 2009
work page 2009
-
[76]
Actions in the Airy line ense mble and convergence to the Airy sheet
Balint Virag and Xuan Wu. Actions in the A iry line ensemble and convergence to the A iry sheet. arXiv:2511.11207, 2025
-
[77]
The KPZ equation and the directed landscape
Xuan Wu. The KPZ equation and the directed landscape. arXiv:2301.00547, 2023
-
[78]
Optimal exponent for coalescence of finite geodesics in exponential last passage percolation
Lingfu Zhang. Optimal exponent for coalescence of finite geodesics in exponential last passage percolation. Electron. Commun. Probab. , 25:Paper No. 74, 14, 2020
work page 2020
-
[79]
Xincheng Zhang. TASEP in half-space. arXiv:2409.09974, 2024
-
[80]
Convergence from the log-gamma polymer to the directed landscape
Xinyi Zhang. Convergence from the log-gamma polymer to the directed landscape. arXiv:2505.05685, 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.