Source author record

Lisa H. Sun

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.NT Biomolecules math.CA

Catalog footprint

Research overview

9works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

A semi-bijective algorithm for saturated extended 2-regular simple stacks

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.

preprint2014arXiv

Ramanujan-type Congruences for Overpartitions Modulo 16

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}$ .

preprint2014arXiv

Ramanujan-type Congruences for Overpartitions Modulo 5

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$ .

preprint2014arXiv

Zigzag Stacks and m-Regular Linear Stacks

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.

preprint2012arXiv

Congruences of Multipartition Functions Modulo Powers of Primes

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)$ .

preprint2011arXiv

Extended Zeilberger's Algorithm for Identities on Bernoulli and Euler 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.

preprint2010arXiv

An Iterated Map for the Lebesgue Identity

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

preprint2010arXiv

The Method of Combinatorial Telescoping

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.

preprint2009arXiv

An Operator Approach to the Al-Salam-Carlitz Polynomials

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Lisa H. Sun

Research overview

Is this your work?

9 publications

A semi-bijective algorithm for saturated extended 2-regular simple stacks

Ramanujan-type Congruences for Overpartitions Modulo 16

Ramanujan-type Congruences for Overpartitions Modulo 5

Zigzag Stacks and m-Regular Linear Stacks

Congruences of Multipartition Functions Modulo Powers of Primes

Extended Zeilberger's Algorithm for Identities on Bernoulli and Euler Polynomials

An Iterated Map for the Lebesgue Identity

The Method of Combinatorial Telescoping

An Operator Approach to the Al-Salam-Carlitz Polynomials

See the researcher in context

Building this map preview