scholarly journals The Theory of Tracial Von Neumann Algebras Does Not Have A Model Companion

2013 ◽  
Vol 78 (3) ◽  
pp. 1000-1004 ◽  
Author(s):  
Isaac Goldbring ◽  
Bradd Hart ◽  
Thomas Sinclair

AbstractIn this note, we show that the theory of tracial von Neumann algebras does not have a model companion. This will follow from the fact that the theory of any locally universal, McDuff II1 factor does not have quantifier elimination. We also show how a positive solution to the Connes Embedding Problem implies that there can be no model-complete theory of II1 factors.

Author(s):  
Scott Atkinson ◽  
Srivatsav Kunnawalkam Elayavalli

Abstract We define the notion of self-tracial stability for tracial von Neumann algebras and show that a tracial von Neumann algebra satisfying the Connes embedding problem (CEP) is self-tracially stable if and only if it is amenable. We then generalize a result of Jung by showing that a separable tracial von Neumann algebra that satisfies the CEP is amenable if and only if any two embeddings into $R^{\mathcal{U}}$ are ucp-conjugate. Moreover, we show that for a II$_1$ factor $N$ satisfying CEP, the space $\mathbb{H}$om$(N, \prod _{k\to \mathcal{U}}M_k)$ of unitary equivalence classes of embeddings is separable if and only $N$ is hyperfinite. This resolves a question of Popa for Connes embeddable factors. These results hold when we further ask that the pairs of embeddings commute, admitting a nontrivial action of $\textrm{Out}(N\otimes N)$ on ${\mathbb{H}}\textrm{om}(N\otimes N, \prod _{k\to \mathcal{U}}M_k)$ whenever $N$ is non-amenable. We also obtain an analogous result for commuting sofic representations of countable sofic groups.


2019 ◽  
Author(s):  
Serban-Valentin Stratila ◽  
Laszlo Zsido

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.


Sign in / Sign up

Export Citation Format

Share Document