Relations between different quantum R\'enyi divergences
- URL: http://arxiv.org/abs/2012.08327v1
- Date: Sat, 12 Dec 2020 09:30:07 GMT
- Title: Relations between different quantum R\'enyi divergences
- Authors: Raban Iten
- Abstract summary: We investigate relations between the Petz quantum R'enyi divergence $barD_alpha$ and the maximum quantum R'enyi divergence $widehatD_alpha$.
We provide a new proof of the inequality $widetildeD_1(rho | sigma) leqslant widehatD_1(rho | sigma),,$ based on the Araki-Lieb-Thirring
- Score: 2.411299055446423
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Quantum generalizations of R\'enyi's entropies are a useful tool to describe
a variety of operational tasks in quantum information processing. Two families
of such generalizations turn out to be particularly useful: the Petz quantum
R\'enyi divergence $\bar{D}_{\alpha}$ and the minimal quantum R\'enyi
divergence $\widetilde{D}_{\alpha}$. Moreover, the maximum quantum R\'enyi
divergence $\widehat{D}_{\alpha}$ is of particular mathematical interest. In
this Master thesis, we investigate relations between these divergences and
their applications in quantum information theory. Our main result is a reverse
Araki-Lieb-Thirring inequality that implies a new relation between the minimal
and the Petz divergence, namely that $\alpha \bar{D}_{\alpha}(\rho \| \sigma)
\leqslant \widetilde{D}_{\alpha}(\rho \| \sigma)$ for $\alpha \in [0,1]$ and
where $\rho$ and $\sigma$ are density operators. This bound suggests defining a
"pretty good fidelity", whose relation to the usual fidelity implies the known
relations between the optimal and pretty good measurement as well as the
optimal and pretty good singlet fraction. In addition, we provide a new proof
of the inequality $\widetilde{D}_{1}(\rho \| \sigma) \leqslant
\widehat{D}_{1}(\rho \| \sigma)\, ,$ based on the Araki-Lieb-Thirring
inequality. This leads to an elegant proof of the logarithmic form of the
reverse Golden-Thompson inequality.
Related papers
- Dimension-free Private Mean Estimation for Anisotropic Distributions [55.86374912608193]
Previous private estimators on distributions over $mathRd suffer from a curse of dimensionality.
We present an algorithm whose sample complexity has improved dependence on dimension.
arXiv Detail & Related papers (2024-11-01T17:59:53Z) - Dimension Independent Disentanglers from Unentanglement and Applications [55.86191108738564]
We construct a dimension-independent k-partite disentangler (like) channel from bipartite unentangled input.
We show that to capture NEXP, it suffices to have unentangled proofs of the form $| psi rangle = sqrta | sqrt1-a | psi_+ rangle where $| psi_+ rangle has non-negative amplitudes.
arXiv Detail & Related papers (2024-02-23T12:22:03Z) - A Unified Framework for Uniform Signal Recovery in Nonlinear Generative
Compressed Sensing [68.80803866919123]
Under nonlinear measurements, most prior results are non-uniform, i.e., they hold with high probability for a fixed $mathbfx*$ rather than for all $mathbfx*$ simultaneously.
Our framework accommodates GCS with 1-bit/uniformly quantized observations and single index models as canonical examples.
We also develop a concentration inequality that produces tighter bounds for product processes whose index sets have low metric entropy.
arXiv Detail & Related papers (2023-09-25T17:54:19Z) - Statistical Learning under Heterogeneous Distribution Shift [71.8393170225794]
Ground-truth predictor is additive $mathbbE[mathbfz mid mathbfx,mathbfy] = f_star(mathbfx) +g_star(mathbfy)$.
arXiv Detail & Related papers (2023-02-27T16:34:21Z) - A new operator extension of strong subadditivity of quantum entropy [12.547444644243544]
Weak monotonicity asserts that $S(rho_AB) - S(rho_A) + S(rho_BC) - S(rho_C)geq 0$ for any tripartite density matrix $rho_ABC$.
We prove an operator inequality, which, upon taking an expectation value with respect to the state $rho_ABC$, reduces to the weak monotonicity inequality.
arXiv Detail & Related papers (2022-11-24T01:45:44Z) - Geometric relative entropies and barycentric Rényi divergences [16.385815610837167]
monotone quantum relative entropies define monotone R'enyi quantities whenever $P$ is a probability measure.
We show that monotone quantum relative entropies define monotone R'enyi quantities whenever $P$ is a probability measure.
arXiv Detail & Related papers (2022-07-28T17:58:59Z) - Learning a Single Neuron with Adversarial Label Noise via Gradient
Descent [50.659479930171585]
We study a function of the form $mathbfxmapstosigma(mathbfwcdotmathbfx)$ for monotone activations.
The goal of the learner is to output a hypothesis vector $mathbfw$ that $F(mathbbw)=C, epsilon$ with high probability.
arXiv Detail & Related papers (2022-06-17T17:55:43Z) - Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$.
It is assumed that a density matrix $rho$ can be determined from the expectation values of observables.
Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
arXiv Detail & Related papers (2021-12-14T16:29:53Z) - Monotonic multi-state quantum $f$-divergences [0.0]
We write down a class of multi-state quantum $f$-divergences and prove that they satisfy the data processing inequality.
For two states, this class includes the $(alpha,z)$-R'enyi divergences, the $f$-divergences of Petz, and the measures in citematsumoto2015new as special cases.
We conjecture that these multi-state R'enyi divergences have operational interpretations in terms of the optimal error probabilities in asymmetric multi-state quantum state discrimination.
arXiv Detail & Related papers (2021-03-17T20:10:04Z) - The $\alpha \to 1$ Limit of the Sharp Quantum R\'enyi Divergence [6.553031877558699]
Fawzi and Fawzi recently defined the sharp R'enyi divergence, $D_alpha#$, for $alpha in (1, infty)$.
By finding a new expression of the sharp divergence in terms of a minimization of the geometric R'enyi divergence, we show that this limit is equal to the Belavkin-Staszewski relative entropy.
arXiv Detail & Related papers (2021-02-12T15:35:14Z) - Defining quantum divergences via convex optimization [12.462608802359936]
We introduce a new quantum R'enyi divergence $D#_alpha$ for $alpha in (1,infty)$ defined in terms of a convex optimization program.
An important property of this new divergence is that its regularization is equal to the sandwiched (also known as the minimal) quantum R'enyi divergence.
arXiv Detail & Related papers (2020-07-24T15:28:44Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.