OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumXZTerms.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Explicit scalar, one-site and two-site terms for the X/Z circuit family.

  1. def OAI.ContinuumCoulomb.qmaXZLabel line 13
  2. theorem OAI.ContinuumCoulomb.qmaXZLabel_exists line 15
  3. theorem OAI.ContinuumCoulomb.qmaXZLabel_pauli line 23
  4. inductive OAI.ContinuumCoulomb.QMAXZTerm line 26
  5. def OAI.ContinuumCoulomb.QMAXZTerm.word line 31
  6. def OAI.ContinuumCoulomb.QMAXZTerm.matrix line 36
  7. theorem OAI.ContinuumCoulomb.QMAXZTerm.word_matrix line 41
  8. theorem OAI.ContinuumCoulomb.qmaXZWord_term line 64