Related papers: Model theory and Connes' bicentralizer problem

We prove that if C is a tensor C*-category in a certain class, then there exists an uncountable family of pairwise non stably isomorphic II_1 factors (M_i) such that the bimodule category of M_i is equivalent to C for all i. In particular,…

Given independent samples generated from the joint distribution $p(\mathbf{x},\mathbf{y},\mathbf{z})$, we study the problem of Conditional Independence (CI-Testing), i.e., whether the joint equals the CI distribution…

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…

We study the complexity of satisfiability problems in probabilistic and causal reasoning. Given random variables $X_1, X_2,\ldots$ over finite domains, the basic terms are probabilities of propositional formulas over atomic events $X_i =…

Over a finite-dimensonal algbera $A$, simple $A$-modules that have projective dimension one have special properties. For example, Geigle-Lenzing studied them in connection to homological epimorphisms of rings, and they have also appeared in…

A function on a discrete group is weakly combable if its discrete derivative with respect to a combing can be calculated by a finite state automaton. A weakly combable function is bicombable if it is Lipschitz in both the left and right…

The famous $T1$ theorem for classical Calder\'on-Zygmund operators is a characterisation for their boundedness in $L^{2}$. In the bi-parameter case, on the other hand, the current $T1$ theorem is merely a collection of sufficient…

This paper originates from a naive attempt to establish various non-commutative Fourier theoretic inequalities for an inclusion of simple C*-algebras equipped with a conditional expectation of index-finite type. In this setting, we discuss…

In this note, we present criteria that are equivalent to a locally compact Hausdorff groupoid $G$ being effective. One of these conditions is that $G$ satisfies the "C*-algebraic local bisection hypothesis"; that is, that every normaliser…

The main result of this paper is a generalization of Popa's free independence result for subalgebras of ultraproduct ${\rm II_1}$ factors [Po95] to the framework of ultraproduct von Neumann algebras $(M^\omega, \varphi^\omega)$ where $(M,…

We prove cocontinuity of the $\max$-tensor product of C*-categories and develop a framework to perform factorization homology in a C*-setting. In such context, we specialize some results of D. Ben-Zvi, A. Brochier and D. Jordan. As a…

Bisimilarity is a central notion for coalgebras. In recent work, Geuvers and Jacobs suggest to focus on apartness, which they define by dualising coalgebraic bisimulations. This yields the possibility of finite proofs of distinguishability…

We introduce a framework allowing for key aspects of deformation/rigidity theory to be used in the study of continuous model theory of II$_1$ factors. Using this framework, we solve several well-known open problems in the area. For example,…

This paper provides a nonparametric analysis for several classes of models, with cases such as classical measurement error, regression with errors in variables, factor models and other models that may be represented in a form involving…

We study the space of traces associated with arbitrary full free products of unital, separable $C^*$-algebras. We show that, unless certain basic obstructions (which we fully characterize) occur, the space of traces always results in the…

Let F be characteristic zero field, G a residually finite group and W a G-prime and PI F-algebra. By constructing G-graded central polynomials for W, we prove the G-graded version of Posner's theorem. More precisely, if S denotes all…

We develop a wide general theory of bilinear bi-parameter singular integrals $T$. First, we prove a dyadic representation theorem starting from $T1$ assumptions and apply it to show many estimates, including $L^p \times L^q \to L^r$…

We prove a relative Kawamata Viehweg vanishing type theorem for birational morphisms. We use this to prove a Grauert Riemenschneider theorem over log canonical threefolds without zero dimensional log canonical centers, in residue…

The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised…

We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…