Reduction of Multiple Orthogonal Polynomials to Standard Orthogonal Polynomials
Pith reviewed 2026-06-29 00:31 UTC · model grok-4.3
The pith
Multiple orthogonal polynomials on the real line and unit circle reduce explicitly to standard orthogonal polynomials.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Explicit formulae exist that express multiple orthogonal polynomials in terms of standard orthogonal polynomials for both the real-line and unit-circle cases; these formulae also reduce the associated Christoffel-Darboux kernels and recover Zinn-Justin's kernel for the external-source model as well as Baik's reduction in the spiked model, while yielding an explicit multiple Hermite kernel in classical Hermite polynomials and exhibiting resonance-type zero escape for arc-indicator weights on the circle.
What carries the argument
The explicit reduction formulae that convert MOPRL to OPRL and MOPUC to OPUC while simultaneously reducing the Christoffel-Darboux kernels.
If this is right
- The Christoffel-Darboux kernel for multiple orthogonal polynomials reduces directly to the kernel for the corresponding standard orthogonal polynomials.
- The multiple Hermite Christoffel-Darboux kernel is expressed explicitly using classical Hermite polynomials.
- Type II MOPUC with arc-indicator weights display resonance-type zero escape phenomena.
- Zinn-Justin's kernel for the external-source random matrix model and Baik's kernel reduction in the spiked source model are recovered as special cases.
Where Pith is reading between the lines
- The reductions may allow asymptotic analysis of multiple orthogonal polynomials to be carried out via known asymptotics of ordinary orthogonal polynomials.
- Numerical evaluation of multiple orthogonal polynomials could be accelerated by reusing existing libraries for standard orthogonal polynomials.
- The kernel reductions suggest that certain correlation functions in multi-weight random matrix ensembles can be rewritten using single-weight ensembles.
Load-bearing premise
The weights defining the multiple orthogonal polynomials admit explicit reductions to a single standard orthogonal polynomial without case-by-case adjustments.
What would settle it
A concrete family of weights for which the proposed reduction formula produces a polynomial that fails to satisfy the multiple orthogonality conditions with respect to those weights.
Figures
read the original abstract
In this article, we derive explicit formulae expressing multiple orthogonal polynomials in terms of standard orthogonal polynomials. We treat both the real-line and unit-circle settings: multiple orthogonal polynomials on the real line (MOPRL) are reduced to orthogonal polynomials on the real line (OPRL), while multiple orthogonal polynomials on the unit circle (MOPUC) are reduced to orthogonal polynomials on the unit circle (OPUC). These formulae also yield corresponding reductions of the Christoffel--Darboux kernels, from the MOPRL kernel to the OPRL kernel and from the MOPUC kernel to the OPUC kernel. In particular, they recover Zinn-Justin's kernel for the external-source random matrix model [arXiv:cond-mat/9703033] and Baik's kernel reduction formula in the spiked source model [arXiv:0809.3970]. We also apply our general results to concrete examples: in the real-line setting, we obtain an explicit expression for the multiple Hermite Christoffel--Darboux kernel in terms of classical Hermite polynomials, while in the unit-circle setting, we use arc-indicator weights to exhibit resonance-type zero escape phenomena for type II MOPUC.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to derive explicit formulae reducing multiple orthogonal polynomials on the real line (MOPRL) to orthogonal polynomials on the real line (OPRL) and multiple orthogonal polynomials on the unit circle (MOPUC) to orthogonal polynomials on the unit circle (OPUC), together with corresponding reductions of the associated Christoffel-Darboux kernels. The formulae are asserted to recover Zinn-Justin's kernel for the external-source model and Baik's reduction in the spiked model, and are applied to the multiple Hermite case on the real line and to arc-indicator weights on the unit circle to exhibit resonance-type zero escape for type II MOPUC.
Significance. If the claimed reductions hold in the stated generality, the work would supply a systematic bridge between multiple and standard orthogonal polynomials, unifying several previously isolated kernel formulae in random-matrix theory and furnishing explicit expressions for families such as multiple Hermite polynomials.
major comments (1)
- Abstract: the claim that explicit formulae are derived and recover known kernels is asserted without any displayed equations, proof outlines, or verification steps, rendering it impossible to assess whether the mathematics supports the stated reductions for general weights.
Simulated Author's Rebuttal
We thank the referee for their review. We respond to the single major comment below.
read point-by-point responses
-
Referee: Abstract: the claim that explicit formulae are derived and recover known kernels is asserted without any displayed equations, proof outlines, or verification steps, rendering it impossible to assess whether the mathematics supports the stated reductions for general weights.
Authors: The abstract is a concise summary, as is conventional. The explicit reduction formulae (MOPRL to OPRL and MOPUC to OPUC), the associated Christoffel-Darboux kernel reductions, the recovery of Zinn-Justin's and Baik's kernels, and the applications to multiple Hermite polynomials and arc-indicator weights are all derived and verified with full proofs in the body of the manuscript. To address the referee's concern about assessability from the abstract, we will revise the abstract to include a compact schematic of the principal reduction formula together with pointers to the relevant theorems and sections containing the general-weight derivations and verifications. revision: yes
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper derives explicit reduction formulae for MOPRL to OPRL and MOPUC to OPUC, along with corresponding kernel reductions, directly from the defining orthogonality relations and properties of the underlying measures. These formulae are shown to recover external results (Zinn-Justin, Baik) and are applied to independent concrete families (Hermite, arc-indicator weights) without any fitted parameters, self-definitional loops, or load-bearing self-citations that collapse the central claim back to its inputs. The derivation chain consists of standard algebraic manipulations and uniqueness properties of orthogonal polynomials that are externally verifiable and not constructed from the target reductions themselves.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
2017 , eprint =
Buckingham, Robert and Liechty, Karl , title =. 2017 , eprint =
2017
-
[2]
Mehta, Madan Lal , title =
-
[3]
Indiana Univ
Widom, Harold , title =. Indiana Univ. Math. J. , volume =. 1971 , pages =
1971
-
[4]
Krasovsky, I. V. , title =. Int. Math. Res. Not. , year =
-
[5]
Krasovsky, I. V. , title =. 2006 , eprint =
2006
-
[6]
, title =
Magnus, Alphonse P. , title =. J. Approx. Theory , volume =. 2006 , number =
2006
-
[7]
Marchal, Olivier , title =. Lett. Math. Phys. , volume =. 2020 , number =
2020
-
[8]
Charlier, Christophe and Claeys, Tom , title =. J. Math. Phys. , volume =. 2015 , number =
2015
-
[9]
M\'inguez Ceniceros, Judit and Van Assche, Walter , TITLE =. Constr. Approx. , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s00365-007-0680-2 , URL =
-
[10]
Cruz-Barroso, Ruym\'an and D\'iaz Mendoza, Carlos and Orive, Ram\'on , TITLE =. J. Comput. Appl. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.cam.2014.11.004 , URL =
-
[11]
Kozhan, Rostyslav and Vaktn. Proc. Amer. Math. Soc. , volume =. 2024 , number =
2024
-
[12]
Laurent multiple orthogonal polynomials on the unit circle , year =
Kozhan, Rostyslav and Vaktn. Laurent multiple orthogonal polynomials on the unit circle , year =. 2410.12094 , archivePrefix =
-
[13]
Zinn-Justin, P. , TITLE =. Nuclear Phys. B , FJOURNAL =. 1997 , NUMBER =. doi:10.1016/S0550-3213(97)00307-6 , URL =
-
[14]
Orthogonal polynomials , SERIES =
Van Assche, Walter , TITLE =. Orthogonal polynomials , SERIES =. [2020] 2020 , ISBN =. doi:10.1007/978-3-030-36744-2\_22 , URL =
-
[15]
Aptekarev, A. I. , TITLE =. J. Comput. Appl. Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.1016/S0377-0427(98)00175-7 , URL =
-
[16]
Bleher, P. M. and Kuijlaars, A. B. J. , TITLE =. Int. Math. Res. Not. , FJOURNAL =. 2004 , NUMBER =. doi:10.1155/S1073792804132194 , URL =
-
[17]
Daems, E. and Kuijlaars, A. B. J. , TITLE =. J. Approx. Theory , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.jat.2006.12.001 , URL =
-
[18]
Bleher, Pavel and Kuijlaars, Arno B. J. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2004 , NUMBER =. doi:10.1007/s00220-004-1196-2 , URL =
-
[19]
Aptekarev, Alexander I. and Bleher, Pavel M. and Kuijlaars, Arno B. J. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s00220-005-1367-9 , URL =
-
[20]
Bleher, Pavel M. and Kuijlaars, Arno B. J. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00220-006-0159-1 , URL =
-
[21]
Bleher, P. and Delvaux, S. and Kuijlaars, A. B. J. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1002/cpa.20339 , URL =
-
[22]
Baik, Jinho , TITLE =. Comput. Methods Funct. Theory , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/BF03321740 , URL =
-
[23]
Baik, Jinho and Wang, Dong , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2011 , NUMBER =. doi:10.1093/imrn/rnq257 , URL =
-
[24]
Baik, Jinho and Wang, Dong , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2013 , NUMBER =. doi:10.1093/imrn/rns136 , URL =
-
[25]
Kuijlaars, Arno B. J. , TITLE =. Recent trends in orthogonal polynomials and approximation theory , SERIES =. 2010 , ISBN =. doi:10.1090/conm/507/09958 , URL =
-
[26]
Baik, Jinho and Deift, Percy and Strahov, Eugene , TITLE =. J. Math. Phys. , FJOURNAL =. 2003 , NUMBER =. doi:10.1063/1.1587875 , URL =
-
[27]
Akemann, Gernot and Strahov, Eugene and W\"urfel, Tim R. , TITLE =. Ann. Henri Poincar\'e , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00023-020-00963-9 , URL =
-
[28]
, title =
Forrester, Peter J. , title =. 2025 , eprint =
2025
-
[29]
Claeys, Tom and Wang, Dong , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2014 , NUMBER =. doi:10.1007/s00220-014-1988-y , URL =
-
[30]
Claeys, Tom and Wang, Dong , TITLE =. J. Stat. Phys. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s10955-022-02937-z , URL =
-
[31]
Duits, Maurice and Kuijlaars, Arno B. J. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1002/cpa.20269 , URL =
-
[32]
Mart\'inez-Finkelshtein, Andrei and Silva, Guilherme L. F. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00220-021-03999-y , URL =
-
[33]
Bertola, M. and Buckingham, R. and Lee, S. Y. and Pierce, V. , TITLE =. J. Stat. Phys. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s10955-011-0409-2 , URL =
-
[34]
Bertola, M. and Buckingham, R. and Lee, S. Y. and Pierce, V. , TITLE =. J. Stat. Phys. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s10955-013-0845-2 , URL =
-
[35]
Zvonkin, A. , TITLE =. Math. Comput. Modelling , FJOURNAL =. 1997 , NUMBER =. doi:10.1016/S0895-7177(97)00210-0 , URL =
-
[36]
Aptekarev, A. I. and Branquinho, A. and Van Assche, W. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2003 , NUMBER =. doi:10.1090/S0002-9947-03-03330-0 , URL =
-
[37]
and Kriecherbauer, T
Baik, J. and Kriecherbauer, T. and McLaughlin, K. T.-R. and Miller, P. D. , TITLE =. 2007 , PAGES =
2007
-
[38]
Daems, E. and Kuijlaars, A. B. J. , TITLE =. J. Approx. Theory , FJOURNAL =. 2004 , NUMBER =. doi:10.1016/j.jat.2004.07.003 , URL =
-
[39]
Dieci, Luca and Papini, Alessandra and Pugliese, Alessandro , TITLE =. Numer. Algorithms , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s11075-022-01326-7 , URL =
-
[40]
Doliwa, Adam and Siemaszko, Artur , TITLE =. J. Approx. Theory , FJOURNAL =. 2023 , PAGES =. doi:10.1016/j.jat.2023.105910 , URL =
-
[41]
Doliwa, Adam , TITLE =. Geometric methods in physics. [2024] 2024 , ISBN =. doi:10.1007/978-3-031-62407-0\_19 , URL =
-
[42]
Van Assche, Walter and Geronimo, Jeffrey S. and Kuijlaars, Arno B. J. , TITLE =. Special functions 2000: current perspective and future directions (. 2001 , ISBN =. doi:10.1007/978-94-010-0818-1\_2 , URL =
-
[43]
Kuijlaars, A. B. J. and McLaughlin, K. T.-R. and Van Assche, W. and Vanlessen, M. , TITLE =. Adv. Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.1016/j.aim.2003.08.015 , URL =
-
[44]
Nikishin, E. M. and Sorokin, V. N. , TITLE =. 1991 , PAGES =. doi:10.1090/mmono/092 , URL =
-
[45]
\'Swiderski, Grzegorz and Van Assche, Walter , TITLE =. J. Approx. Theory , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.jat.2022.105820 , URL =
-
[46]
Continued fractions: from analytic number theory to constructive approximation (
Van Assche, Walter , TITLE =. Continued fractions: from analytic number theory to constructive approximation (. 1999 , ISBN =. doi:10.1090/conm/236/03504 , URL =
-
[48]
Ismail, Mourad E. H. , TITLE =. 2009 , PAGES =
2009
-
[49]
Baik, Jinho and Ben Arous, G\'erard and P\'ech\'e, Sandrine , TITLE =. Ann. Probab. , FJOURNAL =. 2005 , NUMBER =. doi:10.1214/009117905000000233 , URL =
-
[50]
Macdonald, I. G. , TITLE =. 1995 , PAGES =
1995
-
[51]
Klinger, Allen , TITLE =. Amer. Math. Monthly , FJOURNAL =. 1967 , PAGES =. doi:10.2307/2314898 , URL =
-
[52]
Br\'ezin, E. and Hikami, S. , TITLE =. Nuclear Phys. B , FJOURNAL =. 1996 , NUMBER =. doi:10.1016/0550-3213(96)00394-X , URL =
-
[53]
Br\'ezin, E. and Hikami, S. , TITLE =. Phys. Rev. E (3) , FJOURNAL =. 1997 , NUMBER =. doi:10.1103/PhysRevE.55.4067 , URL =
-
[54]
Bleher, Pavel M. and Kuijlaars, Arno B. J. , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2005 , NUMBER =. doi:10.5802/aif.2148 , URL =
-
[55]
Recent developments in orthogonal polynomials , SERIES =
Gharakhloo, Roozbeh and Liechty, Karl , TITLE =. Recent developments in orthogonal polynomials , SERIES =. [2025] 2025 , ISBN =. doi:10.1090/conm/822/16475 , URL =
-
[56]
NIST Digital Library of Mathematical Functions
-
[57]
and Ikonomov, Nikolay R
Dobrolyubov, Egor O. and Ikonomov, Nikolay R. and Knizhnerman, Leonid and Suetin, Sergey P. , title =. 2023 , howpublished =
2023
-
[58]
2025 , eprint=
Bivariate multiple orthogonal polynomials of mixed type on the step-line , author=. 2025 , eprint=
2025
-
[59]
2025 , eprint=
Leveraging Christoffel-Darboux Kernels to Strengthen Moment-SOS Relaxations , author=. 2025 , eprint=
2025
-
[60]
2025 , eprint=
Multiple orthogonal polynomial ensembles of derivative type , author=. 2025 , eprint=
2025
-
[61]
, journal =
Christoffel, E.B. , journal =. Über die Gaußische Quadratur und eine Verallgemeinerung derselben. , url =
-
[62]
, journal =
Darboux, G. , journal =. Mémoire sur l'approximation des fonctions de très-grands nombres, et sur une classe étendue de développements en série. , url =
-
[63]
Orthogonal polynomials and applications (
Stahl, Herbert , TITLE =. Orthogonal polynomials and applications (. 1985 , ISBN =. doi:10.1007/BFb0076561 , URL =
-
[64]
Orthogonal polynomials and their applications (
Stahl, Herbert , TITLE =. Orthogonal polynomials and their applications (. 1991 , MRCLASS =
1991
-
[65]
Kozhan, Rostyslav and Vaktn\"as, Marcus , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2024 , NUMBER =. doi:10.1090/proc/16811 , URL =
-
[66]
2024 , note=
Laurent Multiple Orthogonal Polynomials on the Unit Circle , author=. 2024 , note=
2024
-
[67]
2024 , note=
Nikishin systems on the unit circle , author=. 2024 , note=
2024
-
[68]
and Kuijlaars, Arno B
Van Assche, Walter and Geronimo, Jeffrey S. and Kuijlaars, Arno B. J. , title =. Special Functions 2000: Current Perspective and Future Directions , editor =. 2001 , doi =
2000
-
[69]
Daems, Evi and Kuijlaars, Arno B. J. and Veys, Willem , title =. Journal of Approximation Theory , volume =. 2008 , doi =
2008
-
[70]
Duits, Maurice and Kuijlaars, Arno B. J. , title =. Communications on Pure and Applied Mathematics , volume =. 2009 , doi =
2009
-
[71]
Kuijlaars, Arno B. J. and Mart. Non-intersecting squared Bessel paths and multiple orthogonal polynomials for modified Bessel weights , journal =. 2009 , doi =
2009
-
[72]
Delvaux, Steven and Kuijlaars, Arno B. J. and Zhang, Lun , title =. Communications on Pure and Applied Mathematics , volume =
-
[73]
Journal of Mathematical Physics , volume =
Bertola, Marco and Gekhtman, Michael and Szmigielski, Jacek , title =. Journal of Mathematical Physics , volume =. 2013 , doi =
2013
-
[74]
Duke Mathematical Journal , volume =
Duits, Maurice and Geudens, Dries , title =. Duke Mathematical Journal , volume =
-
[75]
Nonlinearity , volume =
Delvaux, Steven and Geudens, Dries and Zhang, Lun , title =. Nonlinearity , volume =
-
[76]
Branquinho, Amílcar and Díaz, Juan E. F. and Foulquié-Moreno, Ana and Mañas, Manuel , title =. Studies in Applied Mathematics , volume =. doi:https://doi.org/10.1111/sapm.70033 , url =. https://onlinelibrary.wiley.com/doi/pdf/10.1111/sapm.70033 , abstract =
-
[77]
Spitzbart , journal =
A. Spitzbart , journal =. A Generalization of Hermite's Interpolation Formula , urldate =
-
[78]
Ca c\ ao, Isabel and Malonek, Helmuth R. and Tomaz, Gra ca , TITLE =. Computational science and its applications---. 2017 , ISBN =. doi:10.1007/978-3-319-62395-5\_28 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.