`implications`

definition

show as: view math explainer →

module: IndisputableMonolith.Quantum.NonlocalityNoSignaling
domain: Quantum
line: 225 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Quantum.NonlocalityNoSignaling on GitHub at line 225.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

 222
 223    In RS: The ledger is a global accounting system,
 224    but local physics determines what you can access and when. -/
 225def implications : List String := [
 226  "Quantum cryptography is possible (BB84, E91)",
 227  "Entanglement is a resource (cannot be cloned or shared)",
 228  "Causality structure is fundamental",
 229  "Information and physics are intertwined"
 230]
 231
 232/-! ## Falsification Criteria -/
 233
 234/-- The derivation would be falsified if:
 235    1. Faster-than-light signaling is demonstrated
 236    2. Bell inequality is satisfied (no nonlocality)
 237    3. Quantum correlations violate Tsirelson bound -/
 238structure NonlocalityFalsifier where
 239  ftl_signaling_observed : Prop
 240  bell_inequality_satisfied : Prop
 241  tsirelson_bound_exceeded : Prop
 242  falsified : ftl_signaling_observed ∨ bell_inequality_satisfied ∨ tsirelson_bound_exceeded → False
 243
 244end NonlocalityNoSignaling
 245end Quantum
 246end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.