IndisputableMonolith.Chemistry.SuperconductingTc
The SuperconductingTc module supplies phonon-route proxies for superconducting transition temperature indexed by ladder step n. Condensed matter researchers applying the Recognition Science phi-ladder to cuprates and conventional superconductors would cite these constructions. The module consists entirely of definitions and scaling relations built atop interval arithmetic and project constants.
claimPhonon-route superconducting transition temperature proxy \(T_c(n)\) at ladder step \(n\), together with associated scaling relations and family classifications for conventional and unconventional superconductors.
background
Recognition Science places quantities on a phi-ladder whose rungs are fixed by the self-similar point phi derived from J-uniqueness. The module imports the RS time quantum from Constants and uses rigorous interval bounds on the natural logarithm supplied by the Numerics.Interval.Log module. The Compat import provides project-wide shims. The phonon route denotes the conventional electron-phonon mechanism for Tc, here expressed as a ladder proxy rather than a microscopic derivation.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the Tc proxies required for applying the mass formula and phi-ladder to chemistry. It supports classification of superconductor families and scaling relations that would connect to the eight-tick octave and alpha band in the broader framework. No downstream theorems are recorded yet.
scope and limits
- Does not derive microscopic BCS gap equations.
- Does not compute absolute Tc values for named materials.
- Does not treat non-phonon pairing mechanisms.
- Does not address finite-temperature corrections beyond the proxy.