Related papers: A quantum complexity approach to the Kirchberg Emb…

In this note, we derive some consequences of the von Neumann algebra uniqueness theorems developed in a previous paper (see arXiv:1207.6741v1). In particular, 1) we solvein a paper of Futamura, Kataoka, and Kishimoto, by proving that if A…

This note is motivated by Kirchberg's conjecture that the local lifting property (LLP) implies the lifting property (LP) for $C^*$-algebras. The author recently constructed by a "local" method an example of $C^*$-algebra with the LLP and…

Using the Evans spectral sequence and its counter-part for real $K$-theory, we compute both the real and complex $K$-theory of several infinite families of $C^*$-algebras based on higher-rank graphs of rank $3$ and $4$. The higher-rank…

A II_1 factor embeds into the ultraproduct of the hyperfinite II_1 factor if and only if it satisfies the W*-analogue of Lance's weak expectation property. This note gives a self contained proof of this fact.

We show that the universal theory of the hyperfinite II$_1$ factor is not computable. The proof uses the recent result that MIP*=RE. Combined with an earlier observation of the authors, this yields a proof that the Connes Embedding Problem…

It is shown that if $A$ and $B$ are unital separable simple nuclear $\mathcal Z$-stable C$^*$-algebras and there is a unital embedding $A \rightarrow B$ which is invertible on $KK$-theory and traces, then $A \cong B$. In particular, two…

We introduce a bivariant version of the Cuntz semigroup as equivalence classes of order zero maps generalizing the ordinary Cuntz semigroup. The theory has many properties formally analogous to KK-theory including a composition product. We…

For $A$ a $C^*$-algebra, $E_1, E_2$ two Hilbert bimodules over $A$, and a fixed isomorphism $\chi : E_1\otimes_AE_2\to E_2\otimes_AE_1$, we consider the problem of computing the $K$-theory of the Cuntz-Pimsner algebra ${\mathcal…

We give a framework to produce C*-algebra inclusions with extreme properties. This gives the first constructive nuclear minimal ambient C*-algebras. We further obtain a purely infinite analogue of Dadarlat's modeling theorem on AF-algebras:…

Reverse engineering problems for conjunctive queries (CQs), such as query by example (QBE) or definability, take a set of user examples and convert them into an explanatory CQ. Despite their importance, the complexity of these problems is…

Building on Lin's breakthrough MIP$^{co}$ = coRE and an encoding of non-local games as universal sentences in the language of tracial von Neumann algebras, we show that locally universal tracial von Neumann algebras have undecidable…

We introduce the notion of K-theoretic duality for extensions of separable unital nuclear $C^*$-algebras by using K-homology long exact sequence and cyclic six term exact sequence for K-theory groups of extensions. We then prove that the…

We establish exact sequences in $KK$-theory for graded relative Cuntz-Pimsner algebras associated to nondegenerate $C^*$-correspondences. We use this to calculate the graded $K$-theory and $K$-homology of relative Cuntz-Krieger algebras of…

For $p\in [1,\infty)$, we show that every unital $L^p$-operator algebra contains a unique maximal $C^*$-subalgebra, which is always abelian if $p\neq 2$. Using this, we canonically associate to every unital $L^p$-operator algebra $A$ an…

Bell and Zhang have shown that if $A$ and $B$ are two connected graded algebras finitely generated in degree one that are isomorphic as ungraded algebras, then they are isomorphic as graded algebras. We exploit this result to solve the…

A classic theorem of T. Ando characterises operators that have numerical radius at most one as operators that admit a certain positive 2x2 operator matrix completion. In this paper we consider variants of Ando's theorem, in which the…

Set packing is a fundamental problem that generalises some well-known combinatorial optimization problems and knows a lot of applications. It is equivalent to hypergraph matching and it is strongly related to the maximum independent set…

We give an overview of results tying together a circle of problems connected to the Connes Embedding Problem, Kirchberg's reformulations thereof, Tsirelson's conjecture and its relation to quantum information theory, and a class of quantum…

C*-algebras generalizing Cuntz-Krieger algebras can be associated to hyperbolic homeomorphisms of compact metric spaces. They satisfy a non-commutative form of Spanier-Whitehead duality with respect to K-theory. We prove this for the case…

Binary classification is a fundamental problem in machine learning. Recent development of quantum similarity-based binary classifiers and kernel method that exploit quantum interference and feature quantum Hilbert space opened up tremendous…