z_rung_fluxonium
plain-language theorem explainer
Fluxonium qubits receive Z-rung assignment 6 on the Recognition Science phi-ladder. Researchers deriving substrate-dependent T2 decoherence ratios under the Bosonic Identity Theorem cite this constant when calibrating cross-class predictions. The declaration is a direct numerical definition with no reduction steps.
Claim. The rung index assigned to the fluxonium qubit class equals 6.
background
The Decoherence from BIT module treats Z-rung assignments for qubit classes as hypothesis-grade empirical inputs. These integers fix the exponent in the phi-power law for T2 ratios that arises from BIT carrier coupling at frequency 5 phi. Upstream rung definitions map anchor sectors or fermion classes to integers via the Z function on charge sectors, supplying the integer ladder used here.
proof idea
The declaration is a direct constant definition setting the value to 6.
why it matters
This assignment populates the DecoherenceFromBITCert structure and is invoked by the T2 transmon-to-fluxonium ratio theorem to obtain the exact phi factor. It supplies the hypothesis-grade rung for fluxonium in the quantum computing track, connecting to the phi-ladder and eight-tick octave landmarks. The remaining open question is empirical calibration of the rung against measured T2 data.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.