pygsti.processors.compilationrules
¶
Defines CompilationLibrary class and supporting functions
Module Contents¶
Classes¶
A prescription for creating ("compiling") a set of gates based on another set. 

An collection of compilations for clifford gates. 
 exception pygsti.processors.compilationrules.CompilationError¶
Bases:
Exception
A compilation error, raised by
CompilationLibrary
 class pygsti.processors.compilationrules.CompilationRules(compilation_rules_dict=None)¶
Bases:
object
A prescription for creating (“compiling”) a set of gates based on another set.
A
CompilationRules
object contains a dictionary of gate unitaries, much like aProcessorSpec
, and instructions for creating these gates. The instructions can be given explicitly as circuits corresponding to a given gate, or implicitly as functions. Instructions can be given for gate names (e.g. “Gx”), regardless of the target state space labels of the gate, as well as for specific gate locations (e.g. (“Gx”,2)). Parameters
compilation_rules_dict (dict) – A dictionary of initial rules, which can be specified in multiple formats. NOTE: currently this argument isn’t wired up, and must be left as None.
 classmethod cast(cls, obj)¶
Convert an object into compilation rules, if it isn’t already.
 Parameters
obj (object) – The object to convert.
 Returns
CompilationRules
 add_compilation_rule(self, gate_name, template_circuit_or_fn, unitary=None)¶
Add a compilation rule for a gate name, given as a circuit or function.
 Parameters
gate_name (str) – The gate name to add a rule for.
template_circuit_or_fn (Circuit or callable) – The rule. This can be specified as either a circuit or as a function. If a circuit is given, it must be on the gate’s local state space, assumed to be a kqubit space (for a kqubit gate) with qubit labels 0 to k1. That is, the circuit must have line labels equal to 0…k1. If a function if given, the function must take as a single argument a tuple of state space labels that specify the target labels of the gate.
unitary (numpy.ndarray) – The unitary corresponding to the gate. This can be left as None if gate_name names a standard or internal gate known to pyGSTi.
 Returns
None
 add_specific_compilation_rule(self, gate_label, circuit, unitary)¶
Add a compilation rule for a gate at a specific location (target labels)
 Parameters
gate_label (Label) – The gate label to add a rule for. Includes the gate’s name and its target state space labels (gate_label.sslbls).
circuit (Circuit) – The rule, given as a circuit on the gate’s local state space, i.e. the circuit’s line labels should be the same as gate_label.sslbls.
unitary (numpy.ndarray) – The unitary corresponding to the gate. This can be left as None if gate_label.name names a standard or internal gate known to pyGSTi.
 Returns
None
 create_aux_info(self)¶
Create auxiliary information that should be stored along with the compilation rules herein.
(Currently unused, but perhaps useful in the future.)
 Returns
dict
 apply_to_processorspec(self, processor_spec, action='replace')¶
Use these compilation rules to convert one processor specification into another one.
 Parameters
processor_spec (QubitProcessorSpec) – The initial processor specification, which should contain the gates present within the circuits/functions of this compilation rules object.
action ({"replace", "add"}) – Whether the existing gates in processor_spec are conveyed to the the returned processor spec. If “replace”, then they are not conveyed, if “add” they are.
 Returns
QubitProcessorSpec
 class pygsti.processors.compilationrules.CliffordCompilationRules(native_gates_processorspec, compile_type='absolute')¶
Bases:
CompilationRules
An collection of compilations for clifford gates.
Holds mapping between operation labels (
Label
objects) and circuits (Circuit
objects).A CliffordCompilationRules holds a processor specification of the “native” gates of a processor and uses it to produce compilations of many of/all Clifford operations. Currently, the native gates should all be Clifford gates, so that the processor spec’s compute_clifford_symplectic_reps method gives representations for all of its gates.
Compilations can be either “local” or “nonlocal”. A local compilation ony uses gates that act on its target qubits. All 1qubit gates can be local. A nonlocal compilation uses qubits outside the set of target qubits (e.g. a CNOT between two qubits between which there is no native CNOT). Currently, nonlocal compilations can only be constructed for the CNOT gate.
To speed up the creation of local compilations, a CliffordCompilationRules instance stores “template” compilations, which specify how to construct a compilation for some kqubit gate on qubits labeled 0 to k1. When creating a compilation for a gate, a template is used if a suitable one can be found; otherwise a new template is created and then used.
 Parameters
native_gates_processorspec (QubitProcessorSpec) – The processor specification of “native” Clifford gates which all compilation rules are composed from.
compile_type ({"absolute","paulieq"}) – The “compilation type” for this rules set. If “absolute”, then compilations must match the gate operation being compiled exactly. If “paulieq”, then compilations only need to match the desired gate operation up to a Paui operation (which is useful for compiling multiqubit Clifford gates / stabilizer states without unneeded 1qubit gate overheads).
 classmethod create_standard(cls, base_processor_spec, compile_type='absolute', what_to_compile=('1Qcliffords',), verbosity=1)¶
Create a common set of compilation rules based on a base processor specification.
 Parameters
base_processor_spec (QubitProcessorSpec) – The processor specification of “native” Clifford gates which all the compilation rules will be in terms of.
compile_type ({"absolute","paulieq"}) – The “compilation type” for this rules set. If “absolute”, then compilations must match the gate operation being compiled exactly. If “paulieq”, then compilations only need to match the desired gate operation up to a Paui operation (which is useful for compiling multiqubit Clifford gates / stabilizer states without unneeded 1qubit gate overheads).
what_to_compile ({"1Qcliffords", "localcnots", "allcnots", "paulis"}) – What operations should rules be created for? Allowed values may depend on the value of compile_type.
 Returns
CliffordCompilationRules
 classmethod _find_std_gate(cls, base_processor_spec, std_gate_name)¶
Check to see of a standard/internal gate exists in a processor spec
 _create_local_compilation_of(self, oplabel, unitary=None, srep=None, max_iterations=10, verbosity=1)¶
Constructs a local compilation of oplabel.
An existing template is used if one is available, otherwise a new template is created using an iterative procedure. Raises
CompilationError
when no compilation can be found. Parameters
oplabel (Label) – The label of the gate to compile. If oplabel.name is a recognized standard Clifford name (e.g. ‘H’, ‘P’, ‘X’, ‘CNOT’) then no further information is needed. Otherwise, you must specify either (or both) of unitary or srep unless the compilation for this oplabel has already been previously constructed and force is False. In that case, the previously constructed compilation will be returned in all cases, and so this method does not need to know what the gate actually is.
unitary (numpy.ndarray, optional) – The unitary action of the gate being compiled. If, as is typical, you’re compiling using Clifford gates, then this unitary should correspond to a Clifford operation. If you specify unitary, you don’t need to specify srep  it is computed automatically.
srep (tuple, optional) – The (smatrix, svector) tuple giving the symplectic representation of the gate being compiled.
max_iterations (int, optional) – The maximum number of iterations for the iterative compilation algorithm.
verbosity (int, optional) – An integer >= 0 specifying how much detail to send to stdout.
 Returns
Circuit
 _get_local_compilation_of(self, oplabel, unitary=None, srep=None, max_iterations=10, force=False, verbosity=1)¶
Gets a new local compilation of oplabel.
 Parameters
oplabel (Label) – The label of the gate to compile. If oplabel.name is a recognized standard Clifford name (e.g. ‘H’, ‘P’, ‘X’, ‘CNOT’) then no further information is needed. Otherwise, you must specify either (or both) of unitary or srep.
unitary (numpy.ndarray, optional) – The unitary action of the gate being compiled. If, as is typical, you’re compiling using Clifford gates, then this unitary should correspond to a Clifford operation. If you specify unitary, you don’t need to specify srep  it is computed automatically.
srep (tuple, optional) – The (smatrix, svector) tuple giving the symplectic representation of the gate being compiled.
max_iterations (int, optional) – The maximum number of iterations for the iterative compilation algorithm.
force (bool, optional) – If True, then a compilation is recomputed even if oplabel already exists in this CompilationLibrary. Otherwise compilations are only computed when they are not present.
verbosity (int, optional) – An integer >= 0 specifying how much detail to send to stdout.
 Returns
None
 add_local_compilation_of(self, oplabel, unitary=None, srep=None, max_iterations=10, force=False, verbosity=1)¶
Adds a new local compilation of oplabel.
 Parameters
oplabel (Label) – The label of the gate to compile. If oplabel.name is a recognized standard Clifford name (e.g. ‘H’, ‘P’, ‘X’, ‘CNOT’) then no further information is needed. Otherwise, you must specify either (or both) of unitary or srep.
unitary (numpy.ndarray, optional) – The unitary action of the gate being compiled. If, as is typical, you’re compiling using Clifford gates, then this unitary should correspond to a Clifford operation. If you specify unitary, you don’t need to specify srep  it is computed automatically.
srep (tuple, optional) – The (smatrix, svector) tuple giving the symplectic representation of the gate being compiled.
max_iterations (int, optional) – The maximum number of iterations for the iterative compilation algorithm.
force (bool, optional) – If True, then a compilation is recomputed even if oplabel already exists in this CompilationLibrary. Otherwise compilations are only computed when they are not present.
verbosity (int, optional) – An integer >= 0 specifying how much detail to send to stdout.
 Returns
None
 add_clifford_compilation_template(self, gate_name, nqubits, unitary, srep, available_gatelabels, available_sreps, verbosity=1, max_iterations=10)¶
Adds a new compilation template for gate_name.
 Parameters
gate_name (str) – The gate name to create a compilation for. If it is recognized standard Clifford name (e.g. ‘H’, ‘P’, ‘X’, ‘CNOT’) then unitary and srep can be None. Otherwise, you must specify either (or both) of unitary or srep.
nqubits (int) – The number of qubits this gate acts upon.
unitary (numpy.ndarray) – The unitary action of the gate being templated. If, as is typical, you’re compiling using Clifford gates, then this unitary should correspond to a Clifford operation. If you specify unitary, you don’t need to specify srep  it is computed automatically.
srep (tuple, optional) – The (smatrix, svector) tuple giving the symplectic representation of the gate being templated.
available_glabels (list) – A list of the gate labels (
Label
objects) that are available for use in compilations.available_sreps (dict) – A dictionary of available symplectic representations. Keys are gate labels and values are numpy arrays.
verbosity (int, optional) – An integer >= 0 specifying how much detail to send to stdout.
max_iterations (int, optional) – The maximum number of iterations for the iterative template compilationfinding algorithm.
 Returns
tuple – A tuple of the operation labels (essentially a circuit) specifying the template compilation that was generated.
 _compute_connectivity_of(self, gate_name)¶
Compute the connectivity for gate_name using the (compiled) gates available this library.
Connectivity is defined in terms of nearestneighbor links, and the resulting
QubitGraph
, is stored in self.connectivity[gate_name]. Parameters
gate_name (str) – gate name to compute connectivity for.
 Returns
None
 filter_connectivity(self, gate_name, allowed_filter)¶
Compute the QubitGraph giving the available gate_name gates subject to allowed_filter.
The filter adds constraints to by specifying the availability of gate_name.
 Parameters
gate_name (str) – The gate name.
allowed_filter (dict or set, optional) – Specifies which gates are allowed to be to construct this connectivity. If a dict, keys must be gate names (like “CNOT”) and values
QubitGraph
objects indicating where that gate (if it’s present in the library) may be used. If a set, then it specifies a set of qubits and any gate in the current library that is confined within that set is allowed. If None, then all gates within the library are allowed.
 Returns
QubitGraph
 _create_nonlocal_compilation_of(self, oplabel, allowed_filter=None, verbosity=1, check=True)¶
Constructs a potentially nonlocal compilation of oplabel.
This method currently only generates a compilation for a nonlocal CNOT, up to arbitrary Pauli gates, between a pair of unconnected qubits. It converts this CNOT into a circuit of CNOT gates between connected qubits, using a fixed circuit form. This compilation is not optimal in at least some circumstances.
 Parameters
oplabel (Label) – The label of the gate to compile. Currently, oplabel.name must equal “CNOT”.
allowed_filter (dict or set, optional) – Specifies which gates are allowed to be used in this nonlocal compilation. If a dict, keys must be gate names (like “CNOT”) and values
QubitGraph
objects indicating where that gate (if it’s present in the library) may be used. If a set, then it specifies a set of qubits and any gate in the current library that is confined within that set is allowed. If None, then all gates within the library are allowed.verbosity (int, optional) – An integer >= 0 specifying how much detail to send to stdout.
check (bool, optional) – Whether to perform internal consistency checks.
 Returns
Circuit
 _get_nonlocal_compilation_of(self, oplabel, force=False, allowed_filter=None, verbosity=1, check=True)¶
Get a potentially nonlocal compilation of oplabel.
This function does not add this compilation to the library, it merely returns it. To add it, use :method:`add_nonlocal_compilation_of`.
This method currently only generates a compilation for a nonlocal CNOT, up to arbitrary Pauli gates, between a pair of unconnected qubits. It converts this CNOT into a circuit of CNOT gates between connected qubits, using a fixed circuit form. This compilation is not optimal in at least some circumstances.
 Parameters
oplabel (Label) – The label of the gate to compile. Currently, oplabel.name must equal “CNOT”.
force (bool, optional) – If True, then a compilation is recomputed even if oplabel already exists in this CompilationLibrary. Otherwise compilations are only computed when they are not present.
allowed_filter (dict or set, optional) – Specifies which gates are allowed to be used in this nonlocal compilation. If a dict, keys must be gate names (like “CNOT”) and values
QubitGraph
objects indicating where that gate (if it’s present in the library) may be used. If a set, then it specifies a set of qubits and any gate in the current library that is confined within that set is allowed. If None, then all gates within the library are allowed.verbosity (int, optional) – An integer >= 0 specifying how much detail to send to stdout.
check (bool, optional) – Whether to perform internal consistency checks.
 Returns
Circuit
 add_nonlocal_compilation_of(self, oplabel, force=False, allowed_filter=None, verbosity=1, check=True)¶
Add a potentially nonlocal compilation of oplabel to this library.
This method currently only generates a compilation for a nonlocal CNOT, up to arbitrary Pauli gates, between a pair of unconnected qubits. It converts this CNOT into a circuit of CNOT gates between connected qubits, using a fixed circuit form. This compilation is not optimal in at least some circumstances.
If allowed_filter is None then the compilation is recorded under the key oplabel. Otherwise, the compilation is recorded under the key (oplabel,`context_key`) where context_key is frozenset(allowed_filter) when allowed_filter is a set, and context_key is frozenset(allowed_filter.items()) when allowed_filter is a dict.
 Parameters
oplabel (Label) – The label of the gate to compile. Currently, oplabel.name must equal “CNOT”.
force (bool, optional) – If True, then a compilation is recomputed even if oplabel already exists in this CompilationLibrary. Otherwise compilations are only computed when they are not present.
allowed_filter (dict or set, optional) – Specifies which gates are allowed to be used in this nonlocal compilation. If a dict, keys must be gate names (like “CNOT”) and values
QubitGraph
objects indicating where that gate (if it’s present in the library) may be used. If a set, then it specifies a set of qubits and any gate in the current library that is confined within that set is allowed. If None, then all gates within the library are allowed.verbosity (int, optional) – An integer >= 0 specifying how much detail to send to stdout.
check (bool, optional) – Whether to perform internal consistency checks.
 Returns
None
 retrieve_compilation_of(self, oplabel, force=False, allowed_filter=None, verbosity=1, check=True)¶
Get a compilation of oplabel in the context of allowed_filter, if any.
This is often more convenient than querying the CompilationLibrary directly as a dictionary, because:
If allowed_filter is not None, this handles the correct querying of the dictionary to find out if there is a previously saved compilation with this allowed_filter context.
If a compilation is not present, this method will try to compute one.
This method does not store the compilation. To store the compilation first call the method add_compilation_of().
 Parameters
oplabel (Label) – The label of the gate to compile.
force (bool, optional) – If True, then an attempt is made to recompute a compilation even if oplabel already exists in this CompilationLibrary. Otherwise compilations are only computed when they are not present.
allowed_filter (dict or set, optional) – Specifies which gates are allowed to be used in this nonlocal compilation. If a dict, keys must be gate names (like “CNOT”) and values
QubitGraph
objects indicating where that gate (if it’s present in the library) may be used. If a set, then it specifies a set of qubits and any gate in the current library that is confined within that set is allowed. If None, then all gates within the library are allowed.verbosity (int, optional) – An integer >= 0 specifying how much detail to send to stdout.
check (bool, optional) – Whether to perform internal consistency checks.
 Returns
Circuit
 add_compilation_of(self, oplabel, force=False, allowed_filter=None, verbosity=1, check=True)¶
Adds a compilation of oplabel in the context of allowed_filter, if any.
If allowed_filter is None then the compilation is recorded under the key oplabel. Otherwise, the compilation is recorded under the key (oplabel,`context_key`) where context_key is frozenset(allowed_filter) when allowed_filter is a set, and context_key is frozenset(allowed_filter.items()) when allowed_filter is a dict.
 Parameters
oplabel (Label) – The label of the gate to compile.
force (bool, optional) – If True, then an attempt is made to recompute a compilation even if oplabel already exists in this CompilationLibrary. Otherwise compilations are only computed when they are not present.
allowed_filter (dict or set, optional) – Specifies which gates are allowed to be used in this nonlocal compilation. If a dict, keys must be gate names (like “CNOT”) and values
QubitGraph
objects indicating where that gate (if it’s present in the library) may be used. If a set, then it specifies a set of qubits and any gate in the current library that is confined within that set is allowed. If None, then all gates within the library are allowed.verbosity (int, optional) – An integer >= 0 specifying how much detail to send to stdout.
check (bool, optional) – Whether to perform internal consistency checks.
 Returns
None