Observable detail · STRUCT
Casimir invariant 31 (\(\sum d_j = 31\))
| Prediction / mechanism | Exact: \(\sum_{j=1}^{31} d_j = 31\) on the 600-cell vertex partition; identity verified to machine precision. |
|---|---|
| Measured | Computational verification: 31.005 (rounded to 31). |
| Residual / status | HIT — exact identity |
| Status | HIT |
| Source paper | DCT-SPI-01 |
Mechanism
Sum of vertex valences over the 31 conjugacy classes of the binary icosahedral group \(2I\); computed by partition_function_verification.py.
Derivation
The derivation chain follows the cluster paper DCT-SPI-01 and reduces to the canonical DCT constants (\(P_0 = 0.851\), \(\omega_0 = 50{,}037\), \(c_{BD} = 138{,}189\), master identity \(2\omega_0 + 3 = c_{BD} \cdot P_0^2 = 100{,}077\)). See the cluster paper for the full multi-line derivation.
Methodology
| Domain | Polytope / structural identity (STRUCT) |
|---|---|
| Input data source | See "References" below for the canonical public-archive citation. |
| Measurement procedure | The measured value used here is the most recent peer-reviewed central value plus 1σ uncertainty from the cited reference. |
| Acceptance threshold | HIT: residual within 1σ of measurement. SOFT: directional agreement within bracketing range. OPEN: untested or unresolved. |
| Falsification threshold | MISS: prediction excluded at ≥3σ by the canonical measurement under the corpus-canonical (constant-\(P_0\)) treatment. |
| Current status | See verdict pill above. |
Python verification
Verification script: partition_function_verification.py. Run with python3 partition_function_verification.py to reproduce the canonical DCT result against the public-archive measurement source listed below.
Cross-references
Related observables: casimir-154 · vertex-sum-120 · master-identity.
Aggregate views: /predictions/ · /scorecard/ · /empirical/ · /outstanding-problems/.
Audit notes
This sub-page is part of the post-build-out of the observable archive (see the observable index). Verdict reflects the corpus-canonical (constant-\(P_0\)) treatment. The cluster-paper deep-link above (DCT-SPI-01) is the canonical source of the derivation chain.
References
- Conway-Sloane 1999 — lattice/polytope reference
- Source paper: DCT-SPI-01
Back to all observables or the predictions table.