arXiv++ Combinatorics

The {\it zero forcing number} of a graph $G$, $Z(G)$, is a well-studied parameter which arises from a color changing process and has strong connections to {\it minimum rank}, {\it critical ideals} and related invariants. In this work, we consider the complementary parameter $\mz(G) = |V(G)| - Z(G)$. This parameter is monotone under taking induced subgraphs. This leads us to the study of graphs for which $\mz(G)$ is bounded, via forbidden induced subgraphs. We prove that the number of minimal forbidden graphs for graphs with $\mz(G)\leq k$ is finite for any $k\geq 1$. We determine the complete set of minimal forbidden graphs for the case $k = 3$, and we provide partial characterizations of graphs with $\mz(G) \leq 3$, based on girth. Our results suggest new directions for the structural understanding of zero forcing-type parameters.

The inverse eigenvalue problem of a graph $G$ studies the possible spectra of matrices associated with $G$, including as an important subproblem the possible nullities of such a matrix. Much research in this area to date has focused only on the spectrum of the matrix itself, but there are applications of inverse eigenvalue problems that also involve the interaction between that spectrum and the spectrum of some maximal proper principal submatrix, or in other words the interlacing spectrum that results from crossing out any one row and the same column. Motivated by this refined information, given a graph $G$ on $n$ vertices with a designated root vertex, we investigate all possible nullity pairs where the first nullity is that of an $n \times n$ symmetric matrix associated to $G$ and the second nullity is that of the principal submatrix of size $(n - 1) \times (n - 1)$ that results from deleting the row and column associated to the root vertex. We define a new parameter $ξξ(G,i)$ for rooted graphs $(G,i)$ equipped with the strong nullity interlacing property that coordinates the two values of a nullity pair, and we show that this graph parameter is minor monotone. Moreover, we prove a bifurcation lemma for the strong nullity interlacing property. We use these new tools to characterize the rooted graphs with $ξξ(G,i) \geq s$ for $s \in \{ 0,1,2,3,4, 5\}$ by finding the minimal minors for each of these families. These families turn out to have strong connections to the minimal minors for $ξ(G) \geq k$.

Strong matrix properties, roughly speaking, refer to generic conditions on a matrix such that its spectral perturbation and pattern perturbation interact nicely to cover a neighborhood in the ambient space. With a rich history, these strong properties originate from various fields, including the inverse eigenvalue problem, the sign pattern problem, and structural graph theory. In this paper, we introduce a new strong property, the strong spectral property for weighted Laplacian matrices (SSPWL), and establish the corresponding Supergraph and Bifurcation lemmas. Instead of the space of symmetric matrices, the SSPWL considers the ambient space spanned by all weighted Laplacian matrices. Moreover, we provide a detailed study comparing the Jacobian Method and some strong properties, leading to a full understanding between these two techniques used in different problems. Using these tools, we identify the potential boundaries of the spectral regions of weighted Laplacian matrices associated with connected graphs on $4$ vertices, extending the analysis from the previous work [S. M. Fallat, H. Gupta, and J. C.-H. Lin. Inverse eigenvalue problem for Laplacian matrices of a graph. SIAM J. Matrix Anal. Appl., 46:1866--1886, 2025]. In addition, this analysis can be used to identify the absolute algebraic connectivity of such small ordered graphs, and we establish the existence of strong weighted Laplacian matrices for several graph families.

A discrete Schrödinger operator of a graph $G$ is a real symmetric matrix whose $i,j$-entry, $i \neq j$, is negative if $\{i,j\}$ is an edge and zero if it is not an edge, while diagonal entries can be any real numbers. The discrete Schrödinger operators have been used to study vibration theory and the Colin de Verdière parameter. The inverse eigenvalue problem for discrete Schrödinger operators of a graph aims to characterize the possible spectra among discrete Schrödinger operators of a graph. Compared to the inverse eigenvalue problem of a graph, the answers turn out to be more limited, and several restrictions based on graph structure are given. Using the strong properties, analogous versions of the supergraph lemma, the liberation lemma, and the bifurcation lemma are established. Using these results, the inverse eigenvalue problem for discrete Schrödinger operators is resolved for each graph with at most $5$ vertices.

For a given graph $G$, we aim to determine the possible realizable spectra for a generalized (or sometimes referred to as a weighted) Laplacian matrix associated with $G$. This new specialized inverse eigenvalue problem is considered for certain families of graphs and graphs on a small number of vertices. Related considerations include studying the possible ordered multiplicity lists associated with stars and complete graphs and graphs with a few vertices. Finally, we present a novel investigation, both theoretically and numerically, the minimum variance over a family of generalized Laplacian matrices with a size-normalized weighting.

Given a graph and one of its weighted Laplacian matrix, a Fiedler vector is an eigenvector with respect to the second smallest eigenvalue. The Fiedler vectors have been used widely for graph partitioning, graph drawing, spectral clustering, and finding the characteristic set. This paper studies how the graph structure can control the possible Fiedler vectors for different weighted Laplacian matrices. For a given tree, we characterize all possible Fiedler vectors among its weighted Laplacian matrix. As an application, the characteristic set can be anywhere on a tree, except for the set containing a single leaf. For a given cycle, we characterize all possible eigenvectors corresponding to the second or the third smallest eigenvalue.

In this note, we explore the connections between the confluent Vandermonde matrix over an arbitrary field and several mathematical topics, including interpolation polynomials, Hasse derivatives, LU factorization, companion matrices and their Jordan forms, and the partial fraction decomposition. Using a unified approach based on polynomial evaluations and derivative computations at selected points, we provide accessible proofs that not only clarify key results but also offer insights for both experienced researchers and those new to the subject.

The inverse eigenvalue problem studies the possible spectra among matrices whose off-diagonal entries have their zero-nonzero patterns described by the adjacency of a graph $G$. In this paper, we refer to the $i$-nullity pair of a matrix $A$ as $(\operatorname{null}(A), \operatorname{null}(A(i))$, where $A(i)$ is the matrix obtained from $A$ by removing the $i$-th row and column. The inverse $i$-nullity pair problem is considered for complete graphs, cycles, and trees. The strong nullity interlacing property is introduced, and the corresponding supergraph lemma and decontraction lemma are developed as new tools for constructing matrices with a given nullity pair.

The inverse eigenvalue problem of a graph $G$ is the problem of characterizing all lists of eigenvalues of real symmetric matrices whose off-diagonal pattern is prescribed by the adjacencies of $G$. The strong spectral property is a powerful tool in this problem, which identifies matrices whose entries can be perturbed while controlling the pattern and preserving the eigenvalues. The Matrix Liberation Lemma introduced by Barrett et al.~in 2020 advances the notion to a more general setting. In this paper we revisit the Matrix Liberation Lemma and prove an equivalent statement, that reduces some of the technical difficulties in applying the result. We test our method on matrices of the form $M=A \oplus B$ and show how this new approach supplements the results that can be obtained from the strong spectral property only. While extending this notion to the direct sums of graphs, we discover a surprising connection with the zero forcing game on Cartesian products of graphs. Throughout the paper we apply our results to resolve a selection of open cases for the inverse eigenvalue problem of a graph on six vertices.

We introduce the class of strong cocomparability graphs, as the class of reflexive graphs whose adjacency matrix can be rearranged by a simultaneous row and column permutation to avoid the submatrix with rows 01, 10, which we call Slash. We provide an ordering characterization, a forbidden structure characterization, and a polynomial-time recognition algorithm, for the class. These results complete the picture in which in addition to, or instead of, the Slash matrix one forbids the Gamma matrix (which has rows 11, 10). It is well known that in these two cases one obtains the class of interval graphs, and the class of strongly chordal graphs, respectively. By complementation, we obtain the class of strong comparability graphs, whose adjacency matrix can be rearranged by a simultaneous row and column permutation to avoid the two-by-two identity submatrix. Thus our results give characterizations and algorithms for this class of irreflexive graphs as well. In other words, our results may be interpreted as solving the following problem: given a symmetric 0,1-matrix with 0-diagonal, can the rows and columns of be simultaneously permuted to avoid the two-by-two identity submatrix?

Given a graph $G$ with vertices $\{v_1,\ldots,v_n\}$, we define $\mathcal{S}(G)$ to be the set of symmetric matrices $A=[a_{i,j}]$ such that for $i\ne j$ we have $a_{i,j}\ne 0$ if and only if $v_iv_j\in E(G)$. Motivated by the Graph Complement Conjecture, we say that a graph $G$ is complementary vanishing if there exist matrices $A \in \mathcal{S}(G)$ and $B \in \mathcal{S}(\overline{G})$ such that $AB=O$. We provide combinatorial conditions for when a graph is or is not complementary vanishing, and we characterize which graphs are complementary vanishing in terms of certain minimal complementary vanishing graphs. In addition to this, we determine which graphs on at most $8$ vertices are complementary vanishing.

The inverse eigenvalue problem of a graph studies the real symmetric matrices whose off-diagonal pattern is prescribed by the adjacencies of the graph. The strong spectral property (SSP) is an important tool for this problem. This note establishes the bifurcation lemma, which states that if a spectrum can be realized by a matrix with the SSP for some graph, then all the nearby spectra can also be realized by matrices with the SSP for the same graph. The idea of the bifurcation lemma also works for other strong properties and for not necessarily symmetric matrices. This is used to develop new techniques for verifying a spectrally arbitrary pattern or inertially arbitrary pattern. The bifurcation lemma provides a unified theoretical foundation for several known results, such as the stable northeast lemma and the nilpotent-centralizer method.

Given a graph $G$, one may ask: "What sets of eigenvalues are possible over all weighted adjacency matrices of $G$?" (The weight of an edge is positive or negative, while the diagonal entries can be any real numbers.) This is known as the Inverse Eigenvalue Problem for graphs (IEP-$G$). A mild relaxation of this question considers the multiplicity list instead of the exact eigenvalues themselves. That is, given a graph $G$ on $n$ vertices and an ordered partition $\mathbf{m}= (m_1, \ldots, m_\ell)$ of $n$, is there a weighted adjacency matrix where the $i$-th distinct eigenvalue has multiplicity $m_i$? This is known as the ordered multiplicity IEP-$G$. Recent work solved the ordered multiplicity IEP-$G$ for all graphs on 6 vertices. In this work, we develop zero forcing methods for the ordered multiplicity IEP-$G$ in a multitude of different contexts. Namely, we utilize zero forcing parameters on powers of graphs to achieve bounds on consecutive multiplicities. We are able to provide general bounds on sums of multiplicities of eigenvalues for graphs. This includes new bounds on the the sums of multiplicities of consecutive eigenvalues as well as more specific bounds for trees. Using these results, we verify the previous results above regarding the IEP-$G$ on six vertices. In addition, applying our techniques to skew-symmetric matrices, we are able to determine all possible ordered multiplicity lists for skew-symmetric matrices for connected graphs on five vertices.

The inverse eigenvalue problem of a graph $G$ aims to find all possible spectra for matrices whose $(i,j)$-entry, for $i\neq j$, is nonzero precisely when $i$ is adjacent to $j$. In this work, the inverse eigenvalue problem is completely solved for a subfamily of clique-path graphs, in particular for lollipop graphs and generalized barbell graphs. For a matrix $A$ with associated graph $G$, a new technique utilizing the strong spectral property is introduced, allowing us to construct a matrix $A'$ whose graph is obtained from $G$ by appending a clique while arbitrary list of eigenvalues is added to the spectrum. Consequently, many spectra are shown realizable for block graphs.

In light of recent interest in Hadamard diagonalisable graphs (graphs whose Laplacian matrix is diagonalisable by a Hadamard matrix), we generalise this notion from real to complex Hadamard matrices. We give some basic properties and methods of constructing such graphs. We show that a large class of complex Hadamard diagonalisable graphs have vertex sets forming an equitable partition, and that the Laplacian eigenvalues must be even integers. We provide a number of examples and constructions of complex Hadamard diagonalisable graphs, including two special classes of graphs: the Cayley graphs over $\mathbb{Z}_r^d$, and the non--complete extended $p$--sum (NEPS). We discuss necessary and sufficient conditions for $(α, β)$--Laplacian fractional revival and perfect state transfer on continuous--time quantum walks described by complex Hadamard diagonalisable graphs and provide examples of such quantum state transfer.

We define strongly chordal digraphs, which generalize strongly chordal graphs and chordal bipartite graphs, and are included in the class of chordal digraphs. They correspond to square 0,1 matrices that admit a simultaneous row and column permutation avoiding the Γ matrix. In general, it is not clear if these digraphs can be recognized in polynomial time, and we focus on symmetric digraphs (i.e., graphs with possible loops), tournaments with possible loops, and balanced digraphs. In each of these cases we give a polynomial-time recognition algorithm and a forbidden induced subgraph characterization. We also discuss an algorithm for minimum general dominating set in strongly chordal graphs with possible loops, extending and unifying similar algorithms for strongly chordal graphs and chordal bipartite graphs.

We introduce the set $\mathcal{G}^{\rm SSP}$ of all simple graphs $G$ with the property that each symmetric matrix corresponding to a graph $G \in \mathcal{G}^{\rm SSP}$ has the strong spectral property. We find several families of graphs in $\mathcal{G}^{\rm SSP}$ and, in particular, characterise the trees in $\mathcal{G}^{\rm SSP}$.

We propose bipartite analogues of comparability and cocomparability graphs. Surprizingly, the two classes coincide. We call these bipartite graphs cocomparability bigraphs. We characterize cocomparability bigraphs in terms of vertex orderings, forbidden substructures, and orientations of their complements. In particular, we prove that cocomparability bigraphs are precisely those bipartite graphs that do not have edge-asteroids; this is analogous to Gallai's structural characterization of cocomparability graphs by the absence of (vertex-) asteroids. Our characterizations imply a robust polynomial-time recognition algorithm for the class of cocomparability bigraphs. Finally, we also discuss a natural relation of cocomparability bigraphs to interval containment bigraphs, resembling a well-known relation of cocomparability graphs to interval graphs.

Zero forcing is a combinatorial game played on a graph where the goal is to start with all vertices unfilled and to change them to filled at minimal cost. In the original variation of the game there were two options. Namely, to fill any one single vertex at the cost of a single token; or if any currently filled vertex has a unique non-filled neighbor, then the neighbor is filled for free. This paper investigates a $q$-analogue of zero forcing which introduces a third option involving an oracle. Basic properties of this game are established including determining all graphs which have minimal cost $1$ or $2$ for all possible $q$, and finding the zero forcing number for all trees when $q=1$.

Connections between vital linkages and zero forcing are established. Specifically, the notion of a rigid linkage is introduced as a special kind of unique linkage and it is shown that spanning forcing paths of a zero forcing process form a spanning rigid linkage and thus a vital linkage. A related generalization of zero forcing that produces a rigid linkage via a coloring process is developed. One of the motivations for introducing zero forcing is to provide an upper bound on the maximum multiplicity of an eigenvalue among the real symmetric matrices described by a graph. Rigid linkages and a related notion of rigid shortest linkages are utilized to obtain bounds on the multiplicities of eigenvalues of this family of matrices.