arXiv++ Combinatorics

Our main aim with these notes is to introduce the combinatorial and symmetric function tools that relate to the description of the Poincare polynomial of the triply graded Khovanov-Rozansky homology of torus links, a.k.a. the (reduced) superpolynomial of these links.

This is a largely expository paper in which we discuss various sets having a Catalan number of objects and some well-known bijections between these sets presented in a new and hopefully interesting way. We call these concepts "bookshelf" and "baseball" constructions. No knowledge of these topics is assumed. These are the final student papers for a course at Brandeis University.

Li et al. give an integral formula for the Catalan-Qi number of the second kind. They show that this integral can be written as a summation with double factorials. In this paper the integral is reduced to a product of the Catalan number and a hypergeometric function. This hypergeometric function can be written as an associated Legendre polynomial of the first kind. There are also connections with the incomplete Beta function and the Gegenbauer polynomials. In the last section a related integral is calculated.

We introduce a family of univariate polynomials indexed by integer partitions. At prime powers, they count the number of subspaces in a finite vector space that transform under a regular diagonal matrix in a specified manner. This enumeration formula is a combinatorial solution to a problem introduced by Bender, Coley, Robbins and Rumsey. At $1$, they count set partitions with specified block sizes. At $0$, they count standard tableaux of specified shape. At $-1$, they count standard shifted tableaux of a specified shape. These polynomials are generated by a new statistic on set partitions (called the interlacing number) as well as a polynomial statistic on standard tableaux. They allow us to express $q$-Stirling numbers of the second kind as sums over standard tableaux and as sums over set partitions. For partitions whose parts are at most two, these polynomials are the non-zero entries of the Catalan triangle associated to the $q$-Hermite orthogonal polynomial sequence. In particular, when all parts are equal to two, they coincide with the polynomials defined by Touchard that enumerate chord diagrams by the number of crossings.

Dyck paths are among the most heavily studied Catalan families. We work with peaks and valleys to uniquely decompose Dyck paths into the simplest objects - prime fragments with a single peak. Each Dyck path is uniquely characterized by a set of peaks or a set of valleys. The appendix contains a python program with which the reader can factorize Dyck paths online.

We present a higher genus generalization of $bc$-Motzkin numbers, which are themselves a generalization of Catalan numbers, and we derive a recursive formula which can be used to calculate them. Further, we show that this leads to a topological recursion which is identical to the topological recursion that had previously been proved by Dumitrescu and Mulase for generalized Catalan numbers, and which is an example of the Eynard-Orantin topological recursion.

Introduced by Ardila (J. Combin. Theory Ser. A, 2003), the Catalan matroid is obtained by defining the bases of the matroid using Dyck paths from $(0,0)$ to $(n,n)$. Further research has gone into the topic, with variants like lattice path matroids (introduced by Bonin, de Mier, and Noy (J. Combin. Theory Ser. A, 2003)) and shifted matroids (introduced independently by Klivans (2003), and Ardila) being studied intensively. In this short note, we introduce the Young matroid, an extension of the Catalan matroid, where the bases are defined using the standard Young tableaux of a fixed shape. This extension necessarily involves the consideration of independent multisets and multiset bases.

A hyperplane arrangement in $\mathbb{R}^n$ is a finite collection of affine hyperplanes. The regions are the connected components of the complement of these hyperplanes. By a theorem of Zaslavsky, the number of regions of a hyperplane arrangement is the sum of coefficients of its characteristic polynomial. Arrangements that contain hyperplanes parallel to subspaces whose defining equations are $x_i - x_j = 0$ form an important class called the deformations of the braid arrangement. In a recent work, Bernardi showed that regions of certain deformations are in one-to-one correspondence with certain labeled trees. In this article, we define a statistic on these trees such that the distribution is given by the coefficients of the characteristic polynomial. In particular, our statistic applies to well-studied families like extended Catalan, Shi, Linial and semiorder.

We define and study multi-colored dimer models on a segment and on a circle. The multivariate generating functions for the dimer models satisfy the recurrence relations similar to the one for Fibonacci numbers. We give closed formulae for the generating functions. We show that, in the large size limit with specializations of the formal variables, the generating functions exhibit the summations appearing in generalized Rogers--Ramanujan identities. Further, the generating functions of the dimer models have infinite product formulae for general values of formal variables in the large size limit. These formulae are generalizations of Rogers--Ramanujan identities for multi variables. We also give other several specializations which exhibit simple combinatorial formulae. The analysis of the correlation functions, which we call emptiness formation probabilities and moments, leads to the application of the formal power series associated to the Dyck, Motzkin and Schröder paths to the generating functions for the dimer models. We give descriptions of the generating functions of finite size in terms of these combinatorial objects, Dyck and Motzkin paths with statistics. We have three additional results. First, the convoluted generating functions for Fibonacci, Catalan and Motzkin numbers are shown to be expressed as generating functions of Fibonacci, Dyck and Motzkin words with the weights given by binomial coefficients. The second one is a weight preserving correspondence between a Motzkin path and a set of Dyck paths. The third one is a connection of the generating functions for the dimer models to the generating functions of independent sets of special classes of graphs.

The extended Shi and Catalan arrangements are well investigated arrangements. In this paper, we prove that the cone of the extended Catalan arrangement of type A is always hereditarily free, while we determine the dimension in which the cone of the extended Shi arrangement of type A is hereditarily free. For this purpose, using digraphs, we define a class of arrangements which is closed under restriction, and which contains the extended Shi and Catalan arrangements. We also characterize the freeness for the cone of this arrangement by graphical conditions.

Horizontal visibility graphs (HVGs, for short) are a common tool used in the analysis and classification of time series with applications in many scientific fields. In this article, extending previous work by Lacasa and Luque, we prove that HVGs associated to data sequences without equal entries are completely determined by their ordered degree sequence. Moreover, we show that HVGs for data sequences without and with equal entries are counted by the Catalan numbers and the large Schröder numbers, respectively.

In this paper, we give a formula for the number of lattice points in the dilations of Schubert matroid polytopes. As applications, we obtain the Ehrhart polynomials of uniform and minimal matroids as special cases, and give a recursive formula for the Ehrhart polynomials of $(a,b)$-Catalan matroids. Ferroni showed that uniform and minimal matroids are Ehrhart positive. We show that all sparse paving Schubert matroids are Ehrhart positive and their Ehrhart polynomials are coefficient-wisely bounded by those of minimal and uniform matroids. This confirms a conjecture of Ferroni for the case of sparse paving Schubert matroids. Furthermore, we introduce notched rectangle matroids, which include minimal matroids, sparse paving Schubert matroids and panhandle matroids. We show that three subfamilies of notched rectangle matroids are Ehrhart positive, and conjecture that all notched rectangle matroids are Ehrhart positive.

In this note, we study two generalizations of the Catalan numbers, namely the $s$-Catalan numbers and the spin $s$-Catalan numbers. These numbers first appeared in relation to quantum physics problems about spin multiplicities. We give a combinatorial description for these numbers in terms of Littlewood-Richardson coefficients, and explain some of the properties they exhibit in terms of Littlewood-Richardson polynomials.

Certain famous combinatorial sequences, such as the Catalan numbers and the Motzkin numbers, when taken modulo a prime power, can be computed by finite automata. Many theorems about such sequences can therefore be proved using Walnut, which is an implementation of a decision procedure for proving various properties of automatic sequences. In this paper we explore some results (old and new) that can be proved using this method.

We present a new alternating convolution formula for the super Catalan numbers which arises as a generalization of two known binomial identities. We prove a generalization of this formula by using auxiliary sums, recurrence relations, and induction. By using a new method, we prove one interesting divisibility result with super Catalan numbers.

In this paper, we present a formula for generating various exotic series in the spirit of Ovidiu Furdui and Alina Sintamarian. Our new series (evaluated in closed form) involve Bernoulli, harmonic, and Catalan numbers. Also Stirling numbers of the second kind, other special numbers, and exponential polynomials. The results include series identities with Laguerre polynomials and derangement polynomials.

We refine the result of T. Lam \cite{L} on embedding the space $E_n$ of electrical networks on a planar graph with $n$ boundary points into the totally non-negative Grassmannian $\mathrm{Gr}_{\geq 0}(n-1,2n)$ by proving first that the image lands in $\mathrm{Gr}(n-1,V)\subset \mathrm{Gr}(n-1,2n)$ where $V\subset \mathbb{R}^{2n}$ is a certain subspace of dimension $2n-2$. The role of this reduction in the dimension of the ambient space is crucial for us. We show next that the image lands in fact inside the Lagrangian Grassmannian $\mathrm{LG}(n-1,V)\subset \mathrm{Gr}(n-1,V)$. As it is well known $\mathrm{LG}(n-1)$ can be identified with $\mathrm{Gr}(n-1,2n-2)\cap \mathbb{P} L$ where $L\subset \bigwedge^{n-1}\mathbb R^{2n-2}$ is a subspace of dimension equal to the Catalan number $C_n$, moreover it is the space of the fundamental representation of the symplectic group $Sp(2n-2)$ which corresponds to the last vertex of the Dynkin diagram. We show further that the linear relations cutting the image of $E_n$ out of $\mathrm{Gr}(n-1,2n)$ found in \cite{L} define that space $L$. This connects the combinatorial description of $E_n$ discovered in \cite{L} and representation theory of the symplectic group.

This paper presents a number of identities for Dirichlet series and series with Stirling numbers of the first kind. As coefficients for the Dirichlet series we use Cauchy numbers of the first and second kinds, hyperharmonic numbers, derangement numbers, binomial coefficients, central binomial coefficients, and Catalan numbers.

We initiate the study of model structures on (categories induced by) lattice posets, a subject we dub homotopical combinatorics. In the case of a finite total order $[n]$, we enumerate all model structures, exhibiting a rich combinatorial structure encoded by Shapiro's Catalan triangle. This is an application of previous work of the authors on the theory of $N_\infty$-operads for cyclic groups of prime power order, along with new structural insights concerning extending choices of certain model structures on subcategories of $[n]$.

We define two symmetric $q,t$-Catalan polynomials in terms of the area and depth statistic and in terms of the dinv and dinv of depth statistics. We prove symmetry using an involution on plane trees. The same involution proves symmetry of the Tutte polynomials. We also provide a combinatorial proof of a remark by Garsia et al. regarding parking functions and the number of connected graphs on a fixed number of vertices.