Note
Click here to download the full example code
External Interfaces: Introduction¶
In this example, we demonstrate how to convert between the True-Q™ python circuit representation and other popular third party representations. These conversions will only be available if the corresponding python packages are installed.
We start by defining a test circuit to work with:
import trueq as tq
circuit = tq.Circuit(
[
{(0,): tq.Gate.x, (1,): tq.Gate.y},
{(0, 2): tq.Gate.cz, (1,): tq.Gate.x},
{(3,): tq.Gate.h, (5,): tq.Gate.s},
]
)
circuit.measure_all()
|
Circuit
|
|||||
|
|
(0):
Gate.x
|
(1):
Gate.y
|
|||
|
|
(0, 2):
Gate.cz
|
(1):
Gate.x
|
|||
|
|
(3):
Gate.h
|
(5):
Gate.s
|
|||
|
1
|
(0):
Meas()
|
(1):
Meas()
|
(2):
Meas()
|
(3):
Meas()
|
(5):
Meas()
|
Cirq¶
Convert the circuit to a Cirq circuit object:
cirq_circuit = circuit.to_cirq()
cirq_circuit
┌─────────┐
(0, 0): ───H^0───Rx(π)───H^0──────────────────────────────────@────M───
│ │
(1, 0): ───────────────────────H^0────────H^0─────────Rz(π)───┼────M───
│ │
(2, 0): ──────────────────────────────────────────────────────@────M───
│
(3, 0): ───────────────────────Rz(0.5π)───Rx(0.5π)────Rz(0.5π)─────M───
│
(5, 0): ───────────────────────H^0────────H^0─────────Rz(0.5π)─────M───
└─────────┘
Perform the inverse conversion (to_trueq() is monkey-patched onto their circuit object at True-Q™ import time):
cirq_circuit.to_trueq()
|
Circuit
|
|||||
|
1
|
(0):
Gate.id
|
||||
|
2
|
(0):
Gate.x
|
||||
|
3
|
(0):
Gate.id
|
||||
|
4
|
(1):
Gate.id
|
(3):
Gate.s
|
(5):
Gate.id
|
||
|
5
|
(1):
Gate.id
|
(3):
Gate.sx
|
(5):
Gate.id
|
||
|
6
|
(0, 2):
Gate.cz
|
(1):
Gate.z
|
(3):
Gate.s
|
(5):
Gate.s
|
|
|
7
|
(0):
Meas()
|
(1):
Meas()
|
(2):
Meas()
|
(3):
Meas()
|
(5):
Meas()
|
PyQuil¶
Convert the circuit to a PyQuil circuit object:
pyquil_circuit = circuit.to_pyquil()
print(pyquil_circuit)
Out:
DECLARE ro BIT[5]
PHASE(-1.5707963267948968) 0
RX(1.5707963267948968) 0
I 0
RX(1.5707963267948968) 0
PHASE(-1.5707963267948968) 0
PHASE(-1.5707963267948968) 1
I 3
PHASE(-1.5707963267948968) 5
RX(1.5707963267948968) 1
RX(1.5707963267948968) 3
RX(1.5707963267948968) 5
Z 1
S 3
Z 5
RX(1.5707963267948968) 1
RX(1.5707963267948968) 3
RX(1.5707963267948968) 5
S 1
I 3
I 5
CZ 0 2
FENCE
MEASURE 0 ro[0]
MEASURE 1 ro[1]
MEASURE 2 ro[2]
MEASURE 3 ro[3]
MEASURE 5 ro[4]
Perform the inverse conversion (to_trueq() is monkey-patched onto their circuit object at True-Q™ import time):
pyquil_circuit.to_trueq()
|
Circuit
|
|||||
|
|
(0):
PHASE(phi)
|
||||
|
|
(0):
RX(phi)
|
(1):
PHASE(phi)
|
(3):
I()
|
(5):
PHASE(phi)
|
|
|
|
(0):
I()
|
(1):
RX(phi)
|
(3):
RX(phi)
|
(5):
RX(phi)
|
|
|
|
(0):
RX(phi)
|
(1):
Z()
|
(3):
S()
|
(5):
Z()
|
|
|
|
(0):
PHASE(phi)
|
(1):
RX(phi)
|
(3):
RX(phi)
|
(5):
RX(phi)
|
|
|
|
(0, 2):
CZ()
|
(1):
S()
|
(3):
I()
|
(5):
I()
|
|
|
1
|
(0):
Meas()
|
(1):
Meas()
|
(2):
Meas()
|
(3):
Meas()
|
(5):
Meas()
|
Qiskit¶
Set the preferred gates to build into (See below for more details), then convert the circuit to a Qiskit circuit object:
tq.interface.qiskit.set_config(["CXGate", "UGate"])
qiskit_circuit = circuit.to_qiskit()
qiskit_circuit.draw("mpl")
Out:
<Figure size 872.774x618.722 with 1 Axes>
Perform the inverse conversion (to_trueq() is monkey-patched onto their circuit object at True-Q™ import time):
qiskit_circuit.to_trueq()
|
Circuit
|
|||||
|
|
(0):
UGate(theta, phi, ...)
|
(2):
UGate(theta, phi, ...)
|
|||
|
|
(0, 2):
CXGate()
|
||||
|
|
(0):
UGate(theta, phi, ...)
|
(1):
UGate(theta, phi, ...)
|
(2):
UGate(theta, phi, ...)
|
(3):
UGate(theta, phi, ...)
|
(5):
UGate(theta, phi, ...)
|
|
1
|
(0):
Meas()
|
(1):
Meas()
|
(2):
Meas()
|
(3):
Meas()
|
(5):
Meas()
|
Interface Config¶
During conversion between representations in True-Q™ and other software packages,
there is often a degeneracy in how a gate may be converted. For example, an identity
gate could be written as Z(phi), X(phi), Y(phi), … with phi = 0.
In these cases, this degeneracy can be broken by setting the preferred order of gate
conversion. This is done in the interfaces through a Config which
contains a collection of GateFactorys. Each of these
factories has the exact name and parameters of the corresponding gate representation
in the external software. During the conversion of any specific gate from True-Q™
into the external software, each of these factories is used in order until the
conversion is possible.
The default settings for all interfaces is to have the defined config contain all
possible gates allowed in the external software, even though there are typically
degeneracies. This default configuration is available through the
default_config() method on every interface.
The current active config may be changed through the respective
set_config() and
get_config() which are also available on
every interface.
Look at the config list for the interface between True-Q™ and Cirq:
std_config = tq.interface.cirq.default_config()
Set a reduced config, containing only CNOT, XPowGate, and ZPowGate:
tq.interface.cirq.set_config(["CNOT", "XPowGate", "ZPowGate"])
This may have also been set through a subset of the default config:
tq.interface.cirq.set_config(std_config.subset(names=["CNOT", "XPowGate", "ZPowGate"]))
Convert the circuit defined above to Cirq using the updated config:
circuit.to_cirq()
(0, 0): ───X^0───X───────S^-1───@───X^0───X^0─────S───M───
│ │
(1, 0): ────────────────────────┼───X^0───X^0─────Z───M───
│ │
(2, 0): ───X^0───X^0.5───S──────X───S─────X^0.5───Z───M───
│
(3, 0): ────────────────────────────S─────X^0.5───S───M───
│
(5, 0): ────────────────────────────X^0───X^0─────S───M───
Note
Setting the config to None resets to the default config.
Reset the config to the default:
tq.interface.cirq.set_config(None)
Convert the circuit to Cirq using the default config
circuit.to_cirq()
┌─────────┐
(0, 0): ───H^0───Rx(π)───H^0──────────────────────────────────@────M───
│ │
(1, 0): ───────────────────────H^0────────H^0─────────Rz(π)───┼────M───
│ │
(2, 0): ──────────────────────────────────────────────────────@────M───
│
(3, 0): ───────────────────────Rz(0.5π)───Rx(0.5π)────Rz(0.5π)─────M───
│
(5, 0): ───────────────────────H^0────────H^0─────────Rz(0.5π)─────M───
└─────────┘
As you can see in the printed circuits, changing the config alters the gates used in
converting from True-Q™ to other software. For example, removing the X gate from
the config causes the interface to pick the next viable representation of this
operation, so that the X gates are given as rotations about X by \(\pi\).
Total running time of the script: ( 0 minutes 0.799 seconds)