Pith. sign in
module module high

IndisputableMonolith.Quantum

show as:
view Lean formalization →

Aggregates Recognition Science derivations of core quantum structure: Born-rule uniqueness from J-cost on 8-mode sectors, the eight-tick Weyl relation as the source of canonical non-commutativity, the holographic bound from ledger projection, and pure two-qubit concurrence implying positive entanglement entropy. Physicists citing RS quantum foundations land here. Import barrel only; proofs live in the four submodules.

claimThe Quantum layer collects four results: (i) uniqueness of $P=|\psi|^2$ on 8-mode sectors under normalisation, phase invariance, additivity, and two-branch $e^{-C}$ consistency; (ii) the Weyl relation $\mathrm{clock}\circ\mathrm{shift}=\omega\,(\mathrm{shift}\circ\mathrm{clock})$ on $\mathbb{Z}/8\mathbb{Z}$ with $\omega$ a primitive eighth root of unity; (iii) the holographic area bound from ledger projection; (iv) Wootters concurrence of a pure two-qubit state implies strictly positive von Neumann entanglement entropy.

background

Recognition Science derives quantum structure rather than postulating it. The eight-tick octave (forcing chain T7) supplies a discrete recognition cycle on $\mathbb{Z}/8\mathbb{Z}$. Occupation and cost-rate become the shift and clock operators of the finite Heisenberg-Weyl group; their failure to commute is the Weyl relation with a primitive 8th root of unity, so canonical non-commutativity is cyclic recognition structure, not an axiom.

The Born rule is forced as the unique probability measure on 8-mode sectors that is normalised, phase-invariant, additive over disjoint mode-sets, and consistent with the two-branch $\exp(-C)$ rule from J-cost. Separately, the holographic bound is read off ledger projection: information in a region is bounded by boundary area, not volume. Track 2.B closes the pure two-qubit chain from Wootters concurrence to strict positivity of von Neumann entanglement entropy, with no new RS assumptions.

proof idea

Aggregation module: re-exports four submodules and carries no independent proof body. BornRule derives $P=|\psi|^2$ by DFT-8 sector forcing under the listed measure axioms. EightTickWeyl establishes the Weyl relation for shift and clock on the 8-tick cycle. HolographicBound projects the ledger to obtain the area bound. EntropyConcurrence discharges the concurrence-to-entropy positivity chain for pure two-qubit amplitude matrices. Downstream consumers import this barrel rather than the individual tracks.

why it matters in Recognition Science

The root IndisputableMonolith module imports Quantum as part of the public Shape of Logic release, which exports the T-2 through T8 spine and the recognition geometry that carries observable content. Born-rule uniqueness and the eight-tick Weyl relation connect directly to T5 (J-uniqueness), T7 (eight-tick octave), and the Recognition Composition Law. The holographic bound ties ledger structure to QG-scale information limits. Track 2.B supplies a structural entanglement theorem without extra RS hypotheses. Together these close the quantum layer the monolith exposes to later physics.

scope and limits

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (4)

Lean names referenced from this declaration's body.