Related papers: Notes on extremality of the Choi map
A problem of completing a linear map on C*-algebras to a completely positive map is analyzed. It is shown that whenever such a completion is feasible there exists a unique minimal completion. This theorem is used to show that under some…
We give a useful new characterization of the set of all completely positive, trace-preserving (i.e., stochastic) maps from 2x2 matrices to 2x2 matrices. These conditions allow one to easily check any trace-preserving map for complete…
We study equivariant linear maps between finite-dimensional matrix algebras, as introduced by Bhat. These maps satisfy an algebraic property which makes it easy to study their positivity or k-positivity. They are therefore particularly…
Copositive and completely positive matrices play an increasingly important role in Applied Mathematics, namely as a key concept for approximating NP-hard optimization problems. The cone of copositive matrices of a given order and the cone…
We study the structure of nilpotent completely positive maps in terms of Choi-Kraus coefficients. We prove several inequalities, including certain majorization type inequalities for dimensions of kernels of powers of nilpotent completely…
Given a family of graphs $\mathcal{H}$, the extremal number $\textrm{ex}(n, \mathcal{H})$ is the largest $m$ for which there exists a graph with $n$ vertices and $m$ edges containing no graph from the family $\mathcal{H}$ as a subgraph. We…
We study Lie algebras generated by extremal elements (i.e., elements spanning inner ideals of L) over a field of characteristic distinct from 2. We prove that any Lie algebra generated by a finite number of extremal elements is finite…
We generalise work of Young-Eun Choi to the setting of ideal triangulations with vertex links of arbitrary genus, showing that the set of all (possibly incomplete) hyperbolic cone-manifold structures realised by positively oriented…
We systematically study a natural problem in extremal graph theory, to minimize the number of edges in a graph with a fixed number of vertices, subject to a certain local condition: each vertex must be in a copy of a fixed graph $H$. We…
We consider the cones of curves and divisors on the moduli space of stable pointed rational curves,M_n, and on the quotient by the symmetric group, Q_n, which is a moduli space of pairs. We find generators for contractible extremal rays of…
Many important problems in extremal combinatorics can be be stated as proving a pure binomial inequality in graph homomorphism numbers, i.e., proving that…
We study several classes of general non-linear positive maps between C*-algebras, which are not necessary completely positive maps. We characterize the class of the compositions of *-multiplicative maps and positive linear mapsas the class…
Let W be a finite reflection group acting orthogonally on R^n, P be the Chevalley polynomial mapping determined by an integrity basis of the algebra of W-invariant polynomials, and h be the highest degree of the coordinate polynomials in…
A general theory of rigid completely integrable analytic partial differential equations is endeavoured. The tube over the light cone in C^3 is shown to be the unique model (up to biholomorphisms) having CR automorphism group of maximal…
In this paper we give a first study of perfect copositive $n \times n$ matrices. They can be used to find rational certificates for completely positive matrices. We describe similarities and differences to classical perfect, positive…
Max cones are max-algebraic analogs of convex cones. In the present paper we develop a theory of generating sets and extremals of max cones in ${{\mathbb R}}_+^n$. This theory is based on the observation that extremals are minimal elements…
We investigate the iterative behaviour of continuous order preserving subhomogeneous maps that map a polyhedral cone into itself. For these maps we show that every bounded orbit converges to a periodic orbit and, moreover, that there exists…
Let $M_{m,n}$ be the space of $m\times n$ real or complex rectangular matrices. Two matrices $A, B \in M_{m,n}$ are disjoint if $A^*B = 0_n$ and $AB^* = 0_m$. In this paper, a characterization is given for linear maps $\Phi: M_{m,n}…
Based on the fact that the Cuntz algebra $O_n$ is generated by the operators consisting of a finite operatorional partition, we study the notion of operational extreme points (which we introduce here) by using several completely positive…
We prove that in many cases the existence of an extremal metric for some Laplace eigenvalue in a conformal class allows to find extremal metrics in conformal classes close by. As a consequence and as part of the arguments we obtain…