Skip to main content
Share Your Experience: Take the 2024 Developer Survey

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.

Filter by
Sorted by
Tagged with
2 votes
0 answers
56 views

Layout error with after compilation with custom Qiskit pass manager

I am trying to implement the custom Qiskit pass manager from this paper. The code from the authors is provided here on GitHub. I am able to get the pass manager working, and a compiled circuit is ...
greelious's user avatar
  • 121
1 vote
0 answers
29 views

Cirq compilation process

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 ...
user29482's user avatar
1 vote
0 answers
39 views

Calculation of feasible operations for a certain set of primitive gates

Assume we have a set of primitive operations of a quantum processor. How can I determine the set of feasible operations or prove that a certain operation is not feasible? As an example, one could ...
qntdni's user avatar
  • 23
1 vote
0 answers
78 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 ...
Callum's user avatar
  • 1,025
2 votes
1 answer
218 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?
Callum's user avatar
  • 1,025
2 votes
0 answers
183 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} ...
SimoneGasperini's user avatar
2 votes
2 answers
240 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 ...
Ron Cohen's user avatar
  • 1,402
3 votes
0 answers
35 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 ...
Annie's user avatar
  • 31
1 vote
0 answers
33 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 ...
SML0712's user avatar
  • 39
6 votes
0 answers
166 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) ...
Mark Spinelli's user avatar
1 vote
0 answers
86 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(...
jth's user avatar
  • 368
4 votes
1 answer
76 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 ...
Ntwali B.'s user avatar
  • 443
3 votes
2 answers
119 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 ...
Callum's user avatar
  • 1,025
0 votes
1 answer
75 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 ...
Diego Olvera 's user avatar
1 vote
1 answer
320 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?
mondibrah's user avatar
5 votes
1 answer
233 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 ...
Marco Fellous-Asiani's user avatar
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 ...
Qubii's user avatar
  • 191
1 vote
0 answers
35 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 ...
Qubii's user avatar
  • 191
0 votes
2 answers
78 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.
Daniele Cuomo's user avatar
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, ...
mpro's user avatar
  • 517
2 votes
1 answer
115 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 ...
MonteNero's user avatar
  • 2,646
2 votes
1 answer
98 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: ...
Sam_QC's user avatar
  • 109
4 votes
1 answer
460 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!
Manuel Algaba's user avatar
5 votes
2 answers
145 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 ...
Ken Robbins's user avatar
8 votes
1 answer
730 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 ...
Nikita Nemkov's user avatar
0 votes
0 answers
81 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?
mondibrah's user avatar
5 votes
4 answers
512 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{...
Nikita Nemkov's user avatar
9 votes
2 answers
2k 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) ...
Nikita Nemkov's user avatar
2 votes
1 answer
687 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 ...
Durd3nT's user avatar
  • 561
2 votes
1 answer
172 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 ...
shuey97's user avatar
  • 151
5 votes
1 answer
644 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 ...
shuey97's user avatar
  • 151
4 votes
3 answers
507 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 ...
Edifice's user avatar
  • 429
2 votes
0 answers
101 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 ...
Joel Anthony Collins's user avatar
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 ...
user1271772 No more free time's user avatar