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.

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.

We study perfect codes in the homogeneous metric over the ring $\mathbb {Z}_{{2}^k}, k\ge 2$. We derive arithmetic nonexistence results from Diophantine equations on the parameters resulting from the sphere packing conditions, and a Lloyd theorem based on the theory of weakly metric association schemes.

We prove that on any transitive graph G with infinitely many ends, a self-avoiding walk of length n is ballistic with extremely high probability, in the sense that there exist constants $c,t>0$ such that $\mathbb {P}_n(d_G(w_0,w_n)\geq cn)\geq 1-e^{-tn}$ for every $n\geq 1$. Furthermore, we show that the number of self-avoiding walks of length n grows asymptotically like $\mu _w^n$, in the sense that there exists $C>0$ such that $\mu _w^n\leq c_n\leq C\mu _w^n$ for every $n\geq 1$. These results generalise earlier work by Li (J. Comb. Theory Ser. A, 2020). The key to this greater generality is that in contrast to Li’s approach, our proof does not require the existence of a special structure that enables the construction of separating patterns. Our results also extend more generally to quasi-transitive graphs with infinitely many ends, satisfying the additional technical property that there is a quasi-transitive group of automorphisms of G which does not fix an end of G.

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}$.

We study the hypersimplex under the action of the symmetric group $S_n$ by coordinate permutation. We prove that its equivariant volume, given by the evaluation of its equivariant $H^*$-series at $1$, is the permutation character of decorated ordered set partitions under the natural action of $S_n$. This verifies a conjecture of Stapledon for the hypersimplex. To prove this result, we give a formula for the coefficients of the $H^*$-polynomial. Additionally, for the $(2,n)$-hypersimplex, we use this formula to show that trivial character need not appear as a direct summand of a coefficient of the $H^*$-polynomial, which gives a family of counterexamples to a different conjecture of Stapledon.

In this paper, we will investigate the following inequality

\begin{equation*}(a_{n+1}a_{n+2} - a_{n}a_{n+3})^2 -(a_{n+1}^2 -a_{n}a_{n+2})(a_{n+2}^2 - a_{n}a_{n+4}) \gt 0,\end{equation*}

which arises from the iterated Laguerre operator on functions. We will prove the sequence $\{a_n\}$ of a unified form given by Griffin, Ono, Rolen and Zagier asymptotically satisfies this inequality while the Maclaurin coefficients of the functions in Laguerre-Pólya class have not to possess this inequality. We also prove the companion version of this inequality. As a consequence, we show the Maclaurin coefficients of the Riemann Ξ-function asymptotically satisfy this property. Moreover, we make this approach effective and give the exact thresholds for the positivity of this inequalityfor the partition function, the overpartition function and the smallest part function.

We introduce the notion of a weak A2 space (or wA2-space), which generalises spaces satisfying Todorčević’s axioms A1–A4 and countable vector spaces. We show that in any Polish weak A2 space, analytic sets are Kastanas Ramsey, and discuss the relationship between Kastanas Ramsey sets and sets in the projective hierarchy. We also show that in all spaces satisfying A1–A4, every subset of $\mathcal {R}$ is Kastanas Ramsey iff Ramsey, generalising the recent result by [2]. Finally, we show that in the setting of Gowers wA2-spaces, Kastanas Ramsey sets and strategically Ramsey sets coincide, providing a connection between the recent studies on topological Ramsey spaces and countable vector spaces.

Fulton’s matrix Schubert varieties are affine varieties that arise in the study of Schubert calculus in the complete flag variety. Weigandt showed that arbitrary intersections of matrix Schubert varieties, now called ASM varieties, are indexed by alternating sign matrices (ASMs), objects with a long history in enumerative combinatorics. It is very difficult to assess Cohen–Macaulayness of ASM varieties or to compute their codimension, though these properties are well understood for matrix Schubert varieties due to work of Fulton. In this paper, we study these properties of ASM varieties with a focus on the relationship between a pair of ASMs and their direct sum. We also consider ASM pattern avoidance from an algebro-geometric perspective.

We prove that determining the weak saturation number of a host graph $F$ with respect to a pattern graph $H$ is computationally hard, even when $H$ is the triangle. Our main tool establishes a connection between weak saturation and the shellability of simplicial complexes.

For any integer $t \geq 2$, we prove a local limit theorem (LLT) with an explicit convergence rate for the number of parts in a uniformly chosen t-regular partition. When $t = 2$, this recovers the LLT for partitions into distinct parts, as previously established in the work of Szekeres [‘Asymptotic distributions of the number and size of parts in unequal partitions’, Bull. Aust. Math. Soc. 36 (1987), 89–97].

We prove two results concerning percolation on general graphs.

• • We establish the converse of the classical Peierls argument: if the critical parameter for (uniform) percolation satisfies $p_c<1$, then the number of minimal cutsets of size n separating a given vertex from infinity is bounded above exponentially in n. This resolves a conjecture of Babson and Benjamini from 1999.

• • We prove that $p_c<1$ for every uniformly transient graph. This solves a problem raised by Duminil-Copin, Goswami, Raoufi, Severo, and Yadin, and provides a new proof that $p_c<1$ for every transitive graph of superlinear growth.

A seminal result of Komlós, Sárközy, and Szemerédi states that any $n$-vertex graph $G$ with minimum degree at least $(1/2+\alpha )n$ contains every $n$-vertex tree $T$ of bounded degree. Recently, Pham, Sah, Sawhney, and Simkin extended this result to show that such graphs $G$ in fact support an optimally spread distribution on copies of a given $T$, which implies, using the recent breakthroughs on the Kahn-Kalai conjecture, the robustness result that $T$ is a subgraph of sparse random subgraphs of $G$ as well. Pham, Sah, Sawhney, and Simkin construct their optimally spread distribution by following closely the original proof of the Komlós-Sárközy-Szemerédi theorem which uses the blow-up lemma and the Szemerédi regularity lemma. We give an alternative, regularity-free construction that instead uses the Komlós-Sárközy-Szemerédi theorem (which has a regularity-free proof due to Kathapurkar and Montgomery) as a black box. Our proof is based on the simple and general insight that, if $G$ has linear minimum degree, almost all constant-sized subgraphs of $G$ inherit the same minimum degree condition that $G$ has.

We establish a polynomial ergodic theorem for actions of the affine group of a countable field K. As an application, we deduce—via a variant of Furstenberg’s correspondence principle—that for fields of characteristic zero, any ‘large’ set $E\subset K$ contains ‘many’ patterns of the form $\{p(u)+v,uv\}$, for every non-constant polynomial $p(x)\in K[x]$. Our methods are flexible enough that they allow us to recover analogous density results in the setting of finite fields and, with the aid of a finitistic variant of Bergelson’s ‘colouring trick’, show that for $r\in \mathbb N$ fixed, any r-colouring of a large enough finite field will contain monochromatic patterns of the form $\{u,p(u)+v,uv\}$. In a different direction, we obtain a double ergodic theorem for actions of the affine group of a countable field. An adaptation of the argument for affine actions of finite fields leads to a generalization of a theorem of Shkredov. Finally, to highlight the utility of the aforementioned finitistic ‘colouring trick’, we provide a conditional, elementary generalization of Green and Sanders’ $\{u,v,u+v,uv\}$ theorem.