-
Closed Neighborhood Balanced Coloring of Graphs
Authors:
K. L. Collins,
M. Bowie,
N. B. Fox,
B. Freyberg,
J. Hook,
A. M. Marr,
C. McBee,
A. Semanicova-Fenovcikova,
A. Sinko,
A. N. Trenk
Abstract:
A coloring of the vertex set of a graph using the colors red and blue is a closed neighborhood balanced coloring if for each vertex there are an equal number of red and blue vertices in its closed neighborhood. A graph with such a coloring is called a CNBC graph. Freyberg and Marr studied the related class of NBC graphs where closed neighborhood is replaced by open neighborhood. We prove results a…
▽ More
A coloring of the vertex set of a graph using the colors red and blue is a closed neighborhood balanced coloring if for each vertex there are an equal number of red and blue vertices in its closed neighborhood. A graph with such a coloring is called a CNBC graph. Freyberg and Marr studied the related class of NBC graphs where closed neighborhood is replaced by open neighborhood. We prove results about CNBC graphs and NBC graphs. We show that the class of CNBC graphs is not hereditary, that the sizes of the color classes can be arbitrarily different, and that if the sizes of the color classes are equal, then a graph is a CNBC graph if and only if its complement is an NBC graph. When the sizes of the color classes are equal, we show that the join of two CNBC graphs is a CNBC graph, and the lexicographic product of a CNBC graph with any graph is a CNBC graph. We prove that the Cartesian product of any CNBC graph and any NBC graph is a CNBC graph, and characterize when a hypercube is an NBC graph or a CNBC graph, but show that the product of two CNBC graphs need not be an NBC graph. We show that the strong product of a CNBC graph with any graph is a CNBC graph. We construct infinite families of circulants that are CNBC graphs, and give characterizations of CNBC trees, generalized Petersen graphs, cubic circulants and quintic circulants when $n\equiv 2 \pmod 4$.
△ Less
Submitted 3 December, 2024;
originally announced December 2024.
-
Discrete-time immunization number
Authors:
N. E. Clarke,
K. L. Collins,
M. E. Messinger,
A. N. Trenk,
A. Vetta
Abstract:
We introduce a discrete-time immunization version of the SEIS compartment model of infection by a contagious disease, with an extended latency and protective period. The population is modeled by a graph $H$ where vertices represent individuals and edges exist between individuals with close connections. Our objective is to clear the population of infection while minimizing the maximum number of imm…
▽ More
We introduce a discrete-time immunization version of the SEIS compartment model of infection by a contagious disease, with an extended latency and protective period. The population is modeled by a graph $H$ where vertices represent individuals and edges exist between individuals with close connections. Our objective is to clear the population of infection while minimizing the maximum number of immunizations that occur at each time-step. We prove that this minimum is bounded above by a natural function of the pathwidth of $H$. In addition to our general results, we also focus on the case where the latency and protective periods last for one time-step. In this case, we characterize graphs that require only one immunization per time-step, provide a useful tool for proving lower bounds, and show that, for any tree $T$, there is a subdivision of $T$ that requires at most two immunizations per time-step.
△ Less
Submitted 9 August, 2024;
originally announced August 2024.
-
Split graphs and Block Representations
Authors:
Karen L. Collins,
Ann N. Trenk,
Rebecca Whitman
Abstract:
In this paper, we study split graphs and related classes of graphs from the perspective of their sequence of vertex degrees and an associated lattice under majorization. Following the work of Merris in 2003, we define blocks $[α(π)|β(π)]$, where $π$ is the degree sequence of a graph, and $α(π)$ and $β(π)$ are sequences arising from $π$. We use the block representation $[α(π)|β(π)]$ to characterize…
▽ More
In this paper, we study split graphs and related classes of graphs from the perspective of their sequence of vertex degrees and an associated lattice under majorization. Following the work of Merris in 2003, we define blocks $[α(π)|β(π)]$, where $π$ is the degree sequence of a graph, and $α(π)$ and $β(π)$ are sequences arising from $π$. We use the block representation $[α(π)|β(π)]$ to characterize membership in each of the following classes: unbalanced split graphs, balanced split graphs, pseudo-split graphs, and three kinds of Nordhaus-Gaddum graphs (defined by Collins and Trenk in 2013). As in Merris' work, we form a poset under the relation majorization in which the elements are the blocks $[α(π)|β(π)]$ representing split graphs with a fixed number of edges. We partition this poset in several interesting ways using what we call amphoras, and prove upward and downward closure results for blocks arising from different families of graphs. Finally, we show that the poset becomes a lattice when a maximum and minimum element are added, and we prove properties of the meet and join of two blocks.
△ Less
Submitted 3 November, 2022;
originally announced November 2022.
-
A Note on the Immersion Number of Generalized Mycielski Graphs
Authors:
Karen L. Collins,
Megan E. Heenehan,
Jessica McDonald
Abstract:
The immersion number of a graph $G$, denoted im$(G)$, is the largest $t$ such that $G$ has a $K_t$-immersion. In this note we are interested in determining the immersion number of the $m$-Mycielskian of $G$, denoted $μ_m(G)$. Given the immersion number of $G$ we provide a lower bound for im$(μ_m(G))$. To do this we introduce the "distinct neighbor property" of immersions. We also include examples…
▽ More
The immersion number of a graph $G$, denoted im$(G)$, is the largest $t$ such that $G$ has a $K_t$-immersion. In this note we are interested in determining the immersion number of the $m$-Mycielskian of $G$, denoted $μ_m(G)$. Given the immersion number of $G$ we provide a lower bound for im$(μ_m(G))$. To do this we introduce the "distinct neighbor property" of immersions. We also include examples of classes of graphs where im$(μ_m(G))$ exceeds the lower bound. We conclude with a conjecture about im$(μ_m(K_t))$.
△ Less
Submitted 12 May, 2021;
originally announced May 2021.
-
Product Throttling
Authors:
Sarah E. Anderson,
Karen L. Collins,
Daniela Ferrero,
Leslie Hogben,
Carolyn Mayer,
Ann N. Trenk,
Shanise Walker
Abstract:
Throttling addresses the question of minimizing the sum or the product of the resources used to accomplish a task and the time needed to complete that task for various graph searching processes. Graph parameters of interest include various types of zero forcing, power domination, and Cops and Robbers. We provide a survey of product throttling for these parameters.
Throttling addresses the question of minimizing the sum or the product of the resources used to accomplish a task and the time needed to complete that task for various graph searching processes. Graph parameters of interest include various types of zero forcing, power domination, and Cops and Robbers. We provide a survey of product throttling for these parameters.
△ Less
Submitted 26 September, 2021; v1 submitted 23 December, 2020;
originally announced December 2020.
-
Product throttling for power domination
Authors:
Sarah E. Anderson,
Karen L. Collins,
Daniela Ferrero,
Leslie Hogben,
Carolyn Mayer,
Ann N. Trenk,
Shanise Walker
Abstract:
The product power throttling number of a graph is defined to study product throttling for power domination. The domination number of a graph is an upper bound for its product power throttling number. It is established that the two parameters are equal for certain families including paths, cycles, complete graphs, unit interval graphs, and grid graphs (on the plane, cylinder, and torus). Families o…
▽ More
The product power throttling number of a graph is defined to study product throttling for power domination. The domination number of a graph is an upper bound for its product power throttling number. It is established that the two parameters are equal for certain families including paths, cycles, complete graphs, unit interval graphs, and grid graphs (on the plane, cylinder, and torus). Families of graphs for which the product power throttling number is less than the domination number are also exhibited. Graphs with extremely high or low product power throttling number are characterized and bounds on the product power throttling number are established.
△ Less
Submitted 3 December, 2020; v1 submitted 30 October, 2020;
originally announced October 2020.
-
Clique immersion in graph products
Authors:
Karen L. Collins,
Megan E. Heenehan,
Jessica McDonald
Abstract:
Let $G,H$ be graphs and $G*H$ represent a particular graph product of $G$ and $H$. We define $im(G)$ to be the largest $t$ such that $G$ has a $K_t$-immersion and ask: given $im(G)=t$ and $im(H)=r$, how large is $im(G*H)$? Best possible lower bounds are provided when $*$ is the Cartesian or lexicographic product, and a conjecture is offered for each of the direct and strong products, along with so…
▽ More
Let $G,H$ be graphs and $G*H$ represent a particular graph product of $G$ and $H$. We define $im(G)$ to be the largest $t$ such that $G$ has a $K_t$-immersion and ask: given $im(G)=t$ and $im(H)=r$, how large is $im(G*H)$? Best possible lower bounds are provided when $*$ is the Cartesian or lexicographic product, and a conjecture is offered for each of the direct and strong products, along with some partial results.
△ Less
Submitted 27 August, 2019;
originally announced August 2019.
-
The distinguishing number and distinguishing chromatic number for posets
Authors:
Karen L. Collins,
Ann N. Trenk
Abstract:
In this paper we introduce the concepts of the distinguishing number and the distinguishing chromatic number of a poset. For a distributive lattice $L$ and its set $Q_L$ of join-irreducibles, we use classic lattice theory to show that any linear extension of $Q_L$ generates a distinguishing 2-coloring of $L$. We prove general upper bounds for the distinguishing chromatic number and particular uppe…
▽ More
In this paper we introduce the concepts of the distinguishing number and the distinguishing chromatic number of a poset. For a distributive lattice $L$ and its set $Q_L$ of join-irreducibles, we use classic lattice theory to show that any linear extension of $Q_L$ generates a distinguishing 2-coloring of $L$. We prove general upper bounds for the distinguishing chromatic number and particular upper bounds for the Boolean lattice and for divisibility lattices. In addition, we show that the distinguishing number of any twin-free Cohen-Macaulay planar lattice is at most 2.
△ Less
Submitted 8 July, 2020; v1 submitted 23 May, 2019;
originally announced May 2019.
-
An upper bound on the Wiener Index of a k-connected graph
Authors:
Zhongyuan Che,
Karen L. Collins
Abstract:
The Wiener index of a connected graph is the summation of all distances between unordered pairs of vertices of the graph. In this paper, we give an upper bound on the Wiener index of a $k$-connected graph $G$ of order $n$ for integers $n-1>k \ge 1$:
\[W(G) \le \frac{1}{4} n \lfloor \frac{n+k-2}{k} \rfloor (2n+k-2-k\lfloor \frac{n+k-2}{k} \rfloor).\] Moreover, we show that this upper bound is sha…
▽ More
The Wiener index of a connected graph is the summation of all distances between unordered pairs of vertices of the graph. In this paper, we give an upper bound on the Wiener index of a $k$-connected graph $G$ of order $n$ for integers $n-1>k \ge 1$:
\[W(G) \le \frac{1}{4} n \lfloor \frac{n+k-2}{k} \rfloor (2n+k-2-k\lfloor \frac{n+k-2}{k} \rfloor).\] Moreover, we show that this upper bound is sharp when $k \ge 2$ is even, and can be obtained by the Wiener index of Harary graph $H_{k,n}$.
△ Less
Submitted 6 November, 2018;
originally announced November 2018.
-
Treewidth Bounds for Planar Graphs Using Three-Sided Brambles
Authors:
Karen L. Collins,
Brett C. Smith
Abstract:
Square grids play a pivotal role in Robertson and Seymour's work on graph minors as planar obstructions to small treewidth. We introduce a three-sided bramble in a plane graph called a net, which generalizes the standard bramble of crosses in a square grid. We then characterize any minimal cover of a net as a tree drawn in the plane.
We use nets in an $O(n^3)$ time algorithm that computes both u…
▽ More
Square grids play a pivotal role in Robertson and Seymour's work on graph minors as planar obstructions to small treewidth. We introduce a three-sided bramble in a plane graph called a net, which generalizes the standard bramble of crosses in a square grid. We then characterize any minimal cover of a net as a tree drawn in the plane.
We use nets in an $O(n^3)$ time algorithm that computes both upper and lower bounds on the bramble number (hence treewidth) of any planar graph. Let $G$ be a planar graph, $BN(G)$ be its bramble number and $λ(G)$ be the largest order of any net in a subgraph of $G$. Our algorithm outputs a constant, $KB$, so that $λ(G)/4 \leq KB \leq BN(G)\leq 4KB \leq 4λ(G)$.
Let $s(G)$ be the size of a side of the largest square grid minor of $G$. Smith (2015) has shown that $λ(G) \geq s(G)$. Our upper bound improves that of Grigoriev (2011) when $λ(G)\leq (5/4)s(G)$. We correct a lower bound of Bodlaender, Grigoriev and Koster (2008) to $s(G)/5$ (instead of $s(G)/4$) and thus the lower bound of $λ(G)/4$ on our approximation is an improvement.
△ Less
Submitted 26 June, 2017;
originally announced June 2017.
-
Finding Balance: Split Graphs and Related Classes
Authors:
Karen L. Collins,
Ann N. Trenk
Abstract:
A graph is a split graph if its vertex set can be partitioned into a clique and a stable set. A split graph is unbalanced if there exist two such partitions that are distinct. Cheng, Collins and Trenk (2016), discovered the following interesting counting fact: unlabeled, unbalanced split graphs on $n$ vertices can be placed into a bijection with all unlabeled split graphs on $n-1$ or fewer vertice…
▽ More
A graph is a split graph if its vertex set can be partitioned into a clique and a stable set. A split graph is unbalanced if there exist two such partitions that are distinct. Cheng, Collins and Trenk (2016), discovered the following interesting counting fact: unlabeled, unbalanced split graphs on $n$ vertices can be placed into a bijection with all unlabeled split graphs on $n-1$ or fewer vertices. In this paper we translate these concepts and the theorem to different combinatorial settings: minimal set covers, bipartite graphs with a distinguished block and posets of height one.
△ Less
Submitted 9 June, 2017;
originally announced June 2017.
-
Split Graphs and Nordhaus-Gaddum Graphs
Authors:
Christine Cheng,
Karen L. Collins,
Ann Trenk
Abstract:
A graph G is an NG-graph if χ(G) + χ(G complement) = |V(G)| + 1. We characterize NG-graphs solely from degree sequences leading to a linear-time recognition algorithm. We also explore the connections between NG-graphs and split graphs. There are three types of NG-graphs and split graphs can also be divided naturally into two categories, balanced and unbalanced. We characterize each of these five c…
▽ More
A graph G is an NG-graph if χ(G) + χ(G complement) = |V(G)| + 1. We characterize NG-graphs solely from degree sequences leading to a linear-time recognition algorithm. We also explore the connections between NG-graphs and split graphs. There are three types of NG-graphs and split graphs can also be divided naturally into two categories, balanced and unbalanced. We characterize each of these five classes by degree sequence. We construct bijections between classes of NG-graphs and balanced and unbalanced split graphs which, together with the known formula for the number of split graphs on n vertices, allows us to compute the sizes of each of these classes. Finally, we provide a bijection between unbalanced split graphs on n vertices and split graphs on n-1 or fewer vertices providing evidence for our conjecture that the rapid growth in the number of split graphs comes from the balanced split graphs.
△ Less
Submitted 11 June, 2015;
originally announced June 2015.
-
Constructing graphs with no immersion of large complete graphs
Authors:
Karen L. Collins,
Megan E. Heenehan
Abstract:
In 1989, Lescure and Meyniel proved, for $d=5, 6$, that every $d$-chromatic graph contains an immersion of $K_d$, and in 2003 Abu-Khzam and Langston conjectured that this holds for all $d$. In 2010, DeVos, Kawarabayashi, Mohar, and Okamura proved this conjecture for $d = 7$. In each proof, the $d$-chromatic assumption was not fully utilized, as the proofs only use the fact that a $d$-critical grap…
▽ More
In 1989, Lescure and Meyniel proved, for $d=5, 6$, that every $d$-chromatic graph contains an immersion of $K_d$, and in 2003 Abu-Khzam and Langston conjectured that this holds for all $d$. In 2010, DeVos, Kawarabayashi, Mohar, and Okamura proved this conjecture for $d = 7$. In each proof, the $d$-chromatic assumption was not fully utilized, as the proofs only use the fact that a $d$-critical graph has minimum degree at least $d - 1$. DeVos, Dvořák, Fox, McDonald, Mohar, and Scheide show the stronger conjecture that a graph with minimum degree $d-1$ has an immersion of $K_d$ fails for $d=10$ and $d\geq 12$ with a finite number of examples for each value of $d$, and small chromatic number relative to $d$, but it is shown that a minimum degree of $200d$ does guarantee an immersion of $K_d$.
In this paper we show that the stronger conjecture is false for $d=8,9,11$ and give infinite families of examples with minimum degree $d-1$ and chromatic number $d-3$ or $d-2$ that do not contain an immersion of $K_d$. Our examples can be up to $(d-2)$-edge-connected. We show, using Hajós' Construction, that there is an infinite class of non-$(d-1)$-colorable graphs that contain an immersion of $K_d$. We conclude with some open questions, and the conjecture that a graph $G$ with minimum degree $d - 1$ and more than $\frac{|V(G)|}{1+m(d+1)}$ vertices of degree at least $md$ has an immersion of $K_d$.
△ Less
Submitted 7 June, 2012;
originally announced June 2012.
-
Nordhaus-Gaddum Theorem for the Distinguishing Chromatic Number
Authors:
Karen L. Collins,
Ann Trenk
Abstract:
Nordhaus and Gaddum proved, for any graph G, that the chromatic number of G plus the chromatic number of G complement is less than or equal to the number of vertices in G plus 1. Finck characterized the class of graphs that satisfy equality in this bound. In this paper, we provide a new characterization of this class of graphs, based on vertex degrees, which yields a new polynomial-time recognitio…
▽ More
Nordhaus and Gaddum proved, for any graph G, that the chromatic number of G plus the chromatic number of G complement is less than or equal to the number of vertices in G plus 1. Finck characterized the class of graphs that satisfy equality in this bound. In this paper, we provide a new characterization of this class of graphs, based on vertex degrees, which yields a new polynomial-time recognition algorithm and efficient computation of the chromatic number of graphs in this class. Our motivation comes from our theorem that generalizes the Nordhaus-Gaddum theorem to the distinguishing chromatic number: for any graph G, the distinguishing chromatic number of G plus the distinguishing chromatic number of G complement is less than or equal to the number of vertices of G plus the distinguishing number of G. Finally, we characterize those graphs that achieve equality in the sum upper bounds simultaneously for both the chromatic number and for our distinguishing chromatic number analog of the Nordhaus-Gaddum inequality.
△ Less
Submitted 26 March, 2012;
originally announced March 2012.
-
A Note on Planar and Dismantlable Lattices
Authors:
Karen L. Collins
Abstract:
It is shown that any finite, rank-connected, dismantlable lattice is lexicographically shellable (hence Cohen-Macaulay). A ranked, interval-connected lattice is shown to be rank-connected, but a rank-connected lattice need not be interval-connected. An example of a planar, rank-connected lattice that is not admissible is given.
It is shown that any finite, rank-connected, dismantlable lattice is lexicographically shellable (hence Cohen-Macaulay). A ranked, interval-connected lattice is shown to be rank-connected, but a rank-connected lattice need not be interval-connected. An example of a planar, rank-connected lattice that is not admissible is given.
△ Less
Submitted 19 June, 2000;
originally announced June 2000.
