OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumUnaryEmbeddingEnergy.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Exact energy preservation of the accepting unary-clock embedding.

  1. theorem OAI.ContinuumCoulomb.qmaUnaryExtend_weighted_sum line 11
  2. theorem OAI.ContinuumCoulomb.qmaHistoryClock_input_marker line 31
  3. theorem OAI.ContinuumCoulomb.qmaHistoryClock_output_marker line 40
  4. theorem OAI.ContinuumCoulomb.qmaUnaryExtend_input_energy line 49
  5. theorem OAI.ContinuumCoulomb.qmaUnaryExtend_output_energy line 59
  6. theorem OAI.ContinuumCoulomb.qmaUnaryExtend_propagation_energy line 69
  7. theorem OAI.ContinuumCoulomb.qmaUnaryExtend_energy line 97