arXiv++ Combinatorics

Combinatorial enumeration of various RNA secondary structures and protein contact maps, is of great interest for both combinatorists and computational biologists. Enumeration of protein contact maps has considerable difficulties due to the significant higher vertex degree than that of RNA secondary structures. The state of art maximum vertex degree in previous works is two. This paper proposes a solution for counting stacks in protein contact maps with arbitrary vertex degree upper bound. By establishing bijection between such general stacks and $m$-regular $Λ$-avoiding $DLU$ paths, and counting the paths using theories of pattern avoiding lattice paths, we obtain a unified system of equations for generating functions of general stacks. We also show that previous enumeration results for RNA secondary structures and protein contact maps can be derived from the unified equation system as special cases.

It is known that $q$-orthogonal polynomials play an important role in the field of $q$-series and special functions. During studying Dyson's "favorite" identity of Rogers--Ramanujan type, Andrews pointed out that the classical orthogonal polynomials also have surprising applications in the world of $q$. By inserting Chebyshev polynomials of the third and the fourth kinds into Bailey pairs, Andrews derived a family of Rogers--Ramanujan type identities and also results related to mock theta functions and Hecke--type series. In this paper, by constructing a new Bailey pair involving Chebyshev polynomials of the third kind, we further extend Andrews' way in the studying of Rogers--Ramanujan type identities. By fitting this Bailey pair into different weak forms of Bailey's lemma, we obtain a companion identity to Dyson's favorite one and also many other Rogers--Ramanujan type identities. Furthermore, as immediate consequences, we also obtain some results related to Appell--Lerch series and the generalized Hecke--type series.

Combinatorics of biopolymer structures, especially enumeration of various RNA secondary structures and protein contact maps, is of significant interest for communities of both combinatorics and computational biology. However, most of the previous combinatorial enumeration results for these structures are presented in terms of generating functions, and few are explicit formulas. This paper is mainly concerned with finding explicit enumeration formulas for a particular class of biologically relevant structures, say, saturated 2-regular simple stacks, whose configuration is related to protein folds in the 2D honeycomb lattice. We establish a semi-bijective algorithm that converts saturated 2-regular simple stacks into forests of small trees, which produces a uniform formula for saturated extended 2-regular simple stacks with any of the six primary component types. Summarizing the six different primary component types, we obtain a bivariate explicit formula for saturated extended 2-regular simple stacks with $n$ vertices and $k$ arcs. As consequences, the uniform formula can be reduced to Clote's results on $k$-saturated 2-regular simple stacks and the optimal 2-regular simple stacks, and Guo et al.'s result on the optimal extended 2-regular simple stacks.

Let $\overline{p}(n)$ denote the number of overpartitions of $n$. Recently, Fortin-Jacob-Mathieu and Hirschhorn-Sellers independently obtained 2-, 3- and 4-dissections of the generating function for $\overline{p}(n)$ and derived a number of congruences for $\overline{p}(n)$ modulo $4$, $8$ and $64$ including $\overline{p}(5n+2)\equiv 0 \pmod{4}$, $\overline{p}(4n+3)\equiv 0 \pmod{8}$ and $\overline{p}(8n+7)\equiv 0 \pmod{64}$. By employing dissection techniques, Yao and Xia obtained congruences for $\overline{p}(n)$ modulo $8, 16$ and $32$, such as $\overline{p}(48n+26) \equiv 0 \pmod{8}$, $\overline{p}(24n+17)\equiv 0 \pmod{16}$ and $\overline{p}(72n+69)\equiv 0 \pmod{32}$. In this paper, we give a 16-dissection of the generating function for $\overline{p}(n)$ modulo 16 and we show that $\overline{p}(16n+14)\equiv0\pmod{16}$ for $n\ge 0$. Moreover, by using the $2$-adic expansion of the generating function of $\overline{p}(n)$ due to Mahlburg, we obtain that $\overline{p}(\ell^2n+r\ell)\equiv0\pmod{16}$, where $n\ge 0$, $\ell \equiv -1\pmod{8}$ is an odd prime and $r$ is a positive integer with $\ell \nmid r$. In particular, for $\ell=7$, we get $\overline{p}(49n+7)\equiv0\pmod{16}$ and $\overline{p}(49n+14)\equiv0\pmod{16}$ for $n\geq 0$. We also find four congruence relations: $\overline{p}(4n)\equiv(-1)^n\overline{p}(n) \pmod{16}$ for $n\ge 0$, $\overline{p}(4n)\equiv(-1)^n\overline{p}(n)\pmod{32}$ for $n$ being not a square of an odd positive integer, $\overline{p}(4n)\equiv(-1)^n\overline{p}(n)\pmod{64}$ for $n\not\equiv 1,2,5\pmod{8}$ and $\overline{p}(4n)\equiv(-1)^n\overline{p}(n)\pmod{128}$ for $n\equiv 0\pmod{4}$.

Let $\overline{p}(n)$ denote the number of overpartitions of $n$. Hirschhorn and Sellers showed that $\overline{p}(4n+3)\equiv 0 \pmod{8}$ for $n\geq 0$. They also conjectured that $\overline{p}(40n+35)\equiv 0 \pmod{40}$ for $n\geq 0$. Chen and Xia proved this conjecture by using the $(p,k)$-parametrization of theta functions given by Alaca, Alaca and Williams. In this paper, we show that $\overline{p}(5n)\equiv (-1)^{n}\overline{p}(4\cdot 5n) \pmod{5}$ for $n \geq 0$ and $\overline{p}(n)\equiv (-1)^{n}\overline{p}(4n)\pmod{8}$ for $n \geq 0$ by using the relation of the generating function of $\overline{p}(5n)$ modulo $5$ found by Treneer and the $2$-adic expansion of the generating function of $\overline{p}(n)$ due to Mahlburg. As a consequence, we deduce that $\overline{p}(4^k(40n+35))\equiv 0 \pmod{40}$ for $n,k\geq 0$. Furthermore, applying the Hecke operator on $φ(q)^3$ and the fact that $φ(q)^3$ is a Hecke eigenform, we obtain an infinite family of congrences $\overline{p}(4^k \cdot5\ell^2n)\equiv 0 \pmod{5}$, where $k\ge 0$ and $\ell$ is a prime such that $\ell\equiv3 \pmod{5}$ and $\left(\frac{-n}{\ell}\right)=-1$. Moreover, we show that $\overline{p}(5^{2}n)\equiv \overline{p}(5^{4}n) \pmod{5}$ for $n \ge 0$. So we are led to the congruences $\overline{p}\big(4^k5^{2i+3}(5n\pm1)\big)\equiv 0 \pmod{5}$ for $n, k, i\ge 0$. In this way, we obtain various Ramanujan-type congruences for $\overline{p}(n)$ modulo $5$ such as $\overline{p}(45(3n+1))\equiv 0 \pmod{5}$ and $\overline{p}(125(5n\pm 1))\equiv 0 \pmod{5}$ for $n\geq 0$.

The contact map of a protein fold is a graph that represents the patterns of contacts in the fold. It is known that the contact map can be decomposed into stacks and queues. RNA secondary structures are special stacks in which the degree of each vertex is at most one and each arc has length at least two. Waterman and Smith derived a formula for the number of RNA secondary structures of length $n$ with exactly $k$ arcs. Höner zu Siederdissen et al. developed a folding algorithm for extended RNA secondary structures in which each vertex has maximum degree two. An equation for the generating function of extended RNA secondary structures was obtained by Müller and Nebel by using a context-free grammar approach, which leads to an asymptotic formula. In this paper, we consider $m$-regular linear stacks, where each arc has length at least $m$ and the degree of each vertex is bounded by two. Extended RNA secondary structures are exactly $2$-regular linear stacks. For any $m\geq 2$, we obtain an equation for the generating function of the $m$-regular linear stacks. For given $m$, we can deduce a recurrence relation and an asymptotic formula for the number of $m$-regular linear stacks on $n$ vertices. To establish the equation, we use the reduction operation of Chen, Deng and Du to transform an $m$-regular linear stack to an $m$-reduced zigzag (or alternating) stack. Then we find an equation for $m$-reduced zigzag stacks leading to an equation for $m$-regular linear stacks.

We present an algorithmic approach to the verification of identities on multiple theta functions in the form of products of theta functions $[(-1)^δa_1^{α_1}a_2^{α_2}\cdots a_r^{α_r}q^{s}; q^{t}]_\infty$, where $α_i$ are integers, $δ=0$ or $1$, $s\in \mathbb{Q}$, $t\in \mathbb{Q}^{+}$, and the exponent vectors $(α_1,α_2,\ldots,α_r)$ are linearly independent over $\mathbb{Q}$. For an identity on such multiple theta functions, we provide an algorithmic approach for computing a system of contiguous relations satisfied by all the involved multiple theta functions. Using Stanley's Lemma on the fundamental parallelepiped, we show that a multiple theta function can be determined by a finite number of its coefficients. Thus such an identity can be reduced to a finite number of simpler relations. Many classical multiple theta function identities fall into this framework, including Riemann's addition formula and the extended Riemann identity.

Let $p_r(n)$ denote the number of $r$-component multipartitions of $n$, and let $S_{γ,λ}$ be the space spanned by $η(24z)^γφ(24z)$, where $η(z)$ is the Dedekind's eta function and $φ(z)$ is a holomorphic modular form in $M_λ({\rm SL}_2(\mathbb{Z}))$. In this paper, we show that the generating function of $p_r(\frac{m^k n +r}{24})$ with respect to $n$ is congruent to a function in the space $S_{γ,λ}$ modulo $m^k$. As special cases, this relation leads to many well known congruences including the Ramanujan congruences of $p(n)$ modulo $5,7,11$ and Gandhi's congruences of $p_2(n)$ modulo 5 and $p_{8}(n)$ modulo 11. Furthermore, using the invariance property of $S_{γ,λ}$ under the Hecke operator $T_{\ell^2}$, we obtain two classes of congruences pertaining to the $m^k$-adic property of $p_r(n)$.

We present a simple iteration for the Lebesgue identity on partitions, which leads to a refinement involving the alternating sums of partitions.

We present a method for proving q-series identities by combinatorial telescoping, in the sense that one can transform a bijection or a classification of combinatorial objects into a telescoping relation. We shall illustrate this method by giving a combinatorial proof of Watson's identity which implies the Rogers-Ramanujan identities.

We present an operator approach to Rogers-type formulas and Mehler's formulas for the Al-Salam-Carlitz polynomials $U_n(x,y,a;q)$. By using the q-exponential operator, we obtain a Rogers-type formula which leads to a linearization formula. With the aid of a bivariate augmentation operator, we get a simple derivation of Mehler's formula due to by Al-Salam and Carlitz, which requires a terminating condition on a ${}_3φ_2$ series. By means of the Cauchy companion augmentation operator, we obtain Mehler's formula in a similar form, but it does not need the terminating condition. We also give several identities on the generating functions for products of the Al-Salam-Carlitz polynomials which are extensions of formulas for Rogers-Szegö polynomials.

We present a computer algebra approach to proving identities on Bernoulli polynomials and Euler polynomials by using the extended Zeilberger's algorithm given by Chen, Hou and Mu. The key idea is to use the contour integral definitions of the Bernoulli and Euler numbers to establish recurrence relations on the integrands. Such recurrence relations have certain parameter free properties which lead to the required identities without computing the integrals.

We present an operator approach to deriving Mehler's formula and the Rogers formula for the bivariate Rogers-Szegö polynomials $h_n(x,y|q)$. The proof of Mehler's formula can be considered as a new approach to the nonsymmetric Poisson kernel formula for the continuous big $q$-Hermite polynomials $H_n(x;a|q)$ due to Askey, Rahman and Suslov. Mehler's formula for $h_n(x,y|q)$ involves a ${}_3φ_2$ sum and the Rogers formula involves a ${}_2φ_1$ sum. The proofs of these results are based on parameter augmentation with respect to the $q$-exponential operator and the homogeneous $q$-shift operator in two variables. By extending recent results on the Rogers-Szegö polynomials $h_n(x|q)$ due to Hou, Lascoux and Mu, we obtain another Rogers-type formula for $h_n(x,y|q)$. Finally, we give a change of base formula for $H_n(x;a|q)$ which can be used to evaluate some integrals by using the Askey-Wilson integral.