arXiv++ Combinatorics

Let $G$ be a semigroup. The vertices of the power graph $\mathcal{P}(G)$ are the elements of $G$, and two elements are adjacent if and only if one of them is a power of the other. We show that the chromatic number of $\mathcal{P}(G)$ is at most countable, answering a recent question of Aalipour et al.

Let $A$ be a matrix with nonnegative real entries. The PSD rank of $A$ is the smallest integer $k$ for which there exist $k\times k$ real PSD matrices $B_1,\ldots,B_m$, $C_1,\ldots,C_n$ satisfying $A(i|j)=\operatorname{tr}(B_iC_j)$ for all $i,j$. This paper determines the computational complexity status of the PSD rank. Namely, we show that the problem of computing this function is polynomial-time equivalent to the existential theory of the reals.

Let $A$ be a matrix with nonnegative real entries. A nonnegative factorization of size $k$ is a representation of $A$ as a sum of $k$ nonnegative rank-one matrices. The space of all such factorizations is a bounded semialgebraic set, and we prove that spaces arising in this way are universal. More presicely, we show that every bounded semialgebraic set $U$ is rationally equivalent to the set of nonnegative size-$k$ factorizations of some matrix $A$ up to a permutation of matrices in the factorization. We prove that, if $U\subset\mathbb{R}^n$ is given as the zero locus of a polynomial with coefficients in $\mathbb{Q}$, then such a pair $(A,k)$ can be computed in polynomial time. This result gives a complete description of the algorithmic complexity of nonnegative rank, and it also allows one to solve the problem of Cohen and Rothblum on nonnegative factorizations restricted to matrices over different subfields of $\mathbb{R}$.

We provide an example of a $21\times 21$ matrix with nonnegative integer entries which can be written as a sum of $19$ nonnegative rank-one matrices but not as a sum of $19$ rational nonnegative rank-one matrices. This gives a solution for a problem posed by Cohen and Rothblum in 1993.

Using elementary linear algebra, we develop a technique that leads to solutions of two widely known problems on nonnegative matrices. First, we give a short proof of the result by Vavasis stating that the nonnegative rank of a matrix is NP-hard to compute. This proof is essentially contained in the paper by Jiang and Ravikumar, who discussed this topic in different terms fifteen years before the work of Vavasis. Secondly, we present a solution of the problem of Cohen and Rothblum on rational nonnegative factorizations, which was posed in 1993 and remained open.

Let $χ(A)$ denote the characteristic polynomial of a matrix $A$ over a field; a standard result of linear algebra states that $χ(A^{-1})$ is the reciprocal polynomial of $χ(A)$. More formally, the condition $χ^n(X) χ^k(X^{-1})=χ^{n-k}(X)$ holds for any invertible $n\times n$ matrix $X$ over a field, where $χ^i(X)$ denotes the coefficient of $λ^{n-i}$ in the characteristic polynomial $\det(λI-X)$. We confirm a recent conjecture of Niv by proving the tropical analogue of this result.

We present an example of a subfield $\mathcal{F}\subset\mathbb{R}$ and a matrix $A$ whose conventional and nonnegative ranks equal five, but the nonnegative rank with respect to $\mathcal{F}$ equals six. In other words, $A$ can be represented as a sum of five rank-one matrices with nonnegative real entries but not as a sum of five rank-one matrices with nonnegative entries in $\mathcal{F}$.

The commuting graph of a semigroup is the set of non-central elements; the edges are defined as pairs $(u,v)$ satisfying $uv=vu$. We provide an example of a field $F$ and an integer $n$ such that the commuting graph of $\operatorname{Mat}_n(F)$ has maximal possible diameter, equal to six.

The vertices of commuting graph of $\mathbb{R}^{n\times n}$ are non-scalar matrices; the edges are defined as pairs $(u, v)$ satisfying $uv = vu$. For $n\geqslant 3$, the diameter of this graph is at least four; we give a short proof that it is exactly four.

Every convex polygon with $n$ vertices is a linear projection of a higher-dimensional polytope with at most $147\,n^{2/3}$ facets.

We give an example of two $n\times n$ chess positions, $A$ and $B$, such that (1) there is a sequence $σ$ of legal chess moves leading from $A$ to $B$; (2) the length of $σ$ cannot be less than $\exp Θ(n)$.

We construct a nontrivial identity which holds in the semigroup of tropical 3-by-3 matrices.

Let $A$ be a real matrix. The term rank of $A$ is the smallest number $t$ of lines (that is, rows or columns) needed to cover all the nonzero entries of $A$. We prove a conjecture of Li et al. stating that, if the rank of $A$ exceeds $t-3$, there is a rational matrix with the same sign pattern and rank as those of $A$. We point out a connection of the problem discussed with the Kapranov rank function of tropical matrices, and we show that the statement fails to hold in general if the rank of $A$ does not exceed $t-3$.

We show that a rank-three symmetric matrix with exactly one negative eigenvalue can have arbitrarily large nonnegative rank.

We construct a reduction which proves that the fooling set number and the determinantal rank of a Boolean matrix are NP-hard to compute.

We provide a nontrivial upper bound for the nonnegative rank of rank-three matrices, which allows us to prove that [6(n+1)/7] linear inequalities suffice to describe a convex n-gon up to a linear projection.

In this note, we generalize the technique developed in [13] and prove that every 5xn matrix of tropical rank at most 3 has Kapranov rank at most 3, for the ground field that contains at least 4 elements. For the ground field either F_2 or F_3, we construct an example of a 5x5 matrix with tropical rank 3 and Kapranov rank 4.

The tropical arithmetic operations on $\mathbb{R}$ are defined by $a\oplus b=\min\{a,b\}$ and $a\otimes b=a+b$. Let $A$ be a tropical matrix and $k$ a positive integer, the problem of Tropical Matrix Factorization (TMF) asks whether there exist tropical matrices $B\in\mathbb{R}^{m\times k}$ and $C\in\mathbb{R}^{k\times n}$ satisfying $B\otimes C=A$. We show that no algorithm for TMF is likely to work in polynomial time for every fixed $k$, thus resolving a problem proposed by Barvinok in 1993.

The paper gives a complete description of the subgroups of the semigroup of tropical n-by-n matrices up to an isomorphism. In particular, we show that every of these groups has a torsion-free abelian subgroup of index at most n!, proving the conjecture of Johnson and Kambites.

We show that the r-by-r minors of a d-by-n matrix of variables form a tropical basis of the ideal they generate if and only if r<4, or r=min(d,n), or else r=4 and min(d,n)<7. This answers a question asked by M. Chan, A. Jensen, and E. Rubei.