arXiv++ Combinatorics

For every fixed integer $t \geq 2$, we give an upper bound on the multicolor vector space Ramsey number $R_2(t; k)$ that is a tower function of height independent of $k$. For $t \geq 3$, this is the first bound of its form, significantly improving upon the earlier bounds that are towers of height linear in $k$. We achieve this by reducing the problem to a classical hypergraph Ramsey problem via binary simplex codes. In particular, we prove that $$R_2(t; k) \leq \left\lceil \log R(K_s^{(r)}; k + 1) \right\rceil \leq \mathrm{twr}_{r-1}(c k\log k),$$ for $r = 2^{t - 1}$ and $s = 2^t - 1$, where $R(K_{s}^{(r)}; k + 1)$ is the classical $(k + 1)$-color Ramsey number for the complete $r$-uniform hypergraph on $s$ vertices. This improvement also translates into an improved lower bound on the chromatic number of the binary projective space with respect to $(t - 1)$-flats. For $t = 2$, it recovers the connection with multicolor Ramsey numbers for triangles.

Hons, Klimošová, Kucheriya, Mikšaník, Tkadlec, and Tyomkyn proved that, for every integer $\ell \ge 1$, every directed graph with minimum out-degree at least $3.23 \cdot \ell$ contains a $(2,\ell)$-spider (a $1$-subdivision of the in-star with $\ell$ leaves) as a subgraph. They also conjectured that the bound on the minimum out-degree can be further improved to $2 \ell$. In this note, we confirm their conjecture by showing that every directed graph with minimum out-degree at least $2\ell$ contains a $(2, \ell)$-spider as a subgraph. This result is best possible, as the complete directed graph with $2\ell$ vertices does not contain a $(2,\ell)$-spider.

We ask the question, which oriented trees $T$ must be contained as subgraphs in every finite directed graph of sufficiently large minimum out-degree. We formulate the following simple condition: all vertices in $T$ of in-degree at least $2$ must be on the same 'level' in the natural height function of $T$. We prove this condition to be necessary and conjecture it to be sufficient. In support of our conjecture, we prove it for a fairly general class of trees. An essential tool in the latter proof, and a question interesting in its own right, is finding large subdivided in-stars in a directed graph of large minimum out-degree. We conjecture that any digraph and oriented graph of minimum out-degree at least $k\ell$ and $k\ell/2$, respectively, contains the $(k-1)$-subdivision of the in-star with $\ell$ leaves as a subgraph; this would be tight and generalizes a conjecture of Thomassé. We prove this for digraphs and $k=2$ up to a factor of less than $2$.

In 2020, Coregliano and Razborov introduced a general framework to study limits of combinatorial objects, using logic and model theory. They introduced the abstract chromatic number and proved/reproved multiple Erdős-Stone-Simonovits-type theorems in different settings. In 2022, Coregliano extended this by showing that similar results hold when we count copies of $K_t$ instead of edges. Our aim is threefold. First, we provide a purely combinatorial approach. Second, we extend their results by showing several other graph parameters and other settings where Erdős-Stone-Simonovits-type theorems follow. Third, we go beyond determining asymptotics and obtain corresponding stability, supersaturation, and sometimes even exact results.

Given a graph $G$, we say that an orientation $D$ of $G$ is a KT orientation if, for all $u, v \in V(D)$, there is at most one directed path (in any direction) between $u$ and $v$. Graphs that admit such orientations have been used by Kierstead and Trotter (1992), Carbonero, Hompe, Moore, and Spirkl (2023), Briański, Davies, and Walczak (2024), and Girão, Illingworth, Powierski, Savery, Scott, Tamitegami, and Tan (2024) to construct graphs with large chromatic number and small clique number that served as counterexamples to various conjectures. Motivated by this, we consider which graphs admit KT orientations (named after Kierstead and Trotter). In particular, we construct a graph family with small independence number (sublinear in the number of vertices) which admits a KT orientation. We show that the problem of determining whether a given graph admits a KT orientation is NP-complete, even if we restrict ourselves to planar graphs. Finally, we provide an algorithm to decide if a graph with maximum degree at most 3 admits a KT orientation, whereas, for graphs with maximum degree 4, the problem remains NP-complete.

The systematic study of Turán-type extremal problems for edge-ordered graphs was initiated by Gerbner et al. in 2020. Here we characterize connected edge-ordered graphs with linear extremal functions and show that the extremal function of other connected edge-ordered graphs is $Ω(n\log n)$. This characterization and dichotomy are similar in spirit to results of Füredi et al. (2020) about vertex-ordered and convex geometric graphs. We also extend the study of extremal function of short edge-ordered paths by Gerbner et al. to some longer paths.

The systematic study of Turán-type extremal problems for edge-ordered graphs was initiated by Gerbner et al. arXiv:2001.00849. They conjectured that the extremal functions of edge-ordered forests of order chromatic number 2 are $n^{1+o(1)}$. Here we resolve this conjecture proving the stronger upper bound of $n2^{O(\sqrt{\log n})}$. This represents a gap in the family of possible extremal functions as other forbidden edge-ordered graphs have extremal functions $Ω(n^c)$ for some $c>1$. However, our result is probably not the last word: here we conjecture that the even stronger upper bound of $n\log^{O(1)}n$ also holds for the same set of extremal functions.