 243    2. Which-path info not affecting pattern
 244    3. Quantum eraser not working
 245    4. Phase not related to path length -/
 246structure DoubleSlitFalsifier where
 247  /-- Type of potential falsification. -/
 248  falsifier : String
 249  /-- Status. -/
 250  status : String
 251
 252/-- All predictions verified. -/
 253def experimentalStatus : List DoubleSlitFalsifier := [
 254  ⟨"Interference pattern", "Observed for all particles"⟩,
 255  ⟨"Which-path effect", "Confirmed"⟩,
 256  ⟨"Quantum eraser", "Confirmed"⟩,
 257  ⟨"Path-phase relation", "Confirmed"⟩
 258]
 259
 260end DoubleSlit
 261end Quantum
 262end IndisputableMonolith

papers checked against this theorem

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