Unanswered Questions
310 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
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
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
5
votes
1
answer
718
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 ...
CommunityBot
- 1
5
votes
0
answers
113
views
What is the best way to use loop statements on a quantum computer?
I am interested in solving a time dependent linear partial differential equation of the form $Ax=b$ which, in classical computing, would amount to looping over solutions of $Ax=b$ where $b$ is updated ...
glS♦
- 26.9k
5
votes
0
answers
280
views
General mixed integer linear programming problem with quantum computers
I was wondering if anyone had a sample code for running a general MILP problem. I saw some coding for some very specific problems and I thought they were kind of far away from what we needed.
$$
\text{...
- 24.8k
5
votes
0
answers
733
views
How to build a quantum circuit representing the Ising Model?
Can someone explain to me how to build a quantum circuit representing the Ising Model? I just want to understand how to represent the Ising Model for the purposes of quantum state label classification....
- 42k
5
votes
0
answers
97
views
How to calculate the $r^{\text{th}}$ digit of $\sum ^{j−1}_{p=i}d^p_{\pm k}$ using PyQUBO?
I am going to implement "turn circuit encoding" method of
Coarse-grained lattice protein folding on a quantum annealer(Babej, Ing & Fingerhuth; 2018) using PyQUBO to run on the DWave qbsolv ...
4
votes
0
answers
68
views
Failed to load program into HAL component
I'm getting this error message when I execute my qiskit code on one of the available quantum computers of IBM:
...
4
votes
0
answers
35
views
How does it work QasmSimulator with the option "density matrix"?
I am making some simulations on IBM Quantum Lab and as backend I tried to use QasmSimulator(method = "density_matrix") in order to simulate noise. I wanted to know how this method works in ...
4
votes
0
answers
240
views
How to implement a gate that generate a uniform superposition of all permutation of element
I'm looking for a quantum circuit that permits generating a uniform superposition of all possible permutations for example if we have as input $|0123\rangle$ the output will be the uniform ...
- 2,438
4
votes
0
answers
134
views
What are some forums/resources/methods that help facilitate getting a job in quantum computing?
I've been applying to a lot of jobs involving quantum computing on LinkedIn now but the applications all seem to end up getting lost to the void and I haven't had even one reply from any of them. I ...
- 91
4
votes
0
answers
68
views
Why the pulse scheduler produces a different output from the original circuit?
As part of a larger code, I have to convert a quantum circuit into a Pulse scheduler. The problem is that the scheduler output is incompatible with the circuit output. In particular, the difference ...
glS♦
- 26.9k
4
votes
1
answer
171
views
Can the ancilla for Qiskit's mcx with mode="recursion" be dirty?
I think their implementation is close to the one from here which does use a dirty ancilla, but I just want to make sure
CommunityBot
- 1