pith. sign in

arxiv: 2510.06739 · v2 · submitted 2025-10-08 · 🧮 math-ph · math.MP

Asymptotics of the Hankel determinant and orthogonal polynomials arising from the information theory of MIMO systems

Chao Min , Xiaoqing Wu This is my paper

Pith reviewed 2026-05-18 09:31 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords Hankel determinantorthogonal polynomialsdeformed Laguerre weightasymptoticsMIMO systemsCoulomb fluidrecurrence coefficients
0
0 comments X

The pith

Dyson's Coulomb fluid approach yields large-n asymptotic expansions for recurrence coefficients, Hankel determinants, and related quantities for orthogonal polynomials with a deformed Laguerre weight from MIMO information theory.

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

The paper derives large-n expansions for the recurrence coefficients alpha_n(t) and beta_n(t), the sub-leading coefficient p(n,t), the Hankel determinant D_n(t), and the normalization h_n(t) associated with the weight w(x;t) = x^alpha e^{-x} (x+t)^lambda for fixed positive t. These objects arise when analyzing mutual information in single-user MIMO wireless systems. The authors first obtain difference equations and differential-difference equations via ladder operators, then apply Dyson's Coulomb fluid method to extract the leading asymptotics. They also treat the long-time regime where t grows large at fixed n. Such expansions matter because they govern the asymptotic behavior of outage capacity and error probabilities in those communication models.

Core claim

Applying Dyson's Coulomb fluid approach to the equilibrium measure of the deformed Laguerre weight produces explicit large-n asymptotic expansions for the recurrence coefficients alpha_n(t) and beta_n(t), the coefficient p(n,t), the Hankel determinant D_n(t), and h_n(t) when t is held fixed and positive; the same method supplies the complementary large-t expansions at fixed n.

What carries the argument

Dyson's Coulomb fluid approach, which determines the leading large-n behavior from the equilibrium density minimizing the logarithmic energy for the weight w(x;t).

If this is right

  • The large-n expansions control the asymptotic distribution of mutual information in single-user MIMO systems.
  • They supply concrete approximations for outage capacity and error probability as the system dimension grows.
  • The joint large-n and large-t regimes cover the parameter ranges most relevant to practical MIMO performance analysis.

Where Pith is reading between the lines

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

  • The same fluid technique may adapt to other parameter-dependent weights that appear in multi-user or correlated MIMO models.
  • Explicit asymptotic forms for the determinants could improve high-dimensional approximations used in capacity calculations beyond the leading term.

Load-bearing premise

Dyson's Coulomb fluid approach applies directly to the deformed weight and produces the stated leading asymptotics without extra corrections arising from the (x+t)^lambda factor.

What would settle it

Direct numerical evaluation of the Hankel determinant D_n(t) for successively larger n at a fixed t, compared to the explicit asymptotic formula, to verify whether the difference matches the predicted order of the error term.

read the original abstract

We consider the Hankel determinant and orthogonal polynomials with respect to the deformed Laguerre weight $w(x; t) = {x^\alpha }{\mathrm e^{ - x}}{(x + t)^\lambda },\; x\in \mathbb{R}^{+} $ with parameters $\alpha > -1,\; t > 0$ and $\lambda \in \mathbb{R}$. This problem originates from the information theory of single-user multiple-input multiple-output (MIMO) systems studied by Chen and McKay [{\em IEEE Trans. Inf. Theory} {\bf 58} ({2012}) {4594--4634}]. By using the ladder operators for orthogonal polynomials with general Laguerre-type weights, we obtain a system of difference equations and a system of differential-difference equations for the recurrence coefficients $\alpha_n(t)$ and $\beta_n(t)$. We also show that the orthogonal polynomials satisfy a second-order ordinary differential equation. By using Dyson's Coulomb fluid approach, we obtain the large $n$ asymptotic expansions of the recurrence coefficients $\alpha_n(t)$ and $\beta_n(t)$, the sub-leading coefficient $\mathrm p(n, t)$ of the monic orthogonal polynomials, the Hankel determinant $D_n(t)$ and the normalized constant $h_n(t)$ for fixed $t\in\mathbb{R}^{+}$. We also discuss the long-time asymptotics of these quantities as $t\rightarrow\infty$ for fixed $n\in\mathbb{N}$. The large $n$ and large $t$ asymptotics of the above quantities are very important for the study of the asymptotics of the mutual information distribution and two fundamental quantities (the outage capacity and the error probability) for single-user MIMO systems.

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

2 major / 1 minor

Summary. The manuscript derives systems of difference and differential-difference equations for the recurrence coefficients α_n(t) and β_n(t) of monic orthogonal polynomials with the deformed Laguerre weight w(x;t)=x^α e^{-x}(x+t)^λ using ladder operators, shows that the polynomials satisfy a second-order ODE, and applies Dyson's Coulomb fluid approach to obtain large-n asymptotic expansions for α_n(t), β_n(t), the sub-leading coefficient p(n,t), the Hankel determinant D_n(t) and the constant h_n(t) at fixed t>0. It also treats the long-time asymptotics as t→∞ for fixed n, with motivation from MIMO mutual information and related performance metrics.

Significance. If the asymptotic expansions are accurate, the results would be useful for explicit large-n and large-t approximations of quantities arising in the information-theoretic analysis of single-user MIMO systems. The ladder-operator derivations of the exact relations constitute a standard but cleanly executed contribution for this weight class. The application of Dyson's method is in principle appropriate, yet the scaling analysis of the deformation term requires careful handling to ensure the claimed expansions are correctly ordered.

major comments (2)
  1. [Large-n asymptotics via Coulomb fluid] Large-n analysis (Coulomb fluid section): after the standard scaling x=nu the contribution of the factor (x+t)^λ to the effective external field is −(λ/n)log(nu+t)=O((log n)/n), which vanishes uniformly away from the origin. The leading variational problem therefore reduces exactly to that of the undeformed Laguerre weight, whose equilibrium measure is the Marchenko-Pastur density on [0,4]. Consequently the leading asymptotics must read α_n(t)∼2n+O(1), β_n(t)∼n(n+α) with no explicit t- or λ-dependence at this order. Any stated leading-order t-dependence in the expansions of α_n(t), β_n(t) or log D_n(t) indicates that the 1/n correction terms arising from the deformation have been omitted.
  2. [Large-n asymptotics via Coulomb fluid] Large-n analysis: the manuscript provides no explicit error bounds, remainder estimates, or numerical verification of the claimed expansions against the exactly solvable λ=0 case. Because the central claims consist of these asymptotic formulae, the absence of such controls leaves the support for the stated orders and coefficients unconfirmed.
minor comments (1)
  1. [Abstract] The abstract and introduction would benefit from a brief statement clarifying that the leading large-n coefficients are independent of t and that t-dependence appears only at sub-leading orders.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments on the large-n asymptotic analysis. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

  1. Referee: Large-n analysis (Coulomb fluid section): after the standard scaling x=nu the contribution of the factor (x+t)^λ to the effective external field is −(λ/n)log(nu+t)=O((log n)/n), which vanishes uniformly away from the origin. The leading variational problem therefore reduces exactly to that of the undeformed Laguerre weight, whose equilibrium measure is the Marchenko-Pastur density on [0,4]. Consequently the leading asymptotics must read α_n(t)∼2n+O(1), β_n(t)∼n(n+α) with no explicit t- or λ-dependence at this order. Any stated leading-order t-dependence in the expansions of α_n(t), β_n(t) or log D_n(t) indicates that the 1/n correction terms arising from the deformation have been omitted.

    Authors: We thank the referee for this precise scaling observation. We agree that the leading-order equilibrium measure is indeed the Marchenko-Pastur law independent of t and λ, so that the leading terms are α_n(t) ∼ 2n + O(1) and β_n(t) ∼ n(n + α). The t- and λ-dependence enters only through the O(1) and lower-order corrections arising from the perturbation of the external field. In the manuscript the expansions were derived to include these corrections, but the ordering was not stated with sufficient clarity. We will revise the Coulomb fluid section to explicitly separate the leading n-dependent terms from the t-dependent corrections and to confirm that no leading-order t-dependence is claimed. revision: yes

  2. Referee: Large-n analysis: the manuscript provides no explicit error bounds, remainder estimates, or numerical verification of the claimed expansions against the exactly solvable λ=0 case. Because the central claims consist of these asymptotic formulae, the absence of such controls leaves the support for the stated orders and coefficients unconfirmed.

    Authors: We acknowledge that the manuscript does not supply rigorous error bounds or remainder estimates; such controls lie outside the formal asymptotic framework employed. To strengthen the presentation we will add a numerical comparison, for the exactly solvable case λ = 0, between the derived asymptotic formulae and the known closed-form recurrence coefficients of the generalized Laguerre polynomials. This verification will confirm consistency of the leading and first correction terms. revision: partial

standing simulated objections not resolved
  • Rigorous error bounds and remainder estimates for the asymptotic expansions obtained via Dyson's Coulomb fluid method

Circularity Check

0 steps flagged

No significant circularity detected in the derivation chain

full rationale

The paper begins with the deformed Laguerre weight and applies ladder operators to derive systems of difference and differential-difference equations for the recurrence coefficients α_n(t) and β_n(t); these relations follow directly from the orthogonality conditions and the explicit form of w(x;t) without presupposing the target asymptotics. The large-n expansions are obtained by invoking Dyson's Coulomb fluid approach, an external variational technique that determines the equilibrium measure for the given weight. No parameters are fitted to data subsets and then relabeled as predictions, no uniqueness theorems are imported from the authors' own prior work, and no ansatzes are smuggled via self-citation. The Hankel determinant and normalized constant asymptotics follow from standard integral relations to the recurrence coefficients. The derivation remains self-contained against external benchmarks in orthogonal polynomial theory and random matrix asymptotics.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Central claims rest on standard properties of orthogonal polynomials and asymptotic methods from random matrix theory; parameters α, λ, t are inputs from the application rather than fitted quantities.

axioms (2)
  • standard math Existence and properties of ladder operators for orthogonal polynomials with general Laguerre-type weights
    Used to obtain the system of difference equations and differential-difference equations for recurrence coefficients.
  • domain assumption Applicability of Dyson's Coulomb fluid approach to obtain leading large-n asymptotics for the given weight
    Invoked to derive expansions of recurrence coefficients, sub-leading coefficient, Hankel determinant and h_n(t).

pith-pipeline@v0.9.0 · 5841 in / 1543 out tokens · 57882 ms · 2026-05-18T09:31:05.659732+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

24 extracted references · 24 canonical work pages

  1. [1]

    E. W. Barnes, The theory of theG-function,Quart. J. Pure Appl. Math.31(1900) 264–314

    work page 1900

  2. [2]

    Basor and Y

    E. Basor and Y. Chen, Perturbed Laguerre unitary ensembles, Hankel determinants, and in- formation theory,Math. Meth. Appl. Sci.38(2015) 4840–4851

    work page 2015

  3. [3]

    Chen and M

    Y. Chen and M. E. H. Ismail, Thermodynamic relations of the Hermitian matrix ensembles, J. Phys. A: Math. Gen.30(1997) 6633–6654

    work page 1997

  4. [4]

    Chen and M

    Y. Chen and M. E. H. Ismail, Ladder operators and differential equations for orthogonal polynomials,J. Phys. A: Math. Gen.30(1997) 7817–7829

    work page 1997

  5. [5]

    Chen and M

    Y. Chen and M. R. McKay, Coulomb fluid, Painlev´ e transcendents, and the information theory of MIMO systems,IEEE Trans. Inf. Theory58(2012) 4594–4634

    work page 2012

  6. [6]

    T. S. Chihara,An Introduction to Orthogonal Polynomials, Dover, New York, 1978

    work page 1978

  7. [7]

    P. A. Clarkson and K. Jordaan, Generalised Airy polynomials,J. Phys. A: Math. Theor.54 (2021) 185202

    work page 2021

  8. [8]

    Dai and L

    D. Dai and L. Zhang, Painlev´ e VI and Hankel determinants for the generalized Jacobi weight, J. Phys. A: Math. Theor.43(2010) 055207

    work page 2010

  9. [9]

    F. J. Dyson, Statistical theory of the energy levels of complex systems, I, II, III,J. Math. Phys. 3(1962) 140–156, 157–165, 166–175. 21

    work page 1962

  10. [10]

    Filipuk, W

    G. Filipuk, W. Van Assche and L. Zhang, The recurrence coefficients of semi-classical Laguerre polynomials and the fourth Painlev´ e equation,J. Phys. A: Math. Theor.45(2012) 205201

    work page 2012

  11. [11]

    V. I. Gromak, I. Laine and S. Shimomura,Painlev´ e Differential Equations in the Complex Plane, Walter de Gruyter, Berlin, 2002

    work page 2002

  12. [12]

    M. E. H. Ismail,Classical and Quantum Orthogonal Polynomials in One Variable, Encyclopedia of Mathematics and its Applications 98, Cambridge University Press, Cambridge, 2005

    work page 2005

  13. [13]

    Jimbo and T

    M. Jimbo and T. Miwa, Monodromy preserving deformation of linear ordinary differential equations with rational coefficients. II,Physica D2(1981) 407–448

    work page 1981

  14. [14]

    Krasovsky, Large Gap Asymptotics for Random Matrices, XVth International Congress on Mathematical Physics, New Trends in Mathematical Physics, Springer, 2009, pp

    I. Krasovsky, Large Gap Asymptotics for Random Matrices, XVth International Congress on Mathematical Physics, New Trends in Mathematical Physics, Springer, 2009, pp. 413–419

    work page 2009

  15. [15]

    A. B. J. Kuijlaars, K. T.-R. McLaughlin, W. Van Assche and M. Vanlessen, The Riemann- Hilbert approach to strong asymptotics for orthogonal polynomials on [−1,1],Adv. Math.188 (2004) 337–398

    work page 2004

  16. [16]

    M. L. Mehta,Random Matrices, 3rd edn., Elsevier, New York, 2004

    work page 2004

  17. [17]

    Min and Y

    C. Min and Y. Chen, Differential, difference, and asymptotic relations for Pollaczek-Jacobi type orthogonal polynomials and their Hankel determinants,Stud. Appl. Math.147(2021) 390–416

    work page 2021

  18. [18]

    Min and Y

    C. Min and Y. Chen, Hankel determinant and orthogonal polynomials for a perturbed Gaussian weight: From finitento largenasymptotics,J. Math. Phys.64(2023) 083503

    work page 2023

  19. [19]

    Min and P

    C. Min and P. Fang, Generalized Airy polynomials, Hankel determinants and asymptotics, Physica D473(2025) 134560

    work page 2025

  20. [20]

    F. W. J. Olver, D. W. Lozier, R. F. Boisvert and C. W. Clark,NIST Handbook of Mathematical Functions, Cambridge University Press, Cambridge, 2010. Print companion to theNIST Digital Library of Mathematical Functions, http://dlmf.nist.gov/, Release 1.2.4 (March 15, 2025)

    work page 2010

  21. [21]

    E. B. Saff and V. Totik,Logarithmic Potentials with External Fields, Springer, Berlin, 1997. 22

    work page 1997

  22. [22]

    Szeg˝ o,Orthogonal Polynomials, 4th edn., Amer

    G. Szeg˝ o,Orthogonal Polynomials, 4th edn., Amer. Math. Soc., Providence, RI, 1975

    work page 1975

  23. [23]

    Van Assche,Orthogonal Polynomials and Painlev´ e Equations, Australian Mathematical Society Lecture Series 27, Cambridge University Press, Cambridge, 2018

    W. Van Assche,Orthogonal Polynomials and Painlev´ e Equations, Australian Mathematical Society Lecture Series 27, Cambridge University Press, Cambridge, 2018

    work page 2018

  24. [24]

    Voros, Spectral functions, special functions and the Selberg zeta function,Commun

    A. Voros, Spectral functions, special functions and the Selberg zeta function,Commun. Math. Phys.110(1987) 439–465. 23

    work page 1987