OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumRowStageSupport.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Each sweep stage uses only vertical transfers and its single horizontal gate.

  1. theorem OAI.ContinuumCoulomb.qmaTransferGates_member line 11
  2. theorem OAI.ContinuumCoulomb.qmaRowStage_member line 21
  3. theorem OAI.ContinuumCoulomb.qmaWireSwap_sites line 36
  4. theorem OAI.ContinuumCoulomb.qmaAdjacentGate_window line 43