-
Sufficient conditions for total positivity, compounds, and Dodgson condensation
Authors:
Shaun Fallat,
Himanshu Gupta,
Charles R. Johnson
Abstract:
A $n$-by-$n$ matrix is called totally positive ($TP$) if all its minors are positive and $TP_k$ if all of its $k$-by-$k$ submatrices are $TP$. For an arbitrary totally positive matrix or $TP_k$ matrix, we investigate if the $r$th compound ($1<r<n$) is in turn $TP$ or $TP_k$, and demonstrate a strong negative resolution in general. Focus is then shifted to Dodgson's algorithm for calculating the de…
▽ More
A $n$-by-$n$ matrix is called totally positive ($TP$) if all its minors are positive and $TP_k$ if all of its $k$-by-$k$ submatrices are $TP$. For an arbitrary totally positive matrix or $TP_k$ matrix, we investigate if the $r$th compound ($1<r<n$) is in turn $TP$ or $TP_k$, and demonstrate a strong negative resolution in general. Focus is then shifted to Dodgson's algorithm for calculating the determinant of a generic matrix, and we analyze whether the associated condensed matrices are possibly totally positive or $TP_k$. We also show that all condensed matrices associated with a $TP$ Hankel matrix are $TP$.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Spectral Applications of Vertex-Clique Incidence Matrices Associated with a Graph
Authors:
Shaun Fallat,
Seyed Ahmad Mojallal
Abstract:
In this paper, we demonstrate a useful interaction between the theory of clique partitions, edge clique covers of a graph, and the spectra of graphs. Using a clique partition and an edge clique cover of a graph we introduce the notion of a vertex-clique incidence matrix for a graph and produce new lower bounds for the negative eigenvalues and negative inertia of a graph. Moreover, utilizing these…
▽ More
In this paper, we demonstrate a useful interaction between the theory of clique partitions, edge clique covers of a graph, and the spectra of graphs. Using a clique partition and an edge clique cover of a graph we introduce the notion of a vertex-clique incidence matrix for a graph and produce new lower bounds for the negative eigenvalues and negative inertia of a graph. Moreover, utilizing these vertex-clique incidence matrices, we generalize several notions such as the signless Laplacian matrix, and develop bounds on the incidence energy and the signless Laplacian energy of the graph. %The tight upper bounds for the energies of a graph and its line graph are given. More generally, we also consider the set $S(G)$ of all real-valued symmetric matrices whose off-diagonal entries are nonzero precisely when the corresponding vertices of the graph are adjacent. An important parameter in this setting is $q(G)$, and is defined to be the minimum number of distinct eigenvalues over all matrices in $S(G)$. For a given graph $G$ the concept of a vertex-clique incidence matrix associated with an edge clique cover is applied to establish several classes of graphs with $q(G)=2$.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
The Spark of Symmetric Matrices Described by a Graph
Authors:
Louis Deaett,
Shaun Fallat,
Veronika Furst,
John Hutchens,
Lon Mitchell,
Yaqi Zhang
Abstract:
We investigate the sparsity of null vectors of real symmetric matrices whose off-diagonal pattern of zero and nonzero entries is described by the adjacencies of a graph. We use the definition of the spark of a matrix, the smallest number of nonzero coordinates of any null vector, to define the spark of a graph as the smallest possible spark of a corresponding matrix. We study connections of graph…
▽ More
We investigate the sparsity of null vectors of real symmetric matrices whose off-diagonal pattern of zero and nonzero entries is described by the adjacencies of a graph. We use the definition of the spark of a matrix, the smallest number of nonzero coordinates of any null vector, to define the spark of a graph as the smallest possible spark of a corresponding matrix. We study connections of graph spark to well-known concepts including minimum rank, forts, orthogonal representations, Parter and Fiedler vertices, and vertex connectivity.
△ Less
Submitted 12 July, 2023; v1 submitted 1 July, 2023;
originally announced July 2023.
-
On a relationship between the characteristic and matching polynomials of a uniform hypertree
Authors:
Honghai Li,
Li Su,
Shaun Fallat
Abstract:
A hypertree is a connected hypergraph without cycles. Further a hypertree is called an $r$-tree if, additionally, it is $r$-uniform. Note that 2-trees are just ordinary trees. A classical result states that for any 2-tree $T$ with characteristic polynomial $φ_T(λ)$ and matching polynomial $\varphi_T(λ)$, then $φ_T(λ)=\varphi_T(λ).$ More generally, suppose $\mathcal{T}$ is an $r$-tree of size $m$ w…
▽ More
A hypertree is a connected hypergraph without cycles. Further a hypertree is called an $r$-tree if, additionally, it is $r$-uniform. Note that 2-trees are just ordinary trees. A classical result states that for any 2-tree $T$ with characteristic polynomial $φ_T(λ)$ and matching polynomial $\varphi_T(λ)$, then $φ_T(λ)=\varphi_T(λ).$ More generally, suppose $\mathcal{T}$ is an $r$-tree of size $m$ with $r\geq2$. In this paper, we extend the above classical relationship to $r$-trees and establish that \[ φ_{\mathcal{T}}(λ)=\prod_{H \sqsubseteq \mathcal{T}}\varphi_{H}(λ)^{a_{H}}, \] where the product is over all connected subgraphs $H$ of $\mathcal{T}$, and the exponent $a_{H}$ of the factor $\varphi_{H}(λ)$ can be written as \[ a_H=b^{m-e(H)-|\partial(H)|}c^{e(H)}(b-c)^{|\partial(H)|},
\] where $e(H)$ is the size of $H$, $\partial(H)$ is the boundary of $H$, and $b=(r-1)^{r-1}, c=r^{r-2}$. In particular, for $r=2$, the above correspondence reduces to the classical result for ordinary trees. In addition, we resolve a conjecture by Clark-Cooper [{\em Electron. J. Combin.}, 2018] and show that for any subgraph $H$ of an $r$-tree $\mathcal{T}$ with $r\geq3$, $\varphi_H(λ)$ divides $φ_{\mathcal{T}}(λ)$, and additionally $φ_H(λ)$ divides $φ_{\mathcal{T}}(λ)$, if either $r\geq 4$ or $H$ is connected when $r=3$. Moreover, a counterexample is given for the case when $H$ is a disconnected subgraph of a 3-tree.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
The $q$-Analogue of Zero Forcing for Certain Families of Graphs
Authors:
Shaun Fallat,
Neha Joshi,
Roghayeh Maleki,
Karen Meagher,
Seyed Ahmad Mojallal,
Shahla Nasserasr,
Mahsa N. Shirazi,
Andriaherimanana Sarobidy Razafimahatratra,
Brett Stevens
Abstract:
Zero forcing is a combinatorial game played on a graph with the ultimate goal of changing the colour of all the vertices at minimal cost. Originally this game was conceived as a one player game, but later a two-player version was devised in-conjunction with studies on the inertia of a graph, and has become known as the $q$-analogue of zero forcing. In this paper, we study and compute the $q$-analo…
▽ More
Zero forcing is a combinatorial game played on a graph with the ultimate goal of changing the colour of all the vertices at minimal cost. Originally this game was conceived as a one player game, but later a two-player version was devised in-conjunction with studies on the inertia of a graph, and has become known as the $q$-analogue of zero forcing. In this paper, we study and compute the $q$-analogue zero forcing number for various families of graphs. We begin with by considering a concept of contraction associated with trees. We then significantly generalize an equation between this $q$-analogue of zero forcing and a corresponding nullity parameter for all threshold graphs. We close by studying the $q$-analogue of zero forcing for certain Kneser graphs, and a variety of cartesian products of structured graphs.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Inequalities for totally nonnegative matrices: Gantmacher--Krein, Karlin, and Laplace
Authors:
Shaun M. Fallat,
Prateek Kumar Vishwakarma
Abstract:
A real linear combination of products of minors which is nonnegative over all totally nonnegative (TN) matrices is called a determinantal inequality for these matrices. It is referred to as multiplicative when it compares two collections of products of minors and additive otherwise. Set theoretic operations preserving the class of TN matrices naturally translate into operations preserving determin…
▽ More
A real linear combination of products of minors which is nonnegative over all totally nonnegative (TN) matrices is called a determinantal inequality for these matrices. It is referred to as multiplicative when it compares two collections of products of minors and additive otherwise. Set theoretic operations preserving the class of TN matrices naturally translate into operations preserving determinantal inequalities in this class. We introduce index-row (and index-column) operations that act directly on all determinantal inequalities for TN matrices, and yield further inequalities for these matrices. These operations assist in revealing novel additive inequalities for TN matrices embedded in the classical identities due to Laplace $[$Mem$.$ Acad$.$ Sciences Paris $1772]$ and Karlin $(1968).$ In particular, for any square TN matrix $A,$ these derived inequalities generalize -- to every $i^{\mbox{th}}$ row of $A$ and $j^{\mbox{th}}$ column of ${\rm adj} A$ -- the classical Gantmacher--Krein fluctuating inequalities $(1941)$ for $i=j=1.$ Furthermore, our index-row/column operations reveal additional undiscovered fluctuating inequalities for TN matrices.
The introduced index-row/column operations naturally birth an algorithm that can detect certain determinantal expressions that do not form an inequality for TN matrices. However, the algorithm completely characterizes the multiplicative inequalities comparing products of pairs of minors. Moreover, the underlying index-row/column operations add that these inequalities are offshoots of certain "complementary/higher" ones. These novel results seem very natural, and in addition thoroughly describe and enrich the classification of these multiplicative inequalities due to Fallat--Gekhtman--Johnson $[$Adv$.$ Appl$.$ Math$.$ $2003]$ and later Skandera $[$J$.$ Algebraic Comb$.$ $2004].$
△ Less
Submitted 5 September, 2023; v1 submitted 25 May, 2023;
originally announced May 2023.
-
Regular Graphs of Degree at most Four that Allow Two Distinct Eigenvalues
Authors:
Wayne Barrett,
Shaun Fallat,
Veronika Furst,
Shahla Nasserasr,
Brendan Rooney,
Michael Tait
Abstract:
For an $n \times n$ matrix $A$, let $q(A)$ be the number of distinct eigenvalues of $A$. If $G$ is a connected graph on $n$ vertices, let $\mathcal{S}(G)$ be the set of all real symmetric $n \times n$ matrices $A=[a_{ij}]$ such that for $i\neq j$, $a_{ij}=0$ if and only if $\{i,j\}$ is not an edge of $G$. Let $q(G)={\rm min}\{q(A)\,:\,A \in \mathcal{S}(G)\}$. Studying $q(G)$ has become a fundament…
▽ More
For an $n \times n$ matrix $A$, let $q(A)$ be the number of distinct eigenvalues of $A$. If $G$ is a connected graph on $n$ vertices, let $\mathcal{S}(G)$ be the set of all real symmetric $n \times n$ matrices $A=[a_{ij}]$ such that for $i\neq j$, $a_{ij}=0$ if and only if $\{i,j\}$ is not an edge of $G$. Let $q(G)={\rm min}\{q(A)\,:\,A \in \mathcal{S}(G)\}$. Studying $q(G)$ has become a fundamental sub-problem of the inverse eigenvalue problem for graphs, and characterizing the case for which $q(G)=2$ has been especially difficult. This paper considers the problem of determining the regular graphs $G$ that satisfy $q(G)=2$. The resolution is straightforward if the degree of regularity is $1, 2,$ or $3$. However, the $4$-regular graphs with $q(G)=2$ are much more difficult to characterize. A connected $4$-regular graph has $q(G)=2$ if and only if either $G$ belongs to a specific infinite class of graphs, or else $G$ is one of fifteen $4$-regular graphs whose number of vertices ranges from $5$ to $16$. This technical result gives rise to several intriguing questions.
△ Less
Submitted 17 May, 2023;
originally announced May 2023.
-
The Strong Spectral Property of Graphs: Graph Operations and Barbell Partitions
Authors:
Sarah Allred,
Emelie Curl,
Shaun Fallat,
Shahla Nasserasr,
Houston Schuerger,
Ralihe R. Villagrán,
Prateek K. Vishwakarma
Abstract:
The utility of a matrix satisfying the Strong Spectral Property has been well established particularly in connection with the inverse eigenvalue problem for graphs. More recently the class of graphs in which all associated symmetric matrices possess the Strong Spectral Property (denoted $G^{SSP}$) were studied, and along these lines we aim to study properties of graphs that exhibit a so-called bar…
▽ More
The utility of a matrix satisfying the Strong Spectral Property has been well established particularly in connection with the inverse eigenvalue problem for graphs. More recently the class of graphs in which all associated symmetric matrices possess the Strong Spectral Property (denoted $G^{SSP}$) were studied, and along these lines we aim to study properties of graphs that exhibit a so-called barbell partition. Such a partition is a known impediment to membership in the class $G^{SSP}$. In particular we consider the existence of barbell partitions under various standard and useful graph operations.
△ Less
Submitted 6 April, 2023; v1 submitted 30 March, 2023;
originally announced March 2023.
-
Bordering of Symmetric Matrices and an Application to the Minimum Number of Distinct Eigenvalues for the Join of Graphs
Authors:
Aida Abiad,
Shaun M. Fallat,
Mark Kempton,
Rupert H. Levene,
Polona Oblak,
Helena Šmigoc,
Michael Tait,
Kevin Vander Meulen
Abstract:
An important facet of the inverse eigenvalue problem for graphs is to determine the minimum number of distinct eigenvalues of a particular graph. We resolve this question for the join of a connected graph with a path. We then focus on bordering a matrix and attempt to control the change in the number of distinct eigenvalues induced by this operation. By applying bordering techniques to the join of…
▽ More
An important facet of the inverse eigenvalue problem for graphs is to determine the minimum number of distinct eigenvalues of a particular graph. We resolve this question for the join of a connected graph with a path. We then focus on bordering a matrix and attempt to control the change in the number of distinct eigenvalues induced by this operation. By applying bordering techniques to the join of graphs, we obtain numerous results on the nature of the minimum number of distinct eigenvalues as vertices are joined to a fixed graph.
△ Less
Submitted 31 August, 2023; v1 submitted 14 March, 2023;
originally announced March 2023.
-
Spectral arbitrariness for trees fails spectacularly
Authors:
Shaun M. Fallat,
H. Tracy Hall,
Rupert H. Levene,
Seth A. Meyer,
Shahla Nasserasr,
Polona Oblak,
Helena Šmigoc
Abstract:
If $G$ is a graph and $\mathbf{m}$ is an ordered multiplicity list which is realizable by at least one symmetric matrix with graph $G$, what can we say about the eigenvalues of all such realizing matrices for $\mathbf{m}$? It has sometimes been tempting to expect, especially in the case that $G$ is a tree, that any spacing of the multiple eigenvalues should be realizable. In 2004, however, F. Bari…
▽ More
If $G$ is a graph and $\mathbf{m}$ is an ordered multiplicity list which is realizable by at least one symmetric matrix with graph $G$, what can we say about the eigenvalues of all such realizing matrices for $\mathbf{m}$? It has sometimes been tempting to expect, especially in the case that $G$ is a tree, that any spacing of the multiple eigenvalues should be realizable. In 2004, however, F. Barioli and S. Fallat produced the first counterexample: a tree on 16 vertices and an ordered multiplicity list for which every realizing set of eigenvalues obeys a nontrivial linear constraint.
We extend this by giving an infinite family of trees and ordered multiplicity lists whose sets of realizing eigenvalues are very highly constrained, with at most 5 degrees of freedom, regardless of the size of the tree in this family. In particular, we give the first examples of multiplicity lists for a tree which impose nontrivial nonlinear eigenvalue constraints and produce an ordered multiplicity list which is achieved by a unique set of eigenvalues, up to shifting and scaling.
△ Less
Submitted 26 January, 2023;
originally announced January 2023.
-
Sparsity of Graphs that Allow Two Distinct Eigenvalues
Authors:
Wayne Barrett,
Shaun Fallat,
Veronika Furst,
Franklin Kenter,
Shahla Nasserasr,
Brendan Rooney,
Michael Tait,
Hein van der Holst
Abstract:
The parameter $q(G)$ of a graph $G$ is the minimum number of distinct eigenvalues over the family of symmetric matrices described by $G$. It is shown that the minimum number of edges necessary for a connected graph $G$ to have $q(G)=2$ is $2n-4$ if $n$ is even, and $2n-3$ if $n$ is odd. In addition, a characterization of graphs for which equality is achieved in either case is given.
The parameter $q(G)$ of a graph $G$ is the minimum number of distinct eigenvalues over the family of symmetric matrices described by $G$. It is shown that the minimum number of edges necessary for a connected graph $G$ to have $q(G)=2$ is $2n-4$ if $n$ is even, and $2n-3$ if $n$ is odd. In addition, a characterization of graphs for which equality is achieved in either case is given.
△ Less
Submitted 17 June, 2022;
originally announced June 2022.
-
On the zero forcing number of the complement of graphs with forbidden subgraphs
Authors:
Emelie Curl,
Shaun Fallat,
Ryan Moruzzi Jr,
Carolyn Reinhart,
Derek Young
Abstract:
Motivated in part by an observation that the zero forcing number for the complement of a tree on $n$ vertices is either $n-3$ or $n-1$ in one exceptional case, we consider the zero forcing number for the complement of more general graphs under some conditions, particularly those that do not contain complete bipartite subgraphs. We also move well beyond trees and completely study all of the possibl…
▽ More
Motivated in part by an observation that the zero forcing number for the complement of a tree on $n$ vertices is either $n-3$ or $n-1$ in one exceptional case, we consider the zero forcing number for the complement of more general graphs under some conditions, particularly those that do not contain complete bipartite subgraphs. We also move well beyond trees and completely study all of the possible zero forcing numbers for the complements of unicyclic graphs and cactus graphs.
△ Less
Submitted 10 March, 2023; v1 submitted 8 June, 2022;
originally announced June 2022.
-
The bifurcation lemma for strong properties in the inverse eigenvalue problem of a graph
Authors:
Shaun M. Fallat,
H. Tracy Hall,
Jephian C. -H. Lin,
Bryan L. Shader
Abstract:
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…
▽ More
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.
△ Less
Submitted 18 April, 2022; v1 submitted 22 December, 2021;
originally announced December 2021.
-
On the minimum number of distinct eigenvalues of a threshold graph
Authors:
Shaun Fallat,
Seyed Ahmad Mojallal
Abstract:
For a graph $G$, we associate a family of real symmetric matrices, $S(G)$, where for any $A\in S(G)$, the location of the nonzero off-diagonal entries of $A$ are governed by the adjacency structure of $G$. Let $q(G)$ be the minimum number of distinct eigenvalues over all matrices in $S(G)$. In this work, we give a characterization of all connected threshold graphs $G$ with $q(G)=2$. Moreover, we s…
▽ More
For a graph $G$, we associate a family of real symmetric matrices, $S(G)$, where for any $A\in S(G)$, the location of the nonzero off-diagonal entries of $A$ are governed by the adjacency structure of $G$. Let $q(G)$ be the minimum number of distinct eigenvalues over all matrices in $S(G)$. In this work, we give a characterization of all connected threshold graphs $G$ with $q(G)=2$. Moreover, we study the values of $q(G)$ for connected threshold graphs with trace $2$, $3$, $n-2$, $n-3$, where $n$ is the order of threshold graph. The values of $q(G)$ are determined for all connected threshold graphs with $7$ and $8$ vertices with two exceptions. Finally, a sharp upper bound for $q(G)$ over all connected threshold graph $G$ is given.
△ Less
Submitted 19 October, 2021;
originally announced October 2021.
-
The Erdős-Ko-Rado theorem for $2$-intersecting families of perfect matchings
Authors:
Shaun Fallat,
Karen Meagher,
Mahsa N. Shirazi
Abstract:
A perfect matching in the complete graph on $2k$ vertices is a set of edges such that no two edges have a vertex in common and every vertex is covered exactly once. Two perfect matchings are said to be $t$-intersecting if they have at least $t$ edges in common. The main result in this paper is an extension of the famous Erdős-Ko-Rado (EKR) theorem \cite{EKR} to 2-intersecting families of perfect m…
▽ More
A perfect matching in the complete graph on $2k$ vertices is a set of edges such that no two edges have a vertex in common and every vertex is covered exactly once. Two perfect matchings are said to be $t$-intersecting if they have at least $t$ edges in common. The main result in this paper is an extension of the famous Erdős-Ko-Rado (EKR) theorem \cite{EKR} to 2-intersecting families of perfect matchings for all values of $k$. Specifically, for $k\geq 3$ a set of 2-intersecting perfect matchings in $K_{2k}$ of maximum size has $(2k-5)(2k-7)\cdots (1)$ perfect matchings.
△ Less
Submitted 19 August, 2020;
originally announced August 2020.
-
Complex Hadamard Diagonalisable Graphs
Authors:
Ada Chan,
Shaun Fallat,
Steve Kirkland,
Jephian C. -H. Lin,
Shahla Nasserasr,
Sarah Plosker
Abstract:
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 th…
▽ More
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.
△ Less
Submitted 19 July, 2020; v1 submitted 1 January, 2020;
originally announced January 2020.
-
Achievable multiplicity partitions in the inverse eigenvalue problem of a graph
Authors:
Mohammad Adm,
Shaun Fallat,
Karen Meagher,
Shahla Nasserasr,
Sarah Plosker,
Boting Yang
Abstract:
Associated to a graph $G$ is a set $\mathcal{S}(G)$ of all real-valued symmetric matrices whose off-diagonal entries are nonzero precisely when the corresponding vertices of the graph are adjacent, and the diagonal entries are free to be chosen. If $G$ has $n$ vertices, then the multiplicities of the eigenvalues of any matrix in $\mathcal{S}(G)$ partition $n$; this is called a multiplicity partiti…
▽ More
Associated to a graph $G$ is a set $\mathcal{S}(G)$ of all real-valued symmetric matrices whose off-diagonal entries are nonzero precisely when the corresponding vertices of the graph are adjacent, and the diagonal entries are free to be chosen. If $G$ has $n$ vertices, then the multiplicities of the eigenvalues of any matrix in $\mathcal{S}(G)$ partition $n$; this is called a multiplicity partition.
We study graphs for which a multiplicity partition with only two integers is possible. The graphs $G$ for which there is a matrix in $\mathcal{S}(G)$ with partitions $[n-2,2]$ have been characterized. We find families of graphs $G$ for which there is a matrix in $\mathcal{S}(G)$ with multiplicity partition $[n-k,k]$ for $k\geq 2$. We focus on generalizations of the complete multipartite graphs. We provide some methods to construct families of graphs with given multiplicity partitions starting from smaller such graphs. We also give constructions for graphs with matrix in $\mathcal{S}(G)$ with multiplicity partition $[n-k,k]$ to show the complexities of characterizing these graphs.
△ Less
Submitted 31 October, 2020; v1 submitted 25 July, 2019;
originally announced July 2019.
-
Properties of a $q$-analogue of zero forcing
Authors:
Steve Butler,
Craig Erickson,
Shaun Fallat,
H. Tracy Hall,
Brenda Kroschel,
Jephian C. -H. Lin,
Bryan Shader,
Nathan Warnberg,
Boting Yang
Abstract:
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 pap…
▽ More
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$.
△ Less
Submitted 20 September, 2018;
originally announced September 2018.
-
On the almost-principal minors of a symmetric matrix
Authors:
Shaun M. Fallat,
Xavier Martínez-Rivera
Abstract:
The almost-principal rank characteristic sequence (apr-sequence) of an $n\times n$ symmetric matrix is introduced, which is defined to be the string $a_1 a_2 \cdots a_{n-1}$, where $a_k$ is either $\tt A$, $\tt S$, or $\tt N$, according as all, some but not all, or none of its almost-principal minors of order $k$ are nonzero. In contrast to the other principal rank characteristic sequences in the…
▽ More
The almost-principal rank characteristic sequence (apr-sequence) of an $n\times n$ symmetric matrix is introduced, which is defined to be the string $a_1 a_2 \cdots a_{n-1}$, where $a_k$ is either $\tt A$, $\tt S$, or $\tt N$, according as all, some but not all, or none of its almost-principal minors of order $k$ are nonzero. In contrast to the other principal rank characteristic sequences in the literature, the apr-sequence of a matrix does not depend on principal minors. The almost-principal rank of a symmetric matrix $B$, denoted by ${\rm aprank}(B)$, is defined as the size of a largest nonsingular almost-principal submatrix of $B$. A complete characterization of the sequences not containing an $\tt A$ that can be realized as the apr-sequence of a symmetric matrix over a field $\mathbb{F}$ is provided. A necessary condition for a sequence to be the apr-sequence of a symmetric matrix over a field $\mathbb{F}$ is presented. It is shown that if $B \in \mathbb{F}^{n\times n}$ is symmetric and non-diagonal, then ${\rm rank}(B)-1 \leq {\rm aprank}(B) \leq {\rm rank}(B)$, with both bounds being sharp. Moreover, it is shown that if $B$ is symmetric, non-diagonal and singular, and does not contain a zero row, then ${\rm rank}(B) = {\rm aprank}(B)$.
△ Less
Submitted 29 July, 2020; v1 submitted 19 July, 2018;
originally announced July 2018.
-
The quasi principal rank characteristic sequence
Authors:
Shaun M. Fallat,
Xavier Martínez-Rivera
Abstract:
A minor of a matrix is quasi-principal if it is a principal or an almost-principal minor. The quasi principal rank characteristic sequence (qpr-sequence) of an $n\times n$ symmetric matrix is introduced, which is defined as $q_1 q_2 \cdots q_n$, where $q_k$ is $\tt A$, $\tt S$, or $\tt N$, according as all, some but not all, or none of its quasi-principal minors of order $k$ are nonzero. This sequ…
▽ More
A minor of a matrix is quasi-principal if it is a principal or an almost-principal minor. The quasi principal rank characteristic sequence (qpr-sequence) of an $n\times n$ symmetric matrix is introduced, which is defined as $q_1 q_2 \cdots q_n$, where $q_k$ is $\tt A$, $\tt S$, or $\tt N$, according as all, some but not all, or none of its quasi-principal minors of order $k$ are nonzero. This sequence extends the principal rank characteristic sequences in the literature, which only depend on the principal minors of the matrix. A necessary condition for the attainability of a qpr-sequence is established. Using probabilistic techniques, a complete characterization of the qpr-sequences that are attainable by symmetric matrices over fields of characteristic $0$ is given.
△ Less
Submitted 2 November, 2017;
originally announced November 2017.
-
The inverse eigenvalue problem of a graph: Multiplicities and minors
Authors:
Wayne Barrett,
Steve Butler,
Shaun M. Fallat,
H. Tracy Hall,
Leslie Hogben,
Jephian C. -H. Lin,
Bryan L. Shader,
Michael Young
Abstract:
The inverse eigenvalue problem of a given graph $G$ is to determine all possible spectra of real symmetric matrices whose off-diagonal entries are governed by the adjacencies in $G$. Barrett et al. introduced the Strong Spectral Property (SSP) and the Strong Multiplicity Property (SMP) in [8]. In that paper it was shown that if a graph has a matrix with the SSP (or the SMP) then a supergraph has a…
▽ More
The inverse eigenvalue problem of a given graph $G$ is to determine all possible spectra of real symmetric matrices whose off-diagonal entries are governed by the adjacencies in $G$. Barrett et al. introduced the Strong Spectral Property (SSP) and the Strong Multiplicity Property (SMP) in [8]. In that paper it was shown that if a graph has a matrix with the SSP (or the SMP) then a supergraph has a matrix with the same spectrum (or ordered multiplicity list) augmented with simple eigenvalues if necessary, that is, subgraph monotonicity. In this paper we extend this to a form of minor monotonicity, with restrictions on where the new eigenvalues appear. These ideas are applied to solve the inverse eigenvalue problem for all graphs of order five, and to characterize forbidden minors of graphs having at most one multiple eigenvalue.
△ Less
Submitted 31 July, 2017;
originally announced August 2017.
-
Total positivity of sums, Hadamard products and Hadamard powers: Results and counterexamples
Authors:
Shaun Fallat,
Charles R. Johnson,
Alan D. Sokal
Abstract:
We show that, for Hankel matrices, total nonnegativity (resp. total positivity) of order r is preserved by sum, Hadamard product, and Hadamard power with real exponent t \ge r-2. We give examples to show that our results are sharp relative to matrix size and structure (general, symmetric or Hankel). Some of these examples also resolve the Hadamard critical-exponent problem for totally positive and…
▽ More
We show that, for Hankel matrices, total nonnegativity (resp. total positivity) of order r is preserved by sum, Hadamard product, and Hadamard power with real exponent t \ge r-2. We give examples to show that our results are sharp relative to matrix size and structure (general, symmetric or Hankel). Some of these examples also resolve the Hadamard critical-exponent problem for totally positive and totally nonnegative matrices.
△ Less
Submitted 29 January, 2021; v1 submitted 7 December, 2016;
originally announced December 2016.
-
Infection in Hypergraphs
Authors:
Ryan Bergen,
Shaun Fallat,
Adam Gorr,
Ferdinand Ihringer,
Karen Meagher,
Alison Purdy,
Boting Yang,
Guanglong Yu
Abstract:
In this paper a new parameter for hypergraphs called hypergraph infection is defined. This concept generalizes zero forcing in graphs to hypergraphs. The exact value of the infection number of complete and complete bipartite hypergraphs is determined. A formula for the infection number for interval hypergraphs and several families of cyclic hypergraphs is given. The value of the infection number f…
▽ More
In this paper a new parameter for hypergraphs called hypergraph infection is defined. This concept generalizes zero forcing in graphs to hypergraphs. The exact value of the infection number of complete and complete bipartite hypergraphs is determined. A formula for the infection number for interval hypergraphs and several families of cyclic hypergraphs is given. The value of the infection number for a hypergraph whose edges form a symmetric t-design is given, and bounds are determined for a hypergraph whose edges are a t-design. Finally, the infection number for several hypergraph products and line graphs are considered.
△ Less
Submitted 28 July, 2016;
originally announced July 2016.
-
Generalizations of the Strong Arnold Property and the minimum number of distinct eigenvalues of a graph
Authors:
Wayne Barrett,
Shaun Fallat,
H. Tracy Hall,
Leslie Hogben,
Jephian C. -H. Lin,
Bryan L. Shader
Abstract:
For a given graph G and an associated class of real symmetric matrices whose off-diagonal entries are governed by the adjacencies in G, the collection of all possible spectra for such matrices is considered. Building on the pioneering work of Colin de Verdiere in connection with the Strong Arnold Property, two extensions are devised that target a better understanding of all possible spectra and th…
▽ More
For a given graph G and an associated class of real symmetric matrices whose off-diagonal entries are governed by the adjacencies in G, the collection of all possible spectra for such matrices is considered. Building on the pioneering work of Colin de Verdiere in connection with the Strong Arnold Property, two extensions are devised that target a better understanding of all possible spectra and their associated multiplicities. These new properties are referred to as the Strong Spectral Property and the Strong Multiplicity Property. Finally, these ideas are applied to the minimum number of distinct eigenvalues associated with G, denoted by q(G). The graphs for which q(G) is at least the number of vertices of G less one are characterized.
△ Less
Submitted 11 November, 2016; v1 submitted 20 November, 2015;
originally announced November 2015.
-
Total positivity in Markov structures
Authors:
Shaun Fallat,
Steffen Lauritzen,
Kayvan Sadeghi,
Caroline Uhler,
Nanny Wermuth,
Piotr Zwiernik
Abstract:
We discuss properties of distributions that are multivariate totally positive of order two (MTP2) related to conditional independence. In particular, we show that any independence model generated by an MTP2 distribution is a compositional semigraphoid which is upward-stable and singleton-transitive. In addition, we prove that any MTP2 distribution satisfying an appropriate support condition is fai…
▽ More
We discuss properties of distributions that are multivariate totally positive of order two (MTP2) related to conditional independence. In particular, we show that any independence model generated by an MTP2 distribution is a compositional semigraphoid which is upward-stable and singleton-transitive. In addition, we prove that any MTP2 distribution satisfying an appropriate support condition is faithful to its concentration graph. Finally, we analyze factorization properties of MTP2 distributions and discuss ways of constructing MTP2 distributions; in particular we give conditions on the log-linear parameters of a discrete distribution which ensure MTP2 and characterize conditional Gaussian distributions which satisfy MTP2.
△ Less
Submitted 2 May, 2016; v1 submitted 5 October, 2015;
originally announced October 2015.
-
Compressed Cliques Graphs, Clique Coverings and Positive Zero Forcing
Authors:
Shaun Fallat,
Karen Meagher,
Abolghasem Soltani,
Boting Yang
Abstract:
Zero forcing parameters, associated with graphs, have been studied for over a decade, and have gained popularity as the number of related applications grows. In particular, it is well-known that such parameters are related to certain vertex coverings. Continuing along these lines, we investigate positive zero forcing within the context of certain clique coverings. A key object considered here is t…
▽ More
Zero forcing parameters, associated with graphs, have been studied for over a decade, and have gained popularity as the number of related applications grows. In particular, it is well-known that such parameters are related to certain vertex coverings. Continuing along these lines, we investigate positive zero forcing within the context of certain clique coverings. A key object considered here is the compressed cliques graph. We study a number of properties associated with the compressed cliques graph, including: uniqueness, forbidden subgraphs, connections to Johnson graphs, and positive zero forcing.
△ Less
Submitted 28 August, 2015;
originally announced August 2015.
-
On the Complexity of the Positive Semidefinite Zero Forcing Number
Authors:
Shaun Fallat,
Karen Meagher,
Boting Yang
Abstract:
The positive zero forcing number of a graph is a graph parameter that arises from a non-traditional type of graph colouring, and is related to a more conventional version of zero forcing. We establish a relation between the zero forcing and the fast-mixed searching, which implies some NP-completeness results for the zero forcing problem. For chordal graphs much is understood regarding the relation…
▽ More
The positive zero forcing number of a graph is a graph parameter that arises from a non-traditional type of graph colouring, and is related to a more conventional version of zero forcing. We establish a relation between the zero forcing and the fast-mixed searching, which implies some NP-completeness results for the zero forcing problem. For chordal graphs much is understood regarding the relationships between positive zero forcing and clique coverings. Building upon constructions associated with optimal tree covers and forest covers, we present a linear time algorithm for computing the positive zero forcing number of chordal graphs. We also prove that it is NP-complete to determine if a graph has a positive zero forcing set with an additional property.
△ Less
Submitted 25 July, 2014;
originally announced July 2014.
-
On the Relationships between Zero Forcing Numbers and Certain Graph Coverings
Authors:
Fatemeh Alinaghipour Taklimi,
Shaun Fallat,
Karen Meagher
Abstract:
The zero forcing number and the positive zero forcing number of a graph are two graph parameters that arise from two types of graph colourings. The zero forcing number is an upper bound on the minimum number of induced paths in the graph, while the positive zero forcing number is an upper bound on the minimum number of induced trees in the graph. We show that for a block-cycle graph the zero forci…
▽ More
The zero forcing number and the positive zero forcing number of a graph are two graph parameters that arise from two types of graph colourings. The zero forcing number is an upper bound on the minimum number of induced paths in the graph, while the positive zero forcing number is an upper bound on the minimum number of induced trees in the graph. We show that for a block-cycle graph the zero forcing number equals the path cover number. We also give a purely graph theoretical proof that the positive zero forcing number of any outerplanar graphs equals the tree cover number of the graph. These ideas are then extended to the setting of $k$-trees, where the relationship between the positive zero forcing number and the tree cover number becomes more complex.
△ Less
Submitted 27 November, 2013;
originally announced November 2013.
-
Minimum number of distinct eigenvalues of graphs
Authors:
Bahman Ahmadi,
Fatemeh Alinaghipour,
Michael S. Cavers,
Shaun Fallat,
Karen Meagher,
Shahla Nasserasr
Abstract:
The minimum number of distinct eigenvalues, taken over all real symmetric matrices compatible with a given graph $G$, is denoted by $q(G)$. Using other parameters related to $G$, bounds for $q(G)$ are proven and then applied to deduce further properties of $q(G)$. It is shown that there is a great number of graphs $G$ for which $q(G)=2$. For some families of graphs, such as the join of a graph wit…
▽ More
The minimum number of distinct eigenvalues, taken over all real symmetric matrices compatible with a given graph $G$, is denoted by $q(G)$. Using other parameters related to $G$, bounds for $q(G)$ are proven and then applied to deduce further properties of $q(G)$. It is shown that there is a great number of graphs $G$ for which $q(G)=2$. For some families of graphs, such as the join of a graph with itself, complete bipartite graphs, and cycles, this minimum value is obtained. Moreover, examples of graphs $G$ are provided to show that adding and deleting edges or vertices can dramatically change the value of $q(G)$. Finally, the set of graphs $G$ with $q(G)$ near the number of vertices is shown to be a subset of known families of graphs with small maximum multiplicity.
△ Less
Submitted 3 April, 2013;
originally announced April 2013.
-
The minimum rank of universal adjacency matrices
Authors:
Bahman Ahmadi,
Fatemeh Alinaghipour,
Shaun M. Fallat,
Yi-Zheng Fan,
Karen Meagher,
Shahla Nasserasr
Abstract:
In this paper we introduce a new parameter for a graph called the {\it minimum universal rank}. This parameter is similar to the minimum rank of a graph. For a graph $G$ the minimum universal rank of $G$ is the minimum rank over all matrices of the form \[ U(α, β, γ, δ) = αA + βI + γJ + δD \] where $A$ is the adjacency matrix of $G$, $J$ is the all ones matrix and $D$ is the matrix with the degree…
▽ More
In this paper we introduce a new parameter for a graph called the {\it minimum universal rank}. This parameter is similar to the minimum rank of a graph. For a graph $G$ the minimum universal rank of $G$ is the minimum rank over all matrices of the form \[ U(α, β, γ, δ) = αA + βI + γJ + δD \] where $A$ is the adjacency matrix of $G$, $J$ is the all ones matrix and $D$ is the matrix with the degrees of the vertices in the main diagonal, and $α\neq 0, β, γ, δ$ are scalars. Bounds for general graphs based on known graph parameters are given, as is a formula for the minimum universal rank for regular graphs based on the multiplicity of the eigenvalues of $A$. The exact value of the minimum universal rank of some families of graphs are determined, including complete graphs, complete bipartite graph, paths and cycles. Bounds on the minimum universal rank of a graph obtained by deleting a single vertex are established. It is shown that the minimum universal rank is not monotone on induced subgraphs, but bounds based on certain induced subgraphs, including bounds on the union of two graphs, are given. Finally we characterize all graphs with minimum universal rank equal to 0 and to 1.
△ Less
Submitted 7 December, 2011;
originally announced December 2011.
-
Variants on the minimum rank problem: A survey II
Authors:
Shaun Fallat,
Leslie Hogben
Abstract:
The minimum rank problem for a (simple) graph $G$ is to determine the smallest possible rank over all real symmetric matrices whose $ij$th entry (for $i\neq j$) is nonzero whenever $\{i,j\}$ is an edge in $G$ and is zero otherwise. This paper surveys the many developments on the (standard) minimum rank problem and its variants since the survey paper \cite{FH}. In particular, positive semidefinite…
▽ More
The minimum rank problem for a (simple) graph $G$ is to determine the smallest possible rank over all real symmetric matrices whose $ij$th entry (for $i\neq j$) is nonzero whenever $\{i,j\}$ is an edge in $G$ and is zero otherwise. This paper surveys the many developments on the (standard) minimum rank problem and its variants since the survey paper \cite{FH}. In particular, positive semidefinite minimum rank, zero forcing parameters, and minimum rank problems for patterns are discussed.
△ Less
Submitted 8 October, 2014; v1 submitted 24 February, 2011;
originally announced February 2011.
-
Zero forcing parameters and minimum rank problems
Authors:
Francesco Barioli,
Wayne Barrett,
Shaun M. Fallat,
H. Tracy Hall,
Leslie Hogben,
Bryan Shader,
P. van den Driessche,
Hein van der Holst
Abstract:
The zero forcing number Z(G), which is the minimum number of vertices in a zero forcing set of a graph G, is used to study the maximum nullity / minimum rank of the family of symmetric matrices described by G. It is shown that for a connected graph of order at least two, no vertex is in every zero forcing set. The positive semidefinite zero forcing number Z_+(G) is introduced, and shown to be eq…
▽ More
The zero forcing number Z(G), which is the minimum number of vertices in a zero forcing set of a graph G, is used to study the maximum nullity / minimum rank of the family of symmetric matrices described by G. It is shown that for a connected graph of order at least two, no vertex is in every zero forcing set. The positive semidefinite zero forcing number Z_+(G) is introduced, and shown to be equal to |G|-OS(G), where OS(G) is the recently defined ordered set number that is a lower bound for minimum positive semidefinite rank. The positive semidefinite zero forcing number is applied to the computation of positive semidefinite minimum rank of certain graphs. An example of a graph for which the real positive symmetric semidefinite minimum rank is greater than the complex Hermitian positive semidefinite minimum rank is presented.
△ Less
Submitted 10 March, 2010;
originally announced March 2010.