arXiv++ Combinatorics

Martinsson and Steiner recently proved that the fractional chromatic number of any $d$-degenerate triangle-free graph $G$ satisfies $χ_f(G) = O\left(\frac{d}{\log d}\right)$. They further conjectured a sharp leading constant $1 + o(1)$. In this paper, we confirm their upper bound conjecture for graphs having girth at least $5$. Our proof is constructive: it gives an efficient randomized algorithm that, with high probability, computes a fractional coloring of weight at most $(1 + o(1))\frac{d}{\log d}$ in such graphs. Furthermore, we establish their conjectured lower bound in a stronger form: for any constant $g \ge 4$, there exist $d$-degenerate graphs having girth at least $g$ with $χ_f(G) \ge (1 - o(1))\frac{d}{\log d}$. This lower bound is achieved by analyzing a random graph based on the uniform attachment model. Notably, our results reveal that this model lacks the typical computational complexity barriers found in Erdős-Rényi graphs, where there is a conjectured factor-$2$ algorithmic gap for this problem.

An oriented graph $\vec{H}$ is said to be tournament anti-Sidorenko if the homomorphism density of $\vec{H}$ in any tournament $\vec{T}$ is bounded above by the homomorphism density of $\vec{H}$ in a large uniformly random tournament. We prove the following: (1) Every oriented path with at least three arcs and exactly one non-leaf source or sink vertex is tournament anti-Sidorenko. (2) An oriented path is tournament anti-Sidorenko if the distance between any leaf vertex and any source or sink vertex is at least two and the distance between any pair of non-leaf source or sink vertices is a multiple of four. (3) Every spider with exactly three legs admits a tournament anti-Sidorenko orientation. The first result proves a conjecture posed by He, Mani, Nie, Tung and Wei. The third resolves a problem from the same paper, in fact establishing a substantially more general statement, and provides evidence in support of a conjecture of Fox, Himwich, Mani and Zhou. The second yields the first family of tournament anti-Sidorenko oriented paths which is exponentially large with respect to the number of arcs.

In this short note, we use flag algebras to prove that the number of colour alternating 6-cycles in a red/blue colouring of a large clique is asymptotically maximized by a uniformly random colouring. This settles the first open case of a problem of Basit, Granet, Horsley, Kündgen and Staden.

We prove that if $G$ is an $n$-vertex graph whose edges are coloured with red and blue, then the number of colour-alternating walks of length $2k+1$ with $k+1$ red edges and $k$ blue edges is at most $k^k(k+1)^{k+1}(2k+1)^{-2k-1}n^{2k+2}$. This solves a problem that was recently posed by Basit, Granet, Horsley, Kündgen and Staden. Our proof involves an application of the entropy method.

A tournament $H$ is said to force quasirandomness if it has the property that a sequence $(T_n)_{n\in \mathbb{N}}$ of tournaments of increasing orders is quasirandom if and only if the homomorphism density of $H$ in $T_n$ tends to $(1/2)^{\binom{v(H)}{2}}$ as $n\to\infty$. It was recently shown that there is only one non-transitive tournament with this property. This is in contrast to the analogous problem for graphs, where there are numerous graphs that are known to force quasirandomness and the well known Forcing Conjecture suggests that there are many more. To obtain a richer family of characterizations of quasirandomness in tournaments, we propose a variant in which the tournaments $(T_n)_{n\in \mathbb{N}}$ are assumed to be "nearly regular." We characterize the tournaments on at most 5 vertices which force quasirandomness under this stronger assumption.

A combinatorial object is said to be quasirandom if it exhibits certain properties that are typically seen in a truly random object of the same kind. It is known that a permutation is quasirandom if and only if the pattern density of each of the twenty-four 4-point permutations is close to 1/24, which is its expected value in a random permutation. In other words, the set of all twenty-four 4-point permutations is quasirandom-forcing. Moreover, it is known that there exist sets of eight 4-point permutations that are also quasirandom-forcing. Breaking the barrier of linear dependency of perturbation gradients, we show that every quasirandom-forcing set of 4-point permutations must have cardinality at least five.

For any fixed $d\geq1$ and subset $X$ of $\mathbb{N}^d$, let $r_X(n)$ be the maximum cardinality of a subset $A$ of $\{1,\dots,n\}^d$ which does not contain a subset of the form $\vec{b} + rX$ for $r>0$ and $\vec{b} \in \mathbb{R}^d$. Such a set $A$ is said to be \emph{$X$-free}. The Multidimensional Szemerédi Theorem of Furstenberg and Katznelson states that $r_X(n)=o(n^d)$. We show that, for $|X|\geq 3$ and infinitely many $n\in\mathbb{N}$, the number of $X$-free subsets of $\{1,\dots,n\}^d$ is at most $2^{O(r_X(n))}$. The proof involves using a known multidimensional extension of Behrend's construction to obtain a supersaturation theorem for copies of $X$ in dense subsets of $[n]^d$ for infinitely many values of $n$ and then applying the powerful hypergraph container lemma. Our result generalizes work of Balogh, Liu, and Sharifzadeh on $k$-AP-free sets and Kim on corner-free sets.

The \emph{Ramsey multiplicity constant} of a graph $H$ is the limit as $n$ tends to infinity of the minimum density of monochromatic labeled copies of $H$ in a $2$-edge colouring of $K_n$. Fox and Wigderson recently identified a large family of graphs whose Ramsey multiplicity constants are attained by sequences of ``Turán colourings''; i.e. colourings in which one of the colour classes forms the edge set of a balanced complete multipartite graph. Each graph in their family comes from taking a connected non-3-colourable graph with a critical edge and adding many pendant edges. We extend their result to an off-diagonal variant of the Ramsey multiplicity constant which involves minimizing a weighted sum of red copies of one graph and blue copies of another.

A graph $H$ is common if the limit as $n\to\infty$ of the minimum density of monochromatic labelled copies of $H$ in an edge colouring of $K_n$ with red and blue is attained by a sequence of quasirandom colourings. We apply an information-theoretic approach to show that certain graphs obtained from odd cycles and paths via gluing operations are common. In fact, for every pair $(H_1,H_2)$ of such graphs, there exists $p\in(0,1)$ such that an appropriate linear combination of red copies of $H_1$ and blue copies of $H_2$ is minimized by a quasirandom colouring in which $p\binom{n}{2}$ edges are red; such a pair $(H_1,H_2)$ is said to be $(p,1-p)$-common. Our approach exploits a strengthening of the common graph property for odd cycles that was recently proved using Schur convexity. We also exhibit a $(p,1-p)$-common pair $(H_1,H_2)$ such that $H_2$ is uncommon.

The Ramsey multiplicity problem asks for the minimum asymptotic density of monochromatic labelled copies of a graph $H$ in a red/blue colouring of the edges of $K_n$. We introduce an off-diagonal generalization in which the goal is to minimize a certain weighted sum of the densities of red copies of one graph and blue copies of another. We build up various properties of this new notion, including a useful "dual formulation," and use these results to solve the problem for several pairs of graphs.

Given two non-empty graphs $H$ and $T$, write $H\succcurlyeq T$ to mean that $t(H,G)^{|E(T)|}\geq t(T,G)^{|E(H)|}$ for every graph $G$, where $t(\cdot,\cdot)$ is the homomorphism density function. We obtain various necessary and sufficient conditions for two trees $H$ and $T$ to satisfy $H\succcurlyeq T$ and determine all such pairs on at most 8 vertices. This extends results of Leontovich and Sidorenko from the 1980s and 90s. Our approach applies an information-theoretic technique to reduce the problem of showing that $H\succcurlyeq T$ for two forests $H$ and $T$ to solving a linear program of Kopparty and Rossman. We also characterize trees $H$ which satisfy $H\succcurlyeq S_k$ or $H\succcurlyeq P_4$, where $S_k$ is the $k$-vertex star and $P_4$ is the $4$-vertex path and resolve a problem of Csikvári and Lin.

A graph $H$ is said to be common if the number of monochromatic labelled copies of $H$ in a $2$-colouring of the edges of a large complete graph is asymptotically minimized by a random colouring. It is well known that the disjoint union of two common graphs may be uncommon; e.g., $K_2$ and $K_3$ are common, but their disjoint union is not. We investigate the commonality of disjoint unions of multiple copies of $K_3$ and $K_2$. As a consequence of our results, we obtain an example of a pair of uncommon graphs whose disjoint union is common. Our approach is to reduce the problem of showing that certain disconnected graphs are common to a constrained optimization problem in which the constraints are derived from supersaturation bounds related to Razborov's Triangle Density Theorem. We also improve bounds on the Ramsey multiplicity constant of a triangle with a pendant edge and the disjoint union of $K_3$ and $K_2$.

A sequence $π_1,π_2,\dots$ of permutations is said to be "quasirandom" if the induced density of every permutation $σ$ in $π_n$ converges to $1/|σ|!$ as $n\to\infty$. We prove that $π_1,π_2,\dots$ is quasirandom if and only if the density of each permutation $σ$ in the set $$\{123,321,2143,3412,2413,3142\}$$ converges to $1/|σ|!$. Previously, the smallest cardinality of a set with this property, called a "quasirandom-forcing" set, was known to be between four and eight. In fact, we show that there is a single linear expression of the densities of the six permutations in this set which forces quasirandomness and show that this is best possible in the sense that there is no shorter linear expression of permutation densities with positive coefficients with this property. In the language of theoretical statistics, this expression provides a new nonparametric independence test for bivariate continuous distributions related to Spearman's $ρ$.

For $r\geq1$, the $r$-neighbour bootstrap process in a graph $G$ starts with a set of infected vertices and, in each time step, every vertex with at least $r$ infected neighbours becomes infected. The initial infection percolates if every vertex of $G$ is eventually infected. We exactly determine the minimum cardinality of a set that percolates for the $3$-neighbour bootstrap process when $G$ is a $3$-dimensional grid with minimum side-length at least $11$. We also characterize the integers $a$ and $b$ for which there is a set of cardinality $\frac{ab+a+b}{3}$ that percolates for the $3$-neighbour bootstrap process in the $a\times b$ grid; this solves a problem raised by Benevides, Bermond, Lesfari and Nisse [HAL Research Report 03161419v4, 2021].

A graph $H$ is said to be common if the number of monochromatic labelled copies of $H$ in a red/blue edge colouring of a large complete graph is asymptotically minimized by a random colouring with an equal proportion of each colour. We extend this notion to an asymmetric setting. That is, we define a pair $(H_1,H_2)$ of graphs to be $(p,1-p)$-common if a particular linear combination of the density of $H_1$ in red and $H_2$ in blue is asymptotically minimized by a random colouring in which each edge is coloured red with probability $p$ and blue with probability $1-p$. We extend many of the results on common graphs to this asymmetric setting. In addition, we obtain several novel results for common pairs of graphs with no natural analogue in the symmetric setting. We also obtain new examples of common graphs in the classical sense and propose several open problems.

Given $r\geq2$ and an $r$-uniform hypergraph $F$, the $F$-bootstrap process starts with an $r$-uniform hypergraph $H$ and, in each time step, every hyperedge which "completes" a copy of $F$ is added to $H$. The maximum running time of this process has been recently studied in the case that $r=2$ and $F$ is a complete graph by Bollobás, Przykucki, Riordan and Sahasrabudhe [Electron. J. Combin. 24(2) (2017), Paper No. 2.16], Matzke [arXiv:1510.06156v2] and Balogh, Kronenberg, Pokrovskiy and Szabó [arXiv:1907.04559v1]. We consider the case that $r\geq3$ and $F$ is the complete $r$-uniform hypergraph on $k$ vertices. Our main results are that the maximum running time is $Θ\left(n^r\right)$ if $k\geq r+2$ and $Ω\left(n^{r-1}\right)$ if $k=r+1$. For the case $k=r+1$, we conjecture that our lower bound is optimal up to a constant factor when $r=3$, but suspect that it can be improved by more than a constant factor for large $r$.

Tarski's Circle Squaring Problem from 1925 asks whether it is possible to partition a disk in the plane into finitely many pieces and reassemble them via isometries to yield a partition of a square of the same area. It was finally resolved by Laczkovich in 1990 in the affirmative. Recently, several new proofs have emerged which achieve circle squaring with better structured pieces: namely, pieces which are Lebesgue measurable and have the property of Baire (Grabowski-Máthé-Pikhurko) or even are Borel (Marks-Unger). In this paper, we show that circle squaring is possible with Borel pieces of positive Lebesgue measure whose boundaries have upper Minkowski dimension less than 2 (in particular, each piece is Jordan measurable). We also improve the Borel complexity of the pieces: namely, we show that each piece can be taken to be a Boolean combination of $F_σ$ sets. This is a consequence of our more general result that applies to any two bounded subsets of $R^k$, $k\ge 1$, of equal positive measure whose boundaries have upper Minkowski dimension smaller than $k$.

For a graph $H$, the $H$-recolouring problem $\operatorname{Recol}(H)$ asks, for two given homomorphisms from a given graph $G$ to $H$, if one can get between them by a sequence of homomorphisms of $G$ to $H$ in which consecutive homomorphisms differ on only one vertex. We show that, if $G$ and $H$ are reflexive and $H$ is triangle-free, then this problem can be solved in polynomial time. This shows, at the same time, that the closely related $H$-reconfiguration problem $\operatorname{Recon}(H)$ of deciding whether two given homomorphisms from a given graph $G$ to $H$ are in the same component of the Hom-graph $\operatorname{Hom}(G,H)$, can be solved in polynomial time for triangle-free reflexive graphs $H$.

A permutation is layered if it contains neither 231 nor 312 as a pattern. It is known that, if $σ$ is a layered permutation, then the density of $σ$ in a permutation of order $n$ is maximized by a layered permutation. Albert, Atkinson, Handley, Holton and Stromquist [Electron. J. Combin. 9 (2002), R#5] claimed that the density of a layered permutation with layers of sizes $(a,1,b)$ where $a,b\geq2$ is asymptotically maximized by layered permutations with a bounded number of layers, and conjectured that the same holds if a layered permutation has no consecutive layers of size one and its first and last layers are of size at least two. We show that, if $σ$ is a layered permutation whose first layer is sufficiently large and second layer is of size one, then the number of layers tends to infinity in every sequence of layered permutations asymptotically maximizing the density of $σ$. This disproves the conjecture and the claim of Albert et al. We complement this result by giving sufficient conditions on a layered permutation to have asymptotic or exact maximizers with a bounded number of layers.

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 [Combinatorica 16 (1996), 123-141]. 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.