Pith. sign in
module module moderate

IndisputableMonolith.Physics.SuperconductingQubitFromJCost

show as:
view Lean formalization →

This module defines superconducting qubit structures derived from the J-cost function in the Recognition Science framework. Quantum physicists applying RS to coherence models would cite these for linking phi-ladder rungs to qubit types and ratios. It consists entirely of type definitions, counts, coherence functions at rungs, and certification objects with no embedded proofs.

claimIntroduces superconducting qubit types, their enumeration count, coherence functions evaluated at rungs on the $\phi$-ladder, coherence ratios, and certificates establishing that these arise from the J-cost.

background

The module sits in the physics domain and imports the RS-native time quantum $\tau_0 = 1$ tick from Constants. It builds on the J-uniqueness $J(x) = (x + x^{-1})/2 - 1$ and the Recognition Composition Law to model qubit coherence. Sibling declarations introduce SuperconductingQubitType, qubitTypeCount, coherenceAtRung, coherenceRatio, SCQubitCert and scQubitCert as the concrete objects.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

Supplies the qubit-level objects needed to apply the J-cost and phi-ladder constructions to quantum systems. No downstream theorems are listed, but the module populates the physics section that ultimately connects to the eight-tick octave and spatial dimension forcing.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (6)