H0mework

Low-energy series 2 · 2026-10-11

Two Minuses, One Plus, and a Bare Trace Under Oath

Ordered Closed Traces and Whole-Ball Response Curvature

两负一正,裸迹宣誓:有序闭迹与整球响应曲率

  • 6claims
  • 46Lean modules
  • 567declarations
  • ✓ all kernel checks passed

Abstract

With the identity matrix on the stand, the bare trace reports 252252 and the originally normalized prepared state reports 11: the first evaluates the trace over the full matter carrier, the second the action within the fixed preparation. For the fixed S01/dx1S_{01}/dx^1 external source with the co-directional readout operator, zero output momentum, double Laplace parameters z=w=6c(1−i)z=w=6c(1-i), the same preparation, and an incoming/observing two-ball window of radius BB, we prove that in the complete five-term response both the uncentred (raw) and the centred (connected) quadratic coefficient tensors have two negative and one positive eigenvalue. Here “curvature” means the quadratic coefficient after the non-analytic linear term of the sharp window is removed, not the Hessian of the complete response at the origin.

Read the full abstract

Two branches start from the same action containing an independent dual matter field; that action, its background, matter carrier, and constants are generated from common source data with no fitted parameter. Under the P6P_6 grading, the closed trace of any finite admissible ordered gauge-propagation word equals the closed trace of its block-diagonal part; the prescribed one-directional scalar-insertion closed trace vanishes, and so does every open chain with an arbitrary admissible propagation word between two co-directional insertions. The prepared state, the boundary weight KK and the complete second-quantized word give different evaluations; the actual return operator produces a nonzero reading, while an intermediate preparation projection erases it. The field-equation branch passes from 289289 fields through auxiliary, Ward and symmetry reductions to a 103103-field system, counts matter feedback once, and constructs a rational 5555-dimensional bosonic kernel together with field/source recovery maps. The matter block at the origin has rank 4242; keeping six light matter directions yields a 6161-dimensional second-order system whose constant term has rank 5656, and its five-dimensional light kernel gives both linear and quadratic momentum time scales and is read out as propagation through the dynamical g00g_{00} source.

The two quantum source legs, the readout contact term and the two field propagation legs form the complete five-term response. The non-analytic linear term of the true ball intersection, the full complex Gram matrix, implicit root derivatives, full-direction integrals over paired frames and outward-rounded rational remainders together determine the quadratic tensor. The raw three-axis coefficients lie in [−1.355200,−1.309214][-1.355200,-1.309214], [2.140271,2.186257][2.140271,2.186257] and [−1.742600,−1.696614][-1.742600,-1.696614] times 10−2010^{-20} in the units of the original action; a uniform bound on all mixed terms makes the inertia statement apply to the complete tensor. The mean term is kept separately; its second-axis interval contains zero.

The actual Fourier Hessian of the same original action is also identified with the complete 289-field matrix. Five origin directions and a 98-dimensional coordinate complement generate an exact Schur kernel for all four complex momenta, a source-generated invertibility radius and a strict cubic remainder. The actual ordered current reconstructs the denominator-cleared whole field, retaining contact and all nine null directions. For another original configuration preparation, the complete ordered five-factor word, its actual Noether contact and four Fourier keys generate a real-field half-axis response operator. A source-generated created-unit/background difference then observes the same history: within its positive source-generated nonlinear time interval, it produces the full 289×289289\times289 quantum tensor ΠT\Pi_T, and the finite integral of the mother-Euler amplitude derivative is exactly [WTH289−ΠT]a[W_T H_{289}-\Pi_T]a. Coincident clocks give WT=TW_T=T; the complete linearized half-axis retains its own growth condition. The same original Green returns this preparation's response to all fields, with conditions stated separately from those of the specified two-ball window.

Claims and proofs

Every claim is registered in the claim map. Open one to see its statement, where it appears in the paper, and the Lean modules and replay programs that prove it. Statements registered in Chinese are shown in English translation.

In reading order. Black: proved in Lean, kernel check passed; grey: supported by replay programs, no Lean declarations.

  1. Q1Closed trace of any finite admissible ordered Dirac word and the one-directional scalar§3
  2. Q2Original preparation and independent-dual readback of the complete Fock word§4
  3. Q3One matter feedback, the five-dimensional light kernel and original field/source recovery§5

    Location: §5; Appendix B✓ Kernel check passed

    Lean modules · 12

    Replay programs and evidence · 8

  4. Q4Complete five terms and full-tensor inertia for the specified two-ball window§6

    Location: §6; §7; §8; §9; §10; §11; Appendices C–E

    Replay programs and evidence · 4

  5. Q5Complete four-momentum Schur complement of the same original action and actual denominator-cleared whole-field recovery§12.1

    Location: §12.1; §12.2; §12.3; §12.4; §12.5; §12.6✓ Kernel check passed

    Lean modules · 4

  6. Q6Half-axis of the genuine Noether ordered preparation, the actual nonlinear full-289 quantum window and original-field return§13.1

    Location: §13.1; §13.2; §13.3; §13.4✓ Kernel check passed

    Lean modules · 23

Check it yourself

Run the entry check from the repository root:

python3 tools/edition_release.py --edition low-energy verify-map

Building the Lean proofs and the full acceptance run: Reproduction guide