Unanswered Questions
2,382 questions with no upvoted or accepted answers
15
votes
0
answers
679
views
Relation between quantum entanglement and quantum state complexity
Both quantum entanglement and quantum state complexity are important in quantum information processing. They are usually highly correlated, i.e., roughly a state with a higher entanglement corresponds ...
13
votes
0
answers
308
views
Is HHL still BQP-complete when the matrix entries are only in {0,1}?
I'm studying BQP-completeness proofs of a number of interesting problems of Janzing and Wocjan, and Wocjan and Zhang. Janzing and Wocjan show that estimating entries of matrix powers $(A^m)_{ij}$ with ...
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 ...
12
votes
0
answers
347
views
What is the Generalized Quantum Stein's Lemma and why is it important?
I'm sensing a lot of buzz about potential re-proofs of the Generalized Quantum Stein's Lemma - a generalization of the quantum counterpart to the classical Stein's Lemma, which is of some importance ...
12
votes
0
answers
134
views
Active improving of nanodiamond surfaces for NV centers?
This question is related (and complementary) to "Passive improving of nanodiamond surfaces for NV centers?".
Nitrogen-Vacancy centers (NVs) have astonishing quantum properties, which make them ...
11
votes
0
answers
143
views
Are there separable $\rho$ that cannot be decomposed with less than $\operatorname{rank}(\rho)^2$ pure product states?
In What separable $\rho$ only admit separable pure decompositions with more than $\mathrm{rank}(\rho)$ terms?, examples were given of separable states $\rho$ with separable decompositions requiring ...
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 ...
11
votes
0
answers
207
views
Estimate/determine Bures separability probabilities making use of corresponding Hilbert-Schmidt probabilities
For two-qubit states, represented by a $4\times 4$ density matrix, the generic state is described by 15 real parameters. For ease of calculation, it can help to consider restricted families of states, ...
11
votes
1
answer
195
views
Empirical Algorithmics for Near-Term Quantum Computing
In Empirical Algorithmics, researchers aim to understand the performance of algorithms through analyzing their empirical performance. This is quite common in machine learning and optimization. Right ...
10
votes
0
answers
636
views
Can we use quantum phase estimation to learn anything about the dynamics of puzzles like the Rubik's cube?
Introduction
Consider a state $\vert\psi\rangle$ such as below, which is in a superposition of a difference between a Rubik's cube in a solved state and a Rubik's cube in the "superflip" ...
10
votes
0
answers
110
views
Entanglement-assisted hashing bound for asymmetric depolarizing channels
I reading the paper EXIT-Chart Aided Quantum Code Design
Improves the Normalised Throughput
of Realistic Quantum Devices, which proposes the use of QTCs in order to do quantum error correction for ...
10
votes
0
answers
146
views
Strong vs weak simulations and the polynomial hierarchy collapse
(Edited to make the argument and the question more precise)
An argument for quantum computational "supremacy" (specifically in Bremner et al. and the Google paper) assumes that there exists a ...
10
votes
0
answers
218
views
Entanglement transfer of spin-entangled triplet-pair states between flying qubits and stationary qubits
The context: We are in the solid state. After a photon absortion by a system with a singlet ground state, the system undergoes the spin-conserving fission of one spin singlet exciton into two spin ...
9
votes
0
answers
374
views
Can you programatically check whether a given set of gates is universal?
I am wondering if there is an automated way to determine whether a given set of quantum operations is universal.
More precisely, given a set of 1 and 2 qubit gates, can we write a program to determine ...
9
votes
0
answers
430
views
Is there a BQP algorithm for each level of the polynomial hierarchy PH?
This question is inspired by thinking about quantum computing power with respect to games, such as chess/checkers/other toy games. Games fit naturally into the polynomial hierarchy $\mathrm{PH}$; I'm ...