pith. sign in
module module high

IndisputableMonolith.Physics.PlasmonicModesFromPhiLadder

show as:
view Lean formalization →

The module defines structures for plasmonic modes built from the Recognition Science phi-ladder. Condensed matter and plasma physicists working in RS-native units cite it for mode enumeration and frequency ratios. It consists entirely of definitions and basic properties with no theorems or proofs.

claimDefines the type of plasmonic mode, the count of such modes, the plasmon frequency function, the frequency ratio map, the positivity predicate on frequencies, the mode certificate type, and its constructor, all parameterized by the RS time quantum $τ_0$.

background

The module sits inside the Recognition Science framework and imports the fundamental time quantum $τ_0 = 1$ tick from Constants. It introduces the phi-ladder as the generator of discrete frequencies for electromagnetic modes, with PlasmonicMode as the central structure, plasmonicMode_count for enumeration, frequency_ratio for relative scaling, and PlasmonicModeCert for validity. The setting uses the self-similar fixed point $φ$ to produce frequencies that remain consistent with the eight-tick octave and three-dimensional spatial structure of the theory.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the base objects that parent theorems in the Recognition Science physics layer will invoke when deriving electromagnetic predictions from the forcing chain (T5–T8). It directly supports calculations that link the phi-ladder to observable resonances while remaining inside the RS-native constants.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (7)