Strong and energy-bounded permanent inequalities on bipartite supports
Loading original first page…
Abstract
We prove strong permanent contraction for every complex positive semidefinite matrix supported in K_(4,q), with any finite q, and in K_(5,5). The four-row proof is analytic; the five-by-five proof combines a retained third-minor budget with finite-column moment bounds and an exact tensor Bernstein certificate comprising 3,145,728 rational coefficients. Independently, a dimension-free energy criterion proves the ordinary self-Chollet inequality whenever the off-diagonal rectangle has squared row and column sums at most one and total squared energy at most 12+(201+16√(537))/988, including all positive semidefinite K_(12,q) supports. Strong five-row estimates for arbitrary finite column number are also obtained near row-isometries and under dispersed fourth moments. The structural core proofs, large-entry transfer and analytic reductions are given in full, with classical permanent norm, block and matching-polytope theorems credited. Arbitrary complex phases, missing edges and singular endpoints are included.
Read the full paper in the original PDF.
Edition files
- Bipartite_Permanent_Inequalities.pdf162.6 KiB · pdf
SHA-256
e50fb735c090eed60875f1b1438a9c7628ce3831f26a2560f3ecd872dff6025b - Bipartite_Permanent_Publication_Package.zip184.5 KiB · package
SHA-256
95b1ec5f640aa321ec85e67e4ae9df08ac6abc478bca4772b01b33adb672cb00
Available editions
Research details
- Subjects
- Mathematics · Linear Algebra and Matrix Inequalities
- Keywords
- permanent inequalities, positive semidefinite matrices, bipartite supports, Chollet conjecture, Bernstein certificates
- Manuscript date
- 2026-10-23
- Reader reuse
- No additional permission granted
Scope
Strong permanent comparison for every finite K₄,q and K₅,₅ support, an ordinary self-Chollet energy criterion including K₁₂,q, and additional stated arbitrary-column five-row strong regions.
Disclosures
Author-posted preprint. AI-assisted internal research and verification do not constitute external human peer review or proof-assistant formalization.
Reproduction
The paper has 16 pages. The editable-source archive contains 7 files. Compile manuscript/main.tex. Run code/verify_bipartite_certificate.py with standard-library Python to reconstruct the exact tables and 3,145,728 Bernstein coefficients.
References and related resources
- L. B. Beasley, An inequality on permanents of Hadamard products, Bulletin of the Korean Mathematical Society 37 (2000), no. 3, 633–639.
- J. Chollet, Is there a permanental analogue to Oppenheim’s inequality?, American Mathematical Monthly 89 (1982), 57–58.
- S. W. Drury, A counterexample to a question of Bapat and Sunder, Electronic Journal of Linear Algebra 31 (2016), 69–70. https://journals.uwyo.edu/index.php/ela/article/view/1631.
- E. Carlen, E. H. Lieb and M. Loss, An inequality of Hadamard type for permanents, Methods and Applications of Analysis 13 (2006), no. 1. https://doi.org/10.4310/MAA.2006.v13.n1.a1. Square form: arXiv:math/0508096v1, Theorem 1.1, https://arxiv.org/html/math/0508096v1.
- E. H. Lieb, Proofs of some conjectures on permanents, Journal of Mathematics and Mechanics 16 (1966), 127–134.
- J. Edmonds, Maximum matching and a polyhedron with 0,1-vertices, Journal of Research of the National Bureau of Standards, Section B 69B (1965), 125–130. https://doi.org/10.6028/jres.069B.013.
- P. Pant and R. Singh, Structural Classes for Chollet’s Permanent Conjecture, arXiv:2604.24192v2 (2026). https://arxiv.org/abs/2604.24192v2.
- S. Sa-nguansin and K. Rodtes, Permanents of correlation matrices and the Chollet permanental conjecture, Linear and Multilinear Algebra 73 (2025), no. 18, 4084–4096. https://doi.org/10.1080/03081087.2025.2588584.
- S. Schubr, Strong permanent inequalities for three-row bipartite and triangle-free supports, Luminary Research Archive, first edition (2026).
- S. Schubr, Strong permanent contraction on four-row bipartite supports through six columns, Luminary Research Archive, first edition (2026).
- S. Schubr, Strong permanent contraction on four-by-seven bipartite supports, Luminary Research Archive, first edition (2026).
- S. Schubr, Row-dependent bounds for strong permanent contraction on four-by-eight supports, Luminary Research Archive, first edition (2026).
- Z. Zeng, H. Liu and K. Ratnavelu, Sharp Self-Chollet Inequalities in Order Five: Rank Two and Structured Rank Three, Preprints.org (2026), version 1, posted 18 August 2026, Section 6. https://www.preprints.org/manuscript/202608.1240/v1.