Coupled permanent cofactors: sharp occupation bounds and compensation geometry
Loading original first page…
Abstract
For complex positive semidefinite Gram matrices, permanent cofactors of the ordinary and entrywise squared Gram matrices determine a common residual operator. We prove its sharp all-order bound with optimal factor n-1 and a sharp occupation–variance inequality, retaining singular factors, complex phases and arbitrary ambient kernel components. These results express information that separate cofactor estimates discard. At order six, the same Gram geometry yields variance, inherited-defect and curvature reserves for the actual bordered permanent defect. A selected occupation at most 1/31 is sufficient for compensation and gives an order-seven self-conjugate domain. For the six-factor core F(t)=per(K+tJ), with P=F(1)+F'(1) and L=F(√(2))-P, we prove the sharp constraint P+3L≥7200 and classify its equality geometry. It yields actual compensation on 0≤ L≤4 without a diagonal cutoff. Weighted coherent projections and classical permanent bounds give further explicit capacity regions, including full-amplitude structured families and quantified higher-rank neighborhoods. A uniform creation-operator reserve proves strict diagonal monotonicity and convexity of the transformed deficit; exact counterexamples delimit extensions to unrestricted PSD directions and several fixed certificates. The sufficient regions retain their explicit occupation, loss, phase and neighborhood hypotheses. Classical inputs and the complete finite certificates supporting the restricted-family proofs are specified alongside the analytic arguments.
Read the full paper in the original PDF.
Edition files
- Occupation_bounds_for_coupled_permanent_cofactors.pdf461.2 KiB · pdf
SHA-256
199dbe9a3ac5d9b8da8475679704c953ae3441e0165646e1c4a5305007b545b9 - Occupation_bounds_for_coupled_permanent_cofactors_package.zip631.6 KiB · package
SHA-256
e3aa30f8488accb4ac4cf2e1c12516803b7a47d4d017d9b2c1524db77a1222fb
Available editions
- Edition 11 · 2026-10-27 · public
- Edition 10 · 2026-10-25 · public
- Edition 9 · 2026-10-24 · public
- Edition 8 · 2026-10-24 · public
- Edition 7 · 2026-10-24 · public
- Edition 6 · 2026-10-24 · public
- Edition 5 · 2026-10-24 · public
- Edition 4 · 2026-10-24 · public
- Edition 3 · 2026-10-23 · public
- Edition 2 · 2026-10-23 · public
- Edition 1 · 2026-10-23 · public
Research details
- Subjects
- Mathematics · Linear Algebra and Matrix Inequalities
- Keywords
- permanent, Gram matrix, coupled cofactors, occupation bounds, positive semidefinite matrices, Chollet inequality
- Manuscript date
- 2026-10-23
- Reader reuse
- No additional permission granted
Scope
Sharp all-order coupled cofactor residual and occupation–variance bounds, with explicit six-factor compensation regions, a sharp occupation constraint, capacity domains and diagonal monotonicity/convexity.
Disclosures
AI tools assisted mathematical exploration, drafting and checking. The author is responsible for the mathematical claims, proofs, references and presentation.
Reproduction
The 64-page manuscript and 44-member source package include all fourteen TeX components, twenty-three exact Python checkers, certificate data, a fixed-timestamp Tectonic build helper and citation metadata. README.md gives compilation and normal/optimized checker commands; each checker’s proof or example role is specified in the manuscript.
References and related resources
- M. A. Aouichaoui and F. Zhang, A solution to a permanent conjecture of Pate, preprint, 29 September 2026, doi:10.20944/preprints202609.2464.v1.
- B. Beauzamy, How the roots of a polynomial vary with its coefficients: a local quantitative result, Canad. Math. Bull. 42 (1999), 3–12, doi:10.4153/CMB-1999-001-6.
- R. Bhatia, P. Grover and T. Jain, Derivatives of tensor powers and their norms, Electron. J. Linear Algebra 26 (2013), 604–619, doi:10.13001/1081-3810.1675.
- E. A. Carlen, E. H. Lieb and M. Loss, An inequality of Hadamard type for permanents, Methods Appl. Anal. 13 (2006), 1–18, arXiv:math/0508096.
- J. Chollet, Problem 6482, Amer. Math. Monthly 89 (1982), 57–58.
- S. Geller and E. Knill, Measuring multiparticle indistinguishability with the generalized bunching probability, arXiv:2509.04550v2 (2025).
- A. W. Harrow, The church of the symmetric subspace (2013), arXiv:1308.6595.
- Q. Li, Q. Zhao and W. Luo, Chollet’s permanent conjecture through order six via border induction, Preprints.org 202608.2196v1 (31 August 2026), doi:10.20944/preprints202608.2196.v1.
- D. Lu, Nonlinear eigenvector methods for convex minimization over the numerical range, SIAM J. Matrix Anal. Appl. 41 (2020), 1771–1796, doi:10.1137/18M1234473.
- M. Marcus, The permanent analogue of the Hadamard determinant theorem, Bull. Amer. Math. Soc. 69 (1963), 494–496.
- A. Neumaier, Complete search in continuous global optimization and constraint satisfaction, Acta Numer. 13 (2004), 271–369, doi:10.1017/S0962492904000194.
- V. E. Paksoy, A permanent inequality for positive semidefinite matrices, Electron. J. Linear Algebra 39 (2023), 71–77, publisher’s article.
- P. Pant and R. Singh, Structural classes for Chollet’s permanent conjecture, arXiv:2604.24192v2 (2026).
- A. Prékopa and G. Alexe, Dual methods for the numerical solution of the univariate power moment problem, RUTCOR Research Report 14-2003, report.
- K. Rodtes, Chollet’s permanent conjecture for 4 × 4 matrices, Linear Multilinear Algebra 72 (2024), 2633–2638, arXiv:2211.02839.
- C. Ryba, Stable centres of wreath products, Algebraic Combinatorics 6 (2023), 413–455, doi:10.5802/alco.264.
- S. Sa-nguansin and K. Rodtes, Permanents of correlation matrices and the Chollet permanental conjecture, Linear Multilinear Algebra 73 (2025), 4084–4096, doi:10.1080/03081087.2025.2588584.
- S. Schubr, Asymptotically optimal bounds for permanental cofactor matrices, author-published preprint, 2026, edition 2, Luminary Research Archive.
- S. Schubr, Chollet’s inequality for positive semidefinite matrices of rank at most four (2026), author-published preprint, edition 3.
- S. Schubr, Sharp limitations of two permanental cofactor comparisons (2026), author-published preprint, edition 1.
- R. Sinkhorn and P. Knopp, Concerning nonnegative matrices and doubly stochastic matrices, Pacific J. Math. 21 (1967), 343–348, doi:10.2140/pjm.1967.21.343.
- W. Tang and F. Tang, The Poisson binomial distribution—old & new, arXiv:1908.10024 (2019).
- H. Terao, Algebras generated by reciprocals of linear forms, J. Algebra 250 (2002), 549–558, doi:10.1006/jabr.2001.9121.
- J. M. Zhang, H. F. Song and Y. Liu, Permanent variational wave functions for bosons (2021), arXiv:2106.14679.