scholarly journals Approximate Recovery and Relative Entropy I: General von Neumann Subalgebras

Author(s):  
Thomas Faulkner ◽  
Stefan Hollands ◽  
Brian Swingle ◽  
Yixu Wang

AbstractWe prove the existence of a universal recovery channel that approximately recovers states on a von Neumann subalgebra when the change in relative entropy, with respect to a fixed reference state, is small. Our result is a generalization of previous results that applied to type-I von Neumann algebras by Junge at al. [arXiv:1509.07127]. We broadly follow their proof strategy but consider here arbitrary von Neumann algebras, where qualitatively new issues arise. Our results hinge on the construction of certain analytic vectors and computations/estimations of their Araki–Masuda $$L_p$$ L p norms. We comment on applications to the quantum null energy condition.

Author(s):  
Ivan Bardet ◽  
Ángela Capel ◽  
Cambyse Rouzé

AbstractIn this paper, we derive a new generalisation of the strong subadditivity of the entropy to the setting of general conditional expectations onto arbitrary finite-dimensional von Neumann algebras. This generalisation, referred to as approximate tensorization of the relative entropy, consists in a lower bound for the sum of relative entropies between a given density and its respective projections onto two intersecting von Neumann algebras in terms of the relative entropy between the same density and its projection onto an algebra in the intersection, up to multiplicative and additive constants. In particular, our inequality reduces to the so-called quasi-factorization of the entropy for commuting algebras, which is a key step in modern proofs of the logarithmic Sobolev inequality for classical lattice spin systems. We also provide estimates on the constants in terms of conditions of clustering of correlations in the setting of quantum lattice spin systems. Along the way, we show the equivalence between conditional expectations arising from Petz recovery maps and those of general Davies semigroups.


2011 ◽  
Vol 13 (04) ◽  
pp. 643-657 ◽  
Author(s):  
S. ALBEVERIO ◽  
SH. A. AYUPOV ◽  
K. K. KUDAYBERGENOV ◽  
B. O. NURJANOV

The paper is devoted to local derivations on the algebra [Formula: see text] of τ-measurable operators affiliated with a von Neumann algebra [Formula: see text] and a faithful normal semi-finite trace τ. We prove that every local derivation on [Formula: see text] which is continuous in the measure topology, is in fact a derivation. In the particular case of type I von Neumann algebras, they all are inner derivations. It is proved that for type I finite von Neumann algebras without an abelian direct summand, and also for von Neumann algebras with the atomic lattice of projections, the continuity condition on local derivations in the above results is redundant. Finally we give necessary and sufficient conditions on a commutative von Neumann algebra [Formula: see text] for the algebra [Formula: see text] to admit local derivations which are not derivations.


1989 ◽  
Vol 32 (2) ◽  
pp. 317-327 ◽  
Author(s):  
Erik Christensen ◽  
Allan M. Sinclair

Milutin's Theorem states that if X and Y are uncountable metrizable compact Hausdorff spaces, then C(X) and C(Y) are isomorphic as Banach spaces [15, p. 379]. Thus there is only one isomorphism class of such Banach spaces. There is also an extensive theory of the Banach–Mazur distance between various classes of classical Banach spaces with the deepest results depending on probabilistic and asymptotic estimates [18]. Lindenstrauss, Haagerup and possibly others know that as Banach spaceswhere H is the infinite dimensional separable Hilbert space, R is the injective II 1-factor on H, and ≈ denotes Banach space isomorphism. Haagerup informed us of this result, and suggested considering completely bounded isomorphisms; it is a pleasure to acknowledge his suggestion. We replace Banach space isomorphisms by completely bounded isomorphisms that preserve the linear structure and involution, but not the product. One of the two theorems of this paper is a strengthened version of the above result: if N is an injective von Neumann algebra with separable predual and not finite type I of bounded degree, then N is completely boundedly isomorphic to B(H). The methods used are similar to those in Banach space theory with complete boundedness needing a little care at various points in the argument. Extensive use is made of the conditional expectation available for injective algebras, and the methods do not apply to the interesting problems of completely bounded isomorphisms of non-injective von Neumann algebras (see [4] for a study of the completely bounded approximation property).


2017 ◽  
Vol 29 (07) ◽  
pp. 1750020 ◽  
Author(s):  
Erkka Haapasalo ◽  
Juha-Pekka Pellonpää

We study completely positive (CP) [Formula: see text]-sesquilinear-form-valued maps on a unital [Formula: see text]-algebra [Formula: see text], where the sesquilinear forms operate on a module over a [Formula: see text]-algebra [Formula: see text]. We also study the cases when either one or both of the algebras are von Neumann algebras. Moreover, we assume that the CP maps are covariant with respect to actions of a symmetry group. This allows us to view these maps as generalizations of covariant quantum instruments. We determine minimal covariant dilations (KSGNS constructions) for covariant CP maps to find necessary and sufficient conditions for a CP map to be extreme in convex subsets of normalized covariant CP maps. As a special case, we study covariant quantum observables and instruments whose value space is a transitive space of a unimodular type-I group. Finally, we discuss the case of instruments that are covariant with respect to a square-integrable representation.


Author(s):  
SH. A. AYUPOV ◽  
K. K. KUDAYBERGENOV

The present paper is a survey of recent results concerning derivations on various algebras of measurable operators affiliated with von Neumann algebras. A complete description of derivation is obtained in the case of type I von Neumann algebras. A special section is devoted to the Abelian case, namely to the existence of nontrivial derivations on algebras of measurable function. Local derivations on the above algebras are also considered.


Author(s):  
SERGIO ALBEVERIO ◽  
DEBASHISH GOSWAMI

We study the structure of the generator of a symmetric, conservative quantum dynamical semigroup with norm-bounded generator on a von Neumann algebra equipped with a faithful semifinite trace. For von Neumann algebras with Abelian commutant (i.e. type I von Neumann algebras), we give a necessary and sufficient algebraic condition for the generator of such a semigroup to be written as a sum of square of self-adjoint derivations of the von Neumann algebra. This generalizes some of the results obtained by Albeverio, Høegh-Krohn and Olsen1 for the special case of the finite-dimensional matrix algebras. We also study similar questions for a class of quantum dynamical semigroups with unbounded generators.


1988 ◽  
Vol 40 (6) ◽  
pp. 1482-1527 ◽  
Author(s):  
Antony Wassermann

In the first paper of this series [17], we set up some general machinery for studying ergodic actions of compact groups on von Neumann algebras, namely, those actions for which . In particular we obtained a characterisation of the full multiplicity ergodic actions:THEOREM A. If α is an ergodic action of G on , then the following conditions are equivalent:(1) Each spectral subspace has multiplicity dim π for π in .(2) Each π in admits a unitary eigenmatrix in .(3) The W* crossed product is a (Type I) factor.(4) The C* crossed product of the C* algebra of norm continuity is isomorphic to the algebra of compact operators on a Hilbert space.


Sign in / Sign up

Export Citation Format

Share Document