arXiv++ Combinatorics

The rank of the $9\times 9$ matrix $$ \left( \begin{array}{cccc|c|cccc} 1&1&0&0&1&0&0&0&0\\ 1&1&0&0&0&0&0&0&0\\ 0&0&1&1&1&0&0&0&0\\ 0&0&1&1&0&0&0&0&0\\\hline 0&0&0&0&1&0&1&0&1\\\hline 0&0&0&0&0&1&1&0&0\\ 0&0&0&0&0&1&1&0&0\\ 0&0&0&0&0&0&0&1&1\\ 0&0&0&0&0&0&0&1&1 \end{array} \right) $$ is $6$. If we replace the ones by arbitrary non-zero numbers, we get a matrix $B$ with $\operatorname{rank} B\geqslant6$, and if $\operatorname{rank} B=6$, the $6\times 6$ principal minors of $B$ vanish.

Let $\mathcal{S}_n$ be the set of all $n$-by-$n$ symmetric real matrices, and let $\mathcal{C}_n$ be the copositive cone, that is, the set of all matrices $a\in\mathcal{S}_n$ that fulfill the condition $u^\top a u\geqslant0$ for all $n$-vectors $u$ with nonnegative entries. We prove that a linear mapping $\varphi:\mathcal{S}_n\to \mathcal{S}_n$ satisfies $\varphi(\mathcal{C}_n)=\mathcal{C}_n$ if and only if $$\varphi(x)=m^\top xm$$ for a fixed monomial matrix $m$ with nonnegative entries.

The chromatic number of $G\times H$ can be smaller than the minimum of the chromatic numbers of finite simple graphs $G$ and $H$.

We show that the direct sum of an odd number of matrices $$C=\left(\begin{array}{cccc} 0&0&0&1\\ 1&0&0&0\\ 0&1&0&0\\ 0&0&1&1 \end{array}\right)$$ cannot be a sum $P+Q$ of matrices over $\mathbb{F}_2$ satisfying $P^2=P$ and $Q^3=O$.

The \textit{sepr-sequence} of an $n\times n$ real matrix $A$ is $(s_1,\ldots,s_n)$, where $s_k$ is the subset of those signs of $+,-,0$ that appear in the values of the $k\times k$ principal minors of $A$. The $12\times 12$ matrix $$\left(\begin{array}{cccccc|ccc|ccc} 0&0&0&0&0&0&0&0&0&a_1&0&0\\ 0&0&0&0&0&0&0&0&0&0&a_2&0\\ 0&0&0&0&0&0&0&0&0&0&0&a_3\\ 0&0&0&0&0&0&0&0&0&0&0&a_4\\ 0&0&0&0&0&0&0&0&0&0&0&a_5\\ 0&0&0&0&0&0&0&0&0&0&0&a_6\\\hline b_1&b_2&0&0&0&0&0&0&0&0&0&0\\ b_3&b_4&0&0&b_5&-b_6&0&0&0&0&0&0\\ 0&b_7&b_8&-b_9&b_{10}&b_{11}&0&0&0&0&0&0\\\hline 0&0&0&0&0&0&c_1&0&0&0&0&0\\ 0&0&0&0&0&0&0&c_2&0&0&0&0\\ 0&0&0&0&0&0&0&0&c_3&0&0&0 \end{array}\right)$$ does always have $s_k=\{0,+,-\}$ if $k=3,6,9$ and $s_k=\{0\}$ otherwise, provided that the variables are positive. However, every principal $9\times 9$ minor that is not identically zero can take values of both signs.

It has been known since the 60's that any complete discrete $n$-state automaton admits a reset word of length not exceeding $αn^3+o(n^3)$ for some absolute constant $α$. J.-E. Pin and P. Frankl proved this statement with $α=1/6=0.1666...$ in 1982, and this bound remained best known until 2017, when M. Szykuła decreased its value to $α\approx0.1664$. In this note, we present a modification to the latest approach and develop a different counting argument which leads to a more substantial improvement of $α\leqslant 0.1654$.

Let $S$ be a set of $n\times n$ matrices over a field $\mathbb{F}$. We show that the $\mathbb{F}$-linear span of the words in $S$ of length at most $$2n\log_2n+4n$$ is the full $\mathbb{F}$-algebra generated by $S$. This improves on the $n^2/3+2/3$ bound by Paz (1984) and an $O\left(n^{1.5}\right)$ bound of Pappacena (1997).

The rank of tensors is not additive with respect to the direct sum.

We continue to study the rank functions of tropical matrices. In this paper, we explain how to reduce the computation of ranks for matrices over the `supertropical semifield' to the standard tropical case. Using a counting approach, we prove the existence of a $01$-matrix with many ones and without large all-one submatrices, and we put our results together and construct an $n\times n$ matrix with tropical rank $o(n^{0.5+\varepsilon})$ and Kapranov rank $n-o(n)$.

Let $G = (V,E)$ be a finite simple graph. Recall that a proper coloring of $G$ is a mapping $\varphi: V\to\{1,\ldots,k\}$ such that every color class induces an independent set. Such a $\varphi$ is called a semi-matching coloring if the union of any two consecutive color classes induces a matching. We show that the semi-matching coloring problem is NP-complete for any fixed $k\geqslant 3$, and we get the same result for another version of this problem in which any triangle of G is required to have vertices whose colors differ at least by three.

Matrix factorization problems over various semirings naturally arise in different contexts of modern pure and applied mathematics. These problems are very hard in general and cause computational difficulties in applications. We give a survey of what is known on the algorithmic complexity of Boolean, fuzzy, tropical, nonnegative, and positive semidefinite factorizations, and we examine the behavior of the corresponding rank functions on matrices of bounded bandwidth. We show that the Boolean, fuzzy, and tropical versions of matrix factorization become polynomial time solvable when restricted to this class of matrices, and we also show that the nonnegative rank of a tridiagonal matrix is easy to compute. We recall several open problems from earlier papers on the topic and formulate many new problems.

We present an example of a symmetric tensor of size $800\times 800\times 800$ which can be written a sum of $903$ simple tensors with complex entries but not as a sum of $903$ symmetric simple tensors.

Using standard techniques from combinatorics, model theory, and algebraic geometry, we prove generalized versions of several basic results in the theory of spectrally arbitrary matrix patterns. Also, we point out a counterexample to a conjecture proposed recently by McDonald and Melvin.

Let $M$ be a real $r\times c$ matrix and let $k$ be a positive integer. In the column subset selection problem (CSSP), we need to minimize the quantity $\|M-SA\|$, where $A$ can be an arbitrary $k\times c$ matrix, and $S$ runs over all $r\times k$ submatrices of $M$. This problem and its applications in numerical linear algebra are being discussed for several decades, but its algorithmic complexity remained an open issue. We show that CSSP is NP-complete.

An $n\times n$ sign pattern $S$, which is a matrix with entries $0,+,-$, is called spectrally arbitrary if any monic real polynomial of degree $n$ can be realized as a characteristic polynomial of a matrix obtained by replacing the non-zero elements of $S$ by numbers of the corresponding signs. A sign pattern $S$ is said to be a superpattern of those matrices that can be obtained from $S$ by replacing some of the non-zero entries by zeros. We develop a new technique that allows us to prove spectral arbitrariness of sign patterns for which the previously known "Nilpotent Jacobian" method does not work. Our approach leads us to solutions of numerous open problems known in the literature. In particular, we provide an example of a sign pattern $S$ and its superpattern $S'$ such that $S$ is spectrally arbitrary but $S'$ is not, disproving a conjecture proposed in 2000 by Drew, Johnson, Olesky, and van den Driessche.

An $n\times n$ zero pattern $S$, which is a matrix with entries $*$ and $0$, is called spectrally arbitrary with respect to a field $F$ if any monic polynomial $f$ of degree $n$ can be realized as the characteristic polynomial of a matrix obtained from $S$ by replacing the $*$'s with non-zero elements of $F$. We construct an $n\times n$ zero pattern that is spectrally arbitrary with respect to $\mathbb{C}$ and has $2n-1$ nonzero entries.

We investigate the computational complexity of tensor rank, a concept that plays fundamental role in different topics of modern applied mathematics. For tensors over any integral domain, we prove that the rank problem is polynomial time equivalent to solving a system of polynomial equations over this integral domain. Our result gives a complete description of the algorithmic complexity of tensor rank and allows one to solve several known open problems. In particular, the tensor rank over $\mathbb{Z}$ turns out to be undecidable, which answers the question posed by Gonzalez and Ja'Ja' in 1980. We generalize our result and prove that the symmetric rank admits a similar description of computational complexity as the one we give for usual rank. In particular, computing the symmetric rank of a rational tensor is shown to be NP-hard, which proves a recent conjecture of Hillar and Lim. As a byproduct of our approach, we get a similar characterization of the algorithmic complexity of the minimal rank matrix completion problem, which gives a complete answer to the question discussed in 1999 by Buss, Frandsen, and Shallit.

Every (left) linear function on a subspace of a finite-dimensional vector space over a (skew) field can be extended to a (left) linear function on the whole space. This paper explores the extent to what this basic fact of linear algebra is applicable to more general structures. Semifields with a similar property imposed on linear functions are called (left) exact, and we present a complete description of such semifields. Namely, we show that a semifield $S$ is left exact if and only if $S$ is either a skew field or an idempotent semiring. In particular, our result is new even for the tropical semiring and gives a solution to the problem posed by Wilding. Also, we point out several problems that require further investigation.

Let $G$ be a simple graph whose vertices are partitioned into two subsets, called filled vertices and empty vertices. A vertex $v$ is said to be forced by a filled vertex $u$ if $v$ is a unique empty neighbor of $u$. If we can fill all the vertices of $G$ by repeatedly filling the forced ones, then we call an initial set of filled vertices a forcing set. We discuss the so-called failed forcing number of a graph, which is the largest cardinality of a set which is not forcing. Answering the recent question of Ansill, Jacob, Penzellna, Saavedra, we prove that this quantity is NP-hard to compute. Our proof also works for a related graph invariant which is called the skew failed forcing number.

A Euclidean distance matrix $D(α)$ is defined by $D_{ij}=(α_i-α_j)^2$, where $α=(α_1,\ldots,α_n)$ is a real vector. We prove that $D(α)$ cannot be written as a sum of $\left[2\sqrt{n}-2\right]$ nonnegative rank-one matrices, provided that the coordinates of $α$ are algebraically independent. This result allows one to solve several open problems in computation theory. In particular, we provide an asymptotically optimal separation between the complexities of quantum and classical communication protocols computing a matrix in expectation.