Unanswered Questions
453 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
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
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
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
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
158
views
Trotter error for bosons in various encodings
Mapping second-quantized bosonic modes onto qubits can be done using various encodings. Each of those have their pro et contra. Fewer qubits — more gates, and vice versa. Encoding an $N$-level bosonic ...
- 2,438
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