arXiv++ Combinatorics

Fully inhomogeneous spin Hall-Littlewood symmetric rational functions $\mathsf{F}_λ$ arise in the context of $\mathfrak{sl}(2)$ higher spin six vertex models, and are multiparameter deformations of the classical Hall-Littlewood symmetric polynomials. We obtain a refined Cauchy identity expressing a weighted sum of the product of two $\mathsf{F}_λ$'s as a determinant. The determinant is of Izergin-Korepin type: it is the partition function of the six vertex model with suitably decorated domain wall boundary conditions. The proof of equality of two partition functions is based on the Yang-Baxter equation. We rewrite our Izergin-Korepin type determinant in a different form which includes one of the sets of variables in a completely symmetric way. This determinantal identity might be of independent interest, and also allows to directly link the spin Hall-Littlewood rational functions with (the Hall-Littlewood particular case of) the interpolation Macdonald polynomials. In a different direction, a Schur expansion of our Izergin-Korepin type determinant yields a deformation of Schur symmetric polynomials. In the spin-$\frac12$ specialization, our refined Cauchy identity leads to a summation identity for eigenfunctions of the ASEP (Asymmetric Simple Exclusion Process), a celebrated stochastic interacting particle system in the Kardar-Parisi-Zhang universality class. This produces explicit integral formulas for certain multitime probabilities in ASEP.

We consider the contact process on the model of hyperbolic random graph, in the regime when the degree distribution obeys a power law with exponent $χ\in(1,2)$ (so that the degree distribution has finite mean and infinite second moment). We show that the probability of non-extinction as the rate of infection goes to zero decays as a power law with an exponent that only depends on $χ$ and which is the same as in the configuration model, suggesting some universality of this critical exponent. We also consider finite versions of the hyperbolic graph and prove metastability results, as the size of the graph goes to infinity.

In this paper, we study the graph classification problem from the graph homomorphism perspective. We consider the homomorphisms from $F$ to $G$, where $G$ is a graph of interest (e.g. molecules or social networks) and $F$ belongs to some family of graphs (e.g. paths or non-isomorphic trees). We show that graph homomorphism numbers provide a natural invariant (isomorphism invariant and $\mathcal{F}$-invariant) embedding maps which can be used for graph classification. Viewing the expressive power of a graph classifier by the $\mathcal{F}$-indistinguishable concept, we prove the universality property of graph homomorphism vectors in approximating $\mathcal{F}$-invariant functions. In practice, by choosing $\mathcal{F}$ whose elements have bounded tree-width, we show that the homomorphism method is efficient compared with other methods.

We consider a one-dimensional system of particles, moving at constant velocities chosen independently according to a symmetric distribution on $\{-1,0,+1\}$, and annihilating upon collision -- with, in case of triple collision, a uniformly random choice of survivor among the two moving particles. When the system contains infinitely many particles, whose starting locations are given by a renewal process, a phase transition was proved to happen (see arXiv:1811.08709) as the density of static particles crosses the value $1/4$. Remarkably, this critical value, along with certain other statistics, was observed not to depend on the distribution of interdistances. In the present paper, we investigate further this universality by proving a stronger statement about a finite system of particles with fixed, but randomly shuffled, interdistances. We give two proofs, one by an induction allowing explicit computations, and one by a more direct comparison. This result entails a new nontrivial independence property that in particular gives access to the density of surviving static particles at a given time in the infinite model. Finally, in the asymmetric case, further similar independence properties are proved to keep holding, including a striking property of gamma distributed interdistances that contrasts with the general behavior.

A word $u=u_1\dots u_n$ is a scattered factor of a word $w$ if $u$ can be obtained from $w$ by deleting some of its letters: there exist the (potentially empty) words $v_0,v_1,..,v_n$ such that $w = v_0u_1v_1...u_nv_n$. The set of all scattered factors up to length $k$ of a word is called its full $k$-spectrum. Firstly, we show an algorithm deciding whether the $k$-spectra for given $k$ of two words are equal or not, running in optimal time. Secondly, we consider a notion of scattered-factors universality: the word $w$, with $\letters(w)=Σ$, is called $k$-universal if its $k$-spectrum includes all words of length $k$ over the alphabet $Σ$; we extend this notion to $k$-circular universality. After a series of preliminary combinatorial results, we present an algorithm computing, for a given $k'$-universal word $w$ the minimal $i$ such that $w^i$ is $k$-universal for some $k>k'$. Several other connected problems~are~also~considered.

We study the double- and triple-scaling limits of a complex multi-matrix model, with $\mathrm{U}(N)^2\times \mathrm{O}(D)$ symmetry. The double-scaling limit amounts to taking simultaneously the large-$N$ (matrix size) and large-$D$ (number of matrices) limits while keeping the ratio $N/\sqrt{D}=M$ fixed. The triple-scaling limit consists in taking the large-$M$ limit while tuning the coupling constant $λ$ to its critical value $λ_c$ and keeping fixed the product $M(λ_c-λ)^α$, for some value of $α$ that depends on the particular combinatorial restrictions imposed on the model. Our first main result is the complete recursive characterization of the Feynman graphs of arbitrary genus which survive in the double-scaling limit. Next, we classify all the dominant graphs in the triple-scaling limit, which we find to have a plane binary tree structure with decorations. Their critical behavior belongs to the universality class of branched polymers. Lastly, we classify all the dominant graphs in the triple-scaling limit under the restriction to three-edge connected (or two-particle irreducible) graphs. Their critical behavior falls in the universality class of Liouville quantum gravity (or, in other words, the Brownian sphere).

A combinatorial neural code $\mathscr C\subseteq 2^{[n]}$ is convex if it arises as the intersection pattern of convex open subsets of $\mathbb R^d$. We relate the emerging theory of convex neural codes to the established theory of oriented matroids, both categorically and with respect to geometry and computational complexity. On the categorical side, we show that the map taking an acyclic oriented matroid to the code of positive parts of its topes is a faithful functor. We adapt the oriented matroid ideal introduced by Novik, Postnikov, and Sturmfels into a functor from the category of oriented matroids to the category of rings; then, we show that the resulting ring maps naturally to the neural ring of the matroid's neural code. For geometry and computational complexity, we show that a code has a realization with convex polytopes if and only if it lies below the code of a representable oriented matroid in the partial order of codes introduced by Jeffs. We show that previously published examples of non-convex codes do not lie below any oriented matroids, and we construct examples of non-convex codes lying below non-representable oriented matroids. By way of this construction, we can apply Mnëv-Sturmfels universality to show that deciding whether a combinatorial code is convex is NP-hard.

The main objects under consideration in this thesis are called maps, a certain class of graphs embedded on surfaces. Our problems have a powerful relatively recent tool in common, the so-called topological recursion (TR) introduced by Chekhov, Eynard and Orantin. We call a map fully simple if it has non self-intersecting disjoint boundaries, and ordinary if such a restriction is not imposed. We study the combinatorial relation between fully simple and ordinary maps with the topology of a disk or a cylinder, which reproduces relations between moments and free cumulants established in the context of free probability. We propose a combinatorial interpretation of the exchange symplectic transformation of TR. We provide a matrix model interpretation for fully simple maps via the formal hermitian matrix model with external field and deduce a universal relation between generating series of fully simple and ordinary maps, which involves double monotone Hurwitz numbers. In particular, we obtain an ELSV-like formula for double $2$-orbifold strictly monotone Hurwitz numbers. We consider ordinary maps endowed with an $O(\mathsf{n})$ loop model, which is a classical model in statistical physics, and determine which shapes are more likely to occur by looking at the nesting properties of the loops decorating the maps. We want to study the limiting objects when the number of vertices becomes arbitrarily large, which can be done by studying the generating series at dominant singularities. We analyze the nesting statistics in the $O(\mathsf{n})$ loop model on random maps of arbitrary topologies in the presence of large and small boundaries, relying on previous results for disks and cylinders and TR for this model. We study the generating series of maps which realize a fixed nesting graph and characterize their critical behavior in the dense and dilute phases.

A word on $q$ symbols is a sequence of letters from a fixed alphabet of size $q$. For an integer $k\ge 1$, we say that a word $w$ is $k$-universal if, given an arbitrary word of length $k$, one can obtain it by removing entries from $w$. It is easily seen that the minimum length of a $k$-universal word on $q$ symbols is exactly $qk$. We prove that almost every word of size $(1+o(1))c_qk$ is $k$-universal with high probability, where $c_q$ is an explicit constant whose value is roughly $q\log q$. Moreover, we show that the $k$-universality property for uniformly chosen words exhibits a sharp threshold. Finally, by extending techniques of Alon [Geometric and Functional Analysis 27 (2017), no. 1, 1--32], we give asymptotically tight bounds for every higher dimensional analogue of this problem.

A matroid is a machine capturing linearity of mathematical objects and producing combinatorial structures. Matroid structure arises everywhere since linearity is a ubiquitous concept. One natural way to obtain matroids is by considering hyperplane arrangements, which give rise to convex polytopes called matroid polytopes. Much research has been conducted on these three areas: matroids, matroid polytopes, and hyperplane arrangements. However, substantial gaps in our knowledge remain, and the correspondence diagram between those areas needs to be more extensive. For instance, currently, there is no matroid counterpart of a matroid subdivision, and only some matroid subdivisions are associated with stable hyperplane arrangements. Moreover, we need a deeper understanding of the face structure of a matroid polytope and how to glue or subdivide base polytopes; the latter requires overcoming Mnev's universality theorem. Another interesting question is whether the birational geometry of hyperplane arrangements can be implemented over matroids. In this paper, we develop a theory that integrates the three areas into a trinity relationship and provide solutions to the aforementioned questions while answering as many as possible.

The Turán number $\text{ex}(n,H)$ of a graph $H$ is the maximal number of edges in an $H$-free graph on $n$ vertices. In $1983$ Chung and Erdős asked which graphs $H$ with $e$ edges minimize $\text{ex}(n,H)$. They resolved this question asymptotically for most of the range of $e$ and asked to complete the picture. In this paper we answer their question by resolving all remaining cases. Our result translates directly to the setting of universality, a well-studied notion of finding graphs which contain every graph belonging to a certain family. In this setting we extend previous work done by Babai, Chung, Erdős, Graham and Spencer, and by Alon and Asodi.

It is a classical fact that for any $\varepsilon > 0$, a random permutation of length $n = (1 + \varepsilon) k^2 / 4$ typically contains a monotone subsequence of length $k$. As a far-reaching generalization, Alon conjectured that a random permutation of this same length $n$ is typically $k$-universal, meaning that it simultaneously contains every pattern of length $k$. He also made the simple observation that for $n = O(k^2 \log k)$, a random length-$n$ permutation is typically $k$-universal. We make the first significant progress towards Alon's conjecture by showing that $n = 2000 k^2 \log \log k$ suffices.

We consider the PushTASEP (pushing totally asymmetric simple exclusion process, also sometimes called long-range TASEP) with the step initial configuration evolving in an inhomogeneous space. That is, the rate of each particle's jump depends on the location of this particle. We match the distribution of the height function of this PushTASEP with Schur processes. Using this matching and determinantal structure of Schur processes, we obtain limit shape and fluctuation results which are typical for stochastic particle systems in the Kardar-Parisi-Zhang universality class. PushTASEP is a close relative of the usual TASEP. In inhomogeneous space the former is integrable, while the integrability of the latter is not known.

We formalize and generalize the concept of a topological state-sum construction using the language of tensor networks. We give examples for constructions that are possibly more general than all state-sum constructions in the literature that we are aware of. In particular we propose a state-sum construction that is universal in the sense that it can emulate every other state-sum construction. Physically, state-sum models in $n$ dimensions correspond to fixed point models for topological phases of matter in $n$ space-time dimensions. We conjecture that our universal state-sum construction contains fixed point models for topological phases that are not captured by known constructions. In particular we demonstrate that, unlike common state-sum constructions, the construction is compatible with the absence of gapped boundaries and commuting-projector Hamiltonians in $2+1$-dimensional chiral topological phases.

In a nutshell, we show that polynomials and nested polytopes are topological, algebraic and algorithmically equivalent. Given two polytops $A\subseteq B$ and a number $k$, the Nested Polytope Problem (NPP) asks, if there exists a polytope $X$ on $k$ vertices such that $A\subseteq X \subseteq B$. The polytope $A$ is given by a set of vertices and the polytope $B$ is given by the defining hyperplanes. We show a universality theorem for NPP. Given an instance $I$ of the NPP, we define the solutions set of $I$ as $$ V'(I) = \{(x_1,\ldots,x_k)\in \mathbb{R}^{k\cdot n} : A\subseteq \text{conv}(x_1,\ldots,x_k) \subseteq B\}.$$ As there are many symmetries, induced by permutations of the vertices, we will consider the \emph{normalized} solution space $V(I)$. Let $F$ be a finite set of polynomials, with bounded solution space. Then there is an instance $I$ of the NPP, which has a rationally-equivalent normalized solution space $V(I)$. Two sets $V$ and $W$ are rationally equivalent if there exists a homeomorphism $f : V \rightarrow W$ such that both $f$ and $f^{-1}$ are given by rational functions. A function $f:V\rightarrow W$ is a homeomorphism, if it is continuous, invertible and its inverse is continuous as well. As a corollary, we show that NPP is $\exists \mathbb{R}$-complete. This implies that unless $\exists \mathbb{R} =$ NP, the NPP is not contained in the complexity class NP. Note that those results already follow from a recent paper by Shitov. Our proof is geometric and arguably easier.

In this paper we consider uniformly random lozenge tilings of arbitrary domains approximating (after suitable normalization) a closed, simply-connected subset of $\mathbb{R}^2$ with piecewise smooth, simple boundary. We show that the local statistics of this model around any point in the liquid region of its limit shape are given by the infinite-volume, translation-invariant, extremal Gibbs measure of the appropriate slope, thereby confirming a prediction of Cohn-Kenyon-Propp from 2001 in the case of lozenge tilings. Our proofs proceed by locally coupling a uniformly random lozenge tiling with a model of Bernoulli random walks conditioned to never intersect, whose convergence of local statistics has been recently understood by the work of Gorin-Petrov. Central to implementing this procedure is to establish a local law for the random tiling, which states that the associated height function is approximately linear on any mesoscopic scale.

We study three preferential attachment models where the parameters are such that the asymptotic degree distribution has infinite variance. Every edge is equipped with a non-negative i.i.d. weight. We study the weighted distance between two vertices chosen uniformly at random, the typical weighted distance, and the number of edges on this path, the typical hopcount. We prove that there are precisely two universality classes of weight distributions, called the explosive and conservative class. In the explosive class, we show that the typical weighted distance converges in distribution to the sum of two i.i.d. finite random variables. In the conservative class, we prove that the typical weighted distance tends to infinity, and we give an explicit expression for the main growth term, as well as for the hopcount. Under a mild assumption on the weight distribution the fluctuations around the main term are tight.

Kim and Vu made the following conjecture (\textit{Advances in Mathematics}, 2004): if $d\gg \log n$, then the random $d$-regular graph $\mathcal G(n,d)$ can asymptotically almost surely be "sandwiched" between $\mathcal G(n,p_1)$ and $\mathcal G(n,p_2)$ where $p_1$ and $p_2$ are both $(1+o(1))d/n$. They proved this conjecture for $\log n\ll d\le n^{1/3-o(1)}$, with a defect in the sandwiching: $\mathcal G(n,d)$ contains $\mathcal G(n,p_1)$ perfectly, but is not completely contained in $\mathcal G(n,p_2)$. Recently, the embedding $\mathcal G(n,p_1) \subseteq \mathcal G(n,d)$ was improved by Dudek, Frieze, Ruciński and Šileikis to $d=o(n)$. In this paper, we prove Kim--Vu's sandwich conjecture, with perfect containment on both sides, for all $d\gg n/\sqrt{\log n}$. For $d=O(n/\sqrt{\log n})$, we prove a weaker version of the sandwich conjecture with $p_2$ approximately equal to $(d/n)\log n$, without any defect. In addition to sandwiching regular graphs, our results cover graphs whose degrees are asymptotically equal. The proofs rely on estimates for the probability that a random factor of a pseudorandom graph contains a given edge, which is of independent interest. As applications, we obtain new results on the properties of random graphs with given near-regular degree sequences, including Hamiltonicity and universality in subgraph containment. We also determine several graph parameters in these random graphs, such as the chromatic number, small subgraph counts, the diameter, and the independence number. We are also able to characterise many phase transitions in edge percolation on these random graphs, such as the threshold for the appearance of a giant component.

Tensor models are natural generalizations of matrix models. The interactions and observables in the case of unitary invariant models are generalizations of matrix traces. Some notable interactions in the literature include the melonic ones, the tetrahedral one as well as the planar ones in rank three, or necklaces in even ranks. Here we introduce generalized melonic interactions which generalize the melonic and necklace interactions. We characterize them as tree-like gluings of quartic interactions. We also completely characterize the Feynman graphs which contribute to the large $N$ limit. For a subclass of generalized melonic interactions called totally unbalanced interactions, we prove that the large $N$ limit is Gaussian and therefore the Feynman graphs are in bijection with trees. This result further extends the class of tensor models which fall into the Gaussian universality class. Another key aspect of tensor models with generalized melonic interactions is that they can be written as matrix models without increasing the number of degrees of freedom of the original tensor models. In the case of totally unbalanced interactions, this new matrix model formulation in fact decreases the number of degrees of freedom, meaning that some of the original degrees of freedom are effectively integrated. We then show how the large $N$ Gaussian behavior can be reproduced using a saddle point analysis on those matrix models.

Universality theorems (in the sense of N. Mnëv) claim that the realization space of a combinatorial object (a point configuration, a hyperplane arrangement, a convex polytope, etc.) can be arbitrarily complicated. In the paper, we prove a universality theorem for a graph in the plane with a prescribed \textit{oriented matroid of stresses}, that is the collection of signs of all possible equilibrium stresses of the graph. This research is motivated by the Grassmanian stratification (Gelfand, Goresky, MacPherson, Serganova) by thin Schubert cells, and by a recent series of papers on stratifications of configuration spaces of tensegrities (Doray, Karpenkov, Schepers, Servatius).