We prove two supercongruences for specific truncated hypergeometric series. These include an uniparametric extension of a supercongruence that was recently established by Long and Ramakrishna. Our proofs involve special instances of various hypergeometric identities including Whipples transformation and the Karlsson--Minton summation.
Using the $q$-Wilf--Zeilberger method and a $q$-analogue of a divergent Ramanujan-type supercongruence, we give several $q$-supercongruences modulo the fourth power of a cyclotomic polynomial. One of them is a $q$-analogue of a supercongruence recent
ly proved by Wang: for any prime $p>3$, $$ sum_{k=0}^{p-1} (3k-1)frac{(frac{1}{2})_k (-frac{1}{2})_k^2 }{k!^3}4^kequiv p-2p^3 pmod{p^4}, $$ where $(a)_k=a(a+1)cdots (a+k-1)$ is the Pochhammer symbol.
In this paper, we confirm the following conjecture of Guo and Schlosser: for any odd integer $n>1$ and $M=(n+1)/2$ or $n-1$, $$ sum_{k=0}^{M}[4k-1]_{q^2}[4k-1]^2frac{(q^{-2};q^4)_k^4}{(q^4;q^4)_k^4}q^{4k}equiv (2q+2q^{-1}-1)[n]_{q^2}^4pmod{[n]_{q^2}^
4Phi_n(q^2)}, $$ where $[n]=[n]_q=(1-q^n)/(1-q),(a;q)_0=1,(a;q)_k=(1-a)(1-aq)cdots(1-aq^{k-1})$ for $kgeq 1$ and $Phi_n(q)$ denotes the $n$-th cyclotomic polynomial.
By means of the $q$-Zeilberger algorithm, we prove a basic hypergeometric supercongruence modulo the fifth power of the cyclotomic polynomial $Phi_n(q)$. This result appears to be quite unique, as in the existing literature so far no basic hypergeome
tric supercongruences modulo a power greater than the fourth of a cyclotomic polynomial have been proved. We also establish a couple of related results, including a parametric supercongruence.
In this paper we describe a generalisation and adaptation of Kedlayas algorithm for computing the zeta function of a hyperelliptic curve over a finite field of odd characteristic that the author used for the implementation of the algorithm in the Mag
ma library. We generalise the algorithm to the case of an even degree model. We also analyse the adaptation of working with the $x^idx/y^3$ rather than the $x^idx/y$ differential basis. This basis has the computational advantage of always leading to an integral transformation matrix whereas the latter fails to in small genus cases. There are some theoretical subtleties that arise in the even degree case where the two differential bases actually lead to different redundant eigenvalues that must be discarded.
We establish discrete and continuous log-concavity results for a biparametric extension of the $q$-numbers and of the $q$-binomial coefficients. By using classical results for the Jacobi theta function we are able to lift some of our log-concavity re
sults to the elliptic setting. One of our main ingredients is a putatively new lemma involving a multiplicative analogue of Turans inequality.