def
definition
def or abbrev
predictions
show as:
view Lean formalization →
formal statement (Lean)
147def predictions : List String := [
proof body
Definition body.
148 "Minimum length is l_voxel ≈ 10⁻¹⁹ m, not l_P",
149 "Energies quantized in φ-ladder rungs",
150 "Black hole singularities resolved by voxels",
151 "Modified high-energy dispersion relations"
152]
153
154/-! ## Experimental Signatures -/
155
156/-- Possible experimental tests:
157
158 1. **GRB time delays**: High-energy photons delayed by quantum gravity?
159 - Fermi satellite data constrains quantum gravity scale
160 - RS predicts delays at l_voxel scale, not l_P
161
162 2. **Lorentz violation**: Modified dispersion at high energy?
163 - Ultra-high energy cosmic rays test this
164
165 3. **Black hole evaporation**: Hawking spectrum modifications?
166 - φ-structure in late-stage evaporation? -/