Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 6313

For questions about the construction of complex circuits using elementary quantum gates.

3 votes
1 answer
1k views

Matrix mod 2 multiplication

There was a similar question asked here, but I feel like mine is even more basic. What's the easiest way to implement a circuit $U$ corresponding to a matrix-vector multiplication modulo 2? $$ |x_1x …
mavzolej's user avatar
  • 2,221
2 votes
0 answers
240 views

Preparing arbitrary two- and multi-qubit states with real amplitudes

Is it correct that the following circuit can produce any two-qubit state with real amplitudes? (Meaning that for any set of the four real amplitudes there exists a set of angles...) If so, should …
mavzolej's user avatar
  • 2,221
0 votes
1 answer
207 views

Circuits acting on subsets of qubits in other circuits

I am trying to figure out what is the best way of dealing with registers while constructing circuits from abstract blocks. Consider the following subcircuit: \begin{equation} U|x\rangle|y\rangle|z\ran …
mavzolej's user avatar
  • 2,221
4 votes
1 answer
306 views

How do I construct a circuit to reshuffle some computational basis vectors?

I would like to construct a quantum circuit s.t. It maps a certain (relatively small) subset of computational basis vectors onto a different subset of those, e.g. $$ |0101001\rangle \to |1000010\ran …
mavzolej's user avatar
  • 2,221
2 votes
1 answer
109 views

Preparing a linear combination of two $1$-occupied states

I apologize for a simple question, should be quite trivial. How do I construct a circuit for preparing such a state? $$ |0\rangle^n \mapsto \cos(\theta)|0...0\underset{i}{1}0...0\rangle + \sin(\theta) …
mavzolej's user avatar
  • 2,221
9 votes
2 answers
659 views

Preparing any superposition of fixed Hamming weight states

There exists a nice way of preparing any superposition (with real amplitudes — this is the case I'm interested in) of states $\{\ldots0001\rangle,\,|\ldots0010\rangle,\,|\ldots0100\rangle,\ldots\}$, e …
mavzolej's user avatar
  • 2,221
2 votes
2 answers
74 views

Check if $|\psi\rangle$ is equal to a fixed basis state using the standard set of gates

Consider a circuit acting on $n\geq2p+1$ qubits. The first $p$ qubits encode some unknown state $|\psi\rangle$. Next $p$ qubits encode a fixed given basis state $|\phi\rangle=|\ldots f_2f_1f_0\rangle$ …
mavzolej's user avatar
  • 2,221
0 votes
0 answers
203 views

Adding a phase to a circuit using standard gates

How do I add an arbitrary overall phase to the circuit using standard gates? Yes, I know that the overall phase it irrelevant, yet this is only true until you control the circuit on extra qubits. Yes, …
mavzolej's user avatar
  • 2,221
6 votes
2 answers
269 views

Exponentiating Pauli matrices using trapped ion native gates (single-qubit rotations + XX, Y...

I'm wondering what are the known/good/standard ways of exponentiating Pauli terms (i.e. constructing circuits, which implement $\exp(i\alpha XIIZYI...)$) using gates supported by trapped ion quantum c …
mavzolej's user avatar
  • 2,221
4 votes
0 answers
48 views

Trading gates for qubits in the Hadamard test for $\langle 0| V^\dagger G U | 0\rangle$... u...

In this paper, the measurement of the real part of the matrix element of a Hermitian&unitary operator $G$ between the states $U|0\rangle$ and $V|0\rangle$ (i.e. $\langle 0| V^\dagger G U | 0\rangle$) …
mavzolej's user avatar
  • 2,221
3 votes
2 answers
308 views

Block encoding of a diagonal matrix with equidistant eigenvalues

What would be the simplest way to construct a block encoding circuit $U_A$ for a $2^n\times 2^n$ matrix $A$ proportional to $\operatorname{diag}(0,1,2,\ldots,2^n-1)$? A couple of options I can imagine …
mavzolej's user avatar
  • 2,221
5 votes
1 answer
160 views

Implementing $a^\dagger|\psi\rangle$

One way or another, I would like to implement the action of the second-quantized creation operator on a quantum state: $|\psi\rangle\mapsto a^\dagger|\psi\rangle$. The motivation, of course, comes fro …
mavzolej's user avatar
  • 2,221
8 votes
1 answer
72 views

Exponentiating a product of QFT-related operators

Is there a smart way to implement $e^{i\theta\,\Phi\,\rm{QFT} \, \Phi \, \rm{QFT}^\dagger}$, where both $\Phi \propto\sum_j2^jZ_j$ and $\rm{QFT}$ act on the same set of registers? Even an approximate …
mavzolej's user avatar
  • 2,221
2 votes
1 answer
881 views

Uniform superposition of states with one qubit set to $|1\rangle$ and others to $|0\rangle$

I am wondering what a circuit should look like if I want to prepare the state of the following form: $$ |0\rangle^{\otimes n} \mapsto \dfrac{ |1000\ldots0\rangle + |0100\ldots0\rangle + |0010\ldots0\r …
mavzolej's user avatar
  • 2,221
2 votes
1 answer
46 views

Comparing qubit values in pairs of qubits

For $2N$ qubits $\{i_1,j_1\ldots i_N,j_N\}$ I would like to have a circuit changing the value of an ancillary register from $0$ to $1$ if $i_1=j_1$ AND $i_2=j_2$ AND ... AND $i_N=j_N$. One way to cons …
mavzolej's user avatar
  • 2,221

15 30 50 per page