OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QubitMediatorTargetGround.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The actual parallel gadget approximates its intended finite Hamiltonian, including the residual left by the common counterterm.

  1. theorem OAI.ContinuumCoulomb.qmaThirdOrderBottom_eq line 16
  2. theorem OAI.ContinuumCoulomb.qmaThirdSeries_target_ground line 29