-
Forts, (fractional) zero forcing, and Cartesian products of graphs
Authors:
Thomas R. Cameron,
Leslie Hogben,
Franklin H. J. Kenter,
Seyed Ahmad Mojallal,
Houston Schuerger
Abstract:
The (disjoint) fort number and fractional zero forcing number are introduced and related to existing parameters including the (standard) zero forcing number. The fort hypergraph is introduced and hypergraph results on transversals and matchings are applied to the zero forcing number and fort number. These results are used to establish a Vizing-like lower bound for the zero forcing number of a Cart…
▽ More
The (disjoint) fort number and fractional zero forcing number are introduced and related to existing parameters including the (standard) zero forcing number. The fort hypergraph is introduced and hypergraph results on transversals and matchings are applied to the zero forcing number and fort number. These results are used to establish a Vizing-like lower bound for the zero forcing number of a Cartesian product of graphs for certain families of graphs, and a family of graphs achieving this lower bound is exhibited.
△ Less
Submitted 16 December, 2023; v1 submitted 27 October, 2023;
originally announced October 2023.
-
Zero Forcing on 2-connected Outerplanar Graphs
Authors:
Nolan Ison,
Mark Kempton,
Franklin Kenter
Abstract:
We determine upper and lower bounds on the zero forcing number of 2-connected outerplanar graphs in terms of the structure of the weak dual. We show that the upper bound is always at most half the number of vertices of the graph. This work generalizes work of Hernández, Ranilla and Ranilla-Cortina who proved a similar result for maximal outerplanar graphs.
We determine upper and lower bounds on the zero forcing number of 2-connected outerplanar graphs in terms of the structure of the weak dual. We show that the upper bound is always at most half the number of vertices of the graph. This work generalizes work of Hernández, Ranilla and Ranilla-Cortina who proved a similar result for maximal outerplanar graphs.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
Improved bounds on the cop number when forbidding a minor
Authors:
Franklin Kenter,
Erin Meger,
Jérémie Turcotte
Abstract:
Andreae (1986) proved that the cop number of connected $H$-minor-free graphs is bounded for every graph $H$. In particular, the cop number is at most $|E(H-h)|$ if $H-h$ contains no isolated vertex. The main result of this paper is an improvement on this bound, which is most significant when $H$ is small or sparse, for instance when $H-h$ can be obtained from another graph by multiple edge subdivi…
▽ More
Andreae (1986) proved that the cop number of connected $H$-minor-free graphs is bounded for every graph $H$. In particular, the cop number is at most $|E(H-h)|$ if $H-h$ contains no isolated vertex. The main result of this paper is an improvement on this bound, which is most significant when $H$ is small or sparse, for instance when $H-h$ can be obtained from another graph by multiple edge subdivisions. Some consequences of this result are improvements on the upper bound for the cop number of $K_{3,m}$-minor-free graphs, $K_{2,m}$-minor free graphs and linklessly embeddable graphs.
△ Less
Submitted 28 February, 2023;
originally announced February 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.
-
A Geometric Chung Lu model and the Drosophila Medulla connectome
Authors:
Susama Agarwala,
Franklin Kenter
Abstract:
Many real world graphs have edges correlated to the distance between them, but, in an inhomogeneous manner. While the Chung-Lu model and the geometric random graph models both are elegant in their simplicity, they are insufficient to capture the complexity of these networks. In this paper, we develop a generalized geometric random graph model that preserves many graph theoretic aspects of these re…
▽ More
Many real world graphs have edges correlated to the distance between them, but, in an inhomogeneous manner. While the Chung-Lu model and the geometric random graph models both are elegant in their simplicity, they are insufficient to capture the complexity of these networks. In this paper, we develop a generalized geometric random graph model that preserves many graph theoretic aspects of these real world networks. We test the validity of this model on a graphical representation of the Drosophila Medulla connectome.
△ Less
Submitted 31 August, 2021;
originally announced September 2021.
-
A Tale of Two Limits: An Extremal Pagerank Problem
Authors:
Joseph Farnan,
Franklin H. J. Kenter
Abstract:
For a directed graph, the Pagerank algorithm emulates a random walker on the graph that occasionally "jumps" to a random vertex based on a jumping parameter $α$. Upon completion, the algorithm generates a stochastic vector whose entries correspond to the limiting probability that the walker will be at that vertex. This vector is a right eigenvector of a corresponding Markov trasition matrix. Undou…
▽ More
For a directed graph, the Pagerank algorithm emulates a random walker on the graph that occasionally "jumps" to a random vertex based on a jumping parameter $α$. Upon completion, the algorithm generates a stochastic vector whose entries correspond to the limiting probability that the walker will be at that vertex. This vector is a right eigenvector of a corresponding Markov trasition matrix. Undoubtedly, this vector can drastically change based upon the jumping parameter $α$.
In this article, we investigate the maximum possible discrepancy for different Pagerank vectors on the same unweighted directed (perhaps with loops) graph as measured by the 2-norm. We show that the limsup of this discrepancy can be as large as $\sqrt{\frac{67}{50}}$ using a very specific construction. (For contrast, the norm of the difference for any two stochastic vectors is at most $\sqrt{2}$.) Interestingly, on this construction this discrepancy occurs when $α= 1$ and when $α$ is very close to 1.
△ Less
Submitted 15 April, 2021;
originally announced April 2021.
-
A zero forcing technique for bounding sums of eigenvalue multiplicities
Authors:
Franklin H. j. Kenter,
Jephian C. -H. Lin
Abstract:
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.…
▽ More
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.
△ Less
Submitted 13 April, 2021;
originally announced April 2021.
-
An upper bound for the $k$-power domination number in $r$-uniform hypergraphs
Authors:
Joseph S. Alameda,
Franklin Kenter,
Karen Meagher,
Michael Young
Abstract:
Generalizing work on graphs, Chang and Roussel introduced $k$-power domination in hypergraphs and conjectured the upper bound for the $k$-power domination number for $r$-uniform hypergraphs on $n$ vertices was $\frac{n}{r+k}$. This upper bound was shown to be true for simple graphs ($r=2$) and it was further conjectured that only a family of hypergraphs, known as the squid hypergraphs, attained th…
▽ More
Generalizing work on graphs, Chang and Roussel introduced $k$-power domination in hypergraphs and conjectured the upper bound for the $k$-power domination number for $r$-uniform hypergraphs on $n$ vertices was $\frac{n}{r+k}$. This upper bound was shown to be true for simple graphs ($r=2$) and it was further conjectured that only a family of hypergraphs, known as the squid hypergraphs, attained this upper bound. In this paper, the conjecture is proven to hold for hypergraphs with $r=3$ or $4$; but is shown to be false, by a counterexample, for $r\geq 7$. Furthermore, we show that the squid hypergraphs are not the only hypergraphs that attain the original upper bound. Finally, a new upper bound is proven for $r\geq 3$.
△ Less
Submitted 2 June, 2022; v1 submitted 16 April, 2020;
originally announced April 2020.
-
Leaky Forcing: A New Variation of Zero Forcing
Authors:
Shannon Dillman,
Franklin Kenter
Abstract:
Zero forcing is a one-player game played on a graph. The player chooses some set of vertices to color, then iteratively applies a color change rule: If all but one of a colored vertex's neighbors are colored, color (i.e. "force") the remaining uncolored neighbor. Generally, the goal is to find the minimum number of vertices to initially color such that all vertices eventually become colored. Recen…
▽ More
Zero forcing is a one-player game played on a graph. The player chooses some set of vertices to color, then iteratively applies a color change rule: If all but one of a colored vertex's neighbors are colored, color (i.e. "force") the remaining uncolored neighbor. Generally, the goal is to find the minimum number of vertices to initially color such that all vertices eventually become colored. Recently, equivalent formations of zero forcing have been developed in different settings including sensor allocation to solve linear systems (K.-Lin 2018), controllability in follower-leader dynamics (Monshizadeh-Zhang-Camlibel 2014), and edge covering in specific hypergraphs (Brimkov-Fast-Hicks 2016).
While many variations of zero forcing are motivated by an associated minimum rank problem, these new formulations give new inspiration for new meaningful zero forcing variants. In our case, we study a new variation based on the linear algebraic interpretation mentioned above. In particular, what if there is a juncture in a network that has a leak, and, hence, is unreliable to facilitate solving a linear system on the network? In the context of zero forcing this corresponds to the following variation we call $\ell$-forcing: Given $\ell$, find a set of vertices such that for any set of $\ell$ vertices that are unable to force, all vertices will still be colored. We compute the $\ell$-forcing number for selected families of graphs including grid graphs. Perhaps surprisingly, we find examples where additional edges make the graph more "resilient" to these leaks. Further, we also implement known computational methods for our new leaky forcing variation.
△ Less
Submitted 30 September, 2019;
originally announced October 2019.
-
Computing Bounds on Product-Graph Pebbling Numbers
Authors:
Franklin Kenter,
Daphne Skipper,
Dan Wilson
Abstract:
Given a distribution of pebbles to the vertices of a graph, a pebbling move removes two pebbles from a single vertex and places a single pebble on an adjacent vertex. The pebbling number $π(G)$ is the smallest number such that, for any distribution of $π(G)$ pebbles to the vertices of $G$ and choice of root vertex $r$ of $G$, there exists a sequence of pebbling moves that places a pebble on $r$. C…
▽ More
Given a distribution of pebbles to the vertices of a graph, a pebbling move removes two pebbles from a single vertex and places a single pebble on an adjacent vertex. The pebbling number $π(G)$ is the smallest number such that, for any distribution of $π(G)$ pebbles to the vertices of $G$ and choice of root vertex $r$ of $G$, there exists a sequence of pebbling moves that places a pebble on $r$. Computing $π(G)$ is provably difficult, and recent methods for bounding $π(G)$ have proved computationally intractable, even for moderately sized graphs. Graham conjectured that $π(G ~\square~ H) \leq π(G) π(H)$, where $G ~\square~ H$ is the Cartesian product of $G$ and $H$ (1989). While the conjecture has been verified for specific families of graphs, in general it remains open. This study combines the focus of developing a computationally tractable, IP-based method for generating good bounds on $π(G ~\square~ H)$, with the goal of shedding light on Graham's conjecture.We provide computational results for a variety of Cartesian-product graphs, including some that are known to satisfy Graham's conjecture and some that are not. Our approach leads to a sizable improvement on the best known bound for $π(L ~\square~ L)$, where $L$ is the Lemke graph, and $L ~\square~ L$ is among the smallest known potential counterexamples to Graham's conjecture.
△ Less
Submitted 21 May, 2019;
originally announced May 2019.
-
Leveraging local network communities to predict academic performance
Authors:
David Burstein,
Franklin Kenter,
Feng Shi
Abstract:
For more than 20 years, social network analysis of student collaboration networks has focused on a student's centrality to predict academic performance. And even though a growing amount of sociological literature has supported that academic success is contagious, identifying central students in the network alone does not capture how peer interactions facilitate the spread of academic success throu…
▽ More
For more than 20 years, social network analysis of student collaboration networks has focused on a student's centrality to predict academic performance. And even though a growing amount of sociological literature has supported that academic success is contagious, identifying central students in the network alone does not capture how peer interactions facilitate the spread of academic success throughout the network. Consequently, we propose novel predictors that treat academic success as a contagion by identifying a student's learning community, consisting of the peers that are most likely to influence a student's performance in a course. We evaluate the importance of these learning communities by predicting academic outcomes in an introductory college statistics course with 103 students. In particular, we observe that by including these learning community predictors, the resulting model is 68 times more likely to be the correct model than the current state-of-the-art centrality network models in the literature.
△ Less
Submitted 10 October, 2018;
originally announced October 2018.
-
Pebbling on Directed Graphs with Fixed Diameter
Authors:
John Asplund,
Franklin Kenter
Abstract:
Pebbling is a game played on a graph. The single player is given a graph and a configuration of pebbles and may make pebbling moves by removing 2 pebbles from one vertex and placing one at an adjacent vertex to eventually have one pebble reach a predetermined vertex. The pebbling number, $π(G)$, is the minimum number of pebbles such that regardless of their exact configuration, the player can use…
▽ More
Pebbling is a game played on a graph. The single player is given a graph and a configuration of pebbles and may make pebbling moves by removing 2 pebbles from one vertex and placing one at an adjacent vertex to eventually have one pebble reach a predetermined vertex. The pebbling number, $π(G)$, is the minimum number of pebbles such that regardless of their exact configuration, the player can use pebbling moves to have a pebble reach any predetermined vertex.
Previous work has related $π(G)$ to the diameter of $G$. Clarke, Hochberg, and Hurlbert demonstrated that every connected undirected graph on $n$ vertices with diameter 2 has $π(G) = n$ unless it belongs to an exceptional family of graphs, consisting of those that can be constructed in a specific manner; in which case $π(G) = n +1$. By generalizing a result of Chan and Godbole, Postle showed that for a graph with diameter $d$, $π(G) \le n 2^{\lceil \frac{d}{2} \rceil} (1+o_n(1))$.
In this article, we continue this study relating pebbling and diameter with a focus on directed graphs. This leads to some surprising results. First, we show that in an oriented directed graph $G$ (in the sense that if $i \to j$ then we cannot have $j \to i$), it is indeed the case that if $G$ has diameter 2, $π(G) = n$ or $n + 1$, and if $π(G) = n+1$, the directed graph has a very particular structure. In the case of general directed graphs (that is, if $i \to j$, we may or may not have an arc $j \to i$) with diameter 2, we show that $π(G)$ can be as large as $\frac32 n + 1$, and further, this bound is sharp. More generally, we show that for general directed graphs, $π(G) \le 2^d n / d + f(d)$ where $f(d)$ is some function of only $d$.
△ Less
Submitted 7 September, 2018;
originally announced September 2018.
-
Pebbling on Graph Products and other Binary Graph Constructions
Authors:
John Asplund,
Glenn Hurlbert,
Franklin Kenter
Abstract:
Pebbling on graphs is a two-player game which involves repeatedly moving a pebble from one vertex to another by removing another pebble from the first vertex. The pebbling number $π(G)$ is the least number of pebbles required so that, regardless of the initial configuration of pebbles, a pebble can reach any vertex. Graham conjectured that the pebbling number for the cartesian product,…
▽ More
Pebbling on graphs is a two-player game which involves repeatedly moving a pebble from one vertex to another by removing another pebble from the first vertex. The pebbling number $π(G)$ is the least number of pebbles required so that, regardless of the initial configuration of pebbles, a pebble can reach any vertex. Graham conjectured that the pebbling number for the cartesian product, $G \hspace{1mm}\square\hspace{1mm} H$, is bounded above by $π(G) π(H)$. We show that $π(G\hspace{1mm}\square\hspace{1mm} H) \le 2π(G) π(H)$ and, more sharply, that $π(G \hspace{1mm}\square\hspace{1mm} H) \le (π(G)+|G|) π(H)$. Furthermore, we provide similar results for other graph products and graph operations.
△ Less
Submitted 23 January, 2018;
originally announced January 2018.
-
It's good to be $φ$: a solution to a problem of Gosper and Knuth
Authors:
Franklin H. J. Kenter
Abstract:
We present the solution to a problem presented by Knuth, attributed to Gosper.
We present the solution to a problem presented by Knuth, attributed to Gosper.
△ Less
Submitted 13 December, 2017; v1 submitted 11 December, 2017;
originally announced December 2017.
-
On the error of a priori sampling: zero forcing sets and propagation time
Authors:
Franklin H. J. Kenter,
Jephian C. -H. Lin
Abstract:
Zero forcing is an iterative process on a graph used to bound the maximum nullity. The process begins with select vertices as colored, and the remaining vertices can become colored under a specific color change rule. The goal is to find a minimum set of vertices such that after iteratively applying the rule, all of the vertices become colored (i.e., a minimum zero forcing set). Of particular inter…
▽ More
Zero forcing is an iterative process on a graph used to bound the maximum nullity. The process begins with select vertices as colored, and the remaining vertices can become colored under a specific color change rule. The goal is to find a minimum set of vertices such that after iteratively applying the rule, all of the vertices become colored (i.e., a minimum zero forcing set). Of particular interest is the propagation time of a chosen set which is the number of steps the rule must be applied in order to color all the vertices of a graph.
We give a purely linear algebraic interpretation of zero forcing: Find a set of vertices $S$ such that for any weighted adjacency matrix $\mathbf{A}$, whenever $\mathbf{Ax} = \mathbf{0}$, the entirety of of $\mathbf{x}$ can be recovered using only $\mathbf{x}_S$, the entries corresponding to $S$. The key here is that $S$ must be chosen before $\mathbf{A}$. In this light, we are able to give a linear algebraic interpretation of the propagation time: Any error in $\mathbf{x}_S$ effects the error of $\mathbf{x}$ exponentially in the propagation time. This error can be quantitatively measured using newly defined zero forcing-related parameters, the error polynomial vector and the variance polynomial vector. In this sense, the quality of two zero forcing sets can objectively be compared even if the sets are the same size and their propagation time is the same. Examples and constructions are given.
△ Less
Submitted 25 September, 2017;
originally announced September 2017.
-
The relationship between $k$-forcing and $k$-power domination
Authors:
Daniela Ferrero,
Leslie Hogben,
Franklin H. J. Kenter,
Michael Young
Abstract:
Zero forcing and power domination are iterative processes on graphs where an initial set of vertices are observed, and additional vertices become observed based on some rules. In both cases, the goal is to eventually observe the entire graph using the fewest number of initial vertices. Chang et al. introduced $k$-power domination in [Generalized power domination in graphs, {\it Discrete Applied Ma…
▽ More
Zero forcing and power domination are iterative processes on graphs where an initial set of vertices are observed, and additional vertices become observed based on some rules. In both cases, the goal is to eventually observe the entire graph using the fewest number of initial vertices. Chang et al. introduced $k$-power domination in [Generalized power domination in graphs, {\it Discrete Applied Math.} 160 (2012) 1691-1698] as a generalization of power domination and standard graph domination. Independently, Amos et al. defined $k$-forcing in [Upper bounds on the $k$-forcing number of a graph, {\it Discrete Applied Math.} 181 (2015) 1-10] to generalize zero forcing. In this paper, we combine the study of $k$-forcing and $k$-power domination, providing a new approach to analyze both processes. We give a relationship between the $k$-forcing and the $k$-power domination numbers of a graph that bounds one in terms of the other. We also obtain results using the contraction of subgraphs that allow the parallel computation of $k$-forcing and $k$-power dominating sets.
△ Less
Submitted 28 February, 2017; v1 submitted 29 January, 2017;
originally announced January 2017.
-
Power propagation time and lower bounds for power domination number
Authors:
Daniela Ferrero,
Leslie Hogben,
Franklin H. J. Kenter,
Michael Young
Abstract:
We present a counterexample to a lower bound for the power domination number given in Liao, Power domination with bounded time constraints, J. Comb. Optim. 31 (2016)725-742. We also define the power propagation time, using the power domination propagation ideas in Liao and the (zero forcing) propagation time in Hogben et al, Propagation time for zero forcing on a graph, Discrete Appl. Math.160 (20…
▽ More
We present a counterexample to a lower bound for the power domination number given in Liao, Power domination with bounded time constraints, J. Comb. Optim. 31 (2016)725-742. We also define the power propagation time, using the power domination propagation ideas in Liao and the (zero forcing) propagation time in Hogben et al, Propagation time for zero forcing on a graph, Discrete Appl. Math.160 (2012) 1994-2005.
△ Less
Submitted 16 November, 2016; v1 submitted 20 December, 2015;
originally announced December 2015.
-
On the Principal Permanent Rank Characteristic Sequences of Graphs and Digraphs
Authors:
Keivan Hassani Monfared,
Paul Horn,
Franklin H. J. Kenter,
Kathleen Nowak,
John Sinkovic,
Josh Tobin
Abstract:
The principal permanent rank characteristic sequence is a binary sequence $r_0 r_1 \ldots r_n$ where $r_k = 1$ if there exists a principal square submatrix of size $k$ with nonzero permanent and $r_k = 0$ otherwise, and $r_0 = 1$ if there is a zero diagonal entry.
A characterization is provided for all principal permanent rank sequences obtainable by the family of nonnegative matrices as well as…
▽ More
The principal permanent rank characteristic sequence is a binary sequence $r_0 r_1 \ldots r_n$ where $r_k = 1$ if there exists a principal square submatrix of size $k$ with nonzero permanent and $r_k = 0$ otherwise, and $r_0 = 1$ if there is a zero diagonal entry.
A characterization is provided for all principal permanent rank sequences obtainable by the family of nonnegative matrices as well as the family of nonnegative symmetric matrices. Constructions for all realizable sequences are provided.
Results for skew-symmetric matrices are also included.
△ Less
Submitted 17 October, 2015;
originally announced October 2015.
-
On the distance spectra of graphs
Authors:
Ghodratollah Aalipour,
Aida Abiad,
Zhanar Berikkyzy,
Jay Cummings,
Jessica De Silva,
Wei Gao,
Kristin Heysse,
Leslie Hogben,
Franklin H. J. Kenter,
Jephian C. -H. Lin,
Michael Tait
Abstract:
The distance matrix of a graph $G$ is the matrix containing the pairwise distances between vertices. The distance eigenvalues of $G$ are the eigenvalues of its distance matrix and they form the distance spectrum of $G$. We determine the distance spectra of halved cubes, double odd graphs, and Doob graphs, completing the determination of distance spectra of distance regular graphs having exactly on…
▽ More
The distance matrix of a graph $G$ is the matrix containing the pairwise distances between vertices. The distance eigenvalues of $G$ are the eigenvalues of its distance matrix and they form the distance spectrum of $G$. We determine the distance spectra of halved cubes, double odd graphs, and Doob graphs, completing the determination of distance spectra of distance regular graphs having exactly one positive distance eigenvalue. We characterize strongly regular graphs having more positive than negative distance eigenvalues. We give examples of graphs with few distinct distance eigenvalues but lacking regularity properties. We also determine the determinant and inertia of the distance matrices of lollipop and barbell graphs.
△ Less
Submitted 1 October, 2015; v1 submitted 3 September, 2015;
originally announced September 2015.
-
Lower Bounds on the Distance Domination Number of a Graph
Authors:
Randy Davila,
Caleb Fast,
Michael Henning,
Franklin Kenter
Abstract:
For an integer $k \ge 1$, a (distance) $k$-dominating set of a connected graph $G$ is a set $S$ of vertices of $G$ such that every vertex of $V(G) \setminus S$ is at distance at most~$k$ from some vertex of $S$. The $k$-domination number, $γ_k(G)$, of $G$ is the minimum cardinality of a $k$-dominating set of $G$. In this paper, we establish lower bounds on the $k$-domination number of a graph in t…
▽ More
For an integer $k \ge 1$, a (distance) $k$-dominating set of a connected graph $G$ is a set $S$ of vertices of $G$ such that every vertex of $V(G) \setminus S$ is at distance at most~$k$ from some vertex of $S$. The $k$-domination number, $γ_k(G)$, of $G$ is the minimum cardinality of a $k$-dominating set of $G$. In this paper, we establish lower bounds on the $k$-domination number of a graph in terms of its diameter, radius and girth. We prove that for connected graphs $G$ and $H$, $γ_k(G \times H) \ge γ_k(G) + γ_k(H) -1$, where $G \times H$ denotes the direct product of $G$ and $H$.
△ Less
Submitted 31 July, 2015;
originally announced July 2015.
-
Interception in Distance-Vector Routing Networks
Authors:
David Burstein,
Franklin Kenter,
Jeremy Kun,
Feng Shi
Abstract:
Despite the large effort devoted to cybersecurity research over the last decades, cyber intrusions and attacks are still increasing. With respect to routing networks, route hijacking has highlighted the need to reexamine the existing protocols that govern traffic routing. In particular, our pri- mary question is how the topology of a network affects the susceptibility of a routing protocol to endo…
▽ More
Despite the large effort devoted to cybersecurity research over the last decades, cyber intrusions and attacks are still increasing. With respect to routing networks, route hijacking has highlighted the need to reexamine the existing protocols that govern traffic routing. In particular, our pri- mary question is how the topology of a network affects the susceptibility of a routing protocol to endogenous route misdirection. In this paper we define and analyze an abstract model of traffic interception (i.e. eavesdropping) in distance-vector routing networks. Specifically, we study al- gorithms that measure the potential of groups of dishonest agents to divert traffic through their infrastructure under the constraint that messages must reach their intended destinations. We relate two variants of our model based on the allowed kinds of lies, define strategies for colluding agents, and prove optimality in special cases. In our main theorem we derive a provably optimal monitoring strategy for subsets of agents in which no two are adjacent, and we extend this strategy to the general case. Finally, we use our results to analyze the susceptibility of real and synthetic networks to endogenous traffic interception. In the Autonomous Systems (AS) graph of the United States, we show that compromising only 18 random nodes in the AS graph surprisingly captures 10% of all traffic paths in the network in expectation when a distance-vector routing protocol is in use.
△ Less
Submitted 30 March, 2016; v1 submitted 18 July, 2015;
originally announced July 2015.
-
Proof of a conjecture of Graham and Lovász concerning unimodality of coefficients of the distance characteristic polynomial of a tree
Authors:
Ghodratollah Aalipour,
Aida Abiad,
Zhanar Berikkyzy,
Leslie Hogben,
Franklin H. J. Kenter,
Jephian C. -H. Lin,
Michael Tait
Abstract:
We establish a conjecture of Graham and Lovász that the (normalized) coefficients of the distance characteristic polynomial of a tree are unimodal; we also prove they are log-concave.
We establish a conjecture of Graham and Lovász that the (normalized) coefficients of the distance characteristic polynomial of a tree are unimodal; we also prove they are log-concave.
△ Less
Submitted 20 April, 2017; v1 submitted 8 July, 2015;
originally announced July 2015.
-
A linear k-fold Cheeger inequality
Authors:
Franklin Kenter,
Mary Radcliffe
Abstract:
Given an undirected graph $G$, the classical Cheeger constant, $h_G$, measures the optimal partition of the vertices into 2 parts with relatively few edges between them based upon the sizes of the parts. The well-known Cheeger's inequality states that $2 λ_1 \le h_G \le \sqrt {2 λ_1}$ where $λ_1$ is the minimum nontrivial eigenvalue of the normalized Laplacian matrix.
Recent work has generalized…
▽ More
Given an undirected graph $G$, the classical Cheeger constant, $h_G$, measures the optimal partition of the vertices into 2 parts with relatively few edges between them based upon the sizes of the parts. The well-known Cheeger's inequality states that $2 λ_1 \le h_G \le \sqrt {2 λ_1}$ where $λ_1$ is the minimum nontrivial eigenvalue of the normalized Laplacian matrix.
Recent work has generalized the concept of the Cheeger constant when partitioning the vertices of a graph into $k > 2$ parts. While there are several approaches, recent results have shown these higher-order Cheeger constants to be tightly controlled by $λ_{k-1}$, the $(k-1)$-th nontrivial eigenvalue, to within a quadratic factor.
We present a new higher-order Cheeger inequality with several new perspectives. First, we use an alternative higher-order Cheeger constant which considers an "average case" approach. We show this measure is related to the average of the first $k-1$ nontrivial eigenvalues of the normalized Laplacian matrix. Further, using recent techniques, our results provide linear inequalities using the $\infty$-norms of the corresponding eigenvectors. Consequently, unlike previous results, this result is relevant even when $λ_{k-1} \to 1$.
△ Less
Submitted 27 February, 2015; v1 submitted 8 January, 2015;
originally announced January 2015.
-
Necessary Spectral Conditions for Coloring Hypergraphs
Authors:
Franklin H. J. Kenter
Abstract:
Hoffman proved that for a simple graph $G$, the chromatic number $χ(G)$ obeys $χ(G) \le 1 - \frac{λ_1}{λ_{n}}$ where $λ_1$ and $λ_n$ are the maximal and minimal eigenvalues of the adjacency matrix of $G$ respectively. Lovász later showed that $χ(G) \le 1 - \frac{λ_1}{λ_{n}}$ for any (perhaps negatively) weighted adjacency matrix.
In this paper, we give a probabilistic proof of Lovász's theorem,…
▽ More
Hoffman proved that for a simple graph $G$, the chromatic number $χ(G)$ obeys $χ(G) \le 1 - \frac{λ_1}{λ_{n}}$ where $λ_1$ and $λ_n$ are the maximal and minimal eigenvalues of the adjacency matrix of $G$ respectively. Lovász later showed that $χ(G) \le 1 - \frac{λ_1}{λ_{n}}$ for any (perhaps negatively) weighted adjacency matrix.
In this paper, we give a probabilistic proof of Lovász's theorem, then extend the technique to derive generalizations of Hoffman's theorem when allowed a certain proportion of edge-conflicts. Using this result, we show that if a 3-uniform hypergraph is 2-colorable, then $\bar d \le -\frac{3}{2}λ_{\min}$ where $\bar d$ is the average degree and $λ_{\min}$ is the minimal eigenvalue of the underlying graph. We generalize this further for $k$-uniform hypergraphs, for the cases $k=4$ and $5$, by considering several variants of the underlying graph.
△ Less
Submitted 11 December, 2014;
originally announced December 2014.
-
A Linear Cheeger Inequality using Eigenvector Norms
Authors:
Franklin H. J. Kenter
Abstract:
The Cheeger constant, $h_G$, is a measure of expansion within a graph. The classical Cheeger Inequality states: $λ_{1}/2 \le h_G \le \sqrt{2 λ_{1}}$ where $λ_1$ is the first nontrivial eigenvalue of the normalized Laplacian matrix. Hence, $h_G$ is tightly controlled by $λ_1$ to within a quadratic factor.
We give an alternative Cheeger Inequality where we consider the $\infty$-norm of the corresp…
▽ More
The Cheeger constant, $h_G$, is a measure of expansion within a graph. The classical Cheeger Inequality states: $λ_{1}/2 \le h_G \le \sqrt{2 λ_{1}}$ where $λ_1$ is the first nontrivial eigenvalue of the normalized Laplacian matrix. Hence, $h_G$ is tightly controlled by $λ_1$ to within a quadratic factor.
We give an alternative Cheeger Inequality where we consider the $\infty$-norm of the corresponding eigenvector in addition to $λ_1$. This inequality controls $h_G$ to within a linear factor of $λ_1$ thereby providing an improvement to the previous quadratic bounds. An additional advantage of our result is that while the original Cheeger constant makes it clear that $h_G \to 0$ as $λ_1 \to 0$, our result shows that $h_G \to 1/2$ as $λ_1 \to 1$.
△ Less
Submitted 9 December, 2014;
originally announced December 2014.
-
Bounds for the Zero-Forcing Number of Graphs with Large Girth
Authors:
Randy Davila,
Franklin Kenter
Abstract:
We investigate the zero-forcing number for triangle-free graphs. We improve upon the trivial bound, $δ\le Z(G)$ where $δ$ is the minimum degree, in the triangle-free case. In particular, we show that $2 δ- 2 \le Z(G)$ for graphs with girth of at least 5, and this can be further improved when $G$ has a small cut set. Using these results, we are able to prove the Graph Complement Conjecture on minim…
▽ More
We investigate the zero-forcing number for triangle-free graphs. We improve upon the trivial bound, $δ\le Z(G)$ where $δ$ is the minimum degree, in the triangle-free case. In particular, we show that $2 δ- 2 \le Z(G)$ for graphs with girth of at least 5, and this can be further improved when $G$ has a small cut set. Using these results, we are able to prove the Graph Complement Conjecture on minimum rank for a large class of graphs. Lastly, we make a conjecture that the lower bound for $Z(G)$ increases as a function of the girth, $g$, and $δ$.
△ Less
Submitted 12 June, 2014; v1 submitted 2 June, 2014;
originally announced June 2014.
-
Concentration of the Stationary Distribution on General Random Directed Graphs
Authors:
Franklin H. J. Kenter
Abstract:
We consider a random model for directed graphs whereby an arc is placed from one vertex to another with a prescribed probability which may vary from arc to arc. Using perturbation bounds as well as Chernoff inequalities, we show that the stationary distribution of a Markov process on a random graph is concentrated near that of the "expected" process under mild conditions. These conditions involve…
▽ More
We consider a random model for directed graphs whereby an arc is placed from one vertex to another with a prescribed probability which may vary from arc to arc. Using perturbation bounds as well as Chernoff inequalities, we show that the stationary distribution of a Markov process on a random graph is concentrated near that of the "expected" process under mild conditions. These conditions involve the ratio between the minimum and maximum in- and out-degrees, the ratio of the minimum and maximum entry in the stationary distribution, and the smallest singu- lar value of the transition matrix. Lastly, we give examples of applications of our results to well-known models such as PageRank and G(n, p).
△ Less
Submitted 18 September, 2013;
originally announced September 2013.
