Searcharxiv⌕ Search

arXiv subjects

Mikael Rørdam

Publications and source records attributed to Mikael Rørdam.

11 recordsLinked to original sources
arXiv2026

Entanglement in C$^*$-algebras: tensor products of state spaces

We analyze the Namioka-Phelps minimal and maximal tensor products of compact convex sets which arise as the state spaces of unital C$^*$-algebras. Relatedly, we study entanglement in (infinite dimensional) C$^*$-algebras. While the minimal Namioka-Phelps tensor product of the state spaces of two C$^*$-algebras is the well-known set of separable (= un-entangled) states on the (minimal) tensor product of the C$^*$-algebras, we also describe the more elusive maximal Namioka-Phelps tensor product of state spaces of C$^*$-algebras. We show that the minimal and maximal tensor products of state spaces of C$^*$-algebras agree precisely when one of the two C$^*$-algebras is commutative, which confirms Barker's conjecture in the case where the compact convex sets are state paces of C$^*$-algebras. Further, the Namioka-Phelps tensor product of the trace simplexes of two or more unital C$^*$-algebras is shown to be the trace simplex of the (minimal or maximal) tensor product of the C$^*$-algebras. This enables a systematic way of determining the trace simplex of a tensor product of C$^*$-algebras.

math.OA↗
arXiv2023

Around traces and quasitraces

This paper presents a survey of results on traces and quasitraces on C$^*$-algebras, and it provides some new results on traces on ultrapowers and on the existence of faithful traces. As for the former, we exhibit a sequence of traceless simple, separable, unital, nuclear C$^*$-algebras whose ultrapower does admit a quasitrace (and likely also a trace). We characterize in different ways C$^*$-algebras that admit a faithful trace, respectively, where each quotient of the C$^*$-algebra admits a faithful trace.

math.OA↗
arXiv2023

A Dixmier type averaging property of automorphisms on a $C^*$-algebra

In his study of the relative Dixmier property for inclusions of von Neumann algebras and of $C^*$-algebras, Popa considered a certain property of automorphisms on $C^*$-algebras, that we here call the strong averaging property. In this note we characterize when an automorphism on a $C^*$-algebra has the strong averaging property. In particular, automorphisms on commutative $C^*$-algebras possess this property precisely when they are free. An automorphism on a unital separable simple $C^*$-algebra with at least one tracial state has the strong averaging property precisely when its extension to the finite part of the bi-dual of the $C^*$-algebra is properly outer, and in the simple, non-tracial case the strong averaging property is equivalent to being outer. To illustrate the usefulness of the strong averaging property we give three examples where we can provide simpler proofs of existing results on crossed product $C^*$-algebras, and we are also able to extend these results in different directions.

math.OA↗
arXiv2021

Irreducible inclusions of simple C$^*$-algebras

The literature contains interesting examples of inclusions of simple C$^*$-algebras with the property that all intermediate C$^*$-algebras likewise are simple. In this article we take up a systematic study of such inclusions, which we refer to as being C$^*$-irreducible by the analogy that all intermediate von Neumann algebras of an inclusion of factors are again factors precisely when the given inclusion is irreducible. We give an intrinsic characterization of when an inclusion of C$^*$-algebras is C$^*$-irreducible, and use this to revisit known and exhibit new C$^*$-irreducible inclusions arising from groups and dynamical systems. Using a theorem of Popa one can show that an inclusion of II$_1$-factors is C$^*$-irreducible if and only if it is irreducible with finite Jones index. We further show how one can construct C$^*$-irreducible inclusions from inductive limits, and we discuss how the notion of C$^*$-irreducibility behaves under tensor products.

math.OA↗
arXiv2021

Inclusions of $C^*$-algebras arising from fixed-point algebras

We examine inclusions of $C^*$-algebras of the form $A^H \subseteq A \rtimes_{r} G$, where $G$ and $H$ are groups acting on a unital simple $C^*$-algebra $A$ by outer automorphisms and $H$ is finite. It follows from a theorem of Izumi that $A^H \subseteq A$ is $C^*$-irreducible, in the sense that all intermediate $C^*$-algebras are simple. We show that $A^H \subseteq A \rtimes_{r} G$ is $C^*$-irreducible for all $G$ and $H$ as above if and only if $G$ and $H$ have trivial intersection in the outer automorphisms of $A$, and we give a Galois type classification of all intermediate $C^*$-algebras in the case when $H$ is abelian and the two actions of $G$ and $H$ on $A$ commute. We illustrate these results with examples of outer group actions on the irrational rotation $C^*$-algebras. We exhibit, among other examples, $C^*$-irreducible inclusions of AF-algebras that have intermediate $C^*$-algebras that are not AF-algebras, in fact, the irrational rotation $C^*$-algebra appears as an intermediate $C^*$-algebra.

math.OA↗
arXiv2019

Factorizable maps and traces on the universal free product of matrix algebras

We relate factorizable quantum channels on $M_n$, for $n \ge 2$, via their Choi matrix, to certain correlation matrices, which, in turn, are shown to be parametrized by traces on the unital free product $M_n * M_n$. Factorizable maps that admit a finite dimensional ancilla are parametrized by finite dimensional traces on $M_n * M_n$, and factorizable maps that approximately factor through finite dimensional C*-algebras are parametrized by traces in the closure of the finite dimensional ones. The latter set is shown to be equal to the set of hyperlinear traces on $M_n * M_n$. We finally show that each metrizable Choquet simplex is a face of the simplex of tracial states on $M_n * M_n$.

math.OA↗
arXiv2019

Non-closure of quantum correlation matrices and factorizable channels that require infinite dimensional ancilla

We show that there exist factorizable quantum channels in each dimension $\ge 11$ which do not admit a factorization through any finite dimensional von Neumann algebra, and do require ancillas of type II$_1$, thus witnessing new infinite-dimensional phenomena in quantum information theory. We show that the set of n by n matrices of correlations arising as second-order moments of projections in finite dimensional von Neumann algebras with a distinguished trace is non-closed, for all $n \ge 5$, and we use this to give a simplified proof of the recent result of Dykema, Paulsen and Prakash that the set of synchronous quantum correlations $C_q^s(5,2)$ is non-closed. Using a trick originating in work of Regev, Slofstra and Vidick, we further show that the set of correlation matrices arising from second-order moments of unitaries in finite dimensional von Neumann algebras with a distinguished trace is non-closed in each dimension $\ge 11$, from which we derive the first result above.

math.OA↗
arXiv2017

Just-infinite C*-algebras

By analogy with the well-established notions of just-infinite groups and just-infinite (abstract) algebras, we initiate a systematic study of just-infinite C*-algebras, i.e., infinite dimensional C*-algebras for which all proper quotients are finite dimensional. We give a classification of such C*-algebras in terms of their primitive ideal space that leads to a trichotomy. We show that just-infinite, residually finite dimensional C*-algebras do exist by giving an explicit example of (the Bratteli diagram of) an AF-algebra with these properties. Further, we discuss when C*-algebras and *-algebras associated with a discrete group are just-infinite. If $G$ is the Burnside-type group of intermediate growth discovered by the first named author, which is known to be just-infinite, then its group algebra $C[G]$ and its group C*-algebra $C^*(G)$ are not just-infinite. Furthermore, we show that the algebra $B = π(C[G])$ under the Koopman representation $π$ of $G$ associated with its canonical action on a binary rooted tree is just-infinite. It remains an open problem whether the residually finite dimensional C*-algebra $C^*_π(G)$ is just-infinite.

math.OA↗
arXiv2017

Axiomatizability of the stable rank of C*-algebras

We show that the class of C*-algebras with stable rank greater than a given positive integer is axiomatizable in logic of metric structures. As a consequence we show that the stable rank is continuous with respect to forming ultrapowers of C*-algebras, and that stable rank is Kadison--Kastler stable.

math.OA↗
arXiv2016

Relative commutants of strongly self-absorbing C*-algebras

The relative commutant $A'\cap A^{\mathcal{U}}$ of a strongly self-absorbing algebra $A$ is indistinguishable from its ultrapower $A^{\mathcal{U}}$. This applies both to the case when $A$ is the hyperfinite II$_1$ factor and to the case when it is a strongly self-absorbing C*-algebra. In the latter case we prove analogous results for $\ell_\infty(A)/c_0(A)$ and reduced powers corresponding to other filters on $\bf N$. Examples of algebras with approximately inner flip and approximately inner half-flip are provided, showing the optimality of our results. We also prove that strongly self-absorbing algebras are smoothly classifiable, unlike the algebras with approximately inner half-flip.

math.LO↗