Moment certificates for homogeneous stable count laws
Loading original first page…
Abstract
For a homogeneous real-stable count law P and its mean-matched multinomial law M, the normalized covariance deficit D gives finite chi-square bounds retaining both x = Tr(D) and s₂ = Tr(D²). The likelihood ratio has a covariance-determined quadratic component with exact squared norm ns₂/[2(n − 1)] and a uniform higher-order remainder. A hybrid Gaussian coefficient envelope gives chi-square convergence when x remains bounded and s₂ tends to zero, without a lower bound on retained category means. Matching mean and covariance gives total-variation agreement of order x³ᐟ², with a cubic example showing the exponent is sharp. Nonfactorizable positive stable cubic laws exclude a dimension-uniform third-chaos bound by a constant times s₂³ᐟ² over the full class. The paper proves the optimal real coefficient inequality |eₖ(z)|² ≤ binomial(n,k) for centered real vectors of squared norm n in every order, classifies equality, and retains TV(P,M) ≤ min(1,x). The complete homogeneous spectral envelope holds with coefficient one at every top order, in orders two through four, and for rank-one deficits; an all-order factor-24 bound covers the remaining orders. A fixed-law Gaussian mutual-total-variation limit is also proved. Classical centered-coefficient, orthogonal-expansion, Banach and determinantal methods are explicitly credited. Standalone standard-library code reconstructs the finite certificates; analytic existence and limit arguments remain manuscript proofs.
Read the full paper in the original PDF.
Edition files
- Moment_Certificates_Stable_Count_Laws.pdf275.9 KiB · pdf
SHA-256
7f338a7d9b9b1786f743876753545600b1882f16f53b0ce35f58f8bf46b2c121 - Moment_Certificates_Stable_Count_Laws_Publication_Package.zip337.5 KiB · package
SHA-256
e44e1af25a1cef91be9a761d1c4977f29aaf8ea2b746839ba9102785419b4031
Available editions
Research details
- Subjects
- Mathematics · Probability and Statistics
- Keywords
- real-stable polynomials, multinomial approximation, covariance spectrum, total variation, chi-square divergence, elementary symmetric polynomials, Krawtchouk polynomials
- Manuscript date
- 2026-10-23
- Reader reuse
- No additional permission granted
Scope
The real scalar coefficient-one theorem and its equality classification cover every order. The full-spectrum bound has factor 24 in general, with factor one at top orders, orders two through four and rank-one deficits.
Disclosures
Generative AI systems assisted mathematical exploration, literature discovery, proof drafting, exact-code development and independent adversarial checks. AI-assisted checks support the manuscript; the author retains responsibility for it.
Reproduction
The eleven-member package includes the complete PDF, LaTeX, bibliography, four standard-library Python files and explicit manifests. With Python 3.10 or later, keep the four Python files together and run verify_spectral.py --output certificate.json and python -O verify_spectral.py --output certificate-optimized.json. The complete exact JSON outputs must agree. The code reconstructs finite scalar/equality certificates and spectral, subset, sharpness and cubic controls; analytic tensor, hyperbolicity, Gaussian existence and limit arguments are proved in the manuscript.
References and related resources
- S. Banach, Über homogene Polynome in L2, Studia Mathematica 7 (1938), 36–44. doi:10.4064/sm-7-1- 36-44.
- D. Carando and J. T. Rodríguez, Symmetric multilinear forms on Hilbert spaces: where do they attain their norm? (2018). arXiv:1810.09373.
- W. Ehm, Binomial approximation to the Poisson binomial distribution, Statistics & Probability Letters 11(1) (1991), 7–16. doi:10.1016/0167-7152(91)90170-V.
- A. Guntuboyina, S. Saha and G. Schiebinger, Sharp inequalities for f -divergences (2013). arXiv:1302.0336.
- Y. Han and J. Niles-Weed, Approximate independence of permutation mixtures, The Annals of Statistics 54(3) (2026), 1594–1621. doi:10.1214/26-AOS2619. arXiv:2408.09341; the coefficient result used here is Theorem 4.3(2) in version 3.
- Y. Han and J. Niles-Weed, Elementary symmetric polynomial inequalities for centered vectors and matrices (2026). arXiv:2607.23836.
- W.-L. Loh, Stein’s method and multinomial approximation, The Annals of Applied Probability 2(3) (1992), 536–554. doi:10.1214/aoap/1177005648.
- C. Riener and R. Schabert, Linear slices of hyperbolic polynomials and positivity of symmetric polynomial functions (2023). arXiv:2203.08727, version 2.
- B. Roos, Closeness of convolutions of probability measures, Bernoulli 16(1) (2010), 23–50. doi:10.3150/08-BEJ171. arXiv:0811.0622.
- B. Roos, On Bobkov’s approximate de Finetti representation via approximation of permanents of complex rectangular matrices (2014). arXiv:1203.2871, version 2.
- P. Brändén, Polynomials with the half-plane property and matroid theory, Advances in Mathematics 216 (2007), 302–320. arXiv:math/0605678, version 4.
- Y.-B. Choe, J. G. Oxley, A. D. Sokal and D. G. Wagner, Homogeneous multivariate polynomials with the half-plane property, Advances in Applied Mathematics 32 (2004), 88–187. doi:10.1016/S0196- 8858(03)00078-2. arXiv:math/0202034.
- E. Randles, Local limit theorems for complex functions on Zd, Journal of Mathematical Analysis and Applications 519 (2023), 126832. doi:10.1016/j.jmaa.2022.126832. arXiv:2201.01319, version 2.
- H. Derksen, P. Ivanov, C. H. Lee and E. Viola, Pseudorandomness, Symmetry, Smoothing: I, in 39th Computational Complexity Conference , LIPIcs 300 (2024), 18:1–18:27. doi:10.4230/LIPIcs.CCC.2024.18.
- J.-T. Hsieh, D. M. Kane, P. K. Kothari, J. Li, S. Mohanty and S. Tiegel, Rigorous Implications of the Low-Degree Heuristic (2026). arXiv:2601.05850.
- National Institute of Standards and Technology, Digital Library of Mathematical Functions , §18.19 and §18.23, Table 18.19.1 and equation 18.23.3.
- B. Roos, Multinomial and Krawtchouk approximations to the generalized multinomial distribution, Theory of Probability and its Applications 46(1) (2002),103–117. doi:10.1137/S0040585X97978750. Russian original: Teor. Veroyatnost. i Primenen. 46(1) (2001),117–133.
- P. Diaconis and R. C. Griffiths, Reproducing kernel orthogonal polynomials on the multinomial distribution, Journal of Approximation Theory 242 (2019),1–30. doi:10.1016/j.jat.2019.01.007. arXiv:1802.07122.
- J. M. Aldaz, Self-improvement of the inequality between arithmetic and geometric means, Journal of Mathematical Inequalities 3(2) (2009),213–216. arXiv:0807.1788.
- H. H. Bauschke, O. Güler, A. S. Lewis and H. S. Sendov, Hyperbolic polynomials and convex analysis, Canadian Journal of Mathematics 53(3) (2001),470–488. Author manuscript.
- S. Cao, S. He, Z. Li and Z. Wang, Extreme ratio between spectral and Frobenius norms of nonnegative tensors, SIAM Journal on Matrix Analysis and Applications 44(2) (2023),919–944. doi:10.1137/22M1502951. Author manuscript,Theorem 4.6 and Corollary 4.9.
- C. Hanselka, Definite determinantal representations of ternary hyperbolic forms, arXiv:1411.1661v2 (2015), Theorem 1 (Helton–Vinnikov).