arXiv++ Combinatorics

Graph burning is a discrete-time process on graphs where vertices are sequentially activated and burning vertices cause their neighbours to burn over time. In this work, we focus on a dynamic setting in which the graph grows over time, and at each step we burn vertices in the growing grid $G_n = [-f(n),f(n)]^2$. We investigate the set of achievable burning densities for functions of the form $f(n)=\lceil cn^α\rceil$, where $α\ge 1$ and $c>0$. We show that for $α=1$, the set of achievable densities is $[1/(2c^2),1]$, for $1<α<3/2$, every density in $[0,1]$ is achievable, and for $α=3/2$, the set of achievable densities is $[0,(1+\sqrt{6}c)^{-2}]$.

Given a graph $G$ and a target graph $H$, an $H$-coloring of $G$ is an adjacency-preserving vertex map from $G$ to $H$. The number of $H$-colorings of $G$, $\hom(G,H)$, has been studied for many classes of $G$ and $H$. In particular, extremal questions of maximizing and minimizing $\hom(G,H)$ have been considered when $H$ is a clique or $G$ is a tree. In this paper, we develop a new technique using automorphisms of $H$ to show that $\hom(T,H)$ is minimized by paths as $T$ varies over trees on a fixed number of vertices. We introduce the term Hoffman-London to refer to graphs that are minimal in this sense. In particular, we define an automorphic similarity matrix which is used to compute $\hom(T,H)$ and give matrix conditions under which $H$ is Hoffman-London. We then apply this technique to identify several families of graphs that are Hoffman-London, including loop threshold graphs and some with applications in statistical physics (e.g. the Widom-Rowlinson model). By combining our approach with a few other observations, we fully characterize the minimizing trees for all graphs $H$ on three or fewer vertices.

Given a graph $G$ and a target graph $H$, an $H$-coloring of $G$ is an adjacency-preserving vertex map from $G$ to $H$. By appropriate choice of $H$, these colorings can express, for instance, the independent sets or proper vertex colorings of $G$. Sidorenko proved that for any $H$, the $n$-vertex star admits at least as many $H$-colorings as any other $n$-vertex tree, but the minimization question remains open in general. For many graphs $H$, path graphs are among the trees with the fewest $H$-colorings, but work of Leontovich and subsequently Csikvári and Lin shows that there is a graph $E_7$ on seven vertices and a target graph $H$ for which there are strictly fewer $H$-colorings of $E_7$ than of the path on seven vertices. We introduce a new strategy for enumerating homomorphisms from path-like trees to highly symmetric target graphs that allows us to make the previous observations completely explicit and extend them to infinitely many $n$ beyond $n=7$. In particular, we exhibit a target graph $H$ with the property that for each sufficiently large $n$, there is a tree $E_n$ on $n$ vertices that admits strictly fewer $H$-colorings than the path on $n$ vertices.

We study the Localization game on locally finite graphs trees, where each of the countably many vertices have finite degree. In contrast to the finite case, we construct a locally finite tree with localization number $n$ for any choice of positive integer $n$. Our examples have uncountably many ends, and we show that this is necessary by proving that locally finite trees with finitely or countably many ends have localization number at most 2. Finally, as is the case for finite graphs, we prove that any locally finite graph contains a subdivision where one cop can capture the robber.

We study a variant of the Localization game in which the cops have limited visibility, along with the corresponding optimization parameter, the $k$-visibility localization number $ζ_k$, where $k$ is a non-negative integer. We give bounds on $k$-visibility localization numbers related to domination, maximum degree, and isoperimetric inequalities. For all $k$, we give a family of trees with unbounded $ζ_k$ values. Extending results known for the localization number, we show that for $k\geq 2$, every tree contains a subdivision with $ζ_k = 1$. For many $n$, we give the exact value of $ζ_k$ for the $n \times n$ Cartesian grid graphs, with the remaining cases being one of two values as long as $n$ is sufficiently large. These examples also illustrate that $ζ_i \neq ζ_j$ for all distinct choices of $i$ and $j.$

Generalized Turán problems ask for the maximum number of copies of a graph $H$ in an $n$-vertex, $F$-free graph, denoted by ex$(n,H,F)$. We show how to extend the new, localized approach of Bradač, Malec, and Tompkins to generalized Turán problems. We weight the copies of $H$ (typically taking $H=K_t$), instead of the edges, based on the size of the largest clique, path, or star containing the vertices of the copy of $H$, and in each case prove a tight upper bound on the sum of the weights. A consequence of our new localized theorems is an asymptotic determination of ex$(n,H,K_{1,r})$ for every $H$ having at least one dominating vertex and mex$(m,H,K_{1,r})$ for every $H$ having at least two dominating vertices.

We introduce a variant of the Localization game in which the cops only have visibility one, along with the corresponding optimization parameter, the one-visibility localization number $ζ_1$. By developing lower bounds using isoperimetric inequalities, we give upper and lower bounds for $ζ_1$ on $k$-ary trees with $k\ge 2$ that differ by a multiplicative constant, showing that the parameter is unbounded on $k$-ary trees. We provide a $O(\sqrt{n})$ bound for $K_h$-minor free graphs of order $n$, and we show Cartesian grids meet this bound by determining their one-visibility localization number up to four values. We present upper bounds on $ζ_1$ using pathwidth and the domination number and give upper bounds on trees via their depth and order. We conclude with open problems.

Graph burning is a discrete-time process that models the spread of influence in a network. Vertices are either burning or unburned, and in each round, a burning vertex causes all of its neighbours to become burning before a new fire source is chosen to become burning. We introduce a variation of this process that incorporates an adversarial game played on a nested, growing sequence of graphs. Two players, Arsonist and Builder, play in turns: Builder adds a certain number of new unburned vertices and edges incident to these to create a larger graph, then every vertex neighbouring a burning vertex becomes burning, and finally Arsonist `burns' a new fire source. This process repeats forever. Arsonist is said to win if the limiting fraction of burning vertices tends to 1, while Builder is said to win if this fraction is bounded away from 1. The central question of this paper is determining if, given that Builder adds $f(n)$ vertices at turn $n$, either Arsonist or Builder has a winning strategy. In the case that $f(n)$ is asymptotically polynomial, we give threshold results for which player has a winning strategy.

Let $H$ be a graph. We show that if $r$ is large enough as a function of $H$, then the $r$-partite Turán graph maximizes the number of copies of $H$ among all $K_{r+1}$-free graphs on a given number of vertices. This confirms a conjecture of Gerbner and Palmer.

The chromatic number of the random graph $\mathcal{G}(n,p)$ has long been studied and has inspired several landmark results. In the case where $p = d/n$, Achlioptas and Naor showed the chromatic number is asymptotically concentrated at $k_d$ or $k_d+1$, where $k_d$ is the smallest integer such that $d < 2k_d\log k_d$. Kemkes et al. later proved the same result holds for $\mathcal{G}(n,d)$, the random $d$-regular graph. We consider the oriented chromatic number of the directed models $\vec{\mathcal{G}}(n,p)$ and $\vec{\mathcal{G}}(n,d)$, improving the best known upper bound from $O(d^2 2^d)$ to $O(\sqrt{e}^d)$.

An $n$-lift of a graph $G$ is a graph from which there is an $n$-to-$1$ covering map onto $G$. Amit, Linial, and Matou\v sek (2002) raised the question of whether the chromatic number of a random $n$-lift of $K_5$ is concentrated on a single value. We consider this problem for $G=K_{d+1}$, and show that for fixed $d\ge 3$ the chromatic number of a random lift of $K_d$ is (asymptotically almost surely) either $k$ or $k+1$, where $k$ is the smallest integer satisfying $d < 2k \log k$. Moreover, we show that, for roughly half of the values of $d$, the chromatic number is concentrated on $k$. The argument for the upper-bound on the chromatic number uses the small subgraph conditioning method, and it can be extended to random $n$-lifts of $G$, for any fixed $d$-regular graph $G$.

The generalized Turán problem $ext(n,T,F)$ is to determine the maximal number of copies of a graph $T$ that can exist in an $F$-free graph on $n$ vertices. Recently, Gerbner and Palmer noted that the solution to the generalized Turán problem is often the original Turán graph. They gave the name "$F$-Turán-good" to graphs $T$ for which, for large enough $n$, the solution to the generalized Turán problem is realized by a Turán graph. They prove that the path graph on two edges, $P_2$, is $K_{r+1}$-Turán-good for all $r \ge 3$, but they conjecture that the same result should hold for all $P_\ell$. In this paper, using arguments based in flag algebras, we prove that the path on three edges, $P_3$, is also $K_{r+1}$-Turán-good for all $r \ge 3$.

The classic extremal problem is that of computing the maximum number of edges in an $F$-free graph. In the case where $F=K_{r+1}$, the extremal number was determined by Turán. Later results, known as supersaturation theorems, proved that in a graph containing more edges than the extremal number, there must also be many copies of $K_{r+1}$. Alon and Shikhelman introduced a broader class of problems asking for the maximum number of copies of a graph $T$ in an $F$-free graph. In this paper, we determine some of these generalized extremal numbers and prove supersaturation results for them.