Source author record

Qing-Hu Hou

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 math.CA Symbolic Computation Emerging Technologies Machine Learning math.RA

Catalog footprint

Research overview

18works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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

Deep Squared Euclidean Approximation to the Levenshtein Distance for DNA Storage

Storing information in DNA molecules is of great interest because of its advantages in longevity, high storage density, and low maintenance cost. A key step in the DNA storage pipeline is to efficiently cluster the retrieved DNA sequences according to their similarities. Levenshtein distance is the most suitable metric on the similarity between two DNA sequences, but it is inferior in terms of computational complexity and less compatible with mature clustering algorithms. In this work, we propose a novel deep squared Euclidean embedding for DNA sequences using Siamese neural network, squared Euclidean embedding, and chi-squared regression. The Levenshtein distance is approximated by the squared Euclidean distance between the embedding vectors, which is fast calculated and clustering algorithm friendly. The proposed approach is analyzed theoretically and experimentally. The results show that the proposed embedding is efficient and robust.

preprint2020arXiv

$q$ -Analogues of some series for powers of $π$

We obtain $q$ -analogues of several series for powers of $π$ . For example, the identity $\sum_{k=0}^\infty\frac{(-1)^k}{(2k+1)^3}=\frac{π^3}{32}$ has the following $q$ -analogue: \begin{equation*} \sum_{k=0}^\infty(-1)^k\frac{q^{2k}(1+q^{2k+1})}{(1-q^{2k+1})^3}=\frac{(q^2;q^4)_{\infty}^2(q^4;q^4)_{\infty}^6} {(q;q^2)_{\infty}^4}, \end{equation*} where $q$ is any complex number with $|q|<1$ . We also give $q$ -analogues of four new series for powers of $π$ found by the second author.

preprint2016arXiv

Asymptotic $r$ -log-convexity and P-recursive sequences

A sequence $\{ a_n \}_{n \ge 0}$ is said to be asymptotically $r$ -log-convex if it is $r$ -log-convex for $n$ sufficiently large. We present a criterion on the asymptotical $r$ -log-convexity based on the asymptotic behavior of $a_n a_{n+2}/a_{n+1}^2$ . As an application, we show that most P-recursive sequences are asymptotic $r$ -log-convexity for any integer $r$ once they are log-convex. Moreover, for a concrete integer $r$ , we present a systematic method to find the explicit integer $N$ such that a P-recursive sequence $\{a_n\}_{n \ge N}$ is $r$ -log-convex. This enable us to prove the $r$ -log-convexity of some combinatorial sequences.

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

Automated Discovery and Proof of Congruence Theorems for Partial Sums of Combinatorial Sequences

Many combinatorial sequences (for example, the Catalan and Motzkin numbers) may be expressed as the constant term of $P(x)^k Q(x)$ , for some Laurent polynomials $P(x)$ and $Q(x)$ in the variable $x$ with integer coefficients. Denoting such a sequence by $a_k$ , we obtain a general formula that determines the congruence class, modulo $p$ , of the indefinite sum $\sum_{k=0}^{rp -1} a_k$ , for {\it any} prime $p$ , and any positive integer $r$ , as a linear combination of sequences that satisfy linear recurrence (alias difference) equations with constant coefficients. This enables us (or rather, our computers) to automatically discover and prove congruence theorems for such partial sums. Moreover, we show that in many cases, the set of the residues is finite, regardless of the prime $p$ .

preprint2015arXiv

Congruences on the Number of Restricted $m$ -ary Partitions

Andrews, Brietzke, Rødseth and Sellers proved an infinite family of congruences on the number of the restricted $m$ -ary partitions when $m$ is a prime. In this note, we show that these congruences hold for arbitrary positive integer $m$ and thus confirm the conjecture of Andrews, et al.

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

On monotonicity of some combinatorial sequences

We confirm Sun's conjecture that $(\root{n+1}\of{F_{n+1}}/\root{n}\of{F_n})_{n\ge 4}$ is strictly decreasing to the limit 1, where $(F_n)_{n\ge0}$ is the Fibonacci sequence. We also prove that the sequence $(\root{n+1}\of{D_{n+1}}/\root{n}\of{D_n})_{n\ge3}$ is strictly decreasing with limit $1$ , where $D_n$ is the $n$ -th derangement number. For $m$ -th order harmonic numbers $H_n^{(m)}=\sum_{k=1}^n 1/k^m\ (n=1,2,3,\ldots)$ , we show that $(\root{n+1}\of{H^{(m)}_{n+1}}/\root{n}\of{H^{(m)}_n})_{n\ge3}$ is strictly increasing.

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

The Method of Multiple Combinatorial Telescoping

We generalize the method of combinatorial telescoping to the case of multiple summations. We shall demonstrate this idea by giving combinatorial proofs for two identities of Andrews on parity indices of partitions.

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

preprint2012arXiv

Partially Ordinal Sums and $P$ -partitions

We present a method of computing the generating function $f_P(\x)$ of $P$ -partitions of a poset $P$ . The idea is to introduce two kinds of transformations on posets and compute $f_P(\x)$ by recursively applying these transformations. As an application, we consider the partially ordinal sum $P_n$ of $n$ copies of a given poset, which generalizes both the direct sum and the ordinal sum. We show that the sequence $\{f_{P_n}(\x)\}_{n\ge 1}$ satisfies a finite system of recurrence relations with respect to $n$ . We illustrate the method by several examples, including a kind of 3-rowed posets and the multi-cube posets.

preprint2011arXiv

Formal residue and computer proofs of combinatorial identities

The coefficient of x^{-1} of a formal Laurent series f(x) is called the formal residue of f(x). Many combinatorial numbers can be represented by the formal residues of hypergeometric terms. With these representations and the extended Zeilberger's algorithm, we generate recurrence relations for summations involving combinatorial sequences such as Stirling numbers. As examples, we give computer proofs of several known identities and derive some new identities. The applicability of this method is also studied.

preprint2011arXiv

The Abel-Zeilberger Algorithm

We use both Abel's lemma on summation by parts and Zeilberger's algorithm to find recurrence relations for definite summations. The role of Abel's lemma can be extended to the case of linear difference operators with polynomial coefficients. This approach can be used to verify and discover identities involving harmonic numbers and derangement numbers. As examples, we use the Abel-Zeilberger algorithm to prove the Paule-Schneider identities, the Apery-Schmidt-Strehl identity, Calkin's identity and some identities involving Fibonacci numbers.

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.

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.

Qing-Hu Hou

Research overview

Is this your work?

18 publications

Constructing minimal telescopers for rational functions in three discrete variables

Deep Squared Euclidean Approximation to the Levenshtein Distance for DNA Storage

$q$ -Analogues of some series for powers of $π$

Asymptotic $r$ -log-convexity and P-recursive sequences

Existence Problem of Telescopers: Beyond the Bivariate Case

Automated Discovery and Proof of Congruence Theorems for Partial Sums of Combinatorial Sequences

Congruences on the Number of Restricted $m$ -ary Partitions

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

An Algorithm for Deciding the Summability of Bivariate Rational Functions

On monotonicity of some combinatorial sequences

Ramanujan-type Congruences for Overpartitions Modulo 16

The Method of Multiple Combinatorial Telescoping

Congruences of Multipartition Functions Modulo Powers of Primes

Partially Ordinal Sums and $P$ -partitions

Formal residue and computer proofs of combinatorial identities

The Abel-Zeilberger Algorithm

An Iterated Map for the Lebesgue Identity

The Method of Combinatorial Telescoping

See the researcher in context

Building this map preview

Qing-Hu Hou

Research overview

Is this your work?

18 publications

Constructing minimal telescopers for rational functions in three discrete variables

Deep Squared Euclidean Approximation to the Levenshtein Distance for DNA Storage

qqq-Analogues of some series for powers of πππ

Asymptotic rrr-log-convexity and P-recursive sequences

Existence Problem of Telescopers: Beyond the Bivariate Case

Automated Discovery and Proof of Congruence Theorems for Partial Sums of Combinatorial Sequences

Congruences on the Number of Restricted mmm-ary Partitions

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

An Algorithm for Deciding the Summability of Bivariate Rational Functions

On monotonicity of some combinatorial sequences

Ramanujan-type Congruences for Overpartitions Modulo 16

The Method of Multiple Combinatorial Telescoping

Congruences of Multipartition Functions Modulo Powers of Primes

Partially Ordinal Sums and PPP-partitions

Formal residue and computer proofs of combinatorial identities

The Abel-Zeilberger Algorithm

An Iterated Map for the Lebesgue Identity

The Method of Combinatorial Telescoping

See the researcher in context

Building this map preview

$q$ -Analogues of some series for powers of $π$

Asymptotic $r$ -log-convexity and P-recursive sequences

Congruences on the Number of Restricted $m$ -ary Partitions

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

Partially Ordinal Sums and $P$ -partitions