OAI/Probability/InvariantIsing/Cavity/CavityReservoirRotation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Reservoir rotations fix the physical cavity columns exactly.

  1. def OAI.InvariantIsing.cavityReservoirRotation line 12
  2. lemma OAI.InvariantIsing.cavityReservoirRotation_last line 26
  3. lemma OAI.InvariantIsing.cavityReservoirRotation_first line 42
  4. lemma OAI.InvariantIsing.cavityReservoirRotation_lowerLeft line 48
  5. lemma OAI.InvariantIsing.cavityReservoirRotation_conjugate line 54
  6. lemma OAI.InvariantIsing.cavityReservoirRotation_cavityColumns line 72