Source author record

Rong-Hua Wang

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

ResearcherUnclaimed source record

math.CO Symbolic Computation math.NT math.CA math.RA

Catalog footprint

Research overview

8works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

$q$ -Rational Reduction and $q$ -Analogues of Series for $π$

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.

preprint2022arXiv

Constructing minimal telescopers for rational functions in three discrete variables

We present a new algorithm for constructing minimal telescopers for rational functions in three discrete variables. This is the first discrete reduction-based algorithm that goes beyond the bivariate case. The termination of the algorithm is guaranteed by a known existence criterion of telescopers. Our approach has the important feature that it avoids the potentially costly computation of certificates. Computational experiments are also provided so as to illustrate the efficiency of our approach.

preprint2022arXiv

Polynomial reduction for holonomic sequences and applications in $π$ -series and congruences

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.

preprint2020arXiv

On the Existence of Telescopers for Rational Functions in Three Variables

Zeilberger's method of creative telescoping is crucial for the computer-generated proofs of combinatorial and special-function identities. Telescopers are linear differential or ( $q$ -)recurrence operators computed by algorithms for creative telescoping. For a given class of inputs, when telescopers exist and how to construct telescopers efficiently if they exist are two fundamental problems related to creative telescoping. In this paper, we solve the existence problem of telescopers for rational functions in three variables including 18 cases. We reduce the existence problem from the trivariate case to the bivariate case and some related problems. The existence criteria given in this paper enable us to determine the termination of algorithms for creative telescoping with trivariate rational inputs.

preprint2016arXiv

Existence Problem of Telescopers: Beyond the Bivariate Case

In this paper, we solve the existence problem of telescopers for rational functions in three discrete variables. We reduce the problem to that of deciding the summability of bivariate rational functions, which has been solved recently. The existence criteria we present is needed for detecting the termination of Zeilberger's algorithm to the function classes studied in this paper.

preprint2015arXiv

Infinite Orders and Non- $D$ -finite Property of $3$ -Dimensional Lattice Walks

Recently, Bostan and his coauthors investigated lattice walks restricted to the non-negative octant $\mathbb{N}^3$ . For the $35548$ non-trivial models with at most six steps, they found that many models associated to a group of order at least $200$ and conjectured these groups were in fact infinite groups. In this paper, we first confirm these conjectures and then consider the non- $D$ -finite property of the generating function for some of these models.

preprint2014arXiv

An Algorithm for Deciding the Summability of Bivariate Rational Functions

Let $Δ_x f(x,y)=f(x+1,y)-f(x,y)$ and $Δ_y f(x,y)=f(x,y+1)-f(x,y)$ be the difference operators with respect to $x$ and $y$ . A rational function $f(x,y)$ is called summable if there exist rational functions $g(x,y)$ and $h(x,y)$ such that $f(x,y)=Δ_x g(x,y) + Δ_y h(x,y)$ . Recently, Chen and Singer presented a method for deciding whether a rational function is summable. To implement their method in the sense of algorithms, we need to solve two problems. The first is to determine the shift equivalence of two bivariate polynomials. We solve this problem by presenting an algorithm for computing the dispersion sets of any two bivariate polynomials. The second is to solve a univariate difference equation in an algebraically closed field. By considering the irreducible factorization of the denominator of $f(x,y)$ in a general field, we present a new criterion which requires only finding a rational solution of a bivariate difference equation. This goal can be achieved by deriving a universal denominator of the rational solutions and a degree bound on the numerator. Combining these two algorithms, we can decide the summability of a bivariate rational function.

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

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.

Rong-Hua Wang

Research overview

Is this your work?

8 publications

$q$ -Rational Reduction and $q$ -Analogues of Series for $π$

Constructing minimal telescopers for rational functions in three discrete variables

Polynomial reduction for holonomic sequences and applications in $π$ -series and congruences

On the Existence of Telescopers for Rational Functions in Three Variables

Existence Problem of Telescopers: Beyond the Bivariate Case

Infinite Orders and Non- $D$ -finite Property of $3$ -Dimensional Lattice Walks

An Algorithm for Deciding the Summability of Bivariate Rational Functions

Ramanujan-type Congruences for Overpartitions Modulo 5

See the researcher in context

Building this map preview

Rong-Hua Wang

Research overview

Is this your work?

8 publications

qqq-Rational Reduction and qqq-Analogues of Series for πππ

Constructing minimal telescopers for rational functions in three discrete variables

Polynomial reduction for holonomic sequences and applications in πππ-series and congruences

On the Existence of Telescopers for Rational Functions in Three Variables

Existence Problem of Telescopers: Beyond the Bivariate Case

Infinite Orders and Non-DDD-finite Property of 333-Dimensional Lattice Walks

An Algorithm for Deciding the Summability of Bivariate Rational Functions

Ramanujan-type Congruences for Overpartitions Modulo 5

See the researcher in context

Building this map preview

$q$ -Rational Reduction and $q$ -Analogues of Series for $π$

Polynomial reduction for holonomic sequences and applications in $π$ -series and congruences

Infinite Orders and Non- $D$ -finite Property of $3$ -Dimensional Lattice Walks