Luminary Research Archive
Luminary Research ArchiveIndependent scholarship
Luminary Portal

Coupled permanent cofactors: sharp occupation bounds and compensation geometry

Original PDF · First-page preview

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

Available editions

  1. Edition 11 · 2026-10-27 · public
  2. Edition 10 · 2026-10-25 · public
  3. Edition 9 · 2026-10-24 · public
  4. Edition 8 · 2026-10-24 · public
  5. Edition 7 · 2026-10-24 · public
  6. Edition 6 · 2026-10-24 · public
  7. Edition 5 · 2026-10-24 · public
  8. Edition 4 · 2026-10-24 · public
  9. Edition 3 · 2026-10-23 · public
  10. Edition 2 · 2026-10-23 · public
  11. 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

  1. M. A. Aouichaoui and F. Zhang, A solution to a permanent conjecture of Pate, preprint, 29 September 2026, doi:10.20944/preprints202609.2464.v1.
  2. 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.
  3. 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.
  4. 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.
  5. J. Chollet, Problem 6482, Amer. Math. Monthly 89 (1982), 57–58.
  6. S. Geller and E. Knill, Measuring multiparticle indistinguishability with the generalized bunching probability, arXiv:2509.04550v2 (2025).
  7. A. W. Harrow, The church of the symmetric subspace (2013), arXiv:1308.6595.
  8. 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.
  9. 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.
  10. M. Marcus, The permanent analogue of the Hadamard determinant theorem, Bull. Amer. Math. Soc. 69 (1963), 494–496.
  11. A. Neumaier, Complete search in continuous global optimization and constraint satisfaction, Acta Numer. 13 (2004), 271–369, doi:10.1017/S0962492904000194.
  12. V. E. Paksoy, A permanent inequality for positive semidefinite matrices, Electron. J. Linear Algebra 39 (2023), 71–77, publisher’s article.
  13. P. Pant and R. Singh, Structural classes for Chollet’s permanent conjecture, arXiv:2604.24192v2 (2026).
  14. A. Prékopa and G. Alexe, Dual methods for the numerical solution of the univariate power moment problem, RUTCOR Research Report 14-2003, report.
  15. K. Rodtes, Chollet’s permanent conjecture for 4 × 4 matrices, Linear Multilinear Algebra 72 (2024), 2633–2638, arXiv:2211.02839.
  16. C. Ryba, Stable centres of wreath products, Algebraic Combinatorics 6 (2023), 413–455, doi:10.5802/alco.264.
  17. 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.
  18. S. Schubr, Asymptotically optimal bounds for permanental cofactor matrices, author-published preprint, 2026, edition 2, Luminary Research Archive.
  19. S. Schubr, Chollet’s inequality for positive semidefinite matrices of rank at most four (2026), author-published preprint, edition 3.
  20. S. Schubr, Sharp limitations of two permanental cofactor comparisons (2026), author-published preprint, edition 1.
  21. 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.
  22. W. Tang and F. Tang, The Poisson binomial distribution—old & new, arXiv:1908.10024 (2019).
  23. H. Terao, Algebras generated by reciprocals of linear forms, J. Algebra 250 (2002), 549–558, doi:10.1006/jabr.2001.9121.
  24. J. M. Zhang, H. F. Song and Y. Liu, Permanent variational wave functions for bosons (2021), arXiv:2106.14679.