arXiv++ Combinatorics

The anti-van der Waerden number of a graph $G$ is the fewest number of colors needed to guarantee a rainbow $3$-term arithmetic progression in $G$, denoted $\operatorname{aw}(G,3)$. It is known that the anti-van der Waerden number of graph products is $3 \le \operatorname{aw}(G\square H,3)\le 4$. Previous work has been done on classifying families of graph products into $\operatorname{aw}(G\square H,3) = 3$ and $\operatorname{aw}(G\square H,3) = 4$. Some of these families include the product of two paths, the product of paths and cycles, the product of two cycles, and the product of odd cycles with any graph. Recently, a partial characterization of the product of two trees was established. This paper completes the characterization for $\operatorname{aw}(T\square T',3)$ where $T$ and $T'$ are trees. Moreover, this result extends to a full classification of products of forests.

Motivated by a conjecture from the automated conjecturing program TxGraffiti, in this paper the relationship between the zero forcing number, $Z(G)$, and the vertex independence number, $α(G)$, of cubic and subcubic graphs is explored. TxGraffiti conjectures that for all connected cubic graphs $G$, that are not $K_4$, $Z(G) \leq α(G) + 1$. This work uses decycling partitions of upper-embeddable graphs to show that almost all cubic graphs satisfy $Z(G) \leq α(G) + 2$, provides an infinite family of cubic graphs where $Z(G) = α(G) + 1$, and extends known bounds to subcubic graphs.

Given a graph $G$, an exact $r$-coloring of $G$ is a surjective function $c:V(G) \to [1,\dots,r]$. An arithmetic progression in $G$ of length $j$ with common difference $d$ is a set of vertices $\{v_1,\dots, v_j\}$ such that $dist(v_i,v_{i+1}) = d$ for $1\le i < j$. An arithmetic progression is rainbow if all of the vertices are colored distinctly. The fewest number of colors that guarantees a rainbow arithmetic progression of length three is called the anti-van der Waerden number of $G$ and is denoted $aw(G,3)$. It is known that $3 \le aw(G\square H,3) \le 4$. Here we determine exact values $aw(T\square T',3)$ for some trees $T$ and $T'$, determine $aw(G\square T,3)$ for some trees $T$, and determine $aw(G\square H,3)$ for some graphs $G$ and $H$.

Consider the set $[m]\times [n] = \{(i,j)\, : 1\le i \le m, 1\le j \le n\}$ and the equation $x_1+x_2 = x_3$, namely $eq$. The \emph{rainbow number of $[m] \times [n]$ for $eq$}, denoted $\text{rb}([m]\times [n],eq)$, is the smallest number of colors such that for every surjective $\text{rb}([m]\times[n], eq)$-coloring of $[m]\times [n]$ there must exist a solution to $eq$, with component-wise addition, where every element of the solution set is assigned a distinct color. This paper determines that $\text{rb}([m]\times [n], eq) = m+n+1$ for all values of $m$ and $n$ that a greater than or equal to $2$.

A $k$-term arithmetic progression ($k$-AP) in a graph $G$ is a list of vertices such that each consecutive pair of vertices is the same distance apart. If $c$ is a coloring function of the vertices of $G$ and a $k$-AP in $G$ has each vertex colored distinctly, then that $k$-AP is a rainbow $k$-AP. The anti-van der Waerden number of a graph $G$ with respect to $k$ is the least positive integer $r$ such that every surjective coloring with domain $V(G)$ and codomain $\{1,2,\dots,r\} = [r]$ is guaranteed to have a rainbow $k$-AP. This paper focuses on $3$-APs and graph products with cycles. Specifically, the anti-van der Waerden number with respect to $3$ is determined precisely for $P_m \square C_n$, $C_m\square C_n$ and $G\square C_{2n+1}$.

A leak is a vertex that is not allowed to perform a force during the zero forcing process. Leaky forcing was recently introduced as a new variation of zero forcing in order to analyze how leaks in a network disrupt the zero forcing process. The $\ell$-leaky forcing number of a graph is the size of the smallest zero forcing set that can force a graph despite $\ell$ leaks. A graph $G$ is $\ell$-resilient if its zero forcing number is the same as its $\ell$-leaky forcing number. In this paper, we analyze $\ell$-leaky forcing and show that if an $(\ell-1)$-leaky forcing set $B$ is robust enough, then $B$ is an $\ell$-leaky forcing set. This provides the framework for characterizing $\ell$-leaky forcing sets. Furthermore, we consider structural implications of $\ell$-resilient graphs. We apply these results to bound the $\ell$-leaky forcing number of several graph families including trees, supertriangles, and grid graphs. In particular, we resolve a question posed by Dillman and Kenter concerning the upper bound on the $1$-leaky forcing number of grid graphs.

An exact $r$-coloring of a set $S$ is a surjective function $c:S\to [r]$. The rainbow number of a set $S$ for equation $eq$ is the smallest integer $r$ such that every exact $r$-coloring of $S$ contains a rainbow solution to $eq$. In this paper, the rainbow number of $\Z_p$, for $p$ prime and the equation $a_1x_1 + a_2x_2 + a_3x_3 = b$ is determined. The rainbow number of $\Z_{n}$, for a natural number $n$, is determined under certain conditions.

Consider the set $\{1,2,\dots,n\} = [n]$ and an equation $eq$. The rainbow number of $[n]$ for $eq$, denoted $\operatorname{rb}([n],eq)$, is the smallest number of colors such that for every exact $\operatorname{rb}([n], eq)$-coloring of $[n]$, there exists a solution to $eq$ with every member of the solution set assigned a distinct color. This paper focuses on linear equations and, in particular, establishes the rainbow number for the equations $\sum_{i=1}^{k-1} x_i = x_k$ for $k=3$ and $k=4$. The paper also establishes a general lower bound for $k \ge 5$.

Zero forcing is a combinatorial game played on a graph where the goal is to start with all vertices unfilled and to change them to filled at minimal cost. In the original variation of the game there were two options. Namely, to fill any one single vertex at the cost of a single token; or if any currently filled vertex has a unique non-filled neighbor, then the neighbor is filled for free. This paper investigates a $q$-analogue of zero forcing which introduces a third option involving an oracle. Basic properties of this game are established including determining all graphs which have minimal cost $1$ or $2$ for all possible $q$, and finding the zero forcing number for all trees when $q=1$.

In this paper, anti-van der Waerden numbers on Cartesian products of graphs are investigated and a conjecture made by Schulte, et al (see arXiv:1802.01509) is answered. In particular, the anti-van der Waerden number of the Cartesian product of two graphs has an upper bound of four. This result is then used to determine the anti-van der Waerden number for any Cartesian product of two paths.

In this paper arithmetic progressions on the integers and the integers modulo n are extended to graphs. This allows for the definition of the anti-van der Waerden number of a graph. Much of the focus of this paper is on 3-term arithmetic progressions for which general bounds are obtained based on the radius and diameter of a graph. The general bounds are improved for trees and Cartesian products and exact values are determined for some classes of graphs. Larger k-term arithmetic progressions are considered and a connection between the Ramsey number of paths and the anti-van der Waerden number of graphs is established.

In this paper, we investigate the anti-Ramsey (more precisely, anti-van der Waerden) properties of arithmetic progressions. For positive integers $n$ and $k$, the expression $aw([n],k)$ denotes the smallest number of colors with which the integers $\{1,\ldots,n\}$ can be colored and still guarantee there is a rainbow arithmetic progression of length $k$. We establish that $aw([n],3)=Θ(\log n)$ and $aw([n],k)=n^{1-o(1)}$ for $k\geq 4$. For positive integers $n$ and $k$, the expression $aw(Z_n,k)$ denotes the smallest number of colors with which elements of the cyclic group of order $n$ can be colored and still guarantee there is a rainbow arithmetic progression of length $k$. In this setting, arithmetic progressions can "wrap around," and $aw(Z_n,3)$ behaves quite differently from $aw([n],3)$, depending on the divisibility of $n$. As shown in [Jungić et al., \textit{Combin. Probab. Comput.}, 2003], $aw(Z_{2^m},3) = 3$ for any positive integer $m$. We establish that $aw(Z_n,3)$ can be computed from knowledge of $aw(Z_p,3)$ for all of the prime factors $p$ of $n$. However, for $k\geq 4$, the behavior is similar to the previous case, that is, $aw(Z_n,k)=n^{1-o(1)}$.