Positive-integrality conjecture for time-delay matrix cumulants

About 16 years old · traced to

Let XnX_n be distributed according to the Laguerre ensemble with parameter α=n\alpha=n, and define the rescaled inverse power traces

τk(n)=nk−1Tr⁡Xn−k(k≥0).\tau_k(n)=n^{k-1}\operatorname{Tr}X_n^{-k}\qquad (k\geq 0).

Their expectations have the expansion

Eτk(n)=∑g=0∞κg(k)n−g.\mathbb{E}\tau_k(n)=\sum_{g=0}^{\infty}\kappa_g(k)n^{-g}.

Positive-integrality conjecture. For β∈{1,2}\beta\in\{1,2\}, the expansion coefficients satisfy

κg(k)∈N.\kappa_g(k)\in\mathbb{N}.

This conjecture concerns the 1/n1/n-expansion of cumulants and moments of the time-delay matrix for ballistic chaotic cavities, where the inverse power traces are singular spectral statistics of the Laguerre ensemble. The source gives no resolution, so the conjecture remains open.

References

Primary source

Fabio Deelan Cunden, Francesco Mezzadri, Neil O'Connell and Nick Simm, “Moments of random matrices and hypergeometric orthogonal polynomials”, arXiv:1805.08760 (2019).

Additional references

2 papers in this index state this conjecture (2010–2018). The statement above is taken from the most recent of them; the others are arXiv:1007.4181.

Progress summary

Refreshed
Claimed progress

The complex case is claimed solved, while the real case remains open.

Formulated in 2016, the conjecture asserts positive integer coefficients throughout the inverse-trace expansion for both symmetry classes β=1\beta=1 and β=2\beta=2. The 2018 literature reports a resolution only for the complex class.

Known results

  • For β=2\beta=2, finite computations established the claim through k≤10000k\leq 10000 and g≤80g\leq 80 (2016).

2018 complex-case resolution

The 2018 paper reports a proof for β=2\beta=2: the expansion is in n−2n^{-2} with positive integer coefficients, using reciprocity and a positive-integer permutation formula. It does not resolve β=1\beta=1.

Current status (as of August 2026): The β=2\beta=2 case is reported as resolved, but remains unverified here; the β=1\beta=1 case remains open.

Sources

Solutions 0

No solutions have been posted yet.