OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumClockCells.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

The actual unary clock bits stay next to their computation gates with bounded cell occupancy.

  1. def OAI.ContinuumCoulomb.QMAGridCellsNear line 11
  2. def OAI.ContinuumCoulomb.qmaSparseGateCell line 15
  3. def OAI.ContinuumCoulomb.qmaSparseClockCell line 19
  4. theorem OAI.ContinuumCoulomb.qmaSparseGateCells_near line 24
  5. theorem OAI.ContinuumCoulomb.qmaSparseClockCells_near_gate line 30
  6. theorem OAI.ContinuumCoulomb.qmaSparseClockCell_middle line 37
  7. def OAI.ContinuumCoulomb.qmaSparseClockCellBits line 43
  8. theorem OAI.ContinuumCoulomb.qmaSparseClockCellBits_card line 49
  9. theorem OAI.ContinuumCoulomb.qmaSparseClockCellBits_mem line 60