Pith. sign in

REVIEW 2 major objections 4 minor 30 references

The intertwining property for $\beta $-Laguerre processes and integral operators for Jack polynomials

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves that a parameter-dependent Markov kernel makes β-Laguerre processes intertwine in adjacent dimensions without shifting the parameter α.

desk verdict A genuinely new fixed-parameter intertwining for β-Laguerre processes via a new Jack-polynomial eigenoperator; the main theorem's stated θ≥1/2 range is only proved for θ≥1 as written. read the letter →

arxiv 2505.23139 v1 pith:YVPU573O submitted 2025-05-29 math.PR

Yosuke Kawamato , Genki Shibukawa This is my paper
classification math.PR MSC 60B2060J60
keywords β-LaguerreprocessesintertwiningrelationsMarkovkernelsJacksymmetricpolynomialsDixon-AndersondistributionmultivariateLaguerrerandommatriceshypergeometricfunctions
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 proves that the semigroups of β-Laguerre processes in adjacent dimensions can be interchanged through a Markov kernel that depends on both the inverse temperature $\beta=2\theta$ and the parameter $\alpha>-1$. Previously known intertwinings changed $\alpha$ to $\alpha+1$ when moving between dimensions; the new equality keeps $\alpha$ fixed. The proof works by showing Jack symmetric polynomials are eigenfunctions of the new kernel, with explicit eigenvalues, then following a known semigroup argument. If correct, this gives a family of exact Markov intertwinings valid for all $\theta\ge 1/2$ and all $\alpha>-1$, and yields new integral formulas for multivariate Laguerre polynomials and multivariate hypergeometric functions.

What carries the argument

The central object is the Markov kernel $\Lambda^N_{\theta,\alpha,N}$ on the ordered nonnegative Weyl chamber, defined by random polynomial roots with a distinguished Dirichlet component. Its density (equation (5)) differs from the Dixon-Anderson density by the factor $\prod_i y_i^{\theta(\alpha+1)-1}/x_i^{\theta(\alpha+2)-1}$, which is what implements the parameter-$\alpha$ shift. The argument that carries the semigroup intertwining is Theorem 1.10, the Jack-polynomial eigenrelation, which reduces the problem to matching matrix entries on finite-dimensional spaces spanned by Jack polynomials; the exponential moments of the process make moment determinacy applicable.

What would settle it

Compute the left and right sides of (12) numerically for, say, $\theta=1/4$, $N=2$, $\lambda=(2,1)$, and $\alpha=0.7$ (a non-integer $\theta\alpha$) by Monte Carlo integration of the kernel density; any disagreement beyond sampling error would falsify Theorem 1.10 and, with it, the intertwining. Alternatively, check the asserted growth bound $|f(iy)|\le Ce^{c|y|}$ with $c<\pi$ directly on the defining integral.

Watch

Extended reading notes

Core claim

For $\theta=\beta/2\ge 1/2$ and $\alpha>-1$, the equality of Markov kernels $T^{N+1}_{\theta,\alpha,t}\Lambda^{N+1}_{\theta,\alpha,N}=\Lambda^{N+1}_{\theta,\alpha,N}T^N_{\theta,\alpha,t}$ holds for every $N$ and $t\ge 0$, where $\Lambda^{N+1}_{\theta,\alpha,N}=\Lambda^{N+1}_{\theta,N}\Lambda^N_{\theta,\alpha,N}$ is the composition of the classical Dixon-Anderson kernel with a newly introduced kernel $\Lambda^N_{\theta,\alpha,N}$. The new kernel is the law of the roots of a random polynomial whose Dirichlet weights are $(\alpha+1)\theta$ for a fixed zero at $0$ and $\theta$ for the remaining zeros. Theorem 1.10 states that Jack polynomials are eigenfunctions of the new kernel, with eigenvalue $c(\lambda,N,\theta;\alpha)$ given by a product of shifted factorials. This eigenrelation is the technical core: it turns the intertwining of generators into the intertwining of semigroups, after an analytic continuation from integer $\theta\alpha$ to all $\alpha>-1$.

Load-bearing premise

The proof of the key eigenrelation (Theorem 1.10) for non-integer $\theta\alpha$ relies on growth estimates for an auxiliary entire function $f(z)$ that are asserted in Section 3 without detailed derivation; if those estimates fail, the analytic continuation from integer $\theta\alpha$ to all $\alpha$ does not go through.

Editorial extensions

If this is right

  • For every $N$ and $t$, distributions obtained by evolving an $(N+1)$-point $\beta$-Laguerre process and then applying the kernel equal those obtained by first applying the kernel and then evolving the $N$-point process with the same $\alpha$.
  • Composing with the already known shifted intertwining gives a factorisation: the fixed-$\alpha$ kernel factorises as $\Lambda^{N+1}_{\theta,N}\Lambda^N_{\theta,\alpha,N}$.
  • For $\theta=1/2,1,2$ and integer $\alpha$, the kernel $\Lambda^{N+1}_{\theta,\alpha,N}$ coincides with the radial-part distribution of a truncated invariant random matrix, so the intertwining connects singular-value processes of such matrices.
  • The eigenrelation yields closed integral formulas: $\Lambda^N_{\theta,\alpha,N}$ sends a multivariate Laguerre polynomial $L^a_\lambda$ to $c(\lambda,N,\theta;\alpha)L^{a+\theta}_\lambda$, and shifts one parameter of multivariate hypergeometric functions.
  • The same fixed-$\alpha$ intertwining holds for $\beta$-Laguerre Ornstein-Uhlenbeck processes, as shown in Appendix B.

Reading between the lines

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

  • Because Jack polynomials diagonalise the new kernel with eigenvalues depending only on $\lambda,N,\theta,\alpha$, one could read the intertwining as the equality of two spectral decompositions; this suggests explicit eigenfunction expansions for the semigroup acting through the kernel, which the paper does not develop.
  • The factorisation $\Lambda^{N+1}_{\theta,\alpha,N}=\Lambda^{N+1}_{\theta,N}\Lambda^N_{\theta,\alpha,N}$ hints at a tower of intertwinings, possibly extendable to multilevel or infinite-particle limits; that extension is not in the paper.
  • A direct testable extension would be to check whether the same kernel, with $\alpha$ interpreted as a dimension parameter, intertwines $\beta$-Jacobi or other particle systems whose generators are Jack-polynomial diagonalisable.
  • The eigenrelation itself is proved for all $\theta>0$, while the intertwining theorem assumes $\theta\ge 1/2$; sharpening the semigroup step could widen the range, but that is beyond the present proof.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper introduces a family of Markov kernels Λ^N_{θ,α,N} on ordered N-tuples of nonnegative reals, defined as the root distribution of a random polynomial whose coefficients are Dirichlet weights depending on θ=β/2 and on α>-1. The main object is the composed kernel Λ^{N+1}_{θ,α,N} = Λ^{N+1}_{θ,N} Λ^N_{θ,α,N}. Theorem 1.10 states that Jack symmetric polynomials are eigenfunctions of Λ^N_{θ,α,N} with explicit eigenvalues c(λ,N,θ;α); this is proved first for integer θα via the Okounkov–Olshanski eigenrelation for the Dixon–Anderson kernel and then extended to all α>-1 by Carlson's theorem. Using this eigenrelation and the Ramanan–Shkolnikov matrix method, the paper proves a shifted intertwining relation for the β-Laguerre semigroups (Theorem 1.8) and then the fixed-α intertwining relation (Theorem 1.7). Appendices give integral formulas for multivariate Laguerre polynomials and multivariate hypergeometric functions, an alternative semigroup proof via Laguerre polynomials, and random-matrix interpretations for θ=1/2,1,2.

Significance. If correct, the paper establishes a fixed-parameter intertwining for β-Laguerre processes for all β≥1 and α>-1, extending the θ=1 result of Bufetov and Kawamoto [10] to general β. The proof strategy is attractive and mostly self-contained: the Jack-polynomial eigenrelation is imported from known results rather than assumed, and the semigroup intertwining is reduced to finite-dimensional matrix identities. The N=1 case is checked explicitly, and the paper also yields by-product integral representations for multivariate Laguerre and hypergeometric functions and a random-matrix interpretation for the classical θ values. These are concrete, falsifiable statements and are genuine contributions if the technical steps are completed.

major comments (2)
  1. [Section 4, Lemma 4.3 and Theorem 1.8] Lemma 4.3 is stated under the assumption θ≥1, but Theorem 1.8, which is proved in Section 4 by invoking Lemma 4.3, is stated for θ≥1/2. The displayed proof of Lemma 4.3 does not indicate where θ≥1 is used, and no step in the proof explains why the range θ∈[1/2,1) is excluded. Since Theorem 1.7 is obtained by composing Proposition 1.4 with Theorem 1.8, the main result is not rigorously established in the stated range by the main text. Appendix B contains an alternative proof of the same relation (57) for θ≥1/2 via multivariate Laguerre polynomials, but the paper does not present that appendix as the proof of Theorem 1.8. The authors should either relax the hypothesis of Lemma 4.3 to θ≥1/2 with justification, or explicitly restructure the proof so that Theorem 1.8 is proved for θ≥1/2 and the role of Appendix B is made clear.
  2. [Section 3, proof of Theorem 1.10] The analytic continuation step that extends the eigenrelation from integer values of θα to all α>-1 relies on Carlson's theorem, but the two required growth estimates are asserted without proof: |f(z)|≤C e^{τ|z|} for Re z>0 and |f(iy)|≤C e^{c|y|} with c<π. The latter estimate controls the exponential type on the imaginary axis and is indispensable. Please supply the Stirling-based estimates for the Gamma ratios c(λ+z1_N,N,θ) and bound the integral term, and also clarify the domain statement that f is analytic on Re z>-θ; note that the Gamma factors have poles at or to the left of Re z=-θ, so the analyticity claim requires a precise statement about the location of poles and the use of the identity theorem from the right half-plane.
minor comments (4)
  1. [Lemma 5.2, proof] In the proof of Lemma 5.2, the density of P^N_rad[π(...)] is said to be 'given by (1)', but the correct formula is (5), the density of Λ^N_{θ,α,N}.
  2. [Throughout] There are several typographical errors: 'Propositon' in the citation of Lemma 1.1, 'internal' for 'interior' in the definition of W^N, 'Ornstein–Uhrenbeck' for 'Ornstein–Uhlenbeck' in Section 1.1, 'conveniense' in Section 4, and 'Proposition 5.3' in the proof of Theorem 5.3 should read 'Theorem 5.3'.
  3. [Proof of Theorem 1.8, moment argument] After equation (38), the text says that 'from (37) and (38), all moments of the symmetrised measures are the same'; it would be clearer to state explicitly that (38) holds for every symmetric polynomial p and that this gives equality of the integrals of all Jack polynomials, hence all symmetric polynomial moments, of the two symmetrised measures.
  4. [Section 3, continuity at boundary] In the proof of Theorem 1.10, the weak continuity of Λ^N_{θ,α,N}(x,·) in x is asserted from the continuity of roots of polynomials; this is plausible, but a sentence justifying the passage from x∈˚W^N_≥ to all x∈W^N_≥ would improve the exposition.

Circularity Check

0 steps flagged · score 2.0 of 10

No circularity: main derivation is self-contained and uses external Jack-polynomial eigenrelations; only a non-load-bearing self-citation appears, plus a non-circular theta-range proof gap.

full rationale

The central claims do not reduce to their inputs by construction. The new kernel Lambda^N_{theta,alpha,N} is defined in Definition 1.5 via a Dirichlet random polynomial, independently of the intertwinings. Theorem 1.10, the eigenfunction relation, is proved from Lemma 1.9, the Okounkov-Olshanski eigenrelation for Lambda^{N+1}_{theta,N} (refs [26,27]), by an integral comparison and Carlson analytic continuation; the eigenvalue c(lambda,N,theta;alpha) is obtained by gamma-algebra, not assumed. Theorem 1.8 is then derived from generator intertwining Lemma 4.2 (which follows from Theorem 1.10 and the standard Jack-polynomial actions (15)-(17)) via a finite-dimensional matrix semigroup argument. Theorem 1.7 is the composition of the external shifted intertwining Proposition 1.4 [3] with Theorem 1.8, so its content is not a restatement of the definition. The only self-citation is [10] (Bufetov-Kawamoto), used as motivation and in the random-matrix interpretation of Section 5; it is not load-bearing for the main proof. There is, however, a non-circular correctness concern: Lemma 4.3 is stated for theta>=1 while Theorem 1.8 is claimed for theta>=1/2, and the proof of Theorem 1.8 invokes (32) from Lemma 4.3 without supplying the missing theta in [1/2,1) argument. This is a proof gap, not a circular reduction, and it does not affect the circularity score beyond the minor self-citation.

Assumptions & free parameters 0 free parameters · 5 assumptions · 1 invented entities

The paper introduces one new mathematical object, a Markov kernel built from a Dirichlet-weighted random polynomial. It relies on standard Jack-polynomial theory, the Dixon-Anderson density, Carlson's theorem, and established SDE existence results. No empirical free parameters are fitted. The load-bearing assumptions are standard results from the literature, plus the asserted analytic growth bounds in the Carlson step.

assumptions (5)
  • standard math Dixon-Anderson density for roots of Dirichlet-weighted rational functions (Lemma 1.1 from Forrester [16, Prop 4.2.1])
    Used to write both kernels' densities. The extracted text displays contradictory exponents, but the standard formula is what the subsequent calculations require.
  • standard math Jack polynomials are eigenfunctions of Lambda^{N+1}_{theta,N} with eigenvalue c(lambda,N,theta) (Lemma 1.9 from Okounkov [26] and Okounkov-Olshanski [27])
    This external eigenrelation is the main input used to prove the new eigenrelation for the N-dimensional kernel.
  • standard math Carlson's theorem for analytic continuation from zeros at nonnegative integers
    Invoked at the end of the proof of Theorem 1.10 to extend from integer theta*alpha to all alpha>-1. The growth hypotheses are stated but not fully justified in the extracted text.
  • domain assumption Existence, uniqueness, no-collision, and exponential moments for the beta-Laguerre SDE (Graczyk-Malecki [18]; Step 2 in Assiotis [3])
    Needed to define the semigroups T^N_{theta,alpha,t} and to pass from generator identities to semigroup identities via moment arguments.
  • standard math Moment determinacy for multidimensional measures with exponential moments (de Jeu [12, Theorem 1.3])
    Used in the final step of Theorem 1.8 to conclude equality of measures from equality of all polynomial moments.
invented entities (1)
  • Markov kernel Lambda^N_{theta,alpha,N} and its composition Lambda^{N+1}_{theta,alpha,N}
    purpose: Defined to produce a fixed-alpha intertwining between beta-Laguerre semigroups of different dimensions and to shift alpha in the intermediate relation.
    This is a defined mathematical object rather than a physical entity. Its usefulness is established by the theorems proved in this paper, not by external experimental data.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The intertwining property for $\beta $-Laguerre processes and integral operators for Jack polynomials." pith.science (2026). https://pith.science/paper/YVPU573O

@misc{pith2026250523139,
  author       = {Pith},
  title        = {Pith review of: The intertwining property for $\beta $-Laguerre processes and integral operators for Jack polynomials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YVPU573O}},
  note         = {Machine review of arXiv:2505.23139}
}
abstract

The aim of this paper is to study intertwining relations for Laguerre process with inverse temperature $\beta \ge 1$ and parameter $\alpha >-1$. We introduce a Markov kernel that depends on both $\beta $ and $ \alpha $, and establish new intertwining relations for the $\beta$-Laguerre processes using this kernel. A key observation is that Jack symmetric polynomials are eigenfunctions of our Markov kernel, which allows us to apply a method established by Ramanan and Shkolnikov. Additionally, as a by-product, we derive an integral formula for multivariate Laguerre polynomials and multivariate hypergeometric functions associated with Jack polynomials.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

30 extracted references · 27 canonical work pages

  1. [10]

    The intertwining property for Laguerre processes with a fixed parameter

    Bufetov, A. I., Kawamoto, Y.: The intertwining property for Laguerre processes with a fixed parameter, arXiv:2403.11718

    work page Pith review arXiv

  2. [1]

    Ahn, A., Strahov, E.: Product matrix processes with symplectic and orthogonal invariance via symmetric functions, Int. Math. Res. Not. IMRN, no. 14, 10767–10821 (2022). https://doi.org/10.1093/IMRN/RNAB045

    work page doi:10.1093/imrn/rnab045 2022

  3. [2]

    Anderson, G.W.: A short proof of Selberg’s generalized beta formula, Forum Math.3, 415–417 (1991)

    work page 1991

  4. [3]

    Assiotis, T.: Intertwinings for Generalβ-Laguerre andβ-Jacobi Processes, J. Theor. Probab.32, 1880–1891 (2019). https://doi.org/10.1007/s10959-018-0842-0

    work page doi:10.1007/s10959-018-0842-0 2019

  5. [4]

    Assiotis, T., Hua-Pickrell diffusions and Feller processes on the boundary of the graph of spectra, Ann. Inst. Henri Poincar´ e Probab. Stat.,56, No. 2, Institut Henri Poincare, 1251–1283 (2020). https://doi.org/10.1214/19-AIHP1001

    work page doi:10.1214/19-aihp1001 2020

  6. [5]

    Lecture Notes in Mathematics,2252

    Assiotis, T., O’Connell, N., Warren, J.: Interlacing Diffusions, in S´ eminaire de Probabilit´ es L. Lecture Notes in Mathematics,2252. Springer (2019). https://doi.org/10.1007/978-3-030-28535-7 13

    work page doi:10.1007/978-3-030-28535-7 2019

  7. [6]

    Assiotis, T., Najnudel, J.: The boundary of the orbital beta process, Mosc. Math. J. 21, no. 4, 659–694 (2021). https://doi.org/10.17323/1609-4514-2021-21-4-659-694 15

    work page doi:10.17323/1609-4514-2021-21-4-659-694 2021

  8. [7]

    H., Forrester, P

    Baker, T. H., Forrester, P. J.: The Calogero-Sutherland model and generalized classical polynomials, Comm. Math. Phys.188, no. 1, 175–216 (1997). https://doi.org/10.1007/s002200050161

    work page doi:10.1007/s002200050161 1997

Show all 30 references
  1. [8]

    Theory Relat

    Baryshnikov, Y.: GUEs and queues, Probab. Theory Relat. Fields119, 256–274 (2001). https://doi.org/10.1007/PL00008760

    2001 doi

  2. [9]

    F.: Wishart process, J

    Bru, M. F.: Wishart process, J. Theor. Probab.3, 725–751 (1991). https://doi.org/10.1007/BF01259552

    1991 doi

  3. [11]

    Defosseux, M.: Orbit measures, random matrix theory and interlaced determinantal processes, Ann. Inst. Henri Poincar´ e Probab. Stat.46, No.1, 209–249 (2010). https://doi.org/10.1214/09-AIHP314

    2010 doi

  4. [12]

    Probab.31(3), 1205–1227 (2003)

    de Jeu, M.: Determinate multidimensional measures, the extended Carleman theorem and quasi-analytic weights., Ann. Probab.31(3), 1205–1227 (2003)

    2003

  5. [13]

    https://doi.org/10.3150/07-BEJ6048

    Demni, N.: The Laguerre process and generalized Hartman-Watson law, Bernoulli13, no.2, 556–580 (2007). https://doi.org/10.3150/07-BEJ6048

    2007 doi

  6. [14]

    Demni, N.: Radial Dunkl Processes : Existence and Uniqueness, Hitting Time, Beta Processes and Random Matrices, arXiv:0707.0367 (2007)

    2007 arXiv

  7. [15]

    Dixon, A.L.: Generalizations of Legendre’s formulaKE ′ −(K−E)K ′ = 1 2 π, Proc. Lond. Math. Soc.3, 206–224 (1905)

    1905

  8. [16]

    J.: Log-gases and Random Matrices, London Mathematical Society Monographs, Princeton University Press, 2010

    Forrester, P. J.: Log-gases and Random Matrices, London Mathematical Society Monographs, Princeton University Press, 2010

    2010

  9. [17]

    Gorin, V., Shkolnikov, M.: Multilevel Dyson Brownian motions via Jack polynomials. Probab. Theory Relat. Fields 163, 413–463 (2015). https://doi.org/10.1007/s00440-014-0596-2

    2015 doi

  10. [18]

    Graczyk, P., Ma lecki, J.: Strong solutions of non-colliding particle systems, Electron. J. Probab.19, 1–21 (2014). https://doi.org/10.1214/EJP.v19-38422

    2014 doi

  11. [19]

    Kaneko, J.,: Selberg integrals and hypergeometric functions associated with Jack polynomials, SIAM J. Math. Anal. 24, 1086–1110 (1993)

    1993

  12. [20]

    Kieburg, M., Kuijlaars, A. B. J., Stivigny, D.: Singular value statistics of matrix products with truncated unitary matrices, Int. Math. Res. Not.2016, 3392–3424 (2016). https://doi.org/10.1093/imrn/rnv242

    2016 doi

  13. [21]

    K¨ onig,W., O’ Connell, N.: Eigenvalues of the Laguerre process as non-colliding squared Bessel process, Electron. Commun. Probab.6, 107–114 (2001). https://doi.org/10.1214/ECP.v6-1040

    2001 doi

  14. [22]

    H.: Okounkov’sBC-type interpolation MacDonald polynomials and theirq= 1 limit, S´ em

    Koornwinder, T. H.: Okounkov’sBC-type interpolation MacDonald polynomials and theirq= 1 limit, S´ em. Lothar. Combin.72, Art. B72a, 27pp. (2015)

    2015

  15. [23]

    Lassalle, M.: Une formule du binˆ ome g´ en´ eralis´ ee pour les polynˆ omes de Jack, C. R. Acad. Sci. Paris, t. S´ eries I310, 253–256 (1990)

    1990

  16. [24]

    Lassalle, M.: Polynˆ omes de Laguerre g´ en´ eralis´ es. C. R. Acad. Sci. Paris, t. S´ eries I312, 725–728 (1991)

    1991

  17. [25]

    4, 515-540 (2003)

    Neretin, Y.: Rayleigh triangles and non-matrix interpolation of matrix beta integrals, Sbornik: Mathematics194, No. 4, 515-540 (2003). https://doi.org/10.1070/SM2003v194n04ABEH000727

    2003 doi

  18. [26]

    : (Shifted) Macdonald polynomials: q-Integral representation and combinatorial formula

    Okounkov, A. : (Shifted) Macdonald polynomials: q-Integral representation and combinatorial formula. Compositio Mathematica112, 147–182 (1998). https://doi.org/10.1023/A:1000436921311

    1998 doi

  19. [27]

    Okounkov, A., Olshanski, G.: Shifted Jack polynomials, binomial formula, and applications. Math. Res. Lett.4, 69–78 (1997)

    1997

  20. [28]

    Ramanan, K., Shkolnikov, M.: Intertwinings ofβ-Dyson Brownian Motions of Different Dimensions, Ann. Inst. Henri Poincar´ e Probab. Stat.54(2), 1152–1163 (2018). https://doi.org/10.1214/17-AIHP835

    2018 doi

  21. [29]

    Ja., Klimyk, A

    Vilenkin, N. Ja., Klimyk, A. U., Representation of Lie Groups and Special Functions: Recent Advances, Springer Dordrecht, 1995. https://doi.org/10.1007/978-94-017-2885-0

    1995 doi

  22. [30]

    Warren, J.: Dyson’s Brownian motions, intertwining and interlacing, Electron. J. Probab.12573–590 (2007). https://doi.org/10.1214/EJP.v12-406

    2007 doi

Pith tools

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