Schedules and Devices

Schedule and Circuit are the two major container classes for quantum circuits. In contrast to Circuit, a Schedule includes detailed information about the timing and duration of the gates.

Conceptually a Schedule is made up of a set of ScheduledOperations as well as a description of the Device on which the schedule is intended to be run. Each ScheduledOperation is made up of a time when the operation starts and a duration describing how long the operation takes, in addition to the Operation itself (like in a Circuit an Operation is made up of a Gate and the QubitIds upon which the gate acts.)

Devices

The Device class is an abstract class which encapsulates constraints (or lack thereof) that come when running a circuit on actual hardware. For instance, most hardware only allows certain gates to be enacted on qubits. Or, as another example, some gates may be constrained to not be able to run at the same time as neighboring gates. Further the Device class knows more about the scheduling of Operations.

Here for example is a Device made up of 10 qubits on a line:

import cirq
from cirq.devices import GridQubit
from cirq.google import XmonGate
class Xmon10Device(cirq.Device):

  def __init__(self):
      self.qubits = [GridQubit(i, 0) for i in range(10)]

  def duration_of(self, operation):
      # Wouldn't it be nice if everything took 10ns?
      return cirq.Duration(nanos=10)

  def validate_operation(self, operation):
      if (not isinstance(operation, cirq.GateOperation) or
              not isinstance(operation.gate, XmonGate)):
          raise ValueError('{!r} is not an XmonGate'.format(operation))
      if len(operation.qubits) == 2:
          p, q = operation.qubits
          if not p.is_adjacent(q):
            raise ValueError('Non-local interaction: {}'.format(repr(operation)))


  def validate_scheduled_operation(self, schedule, scheduled_operation):
      self.validate_operation(scheduled_operation.operation)

  def validate_circuit(self, circuit):
      for moment in circuit:
          for operation in moment.operations:
              self.validate_operation(operation)

  def validate_schedule(self, schedule):
      for scheduled_operation in schedule.scheduled_operations:
          self.validate_scheduled_operation(schedule, scheduled_operation)

This device, for example, knows that two qubit gates between next-nearest-neighbors is not valid:

from cirq.google.xmon_gates import Exp11Gate
device = Xmon10Device()
circuit = cirq.Circuit()
CZ = Exp11Gate(half_turns=1.0)
circuit.append([CZ(device.qubits[0], device.qubits[2])])
try: 
  device.validate_circuit(circuit)
except ValueError as e:
  print(e)
# prints something like
# ValueError: Non-local interaction: Operation(Exp11Gate(half_turns=1.0), (GridQubit(0, 0), GridQubit(2, 0)))

Schedules

A Schedule contains more timing information above and beyond that which is provided by the Moment structure of a Circuit. This can be used both for fine grained timing control, but also to optimize a circuit for a particular device. One can work directly with Schedules or, more common, use a custom scheduler that converts a Circuit to a Schedule. A simple example of such a scheduler is the moment_by_moment_schedule method of schedulers.py. This scheduler attempts to keep the Moment structure of the underlying Circuit as much as possible: each Operation in a Moment is scheduled to start at the same time (such a schedule may not be possible, in which case this method raises an exception.)

Here, for example, is a simple Circuit on the Xmon10Device defined above

from cirq.google.xmon_gates import ExpWGate
circuit = cirq.Circuit()
CZ = Exp11Gate(half_turns=1.0)
X = ExpWGate(half_turns=1.0)
circuit.append([CZ(device.qubits[0], device.qubits[1]), X(device.qubits[0])])
print(circuit)
# prints:
# (0, 0): ───Z───X───
#            │
# (1, 0): ───Z───────

This can be converted over into a schedule using the moment by moment schedule

schedule = cirq.moment_by_moment_schedule(device, circuit)

Schedules have an attributed scheduled_operations which contains all the scheduled operations in a SortedListWithKey, where the key is the start time of the SortedOperation. Schedules support nice helpers for querying about the time-space layout of the schedule. For instance, the Schedule behaves as if it has an index corresponding to time. So, we can look up which operations occur at a specific time

print(schedule[cirq.Timestamp(nanos=15)])
# prints something like 
# [ScheduledOperation(Timestamp(picos=10000), Duration(picos=10000),...)]

or even a start and end time using slicing notation

slice = schedule[cirq.Timestamp(nanos=5):cirq.Timestamp(nanos=15)]
slice_schedule = cirq.Schedule(device, slice)
print(slice_schedule == schedule)
# prints True

More complicated queries across Schedules can be done using the query.

Schedules are usually built by converting from Circuits, but one can also directly manipulate the schedule using the include and exclude methods. include will check if there are any collisions with other schedule operations.