Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

FiveRowP1

Abstract

The full five-row scalar upper bound in dimensions five through eighteen.

Theorem 1.1 (All dimensions five through eighteen, both branches, every real j).

Lean statement: D5/S3/Quantum/Entanglement/AbsolutePPT/FiveRowP1.scalar_bound

Proof. Machine-checked in Lean as D5/S3/Quantum/Entanglement/AbsolutePPT/FiveRowP1.scalar_bound (✓ std3). ∎

Source. Repository-derived.

Commentary.

For n from 5 through 18 and every real j in [10,5n-15], the stated scalar hypotheses imply energy <= ((5n+8)/(5n+2)^2) times squared mass. Both tail branches are covered for each N=5n. Deriving these hypotheses from literal APPT, assigning the spectral variables, and transferring the scalar result to the physical theorem require separate arguments.

References