pith. sign in

arxiv: 2605.24976 · v1 · pith:LFU4AYEHnew · submitted 2026-05-24 · 🧮 math.FA · math.CA· math.PR

A Borodin-Okounkov-Geronimo-Case identity for tilted Toeplitz minors

Leonid Petrov This is my paper

Pith reviewed 2026-06-30 00:05 UTC · model grok-4.3

classification 🧮 math.FA math.CAmath.PR
keywords tilted Toeplitz minorsBorodin-Okounkov-Geronimo-Case identityFredholm determinantoblique projectionHardy spaceperiodic TASEPKPZ fixed pointSchur polynomials
0
0 comments X

The pith

Tilted Toeplitz minors admit a Fredholm determinant representation in which the tilt sequences enter solely through an oblique projection multiplying the kernel while the underlying BOGC operator stays fixed.

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

The paper proves that the tilted Toeplitz minor equals a Fredholm determinant built from the standard BOGC operator A equals I minus K, but with the kernel K multiplied by an oblique projection that encodes the tilt sequences. This generalizes the classical BOGC identity from orthogonal to oblique splittings of the Hardy space. The result matters for applications to the periodic totally asymmetric simple exclusion process, where the same minors appear in the study of the periodic KPZ fixed point. It also provides combinatorial interpretations through bialternant expressions and Cauchy-Binet expansions that recover Schur polynomials and their generalizations. The identity reduces directly to the original BOGC case when the tilts are all equal to one.

Core claim

We prove that the tilted Toeplitz minor D_N^{ξ,θ}(ϕ) is given by the Fredholm determinant of an operator in which the trace-class kernel K is multiplied by an oblique projection determined by the tilts ξ and θ, while the operator A = I - K constructed from the symbol ϕ remains exactly the same as in the classical BOGC identity.

What carries the argument

An oblique projection multiplying the trace-class kernel K inside the Fredholm determinant, with the BOGC operator A = I - K left unchanged.

If this is right

  • The formula reduces to the standard BOGC identity when all tilt parameters equal one.
  • The one-sided tilted minor admits a bialternant representation recovering Schur and Grothendieck polynomials as special cases.
  • A Cauchy-Binet expansion realizes the minor as a restricted sum over partitions of Jacobi-Trudi type determinants.
  • In the pure-shift setting the expansion specializes to a skew Schur expansion.
  • For finite Laurent exponential symbols the identity yields explicit resolvent-block flow identities and a finite-dimensional closure problem.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The identity supplies a tool for extracting the periodic KPZ fixed point with general initial data via its role in periodic TASEP analysis.
  • Asymptotic regimes of these tilted minors are expected to produce finite-rank perturbations of the Airy kernel.
  • The combinatorial side suggests direct extensions of Gessel's theorem to other families of symmetric functions.

Load-bearing premise

The tilt parameters affect the determinant formula only by multiplying the kernel with an oblique projection, without altering the underlying operator A constructed from the symbol.

What would settle it

Direct numerical computation of both the explicit tilted matrix determinant and the proposed projected-kernel Fredholm determinant for N=2, a simple rational symbol ϕ, and explicit nonzero tilt vectors should produce matching values; mismatch would refute the identity.

read the original abstract

We prove a Fredholm determinantal identity for the tilted Toeplitz minor $$ D_{N}^{\xi,\theta}(\varphi):= \det\bigl[(\theta_{i}\xi_{j}\varphi)_{i-j}\bigr]_{i,j=1}^{N}, $$ generalizing the Borodin-Okounkov-Geronimo-Case (BOGC) identity to oblique splittings of the Hardy space. The tilts $\xi_{j},\theta_{i}$ enter only through an oblique projection that multiplies the trace-class kernel $K$ inside the Fredholm determinant; the BOGC operator $A=I-K$ constructed from $\varphi$ is unchanged. Baik-Liao-Liu (arXiv:2603.01964) and Liu-Tripathi (arXiv:2604.24747) have recently shown that the same tilted Toeplitz minor admits a contour Fredholm-determinantal representation, in connection with the periodic Totally Asymmetric Simple Exclusion Process (TASEP). In the periodic TASEP application of Baik-Liao-Liu, the formula plays an important role in identifying the periodic KPZ fixed point with general initial data. Our formula is a companion to their Fredholm determinant and readily reduces to the original BOGC identity. The one-sided tilted Toeplitz minor (that is, when all $\theta_i=1$) admits a bialternant form recovering Schur and Grothendieck polynomials as special cases. A Cauchy-Binet expansion realizes $D_{N}^{\xi,\theta}$ as a restricted sum over partitions of products of Jacobi-Trudi type determinants, generalizing Gessel's theorem. In the pure-shift setting this specializes to a skew Schur expansion. Finally, for finite Laurent exponential symbols, we record explicit resolvent-block flow identities and formulate the associated finite-dimensional closure problem. We also illustrate a possible asymptotic application leading to finite-rank perturbations of the Airy kernel.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript proves a Fredholm determinantal identity for the tilted Toeplitz minor D_N^{ξ,θ}(ϕ) := det[(θ_i ξ_j ϕ)_{i-j}]_{i,j=1}^N. The tilts enter the formula solely by left/right multiplication of the trace-class kernel K by an oblique projection on the Hardy space, leaving the underlying BOGC operator A = I - K (constructed from the symbol ϕ) invariant. The identity reduces to the classical BOGC formula for trivial tilts and yields combinatorial expansions (bialternant forms recovering Schur/Grothendieck polynomials, Cauchy-Binet sums generalizing Gessel's theorem, and skew Schur expansions in the pure-shift case). Connections to contour-integral representations in periodic TASEP (Baik-Liao-Liu, Liu-Tripathi) and possible finite-rank Airy-kernel perturbations are noted, along with resolvent-block identities for finite Laurent symbols.

Significance. If the central identity holds, the result supplies a direct operator-theoretic companion to recent contour Fredholm representations arising in periodic TASEP and the periodic KPZ fixed point. The combinatorial reductions furnish independent verification routes and recover classical polynomial identities without additional hypotheses. The derivation is presented as independent of the cited TASEP works, which is a positive feature for novelty.

minor comments (3)
  1. The abstract cites arXiv:2603.01964 and arXiv:2604.24747 without full bibliographic details; adding complete references in the bibliography would improve traceability.
  2. Notation for the oblique projection (denoted implicitly via the tilts) could be introduced with an explicit symbol or diagram in the introduction to clarify the left/right action on K.
  3. In the discussion of the finite-dimensional closure problem for Laurent exponential symbols, the precise dimension of the resolvent blocks is not stated; a short remark on the rank would aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report and the recommendation to accept the manuscript. The summary accurately captures the main results, including the operator-theoretic formulation, the reductions to classical BOGC and combinatorial identities, and the connections to periodic TASEP.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes the tilted BOGC identity via operator-theoretic constructions on Hardy space splittings and oblique projections multiplying the kernel K while leaving A = I-K invariant; this is presented as the content of the proof rather than an input. No self-citation load-bearing steps appear, as the cited Baik-Liao-Liu and Liu-Tripathi works are by different authors and supply only companion contour representations and TASEP context. Reductions to classical BOGC, bialternant forms, Cauchy-Binet, and skew Schur expansions are shown as special cases without redefining inputs as outputs. The structural premise is therefore the proved statement itself, not a hidden fit or imported uniqueness theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard operator theory without introducing fitted parameters or new entities; the proof depends on background properties of Fredholm determinants and Hardy space splittings.

axioms (2)
  • standard math Fredholm determinants are well-defined and multiplicative for trace-class operators on the Hardy space
    Invoked to equate the tilted minor to a modified Fredholm determinant
  • domain assumption Oblique projections on the Hardy space act by multiplying the kernel K without altering the base operator A = I - K
    This is the load-bearing mechanism stated for the tilted generalization

pith-pipeline@v0.9.1-grok · 5900 in / 1571 out tokens · 59663 ms · 2026-06-30T00:05:12.536579+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

42 extracted references · 26 canonical work pages · 20 internal anchors

  1. [1]

    J. Baik, G. Ben Arous , and S. P\'ech\'e. Phase transition of the largest eigenvalue for non-null complex sample covariance matrices. Ann. Probab. , 33(5):1643--1697, 2005. arXiv:math/0403022 [math.PR]

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  2. [2]

    Bump and P

    D. Bump and P. Diaconis. Toeplitz minors . J. Combin. Theory Ser. A , 97(2):252--271, 2002

    2002

  3. [3]

    J. Baik, Y. Liao, and Z. Liu. Periodic KPZ fixed point with general initial conditions . arXiv preprint , 2026. arXiv:2603.01964 [math.PR]

    work page arXiv 2026

  4. [4]

    A Fredholm determinant formula for Toeplitz determinants

    A. Borodin and A. Okounkov. A Fredholm determinant formula for Toeplitz determinants . Integral Equations Operator Theory , 37(4):386--396, 2000. arXiv:math/9907165

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  5. [5]

    Borodin and G

    A. Borodin and G. Olshanski. Representations of the Infinite Symmetric Group , volume 160 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, 2016

    2016

  6. [6]

    A. Borodin. Biorthogonal ensembles. Nuclear Physics B , 536:704--732, 1998. arXiv:math/9804027 [math.CA]

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  7. [7]

    One more proof of the Borodin-Okounkov formula for Toeplitz determinants

    A. B \"o ttcher. One more proof of the Borodin -- Okounkov formula for Toeplitz determinants . Integral Equations Operator Theory , 41(1):123--125, 2001. arXiv:math/0012200

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  8. [8]

    Airy kernel with two sets of parameters in directed percolation and random matrix theory

    A. Borodin and S. Peche. Airy kernel with two sets of parameters in directed percolation and random matrix theory. Jour. Stat. Phys. , 132(2):275--290, 2008. arXiv:0712.1086v3 [math-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  9. [9]

    Limiting distributions for a polynuclear growth model with external sources

    J. Baik and E. Rains. Limiting distributions for a polynuclear growth model with external sources. Jour. Stat. Phys. , 100(3):523--541, 2000. arXiv:math/0003130 [math.PR]

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  10. [10]

    B\"ottcher and B

    A. B\"ottcher and B. Silbermann. Analysis of T oeplitz Operators . Springer-Verlag, Berlin, second edition, 2006

    2006

  11. [11]

    A. S. Buch. A Littlewood--Richardson rule for the K-theory of Grassmannians . Acta Math. , 189(1):37--78, 2002. arXiv:math/0004137 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  12. [12]

    E. L. Basor and H. Widom. On a Toeplitz determinant identity of Borodin and Okounkov . Integral Equations Operator Theory , 37(4):397--401, 2000. arXiv:math/9909010

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  13. [13]

    Szeg\"o via Jacobi

    A. B \"o ttcher and H. Widom. Szeg o via Jacobi . Linear Algebra Appl. , 419(2--3):656--667, 2006. arXiv:math/0604009

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  14. [14]

    Chouteau and S

    T. Chouteau and S. Tarricone. Recursion relation for Toeplitz determinants and the discrete Painlev\'e II hierarchy . SIGMA , 19:030, 2023. arXiv:2211.16898 [math-ph]

    work page arXiv 2023

  15. [15]

    Tau functions and the limit of block Toeplitz determinants

    M. Cafasso and C.-Z. Wu. Tau functions and the limit of block Toeplitz determinants . Int. Math. Res. Not. , 2015(20):10339--10366, 2015. arXiv:1404.5149 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  16. [16]

    Chen, S.-X

    Y. Chen, S.-X. Xu, and Y.-Q. Zhao. Asymptotics of the determinant of the modified Bessel functions and the second Painlev\'e equation . Random Matrices Theory Appl. , 13(1):2450003, 2024. arXiv:2402.11233 [math-ph]

    work page arXiv 2024

  17. [17]

    Fomin and A.N

    S. Fomin and A.N. Kirillov. Grothendieck polynomials and the Yang-Baxter equation . In Proc. Formal Power Series and Alg. Comb , pages 183--190, 1994

    1994

  18. [18]

    P. J. Forrester and N. S. Witte. Application of the -function theory of Painlev\'e equations to random matrices: P_ V , P_ III , the LUE , JUE and CUE . Comm. Pure Appl. Math. , 55(6):679--727, 2002. arXiv:math-ph/0201051

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  19. [19]

    P. J. Forrester and N. S. Witte. Discrete Painlev\'e equations, orthogonal polynomials on the unit circle, and N -recurrences for averages over U(N) : P_ III' and P_ V -functions . Int. Math. Res. Not. , (4):160--183, 2004. arXiv:math-ph/0305029

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  20. [20]

    J. S. Geronimo and K. M. Case. Scattering theory and polynomials orthogonal on the unit circle . J. Math. Phys. , 20:299--310, 1979

    1979

  21. [21]

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

    1990

  22. [22]

    Garc \' a-Garc \' a and M

    D. Garc \' a-Garc \' a and M. Tierz. Toeplitz minors and specializations of skew Schur polynomials . J. Combin. Theory Ser. A , 172, 2020. arXiv:1706.02574 [math.CO]

    work page arXiv 2020

  23. [23]

    Gavrilova and L

    S. Gavrilova and L. Petrov. Tilted biorthogonal ensembles, Grothendieck random partitions, and determinantal tests . Selecta Math. , 30:Article 56, 2024. arXiv:2305.17747 [math.PR]

    work page arXiv 2024

  24. [24]

    Hwang, J

    B.-H. Hwang, J. Jang, J.S. Kim, M. Song, and U.-K. Song. Refined canonical stable Grothendieck polynomials and their duals, Part I . Adv. Math. , 446:109670, 2024. arXiv:2104.04251 [math.CO]

    work page arXiv 2024

  25. [25]

    Its, A.G

    A.R. Its, A.G. Izergin, V.E. Korepin, and N.A. Slavnov. Differential equations for quantum correlation functions . Int. J. Mod. Phys. B , 4(5):1003--1037, 1990

    1990

  26. [26]

    Fluctuations of the one-dimensional polynuclear growth model with external sources

    T. Imamura and T. Sasamoto. Fluctuations of the one-dimensional polynuclear growth model with external sources. Nuclear Physics B , 699(3):503--544, 2004. arXiv:math-ph/0406001

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  27. [27]

    K. K. Kozlowski. On lacunary Toeplitz determinants . Asymptotic Analysis , 88(1-2):1--16, 2014. arXiv:1310.2584 [math-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  28. [28]

    Lascoux and M.-P

    A. Lascoux and M.-P. Sch\"utzenberger. Structure de Hopf de l'anneau de cohomologie et de l'anneau de Grothendieck d'une vari\'et\'e de drapeaux . C. R. Acad. Sci. Paris S\'er. I Math. , 295(11):629--633, 1982

    1982

  29. [29]

    A determinant identity for the sum of contour integral matrices

    Z. Liu and T. Tripathi. A determinant identity for the sum of contour integral matrices . arXiv preprint , 2026. arXiv:2604.24747 [math.PR]

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  30. [30]

    Macdonald

    I.G. Macdonald. Symmetric functions and H all polynomials . Oxford University Press, 2nd edition, 1995

    1995

  31. [31]

    E. A. Maximenko and M. A. Moctezuma-Salazar. Cofactors and eigenvectors of banded Toeplitz matrices: Trench formulas via skew Schur polynomials . Oper. Matrices , 11(4), 2017. arXiv:1705.08067 [math.CO]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  32. [32]

    Vertex models, TASEP and Grothendieck polynomials

    K. Motegi and K. Sakai. Vertex models, TASEP and G rothendieck polynomials . J. Phys. A: Math. Theor. , 46(35):355201, 2013. arXiv:1305.3030 [math-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  33. [33]

    L. Onsager. Crystal statistics. I . A two-dimensional model with an order-disorder transition . Phys. Rev. , 65:117--149, 1944

    1944

  34. [34]

    V. V. Peller. Hankel Operators and Their Applications . Springer Monographs in Mathematics. Springer-Verlag, New York, 2003

    2003

  35. [35]

    B. Simon. Orthogonal Polynomials on the Unit Circle, Part 1: Classical Theory , volume 54 of American Mathematical Society Colloquium Publications . American Mathematical Society, Providence, RI, 2005

    2005

  36. [36]

    B. Simon. Trace ideals and their applications, second edition , volume 120 of Mathematical Surveys and Monographs . AMS, 2005

    2005

  37. [37]

    Segal and G

    G. Segal and G. Wilson. Loop groups and equations of KdV type . Inst. Hautes \'Etudes Sci. Publ. Math. , 61:5--65, 1985

    1985

  38. [38]

    G. Szeg o . Ein Grenzwertsatz \"uber die Toeplitz schen Determinanten einer reellen positiven Funktion . Math. Ann. , 76:490--503, 1915

    1915

  39. [39]

    G. Szeg o . On certain Hermitian forms associated with the Fourier series of a positive function . Comm. S\'em. Math. Univ. Lund [Medd. Lunds Univ. Mat. Sem.] , pages 228--238, 1952. Tome Suppl\'ementaire d\'edi\'e \`a Marcel Riesz

    1952

  40. [40]

    Airy Kernel and Painleve II

    C. Tracy and H. Widom. Airy kernel and P ainlev \'e II . In Isomonodromic deformations and applications in physics ( M ontr \'e al, QC , 2000) , volume 31 of CRM Proc. Lecture Notes , pages 85--96. AMS, 2002. arXiv:solv-int/9901004

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  41. [41]

    C. A. Tracy and H. Widom. On the limit of some Toeplitz -like determinants . SIAM J. Matrix Anal. Appl. , 23(4):1194--1196, 2002. arXiv:math/0107118

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  42. [42]

    Duality and deformations of stable Grothendieck polynomials

    D. Yeliussizov. Duality and deformations of stable Grothendieck polynomials . Jour. Alg. Comb. , 45(1):295--344, 2017. arXiv:1601.01581 [math.CO]

    work page internal anchor Pith review Pith/arXiv arXiv 2017