An official website of the United States government
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
Quasinormalizers in crossed products of von Neumann algebras
We study the relationship between the dynamics of the action $$\alpha$$ of a discrete group $$G$$ on a von Neumann algebra $$M$$, and structural properties of the associated crossed product inclusion $$L(G) \subseteq M \rtimes_\alpha G$$, and its intermediate subalgebras. This continues a thread of research originating in classical structural results for ergodic actions of discrete, abelian groups on probability spaces. A key tool in the setting of a noncommutative dynamical system is the set of quasinormalizers for an inclusion of von Neumann algebras. We show that the von Neumann algebra generated by the quasinormalizers captures analytical properties of the inclusion $$L(G) \subseteq M \rtimes_\alpha G$$ such as the Haagerup Approximation Property, and is essential to capturing ``almost periodic" behavior in the underlying dynamical system. Our von Neumann algebraic point of view yields a new description of the Furstenberg-Zimmer distal tower for an ergodic action on a probability space, and we establish new versions of the Furstenberg-Zimmer structure theorem for general, tracial $W^*$-dynamical systems. We present a number of examples contrasting the noncommutative and classical settings which also build on previous work concerning singular inclusions of finite von Neumann algebras.
more »
« less
- Award ID(s):
- 2154637
- PAR ID:
- 10510881
- Publisher / Repository:
- Elsevier
- Date Published:
- Journal Name:
- Advances in Mathematics
- Volume:
- 443
- Issue:
- C
- ISSN:
- 0001-8708
- Page Range / eLocation ID:
- 109535
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
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
-
The Connes embedding problem (CEP) is a problem in the theory of tracial von Neumann algebras and asks whether or not every tracial von Neumann algebra embeds into an ultrapower of the hyperfinite II 1 _1 factor. The CEP has had interactions with a wide variety of areas of mathematics, including C ∗ \mathrm {C}^* -algebra theory, geometric group theory, free probability, and noncommutative real algebraic geometry, to name a few. After remaining open for over 40 years, a negative solution was recently obtained as a corollary of a landmark result in quantum complexity theory known as MIP ∗ = RE \operatorname {MIP}^*=\operatorname {RE} . In these notes, we introduce all of the background material necessary to understand the proof of the negative solution of the CEP from MIP ∗ = RE \operatorname {MIP}^*=\operatorname {RE} . In fact, we outline two such proofs, one following the “traditional” route that goes via Kirchberg’s QWEP problem in C ∗ \mathrm {C}^* -algebra theory and Tsirelson’s problem in quantum information theory and a second that uses basic ideas from logic.more » « less
-
A bstract There are two parts to this work: first, we study the error correction properties of the real-space renormalization group (RG). The long-distance operators are the (approximately) correctable operators encoded in the physical algebra of short-distance operators. This is closely related to modeling the holographic map as a quantum error correction code. As opposed to holography, the real-space RG of a many-body quantum system does not have the complementary recovery property. We discuss the role of large N and a large gap in the spectrum of operators in the emergence of complementary recovery. Second, we study the operator algebra exact quantum error correction for any von Neumann algebra. We show that similar to the finite dimensional case, for any error map in between von Neumann algebras the Petz dual of the error map is a recovery map if the inclusion of the correctable subalgebra of operators has finite index.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1016/j.aim.2024.109535
