# MRE.md: Maximal Relative Entropy via 1/2-Spin ZFA Closures

**Maximal Relative Entropy in the Quantum Logical Framework (QLF)** — *the spin-1/2 Zero Free Action (ZFA) closure as the entropy-maximizing logical atom of constructive possibilist synthesis.*

## Abstract

In QLF every physical event is a **ZFA closure** — a topological pruning of the possibility tree that leaves zero unresolved free action. The **spin-1/2 ZFA** is the minimal, indivisible such closure: a single Hermitian-conjugate-paired 4-twist loop that folds to a scalar in the Pauli group. This document shows that a 1/2-spin ZFA achieves the **maximum information gain per logical fold** under the ZFA constraint, where information gain is measured as KL divergence between the posterior (the realized history) and the prior (the uniform distribution over admissible branches).

This per-fold maximum is why 1/2-spin is the foundational building block of fermions, fluxoids, and the Zeno-pruned Ruliad in QuantumOS. It unifies the topological embedding of spin-1/2 (the 720° double cover of SO(3)), the observer-relative nature of entropy, and the Hermitian conjugacy required by ZFA.

## 1. Intuition

- Before closure, an unresolved history in the [8-twist alphabet](./eight-twists-sufficiency.md) encodes an **exponentially branching possibility tree**.
- The ZFA constraint forces each event to be a **Hermitian-conjugate pair**: every twist must close with its conjugate (`bra_ket_always_balanced`, [BraKetRhoQuCalc.lean](./lean/BraKetRhoQuCalc.lean)). The minimal such closure is a **binary partition** — one twist plus its conjugate. Higher-multiplicity partitions decompose into compositions of binary closures (`decoherence_impossibility`).
- A binary partition has at most log 2 nats (= 1 bit) of information gain, and saturates the bound when the partition is exactly 50/50.
- Therefore the 1/2-spin closure is the unique event-shape that simultaneously **satisfies ZFA** (Hermitian pair) and **saturates the information-gain bound** per event. Anything coarser is a composite of 1/2-spin atoms; anything finer is forbidden by the Hermitian-pair structure.

This matches the standard fact that a qubit in the maximally mixed state has the highest von Neumann entropy $S = \log 2$ of any two-level system — here derived constructively from the 8-twist algebra and the Hermitian-pair closure rule.

## 2. Formalization

### 2.1 Possibility tree and KL divergence

Let $\mathcal{T}$ be the pre-closure possibility tree generated by unresolved twists. The prior $p$ is the uniform distribution over the $N$ admissible branches at the current causal horizon.

A 1/2-spin ZFA closure forms a Hermitian pair $(t, t^\dagger)$ and partitions $\mathcal{T}$ into two equally-sized sub-trees, with $|\mathcal{T}_+| = |\mathcal{T}_-| = N/2$:

$$\mathcal{T} = \mathcal{T}_+ \cup \mathcal{T}_-$$

The posterior $q$ after the closure is uniform over the *realized* sub-tree (say $\mathcal{T}_+$) and zero elsewhere. The information gain is the KL divergence from posterior to prior:

$$D_{\text{KL}}(q \mathbin{\Vert} p) = \sum_{x \in \mathcal{T}_+} q(x) \ln \frac{q(x)}{p(x)} = \ln \frac{2/N}{1/N} = \log 2$$

(Note the direction: $D_{\text{KL}}(q \mathbin{\Vert} p)$, not $D_{\text{KL}}(p \mathbin{\Vert} q)$ — the latter would diverge because $q$ is zero on $\mathcal{T}_-$ while $p$ is not. Equivalently, $\log 2$ is the **surprise** $-\log p(\text{realized branch}) = -\log(1/2)$.)

Any partition into unequal pieces of sizes $\alpha N$ and $(1-\alpha) N$ with $\alpha \neq 1/2$ yields strictly smaller information gain on average:

$$\mathbb{E}[D_{\text{KL}}] = H(\alpha) = -\alpha \log \alpha - (1-\alpha) \log(1-\alpha) \leq \log 2$$

with equality only at $\alpha = 1/2$. The 50/50 binary closure is the *unique* shape that saturates per-event information gain under the ZFA Hermitian-pair constraint.

### 2.2 Pauli closure of the 1/2-spin atom

The minimal Hermitian pair in the 8-twist alphabet is any of the four base loops:

| Loop | Pauli fold |
|---|---|
| `^v` | $\sigma_y \cdot (-\sigma_y) = -I$ |
| `<>` | $-\sigma_x \cdot \sigma_x = -I$ |
| `/\` | $\sigma_z \cdot (-\sigma_z) = -I$ |
| `+-` | $I \cdot (-I) = -I$ |

Each is a 2-twist length-2 ZFA-closed admissible sequence. Each is structurally a bra-ket pair (count-balanced, the abelian face of half-spin closure) AND folds to $-I$ in the Pauli scalar group (the non-abelian SU(2)-scalar-return face). It folds to $-I$ *because* it is a half-spin closure — the count-balance and Pauli-closure readings are not independent witnesses, they are two algebraic faces of the same structure (see [Experimental_Consistency.md §2.1](./Experimental_Consistency.md) and [HALF-SPIN-ZFA-EMBEDDING.md §3a](./HALF-SPIN-ZFA-EMBEDDING.md)). The longer 4-twist orthogonal loops `^<v>`, `<^>v`, `^/v\`, etc. — also half-spin-closed in both faces — are *composite* 1/2-spin atoms (two binary closures composed in parallel).

In QuCalc notation (see [QuCalc.md](./QuCalc.md) and [BraKetRhoQuCalc.md](./BraKetRhoQuCalc.md)):

$$\text{ZFA}_{1/2} \equiv \text{fluxoid}(t, t^\dagger) \quad \mapsto \quad \rho \to \tfrac{1}{2} I$$

where $\rho$ is the reduced density matrix after the minimal loop. The maximally mixed $\rho = I/2$ has von Neumann entropy $S(\rho) = -\mathrm{Tr}(\rho \ln \rho) = \log 2$.

### 2.3 Topological equivalence (SU(2) and the 720° spinor)

From [HALF-SPIN-ZFA-EMBEDDING.md](./HALF-SPIN-ZFA-EMBEDDING.md):
- The embedding $H_{\text{QLF}} \longrightarrow H_{\text{ZFA}}$ labels each irreducible spin-1/2 carrier by a single 1/2-spin atom.
- SU(2) is the double cover of SO(3): a 360° rotation in SO(3) corresponds to a 720° loop in SU(2). A single 1/2-spin ZFA atom realizes one half-turn of that double cover — folding to $-I$ rather than $+I$ in the Pauli group, exactly the $-1$ phase a spin-1/2 fermion picks up under 360° rotation. (Two atoms composed in parallel fold to $+I$, restoring the original frame at 720°.)
- Irreducibility: every Pauli-closed history of length $\geq 2$ decomposes into 1/2-spin atoms by associativity of the matrix product (`decoherence_impossibility`).

### 2.4 Observer-relative ledger

As defined in [Relative_Entropy.md](./Relative_Entropy.md) and [Entropy.md](./Entropy.md):
- Entropy is the *combinatoric volume of unresolved logical debt* across a causal horizon.
- A 1/2-spin ZFA closure minimizes residual debt while maximizing the debt *resolved per event*.
- Hermitian conjugacy (particle ↔ antiparticle handshake) yields zero residual KL divergence after the loop closes, confirming the prune was maximal.

## 3. Justification

### Geometric / Topological
- 1/2-spin is the smallest closed fluxoid (1 fluxoid ≡ 1 ZFA loop) — see [Collective_Electrodynamics.md](./Collective_Electrodynamics.md).
- The Hermitian-pair constraint allows only binary closures at the primitive level; higher-spin structures are explicit parallel compositions of 1/2-spin atoms.

### Information-Theoretic
- Matches the variational principle in [Lagrangian_Formulation.md](./Lagrangian_Formulation.md): $\mathcal{L} = 0$ selects histories that maximize information gain per event under the ZFA constraint.
- Zeno pruning in QuantumOS ([QuantumOS.md](./QuantumOS.md), [Zeno_Effect.md](./Zeno_Effect.md)) operates at 1/2-spin granularity to keep each prune-step at maximum information yield.

### Empirical / Experimental
- The 720° spinor statistics of fermions correspond to the $-I$ fold of a single 1/2-spin ZFA atom: a fermion picks up a $-1$ phase under 360° rotation, restored only after 720°.
- The Bekenstein–Hawking area law (one nat of entropy per ~4 Planck areas) is consistent with stacking 1/2-spin atoms on the horizon surface; see [Entropy.md](./Entropy.md) for the full account — promoting this from consistency to a derivation is open work.

## 4. Links to Implementation

- **Lean 4**: `lean/QLF_QuCalc.lean` and `lean/QLF_Spectral.lean` already contain ZFA symmetry and Hermitian modes. The path to a Lean-verified `max_relative_entropy` lemma is to formalize the binary-partition information-gain bound: given an admissible Hermitian closure of length $2k$, the realized history selects one of $\binom{2k}{k}$ symmetric strings; the KL divergence from posterior to prior is $\log \binom{2k}{k}$, with equality across all Pauli-closed histories at the same length (because each is equally probable under the uniform prior). The 1/2-spin atom is the $k=1$ case, where $\binom{2}{1} = 2$ and $D_\text{KL} = \log 2$.
- **Python**: `path_integral.py` and `constants_mapper.py` already enumerate ZFA-closed histories; extending them to compute KL divergence on each 1/2-spin closure is a few lines. `pauli_fold` from `twist_core.py` confirms each candidate atom folds to $\pm I$.
- **quantum-os kernel**: The browser app's Zeno pruning operates over the 1/2-spin atoms generated by `from_entropy`'s rejection sampling — each token is a Pauli-closed composition. See [QuantumOS.md](./QuantumOS.md).

## 5. References

- Internal:
  - [HALF-SPIN-ZFA-EMBEDDING.md](./HALF-SPIN-ZFA-EMBEDDING.md) — foundational embedding
  - [Experimental_Consistency.md](./Experimental_Consistency.md) — §2.1 on the count-balance ∧ Pauli-closure ZFA conjunction
  - [Relative_Entropy.md](./Relative_Entropy.md) — observer ledger
  - [Entropy.md](./Entropy.md) — von Neumann + area law
  - [TheBigProblem.md](./TheBigProblem.md) — ZFA as origin
  - [QuCalc.md](./QuCalc.md) & [BraKetRhoQuCalc.md](./BraKetRhoQuCalc.md) — notation
  - [Lagrangian_Formulation.md](./Lagrangian_Formulation.md) — Σ₈ algebra, $\mathcal{L} = 0$ variational principle
  - [QuantumOS.md](./QuantumOS.md) — pruning & Ruliad

- External / standard:
  - Kullback, S. & Leibler, R.A. (1951). *On Information and Sufficiency*.
  - von Neumann entropy for qubits — standard quantum information.
  - Carver Mead, *Collective Electrodynamics* — fluxoid as phase coupling.
  - Bekenstein, J.D. (1973). *Black Holes and Entropy*. Hawking, S.W. (1975). *Particle Creation by Black Holes*.

---

**Next steps** (suggested):
1. Add a Lean theorem `max_relative_entropy_at_half_spin` capturing $D_\text{KL} = \log 2$ saturation at $k = 1$ under uniform prior over symmetric strings. *Status:* both halves now Lean-verified in [`lean/QLF_FreeEnergy.lean`](lean/QLF_FreeEnergy.lean) — `binary_kl_delta_uniform` (the saturation: delta-on-uniform = $\log 2$) and `binary_kl_uniform_lt_log_two` (the strict-inequality bound: every non-delta Bernoulli(q) recognition density under the uniform binary prior achieves strictly less than $\log 2$). Together they say the half-spin ZFA closure event uniquely maximises per-event information at exactly $\log 2$ nats. The remaining open piece is the generalisation to composite $k > 1$ atoms — showing that larger atoms have strictly lower per-event information than the $k = 1$ case.
2. Extend `particles.py` or `path_integral.py` to log KL divergence on each 1/2-spin closure during BFS enumeration.
3. Link this file from [README.md](./README.md) and [Philosophy.md](./Philosophy.md).

**See also:** [Hierarchical_Control.md](./Hierarchical_Control.md) — uses the $\log 2$-per-atom result here as the per-event quantum of free-energy minimization in deriving Friston's free energy principle from ZFA; [ReverseMathematics.md §4](./ReverseMathematics.md) — uses the §2.1 binary-partition saturation as the RCA₀-statable principle that structurally motivates the WKL₀ bridge axiom in the QLF↔ζ Riemann reduction; [Active_Inference_Mathematics.md](./Active_Inference_Mathematics.md) — reads the §2.1 log 2 quantum as the single rule of a mathematical system with active inference built into its foundation; [Information_Energy_Equivalence.md](./Information_Energy_Equivalence.md) — pairs the per-event $\log 2$ information quantum with the per-event $\hbar\omega$ energy quantum to derive the Wheeler-Fields equivalence $\hbar\omega$ = 1 bit at frequency $\omega$ from QLF first principles; [VacuumEnergy.md §6](./VacuumEnergy.md) — promotes the per-event $\log 2$ to the **alignment quantum** of the vacuum-alignment TOE-completing principle, with ZFA as the alignment condition and active inference as the alignment dynamics.