OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumWireRouting.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Exact composition of logical gates with successive physical wire transfers.

  1. abbrev OAI.ContinuumCoulomb.QMAWireInstruction line 12
  2. def OAI.ContinuumCoulomb.qmaRoutedFrame line 14
  3. def OAI.ContinuumCoulomb.qmaRoutedGates line 19
  4. theorem OAI.ContinuumCoulomb.qmaWireBasis_product line 26
  5. theorem OAI.ContinuumCoulomb.qmaRoutedGates_matrix line 32
  6. theorem OAI.ContinuumCoulomb.qmaRoutedGates_length line 65
  7. theorem OAI.ContinuumCoulomb.qmaRoutedGates_wellFormed line 75