-
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.
-
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.
-
Bayesian Graph Traversal
Authors:
William N. Caballero,
Phillip R. Jenkins,
David Banks,
Matthew Robbins
Abstract:
This research considers Bayesian decision-analytic approaches toward the traversal of an uncertain graph. Namely, a traveler progresses over a graph in which rewards are gained upon a node's first visit and costs are incurred for every edge traversal. The traveler knows the graph's adjacency matrix and his starting position but does not know the rewards and costs. The traveler is a Bayesian who en…
▽ More
This research considers Bayesian decision-analytic approaches toward the traversal of an uncertain graph. Namely, a traveler progresses over a graph in which rewards are gained upon a node's first visit and costs are incurred for every edge traversal. The traveler knows the graph's adjacency matrix and his starting position but does not know the rewards and costs. The traveler is a Bayesian who encodes his beliefs about these values using a Gaussian process prior and who seeks to maximize his expected utility over these beliefs. Adopting a decision-analytic perspective, we develop sequential decision-making solution strategies for this coupled information-collection and network-routing problem. We show that the problem is NP-Hard and derive properties of the optimal walk. These properties provide heuristics for the traveler's problem that balance exploration and exploitation. We provide a practical case study focused on the use of unmanned aerial systems for public safety and empirically study policy performance in myriad Erdos-Renyi settings.
△ Less
Submitted 7 March, 2025;
originally announced March 2025.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Time-varying Bayesian Network Meta-Analysis
Authors:
Patrick M. LeBlanc,
David Banks
Abstract:
The presence of methicillin-resistant \textit{Staphylococus Aureus} (MRSA) in complicated skin and soft structure infections (cSSSI) is associated with greater health risks and economic costs to patients. There is concern that MRSA is becoming resistant to other "gold standard" treatments such as vancomycin, and there is disagreement about the relative efficacy of vancocymin compared to linezolid.…
▽ More
The presence of methicillin-resistant \textit{Staphylococus Aureus} (MRSA) in complicated skin and soft structure infections (cSSSI) is associated with greater health risks and economic costs to patients. There is concern that MRSA is becoming resistant to other "gold standard" treatments such as vancomycin, and there is disagreement about the relative efficacy of vancocymin compared to linezolid. There are several review papers employing Bayesian Network Meta-Analyses (BNMAs) to investigate which treatments are best for MRSA related cSSSIs, but none address time-based design inconsistencies. This paper proposes a time-varying BNMA (tBNMA), which models time-varying treatment effects across studies using a Gaussian Process kernel. A dataset is compiled from nine existing MRSA cSSSI NMA review papers containing 58 studies comparing 19 treatments over 19 years. tBNMA finds evidence of a non-linear trend in the treatment effect of vancomycin - it became less effective than linezolid between 2002 and 2007, but has since recovered statistical equivalence.
△ Less
Submitted 9 March, 2023; v1 submitted 15 November, 2022;
originally announced November 2022.
-
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.
-
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.
-
A Prototype Compact Accelerator-based Neutron Source (CANS) for Canada
Authors:
Robert Laxdal,
Dalini Maharaj,
Mina Abbaslou,
Zin Tun,
Daniel Banks,
Alexander Gottberg,
Marco Marchetto,
Eduardo Rodriguez,
Zahra Yamani,
Helmut Fritzsche,
Ronald Rogge,
Ming Pan,
Oliver Kester,
Drew Marquardt
Abstract:
Canada's access to neutron beams for neutron scattering was significantly curtailed in 2018 with the closure of the National Research Universal (NRU) reactor in Chalk River, Ontario, Canada. New sources are needed for the long-term; otherwise, access will only become harder as the global supply shrinks. Compact Accelerator-based Neutron Sources (CANS) offer the possibility of an intense source of…
▽ More
Canada's access to neutron beams for neutron scattering was significantly curtailed in 2018 with the closure of the National Research Universal (NRU) reactor in Chalk River, Ontario, Canada. New sources are needed for the long-term; otherwise, access will only become harder as the global supply shrinks. Compact Accelerator-based Neutron Sources (CANS) offer the possibility of an intense source of neutrons with a capital cost significantly lower than spallation sources. In this paper, we propose a CANS for Canada. The proposal is staged with the first stage offering a medium neutron-flux, linac-based approach for neutron scattering that is also coupled with a boron neutron capture therapy (BNCT) station and a positron emission tomography (PET) isotope station. The first stage will serve as a prototype for a second stage: a higher brightness, higher cost facility that could be viewed as a national centre for neutron applications.
△ Less
Submitted 20 April, 2021;
originally announced April 2021.
-
A Statistician Teaches Deep Learning
Authors:
G. Jogesh Babu,
David Banks,
Hyunsoon Cho,
David Han,
Hailin Sang,
Shouyi Wang
Abstract:
Deep learning (DL) has gained much attention and become increasingly popular in modern data science. Computer scientists led the way in developing deep learning techniques, so the ideas and perspectives can seem alien to statisticians. Nonetheless, it is important that statisticians become involved -- many of our students need this expertise for their careers. In this paper, developed as part of a…
▽ More
Deep learning (DL) has gained much attention and become increasingly popular in modern data science. Computer scientists led the way in developing deep learning techniques, so the ideas and perspectives can seem alien to statisticians. Nonetheless, it is important that statisticians become involved -- many of our students need this expertise for their careers. In this paper, developed as part of a program on DL held at the Statistical and Applied Mathematical Sciences Institute, we address this culture gap and provide tips on how to teach deep learning to statistics graduate students. After some background, we list ways in which DL and statistical perspectives differ, provide a recommended syllabus that evolved from teaching two iterations of a DL graduate course, offer examples of suggested homework assignments, give an annotated list of teaching resources, and discuss DL in the context of two research areas.
△ Less
Submitted 3 February, 2021; v1 submitted 28 January, 2021;
originally announced February 2021.
-
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.
-
Adversarial Risk Analysis (Overview)
Authors:
David Banks,
Víctor Gallego,
Roi Naveiro,
David Ríos Insua
Abstract:
Adversarial risk analysis (ARA) is a relatively new area of research that informs decision-making when facing intelligent opponents and uncertain outcomes. It enables an analyst to express her Bayesian beliefs about an opponent's utilities, capabilities, probabilities and the type of strategic calculation that the opponent is using. Within that framework, the analyst then solves the problem from t…
▽ More
Adversarial risk analysis (ARA) is a relatively new area of research that informs decision-making when facing intelligent opponents and uncertain outcomes. It enables an analyst to express her Bayesian beliefs about an opponent's utilities, capabilities, probabilities and the type of strategic calculation that the opponent is using. Within that framework, the analyst then solves the problem from the perspective of the opponent while placing subjective probability distributions on all unknown quantities. This produces a distribution over the actions of the opponent that permits the analyst to maximize her expected utility. This overview covers conceptual, modeling, computational and applied issues in ARA.
△ Less
Submitted 6 July, 2020;
originally announced July 2020.
-
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.
-
Bayesian Dynamic Modeling and Monitoring of Network Flows
Authors:
Xi Chen,
David Banks,
Mike West
Abstract:
In the context of a motivating study of dynamic network flow data on a large-scale e-commerce web site, we develop Bayesian models for on-line/sequential analysis for monitoring and adapting to changes reflected in node-node traffic. For large-scale networks, we customize core Bayesian time series analysis methods using dynamic generalized linear models (DGLMs). These are integrated into the conte…
▽ More
In the context of a motivating study of dynamic network flow data on a large-scale e-commerce web site, we develop Bayesian models for on-line/sequential analysis for monitoring and adapting to changes reflected in node-node traffic. For large-scale networks, we customize core Bayesian time series analysis methods using dynamic generalized linear models (DGLMs). These are integrated into the context of multivariate networks using the concept of decouple/recouple that was recently introduced in multivariate time series. This method enables flexible dynamic modeling of flows on large-scale networks and exploitation of partial parallelization of analysis while maintaining coherence with an over-arching multivariate dynamic flow model. This approach is anchored in a case-study on internet data, with flows of visitors to a commercial news web site defining a long time series of node-node counts on over 56,000 node pairs. Central questions include characterizing inherent stochasticity in traffic patterns, understanding node-node interactions, adapting to dynamic changes in flows and allowing for sensitive monitoring to flag anomalies. The methodology of dynamic network DGLMs applies to many dynamic network flow studies.
△ Less
Submitted 13 April, 2019; v1 submitted 12 May, 2018;
originally announced May 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.
-
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.
-
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.
-
Directional Mean Curvature for Textured Image Demixing
Authors:
Duy Hoang Thai,
David Banks
Abstract:
Approximation theory plays an important role in image processing, especially image deconvolution and decomposition. For piecewise smooth images, there are many methods that have been developed over the past thirty years. The goal of this study is to devise similar and practical methodology for handling textured images. This problem is motivated by forensic imaging, since fingerprints, shoeprints a…
▽ More
Approximation theory plays an important role in image processing, especially image deconvolution and decomposition. For piecewise smooth images, there are many methods that have been developed over the past thirty years. The goal of this study is to devise similar and practical methodology for handling textured images. This problem is motivated by forensic imaging, since fingerprints, shoeprints and bullet ballistic evidence are textured images. In particular, it is known that texture information is almost destroyed by a blur operator, such as a blurred ballistic image captured from a low-cost microscope. The contribution of this work is twofold: first, we propose a mathematical model for textured image deconvolution and decomposition into four meaningful components, using a high-order partial differential equation approach based on the directional mean curvature. Second, we uncover a link between functional analysis and multiscale sampling theory, e.g., harmonic analysis and filter banks. Both theoretical results and examples with natural images are provided to illustrate the performance of the proposed model.
△ Less
Submitted 25 November, 2016;
originally announced November 2016.
-
Modeling community structure and topics in dynamic text networks
Authors:
Teague Henry,
David Banks,
Christine Chai,
Derek Owens-Oas
Abstract:
The last decade has seen great progress in both dynamic network modeling and topic modeling. This paper draws upon both areas to create a Bayesian method that allows topic discovery to inform the latent network model and the network structure to facilitate topic identification. We apply this method to the 467 top political blogs of 2012. Our results find complex community structure within this set…
▽ More
The last decade has seen great progress in both dynamic network modeling and topic modeling. This paper draws upon both areas to create a Bayesian method that allows topic discovery to inform the latent network model and the network structure to facilitate topic identification. We apply this method to the 467 top political blogs of 2012. Our results find complex community structure within this set of blogs, where community membership depends strongly upon the set of topics in which the blogger is interested.
△ Less
Submitted 23 August, 2018; v1 submitted 18 October, 2016;
originally announced October 2016.
-
Scalable Bayesian modeling, monitoring and analysis of dynamic network flow data
Authors:
Xi Chen,
Kaoru Irie,
David Banks,
Robert Haslinger,
Jewell Thomas,
Mike West
Abstract:
Traffic flow count data in networks arise in many applications, such as automobile or aviation transportation, certain directed social network contexts, and Internet studies. Using an example of Internet browser traffic flow through site-segments of an international news website, we present Bayesian analyses of two linked classes of models which, in tandem, allow fast, scalable and interpretable B…
▽ More
Traffic flow count data in networks arise in many applications, such as automobile or aviation transportation, certain directed social network contexts, and Internet studies. Using an example of Internet browser traffic flow through site-segments of an international news website, we present Bayesian analyses of two linked classes of models which, in tandem, allow fast, scalable and interpretable Bayesian inference. We first develop flexible state-space models for streaming count data, able to adaptively characterize and quantify network dynamics efficiently in real-time. We then use these models as emulators of more structured, time-varying gravity models that allow formal dissection of network dynamics. This yields interpretable inferences on traffic flow characteristics, and on dynamics in interactions among network nodes. Bayesian monitoring theory defines a strategy for sequential model assessment and adaptation in cases when network flow data deviates from model-based predictions. Exploratory and sequential monitoring analyses of evolving traffic on a network of web site-segments in e-commerce demonstrate the utility of this coupled Bayesian emulation approach to analysis of streaming network count data.
△ Less
Submitted 9 July, 2016;
originally announced July 2016.
-
Characterizing anomalous diffusion in crowded polymer solutions and gels over five decades in time with variable-lengthscale fluorescence correlation spectroscopy
Authors:
Daniel S. Banks,
Charmaine Tressler,
Robert D. Peters,
Felix Höfling,
Cécile Fradin
Abstract:
The diffusion of macromolecules in cells and in complex fluids is often found to deviate from simple Fickian diffusion. One explanation offered for this behavior is that molecular crowding renders diffusion anomalous, where the mean-squared displacement of the particles scales as $\langle r^2 \rangle \propto t^α$ with $α< 1$. Unfortunately, methods such as fluorescence correlation spectroscopy (FC…
▽ More
The diffusion of macromolecules in cells and in complex fluids is often found to deviate from simple Fickian diffusion. One explanation offered for this behavior is that molecular crowding renders diffusion anomalous, where the mean-squared displacement of the particles scales as $\langle r^2 \rangle \propto t^α$ with $α< 1$. Unfortunately, methods such as fluorescence correlation spectroscopy (FCS) or fluorescence recovery after photobleaching (FRAP) probe diffusion only over a narrow range of lengthscales and cannot directly test the dependence of the mean-squared displacement (MSD) on time. Here we show that variable-lengthscale FCS (VLS-FCS), where the volume of observation is varied over several orders of magnitude, combined with a numerical inversion procedure of the correlation data, allows retrieving the MSD for up to five decades in time, bridging the gap between diffusion experiments performed at different lengthscales. In addition, we show that VLS-FCS provides a way to assess whether the propagator associated with the diffusion is Gaussian or non-Gaussian. We used VLS-FCS to investigate two systems where anomalous diffusion had been previously reported. In the case of dense cross-linked agarose gels, the measured MSD confirmed that the diffusion of small beads was anomalous at short lengthscales, with a cross-over to simple diffusion around $\approx 1~μ$m, consistent with a caged diffusion process. On the other hand, for solutions crowded with marginally entangled dextran molecules, we uncovered an apparent discrepancy between the MSD, found to be linear, and the propagators at short lengthscales, found to be non-Gaussian. These contradicting features call to mind the "anomalous, yet Brownian" diffusion observed in several biological systems, and the recently proposed "diffusing diffusivity" model.
△ Less
Submitted 31 March, 2016;
originally announced March 2016.
-
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.
-
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.
-
Bayesian Analysis of Dynamic Linear Topic Models
Authors:
Chris Glynn,
Surya T. Tokdar,
David L. Banks,
Brian Howard
Abstract:
In dynamic topic modeling, the proportional contribution of a topic to a document depends on the temporal dynamics of that topic's overall prevalence in the corpus. We extend the Dynamic Topic Model of Blei and Lafferty (2006) by explicitly modeling document level topic proportions with covariates and dynamic structure that includes polynomial trends and periodicity. A Markov Chain Monte Carlo (MC…
▽ More
In dynamic topic modeling, the proportional contribution of a topic to a document depends on the temporal dynamics of that topic's overall prevalence in the corpus. We extend the Dynamic Topic Model of Blei and Lafferty (2006) by explicitly modeling document level topic proportions with covariates and dynamic structure that includes polynomial trends and periodicity. A Markov Chain Monte Carlo (MCMC) algorithm that utilizes Polya-Gamma data augmentation is developed for posterior inference. Conditional independencies in the model and sampling are made explicit, and our MCMC algorithm is parallelized where possible to allow for inference in large corpora. To address computational bottlenecks associated with Polya-Gamma sampling, we appeal to the Central Limit Theorem to develop a Gaussian approximation to the Polya-Gamma random variable. This approximation is fast and reliable for parameter values relevant in the text mining domain. Our model and inference algorithm are validated with multiple simulation examples, and we consider the application of modeling trends in PubMed abstracts. We demonstrate that sharing information across documents is critical for accurately estimating document-specific topic proportions. We also show that explicitly modeling polynomial and periodic behavior improves our ability to predict topic prevalence at future time points.
△ Less
Submitted 12 November, 2015;
originally announced November 2015.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Interpretation as a factor in understanding flawed spreadsheets
Authors:
David A. Banks,
Ann Monday
Abstract:
The spreadsheet has been used by the business community for many years and yet still raises a number of significant concerns. As educators our concern is to try to develop the students skills in both the development of spreadsheets and in taking a critical view of their potential defects. In this paper we consider both the problems of mechanical production and the problems of translation of prob…
▽ More
The spreadsheet has been used by the business community for many years and yet still raises a number of significant concerns. As educators our concern is to try to develop the students skills in both the development of spreadsheets and in taking a critical view of their potential defects. In this paper we consider both the problems of mechanical production and the problems of translation of problem to spreadsheet representation.
△ Less
Submitted 11 January, 2008;
originally announced January 2008.
-
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.
-
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.
-
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.
-
Data Mining in Electronic Commerce
Authors:
David L. Banks,
Yasmin H. Said
Abstract:
Modern business is rushing toward e-commerce. If the transition is done properly, it enables better management, new services, lower transaction costs and better customer relations. Success depends on skilled information technologists, among whom are statisticians. This paper focuses on some of the contributions that statisticians are making to help change the business world, especially through t…
▽ More
Modern business is rushing toward e-commerce. If the transition is done properly, it enables better management, new services, lower transaction costs and better customer relations. Success depends on skilled information technologists, among whom are statisticians. This paper focuses on some of the contributions that statisticians are making to help change the business world, especially through the development and application of data mining methods. This is a very large area, and the topics we cover are chosen to avoid overlap with other papers in this special issue, as well as to respect the limitations of our expertise. Inevitably, electronic commerce has raised and is raising fresh research problems in a very wide range of statistical areas, and we try to emphasize those challenges.
△ Less
Submitted 7 September, 2006;
originally announced September 2006.
-
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.
