OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumWireSwap.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Exact three-CNOT transfers for a circuit whose active wires move through a grid.

  1. def OAI.ContinuumCoulomb.qmaWirePermutation line 12
  2. theorem OAI.ContinuumCoulomb.qmaWirePermutation_mul line 15
  3. theorem OAI.ContinuumCoulomb.qmaControlledNot_swap line 25
  4. def OAI.ContinuumCoulomb.qmaWireSwapGates line 44
  5. theorem OAI.ContinuumCoulomb.qmaWireSwapGates_wellFormed line 47
  6. theorem OAI.ContinuumCoulomb.qmaQubit_fin line 57
  7. theorem OAI.ContinuumCoulomb.qmaGateMatrix_cnot_fin line 61
  8. theorem OAI.ContinuumCoulomb.qmaWireSwap_matrix line 66