BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Alexandru Zaharescu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The sum $S(h,k):=\sum_{j=1}^{k-1}(-1)^{j+1+[hj/k]}$ appears in the modular transformation formulae of the classical theta function $\vartheta_3(z)$. The double sum $S(k) := \sum_{h=1}^{k-1}S(h,k)$ has a remarkable distribution of values. Although properties for $S(k)$ and a related sum can be established, several interesting conjectures are open.
Let $α$ be a totally positive algebraic integer, and define its absolute trace to be $\frac{Tr(α)}{\text{deg}(α)}$, the trace of $α$ divided by the degree of $α$. Elementary considerations show that the absolute trace is always at least one, while it is plausible that for any $ε>0$, the absolute trace is at least $2-ε$ with only finitely many exceptions. This is known as the Schur-Siegel-Smyth trace problem. Our aim in this paper is to show that the Schur-Siegel-Smyth trace problem can be considered as a special case of a more general problem.
This version of the paper corrects an inaccuracy in the proof of Theorem 2.9 in the published version. The main results remain unchanged.
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 $φ_{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 $φ_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.
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.
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.
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)$.
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.
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.
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.
Let $q$ be a prime, $P \geq 1$ and let $N_q(P)$ denote the number of rational primes $p \leq P$ that split in the imaginary quadratic field $\mathbb{Q}(\sqrt{-q})$. The first part of this paper establishes various unconditional and conditional (under existence of a Siegel zero) lower bounds for $N_q(P)$ in the range $q^{1/4+\varepsilon} \leq P \leq q$, for any fixed $\varepsilon>0$. This improves upon what is implied by work of Pollack and Benli-Pollack. The second part of this paper is dedicated to proving an estimate for a bilinear form involving Weyl sums for modular square roots (equivalently Salié sums). Our estimate has a power saving in the so-called P{ó}lya-Vinogradov range, and our methods involve studying an additive energy coming from quadratic residues in $\mathbb{F}_q$. This bilinear form is inspired by the recent automorphic motivation: the second moment for twisted $L$-functions attached to Kohnen newforms has recently been computed by the first and fourth authors. So the third part of this paper links the above two directions together and outlines the arithmetic applications of this bilinear form. These include the equidistribution of quadratic roots of primes, products of primes, and relaxations of a conjecture of Erdos-Odlyzko-Sarkozy.
We use recent bounds on bilinear sums with modular square roots to study the distribution of solutions to congruences $x^2 \equiv p \pmod q$ with primes $p\le P$ and integers $q \le Q$. This can be considered as a combined scenario of Duke, Friedlander and Iwaniec with averaging only over the modulus $q$ and of Dunn, Kerr, Shparlinski and Zaharescu with averaging only over $p$.
We study the distribution of spacings between the fractional parts of $n^dα$. For $α$ of high enough Diophantine type we prove a necessary and sufficient condition for $n^dα\mod 1, 1\leq n\leq N,$ to be Poissonian as $N\to \infty$ along a suitable subsequence.
This note proves a result on the existence of barycenters in a class of uniformly convex geodesic spaces.
A new transformation involving the error function $\textup{erf}(z)$, the imaginary error function $\textup{erfi}(z)$, and an integral analogue of a partial theta function is given along with its character analogues. Another complementary error function transformation is also obtained which when combined with the first explains a transformation in Ramanujan's Lost Notebook termed by Berndt and Xu as the one for an integral analogue of theta functions. These transformations are used to obtain a variety of exact and approximate evaluations of some non-elementary integrals involving hypergeometric functions. Several asymptotic expansions, including the one for a non-elementary integral involving a product of the Riemann $Ξ$-function of two different arguments, are obtained, which generalize known results due to Berndt and Evans, and Oloa.
We focus on three pages in Ramanujan's lost notebook, pages 336, 335, and 332, in decreasing order of attention. On page 336, Ramanujan proposes two identities, but the formulas are wrong -- each is vitiated by divergent series. We concentrate on only one of the two incorrect "identities", which may have been devised to attack the extended divisor problem. We prove here a corrected version of Ramanujan's claim, which contains the convergent series appearing in it. The convergent series in Ramanujan's faulty claim is similar to one used by G.F. Voronoi, G.H. Hardy, and others in their study of the classical Dirichlet divisor problem. The page 335 comprises two formulas featuring doubly infinite series of Bessel functions, the first being conjoined with the classical circle problem initiated by Gauss, and the second being associated with the Dirichlet divisor problem. The first and fourth authors, along with Sun Kim, have written several papers providing proofs of these two difficult formulas in different interpretations. In this monograph, we return to these two formulas and examine them in more general settings. The Voronoi summation formula appears prominently in our study. In particular, we generalize work of J.R. Wilton and derive an analogue involving the sum of divisors function $σ_s(n)$. We also establish here new series and integral identities involving modified Bessel functions and modified Lommel functions. Among other results, we establish a modular transformation for an infinite series involving $σ_{s}(n)$ and modified Lommel functions. We define and discuss two new related classes of integral transforms, which we call Koshliakov transforms, because N.S. Koshliakov first found elegant special cases of each.
Let $r_k(n)$ denote the number of representations of the positive integer $n$ as the sum of $k$ squares. In 1934, the Russian mathematician A.~I.~Popov stated, but did not rigorously prove, a beautiful series transformation involving $r_k(n)$ and certain Bessel functions. We provide a proof of this identity for the first time, as well as for another identity, which can be regarded as both an analogue of Popov's identity and an identity involving $r_2(n)$ from Ramanujan's lost notebook.
For any rational functions with complex coefficients $A(z), B(z)$ and $C(z)$, where $A(z)$, $C(z)$ are not identically zero, we consider the sequence of rational functions $H_{m}(z)$ with generating function $\sum H_{m}(z)t^{m}=1/(A(z)t^{2}+B(z)t+C(z))$. We provide an explicit formula for the limiting pair correlation function of the roots of $\prod_{m=0}^{n}H_{m}(z)$, as $n\rightarrow\infty$, counting multiplicities, on certain closed subarcs $J$ of a curve $\mathcal{C}$ where the roots lie. We give an example where the limiting pair correlation function does not exist if $J$ contains the endpoints of $\mathcal{C}$.
We present an evolutionary self-governing model based on the numerical atomic rule $Z(a,b)=ab/\gcd(a,b)^2$, for $a,b$ positive integers. Starting with a sequence of numbers, the initial generation $Gin$, a new sequence is obtained by applying the $Z$-rule to any neighbor terms. Likewise, applying repeatedly the same procedure to the newest generation, an entire matrix $T_{Gin}$ is generated. Most often, this matrix, which is the recorder of the whole process, shows a fractal aspect and has intriguing properties. If $Gin$ is the sequence of positive integers, in the associated matrix remarkable are the distinguished geometrical figures called the $Z$-solitons and the sinuous evolution of the size of numbers on the western edge. We observe that $T_{\mathbb{N}^*}$ is close to the analogue free of solitons matrix generated from an initial generation in which each natural number is replaced by its largest divisor that is a product of distinct primes. We describe the shape and the properties of this new matrix. N. J. A. Sloane raised a few interesting problems regarding the western edge of the matrix $T_{\mathbb{N}^*}$. We solve one of them and present arguments for a precise conjecture on another.
The well known Three Gap Theorem states that there are at most three gap sizes in the sequence of fractional parts $\{αn\}_{n<N}$ . It is known that if one averages over α, the distribution becomes continuous. We present an alternative approach, which establishes this averaged result and also provides good bounds for the error terms.
The Farey sequence is a natural exhaustion of the set of rational numbers between 0 and 1 by finite lists. Ford Circles are a natural family of mutually tangent circles associated to Farey fractions: they are an important object of study in the geometry of numbers and hyperbolic geometry. We define two sequences of polygons associated to these objects, the Euclidean and hyperbolic Farey-Ford polygons. We study the asymptotic behavior of these polygons by exploring various geometric properties such as (but not limited to) areas, length and slopes of sides, and angles between sides.
Some integral identities involving the Riemann zeta function and functions reciprocal in a kernel involving the Bessel functions $J_{z}(x), Y_{z}(x)$ and $K_{z}(x)$ are studied. Interesting special cases of these identities are derived, one of which is connected to a well-known transformation due to Ramanujan, and Guinand.
In this work, we discuss a number game that develops in a manner similar to that on which Gilbreath's conjecture on iterated absolute differences between consecutive primes is formulated. In our case the action occurs at the exponent level and there, the evolution is reminiscent of that in a final Ducci game. We present features of the whole field of the game created by the successive generations, prove an analog of Gilbreath's conjecture, and raise some open questions.
We consider a certain linear recursive relation with integer parameters and study some of its algebraic and geometric properties, with the purpose of estimating the number of chains of valences in the Farey series.
Let $ω$ be a point in the upper half plane, and let $Γ$ be a discrete, finite covolume subgroup of $\mathrm{PSL}_2(\mathbb{R})$. We conjecture an explicit formula for the pair correlation of the angles between geodesic rays of the lattice $Γω$, intersected with increasingly large balls centered at $ω$. We prove this conjecture for $Γ=\mathrm{PSL}_2(\mathbb{Z})$ and $ω$ an elliptic point.
Given an Apollonian Circle Packing $\mathcal{P}$ and a circle $C_0 = \partial B(z_0, r_0)$ in $\mathcal{P}$, color the set of disks in $\mathcal{P}$ tangent to $C_0$ red. What proportion of the concentric circle $C_ε = \partial B(z_0, r_0 + ε)$ is red, and what is the behavior of this quantity as $ε\rightarrow 0$? Using equidistribution of closed horocycles on the modular surface $\mathbb{H}^2/SL(2, \mathbb{Z})$, we show that the answer is $\frac{3}π = 0.9549\dots$ We also describe an observation due to Alex Kontorovich connecting the rate of this convergence in the Farey-Ford packing to the Riemann Hypothesis. For the analogous problem for Soddy Sphere packings, we find that the limiting radial density is $\frac{\sqrt{3}}{2V_T}=0.853\dots$, where $V_T$ denotes the volume of an ideal hyperbolic tetrahedron with dihedral angles $π/3$.
We present some monotonicity results for Dirichlet $L$-functions associated to real primitive characters. We show in particular that these Dirichlet $L$-functions are far from being logarithmically completely monotonic. Also, we show that, unlike in the case of the Riemann zeta function, the problem of comparing the signs of $\frac{d^k}{ds^k}\log L(s,χ)$ at any two points $s_1, s_2>1$ is more subtle.
The existence of the limiting pair correlation for angles between reciprocal geodesics on the modular surface is established. An explicit formula is provided, which captures geometric information about the length of reciprocal geodesics, as well as arithmetic information about the associated reciprocal classes of binary quadratic forms. One striking feature is the absence of a gap beyond zero in the limiting distribution, contrasting with the analog Euclidean situation.
Let $p$ be a prime, let $V/\mathbb{F}_p$ be an absolutely irreducible affine variety inside the affine $r$-space. In this paper, we consider the problem of how often a box $B$ will contain the expected number of points. In particular, we give a lower bound on the volume of $B$ that guarantees almost all translations of $B$ in the $r$-space contain the expected number of points. This shows that the Weil estimate holds in smaller regions in an "almost all" sense.
Let $p$ be a prime number, $X$ be an absolutely irreducible affine plane curve over $\mathbb{F}_p$, and $g,f\in\mathbb{F}_p(x,y)$. We study the distribution of the values of the hybrid exponential sums S_n on $n\in\mathcal{I}$ for some short interval $\mathcal{I}$. We show that under some natural conditions the limiting distribution of the projections of the sum $S_n$, $n\in\mathcal{I}$ on any straight line through the origin is Gaussian as $p$ tends to infinity.
In this article, we study the zeros of the partial sums of the Dedekind zeta function of a cyclotomic field $K$ defined by the truncated Dirichlet series \[ ζ_{K, X} (s) = \sum_{\|\mathfrak{a}\| \leq X} \frac{1}{\|\mathfrak{a}\|^{s}}, \] where the sum is to be taken over nonzero integral ideals $\mathfrak{a}$ of $K$ and $\|\mathfrak{a}\|$ denotes the absolute norm of $\mathfrak{a}$. Specifically, we establish the zero-free regions for $ζ_{K, X} (s)$ and estimate the number of zeros of $ζ_{K, X} (s)$ up to height $T$.
For a fixed prime $p$, the maximum coefficient (in absolute value) $M(p)$ of the cyclotomic polynomial $Φ_{pqr}(x)$, where $r$ and $q$ are free primes satisfying $r>q>p$ exists. Sister Beiter conjectured in 1968 that $M(p)\le(p+1)/2$. In 2009 Gallot and Moree showed that $M(p)\ge 2p(1-ε)/3$ for every $p$ sufficiently large. In this article Kloosterman sums (`cloister man sums') and other tools from the distribution of modular inverses are applied to quantify the abundancy of counter-examples to Sister Beiter's conjecture and sharpen the above lower bound for $M(p)$.
For fixed $u$ and $v$ such that $0\leq u<v<1/2$, the monotonicity of the quotients of Jacobi theta functions, namely, $θ_{j}(u|iπt)/θ_{j}(v|iπt)$, $j=1, 2, 3, 4$, on $0<t<\infty$ has been established in the previous works of A.Yu. Solynin, K. Schiefermayr, and Solynin and the first author. In the present paper, we show that the quotients $θ_{2}(u|iπt)/θ_{2}(v|iπt)$ and $θ_{3}(u|iπt)/θ_{3}(v|iπt)$ are convex on $0<t<\infty$.
Let $p$ be a large prime, $\ell\geq 2$ be a positive integer, $m\geq 2$ be an integer relatively prime to $\ell$ and $P(x)\in\mathbb{F}_p[x]$ be a polynomial which is not a complete $\ell'$-th power for any $\ell'$ for which $GCD(\ell',\ell)=1$. Let $\mathcal{C}$ be the curve defined by the equation $y^{\ell}=P(x)$, and take the points on $\mathcal{C}$ to lie in the rectangle $[0,p-1]^2$. In this paper, we study the distribution of the number of points on $\mathcal{C}$ inside a small rectangle among residue classes modulo $m$ when we move the rectangle around in $[0,p-1]^2$.
Let $p$ be a large prime, and let $C$ be a hyperelliptic curve over $\mathbb{F}_p$. We study the distribution of the $x$-coordinates in short intervals when the $y$-coordinates lie in a prescribed interval, and the distribution of the distance between consecutive $x$-coordinates with the same property. Next, let $g(P,P_0)$ be a rational function of two points on $C$. We study the distribution of the above distances with an extra condition that $g(P_i,P_{i+1})$ lies in a prescribed interval, for any consecutive points $P_i,P_{i+1}$.
Using a probabilistic model, based on random walks on the additive group $\mathbb{Z}/m\mathbb{Z}$, we prove that the values of certain real character sums are uniformly distributed in residue classes modulo $m$.