Showing 1–44 of 44 results for author: Banks, W D

Multiple sums with the Möbius function

Authors: William D. Banks, Igor E. Shparlinski

Abstract: We establish nontrivial bounds for bilinear sums involving the Möbius function evaluated over solutions to a broad class of equations. Several of our results may be regarded as Möbius-function analogues of the ternary Goldbach problem. By contrast, the binary versions of our results remain out of reach, much like the binary Goldbach problem. Nevertheless, we make partial progress in this direction… ▽ More We establish nontrivial bounds for bilinear sums involving the Möbius function evaluated over solutions to a broad class of equations. Several of our results may be regarded as Möbius-function analogues of the ternary Goldbach problem. By contrast, the binary versions of our results remain out of reach, much like the binary Goldbach problem. Nevertheless, we make partial progress in this direction by restricting the range of the third variable as far as possible. △ Less

Submitted 10 June, 2025; originally announced June 2025.

Comments: 19 pages

MSC Class: Primary: 11P32; 11N56; Secondary: 11L07; 11B30

The alien in the Riemann zeta function

Authors: William D. Banks

Abstract: In space, no one can hear you scream. In space, no one can hear you scream. △ Less

Submitted 28 March, 2025; originally announced March 2025.

Comments: 1 page

MSC Class: 11M06

Pair correlation: Variations on a theme

Authors: William D. Banks

Abstract: In his groundbreaking work on pair correlation, Montgomery analyzed the distribution of the differences $γ'-γ$ between ordinates $γ$ of the nontrivial zeros of the Riemann zeta function, assuming the Riemann Hypothesis. In this paper, we extend his ideas along two distinct directions. First, we introduce an infinite two-parameter family of real weighting functions that generalize Montgomery's orig… ▽ More In his groundbreaking work on pair correlation, Montgomery analyzed the distribution of the differences $γ'-γ$ between ordinates $γ$ of the nontrivial zeros of the Riemann zeta function, assuming the Riemann Hypothesis. In this paper, we extend his ideas along two distinct directions. First, we introduce an infinite two-parameter family of real weighting functions that generalize Montgomery's original weight $w$. Although these new weights give rise to pair correlation functions with different asymptotic behavior, they do not yield any new information about the simplicity of the zeros of the zeta function. Second, we extend Montgomery's approach to study the distribution of ordinate sums of the form $Σγ=γ_1+\cdots+γ_μ$. Our results suggest a natural generalization of the pair correlation conjecture for any integer $μ\ge 2$. △ Less

Submitted 27 February, 2025; originally announced February 2025.

Comments: 37 pages; submitted; comments are welcome

MSC Class: 11M26 (primary); 11M06 (secondary)

A variant of the Linnik-Sprindzuk theorem for simple zeros of Dirichlet L-functions

Authors: William D. Banks

Abstract: For a primitive Dirichlet character $X$, a new hypothesis $RH_{sim}^\dagger[X]$ is introduced, which asserts that (1) all simple zeros of $L(s,X)$ in the critical strip are located on the critical line, and (2) these zeros satisfy some specific conditions on their vertical distribution. We show that $RH_{sim}^\dagger[X]$ (for any $X$) is a consequence of the generalized Riemann hypothesis. Assum… ▽ More For a primitive Dirichlet character $X$, a new hypothesis $RH_{sim}^\dagger[X]$ is introduced, which asserts that (1) all simple zeros of $L(s,X)$ in the critical strip are located on the critical line, and (2) these zeros satisfy some specific conditions on their vertical distribution. We show that $RH_{sim}^\dagger[X]$ (for any $X$) is a consequence of the generalized Riemann hypothesis. Assuming only the generalized Lindelöf hypothesis, we show that if $RH_{sim}^\dagger[X]$ holds for one primitive character $X$, then it holds for every such $X$. If this occurs, then for every character $χ$ (primitive or not), all simple zeros of $L(s,χ)$ in the critical strip are located on the critical line. In particular, Siegel zeros cannot exist in this situation. △ Less

Submitted 21 May, 2025; v1 submitted 15 October, 2024; originally announced October 2024.

Comments: 18 pages; this version has minor changes based on referee remarks

MSC Class: Primary: 11M06; 11M26; Secondary: 11M20

Shifting the ordinates of zeros of the Riemann zeta function

Authors: William D. Banks

Abstract: Let $y\ne 0$ and $C>0$. Under the Riemann Hypothesis, there is a number $T_*>0$ $($depending on $y$ and $C)$ such that for every $T\ge T_*$, both \[ ζ(\tfrac12+iγ)=0 \quad\text{and}\quadζ(\tfrac12+i(γ+y))\ne 0 \] hold for at least one $γ$ in the interval $[T,T(1+ε)]$, where $ε:=T^{-C/\log\log T}$. Let $y\ne 0$ and $C>0$. Under the Riemann Hypothesis, there is a number $T_*>0$ $($depending on $y$ and $C)$ such that for every $T\ge T_*$, both \[ ζ(\tfrac12+iγ)=0 \quad\text{and}\quadζ(\tfrac12+i(γ+y))\ne 0 \] hold for at least one $γ$ in the interval $[T,T(1+ε)]$, where $ε:=T^{-C/\log\log T}$. △ Less

Submitted 15 October, 2024; v1 submitted 17 May, 2024; originally announced May 2024.

Comments: 15 pages; new introduction; some flaws have been fixed

MSC Class: 11M26; 11M06

Consecutive primes and IP sets

Authors: William D. Banks

Abstract: For an infinite set M of natural numbers, let FS(M) be the set of all nonzero finite sums of distinct numbers in M. An IP set is any set of the form FS(M). Let p_n denote the n-th prime number for each $n \ge 1$. A de Polignac number is any number m such that $p_{n+1}-p_n=m$ for infinitely many n. In this note, we show that every IP set of even natural numbers contains infinitely many de Polignac… ▽ More For an infinite set M of natural numbers, let FS(M) be the set of all nonzero finite sums of distinct numbers in M. An IP set is any set of the form FS(M). Let p_n denote the n-th prime number for each $n \ge 1$. A de Polignac number is any number m such that $p_{n+1}-p_n=m$ for infinitely many n. In this note, we show that every IP set of even natural numbers contains infinitely many de Polignac numbers. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: 5 pages

MSC Class: 11N05; 11N36; 11B75

The Generalized Riemann Hypothesis from zeros of a single L-function

Authors: William D. Banks

Abstract: For each primitive Dirichlet character $χ$, a hypothesis ${\rm GRH}^\dagger[χ]$ is formulated in terms of zeros of the associated $L$-function $L(s,χ)$. It is shown that for any such character, ${\rm GRH}^\dagger[χ]$ is equivalent to the Generalized Riemann Hypothesis. For each primitive Dirichlet character $χ$, a hypothesis ${\rm GRH}^\dagger[χ]$ is formulated in terms of zeros of the associated $L$-function $L(s,χ)$. It is shown that for any such character, ${\rm GRH}^\dagger[χ]$ is equivalent to the Generalized Riemann Hypothesis. △ Less

Submitted 7 September, 2023; originally announced September 2023.

Comments: 11 pages

MSC Class: 11M06; 11M26

The Generalized Riemann Hypothesis from zeros of the zeta function

Authors: William D. Banks

Abstract: We show that the Generalized Riemann Hypothesis for all Dirichlet L-functions is a consequence of certain conjectural properties of the zeros of the Riemann zeta function. Conversely, we prove that the zeros of $ζ(s)$ satisfy those properties under GRH. We show that the Generalized Riemann Hypothesis for all Dirichlet L-functions is a consequence of certain conjectural properties of the zeros of the Riemann zeta function. Conversely, we prove that the zeros of $ζ(s)$ satisfy those properties under GRH. △ Less

Submitted 7 September, 2023; v1 submitted 16 March, 2023; originally announced March 2023.

Comments: 9 pages; version 3 corrects minor typos, and a dedication has been added

MSC Class: 11M06; 11M26

Comparing zeros of distinct Dirichlet L-functions

Authors: William D. Banks

Abstract: For any $θ>\frac13$, we show that there are constants $c_1,c_2>0$ that depend only on $θ$ for which the following property holds. If $χ_1,χ_2$ are two distinct primitive Dirichlet characters modulo $q$, and $T\ge c_1q^θ$, then $L(s,χ_1)$ and $L(s,χ_2)$ do not have the same zeros in the region $$\big\{s=σ+it\in{\mathbb C}:0<σ<1,~T<t<T+c_2q^θ\log T\big\}.$$ For cubefree moduli $q$, the same result h… ▽ More For any $θ>\frac13$, we show that there are constants $c_1,c_2>0$ that depend only on $θ$ for which the following property holds. If $χ_1,χ_2$ are two distinct primitive Dirichlet characters modulo $q$, and $T\ge c_1q^θ$, then $L(s,χ_1)$ and $L(s,χ_2)$ do not have the same zeros in the region $$\big\{s=σ+it\in{\mathbb C}:0<σ<1,~T<t<T+c_2q^θ\log T\big\}.$$ For cubefree moduli $q$, the same result holds for any $θ>\frac14$. △ Less

Submitted 17 May, 2024; v1 submitted 14 February, 2023; originally announced February 2023.

Comments: 7 pages; v.2 improves the main theorem stated in v.1 and implements various suggestions of the referees

MSC Class: 11M06; 11M26

The Riemann Hypothesis via the generalized von Mangoldt Function

Authors: William D. Banks, Saloni Sinha

Abstract: Gonek, Graham, and Lee have shown recently that the Riemann Hypothesis (RH) can be reformulated in terms of certain asymptotic estimates for twisted sums with von Mangoldt function $Λ$. Building on their ideas, for each $k\in\mathbb{N}$, we study twisted sums with the \emph{generalized von Mangoldt function} $$ Λ_k(n):=\sum_{d\,\mid\,n}μ(d)\Big(\log\frac{n}{d}\,\Big)^k $$ and establish similar con… ▽ More Gonek, Graham, and Lee have shown recently that the Riemann Hypothesis (RH) can be reformulated in terms of certain asymptotic estimates for twisted sums with von Mangoldt function $Λ$. Building on their ideas, for each $k\in\mathbb{N}$, we study twisted sums with the \emph{generalized von Mangoldt function} $$ Λ_k(n):=\sum_{d\,\mid\,n}μ(d)\Big(\log\frac{n}{d}\,\Big)^k $$ and establish similar connections with RH. For example, for $k=2$ we show that RH is equivalent to the assertion that, for any fixed $ε>0$, the estimate $$ \sum_{n\leq x}Λ_2(n)n^{-iy} =\frac{2x^{1-iy}(\log x-C_0)}{(1-iy)} -\frac{2x^{1-iy}}{(1-iy)^2} +O\big(x^{1/2}(x+|y|)^ε\big) $$ holds uniformly for all $x,y\in\mathbb{R}$, $x\geq 2$; hence, the validity of RH is governed by the distribution of almost-primes in the integers. We obtain similar results for the function $$ Λ^k:=\mathop{\underbrace{\,Λ\star\cdots\starΛ\,}}\limits_{k\text{~copies}}\,, $$ the $k$-fold convolution of the von Mangoldt function. △ Less

Submitted 10 March, 2023; v1 submitted 22 September, 2022; originally announced September 2022.

MSC Class: 11M26 (Primary); 11M06 (Secondary)

Towards the Generalized Riemann Hypothesis using only zeros of the Riemann zeta function

Authors: William D. Banks

Abstract: For any real $β_0\in[\tfrac12,1)$, let ${\rm GRH}[β_0]$ be the assertion that for every Dirichlet character $χ$ and all zeros $ρ=β+iγ$ of $L(s,χ)$, one has $β\leβ_0$ (in particular, ${\rm GRH}[\frac12]$ is the Generalized Riemann Hypothesis). In this paper, we show that the validity of ${\rm GRH}[\frac{9}{10}]$ depends only on certain distributional properties of the zeros of the Riemann zeta func… ▽ More For any real $β_0\in[\tfrac12,1)$, let ${\rm GRH}[β_0]$ be the assertion that for every Dirichlet character $χ$ and all zeros $ρ=β+iγ$ of $L(s,χ)$, one has $β\leβ_0$ (in particular, ${\rm GRH}[\frac12]$ is the Generalized Riemann Hypothesis). In this paper, we show that the validity of ${\rm GRH}[\frac{9}{10}]$ depends only on certain distributional properties of the zeros of the Riemann zeta function $ζ(s)$. No conditions are imposed on the zeros of nonprincipal Dirichlet $L$-functions. △ Less

Submitted 31 January, 2023; v1 submitted 9 May, 2022; originally announced May 2022.

Comments: version 2; 13 pages; a flaw in version 1 has been corrected; paper has been accepted by Research in Number Theory

MSC Class: Primary: 11M06; 11M26; Secondary: 11M20

Arithmetic progressions of Carmichael numbers in a reduced residue class

Authors: William D. Banks

Abstract: Fix coprime natural numbers $a,q$. Assuming the Prime $k$-tuple Conjecture, we show that there exist arbitrarily long arithmetic progressions of Carmichael numbers, each of which lies in the reduced residue class $a$ mod $q$ and is a product of three distinct prime numbers. Fix coprime natural numbers $a,q$. Assuming the Prime $k$-tuple Conjecture, we show that there exist arbitrarily long arithmetic progressions of Carmichael numbers, each of which lies in the reduced residue class $a$ mod $q$ and is a product of three distinct prime numbers. △ Less

Submitted 12 October, 2020; originally announced October 2020.

Comments: 5 pages

MSC Class: 11N25; 11B25

Counting integers with a smooth totient

Authors: W. D. Banks, J. B. Friedlander, C. Pomerance, I. E. Shparlinski

Abstract: We fix a gap in our proof of an upper bound for the number of positive integers $n\le x$ for which the Euler function $\varphi(n)$ has all prime factors at most $y$. While doing this we obtain a stronger, likely best-possible result. We fix a gap in our proof of an upper bound for the number of positive integers $n\le x$ for which the Euler function $\varphi(n)$ has all prime factors at most $y$. While doing this we obtain a stronger, likely best-possible result. △ Less

Submitted 4 September, 2018; originally announced September 2018.

Sums with the Mobius function twisted by characters with powerful moduli

Authors: William D. Banks, Igor E. Shparlinski

Abstract: In their recent work, the authors (2016) have combined classical ideas of A. G. Postnikov (1956) and N. M. Korobov (1974) to derive improved bounds on short character sums for certain nonprincipal characters with powerful moduli. In the present paper, these results are used to bound sums of the Mobius function twisted by characters of the same type, complementing and improving some earlier work of… ▽ More In their recent work, the authors (2016) have combined classical ideas of A. G. Postnikov (1956) and N. M. Korobov (1974) to derive improved bounds on short character sums for certain nonprincipal characters with powerful moduli. In the present paper, these results are used to bound sums of the Mobius function twisted by characters of the same type, complementing and improving some earlier work of B. Green (2012). To achieve this, we obtain a series of results about the size and zero-free region of $L$-functions with the same class of moduli. △ Less

Submitted 30 January, 2018; originally announced January 2018.

Non-vanishing of Dirichlet series without Euler products

Authors: William D. Banks

Abstract: We give a new proof that the Riemann zeta function is nonzero in the half-plane $\{s\in{\mathbb C}:σ>1\}$. A novel feature of this proof is that it makes no use of the Euler product for $ζ(s)$. We give a new proof that the Riemann zeta function is nonzero in the half-plane $\{s\in{\mathbb C}:σ>1\}$. A novel feature of this proof is that it makes no use of the Euler product for $ζ(s)$. △ Less

Submitted 20 October, 2017; v1 submitted 25 September, 2017; originally announced September 2017.

Comments: 13 pages; some minor edits of the previous version

MSC Class: 11M06

Journal ref: Hardy-Ramanujan Journal, Volume 40 (January 11, 2018) hrj:4027

On certain zeta functions associated with Beatty sequences

Authors: William D. Banks

Abstract: Let $α>1$ be an irrational number of finite type $τ$. In this paper, we introduce and study a zeta function $Z_α^\sharp(r,q;s)$ that is closely related to the Lipschitz-Lerch zeta function and is naturally associated with the Beatty sequence ${\mathcal B}(α):=(\lfloorαm\rfloor)_{m\in{\mathbb N}}$. If $r$ is an element of the lattice ${\mathbb Z}+{\mathbb Z}α^{-1}$, then $Z_α^\sharp(r,q;s)$ continu… ▽ More Let $α>1$ be an irrational number of finite type $τ$. In this paper, we introduce and study a zeta function $Z_α^\sharp(r,q;s)$ that is closely related to the Lipschitz-Lerch zeta function and is naturally associated with the Beatty sequence ${\mathcal B}(α):=(\lfloorαm\rfloor)_{m\in{\mathbb N}}$. If $r$ is an element of the lattice ${\mathbb Z}+{\mathbb Z}α^{-1}$, then $Z_α^\sharp(r,q;s)$ continues analytically to the half-plane $\{σ>-1/τ\}$ with its only singularity being a simple pole at $s=1$. If $r\not\in{\mathbb Z}+{\mathbb Z}α^{-1}$, then $Z_α^\sharp(r,q;s)$ extends analytically to the half-plane $\{σ>1-1/(2τ^2)\}$ and has no singularity in that region. △ Less

Submitted 28 May, 2017; originally announced May 2017.

Comments: 13 pages

MSC Class: 11M35

Consecutive primes and Beatty sequences

Authors: William D. Banks, Victor Z. Guo

Abstract: Fix irrational numbers $α,\hatα>1$ of finite type and real numbers $β,\hatβ\ge 0$, and let $B$ and $\hat B$ be the Beatty sequences $$ B:=(\lfloorαm+β\rfloor)_{m\ge 1}\quad\text{and}\quad\hat B:=(\lfloor\hatαm+\hatβ\rfloor)_{m\ge 1}. $$ In this note, we study the distribution of pairs $(p,p^\sharp)$ of consecutive primes for which $p\in B$ and $p^\sharp\in\hat B$. Under a strong (but widely accept… ▽ More Fix irrational numbers $α,\hatα>1$ of finite type and real numbers $β,\hatβ\ge 0$, and let $B$ and $\hat B$ be the Beatty sequences $$ B:=(\lfloorαm+β\rfloor)_{m\ge 1}\quad\text{and}\quad\hat B:=(\lfloor\hatαm+\hatβ\rfloor)_{m\ge 1}. $$ In this note, we study the distribution of pairs $(p,p^\sharp)$ of consecutive primes for which $p\in B$ and $p^\sharp\in\hat B$. Under a strong (but widely accepted) form of the Hardy-Littlewood conjectures, we show that $$ \big|\{p\le x:p\in B\text{ and }p^\sharp\in\hat B\}\big|=(α\hatα)^{-1}π(x)+O\big(x(\log x)^{-3/2+ε}\big), $$ where $π(x)$ is the prime counting function. △ Less

Submitted 5 December, 2016; originally announced December 2016.

Comments: 12 pages

MSC Class: 11N05; 11B83

On the number of distinct quadratic fields generated by the Shanks sequence

Authors: William D. Banks, Igor E. Shparlinski

Abstract: Let $g>1$ be an integer and $f(X)\in{\mathbb Z}[X]$ a polynomial of positive degree with no multiple roots, and put $u(n)=f(g^n)$. In this note, we study the sequence of quadratic fields ${\mathbb Q}(\sqrt{u(n)}\,)$ as $n$ varies over the consecutive integers $M+1,\ldots,M+N$. Fields of this type include Shanks fields and their generalizations. Using the square sieve together with new bounds on ch… ▽ More Let $g>1$ be an integer and $f(X)\in{\mathbb Z}[X]$ a polynomial of positive degree with no multiple roots, and put $u(n)=f(g^n)$. In this note, we study the sequence of quadratic fields ${\mathbb Q}(\sqrt{u(n)}\,)$ as $n$ varies over the consecutive integers $M+1,\ldots,M+N$. Fields of this type include Shanks fields and their generalizations. Using the square sieve together with new bounds on character sums, we improve an upper bound of Luca and Shparlinski (2009) on the number of $n \in \{M+1,\ldots,M+N\}$ with ${\mathbb Q}(\sqrt{u(n)}\,) = {\mathbb Q}(\sqrt{s}\,)$ for a given squarefree integer $s$. △ Less

Submitted 20 February, 2016; originally announced February 2016.

Comments: 17 pages

MSC Class: 11D45; 11L40; 11N36; 11R11

Quadratic nonresidues below the Burgess bound

Authors: William D. Banks, Victor Z. Guo

Abstract: For any odd prime number $p$, let $(\cdot|p)$ be the Legendre symbol, and let $n_1(p)<n_2(p)<\cdots$ be the sequence of positive nonresidues modulo $p$, i.e., $(n_k|p)=-1$ for each $k$. In 1957, Burgess showed that the upper bound $n_1(p)\ll_εp^{(4\sqrt{e})^{-1}+ε}$ holds for any fixed $ε>0$. In this paper, we prove that the stronger bound… ▽ More For any odd prime number $p$, let $(\cdot|p)$ be the Legendre symbol, and let $n_1(p)<n_2(p)<\cdots$ be the sequence of positive nonresidues modulo $p$, i.e., $(n_k|p)=-1$ for each $k$. In 1957, Burgess showed that the upper bound $n_1(p)\ll_εp^{(4\sqrt{e})^{-1}+ε}$ holds for any fixed $ε>0$. In this paper, we prove that the stronger bound $$ n_k(p)\ll p^{(4\sqrt{e})^{-1}}\exp\big(\sqrt{e^{-1}\log p\log\log p}\,\big) $$ holds for all odd primes $p$, where the implied constant is absolute, provided that $$ k\le p^{(8\sqrt{e})^{-1}} \exp\big(\tfrac12\sqrt{e^{-1}\log p\log\log p}-\tfrac12\log\log p\big). $$ For fixed $ε\in(0,\frac{π-2}{9π-2}]$ we also show that there is a number $c=c(ε)>0$ such that for all odd primes $p$ and either choice of $θ\in\{\pm 1\}$, there are $\gg_εy/(\log y)^ε$ natural numbers $n\le y$ with $(n|p)=θ$ provided that $$ y\ge p^{(4\sqrt{e})^{-1}}\exp\big(c(\log p)^{1-ε}\big). $$ △ Less

Submitted 17 November, 2015; originally announced November 2015.

Comments: 8 pages

MSC Class: 11N37; 11L40

Zeta functions and asymptotic additive bases with some unusual sets of primes

Authors: William D. Banks

Abstract: Fix $δ\in(0,1]$, $σ_0\in[0,1)$ and a real-valued function $\varepsilon(x)$ for which $\limsup_{x\to\infty}\varepsilon(x)\le 0$. For every set of primes ${\mathcal P}$ whose counting function $π_{\mathcal P}(x)$ satisfies an estimate of the form $$π_{\mathcal P}(x)=δ\,π(x)+O\bigl(x^{σ_0+\varepsilon(x)}\bigr),$$ we define a zeta function $ζ_{\mathcal P}(s)$ that is closely related to the Riemann zet… ▽ More Fix $δ\in(0,1]$, $σ_0\in[0,1)$ and a real-valued function $\varepsilon(x)$ for which $\limsup_{x\to\infty}\varepsilon(x)\le 0$. For every set of primes ${\mathcal P}$ whose counting function $π_{\mathcal P}(x)$ satisfies an estimate of the form $$π_{\mathcal P}(x)=δ\,π(x)+O\bigl(x^{σ_0+\varepsilon(x)}\bigr),$$ we define a zeta function $ζ_{\mathcal P}(s)$ that is closely related to the Riemann zeta function $ζ(s)$. For $σ_0\le\frac12$, we show that the Riemann hypothesis is equivalent to the non-vanishing of $ζ_{\mathcal P}(s)$ in the region $\{σ>\frac12\}$. For every set of primes ${\mathcal P}$ that contains the prime $2$ and whose counting function satisfies an estimate of the form $$π_{\mathcal P}(x)=δ\,π(x)+O\bigl((\log\log x)^{\varepsilon(x)}\bigr),$$ we show that ${\mathcal P}$ is an asymptotic additive basis for ${\mathbb N}$, i.e., for some integer $h=h({\mathcal P})>0$ the sumset $h{\mathcal P}$ contains all but finitely many natural numbers. For example, an asymptotic additive basis for ${\mathbb N}$ is provided by the set $$ \{2,547,1229,1993,2749,3581,4421,5281\ldots\}, $$ which consists of $2$ and every hundredth prime thereafter. △ Less

Submitted 16 September, 2015; v1 submitted 28 August, 2015; originally announced August 2015.

Comments: 13 pages; more references added; a few remarks added to Section 1.4

Every natural number is the sum of forty-nine palindromes

Authors: William D. Banks

Abstract: It is shown that the set of decimal palindromes is an additive basis for the natural numbers. Specifically, we prove that every natural number can be expressed as the sum of forty-nine (possibly zero) decimal palindromes. It is shown that the set of decimal palindromes is an additive basis for the natural numbers. Specifically, we prove that every natural number can be expressed as the sum of forty-nine (possibly zero) decimal palindromes. △ Less

Submitted 19 August, 2015; originally announced August 2015.

Comments: 9 pages

Some arithmetic properties of numbers of the form $\lfloor p^c\rfloor$

Authors: William D. Banks, Victor Z. Guo, Igor E. Shparlinski

Abstract: Let $${\mathbb P}^c=(\lfloor p^c\rfloor)_{p\in{\mathbb P}} \qquad (c>1,\ c\not\in {\mathbb N}), $$ where ${\mathbb P}$ is the set of prime numbers, and $\lfloor\cdot\rfloor$ is the floor function. We show that for every such $c$ there are infinitely many members of ${\mathbb P}^c$ having at most $R(c)$ prime factors, giving explicit estimates for $R(c)$ when $c$ is near one and also when $c$ is la… ▽ More Let $${\mathbb P}^c=(\lfloor p^c\rfloor)_{p\in{\mathbb P}} \qquad (c>1,\ c\not\in {\mathbb N}), $$ where ${\mathbb P}$ is the set of prime numbers, and $\lfloor\cdot\rfloor$ is the floor function. We show that for every such $c$ there are infinitely many members of ${\mathbb P}^c$ having at most $R(c)$ prime factors, giving explicit estimates for $R(c)$ when $c$ is near one and also when $c$ is large. △ Less

Submitted 17 August, 2015; v1 submitted 13 August, 2015; originally announced August 2015.

Comments: 15 pages; the first theorem in version one of this manuscript has been removed, as the result is a special case of a more general theorem established earlier by Cao and Zhai

MSC Class: 11L07; 11B83; 11N36

Carmichael numbers and the sieve

Authors: William D. Banks, Tristan Freiberg

Abstract: Using the sieve, we show that there are infinitely many Carmichael numbers whose prime factors all have the form $p = 1 + a^2 + b^2$ with $a,b \in{\mathbb Z}$. Using the sieve, we show that there are infinitely many Carmichael numbers whose prime factors all have the form $p = 1 + a^2 + b^2$ with $a,b \in{\mathbb Z}$. △ Less

Submitted 10 June, 2015; originally announced June 2015.

Convolutions with probability distributions, zeros of L-functions, and the least quadratic nonresidue

Authors: William D. Banks, Konstantin A. Makarov

Abstract: Let $d$ be a probability distribution. Under certain mild conditions we show that $$ \lim_{x\to\infty}x\sum_{n=1}^\infty \frac{d^{*n}(x)}{n}=1,\qquad\text{where}\quad d^{*n}:=\underbrace{\,d*d*\cdots*d\,}_{n\text{ times}}. $$ For a compactly supported distribution $d$, we show that if $c>0$ is a given constant and the function $f(k):=\widehat d(k)-1$ does not vanish on the line… ▽ More Let $d$ be a probability distribution. Under certain mild conditions we show that $$ \lim_{x\to\infty}x\sum_{n=1}^\infty \frac{d^{*n}(x)}{n}=1,\qquad\text{where}\quad d^{*n}:=\underbrace{\,d*d*\cdots*d\,}_{n\text{ times}}. $$ For a compactly supported distribution $d$, we show that if $c>0$ is a given constant and the function $f(k):=\widehat d(k)-1$ does not vanish on the line $\{k\in{\mathbb C}:\Im\,k=-c\}$, where $\widehat d$ is the Fourier transform of $d$, then one has the asymptotic expansion $$ \sum_{n=1}^\infty\frac{d^{*n}(x)}{n}=\frac{1}{x}\bigg(1+\sum_k m(k) e^{-ikx}+O(e^{-c x})\bigg)\qquad (x\to +\infty), $$ where the sum is taken over those zeros $k$ of $f$ that lie in the strip $\{k\in{\mathbb C}:-c<\Im\,k<0\}$, $m(k)$ is the multiplicity of any such zero, and the implied constant depends only on $c$. For a given distribution $d$ of this type, we briefly describe the location of the zeros $k$ of $f$ in the lower half-plane $\{k\in{\mathbb C}:\Im\,k<0\}$. For an odd prime $p$, let $n_0(p)$ be the least natural number such that $(n|p)=-1$, where $(\cdot|p)$ is the Legendre symbol. As an application of our work on probability distributions, in this paper we generalize a well known result of Heath-Brown concerning the behavior of the Dirichlet $L$-function $L(s,(\cdot|p))$ under the assumption that the Burgess bound $n_0(p)\ll p^{1/(4\sqrt{e})+ε}$ cannot be improved. △ Less

Submitted 12 May, 2015; v1 submitted 7 November, 2014; originally announced November 2014.

Comments: 41 pages; some minor typos corrected; Section 5 expanded slightly

MSC Class: 11M20; 11N25; 44A10; 44A35

Fractional parts of Dedekind sums

Authors: William D. Banks, Igor E. Shparlinski

Abstract: Using a recent improvement by Bettin and Chandee to a bound of Duke, Friedlander and Iwaniec~(1997) on double exponential sums with Kloosterman fractions, we establish a uniformity of distribution result for the fractional parts of Dedekind sums $s(m,n)$ with $m$ and $n$ running over rather general sets. Our result extends earlier work of Myerson (1988) and Vardi (1987). Using different techniques… ▽ More Using a recent improvement by Bettin and Chandee to a bound of Duke, Friedlander and Iwaniec~(1997) on double exponential sums with Kloosterman fractions, we establish a uniformity of distribution result for the fractional parts of Dedekind sums $s(m,n)$ with $m$ and $n$ running over rather general sets. Our result extends earlier work of Myerson (1988) and Vardi (1987). Using different techniques, we also study the least denominator of the collection of Dedekind sums $\bigl\{s(m,n):m\in(\mathbb Z/n \mathbb Z)^*\bigr\}$ on average for $n\in[1,N]$. △ Less

Submitted 15 May, 2015; v1 submitted 6 November, 2014; originally announced November 2014.

Comments: Using recent results of S. Bettin and V. Chandee, arXiv 1502.00769, we have improved some of our results

On limit points of the sequence of normalized prime gaps

Authors: William D. Banks, Tristan Freiberg, James Maynard

Abstract: Let $p_n$ denote the $n$th smallest prime number, and let $\boldsymbol{L}$ denote the set of limit points of the sequence $\{(p_{n+1} - p_n)/\log p_n\}_{n = 1}^{\infty}$ of normalized differences between consecutive primes. We show that for $k = 9$ and for any sequence of $k$ nonnegative real numbers $β_1 \le β_2 \le ... \le β_k$, at least one of the numbers $β_j - β_i$ ($1 \le i < j \le k$) belon… ▽ More Let $p_n$ denote the $n$th smallest prime number, and let $\boldsymbol{L}$ denote the set of limit points of the sequence $\{(p_{n+1} - p_n)/\log p_n\}_{n = 1}^{\infty}$ of normalized differences between consecutive primes. We show that for $k = 9$ and for any sequence of $k$ nonnegative real numbers $β_1 \le β_2 \le ... \le β_k$, at least one of the numbers $β_j - β_i$ ($1 \le i < j \le k$) belongs to $\boldsymbol{L}$. It follows at least $12.5%$ of all nonnegative real numbers belong to $\boldsymbol{L}$. △ Less

Submitted 20 October, 2014; v1 submitted 20 April, 2014; originally announced April 2014.

Comments: Revised and improved

MSC Class: 11N05 (Primary); 11N36 (Secondary)

Consecutive primes in tuples

Authors: William D. Banks, Tristan Freiberg, Caroline L. Turnage-Butterbaugh

Abstract: In a recent advance towards the Prime $k$-tuple Conjecture, Maynard and Tao have shown that if $k$ is sufficiently large in terms of $m$, then for an admissible $k$-tuple $\mathcal{H}(x) = \{gx + h_j\}_{j=1}^k$ of linear forms in $\mathbb{Z}[x]$, the set $\mathcal{H}(n) = \{gn + h_j\}_{j=1}^k$ contains at least $m$ primes for infinitely many $n \in \mathbb{N}$. In this note, we deduce that… ▽ More In a recent advance towards the Prime $k$-tuple Conjecture, Maynard and Tao have shown that if $k$ is sufficiently large in terms of $m$, then for an admissible $k$-tuple $\mathcal{H}(x) = \{gx + h_j\}_{j=1}^k$ of linear forms in $\mathbb{Z}[x]$, the set $\mathcal{H}(n) = \{gn + h_j\}_{j=1}^k$ contains at least $m$ primes for infinitely many $n \in \mathbb{N}$. In this note, we deduce that $\mathcal{H}(n) = \{gn + h_j\}_{j=1}^k$ contains at least $m$ consecutive primes for infinitely many $n \in \mathbb{N}$. We answer an old question of Erd\H os and Turán by producing strings of $m + 1$ consecutive primes whose successive gaps $δ_1,\ldots,δ_m$ form an increasing (resp. decreasing) sequence. We also show that such strings exist with $δ_{j-1} \mid δ_j$ for $2 \le j \le m$. For any coprime integers $a$ and $D$ we find arbitrarily long strings of consecutive primes with bounded gaps in the congruence class $a \bmod D$. △ Less

Submitted 19 October, 2014; v1 submitted 27 November, 2013; originally announced November 2013.

Comments: Revised version

MSC Class: 11N36; 11A41

On Gauss sums and the evaluation of Stechkin's constant

Authors: William D. Banks, Igor E. Shparlinski

Abstract: For the Gauss sums which are defined by S_n(a,q) := \sum_{x (mod q)} e(ax^n/q), Stechkin (1975) conjectured that the quantity A := \sup_{n,q\ge 2} \max_{\gcd(a,q)=1} |S_n(a,q)|/q^(1-1/n) is finite. Shparlinski (1991) proved that A is finite, but in the absence of effective bounds on the sums S_n(a,q) the precise determination of A has remained intractable for many years. Using recent work of Cochr… ▽ More For the Gauss sums which are defined by S_n(a,q) := \sum_{x (mod q)} e(ax^n/q), Stechkin (1975) conjectured that the quantity A := \sup_{n,q\ge 2} \max_{\gcd(a,q)=1} |S_n(a,q)|/q^(1-1/n) is finite. Shparlinski (1991) proved that A is finite, but in the absence of effective bounds on the sums S_n(a,q) the precise determination of A has remained intractable for many years. Using recent work of Cochrane and Pinner (2011) on Gauss sums with prime moduli, in this paper we show that with the constant given by A = |S_6(4787,4606056)|/4606056^(5/6) = 4.709236... one has the sharp inequality |S_n(a,q)| \le Aq^(1-1/n) for all n,q \ge 2 and all integers a with gcd(a,q)=1. One interesting aspect of our method is that we apply effective lower bounds for the center density in the sphere packing problem due to Cohn and Elkies (2003) to optimize the running time of our primary computational algorithm. △ Less

Submitted 22 October, 2013; v1 submitted 21 October, 2013; originally announced October 2013.

Comments: 16 pages, 3 figures, 2 tables

MSC Class: 11L07 (11L03 11L05 11L40)

Optimal primitive sets with restricted primes

Authors: William D. Banks, Greg Martin

Abstract: A set of natural numbers is primitive if no element of the set divides another. Erdős conjectured that if S is any primitive set, then \sum_{n\in S} 1/(n log n) \le \sum_{n\in ¶} 1/(p log p), where ¶denotes the set of primes. In this paper, we make progress towards this conjecture by restricting the setting to smaller sets of primes. Let P denote any subset of ¶, and let N(P) denote the set of nat… ▽ More A set of natural numbers is primitive if no element of the set divides another. Erdős conjectured that if S is any primitive set, then \sum_{n\in S} 1/(n log n) \le \sum_{n\in ¶} 1/(p log p), where ¶denotes the set of primes. In this paper, we make progress towards this conjecture by restricting the setting to smaller sets of primes. Let P denote any subset of ¶, and let N(P) denote the set of natural numbers all of whose prime factors are in P. We say that P is Erdős-best among primitive subsets of N(P) if the inequality \sum_{n\in S} 1/(n log n) \le \sum_{n\in P} 1/(p log p) holds for every primitive set S contained in N(P). We show that if the sum of the reciprocals of the elements of P is small enough, then P is Erdős-best among primitive subsets of N(P). As an application, we prove that the set of twin primes exceeding 3 is Erdős-best among the corresponding primitive sets. This problem turns out to be related to a similar problem involving multiplicative weights. For any real number t>1, we say that P is t-best among primitive subsets of N(P) if the inequality \sum_{n\in S} n^{-t} \le \sum_{n\in P} p^{-t} holds for every primitive set S contained in N(P). We show that if the sum on the right-hand side of this inequality is small enough, then P is t-best among primitive subsets of N(P). △ Less

Submitted 5 January, 2013; originally announced January 2013.

Comments: 10 pages

Piatetski-Shapiro sequences

Authors: Roger C. Baker, William D. Banks, Jörg Brüdern, Igor E. Shparlinski, Andreas J. Weingartner

Abstract: We consider various arithmetic questions for the Piatetski-Shapiro sequences $\fl{n^c}$ ($n=1,2,3,...$) with $c>1$, $c\not\in\N$. We exhibit a positive function $θ(c)$ with the property that the largest prime factor of $\fl{n^c}$ exceeds $n^{θ(c)-\eps}$ infinitely often. For $c\in(1,\tfrac{149}{87})$ we show that the counting function of natural numbers $n\le x$ for which $\fl{n^c}$ is squarefree… ▽ More We consider various arithmetic questions for the Piatetski-Shapiro sequences $\fl{n^c}$ ($n=1,2,3,...$) with $c>1$, $c\not\in\N$. We exhibit a positive function $θ(c)$ with the property that the largest prime factor of $\fl{n^c}$ exceeds $n^{θ(c)-\eps}$ infinitely often. For $c\in(1,\tfrac{149}{87})$ we show that the counting function of natural numbers $n\le x$ for which $\fl{n^c}$ is squarefree satisfies the expected asymptotic formula. For $c\in(1,\tfrac{147}{145})$ we show that there are infinitely many Carmichael numbers composed entirely of primes of the form $p=\fl{n^c}$. △ Less

Submitted 27 March, 2012; originally announced March 2012.

Comments: 39 pages

Sums and Products with Smooth Numbers

Authors: William D. Banks, David Covert

Abstract: We estimate the sizes of the sumset A + A and the productset A $\cdot$ A in the special case that A = S (x, y), the set of positive integers n less than or equal to x, free of prime factors exceeding y. We estimate the sizes of the sumset A + A and the productset A $\cdot$ A in the special case that A = S (x, y), the set of positive integers n less than or equal to x, free of prime factors exceeding y. △ Less

Submitted 16 October, 2010; originally announced October 2010.

Comments: 12 pages

On group structures realized by elliptic curves over arbitrary finite fields

Authors: William D. Banks, Francesco Pappalardi, Igor E. Shparlinski

Abstract: We study the collection of group structures that can be realized as a group of rational points on an elliptic curve over a finite field (such groups are well known to be of rank at most two). We also study various subsets of this collection which correspond to curves over prime fields or to curves with a prescribed torsion. Some of our results are rigorous and are based on recent advances in analy… ▽ More We study the collection of group structures that can be realized as a group of rational points on an elliptic curve over a finite field (such groups are well known to be of rank at most two). We also study various subsets of this collection which correspond to curves over prime fields or to curves with a prescribed torsion. Some of our results are rigorous and are based on recent advances in analytic number theory, some are conditional under certain widely believed conjectures, and others are purely heuristic in nature. △ Less

Submitted 15 March, 2010; originally announced March 2010.

MSC Class: 11G05; 14H52

On primitive Dirichlet characters and the Riemann hypothesis

Authors: William D. Banks, Ahmet M. Guloglu, C. Wesley Nevans

Abstract: For any natural number $n$, let $X'_n$ be the set of primitive Dirichlet characters modulo $n$. We show that if the Riemann hypothesis is true, then the inequality $|X'_{2n_k}|\le C_2 e^{-γ} φ(2n_k)/\log\log(2n_k)$ holds for all $k\ge 1$, where $n_k$ is the product of the first $k$ primes, $γ$ is the Euler-Mascheroni constant, $C_2$ is the twin prime constant, and $φ(n)$ is the Euler function. O… ▽ More For any natural number $n$, let $X'_n$ be the set of primitive Dirichlet characters modulo $n$. We show that if the Riemann hypothesis is true, then the inequality $|X'_{2n_k}|\le C_2 e^{-γ} φ(2n_k)/\log\log(2n_k)$ holds for all $k\ge 1$, where $n_k$ is the product of the first $k$ primes, $γ$ is the Euler-Mascheroni constant, $C_2$ is the twin prime constant, and $φ(n)$ is the Euler function. On the other hand, if the Riemann hypothesis is false, then there are infinitely many $k$ for which the same inequality holds and infinitely many $k$ for which it fails to hold. △ Less

Submitted 24 June, 2008; originally announced June 2008.

Comments: 7 pages

MSC Class: 11N37

The Nicolas and Robin inequalities with sums of two squares

Authors: William D. Banks, Derrick N. Hart, Pieter Moree, C. Wesley Nevans

Abstract: In 1984, G. Robin proved that the Riemann hypothesis is true if and only if the Robin inequality $σ(n)<e^γn\log\log n$ holds for every integer $n>5040$, where $σ(n)$ is the sum of divisors function, and $γ$ is the Euler-Mascheroni constant. We exhibit a broad class of subsets $\cS$ of the natural numbers such that the Robin inequality holds for all but finitely many $n\in\cS$. As a special case,… ▽ More In 1984, G. Robin proved that the Riemann hypothesis is true if and only if the Robin inequality $σ(n)<e^γn\log\log n$ holds for every integer $n>5040$, where $σ(n)$ is the sum of divisors function, and $γ$ is the Euler-Mascheroni constant. We exhibit a broad class of subsets $\cS$ of the natural numbers such that the Robin inequality holds for all but finitely many $n\in\cS$. As a special case, we determine the finitely many numbers of the form $n=a^2+b^2$ that do not satisfy the Robin inequality. In fact, we prove our assertions with the Nicolas inequality $n/φ(n)<e^γ\log \log n$; since $σ(n)/n<n/φ(n)$ for $n>1$ our results for the Robin inequality follow at once. △ Less

Submitted 12 October, 2007; originally announced October 2007.

Comments: 21 pages

MSC Class: 11Y35; 11A25

Journal ref: Monatsh. Math. 157 (2009), 302-322

Prime numbers with Beatty sequences

Authors: William D. Banks, Igor E. Shparlinski

Abstract: A study of certain Hamiltonian systems has lead Y. Long to conjecture the existence of infinitely many primes of the form $p=2[αn]+1$, where $1<α<2$ is a fixed irrational number. An argument of P. Ribenboim coupled with classical results about the distribution of fractional parts of irrational multiples of primes in an arithmetic progression immediately imply that this conjecture holds in a much… ▽ More A study of certain Hamiltonian systems has lead Y. Long to conjecture the existence of infinitely many primes of the form $p=2[αn]+1$, where $1<α<2$ is a fixed irrational number. An argument of P. Ribenboim coupled with classical results about the distribution of fractional parts of irrational multiples of primes in an arithmetic progression immediately imply that this conjecture holds in a much more precise asymptotic form. Motivated by this observation, we give an asymptotic formula for the number of primes $p=q[αn+β]+a$ with $n\le N$, where $α,β$ are real numbers such that $α$ is positive and irrational of finite type (which is true for almost all $α$) and $a,q$ are integers with $0\le a<q\le N^κ$ and $\gcd(a,q)=1$, where $κ>0$ depends only on $α$. We also prove a similar result for primes $p=[αn+β]$ such that $p\equiv a\pmod q$. △ Less

Submitted 7 August, 2007; originally announced August 2007.

MSC Class: 11B83; 11N13

Representations of integers as sums of primes from a Beatty sequence

Authors: William D. Banks, Ahmet M. Guloglu, C. Wesley Nevans

Abstract: We study the problem of representing integers as sums of prime numbers from a fixed Beatty sequence $B_{α,β}$, where $α>1$ is irrational and of finite type. We study the problem of representing integers as sums of prime numbers from a fixed Beatty sequence $B_{α,β}$, where $α>1$ is irrational and of finite type. △ Less

Submitted 10 January, 2007; originally announced January 2007.

Comments: 27 pages

MSC Class: 11P32; 11B50

Sato--Tate, cyclicity, and divisibility statistics on average for elliptic curves of small height

Authors: William D. Banks, Igor E. Shparlinski

Abstract: We obtain asymptotic formulae for the number of primes $p\le x$ for which the reduction modulo $p$ of the elliptic curve $$ \E_{a,b} : Y^2 = X^3 + aX + b $$ satisfies certain ``natural'' properties, on average over integers $a$ and $b$ with $|a|\le A$ and $|b| \le B$, where $A$ and $B$ are small relative to $x$. Specifically, we investigate behavior with respect to the Sato--Tate conjecture, cyc… ▽ More We obtain asymptotic formulae for the number of primes $p\le x$ for which the reduction modulo $p$ of the elliptic curve $$ \E_{a,b} : Y^2 = X^3 + aX + b $$ satisfies certain ``natural'' properties, on average over integers $a$ and $b$ with $|a|\le A$ and $|b| \le B$, where $A$ and $B$ are small relative to $x$. Specifically, we investigate behavior with respect to the Sato--Tate conjecture, cyclicity, and divisibility of the number of points by a fixed integer $m$. △ Less

Submitted 25 November, 2007; v1 submitted 5 September, 2006; originally announced September 2006.

MSC Class: 11G05; 11L40; 14H52

Character sums with Beatty sequences on Burgess-type intervals

Authors: William D. Banks, Igor E. Shparlinski

Abstract: We estimate multiplicative character sums taken on the values of a non-homogeneous Beatty sequence $\{[αn + β] : n =1,2,... \}$, where $α,β\in\R$, and $α$ is irrational. Our bounds are nontrivial over the same short intervals for which the classical character sum estimates of Burgess have been established. We estimate multiplicative character sums taken on the values of a non-homogeneous Beatty sequence $\{[αn + β] : n =1,2,... \}$, where $α,β\in\R$, and $α$ is irrational. Our bounds are nontrivial over the same short intervals for which the classical character sum estimates of Burgess have been established. △ Less

Submitted 1 August, 2006; originally announced August 2006.

MSC Class: 11B50; 11L40; 11T24

Density of non-residues in Burgess-type intervals and applications

Authors: W. D. Banks, M. Z. Garaev, D. R. Heath-Brown, I. E. Shparlinski

Abstract: We show that for any fixed $\eps>0$, there are numbers $δ>0$ and $p_0\ge 2$ with the following property: for every prime $p\ge p_0$ and every integer $N$ such that $p^{1/(4\sqrt{e})+\eps}\le N\le p$, the sequence $1,2,...,N$ contains at least $δN$ quadratic non-residues modulo $p$. We use this result to obtain strong upper bounds on the sizes of the least quadratic non-residues in Beatty and Pia… ▽ More We show that for any fixed $\eps>0$, there are numbers $δ>0$ and $p_0\ge 2$ with the following property: for every prime $p\ge p_0$ and every integer $N$ such that $p^{1/(4\sqrt{e})+\eps}\le N\le p$, the sequence $1,2,...,N$ contains at least $δN$ quadratic non-residues modulo $p$. We use this result to obtain strong upper bounds on the sizes of the least quadratic non-residues in Beatty and Piatetski--Shapiro sequences. △ Less

Submitted 24 September, 2007; v1 submitted 26 July, 2006; originally announced July 2006.

Comments: In the new version we use an idea of Roger Heath-Brown (who is now a co-author) to simply the proof and improve the main results of the previous version, 14 pages

MSC Class: 11N69

Integers without divisors from a fixed arithmetic progression

Authors: William D. Banks, John B. Friedlander, Florian Luca

Abstract: Let a be an integer and q a prime number. In this paper, we find an asymptotic formula for the number of positive integers n < x with the property that no divisor d > 1 of n lies in the arithmetic progression a modulo q. Let a be an integer and q a prime number. In this paper, we find an asymptotic formula for the number of positive integers n < x with the property that no divisor d > 1 of n lies in the arithmetic progression a modulo q. △ Less

Submitted 3 April, 2006; originally announced April 2006.

Comments: 37 pages

MSC Class: 11A05; 11A25; 11N37

Integers with a large smooth divisor

Authors: William D. Banks, Igor E. Shparlinski

Abstract: We study the function $Θ(x,y,z)$ that counts the number of positive integers $n\le x$ which have a divisor $d>z$ with the property that $p\le y$ for every prime $p$ dividing $d$. We also indicate some cryptographic applications of our results. We study the function $Θ(x,y,z)$ that counts the number of positive integers $n\le x$ which have a divisor $d>z$ with the property that $p\le y$ for every prime $p$ dividing $d$. We also indicate some cryptographic applications of our results. △ Less

Submitted 19 January, 2006; originally announced January 2006.

MSC Class: 11N25; 94A60

Uniform Distribution of Fractional Parts Related to Pseudoprimes

Authors: William D. Banks, Moubariz Z. Garaev, Florian Luca, Igor E. Shparlinski

Abstract: We estimate exponential sums with the Fermat-like quotients $$ f_g(n) = \frac{g^{n-1} - 1}{n} \mand h_g(n)=\frac{g^{n-1}-1}{P(n)}, $$ where $g$ and $n$ are positive integers, $n$ is composite, and P(n) is the largest prime factor of $n$. Clearly, both $f_g(n)$ and $h_g(n)$ are integers if $n$ is a Fermat pseudoprime to base $g$, and if $n$ is a Carmichael number this is true for all $g$ coprime… ▽ More We estimate exponential sums with the Fermat-like quotients $$ f_g(n) = \frac{g^{n-1} - 1}{n} \mand h_g(n)=\frac{g^{n-1}-1}{P(n)}, $$ where $g$ and $n$ are positive integers, $n$ is composite, and P(n) is the largest prime factor of $n$. Clearly, both $f_g(n)$ and $h_g(n)$ are integers if $n$ is a Fermat pseudoprime to base $g$, and if $n$ is a Carmichael number this is true for all $g$ coprime to $n$. Nevertheless, our bounds imply that the fractional parts $\{f_g(n)\}$ and $\{h_g(n)\}$ are uniformly distributed, on average over $g$ for $f_g(n)$, and individually for $h_g(n)$. We also obtain similar results with the functions ${\widetilde f}_g(n) = gf_g(n)$ and ${\widetilde h}_g(n) = gh_g(n)$. △ Less

Submitted 5 August, 2005; v1 submitted 5 May, 2005; originally announced May 2005.

Comments: In the new version we use an idea of Moubariz Garaev (who is now a co-author) to improve some of the results of the previous version

MSC Class: 11L07; 11N37; 11N60

Noncototients and Nonaliquots

Authors: William D. Banks, Florian Luca

Abstract: Let $φ(\cdot)$ and $σ(\cdot)$ denote the Euler function and the sum of divisors function, respectively. In this paper, we give a lower bound for the number of positive integers $m\le x$ for which the equation $m=n-φ(n)$ has no solution. We also give a lower bound for the number of $m\le x$ for which the equation $m=σ(n)-n$ has no solution. Finally, we show the set of positive integers $m$ not of… ▽ More Let $φ(\cdot)$ and $σ(\cdot)$ denote the Euler function and the sum of divisors function, respectively. In this paper, we give a lower bound for the number of positive integers $m\le x$ for which the equation $m=n-φ(n)$ has no solution. We also give a lower bound for the number of $m\le x$ for which the equation $m=σ(n)-n$ has no solution. Finally, we show the set of positive integers $m$ not of the form $(p-1)/2-φ(p-1)$ for some prime number $p$ has a positive lower asymptotic density. △ Less

Submitted 14 September, 2004; originally announced September 2004.

Comments: 20 pages

MSC Class: 11A25; 11A41; 11N64

Almost all palindromes are composite

Authors: William D. Banks, Derrick N. Hart, Mayumi Sakata

Abstract: We study the distribution of palindromic numbers (with respect to a fixed base $g\ge 2$) over certain congruence classes, and we derive a nontrivial upper bound for the number of prime palindromes $n\le x$ as $x\to\infty$. Our results show that almost all palindromes in a given base are composite. We study the distribution of palindromic numbers (with respect to a fixed base $g\ge 2$) over certain congruence classes, and we derive a nontrivial upper bound for the number of prime palindromes $n\le x$ as $x\to\infty$. Our results show that almost all palindromes in a given base are composite. △ Less

Submitted 4 May, 2004; originally announced May 2004.

Comments: 19 pages

MSC Class: 11A63; 11L07; 11N69