arXiv++ Combinatorics

This paper provides a (Laurent) polynomial reduction to $q$-holonomic sequences $F_k(q)$. We first characterize Laurent polynomials $\tilde{p}(x)$ such that the product $\tilde{p}(q^k)F_k(q)$ is summable. Then the reduction framework is given to decompose any given Laurent polynomial into a summable part and a remainder with lower degree. Finally, we introduce a power-partible reduction for $q$-holonomic sequences of which the recurrence relation satisfies a certain symmetry condition. The advantage is that it can not only simultaneously eliminate the highest-degree and lowest-degree terms of a Laurent polynomial satisfying a symmetry condition, but also guarantee the symmetry of the remainder. As applications, we apply the reduction to $q$-central-Delannoy numbers to derive new $q$-identities and $q$-congruences.

The thagomizer matroid, realized as the graphic matroid of the complete tripartite graph $K_{1,1,n}$, has full automorphism group isomorphic to the hyperoctahedral group whenever $n \ge 2$. In the equivariant setting for this action, we compute both the Kazhdan--Lusztig polynomial and the inverse Kazhdan--Lusztig polynomial in the sense of Proudfoot's Kazhdan--Lusztig--Stanley theory, and we show that each coefficient is an honest representation with a multiplicity-free irreducible decomposition. Our main idea is to exploit the palindromicity of the equivariant $Z$-polynomial, reducing the computation to the already established symmetric-group equivariant Kazhdan--Lusztig theory for the graphic matroids of cycle graphs, and then to apply Proudfoot's equivariant Kazhdan--Lusztig--Stanley inversion identity to obtain the inverse polynomial. Passing to dimensions recovers the previously known nonequivariant thagomizer polynomials, while the coefficient formulas admit a natural expression in terms of the wreath product Frobenius characteristic for the hyperoctahedral group.

In this paper, we apply the power-partible reduction to study arithmetic properties of sums involving Delannoy numbers $D_k$ and polynomials $D_k(z)$. Let $v\in\bN$ and $p$ be an odd prime. It is proved that, for any $z\in\bZ\setminus\{0,-1\}$, there exist $c_v\in z^{-v}\bZ[z]$ and $\tilde{c}_v\in (z+1)^{-v}\bZ[z]$, both free of $p$ and can be determined mechanically, such that \begin{equation*} \sum_{k=0}^{p-1}(2k+1)^{2v}D_k(z)\equiv c_v \left(\frac{-z}{p}\right) \pmod {p} \end{equation*} if $\gcd(p,z)=1$ and \begin{equation*} \sum_{k=0}^{p-1}(-1)^k(2k+1)^{2v}D_k(z)\equiv \tilde{c}_v \left(\frac{z+1}{p}\right) \pmod {p} \end{equation*} if $\gcd(p,z+1)=1$. Here $(-)$ denotes the Legendre symbol. When $n$ is a power of $2$, we find there exist odd integers $ρ_v$ and even integers $\tildeρ_v$, both independent of $n$ and can be determined mechanically, such that \[ \sum_{k=0}^{n-1}(2k+1)^{2v+1}D_k\equiv ρ_v n \pmod {n^3} \] and \[ \sum_{k=0}^{n-1}(-1)^k(2k+1)^{2v+1}D_k\equiv \tildeρ_v n^2 \pmod {n^3}. \] The case $v=1$ in the last congruence confirms a conjecture of Guo and Zeng in 2012.

In this note, we apply the power-partible reduction to show the following arithmetic properties of large Schröder polynomials $S_n(z)$ and little Schröder polynomials $s_n(z)$: for any odd prime $p$, nonnegative integer $r\in\mathbb{N}$, $\varepsilon\in\{-1,1\}$ and $z\in\mathbb{Z}$ with $\gcd(p,z(z+1))=1$, we have \[ \sum_{k=0}^{p-1}(2k+1)^{2r+1}\varepsilon^k S_k(z)\equiv 1\pmod {p}\quad \text{and} \quad \sum_{k=0}^{p-1}(2k+1)^{2r+1}\varepsilon^k s_k(z)\equiv 0\pmod {p}. \]

In this paper, we introduce the power-partible reduction for holonomic (or, P-recursive) sequences and apply it to obtain a series of congruences for Apéry numbers $A_k$. In particular, we prove that, for any $r\in\mathbb{N}$, there exists an integer $\tilde{c}_r$ such that \begin{equation*} \sum_{k=0}^{p-1}(2k+1)^{2r+1}A_k\equiv \tilde{c}_r p \pmod {p^3} \end{equation*} holds for any prime $p>3$.

Polynomial reduction, designed first for hypergeometric terms, can be used to automatically prove and generate new hypergeometric identities from old ones. In this paper, we extend the reduction method to holonomic sequences. As applications, we describe an algorithmic way to prove and generate new multi-summation identities. Especially we present new families of $π$-series involving Domb numbers and Franel numbers.

In this paper, we present a $q$-analogue of the polynomial reduction which was originally developed for hypergeometric terms. Using the $q$-Gosper representation, we describe the structure of rational functions that are summable when multiplied with a given $q$-hypergeometric term. The structure theorem enables us to generalize the $q$-polynomial reduction to the rational case, which can be used in the automatic proof and discovery of $q$-identities. As applications, several $q$-analogues of series for $π$ are presented.

During the study of dual sequences, Sun introduced the polynomials \[ D_n(x,y)=\sum_{k=0}^{n}{n\choose k}{x\choose k}y^k\text{ and } S_n(x,y)=\sum_{k=0}^{n}\binom{n}{k}\binom{x}{k}\binom{-1-x}{k} y^k. \] Many related congruences have been established and conjectured by Sun. Here we generalize some of them by determining \[ \sum_{k=0}^{p-1}D_k(x_1,y_1)D_k(x_2,y_2)\pmod p \text{ and } \sum_{k=0}^{p-1}S_k(x_1,y_1)S_k(x_2,y_2)\pmod p \] for any odd prime $p$ and $p$-adic integers $x_i,\ y_i$ with $i\in\{1,2\}$. Considering the immediate connection between binomial coefficients and Catalan numbers, we also characterize \[ \sum_{n=0}^{p-1}\left(\sum_{k=0}^n {n \choose k} \frac{C_k}{a^k}\right)^2 \pmod {p}, \] where $C_k$ denotes the $k$th Catalan number, $a\in\mathbb{Z}\setminus \{0\}$ with $\gcd(a,p)=1$. These confirm and generalise some of Sun's conjectures.

Using equivariant cohomology theory, Naruse obtained a hook length formula for the number of standard Young tableaux of skew shape $λ/μ$. Morales, Pak and Panova found two $q$-analogues of Naruse's formula respectively by counting semistandard Young tableaux of shape $λ/μ$ and reverse plane partitions of shape $λ/μ$. When $λ$ and $μ$ are both staircase shape partitions, Morales, Pak and Panova conjectured that the generating function of reverse plane partitions of shape $λ/ μ$ can be expressed as a determinant whose entries are related to $q$-analogues of the Euler numbers. The objective of this paper is to prove this conjecture.

Anderson established a connection between core partitions and order ideals of certain posets by mapping a partition to its $β$-set. In this paper, we give a characterization of the poset $P_{(s,s+1,s+2)}$ whose order ideals correspond to $(s,s+1,s+2)$-core partitions. Using this characterization, we obtain the number of $(s,s+1,s+2)$-core partitions, the maximum size and the average size of an $(s,s+1,s+2)$-core partition, confirming three conjectures posed by Amdeberhan.

Let $S_n$ denote the symmetric group on $\{1,2,\ldots,n\}$. For two permutations $u, v\in S_n$ such that $u\leq v$ in the Bruhat order, let $R_{u,v}(q)$ and $\R_{u,v}(q)$ denote the Kazhdan-Lusztig $R$-polynomial and $\R$-polynomial, respectively. Let $v_n=34\cdots n\, 12$, and let $σ$ be a permutation such that $σ\leq v_n$. We obtain a formula for the $\R$-polynomials $\R_{σ,v_n}(q)$ in terms of the $q$-Fibonacci numbers depending on a parameter determined by the reduced expression of $σ$. When $σ$ is the identity $e$, this reduces to a formula obtained by Pagliacci. In another direction, we obtain a formula for the $\R$-polynomial $\R_{e,\,v_{n,i}}(q)$, where $v_{n,i} = 3 4\cdots i\,n\, (i+1)\cdots (n-1)\, 12$. In a more general context, we conjecture that for any two permutations $σ,τ\in S_n$ such that $σ\leq τ\leq v_n$, the $\R$-polynomial $\R_{σ,τ}(q)$ can be expressed as a product of $q$-Fibonacci numbers multiplied by a power of $q$.

Let $W$ be a Coxeter group, and for $u,v\in W$, let $R_{u,v}(q)$ be the Kazhdan-Lusztig $R$-polynomial indexed by $u$ and $v$. In this paper, we present a combinatorial proof of the inversion formula on $R$-polynomials due to Kazhdan and Lusztig. This problem was raised by Brenti. Based on Dyer's combinatorial interpretation of the $R$-polynomials in terms of increasing Bruhat paths, we reformulate the inversion formula in terms of $V$-paths. By a $V$-path from $u$ to $v$ with bottom $w$ we mean a pair $(Δ_1,Δ_2)$ of Bruhat paths such that $Δ_1$ is a decreasing path from $u$ to $w$ and $Δ_2$ is an increasing path from $w$ to $v$. We find a reflection principle on $V$-paths, which leads to a combinatorial proof of the inversion formula. Moreover, we give two applications of the reflection principle. First, we restrict this involution to $V$-paths from $u$ to $v$ with maximal length. This provides a direct interpretation for the equi-distribution property that any nontrivial interval $[u,v]$ has as many elements of even length as elements of odd length. This property was obtained by Verma in his derivation of the Möbius function of the Bruhat order. Second, using the reflection principle for the symmetric group, we obtain a refinement of the inversion formula by restricting the summation to permutations ending with a given element.