Skip to content

Maxwell.md

Latest commit

 

History

History
113 lines (68 loc) · 7.92 KB

Maxwell.md

File metadata and controls

113 lines (68 loc) · 7.92 KB
Raw

Maxwell's Equations from Zero Free Action

Maxwell's equations are not postulated in QLF — they emerge from the 8-twist ZFA algebra in the continuum limit. This document maps each equation to its combinatorial origin and provides machine-verified or numerically confirmed anchors for each claim.

See Experimental_Consistency.md for the full derivation with force law and energy accounting. See maxwell_qlf.py for numerical confirmation.

Field Identification

The 8-twist alphabet {^, v, <, >, /, \, +, −} decomposes into three spatial axis pairs and one gauge pair:

Twist pair Direction Field component
> / < x-axis B_x, E_x
^ / v y-axis B_y, E_y
/ / \ z-axis B_z, E_z
+ / − gauge (temporal) charge density ρ

For a history h, the discrete field components are:

B_x(h) = count(>) − count(<)    [right minus left]
B_y(h) = count(^) − count(v)    [up minus down]
B_z(h) = count(/) − count(\)    [slash minus bslash]

charge(h) = count(+) − count(−) [gauge imbalance = net charge]

The E-field is the transverse momentum exchange rate — defined via the time-sequence of ZFA events rather than a single event. In the continuum limit, E and B satisfy the wave equation with propagation speed c by construction (see Experimental_Consistency.md §Wave Equation).

The single-history B(h) definitions above are the closure-level projection of a broader structural reading: macroscopically, B is the spatial-gradient signature of the local vacuum's spin-orientation distribution. The spatial-dynamics reframe — like-spin pairs expanding space via Pauli exclusion, opposite-spin pairs contracting it via singlet annihilation, B-field as the directional gradient — is in Magnetism_Spatial_Dynamics.md.

Charge conjugation = viewing from behind. The signed gauge count charge(h) = count(+) − count(−) negates under the antiparticle map (conjugate-and-reverse) — a positron read from behind carries the electron's charge — machine-verified as chiralCharge_conj / C_eq_motional_reversal in Spin_QLF.md / lean/QLF_Spin.lean, where charge co-negates with the perpendicular-spin chirality (the handedness is the charge). So the electric axis (+−) is spin's chiral component seen from the other side.

Equation 1: ∇·B = 0 (No Magnetic Monopoles)

ZFA origin: isZFAClosed requires every individual twist count to be zero. Therefore B_x = B_y = B_z = 0 for any ZFA-closed event, and their divergence ∇·B = B_x + B_y + B_z vanishes identically.

Machine-verified: no_magnetic_monopoles — lean/ZFAEventDynamics.lean

theorem no_magnetic_monopoles (e : ZFAEvent) : divB e.history = 0

Every ZFA-closed event has zero magnetic divergence. Magnetic monopoles are algebraically impossible — they would require an unbalanced spatial twist count, which isZFAClosed forbids by construction.

Numerical confirmation: maxwell_qlf.py Report 1 — divB = 0 verified across 10,000 randomly generated ZFA-closed events.

Equation 2: ∇·E = ρ/ε₀ (Gauss's Law for Electricity)

ZFA origin: The gauge pair +/− carries net charge. In the continuum limit, a local gauge imbalance charge(h) = count(+) − count(−) acts as a source for the transverse polarity field (E). The constant ε₀ emerges from the 8-fold twist orthogonality (see constants_mapper.py).

Discrete statement: For a history with gauge imbalance q, the divergence of the local E-field is proportional to q.

Numerical confirmation: maxwell_qlf.py Report 2 — E-field divergence tracks gauge imbalance with constant ratio ε₀.

Equation 3: ∇×E = −∂B/∂t (Faraday's Law)

ZFA origin: Spatial twists propagate at speed c by construction (spatial free action vs. gauge/local directions). A changing population of spatial twist threads induces a curl in the transverse polarity image. The factor of −1 follows from Hermitian conjugation reversing orientation.

Continuum limit argument: As spatial imbalance changes across a surface, the boundary integral of E equals the negative rate of change of magnetic flux through that surface. This is the direct thread-counting analog of Faraday's law.

Numerical confirmation: maxwell_qlf.py Report 3 — 1D wave simulation shows curl(E) ≈ −∂B/∂t to within numerical precision.

Equation 4: ∇×B = μ₀J + μ₀ε₀ ∂E/∂t (Ampère-Maxwell Law)

ZFA origin:

  • The conduction current J is the net flow velocity of gauge-imbalanced threads.
  • The displacement term arises from time-varying transverse polarity (changing E threads).
  • The constants μ₀ and ε₀ satisfy c = 1/√(μ₀ε₀) automatically from the ZFA propagation speed.

Numerical confirmation: maxwell_qlf.py Report 4 — wave propagation speed matches c = 1/√(μ₀ε₀) to 4 significant figures.

Lean Status

Equation Status Lean anchor
∇·B = 0 Machine-verified no_magnetic_monopoles — ZFAEventDynamics.lean
∇·E = ρ/ε₀ Provable (discrete form) gauss_electric (discrete gauge-imbalance count)
∇×E = −∂B/∂t Machine-verified (conservation form) faraday_integral / faraday_closed_cycle — QLF_MaxwellCurl.lean
∇×B = μ₀J + μ₀ε₀∂E/∂t Machine-verified (conservation form) ampere_integral — QLF_MaxwellCurl.lean

The homogeneous equation (∇·B = 0) is purely algebraic; ∇·E = ρ/ε₀ is the discrete gauge-imbalance count. The curl laws are now anchored on the time-indexed event sequence (QLF_MaxwellCurl.lean, issue #93): the closure process behind the Heaviside curl form is flux-conservation telescoping — Faraday's boundary EMF telescopes to minus the net magnetic-flux change (faraday_integral, the Stokes/integral form), so a closed magnetic cycle induces zero net EMF (faraday_closed_cycle, Faraday as a ZFA closure); Ampère–Maxwell is the dual with an enclosed source current plus the displacement current (ampere_integral). The full 3-D vector ∇× with Stokes' theorem on the synthesized metric is the continuum rendering of this discrete conservation.

Why This Matters

Standard physics postulates Maxwell's equations. QLF derives them as consequences of:

  1. The 8-twist alphabet (the only logical structure needed)
  2. ZFA balance (the sole selection principle)
  3. Hermitian closure (self-adjointness of physical processes)

No additional constants, fields, or gauge principles are introduced. The constants c, ε₀, μ₀ emerge from the ZFA propagation geometry and the 8-fold orthogonality of the twist algebra.

This places electromagnetism within the same derivational chain as gravity (Gravity.md), spacetime synthesis (SpaceTime.md), and the Riemann symmetry condition (Riemann-Conjecture-Proof.md) — all consequences of ZFA, none postulated separately.

See Lagrangian_Formulation.md for the variational form (ℒ = 0) that unifies all of these.

See Conservation.md for charge conservation as the gauge-swap (+ ↔ −) symmetry of the 8-twist algebra — Noether's theorem applied to the discrete QLF case.

See also: Collective_Electrodynamics.md — the photon as a joint emitter-absorber ZFA handshake (transactional, relational, not a projectile); Delayed_Choice_Eraser.md — applies the joint-ZFA reading to the canonical retrocausality-puzzle experiment and dissolves it; Electricity.md — Ohm's law, resistance as ZFA closure latency, current↔B via Ampère, and R_K = Z₀/2α, with the curl law ∇×E = −∂B/∂t realized on the substrate twist field.