OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumPathWeightBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Uniform polynomial coefficient bounds for one physical path-subdivision layer.

  1. theorem OAI.ContinuumCoulomb.qmaPathOffset_abs_le line 11
  2. theorem OAI.ContinuumCoulomb.qmaPathAmplitude_abs_le line 19
  3. theorem OAI.ContinuumCoulomb.QMARationalExchangeGraph.subdivide_weight_abs_le line 28
  4. theorem OAI.ContinuumCoulomb.QMARationalExchangeGraph.subdivide_constant_abs_le line 45