17
votes
Accepted
Comparing method of differentiation in variational quantum circuit
Both finite differences and the parameter-shift rule can be used to compute quantum gradients on quantum hardware. However, there are several reasons that lead to the parameter-shift rule being ...
15
votes
Accepted
What's the role of mixer in QAOA?
Probably the easiest way to understand this is to pretend that the mixer is NOT there and see what happens. So, let's assume you have some initial state $\lvert \psi \rangle = \sum_x \psi_x \lvert x \...
10
votes
Accepted
Is there a general method of expressing optimization problem as a Hamiltonian?
As requested in the comments, here is a worked example. The main body deals with minimizing $f(x)$ for a specific problem. At the bottom follows a brief discussion of constraints then a brief ...
8
votes
Accepted
How to maximise over linear functionals of quantum channels?
For the specific linear function you are interested in, the solution turns out to be trivial: you can take the channel to be $N_{X\rightarrow Y}(\rho) = \operatorname{Tr}(\rho) |\psi\rangle\langle \...
8
votes
Accepted
What are the differences between the different transpiler optimization levels in qiskit
These levels are provided via "preset passmanagers" in Qiskit. These are simple-to-use transpiler pipelines, but you can also build your own passmanager pipeline. You can see what each does by ...
7
votes
Accepted
What is the difference between QAOA and Quantum Annealing?
One of the advantages, as stated in the paper you linked, is that with QAOA you can increase the precision arbitrarily, whereas QA will only find the solution with probability 1 as $T \to \infty$ ...
7
votes
What exactly happening in QAOA in a general way?
A precursor to the canonical QAOA is the Quantum Adiabatic Algorithm (QAA). Since we want to end up in the ground state of the Cost Hamiltonian ($H_C$) but don't know how to construct it, we exploit ...
7
votes
Accepted
How to show mathematically the equivalency between Ising Model and QUBO?
The relation between "Ising" and binary variables is following
$$
x_i = \frac{1 + s_i}{2},
$$
where $s_i$ is a spin and $x_i$ is a binary variable. Clearly setting $s_i = -1$ leads to $x_i = ...
7
votes
Accepted
T-depth in Qiskit
The depth method can be customized with a gate subset you want to consider. To compute the $T$-depth you most likely want to include both $T$ and $T^\dagger$ gates. ...
6
votes
Accepted
QAOA for MaxCut - Algorithm motivation
What motivated this construction is mentioned in the original paper (section VI): adiabatic quantum computing. This construction is basically a Trotterized version of the evolution by the time ...
6
votes
Accepted
How to convert QUBO problem to Ising Hamiltonian?
Maybe this will help. Let's take a simple case:
$$f(x_1, x_2) = -2x_1 x_2$$
Then it is minimum when $x_1 = x_2 = 1$. Now let's take this Hamiltonian:
$$H_f = -2Z \otimes Z$$
The Hamiltonian is minimum ...
6
votes
Complexity of $n$-Toffoli with phase difference
(This answer uses ancillae and feedback)
Does anyone know if there has been any improvement on the decomposition of the general n-qubits control X with phase differences in terms of elementary gates ...
6
votes
Accepted
Under what conditions the minimum eigengap is non-zero?
I think this is formally undecidable.
In detail, Cubitt, Perez-Garcia, and Wolf (arxiv, Nature) reduced the problem of determining the gap of a translationally-invariant Hamiltonian to the problem of ...
6
votes
Does QAO Ansatz have any better performance guarantees than QAOA?
The statement that "as $p \rightarrow \infty$, the minimum of the objective function is reached" is not correct. In fact, it is a pretty meaningless statement.
Commonly, a QAOA circuit has $...
6
votes
Accepted
Does the gradient commute with the partial trace?
In brief: it is because differentiation and (partial) traces are linear operations, so we can pull them through each other.
Physically, one might interpret this as the fact that it doesn't matter ...
6
votes
Accepted
Is there any mathematical technique to find the exact solution of a QUBO problem?
The short answer: QUBO problems are known to be NP-hard. So, there should be no analytical solution.
The long answer:
You seem confused about solving quadratic problems, eigenvalues and the meaning of ...
5
votes
Accepted
How to tell if the ground states of two Hamiltonians are solutions of the same optimization problem?
Short Answer: It is potentially hard (as bRost03 indicates in the comments). To be precise, coNP-hard.
Longer Answer:
In adiabatic quantum computation, the ground-...
5
votes
Does the Qiskit ADMM optimizer really run on quantum computers?
The ADMM optimizer is a classical optimizer that will be execute on the classical computer.
Nowadays, because of the limitation of the hardware, we see a lot of hybrid quantum-classical algorithms. In ...
5
votes
Accepted
Cost of SWAP gate
Swaps are never truly free. The papers you linked are just ignoring the cost of routing, and then hiding the cost of swapping in that ignorance.
We ignore all concerns of layout and communication ...
5
votes
Accepted
Choosing a different optimizer when running QAOA in qiskit
The optimizers in Qiskit need to be instantiated then you can call their minimize() method. ...
5
votes
Accepted
Optimization in QAOA should only return global minimum?
Since QAOA is an approximation method I would assume it is impossible to find the global minimum each time but others seem to disagree...
There's a difference between
being guaranteed to find the ...
4
votes
Accepted
Barren plateaus in quantum neural network training landscapes
First: The paper references [37] for Levy's Lemma, but you will find no mention of "Levy's Lemma" in [37]. You will find it called "Levy's Inequality", which is called Levy's Lemma in this, which is ...
4
votes
Accepted
Devising "structured initial guesses" for random parametrized quantum circuits to avoid getting stuck in a flat plateau
I am not an expert but I read a few papers and here is what I have found. Similarly to NN, people found strategies to avoid this issue with the gradients.
Basically, for some problems, you can use ...
4
votes
Accepted
Minimum number of CNOTs for Toffoli with non-adjacent controls
Here is the best construction I've found. It uses 8 CNOTs.
I verified this circuit in Quirk using the channel-state duality and a known-good inverse.
The target is the middle qubit. None of the ...
4
votes
Accepted
Resources on hybrid quantum-classical algorithms applied to combinatorial optimization problems
So for hybrid quantum-classical algorithms, I suggest looking at :
The Quantum Approximate Optimization Algorithm
Variational hybrid quantum-classical algorithms that include the so famous ...
4
votes
Accepted
Minimum number of CNOTs for a 4-qubit increment on a planar grid
Here is the best circuit I've found. It uses 14 CNOTs.
Note that this circuit is not using a linear layout! It is placed on the grid like this:
...
4
votes
Accepted
Travelling salesman problem on quantum computer
Based on comment by DaftWullie and my experience with the algortihm, it seems that a title of the article is misleading.
The authors claim that algorithm they proposed is efficient. However, this is ...
4
votes
How to explain that I get a value lower than the smallest possible through minimization procedure in VQE?
The proof of the variational theorem (the theorem that the ground state energy is the lowest possible energy you can get from $\frac{\langle \psi|H|\psi\rangle}{ \langle \psi | \psi \rangle}$) is ...
4
votes
Accepted
How does the classical optimization of the angles $\gamma$ and $\beta$ in QAOA work?
$\langle \psi_p(\gamma,\beta)|H|\psi_p(\gamma,\beta)\rangle$ is basically the function evaluation step during the optimization. If you use a gradient-free optimizer, then it uses this information to ...
4
votes
Accepted
Can QAOA be considered as simulation of a quantum annealer on a gate-based quantum computer?
If you use infinite depth then QAOA can be consider as quantum annealer on gate-based. The authors of QAOA original paper probably deduce it from quantum annealing. What I mean by infinite depth is ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
optimization × 219qiskit × 67
qaoa × 59
programming × 40
vqe × 34
quantum-algorithms × 27
annealing × 24
circuit-construction × 14
hamiltonian-simulation × 13
d-wave × 13
quantum-gate × 11
adiabatic-model × 11
resource-request × 10
quantum-computing-for-finance × 10
qubo × 10
ibm-q-experience × 8
quantum-circuit × 8
quantum-state × 7
machine-learning × 7
quantum-operation × 6
complexity-theory × 6
qiskit-runtime × 6
entanglement × 5
simulation × 5
quantum-enhanced-machine-learning × 5