weight_reduction_factor
plain-language theorem explainer
Weight reduction factor is the ratio of effective gravitational coupling (including external phase field gradient) to baseline gravitational coupling (without external field). Researchers modeling acoustic levitation or coherence-modified gravity in Recognition Science cite this ratio to quantify partial weight reduction. The definition is a direct algebraic ratio of the two coupling magnitudes.
Claim. For processing field potential $Φ$, external phase field $ψ$, and extended object with center-of-mass position $h$, the weight reduction factor is $w = |Φ'(h) + ψ'(h)| / |Φ'(h)|$, assuming the denominator is nonzero.
background
In the AcousticPhaseLevitation module, gravity is treated via coherence processing. A ProcessingField is a potential function $Φ : Position → ℝ$. An ExternalPhaseField adds an acoustic or phase contribution $ψ : Position → ℝ$. An ExtendedObject carries a center-of-mass position $h_{cm}$ and positive extent. Baseline gravitational coupling is defined as the absolute gradient |Φ'(h_cm)|. Effective gravitational coupling is |Φ'(h_cm) + ψ'(h_cm)|. This construction extends the CoherenceFall framework by allowing external fields to alter local processing potentials.
proof idea
The definition is a one-line wrapper that returns the ratio of effective_gravitational_coupling to baseline_gravitational_coupling, using the absolute values of the summed and single gradients at the object's center of mass.
why it matters
This definition is used by the partial_weight_reduction theorem, which shows the factor lies in [0,1] under opposing gradients. It supplies the quantitative measure of anti-coherence weight reduction inside the gravity module, linking external phase fields to modified coupling strength. The construction sits downstream of baseline and effective coupling definitions and supports analysis of levitation thresholds within the Recognition Science gravity treatment.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.