arXiv++ Combinatorics

Let $G$ be a finite group. A number of graphs with the vertex set $G$ have been studied, including the power graph, enhanced power graph, and commuting graph. These graphs form a hierarchy under the inclusion of edge sets, and it is useful to study them together. In addition, several authors have considered modifying the definition of these graphs by choosing a natural equivalence relation on the group such as equality, conjugacy, or equal orders, and joining two elements if there are elements in their equivalence class that are adjacent in the original graph. In this way, we enlarge the hierarchy into a second dimension. Using the three graph types and three equivalence relations mentioned gives nine graphs, of which in general only two coincide; we find conditions on the group for some other pairs to be equal. These often define interesting classes of groups, such as EPPO groups, $2$-Engel groups, and Dedekind groups. We study some properties of graphs in this new hierarchy. In particular, we characterize the groups for which the graphs are complete, and in most cases, we characterize the dominant vertices (those joined to all others). Also, we give some results about universality, perfectness, and clique number. The paper ends with some open problems and suggestions for further work.

One of the most important and useful examples in discrete geometry is a finite sequence of points on the moment curve $γ(t)=(t,t^2,t^3,\dots ,t^d)$ or, more generally, on a {\it strictly monotone curve} in $\mathbb R^d$. These sequences as well as the ambient curve itself can be described in terms of {\it universality properties} and we will study the question: "What is a universal sequence of oriented and unoriented lines in $d$-space'' We give partial answers to this question, and to the analogous one for $k$-flats. Given a large integer $n$, it turns out that, like the case of points the number of universal configurations is bounded by a function of $d$, but unlike the case for points, there are a large number of distinct universal finite sequences of lines. We show that their number is at least $2^{d-1}-2$ and at most $(d-1)!$. However, like for points, in all dimensions except $d=4$, there is essentially a unique {\em continuous} example of a universal family of lines. The case $d=4$ is left as an open question.

Stanislaw Ulam asked whether there exists a universal countable planar graph (that is, a countable planar graph that contains every countable planar graph as a subgraph). János Pach (1981) answered this question in the negative. We strengthen this result by showing that every countable graph that contains all countable planar graphs must contain (i) an infinite complete graph as a minor, and (ii) a subdivision of the complete graph $K_t$ with multiplicity $t$, for every finite $t$. On the other hand, we construct a countable graph that contains all countable planar graphs and has several key properties such as linear colouring numbers, linear expansion, and every finite $n$-vertex subgraph has a balanced separator of size $O(\sqrt{n})$. The graph is $\mathcal{T}_6\boxtimes P_{\!\infty}$, where $\mathcal{T}_k$ is the universal treewidth-$k$ countable graph (which we define explicitly), $P_{\!\infty}$ is the 1-way infinite path, and $\boxtimes$ denotes the strong product. More generally, for every positive integer $t$ we construct a countable graph that contains every countable $K_t$-minor-free graph and has the above key properties. Our final contribution is a construction of a countable graph that contains every countable $K_t$-minor-free graph as an induced subgraph, has linear colouring numbers and linear expansion, and contains no subdivision of the countably infinite complete graph (implying (ii) above is best possible).

We prove an identity in distribution between two kinds of partition functions for the log-gamma directed polymer model: (1) the point-to-point partition function in a quadrant, (2) the point-to-line partition function in an octant. As an application, we prove that the point-to-line free energy of the log-gamma polymer in an octant obeys a phase transition depending on the strength of the noise along the boundary. This transition of (de)pinning by randomness was first predicted in physics by Kardar in 1985 and proved rigorously for zero temperature models by Baik and Rains in 2001. While it is expected to arise universally for models in the Kardar-Parisi-Zhang universality class, this is the first positive temperature model for which this transition can be rigorously established.

This paper establishes a universality result for scaling limits of uniformly random lozenge tilings of large domains. We prove that whenever a boundary of the domain has three adjacent straight segments inclined under 120 degrees to each other, the asymptotics of tilings near the middle segment is described by the GUE--corners process of random matrix theory. An important step in our argument is to show that fluctuations of the height function of random tilings on essentially arbitrary simply-connected domains of diameter $N$ have smaller magnitude than $N^{1/2}$.

We consider the strongly connected components (SCCs) of a uniform directed graph on $n$ vertices with i.i.d. in- and out-degree pairs distributed as $(D^-,D^+)$, with $\mathbb E[D^+]=\mathbb E[D^-]=μ$. We condition on equal total in- and out-degree. A phase transition for the emergence of a giant SCC is known to occur at the critical value $\mathbb E[D^-D^+] = μ$. We study the model at this critical value and, additionally, require that $\mathbb E[(D^-)^i(D^+)^j]<\infty$ for all $i+j\leq 3$, and for $(i,j)=(1,3)$ and $(i,j)=(3,1)$. We show that, under these conditions, the SCCs ranked by decreasing number of edges with distances rescaled by $n^{-1/3}$ converge in distribution to a sequence of finite strongly connected directed multigraphs with edge lengths, and that these are either $3$-regular or loops. The limit objects lie in a $3$-parameter family, which contains the scaling limit of the SCCs in the directed Erdős-Rényi model at criticality as found by Goldschmidt and Stephenson (2019). This is the first universality result for the scaling limit of a critical directed graph model and the first quantitative result on the directed configuration model at criticality. As a trivial consequence, the largest SCCs at criticality contain $Θ(n^{1/3})$ vertices and edges in probability, and the diameter of the directed graph at criticality is $Ω(n^{1/3})$ in probability. We use a metric on the space of weighted multigraphs in which two multigraphs are close if there are compatible isomorphisms between their vertex and edge sets which roughly preserve the edge lengths. We use the product topology on the sequence of multigraphs. Our method of proof involves a depth-first exploration of the directed graph, resulting in a spanning forest with additional identifications, of which we study the limit under rescaling.

Betweenness centrality is a measure of the importance of a vertex x inside a network based on the fraction of shortest paths passing through x. We study a blow-up construction that has been shown to produce graphs with uniform distribution of betweenness. We disprove the conjecture about this procedure's universality by showing that trees with a diameter at least three cannot be transformed into betweenness-uniform by the blow-up construction. It remains open to characterize graphs for which the blow-up construction can produce betweenness-uniform graphs.

We show that the existence of a universal structure implies the existence of a generic structure for any approximable class $\mathcal{C}$ of countable structures. We also show that the converse is not true. As a consequence, we provide several new examples of weak Fraïssé classes of finite graphs. Finally, we show that the class of all countable $C_4$-free graphs does not contain a generic structure, strengthening a result of A. Hajnal and J. Pach.

Scattered factor (circular) universality was firstly introduced by Barker et al. in 2020. A word $w$ is called $k$-universal for some natural number $k$, if every word of length $k$ of $w$'s alphabet occurs as a scattered factor in $w$; it is called circular $k$-universal if a conjugate of $w$ is $k$-universal. Here, a word $u=u_1\cdots u_n$ is called a scattered factor of $w$ if $u$ is obtained from $w$ by deleting parts of $w$, i.e. there exists (possibly empty) words $v_1,\dots,v_{n+1}$ with $w=v_1u_1v_2\cdots v_nu_nv_{n+1}$. In this work, we prove two problems, left open in the aforementioned paper, namely a generalisation of one of their main theorems to arbitrary alphabets and a slight modification of another theorem such that we characterise the circular universality by the universality. On the way, we present deep insights into the behaviour of the remainder of the so called arch factorisation by Hebrard when repetitions of words are considered.

We study varieties associated to hypergraphs from the point of view of projective geometry and matroid theory. We describe their decompositions into matroid varieties, which may be reducible and can have arbitrary singularities by the Mnëv--Sturmfels universality theorem. We focus on various families of hypergraph varieties for which we explicitly compute an irredundant irreducible decomposition. Our main findings in this direction are threefold: (1) we describe minimal matroids of such hypergraphs; (2) we prove that the varieties of these matroids are irreducible and their union is the hypergraph variety; and (3) we show that every such matroid is realizable over real numbers. As corollaries, we give conceptual decompositions of various, previously-studied, varieties associated with graphs, hypergraphs, and adjacent minors of generic matrices. In particular, our decomposition strategy gives immediate matroid interpretations of the irreducible components of multiple families of varieties associated to conditional independence (CI) models in statistical theory and unravels their symmetric structures which hugely simplifies the computations.

We answer three questions posed by Bubeck and Linial on the limit densities of subtrees in trees. We prove there exist positive $\varepsilon_1$ and $\varepsilon_2$ such that every tree that is neither a path nor a star has inducibility at most $1-\varepsilon_1$, where the inducibility of a tree $T$ is defined as the maximum limit density of $T$, and that there are infinitely many trees with inducibility at least $\varepsilon_2$. Finally, we construct a universal sequence of trees; that is, a sequence in which the limit density of any tree is positive.

Graph complements G(n) of cyclic graphs are circulant, vertex-transitive, claw-free, strongly regular, Hamiltonian graphs with a Z(n) symmetry, Shannon capacity 2 and known Wiener and Harary index. There is an explicit spectral zeta function and tree or forest data. The forest-tree ratio converges to e. The graphs G(n) are Cayley graphs and so Platonic with isomorphic unit spheres G(n-3)^+, complements of path graphs. G(3d+3) are homotop to wedge sums of two d-spheres and G(3d+2),G(3d+4) are homotop to d-spheres, G(3d+1)^+ are contractible, G(3d+2)^+,G(3d+3)^+ are d-spheres. Since disjoint unions are dual to Zykov joins, graph complements of 1-dimensional discrete manifolds G are homotop to a point, a sphere or a wedge sums of spheres. If the length of every connected component of a 1-manifold is not divisible by 3, the graph complement of G is a sphere. In general, the graph complement of a forest is either contractible or a sphere. All induced strict subgraphs of G(n) are either contractible or homotop to spheres. The f-vectors G(n) or G(n)^+ satisfy a hyper Pascal triangle relation, the total number of simplices are hyper Fibonacci numbers. The simplex generating functions are Jacobsthal polynomials, generating functions of k-king configurations on a circular chess board. While the Euler curvature of circle complements G(n) is constant by symmetry, the discrete Gauss-Bonnet curvature of path complements G(n)^+ can be expressed explicitly from the generating functions. There is now a non-trivial 6 periodic Gauss-Bonnet curvature universality in the complement of Barycentric limits. The Brouwer-Lefschetz fixed point theorem produces a 12-periodicity of the Lefschetz numbers of all graph automorphisms of G(n). There is also a 12-periodicity of Wu characteristic. This is a 4 periodicity in dimension.These are manifestations of stable homotopy features, but combinatorial.

A central question in random matrix theory is universality. When an emergent phenomena is observed from a large collection of chosen random variables it is natural to ask if this behavior is specific to the chosen random variable or if the behavior occurs for a larger class of random variables. The rank statistics of random matrices chosen uniformly from $\operatorname{Mat}(\mathbf{F}_q)$ over a finite field are well understood. The universality properties of these statistics are not yet fully understood however. Recently Wood [39] and Maples [26] considered a natural requirement where the random variables are not allowed to be too close to constant and they showed that the rank statistics match with the uniform model up to an error of type $e^{-cn}$. In this paper we explore a condition called near uniform, under which we are able to prove tighter bounds $q^{-cn}$ on the asymptotic convergence of the rank statistics. Our method is completely elementary, and allows for a small number of the entries to be deterministic, and for the entries to not be identically distributed so long as they are independent. More importantly, the method also extends to near uniform symmetric, alternating matrices. Our method also applies to two models of perturbations of random matrices sampled uniformly over $\operatorname{GL}_n(\mathbf{F}_q)$: subtracting the identity or taking a minor of a uniformly sampled invertible matrix.

We examine properties of generic automorphisms of the random poset, with the goal of explicitly characterizing them. We associate to each automorphism an auxiliary first-order structure, consisting of the random poset equipped with an infinite sequence of binary relations which encode the action of the automorphism. We then explicitly characterize generic automorphisms in terms of properties of this structure. Two notable such properties are ultrahomogeneity, and universality for a certain class of finite structures in this language. As this auxiliary structure seems to be new, we also address some model-theoretic questions. In particular, this structure fails to be saturated, and its theory neither is $ω$-categorical nor admits quantifier-elimination, in contrast to many known ultrahomogeneous structures in finite languages. We also examine orbitals -- order-convex hulls of orbits -- and their use in describing automorphisms. In particular, we introduce and use new orders on the space of orbitals.

We study the local limits of uniform high genus bipartite maps with prescribed face degrees. We prove the convergence towards a family of infinite maps of the plane, the q-IBPMs, which exhibit both a spatial Markov property and a hyperbolic behaviour. Therefore, we observe a similar local behaviour for a wide class of models of random high genus maps, which can be seen as a result of universality. Our results cover all the regimes where the expected degree of the root face remains finite in the limit. This follows a work by the same authors on high genus triangulations arXiv:1902.00492.

We present some Markovian approaches to prove universality results for some functions on the symmetric group. Some of those statistics are already studied in [Kammoun, 2018, 2020] but not the general case. We prove, in particular, that the number of occurrences of a vincular patterns satisfies a CLT for conjugation invariant random permutations with few cycles and we improve the results already known for the longest increasing subsequence. The second approach is a suggestion of a generalization to other random permutations and other sets having a similar structure than the symmetric group.

We study the problem of finding pairwise vertex-disjoint triangles in the randomly perturbed graph model, which is the union of any $n$-vertex graph $G$ satisfying a given minimum degree condition and the binomial random graph $G(n,p)$. We prove that asymptotically almost surely $G \cup G(n,p)$ contains at least $\min\{δ(G), \lfloor n/3 \rfloor\}$ pairwise vertex-disjoint triangles, provided $p \ge C \log n/n$, where $C$ is a large enough constant. This is a perturbed version of an old result of Dirac. Our result is asymptotically optimal and answers a question of Han, Morris, and Treglown [RSA, 2021, no. 3, 480--516] in a strong form. We also prove a stability version of our result, which in the case of pairwise vertex-disjoint triangles extends a result of Han, Morris, and Treglown [RSA, 2021, no. 3, 480--516]. Together with a result of Balogh, Treglown, and Wagner [CPC, 2019, no. 2, 159--176] this fully resolves the existence of triangle factors in randomly perturbed graphs. We believe that the methods introduced in this paper are useful for a variety of related problems: we discuss possible generalisations to clique factors, cycle factors, and $2$-universality.

We study a general class of interacting particle systems called kinetically constrained models (KCM) in two dimensions tightly linked to the monotone cellular automata called bootstrap percolation. There are three classes of such models, the most studied being the critical one. In a recent series of works it was shown that the KCM counterparts of critical bootstrap percolation models with the same properties split into two classes with different behaviour. Together with the companion paper by the first author, our work determines the logarithm of the infection time up to a constant factor for all critical KCM, which were previously known only up to logarithmic corrections. This improves all previous results except for the Duarte-KCM, for which we give a new proof of the best result known. We establish that on this level of precision critical KCM have to be classified into seven categories instead of the two in bootstrap percolation. In the present work we establish lower bounds for critical KCM in a unified way, also recovering the universality result of Toninelli and the authors and the Duarte model result of Martinelli, Toninelli and the second author.

A well-known open problem on the behavior of optimal paths in random graphs in the strong disorder regime, formulated by statistical physicists, and supported by a large amount of numerical evidence over the last decade [31,32,38,70] is as follows: for a large class of random graph models with degree exponent $τ\in (3,4)$, the distance between two typical points on the minimal spanning tree (MST) on the giant component in the supercritical regime scales like $n^{(τ-3)/(τ-1)}$. The aim of this paper is to make progress towards a proof of this conjecture. We consider a supercritical inhomogeneous random graph model with degree exponent $τ\in(3, 4)$ that is closely related to Aldous's multiplicative coalescent, and show that the MST constructed by assigning i.i.d. continuous weights to the edges in its giant component, endowed with the tree distance scaled by $n^{-(τ-3)/(τ-1)}$, converges in distribution with respect to the Gromov-Hausdorff topology to a random compact real tree. Further, almost surely, every point in this limiting space either has degree one (leaf), or two, or infinity (hub), both the set of leaves and the set of hubs are dense in this space, and the Minkowski dimension of this space equals $(τ-1)/(τ-3)$. The multiplicative coalescent, in an asymptotic sense, describes the evolution of the component sizes of various near-critical random graph processes. We expect the limiting spaces in this paper to be the candidates for the scaling limit of the MST constructed for a wide array of other heavy-tailed random graph models.

The resonance arrangement $\mathcal{A}_n$ is the arrangement of hyperplanes which has all non-zero $0/1$-vectors in $\mathbb{R}^n$ as normal vectors. It is the adjoint of the Braid arrangement and is also called the all-subsets arrangement. The first result of this article shows that any rational hyperplane arrangement is the minor of some large enough resonance arrangement. Its chambers appear as regions of polynomiality in algebraic geometry, as generalized retarded functions in mathematical physics and as maximal unbalanced families that have applications in economics. One way to compute the number of chambers of any real arrangement is through the coefficients of its characteristic polynomial which are called Betti numbers. We show that the Betti numbers of the resonance arrangement are determined by a fixed combination of Stirling numbers of the second kind. Lastly, we develop exact formulas for the first two non-trivial Betti numbers of the resonance arrangement.