-
Triangle-degree and triangle-distinct graphs
Authors:
Zhanar Berikkyzy,
Beth Bjorkman,
Heather Smith Blake,
Sogol Jahanbekam,
Lauren Keough,
Kevin Moss,
Danny Rorabaugh,
Songling Shan
Abstract:
Let $G$ be a simple graph and $v$ be a vertex of $G$. The triangle-degree of $v$ in $G$ is the number of triangles that contain $v$. While every graph has at least two vertices with the same degree, there are graphs in which every vertex has a distinct triangle-degree. In this paper, we construct an infinite family of graphs with this property. We also study the vertex degrees and size of graphs w…
▽ More
Let $G$ be a simple graph and $v$ be a vertex of $G$. The triangle-degree of $v$ in $G$ is the number of triangles that contain $v$. While every graph has at least two vertices with the same degree, there are graphs in which every vertex has a distinct triangle-degree. In this paper, we construct an infinite family of graphs with this property. We also study the vertex degrees and size of graphs with this property.
△ Less
Submitted 30 August, 2023; v1 submitted 21 August, 2023;
originally announced August 2023.
-
Symmetry Parameters of Various Hypercube Families
Authors:
Debra Boutin,
Sally Cockburn,
Lauren Keough,
Sarah Loeb,
Puck Rombach
Abstract:
In this paper we study the symmetry parameters determining number, distinguishing number, and cost of 2-distinguishing, for some variations on hypercubes, namely Hamming graphs, powers of hypercubes, folded hypercubes, enhanced hypercubes, augmented hypercubes and locally twisted hypercubes.
In this paper we study the symmetry parameters determining number, distinguishing number, and cost of 2-distinguishing, for some variations on hypercubes, namely Hamming graphs, powers of hypercubes, folded hypercubes, enhanced hypercubes, augmented hypercubes and locally twisted hypercubes.
△ Less
Submitted 8 October, 2021;
originally announced October 2021.
-
Symmetry Parameters for Mycielskian Graphs
Authors:
Debra Boutin,
Sally Cockburn,
Lauren Keough,
Sarah Loeb,
K. E. Perry,
Puck Rombach
Abstract:
The Mycielskian construction, denoted $μ(G)$, takes a finite simple graph $G$ to a larger graph with of the same clique number but larger chromatic number. The generalized Mycielskian construction, denoted $μ_t(G)$, takes $G$ to a larger graph with the same chromatic number but with larger odd girth. In this chapter we look at symmetry parameters of $μ(G)$ and $μ_t(G)$ in terms of the same paramet…
▽ More
The Mycielskian construction, denoted $μ(G)$, takes a finite simple graph $G$ to a larger graph with of the same clique number but larger chromatic number. The generalized Mycielskian construction, denoted $μ_t(G)$, takes $G$ to a larger graph with the same chromatic number but with larger odd girth. In this chapter we look at symmetry parameters of $μ(G)$ and $μ_t(G)$ in terms of the same parameters of $G$. These symmetry parameters include determining number, distinguishing number, and cost of distinguishing.
△ Less
Submitted 9 March, 2021;
originally announced March 2021.
-
Determining Number and Cost of Generalized Mycielskian Graphs
Authors:
Debra Boutin,
Sally Cockburn,
Lauren Keough,
Sarah Loeb,
K. E. Perry,
Puck Rombach
Abstract:
A set $S$ of vertices is a determining set for a graph $G$ if every automorphism of $G$ is uniquely determined by its action on $S$. The size of a smallest determining set for $G$ is called its determining number, $Det(G)$. A graph $G$ is said to be $d$-distinguishable if there is a coloring of the vertices with $d$ colors so that only the trivial automorphism preserves the color classes. The smal…
▽ More
A set $S$ of vertices is a determining set for a graph $G$ if every automorphism of $G$ is uniquely determined by its action on $S$. The size of a smallest determining set for $G$ is called its determining number, $Det(G)$. A graph $G$ is said to be $d$-distinguishable if there is a coloring of the vertices with $d$ colors so that only the trivial automorphism preserves the color classes. The smallest such $d$ is the distinguishing number, $Dist(G)$. If $Dist(G) = 2$, the cost of 2-distinguishing, $ρ(G)$, is the size of a smallest color class over all 2-distinguishing colorings of $G$. The Mycielskian, $μ(G)$, of a graph $G$ is constructed by adding a shadow master vertex $w$, and for each vertex $v_i$ of $G$ adding a shadow vertex $u_i$ with edges so that the neighborhood of $u_i$ in $μ(G)$ is the same as the neighborhood of $v_i$ in $G$ with the addition of $w$. That is, $N(u_i)=N_G(v_i)\cup\{w\}$. The generalized Mycielskian $μ^{(t)}(G)$ of a graph $G$ is a Mycielskian graph with $t$ layers of shadow vertices, each with edges to layers above and below, and $w$ only adjacent to the top layer of shadow vertices. A graph is twin-free if it has no pair of vertices with the same set of neighbors. This paper examines the determining number and, when relevant, the cost of 2-distinguishing for Mycielskians and generalized Mycielskians of simple graphs with no isolated vertices. In particular, if $G \neq K_2$ is twin-free with no isolated vertices, then $Det(μ^{(t)}(G)) = Det(G)$. Further, if $Det(G) = k \geq 2$ and $t \ge k-1$, then $Dist(μ^{(t)}(G))=2$, and $Det(μ^{(t)}(G)) = ρ(μ^{(t)}(G))= k$. For $G$ with twins, we develop a framework using quotient graphs with respect to equivalence classes of twin vertices to give bounds on the determining number of Mycielskians. Moreover, we identify classes of graphs with twins for which $Det(μ^{(t)}(G)) = (t{+}1) Det(G)$.
△ Less
Submitted 8 March, 2021; v1 submitted 30 July, 2020;
originally announced July 2020.
-
Distinguishing Generalized Mycielskian Graphs
Authors:
Debra Boutin,
Sally Cockburn,
Lauren Keough,
Sarah Loeb,
K. E. Perry,
Puck Rombach
Abstract:
A graph $G$ is $d$-distinguishable if there is a coloring of the vertices with $d$ colors so that only the trivial automorphism preserves the color classes. The smallest such $d$ is the distinguishing number, $\operatorname{Dist}(G)$. The Mycielskian $μ(G)$ of a graph $G$ is constructed by adding a shadow vertex $u_i$ for each vertex $v_i$ of $G$ and one additional vertex $w$ and adding edges so t…
▽ More
A graph $G$ is $d$-distinguishable if there is a coloring of the vertices with $d$ colors so that only the trivial automorphism preserves the color classes. The smallest such $d$ is the distinguishing number, $\operatorname{Dist}(G)$. The Mycielskian $μ(G)$ of a graph $G$ is constructed by adding a shadow vertex $u_i$ for each vertex $v_i$ of $G$ and one additional vertex $w$ and adding edges so that $N(u_i)~=~N_G(v_i)~\cup~\{w\}$. The generalized Mycielskian $μ_t(G)$ is a Mycielskian graph with $t$ layers of shadow vertices, each with edges to layers above and below. This paper examines the distinguishing number of the traditional and generalized Mycielskian graphs. Notably, if $G~\neq ~K_1,~K_2$ and the number of isolated vertices in $μ_t(G)$ is at most $\operatorname{Dist}(G)$, then $\operatorname{Dist}(μ_t(G)) \le \operatorname{Dist}(G)$. This result proves and exceeds a conjecture of Alikhani and Soltani.
△ Less
Submitted 28 January, 2021; v1 submitted 5 June, 2020;
originally announced June 2020.
-
An Extremal Problem for the Neighborhood Lights Out Game
Authors:
Lauren Keough,
Darren Parker
Abstract:
Neighborhood Lights Out is a game played on graphs. Begin with a graph and a vertex labeling of the graph from the set $\{0,1,2,\dots, \ell-1\}$ for $\ell \in \mathbb{N}$. The game is played by toggling vertices: when a vertex is toggled, that vertex and each of its neighbors has its label increased by $1$ (modulo $\ell$). The game is won when every vertex has label 0. For any $n\in\mathbb{N}$ it…
▽ More
Neighborhood Lights Out is a game played on graphs. Begin with a graph and a vertex labeling of the graph from the set $\{0,1,2,\dots, \ell-1\}$ for $\ell \in \mathbb{N}$. The game is played by toggling vertices: when a vertex is toggled, that vertex and each of its neighbors has its label increased by $1$ (modulo $\ell$). The game is won when every vertex has label 0. For any $n\in\mathbb{N}$ it is clear that one cannot win the game on $K_n$ unless the initial labeling assigns all vertices the same label. Given that the $K_n$ has the maximum number of edges of any simple graph on $n$ vertices it is natural to ask how many edges can be in a graph so that the Neighborhood Lights Out game is winnable regardless of the initial labeling. We find all such extremal graphs on $n$ vertices that have $\binom{n}{2} - c$ edges for $c\leq \lceil\frac{n}{2}\rceil +3$ and all those that have minimum degree $n-3$. The proofs of our results require us to introduce a new version of the Lights Out game that can be played given any square matrix.
△ Less
Submitted 6 July, 2020; v1 submitted 9 August, 2019;
originally announced August 2019.
-
Independent Sets in n-vertex k-chromatic, \ell-connected graphs
Authors:
John Engbers,
Lauren Keough,
Taylor Short
Abstract:
We study the problem of maximizing the number of independent sets in $n$-vertex $k$-chromatic $\ell$-connected graphs. First we consider maximizing the total number of independent sets in such graphs with $n$ sufficiently large, and for this problem we use a stability argument to find the unique extremal graph. We show that our result holds within the larger family of $n$-vertex $k$-chromatic grap…
▽ More
We study the problem of maximizing the number of independent sets in $n$-vertex $k$-chromatic $\ell$-connected graphs. First we consider maximizing the total number of independent sets in such graphs with $n$ sufficiently large, and for this problem we use a stability argument to find the unique extremal graph. We show that our result holds within the larger family of $n$-vertex $k$-chromatic graphs with minimum degree at least $\ell$, again for $n$ sufficiently large. We also maximize the number of independent sets of each fixed size in $n$-vertex 3-chromatic 2-connected graphs. We finally address maximizing the number of independent sets of size 2 (equivalently, minimizing the number of edges) over all $n$-vertex $k$-chromatic $\ell$-connected graphs.
△ Less
Submitted 8 July, 2019;
originally announced July 2019.
-
Maximizing 2-Independent Sets in 3-Uniform Hypergraphs
Authors:
Lauren Keough,
A. J. Radcliffe
Abstract:
There has been interest recently in maximizing the number of independent sets in graphs. For example, the Kahn-Zhao theorem gives an upper bound on the number of independent sets in a $d$-regular graph. Similarly, it is a corollary of the Kruskal-Katona theorem that the lex graph has the maximum number of independent sets in a graph of fixed size and order. In this paper we solve two equivalent pr…
▽ More
There has been interest recently in maximizing the number of independent sets in graphs. For example, the Kahn-Zhao theorem gives an upper bound on the number of independent sets in a $d$-regular graph. Similarly, it is a corollary of the Kruskal-Katona theorem that the lex graph has the maximum number of independent sets in a graph of fixed size and order. In this paper we solve two equivalent problems.
The first is: what $3$-uniform hypergraph on a ground set of size $n$, having at least $t$ edges, has the most $2$-independent sets? Here a $2$--independent set is a subset of vertices containing fewer than $2$ vertices from each edge. This is equivalent to the problem of determining which graph on $n$ vertices having at least $t$ triangles has the most independent sets. The (hypergraph) answer is that, ignoring some transient and some persistent exceptions, a $(2,3,1)$-lex style $3$-graph is optimal.
We also discuss the problem of maximizing the number of $s$-independent sets in $r$-uniform hypergraphs of fixed size and order, proving some simple results, and conjecture an asymptotically correct general solution to the problem.
△ Less
Submitted 19 March, 2019;
originally announced March 2019.
-
Toward a Nordhaus-Gaddum Inequality for the Number of Dominating Sets
Authors:
Lauren Keough,
David Shane
Abstract:
A dominating set in a graph $G$ is a set $S$ of vertices such that every vertex of $G$ is either in $S$ or is adjacent to a vertex in $S$. Nordhaus-Gaddum inequailties relate a graph $G$ to its complement $\bar{G}$. In this spirit Wagner proved that any graph $G$ on $n$ vertices satisfies $\partial(G)+\partial(\bar{G})\geq 2^n$ where $\partial(G)$ is the number of dominating sets in a graph $G$. I…
▽ More
A dominating set in a graph $G$ is a set $S$ of vertices such that every vertex of $G$ is either in $S$ or is adjacent to a vertex in $S$. Nordhaus-Gaddum inequailties relate a graph $G$ to its complement $\bar{G}$. In this spirit Wagner proved that any graph $G$ on $n$ vertices satisfies $\partial(G)+\partial(\bar{G})\geq 2^n$ where $\partial(G)$ is the number of dominating sets in a graph $G$. In the same paper he comments that an upper bound for $\partial(G)+\partial(\bar{G})$ among all graphs on $n$ vertices seems to be much more difficult. Here we prove an upper bound on $\partial(G)+\partial(\bar{G})$ and prove that any graph maximizing this sum has minimum degree at least $\lfloor n/2\rfloor-2$ and maximum degree at most $\lfloor n/2\rfloor+1$. We conjecture that the complete balanced bipartite graph maximizes $\partial(G)+\partial(\bar{G})$ and have verified this computationally for all graphs on at most $10$ vertices.
△ Less
Submitted 16 August, 2018;
originally announced August 2018.
-
A Note on the Maximum Rectilinear Crossing Number of Spiders
Authors:
Joshua Fallon,
Kirsten Hogenson,
Lauren Keough,
Mario Lomelí,
Marcus Schaefer,
Pablo Soberón
Abstract:
The maximum rectilinear crossing number of a graph $G$ is the maximum number of crossings in a good straight-line drawing of $G$ in the plane. In a good drawing any two edges intersect in at most one point (counting endpoints), no three edges have an interior point in common, and edges do not contain vertices in their interior. A spider is a subdivision of $K_{1,k}$. We provide both upper and lowe…
▽ More
The maximum rectilinear crossing number of a graph $G$ is the maximum number of crossings in a good straight-line drawing of $G$ in the plane. In a good drawing any two edges intersect in at most one point (counting endpoints), no three edges have an interior point in common, and edges do not contain vertices in their interior. A spider is a subdivision of $K_{1,k}$. We provide both upper and lower bounds for the maximum rectilinear crossing number of spiders. While there are not many results on the maximum rectilinear crossing numbers of infinite families of graphs, our methods can be used to find the exact maximum rectilinear crossing number of $K_{1,k}$ where each edge is subdivided exactly once. This is a first step towards calculating the maximum rectilinear crossing number of arbitrary trees.
△ Less
Submitted 20 August, 2021; v1 submitted 1 August, 2018;
originally announced August 2018.
-
$k$-Foldability of Words
Authors:
Beth Bjorkman,
Garner Cochran,
Wei Gao,
Lauren Keough,
Rachel Kirsch,
Mitch Phillipson,
Danny Rorabaugh,
Heather Smith,
Jennifer Wise
Abstract:
We extend results regarding a combinatorial model introduced by Black, Drellich, and Tymoczko (2017+) which generalizes the folding of the RNA molecule in biology. Consider a word on alphabet $\{A_1, \overline{A}_1, \ldots, A_m, \overline{A}_m\}$ in which $\overline{A}_i$ is called the complement of $A_i$. A word $w$ is foldable if can be wrapped around a rooted plane tree $T$, starting at the roo…
▽ More
We extend results regarding a combinatorial model introduced by Black, Drellich, and Tymoczko (2017+) which generalizes the folding of the RNA molecule in biology. Consider a word on alphabet $\{A_1, \overline{A}_1, \ldots, A_m, \overline{A}_m\}$ in which $\overline{A}_i$ is called the complement of $A_i$. A word $w$ is foldable if can be wrapped around a rooted plane tree $T$, starting at the root and working counterclockwise such that one letter labels each half edge and the two letters labeling the same edge are complements. The tree $T$ is called $w$-valid.
We define a bijection between edge-colored plane trees and words folded onto trees. This bijection is used to characterize and enumerate words for which there is only one valid tree. We follow up with a characterization of words for which there exist exactly two valid trees.
In addition, we examine the set $\mathcal{R}(n,m)$ consisting of all integers $k$ for which there exists a word of length $2n$ with exactly $k$ valid trees. Black, Drellich, and Tymoczko showed that for the $n$th Catalan number $C_n$, $\{C_n,C_{n-1}\}\subset \mathcal{R}(n,1)$ but $k\not\in\mathcal{R}(n,1)$ for $C_{n-1}<k<C_n$. We describe a superset of $\mathcal{R}(n,1)$ in terms of the Catalan numbers by which we establish more missing intervals. We also prove $\mathcal{R}(n,1)$ contains all non-negative integer less than $n+1$.
△ Less
Submitted 29 October, 2017;
originally announced October 2017.
-
Extremal Threshold Graphs for Matchings and Independent Sets
Authors:
L. Keough,
A. J. Radcliffe
Abstract:
Many extremal problems for graphs have threshold graphs as their extremal examples. For instance the current authors proved that for fixed $k\ge 1$, among all graphs on $n$ vertices with $m$ edges, some threshold graph has the fewest matchings of size $k$; indeed either the lex graph or the colex graph is such an extremal example. In this paper we consider the problem of maximizing the number of m…
▽ More
Many extremal problems for graphs have threshold graphs as their extremal examples. For instance the current authors proved that for fixed $k\ge 1$, among all graphs on $n$ vertices with $m$ edges, some threshold graph has the fewest matchings of size $k$; indeed either the lex graph or the colex graph is such an extremal example. In this paper we consider the problem of maximizing the number of matchings in the class of threshold graphs. We prove that the minimizers are what we call \emph{almost alternating threshold graphs}.
We also discuss a problem with a similar flavor: which threshold graph has the fewest independent sets. Here we are inspired by the result that among all graphs on $n$ vertices and $m$ edges the lex graph has the most independent sets.
△ Less
Submitted 29 September, 2017;
originally announced October 2017.
-
The Avalanche Polynomial of a Graph
Authors:
Demara Austin,
Megan Chambers,
Rebecca Funke,
Luis David García Puente,
Lauren Keough
Abstract:
The (univariate) avalanche polynomial of a graph, introduced by Cori, Dartois and Rossin in 2006, captures the distribution of the length of (principal) avalanches in the abelian sandpile model. This polynomial has been used to show that the avalanche distribution in the sandpile model on a multiple wheel graph does not follow the expected power law function. In this article, we introduce the (mul…
▽ More
The (univariate) avalanche polynomial of a graph, introduced by Cori, Dartois and Rossin in 2006, captures the distribution of the length of (principal) avalanches in the abelian sandpile model. This polynomial has been used to show that the avalanche distribution in the sandpile model on a multiple wheel graph does not follow the expected power law function. In this article, we introduce the (multivariate) avalanche polynomial that enumerates the toppling sequences of all principal avalanches. This polynomial generalizes the univariate avalanche polynomial and encodes more information. In particular, the avalanche polynomial of a tree uniquely identifies the underlying tree. In this paper, the avalanche polynomial is characterized for trees, cycles, wheels, and complete graphs.
△ Less
Submitted 12 May, 2016; v1 submitted 9 May, 2016;
originally announced May 2016.
-
Graphs with the Fewest Matchings
Authors:
L. Keough,
A. J. Radcliffe
Abstract:
In recent years there has been increased interest in extremal problems for "counting" parameters of graphs. For example, the Kahn-Zhao theorem gives an upper bound on the number of independent sets in a $d$-regular graph. In the same spirit, the Upper Matching Conjecture claims an upper bound on the number of $k$-matchings in a $d$-regular graph. Here we consider both matchings and matchings of fi…
▽ More
In recent years there has been increased interest in extremal problems for "counting" parameters of graphs. For example, the Kahn-Zhao theorem gives an upper bound on the number of independent sets in a $d$-regular graph. In the same spirit, the Upper Matching Conjecture claims an upper bound on the number of $k$-matchings in a $d$-regular graph. Here we consider both matchings and matchings of fixed sizes in graphs with a given number vertices and edges. We prove that the graph with the fewest matchings is either the lex or the colex graph. Similarly, for fixed $k$, the graph with the fewest $k$-matchings is either the lex or the colex graph. To prove these results we first prove that the lex bipartite graph has the fewest matchings of all sizes among bipartite graphs with fixed part sizes and a given number of edges.
△ Less
Submitted 7 October, 2013;
originally announced October 2013.