arXiv++ Combinatorics

In their 2010 article entitled ``How to invert $n$ cups $m$ at a time" in Mathematics Today, Man-Keung Siu and Ian Stewart extend a classic trick in which $3$ cups are flipped $2$ at a time to any number of cups, flipped any number at a time. Here, we generalize another feature of the problem. A typical cup in our universe, as far as we know, has two ``sides", right side up and upside down. But what if the cup had $k$ ``sides" with $k\ge 2$? We call these $k-$hypercups. The classic trick depends on parity. In this article, we show the analogous hypercups trick depends on greatest common divisors. We generalize all of Siu and Stewart's results to $k-$hypercups. Our results imply the known results for $2-$hypercups, also known as cups.

The distinguishing index gives a measure of symmetry in a graph. Given a graph $G$ with no $K_2$ component, a distinguishing edge coloring is a coloring of the edges of $G$ such that no non-trivial automorphism preserves the edge coloring. The distinguishing index, denoted $\operatorname{Dist^{\prime}}(G)$, is the smallest number of colors needed for a distinguishing edge coloring. The Mycielskian of a graph $G$, denoted $μ(G)$, is an extension of $G$ introduced by Mycielski in 1955. In 2020, Alikhani and Soltani conjectured a relationship between $operatorname{Dist^{\prime}}(G)$ and $operatorname{Dist^{\prime}}(μ(G))$. We prove that for all graphs $G$ with at least 3 vertices, no connected $K_2$ component, and at most one isolated vertex, $\operatorname{Dist^{\prime}}(μ(G)) \le \operatorname{Dist^{\prime}}(G)$, exceeding their conjecture. We also prove analogous results about generalized Mycielskian graphs. Together with the work in 2022 of Boutin, Cockburn, Keough, Loeb, Perry, and Rombach this completes the conjecture of Alikhani and Soltani.

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.

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.

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.

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)$.

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.

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.

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.

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.

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.

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.

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$.

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.