Research Article · Preprint Mathematics
Moment certificates for homogeneous stable count laws
- Primary subject
- Mathematics
- Subject subfields
- Probability and Statistics
- Paper type
- Research Article
- Manuscript stage
- Preprint
- Manuscript
- Archived
- Edition
- 6 · Permanent link
Overview
Abstract
This paper compares a homogeneous real-stable count law with its mean-matched multinomial law through the normalized covariance deficit D. Finite chi-square bounds retain Tr(D) and Tr(D²), with an exact covariance-determined quadratic likelihood component and a uniform remainder. Matching mean and covariance gives a sharp total-variation rate of order Tr(D)^{3/2}. The optimal centered real elementary-symmetric coefficient inequality is proved in every order with its equality classification. A sharp centered complex degree-five coefficient bound in six variables yields the optimal factor 3/4 for the fifth likelihood component of every degree-six stable count law, at arbitrary covariance rank. Together with the other orders, this establishes the complete-homogeneous factor-one target throughout degree six. General degrees retain a factor-24 envelope, with stronger order-five bounds and structured spectral regions. Higher-interior factor one in degrees at least seven remains open. A fixed-law Gaussian mutual-total-variation limit is retained. Classical root-extremum, determinantal, centered-coefficient and orthogonal-expansion methods are credited; standalone code reconstructs finite exact certificates.
Keywords real-stable polynomials · covariance spectrum · multinomial approximation · total variation · elementary symmetric polynomials · exact certificates
Scope of the work
The all-order real scalar theorem and sharp complex-six theorem have the stated centered norm normalizations. The degree-six factor-3/4 fifth-order bound holds at every covariance rank and is attained by positive stable product laws. It does not assert an all-degree complex coefficient-one theorem or unrestricted higher-interior factor one in degrees at least seven. Analytic transfer and limit arguments are distinct from finite polynomial certificates.
Reproduction notes
The twelve-member package includes the 45-page manuscript, editable source, bibliography, five standard-library Python files, citation metadata and manifests. With Python 3.10 or later, keep the four legacy verifier files together and run verify_spectral.py --output certificate.json and verify_complex_six.py --output complex-six-certificate.json. Repeat each in optimized mode and compare each normal/optimized exact output pair. Follow README.md for full instructions. Build main.tex with Tectonic or two pdflatex runs. Finite certificates do not replace the analytic reductions, stable-law transfer or limit proofs.
The manuscript
Read the paper
The complete manuscript, as published in this edition.
If the reader is unavailable on your device, open or download the PDF directly.
Author disclosures
Generative AI systems assisted mathematical exploration, literature discovery, proof drafting, exact-code development and independent adversarial checks. These are internal AI-assisted checks, not external human refereeing; the author retains responsibility for the manuscript.
References and related publications
- 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).
A stable scholarly record
Cite this edition
Scott Schubr. (2026). Moment certificates for homogeneous stable count laws (Version 6). Luminary Research Archive. https://research.luminaryoddities.com/moment-certificates-homogeneous-stable-count-laws/v/6
BibTeX
@techreport{luminary_moment_certificates_homogeneous_stable_count_laws_v6,
title = {Moment certificates for homogeneous stable count laws},
author = {Scott Schubr},
year = {2026},
institution = {Luminary Research Archive},
type = {Research Article},
note = {Version 6},
url = {https://research.luminaryoddities.com/moment-certificates-homogeneous-stable-count-laws/v/6}
}Loading discussion…