OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumReferenceWalls.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

The nearest-neighbor reference chain has only two zero-wall sectors.

  1. def OAI.ContinuumCoulomb.qmaReferenceWalls line 12
  2. theorem OAI.ContinuumCoulomb.qmaReferenceWalls_zero_iff line 15
  3. theorem OAI.ContinuumCoulomb.qmaReferenceWalls_constant line 40
  4. theorem OAI.ContinuumCoulomb.qmaReferenceWalls_pos line 44
  5. def OAI.ContinuumCoulomb.qmaReferenceWallMatrix line 49
  6. theorem OAI.ContinuumCoulomb.qmaReferenceWallMatrix_quadratic line 53
  7. theorem OAI.ContinuumCoulomb.qmaReferenceWallMatrix_gap line 63