OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumGadgetCounterterms.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Exact counterterms make the subdivision and three-body Schur complements equal the intended interactions.

  1. def OAI.ContinuumCoulomb.qmaSubdivisionCoupling line 14
  2. def OAI.ContinuumCoulomb.qmaSubdivisionCounter line 17
  3. theorem OAI.ContinuumCoulomb.qmaSubdivision_effective line 20
  4. def OAI.ContinuumCoulomb.qmaThirdGadgetWeight line 34
  5. def OAI.ContinuumCoulomb.qmaThirdGadgetCoupling line 36
  6. def OAI.ContinuumCoulomb.qmaThirdGadgetCounter line 39
  7. theorem OAI.ContinuumCoulomb.qmaThirdGadget_effective line 45