OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumXZFamily.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Finite X/Z word families with their actual normalized ground energy.

  1. theorem OAI.ContinuumCoulomb.qmaNormalizedBottom_instances line 12
  2. structure OAI.ContinuumCoulomb.QMAXZModel line 19
  3. def OAI.ContinuumCoulomb.QMAXZModel.energy line 32
  4. def OAI.ContinuumCoulomb.QMAXZModel.qubits line 35
  5. def OAI.ContinuumCoulomb.QMAXZModel.terms line 37
  6. def OAI.ContinuumCoulomb.QMAXZModel.ofWords line 41
  7. theorem OAI.ContinuumCoulomb.QMAXZModel.ofWords_energy line 53
  8. theorem OAI.ContinuumCoulomb.QMAXZModel.ofWords_qubits line 58
  9. theorem OAI.ContinuumCoulomb.QMAXZModel.ofWords_terms line 62