Research Article · Preprint Mathematics
Variance cancellation proves rank-one compensation on the six-row conjugate-disjoint 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 positive bound for an actual compensated permanent derivative on the entire rank-one conjugate-disjoint locus of centered complex positive semidefinite matrices of order six. With trace r, the bound is [1248 − (1672/3)√2]r⁴ > 459r⁴ for nonzero matrices, without equal-modulus or phase restrictions. The proof derives an exact paired-moment identity and cancels its difficult signed cubic moment against ten times the same ordinary omission variance. Centered projection and moment bounds then pay the remainder. We also prove the sharp bound (14688 − 208√2)r⁴ on the full two-direction cube-root family, including unequal norms, arbitrary complex overlaps and singular endpoints, together with a sharp spectrum-resolved variance tradeoff. The earlier explicit Lipschitz estimate gives full-dimensional neighborhoods and quantitative exclusion of the rank-one boundary from the remaining rank-two problem. Generic nonflat rank-two compensation, the other derivative blocks and the full Chollet conjecture remain open.
Keywords permanent · variance cancellation · positive semidefinite matrix · conjugate-disjoint Gram locus · Fischer norm · rank-one compensation
Scope of the work
Uniform lower bound for the auxiliary derivative F₄ on centered PSD6 rank-one K with K K̄ = 0, including arbitrary phases, unequal moduli and zero rows. Sharp unequal-complex-trine bound and equality; explicit neighborhood corollaries. The rank-one constant is conservative. Generic rank-two, moderate-overlap, higher-block and full Chollet conclusions remain open.
Reproduction notes
The eight-member supplementary package contains the PDF, complete editable LaTeX source, a standalone standard-library Python verifier, exact output, reader instructions, citation metadata and a SHA-256 manifest. The verifier checks seven coefficient-identification fixtures, 29 feasible trine controls, ten rank-one controls and three separate 720-permutation checks. Universal partition, symmetry and cancellation proofs are printed in the manuscript; finite controls corroborate arithmetic.
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. The 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). Variance cancellation proves rank-one compensation on the six-row conjugate-disjoint locus (Version 1). Luminary Research Archive. https://research.luminaryoddities.com/variance-cancellation-rank-one-compensation-six-row-conjugate-disjoint-locus/v/1
BibTeX
@techreport{luminary_variance_cancellation_rank_one_compensation_six_row_conjugate_disjoint_locus_v1,
title = {Variance cancellation proves rank-one compensation on the six-row conjugate-disjoint locus},
author = {Scott Schubr},
year = {2026},
institution = {Luminary Research Archive},
type = {Research Article},
note = {Version 1},
url = {https://research.luminaryoddities.com/variance-cancellation-rank-one-compensation-six-row-conjugate-disjoint-locus/v/1}
}Loading discussion…