5,506 research outputs found
Universal recovery map for approximate Markov chains
A central question in quantum information theory is to determine how well
lost information can be reconstructed. Crucially, the corresponding recovery
operation should perform well without knowing the information to be
reconstructed. In this work, we show that the quantum conditional mutual
information measures the performance of such recovery operations. More
precisely, we prove that the conditional mutual information of a
tripartite quantum state can be bounded from below by its distance
to the closest recovered state , where the
-part is reconstructed from the -part only and the recovery map
merely depends on . One particular
application of this result implies the equivalence between two different
approaches to define topological order in quantum systems.Comment: v3: 31 pages, 1 figure, application to topological order of quantum
systems added (Section 3). v2: 29 pages, relation to [Wilde,
arXiv:1505.04661] clarified (Remark 2.5
Recoverability in quantum information theory
The fact that the quantum relative entropy is non-increasing with respect to
quantum physical evolutions lies at the core of many optimality theorems in
quantum information theory and has applications in other areas of physics. In
this work, we establish improvements of this entropy inequality in the form of
physically meaningful remainder terms. One of the main results can be
summarized informally as follows: if the decrease in quantum relative entropy
between two quantum states after a quantum physical evolution is relatively
small, then it is possible to perform a recovery operation, such that one can
perfectly recover one state while approximately recovering the other. This can
be interpreted as quantifying how well one can reverse a quantum physical
evolution. Our proof method is elementary, relying on the method of complex
interpolation, basic linear algebra, and the recently introduced Renyi
generalization of a relative entropy difference. The theorem has a number of
applications in quantum information theory, which have to do with providing
physically meaningful improvements to many known entropy inequalities.Comment: v5: 26 pages, generalized lower bounds to apply when supp(rho) is
contained in supp(sigma
Recovery from Linear Measurements with Complexity-Matching Universal Signal Estimation
We study the compressed sensing (CS) signal estimation problem where an input
signal is measured via a linear matrix multiplication under additive noise.
While this setup usually assumes sparsity or compressibility in the input
signal during recovery, the signal structure that can be leveraged is often not
known a priori. In this paper, we consider universal CS recovery, where the
statistics of a stationary ergodic signal source are estimated simultaneously
with the signal itself. Inspired by Kolmogorov complexity and minimum
description length, we focus on a maximum a posteriori (MAP) estimation
framework that leverages universal priors to match the complexity of the
source. Our framework can also be applied to general linear inverse problems
where more measurements than in CS might be needed. We provide theoretical
results that support the algorithmic feasibility of universal MAP estimation
using a Markov chain Monte Carlo implementation, which is computationally
challenging. We incorporate some techniques to accelerate the algorithm while
providing comparable and in many cases better reconstruction quality than
existing algorithms. Experimental results show the promise of universality in
CS, particularly for low-complexity sources that do not exhibit standard
sparsity or compressibility.Comment: 29 pages, 8 figure
Universal recovery maps and approximate sufficiency of quantum relative entropy
The data processing inequality states that the quantum relative entropy
between two states and can never increase by applying the same
quantum channel to both states. This inequality can be
strengthened with a remainder term in the form of a distance between and
the closest recovered state , where
is a recovery map with the property that . We show the existence of an explicit recovery map
that is universal in the sense that it depends only on and the quantum
channel to be reversed. This result gives an alternate,
information-theoretic characterization of the conditions for approximate
quantum error correction.Comment: v3: 24 pages, 1 figure, final version published in Annales Henri
Poincar\'
The Fidelity of Recovery is Multiplicative
Fawzi and Renner [Commun. Math. Phys. 340(2):575, 2015] recently established
a lower bound on the conditional quantum mutual information (CQMI) of
tripartite quantum states in terms of the fidelity of recovery (FoR),
i.e. the maximal fidelity of the state with a state reconstructed from
its marginal by acting only on the system. The FoR measures quantum
correlations by the local recoverability of global states and has many
properties similar to the CQMI. Here we generalize the FoR and show that the
resulting measure is multiplicative by utilizing semi-definite programming
duality. This allows us to simplify an operational proof by Brandao et al.
[Phys. Rev. Lett. 115(5):050501, 2015] of the above-mentioned lower bound that
is based on quantum state redistribution. In particular, in contrast to the
previous approaches, our proof does not rely on de Finetti reductions.Comment: v2: 9 pages, published versio
Good approximate quantum LDPC codes from spacetime circuit Hamiltonians
We study approximate quantum low-density parity-check (QLDPC) codes, which
are approximate quantum error-correcting codes specified as the ground space of
a frustration-free local Hamiltonian, whose terms do not necessarily commute.
Such codes generalize stabilizer QLDPC codes, which are exact quantum
error-correcting codes with sparse, low-weight stabilizer generators (i.e. each
stabilizer generator acts on a few qubits, and each qubit participates in a few
stabilizer generators). Our investigation is motivated by an important question
in Hamiltonian complexity and quantum coding theory: do stabilizer QLDPC codes
with constant rate, linear distance, and constant-weight stabilizers exist?
We show that obtaining such optimal scaling of parameters (modulo
polylogarithmic corrections) is possible if we go beyond stabilizer codes: we
prove the existence of a family of approximate QLDPC
codes that encode logical qubits into physical
qubits with distance and approximation infidelity
. The code space is
stabilized by a set of 10-local noncommuting projectors, with each physical
qubit only participating in projectors. We
prove the existence of an efficient encoding map, and we show that arbitrary
Pauli errors can be locally detected by circuits of polylogarithmic depth.
Finally, we show that the spectral gap of the code Hamiltonian is
by analyzing a spacetime circuit-to-Hamiltonian
construction for a bitonic sorting network architecture that is spatially local
in dimensions.Comment: 51 pages, 13 figure
Finite correlation length implies efficient preparation of quantum thermal states
Preparing quantum thermal states on a quantum computer is in general a
difficult task. We provide a procedure to prepare a thermal state on a quantum
computer with a logarithmic depth circuit of local quantum channels assuming
that the thermal state correlations satisfy the following two properties: (i)
the correlations between two regions are exponentially decaying in the distance
between the regions, and (ii) the thermal state is an approximate Markov state
for shielded regions. We require both properties to hold for the thermal state
of the Hamiltonian on any induced subgraph of the original lattice. Assumption
(ii) is satisfied for all commuting Gibbs states, while assumption (i) is
satisfied for every model above a critical temperature. Both assumptions are
satisfied in one spatial dimension. Moreover, both assumptions are expected to
hold above the thermal phase transition for models without any topological
order at finite temperature. As a building block, we show that exponential
decay of correlation (for thermal states of Hamiltonians on all induced
subgraph) is sufficient to efficiently estimate the expectation value of a
local observable. Our proof uses quantum belief propagation, a recent
strengthening of strong sub-additivity, and naturally breaks down for states
with topological order.Comment: 16 pages, 4 figure
- …