Research Archive

Luminary Research ArchiveIndependent scholarship

Luminary Portal

Research Article · Preprint Mathematics

Phase-boundary reduction and low-rank compensation for permanent derivatives

Scott Schubr

Luminary Oddities

  • Mathematics
  • Linear Algebra and Matrix Inequalities
Primary subject
Mathematics
Paper type
Research Article
Manuscript stage
Preprint
Manuscript
Archived
Edition
2 · Permanent link

Overview

Abstract

We study a compensated homogeneous permanent derivative on centered Hermitian positive semidefinite matrices of order six. An exact Hermitian sum-of-squares certificate proves F_4(K)>8000(tr K)^4 for every nonzero centered complex positive semidefinite rank-one matrix, with no conjugate-disjointness assumption. We also prove a quantitative phase-boundary reduction: positivity of the actual derivative propagates from a saturated phase endpoint to its entire feasible ray, with a strictly positive reserve. Combining the two results gives F_4(K)>5040(tr K)^4 whenever rank(Re K)≤2, including unequal real spectra and singular boundaries. A complementary common-state tensor dual certifies every feasible phase over an explicit noncirculant real base and a closed neighborhood outside the previously established spectral domain. The proofs use an opposite bound for the pure quartic phase term, exact rational certificates, and complete original-permanent coefficient reconstruction.

Keywords permanent · positive semidefinite matrix · phase boundary · Hermitian sum of squares · matrix inequalities · exact certificate

Scope of the work

Uniform compensated permanent-derivative positivity on centered complex rank-one and real-part-rank-at-most-two six-row PSD matrices, with a phase-boundary reduction and additional certified phase domains.

Reproduction notes

13-page manuscript and 20 source-package members. Compile main.tex with its section files. Install requirements.txt, including SymPy 1.14.0 and python-flint 0.9.0, and run python verify.py and python -O verify.py to reconstruct the exact permanent, phase and certificate controls.

The manuscript

Read the paper

Open PDF

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 are not external refereeing or formal proof-assistant verification.

A stable scholarly record

Cite this edition

Scott Schubr. (2026). Phase-boundary reduction and low-rank compensation for permanent derivatives (Version 2). Luminary Research Archive. https://research.luminaryoddities.com/phase-boundary-reduction-low-rank-compensation-permanent-derivatives/v/2

BibTeX
@techreport{luminary_phase_boundary_reduction_low_rank_compensation_permanent_derivatives_v2,
  title = {Phase-boundary reduction and low-rank compensation for permanent derivatives},
  author = {Scott Schubr},
  year = {2026},
  institution = {Luminary Research Archive},
  type = {Research Article},
  note = {Version 2},
  url = {https://research.luminaryoddities.com/phase-boundary-reduction-low-rank-compensation-permanent-derivatives/v/2}
}

Loading discussion…