Georgia Institute of Technology School of Mathematics | Georgia Institute of Technology | Atlanta, GA

A graph $H$ is $k$-common if the number of monochromatic copies of $H$ in a $k$-edge-coloring of $K_n$ is asymptotically minimized by a random coloring. For every $k$, we construct a connected non-bipartite $k$-common graph. This resolves a problem raised by Jagger, Stovicek and Thomason. We also show that a graph $H$ is $k$-common for every $k$ if and only if $H$ is Sidorenko and that $H$ is locally $k$-common for every $k$ if and only if H is locally Sidorenko.

This talk will survey recent results that describe graphs as subgraphs of products of simpler graphs. The starting point is the following theorem: every planar graph is a subgraph of the strong product of some treewidth 7 graph and a path. This result has been the key to solving several open problems, for example, regarding the queue-number and nonrepetitive chromatic number of planar graphs. The result generalises to provide a universal graph for planar graphs. In particular, if $T^7$ is the universal treewidth 7 graph (which is explicitly defined), then every countable planar graph is a subgraph of the strong product of $T^7$ and the infinite 1-way path. This result generalises in various ways for many sparse graph classes: graphs embeddable on a fixed surface, graphs excluding a fixed minor, map graphs, etc. For example, we prove that for every fixed graph $X$, there is an explicitly defined countable graph $G$ that contains every countable $X$-minor-free graph as a subgraph, and $G$ has several desirable properties such as every $n$-vertex subgraph of $G$ has a $O(\sqrt{n})$-separator. On the other hand, as a lower bound we strengthen a theorem of Pach (1981) by showing that if a countable graph $G$ contains every countable planar graph, then $G$ must contain an infinite complete graph as a minor. 

A conjecture by Alon, Krivelevich, and Sudakov in 1999 states that for any graph $H$, there is a constant $c_H > 0$ such that if $G$ is $H$-free of maximum degree $\Delta$, then $\chi(G) \leq c_H \Delta / \log\Delta$. It follows from work by Davies et al. in 2020 that this conjecture holds for $H$ bipartite (specifically $H = K_{t, t}$), with the constant $c_H = (t+o(1))$. We improve this constant to $1 + o(1)$ so it does not depend on $H$, and extend our result to the DP-coloring (also known as correspondence coloring) case introduced by Dvořák and Postle. That is, we show for every bipartite graph $B$, if $G$ is $B$-free with maximum degree $\Delta$, then $\chi_{DP}(G) \leq (1+o(1))\Delta/\log(\Delta)$.

This is joint work with Anton Bernshteyn and Abhishek Dhawan.

A hereditary graph property is a class of finite graphs closed under isomorphism and induced subgraphs. Given a hereditary graph property H, the speed of H is the function which sends an integer n to the number of distinct elements in H with underlying set {1,...,n}. Not just any function can occur as the speed of hereditary graph property. Specifically, there are discrete "jumps" in the possible speeds. Study of these jumps began with work of Scheinerman and Zito in the 90's, and culminated in a series of papers from the 2000's by Balogh, Bollobás, and Weinreich, in which essentially all possible speeds of a hereditary graph property were characterized. In contrast to this, many aspects of this problem in the hypergraph setting remained unknown. In this talk we present new hypergraph analogues of many of the jumps from the graph setting, specifically those involving the polynomial, exponential, and factorial speeds. The jumps in the factorial range turned out to have surprising connections to the model theoretic notion of mutual algebricity, which we also discuss. This is joint work with Chris Laskowski.