REVIEW 3 major objections 4 minor 3 cited by
For every periodic upper-semicontinuous initial height profile, the relaxation-time-scale limit of the periodic exclusion process exists and defines an explicit random field, the periodic KPZ fixed point.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-02 19:29 UTC pith:RNBMYOZK
load-bearing objection A real and substantial extension of the periodic KPZ program, powered by a genuinely new Fredholm representation of the energy function; just be aware the full theorem as stated is not self-contained and leans on the companion paper for two load-bearing extension steps. the 3 major comments →
Periodic KPZ fixed point with general initial conditions
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper's central claim is that the relaxation-time-scale limit of PTASEP exists for every periodic upper-semicontinuous initial height condition h, not just the flat and narrow-wedge cases studied earlier. If a sequence of PTASEP initial configurations converges to h after rescaling space and height, then the rescaled multipoint distributions of the height function converge, at times τ_i L^{3/2}, to functions F_h^{(p)} given by explicit nested contour integrals and Fredholm determinants. These functions form a consistent family of finite-dimensional distributions, hence define, via the Kolmogorov extension theorem, a periodic space-time random field called the periodic KPZ fixed point. Th
What carries the argument
The load-bearing object is the pair of probabilistic representations in Theorems 3.10 and 3.12. The initial condition in the exact finite-time PTASEP multipoint formula enters through two symmetric functions, the energy function and the periodic characteristic function; the paper rewrites both as expectations of a single geometric random walk on the integers with downward drift, stopped at τ, the first time it exceeds the initial particle profile, and at τ*, the first such time at or after one full period. The periodicity of the model is carried precisely by the τ* term. In the L^{1/2} scaling limit the random walk converges to Brownian motion, so these representations turn into the Brownian
Load-bearing premise
The load-bearing premise is that the companion-paper extension arguments—the consistency of the F_h family and the passage from the strict-inequality, strictly-ordered-time limit to all configurations—really cover every upper-semicontinuous periodic h, since this paper only sketches those steps.
What would settle it
Take the discontinuous periodic profile h(α)=0 at integers and -1 elsewhere, evaluate the one-point formula F_h(β;α,τ) for fixed α, τ and large β; if it does not tend to 1, or if the two-point formula at τ_1=τ_2, β_1=β_2 does not reduce to the one-point formula, the claimed consistency of the family fails.
If this is right
- The relaxation-time-scale limit of PTASEP is now predicted for arbitrary periodic upper-semicontinuous initial data, so universality no longer rests on special profiles.
- The limiting formulas give explicit joint distributions at multiple space-time points, so correlations and multi-time statistics are in principle computable by contour integrals and Fredholm determinants.
- The scaling identity H_p^PKZ(α,τ;h) = p^{1/2} H_1^PKZ(p^{-1}α, p^{-3/2}τ; h_*) encodes the 1:2:3 KPZ scaling on the periodic domain.
- If h ≤ h′ pointwise, the corresponding fixed-point distributions are ordered, matching the monotonicity of the underlying particle system.
Where Pith is reading between the lines
- The same hitting-time mechanism should govern other models in the periodic KPZ class, such as discrete-time or multi-species versions; one can try to prove their relaxation-time limits by establishing the same Brownian-hitting kernels in their transfer matrices.
- The explicit formulas suggest a route to sample-path regularity: using the two-time joint distribution with Kolmogorov's continuity criterion should yield Hölder exponents of the field, a step the paper leaves open.
- If the paper's conjectured p→∞ and p→0 limits hold, the periodic KPZ fixed point would interpolate between the line KPZ fixed point and Brownian motion; the new general-initial-condition theory makes those limits testable beyond the narrow-wedge and flat cases.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the totally asymmetric simple exclusion process on a ring (PTASEP) in the relaxation-time scale t=O(L^{3/2}), with N=ρL particles and period L. It claims that if the rescaled PTASEP initial height profile converges in UC_p to an upper-semicontinuous periodic function h, then the rescaled space-time multipoint height distributions converge to an explicit function F_h^(p) given by nested contour integrals and Fredholm determinants. These functions are claimed to form a consistent family, thereby defining the periodic KPZ fixed point with general initial condition. The main technical novelty is a pair of probabilistic representations—for the energy function (Theorem 3.10) and the characteristic function (Theorem 3.12)—in terms of hitting expectations of a geometric random walk. The core asymptotic analysis is carried out in detail for ordered times and strict inequalities β∈Ω_+ (Proposition 5.1); the paper explicitly states that the extension to all β and the consistency of the family F_h (Proposition 2.2, needed for Theorem 1.5) are only sketched and delegated to the companion paper [BL24].
Significance. If correct, this is a significant advance: it extends the periodic KPZ fixed point from special initial conditions (flat, narrow wedge, half-flat) to arbitrary upper-semicontinuous periodic data, with explicit multipoint formulas. The hitting-expectation representations are novel and the energy representation in Theorem 3.10 is especially original. The paper contains detailed, credible asymptotic analysis for the strict-inequality ordered-times case, with trace-norm convergence and dominated convergence arguments. Strengths include the absence of parameter fitting—the limiting F_h is derived, not imposed—and the acknowledgement of limitations: Remark 1.3 states that the new formulas have not been checked against known special cases, and Sections 5–6 explicitly identify the parts that are deferred to [BL24]. These admissions are helpful but also pinpoint the load-bearing gaps discussed below.
major comments (3)
- [Section 5, paragraph after Proposition 5.1] Theorem 1.2 as stated covers all β (including β_i=β_{i+1} when τ_i=τ_{i+1}) and arbitrary ordering of the space-time points. However, Proposition 5.1 proves convergence only for 0<τ_1≤...≤τ_m and (β_1,...,β_m)∈Ω_+^m. The text says the two extension steps are in [BL24] and 'we only sketch the proof steps and provide the references, and omit the details.' The additional assertion that the [BL24] argument 'is independent of the initial condition' is an assurance, not a proof contained in this manuscript. Since the unconditional statement of Theorem 1.2 for all h∈UC_p rests on this omitted material, this is a load-bearing gap. Please either include the complete extension arguments (at least as an appendix) or restate Theorem 1.2 as conditional on [BL24], making precise which statements are proved here.
- [Section 6, Proposition 2.2] The existence of the periodic KPZ fixed point (Theorem 1.5) rests on Proposition 2.2, which asserts that the functions F_h form a consistent family of finite-dimensional distributions. The proof is not given in this manuscript: Section 6 states 'we only provide a sketch of the proof and emphasize the differences in the proof' and delegates the essential well-definedness of Definition 2.1—existence of the limit in (2.4) and independence of the permutation in (2.5)—to [BL24, Appendix A]. The claim that the [BL24] proof 'does not depend on the initial condition' is asserted rather than demonstrated here, and the current sketch does not explicitly cover arbitrary h∈UC_p. Since Theorem 1.5 is a central conclusion of the paper, please provide a full proof or a precise, verifiable reduction to [BL24] that establishes Proposition 2.2 for all h in the stated space.
- [Remark 1.3 and Theorem 3.10] The authors state that even for the known special cases (periodic narrow wedge, flat, half-flat), 'direct verification of this evaluation appears nontrivial,' and they do not check the new formulas against the known results of [BL19, BL21]. This is not a logical flaw, but it is a verification gap that is particularly relevant because Theorem 3.10—the Fredholm determinant representation of the energy function—is described as obtained by 'guess-and-check.' An independent check for at least one special case (e.g., deriving the known one-point or two-point distribution from the new formula) would substantially increase confidence in the claimed limit and should be attempted or explicitly identified as an open problem.
minor comments (4)
- [Equation (5.26)] The definition of the rescaled kernel appears to have a typo: both arguments of the original kernel are written as '⌊...x⌋' instead of the intended x and y. This makes Proposition 5.5 difficult to parse as written.
- [Theorem 1.2, display after (1.6)] The scaling for t_i in the statement is garbled by missing fraction bars; please ensure that the displayed formula unambiguously reads t_i = τ_i L^{3/2}/(p^{3/2}) * (p/(ρ(1-ρ)))^{1/2} = τ_i L^{3/2}/(p √(ρ(1-ρ))), consistent with the p=1 case in (5.1) and the scaling in (1.10).
- [Section 5.3.1, equations (5.48)–(5.53)] The notation for the weak convergence of the prelimit Brownian hitting measures is inconsistent: the superscripts P^{BL(0)=x'} and P^{B(0)=x'} are used interchangeably, and the text does not define bτ_L. Please clarify the notation and make the measure-convergence statement precise.
- [References] The proof of key claims relies on [BL24], an arXiv preprint. The authors should state its current status (e.g., under review, published) and, given how much rests on it, include a more detailed summary of the relevant results from [BL24] in a dedicated appendix or make the companion paper publicly available and explicitly referenced with version/date.
Circularity Check
No circular reduction: the limiting distributions are derived from the PTASEP formula; the main caveat is that boundary/consistency extensions are delegated to same-author [BL24] with details omitted.
full rationale
The paper's central limit formula is not fitted: F_h is defined by explicit contour/Fredholm expressions and is obtained as the L→∞ limit of the finite-time PTASEP multipoint formula of [BL21], after proving new probabilistic representations (Theorems 3.10, 3.12) and performing steepest-descent asymptotics (Propositions 5.4, 5.9). No parameter is tuned to the target distribution, and no definition is circularly stated in terms of the limit it is supposed to predict. The only same-author load-bearing reliance is the extension from Proposition 5.1 (proved in detail for ordered times and strict beta inequalities) to the full Theorem 1.2, and the consistency of the F_h family in Proposition 2.2. The paper states this explicitly: in Section 5 it says the extension steps are in [BL24] and 'we only sketch the proof steps and provide the references, and omit the details'; in Section 6 it says Proposition 2.2 is 'similar to that for the case of the periodic narrow wedge initial condition in [BL24, Appendix A]' and 'we only provide a sketch of the proof.' Remark 1.3 also admits the new formulas are not directly checked against the known special-case formulas. These are legitimate completeness/self-citation concerns, but under the strict 'specific reduction' standard they are not circular: Proposition 5.1 is independently proved here, and the cited extension is claimed to be independent of the initial condition rather than derived from the present theorem. Hence no equation-level circularity is exhibited, and the derivation chain from PTASEP to the limiting distributions is self-contained at its core.
Axiom & Free-Parameter Ledger
axioms (5)
- domain assumption Finite-time multipoint distribution formula of [BL21, Thm 3.1] for PTASEP with arbitrary initial condition (restated as Theorem 3.13).
- domain assumption The [BL24] extension of Proposition 5.1 to boundary cases Ω_m \ Ω_m^+ and to arbitrary permutations is valid for all h ∈ UC_p.
- standard math Equivalence between the Fredholm-determinant definition and the series expansion of D_h(z) holds, as proved in [BL19, Lemma 4.8, Lemma 4.9].
- standard math Kolmogorov extension theorem applies to the consistent family F_h on the product space.
- standard math Local central limit theorem and Bernstein-type estimates for the geometric random walk, as in [Pet75].
Cite this review
Pith. "Pith review of Periodic KPZ fixed point with general initial conditions." pith.science (2026). https://pith.science/paper/RNBMYOZK
@misc{pith2026260301964,
author = {Pith},
title = {Pith review of: Periodic KPZ fixed point with general initial conditions},
year = {2026},
howpublished = {\url{https://pith.science/paper/RNBMYOZK}},
note = {Machine review of arXiv:2603.01964}
}
read the original abstract
We consider the relaxation-time-scale limit of the periodic totally asymmetric simple exclusion process (PTASEP) with general initial conditions. For every sequence of initial conditions approximating a periodic upper semicontinuous function, we compute the limiting space-time multipoint distributions of the rescaled particle locations and height functions. The resulting finite-dimensional distributions are explicit and form a consistent family, thereby defining a spatially periodic space-time random field. We call this field the periodic KPZ fixed point with the corresponding initial condition. This extends earlier results for PTASEP with special initial conditions and defines the periodic analogue of the KPZ fixed point on the line. The main technical novelty is a pair of new probabilistic representations for the energy function and the characteristic function, the two functions through which the initial condition enters the finite-time PTASEP multipoint distribution formula. Both representations are expressed in terms of a geometric random walk and two stopping times, namely the first hitting time of the initial profile and the first such hitting time at or after one full period, with the latter capturing the periodic geometry.
Figures
Forward citations
Cited by 3 Pith papers
-
Periodic directed landscape
The periodic directed landscape is constructed by gluing full-space directed landscapes, and proven to be the universal scaling limit of periodic exponential LPP and of periodic ASEP.
-
A Borodin-Okounkov-Geronimo-Case identity for tilted Toeplitz minors
Proves Fredholm determinantal identity for tilted Toeplitz minors generalizing BOGC, with bialternant forms, Cauchy-Binet expansions, and asymptotic links to Airy kernel perturbations.
-
A determinant identity for the sum of contour integral matrices
det(A + B) equals det(I + K) for a Fredholm integral kernel K on contour Gamma, generalizing a prior identity.
Reference graph
Works this paper leans on
-
[1]
Scaling limit of the colored ASEP and stochastic six-vertex models, 2024
Amol Aggarwal, Ivan Corwin, and Milind Hegde. Scaling limit of the colored ASEP and stochastic six-vertex models, 2024
2024
-
[2]
Probability distribution of the free energy of the continuum directed random polymer in 1+1 dimensions
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
2011
-
[3]
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
1999
-
[4]
TASEP on a ring in sub-relaxation time scale
Jinho Baik and Zhipeng Liu. TASEP on a ring in sub-relaxation time scale . Journal of Statistical Physics , 165(6):1051--1085, 2016
2016
-
[5]
Fluctuations of TASEP on a ring in relaxation time scale
Jinho Baik and Zhipeng Liu. Fluctuations of TASEP on a ring in relaxation time scale. Comm. Pure Appl. Math. , 71(4):747--813, 2018
2018
-
[6]
Multipoint distribution of periodic TASEP
Jinho Baik and Zhipeng Liu. Multipoint distribution of periodic TASEP . J. Amer. Math. Soc. , 32(3):609--674, 2019
2019
-
[7]
Periodic TASEP with general initial conditions
Jinho Baik and Zhipeng Liu. Periodic TASEP with general initial conditions. Probab. Theory Related Fields , 179(3-4):1047--1144, 2021
2021
-
[8]
Pinched-up periodic KPZ fixed point
Jinho Baik and Zhipeng Liu . Pinched-up periodic KPZ fixed point . arXiv:2403.01624 , 2024
Pith/arXiv arXiv 2024
-
[9]
Jinho Baik, Zhipeng Liu, and Guilherme L. F. Silva. Limiting one-point distribution of periodic TASEP . Ann. Inst. Henri Poincar\' e Probab. Stat. , 58(1):248--302, 2022
2022
-
[10]
On a family of symmetric rational functions
Alexei Borodin. On a family of symmetric rational functions. Advances in Mathematics , 306:973 -- 1018, 2017
2017
-
[11]
Brankov, Vladimir B
Jordan G. Brankov, Vladimir B. Papoyan, Vahagn S. Poghosyan, and Vyatcheslav B. Priezzhev. The totally asymmetric exclusion process on a ring: Exact relaxation dynamics and associated model of clustering transition. Phys. A , 368(8):471480, 2006
2006
-
[12]
Periodic P itman T ransforms and J ointly I nvariant M easures
Ivan Corwin, Yu Gu, and Evan Sorensen. Periodic P itman T ransforms and J ointly I nvariant M easures. Comm. Math. Phys. , 407(3):Paper No. 49, 2026
2026
-
[13]
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
2014
-
[14]
Fluctuation exponents of the KPZ equation on a large torus
Alexander Dunlap, Yu Gu, and Tomasz Komorowski. Fluctuation exponents of the KPZ equation on a large torus. Comm. Pure Appl. Math. , 76(11):3104--3149, 2023
2023
-
[15]
Lebowitz
Bernard Derrida and Joel L. Lebowitz. Exact large deviation function in the asymmetric exclusion process. Phys. Rev. Lett. , 80(2):209--213, 1998
1998
-
[16]
The directed landscape
Duncan Dauvergne, Janosch Ortmann, and B \'a lint Vir \'a g. The directed landscape . Acta Mathematica , 229(2):201 -- 285, 2022
2022
-
[17]
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
Pith/arXiv arXiv 2024
-
[18]
Bethe ansatz calculation of the spectral gap of the asymmetric exclusion process
Olivier Golinelli and Kirone Mallick. Bethe ansatz calculation of the spectral gap of the asymmetric exclusion process. J. Phys. A , 37(10):3321--3331, 2004
2004
-
[19]
Spectral gap of the totally asymmetric exclusion process at arbitrary filling
Olivier Golinelli and Kirone Mallick. Spectral gap of the totally asymmetric exclusion process at arbitrary filling. J. Phys. A , 38(7):1419--1425, 2005
2005
-
[20]
Six-vertex model, roughened surfaces, and an asymmetric spin H amiltonian
Leh-Hun Gwa and Herbert Spohn. Six-vertex model, roughened surfaces, and an asymmetric spin H amiltonian. Phys. Rev. Lett. , 68(6):725--728, 1992
1992
-
[21]
Shape fluctuations and random matrices
Kurt Johansson. Shape fluctuations and random matrices. Comm. Math. Phys. , 209(2):437--476, 2000
2000
-
[22]
Dynamic scaling of growing interfaces
Mehran Kardar, Giorgio Parisi, and Yi-Cheng Zhang. Dynamic scaling of growing interfaces. Phys. Rev. Lett. , 56:889--892, Mar 1986
1986
-
[23]
Multi-point distribution of discrete time periodic TASEP
Yuchen Liao. Multi-point distribution of discrete time periodic TASEP . Probab. Theory Related Fields , 182(3-4):1053--1131, 2022
2022
-
[24]
Height fluctuations of stationary TASEP on a ring in relaxation time scale
Zhipeng Liu. Height fluctuations of stationary TASEP on a ring in relaxation time scale. Ann. Inst. Henri Poincar\' e Probab. Stat. , 54(2):1031--1057, 2018
2018
-
[25]
Multipoint distributions of the KPZ fixed point with compactly supported initial conditions
Yuchen Liao and Zhipeng Liu. Multipoint distributions of the KPZ fixed point with compactly supported initial conditions. arXiv:2509.03246 , 2025
arXiv 2025
-
[26]
Contour integral formulas for P ush ASEP on the ring
Jhih-Huang Li and Axel Saenz. Contour integral formulas for P ush ASEP on the ring. Ann. Probab. , 53(4):1434--1490, 2025
2025
-
[27]
Integral formulas of ASEP and q - TAZRP on a ring
Zhipeng Liu, Axel Saenz, and Dong Wang. Integral formulas of ASEP and q - TAZRP on a ring. Comm. Math. Phys. , 379(1):261--325, 2020
2020
-
[28]
The KPZ fixed point
Konstantin Matetski, Jeremy Quastel, and Daniel Remenik. The KPZ fixed point. Acta Math. , 227(1):115--203, 2021
2021
-
[29]
Polynuclear growth and the T oda lattice
Konstantin Matetski, Jeremy Quastel, and Daniel Remenik. Polynuclear growth and the T oda lattice. J. Eur. Math. Soc. (JEMS) , 2025. published online first
2025
-
[30]
Vertex models, TASEP and G rothendieck polynomials
Kohei Motegi and Kazumitsu Sakai. Vertex models, TASEP and G rothendieck polynomials. Journal of Physics A: Mathematical and Theoretical , 46(35):355201, 2013
2013
-
[31]
One-sided reflected B rownian motions and the KPZ fixed point
Mihai Nica, Jeremy Quastel, and Daniel Remenik. One-sided reflected B rownian motions and the KPZ fixed point. Forum Math. Sigma , 8:Paper No. e63, 16, 2020
2020
-
[32]
V. V. Petrov. Sums of independent random variables . Springer-Verlag, New York, 1975. Translated from the Russian by A. A. Brown, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 82
1975
-
[33]
Priezzhev
Vyatcheslav B. Priezzhev. Exact nonstationary probabilities in the asymmetric exclusion process on a ring. Phys. Rev. Lett. , 91(5):050601, 2003
2003
-
[34]
Finite-time fluctuations for the totally asymmetric exclusion process
Sylvain Prolhac. Finite-time fluctuations for the totally asymmetric exclusion process. Phys. Rev. Lett. , 116:090601, 2016
2016
-
[35]
Riemann surfaces for KPZ with periodic boundaries
Sylvain Prolhac. Riemann surfaces for KPZ with periodic boundaries . SciPost Phys. , 8:008, 2020
2020
-
[36]
Scaling for a one-dimensional directed polymer with boundary conditions
Timo Sepp\"al\"ainen. Scaling for a one-dimensional directed polymer with boundary conditions. Ann. Probab. , 40(1):19--73, 2012
2012
-
[37]
B\'alint Vir\'ag. The heat and the landscape i. arXiv:2008.07241 , 2020
Pith/arXiv arXiv 2008
-
[38]
The KPZ equation and the directed landscape
Xuan Wu. The KPZ equation and the directed landscape. arXiv:2301.00547 , 2023
Pith/arXiv arXiv 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.