Research Article · Preprint Mathematics
Occupation bounds for coupled permanent cofactors
- Primary subject
- Mathematics
- Subject subfields
- Linear Algebra and Matrix Inequalities
- Paper type
- Research Article
- Manuscript stage
- Preprint
- Manuscript
- Archived
- Edition
- 7 · Permanent link
You are reading a preserved edition. Read the current edition (v10).
Overview
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. The generic rank-six compensation inequality and unrestricted Chollet conjecture remain open.
Keywords permanent inequalities · positive semidefinite matrices · coupled cofactors · occupation bounds · Gram factors · adaptive certificates
Scope of the work
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. The generic rank-six compensation problem remains open. The 2025 Sa-nguansin–Rodtes full proof was inaccessible for comparison; no exhaustive containment or first-ever priority is claimed. Classical CLL, scaling and projection tools are attributed. Internal AI-assisted review is not external human refereeing.
Reproduction notes
The complete 36-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.
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
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.
References and related publications
- 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.
A stable scholarly record
Cite this edition
Scott Schubr. (2026). Occupation bounds for coupled permanent cofactors (Version 7). Luminary Research Archive. https://research.luminaryoddities.com/occupation-bounds-coupled-permanent-cofactors/v/7
BibTeX
@techreport{luminary_occupation_bounds_coupled_permanent_cofactors_v7,
title = {Occupation bounds for coupled permanent cofactors},
author = {Scott Schubr},
year = {2026},
institution = {Luminary Research Archive},
type = {Research Article},
note = {Version 7},
url = {https://research.luminaryoddities.com/occupation-bounds-coupled-permanent-cofactors/v/7}
}Loading discussion…