In 1985, Bressoud and Goulden derived the formula for the constant term in $\prod_{(i,j)\in T} \frac{x_j}{x_i}\\\prod_{0\le i<j \le n}(\frac{x_i}{x_j})_{a_i}(\frac{qx_j}{x_i})_{a_j-1}$, where $T \subseteq \{(i,j)\mid 0\le i<j \le n\}$. This result implies the Andrews' $q$-Dyson identity. In 2006, Gessel and Xin proved the $q$-Dyson identity by considering both sides of the equality as polynomials in $q^{a_0}$. We use this approach to determine the coefficients of $x_0/x_1$ and $x_0/x_2$ in Laurent polynomials studied by Bressoud and Goulden.
In $1944$, Freeman Dyson defined the concept of rank of an integer partition and introduced without definition the term of crank of an integer partition. A definition for the crank satisfying the properties hypothesized for it by Dyson was discovered in 1988 by G. E. Andrews and F. G. Garvan. In this paper, we introduce truncated forms for two theta identities involving the generating functions for partitions with non-negative rank and non-negative crank. As corollaries we derive new infinite families of linear inequalities for the partition function $p(n)$. The number of Garden of Eden partit…
Symmetric Grothendieck polynomials are analogues of Schur polynomials in the K-theory of Grassmannians. We build dual families of symmetric Grothendieck polynomials using Schur operators. With this approach we prove skew Cauchy identity and then derive various applications: skew Pieri rules, dual filtrations of Young's lattice, generating series and enumerative identities. We also give a new explanation of the finite expansion property for products of Grothendieck polynomials.
We prove a new polynomial refinement of the Capparelli's identities. Using a special case of Bailey's lemma we prove many infinite families of sum-product identities that root from our finite analogues of Capparelli's identities. We also discuss the $q\mapsto 1/q$ duality transformation of the base identities and some related partition theoretic relations.
We will prove an identity involving refined $q$-trinomial coefficients. We then extend this identity to two infinite families of doubly bounded polynomial identities using transformation properties of the refined $q$-trinomials in an iterative fashion in the spirit of Bailey chains. One of these two hierarchies contains an identity which is equivalent to Capparelli's first Partition Theorem.
Determinant identities and a generalization of the number of totally symmetric self-complementary plane partitions
我们证明了Robbins和Zeilberger(J. Combin. Theory Ser.A66(1994),17-27),通过将问题转化为行列式评估问题并评估行列式。该行列式推广了给出包含在$(2n)\times(2n)\times(2n)$盒中的所有全对称自互补平面划分的数目的行列式,并且该行列式由Andrews(J. Combin. Theory Ser.A66(1994),28-39)以及Andrews和Burge(Pacific J.Math.158(1993),1-14)来明确地计算这个数。广义行列式的评价是独立的安德鲁斯和伯奇的计算,因此,特别是构成了一个新的解决方案,这个著名的计数问题。我们还评估了一个相关的行列式,从而推广了安德鲁斯和伯格(同上)的另一个行列式的身份。cit.)。通过将我们的一些行列式恒等式转化为常数项恒等式,我们得到了几个新的常数项恒等式.
In this paper we present two families of Fibonacci-Lucas identities, with the Sury's identity being the best known representative of one of the families. While these results can be proved by means of the basic identity relating Fibonacci and Lucas sequences we also provide a bijective proof. Both families are then treated by generating functions.
It is well-known that the Selberg integral is equivalent to the Morris constant term identity. More generally, Selberg type integrals can be turned into constant term identities for Laurent polynomials. In this paper, by extending the Gessel--Xin method of the Laurent series proof of constant term identities, we obtain an AFLT type $q$-Morris constant term identity. That is a $q$-Morris type constant term identity for a product of two Macdonald polynomials.
We prove a master identity for a class of sequences defined by full-history linear homogeneous recurrences with (non-negative) constant coefficients. The identity is derived in a combinatorial way, providing thus combinatorial proofs for many known and new identities obtained as its corollaries. In particular, we prove several interesting identities for the Pell, the Jacobsthal, and the m-nacci numbers.
We present proofs of two new families of sum-product identities arising from the cylindric partitions paradigm. Most of the presented expressions, the related sum-product identities, and the ingredients for the proofs were first conjectured by Kanade-Russell in the spirit of Andrews-Schilling-Warnaar identities of the $A_2$ Rogers-Ramanujan type. We follow the footsteps of Kanade-Russell while we alter the computations heavily to accomplish our goals.
In this paper, we define new generalized k-Mersenne numbers and give a formula of generalized Mersenne polynomials and further we study their properties. Moreover, we define Gaussian Mersenne numbers and obtain some identities like Binet Formula, Cassini's identity, D'Ocagne's Identity, and generating functions. The generalized Gaussian Mersenne numbers are described and the relation with classical Mersenne numbers are explained. We also introduce a generalization of Gaussian Mersenne polynomials and establish some properties of these polynomials.
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.
This article is concerned with the constants that appear in Harish-Chandra's character formula for stable discrete series of real reductive groups, although it does not require any knowledge about real reductive groups or discrete series. In Harish-Chandra's work the only information we have about these constants is that they are uniquely determined by an inductive property. Later Goresky-Kottwitz-MacPherson and Herb gave different formulas for these constants. In this article we generalize these formulas to the case of arbitrary finite Coxeter groups (in this setting, discrete series no longe…
Partition identities are often statements asserting that the set $\mathcal P_X$ of partitions of $n$ subject to condition $X$ is equinumerous to the set $\mathcal P_Y$ of partitions of $n$ subject to condition $Y$. A Beck-type identity is a companion identity to $|\mathcal P_X|=|\mathcal P_Y|$ asserting that the difference $b(n)$ between the number of parts in all partitions in $\mathcal P_X$ and the number of parts in all partitions in $\mathcal P_Y$ equals a $c|\mathcal P_{X'}|$ and also $c|\mathcal P_{Y'}|$, where $c$ is some constant related to the original identity, and $X'$, respectively…
What follows is a lightly edited version of the author's unpublished master's essay, submitted in partial fulfillment of the requirements of the degree of Master of Arts at the Pennsylvania State University, dated June 1994, written under the supervision of Professor George E. Andrews. It was retyped by the author on November 23, 2022. Obvious typographical errors in the original were corrected without comment; hopefully not too many new errors were introduced during the retyping. Explanatory text added by the author in 2022 is notated by \emph{Remark added in 2022}. After the initial posting …
In terms of the derivative operator and Watson-type $_3F_2$-series identities, three families of summation formulae involving generalized harmonic numbers are established.
By means of the derivative operator and Whipple-type $_3F_2$-series identities, two families of summation formulae involving generalized harmonic numbers are established.
We consider nested sums involving the Pochhammer symbol at infinity and rewrite them in terms of a small set of constants, such as powers of $π,$ $\log(2)$ or zeta values. In order to perform these simplifications, we view the series as specializations of generating series. For these generating series, we derive integral representations in terms of root-valued iterated integrals or directly in terms of cyclotomic harmonic polylogarithms. Using substitutions, we express the root-valued iterated integrals as cyclotomic harmonic polylogarithms. Finally, by applying known relations among the cyclo…
We give unified modular proofs to all of Gosper's identities on the $q$-constant $Π_q$. We also confirm Gosper's observation that for any distinct positive integers $n_1,\cdots,n_m$ with $m\geq 3$, $Π_{q^{n_1}}$, $\cdots$, $Π_{q^{n_m}}$ satisfy a nonzero homogeneous polynomial. Our proofs provide a method to rediscover Gosper's identities. Meanwhile, several results on $Π_q$ found by El Bachraoui have been corrected. Furthermore, we illustrate a strategy to construct some of Gosper's identities using hauptmoduls for genus zero congruence subgroups.