Questions tagged [compiling]
For questions about compiling problems on quantum hardware. For annealing devices, this can include minor-embedding, quadratization, and other types of gadgetization; while for circuit-based devices this can include anything necessary to get a circuit running on a particular hardware.
30
questions
2
votes
1
answer
128
views
How do I compile a circuit to the native gateset of Quantinuum's trapped-ion devices?
Suppose I have a quantum circuit defined in pytket, qiskit or some other quantum SDK.
How do I compile my circuit to be in the native gateset of the Quantinuum trapped ion device/emulators?
- 826
2
votes
0
answers
136
views
How to build the quantum circuit ansatz to implement a diagonal unitary operator with just 1 and -1 elements?
Let's consider a set of $N = 2^n$ binary values $S_i \in \left\{-1, 1\right\}$ and define the diagonal matrix $W$ as a quantum unitary operator acting on a system of $n$ qubits:
$$
W =
\begin{pmatrix}
...
- 1,422
2
votes
2
answers
227
views
Complexity of translation between Measurement Based and Circuit Based with Error Correction
As I know, translation between measurement-based and circuit-based is polynomial, not trivial, and might not be efficient in real time. It behaves this way because given some quantum circuit, we have ...
- 1,184
3
votes
0
answers
31
views
Compiling pulses with time dependent $\sigma_x$ and $\sigma_y$ control
I have a Hamiltonian of the form:
$$
H = c_x(t) \sigma_x + c_y(t) \sigma_y$$
and I want to compile a pulse "P" that has both $\sigma_x$ and $\sigma_y$ control, with different time dependent ...
- 31
1
vote
0
answers
31
views
How to find the canonical form (i.e., phase-free representation) of a unitary matrix?
While reading Weiden and others' recent paper: Improving Quantum Circuit Synthesis with Machine Learning, I came across the notion of canonically representing a unitary matrix. More precisely, two ...
- 39
3
votes
0
answers
118
views
Can we obfuscate the identity?
Motivated by Aaronson's call to find simple, verifiable proofs of quantumness, suppose we start off with a random polynomial-length circuit $U$ of, say, Clifford+T gates, and attach $U^\dagger$ to it, ...
- 10.7k
1
vote
0
answers
43
views
Compilation of IBM's kicked-Ising experiment in terms of Pauli rotations
I'm following this paper which classically simulates a kicked-Ising experiment, in response to IBM's recent Nature paper. The quantum circuit in question consists of alternating layers of $R_{ZZ}\left(...
- 196
4
votes
1
answer
67
views
Computing the Bloch sphere representation of an arbitrary operator in $U(2)$
Computing the Matsumoto-Amano normal form of an operator in $U(2)$ involves finding the Bloch sphere representation of said operator, see Remarks on Matsumoto and Amano’s normal form for single-qubit ...
- 443
3
votes
2
answers
103
views
How could compiler optimisations be used with fault-tolerant quantum circuits?
It is fairly well known that in a NISQ context you can often boost the fidelity of your quantum circuit by reducing the gate count and depth of your circuit. For example you can use the KAK ...
- 826
0
votes
1
answer
69
views
Pytket's SquashTK1 pass changes symbolic parameters of gates into complicated expressions
For a very simple circuit, such as
from pytket.circuit import Circuit, fresh_symbol
a = fresh_symbol("a")
circ = Circuit(1)
circ.X(0)
circ.Ry(a,0)
the ...
1
vote
1
answer
233
views
How to specify custom gate set for the optimization in pytket?
I have a specific basis gate set for my system, is it possible to use pytket's predefined optimization sequences and ask it to give a final circuit using my specific gate set?
- 43
5
votes
1
answer
158
views
How is randomized compiling actually helpful: experimentally, a gate is not "perfect" followed by some noise acting "after"
I am currently learning randomized compiling with this paper which seems to be the "main" reference on this topic (at least many papers refer to this one).
However, I do not understand how ...
- 1,404
1
vote
1
answer
41
views
Which method does pyQuil use to compile a Program?
I want to find out which method different compilers use to decompose a matrix into smaller gates. I went through the pyQuil code on github but could not find the answer there. Maybe i lost track of ...
- 171
1
vote
0
answers
34
views
Is there a method in pyQuil to create logical boolean gates
is there another way to represent a boolean gate. The straight forward way would be to define a gate my a matrix and then apply this gate to the circuit. What i mean by that? For Example an AND-Gate ...
- 171
0
votes
2
answers
70
views
How $X$ noise propagates through controlled-$S$ gate
I am struggling to find how an $X$ noise propagates through a controlled-$S$ gate.
Here`s the circuit.
- 1,566
7
votes
2
answers
1k
views
How are quantum circuits run on real quantum computers?
Sorry if this question sounds trivial, however I'm struggling to get the intuition of how quantum circuits are actually run on real quantum hardware.
As far as I know, in a simulated environment, ...
- 497
2
votes
1
answer
113
views
High level implementation of quantum oracles
My question is related to a similar question which did not get a satisfactory answer. Since it was asked in 2020 and was somewhat general, I hope to ask a similar question in 2022 with a concrete ...
- 2,369
2
votes
1
answer
97
views
Rigetti "Timeout on client tcp://127.0.0.1:5555, method name quil_to_native_quil" error
I am trying to run a relatively large quantum circuit on Rigetti's Aspen-11. I have a reservation for later today, but I am getting an error when running the code. I know that if you use:
...
- 99
4
votes
1
answer
422
views
Is there a way to decompose a quantum circuit into a Clifford subcircuit and a non-Clifford subcircuit?
Is there any way of decomposing a arbitrary quantum circuit into two sub circuits, first of them being composed only of Clifford gates and the second one only of non-Clifford gates?
Thank you!
- 116
5
votes
2
answers
127
views
How to get IonQ Task's Native Instructions/Decomposition (Amazon Braket)
When you run something on one of IBM's free computers, you can look up what it actually ran; i.e. it gives you the decomposition of the circuit you told it to run.
When running on IonQ with Amazon's ...
- 464
8
votes
1
answer
678
views
Is the Solovay-Kitaev theorem relevant for modern hardware?
The Solovay-Kitaev theorem (and more recent improvements) explains how to efficiently compile any 2-qubit unitary into any universal (dense) finite set of gates. My question is if this theorem is ...
- 1,515
0
votes
0
answers
76
views
Compilation with ScaffCC compared to Qiskit's Transpiler
I am new to ScaffCC and wanted to ask if ScaffCC has the ability to compile a program to a limited connectivity machine? Similar to Qiskit's Transpiler ability?
- 43
5
votes
4
answers
463
views
Software tools to train quantum circuits with parameters
I want to play with the following problem. Given a unitary $U$ with parameters $\theta$ I want to optimize these parameters to make $U$ match some target unitary $V$, i.e. to find $\operatorname{...
- 1,515
9
votes
2
answers
1k
views
Transpilation into custom gate set in qiskit
In qiskit, I can transpile a given circuit into a some predefined gate set as follows (just an example)
...
- 1,515
2
votes
1
answer
513
views
Qiskit logical to physical qubit mapping
I want to run a simulation using qasm with a realistic noise model from a backend, specifying a coupling_map as well as an ...
- 551
2
votes
1
answer
159
views
Qiskit: 3 applications of identity with arbitrary SU(2) is universal?
We know that the CNOT gate together with arbitrary SU(2) gates can be used to perfectly implement arbitrary SU(4) gates with 3 applications of the CNOT.
I am using the Qiskit library and testing how ...
- 151
5
votes
1
answer
589
views
Two qubit gate decomposition using Qiskit
I am writing some python code to be able to optimise the total error in two qubit gate decomposition.
I am using the Qiskit module qiskit.quantum_info.synthesis.two_qubit_decompose
My question relates ...
- 151
3
votes
2
answers
445
views
What are the available compilers for Trapped-Ion Quantum Computing Architecture?
I am looking for a compiler to compile a high-level quantum circuit for the Trapped-Ion Quantum Computing architecture, i.e. a compiler that can translate a high-level circuit to native gates of the ...
- 419
2
votes
0
answers
94
views
Length / transpilation issues with Grover's algorithm
I would like to discuss the discrepancies between what we see in the simulator versus what we see in the actual running of the code on any IBMQ machine for any qubits at 5 or above. I am doing a final ...
7
votes
1
answer
1k
views
Would IBM's "compiler" turn my identity circuit into nothing?
If I were to create a circuit with the following gate:
$$\tag{1}R_\phi = \begin{bmatrix} 1 & 0 \\ 0 & e^{i \phi} \end{bmatrix},$$
with $\phi$ specified to be equal to 0, then the gate that I ...
- 13.5k