Research Article · Preprint Mathematics
Full-phase permanent-derivative compensation under real-part spectral pinching
- 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
We prove positivity of a compensated homogeneous permanent derivative for centered complex positive semidefinite matrices of order six whose real parts satisfy a fixed spectral pinch. With trace r>0 and P=I-J/6, the closed inequalities (7r/40)P≼Re K≼(9r/40)P imply F_4(K)>487r^4. Every positive-semidefinite-allowed imaginary part is included, without a small-phase assumption. The matrices may be singular or arbitrarily ill-conditioned. The proof combines a universal quartic phase bound, certified by an exact rational sum of squares, with the complete quadratic phase coefficient, its operator-norm variations and monotonicity of actual omission coefficients. On the isotropic real base the full phase fiber has the stronger bound 24455r^4. An inherited negative mixed coefficient also excludes a class of global independent-factor tensor certificates, without refuting the repeated-state inequality.
Keywords permanent · Chollet conjecture · Gram matrix · spectral pinching · sum of squares · complex phases
Scope of the work
Uniform full-phase compensated permanent-derivative positivity on the stated real-part spectral-pinching domain of centered six-row complex PSD matrices, including singular limits.
Reproduction notes
10-page manuscript and 13 source-package members. Compile main.tex with its included sections. Python 3.10+ and its standard library run python verify.py or python -O verify.py to check the quartic sum-of-squares, quadratic phase and original permanent-coefficient identities.
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). Full-phase permanent-derivative compensation under real-part spectral pinching (Version 2). Luminary Research Archive. https://research.luminaryoddities.com/full-phase-permanent-derivative-compensation-real-part-spectral-pinching/v/2
BibTeX
@techreport{luminary_full_phase_permanent_derivative_compensation_real_part_spectral_pinching_v2,
title = {Full-phase permanent-derivative compensation under real-part spectral pinching},
author = {Scott Schubr},
year = {2026},
institution = {Luminary Research Archive},
type = {Research Article},
note = {Version 2},
url = {https://research.luminaryoddities.com/full-phase-permanent-derivative-compensation-real-part-spectral-pinching/v/2}
}Loading discussion…