Occupation bounds for coupled permanent cofactors
Loading original first page…
Abstract
We develop sharp all-order bounds for coupled permanent cofactors and occupation-resolved variance and curvature constraints for complex positive semidefinite Gram matrices. A uniform six-row theorem proves actual compensation whenever one selected occupation is at most 1/31. The proof retains the joint weighted coefficient budget and coherent root product; on positive loss within that band it gives G > P^2/20 + 2hE + R and reduces the remaining residual-diagonal bound to 30. Consequently an order-seven PSD matrix satisfies self-Chollet if one normalized off-diagonal squared modulus is at most 1/31; the two-factor consequence requires both factors to meet this condition. Aligned cofactor occupations give a sharp retained-curvature reserve, with coefficient 19/240 at six rows, uniformly optimal also on active rank-six and rank-five correlation bases. Exact projection overlap couples trace and occupation floors without double counting. Balanced coherent-column and covariance-deficit tests give further sufficient domains. Proofs retain complex phases, singular boundaries and kernel mixtures.
Read the full paper in the original PDF.
Edition files
- Paper.pdf288.6 KiB · pdf
SHA-256
0f70caa176c26ba16ec6da9d883a75183992aa837094c9c468ad9e188ccdd642 - Publication_Package.zip383.6 KiB · package
SHA-256
287a21b7636422956924006fd827562025aa644b315b47d75cfff3d47a70b355
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 inequalities, positive semidefinite matrices, coupled cofactors, occupation bounds, Gram factors, adaptive certificates
- Manuscript date
- 2026-10-23
- Reader reuse
- No additional permission granted
Scope
The uniform 1/31 domain and order-seven weak-pair theorem, actual cofactor coefficient constraints, sharp curvature reserve, projection-overlap bounds and balanced sufficient domains are proved with their stated hypotheses. Classical CLL, scaling and projection tools are attributed.
Disclosures
AI-assisted tools supported research exploration, literature review, manuscript preparation and internal verification. The author retains responsibility for the work. Internal AI-assisted and computational checks are distinct from external human peer review.
Reproduction
The complete 35-page manuscript and 21-member package contain eight editable LaTeX source files, eight standard-library Python checkers, exact rational fixture data, reader/build instructions, citation metadata and public checksums. Sixteen extracted normal/optimized checker runs passed. An isolated source rebuild reproduced all mathematical text and page geometry. The new exact checker verifies four complex rank-six and singular rank-five examples, including noncirculant cases. Finite computations corroborate identities and constants; universal claims rest on analytic proofs.
References and related resources
- J. Chollet, Problem 6482, Amer. Math. Monthly 89 (1982), 57–58.
- K. Rodtes, Chollet’s permanent conjecture for 4 × 4 matrices, Linear Multilinear Algebra 72 (2024), 2633–2638, arXiv:2211.02839.
- 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.
- V . E. Paksoy, A permanent inequality for positive semidefinite matrices,Electron. J. Linear Algebra 39 (2023), 71–77, publisher’s article.
- A. W. Harrow, The church of the symmetric subspace (2013), arXiv:1308.6595.
- J. M. Zhang, H. F. Song and Y . Liu, Permanent variational wave functions for bosons (2021), arXiv:2106.14679.
- S. Geller and E. Knill, Measuring multiparticle indistinguishability with the generalized bunching probability, arXiv:2509.04550v2 (2025).
- C. Ryba, Stable centres of wreath products, Algebraic Combinatorics 6 (2023), 413–455, doi:10.5802/alco.264.
- A. Prékopa and G. Alexe, Dual methods for the numerical solution of the univariate power moment problem, RUTCOR Research Report 14-2003, report.
- W. Tang and F. Tang, The Poisson binomial distribution—old & new, arXiv:1908.10024 (2019).
- S. Schubr, Chollet’s inequality for positive semidefinite matrices of rank at most four (2026), authorpublished preprint, edition 1.
- S. Schubr, Sharp limitations of two permanental cofactor comparisons (2026), author-published preprint, edition 1.
- R. Bhatia, P . Grover and T. Jain, Derivatives of tensor powers and their norms, arXiv:1102.2414v3 (2015).
- H. Terao, Algebras generated by reciprocals of linear forms, J. Algebra 250 (2002), 549–558, doi:10.1006/jabr.2001.9121.
- M. Marcus, The permanent analogue of the Hadamard determinant theorem, Bull. Amer. Math. Soc. 69 (1963), 494–496.
- 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.
- A. Neumaier, Complete search in continuous global optimization and constraint satisfaction, Acta Numer. 13 (2004), 271–369, doi:10.1017/S0962492904000194.
- E. A. Carlen, E. H. Lieb and M. Loss, An inequality of Hadamard type for permanents, Methods Appl. Anal. 13 (2006), 1–17.
- R. Sinkhorn and P. Knopp, Concerning nonnegative matrices and doubly stochastic matrices, Pacific J. Math. 21 (1967), 343–348.
- S. Sa-nguansin and K. Rodtes, Permanents of correlation matrices and the Chollet permanental conjecture, Linear Multilinear Algebra 73 (2025), 4084–4096.