The Symplectic Schur Process
Pith reviewed 2026-05-23 23:01 UTC · model grok-4.3
The pith
The symplectic Schur process defines a determinantal point process on tuples of partitions with an explicit correlation kernel.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We define a measure on tuples of partitions, called the symplectic Schur process, that should be regarded as the right analogue of the Schur process for the Cartan type C. The weights include universal symplectic characters and a novel family of Down-Up Schur functions for which we prove new Cauchy-Littlewood-type identities. Our main result is that the point process is determinantal with an explicit correlation kernel. We also present dynamics preserving the family and explore sampling via the Berele insertion algorithm, with asymptotics yielding a new kernel resembling the symmetric Pearcey kernel.
What carries the argument
The Down-Up Schur functions, defined to satisfy Cauchy-Littlewood-type identities that establish the determinantal property of the symplectic Schur process.
If this is right
- The correlation kernel gives explicit formulas for all finite-dimensional marginals of the process.
- Markov dynamics exist that leave the symplectic Schur processes invariant.
- In a special case the process can be sampled using the Berele insertion algorithm.
- Asymptotic analysis of the insertion process provides explicit formulas for the limit shape and bulk and edge fluctuations, including a new kernel in one regime.
Where Pith is reading between the lines
- Similar constructions using appropriate characters could define processes for other Lie types.
- The new kernel may connect to other symmetric random matrix models.
- Numerical simulations of the insertion algorithm could verify the predicted limit shapes.
- The framework might apply to studying fluctuations in other partition models with group symmetries.
Load-bearing premise
The Down-Up Schur functions satisfy the Cauchy-Littlewood-type identities needed to close the determinantal property.
What would settle it
A calculation of the two-point correlation function for the measure on a small instance of partitions that does not agree with the formula from the proposed kernel.
Figures
read the original abstract
We define a measure on tuples of partitions, called the symplectic Schur process, that should be regarded as the right analogue of the Schur process of Okounkov-Reshetikhin for the Cartan type C. The weights of our measure include factors that are universal symplectic characters, as well as a novel family of "Down-Up Schur functions" that we define and for which we prove new identities of Cauchy-Littlewood-type. Our main structural result is that the point process corresponding to the symplectic Schur process is determinantal and we find an explicit correlation kernel. We also present dynamics that preserve the family of symplectic Schur processes and explore an alternative sampling scheme, based on the Berele insertion algorithm, in a special case. Finally, we study the asymptotics of the Berele insertion process and find explicit formulas for the limit shape and fluctuations near the bulk and the edge. One of the limit regimes leads to a new kernel that resembles the symmetric Pearcey kernel.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines the symplectic Schur process, a probability measure on tuples of partitions whose weights involve universal symplectic characters together with a new family of Down-Up Schur functions. It proves Cauchy-Littlewood-type identities for the latter, establishes that the associated point process is determinantal, and supplies an explicit correlation kernel. The paper further constructs dynamics that preserve the family, examines Berele insertion as a sampling method in a special case, and derives the limit shape together with bulk and edge fluctuations for the insertion process, including a new kernel resembling the symmetric Pearcey kernel.
Significance. If the stated identities and kernel derivations hold, the work supplies the first explicit determinantal structure for a natural type-C analogue of the Okounkov-Reshetikhin Schur process. The explicit kernel, the new Down-Up Schur functions, and the asymptotic formulas (limit shape, fluctuations, and the Pearcey-like kernel) constitute concrete, usable results for integrable probability and random partitions in Cartan type C.
minor comments (3)
- [§2] §2 (definition of Down-Up Schur functions): the generating-function definition is given, but the precise range of the auxiliary variables for which the functions are polynomials (as opposed to formal series) should be stated explicitly before the identities are invoked.
- [§4] §4 (kernel derivation): the passage from the Cauchy-Littlewood identities to the explicit double-contour integral formula for the kernel would benefit from a one-paragraph summary of the residue computations that produce the final expression.
- [§6] §6 (asymptotics): the statement of the limit-shape result should include the precise scaling regime (e.g., the relation between n and the parameters of the measure) under which the convergence holds.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments appear in the report, so we have no points requiring point-by-point response or manuscript changes at this stage.
Circularity Check
No significant circularity in derivation chain
full rationale
The paper defines new objects (symplectic Schur process and Down-Up Schur functions), states and proves the required Cauchy-Littlewood-type identities for those objects, and derives the determinantal kernel from the identities. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation, or definitional tautology; the central claim follows from the newly established identities rather than presupposing them. This is a standard self-contained construction in combinatorial probability.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of partitions and symmetric functions hold (implicit throughout).
- domain assumption Universal symplectic characters are well-defined and satisfy the required orthogonality or branching rules.
invented entities (1)
-
Down-Up Schur functions
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We define a measure on tuples of partitions, called the symplectic Schur process... novel family of 'Down-Up Schur functions'... prove new identities of Cauchy-Littlewood-type. Our main structural result is that the point process... is determinantal and we find an explicit correlation kernel.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The weights of our measure include factors that are universal symplectic characters, as well as a novel family of 'Down-Up Schur functions'
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Colored line ensembles for stochastic vertex models
[AB-2024] Amol Aggarwal and Alexei Borodin. Colored line ensembles for stochastic vertex models. Preprint; arXiv:2402.06868 (2024). [ASW-1952] Michael Aissen, Isaac Jacob Schoenberg and Anne M. Whitney. On the generating functions of totally positive sequences I. Journal d’Analyse Math´ ematique 2, no. 1 (1952), pp. 93–103. [AFHSA-2024] Seamus P. Albion, ...
-
[2]
Lectures on integrable probability
[BG-2016] Alexei Borodin and Vadim Gorin. Lectures on integrable probability. Probability and Statistical Physics in St. Petersburg 91 (2016), pp. 155–214. [BK-2010] Alexei Borodin and Jeffrey Kuan. Random surface growth with a wall and Plancherel measures for O(∞). Communications in Pure and Applied Mathematics 63 (2010), pp. 831–
work page 2016
-
[3]
Random partitions and the gamma kernel
[BO-2005] Alexei Borodin and Grigori Olshanski. Random partitions and the gamma kernel. Advances in Mathematics 194, no. 1 (2005), pp. 141–202. [BO-2017] Alexei Borodin and Grigori Olshanski. Representations of the infinite symmetric group. Vol
work page 2005
-
[4]
Integrable probability: From representation the- ory to Macdonald processes
[BP-2014] Alexei Borodin and Leonid Petrov. Integrable probability: From representation the- ory to Macdonald processes. Probability Surveys 11 (2014), pp. 1–58. [BP-2016] Alexei Borodin and Leonid Petrov. Nearest neighbor Markov dynamics on Macdonald processes. Advances in Mathematics 300 (2016), pp. 71–155. [BR-2005] Alexei Borodin and Eric M. Rains. Ey...
-
[5]
Forrester, Taro Nagao and Graeme Honner
[FNH-1999] Peter J. Forrester, Taro Nagao and Graeme Honner. Correlations for the orthogonal- unitary and symplectic-unitary transitions at the hard and soft edges. Nuclear Physics B 553, no. 3 (1999), pp. 601–643. [GOY-2021] Shiliang Gao, Gidon Orelowitz and Alexander Yong. Newell-Littlewood numbers. Transactions of the American Mathematical Society 374,...
work page 1999
-
[6]
Combinatorial Howe duality of symplectic type
[HK-2022] Taehyeok Heo and Jae-Hoon Kwon. Combinatorial Howe duality of symplectic type. Journal of Algebra, vol. 600 (2022), pp. 1–44. [Howe-1989] Roger Howe. Remarks on classical invariant theory. Transactions of the American Mathematical Society 313, no. 2 (1989), pp. 539–570. [IMS-2023] Takashi Imamura, Matteo Mucciconi and Tomohiro Sasamoto. Skew RSK...
work page 2022
-
[7]
Discrete polynuclear growth and determinantal processes
[Joh-2003] Kurt Johansson. Discrete polynuclear growth and determinantal processes. Commu- nications in Mathematical Physics 242 (2003), pp. 277–329. [Joh-2005] Kurt Johansson. The arctic circle boundary and the Airy process. The Annals of Probability, vol. 33, no. 1 (2005), pp. 1–30. 54 [JN-2006] Kurt Johansson and Eric Nordenstam. Eigenvalues of GUE Min...
work page 2003
-
[8]
[Koi-1989] Kazuhiko Koike. On the decomposition of tensor products of the representations of the classical groups: by means of the universal characters. Advances in Mathematics 74, no. 1 (1989), pp. 57–86. [KT-1987] Kazuhiko Koike and Itaru Terada. Young-diagrammatic methods for the representa- tion theory of the classical groups of type Bn, Cn, Dn. Journ...
work page 1989
-
[9]
[Lit-1958] Dudley E. Littlewood. Products and plethysms of characters with orthogonal, sym- plectic and symmetric groups. Canadian Journal of Mathematics 10 (1958), pp. 17–32. [Mac-1994] A. Murilo Santos Macˆ edo. Universal parametric correlations at the soft edge of the spectrum of random matrix ensembles. Europhysics Letters 26, no. 9 (1994),
work page 1958
- [10]
-
[11]
Spin q-Whittaker polynomials and de- formed quantum Toda
[MP-2022] Matteo Mucciconi and Leonid Petrov. Spin q-Whittaker polynomials and de- formed quantum Toda. Communications in Mathematical Physics. Volume 389 (2022), pp. 1331–1416 [NOS-2024] Anton Nazarov, Olga Postnova and Travis Scrimshaw. Skew Howe duality and limit shapes of Young diagrams. Journal of the London Mathematical Society 109, no. 1 (2024), e1...
work page 2022
-
[12]
Infinite wedge and random partitions
[Ok-2001b] Andrei Okounkov. Infinite wedge and random partitions. Selecta Mathematica 7, no. 1 (2001), pp. 57–81. [OP-2006] Andrei Okounkov and Rahul Pandharipande. Gromov-Witten theory, Hurwitz theory, and completed cycles. Annals of Mathematics 163, no. 2 (2006), pp. 517–560. [OR-2003] Andrei Okounkov and Nikolai Reshetikhin. Correlation function of Sch...
work page 2001
-
[13]
[OV-1996] Grigori Olshanski and Anatoly Vershik
Birkh¨ auser Boston (2006). [OV-1996] Grigori Olshanski and Anatoly Vershik. Ergodic unitarily invariant measures on the space of infinite Hermitian matrices. American Mathematical Society Translation Series 2, no. 175 (1996), pp. 137–176. [PS-2002] Michael Pr¨ ahofer and Herbert Spohn. Scale Invariance of the PNG droplet and the Airy process. Journal of ...
work page 2006
-
[14]
[Sch-1977] Marcel-Paul Sch¨ utzenberger. La correspondance de Robinson. Combinatoire et repr´ esentation du groupe sym´ etrique (1977) pp. 59–113. 56 [Sos-2000] Alexander Soshnikov. Determinantal random point fields. Russian Mathematical Sur- veys 55, no. 5 (2000), pp. 923–975. [Sta-1999] Richard P. Stanley. Enumerative Combinatorics, Vol
work page 1977
-
[15]
The Cauchy identity for Sp(2n)
[Sun-1990] Sheila Sundaram. The Cauchy identity for Sp(2n). Journal of Combinatorial Theory, Series A 53, no. 2 (1990), pp. 209–238. [Tin-2007] Peter Tingley. Three combinatorial models for ̂sln crystals, with applications to cylin- dric plane partitions. International Mathematics Research Notices, vol. 2007, no. 9, rnm143. [TW-2006] Craig Tracy and Harol...
work page 1990
-
[16]
Refined Cauchy/Littlewood identities and six-vertex model partition functions: III
[WZJ-2016] Michael Wheeler and Paul Zinn-Justin. Refined Cauchy/Littlewood identities and six-vertex model partition functions: III. Deformed bosons. Advances in Mathematics, Vol. 299 (2016), pp. 543–600. [Whi-1952] Anne M. Whitney. A reduction theorem for totally positive matrices. Journal d’Analyse Math´ ematique 2, no. 1 (1952), pp. 88–92. [Zho-2022] C...
work page 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.