module module high

`IndisputableMonolith.QFT.Decoherence`

The QFT.Decoherence module supplies reference timescales and decoherence functions for Recognition Science derivations. Researchers building QFT from the RS framework cite it to quantify environment-induced loss of coherence. It imports the fundamental tick from Constants and dynamic scales from GravityBridge, then defines EnvironmentCoupling together with lemmas showing decoherenceTime decreases with modes and coupling strength.

claimThe module defines the reference tick $τ_0$ in seconds, the golden ratio $φ$, gap parameters such as gap45, $τ_{Planck}$, and $τ_{bio}$, the environment coupling strength, and the decoherence time $τ_d$ that decreases with the number of modes and with coupling; it also supplies the predicate isQuantum distinguishing quantum regimes.

background

Recognition Science takes the fundamental time quantum as the tick $τ_0 = 1$ (RS-native) from the Constants module. This module converts that tick to seconds via tau0_seconds and introduces auxiliary scales (gap45, tau_planck, tau_bio, timescale_gap_log10, gap_range) that locate different physical regimes on the phi-ladder. EnvironmentCoupling is introduced as the interaction strength between a system and its surroundings, while decoherenceTime is expressed in terms of that coupling and the number of modes.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module feeds the parent QFT module, which assembles Tier 2 derivations of quantum field theory fundamentals from the Recognition Science framework. It supplies the decoherence machinery that connects the imported Flight.GravityBridge (with its T_dyn for rotating lab devices) to the loss of quantum coherence, closing one link in the chain from classical ILG weights to QFT observables.

scope and limits

Does not derive a master equation for the density matrix evolution.
Does not compute numerical decoherence rates for concrete laboratory systems.
Does not incorporate relativistic or gravitational corrections beyond the imported bridge.
Does not define creation or annihilation operators for the QFT fields.

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

IndisputableMonolith.QFT module_import

depends on (2)

Lean names referenced from this declaration's body.

IndisputableMonolith.Constants module_import
IndisputableMonolith.Flight.GravityBridge module_import

declarations in this module (25)

def tau0_seconds L55
def phi L58
def gap45 L61
def tau_planck L64
def tau_bio L67
def timescale_gap_log10 L73
theorem gap_range L76
structure EnvironmentCoupling L83
def decoherenceTime L93
theorem decoherence_decreases_with_modes L97
theorem decoherence_decreases_with_coupling L117
def isQuantum L141
def isClassical L145
theorem quantum_classical_dichotomy L149
def criticalModes L159
theorem critical_modes_specification L167
structure QubitParams L177
def typicalSCQubit L188
def predictedQubitDecoherence L196
def gap45CrossoverModes L204
def gap45CrossoverApprox L215
theorem gap45_crossover_range L218
inductive DecoherenceStrategy L226
def strategyImprovement L234
structure DecoherenceFalsifier L247