A simple k-coloring of a multigraph G is a decomposition of the edge multiset as a disjoint sum of k simple graphs which are referred to as colors. A subgraph H of a multigraph G is called multicolored if its edges receive distinct colors in a given simple k-coloring of G. In 2004, Keevash–Saks–Sudakov–Verstraëte introduced the k-color Turán number ${\text {ex}}_k(n,H)$, which denotes the maximum number of edges in an n-vertex multigraph that has a simple k-coloring containing no multicolored copies of H. They made a conjecture for any $r\geq 3$ and r-color-critical graph $H,$ that in the range of $k\geq \frac {r-1}{r-2}(e(H)-1)$, if n is sufficiently large, then ${\text {ex}}_k(n, H)$ is achieved by the multigraph consisting of k colors all of which are identical copies of the Turán graph $T_{r-1}(n)$. In this article, we show that this holds in the range of $k\geq 2\frac {r-1}{r}(e(H)-1)$, significantly improving earlier results. Our proof combines the stability argument of Chakraborti–Kim–Lee–Liu–Seo with a novel graph packing technique for embedding multigraphs.

We derive large- and moderate-deviation results in random networks given as planar directed navigations on homogeneous Poisson point processes. In this non-Markovian routing scheme, starting from the origin, at each consecutive step a Poisson point is joined by an edge to its nearest Poisson point to the right within a cone. We establish precise exponential rates of decay for the probability that the vertical displacement of the random path is unexpectedly large. The proofs rest on controlling the dependencies of the individual steps and the randomness in the horizontal displacement as well as renewal-process arguments.

We consider the random series–parallel graph introduced by Hambly and Jordan (2004 Adv. Appl. Probab. 36, 824–838), which is a hierarchical graph with a parameter $p\in [0, \, 1]$. The graph is built recursively: at each step, every edge in the graph is either replaced with probability p by a series of two edges, or with probability $1-p$ by two parallel edges, and the replacements are independent of each other and of everything up to then. At the nth step of the recursive procedure, the distance between the extremal points on the graph is denoted by $D_n (p)$. It is known that $D_n(p)$ possesses a phase transition at $p=p_c \;:\!=\;\frac{1}{2}$; more precisely, $\frac{1}{n}\log {{\mathbb{E}}}[D_n(p)] \to \alpha(p)$ when $n \to \infty$, with $\alpha(p) >0$ for $p>p_c$ and $\alpha(p)=0$ for $p\le p_c$. We study the exponent $\alpha(p)$ in the slightly supercritical regime $p=p_c+\varepsilon$. Our main result says that as $\varepsilon\to 0^+$, $\alpha(p_c+\varepsilon)$ behaves like $\sqrt{\zeta(2) \, \varepsilon}$, where $\zeta(2) \;:\!=\; \frac{\pi^2}{6}$.

Asymptotic dimension and Assouad–Nagata dimension are measures of the large-scale shape of a class of graphs. Bonamy, Bousquet, Esperet, Groenland, Liu, Pirot, and Scott [J. Eur. Math. Society] showed that any proper minor-closed class has asymptotic dimension 2, dropping to 1 only if the treewidth is bounded. We improve this result by showing it also holds for the stricter Assouad–Nagata dimension. We also characterise when subdivision-closed classes of graphs have bounded Assouad–Nagata dimension.

Given two graphs G and H, the Ramsey number $R(G,H)$ is the smallest positive integer N such that every graph of order N contains G or its complement contains H as a subgraph. Let $C_n$ denote the cycle on n vertices and let $tW_{2m+1}$ denote the disjoint union of t copies of the $(2m+2)$-vertex wheel $W_{2m+1}$. We show that for integers $m\ge 1$, $t\ge 2$ and $n\ge (6m+3)t-6m+999$,

$$ \begin{align*} R(C_n, tW_{2m+1})=3n+t-3. \end{align*} $$

This result extends several previous results and settles a conjecture posed by Sudarsana [‘A note on the Ramsey number for cycle with respect to multiple copies of wheels’, Electron. J. Graph Theory Appl. 9(2) (2021), 561–566].

The Chan–Robbins–Yuen polytope ($CRY_n$) of order n is a face of the Birkhoff polytope of doubly stochastic matrices that is also a flow polytope of the directed complete graph $K_{n+1}$ with netflow $(1,0,0, \ldots , 0, -1)$. The volume and lattice points of this polytope have been actively studied; however, its face structure has received less attention. We give generating functions and explicit formulas for computing the f-vector by using Hille’s (2003) result bijecting faces of a flow polytope to certain graphs, as well as Andresen–Kjeldsen’s (1976) result that enumerates certain subgraphs of the directed complete graph. We extend our results to flow polytopes of the complete graph having arbitrary (non-negative) netflow vectors and recover the f-vector of the Tesler polytope of Mészáros–Morales–Rhoades (2017).

Asymptotic properties of random graph sequences, like the occurrence of a giant component or full connectivity in Erdös–Rényi graphs, are usually derived with very specific choices for the defining parameters. The question arises as to what extent those parameter choices may be perturbed without losing the asymptotic property. For two sequences of graph distributions, asymptotic equivalence (convergence in total variation) and contiguity have been considered by Janson (2010) and others; here we use so-called remote contiguity to show that connectivity properties are preserved in more heavily perturbed Erdös–Rényi graphs. The techniques we demonstrate here with random graphs also extend to general asymptotic properties, e.g. in more complex large-graph limits, scaling limits, large-sample limits, etc.

La façon la plus simple de faire d’un graphe fini connexe G un système dynamique est de lui donner une polarisation, c’est-à-dire un ordre cyclique des arêtes incidentes à chaque sommet. L’espace de phase $\mathcal {P}(G)$ d’un graphe consiste en toutes les paires $(v,e)$ où v est un sommet et e une arête incidente à v. Elle donne donc la position et le vecteur initiaux. Une telle condition est équivalente à une arête que l’on munit d’une orientation $e_{\mathcal O}$. Avec la polarisation, chaque donnée initiale mène à une marche à gauche en tournant à gauche à chaque sommet rencontré, ou en rebondissant s’il n’y a en ce sommet aucune autre arête. Une marche à gauche est appelée complète si elle couvre toutes les arêtes de G (pas nécessairement dans les deux sens). Nous définissons la valence d’un sommet comme le nombre d’arêtes adjacentes à ce sommet, et la valence d’un graphe comme étant la moyenne des valences de ses sommets. Dans cet article, nous démontrons que si un graphe plongé dans une surface orientée fermée de genre g possède une marche à gauche complète, alors sa valence est d’au plus $1 + \sqrt {6g+1}$. Nous prouvons de plus que ce résultat est optimal pour une infinité de genres g et qu’il est asymptotiquement optimal lorsque $g \to + \infty $. Cela mène à des obstructions pour les plongements de graphes sur une surface. Puisque vérifier si un graphe polarisé possède ou non une marche à gauche complète s’opère en temps au plus $4N$, où N est le nombre d’arêtes (il suffit de le vérifier sur les deux orientations d’une seule arête donnée), cette obstruction est particulièrement efficace. Ce problème trouve sa motivation dans ses conséquences intéressantes sur ce que nous appellerons ici l’ergodicité topologique d’un système conservatif, par exemple un système hamiltonien H en dimension deux où l’existence d’une marche complète à gauche correspond à une orbite du système topologiquement ergodique, donc une orbite qui visite toute la topologie de la surface. Nous nous limitons ici à la dimension $2$, mais une généralisation de cette théorie devrait tenir pour des systèmes hamiltoniens autonomes sur une variété symplectique de dimension arbitraire.

The Erdős-Sós Conjecture states that every graph with average degree exceeding $k-1$ contains every tree with $k$ edges as a subgraph. We prove that there are $\delta \gt 0$ and $k_0\in \mathbb N$ such that the conjecture holds for every tree $T$ with $k \ge k_0$ edges and every graph $G$ with $|V(G)| \le (1+\delta )|V(T)|$.

The Erdős–Simonovits stability theorem is one of the most widely used theorems in extremal graph theory. We obtain an Erdős–Simonovits type stability theorem in multi-partite graphs. Different from the Erdős–Simonovits stability theorem, our stability theorem in multi-partite graphs says that if the number of edges of an $H$-free graph $G$ is close to the extremal graphs for $H$, then $G$ has a well-defined structure but may be far away from the extremal graphs for $H$. As applications, we strengthen a theorem of Bollobás, Erdős, and Straus and solve a conjecture in a stronger form posed by Han and Zhao concerning the maximum number of edges in multi-partite graphs which does not contain vertex-disjoint copies of a clique.

We consider the hypergraph Turán problem of determining $ex(n, S^d)$, the maximum number of facets in a $d$-dimensional simplicial complex on $n$ vertices that does not contain a simplicial $d$-sphere (a homeomorph of $S^d$) as a subcomplex. We show that if there is an affirmative answer to a question of Gromov about sphere enumeration in high dimensions, then $ex(n, S^d) \geq \Omega (n^{d + 1 - (d + 1)/(2^{d + 1} - 2)})$. Furthermore, this lower bound holds unconditionally for 2-LC (locally constructible) spheres, which includes all shellable spheres and therefore all polytopes. We also prove an upper bound on $ex(n, S^d)$ of $O(n^{d + 1 - 1/2^{d - 1}})$ using a simple induction argument. We conjecture that the upper bound can be improved to match the conditional lower bound.

The Kruskal–Friedman theorem asserts: in any infinite sequence of finite trees with ordinal labels, some tree can be embedded into a later one, by an embedding that respects a certain gap condition. This strengthening of the original Kruskal theorem has been proved by I. Kříž (Ann. Math. 1989), in confirmation of a conjecture due to H. Friedman, who had established the result for finitely many labels. It provides one of the strongest mathematical examples for the independence phenomenon from Gödel’s theorems. The gap condition is particularly relevant due to its connection with the graph minor theorem of N. Robertson and P. Seymour. In the present article, we consider a uniform version of the Kruskal–Friedman theorem, which extends the result from trees to general recursive data types. Our main theorem shows that this uniform version is equivalent both to $\Pi ^1_1$-transfinite recursion and to a minimal bad sequence principle of Kříž, over the base theory $\mathsf {RCA_0}$ from reverse mathematics. This sheds new light on the role of infinity in finite combinatorics.

Modified ascent sequences, initially defined as the bijective images of ascent sequences under a certain hat map, have also been characterized as Cayley permutations where each entry is a leftmost copy if and only if it is an ascent top. These sequences play a significant role in the study of Fishburn structures. In this paper, we investigate (primitive) modified ascent sequences avoiding a pattern of length 4 by combining combinatorial and algebraic techniques, including the application of the kernel method. Our results confirm several conjectures posed by Cerbai.

Let $\Gamma $ be a compact Polish group of finite topological dimension. For a countably infinite subset $S\subseteq \Gamma $, a domatic $\aleph _0$-partition (for its Schreier graph on $\Gamma $) is a partial function $f:\Gamma \rightharpoonup \mathbb {N}$ such that for every $x\in \Gamma $, one has $f[S\cdot x]=\mathbb {N}$. We show that a continuous domatic $\aleph _0$-partition exists, if and only if a Baire measurable domatic $\aleph _0$-partition exists, if and only if the topological closure of S is uncountable. A Haar measurable domatic $\aleph _0$-partition exists for all choices of S. We also investigate domatic partitions in the general descriptive graph combinatorial setting.

We consider the problem of sequential matching in a stochastic block model with several classes of nodes and generic compatibility constraints. When the probabilities of connections do not scale with the size of the graph, we show that under the Ncond condition, a simple max-weight type policy allows us to attain an asymptotically perfect matching while no sequential algorithm attains perfect matching otherwise. The proof relies on a specific Markovian representation of the dynamics associated with Lyapunov techniques.

Let $\mathcal {D}$ be a Hom-finite, Krull-Schmidt, 2-Calabi-Yau triangulated category with a rigid object R. Let $\Lambda =\operatorname {End}_{\mathcal {D}}R$ be the endomorphism algebra of R. We introduce the notion of mutation of maximal rigid objects in the two-term subcategory $R\ast R[1]$ via exchange triangles, which is shown to be compatible with the mutation of support $\tau $-tilting $\Lambda $-modules. In the case that $\mathcal {D}$ is the cluster category arising from a punctured marked surface, it is shown that the graph of mutations of support $\tau $-tilting $\Lambda $-modules is isomorphic to the graph of flips of certain collections of tagged arcs on the surface, which is moreover proved to be connected. Consequently, the mutation graph of support $\tau $-tilting modules over a skew-gentle algebra is connected. This generalizes one main result in [49].

The Jacobian of a very general complex algebraic curve of genus at least 3 contains an algebraic cycle called the Ceresa cycle that is homologically trivial but algebraically nontrivial. Zharkov defined in analogy the tropical Ceresa cycle of a metric graph and proved a similar result for very general tropical curves overlying the complete graph on four vertices. We extend this result by considering a related, ‘universal’ invariant of the underlying graph called the Ceresa period; we show that having trivial Ceresa period has a forbidden minor characterization that coincides with the graph being of hyperelliptic type.

Counting independent sets in graphs and hypergraphs under a variety of restrictions is a classical question with a long history. It is the subject of the celebrated container method which found numerous spectacular applications over the years. We consider the question of how many independent sets we can have in a graph under structural restrictions. We show that any $n$-vertex graph with independence number $\alpha$ without $bK_a$ as an induced subgraph has at most $n^{O(1)} \cdot \alpha ^{O(\alpha )}$ independent sets. This substantially improves the trivial upper bound of $n^{\alpha },$ whenever $\alpha \le n^{o(1)}$ and gives a characterisation of graphs forbidding which allows for such an improvement. It is also in general tight up to a constant in the exponent since there exist triangle-free graphs with $\alpha ^{\Omega (\alpha )}$ independent sets. We also prove that if one in addition assumes the ground graph is chi-bounded one can improve the bound to $n^{O(1)} \cdot 2^{O(\alpha )}$ which is tight up to a constant factor in the exponent.

If G is a graph, then $X\subseteq V(G)$ is a general position set if for every two vertices $v,u\in X$ and every shortest $(u,v)$-path P, no inner vertex of P lies in X. We propose three algorithms to compute a largest general position set in G: an integer linear programming algorithm, a genetic algorithm and a simulated annealing algorithm. These approaches are supported by examples from different areas of graph theory.