OAI/MathematicalPhysics/PEPSSubvolume/NeutralEnergy.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Neutral local terms, ground energy and the full-system gap.

  1. lemma OAI.PolynomialPEPS.Subvolume.OptimizerNeutral.inserted_eq_right line 26
  2. theorem OAI.PolynomialPEPS.Subvolume.OptimizerNeutral.neutral_identity line 34
  3. theorem OAI.PolynomialPEPS.Subvolume.OptimizerNeutral.excitation_of_transition_errors line 49
  4. theorem OAI.PolynomialPEPS.Subvolume.OptimizerNeutral.gap_fidelity line 74