Research Article · Preprint Mathematics
Strong permanent inequalities for three-row bipartite supports and triangle-free supports through order seven
- Primary subject
- Mathematics
- Subject subfields
- Linear Algebra and Matrix Inequalities
- Paper type
- Research Article
- Manuscript stage
- Preprint
- Manuscript
- Archived
- Edition
- 2 · Permanent link
Overview
Abstract
For every complex 3 × q contraction X, we prove that the permanent of the block matrix with diagonal blocks I₃ and I_q and off-diagonal blocks X and X* is at least the permanent of its entrywise squared modulus. The proof retains all square-minor orders and controls the coupled third-order cancellations through the row Gram matrix. It gives an explicit sum of nonnegative lower bounds and includes arbitrary phases, zero entries and singular endpoints. Combining this theorem with three pentagon blow-up cases and an exact finite graph classification proves the same strong inequality for every positive semidefinite matrix with triangle-free support on at most seven vertices, after diagonal scaling. Two previously unpublished blow-up cases are proved here, one analytically and one by an explicit positive integer polynomial certificate. Reproducibility supplements contain the certificate and finite classification verifier. The unrestricted Chollet conjecture is not settled.
Keywords permanent inequalities · positive semidefinite matrices · three-row contractions · triangle-free graphs · Chollet conjecture · polynomial certificates
Scope of the work
Analytic strong permanent contraction on every finite K₃,q support and strong comparison on all triangle-free PSD supports through order seven, with explicit nonbipartite certificate and finite host classification.
Reproduction notes
The paper has 8 pages. The editable-source archive contains 9 files. Compile manuscript/main.tex. Standard-library Python verifies the 119-term nonadjacent certificate and enumerates the triangle-free seven-vertex graph hosts.
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 tools assisted with drafting and verification. The author is responsible for the statements, proofs, attribution and final text. This author-published preprint has not undergone formal journal peer review.
References and related publications
- 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.
- P. Pant and R. Singh, Structural Classes for Chollet's Permanent Conjecture, arXiv:2604.24192v2 (2026).
- S. Schubr, Strong permanent inequalities for complex positive semidefinite cycle and single-chord supports, Luminary Research Archive, first edition (2026).
- S. Schubr, Strong permanent inequalities for complex two- and three-chord seven-cycle supports, Luminary Research Archive, first edition (2026).
- R. Mehatari, M. R. Kannan and A. Samanta, On the adjacency matrix of a complex unit gain graph, Linear and Multilinear Algebra 70 (2022), no. 9, 1798–1813.
- D. Handelman, Representing polynomials by positive linear functions on compact convex polyhedra, Pacific Journal of Mathematics 132 (1988), no. 1, 35–62.
A stable scholarly record
Cite this edition
Scott Schubr. (2026). Strong permanent inequalities for three-row bipartite supports and triangle-free supports through order seven (Version 2). Luminary Research Archive. https://research.luminaryoddities.com/strong-permanent-inequalities-three-row-bipartite-triangle-free-supports/v/2
BibTeX
@techreport{luminary_strong_permanent_inequalities_three_row_bipartite_triangle_free_supports_v2,
title = {Strong permanent inequalities for three-row bipartite supports and triangle-free supports through order seven},
author = {Scott Schubr},
year = {2026},
institution = {Luminary Research Archive},
type = {Research Article},
note = {Version 2},
url = {https://research.luminaryoddities.com/strong-permanent-inequalities-three-row-bipartite-triangle-free-supports/v/2}
}Loading discussion…