Unanswered Questions
512 questions with no upvoted or accepted answers
13
votes
0
answers
270
views
Does the Curry-Howard correspondence have a quantum-specific type system?
In Wikipedia we can read that
the Curry–Howard correspondence is a correspondence between formal proof calculi and type systems for models of computation. In particular, it splits into two ...
- 3,342
11
votes
0
answers
179
views
Anti-symmetrization on the lattice
Assume, I'm using a system of qubits to simulate a fermionic system.
If I'm using the second-quantized formalism (e.g. orbitals in quantum chemistry), the anti-symmetric nature of the fermionic wave ...
- 2,221
8
votes
0
answers
212
views
Optimal estimation of quantum state overlap - Circuit implementation?
I've been reading this paper, but don't understand what their optimal method really is, and how it can be realized as a quantum circuit.
The paper mentions the "Schur transform" which has a ...
- 433
8
votes
1
answer
410
views
Enforcing a particular layout mapping in Qiskit
I would like to ask how to set a particular layout during transpiling. I guess that the layout can be set by the initial_layout parameter in the transpiler. However,...
CommunityBot
- 1
7
votes
0
answers
210
views
Run VQE for parametrized quantum circuit with ancilla qubits
Let's say we have the following circuit (picture and code shown below), and now the $q_0$ is an ancilla qubit. If the system of interest has only two qubits, Is there a way to use only $q_{1,2}$ as my ...
glS♦
- 26.9k
7
votes
0
answers
194
views
Sequential circuit using quantum gates
Without feedback/loop how can we build a sequential circuit? The basic feature of sequential circuit is that is depends not only on the current inputs but also on the previous inputs/outputs. I've ...
- 17.8k
6
votes
0
answers
297
views
Could the Hamiltonian of a 2x2 Rubik's Cube be simulated with a NISQ device?
Consider the four cells on each of the six faces of the 2x2x2 Rubik's cube (the pocket cube). We can construct and simulate a quarter-turn Hamiltonian as below. $^*$
Let $\langle F_1,U_1,R_1\rangle$ ...
- 14.4k
6
votes
2
answers
215
views
Equivalence checking of quantum circuits up to error
Suppose you are given two circuit descriptions $A$ and $B$ where by a circuit description I mean a sequence of gates (in the order they are applied) and the qubits they are applied on. (For the sake ...
CommunityBot
- 1
6
votes
0
answers
141
views
Bell State 11 not working for parity curve
I am currently writing a script to automate the creation of parity curves for a 2 qubit bell state and then calculate fidelity and proving entanglement from that (inspired by this paper). It was going ...
glS♦
- 26.9k
6
votes
0
answers
151
views
How exactly is the stated composite state of the two registers being produced using the $R_{zz}$ controlled rotations?
This is a sequel to How are two different registers being used as "control"?
I found the following quantum circuit given in Fig 5 (page 6) of the same paper i.e. Quantum Circuit Design for ...
- 17.8k
5
votes
0
answers
122
views
What is the classical cost of simulating an arbitrary quantum state?
The past couple of years has seen various groups claim quantum advantage/utility only to have their experiments efficiently simulated with classical methods, notably using tensor networks.
My question ...
glS♦
- 26.9k
5
votes
0
answers
89
views
Is circuit cutting equivalent in anyway to quantum teleportation?
I've been introduced recently to circuit cutting, and after seeing the 4 orthogonal measurements with their 8 corresponding initializations but no initial transfer of classical info, the first thing ...
5
votes
0
answers
88
views
What is the computational complexity of decomposing operators in terms of quantum gates?
I have recently worked on a problem involving a rather large Hamiltonian, which I wrote some Python code for its generation following the method in this paper.
No when I used qiskits ...
- 51
5
votes
0
answers
93
views
Arbitrary rotations in the plane spanned by two known quantum states
Suppose I have two quantum states $|\psi_1\rangle,|\psi_2\rangle$ that I know how to prepare from some fixed initial state, say $|0\rangle^{\otimes N}$ on some $N$ qubits with known quantum circuits $...
- 61.7k
5
votes
0
answers
662
views
Add noise_model when using 'ibmq_qasm_simulator' backend and provider.runtime.run() function
I am trying to test some qiskit code that employs readout-error mitigation using the ibmq_qasm_simulator backend and Qiskit Runtime. I am getting the backend as ...
- 51