URF-SG-BASE-1: Canonical Spectral Gap Instance
收藏官方服务：
资源简介：
Certified spectral gap witness for the Unified Rigidity Framework (URF). Hilbert space: L²(S¹)Operator: -d²/dx²Spectral gap: λ₁ = 1 Includes:- Formal mathematical specification- Lean mechanization (mathlib)- Numerical verification- Cryptographic hash certificate This object serves as the canonical non-vacuity witness for URF_law3.
提供机构：
Zenodo创建时间：
2026-01-26
