arXiv subjects
Publications and source records attributed to Qing-Hu Hou.
We propose a systematic method for constructing Wilf-Zeilberger (WZ) seeds and present seven WZ seeds. We also demonstrate how to construct WZ seeds from existing ones. With these WZ seeds, several hypergeometric identities are derived. The construction can be extended to the $q$-cases, leading to the $q$-analogues of the seven WZ seeds.
In this paper, we evaluate some series via the WZ method, and confirm several previous conjectures. For example, we prove the following two identities conjectured by the second author: $$\sum_{k=0}^{\infty} \frac{(28k^2 + 10k + 1) \binom{2k}{k}^5}{(6k + 1)(-64)^k \binom{3k}{k} \binom{6k}{3k}} = \frac{3}π$$ and $$\sum_{k=1}^\infty \frac{d^4}{dk^4}\left(\frac{(21k-8)Γ(k+1)^2}{k^3Γ(2k+1)}\right)=\frac{1959}2ζ(6)-432ζ(3)^2. $$
During 2022--2023 Z.-W. Sun posed many conjectures on infinite series with summands involving generalized harmonic numbers. Motivated by this, we deduce $58$ series identities involving harmonic numbers, eight of which were previously conjectured by the second author. For example, we obtain that \[ \sum_{k=1}^{\infty} \frac{(-1)^k}{k^2{2k \choose k}{3k \choose k}} \left( \frac{7 k-2}{2 k-1} H_{k-1}^{(2)}-\frac{3}{4 k^2} \right) = \frac{π^4}{720}. \] and \[ \sum_{k=1}^\infty \frac{1}{k^2 {2k \choose k}^2} \left( \frac{30k-11}{k(2k-1)} (H_{2k-1}^{(3)} + 2 H_{k-1}^{(3)}) + \frac{27}{8k^4} \right) = 4 ζ(3)^2, \] where $H_n^{(m)}$ denotes $\sum_{0<j \le n}j^{-m}$.
We utilize the Wilf-Zeilberger (WZ) method to establish congruences related to truncated Ramanujan-type series. By constructing hypergeometric terms $f(k, a, b, \ldots)$ with Gosper-summable differences and selecting appropriate parameters, we derive several congruences modulo $p$ and $p^2$ for primes $p > 2$. For instance, we prove that for any prime $p > 2$, \[ \sum_{n=0}^{p-1} \frac{10n+3}{2^{3n}}\binom{3n}{n}\binom{2n}{n}^2 \equiv 0 \pmod{p},\] and \[ \sum_{n=0}^{p-1} \frac{(-1)^n(20n^2+8n+1)}{2^{12n}}\binom{2n}{n}^5 \equiv 0 \pmod{p^2}. \] These results partially confirm conjectures by Sun and provide some novel congruences.
Inspired by Karr's algorithm, we consider the summations involving a sequence satisfying a recurrence of order two. The structure of such summations provides an algebraic framework for solving the difference equations of form $aσ(g)+bg=f$ in the bivariate difference field $(\mathbb{F}(α, β), σ)$, where $a, b,f\in\mathbb{F}(α,β)\setminus\{0\}$ are known binary functions of $α$, $β$, and $α$, $β$ are two algebraically independent transcendental elements, $σ$ is a transformation that satisfies $σ(α)=β$, $σ(β)=uα+vβ$, where $u,v\neq 0\in\mathbb{F}$. Based on it, we then describe algorithms for finding the universal denominator for those equations in the bivariate difference field under certain assumptions. This reduces the general problem of finding the rational solutions of such equations to the problem of finding the polynomial solutions of such equations.
Hou and Liu developed a telescoping method to prove the congruence of partial sums of P-recursive sequences. We release the requirement on the telescoper and utilize the congruence of the sequence. With this approach, we are able to confirm a conjecture of Sun and find a new congruence on the central trinomial coefficient.
Recently, graph (network) data is an emerging research area in artificial intelligence, machine learning and statistics. In this work, we are interested in whether node's labels (people's responses) are affected by their neighbor's features (friends' characteristics). We propose a novel latent logistic regression model to describe the network dependence with binary responses. The key advantage of our proposed model is that a latent binary indicator is introduced to indicate whether a node is susceptible to the influence of its neighbour. A score-type test is proposed to diagnose the existence of network dependence. In addition, an EM-type algorithm is used to estimate the model parameters under network dependence. Extensive simulations are conducted to evaluate the performance of our method. Two public datasets are used to illustrate the effectiveness of the proposed latent logistic regression model.
Let $p>3$ be a prime, and let $(\frac{\cdot}p)$ be the Legendre symbol. Let $b\in\mathbb Z$ and $\varepsilon\in\{\pm 1\}$. We mainly prove that $$\left|\left\{N_p(a,b):\ 1 \{ax^2+b\}_p$, and $\{m\}_p$ with $m\in\mathbb{Z}$ is the least nonnegative residue of $m$ modulo $p$.
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.
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.
By telescoping method, Sun gave some hypergeometric series whose sums are related to $π$ recently. We investigate these series from the point of view of Gosper's algorithm. Given a hypergeometric term $t_k$, we consider the Gosper summability of $r(k)t_k$ for $r(k)$ being a rational function of $k$. We give an upper bound and a lower bound on the degree of the numerator of $r(k)$ such that $r(k)t_k$ is Gosper summable. We also show that the denominator of the $r(k)$ can read from the Gosper representation of $t_{k+1}/t_k$. Based on these results, we give a systematic method to construct series whose sums can be derived from the known ones. We also illustrated the corresponding super-congruences and the $q$-analogue of the approach.
In recent years, Graph Neural Network (GNN) has bloomly progressed for its power in processing graph-based data. Most GNNs follow a message passing scheme, and their expressive power is mathematically limited by the discriminative ability of the Weisfeiler-Lehman (WL) test. Following Tinhofer's research on compact graphs, we propose a variation of the message passing scheme, called the Weisfeiler-Lehman-Tinhofer GNN (WLT-GNN), that theoretically breaks through the limitation of the WL test. In addition, we conduct comparative experiments and ablation studies on several well-known datasets. The results show that the proposed methods have comparable performances and better expressive power on these datasets.
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.
Based on a reduction processing, we rewrite a hypergeometric term as the sum of the difference of a hypergeometric term and a reduced hypergeometric term (the reduced part, in short). We show that when the initial hypergeometric term has a certain kind of symmetry, the reduced part contains only odd or even powers. As applications, we derived two infinite families of super-congruences.
We obtain a new $q$-analogue of the classical Leibniz series $\sum_{k=0}^\infty(-1)^k/(2k+1)=π/4$, namely \begin{equation*} \sum_{k=0}^\infty\frac{(-1)^kq^{k(k+3)/2}}{1-q^{2k+1}}=\frac{(q^2;q^2)_{\infty}(q^8;q^8)_{\infty}}{(q;q^2)_{\infty}(q^4;q^8)_{\infty}}, \end{equation*} where $q$ is a complex number with $|q|<1$. We also show that the Zeilberger-type series $\sum_{k=1}^\infty(3k-1)16^k/(k\binom{2k}k)^3=π^2/2$ has two $q$-analogues with $|q|<1$, one of which is $$\sum_{n=0}^\infty q^{n(n+1)/2} \frac {1-q^{3n+2}} {1-q} \cdot\frac{(q;q)_n^3 (-q;q)_n}{(q^3;q^2)_{n}^3} = (1-q)^2 \frac{(q^2;q^2)^4_\infty}{(q;q^2)^4_\infty}.$$
Recursive matrices are ubiquitous in combinatorics, which have been extensively studied. We focus on the study of the sums of $2\times 2$ minors of certain recursive matrices, the alternating sums of their $2\times 2$ minors, and the sums of their $2\times 2$ permanents. We obtain some combinatorial identities related to these sums, which generalized the work of Sun and Ma in [{\it Electron. J. Combin. 2014}] and [{\it European J. Combin. 2014}]. With the help of the computer algebra package {\tt HolonomicFunctions}, we further get some new identities involving Narayana polynomials.
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.
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.