Unanswered Questions
363 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
8
votes
0
answers
139
views
Query on Reduced Graph States
Reduced graph states are characterized as follows (from page 46 of this paper): Let $A \subseteq V$ be a subset of vertices of a graph $G = (V,E)$ and $B = V\setminus A$ the complement of $A$ in $V$. ...
- 24.8k
7
votes
0
answers
113
views
Tripartite quantum marginal problem
Consider a tripartite quantum system with the three subsystems labeled $A, B,$ and $C$. Now take two states $\rho_{AB}$ on the joint system $AB$ and $\rho_{BC}$ on the joint system $BC$. Under what ...
- 1,026
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
0
answers
326
views
Reduced density matrix of a Haar random state and its Schmidt decomposition
Consider a Haar random quantum state $|\psi\rangle$. Note that
$$\rho =\mathbb{E}[|\psi\rangle\langle \psi|] = \frac{\mathbb{I}_{n}}{2^{n}}.$$
$\mathbb{I}_n$ is the identity operator on $n$ qubits. ...
- 1,515
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
106
views
Pure state ensembles achieving the Holevo $\chi$-quantity with at most $d^2$ states
Theorem 8.10 in Chapter 8 of Theory of Quantum Information asserts that the Holevo capacity of a quantum channel (between density operators on $\mathbb{C}^d$) can be achieved by an ensemble consisting ...
- 2,156
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
83
views
Reduced Density Matrix Equation of Motion to describe an Ellipse
Given a pure two qubit state $|\psi_{AB}\rangle$. If we trace out system $B$, the remaining density matrix $\rho_A = Tr_B|\psi_{AB}\rangle\langle\psi_{AB}|$, can be represented as a point lying ...
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
66
views
What proportions of certain sets of PPT-two-retrit states are bound entangled or separable?
For two particular (twelve-and thirteen-dimensional) sets of two-retrit states (corresponding to 9 x 9 density matrices with real off-diagonal entries), I have been able to calculate the Hilbert-...
glS♦
- 26.9k
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 ...
