Related papers: Streamlined WZ method proofs of Van Hamme supercon…
Statistically resolving the underlying haplotype pair for a genotype measurement is an important intermediate step in gene mapping studies, and has received much attention recently. Consequently, a variety of methods for this problem have…
We extend the computations in [AGM4] to find the mod 2 homology in degree 1 of a congruence subgroup Gamma of SL(4,Z) with coefficients in the sharbly complex, along with the action of the Hecke algebra. This homology group is closely…
We investigate certain Eisenstein congruences, as predicted by Harder, for level p paramodular forms of genus 2. We use algebraic modular forms to generate new evidence for the conjecture. In doing this we see explicit computational…
In this paper we formulate combinatorial identities that give representation of positive integers as linear combination of even powers of 2 with binomial coefficients. We present side by side combinatorial as well as computer generated…
In this paper, we prove two supercongruences conjectured by Z.-W. Sun via the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{(p-1)/2}\frac{6n+1}{(-512)^n}\binom{2n}n^3&\equiv…
We give a proof of two identities involving binomial sums at infinity conjectured by Z-W Sun. In order to prove these identities, we use a recently presented method i.e. we view the series as specializations of generating series and derive…
In this paper we investigate congruence relationships of particular finite generalized harmonic numbers sums. We suggest more transparent and simpler method to analyse these sums and present several additional results for certain special…
In this paper, we mainly prove a congruence conjecture of Z.-W. Sun \cite{Sjnt}: Let $p>5$ be a prime. Then $$ \sum_{k=(p+1)/2}^{p-1}\frac{\binom{2k}k^2}{k16^k}\equiv-\frac{21}2H_{p-1}\pmod{p^4}, $$ where $H_n$ denotes the $n$-th harmonic…
We give a $q$-congruence whose specializations $q=-1$ and $q=1$ correspond to supercongruences (B.2) and (H.2) on Van Hamme's 1997 list: $$ \sum_{k=0}^{(p-1)/2}(-1)^k(4k+1)A_k\equiv p(-1)^{(p-1)/2}\pmod{p^3} \quad\text{and}\quad…
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)…
In recent years, Z.-W. Sun proposed several sophisticated conjectures on congruences for finite sums with terms involving combinatorial sequences such as central trinomial coefficients, Domb numbers and Franel numbers. These sums are double…
We present new, unified proofs for the cell-like, $\mathbb{Z}/p$-, and $\mathbb{Q}$-resolution theorems. Our arguments employ extensions that are much simpler then those used by our predecessors. The techniques allow us to solve problems…
Let $p$ be an odd prime. In the paper, by using the properties of Legendre polynomials we prove some congruences for $\sum_{k=0}^{\frac{p-1}2}\binom{2k}k^2m^{-k}\mod {p^2}$. In particular, we confirm several conjectures of Z.W. Sun. We also…
We show that the equation associated with a group word $w \in G \ast {\mathbf F}_2$ can be solved over a hyperlinear group $G$ if its content - that is its augmentation in ${\mathbf F}_2$ - does not lie in the second term of the lower…
We give a method to describe all congruence images of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n, \mathbb{Z})$. The method is applied to obtain efficient algorithms for solving this problem in odd prime degree $n$; if…
We analyse the relation between anomalies in their manifestly supersymmetric formulation in superspace and their formulation in Wess-Zumino (WZ) gauges. We show that there is a one-to-one correspondence between the solutions of the…
Guillera and Zudilin proved three "divergent" Ramanujan-type supercongruences by means of the Wilf-Zeilberger algorithmic technique. In this paper, we prove $q$-analogues of two of them via the $q$-WZ method. Additionally, we give…
The combination of higher-order theories and fuzzy logic can be useful in decision-making tasks that involve reasoning across abstract functions and predicates, where exact matches are often rare or unnecessary. Developing efficient…
In many applications one wants to identify identical subtrees of a program syntax tree. This identification should ideally be robust to alpha-renaming of the program, but no existing technique has been shown to achieve this with good…
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…