T_min
plain-language theorem explainer
T_min(d) equals the vertex count 2^d of the d-dimensional hypercube and therefore the period of any Hamiltonian cycle on that graph. Mass-ladder derivations and temperature-ratio calculations in chemistry cite this to anchor the vacuum rung at D=3. The definition is a direct one-line reference to the standard hypercube vertex function.
Claim. Let $T(d)$ denote the number of vertices in the $d$-dimensional hypercube $Q_d$. Then $T(d) = 2^d$.
background
The module derives baseline rung integers, octave offsets, and related quantities from the combinatorics of the 3-cube $Q_3$, upgrading prior boundary assumptions to derived status using only the input $D=3$. T_min(d) is the Hamiltonian cycle period on $Q_d$, which coincides with the vertex count $V=2^d$. Upstream definitions in AlphaDerivation, PlanckScaleMatching, and PMNSCorrections each state the identical formula cube_vertices(d) := 2^d.
proof idea
The definition is a one-line alias that directly invokes the imported cube_vertices function.
why it matters
T_min supplies the period that yields the octave offset B-15 as -T_min = -8 at D=3, fixing the vacuum rung on the phi-ladder. It is used to derive nontriviality_from_cost and to define haberBoschTempCost in chemistry. This step closes the eight-tick octave (T7) from cube geometry and feeds the mass formula yardstick * phi^(rung - 8 + gap(Z)).
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.