Related papers: Quantization of $A_{0}(K)$-Spaces

We systematically study how properties of abstract operator systems help classifying linear matrix inequality definitions of sets. Our main focus is on polyhedral cones, the 3-dimensional Lorentz cone, where we can completely describe all…

A coarse space $X$, endowed with a linear order compatible with the coarse structure of $X$, is called linearly ordered. We prove that every linearly ordered coarse space $X$ is locally convex and the asymptotic dimension of $X$ is either…

In this paper, we study the popularly dubbed matrix completion problem, where the task is to "fill in" the unobserved entries of a matrix from a small subset of observed entries, under the assumption that the underlying matrix is of…

A certain generalisation of the hierarchy of mKdV equations (modified KdV), which forms an integrable system, is studied here. This generalisation is based on a Lax operator associated to the equations, with principal components of degrees…

We study the $L^p$-spectrum of the Laplace-Beltrami operator on certain complete locally symmetric spaces $M=\Gamma\backslash X$ with finite volume and arithmetic fundamental group $\Gamma$ whose universal covering $X$ is a symmetric space…

We study containment and uniqueness problems concerning matrix convex sets. First, to what extent is a matrix convex set determined by its first level? Our results in this direction quantify the disparity between two product operations,…

We prove that for every closed locally convex subspace $E$ of $L_0$ and for any continuous linear operator $T$ from $L_0$ to $L_0/E$ there is a continuous linear operator $S$ from $L_0$ to $L_0$ such that $T = QS$ where $Q$ is the quotient…

We introduce combinatorial types of arrangements of convex bodies, extending order types of point sets to arrangements of convex bodies, and study their realization spaces. Our main results witness a trade-off between the combinatorial…

Given an irreducible non-spherical non-affine (possibly non-proper) building $X$, we give sufficient conditions for a group $G < \Aut(X)$ to admit an infinite-dimensional space of non-trivial quasi-morphisms. The result applies to all…

A complete embedding is a symplectic embedding $\iota:Y\to M$ of a geometrically bounded symplectic manifold $Y$ into another geometrically bounded symplectic manifold $M$ of the same dimension. When $Y$ satisfies an additional finiteness…

We study isometric immersions $f: M^n \rightarrow \mathbb{H}^{n+1}$ into hyperbolic space of dimension $n+1$ of a complete Riemannian manifold of dimension $n$ on which a compact connected group of intrinsic isometries acts with principal…

Supplementing and expanding classical results, for compact spaces $K$ and $L$, $L$ metric, and their Banach spaces $\mathcal{C}(L)$ and $\mathcal{C}(K)$ of continuous real-valued functions, we provide several characterizations of the…

We give canonical forms of selfadjoint and isometric operators on a complex vector space $U$ with scalar product given by a positive semidefinite Hermitian form, and of Hermitian forms on $U$. For an arbitrary system of semiunitary spaces…

An operator system modulo the kernel of a completely positive linear map of the operator system gives rise to an operator system quotient. In this paper, operator system quotients and quotient maps of certain matrix algebras are considered.…

Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…

We show that there exists a $q$-convex function in a neighborhood of a compact set $K$ in a complex manifold $\mathcal{M}$ if and only if the $q$-nucleus of this compact set is empty. The latter can be characterized as the maximal…

Let M_d(k) denote the space of dxd-matrices with coefficients in an algebraically closed field k. Let X be an orbit closure in the product [M_d(k)]^t equipped with the action of the general linear group GL_d(k) by simultaneous conjugation.…

We investigate the space $C(X)$ of images of linearly embedded skeleta of simplices $X$ in $\mathbb R^n$, for two families of codimension 2 complexes, each ranging over $n$. In the first family, $X=K$ is the $(n-2)$-skeleton of the…

Suppose that $\{T_{a}:a\in G\}$ is a group of uniformly $L$-Lipschitzian mappings with bounded orbits $\left\{T_{a}x:a\in G\right\}$ acting on a hyperconvex metric space $M$. We show that if $L<\sqrt{2}$, then the set of common fixed points…

We prove a necessary and sufficient condition for embeddability of an operator system into $\mathcal{O}_2$. Using Kirchberg's theorems on a tensor product of $\mathcal{O}_2$ and $\mathcal{O}_{\infty}$, we establish results on their operator…