arXiv++ Combinatorics

Recall that $α=(a_1,a_2,\ldots,a_n)\in[n]^n$ is a parking function if its nondecreasing rearrangement $β=(b_1,b_2,\ldots,b_n)$ satisfies $b_i\leq i$ for all $1\leq i\leq n$. In this article, we study parking functions based on their ascents (indices at which $a_i<a_{i+1}$), descents (indices at which $a_i>a_{i+1}$), and ties (indices at which $a_i=a_{i+1}$). By utilizing multiset Eulerian polynomials, we give a generating function for the number of parking functions of length $n$ with $i$ descents. We present a recursive formula for the number of parking functions of length $n$ with descents at a specified subset of $[n-1]$. We establish that the number of parking functions of length $n$ with descents at $I\subset[n-1]$ and descents at $J=\{n-i:i\in I\}$ are equinumerous. As a special case, we show that the number of parking functions of length $n$ with descents at the first $k$ indices is given by $f(n, n-k-1)=\frac{1}{n}\binom{n}{k}\binom{2n-k}{n-k-1}$. We prove this by bijecting to the set of standard Young tableaux of shape $((n-k)^2,1^k)$, which are enumerated by $f(n,n-k-1)$. We also study peaks of parking functions, which are indices at which $a_{i-1}<a_i>a_{i+1}$. We show that the set of parking functions with no peaks and no ties is enumerated by the Catalan numbers. We conclude our study by characterizing when a parking function is uniquely determined by their statistic encoding; a word indicating what indices in the parking function are ascents, descents, and ties. We provide open problems throughout.

In this note, we consider asymptotic products of binomial and multinomial coefficients and determine their asymptotic constants and formulas. Among them, special cases are the central binomial coefficients, the related Catalan numbers, and binomial coefficients in a row of Pascal's triangle. For the latter case, we show that it can also be derived from a limiting case of products of binomial coefficients over the rows. The asymptotic constants are expressed by known constants, for example, the Glaisher-Kinkelin constant. In addition, the constants lie in certain intervals that we determine precisely. Subsequently, we revisit a related result of Hirschhorn and clarify the given numerical constant by showing the exact expression.

The lonely singles sequence represents the number of noncrossing partitions of the finite set {1,. .. , n} in which no pair of singletons {i} and {j} can be merged into the pair {i, j} so that the partition stays noncrossing. The marriageable singles sequence represents the number of all the other noncrossing partitions and is the difference between the Catalan numbers sequence and the lonely singles sequence. The 14 first terms of these sequences are given, as well as some of their properties. These sequences appear when one wants to count the number of ways to cross simultaneously certain road intersections.

I present an overview of the research I have conducted for the past ten years in algebraic, bijective, enumerative, and geometric combinatorics. The two main objects I have studied are the permutahedron and the associahedron as well as the two partial orders they are related to: the weak order on permutations and the Tamari lattice. This document contains a general introduction (Chapters 1 and 2) on those objects which requires very little previous knowledge and should be accessible to non-specialist such as master students. Chapters 3 to 8 present the research I have conducted and its general context. You will find: * a presentation of the current knowledge on Tamari interval and a precise description of the family of Tamari interval-posets which I have introduced along with the rise-contact involution to prove the symmetry of the rises and the contacts in Tamari intervals; * my most recent results concerning q, t-enumeration of Catalan objects and Tamari intervals in relation with triangular partitions; * the descriptions of the integer poset lattice and integer poset Hopf algebra and their relations to well known structures in algebraic combinatorics; * the construction of the permutree lattice, the permutree Hopf algebra and permutreehedron; * the construction of the s-weak order and s-permutahedron along with the s-Tamari lattice and s-associahedron. Chapter 9 is dedicated to the experimental method in combinatorics research especially related to the SageMath software. Chapter 10 describes the outreach efforts I have participated in and some of my approach towards mathematical knowledge and inclusion.

Assuming standard conjectures, we show that the canonical symmetrizing trace evaluated at powers of a Coxeter element produces rational Catalan numbers for irreducible spetsial complex reflection groups. This extends a technique used by Galashin, Lam, Trinh, and Williams to uniformly prove the enumeration of their noncrossing Catalan objects for finite Coxeter groups.

We characterise the bracketing identities satisfied by linear quasigroups with the help of certain equivalence relations on binary trees that are based on the left and right depths of the leaves modulo some integers. The numbers of equivalence classes of $n$-leaf binary trees are variants of the Catalan numbers, and they form the associative spectrum (a kind of measure of non-associativity) of a quasigroup.

For each $p>0$ we define by recurrence a triangle $T^p(n,k)$ whose rows sum to the Fuss-Catalan numbers $ \frac{1}{p n+1}\binom{pn+1}{n}$, generalizing the known Catalan triangle corresponding to the case $p=2$. (In fact, $T^p(n,k)$ has an explicit formula counting simple lattice paths). Moreover, for some small values of $p$, the signed sums turn out to be known sequences. \end{abstract}

In the study of a tantalizing symmetry on Catalan objects, Bóna et al. introduced a family of polynomials $\{W_{n,k}(x)\}_{n\geq k\geq 0}$ defined by \begin{align*} W_{n,k}(x)=\sum_{m=0}^{k}w_{n,k,m}x^{m}, \end{align*} where $w_{n,k,m}$ counts the number of Dyck paths of semilength $n$ with $k$ occurrences of $UD$ and $m$ occurrences of $UUD$. They proposed two conjectures on the interlacing property of these polynomials, one of which states that $\{W_{n,k}(x)\}_{n\geq k}$ is a Sturm sequence for any fixed $k\geq 1$, and the other states that $\{W_{n,k}(x)\}_{1\leq k\leq n}$ is a Sturm-unimodal sequence for any fixed $n\geq 1$. In this paper, we obtain certain recurrence relations for $W_{n,k}(x)$, and further confirm their conjectures.

This paper investigates two involutions on binary trees. One is the mirror symmetry of binary trees which combined with the classical bijection $\varphi$ between binary trees and plane trees answers an open problem posed by Bai and Chen. This involution can be generalized to weakly increasing trees, which admits to merge two recent equidistributions found by Bai--Chen and Chen--Fu, respectively. The other one is constructed to answer a bijective problem on di-sk trees asked by Fu--Lin--Wang and can be generalized naturally to rooted labeled trees. This second involution combined with $\varphi$ leads to a new statistic on plane trees whose distribution gives the Catalan's triangle. Moreover, a quadruple equidistribution on plane trees involving this new statistic is proved via a recursive bijection.

Given a Shi arrangement $\mathcal{A}_Φ$, it is well-known that the total number of regions is counted by the parking number of type $Φ$ and the total number of regions in the dominant cone is given by the Catalan number of type $Φ$. In the case of the latter, Shi gave a bijection between antichains in the root poset of $Φ$ and the regions in the dominant cone. This result was later extended by Armstrong, Reiner and Rhoades where they gave a bijection between the number of regions contained in an arbitrary Weyl cone $C_w$ in $\mathcal{A}_Φ$ and certain subposets of the root poset. In this article we expand on these results by giving a determinental formula for the precise number of regions in $C_w$ using paths in certain digraphs related to Shi diagrams.

The construction of an explicit basis for a free multiarrangement is not easy in general. Inspired by the integral expressions for quasi-invariants of quantum Calogero-Moser systems, we present integral expressions for specific bases of certain multiarrangements. Our construction covers the cases of three lines in dimension $2$ (previously examined by Wakamiko) and free multiarrangements associated with complex reflection groups (Hoge, Mano, Röhrle, Stump). Furthermore, we propose a conjectural basis for the module of logarithmic vector fields of the extended Catalan arrangement of type $B_2$.

The collection of reflecting hyperplanes of a finite Coxeter group is called a reflection arrangement and it appears in many subareas of combinatorics and representation theory. We focus on the problem of counting regions of reflection arrangements and their deformations. Inspired by the recent work of Bernardi, we show that the notion of moves and sketches can be used to provide a uniform and explicit bijection between regions of (the Catalan deformation of) a reflection arrangement and certain non-nesting partitions. We then use the exponential formula to describe a statistic on these partitions such that distribution is given by the coefficients of the characteristic polynomial. Finally, we consider a sub-arrangement of type C arrangement called the threshold arrangement and its Catalan and Shi deformations.

Catalan observed in 1874 that the numbers $S(m,n) = \frac{(2m)! (2n)!}{m! n! (m+n)!}$, now called the super Catalan numbers, are integers but there is still no known combinatorial interpretation for them in general, although interpretations have been given for the case $m=2$ and for $S(m, m+s)$ for $0 \leq s \leq 4$. In this paper, we define the super FiboCatalan numbers $S(m,n)_F = \frac{F_{2m}! F_{2n}!}{F_m! F_n! F_{m+n}!}$ and the generalized FiboCatalan numbers $J_{r,F} \frac{F_{2n}!}{F_n! F_{n+r+1}!}$ where $J_{r,F} = \frac{F_{2r+1}!}{F_r!}$. In addition, we give Lucas analogues for both of these numbers and use a result of Sagan and Tirrell to prove that the Lucas analogues are polynomials with non-negative integer coefficients which in turn proves that the super FiboCatalan numbers and the generalized FiboCatalan numbers are integers.

Let $W^c(A_n)$ be the set of fully commutative elements in the $A_n$-type Coxeter group. Using only the settings of their canonical form, we recount $W^c(A_n)$ by the recurrence that is taken as a definition of the Catalan number $C_{n+1}$ and we find the Narayana numbers as well as the Catalan triangle via suitable set partitions of $W^c(A_n)$. We determine the unique bijection between $W^c(A_n)$ and the set of non-crossing diagrams of $n+1$ strings that respects the diagrammatic multiplication by concatenation in the $A_n$-type Temperley-Lieb algebra, along with the two algorithms implementing this bijection and its inverse.

Computer experiments suggest some conjectures about Hankel determinants of convolution powers of Catalan numbers. Unfortunately, for most of them I have no proofs. I would like to present them anyway hoping that someone finds them interesting and can prove them.

In this article, we introduce and study a new integer sequence referred to as the higher order Mersenne sequence. The proposed sequence is analogous to the higher order Fibonacci numbers and closely associated with the Mersenne numbers. Here, we discuss various algebraic properties such as Binet's formula, Catalan's identity, d'Ocagne's identity, generating functions, finite and binomial sums, etc. of this new sequence, and some inter-relations with Mersenne and Jacobsthal numbers. Moreover, we study the sequence generated from the binomial transforms of the higher order Mersenne numbers and present the recurrence relation and algebraic properties of them. Lastly, we give matrix generators and tridiagonal matrix representation for higher order Mersenne numbers.

Dyck paths having height at most $h$ and without valleys at height $h-1$ are combinatorially interpreted by means of 312-avoding permutations with some restrictions on their \emph{left-to-right maxima}. The results are obtained by analyzing a restriction of a well-known bijection between the sets of Dyck paths and 312-avoding permutations. We also provide a recursive formula enumerating these two structures using ECO method and the theory of production matrices. As a further result we obtain a family of combinatorial identities involving Catalan numbers.

We prove that the Catalan Lie idempotent $D_n(a,b)$, introduced in [Menous {\it et al.}, Adv. Appl. Math. 51 (2013), 177] can be refined by introducing $n$ independent parameters $a_0,\ldots,a_{n-1}$ and that the coefficient of each monomial is itself a Lie idempotent in the descent algebra. These new idempotents are multiplicity-free sums of subsets of the Poincaré-Birkhoff-Witt basis of the Lie module. These results are obtained by embedding noncommutative symmetric functions into the dual noncommutative Connes-Kreimer algebra, which also allows us to interpret, and rederive in a simpler way, Chapoton's results on a two-parameter tree expanded series.

Given a Stirling permutation w, we introduce the mesa set of w as the natural generalization of the pinnacle set of a permutation. Our main results characterize admissible mesa sets and give closed enumerative formulas in terms of rational Catalan numbers by providing an explicit bijection between mesa sets and rational Dyck paths.

Dyck paths (also balanced brackets and Dyck words) are among the most heavily studied Catalan families. This paper is a continuation of [2, 3, 4]. In the paper we are dealing with the numbering of Dyck paths, with the resulting numbers, the terms of the OEIS sequence A036991, which encode Dyck paths and which we have called the Dyck numbers. In this sequence, it turned out to be promising to investigate nested term patterns. The sequence is constructed entirely from nested patterns, with each pattern having an infinite number of copies. We have already considered repeated triplets of adjacent odd numbers; copies of such triplets in the process of expansion form quite complex structures, the analysis of which allows us to understand the structure of A036991. Additionally, we note that the composition of the terms of each pattern is repeated many times by a simple shift (offset) of Dyck numbers by some fixed value. As a result, pattern copies give us important parts of most levels and even give us new levels.