arXiv++ Combinatorics

We prove a local bijection between alternating sign matrices (ASMs) and descending plane partitions (DPPs) in the refined fibres of Behrend--Di Francesco--Zinn-Justin. The map is constructed by moving a boundary line through the ASM and DPP pictures. At each step only a bounded neighbourhood of that boundary is changed. In growth-diagram language, the boundary states are ordinary ASM row frontiers and shifted DPP path frontiers, and the elementary moves are reversible Fomin-type square rules. The proof checks that overlapping local moves are confluent, that every square is invertible, and that the completed boundary again satisfies the ordinary ASM and DPP coordinate inequalities. The only terminal choice is resolved by a radius-two fan rule on the visible height contour. The same local framework gives a statistic on refined ASMs whose generating function is the DPP degree enumerator. The statistic has a Striker--Fulmek quadratic core \[ Q_{\rm SF}(A)= \sum_{1\le r<s\le n}\ \sum_{1\le b<a\le n} (n-r+1)A_{r,a}A_{s,b}, \] plus a bounded fan-boundary correction and, outside the normal boundary gauge, an explicit compact-potential endpoint term. In the normal gauge this is \[ W_{\rm ASM}^{\rm SF}(A)=Q_{\rm SF}(A)+B_{\rm fan}(A). \] Thus the paper gives both a local ASM--DPP bijection and a statistic-preserving refined \(q\)-enumeration. The supplementary files reproduce selected local checks and the displayed arithmetic examples.

We begin with the observation that the signed generalized Stirling polynomials $P_k(m,x)$, which occur in a generalization of Malmsten's integral, reduce to the falling factorials when $k=m$. The structure of these generalized Stirling polynomials is then used to obtain recurrence relations, gamma--polygamma formulas for the polynomials $P_{m-s}(m,x)$, a more transparent proof of a vanishing identity used in earlier closed forms, and a finite approximation to $\cosh πx$ with a corresponding limit formula for $π$. We also observe that these polynomials occur naturally as signed residues of the equal-period Barnes multiple zeta function, namely $P_k(m,x)=(-1)^k m!\operatorname*{Res}_{s=m+1-k}ζ_{m+1}(s,x)$. In addition, we derive the reflection formula $P_k(m,m+1-x)=(-1)^kP_k(m,x)$ and use these polynomial identities to obtain explicit identities for Stirling cycle numbers. We then turn to finite nested sums built from the hyperbolic-secant integral sequence $χ_n$. After the lower bounds are fixed, the nested sums become coefficient-counting problems: the common-lower-bound case gives binomial coefficients, while the staircase case gives Catalan numbers. Combining these counts with the closed forms for the individual $χ_j$'s produces explicit evaluations involving Catalan's constant, zeta values, and polygamma values at one quarter. A Wolfram Language package accompanies the formulas.

Using Bailey's very-well-poised $_6ψ_6$ summation, we show that a specific sequence of well-poised bilateral basic hypergeometric $_3ψ_3$ series form a family of orthogonal functions on the unit circle. We further extract a bilateral matrix inverse from Dougall's ${}_2H_2$ summation which we use, in combination with the Pfaff--Saalschütz summation, to derive a summation for a particular bilateral hypergeometric $_3H_3$ series. We finally provide multivariate extensions of the bilateral matrix inverse and the $_3H_3$ summation in the setting of hypergeometric series associated to the root system $A_r$.

We prove specific biases in the number of occurrences of parts belonging to two different residue classes $a$ and $b$, modulo a fixed non-negative integer $m$, for the sets of unrestricted partitions, partitions into distinct parts, and overpartitions. These biases follow from inequalities for residue-weighted partition functions for the respective sets of partitions. We also establish asymptotic formulas for the numbers of partitions of size $n$ that belong to these sets of partitions and have a symmetric residue class bias (i.e., for $1\le a<m/2$ and $b=m-a$), as $n$ tends to infinity.

We introduce a finite-bound extension of a partition equinumerosity result which was orignally proposed as a problem by Andrews and Deutsch in 2016, and given a generalized form in 2018 by Smoot and Yang. We also give a simple bijective proof, itself an extension of the proof given of the 2018 generalization.

We provide elliptic extensions of elementary identities such as the sum of the first $n$ odd or even numbers, the geometric sum and the sum of the first $n$ cubes. Many such identities, and their $q$-analogues, are indefinite sums, and can be obtained from telescoping. So we used telescoping in our study to find elliptic extensions of these identities. In the course of our study, we obtained an identity with many parameters, which appears to be new even in the $q$-case. In addition, we recover some $q$-identities due to Warnaar.

We discuss the problem posed by Bender, Coley, Robbins and Rumsey of enumerating the number of subspaces which have a given profile with respect to a linear operator over the finite field $\mathbb{F}_q$. We solve this problem in the case where the operator is diagonalizable. The solution leads us to a new class of polynomials $b_{μν}(q)$ indexed by pairs of integer partitions. These polynomials have several interesting specializations and can be expressed as positive sums over semistandard tableaux. We present a new correspondence between set partitions and semistandard tableaux. A close analysis of this correspondence reveals the existence of several new set partition statistics which generate the polynomials $b_{μν}(q)$; each such statistic arises from a Mahonian statistic on multiset permutations. The polynomials $b_{μν}(q)$ are also given a description in terms of coefficients in the monomial expansion of $q$-Whittaker symmetric functions which are specializations of Macdonald polynomials. We express the Touchard--Riordan generating polynomial for chord diagrams by number of crossings in terms of $q$-Whittaker functions. We also introduce a class of $q$-Stirling numbers defined in terms of the polynomials $b_{μν}(q)$ and present connections with $q$-rook theory in the spirit of Garsia and Remmel.

We introduce an algebra of elliptic commuting variables involving a base $q$, nome $p$, and $2r$ noncommuting variables. This algebra, which for $r=1$ reduces to an algebra considered earlier by the author, is an elliptic extension of the well-known algebra of $r$ $q$-commuting variables. We present a multinomial theorem valid as an identity in this algebra, hereby extending the author's previously obtained elliptic binomial theorem to higher rank. Two essential ingredients are a consistency relation satisfied by the elliptic weights and the Weierstrass type $\mathsf A$ elliptic partial fraction decomposition. From the elliptic multinomial theorem we obtain, by convolution, an identity equivalent to Rosengren's type $\mathsf A$ extension of the Frenkel-Turaev ${}_{10}V_9$ summation. Interpreted in terms of a weighted counting of lattice paths in the integer lattice $\mathbb Z^r$, this derivation of Rosengren's $\mathsf A_r$ Frenkel-Turaev summation constitutes the first combinatorial proof of that fundamental identity.

Motivated by recent work of George Andrews and Mircea Merca on the expansion of the quotient of the truncation of Euler's pentagonal number series by the complete series, we provide similar expansion results for averages involving truncations of selected, more general, basic hypergeometric series. In particular, our expansions include new results for averaged truncations of the series appearing in the Jacobi triple product identity, the $q$-Gauß summation, and the very-well-poised ${}_5φ_5$ summation. We show how special cases of our expansions can be used to recover various existing results. In addition, we establish new inequalities, such as one for a refinement of the number of partitions into three different colors.

The identity by Chaundy and Bullard expresses $1$ as a sum of two truncated binomial series in one variable where the truncations depend on two different non-negative integers. We present basic and elliptic extensions of the Chaundy--Bullard identity. The most general result, the elliptic extension, involves, in addition to the nome $p$ and the base $q$, four independent complex variables. Our proof uses a suitable weighted lattice path model. We also show how three of the basic extensions can be viewed as Bézout identities. Inspired by the lattice path model, we give a new elliptic extension of the binomial theorem, taking the form of an identity for elliptic commuting variables. We further present variants of the homogeneous form of the identity for $q$-commuting and for elliptic commuting variables.

We extend Fibonacci numbers with arbitrary weights and generalize a dozen Fibonacci identities. As a special case, we propose an elliptic extension which extends the $q$-Fibonacci polynomials appearing in Schur's work. The proofs of most of the identities are combinatorial, extending the proofs given by Benjamin and Quinn, and in the $q$ case, by Garrett. Some identities are proved by telescoping.

In 1992, Loeb considered a natural extension of the binomial coefficients to negative entries and gave a combinatorial interpretation in terms of hybrid sets. He showed that many of the fundamental properties of binomial coefficients continue to hold in this extended setting. Recently, Formichella and Straub showed that these results can be extended to the $q$-binomial coefficients with arbitrary integer values and extended the work of Loeb further by examining arithmetic properties of the $q$-binomial coefficients. In this paper, we give an alternative combinatorial interpretation in terms of lattice paths and consider an extension of the more general weight-dependent binomial coefficients, first defined by the second author, to arbitrary integer values. Remarkably, many of the results of Loeb, Formichella and Straub continue to hold in the general weighted setting. We also examine important special cases of the weight-dependent binomial coefficients, including ordinary, $q$- and elliptic binomial coefficients as well as elementary and complete homogeneous symmetric functions.

We study two types of dynamical extensions of Lucas sequences and give elliptic solutions for them. The first type concerns a level-dependent (or discrete time-dependent) version involving commuting variables. We show that a nice solution for this system is given by elliptic numbers. The second type involves a non-commutative version of Lucas sequences which defines the non-commutative (or abstract) Fibonacci polynomials introduced by Johann Cigler. If the non-commuting variables are specialized to be elliptic-commuting variables the abstract Fibonacci polynomials become non-commutative elliptic Fibonacci polynomials. Some properties we derive for these include their explicit expansion in terms of normalized monomials and a non-commutative elliptic Euler--Cassini identity.

We prove two supercongruences for specific truncated hypergeometric series. These include an uniparametric extension of a supercongruence that was recently established by Long and Ramakrishna. Our proofs involve special instances of various hypergeometric identities including Whipple's transformation and the Karlsson--Minton summation.

We establish the asymptotic normality of the dimension of large-size random Fishburn matrices by a complex-analytic approach. The corresponding dual problem of size distribution under large dimension is also addressed and follows a quadratic type normal limit law. These results represent the first of their kind and solve two open questions raised in the combinatorial literature. They are presented in a general framework where the entries of the Fishburn matrices are not limited to binary or nonnegative integers. The analytic saddle-point approach we apply, based on a powerful transformation for $q$-series due to Andrews and Jelínek, is also useful in solving a conjecture of Stoimenow in Vassiliev invariants.

It is well known since the seminal work by Bousquet-Mélou, Claesson, Dukes and Kitaev (2010) that certain refinements of the ascent sequences with respect to several natural statistics are in bijection with corresponding refinements of $({\bf2+2})$-free posets and permutations that avoid a bivincular pattern. Different multiply-refined enumerations of ascent sequences and other bijectively equivalent structures have subsequently been extensively studied by various authors. In this paper, our main contributions are 1. a bijective proof of a bi-symmetric septuple equidistribution of statistics on ascent sequences, involving the number of ascents (asc), the number of repeated entries (rep), the number of zeros (zero), the number of maximal entries (max), the number of right-to-left minima (rmin) and two auxiliary statistics; 2. a new transformation formula for non-terminating basic hypergeometric $_4φ_3$ series expanded as an analytic function in base $q$ around $q=1$, which is utilized to prove two (bi)-symmetric quadruple equidistributions on ascent sequences. A by-product of our findings includes the affirmation of a conjecture about the bi-symmetric equidistribution between the quadruples of Euler--Stirling statistics (asc,rep,zero,max) and (rep,asc,max,zero) on ascent sequences, that was motivated by a double Eulerian equidistribution due to Foata (1977) and recently proposed by Fu, Lin, Yan, Zhou and the first author (2018).

A standard barely set-valued tableau of shape $λ$ is a filling of the Young diagram $λ$ with integers $1,2,\dots,|λ|+1$ such that the integers are increasing in each row and column, and every cell contains one integer except one cell that contains two integers. Counting standard barely set-valued tableaux is closely related to the coincidental down-degree expectations (CDE) of lower intervals in Young's lattice. Using $q$-integral techniques we give a formula for the number of standard barely set-valued tableaux of arbitrary shifted shape. We show how it can be used to recover two formulas, originally conjectured by Reiner, Tenner and Yong, and proved by Hopkins, for numbers of standard barely set valued tableaux of particular shifted-balanced shapes. We also prove a conjecture of Reiner, Tenner and Yong on the CDE property of the shifted shape $(n,n-2,n-4,\dots,n-2k+2)$. Finally, in the Appendix we raise a conjecture on an $\mathsf a;q$-analogue of the down-degree expectation with respect to the uniform distribution for a specific class of lower order ideals of Young's lattice.

We establish discrete and continuous log-concavity results for a biparametric extension of the $q$-numbers and of the $q$-binomial coefficients. By using classical results for the Jacobi theta function we are able to lift some of our log-concavity results to the elliptic setting. One of our main ingredients is a putatively new lemma involving a multiplicative analogue of Turán's inequality.

This is a small contribution to the (September 15, 2019) Liber Amicorum Richard "Dick" Allen Askey. At the end a positivity conjecture related to the First and Second Borwein Conjectures is offered.

We provide several new $q$-congruences for truncated basic hypergeometric series with the base being an even power of $q$. Our results mainly concern congruences modulo the square or the cube of a cyclotomic polynomial and complement corresponding ones of an earlier paper containing $q$-congruences for truncated basic hypergeometric series with the base being an odd power of $q$. We also give a number of related conjectures including $q$-congruences modulo the fifth power of a cyclotomic polynomial and a congruence for a truncated ordinary hypergeometric series modulo the seventh power of a prime greater than 3.