 264    2. Physics without phases
 265    3. Alternative to 8-tick structure
 266    4. Rotation in fewer than 2 dimensions -/
 267structure ComplexFalsifier where
 268  /-- Type of potential falsification. -/
 269  falsifier : String
 270  /-- Status. -/
 271  status : String
 272
 273/-- All evidence supports complex necessity. -/
 274def experimentalStatus : List ComplexFalsifier := [
 275  ⟨"Real QM", "Ruled out by Renou et al. (2021)"⟩,
 276  ⟨"Phase in experiments", "Ubiquitous and essential"⟩,
 277  ⟨"8-tick structure", "Appears in spin statistics"⟩
 278]
 279
 280end ComplexNumbers
 281end Mathematics
 282end IndisputableMonolith

papers checked against this theorem

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