In this paper, we study the existence of $k$-$11$-representations of graphs. Inspired by work on permutation patterns, these representations are ways of representing graphs by words where adjacencies between vertices are captured by patterns in the corresponding letters. Our main result is that all graphs are $1$-$11$-representable, answering a question originally raised by Cheon et al. in 2018 and repeated in several follow-up papers – including a very recent paper, where it was shown that all graphs on at most $8$ vertices are $1$-$11$-representable. Moreover, we prove that all graphs are permutationally $1$-$11$-representable – that is representable as the concatenation of permutations of the vertices – answering the existence question in extremely strong fashion. Our construction leads to nearly optimal bounds on the length of the words, as well. It can, moreover, be adapted to represent all acyclic orientations of graphs; this generalizes the fact that word-representations capture semi-transitive orientations of graphs. Our construction also adapts easily to other $k \geq 2$ as well, giving representations using a linear number of permutations when the best known previous bounds used a quadratic number. Finally, we also consider the (non-)existence of ‘even–odd’-representations of graphs. This answers a question raised by Wanless after a conference talk in 2018.

Fix integers $r \ge 2$ and $1\le s_1\le \cdots \le s_{r-1}\le t$ and set $s=\prod _{i=1}^{r-1}s_i$. Let $K=K(s_1, \ldots , s_{r-1}, t)$ denote the complete $r$-partite $r$-uniform hypergraph with parts of size $s_1, \ldots , s_{r-1}, t$. We prove that the Zarankiewicz number $z(n, K)= n^{r-1/s-o(1)}$ provided $t\gt 3^{s+o(s)}$. Previously this was known only for $t \gt ((r-1)(s-1))!$ due to Pohoata and Zakharov. Our novel approach, which uses Behrend’s construction of sets with no 3-term arithmetic progression, also applies for small values of $s_i$, for example, it gives $z(n, K(2,2,7))=n^{11/4-o(1)}$ where the exponent 11/4 is optimal, whereas previously this was only known with 7 replaced by 721.

The famous Sidorenko’s conjecture asserts that for every bipartite graph $H$, the number of homomorphisms from $H$ to a graph $G$ with given edge density is minimised when $G$ is pseudorandom. We prove that for any graph $H$, a graph obtained from replacing edges of $H$ by generalised theta graphs consisting of even paths satisfies Sidorenko’s conjecture, provided a certain divisibility condition on the number of paths. To achieve this, we prove unconditionally that bipartite graphs obtained from replacing each edge of a complete graph with a generalised theta graph satisfy Sidorenko’s conjecture, which extends a result of Conlon, Kim, Lee and Lee [J. Lond. Math. Soc., 2018].

We show that for any integer $k\ge 1$ there exists an integer $t_0(k)$ such that, for integers $t, k_1, \ldots , k_{t+1}, n$ with $t\gt t_0(k)$, $\max \{k_1, \ldots , k_{t+1}\}\le k$, and $n \gt 2k(t+1)$, the following holds: If $F_i$ is a $k_i$-uniform hypergraph with vertex set $[n]$ and more than $ \binom{n}{k_i}-\binom{n-t}{k_i} - \binom{n-t-k}{k_i-1} + 1$ edges for all $i \in [t+1]$, then either $\{F_1,\ldots , F_{t+1}\}$ admits a rainbow matching of size $t+1$ or there exists $W\in \binom{[n]}{t}$ such that $W$ intersects $F_i$ for all $i\in [t+1]$. This may be viewed as a rainbow non-uniform extension of the classical Hilton-Milner theorem. We also show that the same holds for every $t$ and $n \gt 2k^3t$, generalizing a recent stability result of Frankl and Kupavskii on matchings to rainbow matchings.

Recent work showing the existence of conflict-free almost-perfect hypergraph matchings has found many applications. We show that, assuming certain simple degree and codegree conditions on the hypergraph $ \mathcal{H}$ and the conflicts to be avoided, a conflict-free almost-perfect matching can be extended to one covering all vertices in a particular subset of $ V(\mathcal{H})$, by using an additional set of edges; in particular, we ensure that our matching avoids all additional conflicts, which may consist of both old and new edges. This setup is useful for various applications in design theory and Ramsey theory. For example, our main result provides a crucial tool in the recent proof of the high-girth existence conjecture due to Delcourt and Postle. It also provides a black box which encapsulates many long and tedious calculations, greatly simplifying the proofs of results in generalised Ramsey theory.

In 1976, Cameron, Goethals, Seidel, and Shult classified all the graphs whose smallest eigenvalue is at least $-2$ by relating such graphs to root systems that appear in the classification of semisimple Lie algebras. In this paper, extending their beautiful theorem, we give a complete classification of all connected graphs whose smallest eigenvalue lies in $(\! -\lambda ^*, -2)$, where $\lambda ^* = ho ^{1/2} + ho ^{-1/2} \approx 2.01980$, and $ho$ is the unique real root of $x^3 = x + 1$. Our result is the first classification of infinitely many connected graphs with their smallest eigenvalue in $(\! -\lambda , -2)$ for any constant $\lambda \gt 2$.

It is well known that almost all graphs are canonizable by a simple combinatorial routine known as colour refinement, also referred to as the 1-dimensional Weisfeiler–Leman algorithm. With high probability, this method assigns a unique label to each vertex of a random input graph and, hence, it is applicable only to asymmetric graphs. The strength of combinatorial refinement techniques becomes a subtle issue if the input graphs are highly symmetric. We prove that the combination of colour refinement and vertex individualization yields a canonical labelling for almost all circulant digraphs (i.e., Cayley digraphs of a cyclic group). This result provides first evidence of good average-case performance of combinatorial refinement within the class of vertex-transitive graphs. Remarkably, we do not even need the full power of the colour refinement algorithm. We show that the canonical label of a vertex $v$ can be obtained just by counting walks of each length from $v$ to an individualized vertex. Our analysis also implies that almost all circulant graphs are compact in the sense of Tinhofer, that is, their polytops of fractional automorphisms are integral. Finally, we show that a canonical Cayley representation can be constructed for almost all circulant graphs by the more powerful 2-dimensional Weisfeiler–Leman algorithm.

In this paper, we study the class of polytopes which can be obtained by taking the convex hull of some subset of the points $\{e_i-e_j \ \vert \ i \neq j\} \cup \{\pm e_i\}$ in $\mathbb {R}^n$, where $e_1,\dots ,e_n$ is the standard basis of $\mathbb {R}^n$. Such a polytope can be encoded by a quiver Q with vertices $V \subseteq \{{\upsilon }_1,\dots ,{\upsilon }_n\} \cup \{\star \}$, where each edge ${\upsilon }_j\to {\upsilon }_i$ or $\star \to {\upsilon }_i$ or ${\upsilon }_i\to \star $ gives rise to the point $e_i-e_j$ or $e_i$ or $-e_i$, respectively; we denote the corresponding polytope as $\operatorname {Root}(Q)$. These polytopes have been studied extensively under names such as edge polytope and root polytope. We show that if the quiver Q is strongly-connected, then the root polytope $\operatorname {Root}(Q)$ is reflexive and terminal; we moreover give a combinatorial description of the facets of $\operatorname {Root}(Q)$. We also show that if Q is planar, then $\operatorname {Root}(Q)$ is (integrally equivalent to) the polar dual of the flow polytope of the planar dual quiver $Q^{\vee }$. Finally, we consider the case that Q comes from the Hasse diagram of a finite ranked poset P and show in this case that $\operatorname {Root}(Q)$ is polar dual to (a translation of) a marked order polytope. We then go on to study the toric variety $Y(\mathcal {F}_Q)$ associated to the face fan $\mathcal {F}_Q$ of $\operatorname {Root}(Q)$. If Q comes from a ranked poset P, we give a combinatorial description of the Picard group of $Y(\mathcal {F}_Q)$, in terms of a new canonical ranked extension of P, and we show that $Y(\mathcal {F}_Q)$ is a small partial desingularisation of the Hibi projective toric variety $Y_{\mathcal {O}(P)}$ of the order polytope $\mathcal {O}(P)$. We show that $Y(\mathcal {F}_Q)$ has a small crepant toric resolution of singularities $Y(\widehat {\mathcal {F}}_Q)$ and, as a consequence that the Hibi toric variety $Y_{\mathcal {O}(P)}$ has a small resolution of singularities for any ranked poset P. These results have applications to mirror symmetry [61].

A landmark result of Erdős, Ginzburg, and Ziv (EGZ) states that any sequence of $2n-1$ elements in ${\mathbb {Z}}/n$ contains a zero-sum subsequence of length n. While algebraic techniques have predominated in deriving many deep generalizations of this theorem over the past sixty years, here we introduce topological approaches to zero-sum problems which have proven fruitful in other combinatorial contexts. Our main result is a topological criterion for determining when any ${\mathbb {Z}}/n$-coloring of an n-uniform hypergraph contains a zero-sum hyperedge. In addition to applications for Kneser hypergraphs, for complete hypergraphs our methods recover Olson’s generalization of the EGZ theorem for arbitrary finite groups. Furthermore, we give a fractional generalization of the EGZ theorem with applications to balanced set families and provide a constrained EGZ theorem which imposes combinatorial restrictions on zero-sum sequences in the original result.

We prove that the family of graphs containing no cycle with exactly k-chords is $\chi $-bounded, for k large enough or of form $\ell (\ell -2)$ with $\ell \ge 3$ an integer. This verifies (up to a finite number of values k) a conjecture of Aboulker and Bousquet (2015).

Let $X_H$ be the number of copies of a fixed graph H in G(n,p). In 2016, Gilmer and Kopparty conjectured that a local central limit theorem should hold for $X_H$ as long as H is connected, $p\gg n^{-1/m(H)}$ and $n^2(1-p)\gg 1$, where m(H) denotes the m-density of H. Recently, Sah and Sawhney showed that the Gilmer–Kopparty conjecture holds for constant p. In this paper, we show that the Gilmer–Kopparty conjecture holds for triangle counts in the sparse range. More precisely, if $p \in (4n^{-1/2}, 1/2)$, then

\[ {} {} {}\sup_{x\in \mathcal{L}}\left| \dfrac{1}{\sqrt{2\pi}}e^{-x^2/2}-\sigma\cdot \mathbb{P}(X^* = x)\right|=n^{-1/2+o(1)}p^{1/2}, {} {}\]

$\sigma^2 = \mathbb{V}\text{ar}(X_{K_3})$

$X^{*}=(X_{K_3}-\mathbb{E}(X_{K_3}))/\sigma$

$\mathcal{L}$

$X^*$

$n^{-1}\ll p \lt c$

$c\in (0,1)$

$\ell_1$

$m_2$

A meta-conjecture of Coulson, Keevash, Perarnau, and Yepremyan [12] states that above the extremal threshold for a given spanning structure in a (hyper-)graph, one can find a rainbow version of that spanning structure in any suitably bounded colouring of the host (hyper-)graph. We solve one of the most pertinent outstanding cases of this conjecture by showing that for any $1\leq j\leq k-1$, if $G$ is a $k$-uniform hypergraph above the $j$-degree threshold for a loose Hamilton cycle, then any globally bounded colouring of $G$ contains a rainbow loose Hamilton cycle.

Let $\mathcal{G}$ be the class of all connected simple graphs. The Hoffman program of graphs with respect to a spectral invariant $\lambda(G)$ consists of determining all the limit points of the set $\{\lambda(G)\,\vert\, G\in\mathcal{G}\}$ and characterising all $G$’s such that $\lambda(G)$ does not exceed a fixed limit point. In this paper, we study the Hoffman program for Laplacian matching polynomials of graphs in regard to their largest Laplacian matching roots. Precisely, we determine all the limit points of the largest Laplacian matching roots of graphs less than $\tau = 2+\omega^{\frac{1}{2}}+\omega^{-\frac{1}{2}}(=4.38+)$, and then characterise the connected graphs with the largest Laplacian matching roots less than $2+\sqrt{5}$, where $\omega=\frac{1}{3}(\sqrt[3]{19+3\sqrt{33}}+\sqrt[3]{19-3\sqrt{33}}+1)$.

We consider the problem of detecting whether a power-law inhomogeneous random graph contains a geometric community, and we frame this as a hypothesis-testing problem. More precisely, we assume that we are given a sample from an unknown distribution on the space of graphs on n vertices. Under the null hypothesis, the sample originates from the inhomogeneous random graph with a heavy-tailed degree sequence. Under the alternative hypothesis, $k=o(n)$ vertices are given spatial locations and connect following the geometric inhomogeneous random graph connection rule. The remaining $n-k$ vertices follow the inhomogeneous random graph connection rule. We propose a simple and efficient test based on counting normalized triangles to differentiate between the two hypotheses. We prove that our test correctly detects the presence of the community with high probability as $n\to\infty$, and identifies large-degree vertices of the community with high probability.

The main goal of this paper is to introduce a new model of evolvement of beliefs on networks. It generalizes the DeGroot model and describes the iterative process of establishing the consensus in isolated social networks in the case of nonlinear aggregation functions. Our main tools come from mean theory and graph theory. The case, when the root set of the network (influencers, news agencies, etc.) is ergodic is fully discussed. The other possibility, when the root contains more than one component, is partially discussed and it could be a motivation for further research.

In this article, we present a unified approach for proving several Turán-type and generalized Turán-type problems, degree power problems, and extremal spectra problems on paths, cycles, and matchings. Specifically, we generalize classical results on cycles and matchings by Kopylov, Erdős–Gallai, and Luo et al., respectively, and provide a positive resolution to an open problem originally proposed by Nikiforov. Moreover, we improve the spectral extremal results on paths, building on the work of Nikiforov, and Nikiforov and Yuan. Additionally, we provide a comprehensive solution to the connected version of the problem related to the degree power sum of a graph that contains no path on k vertices, a topic initially investigated by Caro and Yuster.

The generalised random graph contains n vertices with positive i.i.d. weights. The probability of adding an edge between two vertices is increasing in their weights. We require the weight distribution to have finite second moments, and study the point process $\mathcal{C}_n$ on $\{3,4,\ldots\}$, which counts how many cycles of the respective length are present in the graph. We establish convergence of $\mathcal{C}_n$ to a Poisson point process. Under the stronger assumption of the weights having finite fourth moments we provide the following results. When $\mathcal{C}_n$ is evaluated on a bounded set A, we provide a rate of convergence. If the graph is additionally subcritical, we extend this to unbounded sets A at the cost of a slower rate of convergence. From this we deduce the limiting distribution of the length of the shortest and longest cycles when the graph is subcritical, including rates of convergence. All mentioned results also apply to the Chung–Lu model and the Norros–Reittu model.

The Pósa–Seymour conjecture determines the minimum degree threshold for forcing the $k$th power of a Hamilton cycle in a graph. After numerous partial results, Komlós, Sárközy, and Szemerédi proved the conjecture for sufficiently large graphs. In this paper, we focus on the analogous problem for digraphs and for oriented graphs. We asymptotically determine the minimum total degree threshold for forcing the square of a Hamilton cycle in a digraph. We also give a conjecture on the corresponding threshold for $k$th powers of a Hamilton cycle more generally. For oriented graphs, we provide a minimum semi-degree condition that forces the $k$th power of a Hamilton cycle; although this minimum semi-degree condition is not tight, it does provide the correct order of magnitude of the threshold. Turán-type problems for oriented graphs are also discussed.

For $\ell \geq 3$, an $\ell$-uniform hypergraph is disperse if the number of edges induced by any set of $\ell +1$ vertices is 0, 1, $\ell$, or $\ell +1$. We show that every disperse $\ell$-uniform hypergraph on $n$ vertices contains a clique or independent set of size $n^{\Omega _{\ell }(1)}$, answering a question of the first author and Tomon. To this end, we prove several structural properties of disperse hypergraphs.

We describe the asymptotic behaviour of large degrees in random hyperbolic graphs for all values of the curvature parameter $\alpha$. We prove that, with high probability, the node degrees satisfy the following ordering property: the ranking of the nodes by decreasing degree coincides with the ranking of the nodes by increasing distance to the centre, at least up to any constant rank. In the sparse regime $\alpha>\tfrac{1}{2}$, the rank at which these two rankings cease to coincide is $n^{1/(1+8\alpha)+o(1)}$. We also provide a quantitative description of the large degrees by proving the convergence in distribution of the normalised degree process towards a Poisson point process. In particular, this establishes the convergence in distribution of the normalised maximum degree of the graph. A transition occurs at $\alpha = \tfrac{1}{2}$, which corresponds to the connectivity threshold of the model. For $\alpha < \tfrac{1}{2}$, the maximum degree is of order $n - O(n^{\alpha + 1/2})$, whereas for $\alpha \geq \tfrac{1}{2}$, the maximum degree is of order $n^{1/(2\alpha)}$. In the $\alpha < \tfrac{1}{2}$ and $\alpha > \tfrac{1}{2}$ cases, the limit distribution of the maximum degree belongs to the class of extreme value distributions (Weibull for $\alpha < \tfrac{1}{2}$ and Fréchet for $\alpha > \tfrac{1}{2}$). This refines previous estimates on the maximum degree for $\alpha > \tfrac{1}{2}$ and extends the study of large degrees to the dense regime $\alpha \leq \tfrac{1}{2}$.