coupling null concept
| Definition | The case, alignment near one, in which the read subspace and the high-variance subspace coincide and the reconstruction-optimal code is also the read-preserving one. The flip's stated boundary. Chapter 4. Also coupling boundary. |
|---|---|
| Example | Queries drawn from the corpus itself inflated the busiest count from about 61 to 339.9. |
| Book | Data Mining as Observation, draft 0.2, commit f3914f0; entry id coupling-null, kind concept. |
| Status | no ledger row names this entry. Corrections: none recorded. |
| Defining equation | Book equation 4.6. |
| Assumptions and scope |
|
| Prior art | none recorded |
| Evidence | geometric-observation/chapters/ch08_value.md:108-116, lean/DataMiningAsObservation/Alignment.lean |
| Reviewed | not yet reviewed; generated 2026-09-10 from records at the commits on the provenance page. |
Equation
Book equation 4.6.
\[\kappa=\operatorname{tr}\big(\bar P_C\,\bar\Sigma_x\big)\in[0,1],\qquad \kappa\to1\ \text{is the coupling null (no flip)}.\]
Conditions
- The coupling null is the case in which the read subspace and the high-variance subspace coincide, alignment near one, so that the reconstruction-optimal code is also the read-preserving one and no flip is possible.
- It is the flip’s stated boundary, and a comparison that finds no flip there has confirmed the boundary rather than refuted the flip.
Conditions are curated in entries.toml rather than read
from a record.
Ledger
none
First stated
Volume 14, chapter 8,
geometric-observation/chapters/ch08_value.md:108-116, the
gradient-compression case, and chapter 12 for the alignment dial, DOI
10.5281/zenodo.21776291.
Measurements
| Where the book states it | Numbers, as the book’s sources table records them | Source |
|---|---|---|
| chapter 4 section 4.4 | gradient compression anti 300 of 300, flip 27 percent, coupling boundary | geometric-observation/chapters/ch08_value.md:108-116 |
Failures and corrections
none
Invariance envelope
none declared
Machine checked
lean/DataMiningAsObservation/Alignment.lean,
theorems overlap_sq_le, alignment_le_one,
alignment_nonneg,
alignment_eq_one_of_proportional,
coupling_null, at observation-data-mining f3914f0; what the
check covers is stated in the book’s appendix
C.
Used in
Data Mining as Observation chapters 4.
Related
alignment; the flip; read distortion.
See also
Ledger rows that cite the entry’s records without naming it: GO-4, GO-B-optim-D4 (034 · D4).
Sources-table rows that share a record with the entry without naming it: chapter 4 section 4.4, chapter 7 section 7.2.
Status
Generated 2026-09-10 by encyclopedia/generate.py; book
at observation-data-mining f3914f0; the commit of every record is listed
in the encyclopedia’s provenance.