pith. sign in
module module high

IndisputableMonolith.QFT.Decoherence

show as:
view Lean formalization →

The QFT.Decoherence module supplies the reference tick τ₀ expressed in seconds together with auxiliary constants and functions for decoherence timescales. It anchors these quantities to the RS time quantum from the Constants module and supports QFT derivations by defining EnvironmentCoupling and decoherenceTime. Researchers working on Tier 2 QFT results from Recognition Science would cite the module for unit-consistent timescales. The module consists entirely of definitions and supporting functions with no theorems or proofs.

claimReference tick $\tau_0$ in seconds, together with $\text{decoherenceTime}$ as a function of mode count and environment coupling strength.

background

Recognition Science takes the fundamental time quantum τ₀ = 1 tick from the Constants module. The present module converts that quantum to seconds and introduces EnvironmentCoupling along with decoherenceTime and related gap quantities. It also imports the Flight.GravityBridge module to connect dynamical timescales.

Sibling definitions include phi, gap45, tau_planck, tau_bio, timescale_gap_log10 and gap_range. These supply the concrete numerical anchors needed for decoherence calculations inside the larger QFT module.

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 Recognition Science. It supplies the time references required for decoherence calculations that connect to the Recognition Composition Law and the eight-tick octave.

scope and limits

used by (1)

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

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (25)