Research Article · Preprint Mathematics
Uniform permanent-derivative compensation on the conjugate-disjoint Gram locus
- Primary subject
- Mathematics
- Subject subfields
- Linear Algebra and Matrix Inequalities
- Paper type
- Research Article
- Manuscript stage
- Preprint
- Manuscript
- Archived
- Edition
- 1 · Permanent link
Overview
Abstract
We prove a uniform lower bound for a compensated homogeneous permanent derivative on the complete conjugate-disjoint locus of centered complex positive semidefinite matrices of order six. The locus has rank at most two, and the theorem includes arbitrary phases, nonuniform diagonals, unequal eigenvalues and singular limits. If r is the trace, p the product of the two possible nonzero eigenvalues and δ the ordinary omission variance, the lower bound is [1248 − (1672/3)√2]r⁴ + [29568 − (33920/3)√2]pr² + (20160 − 80√2)δ. All three coefficients are positive. The proof extends the earlier rank-one cancellation identity before imposing spectral relations, then uses an exterior-square Gram identity to pay the coupled remainder with the same variance reserve. Combined with an earlier conditioning-free projection and explicit Lipschitz estimate, this gives a uniform small-overlap region in the full centered positive semidefinite section. Moderate conjugate overlap, the other homogeneous derivative blocks and the full Chollet conjecture remain open.
Keywords permanent · positive semidefinite matrix · conjugate-disjoint Gram locus · variance cancellation · exterior-square identity · compensated derivative
Scope of the work
Uniform positive lower bound for F₄ on the entire centered complex PSD6 locus K K̄ = 0, with positive spectral-product and omission-variance reserves; arbitrary phases, zero rows and singular limits. Explicit uniform small-overlap corollary. Constants are conservative. Moderate overlap, other homogeneous derivative blocks and full Chollet remain open.
Reproduction notes
The eight-member supplementary package includes the complete ten-page PDF, editable LaTeX source, standalone standard-library exact verifier and reader data, instructions, citation metadata and SHA-256 manifest. Seven exact realizable controls, three separate 720-permutation checks, zero and scaling endpoints, the eleven-row coefficient-collection certificate and a negative mixed-coefficient obstruction corroborate the printed universal proof. Normal and optimized Python produce identical exact output.
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 assistance was used in research, drafting and checking. The author is responsible for the mathematical statements and presentation. Exact computations and internal checks do not constitute external refereeing or formal proof-assistant verification.
A stable scholarly record
Cite this edition
Scott Schubr. (2026). Uniform permanent-derivative compensation on the conjugate-disjoint Gram locus (Version 1). Luminary Research Archive. https://research.luminaryoddities.com/uniform-permanent-derivative-compensation-conjugate-disjoint-gram-locus/v/1
BibTeX
@techreport{luminary_uniform_permanent_derivative_compensation_conjugate_disjoint_gram_locus_v1,
title = {Uniform permanent-derivative compensation on the conjugate-disjoint Gram locus},
author = {Scott Schubr},
year = {2026},
institution = {Luminary Research Archive},
type = {Research Article},
note = {Version 1},
url = {https://research.luminaryoddities.com/uniform-permanent-derivative-compensation-conjugate-disjoint-gram-locus/v/1}
}Loading discussion…