You're reading the documentation of the v0.10. For the latest released version, please have a look at v0.12.
Decomposing gate-based circuits: qiskit and myQLM
In this notebook, we show how circuits from Qiskit and myQLM can be converted into Perceval circuits. To do so, we take the example of a simple gate-based circuit producing GHZ states. We then show the translation to a linear optical circuit. We also show the equivalence between the two circuits (gate-based and perceval).
As usual, we start by importing the needed libraries. Note that this notebook requires the installation of Qiskit and MyQLM (which can be easily done with pip install qiskit
and pip install myqlm
).
[191]:
import perceval as pcvl
from perceval.components import catalog
from perceval.converters import QiskitConverter, MyQLMConverter
from perceval.algorithm import Analyzer, Sampler
from qiskit import QuantumCircuit
from qiskit.quantum_info import Statevector
import qat.lang.AQASM as qataqasm
Conversion from Qiskit Circuit
GHZ State generation in Qiskit
We first define the circuit generating GHZ states of 3 qubits with Qiskit. To do so, we first act with a Hadamard gate on qubit 0 to put in superposition of state \(|0\rangle\) and \(|1\rangle\). Then we perform two CNOT gates using qubit 0 as control and qubits 1 and 2 as targets.
[192]:
# Create a Quantum Circuit acting on the q register
qiskit_circuit = QuantumCircuit(3)
# Add a H gate on qubit 0
qiskit_circuit.h(0)
# Add CX (CNOT) gates on control qubit 0 and target qubits 1 and 2
qiskit_circuit.cx(0, 1)
qiskit_circuit.cx(0, 2)
# Draw the circuit
qiskit_circuit.draw()
[192]:
┌───┐ q_0: ┤ H ├──■────■── └───┘┌─┴─┐ │ q_1: ─────┤ X ├──┼── └───┘┌─┴─┐ q_2: ──────────┤ X ├ └───┘
We display the final state when starting from the input state \(|000\rangle\).
[193]:
# Set the initial state of the simulator to the ground state using from_int
state = Statevector.from_int(0, 2**3)
# Evolve the state by the quantum circuit
state = state.evolve(qiskit_circuit)
#draw using latex
state.draw('latex')
[193]:
Conversion of Qiskit circuit to Perceval
With the use of QiskitConverter
, we can transform the Qiskit circuit into a Perceval circuit. It uses 2 modes per qubit and additional modes for ancillary photons to perform deterministically two-qubit gates. Below the first six modes correspond to the three logical qubits (see the ‘Spatial Modes encoding’ paragraph in the ‘Basics’ section of the documentation) of the gate-based circuit above.
The other modes are used to successfully implement two-qubit gates via heralding or post-selection. Heralding employs 4 ancillary modes while post-selection employs 2 ancillary modes. With the option use_postselection=True
in the method .convert
on a QiskitConverter
object, every CNOT but the last is implemented with a heralding scheme. Here it means that it would add
\(4+2\) ancillary modes. The option use_postselection=False
only implements heralded CNOTs. Here it would mean \(4+4\) ancillary modes. Note: the use_postselection
option is True
by default.
[194]:
qiskit_converter = QiskitConverter(catalog, backend_name="Naive")
quantum_processor = qiskit_converter.convert(qiskit_circuit, use_postselection=True)
pcvl.pdisplay(quantum_processor, recursive=True)
[194]:
With this converted circuit, we can now check that the resulting state is the same as before the conversion. By default, the input is the logical state \(|000\rangle_L\). Note that where Qiskit displays state in the order \(|q_2q_1q_0\rangle_L\), Perceval uses the reverse order \(|q_0q_1q_2\rangle_L\), but still shown as Fock states. Here, it doesn’t change anything since we end with only \(|000\rangle_L\) and \(|111\rangle_L\) states.
[195]:
# Not necessary here
quantum_processor.with_input(pcvl.LogicalState([0,0,0]))
sampler = Sampler(quantum_processor)
output_distribution = sampler.probs()["results"]
pcvl.pdisplay(output_distribution, precision=1e-2, max_v = 4)
state | probability |
---|---|
|1,0,1,0,1,0> | 1/2 |
|0,1,0,1,0,1> | 1/2 |
|1,0,0,1,1,0> | 0 |
|0,1,1,0,0,1> | 0 |
This circuit can now be converted using a general interferometer decomposition so it can be implemented on a generic photonic chip.
[196]:
# use either quantum_processor (after Qiskit above) or converted_processor (after myqlm above)
u = quantum_processor.linear_circuit().compute_unitary(use_symbolic=False)
[197]:
ub = (pcvl.Circuit(2)
// pcvl.BS(theta=pcvl.Parameter("theta"))
// (0, pcvl.PS(phi=pcvl.Parameter("φ_a"))))
pc_norm = pcvl.Circuit.decomposition(u, ub, shape="triangle")
pcvl.pdisplay(pc_norm, compact=True, render_size=0.5)
[197]:
A cnot based on CZ
Another interesting example we can explore is how to build a cnot from a CZ gate using qiskit or directly the CZ gate of myqlm then convert it to Perceval. We will apply the following equivalence:
The code in Qiskit:
[198]:
qiskit_circuit = QuantumCircuit(2)
# Add (CNOT) built using equivalence with H-CZ-H
qiskit_circuit.h(1)
qiskit_circuit.cz(0, 1)
qiskit_circuit.h(1)
# Draw the circuit
qiskit_circuit.draw()
[198]:
q_0: ──────■────── ┌───┐ │ ┌───┐ q_1: ┤ H ├─■─┤ H ├ └───┘ └───┘
Then we call the converter like the previous example
[199]:
state = Statevector.from_int(0, 2**3)
state = state.evolve(qiskit_circuit)
qiskit_converter = QiskitConverter(catalog, backend_name="SLOS")
quantum_processor = qiskit_converter.convert(qiskit_circuit)
pcvl.pdisplay(quantum_processor, recursive=True) # the perceval processor can be displayed at this point if needed
[199]:
[200]:
input_states = [pcvl.BasicState([1, 0, 1, 0]), pcvl.BasicState([1, 0, 0, 1]), pcvl.BasicState([0, 1, 1, 0]), pcvl.BasicState([0, 1, 0, 1])]
analyzer = Analyzer(quantum_processor, input_states)
pcvl.pdisplay(analyzer)
|1,0,1,0> | |1,0,0,1> | |0,1,1,0> | |0,1,0,1> | |
---|---|---|---|---|
|1,0,1,0> | 1 | 0 | 0 | 0 |
|1,0,0,1> | 0 | 1 | 0 | 0 |
|0,1,1,0> | 0 | 0 | 0 | 1 |
|0,1,0,1> | 0 | 0 | 1 | 0 |
This is the truth table of a CNOT gate
Conversion from MyQLM Circuit
Analogous to QiskitConverter
, employ a MyQLMConverter
object to convert a MyQLM circuit to a Perceval processor with each qubit of the circuit represented by 2 modes and additional modes for ancillary photons to perform deterministically two-qubit gates. (Read above in section for qiskit converter for a discussion on how ancillary modes are set).
Circuit to generate GHZ State in MyQLM
[201]:
# Create a myqlm program
qprog = qataqasm.Program()
# Allocate qbits to the Program
qbits = qprog.qalloc(3)
# Add gates
qprog.apply(qataqasm.H, qbits[0])
qprog.apply(qataqasm.CNOT, qbits[0], qbits[1])
qprog.apply(qataqasm.CNOT, qbits[0], qbits[2])
# Convert program to myqlm circuit
myqlm_circuit = qprog.to_circ()
myqlm_circuit.display()
Conversion of Myqlm circuit to Perceval
[202]:
myqlm_converter = MyQLMConverter(catalog, backend_name="Naive")
converted_processor = myqlm_converter.convert(myqlm_circuit, use_postselection=True)
pcvl.pdisplay(converted_processor, recursive=True)
[202]:
[205]:
# computing results with converted processor from myqlm
converted_processor.with_input(pcvl.LogicalState([0,0,0]))
sampler = Sampler(converted_processor)
output_distribution_myqlm_pcvl = sampler.probs()["results"]
pcvl.pdisplay(output_distribution_myqlm_pcvl, precision=1e-2, max_v = 4)
state | probability |
---|---|
|1,0,1,0,1,0> | 1/2 |
|0,1,0,1,0,1> | 1/2 |
|1,0,0,1,1,0> | 0 |
|0,1,1,0,0,1> | 0 |
Note : The result is exactly the same as previously obtained from converter from Qiskit and is also the expected result.
Few remarks
Controlflow operations such as measurement operator in the qiskit ciruit or
qiskit.circuit.QuantumCircuit.if_test
are not supported.Custom gates from Qiskit are also not supported at the moment (see Issue#201).
Only 1-Qubit gates and the following 2-Qubits gates - CNOT, CSIGN(/CZ), and, SWAP from MyQLM are supported.