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.
40 questions
1
vote
1
answer
75
views
Drawbacks of writing a compiler in Smalltalk
Sorry for the vague title, what I’m really asking is: when writing a compiler for a quantum DSL, many languages have chosen an imperative or functional host language. Few, if any, have chosen a purely ...
- 13
3
votes
2
answers
80
views
Synthesis of single-qubit rotation in time $O(\log(1/\epsilon))$
Can a gate sequence approximating a given single-qubit rotation up to precision $\epsilon$ be compiled in time $O(\log(1/\epsilon))$ (i.e., time strictly logarithmic and not polylog)?
- 233
3
votes
1
answer
270
views
Is Controlled$(R_z(\theta))$ more expensive than Controlled$(Z^t)$ on the surface code?
There are (at least) two conventions for single-qubit, arbitrary-angle Z rotations in quantum computing, which I will call Rz(theta) and Z^t.
$$
R_Z(\theta) = \exp(-i \theta Z/2) = \mathrm{diag}(e^{-i ...
1
vote
0
answers
60
views
Qiskit not efficiently compiling with new gate basis
I am using Qiskit to compile a small Qiskit circuit (shown below) with a gate basis consisting of Rigetti native gates:
RZ
...
2
votes
1
answer
111
views
How does the cirq compilation process work?
Cirq compilation process.
I cannot find the documentation that describes the internal structure of the library Cirq by Google.
There is much information related to high level functions, but none ...
- 21
1
vote
0
answers
104
views
Deriving circuit templates for Hamiltonian simulation
Background
I've been reading the paper entitled Some improvements to product formula circuits
for Hamiltonian simulation. The authors propose three improvements motivated by phase estimation type ...
- 1,260
2
votes
0
answers
359
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,644
3
votes
0
answers
59
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
6
votes
0
answers
215
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, Hadamard+CCNOT (Toffoli) or CSWAP (Fredkin) ...
- 16.3k
4
votes
1
answer
133
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 ...
- 483
0
votes
1
answer
120
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 ...
6
votes
1
answer
649
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 ...
- 2,490
1
vote
0
answers
52
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 ...
- 301
7
votes
2
answers
2k
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, ...
- 527
2
votes
1
answer
118
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:
...
user21057
5
votes
2
answers
222
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 ...
- 484
6
votes
4
answers
703
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,745
2
votes
1
answer
1k
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 ...
- 571
5
votes
1
answer
861
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 ...
- 161
2
votes
0
answers
142
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 ...