Related papers: Application of the Argument Principle to Functions…
The main result of the paper is a definition of possible ways of the confirmation of the Riemann hypothesis based on the properties of the vector system of the second approximate equation of the Riemann Zeta function. The paper uses a…
First-order logic is a natural way of expressing properties of computation. It is traditionally used in various program logics for expressing the correctness properties and certificates. Although such representations are expressive for some…
In this paper, we give an overview of the various general methods in computing the zeta function of an algebraic variety defined over a finite field, with an emphasis on computing the reduction modulo $p^m$ of the zeta function of a…
We introduce a deficiency-based representation and approximation framework for values of the Riemann zeta function. The method is based on comparing two nonlinear accumulation mechanisms: global transformation of a base partial sum and…
In this paper, we introduce a new class of transform method --- the arithmetic cosine transform (ACT). We provide the central mathematical properties of the ACT, necessary in designing efficient and accurate implementations of the new…
In this paper,we develop a novel representation of the zeta function expressed as the limiting difference between two structured double sums. This approach leads to a new and elegant identity involving maximum functions and additive terms,…
We describe an algorithm to numerically evaluate Riemann theta functions in any dimension in quasi-linear time in terms of the required precision, uniformly on reduced input. This algorithm is implemented in the FLINT number theory library…
This work brings Mellin transforms into the realm of motivic integration. The new, larger class of motivic functions is stable under motivic Mellin and Fourier transforms, with general Fubini results and change of variables formulas. It…
Recently, we have established and used the generalized Littlewood theorem concerning contour integrals of the logarithm of analytical function to obtain new criteria equivalent to the Riemann hypothesis. Later, the same theorem was applied…
We give a computational interpretation to an abstract instance of Zorn's lemma formulated as a wellfoundedness principle in the language of arithmetic in all finite types. This is achieved through G\"odel's functional interpretation, and…
Our paper introduces a novel method for calculating the inverse $\mathcal{Z}$-transform of rational functions. Unlike some existing approaches that rely on partial fraction expansion and involve dividing by $z$, our method allows for the…
Counting functions are constructed for sums of integers raised to a fixed positive rational power. That is, given values formed by $u_1^{j/k} + u_2^{j/k} + ... + u_l^{j/k}$, $u_i \in \mathbb{Z}^+$, the number of values less than or equal to…
Following the Mellin and inverse Mellin transform techniques presented in our paper arXiv:1606.02150 (NT), we have established close forms of Laurent series expansions of products of bi- and trigamma functions /psi(z)*/psi(-z) and…
We express the Riemann zeta function $\zeta\left(s\right)$ of argument $s=\sigma+i\tau$ with imaginary part $\tau$ in terms of three absolutely convergent series. The resulting simple algorithm allows to compute, to arbitrary precision,…
An explicit identity of sums of powers of complex functions presented via this a closed-form formula of Riemann zeta function produced at any given non-zero complex numbers. The closed-form formula showed us Riemann zeta function has no…
The modified Mellin transform ${\cal Z}_k(s) = \int_1^\infty |\zeta({1\over2}+ix|^{2k}x^{-s}{\rm d} x$ ($k\ge1$ is a fixed integer, $s = \sigma + it$) is used to obtain estimates for $$…
This paper is concerned with the study of the fractional finite sums theory. We present the classes of functions for which it is possible to characterize the constant related to the derivative of fractional sums (denominated by essence of a…
We apply the Mellin-Barnes integral representation to several situations of interest in mathematical-physics. At the purely mathematical level, we derive useful asymptotic expansions of different zeta-functions and partition functions.…
We investigate the Mellin transforms of \(1/\operatorname{arctanh} x\) and \(1/(\sqrt{1-x^{2}}\,\operatorname{arctanh} x)\), viewed as compactly supported functions on \((0,1)\). These transforms are closely connected with conjectures on…
We present closed forms for several functions that are fundamental in number theory and we explain the method used to obtain them. Concretely, we find formulas for the p-adic valuation, the number-of-divisors function, the sum-of-divisors…