`NonlocalityFalsifier`

definition

show as: view math explainer →

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

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Quantum.NonlocalityNoSignaling on GitHub at line 238.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

formal source

 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.