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.

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.

We initiate a study of large deviations for block model random graphs in the dense regime. Following [14], we establish an LDP for dense block models, viewed as random graphons. As an application of our result, we study upper tail large deviations for homomorphism densities of regular graphs. We identify the existence of a ‘symmetric’ phase, where the graph, conditioned on the rare event, looks like a block model with the same block sizes as the generating graphon. In specific examples, we also identify the existence of a ‘symmetry breaking’ regime, where the conditional structure is not a block model with compatible dimensions. This identifies a ‘reentrant phase transition’ phenomenon for this problem – analogous to one established for Erdős–Rényi random graphs [13, 14]. Finally, extending the analysis of [34], we identify the precise boundary between the symmetry and symmetry breaking regimes for homomorphism densities of regular graphs and the operator norm on Erdős–Rényi bipartite graphs.

A graph $H$ is said to be common if the number of monochromatic labelled copies of $H$ in a red/blue edge colouring of a large complete graph is asymptotically minimised by a random colouring in which each edge is equally likely to be red or blue. We extend this notion to an off-diagonal setting. That is, we define a pair $(H_1,H_2)$ of graphs to be $(p,1-p)$-common if a particular linear combination of the density of $H_1$ in red and $H_2$ in blue is asymptotically minimised by a random colouring in which each edge is coloured red with probability $p$ and blue with probability $1-p$. Our results include off-diagonal extensions of several standard theorems on common graphs and novel results for common pairs of graphs with no natural analogue in the classical setting.

A random temporal graph is an Erdős-Rényi random graph $G(n,p)$, together with a random ordering of its edges. A path in the graph is called increasing if the edges on the path appear in increasing order. A set $S$ of vertices forms a temporal clique if for all $u,v \in S$, there is an increasing path from $u$ to $v$. Becker, Casteigts, Crescenzi, Kodric, Renken, Raskin and Zamaraev [(2023) Giant components in random temporal graphs. arXiv,2205.14888] proved that if $p=c\log n/n$ for $c\gt 1$, then, with high probability, there is a temporal clique of size $n-o(n)$. On the other hand, for $c\lt 1$, with high probability, the largest temporal clique is of size $o(n)$. In this note, we improve the latter bound by showing that, for $c\lt 1$, the largest temporal clique is of constant size with high probability.

A spline is an assignment of polynomials to the vertices of a graph whose edges are labeled by ideals, where the difference of two polynomials labeling adjacent vertices must belong to the corresponding ideal. The set of splines forms a ring. We consider spline rings where the underlying graph is the Cayley graph of a symmetric group generated by a collection of transpositions. These rings generalize the GKM construction for equivariant cohomology rings of flag, regular semisimple Hessenberg and permutohedral varieties. These cohomology rings carry two actions of the symmetric group $S_n$ whose graded characters are both of general interest in algebraic combinatorics. In this paper, we generalize the graded $S_n$-representations from the cohomologies of the above varieties to splines on Cayley graphs of $S_n$ and then (1) give explicit module and ring generators for whenever the $S_n$-generating set is minimal, (2) give a combinatorial characterization of when graded pieces of one $S_n$-representation is trivial, and (3) compute the first degree piece of both graded characters for all generating sets.

We analyze generating functions for trees and for connected subgraphs on the complete graph, and identify a single scaling profile which applies for both generating functions in a critical window. Our motivation comes from the analysis of the finite-size scaling of lattice trees and lattice animals on a high-dimensional discrete torus, for which we conjecture that the identical profile applies in dimensions $d \ge 8$.

In this paper, we study discrepancy questions for spanning subgraphs of $k$-uniform hypergraphs. Our main result is that, for any integers $k \ge 3$ and $r \ge 2$, any $r$-colouring of the edges of a $k$-uniform $n$-vertex hypergraph $G$ with minimum $(k-1)$-degree $\delta (G) \ge (1/2+o(1))n$ contains a tight Hamilton cycle with high discrepancy, that is, with at least $n/r+\Omega (n)$ edges of one colour. The minimum degree condition is asymptotically best possible and our theorem also implies a corresponding result for perfect matchings. Our tools combine various structural techniques such as Turán-type problems and hypergraph shadows with probabilistic techniques such as random walks and the nibble method. We also propose several intriguing problems for future research.

In this paper, we study the asymptotic behavior of the generalized Zagreb indices of the classical Erdős–Rényi (ER) random graph G(n, p), as $n\to\infty$. For any integer $k\ge1$, we first give an expression for the kth-order generalized Zagreb index in terms of the number of star graphs of various sizes in any simple graph. The explicit formulas for the first two moments of the generalized Zagreb indices of an ER random graph are then obtained from this expression. Based on the asymptotic normality of the numbers of star graphs of various sizes, several joint limit laws are established for a finite number of generalized Zagreb indices with a phase transition for p in different regimes. Finally, we provide a necessary and sufficient condition for any single generalized Zagreb index of G(n, p) to be asymptotic normal.