OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumSpatialXZBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Explicit size, degree and promise bounds for the spatial X/Z Hamiltonian.

  1. theorem OAI.ContinuumCoulomb.QMASpatialXZModel.incidence_bound line 13
  2. theorem OAI.ContinuumCoulomb.QMASpatialXZModel.qubits_bound line 18
  3. theorem OAI.ContinuumCoulomb.QMASpatialXZModel.terms_bound line 22
  4. theorem OAI.ContinuumCoulomb.qmaCircuit_spatial_XZ line 26