We construct a Type II
Multivariate trace inequalities, p-fidelity, and universal recovery beyond tracial settings
Trace inequalities are general techniques with many applications in quantum information theory, often replacing the classical functional calculus in noncommutative settings. The physics of quantum field theory and holography, however, motivates entropy inequalities in type III von Neumann algebras that lack a semifinite trace. The Haagerup and Kosaki Lp spaces enable re-expressing trace inequalities in non-tracial von Neumann algebras. In particular, we show this for the generalized Araki–Lieb–Thirring and Golden–Thompson inequalities from the work of Sutter et al. [Commun. Math. Phys. 352(1), 37 (2017)]. Then, using the Haagerup approximation method, we prove a general von Neumann algebra version of universal recovery map corrections to the data processing inequality for relative entropy. We also show subharmonicity of a logarithmic p-fidelity of recovery. Furthermore, we prove that the non-decrease of relative entropy is equivalent to the existence of an L1-isometry implementing the channel on both input states.
more »
« less
- NSF-PAR ID:
- 10459136
- Date Published:
- Journal Name:
- Journal of Mathematical Physics
- Volume:
- 63
- Issue:
- 12
- ISSN:
- 0022-2488
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
more » « less
A<sc>bstract</sc> ∞ von Neumann algebra that describes the largeN physics of single-trace operators in AdS/CFT in the microcanonical ensemble, where there is no need to include perturbative 1/N corrections. Using only the extrapolate dictionary, we show that the entropy of semiclassical states on this algebra is holographically dual to the generalized entropy of the black hole bifurcation surface. From a boundary perspective, this constitutes a derivation of a special case of the QES prescription without any use of Euclidean gravity or replicas; from a purely bulk perspective, it is a derivation of the quantum-corrected Bekenstein-Hawking formula as the entropy of an explicit algebra in theG → 0 limit of Lorentzian effective field theory quantum gravity. In a limit where a black hole is first allowed to equilibrate and then is later potentially re-excited, we show that the generalized second law is a direct consequence of the monotonicity of the entropy of algebras under trace-preserving inclusions. Finally, by considering excitations that are separated by more than a scrambling time we construct a “free product” von Neumann algebra that describes the semiclassical physics of long wormholes supported by shocks. We compute Rényi entropies for this algebra and show that they are equal to a sum over saddles associated to quantum extremal surfaces in the wormhole. Surprisingly, however, the saddles associated to “bulge” quantum extremal surfaces contribute with a negative sign. -
more » « less
We study the “geometric Ricci curvature lower bound”, introduced previously by Junge, Li and LaRacuente, for a variety of examples including group von Neumann algebras, free orthogonal quantum groups [Formula: see text], [Formula: see text]-deformed Gaussian algebras and quantum tori. In particular, we show that Laplace operator on [Formula: see text] admits a factorization through the Laplace–Beltrami operator on the classical orthogonal group, which establishes the first connection between these two operators. Based on a non-negative curvature condition, we obtain the completely bounded version of the modified log-Sobolev inequalities for the corresponding quantum Markov semigroups on the examples mentioned above. We also prove that the “geometric Ricci curvature lower bound” is stable under tensor products and amalgamated free products. As an application, we obtain a sharp Ricci curvature lower bound for word-length semigroups on free group factors.
-
Abstract We study the free probabilistic analog of optimal couplings for the quadratic cost, where classical probability spaces are replaced by tracial von Neumann algebras, and probability measures on $${\mathbb {R}}^m$$ R m are replaced by non-commutative laws of m -tuples. We prove an analog of the Monge–Kantorovich duality which characterizes optimal couplings of non-commutative laws with respect to Biane and Voiculescu’s non-commutative $$L^2$$ L 2 -Wasserstein distance using a new type of convex functions. As a consequence, we show that if ( X , Y ) is a pair of optimally coupled m -tuples of non-commutative random variables in a tracial $$\mathrm {W}^*$$ W ∗ -algebra $$\mathcal {A}$$ A , then $$\mathrm {W}^*((1 - t)X + tY) = \mathrm {W}^*(X,Y)$$ W ∗ ( ( 1 - t ) X + t Y ) = W ∗ ( X , Y ) for all $$t \in (0,1)$$ t ∈ ( 0 , 1 ) . Finally, we illustrate the subtleties of non-commutative optimal couplings through connections with results in quantum information theory and operator algebras. For instance, two non-commutative laws that can be realized in finite-dimensional algebras may still require an infinite-dimensional algebra to optimally couple. Moreover, the space of non-commutative laws of m -tuples is not separable with respect to the Wasserstein distance for $$m > 1$$ m > 1 .more » « less
-
Abstract The observables associated with a quantum system S form a non-commutative algebra A S . It is assumed that a density matrix ρ can be determined from the expectation values of observables. But A S admits inner automorphisms a ↦ u a u − 1 , a , u ∈ A S , u * u = u u * = 1 , so that its individual elements can be identified only up to unitary transformations. So since Tr ρ ( uau *) = Tr( u * ρu ) a , only the spectrum of ρ , or its characteristic polynomial, can be determined in quantum mechanics. In local quantum field theory, ρ cannot be determined at all, as we shall explain. However, abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables in abelian algebras A M ⊂ A S ( M for measurement, S for system). We study the uncertainties in extending ρ | A M to ρ | A S (the determination of which means measurement of A S ) and devise a protocol to determine ρ | A S ≡ ρ by determining ρ | A M for different choices of A M . The problem we formulate and study is a generalization of the Kadison–Singer theorem. We give an example where the system S is a particle on a circle and the experiment measures the abelian algebra of a magnetic field B coupled to S . The measurement of B gives information about the state ρ of the system S due to operator mixing. Associated uncertainty principles for von Neumann entropy are discussed in the appendix, adapting the earlier work by Białynicki-Birula and Mycielski (1975 Commun. Math. Phys. 44 129) to the present case.more » « less
-
We revisit the connection between von Neumann algebra index and relative entropy. We observe that the Pimsner-Popa index connects to maximal sandwiched p-R\'enyi relative entropy for all p between 1/2 and infinity, including the Umegaki's relative entropy at p=1. Based on that, we introduce a new notation of maximal relative entropy for a inclusion of finite von Neumann algebras. These maximal relative entropy generalizes subfactors index and has application in estimating decoherence time of quantum Markov semigroupmore » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1063/5.0066653
