carrier
plain-language theorem explainer
Carrier frequency is fixed at 5φ Hz for phantom-coupled GW antennas in the RS_PAT_030 engineering track. This reference anchors the sensitivity scaling h_min(f) = h_0 · (5φ Hz / f) and appears in BIT derivations for fast radio bursts. Algebra results on the d'Alembert equation for the cost function H and on admissible flows cite the value to fix the multiplicative structure. The declaration is a direct real-number assignment that copies the cortical neuromodulation carrier.
Claim. The carrier frequency is defined by the equation $5φ$ Hz, where $φ$ is the golden ratio.
background
The Phantom-Coupled GW Antenna Sensitivity module develops engineering derivations for a phantom-cavity-coupled gravitational wave antenna under track J6. It states that the device achieves sub-Hz strain sensitivity of the form h_min(f) = h_0 · (5φ Hz / f), with 5φ Hz identified as the BIT carrier and with linear scaling above the carrier at LISA-band frequencies.
proof idea
This is a one-line definition that assigns the carrier directly to five times phi. It mirrors the upstream cortical neuromodulation device carrier without invoking lemmas or tactics.
why it matters
This definition supplies the BIT carrier frequency referenced by the d'Alembert theorem for H in CostAlgebra and by the admissibleFlows, canonicalLedgerAlgObj, LedgerAlgHom and LedgerAlgObj constructions in RecognitionCategory. It also supports fast radio burst certificates from BIT. In the Recognition Science framework the value fixes the carrier rung on the phi-ladder for engineering applications, consistent with the self-similar fixed point phi forced at T6.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.