arXiv++ Combinatorics

The motivation of this paper is to investigate the dual Drazin inverse of adjacency matrices arising from several classes of connected dual-number-weighted digraphs over the dual complex algebra. Explicit formulas for the dual Drazin inverse of dual complex anti-triangular block matrices are derived under suitable assumptions. These results are applied to DN-DS digraphs, DN-DLS digraphs, and DN-DW digraphs. In particular, the assumptions in \cite{AMPMJM2026} are weakened for DN-DS digraphs, an open problem in \cite{AMPMJM2026} for the case $BC=0$ is generalized and solved for DN-DLS digraphs. And the group inverse result in \cite{MNSEJAA2022} for bipartite block form adjacency matrices is extended to the dual Drazin inverse for DN-DW digraphs. We further derive explicit formulas for the dual group inverse and dual Drazin inverse of another adjacency matrix for DN-DW digraphs.

Since the transformative workshop by the American Institute of Mathematics on the minimum rank of a graph, two longstanding open problems have captivated the community interested in the minimum rank of graphs: the graph complement conjecture and the $δ$-conjecture. In this paper, we use a classical result of Mader (1972) to establish a weak version of the graph complement conjecture for all key minimum rank parameters. In addition, again using the same result of Mader, we present some extremal resolutions of the $δ$-conjecture. Furthermore, we incorporate the assumption of the $δ$-conjecture and extensive work on graph degeneracy to improve the bound in the weak version of the graph complement conjecture. We conclude with a list of conjectured bounds on the positive semidefinite variant of the Colin de Verdière number.

The refined inertia of a square real matrix $A$ is the ordered $4$-tuple $(n_+, n_-, n_z, 2n_p)$, where $n_+$ (resp., $n_-$) is the number of eigenvalues of $A$ with positive (resp., negative) real part, $n_z$ is the number of zero eigenvalues of $A$, and $2n_p$ is the number of nonzero pure imaginary eigenvalues of $A$. For $n \geq 3$, the set of refined inertias $\mathbb{H}_n=\{(0, n, 0, 0), (0, n-2, 0, 2), (2, n-2, 0, 0)\}$ is important for the onset of Hopf bifurcation in dynamical systems. We say that an $n\times n$ sign pattern ${\cal A}$ requires $\mathbb{H}_n$ if $\mathbb{H}_n=\{\text{ri}(B) | B \in Q({\cal A})\}$. Bodine et al. conjectured that no $n\times n$ irreducible sign pattern that requires $\mathbb{H}_n$ exists for $n$ sufficiently large, possibly $n\ge 8$. However, for each $n \geq 4$, we identify three $n\times n$ irreducible sign patterns that require $\mathbb{H}_n$, which resolves this conjecture.

This paper is devoted to the study of lower and upper bounds for the number of vertices of the polytope of $n\times n\times n$ stochastic tensors (i.e., triply stochastic arrays of dimension $n$). By using known results on polytopes (i.e., the Upper and Lower Bound Theorems), we present some new lower and upper bounds. We show that the new upper bound is tighter than the one recently obtained by Chang, Paksoy and Zhang [Ann. Funct. Anal. 7 (2016), no.~3, 386--393] and also sharper than the one in Linial and Luria's [Discrete Comput. Geom. 51 (2014), no.~1, 161--170]. We demonstrate that the analog of the lower bound obtained in such a way, however, is no better than the existing ones.

A signed graph is a pair $(G,Σ)$, where $G=(V,E)$ is a graph (in which parallel edges are permitted, but loops are not) with $V=\{1,\ldots,n\}$ and $Σ\subseteq E$. The edges in $Σ$ are called odd and the other edges of $E$ even. By $S(G,Σ)$ we denote the set of all symmetric $n\times n$ matrices $A=[a_{i,j}]$ with $a_{i,j}<0$ if $i$ and $j$ are adjacent and connected by only even edges, $a_{i,j}>0$ if $i$ and $j$ are adjacent and connected by only odd edges, $a_{i,j}\in \mathbb{R}$ if $i$ and $j$ are connected by both even and odd edges, $a_{i,j}=0$ if $i\not=j$ and $i$ and $j$ are non-adjacent, and $a_{i,i} \in \mathbb{R}$ for all vertices $i$. The parameters $M(G,Σ)$ and $ξ(G,Σ)$ of a signed graph $(G,Σ)$ are the largest nullity of any matrix $A\in S(G,Σ)$ and the largest nullity of any matrix $A\in S(G,Σ)$ that has the Strong Arnold Hypothesis, respectively. In a previous paper, we gave a characterization of signed graphs $(G,Σ)$ with $M(G,Σ)\leq 1$ and of signed graphs with $ξ(G,Σ)\leq 1$. In this paper, we characterize the $2$-connected signed graphs $(G,Σ)$ with $M(G,Σ)\leq 2$ and the $2$-connected signed graphs $(G,Σ)$ with $ξ(G,Σ)\leq 2$.

A {\it sign pattern matrix} is a matrix whose entries are from the set $\{+,-, 0\}$. The minimum rank of a sign pattern matrix $A$ is the minimum of the ranks of the real matrices whose entries have signs equal to the corresponding entries of $A$. It is shown in this paper that for any $m \times n$ sign pattern $A$ with minimum rank $n-2$, rational realization of the minimum rank is possible. This is done using a new approach involving sign vectors and duality. It is shown that for each integer $n\geq 9$, there exists a nonnegative integer $m$ such that there exists an $n\times m$ sign pattern matrix with minimum rank $n-3$ for which rational realization is not possible. A characterization of $m\times n$ sign patterns $A$ with minimum rank $n-1$ is given (which solves an open problem in Brualdi et al. \cite{Bru10}), along with a more general description of sign patterns with minimum rank $r$, in terms of sign vectors of certain subspaces. A number of results on the maximum and minimum numbers of sign vectors of $k$-dimensional subspaces of $\mathbb R^n$ are obtained. In particular, it is shown that the maximum number of sign vectors of $2$-dimensional subspaces of $\mathbb R^n$ is $4n+1$. Several related open problems are stated along the way.

A \emph{sign pattern (matrix)} is a matrix whose entries are from the set $\{+, -, 0\}$. The \emph{minimum rank} (respectively, \emph{rational minimum rank}) of a sign pattern matrix $\cal A$ is the minimum of the ranks of the real (respectively, rational) matrices whose entries have signs equal to the corresponding entries of $\cal A$. A sign pattern $\cal A$ is said to be \emph{condensed} if $\cal A$ has no zero row or column and no two rows or columns are identical or negatives of each other. In this paper, a new direct connection between condensed $m \times n $ sign patterns with minimum rank $r$ and $m$ point--$n$ hyperplane configurations in ${\mathbb R}^{r-1}$ is established. In particular, condensed sign patterns with minimum rank 3 are closed related to point--line configurations on the plane. It is proved that for any sign pattern $\cal A$ with minimum rank $r\geq 3$, if the number of zero entries on each column of $\cal A$ is at most $r-1$, then the rational minimum rank of $\cal A$ is also $r$. Furthermore, we construct the smallest known sign pattern whose minimum rank is 3 but whose rational minimum rank is greater than 3.

A sign pattern matrix is a matrix whose entries are from the set $\{+,-,0\}$. If $A$ is an $m\times n$ sign pattern matrix, the qualitative class of $A$, denoted $Q(A)$, is the set of all real $m\times n$ matrices $B=[b_{i,j}]$ with $b_{i,j}$ positive (respectively, negative, zero) if $a_{i,j}$ is + (respectively, $-$, 0). The minimum rank of a sign pattern matrix $A$, denoted $\mr(A)$, is the minimum of the ranks of the real matrices in $Q(A)$. Determination of the minimum rank of a sign pattern matrix is a longstanding open problem. For the case that the sign pattern matrix has a 1-separation, we present a formula to compute the minimum rank of a sign pattern matrix using the minimum ranks of certain generalized sign pattern matrices associated with the 1-separation.

A signed graph is a pair $(G,Σ)$, where $G=(V,E)$ is a graph (in which parallel edges are permitted, but loops are not) with $V=\{1,...,n\}$ and $Σ\subseteq E$. The edges in $Σ$ are called odd and the other edges even. By $S(G,Σ)$ we denote the set of all symmetric $n\times n$ matrices $A=[a_{i,j}]$ with $a_{i,j}<0$ if $i$ and $j$ are connected by only even edges, $a_{i,j}>0$ if $i$ and $j$ are connected by only odd edges, $a_{i,j}\in \mathbb{R}$ if $i$ and $j$ are connected by both even and odd edges, $a_{i,j}=0$ if $i\not=j$ and $i$ and $j$ are non-adjacent, and $a_{i,i} \in \mathbb{R}$ for all vertices $i$. The parameter $ν(G,Σ)$ of a signed graph $(G,Σ)$ is the largest nullity of any positive semidefinite matrix $A\in S(G,Σ)$ that has the Strong Arnold Property. By $K_3^=$ we denote the signed graph obtained from $(K_3,\emptyset)$ by adding to each even edge an odd edge in parallel. In this paper, we prove that a signed graph $(G,Σ)$ has $ν(G,Σ)\leq 2$ if and only if $(G,Σ)$ has no minor isomorphic to $(K_4,E(K_4))$ or $K_3^=$.

A signed graph is a pair $(G,Σ)$, where $G=(V,E)$ is a graph (in which parallel edges are permitted, but loops are not) with $V={1,...,n}$ and $Σ\subseteq E$. By $S(G,Σ)$ we denote the set of all symmetric $V\times V$ matrices $A=[a_{i,j}]$ with $a_{i,j}<0$ if $i$ and $j$ are connected by only even edges, $a_{i,j}>0$ if $i$ and $j$ are connected by only odd edges, $a_{i,j}\in \mathbb{R}$ if $i$ and $j$ are connected by both even and odd edges, $a_{i,j}=0$ if $i\not=j$ and $i$ and $j$ are non-adjacent, and $a_{i,i} \in \mathbb{R}$ for all vertices $i$. The stable inertia set of a signed graph $(G,Σ)$ is the set of all pairs $(p,q)$ for which there exists a matrix $A\in S(G,Σ)$ with $p$ positive and $q$ negative eigenvalues which has the Strong Arnold Property. In this paper, we study the stable inertia set of (signed) graphs.