Pith. sign in

REVIEW 3 major objections 4 minor 108 references

Non-Abelian Hirota-Miwa Equations for the KPZ Universality Class

T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Pith's one-line read A single Darboux-dressing mechanism yields closed matrix equations for 18 solvable KPZ models.

desk verdict A serious Darboux framework with genuinely careful core proofs, but the advertised 18-model catalogue is not yet established in the text under review. read the letter →

arxiv 2608.02772 v1 pith:2VJUM5ID submitted 2026-08-03 math.PR math-phmath.MPnlin.SI

classification math.PRmath-phmath.MPnlin.SI MSC 60K3537K1037K6082C22
keywords KPZuniversalityclassFredholmdeterminantsnon-abelianHirota-MiwaDarbouxtransformationdiamondequationsmultipointdistributionfunctionsexactlysolvablemodelsintegrability
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes that the Fredholm determinant data of eighteen exactly solvable KPZ models---discrete particle systems, vertex models, polymers, and the KPZ fixed point---can be embedded into one overdetermined linear problem on a directed lattice, whose compatibility conditions (the diamond equations) are preserved by a Darboux-type dressing transformation. The upshot is that each model's multipoint distribution function obeys an explicit closed matrix differential-difference or PDE, and verifying such an equation for a new model reduces to checking a handful of linear conditions on its kernel. The framework also shows the diamond equations are a gauge-equivalent reparametrization of the non-abelian Hirota-Miwa system, connecting the KPZ class to a central object of classical integrability.

What carries the argument

The central object is the diamond linear problem, an overdetermined linear system for a wave function Psi on a lattice with commuting shifts T, S1, S2, whose compatibility conditions are the diamond equations: two non-mixed conditions on the C-weights and Lambda-weights separately, and one mixed condition coupling them. Seed data extracted from a Fredholm kernel's shift structure solves these equations, and the Darboux transformation M(u) = I + z Phi(u) R(u) Psi(u) with dressed weights M_i = M(Tu)^{-1} C_i M(S_i u) preserves the diamond equations, producing finite-dimensional matrix observables that encode multipoint distributions. The product graph construction with admissible propagators supplies dressing-compatible kernels in the fully discrete regime, Euclidean division in a polynomial quotient algebra supplies seed data for vertex and polymer models, and for invertible C-weights the diamond equations are gauge-equivalent to the non-abelian Hirota-Miwa system.

What would settle it

Find a single model among the eighteen where the dressing compatibility conditions fail at some finite parameter value--for instance, a parameter regime where the resolvent (I - zK(u))^{-1} does not exist or the kernel sums defining K diverge--and the closed matrix equation for that model is not established. For the semi-discrete models specifically, the product graph extension is deferred to a future work (Remark 3.13), so a failure of the claimed extension for continuous-time TASEP would falsify the chapter-8 verifications.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.5: for each of the eighteen listed models, the model's Fredholm determinant data satisfies the hypotheses of the Darboux theorem appropriate to its scaling regime (discrete, semi-discrete, parabolic, or continuum), and therefore its dressed observable M (or additive A) is governed by a closed matrix equation---the mixed dressed diamond equation---in every case. The mechanism is that elementary seed data from the shift structure of a Fredholm kernel provide simple solutions to the diamond equations, and a Darboux transformation dresses this seed data into a finite-dimensional matrix observable while preserving the diamond structure. The distinct one-point equations of the author's earlier work become scalar specializations of the resulting Hirota-Miwa reduction, and the non-abelian Hirota-Miwa system of Nimmo is recovered as the underlying integrable system in a suitable gauge.

Load-bearing premise

The central claim depends on every one of the eighteen models satisfying the dressing compatibility conditions (2.7)--resolvent existence and convergence of the kernel sums--but the text introduces these only under suitable analytic assumptions and does not display the per-model verification for all eighteen.

Editorial extensions

If this is right

  • The finite-time multipoint distribution functions of all eighteen listed models satisfy explicit closed matrix equations, most for the first time; the six one-point bilinear equations of the author's earlier work are recovered as scalar specializations.
  • Verifying a closed nonlinear equation for a new exactly solvable KPZ model is reduced to checking a handful of linear conditions on its Fredholm kernel data, so the framework is a construction method rather than a per-model computation.
  • The scalar reduction produces variable-coefficient Hirota-Miwa equations for Fredholm determinants, so any model accommodated by the framework automatically produces a Hirota-form bilinear equation by the same mechanism.
  • The diamond equations are a gauge-equivalent reparametrization of the non-abelian Hirota-Miwa system, establishing a two-way connection between KPZ distribution theory and classical integrability: Painlevé II, KP, and 2D Toda appearances become reductions of one system.
  • For the KPZ fixed point, the framework independently derives the matrix KP equation of Quastel and Remenik and shows the multipoint distribution function satisfies the KP equation with a forcing term built from the matrix observable.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the framework survives close scrutiny, it suggests that exact solvability in the KPZ class is not a zoo of unrelated methods but one algebraic structure acting in different scaling regimes; one could test this by taking a newly solved model and running the five-step verification procedure to predict its multipoint equation before any per-model computation.
  • The gauge equivalence with non-abelian Hirota-Miwa implies that the Fredholm determinants arising in KPZ theory constitute a new class of solutions to the classical Hirota-Miwa system---solutions constructed from random growth rather than algebraic geometry---and the stochastic origin likely imposes spectral constraints worth investigating.
  • The trace-defect terms in the parabolic and continuum bilinear equations suggest that for m >= 2 observation points the multipoint distribution functions are governed by the same hierarchies as their scalar one-point limits only up to a deterministic correction built from the observable; this might be interpreted as a genuinely noncommutative footprint of multipoint statistics.
  • A plausible testable extension is to apply the product graph construction to models not on the list but with known Fredholm determinants (e.g. KPZ equation with narrow wedge, q-Whittaker processes) to predict their multipoint equations as a check of the framework's reach.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. This paper introduces an algebraic framework, the 'diamond framework', for deriving closed nonlinear equations for distribution functions of exactly solvable KPZ models. An overdetermined linear problem on a lattice (2.1) with edge weights (Ci, Λi) is compatible exactly when the diamond equations (2.2)–(2.4) hold (Proposition 2.1); analogous compatibility systems are developed in three further regimes: semi-discrete (Chapter 3), parabolic (Chapter 4), and continuum (Chapter 5). A Darboux transformation (Theorems 2.5, 3.6, 4.6, 5.5) dresses Fredholm-kernel data into a finite-dimensional matrix observable M (or additive observable A) that satisfies the same diamond equations, and a scalar reduction yields variable-coefficient Hirota–Miwa equations for the Fredholm determinant (Propositions 2.11, 3.11, and the parabolic/continuum trace-defect identities). Seed data is produced by a product graph construction with admissible propagators (Theorem 2.26) and by Euclidean division in a polynomial quotient algebra. The paper's central result, Theorem 1.5, asserts that for each of eighteen listed models (§1.7.1) the Fredholm determinant data satisfies the hypotheses of the appropriate Darboux theorem, yielding an explicit closed matrix equation per model, and that the diamond equations are gauge-equivalent to the non-abelian Hirota–Miwa system (Proposition 2.15).

Significance. The framework, if its per-model hypotheses all hold, would be a significant unification: a single mechanism producing closed equations for finite-time multipoint distributions across four scaling regimes, recovering the Quastel–Remenik matrix KP equation and the author's earlier one-point bilinear equations, and connecting the exactly solvable KPZ sector to the non-abelian Hirota–Miwa system. The manuscript's strengths are substantial: the core theorems are proved in detail and appear internally consistent; the Darboux theory needs only resolvent existence rather than trace-class structure; the scalar reductions fix their T-orbit constants through boundary conditions rather than parameter fitting, so the derivations are parameter-free in the relevant sense; and the catalogue of eighteen explicit equations is concrete, falsifiable content, since a single kernel failing the linear dressing conditions (2.7) would break its entry. The product graph construction is original, and the gauge equivalence with Nimmo's system is cleanly formulated.

major comments (3)
  1. [Remark 3.13; Theorem 1.5, Chapter 8] The semi-discrete product graph construction is explicitly deferred. Remark 3.13 states that the direct verifications are 'deferred to a future work', giving only the statements of the modified ∂1-compatibility condition and the corrected continuous Λ-weight without proofs. The catalogue entries 13 and 14—continuous-time TASEP (Theorem 8.6) and Push-TASEP (Theorem 8.14)—are m×m matrix multipoint equations and require exactly this construction to build the dressing-compatible kernel on the product graph; the one-point ASEP entry (Corollary 8.22) is not affected. Consequently, Theorem 1.5's claim that all Chapter 8 models satisfy the hypotheses of the semi-discrete Darboux theorem is not established for these two models in the submitted text. The revision should either provide the product-graph analogues of Lemmas 2.23–2.25 for the semi-discrete regime, or restate Theorem 1.5 and the eighteen-model claim with the affected entries explicitly qualified.
  2. [Theorem 1.5; Definition 2.21(iv); Example 2.4; §6.1–6.2] Theorem 1.5 asserts for each of the eighteen models that the Fredholm data satisfies the dressing-compatibility conditions ((2.7), (3.9)–(3.11), (4.14)–(4.16), (5.7)–(5.9)) together with resolvent existence and convergence of the kernel sums. These are model-specific analytic checks, not consequences of the abstract framework: the Darboux theorems guarantee only that dressing-compatible data yields a closed equation, and Remark 2.9 shows the resolvent must exist on the particular shift sets used in the mixed diamond proof. The text provided for review contains Chapters 1–5 and the opening of Chapter 6 (through §6.2), and the verification is cut off before the kernel-sum convergence and resolvent checks for the directed-path propagator are carried out; Section 6.1 itself flags this regularity as a model-by-model issue (Remark 6.3, Definition 2.21(iv)), and Example 2.4 and Definition 3.4 introduce dressing-compatible kernels only 'under suitable analytic assumptions'. Since these checks are the load-bearing content of the paper's central claim, the manuscript should display them in full—for instance as a per-model checklist following the five-step procedure of §1.7, with the kernel estimates needed for convergence and resolvent existence. Without this, Theorem 1.5 is an extrapolation of the framework rather than an established result.
  3. [Lemma 4.8 (identity (4.31))] The parabolic Darboux theorem (Theorem 4.6), which governs the two Chapter 9 models, depends on the factorization identity (4.31) in Lemma 4.8. The displayed verification is compressed: after expanding the remainder R in (4.32) and the four blocks BA, BS, BM, BC, the proof asserts that seven cross-block pairs cancel and that the remaining terms 'match (4.32) term by term'—a check involving several dozen terms that is not actually shown. An algebraic error at this point would invalidate the dressed mixed diamond equation for the parabolic regime. The revision should display the complete cancellation table (or an independent symbolic verification) for (4.31).
minor comments (4)
  1. [Proposition 2.11 / Corollary 1.3] The nondegeneracy hypothesis of Proposition 2.11 (and Corollary 1.3) should explicitly require αji(u) ≠ 0 in addition to αij(u) ≠ 0 and αij(u) ≠ αji(u), including the T-limit conditions: the coefficient reduction in the proof divides by cj(Tu) and by λi(u), and the current wording guarantees neither division.
  2. [Abstract and §1.7.1] The abstract and Theorem 1.5 describe 'closed matrix equations' for eighteen models, but six catalogue entries (§1.7.1 items 8–12 and 15) are scalar one-point equations rather than matrix multipoint equations; the wording should distinguish the matrix multipoint equations from their scalar one-point specializations.
  3. [Definition 2.21(iv); Example 2.4; Definition 3.4] The analytic hypotheses are introduced repeatedly as 'suitable analytic assumptions' (Example 2.4, Definition 3.4) or bundled into the regularity condition (Definition 2.21(iv)). Because Theorem 1.5 rests on these per-model conditions, a single consolidated statement of the analytic framework at the start of Section 2—specifying the Hilbert space, the trace-class/summability hypotheses, and the allowed formal manipulations—would make the per-model chapters a fixed checklist rather than a sequence of ad hoc verifications.
  4. [Remark 6.4] In Remark 6.4, the index and argument reversal in the Neumann-series identification is easy to misread; writing the block formula explicitly, for example δ_{ij}δ_{r,r'} + [B_u]_{ij}(r,r') = [(I+χ̄_a L χ̄_a)^{-1}]_{j,i}(r',r), would clarify the convention.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Hirota–Miwa and matrix equations follow from linear dressing compatibility and boundary normalization; the earlier paper [Rod25] appears only as a recovered special case, and the deferred semi-discrete construction is a proof gap, not a circular step.

full rationale

The derivation chain is self-contained. Proposition 2.1 derives the diamond equations as the compatibility conditions of the linear problem (2.1); Theorem 2.5 proves that the dressing transformation preserves them using only the dressing-compatibility conditions (2.7) and the resolvent identity, and Corollary 2.10 with Proposition 2.11 convert the dressed mixed diamond into the scalar Hirota–Miwa equation for the Fredholm determinant, fixing the T-orbit constant by the boundary normalization F(T^ℓv) → 1 rather than by fitting any parameter to the target equation. The one-point equations of the author's earlier paper [Rod25] appear only as recovered special cases of (1.20), so the self-citation is not load-bearing. The claimed gauge equivalence to Nimmo's non-abelian Hirota–Miwa system is explicitly presented as a correspondence with a known external system, not as a new derived prediction, and the paper does not rename a fitted input as a prediction. The principal caveat is the inverse of circularity: Theorem 1.5 asserts, for each of the eighteen models, that the model's Fredholm data satisfies the linear dressing and resolvent hypotheses, but the per-model verification is not visible in the supplied text, and the semi-discrete product-graph verification is explicitly deferred in Remark 3.13. A failure of any of those hypotheses would invalidate the corresponding model's advertised equation, but that would be an unproven hypothesis or a gap in the catalogue, not a derivation that assumes its own conclusion. Accordingly, no circular reduction is present.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper derives the diamond equations from compatibility and proves the Darboux theorem algebraically, so the central mechanism rests on standard linear algebra and Fredholm theory. The model-specific claims additionally require analytic hypotheses (trace class, resolvent existence, boundary normalizations), a regularity assumption on propagator sums, and the deferred semi-discrete product graph extension. No new physical entities are introduced: the dressed observable and the admissible propagators are constructed from the kernel data, not postulated.

assumptions (6)
  • domain assumption Trace-class and resolvent existence for each model's Fredholm kernel, with K(u) = sum_{p<=0} Psi(T^p u) Phi(T^p u) dressing compatible.
    Invoked in Definition 2.3 and Example 2.4; the text says under suitable analytic assumptions and does not verify them in the provided portion.
  • domain assumption Boundary normalization F(T^l v) -> 1 as l -> -infinity (and derivative version in the semi-discrete case).
    Used in Proposition 2.11 and Proposition 3.11 to fix the T-orbit constant J to 1.
  • domain assumption Nondegeneracy alpha_ij(u) != 0 and alpha_ij(u) != alpha_ji(u), with limits existing along T-orbits.
    Required in Proposition 2.11 to define J and clear denominators.
  • ad hoc to paper Regularity of propagator sums: reindexing, termwise multiplication, telescoping, and product of convergent sums are valid.
    Definition 2.21(iv) imposes this as a condition; the text says it is verified model by model without showing the verifications.
  • ad hoc to paper The semi-discrete product graph construction is the O(epsilon) residue of the discrete construction, with direct verifications deferred to future work.
    Remark 3.13 explicitly defers the direct verification; the semi-discrete multipoint equations in Chapter 8 rely on this extension.
  • standard math Sylvester's determinant identity and Fredholm determinant multiplicativity for trace-class operators.
    Used in Corollary 2.10 and scalar reductions to connect F to det_E M.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Non-Abelian Hirota-Miwa Equations for the KPZ Universality Class." pith.science (2026). https://pith.science/paper/2VJUM5ID

@misc{pith2026260802772,
  author       = {Pith},
  title        = {Pith review of: Non-Abelian Hirota-Miwa Equations for the KPZ Universality Class},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2VJUM5ID}},
  note         = {Machine review of arXiv:2608.02772}
}
read the original abstract

This work introduces an algebraic framework yielding explicit, closed matrix differential-difference equations for eighteen models in the exactly solvable sector of the KPZ universality class across four scaling regimes. By organizing Fredholm determinant data into an overdetermined linear problem on a directed lattice graph, we derive a compatibility system termed the diamond equations. Elementary seed data extracted from the shift structure of the Fredholm kernel provides simple solutions to this system. We then construct a Darboux transformation to compress the infinite-dimensional Fredholm data into a finite-dimensional matrix observable. We show this dressing procedure preserves the diamond equations; consequently the resulting matrix observable obeys the same nonlinear structure as the initial seed data. Verifying a closed nonlinear equation for any specific model thus reduces to checking a handful of linear conditions on its kernel data. Under a scalar reduction, the framework produces variable-coefficient Hirota-Miwa equations for Fredholm determinants, recovering the one-point bilinear equations of the author's earlier work as specializations. To supply the necessary seed data, a product graph construction with admissible propagators builds multipoint data in the fully discrete regime, while Euclidean division in a polynomial quotient algebra handles vertex and polymer models. Finally, we demonstrate the diamond equations are a gauge-equivalent reparametrization of the non-abelian Hirota-Miwa system, a central system in classical integrability theory.

Figures

Figures reproduced from arXiv: 2608.02772 by the authors.

Figure 1.1
Figure 1.1. The four frameworks and the models they govern. Each regime is formally a scaling limit of its predecessor, but the frameworks are constructed independently; beneath each, a representative model displays its multipoint equation. The catalogue of all eighteen equations appears in §1.7.1 [PITH_FULL_IMAGE:figures/full_fig_p004_1_1.png] view at source ↗
Figure 1.2
Figure 1.2. The local lattice structure of the diamond linear problem. (A) shows the three shift directions at a single vertex; (B) shows the diamond face, where compatibility forces Ψ(S1S2u) to agree along the two paths from u (solid vs. dashed). Compatibility of the linear problem (1.10) forces algebraic constraints on the edge weights. Proposition 1.1. The diamond linear problem (1.10) is compatible if and only if the edge w… view at source ↗
Figure 1.3
Figure 1.3. The Darboux transformation. The left column dresses the wave func￾tions and the right column dresses the edge weights; the dressed pair (Mi ,Λi) again satisfies the diamond equations. The proof, given as Theorem 2.5 of §2.2, uses only dressing compatibility and the resolvent identity R(v) − R(w) = zR(v)(K(v) − K(w))R(w). No Fredholm determinant theory enters: the theorem assumes only resolvent existence, not trace-c… view at source ↗
Figures from the paper (5 more)
Figure 1.4
Figure 1.4. Figure 1.4: The gauge function G(v), built along two lattice paths by the recursion G(Siw) = Ci(w) −1G(T w). The paths agree by the C-diamond equation [PITH_FULL_IMAGE:figures/full_fig_p019_1_4.png]
Figure 6.1
Figure 6.1. Figure 6.1: A threshold-constrained directed path from (j, r′ ) to (i, r) with k = 3 steps through layers j < ℓ1 < ℓ2 < i. The internal vertices ξ1, ξ2 are constrained to lie at or to the left of the thresholds aℓ1 , aℓ2 (dashed lines); the endpoints r ′ , r are unconstrained. E…
Figure 6.2
Figure 6.2. Figure 6.2: The T -splitting decomposition. The difference BT u − Bu counts paths that visit the new boundary ξs = aℓs + 1 (dashed blue lines) at some internal layer. Each such path splits at its last visit to the new boundary, at layer µ (gold star), into a suffix from (µ, aµ+1…
Figure 6.3
Figure 6.3. Figure 6.3: The two alternatives at an internal layer ℓp after edge-shifting. The vertex operator Vℓp = χ¯aℓp + Eℓp either passes the path through below the threshold (left) or routes it through a gate at the boundary (right), pinning the path to aℓp on entry and aℓp+1 on exit w…
Figure 6.4
Figure 6.4. Figure 6.4: The last-gate decomposition for S1-compatibility. After endpoint col￾lapse and edge-shift, each internal layer carries a vertex operator with two branches: a threshold (standard cutoff, as at ℓ2 and ℓ4) or a gate (orange arrows, as at ℓ1 and µ). The path splits at it…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

108 extracted references · 78 canonical work pages

  1. [1]

    Amol Aggarwal, Ivan Corwin, and Milind Hegde, Scaling limit of the colored ASEP and stochastic six-vertex models , 2024, arXiv:2403.01341

  2. [2]

    Pure Appl

    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 (2011), 466--537

  3. [3]

    Ablowitz, David J

    Mark J. Ablowitz, David J. Kaup, Alan C. Newell, and Harvey Segur, The inverse scattering transform--- F ourier analysis for nonlinear problems , Stud. Appl. Math. 53 (1974), 249--315

  4. [4]

    Ablowitz and Harvey Segur, Exact linearization of a Painlev\'e transcendent , Phys

    Mark J. Ablowitz and Harvey Segur, Exact linearization of a Painlev\'e transcendent , Phys. Rev. Lett. 38 (1977), 1103--1106

  5. [5]

    Alexei Borodin and Dmitry Boyarchenko, Distribution of the first particle in discrete orthogonal polynomial ensembles, Comm. Math. Phys. 234 (2003), 287--338

  6. [6]

    Theory Related Fields 158 (2014), 225--400

    Alexei Borodin and Ivan Corwin, Macdonald processes, Probab. Theory Related Fields 158 (2014), 225--400

  7. [7]

    Ferrari, Free energy fluctuations for directed polymers in random media in 1+1 dimension, Comm

    Alexei Borodin, Ivan Corwin, and Patrik L. Ferrari, Free energy fluctuations for directed polymers in random media in 1+1 dimension, Comm. Pure Appl. Math. 67 (2014), 1129--1214

  8. [8]

    Alexei Borodin, Ivan Corwin, and Vadim Gorin, Stochastic six-vertex model, Duke Math. J. 165 (2016), 563--624

Show all 108 references
  1. [9]

    Alexei Borodin, Ivan Corwin, and Daniel Remenik, Log-gamma polymer free energy fluctuations via a F redholm determinant identity , Comm. Math. Phys. 324 (2013), 215--232

  2. [10]

    Alexei Borodin, Ivan Corwin, and Tomohiro Sasamoto, From duality to determinants for q - TASEP and ASEP , Ann. Probab. 42 (2014), 2314--2382

  3. [11]

    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 (1999), 1119--1178

  4. [12]

    Lorenzo Bertini and Giambattista Giacomin, Stochastic B urgers and KPZ equations from particle systems , Comm. Math. Phys. 183 (1997), 571--607

  5. [13]

    Jinho Baik, Zhipeng Liu, and Guilherme L. F. Silva, Limiting one-point distribution of periodic TASEP , Ann. Inst. Henri Poincar\'e Probab. Stat. 58 (2022), no. 1, 248--302

  6. [14]

    Elia Bisi, Yuchen Liao, Axel Saenz, and Nikos Zygouras, Non-intersecting path constructions for TASEP with inhomogeneous rates and the KPZ fixed point , Comm. Math. Phys. 402 (2023), 285--333

  7. [15]

    Alexey Bufetov, Matteo Mucciconi, and Leonid Petrov, Yang-- B axter random fields and stochastic vertex models , Adv. Math. 388 (2021), 107865

  8. [16]

    Alexei Borodin, Discrete gap probabilities and discrete P ainlev\'e equations , Duke Math. J. 117 (2003), 489--542

  9. [17]

    Joseph Boussinesq, Th\'eorie de l'intumescence liquide appel\'ee onde solitaire ou de translation, C. R. Acad. Sci. Paris 72 (1871), 755--759

  10. [18]

    Alexei Borodin and Leonid Petrov, Lectures on integrable probability: stochastic vertex models and symmetric functions, 2016, arXiv:1605.01349

  11. [19]

    J. G. Brankov, V. B. Priezzhev, and R. V. Shelest, Generalized determinant solution of the discrete-time totally asymmetric exclusion process and zero-range process, Phys. Rev. E 69 (2004), 066136

  12. [20]

    Jinho Baik, Andrei Prokhorov, and Guilherme L. F. Silva, Differential equations for the KPZ and periodic KPZ fixed points , Comm. Math. Phys. 401 (2023), 1753--1806

  13. [21]

    Rains, Limiting distributions for a polynuclear growth model with external sources, J

    Jinho Baik and Eric M. Rains, Limiting distributions for a polynuclear growth model with external sources, J. Stat. Phys. 100 (2000), 523--541

  14. [22]

    , Algebraic aspects of increasing subsequences, Duke Math. J. 109 (2001), 1--65

  15. [23]

    , The asymptotics of monotone subsequences of involutions, Duke Math. J. 109 (2001), 205--281

  16. [24]

    , Symmetrized random permutations, Random Matrix Models and Their Applications, Math. Sci. Res. Inst. Publ., vol. 40, Cambridge Univ. Press, 2001, pp. 1--19

  17. [25]

    Eugene Stanley, Fractal concepts in surface growth, Cambridge Univ

    Albert-L \'a szl \'o Barab \'a si and H. Eugene Stanley, Fractal concepts in surface growth, Cambridge Univ. Press, 1995

  18. [26]

    Bobenko and Yuri B

    Alexander I. Bobenko and Yuri B. Suris, Discrete differential geometry: Integrable structure, Graduate Studies in Mathematics, vol. 98, American Mathematical Society, 2008

  19. [27]

    Mattia Cafasso, Tom Claeys, and Giulio Ruzza, Airy kernel determinant solutions to the K d V equation and integro-differential P ainlev\'e equations , Comm. Math. Phys. 386 (2021), 1107--1153

  20. [28]

    Clarkson, Painlev\'e equations---nonlinear special functions, J

    Peter A. Clarkson, Painlev\'e equations---nonlinear special functions, J. Comput. Appl. Math. 153 (2003), 127--140

  21. [29]

    1 (2012), 1130001

    Ivan Corwin, The K ardar-- P arisi-- Z hang equation and universality class , Random Matrices Theory Appl. 1 (2012), 1130001

  22. [30]

    Ivan Corwin, Neil O'Connell, Timo Sepp \"a l \"a inen, and Nikolaos Zygouras, Tropical combinatorics and W hittaker functions , Duke Math. J. 163 (2014), 513--563

  23. [31]

    Ivan Corwin and Leonid Petrov, Stochastic higher spin vertex models on the line, Comm. Math. Phys. 343 (2016), 651--700

  24. [32]

    Etsuro Date, Michio Jimbo, Masaki Kashiwara, and Tetsuji Miwa, Transformation groups for soliton equations, Nonlinear Integrable Systems---Classical Theory and Quantum Theory, World Scientific, 1983, pp. 39--119

  25. [33]

    Adam Doliwa, Desargues maps and the H irota-- M iwa equation , Proc. R. Soc. A 466 (2010), 1177--1200

  26. [34]

    , The affine W eyl group symmetry of D esargues maps and of the non-commutative H irota-- M iwa system , Phys. Lett. A 375 (2011), 1219--1224

  27. [35]

    229 (2022), 201--285

    Duncan Dauvergne, Janosch Ortmann, and B \'a lint Vir \'a g, The directed landscape, Acta Math. 229 (2022), 201--285

  28. [36]

    Adam Doliwa and Paolo Maria Santini, Multidimensional quadrilateral lattices are integrable, Phys. Lett. A 233 (1997), 365--372

  29. [37]

    Dieker and Jon Warren, Determinantal transition kernels for some interacting particles on the line, Ann

    Antonius B. Dieker and Jon Warren, Determinantal transition kernels for some interacting particles on the line, Ann. Inst. Henri Poincar\'e Probab. Stat. 44 (2008), 1162--1172

  30. [38]

    A symptotics for the MK d V equation , Ann

    Percy Deift and Xin Zhou, A steepest descent method for oscillatory R iemann-- H ilbert problems. A symptotics for the MK d V equation , Ann. of Math. (2) 137 (1993), 295--368

  31. [39]

    Fay, Theta functions on R iemann surfaces , Lecture Notes in Math., vol

    John D. Fay, Theta functions on R iemann surfaces , Lecture Notes in Math., vol. 352, Springer, 1973

  32. [40]

    Fokas, Alexander R

    Athanassios S. Fokas, Alexander R. Its, Andrei A. Kapaev, and Victor Yu. Novokshenov, Painlev\'e transcendents: The R iemann-- H ilbert approach , Mathematical Surveys and Monographs, vol. 128, American Mathematical Society, 2006

  33. [41]

    Nelson, and Michael J

    Dieter Forster, David R. Nelson, and Michael J. Stephen, Large-distance and long-time properties of a randomly stirred fluid, Phys. Rev. A 16 (1977), 732--749

  34. [42]

    Report LA-1940, Los Alamos Scientific Laboratory, 1955

    Enrico Fermi, John Pasta, Stanislaw Ulam, and Mary Tsingou, Studies of nonlinear problems, Tech. Report LA-1940, Los Alamos Scientific Laboratory, 1955

  35. [43]

    33 (1910), 1--55

    Bertrand Gambier, Sur les \'equations diff\'erentielles du second ordre et du premier degr\'e dont l'int\'egrale g\'en\'erale est \`a points critiques fixes, Acta Math. 33 (1910), 1--55

  36. [44]

    Gessel, Symmetric functions and P -recursiveness , J

    Ira M. Gessel, Symmetric functions and P -recursiveness , J. Combin. Theory Ser. A 53 (1990), 257--285

  37. [45]

    Gardner, John M

    Clifford S. Gardner, John M. Greene, Martin D. Kruskal, and Robert M. Miura, Method for solving the K orteweg--de V ries equation , Phys. Rev. Lett. 19 (1967), 1095--1097

  38. [46]

    Gel'fand and Boris M

    Israel M. Gel'fand and Boris M. Levitan, On the determination of a differential equation from its spectral function, Amer. Math. Soc. Transl. Ser. 2 1 (1955), 253--304

  39. [47]

    Gilson, Jonathan J

    Claire R. Gilson, Jonathan J. C. Nimmo, and Yasuhiro Ohta, Quasideterminant solutions of a non- A belian H irota-- M iwa equation , J. Phys. A 40 (2007), 12607--12617

  40. [48]

    Gelfand and Vladimir S

    Israel M. Gelfand and Vladimir S. Retakh, Determinants of matrices over noncommutative rings, Funct. Anal. Appl. 25 (1991), 91--102

  41. [49]

    Martin Hairer, Solving the KPZ equation , Ann. of Math. (2) 178 (2013), 559--664

  42. [50]

    , A theory of regularity structures, Invent. Math. 198 (2014), 269--504

  43. [51]

    Hammersley, A few seedlings of research, Proceedings of the Sixth Berkeley Symposium on Mathematical Statistics and Probability, vol

    John M. Hammersley, A few seedlings of research, Proceedings of the Sixth Berkeley Symposium on Mathematical Statistics and Probability, vol. 1, Univ. California Press, 1972, pp. 345--394

  44. [52]

    Takeuchi, A KPZ cocktail---shaken, not stirred , J

    Timothy Halpin-Healy and Kazumasa A. Takeuchi, A KPZ cocktail---shaken, not stirred , J. Stat. Phys. 160 (2015), 794--814

  45. [53]

    Timothy Halpin-Healy and Yi-Cheng Zhang, Kinetic roughening phenomena, stochastic growth, directed polymers and all that, Phys. Rep. 254 (1995), 215--414

  46. [54]

    Ryogo Hirota, Exact solution of the K orteweg--de V ries equation for multiple collisions of solitons , Phys. Rev. Lett. 27 (1971), 1192--1194

  47. [55]

    , Exact solution of the modified K orteweg--de V ries equation for multiple collisions of solitons , J. Phys. Soc. Japan 33 (1972), 1456--1458

  48. [56]

    , Exact solution of the sine- G ordon equation for multiple collisions of solitons , J. Phys. Soc. Japan 33 (1972), 1459--1463

  49. [57]

    , Exact envelope-soliton solutions of a nonlinear wave equation, J. Math. Phys. 14 (1973), 805--809

  50. [58]

    , Discrete analogue of a generalized T oda equation , J. Phys. Soc. Japan 50 (1981), 3785--3791

  51. [59]

    Hastings and John Bryce McLeod, A boundary value problem associated with the second P ainlev\'e transcendent and the K orteweg--de V ries equation , Arch

    Stuart P. Hastings and John Bryce McLeod, A boundary value problem associated with the second P ainlev\'e transcendent and the K orteweg--de V ries equation , Arch. Rational Mech. Anal. 73 (1980), 31--51

  52. [60]

    Its, Alexander G

    Alexander R. Its, Alexander G. Izergin, Vladimir E. Korepin, and Nikita A. Slavnov, Differential equations for quantum correlation functions, Internat. J. Modern Phys. B 4 (1990), 1003--1037

  53. [61]

    Its and Victor Yu

    Alexander R. Its and Victor Yu. Novokshenov, The isomonodromic deformation method in the theory of P ainlev\'e equations , Lecture Notes in Math., vol. 1191, Springer, 1986

  54. [62]

    Michio Jimbo, Tetsuji Miwa, Yasuko M \^o ri, and Mikio Sato, Density matrix of an impenetrable B ose gas and the fifth P ainlev\'e transcendent , Physica D 1 (1980), 80--158

  55. [63]

    Michio Jimbo, Tetsuji Miwa, and Kimio Ueno, Monodromy preserving deformation of linear ordinary differential equations with rational coefficients I , Physica D 2 (1981), 306--352

  56. [64]

    Kurt Johansson, Shape fluctuations and random matrices, Comm. Math. Phys. 209 (2000), 437--476

  57. [65]

    Korteweg and Gustav de Vries, On the change of form of long waves advancing in a rectangular canal, and on a new type of long stationary waves, Phil

    Diederik J. Korteweg and Gustav de Vries, On the change of form of long waves advancing in a rectangular canal, and on a new type of long stationary waves, Phil. Mag. (5) 39 (1895), 422--443

  58. [66]

    Igor Krichever, Oleg Lipan, Paul Wiegmann, and Anton Zabrodin, Quantum integrable models and discrete classical H irota equations , Comm. Math. Phys. 188 (1997), 267--304

  59. [67]

    Mehran Kardar, Giorgio Parisi, and Yi-Cheng Zhang, Dynamic scaling of growing interfaces, Phys. Rev. Lett. 56 (1986), 889--892

  60. [68]

    Alexandre Krajenbrink, From P ainlev\'e to Z akharov-- S habat and beyond: F redholm determinants and integro-differential hierarchies , J. Phys. A 54 (2021), 035001

  61. [69]

    Joachim Krug, Origins of scale invariance in growth processes, Adv. Phys. 46 (1997), 139--282

  62. [70]

    Lax, Integrals of nonlinear equations of evolution and solitary waves, Comm

    Peter D. Lax, Integrals of nonlinear equations of evolution and solitary waves, Comm. Pure Appl. Math. 21 (1968), 467--490

  63. [71]

    C. X. Li, J. J. C. Nimmo, and K. M. Tamizhmani, On solutions to the non- A belian H irota-- M iwa equation and its continuum limits , Proc. R. Soc. A 465 (2009), 1441--1451

  64. [72]

    Logan and Lawrence A

    Benjamin F. Logan and Lawrence A. Shepp, A variational problem for random Y oung tableaux , Advances in Math. 26 (1977), 206--222

  65. [73]

    Marchenko, On the reconstruction of the potential energy from phases of the scattered waves, Dokl

    Vladimir A. Marchenko, On the reconstruction of the potential energy from phases of the scattered waves, Dokl. Akad. Nauk SSSR 104 (1955), 695--698

  66. [74]

    5, Cambridge University Press, 1998

    Paul Meakin, Fractals, scaling and growth far from equilibrium, Cambridge Nonlinear Science Series, vol. 5, Cambridge University Press, 1998

  67. [75]

    C. T. MacDonald, J. H. Gibbs, and A. C. Pipkin, Kinetics of biopolymerization on nucleic acid templates, Biopolymers 6 (1968), 1--25

  68. [76]

    Japan Acad

    Tetsuji Miwa, On H irota's difference equations , Proc. Japan Acad. Ser. A Math. Sci. 58 (1982), 9--12

  69. [77]

    227 (2021), 115--203

    Konstantin Matetski, Jeremy Quastel, and Daniel Remenik, The KPZ fixed point , Acta Math. 227 (2021), 115--203

  70. [78]

    , Polynuclear growth and the T oda lattice , 2024, arXiv:2209.02643

  71. [79]

    Theory Related Fields 185 (2022), 615--698

    Konstantin Matetski and Daniel Remenik, TASEP and generalizations: method for exact solution , Probab. Theory Related Fields 185 (2022), 615--698

  72. [80]

    Jonathan J. C. Nimmo, On a non- A belian H irota-- M iwa equation , J. Phys. A 39 (2006), 5053--5065

  73. [81]

    Sigma 8 (2020), e63

    Mihai Nica, Jeremy Quastel, and Daniel Remenik, One-sided reflected B rownian motions and the KPZ fixed point , Forum Math. Sigma 8 (2020), e63

  74. [82]

    , Solution of the K olmogorov equation for TASEP , Ann. Probab. 48 (2020), no. 5, 2344--2358

  75. [83]

    Neil O'Connell and Marc Yor, Brownian analogues of B urke's theorem , Stochastic Process. Appl. 96 (2001), 285--304

  76. [84]

    Paul Painlev\'e, M\'emoire sur les \'equations diff\'erentielles dont l'int\'egrale g\'en\'erale est uniforme, Bull. Soc. Math. France 28 (1900), 201--261

  77. [85]

    25 (1902), 1--85

    , Sur les \'equations diff\'erentielles du second ordre et d'ordre sup\'erieur dont l'int\'egrale g\'en\'erale est uniforme, Acta Math. 25 (1902), 1--85

  78. [86]

    Christoph P \"o ppe, General determinants and the function for the K adomtsev-- P etviashvili hierarchy , Inverse Problems 5 (1989), 613--630

  79. [87]

    Michael Pr \"a hofer and Herbert Spohn, Scale invariance of the PNG droplet and the A iry process , J. Stat. Phys. 108 (2002), 1071--1106

  80. [88]

    Pi 10 (2022), e10

    Jeremy Quastel and Daniel Remenik, KP governs random growth off a 1-dimensional substrate , Forum Math. Pi 10 (2022), e10

  81. [89]

    Jeremy Quastel and Herbert Spohn, The one-dimensional KPZ equation and its universality class , J. Stat. Phys. 160 (2015), no. 4, 965--984

  82. [90]

    Mustazee Rahman, On the duality between particles and polymers, 2025, arXiv:2409.19319

  83. [91]

    Lord Rayleigh, On waves, Phil. Mag. (5) 1 (1876), 257--279

  84. [92]

    Alexander Rodriguez, Bilinear differential--difference equations and one-point distributions of some KPZ -class models , 2025, arXiv:2509.16316

    C. Alexander Rodriguez, Bilinear differential--difference equations and one-point distributions of some KPZ -class models , 2025, arXiv:2509.16316

  85. [93]

    Press, 2015

    Dan Romik, The surprising mathematics of longest increasing subsequences, Institute of Mathematical Statistics Textbooks, Cambridge Univ. Press, 2015

  86. [94]

    John Scott Russell, Report on waves, Rep. Brit. Assoc. Adv. Sci. (1844), 311--390

  87. [95]

    Satoru Saito, String theories and H irota's bilinear difference equation , Phys. Rev. Lett. 59 (1987), 1798--1801

  88. [96]

    Timo Sepp \"a l \"a inen, Scaling for a one-dimensional directed polymer with boundary conditions, Ann. Probab. 40 (2012), 19--73

  89. [97]

    Frank Spitzer, Interaction of M arkov processes , Adv. Math. 5 (1970), 246--290

  90. [98]

    65, Cambridge Univ

    Herbert Spohn, KPZ scaling theory and the semidiscrete directed polymer model , Random Matrix Theory, Interacting Particle Systems, and Integrable Systems, MSRI Publications, vol. 65, Cambridge Univ. Press, 2014, pp. 483--494

  91. [99]

    Tomohiro Sasamoto and Herbert Spohn, One-dimensional K ardar-- P arisi-- Z hang equation: an exact solution and its universality , Phys. Rev. Lett. 104 (2010), 230602

  92. [100]

    Graeme Segal and George Wilson, Loop groups and equations of K d V type , Publ. Math. IH\'ES 61 (1985), 5--65

  93. [101]

    Tracy and Harold Widom, Level-spacing distributions and the A iry kernel , Comm

    Craig A. Tracy and Harold Widom, Level-spacing distributions and the A iry kernel , Comm. Math. Phys. 159 (1994), 151--174

  94. [102]

    , On orthogonal and symplectic matrix ensembles, Comm. Math. Phys. 177 (1996), 727--754

  95. [103]

    , Integral formulas for the asymmetric simple exclusion process, Comm. Math. Phys. 279 (2008), 815--844

  96. [104]

    , Asymptotics in ASEP with step initial condition , Comm. Math. Phys. 290 (2009), 129--154

  97. [105]

    Ulam, A collection of mathematical problems, Interscience, 1960

    Stanislaw M. Ulam, A collection of mathematical problems, Interscience, 1960

  98. [106]

    Vershik and Sergei V

    Anatoly M. Vershik and Sergei V. Kerov, Asymptotic behavior of the P lancherel measure of the symmetric group and the limit form of Y oung tableaux , Dokl. Akad. Nauk SSSR 233 (1977), 1024--1027

  99. [107]

    Zabusky and Martin D

    Norman J. Zabusky and Martin D. Kruskal, Interaction of ``solitons'' in a collisionless plasma and the recurrence of initial states, Phys. Rev. Lett. 15 (1965), 240--243

  100. [108]

    Zakharov and Alexei B

    Vladimir E. Zakharov and Alexei B. Shabat, Exact theory of two-dimensional self-focusing and one-dimensional self-modulation of waves in nonlinear media, Sov. Phys. JETP 34 (1972), 62--69

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.