Glossary
K4+
Cycle subspace+
Cut subspace+
Hodge decomposition+
T_d symmetry+
Claim class+
κ (condition number)+
Truth kernel+
Numeric plant+
Edge driver+
Vertex coil+
Vertex electrode+
Invariants
exactHodge Decomposition
I = I_cycle + I_cut, M^T G = 0

Edge currents split exactly into field-producing cycles and field-free cuts. This is an algebraic identity on K4, not an approximation.

exactF₀·G Orthogonality
F₀ · G = 0

The centroid field operator is orthogonal to the cut projector under T_d symmetry. Guaranteed for regular tetrahedra.

exactCentroid κ²
κ²(centroid) = 1

Vertex coil condition number is exactly 1 at the centroid — perfect conditioning, no numerical loss.

exactFace κ²
κ²(face center) = 32/5

Condition degrades to 6.4 at face centers. Still well-conditioned for control.

exactEdge Midpoint κ²
κ²(edge midpoint) = 108

Severe conditioning at edge midpoints. Vertex coils lose 2+ decades of precision here.

numericalBundle → Filament Limit
lim(r→0) B_bundle = B_filament

Bundle model recovers filament model exactly as wire radius vanishes. Numerical, not algebraic.

conjecturalLorentz Force Coupling
F_L = J × B

Cross-product of induced current density and applied field. Conjectural regime for K4 geometry.

Theorems & Claims
AprovenHodge Cycle–Cut Decomposition on K4

The 6-dimensional edge current space decomposes exactly as R⁶ = Cycle₃ ⊕ Cut₃ under the graph Laplacian.

Algebraic identity. Holds for any edge weights, any geometry.
GprovenF₀·G Orthogonality Under T_d

The centroid field matrix F₀ annihilates the cut projector G when the tetrahedron has full T_d symmetry.

Depends on: thm-hodge
Requires regular tetrahedron. Breaks under deformation.
GprovenVertex Coil κ² Exact Values

At the centroid κ²=1, at face centers κ²=32/5, at edge midpoints κ²=108. All exact under T_d.

Depends on: thm-f0g
Key result for vertex-coil actuator placement strategy.
G*derivedAC Circular Orbit Existence

For each cycle mode there exists a transverse plane supporting a rotating B-field orbit at the drive frequency.

Depends on: thm-hodge, thm-f0g
Each configuration has its own transverse plane — not universal [1,1,1].
MderivedBundle Model Filament Convergence

The wire-bundle Biot-Savart integral converges pointwise to the filament result as bundle radius r → 0.

Verified numerically to 10⁻¹² relative error.
HhypothesisMHD Control Regime Existence

There exist edge current + vertex electrode configurations that produce stable Lorentz-driven flow in conducting fluid filling the tetrahedron.

Depends on: thm-hodge
No proof path identified. Requires coupling E-field model to Navier-Stokes.