arXiv++ Combinatorics

We consider the probability theory, and in particular the moment problem and universality theorems, for random groups of the sort of that arise or are conjectured to arise in number theory, and in related situations in topology and combinatorics. The distributions of random groups that are discussed include those conjectured in the Cohen-Lenstra-Martinet heuristics to be the distributions of class groups of random number fields, as well as distributions of non-abelian generalizations, and those conjectured to be the distributions of Selmer groups of random elliptic curves. For these sorts of distributions on finite and profinite groups, we survey what is known about the moment problem and universality, give a few new results including new applications, and suggest open problems.

The paper surveys recent progress in understanding geometric, topological and combinatorial properties of large simplicial complexes, focusing mainly on ampleness, connectivity and universality. In the first part of the paper we concentrate on $r$-ample simplicial complexes which are high dimensional analogues of the $r$-e.c. graphs introduced originally by Erd\H os and Réniy. The class of $r$-ample complexes is useful for applications since these complexes allow extensions of subcomplexes of certain type in all possible ways; besides, $r$-ample complexes exhibit remarkable robustness properties. We discuss results about the existence of $r$-ample complexes and describe their probabilistic and deterministic constructions. The properties of random simplicial complexes in medial regime are important for this discussion since these complexes are ample, in certain range. We prove that the topological complexity of a random simplicial complex in the medial regime satisfies ${\sf TC}(X)\le 4$, with probability tending to $1$ as $n\to\infty$. There exists a unique (up to isomorphism) $\infty$-ample complex on countable set of vertexes (the Rado complex), and the second part of the paper surveys the results about universality, homogeneity, indestructibility and other important properties of this complex. The Appendix written by J.A. Barmak discusses connectivity of conic and ample complexes.

This manuscript recounts some of the author's contributions to algebraic and enumerative combinatorics. We have focused on two types of generalizations of bipartite maps, which are bipartite graphs embedded on surfaces. Maps are known to appear in many areas of theoretical physics and discrete mathematics, but one key interest for fundamental computer science is how multi-facetted they are in the sense that multiple encodings exist which are not interchangeable, like Tutte's/loop equations, the topological recursion, the KP hierarchy and numerous bijections which made the field so rich. One generalization we considered is weighted Hurwitz numbers, including constellations, monotone Hurwitz numbers and the unoriented versions of Chapuy-Dołęga. We have investigated whether some universal structures of maps lift to weighted Hurwitz numbers, such that the topological recursion (it does, for oriented, double, weighted Hurwitz numbers), and the passage from the KP to the BKP hierarchy for some unoriented weighted Hurwitz numbers (like monotone ones). The other generalization of bipartite maps we considered is colored triangulations in dimensions three and higher. They provide a nice meeting ground for topology and combinatorics, where universality classes above dimension 2 can be investigated. In particular, we found that the gluings of 3-balls which maximize the number of edges at fixed number of tetrahedra are in bijection with trees. In even dimensions however, we found that more universality classes can be reached depending on the choice of building blocks. We also wondered whether some of the universal structures featured by maps lift to higher dimensions. In particular, we proved instances of the scheme decomposition in three-dimensional models and maps decorated with crossing loops, and we proved the blobbed topological recursion with only mild assumptions.

In combinatory logic it is known that the set of two combinators K and S are universal; in the sense that any other combinator can be expressed in terms of these two. K combinator can not be expressed only in terms of the S combinator. This will answer a question raised by Stephen Wolfram as ``Is the S combinator on its own computation universal?''

In this paper we study the cokernels of various random integral matrix models, including random symmetric, random skew-symmetric, and random Laplacian matrices. We provide a systematic method to establish universality under very general randomness assumption. Our highlights include both local and global universality of the cokernel statistics of all these models. In particular, we find the probability that a sandpile group of an Erdos-Renyi random graph is cyclic, answering a question of Lorenzini from 2008.

We show that every commutative idempotent monoid (a.k.a lattice) is the endomorphism monoid of a subcubic graph. This solves a problem of Babai and Pultr [J. Comb.~Theory, Ser.~B, 1980] and the degree bound is best-possible. On the other hand, we show that no class excluding a minor can have all commutative idempotent monoids among its endomorphism monoids. As a by-product we prove that monoids can be represented by graphs of bounded expansion (reproving a result of Nešetřil and Ossona de Mendez) and $k$-cancellative monoids can be represented by graphs of bounded degree. Finally, we show that not all completely regular monoids can be represented by graphs excluding topological minor (strengthening a result of Babai and Pultr).

For random integer matrices $M_1,\ldots,M_k \in \operatorname{Mat}_n(\mathbb{Z})$ with independent entries, we study the distribution of the cokernel $\operatorname{cok}(M_1 \cdots M_k)$ of their product. We show that this distribution converges to a universal one as $n \to \infty$ for a general class of matrix entry distributions, and more generally show universal limits for the joint distribution of $\operatorname{cok}(M_1),\operatorname{cok}(M_1M_2),\ldots,\operatorname{cok}(M_1 \cdots M_k)$. Furthermore, we characterize the universal distributions arising as marginals of a natural generalization of the Cohen-Lenstra measure to sequences of abelian groups with maps between them, which weights sequences inversely proportionally to their number of automorphisms. The proofs develop an extension of the moment method of Wood to joint moments of multiple groups, and rely also on the connection to Hall-Littlewood polynomials and symmetric function identities. As a corollary we obtain an explicit universal distribution for coranks of random matrix products over $\mathbb{F}_p$ as the matrix size tends to infinity.

We show that the eigenpolytopes of graphs are universal in the sense that every polytope, up to affine equivalence, appears as the eigenpolytope of some positively weighted graph. We next extend the theory of graphical designs, which are quadrature rules for graphs, to positively weighted graphs. Through Gale duality for polytopes, we show a bijection between graphical designs and the faces of eigenpolytopes. This bijection proves the existence of graphical designs with positive quadrature weights, and upper bounds the size of a minimal graphical design. Connecting this bijection with the universality of eigenpolytopes, we establish three complexity results: it is strongly NP-complete to determine if there is a graphical design smaller than the mentioned upper bound, it is NP-hard to find a smallest graphical design, and it is #P-complete to count the number of minimal graphical designs.

In this paper, we study a double scaling limit of two multi-matrix models: the $U(N)^2 \times O(D)$-invariant model with all quartic interactions and the bipartite $U(N) \times O(D)$-invariant model with tetrahedral interaction ($D$ being here the number of matrices and $N$ being the size of each matrix). Those models admit a double, large $N$ and large $D$ expansion. While $N$ tracks the genus of the Feynman graphs, $D$ tracks another quantity called the grade. In both models, we rewrite the sum over Feynman graphs at fixed genus and grade as a finite sum over combinatorial objects called schemes. This is a result of combinatorial nature which remains true in the quantum mechanical setting and in quantum field theory. Then we proceed to the double scaling limit at large $D$, i.e. for vanishing grade. In particular, we find that the most singular schemes, in both models, are the same as those found in Benedetti et al. for the $U(N)^2 \times O(D)$-invariant model restricted to its tetrahedral interaction. This is a different universality class than in the 1-matrix model whose double scaling is not summable.

The ground state solution of the random dimer model is at a critical point after, which has been shown with random link excitations. In this paper we test the robustness of the random dimer model to the random link excitation by imposing the maximum weight excitation. We numerically compute the scaling exponents of the curves arising in the model as well as the fractal dimension. Although strong finite size corrections are present, the results are compatible with that of the random link excitation. Furthermore, another form of excitation, the ε - coupling excitation is studied. We find that near-optimal configurations belong to the same universality class as the travelling salesman problem. Thus, we confirm a conjecture on the scaling properties of combinatorial optimisation problems, for the specific case of minimum weight perfect matchings on 2-dimensional lattices. This document was submitted as my thesis project for the MSc Complex Systems Modelling course at King's College London in 2021. In particular, I would like to thank my supervisor, Dr Gabriele Sicuro for his insights and guidance.

We consider the statistics of the extreme eigenvalues of sparse random matrices, a class of random matrices that includes the normalized adjacency matrices of the Erd{\H o}s-R{é}nyi graph $G(N,p)$. Recently, it was shown by Lee, up to an explicit random shift, the optimal rigidity of extreme eigenvalues holds, provided the averaged degree grows with the size of the graph, $pN>N^\varepsilon$. We prove in the same regime, (i) Optimal rigidity holds for all eigenvalues with respect to an explicit random measure. (ii) Up to an explicit random shift, the fluctuations of the extreme eigenvalues are given the Tracy-Widom distribution.

Recently, Rattan and the first author (Ann. Comb. 25 (2021) 697-728) proved a conjectured inequality of Berkovich and Uncu (Ann. Comb. 23 (2019) 263-284) concerning partitions with an impermissible part. In this article, we generalize this inequality upon considering t impermissible parts. We compare these with partitions whose certain parts appear with a frequency which is a perfect t^{th} power. Our inequalities hold after a certain bound, which for given t is a polynomial in s, a major improvement over the previously known bound in the case t=1. To prove these inequalities, our methods involve constructing injective maps between the relevant sets of partitions. The construction of these maps crucially involves concepts from analysis and calculus, such as explicit maps used to prove countability of N^t, and Jensen's inequality for convex functions, and then merge them with techniques from number theory such as Frobenius numbers, congruence classes, binary numbers and quadratic residues. We also show a connection of our results to colored partitions. Finally, we pose an open problem which seems to be related to power residues and the almost universality of diagonal ternary quadratic forms.

The search for universality in random triangulations of manifolds, like those featuring in (Euclidean) Dynamical Triangulations, is central to the random geometry approach to quantum gravity. In case of the 3-sphere, or any other manifold of dimension greater than two for that matter, the pursuit is held back by serious challenges, including the wide open problem of enumerating triangulations. In an attempt to bypass the toughest challenges we identify a restricted family of triangulations, of which the enumeration appears less daunting. In a nutshell, the family consists of triangulated 3-spheres decorated with a pair of trees, one spanning its tetrahedra and the other its vertices, with the requirement that after removal of both trees one is left with a tree-like 2-complex. We prove that these are in bijection with a combinatorial family of triples of plane trees, satisfying restrictions that can be succinctly formulated at the level of planar maps. An important ingredient in the bijection is a step-by-step reconstruction of the triangulations from triples of trees, that results in a natural subset of the so-called locally constructible triangulations, for which spherical topology is guaranteed, through a restriction of the allowed moves. We also provide an alternative characterization of the family in the framework of discrete Morse gradients. Finally, several exponential enumerative bounds are deduced from the triples of trees and some simulation results are presented.

In this paper we study monotone cellular automata in $d$ dimensions. We develop a general method for bounding the growth of the infected set when the initial configuration is chosen randomly, and then use this method to prove a lower bound on the critical probability for percolation that is sharp up to a constant factor in the exponent for every 'critical' model. This is one of three papers that together confirm the Universality Conjecture of Bollobás, Duminil-Copin, Morris and Smith.

In many interacting particle systems, relaxation to equilibrium is thought to occur via the growth of 'droplets', and it is a question of fundamental importance to determine the critical length at which such droplets appear. In this paper we construct a mechanism for the growth of droplets in an arbitrary finite-range monotone cellular automaton on a $d$-dimensional lattice. Our main application is an upper bound on the critical probability for percolation that is sharp up to a constant factor in the exponent. Our method also provides several crucial tools that we expect to have applications to other interacting particle systems, such as kinetically constrained spin models on $\mathbb{Z}^d$. This is one of three papers that together confirm the Universality Conjecture of Bollobás, Duminil-Copin, Morris and Smith.

Determining the index of the Simon congruence is a long outstanding open problem. Two words $u$ and $v$ are called Simon congruent if they have the same set of scattered factors, which are parts of the word in the correct order but not necessarily consecutive, e.g., $\mathtt{oath}$ is a scattered factor of $\mathtt{logarithm}$. Following the idea of scattered factor $k$-universality, we investigate $m$-nearly $k$-universality, i.e., words where $m$ scattered factors of length $k$ are absent, w.r.t. Simon congruence. We present a full characterisation as well as the index of the congruence for $m=1$. For $m\neq 1$, we show some results if in addition $w$ is $(k-1)$-universal as well as some further insights for different $m$.

We investigate the appearance of the square of a Hamilton cycle in the model of randomly perturbed graphs, which is, for a given $α\in (0,1)$, the union of any $n$-vertex graph with minimum degree $αn$ and the binomial random graph $G(n,p)$. This is known when $α> 1/2$, and we determine the exact perturbed threshold probability in all the remaining cases, i.e., for each $α\le 1/2$. We demonstrate that, as $α$ ranges over the interval $(0,1)$, the threshold performs a countably infinite number of `jumps'. Our result has implications on the perturbed threshold for $2$-universality, where we also fully address all open cases.

This article shines new light on the classical problem of tiling rectangles with squares efficiently with a novel method. With a twist on the traditional approach of resistor networks, we provide new and improved results on the matter using the theory of Diophantine Approximation, hence overcoming long-established difficulties, such as generalizations to higher-dimensional analogues. The universality of the method is demonstrated through its applications to different tiling problems. These include tiling rectangles with other rectangles, with their respective higher-dimensional counterparts, as well as tiling equilateral triangles, parallelograms, and trapezoids with equilateral triangles.

We show that the counts of low degree irreducible factors of a random polynomial $f$ over $\mathbb{F}_q$ with independent but non-uniform coefficients behave like that of a uniform random polynomial, exhibiting a form of universality for random polynomials over finite fields. Our strongest results require various assumptions on the parameters, but we are able to obtain results requiring only $q=p$ a prime with $p\leq \exp({n^{1/13}})$ where $n$ is the degree of the polynomial. Our proofs use Fourier analysis, and rely on tools recently applied by Breuillard and Varjú to study the $ax+b$ process, which show equidistribution for $f(α)$ at a single point. We extend this to handle multiple roots and the Hasse derivatives of $f$, which allow us to study the irreducible factors with multiplicity.

In this paper we introduce a new combinatorial approach to analyze the trace of large powers of Wigner matrices. Our approach is motivated from the paper by \citet{sosh}. However the counting approach is different. We start with classical word sentence approach similar to \citet{AZ05} and take the motivation from \citet{sinaisosh}, \citet{sosh} and \citet{peche2009universality} to encode the words to objects similar to Dyck paths. To be precise the map takes a word to a Dyck path with some edges removed from it. Using this new counting we prove edge universality for large Wigner matrices with sub-Gaussian entries. One novelty of this approach is unlike \citet{sinaisosh}, \citet{sosh} and \citet{peche2009universality} we do not need to assume the entries of the matrices are symmetrically distributed around $0$. The main technical contribution of this paper is two folded. Firstly we produce an encoding of the ``contributing words" (for definition one might look at Section \ref{sec:word}) of the Wigner matrix which retrieves the edge universality. Hence this is the best one can do. We hope this method will be applicable to many other scenarios in random matrices. Secondly in course of the paper we give a combinatorial description of the GOE Tracy Widom law. The explanation for GUE is very similar. This explanation might be important for the models where exact calculations are not available but some combinatorial structures are present.