BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

William D. Banks

William D. Banks appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.AGmath.COmath.SP

Catalog footprint

What is connected

16works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2016arXiv

Consecutive primes and Beatty sequences

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Fractional parts of Dedekind sums

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]$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Quadratic nonresidues below the Burgess bound

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). $$

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Consecutive primes in tuples

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On Gauss sums and the evaluation of Stechkin's constant

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Optimal primitive sets with restricted primes

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).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Piatetski-Shapiro sequences

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}$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On group structures realized by elliptic curves over arbitrary finite fields

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.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

The Nicolas and Robin inequalities with sums of two squares

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.

0 citations0 reviewsNo code linkedOpen access