pith. sign in
module module moderate

IndisputableMonolith.Physics.PhotonicsMetamaterialFromPhi

show as:
view Lean formalization →

This module defines structures and properties for photonic metamaterials derived from the golden ratio phi in Recognition Science. It includes MetamaterialType for classifying materials and functions such as bandgapFrequency and bandgapRatio for computing optical bandgaps. Physicists working on phi-based models would reference these definitions when modeling light-matter interactions. The content is purely definitional with no theorems or proofs.

claimDeclares MetamaterialType as an enumeration of metamaterial structures, metamaterialTypeCount as its cardinality, bandgapFrequency and bandgapRatio as functions of phi yielding optical gap values, and PhotonicsMetamaterialCert as the certification predicate with witness photonicsMetamaterialCert.

background

The module sits in the Physics domain and imports only the RS time quantum τ₀ = 1 tick from IndisputableMonolith.Constants. It introduces MetamaterialType together with derived quantities bandgapFrequency and bandgapRatio that express photonic bandgaps in terms of the phi-ladder. The setting assumes the Recognition Composition Law and the self-similar fixed point phi already fixed by the upstream forcing chain.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the concrete photonic objects that later physics derivations instantiate when applying the phi-ladder to wave phenomena. It fills the definitional slot between the core constants and any higher-level certification of optical properties. No downstream theorems are recorded, so the module functions as a leaf providing the vocabulary for metamaterial applications.

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (6)