Skip to main content

Questions tagged [gate-synthesis]

For questions about finding (short) gate sequences to implement a specific unitary operation, for example decomposing a complicated multi-qubit gate into a sequence of basic gates. It might apply to optimizing circuits with respect to length or depth or finding gate sequences to implement an algorithm.

3 votes
0 answers
126 views

I want to implement a unitary operation $U$ on $n$ qubits, which performs the following mapping on computational basis states: $$U|i\rangle = |2^i\rangle,\quad \forall i \in [0, n-1]$$ When $i\geq n$, ...
Matthias's user avatar
  • 313
0 votes
0 answers
49 views

Currently writing a QASM parser and wondering if this is the proper way to parse a program using a DAG (Deutsch's from QASMBench in this example). The output from Deutsch's would be: ...
Abe Brege's user avatar
1 vote
1 answer
66 views

The paper mentions that the following state can be prepared efficiently (in terms of parameter $L$). (Page 7 of this paper) $$|{\eta}\rangle = \frac{1}{\sqrt{L+1}}\sum_{j=0}^{L} U_j\cdots U_1\Big(|{\...
Manish Kumar's user avatar
3 votes
2 answers
80 views

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)?
delete000's user avatar
  • 233
2 votes
1 answer
95 views

I recently noticed that some quantum computers supply native gate $$iSWAP_{\theta} = e^{-i \theta (XX + YY)}.$$ I wonder, how do I build a circuit for $$e^{-i \theta Z\otimes(XX + YY)}$$ Is this one ...
Daniele Cuomo's user avatar
1 vote
1 answer
184 views

What I'm looking for is something that takes a standard gate (simple paulis for example) and give its fusion based (FBQC) equivalent; this would be two sets of pauli strings on n qubits : the first ...
unknown's user avatar
  • 2,994
2 votes
1 answer
127 views

I'm reading through this recent survey paper and on page 18 it states that "every quantum circuit can be transformed into a canonical form : product of (clifford gate)* ($\pi/8$ pauli-product ...
unknown's user avatar
  • 2,994
2 votes
1 answer
107 views

Given a stabilizer code, there are several ways to transform it to an equivalent code (same n,k,d). The "standard form" is one option and it seems to have lower CX and CZ gate count needed ...
unknown's user avatar
  • 2,994
7 votes
1 answer
243 views

Let $U$ be a unitary operator acting on $d$ qubits constructed by taking tensor products of single-qubit rotation gates. Let $C^nU$ denote a controlled-$U$ operation, where the control is implemented ...
user82261's user avatar
  • 315
1 vote
1 answer
189 views

Clifford+Toffoli+M is a universal gate set. What's a cheap way to approximately (or exactly) get a T state using this gate set? I know that once I have a T state I can catalyze more very easily, but ...
Craig Gidney's user avatar
  • 50.1k
1 vote
0 answers
92 views

I know that a Givens rotation is the product of a $X\otimes X$ and a $Y\otimes Y$ rotation. Each Pauli string rotation can be reduced to a single qubit rotation (see Fig. 2 in [1] or Fig 12. in [2] ...
Pablo's user avatar
  • 603
2 votes
0 answers
104 views

I have a quantum computer that cannot implement the gate $U$ by itself, and needs help in the form of a magic state $|U\rangle$ held in another register. Is there a general-purpose procedure for ...
William Schober's user avatar
1 vote
1 answer
305 views

I want to create a gate that, given a sequence of qbits that encode n, transforms that sequence in n+1, in other words the successor function. I managed to do it in qiskit by writing this: ...
ThePirate42's user avatar
1 vote
2 answers
303 views

Consider the unitary matrix $A \in \mathbb{R}^{n^2\times n^2}$ which has only the first $n$ rows explicitly defined, with the remaining rows having some flexibility. $A$ can be written in block form ...
thespaceman's user avatar
3 votes
1 answer
271 views

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 ...
Matt Harrigan's user avatar

15 30 50 per page
1
2 3 4 5
16