Related papers: Boundary representations of operator spaces, and c…
We construct some separable infinite dimensional homogeneous Hilbertian operator spaces which generalize the row and column spaces R and C. We show that separable infinite-dimensional Hilbertian JC*-triples are completely isometric to an…
Kernel theorems, in general, provide a convenient representation of bounded linear operators. For the operator acting on a concrete function space, this means that its action on any element of the space can be expressed as a generalised…
Convex geometries are closure systems satisfying the anti-exchange axiom. Every finite convex geometry can be embedded into a convex geometry of finitely many points in an n-dimensional space equipped with a convex hull operator, by the…
We present some properties of orthogonality and relate them with support disjoint and norm inequalities in p Schatten ideals. In addition, we investigate the problem of characterization of norm parallelism for bounded linear operators. We…
This paper extends the Kadison duality between compact convex sets and function systems to the setting of partial convexity. A partially convex set is a set that is convex in a designated set of convex variables when the others are held…
We investigate algebraic and topological transitivity and, more generally, k-transitivity for linear spaces of operators. In finite dimensions, we determine minimal dimensions of k-transitive spaces for every k, and find relations between…
We study the convex hull of $SO(n)$, thought of as the set of $n\times n$ orthogonal matrices with unit determinant, from the point of view of semidefinite programming. We show that the convex hull of $SO(n)$ is doubly spectrahedral, i.e.…
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…
For three standard models of commutative algebras generated by Toeplitz operators in the weighted analytic Bergman space on the unit disk, we find their representations as the algebras of bounded functions of certain unbounded self-adjoint…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
We prove that every pointed closed convex set in $\mathbb{R}^n$ is the intersection of all the rational closed halfspaces that contain it. This generalizes a previous result by the authors for compact convex sets.
In this article a class of closed convex sets in the Euclidean $n$-space which are the convex hull of their profiles is described. Thus a generalization of Krein-Milman theorem\cite{Lay:1982} to a class of closed non-compact convex sets is…
We discuss some basic problems and conjectures in a program to construct general orbifold conformal field theories using the representation theory of vertex operator algebras. We first review a program to construct conformal field theories.…
Operator matrices have played a significant role in studying Hilbert space operators. In this paper, we discuss further properties of operator matrices and present new estimates for the operator norms and numerical radii of such operators.…
There are presented certain results on extending continuous linear operators defined on spaces of E-valued continuous functions (defined on a compact Hausdorff space X) to linear operators defined on spaces of E-valued measurable functions…
We propose an abstract definition of convex spaces as sets where one can take convex combinations in a consistent way. A priori, a convex space is an algebra over a finitary version of the Giry monad. We identify the corresponding Lawvere…
This short but self-contained survey presents a number of elegant matrix/operator inequalities for general convex or concave functions, obtained with a unitary orbit technique. Jensen, sub or super-additivity type inequalities are…
The TTE approach to Computable Analysis is the study of so-called representations (encodings for continuous objects such as reals, functions, and sets) with respect to the notions of computability they induce. A rich variety of such…
We continue the study of multidimensional operator multipliers initiated in [arXiv:math/0701645]. We introduce the notion of the symbol of an operator multiplier. We characterise completely compact operator multipliers in terms of their…
Considering the question: how non-linear may a non-linear operator be in order to extend the linear regularization theory, we introduce the class of dilinear mappings, which covers linear, bilinear, and quadratic operators between Banach…