arXiv++ Combinatorics

The Maker Breaker Triangle Game involves two players, Maker and Breaker, who alternately claim 1 and $q$ edges of $K_n$, respectively. Maker's goal is to claim all three edges of any triangle, whereas Breaker's goal is to prevent this. The threshold bias, i.e. the minimum $q$ such that Breaker wins, is known to lie between $\big\lceil\sqrt{2n-2}-\frac{3}{2}\big\rceil$ and $\big(\sqrt{8/3}+o(1)\big)\sqrt{n}$. Determining its exact value is a longstanding open problem. In this paper, we introduce a novel version of the game in which Breaker may claim fewer than $q$ edges per round to build up a budget that he can spend in later rounds. With this additional power for Breaker, we determine the threshold bias to be precisely $\big\lceil\sqrt{2n-2}-\frac{3}{2}\big\rceil$ for all $n$, matching the known lower bound. This is the first version of the Maker Breaker Triangle Game for which the exact threshold bias is known. Even if Breaker is not allowed to use the budget for threats, we prove that the threshold bias is still $\big(\sqrt{2}+o(1)\big)\sqrt{n}$. Furthermore, we study the budget version of other Maker Breaker Games. Specifically, for the $K_4$-Game, we prove the first explicit lower and upper bounds on the threshold bias in both the original and the budget version of the game.

A word over an alphabet $\mathbb A$ contains a square if it has a subword of the form $XX$ where $X$ is a word. A word $W$ is \emph{extremal square-free} if it does not contain a square, but it contains a square as soon as any letter of $\mathbb A$ is inserted at any position of $W$. Grytczuk, Kordulewski, and Niewiadomski conjectured that there are no extremal square-free words over alphabets of size at least 4. We prove this for alphabets of size at least 5. Our proof also implies that the sequence of \emph{nonchalant words} defined by Grytczuk, Kordulewski, and Niewiadomski is infinite and converges to an infinite word for all alphabets of size at least 5.

For every fixed dimension $d$ and sufficiently large $n$, we determine the maximum possible diameter of a strongly connected $d$-dimensional simplicial complex on $n$ vertices. This improves on a sequence of previous results and settles a problem of Santos from 2013. On the way, as a special case, we also characterise the existence of an extra-tight Euler tour in the complete $d$-uniform hypergraph on $n$ vertices.

We study minimum vertex-degree conditions in 3-uniform hypergraphs for (tight) spanning components and (combinatorial) surfaces. Our main results show that a 3-uniform hypergraph $G$ on $n$ vertices contains a spanning component if $δ_1(G) \gtrsim \tfrac{1}{2} \binom{n}{2}$ and a spanning copy of any surface if $δ_1(G) \gtrsim \tfrac{5}{9} \binom{n}{2}$, which in both cases is asymptotically optimal. This extends the work of Georgakopoulos, Haslegrave, Montgomery, and Narayanan who determined the corresponding minimum codegree conditions in this setting.

We study a problem of Santos about the largest possible diameter of a $d$-dimensional (abstract) simplicial complex on $n$ vertices. For dimension 2, we determine the exact value of the maximum for every $n$ using an explicit construction. We also come across a tantalizing open problem about the packing of squares of Hamilton cycles in the complete graph and obtain an infinite sequence of tight explicit constructions.

For a given graph $G=(V,E)$, we define its \emph{$n$th subdivision} as the graph obtained from $G$ by replacing every edge by a path of length $n$. We also define the \emph{$m$th power} of $G$ as the graph on vertex set $V$ where we connect every pair of vertices at distance at most $m$ in $G$. In this paper, we study the chromatic number of powers of subdivisions of graphs and resolve the case $m=n$ asymptotically. In particular, our result confirms a conjecture of Mozafari-Nia and Iradmusa in the case $m=n=3$ in a strong sense.