Related papers: Model theory and Connes' bicentralizer problem

Guionnet et al. gave a construction of a II_1 factor associated to a subfactor planar algebra. In this paper we define an unshaded planar algebra. To any unshaded planar algebra P we associate a finite von Neumann algebra M_P. We prove that…

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 present a product of pairs of pointed Hilbert spaces that, in the context of Boz\.ejko, Leinert and Speicher's theory of conditionally free probability, plays the role of the reduced free product of pointed Hilbert spaces, and thus gives…

Most parameterized complexity classes are defined in terms of a parameterized version of the Boolean satisfiability problem (the so-called weighted satisfiability problem). For example, Downey and Fellow's W-hierarchy is of this form. But…

Discrete subfactors include a particular class of infinite index subfactors and all finite index ones. A discrete subfactor is called local when it is braided and it fulfills a commutativity condition motivated by the study of inclusion of…

We associate a rigid C*-tensor category $C$ to a totally disconnected locally compact group $G$ and a compact open subgroup $K < G$. We characterize when $C$ has the Haagerup property or property (T), and when $C$ is weakly amenable. When…

If $N \subset \R$ is a separable II$_1$-factor, the space $\Hom(N,\R)$ of unitary equivalence classes of unital *-homomorphisms $N \to \R$ is shown to have a surprisingly rich structure. If $N$ is not hyperfinite, $\Hom(N,\R)$ is an…

In this paper we give a proof of the Nirenberg-Treves conjecture: that local solvability of principal type pseudo-differential operators is equivalent to condition ($\Psi$). This condition rules out certain sign changes of the imaginary…

The notion of automatic selfadjointness of all ideals in a multiplicative semigroup of the bounded linear operators on a separable Hilbert space B(H) arose in a 2015 discussion with Heydar Radjavi who pointed out that B(H) and the finite…

We characterize group representations that factor through monomial representations, respectively, block-triangular representations with monomial diagonal blocks, by arithmetic properties. Similar results are obtained for semigroup…

The main aim of this paper is to prove a Bishop-Phelps-Bollob\'as type theorem on the unital uniform algebra A_{w^*u}(B_{X^*}) consisting of all w^*-uniformly continuous functions on the closed unit ball B_{X^*} which are holomorphic on the…

The aim of this article is to give a complete solution to the problem of the bilinear decompositions of the products of some Hardy spaces $H^p(\mathbb{R}^n)$ and their duals in the case when $p<1$ and near to $1$, via wavelets, paraproducts…

This paper studies models in which hypothesis tests have trivial power, that is, power smaller than size. This testing impossibility, or impossibility type A, arises when any alternative is not distinguishable from the null. We also study…

A standard tool for model selection in a Bayesian framework is the Bayes factor which compares the marginal likelihood of the data under two given different models. In this paper, we consider the class of hierarchical loglinear models for…

This article fits in the context of the approach to topological problems in terms of the underlying convergence space structures, and serves as yet another illustration of the power of the method. More specifically, we spell out…

We provide a systematic way to design computable bilinear forms which, on the class of subspaces $W^* \subseteq \mathcal{V}'$ that can be obtained by duality from a given finite dimensional subspace $W$ of an Hilbert space $\mathcal{V}$,…

We affirmatively resolve a question posed by Uffe Haagerup in 1975 on the positive version of the bipolar theorem on the dual spaces of C$^*$-algebras. As a direct consequence, we obtain a complete set of four positive Hahn-Banach…

The first part of this dissertation defines "dependently typed algebraic theories", which are a strict subclass of the generalised algebraic theories (GATs) of Cartmell. We characterise dependently typed algebraic theories as finitary…

This work addresses the existence and uniqueness of a Wanner-Gujer free-boundary problem that models biofilms under conditions of prevailing detachment. This result significantly extends previous findings in both tumor growth modeling and…

A conjecture of Kadison and Kastler from 1972 asks whether sufficiently close operator algebras in a natural uniform sense must be small unitary perturbations of one another. For $n\geq 3$ and a free ergodic probability measure preserving…