arXiv++ Combinatorics

$λ\upsilon$ is an extension of the $λ$-calculus which internalises the calculus of substitutions. In the current paper, we investigate the combinatorial properties of $λ\upsilon$ focusing on the quantitative aspects of substitution resolution. We exhibit an unexpected correspondence between the counting sequence for $λ\upsilon$-terms and famous Catalan numbers. As a by-product, we establish effective sampling schemes for random $λ\upsilon$-terms. We show that typical $λ\upsilon$-terms represent, in a strong sense, non-strict computations in the classic $λ$-calculus. Moreover, typically almost all substitutions are in fact suspended, i.e. unevaluated, under closures. Consequently, we argue that $λ\upsilon$ is an intrinsically non-strict calculus of explicit substitutions. Finally, we investigate the distribution of various redexes governing the substitution resolution in $λ\upsilon$ and investigate the quantitative contribution of various substitution primitives.

We prove that graded $k$-Schur functions are $G$-equivariant Euler characteristics of vector bundles on the flag variety, settling a conjecture of Chen-Haiman. We expose a new miraculous shift invariance property of the graded $k$-Schur functions and resolve the Schur positivity and $k$-branching conjectures in the strongest possible terms by providing direct combinatorial formulas using strong marked tableaux.

The \emph{Hosoya triangle} is a triangular array where every entry is a product of two Fibonacci numbers. We use the geometry of this triangle to find new identities related to Fibonacci numbers. We give geometric interpretation for some well-known identities of Fibonacci numbers. For instance, the Cassini identity and the Catalan identity. We also extend some identities that hold in the Pascal triangle to the Hosoya triangle. For instance, the hockey stick extends from binomials to products of Fibonacci numbers and the rhombus property extends a binomial identity from the Pascal triangle to an identity of products of Fibonacci numbers in the Hosoya triangle.

Borel's triangle is an array of integers closely related to the classical Catalan numbers. In this paper we study combinatorial statistics counted by Borel's triangle. We present various combinatorial interpretations of Borel's triangle in terms of lattice paths, binary trees, and pattern avoiding permutations and matchings, and derive a functional equation that is useful in analyzing the involved structures.

We show how some special production matrices may be used to define families of generalized Eulerian triangles. We furthermore show that these generalized Eulerian triangles are the coefficient arrays of polynomials which are the moments of families of orthogonal polynomials. Using the previously defined $\mathcal{T}$ transform, we associate these generalized Eulerian triangles to triangles defined by Catalan generating functions. Again, these new triangles are the coefficient arrays of polynomial moment sequences. The main tools used are the Sumudu transform, Jacobi continued fractions and Riordan arrays.

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.

Catalan words are particular growth-restricted words over the set of non-negative integers, and they represent still another combinatorial class counted by the Catalan numbers. We study the distribution of descents on the sets of Catalan words avoiding a pattern of length at most three: for each such a pattern $p$ we provide a bivariate generating function where the coefficient of $x^ny^k$ in its series expansion is the number of length $n$ Catalan words with $k$ descents and avoiding $p$. As a byproduct, we enumerate the set of Catalan words avoiding $p$, and we provide the popularity of descents on this set. Some of the obtained enumerating sequences are not yet recorded in the On-line Encyclopedia of Integer Sequences.

We consider Hankel determinants of the sequence of Catalan numbers modulo 2 (interpreted as integers 0 and 1) and more generally Hankel determinants where the sum over all permutations reduces to a single signed permutation.

We report new hypergeometric constructions of rational approximations to Catalan's constant, $\log2$, and $π^2$, their connection with already known ones, and underlying "permutation group" structures. Our principal arithmetic achievement is a new partial irrationality result for the values of Riemann's zeta function at odd integers.

We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $C_n$ degeneration of the Koornwinder polynomials $P_{(1^r)}(x\,|\,a,-a,c,-c\,|\,q,t)$ with one column diagrams, to the type $C_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of three term recursion relations, which can be regarded as a $(a,c,t)$-deformation of the one for the Catalan triangle or ballot numbers. Some transition matrices are studied associated with the type $(C_n,C_n)$ Macdonald polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,b;q,t)= P_{(1^r)}\big(x\,|\,b^{1/2},-b^{1/2},q^{1/2}b^{1/2},-q^{1/2}b^{1/2}\,|\,q,t\big)$. It is also shown that the $q$-ballot numbers appear as the Kostka polynomials, namely in the transition matrix from the Schur polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,q;q,q)$ to the Hall-Littlewood polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,t;0,t)$.

Horadam symbol elemnts are introduced. Certain properties of these elements are explored. Some well known identities such as Catalan identity, Cassini formula and d'Ocagne's identity are obtained for these elements.

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.

The authors of this paper have used the theory of Riordan matrices to introduce the notion of a Riordan graph in \cite{CJKM}. Riordan graphs are proved to have a number of interesting (fractal) properties, and they are a far-reaching generalization of the well known and well studied Pascal graphs and Toeplitz graphs, and also some other families of graphs. The main focus in \cite{CJKM} is the study of structural properties of families of Riordan graphs obtained from certain infinite Riordan graphs. In this paper, we use a number of results in~\cite{CJKM} to study spectral properties of Riordan graphs. Our studies include, but are not limited to the spectral graph invariants for Riordan graphs such as the adjacency eigenvalues, (signless) Laplacian eigenvalues, nullity, positive and negative inertias, and rank. We also study determinants of Riordan graphs, in particular, giving results about determinants of Catalan graphs.

This (partly expository) paper originated from the study of Hankel determinants of convolution powers of Catalan numbers and of Narayana polynomials. This led to some Hankel determinants of signed Catalan numbers whose values are multiples of Fibonacci numbers and to some Hankel determinants of signed central binomial coefficients whose values are multiples of Lucas numbers. Most proofs are computational but we also include a combinatorial one due to Christian Krattenthaler. Finally we formulate some conjectures.

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).

In the study of free arrangements, the most useful result to construct/check free arrangements is the addition-deletion theorem. Recently, the multiple version of the addition theorem is proved, called the multiple addition theorem (MAT) to prove the ideal-free theorem. The aim of this article is to give the deletion version of MAT, the multiple deletion theorem (MDT). Also, we can generalize MAT from the viewpoint of our new proof. Moreover, we introduce their restriction version, a multiple restriction theorem (MRT). Applications of them including the combinatorial freeness of the extended Catalan arrangements are given.

In 2010, Bousquet-Mélou et al. defined sequences of nonnegative integers called ascent sequences and showed that the ascent sequences of length $n$ are in one-to-one correspondence with the interval orders, i.e., the posets not containing the poset $\mathbf{2}+\mathbf{2}$. Through the use of generating functions, this provided an answer to the longstanding open question of enumerating the (unlabeled) interval orders. A semiorder is an interval order having a representation in which all intervals have the same length. In terms of forbidden subposets, the semiorders exclude $\mathbf{2}+\mathbf{2}$ and $\mathbf{1}+\mathbf{3}$. The number of unlabeled semiorders on $n$ points has long been known to be the $n$-th Catalan number. However, describing the ascent sequences that correspond to the semiorders under the bijection of Bousquet-Mélou et al. has proved difficult. In this paper, we discuss a major part of the difficulty in this area: the ascent sequence corresponding to a semiorder may have an initial subsequence that corresponds to an interval order that is not a semiorder. We define the hereditary semiorders to be those corresponding to an ascent sequence for which every initial subsequence also corresponds to a semiorder. We provide a structural result that characterizes the hereditary semiorders and use this characterization to determine the ordinary generating function for hereditary semiorders. We also use our characterization of hereditary semiorders and the characterization of semiorders of dimension 3 given by Rabinovitch to provide a structural description of the semiorders of dimension at most 2. From this description, we are able to determine the ordinary generating for the semiorders of dimension at most 2.

The cyclic sieving phenomenon (CSP) was introduced by Reiner, Stanton, and White to study combinatorial structures with actions of cyclic groups. The crucial step is to find a polynomial, for example a q-analog, that satisfies the CSP conditions for an action. This polynomial will give us a lot of information about the symmetry and structure of the set under the action. In this paper, we study the cyclic sieving phenomenon of the cyclic group $C_{2n}$ acting on $P_{n,k}$, which is the set of matchings of $2n$ points on a circle with $k$ crossings. The noncrossing matchings ($k=0$) was recently studied as a Catalan object. In this paper, we study more general cases, the matchings with more number of crossings. We prove that there exists $q$-analog polynomials $f_{n,k}(q)$ such that $(P_{n,k},f_{n,k},C_{2n})$ exhibits the cyclic sieving phenomenon for $k=1,2,3$. In the proof, we also introduce an efficient representation of the elements in $P_{n,k}$, which helps us to understand the symmetrical structure of the set.

For integers $n, m$ with $n \geq 1$ and $0 \leq m \leq n$, an $(n,m)$-Dyck path is a lattice path in the integer lattice $\mathbb{Z} \times \mathbb{Z}$ using up steps $(0,1)$ and down steps $(1,0)$ that goes from the origin $(0,0)$ to the point $(n,n)$ and contains exactly $m$ up steps below the line $y=x$. The classical Chung-Feller theorem says that the total number of $(n,m)$-Dyck path is independent of $m$ and is equal to the $n$-th Catalan number $C_n=\frac{1}{n+1}{2n \choose n}$. For any integer $k$ with $1 \leq k \leq n$, let $p_{n,m,k}$ be the total number of $(n,m)$-Dyck paths with $k$ peaks. Ma and Yeh proved that $p_{n,m,k}$=$p_{n,n-m,n-k}$ for $0 \leq m \leq n$, and $p_{n,m,k}+p_{n,m,n-k}=p_{n,m+1,k}+p_{n,m+1,n-k}$ for $1 \leq m \leq n-2$. In this paper we give bijective proofs of these two results. Using our bijections, we also get refined enumeration results on the numbers $p_{n,m,k}$ and $p_{n,m,k}+p_{n,m,n-k}$ according to the starting and ending steps.

The Catalan numbers occur in various counting problems in combinatorics. This paper reveals a connection between the Catalan numbers and list colouring of graphs. Assume $G$ is a graph and $f:V(G) \to N$ is a mapping. For a nonnegative integer $m$, let $f^{(m)}$ be the extension of $f$ to the graph $ G \diamondplus \overline{K_m}$ for which $f^{(m)}(v)=|V(G)|$ for each vertex $v$ of $\overline{K_m}$. Let $m_c(G,f)$ be the minimum $m$ such that $ G \diamondplus \overline{K_m}$ is not $f^{(m)}$-choosable and $m_p(G,f)$ be the minimum $m$ such that $ G \diamondplus \overline{K_m}$ is not $f^{(m)}$-paintable. We study the parameter $m_c(K_n, f)$ and $m_p(K_n,f)$ for arbitrary mappings $f$. For $\vec{x}=(x_1,x_2,\ldots,x_n)$, an $\vec{x}$-dominated path ending at $(a, b)$ is a monotonic path $P$ of the $a \times b$ grid from $(0,0)$ to $(a,b)$ such that each vertex $(i,j)$ on $P$ satisfies $i \le x_{j+1}$. Let $ψ(\vec{x})$ be the number of $\vec{x}$-dominated paths ending at $(x_n,n)$. By this definition, the Catalan number $C_n$ equals $ ψ((0,1, \ldots, n-1)) $. This paper proves that if $G=K_n$ has vertices $v_1, v_2, \ldots, v_n$ and $f(v_1) \le f(v_2) \le \ldots \le f(v_n)$, then $m_c(G,f)=m_p(G,f)=ψ(\vec{x}(f))$, where $\vec{x}(f)=(x_1, x_2, \ldots, x_n)$ and $x_i=f(v_i)-i$ for $i=1, 2,\ldots, n$. Therefore, if $f(v_i)=n$, then $m_c(K_n, f)=m_p(K_n, f)$ equals the Catalan number $C_n$.