pith. sign in
module module high

IndisputableMonolith.QFT.VacuumStability

show as:
view Lean formalization →

The QFT.VacuumStability module shows that a unique global minimum of the cost function precludes vacuum metastability. Researchers deriving QFT from the Recognition Science forcing chain cite it to confirm stability once J-uniqueness is established. The module's content rests on the logical observation that decay requires at least two distinct minima.

claimIf the cost function admits a unique global minimizer, then no lower vacuum exists for decay, because metastability requires at least two distinct local minima.

background

Recognition Science identifies the vacuum with the global minimum of the J-cost function obtained from the T0-T8 forcing chain. The module imports the RS time quantum τ₀ = 1 tick from Constants and applies uniqueness of this minimum to QFT.

The supplied module comment states the core implication directly: "In any theory with a unique global minimum (unique cost minimizer), there is no 'lower' vacuum to decay into. Metastability requires at least two distinct local minima; uniqueness forbids this."

proof idea

This module collects theorems on vacuum stability from uniqueness; it contains no single proof body at the module level.

why it matters in Recognition Science

The module supplies the stability guarantee needed for any RS-derived QFT construction that invokes J-uniqueness (T5). It feeds the structural results listed among its siblings and supports the claim that the RS vacuum cannot decay.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (5)