Showing 1–50 of 108 results for author: Zaharescu, A

Pattern formation Statistics on Fermat Quotients

Authors: Cristian Cobeli, Alexandru Zaharescu, Zhuo Zhang

Abstract: Despite their simple definition as $\mathfrak{q}_p(b):=\frac{b^{p-1}-1}{p} \pmod p$, for $0\le b \le p^2-1$ and $\gcd(b,p)=1$, and their regular arrangement in a $p\times(p-1)$ Fermat quotient matrix $\mathtt{FQM}(p)$ of integers from $[0,p-1]$, Fermat quotients modulo $p$ are well known for their overall lack of regularity. Here, we discuss this contrasting effect by proving that, on the one hand… ▽ More Despite their simple definition as $\mathfrak{q}_p(b):=\frac{b^{p-1}-1}{p} \pmod p$, for $0\le b \le p^2-1$ and $\gcd(b,p)=1$, and their regular arrangement in a $p\times(p-1)$ Fermat quotient matrix $\mathtt{FQM}(p)$ of integers from $[0,p-1]$, Fermat quotients modulo $p$ are well known for their overall lack of regularity. Here, we discuss this contrasting effect by proving that, on the one hand, any line of the matrix behaves like an analogue of a randomly distributed sequence of numbers, and on the other hand, the spatial statistics of distances on regular $N$-patterns confirm the natural expectations. △ Less

Submitted 21 June, 2025; originally announced June 2025.

Comments: 18 pages, 4 tables, and 4 figures

MSC Class: Primary 11B99; Secondary 11A07

An Equidistribution Result for Differences Associated to Square Pyramidal Numbers II

Authors: Anji Dong, Katerina Saettone, Kendra Song, Alexandru Zaharescu

Abstract: This paper presents some new results concerned with uniform distribution properties associated with the sequence $(a_n)_{n\in\mathbb{N}}$, which is defined as the distance from the $n$-th square pyramidal number to the closest square. We also extend the results to arithmetic progressions. This paper presents some new results concerned with uniform distribution properties associated with the sequence $(a_n)_{n\in\mathbb{N}}$, which is defined as the distance from the $n$-th square pyramidal number to the closest square. We also extend the results to arithmetic progressions. △ Less

Submitted 7 May, 2025; originally announced May 2025.

Comments: 12 pages

MSC Class: 11K06; 11K38; 11B99; 11L07; 11M99

On the distribution of $\operatorname{SL}(2,{\mathbb N})$-saturated Farey fractions

Authors: Jack Anderson, Florin P. Boca, Cristian Cobeli, Alexandru Zaharescu

Abstract: We consider the ordered set ${\mathscr S}_Q$ of Farey fractions $d/b$ of order $Q$ with the property that there exists a matrix $\left( \begin{smallmatrix} a & b \\ c & d \end{smallmatrix} \right) \in \operatorname{SL}(2,{\mathbb Z})$ of trace at most $Q$, with positive entries and $a\ge \max\{ b,c\}$. For every $Q\ge 3$, the set ${\mathscr S}_Q \cup \{ 0\}$ defines a unimodular partition of the i… ▽ More We consider the ordered set ${\mathscr S}_Q$ of Farey fractions $d/b$ of order $Q$ with the property that there exists a matrix $\left( \begin{smallmatrix} a & b \\ c & d \end{smallmatrix} \right) \in \operatorname{SL}(2,{\mathbb Z})$ of trace at most $Q$, with positive entries and $a\ge \max\{ b,c\}$. For every $Q\ge 3$, the set ${\mathscr S}_Q \cup \{ 0\}$ defines a unimodular partition of the interval $[0,1]$. We prove that the elements of ${\mathscr S}_Q$ are asymptotically distributed with respect to the probability measure with density $ (1/(1+x) -1/(2+x) )/\log (4/3) $ and that the sequence of sets $({\mathscr S}_Q)_Q$ has a limiting gap distribution as $Q\rightarrow \infty$. △ Less

Submitted 23 April, 2025; v1 submitted 5 February, 2025; originally announced February 2025.

Comments: Major revision. Added an appendix proving that the set ${\mathscr S}_Q \cup \{ 0\}$ defines a unimodular partition of $[0,1]$

MSC Class: 11B57; 11J71; 11K36; 11L05

Theorems and Conjectures on an Arithmetic Sum Associated with the Classical Theta Function $θ_3$

Authors: Bruce C. Berndt, Raghavendra N. Bhat, Jeffrey L. Meyer, Likun Xie, Alexandru Zaharescu

Abstract: Appearing in the modular transformation formula for the classical theta function $θ_3(z)$ is the sum $S(h,k):=\sum_{j=1}^{k-1}(-1)^{j+1+[hj/k]}$, which is an analogue of the classical Dedekind sum $s(h,k).$ We establish several properties for $S(h,k)$ and $S(k) := \sum_{h=1}^{k-1}S(h,k).$ Several conjectures about the values of $S(k)$ are given. Appearing in the modular transformation formula for the classical theta function $θ_3(z)$ is the sum $S(h,k):=\sum_{j=1}^{k-1}(-1)^{j+1+[hj/k]}$, which is an analogue of the classical Dedekind sum $s(h,k).$ We establish several properties for $S(h,k)$ and $S(k) := \sum_{h=1}^{k-1}S(h,k).$ Several conjectures about the values of $S(k)$ are given. △ Less

Submitted 10 December, 2024; originally announced January 2025.

Strange and pseudo-differentiable functions with applications to prime partitions

Authors: Anji Dong, Nicolas Robles, Alexandru Zaharescu, Dirk Zeindler

Abstract: Let $\mathfrak{p}_{\mathbb{P}_r}(n)$ denote the number of partitions of $n$ into $r$-full primes. We use the Hardy-Littlewood circle method to find the asymptotic of $\mathfrak{p}_{\mathbb{P}_r}(n)$ as $n \to \infty$. This extends previous results in the literature of partitions into primes. We also show an analogue result involving convolutions of von Mangoldt functions and the zeros of the Riema… ▽ More Let $\mathfrak{p}_{\mathbb{P}_r}(n)$ denote the number of partitions of $n$ into $r$-full primes. We use the Hardy-Littlewood circle method to find the asymptotic of $\mathfrak{p}_{\mathbb{P}_r}(n)$ as $n \to \infty$. This extends previous results in the literature of partitions into primes. We also show an analogue result involving convolutions of von Mangoldt functions and the zeros of the Riemann zeta-function. To handle the resulting non-principal major arcs we introduce the definition of strange functions and pseudo-differentiability. △ Less

Submitted 30 April, 2025; v1 submitted 28 December, 2024; originally announced December 2024.

Comments: Pages: 50. Figures: 7. Keywords: weights associated to partitions, pseudo-differentiable functions, strange functions, inclusion-exclusion, Hardy-Littlewood circle method, exponential sums, von Mangoldt function, zeros of the zeta function. Updates: Section 5 has been split into several sections and slightly reorganised, and some minor typos have been corrected

MSC Class: Primary: 11P55; 11P82; 26A24. Secondary: 11L07; 11L20; 11M26

Journal ref: Res. number theory 11, 52 (2025)

Exponential sums twisted by general arithmetic functions

Authors: Anji Dong, Nicolas Robles, Alexandru Zaharescu, Dirk Zeindler

Abstract: We examine exponential sums of the form $\sum_{n \le X} w(n) e^{2πiαn^k}$, for $k=1,2$, where $α$ satisfies a generalized Diophantine approximation and where $w$ are different arithmetic functions that might be multiplicative, additive, or neither. A strategy is shown on how to bound these sums for a wide class of functions $w$ belonging within the same ecosystem. Using this new technology we are… ▽ More We examine exponential sums of the form $\sum_{n \le X} w(n) e^{2πiαn^k}$, for $k=1,2$, where $α$ satisfies a generalized Diophantine approximation and where $w$ are different arithmetic functions that might be multiplicative, additive, or neither. A strategy is shown on how to bound these sums for a wide class of functions $w$ belonging within the same ecosystem. Using this new technology we are able to improve current results on minor arcs that have recently appeared in the literature of the Hardy-Littlewood circle method. Lastly, we show how a bound on $\sum_{n \le X} |μ(n)| e^{2πiαn}$ can be used to study partitions asymptotics over squarefree parts and explain their connection to the zeros of the Riemann zeta-function. △ Less

Submitted 28 December, 2024; originally announced December 2024.

Comments: Pages: 34, Figures: 8, Keywords: exponential sums, arithmetic functions, weights associated to partitions, Hardy-Littlewood circle method, zeros of the Riemann zeta-function, explicit formulae, Weyl's bound

MSC Class: Primary: 11L03; 11L07; 11L20. Secondary: 11P55; 11P82

On non-holonomicity, transcendence and $p$-adic valuations

Authors: Cristian Cobeli, Mihai Prunescu, Alexandru Zaharescu

Abstract: Let $ν_q(n)$ be the p-adic valuation of $n$. We show that the power series with coefficients $ν_q(n)$, respectively $ν_p(n)(\mathrm{ mod\;} k)$, are non-holonomic and not algebraic in characteristic 0. We find infinitely many rational numbers and infinitely many algebraic irrational numbers for which the values of these series are transcendental. We apply these results to some $p$-automatic sequen… ▽ More Let $ν_q(n)$ be the p-adic valuation of $n$. We show that the power series with coefficients $ν_q(n)$, respectively $ν_p(n)(\mathrm{ mod\;} k)$, are non-holonomic and not algebraic in characteristic 0. We find infinitely many rational numbers and infinitely many algebraic irrational numbers for which the values of these series are transcendental. We apply these results to some $p$-automatic sequences, one of them being the period-doubling sequence. △ Less

Submitted 21 December, 2024; originally announced December 2024.

MSC Class: Primary 11B37; Secondary 11J81

On the order of 4-dimensional regular polytope numbers

Authors: Anji Dong, The Nguyen, Alexandru Zaharescu

Abstract: In light of Kim's conjecture on regular polytopes of dimension four, which is a generalization of Waring's problem, we establish asymptotic formulas for representing any sufficiently large integer as a sum of numbers in the form of those regular 4-polytopes. Moreover, we are able to obtain a more general result of the asymptotics for any degree-four polynomial $f$ satisfying $f(0)=0$ and $f(1)=1$. In light of Kim's conjecture on regular polytopes of dimension four, which is a generalization of Waring's problem, we establish asymptotic formulas for representing any sufficiently large integer as a sum of numbers in the form of those regular 4-polytopes. Moreover, we are able to obtain a more general result of the asymptotics for any degree-four polynomial $f$ satisfying $f(0)=0$ and $f(1)=1$. △ Less

Submitted 18 December, 2024; originally announced December 2024.

Comments: 25 pages

MSC Class: 11P05; 11P55; 11L07; 11L15; 05A16

An Equidistribution Result for Differences Associated with Square Pyramidal Numbers

Authors: Anji Dong, Katerina Saettone, Kendra Song, Alexandru Zaharescu

Abstract: We provide an asymptotic formula for the average value of the sequence A351830: $a_{n} = |P_{n} - y^{2}_{n}|$ for $1 \leq n \leq x$, where $P_{n}$ is the $n$-th square pyramidal number and $y^{2}_{n}$ is the closest square to $P_{n}$. Moreover, we supply asymptotic formulas for the $k$-th moment of the same sequence, for any fixed natural number $k$. We provide an asymptotic formula for the average value of the sequence A351830: $a_{n} = |P_{n} - y^{2}_{n}|$ for $1 \leq n \leq x$, where $P_{n}$ is the $n$-th square pyramidal number and $y^{2}_{n}$ is the closest square to $P_{n}$. Moreover, we supply asymptotic formulas for the $k$-th moment of the same sequence, for any fixed natural number $k$. △ Less

Submitted 21 April, 2025; v1 submitted 13 December, 2024; originally announced December 2024.

Comments: 10 pages

MSC Class: 11L07; 11B99; 11K38; 11K06

Arithmetic Polygons and Sums of Consecutive Squares

Authors: Jack Anderson, Amy Woodall, Alexandru Zaharescu

Abstract: We introduce and study arithmetic polygons. We show that these arithmetic polygons are connected to triples of square pyramidal numbers. For every odd $N\geq3$, we prove that there is at least one arithmetic polygon with $N$ sides. We also show that there are infinitely many arithmetic polygons with an even number of sides. We introduce and study arithmetic polygons. We show that these arithmetic polygons are connected to triples of square pyramidal numbers. For every odd $N\geq3$, we prove that there is at least one arithmetic polygon with $N$ sides. We also show that there are infinitely many arithmetic polygons with an even number of sides. △ Less

Submitted 13 November, 2024; originally announced November 2024.

Comments: 22 pages, 6 figures, 2 tables

MSC Class: 11B99 (primary) 11B25 (secondary)

On a Special Metric in Cyclotomic Fields

Authors: Katerina Saettone, Alexandru Zaharescu, Zhuo Zhang

Abstract: Let $p$ be an odd prime, and let $ω$ be a primitive $p$th root of unity. In this paper, we introduce a metric on the cyclotomic field $K=\mathbb{Q}(ω)$. We prove that this metric has several remarkable properties, such as invariance under the action of the Galois group. Furthermore, we show that points in the ring of integers $\mathcal{O}_K$ behave in a highly uniform way under this metric. More s… ▽ More Let $p$ be an odd prime, and let $ω$ be a primitive $p$th root of unity. In this paper, we introduce a metric on the cyclotomic field $K=\mathbb{Q}(ω)$. We prove that this metric has several remarkable properties, such as invariance under the action of the Galois group. Furthermore, we show that points in the ring of integers $\mathcal{O}_K$ behave in a highly uniform way under this metric. More specifically, we prove that for a certain hypercube in $\mathcal{O}_K$ centered at the origin, almost all pairs of points in the cube are almost equi-distanced from each other, when $p$ and $N$ are large enough. When suitably normalized, this distance is exactly $1/\sqrt{6}$. △ Less

Submitted 30 October, 2024; originally announced October 2024.

Comments: 13 pages

Super-regular polytopes in cyclotomic hypercubes

Authors: Cristian Cobeli, Alexandru Zaharescu

Abstract: For any odd prime $p$ and any integer $N\ge 0$, let $\mathcal{V}(p,N)$ be the set of vertices of the cyclotomic box $\mathscr{B} = \mathscr{B}(p,N)$ of edge size $2N$ and centered at the origin $O$ of the ring of integers $\mathbb{Z}[ω]$ of the cyclotomic field $\mathbb{Q}(ω)$, where $ω=\exp\big(\frac{2πi}{p}\big)$. Cyclotomic boxes represented as sets of points in the complex plane prove to have… ▽ More For any odd prime $p$ and any integer $N\ge 0$, let $\mathcal{V}(p,N)$ be the set of vertices of the cyclotomic box $\mathscr{B} = \mathscr{B}(p,N)$ of edge size $2N$ and centered at the origin $O$ of the ring of integers $\mathbb{Z}[ω]$ of the cyclotomic field $\mathbb{Q}(ω)$, where $ω=\exp\big(\frac{2πi}{p}\big)$. Cyclotomic boxes represented as sets of points in the complex plane prove to have counter-intuitive super-regularity properties that are known to occur in high dimensional real hypercubes. Employing the naturally induced Euclidean-trace metric for distance measurement and letting the prime $p$ tend to infinity, we prove the following results. 1. Almost all triangles with vertices in $\mathcal{V}(p,N)$ are almost equilateral. 2. Almost all angles $\angle VOA$, where $V$ is in $\mathcal{V}(p,N)$, $O$ is the origin, which coincides with the center of $\mathscr{B}(p,N)$, and $A$ is fixed anywhere in $\mathscr{B}(p,N)$, are right angles. 3. Almost all pyramids with base on $\mathcal{V}(p,N)$ and the apex fixed anywhere in $\mathscr{B}(p,N)$ are super-regular, meaning that the base has all edges and diagonals almost equal and the lateral faces are nearly isosceles triangles, each nearly equal to the others. △ Less

Submitted 18 October, 2024; originally announced October 2024.

Comments: 26 pages, 3 figures

MSC Class: Primary 11B99; Secondary 11P21; 52B11

Non-vanishing of Dirichlet $L$-functions with Moduli in Short Intervals and Arithmetic Progressions

Authors: Debmalya Basak, Alexandru Zaharescu

Abstract: Assuming the Generalized Riemann Hypothesis, it is known that at least half of the central values $L(\frac{1}{2},χ)$ are non-vanishing as $χ$ ranges over primitive characters modulo $q$. Unconditionally, this is known on average over both $χ$ modulo $q$ and $Q/2 \leq q \leq 2Q$. We prove that for any $δ>0$, there exist $η_1,η_2>0$ depending on $δ$ such that the non-vanishing proportion for… ▽ More Assuming the Generalized Riemann Hypothesis, it is known that at least half of the central values $L(\frac{1}{2},χ)$ are non-vanishing as $χ$ ranges over primitive characters modulo $q$. Unconditionally, this is known on average over both $χ$ modulo $q$ and $Q/2 \leq q \leq 2Q$. We prove that for any $δ>0$, there exist $η_1,η_2>0$ depending on $δ$ such that the non-vanishing proportion for $L(\frac{1}{2},χ)$ as $χ$ ranges modulo $q$ with $q$ varying in short intervals of size $Q^{1-η_1}$ around $Q$ and in arithmetic progressions with moduli up to $Q^{η_2}$ is larger than $\frac{1}{2}-δ$. △ Less

Submitted 19 September, 2024; originally announced September 2024.

Comments: 22 pages

Almost all primes are not needed in Ternary Goldbach

Authors: Debmalya Basak, Raghavendra N. Bhat, Anji Dong, Alexandru Zaharescu

Abstract: The ternary Goldbach conjecture states that every odd number $m \geqslant 7$ can be written as the sum of three primes. We construct a set of primes $\mathbb{P}$ defined by an expanding system of admissible congruences such that almost all primes are not in $\mathbb{P}$ and still, the ternary Goldbach conjecture holds true with primes restricted to $\mathbb{P}$. The ternary Goldbach conjecture states that every odd number $m \geqslant 7$ can be written as the sum of three primes. We construct a set of primes $\mathbb{P}$ defined by an expanding system of admissible congruences such that almost all primes are not in $\mathbb{P}$ and still, the ternary Goldbach conjecture holds true with primes restricted to $\mathbb{P}$. △ Less

Submitted 13 September, 2024; originally announced September 2024.

Comments: 22 pages

On the central ball in a translation invariant involutive field

Authors: Cristian Cobeli, Aaditya Raghavan, Alexandru Zaharescu

Abstract: The iterated composition of two operators, both of which are involutions and translation invariant, partitions the set of lattice points in the plane into an infinite sequence of discrete parabolas. Each such parabola contains an associated stairway-like path connecting certain points on it, induced by the alternating application of the aforementioned operators. Any two lattice points in the plane… ▽ More The iterated composition of two operators, both of which are involutions and translation invariant, partitions the set of lattice points in the plane into an infinite sequence of discrete parabolas. Each such parabola contains an associated stairway-like path connecting certain points on it, induced by the alternating application of the aforementioned operators. Any two lattice points in the plane can be connected by paths along the square grid composed of steps either on these stairways or towards taxicab neighbors. This leads to the notion of the parabolic-taxicab distance between two lattice points, obtained as the minimum number of steps of this kind needed to reach one point from the other. In this paper, we describe patterns generated by points on paths of bounded parabolic-taxicab length and provide a complete description of the balls centered at the origin. In particular, we prove an earlier conjecture on the area of these balls. △ Less

Submitted 5 January, 2025; v1 submitted 3 August, 2024; originally announced August 2024.

Comments: 20 pages, 6 figures

MSC Class: Primary 51K99; Secondary 51F99; 11B99

On the Pair Correlation of Zeros of $L$-Functions for Non-CM Newforms in Shifted Ranges

Authors: Di Liu, Clayton Williams, Alexandru Zaharescu

Abstract: We study the pair correlation between zeros of a shifted auxiliary $ L $-function attached to a non-CM newform, the scale of which is a fixed constant. We prove an unconditional asymptotic result for the pair correlation and introduce a simplicity hypothesis for the zeros of this function, which if true means that multiple zeros of the original $ L $-function cannot be separated by the same fixed… ▽ More We study the pair correlation between zeros of a shifted auxiliary $ L $-function attached to a non-CM newform, the scale of which is a fixed constant. We prove an unconditional asymptotic result for the pair correlation and introduce a simplicity hypothesis for the zeros of this function, which if true means that multiple zeros of the original $ L $-function cannot be separated by the same fixed distance. Our results provide macroscopic information in contrast to the pair correlation of the original $ L $-function which is of microscopic nature. △ Less

Submitted 19 July, 2024; originally announced July 2024.

Comments: 14 pages, 3 figures. Submitted

MSC Class: Primary 11M41; Secondary 11F66; 11M26

Euler Product Sieve

Authors: Di Liu, Yuri Matiyasevich, Joseph Oesterlé, Alexandru Zaharescu

Abstract: We study a class of approximations to the Riemann zeta function introduced earlier by the second author on the basis of Euler product. This allows us to justify Euler Product Sieve for generation of prime numbers. Also we show that Bounded Riemann Hypothesis (stated in a paper by the fourth author) is equivalent to conjunction the Riemann Hypothesis + the simplicity of zeros. 16 pages. We study a class of approximations to the Riemann zeta function introduced earlier by the second author on the basis of Euler product. This allows us to justify Euler Product Sieve for generation of prime numbers. Also we show that Bounded Riemann Hypothesis (stated in a paper by the fourth author) is equivalent to conjunction the Riemann Hypothesis + the simplicity of zeros. 16 pages. △ Less

Submitted 2 June, 2024; originally announced June 2024.

MSC Class: 11M06; 11M26; 11N35

Remarks on Landau-Siegel zeros

Authors: Debmalya Basak, Jesse Thorner, Alexandru Zaharescu

Abstract: For certain families of $L$-functions, we prove that if each $L$-function in the family has only real zeros in a fixed yet arbitrarily small neighborhood of $s=1$, then one may considerably improve upon the known results on Landau-Siegel zeros. Sarnak and the third author proved a similar result under much more restrictive hypotheses. For certain families of $L$-functions, we prove that if each $L$-function in the family has only real zeros in a fixed yet arbitrarily small neighborhood of $s=1$, then one may considerably improve upon the known results on Landau-Siegel zeros. Sarnak and the third author proved a similar result under much more restrictive hypotheses. △ Less

Submitted 23 December, 2024; v1 submitted 24 April, 2024; originally announced April 2024.

Comments: 7 pages. Referee comments incorporated

On the trajectories of a particle in a translation invariant involutive field

Authors: Cristian Cobeli, Alexandru Zaharescu

Abstract: We introduce a double-folded operator that, upon iterative application, generates a dynamical system with two types of trajectories: a cyclic one and, another that grows endlessly on parabolas. These trajectories produce two distinct partitions of the set of lattice points in the plane. Our object is to analyze these trajectories and to point out a few special arithmetic properties of the intege… ▽ More We introduce a double-folded operator that, upon iterative application, generates a dynamical system with two types of trajectories: a cyclic one and, another that grows endlessly on parabolas. These trajectories produce two distinct partitions of the set of lattice points in the plane. Our object is to analyze these trajectories and to point out a few special arithmetic properties of the integers they represent. We also introduce and study the parabolic-taxicab distance, which measures the fast traveling on the steps of the stairs defined by points on the parabolic trajectories whose coordinates are based on triangular numbers. △ Less

Submitted 27 March, 2024; v1 submitted 21 March, 2024; originally announced March 2024.

Comments: 20 pages, 11 figures

MSC Class: Primary 11B37; Secondary 11B50

A lozenge triangulation of the plane with integers

Authors: Raghavendra N. Bhat, Cristian Cobeli, Alexandru Zaharescu

Abstract: We introduce and study a three-folded linear operator depending on three parameters that has associated a triangular number tilling of the plane. As a result the set of all triples of integers is decomposed in classes of equivalence organized in four towers of two-dimensional triangulations. We provide the full characterization of the represented integers belonging to each network as families of c… ▽ More We introduce and study a three-folded linear operator depending on three parameters that has associated a triangular number tilling of the plane. As a result the set of all triples of integers is decomposed in classes of equivalence organized in four towers of two-dimensional triangulations. We provide the full characterization of the represented integers belonging to each network as families of certain quadratic forms. We note that one of the towers is generated by a germ that produces a covering of the plane with {Löschian} numbers. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: 21 pages, 9 figures

MSC Class: Primary 11B37; Secondary 11B50; 52C20

Evaluations and relations for finite trigonometric sums

Authors: Bruce C. Berndt, Sun Kim, Alexandru Zaharescu

Abstract: Several methods are used to evaluate finite trigonometric sums. In each case, either the sum had not previously been evaluated, or it had been evaluated, but only by analytic means, e.g., by complex analysis or modular transformation formulas. We establish both reciprocity and three sum relations for trigonometric sums. Motivated by certain sums that we have evaluated, we add coprime conditions to… ▽ More Several methods are used to evaluate finite trigonometric sums. In each case, either the sum had not previously been evaluated, or it had been evaluated, but only by analytic means, e.g., by complex analysis or modular transformation formulas. We establish both reciprocity and three sum relations for trigonometric sums. Motivated by certain sums that we have evaluated, we add coprime conditions to the summands and thereby define analogues of Ramanujan sums, which we in turn evaluate. One of these analogues leads to a criterion for the Riemann Hypothesis, analogous to the Franel-Landau criterion. △ Less

Submitted 5 March, 2024; originally announced March 2024.

MSC Class: 11L03; 33B10

Exponential sums over Möbius convolutions with applications to partitions

Authors: Debmalya Basak, Nicolas Robles, Alexandru Zaharescu

Abstract: We consider partitions $p_{w}(n)$ of a positive integer $n$ arising from the generating functions \[ \sum_{n=1}^\infty p_{w}(n) z^n = \prod_{m \in \mathbb{N}} (1-z^m)^{-w(m)}, \] where the weights $w(m)$ are Möbius convolutions. We establish an upper bound for $p_w(n)$ and, as a consequence, we obtain an asymptotic formula involving the number of odd and even partitions emerging from the weights.… ▽ More We consider partitions $p_{w}(n)$ of a positive integer $n$ arising from the generating functions \[ \sum_{n=1}^\infty p_{w}(n) z^n = \prod_{m \in \mathbb{N}} (1-z^m)^{-w(m)}, \] where the weights $w(m)$ are Möbius convolutions. We establish an upper bound for $p_w(n)$ and, as a consequence, we obtain an asymptotic formula involving the number of odd and even partitions emerging from the weights. In order to achieve the desired bounds on the minor arcs resulting from the Hardy-Littlewood circle method, we establish bounds on exponential sums twisted by Möbius convolutions. Lastly, we provide an explicit formula relating the contributions from the major arcs with a sum over the zeros of the Riemann zeta-function. △ Less

Submitted 8 February, 2024; v1 submitted 28 December, 2023; originally announced December 2023.

Comments: 28 pages, 7 figures, amended version

Journal ref: Canadian Journal of Mathematics, 2025

Angular distribution towards the points of the neighbor-flips modular curve seen by a fast moving observer

Authors: Jack Anderson, Florin P. Boca, Cristian Cobeli, Alexandru Zaharescu

Abstract: Let $h$ be a fixed non-zero integer. For every $t\in \mathbb{R}_+$ and every prime $p$, consider the angles between rays from an observer located at the point $(-tJ_p^2,0)$ on the real axis towards the set of all integral solutions $(x,y)$ of the equation $y^{-1}-x^{-1}\equiv h \pmod{p}$ in the square $[-J_p,J_p]^2$, where $J_p=(p-1)/2$. We prove the existence of the limiting gap distribution for… ▽ More Let $h$ be a fixed non-zero integer. For every $t\in \mathbb{R}_+$ and every prime $p$, consider the angles between rays from an observer located at the point $(-tJ_p^2,0)$ on the real axis towards the set of all integral solutions $(x,y)$ of the equation $y^{-1}-x^{-1}\equiv h \pmod{p}$ in the square $[-J_p,J_p]^2$, where $J_p=(p-1)/2$. We prove the existence of the limiting gap distribution for this set of angles as $p\rightarrow \infty$, providing explicit formulas for the corresponding density function, which turns out to be independent of $h$. △ Less

Submitted 7 April, 2025; v1 submitted 22 December, 2023; originally announced December 2023.

Comments: 14 pages, 11 figures; minor revision in proof of Theorem 1, results unchanged

MSC Class: 11P21 (primary) 11B05; 11L07 (secondary)

The Riemann zeta function and exact exponential sum identities of divisor functions

Authors: Maria Nastasescu, Nicolas Robles, Bogdan Stoica, Alexandru Zaharescu

Abstract: We prove an explicit integral formula for computing the product of two shifted Riemann zeta functions everywhere in the complex plane. We show that this formula implies the existence of infinite families of exact exponential sum identities involving the divisor functions, and we provide examples of these identities. We conjecturally propose a method to compute divisor functions by matrix inversion… ▽ More We prove an explicit integral formula for computing the product of two shifted Riemann zeta functions everywhere in the complex plane. We show that this formula implies the existence of infinite families of exact exponential sum identities involving the divisor functions, and we provide examples of these identities. We conjecturally propose a method to compute divisor functions by matrix inversion, without employing arithmetic techniques. △ Less

Submitted 13 November, 2023; originally announced November 2023.

Comments: 24 pages, 2 figures

Report number: BRX-TH-6716716

A visual perspective on the Birch and Swinnerton-Dyer conjecture through a family of approximations of $L$-functions

Authors: Maria Nastasescu, Bogdan Stoica, Alexandru Zaharescu

Abstract: We investigate the properties of a family of approximations of the Hasse-Weil $L$-function associated to an elliptic curve $E$ over $\mathbb{Q}$. We give a precise expression for the error of the approximations, and provide a visual interpretation of the analytic rank $m$ of $E$ as a sequence of near regular polygons around the center of the critical strip, each with vertices at the zeros of the a… ▽ More We investigate the properties of a family of approximations of the Hasse-Weil $L$-function associated to an elliptic curve $E$ over $\mathbb{Q}$. We give a precise expression for the error of the approximations, and provide a visual interpretation of the analytic rank $m$ of $E$ as a sequence of near regular polygons around the center of the critical strip, each with vertices at the zeros of the approximations. △ Less

Submitted 13 November, 2023; originally announced November 2023.

Comments: 26 pages, 4 figures

Counterintuitive patterns on angles and distances between lattice points in high dimensional hypercubes

Authors: Jack Anderson, Cristian Cobeli, Alexandru Zaharescu

Abstract: Let $\mathcal{S}$ be a finite set of integer points in $\mathbb{R}^d$, which we assume has many symmetries, and let $P\in\mathbb{R}^d$ be a fixed point. We calculate the distances from $P$ to the points in $\mathcal{S}$ and compare the results. In some of the most common cases, we find that they lead to unexpected conclusions if the dimension is sufficiently large. For example, if $\mathcal{S}$ is… ▽ More Let $\mathcal{S}$ be a finite set of integer points in $\mathbb{R}^d$, which we assume has many symmetries, and let $P\in\mathbb{R}^d$ be a fixed point. We calculate the distances from $P$ to the points in $\mathcal{S}$ and compare the results. In some of the most common cases, we find that they lead to unexpected conclusions if the dimension is sufficiently large. For example, if $\mathcal{S}$ is the set of vertices of a hypercube in $\mathbb{R}^d$ and $P$ is any point inside, then almost all triangles $PAB$ with $A,B\in\mathcal{S}$ are almost equilateral. Or, if $P$ is close to the center of the cube, then almost all triangles $PAB$ with $A\in \mathcal{S}$ and $B$ anywhere in the hypercube are almost right triangles. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: 16 pages, 1 figure

MSC Class: 11B99; 11K99; 11P21; 51M20; 52Bxx

Filtered rays over iterated absolute differences on layers of integers

Authors: Raghavendra N. Bhat, Cristian Cobeli, Alexandru Zaharescu

Abstract: The dynamical system generated by the iterated calculation of the high order gaps between neighboring terms of a sequence of natural numbers is remarkable and only incidentally characterized at the boundary by the notable Proth-Glibreath Conjecture for prime numbers. We introduce a natural extension of the original triangular arrangement, obtaining a growing hexagonal covering of the plane. This… ▽ More The dynamical system generated by the iterated calculation of the high order gaps between neighboring terms of a sequence of natural numbers is remarkable and only incidentally characterized at the boundary by the notable Proth-Glibreath Conjecture for prime numbers. We introduce a natural extension of the original triangular arrangement, obtaining a growing hexagonal covering of the plane. This is just the base level of what further becomes an endless discrete helicoidal surface. % Although the repeated calculation of higher-order gaps causes the numbers that generate the helicoidal surface to decrease, there is no guarantee, and most often it does not even happen, that the levels of the helicoid have any regularity, at least at the bottom levels. However, we prove that there exists a large and nontrivial class of sequences with the property that their helicoids have all levels coinciding with their base levels. This class includes in particular many ultimately binary sequences with a special header. % For almost all of these sequences, we additionally show that although the patterns generated by them seem to fall somewhere between ordered and disordered, exhibiting fractal-like and random qualities at the same time, the distribution of zero and non-zero numbers at the base level has uniformity characteristics. Thus, we prove that a multitude of straight lines that traverse the patterns encounter zero and non-zero numbers in almost equal proportions. △ Less

Submitted 10 December, 2024; v1 submitted 6 September, 2023; originally announced September 2023.

Journal ref: Chaos, Solitons & Fractals, Volume 178, 2024

Distribution of angles to lattice points seen from a fast moving observer

Authors: Jack Anderson, Florin P. Boca, Cristian Cobeli, Alexandru Zaharescu

Abstract: We consider a square expanding with constant speed seen from an observer moving away with constant acceleration and study the distribution of angles between rays from the observer towards the lattice points in the square. We prove the existence of the gap distribution as time tends to infinity and provide explicit formulas for the corresponding density function. We consider a square expanding with constant speed seen from an observer moving away with constant acceleration and study the distribution of angles between rays from the observer towards the lattice points in the square. We prove the existence of the gap distribution as time tends to infinity and provide explicit formulas for the corresponding density function. △ Less

Submitted 27 July, 2023; originally announced July 2023.

Comments: 25 pages, 8 figures, 1 table

MSC Class: 11P21 (Primary) 11K99; 11B99 (Secondary)

On Quasi-Periodicity in Proth-Gilbreath Triangles

Authors: Raghavendra N Bhat, Cristian Cobeli, Alexandru Zaharescu

Abstract: Let PG be the Proth-Gilbreath operator that transforms a sequence of integers into the sequence of the absolute values of the differences between all pairs of neighbor terms. Consider the infinite tables obtained by successive iterations of PG applied to different initial sequences of integers. We study these tables of higher order differences and characterize those that have near-periodic feature… ▽ More Let PG be the Proth-Gilbreath operator that transforms a sequence of integers into the sequence of the absolute values of the differences between all pairs of neighbor terms. Consider the infinite tables obtained by successive iterations of PG applied to different initial sequences of integers. We study these tables of higher order differences and characterize those that have near-periodic features. As a biproduct, we also obtain two results on a class of formal power series over the field with two elements F2 that can be expressed as rational functions in several ways. △ Less

Submitted 19 July, 2023; originally announced July 2023.

Modified Bessel Functions in Analytic Number Theory

Authors: Bruce C. Berndt, Atul Dixit, Rajat Gupta, Alexandru Zaharescu

Abstract: The modified Bessel functions $K_ν(z)$, or, for brevity, K-Bessel functions, arise at key places in analytic number theory. In particular, they appear in beautiful arithmetic identities. A survey of these arithmetical identities and their appearances in number theory is provided. The modified Bessel functions $K_ν(z)$, or, for brevity, K-Bessel functions, arise at key places in analytic number theory. In particular, they appear in beautiful arithmetic identities. A survey of these arithmetical identities and their appearances in number theory is provided. △ Less

Submitted 4 March, 2023; originally announced March 2023.

Comments: It's a survey article written in Memory of Richard A. Askey

Factors of type III and the distribution of prime numbers

Authors: Florin P. Boca, Alexandru Zaharescu

Abstract: This version of the paper corrects an inaccuracy in the proof of Theorem 2.9 in the published version. The main results remain unchanged. This version of the paper corrects an inaccuracy in the proof of Theorem 2.9 in the published version. The main results remain unchanged. △ Less

Submitted 28 December, 2022; originally announced December 2022.

Comments: Corrected arXiv version of the published paper

MSC Class: 46L35; 11N05

Journal ref: Proc. London Math. Soc. 80 (2000), 145-178

Partitions into semiprimes

Authors: Madhuparna Das, Nicolas Robles, Alexandru Zaharescu, Dirk Zeindler

Abstract: Let $\mathbb{P}$ denote the set of primes and $\mathcal{N}\subset \mathbb{N}$ be a set with arbitrary weights attached to its elements. Set $\mathfrak{p}_{\mathcal{N}}(n)$ to be the restricted partition function which counts partitions of $n$ with all its parts lying in $\mathcal{N}$. By employing a suitable variation of the Hardy-Littlewood circle method we provide the asymptotic formula of… ▽ More Let $\mathbb{P}$ denote the set of primes and $\mathcal{N}\subset \mathbb{N}$ be a set with arbitrary weights attached to its elements. Set $\mathfrak{p}_{\mathcal{N}}(n)$ to be the restricted partition function which counts partitions of $n$ with all its parts lying in $\mathcal{N}$. By employing a suitable variation of the Hardy-Littlewood circle method we provide the asymptotic formula of $\mathfrak{p}_{\mathcal{N}}(n)$ for the set of semiprimes $\mathcal{N} = \{p_1 p_2 : p_1, p_2 \in \mathbb{P}\}$ in different set-ups (counting factors, repeating the count of factors, and different factors). In order to deal with the minor arc, we investigate a double Weyl sum over prime products and find its corresponding bound thereby extending some of the results of Vinogradov on partitions. We also describe a methodology to find the asymptotic partition $\mathfrak{p}_{\mathcal{N}}(n)$ for general weighted sets $\mathcal{N}$ by assigning different strategies for the major, non-principal major, and minor arcs. Our result is contextualized alongside other recent results in partition asymptotics. △ Less

Submitted 17 November, 2023; v1 submitted 23 December, 2022; originally announced December 2022.

Comments: 37 pages, 4 figures. Minor corrections and revisions from original version

MSC Class: Primary: 11P55; 11L03; 11P82; 11L20. Secondary: 11M41

A problem of Erdős-Graham-Granville-Selfridge on integral points on hyperelliptic curves

Authors: Hung M. Bui, Kyle Pratt, Alexandru Zaharescu

Abstract: Erdős, Graham, and Selfridge considered, for each positive integer $n$, the least value of $t_n$ so that the integers $n+1, n+2, \dots, n+t_n $ contain a subset the product of whose members with $n$ is a square. An open problem posed by Granville concerns the size of $t_n$, under the assumption of the ABC Conjecture. We establish some results on the distribution of $t_n$, and in the process solve… ▽ More Erdős, Graham, and Selfridge considered, for each positive integer $n$, the least value of $t_n$ so that the integers $n+1, n+2, \dots, n+t_n $ contain a subset the product of whose members with $n$ is a square. An open problem posed by Granville concerns the size of $t_n$, under the assumption of the ABC Conjecture. We establish some results on the distribution of $t_n$, and in the process solve Granville's problem unconditionally. △ Less

Submitted 22 November, 2022; originally announced November 2022.

Comments: 25 pages. Comments welcome

Proofs of McIntosh's Conjecture on Franel Integrals and Two Generalizations

Authors: Bruce C. Berndt, Likun Xie, Alexandru Zaharescu

Abstract: We provide a proof of a conjecture made by Richard McIntosh in 1996 on the values of the Franel integrals, $$\int_0^1((ax))((bx))((cx))((ex))\,dx,$$ where $((x))$ is the first periodic Bernoulli function. Secondly, we extend our ideas to prove a similar theorem for $$\int_0^1((a_1x))((a_2x))\cdots ((a_{n}x))\,dx.$$ Lastly, we prove a further generalization in which $((x))$ is replaced by any par… ▽ More We provide a proof of a conjecture made by Richard McIntosh in 1996 on the values of the Franel integrals, $$\int_0^1((ax))((bx))((cx))((ex))\,dx,$$ where $((x))$ is the first periodic Bernoulli function. Secondly, we extend our ideas to prove a similar theorem for $$\int_0^1((a_1x))((a_2x))\cdots ((a_{n}x))\,dx.$$ Lastly, we prove a further generalization in which $((x))$ is replaced by any particular Bernoulli function with odd index. △ Less

Submitted 11 April, 2023; v1 submitted 11 November, 2022; originally announced November 2022.

Comments: Typos corrected

Journal ref: Advances in Mathematics, 423 (2023),109041, ISSN 0001-8708

Finite trigonometric sums arising from Ramanujan's theta functions

Authors: Bruce C. Berndt, Sun Kim, Alexandru Zaharescu

Abstract: Two classes of finite trigonometric sums, each involving only $\sin$'s, are evaluated in closed form. The previous and original proofs arise from Ramanujan's theta functions and modular equations. Two classes of finite trigonometric sums, each involving only $\sin$'s, are evaluated in closed form. The previous and original proofs arise from Ramanujan's theta functions and modular equations. △ Less

Submitted 10 October, 2022; originally announced October 2022.

Comments: 10 pages

MSC Class: 11L03; 33B10

Exact evaluations and reciprocity theorems for finite trigonometric sums

Authors: Bruce C. Berndt, Sun Kim, Alexandru Zaharescu

Abstract: We evaluate in closed form several classes of finite trigonometric sums. Two general methods are used. The first is new and involves sums of roots of unity. The second uses contour integration and extends a previous method used by two of the authors. Reciprocity theorems for certain trigonometric sums are also established. We evaluate in closed form several classes of finite trigonometric sums. Two general methods are used. The first is new and involves sums of roots of unity. The second uses contour integration and extends a previous method used by two of the authors. Reciprocity theorems for certain trigonometric sums are also established. △ Less

Submitted 30 September, 2022; originally announced October 2022.

MSC Class: 11L03; 33B10

Ramification of $p$-power torsion points of formal groups

Authors: Adrian Iovita, Jackson S. Morrow, Alexandru Zaharescu

Abstract: Let $p$ be a rational prime, let $F$ denote a finite, unramified extension of $\mathbb{Q}_p$, let $K$ be the completion of the maximal unramified extension of $\mathbb{Q}_p$, and let $\overline{K}$ be some fixed algebraic closure of $K$. Let $A$ be an abelian variety defined over $F$, with good reduction, let $\mathcal{A}$ denote the Néron model of $A$ over ${\rm Spec}(\mathcal{O}_F)$, and let… ▽ More Let $p$ be a rational prime, let $F$ denote a finite, unramified extension of $\mathbb{Q}_p$, let $K$ be the completion of the maximal unramified extension of $\mathbb{Q}_p$, and let $\overline{K}$ be some fixed algebraic closure of $K$. Let $A$ be an abelian variety defined over $F$, with good reduction, let $\mathcal{A}$ denote the Néron model of $A$ over ${\rm Spec}(\mathcal{O}_F)$, and let $\widehat{\mathcal{A}}$ be the formal completion of $\mathcal{A}$ along the identity of its special fiber, i.e. the formal group of $A$. In this work, we prove two results concerning the ramification of $p$-power torsion points on $\widehat{\mathcal{A}}$. One of our main results describes conditions on $\widehat{\mathcal{A}}$, base changed to $\text{Spf}(\mathcal{O}_K) $, for which the field $K(\widehat{\mathcal{A}}[p])/K$ is a tamely ramified extension where $\widehat{\mathcal{A}}[p]$ denotes the group of $p$-torsion points of $\widehat{\mathcal{A}}$ over $\mathcal{O}_{\overline{K}}$. This result generalizes previous work when $A$ is $1$-dimensional and work of Arias-de-Reyna when $A$ is the Jacobian of certain genus 2 hyperelliptic curves. △ Less

Submitted 9 May, 2022; originally announced May 2022.

Comments: 15 pages, comments welcome! arXiv admin note: substantial text overlap with arXiv:2107.09165

Two General Series Identities Involving Modified Bessel Functions and a Class of Arithmetical Functions

Authors: Bruce C. Berndt, Atul Dixit, Rajat Gupta, Alexandru Zaharescu

Abstract: We consider two sequences $a(n)$ and $b(n)$, $1\leq n<\infty$, generated by Dirichlet series $$\sum_{n=1}^{\infty}\frac{a(n)}{λ_n^{s}}\qquad\text{and}\qquad \sum_{n=1}^{\infty}\frac{b(n)}{μ_n^{s}},$$ satisfying a familiar functional equation involving the gamma function $Γ(s)$. Two general identities are established. The first involves the modified Bessel function $K_μ(z)$, and can be thought… ▽ More We consider two sequences $a(n)$ and $b(n)$, $1\leq n<\infty$, generated by Dirichlet series $$\sum_{n=1}^{\infty}\frac{a(n)}{λ_n^{s}}\qquad\text{and}\qquad \sum_{n=1}^{\infty}\frac{b(n)}{μ_n^{s}},$$ satisfying a familiar functional equation involving the gamma function $Γ(s)$. Two general identities are established. The first involves the modified Bessel function $K_μ(z)$, and can be thought of as a 'modular' or 'theta' relation wherein modified Bessel functions, instead of exponential functions, appear. Appearing in the second identity are $K_μ(z)$, the Bessel functions of imaginary argument $I_μ(z)$, and ordinary hypergeometric functions ${_2F_1}(a,b;c;z)$. Although certain special cases appear in the literature, the general identities are new. The arithmetical functions appearing in the identities include Ramanujan's arithmetical function $τ(n)$; the number of representations of $n$ as a sum of $k$ squares $r_k(n)$; and primitive Dirichlet characters $χ(n)$. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Comments: 24 pages, submitted for publication. arXiv admin note: text overlap with arXiv:2108.13991

MSC Class: Primary 33C10; Secondary 11M06; 11N99

Power savings for counting solutions to polynomial-factorial equations

Authors: Hung M. Bui, Kyle Pratt, Alexandru Zaharescu

Abstract: Let $P$ be a polynomial with integer coefficients and degree at least two. We prove an upper bound on the number of integer solutions $n\leq N$ to $n! = P(x)$ which yields a power saving over the trivial bound. In particular, this applies to a century-old problem of Brocard and Ramanujan. The previous best result was that the number of solutions is $o(N)$. The proof uses techniques of Diophantine… ▽ More Let $P$ be a polynomial with integer coefficients and degree at least two. We prove an upper bound on the number of integer solutions $n\leq N$ to $n! = P(x)$ which yields a power saving over the trivial bound. In particular, this applies to a century-old problem of Brocard and Ramanujan. The previous best result was that the number of solutions is $o(N)$. The proof uses techniques of Diophantine and Padé approximation. △ Less

Submitted 18 April, 2022; originally announced April 2022.

Comments: 26 pages

Visibility phenomena in hypercubes

Authors: Jayadev S. Athreya, Cristian Cobeli, Alexandru Zaharescu

Abstract: We study the set of visible lattice points in multidimensional hypercubes. The problems we investigate mix together geometric, probabilistic and number theoretic tones. For example, we prove that almost all self-visible triangles with vertices in the lattice of points with integer coordinates in $\mathcal W=[0,N]^d$ are almost equilateral having all sides almost equal to $\sqrt{d}N/\sqrt{6}$, and… ▽ More We study the set of visible lattice points in multidimensional hypercubes. The problems we investigate mix together geometric, probabilistic and number theoretic tones. For example, we prove that almost all self-visible triangles with vertices in the lattice of points with integer coordinates in $\mathcal W=[0,N]^d$ are almost equilateral having all sides almost equal to $\sqrt{d}N/\sqrt{6}$, and the sine of the typical angle between rays from the visual spectra from the origin of $\mathcal W$ is, in the limit, equal to $\sqrt{7}/4$, as $d$ and $N/d$ tend to infinity. We also show that there exists an interesting number theoretic constant $Λ_{d,K}$, which is the limit probability of the chance that a $K$-polytope with vertices in the lattice $\mathcal W$ has all vertices visible from each other. △ Less

Submitted 6 April, 2022; originally announced April 2022.

MSC Class: 11B99; 11K99; 11P21; 51M20; 52Bxx

Ramanujan and Koshliakov Meet Abel and Plana

Authors: Bruce C. Berndt, Atul Dixit, Rajat Gupta, Alexandru Zaharescu

Abstract: The neglected Russian mathematician, N.~S.~Koshliakov, derived beautiful generalizations of the classical Abel--Plana summation formula through a setting arising from a boundary value problem in heat conduction. When we let the parameter $p$ in this setting tend to infinity, his formulas reduce to the classical Abel--Plana summation formula. Rigorous formulations and proofs of these summation form… ▽ More The neglected Russian mathematician, N.~S.~Koshliakov, derived beautiful generalizations of the classical Abel--Plana summation formula through a setting arising from a boundary value problem in heat conduction. When we let the parameter $p$ in this setting tend to infinity, his formulas reduce to the classical Abel--Plana summation formula. Rigorous formulations and proofs of these summation formulas are given. In his notebooks, Ramanujan derived different analogues of the Abel--Plana summation formula. One particular example provides a vast new generalization of the classical transformation formula for Eisenstein series, which we generalize in Koshliakov's setting. △ Less

Submitted 17 December, 2021; originally announced December 2021.

Comments: 25 pages, submitted for publication

A Class of Identities Associated with Dirichlet Series Satisfying Hecke's Functional Equation

Authors: Bruce C. Berndt, Atul Dixit, Rajat Gupta, Alexandru Zaharescu

Abstract: We consider two sequences $a(n)$ and $b(n)$, $1\leq n<\infty$, generated by Dirichlet series of the forms $$\sum_{n=1}^{\infty}\frac{a(n)}{λ_n^{s}}\qquad\text{and}\qquad \sum_{n=1}^{\infty}\frac{b(n)}{μ_n^{s}},$$ satisfying a familiar functional equation involving the gamma function $Γ(s)$. A general identity is established. Appearing on one side is an infinite series involving $a(n)$ and modi… ▽ More We consider two sequences $a(n)$ and $b(n)$, $1\leq n<\infty$, generated by Dirichlet series of the forms $$\sum_{n=1}^{\infty}\frac{a(n)}{λ_n^{s}}\qquad\text{and}\qquad \sum_{n=1}^{\infty}\frac{b(n)}{μ_n^{s}},$$ satisfying a familiar functional equation involving the gamma function $Γ(s)$. A general identity is established. Appearing on one side is an infinite series involving $a(n)$ and modified Bessel functions $K_ν$, wherein on the other side is an infinite series involving $b(n)$ that is an analogue of the Hurwitz zeta function. Seven special cases, including $a(n)=τ(n)$ and $a(n)=r_k(n)$, are examined, where $τ(n)$ is Ramanujan's arithmetical function and $r_k(n)$ denotes the number of representations of $n$ as a sum of $k$ squares. Most of the six special cases appear to be new. △ Less

Submitted 31 August, 2021; originally announced August 2021.

MSC Class: Primary 33C10; Secondary 11M06; 11N99

On $p$-adic uniformization of abelian varieties with good reduction

Authors: Adrian Iovita, Jackson S. Morrow, Alexandru Zaharescu

Abstract: Let $p$ be a rational prime, let $F$ denote a finite, unramified extension of $\mathbb{Q}_p$, $K$ the maximal unramified extension of $\mathbb{Q}_p$, $\overline{K}$ some fixed algebraic closure of $K$, and $\mathbb{C}_p$ the completion of $\overline{K}$. Let $G_F$ the absolute Galois group of $F$. Let $A$ be an abelian variety defined over $F$, with good reduction. Classically, the Fontaine integr… ▽ More Let $p$ be a rational prime, let $F$ denote a finite, unramified extension of $\mathbb{Q}_p$, $K$ the maximal unramified extension of $\mathbb{Q}_p$, $\overline{K}$ some fixed algebraic closure of $K$, and $\mathbb{C}_p$ the completion of $\overline{K}$. Let $G_F$ the absolute Galois group of $F$. Let $A$ be an abelian variety defined over $F$, with good reduction. Classically, the Fontaine integral was seen as a Hodge--Tate comparison morphism, i.e. as a map $\varphi_{A} \otimes 1_{\mathbb{C}_p}\colon T_p(A)\otimes_{\mathbb{Z}_p}\mathbb{C}_p\to \text{Lie}(A)(F)\otimes_F\mathbb{C}_p(1)$, and as such it is surjective and has a large kernel. The present article starts with the observation that if we do not tensor $T_p(A)$ with $\mathbb{C}_p$, then the Fontaine integral is often injective. In particular, it is proved that if $T_p(A)^{G_K} = 0$, then $\varphi_A$ is injective. As an application, we extend the Fontaine integral to a perfectoid like universal cover of $A$ and show that if $T_p(A)^{G_K} = 0$, then $A(\overline{K})$ has a type of $p$-adic uniformization, which resembles the classical complex uniformization. △ Less

Submitted 26 April, 2022; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: v3: 25 pages, final version

MSC Class: 11G10; 14K20; 11G25; 14L05

Two-parameter Identities for Divisor Sums in Algebraic Number Fields

Authors: Bruce C. Berndt, Martino Fassina, Sun Kim, Alexandru Zaharescu

Abstract: In a one-page fragment published with his lost notebook, Ramanujan stated two double series identities associated, respectively, with the famous Gauss Circle and Dirichlet Divisor problems. The identities contain an "extra" parameter, and it is possible that Ramanujan derived these identities with the intent of attacking these famous problems. Similar famous unsolved problems are connected with… ▽ More In a one-page fragment published with his lost notebook, Ramanujan stated two double series identities associated, respectively, with the famous Gauss Circle and Dirichlet Divisor problems. The identities contain an "extra" parameter, and it is possible that Ramanujan derived these identities with the intent of attacking these famous problems. Similar famous unsolved problems are connected with $f_K(n)$, the number of integral ideals of norm $n$ in an algebraic number field $K$. In this paper we establish Riesz sum identities containing an "extra" parameter and involving $f_K(n)$, or divisor functions associated with $K$. Upper bounds for the sums as the upper index tends to infinity are also established. △ Less

Submitted 13 April, 2021; originally announced April 2021.

Comments: 26 pages

MSC Class: Primary 11R42; Secondary 11M41; 11N37

Energy bounds for modular roots and their applications

Authors: Bryce Kerr, Ilya D. Shkredov, Igor E. Shparlinski, Alexandru Zaharescu

Abstract: We generalise and improve some recent bounds for additive energies of modular roots. Our arguments use a variety of techniques, including those from additive combinatorics, algebraic number theory and the geometry of numbers. We give applications of these results to new bounds on correlations between {\it Sali{é}} sums and to a new equidistribution estimate for the set of modular roots of primes. We generalise and improve some recent bounds for additive energies of modular roots. Our arguments use a variety of techniques, including those from additive combinatorics, algebraic number theory and the geometry of numbers. We give applications of these results to new bounds on correlations between {\it Sali{é}} sums and to a new equidistribution estimate for the set of modular roots of primes. △ Less

Submitted 16 March, 2021; originally announced March 2021.

A zero density estimate and fractional imaginary parts of zeros for $\mathrm{GL}_2$ $L$-functions

Authors: Olivia Beckwith, Di Liu, Jesse Thorner, Alexandru Zaharescu

Abstract: We prove an analogue of Selberg's zero density estimate for $ζ(s)$ that holds for any $\mathrm{GL}_2$ $L$-function. We use this estimate to study the distribution of the vector of fractional parts of $γ\mathbfα$, where $\mathbfα\in\mathbb{R}^n$ is fixed and $γ$ varies over the imaginary parts of the nontrivial zeros of a $\mathrm{GL}_2$ $L$-function. We prove an analogue of Selberg's zero density estimate for $ζ(s)$ that holds for any $\mathrm{GL}_2$ $L$-function. We use this estimate to study the distribution of the vector of fractional parts of $γ\mathbfα$, where $\mathbfα\in\mathbb{R}^n$ is fixed and $γ$ varies over the imaginary parts of the nontrivial zeros of a $\mathrm{GL}_2$ $L$-function. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Comments: 25 pages

Journal ref: Math. Proc. Cambridge Philos. Soc. 174 (2023), no. 3, 605-630

Balanced Derivatives, Identities, and Bounds for Trigonometric and Bessel Series

Authors: Bruce C. Berndt, Martino Fassina, Sun Kim, Alexandru Zaharescu

Abstract: Motivated by two identities published with Ramanujan's lost notebook and connected, respectively, with the Gauss circle problem and the Dirichlet divisor problem, in an earlier paper, three of the present authors derived representations for certain sums of products of trigonometric functions as double series of Bessel functions. These series are generalized in the present paper by introducing the… ▽ More Motivated by two identities published with Ramanujan's lost notebook and connected, respectively, with the Gauss circle problem and the Dirichlet divisor problem, in an earlier paper, three of the present authors derived representations for certain sums of products of trigonometric functions as double series of Bessel functions. These series are generalized in the present paper by introducing the novel notion of balanced derivatives, leading to further theorems. As we will see below, the regions of convergence in the unbalanced case are entirely different than those in the balanced case. From this viewpoint, it is remarkable that Ramanujan had the intuition to formulate entries that are, in our new terminology, "balanced". If $x$ denotes the number of products of the trigonometric functions appearing in our sums, in addition to proving the identities mentioned above, theorems and conjectures for upper and lower bounds for the sums as $x\to\infty$ are established. △ Less

Submitted 23 February, 2021; originally announced February 2021.

Comments: 34 pages

MSC Class: Primary 11L03. Secondary 33C10; 11L07

Analytic ranks of automorphic L-functions and Landau-Siegel zeros

Authors: Hung M. Bui, Kyle Pratt, Alexandru Zaharescu

Abstract: We relate the study of Landau-Siegel zeros to the ranks of Jacobians $J_0(q)$ of modular curves for large primes $q$. By a conjecture of Brumer-Murty, the rank should be equal to half of the dimension. Equivalently, almost all newforms of weight two and level $q$ have analytic rank $\leq 1$. We show that either Landau-Siegel zeros do not exist, or that almost all such newforms have analytic rank… ▽ More We relate the study of Landau-Siegel zeros to the ranks of Jacobians $J_0(q)$ of modular curves for large primes $q$. By a conjecture of Brumer-Murty, the rank should be equal to half of the dimension. Equivalently, almost all newforms of weight two and level $q$ have analytic rank $\leq 1$. We show that either Landau-Siegel zeros do not exist, or that almost all such newforms have analytic rank $\leq 2$. In particular, almost all odd newforms have analytic rank equal to one. Additionally, for a sparse set of primes $q$ we show the rank of $J_0(q)$ is asymptotically equal to the rank predicted by the Brumer-Murty conjecture. △ Less

Submitted 5 February, 2021; originally announced February 2021.

Comments: 50 pages

MSC Class: 11F41; 11F66; 11M20; 11F11

Exceptional characters and nonvanishing of Dirichlet $L$-functions

Authors: H. M. Bui, Kyle Pratt, Alexandru Zaharescu

Abstract: Let $ψ$ be a real primitive character modulo $D$. If the $L$-function $L(s,ψ)$ has a real zero close to $s=1$, known as a Landau-Siegel zero, then we say the character $ψ$ is exceptional. Under the hypothesis that such exceptional characters exist, we prove that at least fifty percent of the central values $L(1/2,χ)$ of the Dirichlet $L$-functions $L(s,χ)$ are nonzero, where $χ$ ranges over primit… ▽ More Let $ψ$ be a real primitive character modulo $D$. If the $L$-function $L(s,ψ)$ has a real zero close to $s=1$, known as a Landau-Siegel zero, then we say the character $ψ$ is exceptional. Under the hypothesis that such exceptional characters exist, we prove that at least fifty percent of the central values $L(1/2,χ)$ of the Dirichlet $L$-functions $L(s,χ)$ are nonzero, where $χ$ ranges over primitive characters modulo $q$ and $q$ is a large prime of size $D^{O(1)}$. Under the same hypothesis we also show that, for almost all $χ$, the function $L(s,χ)$ has at most a simple zero at $s = 1/2$. △ Less

Submitted 10 December, 2020; v1 submitted 8 December, 2020; originally announced December 2020.

Comments: 37 pages. To appear in Mathematische Annalen

Factorials $\pmod p$ and the average of modular mappings

Authors: Cristian Cobeli, Alexandru Zaharescu

Abstract: We have known that most sequences in $\mathcal{M}=\{1,2,\dots, M\}$ with length $n$ will miss $Me^{-λ}$ of the total numbers of $\{1,2,\dots,M\}$ as the ratio $n/M$ tends to $λ$. Now we consider a more general case where the numbers in $\{1,2,\dots,M\}$ are achieved exactly k times by a 'random' sequence $f(1), f(2),\dots,f(n)$. We show that if $n/M\rightarrow λ$, then the limit has a Poisson dist… ▽ More We have known that most sequences in $\mathcal{M}=\{1,2,\dots, M\}$ with length $n$ will miss $Me^{-λ}$ of the total numbers of $\{1,2,\dots,M\}$ as the ratio $n/M$ tends to $λ$. Now we consider a more general case where the numbers in $\{1,2,\dots,M\}$ are achieved exactly k times by a 'random' sequence $f(1), f(2),\dots,f(n)$. We show that if $n/M\rightarrow λ$, then the limit has a Poisson distribution, that is, the proportion of sequences for which some number in $\mathcal{M}$ is achieved exactly $k$ times has the limit $\frac{λ^k}{k!}e^{-λ}$. We conjecture that this is the behavior of the factorial mapping modulo a prime and present a few supporting arguments. △ Less

Submitted 15 November, 2020; originally announced November 2020.

Comments: 8 pages, 6 figures

MSC Class: primary 11N69; secondary 49J55; 65C10