QubitParams
plain-language theorem explainer
The qubit parameter structure records relaxation time, dephasing time, operating temperature, and environmental mode count for modeling decoherence under the Gap-45 threshold. Quantum information researchers applying Recognition Science to superconducting devices would cite this record when supplying inputs to timescale derivations. The declaration is a bare structure definition with four fields and no computational content.
Claim. A record holding four fields: relaxation time $t_1$ in seconds, dephasing time $t_2$ in seconds, operating temperature in kelvin, and a natural number counting coupled environmental modes.
background
The QF-009 module derives decoherence timescales from the Gap-45 threshold, the approximate $10^{45}$ ratio between Planck time and biological timescales. Coherence persists below this threshold; above it the system entangles with the environment and information is lost. The decoherence timescale is given by $τ_{decoherence} ≈ τ_0 × φ^{-N}$, where $N$ is the mode count supplied by this record.
proof idea
This is a structure definition that introduces the record type with the four named fields. No lemmas or tactics are invoked; the declaration simply packages the inputs required by the downstream typical superconducting qubit instantiation.
why it matters
The record supplies the concrete parameter values used by the typical superconducting qubit definition that follows it in the same module. It therefore anchors the Gap-45 decoherence formula to laboratory observables and connects to the eight-tick local dynamics and J-cost convexity established in the PhysicsComplexityStructure and SpectralEmergence upstream results.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.