Unanswered Questions
372 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 ...
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,...
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 ...
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 ...
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 ...
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 ...
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 ...
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{...
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....
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
191
views
Apply a single-qubit channel between in between two circuits in Qiskit
Suppose, you have two parts of a circuit in Qiskit, qc1 and qc2 on any number of qubits such that the entire circuit is given by
...
4
votes
0
answers
615
views
How is Pauli twirling applied to a noisy gate in practice?
My understanding of Pauli Twirling mainly comes from this paper. Please, correct me if I am wrong in any part of my explanation.
General idea of Pauli twirling
The idea of Pauli Twirling is the ...
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 ...