def
definition
experimentalTests
show as:
view math explainer →
open explainer
Read the cached plain-language explainer.
open lean source
IndisputableMonolith.Quantum.EntanglementEntropy on GitHub at line 211.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
-
of -
of -
entropy -
A -
is -
of -
from -
is -
of -
is -
of -
correction -
A -
is -
A -
experimentalTests -
experiments -
experiments -
experimentalTests -
experiments -
Tensor -
S -
experiments -
experimentalTests -
entropy -
entropy
used by
formal source
208 2. Quantum error correction in tensor networks ✓
209 3. Holographic CFT calculations ✓
210 4. Analog quantum systems (under development) -/
211def experimentalTests : List String := [
212 "Black hole entropy = A / 4 (Bekenstein-Hawking)",
213 "Tensor networks exhibit area law",
214 "AdS/CFT calculations match RT",
215 "Quantum entanglement experiments"
216]
217
218/-! ## Implications -/
219
220/-- Major implications of S = Area:
221 1. **Holographic principle**: Information is 2D
222 2. **Black hole information paradox**: Info on horizon
223 3. **Quantum gravity**: Geometry from entanglement
224 4. **Error correction**: Holographic codes -/
225def implications : List String := [
226 "Universe is fundamentally holographic",
227 "Black hole information preserved",
228 "Spacetime emerges from entanglement (ER = EPR)",
229 "Quantum error correction insights"
230]
231
232/-! ## Falsification Criteria -/
233
234/-- The RT derivation would be falsified by:
235 1. Entanglement entropy not scaling with area
236 2. Black hole entropy not following BH formula
237 3. Holographic principle violations
238 4. Tensor networks not exhibiting area law -/
239structure RTFalsifier where
240 /-- Type of potential falsification. -/
241 falsifier : String