arXiv++ Combinatorics

We consider hereditary classes of graphs equipped with a total order. We provide multiple equivalent characterisations of those classes which have bounded twin-width. In particular, we prove a grid theorem for classes of ordered graphs which have unbounded twin-width. From this we derive that the model-checking problem for first-order logic is fixed-parameter tractable over a hereditary class of ordered graphs if, and -- under common complexity-theoretic assumptions -- only if the class has bounded twin-width. For hereditary classes of ordered graphs, we show that bounded twin-width is equivalent to the NIP property from model theory, as well as the smallness condition from enumerative combinatorics. We prove the existence of a gap in the growth of hereditary classes of ordered graphs. Furthermore, we provide a grid theorem which applies to all monadically NIP classes of structures (ordered or unordered), or equivalently, classes which do not transduce the class of all finite graphs.

In this paper, we use techniques of enumerative combinatorics to study the following problem: we count the number of ways to split $n$ balls into nonempty, ordered bins so that the most crowded bin has exactly $k$ balls. We find closed forms for three of the different cases that can arise: $k > \frac{n}{2}$, $k = \frac{n}{2}$, and when there exists $j < k$ such that $n = 2k + j$. As an immediate result of our proofs, we find a closed form for the number of positive integer solutions to $x_1 + x_2 + \dots + x_{\ell} = n$ with the attained maximum of $\{x_1, x_2, \dots, x_{\ell}\}$ being equal to $k$, when $n$ and $k$ have one of the aforementioned algebraic relationships to each other. The problem is generalized to find a formula that enumerates the total number of ways without specific conditions on $n, \ell, k$. Subsequently, various additional identities and estimates related to this enumeration are proven and interpreted.

Orbit harmonics is a tool in combinatorial representation theory which promotes the (ungraded) action of a linear group $G$ on a finite set $X$ to a graded action of $G$ on a polynomial ring quotient by viewing $X$ as a $G$-stable point locus in $\mathbb{C}^n$. The cyclic sieving phenomenon is a notion in enumerative combinatorics which encapsulates the fixed-point structure of the action of a finite cyclic group $C$ on a finite set $X$ in terms of root-of-unity evaluations of an auxiliary polynomial $X(q)$. We apply orbit harmonics to prove cyclic sieving results.

Motivated by higher vanishing multiplicity generalizations of Alon's Combinatorial Nullstellensatz and its applications, we study the following problem: for fixed $k\geq 1$ and $n$ large with respect to $k$, what is the minimum possible degree of a polynomial $P\in \mathbb{R}[x_1,\dots,x_n]$ with $P(0,\dots,0)\neq 0$ such that $P$ has zeroes of multiplicity at least $k$ at all points in $\{0,1\}^n\setminus \{(0,\dots,0)\}$? For $k=1$, a classical theorem of Alon and Füredi states that the minimum possible degree of such a polynomial equals $n$. In this paper, we solve the problem for all $k\geq 2$, proving that the answer is $n+2k-3$. As an application, we improve a result of Clifton and Huang on configurations of hyperplanes in $\mathbb{R}^n$ such that each point in $\{0,1\}^n\setminus \{(0,\dots,0)\}$ is covered by at least $k$ hyperplanes, but the point $(0,\dots,0)$ is uncovered. Surprisingly, the proof of our result involves Catalan numbers and arguments from enumerative combinatorics.

Dyck paths are one of the most important objects in enumerative combinatorics, and there are many papers devoted to counting selected families of Dyck paths. Here we present two approaches for the automatic counting of many such families, using both a "dumb" approach (driven by numeric dynamic programming) that often works in practice, and a "clever" approach, needed for larger problems, driven by "symbolic" dynamic programming. Both approaches are fully automated and implemented in Maple.

The study of permutation and partition statistics is a classical topic in enumerative combinatorics. The major index statistic on permutations was introduced a century ago by Percy MacMahon in his seminal works. In this extended abstract, we study the well-known generalization of the major index to standard Young tableaux. We present several new results. In one direction, we introduce and study two partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and certain skew shapes, and has representation-theoretic consequences, both for the symmetric group and for Shephard-Todd groups. In a different direction, we consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, "aft," generalizing earlier results of Canfield-Janson-Zeilberger, Chen-Wang-Wang, and others. We also study unimodality, log-concavity, and local limit properties.

We propose a new definition of effective formulas for problems in enumerative combinatorics. We outline the proof of the fact that every linear recurrence sequence of integers has such a formula. It follows from a lower bound that can be deduced from the Skolem-Mahler-Lech theorem and the Subspace Theorem. We will give details of this deduction that is due to P. Corvaja in the full version of this extended abstract.

A small set of combinatorial sequences have coefficients that can be represented as moments of a nonnegative measure on $[0, \infty)$. Such sequences are known as Stieltjes moment sequences. This article focuses on some classical sequences in enumerative combinatorics, denoted $Av(\mathcal{P})$, and counting permutations of $\{1, 2, \ldots, n \}$ that avoid some given pattern $\mathcal{P}$. For increasing patterns $\mathcal{P}=(12\ldots k)$, we recall that the corresponding sequences, $Av(123\ldots k)$, are Stieltjes moment sequences, and we explicitly find the underlying density function, either exactly or numerically, by using the Stieltjes inversion formula as a fundamental tool. We show that the generating functions of the sequences $\, Av(1234)$ and $\, Av(12345)$ correspond, up to simple rational functions, to an order-one linear differential operator acting on a classical modular form given as a pullback of a Gaussian $\, _2F_1$ hypergeometric function, respectively to an order-two linear differential operator acting on the square of a classical modular form given as a pullback of a $\, _2F_1$ hypergeometric function. We demonstrate that the density function for the Stieltjes moment sequence $Av(123\ldots k)$ is closely, but non-trivially, related to the density attached to the distance traveled by a walk in the plane with $k-1$ unit steps in random directions. Finally, we study the challenging case of the $Av(1324)$ sequence and give compelling numerical evidence that this too is a Stieltjes moment sequence. Accepting this, we show how rigorous lower bounds on the growth constant of this sequence can be constructed, which are stronger than existing bounds. A further unproven assumption leads to even better bounds, which can be extrapolated to give an estimate of the (unknown) growth constant.

We initiate the study of the enumerative combinatorics of the intervals in the Dyck pattern poset. More specifically, we find some closed formulas to express the size of some specific intervals, as well as the number of their covering relations. In most of the cases, we are also able to refine our formulas by rank. We also provide the first results on the Möbius function of the Dyck pattern poset, giving for instance a closed expression for the Möbius function of initial intervals whose maximum is a Dyck path having exactly two peaks.

Random tensors can be used to produce random matrices. This idea is, for instance, very natural when one studies random quantum states with the aim of exploring properties that are generically true, or true with some probability. We hereby study the moments generating function, in the sense of the Stieltjes transform - i.e. the resolvent -, of a random matrix defined as a product of two different marginals of the same random tensor. We study the resolvent in two different asymptotical regimes. In the first regime, the resolvent is easily computed thanks to freeness results for the two different marginals and straightforward application of free harmonic analysis. In the second regime, we show that the resolvent satisfies an algebraic equation of degree six. This algebraic equation possesses roots whose expressions can be given explicitly in terms of radicals. We obtain this result by using an enumerative combinatorics approach. One of the interesting aspects of the second regime is that the corresponding probability density function interpolates between the square of a Marchenko-Pastur and the free multiplicative square of a Marchenko-Pastur law.

As an application of linear algebra for enumerative combinatorics, we introduce two new ideas, signed bigrassmannian polynomials and bigrassmannian determinant. First, a signed bigrassmannian polynomial is a variant of the statistic given by the number of bigrassmannian permutations below a permutation in Bruhat order as Reading suggested (2002) and afterward the author developed (2011). Second, bigrassmannian determinant is a $q$-analog of the determinant with respect to our statistic. It plays a key role for a determinantal expression of those polynomials. We further show that bigrassmannian determinant satisfies weighted condensation as a generalization of Dodgson, Jacobi-Desnanot and Robbins-Rumsey (1986).

In this methodological article on experimental-yet-rigorous enumerative combinatorics, we use two instructive case studies, to show that often, just like Alexander the Great before us, the simple, "cheating" solution to a hard problem is the best. So before you spend days (and possibly years) trying to answer a mathematical question by analyzing and trying to 'understand' its structure, let your computer generate enough data, and then let it guess the answer. Often its guess can be proved by a quick 'hand-waving' (yet fully rigorous) 'meta-argument'. Since our purpose is to illustrate a methodology, we include many details, as well as Maple source-code.

In this paper, we justify by the use of Enumerative Combinatorics, that the results obtained in \cite{Alarcon1}, where is analysed the complex dynamics of an epidemic model to identify the nodes that contribute the most to the propagation process and because of that are good candidates to be controlled in the network in order to stabilize the network to reach the extinction state, is applicable in almost all the cases. The model analysed was proposed in \cite{Gomez1} %et al. [Phys.Rev.E 84, 036105(2011)] and results obtained in \cite{Alarcon1} implies that it is not necessary to control all nodes, but only a minimal set of nodes if the topology of the network is not regular. This result could be important in the spirit of considering policies of isolation or quarantine of those nodes to be controlled. Simulation results were presented in \cite{Alarcon1} for large free-scale and regular networks, that corroborate the theoretical findings. In this article we justify the applicability of the controllability result obtained in \cite{Alarcon1} in almost all the cases by means of the use of Combinatorics. {\em Mathematics Subjects Classification}: 05A16,34H20,58E25 {\em Keywords}: Asymptotic Graph Enumeration Problems; Network control; virus spreading.

Lecture hall partitions are a fundamental combinatorial structure which have been studied extensively over the past two decades. These objects have produced new results, as well as reinterpretations and generalizations of classicial results, which are of interest in combinatorial number theory, enumerative combinatorics, and convex geometry. In a recent survey of Savage \cite{Savage-LHP-Survey}, a wide variety of these results are nicely presented. However, since the publication of this survey, there have been many new developments related to the polyhedral geometry and Ehrhart theory arising from lecture hall partitions. Subsequently, in this survey article, we focus exclusively on the polyhedral geometric results in the theory of lecture hall partitions in an effort to showcase these new developments. In particular, we highlight results on lecture hall cones, lecture hall simplices, and lecture hall order polytopes. We conclude with an extensive list of open problems and conjectures in this area.

In this paper, we utilize the machinery of cluster algebras, quiver mutations, and brane tilings to study a variety of historical enumerative combinatorics questions all under one roof. Previous work [Zha, LMNT14], which arose during the second author's monitorship of undergraduates, and more recently of both authors [LM17], analyzed the cluster algebra associated to the cone over $\mathbf{dP_3}$, the del Pezzo surface of degree $6$ ($\mathbb{CP}^2$ blown up at three points). By investigating sequences of toric mutations, those occurring only at vertices with two incoming and two outgoing arrows, in this cluster algebra, we obtained a family of cluster variables that could be parameterized by $\mathbb{Z}^3$ and whose Laurent expansions had elegant combinatorial interpretations in terms of dimer partition functions (in most cases). While the earlier work [Zha, LMNT14, LM17] focused exclusively on one possible initial seed for this cluster algebra, there are in total four relevant initial seeds (up to graph isomorphism). In the current work, we explore the combinatorics of the Laurent expansions from these other initial seeds and how this allows us to relate enumerations of perfect matchings on Dungeons to Dragons.

We consider the problem of computing $R(c,a)$, the number of unlabeled graded lattices of rank $3$ that contain $c$ coatoms and $a$ atoms. More specifically we do this when $c$ is fairly small, but $a$ may be large. For this task, we describe a computational method that combines constructive listing of basic cases and tools from enumerative combinatorics. With this method we compute the exact values of $R(c,a)$ for $c\le 9$ and $a\le 1000$. We also show that, for any fixed $c$, there exists a quasipolynomial in $a$ that matches with $R(c,a)$ for all $a$ above a small value. We explicitly determine these quasipolynomials for $c \le 7$, thus finding closed form expressions of $R(c,a)$ for $c \le 7$.

We discuss connection between the XXZ Heisenberg spin chain in the limiting case of zero anisotropy and some aspects of enumerative combinatorics. The representation of the Bethe wave functions via the Schur functions allows to apply the theory of symmetric functions to calculation of the correlation functions. We provide a combinatorial derivation of the dynamical correlation functions of the projection operator in terms of nests of self-avoiding lattice paths.

We introduce a family of sequence transformations, defined via partial Bell polynomials, that may be used for a systematic study of a wide variety of problems in enumerative combinatorics. This family includes some of the transformations listed in the paper by Bernstein & Sloane, now seen as transformations under the umbrella of partial Bell polynomials. Our goal is to describe these transformations from the algebraic and combinatorial points of view. We provide functional equations satisfied by the generating functions, derive inverse relations, and give a convolution formula. While the full range of applications remains unexplored, in this paper we show a glimpse of the versatility of Bell transformations by discussing the enumeration of several combinatorial configurations, including rational Dyck paths, rooted planar maps, and certain classes of permutations.

We give a broad survey of recent results in Enumerative Combinatorics and their complexity aspects.

An independent vertex set of a graph is a set of vertices of the graph in which no two vertices are adjacent, and a maximal independent set is one that is not a proper subset of any other independent set. In this paper we count the number of maximal independent sets of vertices on a complete rectangular grid graph. More precisely, we provide a recursive matrix-relation producing the partition function with respect to the number of vertices. The asymptotic behavior of the maximal hard square entropy constant is also provided. We adapt the state matrix recursion algorithm, recently invented by the author to answer various two-dimensional regular lattice model problems in enumerative combinatorics and statistical mechanics.