Related papers: Hypergeometric $L$-functions in average polynomial…

In this paper, we confirm several conjectures posed by Sun recently; for example, we prove that for any odd prime $p$ we have $$ \sum_{k=0}^{p-1}A_k\equiv\begin{cases}4x^2-2p\pmod{p^2}\quad&\text{if $p=x^2+2y^2\ (x,y\in\mathbb{Z})$},\\…

We prove, without recourse to the Extended Riemann Hypothesis, that the projection modulo $p$ of any prefixed polynomial with integer coefficients can be completely factored in deterministic polynomial time if $p-1$ has a $(\ln…

We present here simple trace formulas for Hecke operators $T_k(p)$ for all $p>3$ on $S_k(\Gamma_0(3))$ and $S_k(\Gamma_0(9))$, the spaces of cusp forms of weight $k$ and levels 3 and 9. These formulas can be expressed in terms of special…

We express the asymptotics of the remainders of the partial sums {s_n} of the generalized hypergeometric function q+1_F_q through an inverse power series z^n n^l \sum_k c_k/n^k, where the exponent l and the asymptotic coefficients {c_k} may…

Let $p \geq 5$ be a prime and for $a, b \in \mathbb{F}_{p}$, let $E_{a,b}$ denote the elliptic curve over $\mathbb{F}_{p}$ with equation $y^2=x^3+a\,x + b$. As usual define the trace of Frobenius $a_{p,\,a,\,b}$ by \begin{equation*}…

We describe a general method for giving $p$-adic interpretations of $G$-functions arising from degenerating periods of smooth projective algebraic varieties. Using this, we are able to implement a strategy due to Andr\'e for bounding…

We provide upper bounds on the density of a symmetric generalized arithmetic progression lacking nonzero elements of the form h(n) for natural numbers n, or h(p) with p prime, for appropriate polynomials h with integer coefficients. The…

We give an exposition of Dwork's construction of Frobenius structures associated to generalized hypergeometric equations via the interpretation of the latter due to Gelfand-Kapranov-Zelevinsky in the language of A-hypergeometric systems. As…

We generalize the definition of overconvergent $p$-adic multiple polylogarithms and of $p$-adic cyclotomic multiple zeta values and we prove a bound on their norm. A byproduct of the proof is a characterization of these objects in terms of…

We give improvements of the deformation method for computing the zeta function of a generic projective hypersurface in characteristic~$p$ that either reduce the dependence on~$p$ of the time complexity to $\tilde{O}(p^{1/2})$ or that of the…

Let G:=SO(n,1)^\circ and \Gamma be a geometrically finite Zariski dense subgroup with critical exponent delta bigger than (n-1)/2. Under a spectral gap hypothesis on L^2(\Gamma \ G), which is always satisfied for delta>(n-1)/2 for n=2,3 and…

Let $G$ be a bounded open subset of Euclidean space with real algebraic boundary $\Gamma$. Under the assumption that the degree $d$ of $\Gamma$ is given, and the power moments of the Lebesgue measure on $G$ are known up to order $3d$, we…

The Apagodu-Zeilberger algorithm can be used for computing annihilating operators for definite sums over hypergeometric terms, or for definite integrals over hyperexponential functions. In this paper, we propose a generalization of this…

In this paper, we discuss the computational approach to the results established by Okuyama and Saito. Although their results are often difficult to compute, we prove that, when the negative support of a fake exponent $v$ with respect to a…

A new incremental algorithm for data compression is presented. For a sequence of input symbols algorithm incrementally constructs a p-adic integer number as an output. Decoding process starts with less significant part of a p-adic integer…

In this paper, we introduce the power-partible reduction for holonomic (or, P-recursive) sequences and apply it to obtain a series of congruences for Ap\'ery numbers $A_k$. In particular, we prove that, for any $r\in\mathbb{N}$, there…

We study the $p$-adic analogue of the $\ell$-adic hypergeometric sheaves for reductive groups, called the hypergeometric $\mathscr{D}^{\dagger}(\infty)$-modules. They are overholonomic objects in the derived category of arithmetic…

Recently, Kedlaya proves certain formula describing explicitly the Frobenius structure on a hypergeometric equation. In this paper, we give a generalization of it. In our case, the Frobenius matrix is no longer described by p-adic gamma…

Given a finitely generated multiplicative subgroup of rational numbers $\Gamma$, assuming the Generalized Riemann Hypothesis, we determine an asymptotic formula for average over prime numbers, powers of the order of the reduction group…

For an odd prime $p$ and a positive integer $n$, let ${_n}G_n[\cdots]_p$ denote McCarthy's $p$-adic hypergeometric function. In this article, we prove $p$-adic analogue of certain classical hypergeometric identities and using these…