Seongjune Han,Kyungyong Lee,Li Li,Nicholas A. Loehr
Abstract:This article is part of an ongoing investigation of the combinatorics of $q,t$-Catalan numbers $\textrm{Cat}_n(q,t)$. We develop a structure theory for integer partitions based on the partition statistics dinv, deficit, and minimum triangle height. Our goal is to decompose the infinite set of partitions of deficit $k$ into a disjoint union of chains $\mathcal{C}_{\mu}$ indexed by partitions of size $k$. Among other structural properties, these chains can be paired to give refinements of the famous symmetry property $\textrm{Cat}_n(q,t)=\textrm{Cat}_n(t,q)$. Previously, we introduced a map that builds the tail part of each chain $\mathcal{C}_{\mu}$. Our first main contribution here is to extend this map to construct larger second-order tails for each chain. Second, we introduce new classes of partitions called flagpole partitions and generalized flagpole partitions. Third, we describe a recursive construction for building the chain $\mathcal{C}_{\mu}$ for a (generalized) flagpole partition $\mu$, assuming that the chains indexed by certain specific smaller partitions (depending on $\mu$) are already known. We also give some enumerative and asymptotic results for flagpole partitions and their generalized versions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide a purely combinatorial proof in combinatorial mathematics, especially regarding the symmetric properties of \(q,t\)-Catalan numbers. Specifically, the symmetric property \(Cat_n(q,t) = Cat_n(t,q)\) of the \(q,t\)-Catalan number \(Cat_n(q,t)\) is an important property, but currently there is a lack of a proof that is completely based on combinatorial methods. The paper attempts to fill this gap by developing a structural theory of integer partitions, focusing on several key statistics of partitions, such as the number of diagonal inversions (dinv), the deficit, and the minimum triangle height. These statistics are used to define the \(q,t\)-Catalan numbers, and through the study of these statistics, the author hopes to be able to construct specific chain decompositions, thereby proving the symmetric properties of the \(q,t\)-Catalan numbers.
### Main contributions of the paper
1. **Extension mapping**:
- The author extends the previously introduced tail - building mapping and proposes a new mapping \(nu_2\) that acts on certain \(nu_1\)-final objects, allowing many \(nu_1\)-fragments to be merged, thus making it easier to assemble the global chain.
- The second - order tail initiator \(TI_2(\mu)\) is introduced, generating longer second - order tails \(tail_2(\mu)\).
2. **Flagpole partitions**:
- A new class of partitions called flagpole partitions is defined, and these partitions satisfy \(|\mu| \leq 2\min\Delta(TI_2(\mu)) - 8\).
- Generalized flagpole partitions are introduced, and the exact count and asymptotic estimate of their numbers are given.
3. **Recursive construction**:
- A recursive construction method is proposed for constructing all global chains \(C_\mu\), gradually increasing the deficit value \(k\) by induction.
- For each specific flagpole partition \(\mu\), assuming that certain necessary partitions \(C_\rho\) and \(C_\rho^*\) are known, \(\mu^*\), \(C_\mu\) and \(C_\mu^*\) can be explicitly defined, and it can be proved that the new chains satisfy the same properties.
### Main results
- **Theorems 2.16, 2.17, 2.18**: Provide detailed structural information of \(nu_1\)-tails, including the minimum triangle height profile of each tail and the description of objects with specific minimum triangle height values.
- **Theorem 3.6**: Shows that the \(nu_1\) and \(nu_2\) mappings are combined into a bijection \(nu\) that keeps the deficit unchanged and increases the number of diagonal inversions by 1.
- **Theorem 3.10**: Specifically describes which partitions appear in the second - order tail and which partitions are second - order tail initiators.
- **Theorem 3.17**: Explicitly calculates the second - order tail starting from an object \(TI_2(\mu)\) of a specific form, revealing that the \(nu_1\)-fragments in these tails are separated by the descent points in the minimum triangle height profile.
- **Theorem 4.4**: Characterizes the flagpole partition \(\mu\) based on the form of the Dyck vector representing \(TI_2(\mu)\), and derives the number of flagpole partitions as the sum of partition numbers (Theorem 4.9).
Through these results, the paper provides a deeper understanding of the symmetric properties of the \(q,t\)-Catalan numbers and lays the foundation for further research.