arXiv++ Combinatorics

The enumeration of planar maps equipped with an Eulerian orientation has attracted attention in both combinatorics and theoretical physics since at least 2000. The case of 4-valent maps is particularly interesting: these orientations are in bijection with properly 3-coloured quadrangulations, while in physics they correspond to configurations of the ice model. We solve both problems -- namely the enumeration of planar Eulerian orientations and of 4-valent planar Eulerian orientations -- by expressing the associated generating functions as the inverses (for the composition of series) of simple hypergeometric series. Using these expressions, we derive the asymptotic behaviour of the number of planar Eulerian orientations, thus proving earlier predictions of Kostov, Zinn-Justin, Elvey Price and Guttmann. This behaviour, $μ^n /(n \log n)^2$, prevents the associated generating functions from being D-finite. Still, these generating functions are differentially algebraic, as they satisfy non-linear differential equations of order $2$. Differential algebraicity has recently been proved for other map problems, in particular for maps equipped with a Potts model. Our solutions mix recursive and bijective ingredients. In particular, a preliminary bijection transforms our oriented maps into maps carrying a height function on their vertices. In the 4-valent case, we also observe an unexpected connection with the enumeration of maps equipped with a spanning tree that is internally inactive in the sense of Tutte. This connection remains to be explained combinatorially.

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 continue to investigate the properties of the earlier defined functions fm and gm, which depend on an initial arithmetic function f0. In this papers values of f0 are the Fine numbers. We investigate functions fi; gi; (i = 1; 2; 3; 4). For each function, we derive an explicit formula and give a combinatorial interpretation. It appears that g2 and g3 are well-known combinatoric object called the Catalan triangles. We finish with an identity consisting of ten items.

Building on a bijection of Vandervelde, we enumerate certain unimodal sequences whose alternating sum equals zero. This enables us to refine the enumeration of strict partitions with respect to the number of parts and the BG-rank.

The presence of slipknots in configurations of proteins and DNA has been shown to affect their functionality, or alter it entirely. Historically, polymers are modeled as polygonal chains in space. As an alternative to space curves, we provide a framework for working with subknots inside of knot diagrams via knotoid diagrams. We prove using a pattern theorem for knot diagrams that not only are almost all knot diagrams slipknotted, almost all unknot diagrams are slipknotted. This proves in the random diagram model a conjecture yet unproven in random space curve models. We also discuss conjectures on the enumeration of knotoid diagrams.

We describe an algorithm to enumerate polytopes. This algorithm is then implemented to give a complete classification of combinatorial spheres of dimension 3 with 9 vertices and decide polytopality of those spheres. In particular, we completely enumerate all combinatorial types of 4-dimensional polytopes with 9 vertices. It is shown that all of those combinatorial types are rational: They can be realized with rational coordinates. We find 316014 combinatorial spheres on 9 vertices. Of those, 274148 can be realized as the boundary complex of a four-dimensional polytope and the remaining 41866 are non-polytopal.

The classical derangement numbers count fixed point-free permutations. In this paper we study the enumeration problem of generalized derangements, when some of the elements are restricted to be in distinct cycles in the cycle decomposition. We find exact formula, combinatorial relations for these numbers as well as analytic and asymptotic description. Moreover, we study deeper number theoretical properties, like modularity, $p$-adic valuations, and diophantine problems.

Ciucu showed that the number of lozenge tilings of a hexagon in which a chain of equilateral triangles of alternating orientations, called a `\emph{fern}', has been removed in the center is given by a simple product formula (Adv. Math. 2017). In this paper, we present a multi-parameter generalization of this work by giving an explicit tiling enumeration for a hexagon with three ferns removed, besides the middle fern located in the center as in Ciucu's region, we remove two additional ferns from two sides of the hexagon. Our result also implies a counterpart of MacMahon's classical formula of boxed plane partitions, corresponding the \emph{exterior} of the union of three disjoint concave polygons obtained by turning 120 degrees after drawing each side.

Recently O. Pechenik studied the cyclic sieving of increasing tableaux of shape $2\times n$, and obtained a polynomial on the major index of these tableaux, which is a $q$-analogue of refined small Schröder numbers. We define row-increasing tableaux and study the major index and amajor index of row-increasing tableaux of shape $2 \times n$. The resulting polynomials are both $q$-analogues of refined large Schröder numbers. For both results we give bijective proofs.

The present paper is concerned with the enumeration of the state diagrams for some classes of knot shadows endowed with the usual connected sum operation. We focus on shadows that are recursively generated by knot shadows with up to 3 crossings, and for which the enumeration problem is solved with the help of generating polynomials.

We provide precise asymptotic estimates for the number of several classes of labelled cubic planar graphs, and we analyze properties of such random graphs under the uniform distribution. This model was first analyzed by Bodirsky et al. (Random Structures Algorithms 2007). We revisit their work and obtain new results on the enumeration of cubic planar graphs and on random cubic planar graphs. In particular, we determine the exact probability of a random cubic planar graph being connected, and we show that the distribution of the number of triangles in random cubic planar graphs is asymptotically normal with linear expectation and variance. To the best of our knowledge, this is the first time one is able to determine the asymptotic distribution for the number of copies of a fixed graph containing a cycle in classes of random planar graphs arising from planar maps.

Let $Δ=\{ δ_1,δ_2,...,δ_m \} $ be a finite set of 2-connected patterns, i.e. graphs up to vertex relabelling. We study the generating function $D_{Δ}(z,u_1,u_2,...,u_m),$ which counts polygon dissections and marks subgraph copies of $δ_i$ with the variable $u_i$. We prove that this is always algebraic, through an explicit combinatorial decomposition depending on $Δ$. The decomposition also gives a defining system for $D_{Δ}(z,\mathbf{0})$, which encodes polygon dissections that restrict these patterns as subgraphs. In this way, we are able to extract normal limit laws for the patterns when they are encoded, and perform asymptotic enumeration of the resulting classes when they are avoided. The results can be directly transferred in the case of labelled outerplanar graphs. We give examples and compute the relevant constants when the patterns are small cycles or dissections.

We continue the study of the properties of graphs in which the ball of radius $r$ around each vertex induces a graph isomorphic to the ball of radius $r$ in some fixed vertex-transitive graph $F$, for various choices of $F$ and $r$. This is a natural extension of the study of regular graphs. More precisely, if $F$ is a vertex-transitive graph and $r \in \mathbb{N}$, we say a graph $G$ is {\em $r$-locally $F$} if the ball of radius $r$ around each vertex of $G$ induces a graph isomorphic to the graph induced by the ball of radius $r$ around any vertex of $F$. We consider the following random graph model: for each $n \in \mathbb{N}$, we let $G_n = G_n(F,r)$ be a graph chosen uniformly at random from the set of all unlabelled, $n$-vertex graphs that are $r$-locally $F$. We investigate the properties possessed by the random graph $G_n$ with high probability, for various natural choices of $F$ and $r$. We prove that if $F$ is a Cayley graph of a torsion-free group of polynomial growth, and $r$ is sufficiently large depending on $F$, then the random graph $G_n = G_n(F,r)$ has largest component of order at most $n^{5/6}$ with high probability, and has at least $\exp(n^δ)$ automorphisms with high probability, where $δ>0$ depends upon $F$ alone. Both properties are in stark contrast to random $d$-regular graphs, which correspond to the case where $F$ is the infinite $d$-regular tree. We also show that, under the same hypotheses, the number of unlabelled, $n$-vertex graphs that are $r$-locally $F$ grows like a stretched exponential in $n$, again in contrast with $d$-regular graphs. In the case where $F$ is the standard Cayley graph of $\mathbb{Z}^d$, we obtain a much more precise enumeration result, and more precise results on the properties of the random graph $G_n(F,r)$. Our proofs use a mixture of results and techniques from geometry, group theory and combinatorics.

Environments and closures are two of the main ingredients of evaluation in lambda-calculus. A closure is a pair consisting of a lambda-term and an environment, whereas an environment is a list of lambda-terms assigned to free variables. In this paper we investigate some dynamic aspects of evaluation in lambda-calculus considering the quantitative, combinatorial properties of environments and closures. Focusing on two classes of environments and closures, namely the so-called plain and closed ones, we consider the problem of their asymptotic counting and effective random generation. We provide an asymptotic approximation of the number of both plain environments and closures of size $n$. Using the associated generating functions, we construct effective samplers for both classes of combinatorial structures. Finally, we discuss the related problem of asymptotic counting and random generation of closed environemnts and closures.

We study the structure and enumeration of the final two 2x4 permutation classes, completing a research program that has spanned almost two decades. For both classes, careful structural analysis produces a complicated functional equation. One of these equations is solved with the guess-and-check paradigm, while the other is solved with kernel method-like techniques and Gröbner basis calculations.

We introduce new families of combinatorial objects whose enumeration computes volumes of flow polytopes. These objects provide an interpretation, based on parking functions, of Baldoni and Vergne's generalization of a volume formula originally due to Lidskii. We recover known flow polytope volume formulas and prove new volume formulas for flow polytopes that were seemingly unapproachable. A highlight of our model is an elegant formula for the flow polytope of a graph we call the caracol graph. As by-products of our work, we uncover a new triangle of numbers that interpolates between Catalan numbers and the number of parking functions, we prove the log-concavity of rows of this triangle along with other sequences derived from volume computations, and we introduce a new Ehrhart-like polynomial for flow polytope volume and conjecture product formulas for the polytopes we consider.

We introduce two order relations on finite Coxeter groups which refine the absolute and the Bruhat order, and establish some of their main properties. In particular we study the restriction of these orders to noncrossing partitions and show that the intervals for these orders can be enumerated in terms of the cluster complex. The properties of our orders permit to revisit several results in Coxeter combinatorics, such as the Chapoton triangles and how they are related, the enumeration of reflections with full support, the bijections between clusters and noncrossing partitions.

This is a continuation of our combinatorial program on the enumeration of Borel orbits in symmetric varieties of classical types. Here, we determine the generating series the numbers of Borel orbits in $\mathbf{SO}_{2n+1}/\mathbf{S(O}_{2p}\times \mathbf{O}_{2q+1}\mathbf{)}$ (type $BI$) and in $\mathbf{Sp}_n/\mathbf{Sp}_p\times \mathbf{Sp}_q$ (type $CII$). In addition, we explore relations to lattice path enumeration.

We consider the sequence $( Q_n )_{n=1}^{\infty}$ of semi-meander polynomials which are used in the enumeration of semi-meandric systems (a family of diagrams related to the classical stamp-folding problem). We show that for a fixed natural number $d$, the sequence $( Q_n (d) )_{n=1}^{\infty}$ appears as sequence of moments for a compactly supported probability measure $ν_d$ on the real line. More generally, we consider a two-variable generalization $Q_n (t,u)$ of $Q_n(t)$, which is related to a natural concept of "self-intersecting meandric system"; the second variable of $Q_n (t,u)$ keeps track of the crossings of such a system (and one has, in particular, that $Q_n (t,0)$ is the original semi-meander polynomial $Q_n (t)$). We prove that for a fixed natural number $d$ and a fixed real number $q$ with $|q| < 1$, the sequence $( Q_n (d,q) )_{n=1}^{\infty}$ appears as sequence of moments for a compactly supported probability measure $ν_{d:q}$ on the real line. The measure $ν_{d;q}$ is found as scalar spectral measure for an operator $T_{d;q}$ constructed by using left and right creation/annihilation operators on a $q$-deformation of the full Fock space introduced by Bozejko and Speicher. The relevant calculations of moments for $T_{d;q}$ are made by using a two-sided version of a (previously studied in the one-sided case) $q$-Wick formula, which involves the number of crossings of a pair-partition.

The Tamari lattice, defined on Catalan objects such as binary trees and Dyck paths, is a well-studied poset in combinatorics. It is thus natural to try to extend it to other families of lattice paths. In this article, we fathom such a possibility by defining and studying an analogy of the Tamari lattice on Motzkin paths. While our generalization is not a lattice, each of its connected components is isomorphic to an interval in the classical Tamari lattice. With this structural result, we proceed to the enumeration of components and intervals in the poset of Motzkin paths we defined. We also extend the structural and enumerative results to Schröder paths. We conclude by a discussion on the relation between our work and that of Baril and Pallo (2014).