Related papers: Uniqueness of the 2-universality Criterion

General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…

For positive semidefinite $n\times n$ matrices $A$ and $B$, the singular value inequality $(2+t)s_{j}(A^{r}B^{2-r}+A^{2-r}B^{r})\leq 2s_{j}(A^{2}+tAB+B^{2})$ is shown to hold for $r=\frac{1}{2}, 1, \frac{3}{2}$ and all $-2<t\leq 2$.

Let $S(X,B)$ be a symmetric (``palindromic'') word in two letters $X$ and $B$. A theorem due to Hillar and Johnson states that for each pair of positive definite matrices $B$ and $P$, there is a positive definite solution $X$ to the word…

The main goal of this article is to put some known results in a common perspective and to simplify their proofs. We start with a simple proof of a result of Vereshchagin saying that $\limsup_n C(x|n)$ equals $C^{0'}(x)$. Then we use the…

For a family of the orthogonal $O(k)$ type Quantum Matrix algebras we establish an analogue of the Cayley--Hamilton theorem. The form of the Cayley-Hamilton identity is different in three cases. First, the cases of odd ($k=2\ell -1$) and…

The problem of classifying all unitary R-matrices of arbitrary finite dimension that have precisely two distinct eigenvalues is described, working up to a natural equivalence relation given by the characters of their braid group…

Starting from Kirchberg's theorems announced in 1994, namely O_2 tensor A is isomorphic to O_2 for separable unital nuclear simple A and O_infinity tensor A is isomorphic to A if in addition A is purely infinite, we prove that…

We give the criterion for the irreducibility, the Schur irreducibility and the indecomposability of the set of two $n\times n$ matrices $\Lambda_n$ and $A_n$ in terms of the subalgebra associated with the "support" of the matrix $A_n$,…

We give a variety of uniqueness results for minimal ellipsoids circumscribing and maximal ellipsoids inscribed into a convex body. Uniqueness follows from a convexity or concavity criterion on the function used to measure the size of the…

We investigate the $h$-deformed quantum (super)group of $2\times 2$ matrices and use a kind of contraction procedure to prove that the $n$-th power of this deformed quantum (super)matrix is quantum (super)matrix with the deformation…

We construct finite $R$-matrices for the first fundamental representation $V$ of two-parameter quantum groups $U_{r,s}(\mathfrak{g})$ for classical $\mathfrak{g}$, both through the decomposition of $V\otimes V$ into irreducibles…

Quadratic forms over Z that represent all positive integers are called universal. Starting with Ramanujan, 54 universal quaternary quadratic forms without cross product terms were discovered. The form that is the sum of four squares was…

This paper establishes the argmin of a random objective function to be unique almost surely. This paper first formulates a general result that proves almost sure uniqueness without convexity of the objective function. The general result is…

We describe the universal Groebner basis of the ideal of maximal minors and the ideal of $2$-minors of a multigraded matrix of linear forms. Our results imply that the ideals are radical and provide bounds on the regularity. In particular,…

A new necessary separability criterion that relates the structures of the total density matrix and its reductions is given. The method used is based on the realignment method [K. Chen and L.A. Wu, Quant. Inf. Comput. 3, 193 (2003)]. The new…

For matrices with all nonnegative entries, the Perron-Frobenius theorem guarantees the existence of an eigenvector with all nonnegative components. We show that the existence of such an eigenvector is also guaranteed for a very different…

We briefly survey global bifurcation techniques, and illustrate their use by finding multiple positive periodic solutions to a class of second order quasilinear ODEs related to the Yamabe problem. As an application, we give a…

Let $ K $ be a global function field of characteristic $ 2 $. For each non-trivial place $ v $ of $ K $, let $ K_{v} $ be the completion of $ K $ at $ v $. We show that if two non-degenerate quadratic forms are similar over every $ K_{v} $,…

We give two sufficient criteria for schlichtness of envelopes of holomorphy in terms of topology. These are weakened converses of results of Kerner and Royden. Our first criterion generalizes a result of Hammond in dimension 2. Along the…

Limit theorems of strong law of large numbers and central limit theorem types are obtained for the compositions of independent identically distributed random unitary channels.