Approximate Petz recovery from the geometry of density operators
- URL: http://arxiv.org/abs/2108.10893v4
- Date: Fri, 18 Mar 2022 22:40:14 GMT
- Title: Approximate Petz recovery from the geometry of density operators
- Authors: Sam Cree and Jonathan Sorce
- Abstract summary: For large Hilbert spaces, our bound implies that the Petz map performs quantum error correction with order-$epsilon$ accuracy.
Important roles are played by the fact that the exponential of the second sandwiched R'enyi relative entropy is quadratic in its first argument.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We derive a new bound on the effectiveness of the Petz map as a universal
recovery channel in approximate quantum error correction using the second
sandwiched R\'{e}nyi relative entropy $\tilde{D}_{2}$. For large Hilbert
spaces, our bound implies that the Petz map performs quantum error correction
with order-$\epsilon$ accuracy whenever the data processing inequality for
$\tilde{D}_{2}$ is saturated up to terms of order $\epsilon^2$ times the
inverse Hilbert space dimension. Conceptually, our result is obtained by
extending arXiv:2011.03473, in which we studied exact saturation of the data
processing inequality using differential geometry, to the case of approximate
saturation. Important roles are played by (i) the fact that the exponential of
the second sandwiched R\'{e}nyi relative entropy is quadratic in its first
argument, and (ii) the observation that the second sandwiched R\'{e}nyi
relative entropy satisfies the data processing inequality even when its first
argument is a non-positive Hermitian operator.
Related papers
- On the Constant Depth Implementation of Pauli Exponentials [49.48516314472825]
We decompose arbitrary exponentials into circuits of constant depth using $mathcalO(n)$ ancillae and two-body XX and ZZ interactions.
We prove the correctness of our approach, after introducing novel rewrite rules for circuits which benefit from qubit recycling.
arXiv Detail & Related papers (2024-08-15T17:09:08Z) - Learning with Norm Constrained, Over-parameterized, Two-layer Neural Networks [54.177130905659155]
Recent studies show that a reproducing kernel Hilbert space (RKHS) is not a suitable space to model functions by neural networks.
In this paper, we study a suitable function space for over- parameterized two-layer neural networks with bounded norms.
arXiv Detail & Related papers (2024-04-29T15:04:07Z) - Decentralized Online Learning for Random Inverse Problems Over Graphs [6.423798607256407]
We develop the convergence of the stability of the algorithm in Hilbert spaces with $_$-bounded martingale difference terms.
We show that if the network graph is connected and the sequence of forward operators satisfies the infinite-dimensional-temporal persistence of excitation condition, then the estimates of all nodes are mean square.
We propose a decentralized online learning algorithm in RKHS based on non-stationary online data.
arXiv Detail & Related papers (2023-03-20T08:37:08Z) - Sandwiched Renyi Relative Entropy in AdS/CFT [0.0]
We explore the role of sandwiched Renyi relative entropy in AdS/CFT and in finite-dimensional models of holographic quantum error correction.
In particular, we discuss a suitable generalization of sandwiched Renyi relative entropy over finite-dimensional von Neumann algebras.
arXiv Detail & Related papers (2022-04-16T01:13:29Z) - Tight Exponential Analysis for Smoothing the Max-Relative Entropy and
for Quantum Privacy Amplification [56.61325554836984]
The max-relative entropy together with its smoothed version is a basic tool in quantum information theory.
We derive the exact exponent for the decay of the small modification of the quantum state in smoothing the max-relative entropy based on purified distance.
arXiv Detail & Related papers (2021-11-01T16:35:41Z) - Annihilating Entanglement Between Cones [77.34726150561087]
We show that Lorentz cones are the only cones with a symmetric base for which a certain stronger version of the resilience property is satisfied.
Our proof exploits the symmetries of the Lorentz cones and applies two constructions resembling protocols for entanglement distillation.
arXiv Detail & Related papers (2021-10-22T15:02:39Z) - The strong converse exponent of discriminating infinite-dimensional
quantum states [0.0]
We show that the sandwiched R'enyi divergences of finite-dimensional density operators quantify their distinguishability in the strong converse domain.
We also initiate the study of the sandwiched R'enyi divergences, and the related problem of the strong converse exponent.
arXiv Detail & Related papers (2021-07-16T17:57:28Z) - Lifting the Convex Conjugate in Lagrangian Relaxations: A Tractable
Approach for Continuous Markov Random Fields [53.31927549039624]
We show that a piecewise discretization preserves better contrast from existing discretization problems.
We apply this theory to the problem of matching two images.
arXiv Detail & Related papers (2021-07-13T12:31:06Z) - Spectral clustering under degree heterogeneity: a case for the random
walk Laplacian [83.79286663107845]
This paper shows that graph spectral embedding using the random walk Laplacian produces vector representations which are completely corrected for node degree.
In the special case of a degree-corrected block model, the embedding concentrates about K distinct points, representing communities.
arXiv Detail & Related papers (2021-05-03T16:36:27Z) - Complete entropic inequalities for quantum Markov chains [17.21921346541951]
We prove that every GNS-symmetric quantum Markov semigroup on a finite dimensional algebra satisfies a modified log-Sobolev inequality.
We also establish the first general approximateization property of relative entropy.
arXiv Detail & Related papers (2021-02-08T11:47:37Z) - Last iterate convergence of SGD for Least-Squares in the Interpolation
regime [19.05750582096579]
We study the noiseless model in the fundamental least-squares setup.
We assume that an optimum predictor fits perfectly inputs and outputs $langle theta_*, phi(X) rangle = Y$, where $phi(X)$ stands for a possibly infinite dimensional non-linear feature map.
arXiv Detail & Related papers (2021-02-05T14:02:20Z)
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.