Related papers: A computability-theoretic reformulation of the Con…
We prove a non-commutative version of the Hilbert's 17th problem, giving a characterization of the class of non-commutative polynomials in n-undeterminates that have positive trace when evaluated in n-selfadjoint elements in arbitrary II1…
We divide the class of infinite computable trees into three types. For the first and second types, $0'$ computes a nontrivial self-embedding while for the third type $0''$ computes a nontrivial self-embedding. These results are optimal and…
A relatively new topic in computability theory is the study of notions of computation that are robust against mistakes on some kind of small set. However, despite the recent popularity of this topic relatively foundational questions about…
We study existence of embeddings into ultrapowers of the Jiang-Su algebra $\mathcal{Z}$ and the Razak-Jacelon algebra $\mathcal{W}$. More specifically, we show that the cone over any separable $C^*$-algebra embeds into the ultrapowers of…
We analyze the algebraic structure of the Connes fusion tensor product (CFTP) in the case of bi-finite Hilbert modules over a von Neumann algebra M. It turns out that all complications in its definition disappear if one uses the closely…
We prove a basic result about tensor products of a $\text{II}_1$ factor with a finite von Neumann algebra and use it to answer, affirmatively, a question asked by S. Popa about maximal injective factors.
The decomposition problem of the enveloping algebra of a simple Lie algebra is reconsidered combining both the analytical and the algebraic approach, showing its relation with the internal labelling problem with respect to a nilpotent…
It is shown that each linear operator on a separable Hilbert space which generates a finite type I von Neumann algebra has, up to unitary equivalence, a unique representation as a direct integral of inflations of mutually unitary…
We show that Connes' embedding problem is equivalent to the weak Tsirelson problem in the setting of two-outcome synchronous correlation sets. We further show that the extreme points of two-outcome synchronous correlation sets can be…
An open question of Sorin Popa asks whether or not every $R^{\mathcal{U}}$-embeddable factor admits an embedding into $R^{\mathcal{U}}$ with factorial relative commutant. We show that there is a locally universal McDuff II$_1$ factor $M$…
We make two observations regarding the invertibility of Keller maps. i.e., polynomial maps for which the determinant of their Jacobian matrix is identically equal to 1. In our first result, we show that if P is a n-dimensional Keller map,…
We prove that every rigid C*-bicategory with finite-dimensional centers (finitely decomposable horizontal units) can be realized as Connes' bimodules over finite direct sums of II$_1$ factors. In particular, we realize every multitensor…
We continue the study of computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a…
We show that neither the class of C*-algebras with Kirchberg's QWEP property nor the class of W*-probability spaces with the QWEP property are effectively axiomatizable (in the appropriate languages). The latter result follows from a more…
The embedding-based representation learning is commonly used in deep learning recommendation models to map the raw sparse features to dense vectors. The traditional embedding manner that assigns a uniform size to all features has two…
We prove a number of elementary facts about computability in partial combinatory algebras (pca's). We disprove a suggestion made by Kreisel about using Friedberg numberings to construct extensional pca's. We then discuss separability and…
We investigate the connections between computability theory and Nonstandard Analysis. In particular, we investigate the two following topics and show that they are intimately related. (T.1) A basic property of Cantor space $2^{\mathbb{N}}$…
In a very celebrated paper A. Connes has formulated a conjecture which is now one of the most important open problem in Operator Algebras. This importance comes from the works of many mathematicians who have found some unexpected equivalent…
In this paper we want to apply the notion of product between ultrafilters to answer several questions which arise around the Connes' embedding problem. For instance, we will give a simplification and generalization of a theorem by…
We use representations of operator systems as quotients to deduce various characterisations of the weak expectation property (WEP) for C?*-algebras. By Kirchberg's work on WEP, these results give new formulations of Connes' embedding…