BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Paul Pollack

Paul Pollack contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.ACmath.GT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
25works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

25 published item(s)

preprint2022arXiv

On Benford's Law for multiplicative functions

We provide a criterion to determine whether a real multiplicative function is a strong Benford sequence. The criterion implies that the $k$-divisor functions, where $k \neq 10^j$, and Hecke eigenvalues of newforms, such as Ramanujan tau function, are strong Benford. Moreover, we deduce from the criterion that the collection of multiplicative functions which are not strong Benford forms a group under pointwise multiplication. In contrast to earlier work, our approach is based on Halász's Theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Variations on a theme of Schinzel and Wójcik

Schinzel and Wójcik have shown that if $α, β$ are rational numbers not $0$ or $\pm 1$, then $\mathrm{ord}_p(α)=\mathrm{ord}_p(β)$ for infinitely many primes $p$, where $\mathrm{ord}_p(\cdot)$ denotes the order in $\mathbb{F}_p^{\times}$. We begin by asking: When are there infinitely many primes $p$ with $\mathrm{ord}_p(α) > \mathrm{ord}_p(β)$? We write down several families of pairs $α,β$ for which we can prove this to be the case. In particular, we show this happens for "100\%" of pairs $A,2$, as $A$ runs through the positive integers. We end on a different note, proving a version of Schinzel and Wójcik's theorem for the integers of an imaginary quadratic field $K$: If $α, β\in \mathcal{O}_K$ are nonzero and neither is a root of unity, then there are infinitely many maximal ideals $P$ of $\mathcal{O}_K$ for which $\mathrm{ord}_P(α) = \mathrm{ord}_P(β)$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Finite sets containing near-primitive roots

Fix $a \in \mathbb{Z}$, $a\notin \{0,\pm 1\}$. A simple argument shows that for each $ε> 0$, and almost all (asymptotically 100% of) primes $p$, the multiplicative order of $a$ modulo $p$ exceeds $p^{\frac12-ε}$. It is an open problem to show the same result with $\frac12$ replaced by any larger constant. We show that if $a,b$ are multiplicatively independent, then for almost all primes $p$, one of $a,b,ab, a^2b, ab^2$ has order exceeding $p^{\frac{1}{2}+\frac{1}{30}}$. The same method allows one to produce, for each $ε> 0$, explicit finite sets $\mathcal{A}$ with the property that for almost all primes $p$, some element of $\mathcal{A}$ has order exceeding $p^{1-ε}$. Similar results hold for orders modulo general integers $n$ rather than primes $p$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Numbers which are orders only of cyclic groups

We call $n$ a cyclic number if every group of order $n$ is cyclic. It is implicit in work of Dickson, and explicit in work of Szele, that $n$ is cyclic precisely when $\gcd(n,ϕ(n))=1$. With $C(x)$ denoting the count of cyclic $n\le x$, Erdős proved that $$C(x) \sim e^{-γ} x/\log\log\log{x}, \quad\text{as $x\to\infty$}.$$ We show that $C(x)$ has an asymptotic series expansion, in the sense of Poincaré, in descending powers of $\log\log\log{x}$, namely $$\frac{e^{-γ} x}{\log\log\log{x}} \left(1-\fracγ{\log\log\log{x}} + \frac{γ^2 + \frac{1}{12}π^2}{(\log\log\log{x})^2} - \frac{γ^3 +\frac{1}{4} γπ^2 + \frac{2}{3}ζ(3)}{(\log\log\log{x})^3} + \dots \right). $$

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The reciprocal sum of divisors of Mersenne numbers

We investigate various questions concerning the reciprocal sum of divisors, or prime divisors, of the Mersenne numbers $2^n-1$. Conditional on the Elliott-Halberstam Conjecture and the Generalized Riemann Hypothesis, we determine $\max_{n\le x} \sum_{p \mid 2^n-1} 1/p$ to within $o(1)$ and $\max_{n\le x} \sum_{d\mid 2^n-1}1/d$ to within a factor of $1+o(1)$, as $x\to\infty$. This refines, conditionally, earlier estimates of Erdős and Erdős-Kiss-Pomerance. Conditionally (only) on GRH, we also determine $\sum 1/d$ to within a factor of $1+o(1)$ where $d$ runs over all numbers dividing $2^n-1$ for some $n\le x$. This conditionally confirms a conjecture of Pomerance and answers a question of Murty-Rosen-Silverman. Finally, we show that both $\sum_{p\mid 2^n-1} 1/p$ and $\sum_{d\mid 2^n-1}1/d$ admit continuous distribution functions in the sense of probabilistic number theory.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

An elemental Erdős-Kac theorem for algebraic number fields

Fix a number field $K$. For each nonzero $α\in \mathbb{Z}_K$, let $ν(α)$ denote the number of distinct, nonassociate irreducible divisors of $α$. We show that $ν(α)$ is normally distributed with mean proportional to $(\log\log |N(α)|)^{D}$ and standard deviation proportional to $(\log\log{|N(α)|})^{D-1/2}$. Here $D$, as well as the constants of proportionality, depend only on the class group of $K$. For example, for each fixed real $λ$, the proportion of $α\in \mathbb{Z}[\sqrt{-5}]$ with $$ ν(α) \le \frac{1}{8}(\log\log{N(α)})^2 + \fracλ{2\sqrt{2}} (\log\log{N(α)})^{3/2} $$ is given by $\frac{1}{\sqrt{2π}} \int_{-\infty}^λ e^{-t^2/2}\, \mathrm{d}t$. As further evidence that "irreducibles play a game of chance", we show that the values $ν(α)$ are equidistributed modulo $m$ for every fixed $m$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Torsion subgroups of CM elliptic curves over odd degree number fields

Let $\mathscr{G}_{\rm CM}(d)$ denote the collection of groups (up to isomorphism) that appear as the torsion subgroup of a CM elliptic curve over a degree $d$ number field. We completely determine $\mathscr{G}_{\rm CM}(d)$ for odd integers $d$ and deduce a number of statistical theorems about the behavior of torsion subgroups of CM elliptic curves. Here are three examples: (1) For each odd $d$, the set of natural numbers $d'$ with $\mathscr{G}_{\rm CM}(d') = \mathscr{G}_{\rm CM}(d)$ possesses a well-defined, positive asymptotic density. (2) Let $T_{\rm CM}(d) = \max_{G \in \mathscr{G}_{\rm CM}(d)} \#G$; under the Generalized Riemann Hypothesis, $$\left(\frac{12e^γ}π\right)^{2/3} \le \limsup_{\substack{d\to\infty\\d\text{ odd}}} \frac{T_{\rm CM}(d)}{(d\log\log{d})^{2/3}} \le \left(\frac{24e^γ}π\right)^{2/3}.$$ (3) For each $ε> 0$, we have $\#\mathscr{G}_{\rm CM}(d) \ll_ε d^ε$ for all odd $d$; on the other hand, for each $A> 0$, we have $\#\mathscr{G}_{\rm CM}(d) > (\log{d})^A$ for infinitely many odd $d$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Anatomy of torsion in the CM case

Let $T_{\mathrm{CM}}(d)$ denote the maximum size of a torsion subgroup of a CM elliptic curve over a degree $d$ number field. We initiate a systematic study of the asymptotic behavior of $T_{\mathrm{CM}}(d)$ as an "arithmetic function". Whereas a recent result of the last two authors computes the upper order of $T_{\mathrm{CM}}(d)$, here we determine the lower order, the typical order and the average order of $T_{\mathrm{CM}}(d)$ as well as study the number of isomorphism classes of groups $G$ of order $T_{\mathrm{CM}}(d)$ which arise as the torsion subgroup of a CM elliptic curve over a degree $d$ number field. To establish these analytic results we need to extend some prior algebraic results. Especially, if $E_{/F}$ is a CM elliptic curve over a degree $d$ number field, we show that $d$ is divisible by a certain function of $\# E(F)[\mathrm{tors}]$, and we give a complete characterization of all degrees $d$ such that every torsion subgroup of a CM elliptic curve defined over a degree $d$ number field already occurs over $\mathbb{Q}$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Bounds for the first several prime character nonresidues

Let $\varepsilon > 0$. We prove that there are constants $m_0=m_0(\varepsilon)$ and $κ=κ(\varepsilon) > 0$ for which the following holds: For every integer $m > m_0$ and every nontrivial Dirichlet character modulo $m$, there are more than $m^κ$ primes $\ell \le m^{\frac{1}{4\sqrt{e}}+\varepsilon}$ with $χ(\ell)\notin \{0,1\}$. The proof uses the fundamental lemma of the sieve, Norton's refinement of the Burgess bounds, and a result of Tenenbaum on the distribution of smooth numbers satisfying a coprimality condition. For quadratic characters, we demonstrate a somewhat weaker lower bound on the number of primes $\ell \le m^{\frac14+ε}$ with $χ(\ell)=1$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Clusters of primes with square-free translates

Let $\mathcal{R}$ be a finite set of integers satisfying appropriate local conditions. We show the existence of long clusters of primes $p$ in bounded length intervals with $p-b$ squarefree for all $b \in \mathcal{R}$. Moreover, we can enforce that the primes $p$ in our cluster satisfy any one of the following conditions: (1) $p$ lies in a short interval $[N, N+N^{\frac{7}{12}+ε}]$, (2) $p$ belongs to a given inhomogeneous Beatty sequence, (3) with $c \in (\frac{8}{9},1)$ fixed, $p^c$ lies in a prescribed interval mod $1$ of length $p^{-1+c+ε}$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The length spectra of arithmetic hyperbolic 3-manifolds and their totally geodesic surfaces

In this paper we examine the relationship between the length spectrum and the geometric genus spectrum of an arithmetic hyperbolic 3-orbifold M. In particular we analyze the extent to which the geometry of M is determined by the closed geodesics coming from finite area totally geodesic surfaces. Using a variety of techniques from analytic number theory, we address the following problems: Is the commensurability class of an arithmetic hyperbolic 3-orbifold determined by the lengths of closed geodesics lying on totally geodesic surfaces?, Do there exist arithmetic hyperbolic 3-orbifolds whose "short" geodesics do not lie on any totally geodesic surfaces?, and Do there exist arithmetic hyperbolic 3-orbifolds whose "short" geodesics come from distinct totally geodesic surfaces?

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Arithmetic functions at consecutive shifted primes

For each of the functions $f \in \{ϕ, σ, ω, τ\}$ and every natural number $k$, we show that there are infinitely many solutions to the inequalities $f(p_n-1) < f(p_{n+1}-1) < \dots < f(p_{n+k}-1)$, and similarly for $f(p_n-1) > f(p_{n+1}-1) > \dots > f(p_{n+k}-1)$. We also answer some questions of Sierpiński on the digit sums of consecutive primes. The arguments make essential use of Maynard and Tao&#39;s method for producing many primes in intervals of bounded length.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Averages of the number of points on elliptic curves

If $E$ is an elliptic curve defined over $\mathbb Q$ and $p$ is a prime of good reduction for $E$, let $E(\mathbb F_p)$ denote the set of points on the reduced curve modulo $p$. Define an arithmetic function $M_E(N)$ by setting $M_E(N):= \#\{p: \#E(\mathbb F_p)= N\}$. Recently, David and the third author studied the average of $M_E(N)$ over certain &#34;boxes&#34; of elliptic curves $E$. Assuming a plausible conjecture about primes in short intervals, they showed the following: for odd $N$, the average of $M_E(N)$ over a box with sufficiently large sides is $\sim \frac{K^{\ast}(N)}{\log{N}}$ for an explicitly-given function $K^{\ast}(N)$. The function $K^{\ast}(N)$ is somewhat peculiar: defined as a product over the primes dividing $N$, it resembles a multiplicative function at first glance. But further inspection reveals that it is not, and so one cannot directly investigate its properties by the usual tools of multiplicative number theory. In this paper, we overcome these difficulties and prove a number of statistical results about $K^{\ast}(N)$. For example, we determine the mean value of $K^{\ast}(N)$ over all $N$, odd $N$ and prime $N$, and we show that $K^{\ast}(N)$ has a distribution function. We also explain how our results relate to existing theorems and conjectures on the multiplicative properties of $\# E(\mathbb F_p)$, such as Koblitz&#39;s conjecture.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Besicovitch, Bisection, and the normality of $0.(1)(4)(9)(16)(25)\dots$

We revisit Besicovitch&#39;s 1935 paper in which he introduced several techniques that have become essential elements of modern combinatorial methods of normality proofs. Despite his paper&#39;s influence, the results he inspired are not strong enough to reprove his original result. We provide a new proof of the normality of the constant $0.(1)(4)(9)(16)(25)\dots$ formed by concatenating the squares, updating Besicovitch&#39;s methods.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Bounded gaps between primes in number fields and function fields

The Hardy--Littlewood prime $k$-tuples conjecture has long been thought to be completely unapproachable with current methods. While this sadly remains true, startling breakthroughs of Zhang, Maynard, and Tao have nevertheless made significant progress toward this problem. In this work, we extend the Maynard-Tao method to both number fields and the function field $\mathbb{F}_q(t)$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Bounded gaps between primes with a given primitive root

Fix an integer $g \neq -1$ that is not a perfect square. In 1927, Artin conjectured that there are infinitely many primes for which $g$ is a primitive root. Forty years later, Hooley showed that Artin&#39;s conjecture follows from the Generalized Riemann Hypothesis (GRH). We inject Hooley&#39;s analysis into the Maynard--Tao work on bounded gaps between primes. This leads to the following GRH-conditional result: Fix an integer $m \geq 2$. If $q_1 < q_2 < q_3 < \dots$ is the sequence of primes possessing $g$ as a primitive root, then $\liminf_{n\to\infty} (q_{n+(m-1)}-q_n) \leq C_m$, where $C_m$ is a finite constant that depends on $m$ but not on $g$. We also show that the primes $q_n, q_{n+1}, \dots, q_{n+m-1}$ in this result may be taken to be consecutive.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Bounded gaps between primes with a given primitive root, II

Let $m$ be a natural number, and let $\mathcal{Q}$ be a set containing at least $\exp(C m)$ primes. We show that one can find infinitely many strings of $m$ consecutive primes each of which has some $q\in\mathcal{Q}$ as a primitive root, all lying in an interval of length $O_{\mathcal{Q}}(\exp(C&#39;m))$. This is a bounded gaps variant of a theorem of Gupta and Ram Murty. We also prove a result on an elliptic analogue of Artin&#39;s conjecture. Let $E/\mathbb{Q}$ be an elliptic curve with an irrational $2$-torsion point. Assume GRH. Then for every $m$, there are infinitely many strings of $m$ consecutive primes $p$ for which $E(\mathbb{F}_p)$ is cyclic, all lying an interval of length $O_E(\exp(C&#39;&#39; m))$. If $E$ has CM, then the GRH assumption can be removed. Here $C$, $C&#39;$, and $C&#39;&#39;$ are absolute constants.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The average of the first invariant factor for reductions of CM elliptic curves mod $p$

Let $E/\mathbb{Q}$ be a fixed elliptic curve. For each prime $p$ of good reduction, write $E(\mathbb{F}_p) \cong \mathbb{Z}/d_p \mathbb{Z} \oplus \mathbb{Z}/e_p \mathbb{Z}$, where $d_p \mid e_p$. Kowalski proposed investigating the average value of $d_p$ as $p$ runs over the rational primes. For CM curves, he showed that $x\log\log{x}/\log{x} \ll \sum_{p \le x} d_p \ll x\sqrt{\log{x}}$. It was shown recently by Felix and Murty that in fact $\sum_{p \le x} d_p$ exceeds any constant multiple of $x\log\log{x}/\log{x}$, once $x$ is sufficiently large. In the opposite direction, Kim has shown that the expression $x\sqrt{\log{x}}$ in the upper bound can be replaced by $x\log\log{x}$. In this paper, we obtain the correct order of magnitude for the sum: $\sum_{p \le x} d_p \asymp x$ for all large $x$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Practical pretenders

Following Srinivasan, an integer n\geq 1 is called practical if every natural number in [1,n] can be written as a sum of distinct divisors of n. This motivates us to define f(n) as the largest integer with the property that all of 1, 2, 3,..., f(n) can be written as a sum of distinct divisors of n. (Thus, n is practical precisely when f(n)\geq n.) We think of f(n) as measuring the &#34;practicality&#34; of n; large values of f correspond to numbers n which we term practical pretenders. Our first theorem describes the distribution of these impostors: Uniformly for 4 \leq y \leq x, #{n\leq x: f(n)\geq y} \asymp \frac{x}{\log{y}}. This generalizes Saias&#39;s result that the count of practical numbers in [1,x] is \asymp \frac{x}{\log{x}}. Next, we investigate the maximal order of f when restricted to non-practical inputs. Strengthening a theorem of Hausman and Shapiro, we show that every n > 3 for which f(n) \geq \sqrt{e^γ n\log\log{n}} is a practical number. Finally, we study the range of f. Call a number m belonging to the range of f an additive endpoint. We show that for each fixed A >0 and ε> 0, the number of additive endpoints in [1,x] is eventually smaller than x/(\log{x})^A but larger than x^{1-ε}.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Uncertainty principles connected with the Möbius inversion formula

We say that two arithmetic functions f and g form a Mobius pair if f(n) = \sum_{d \mid n} g(d) for all natural numbers n. In that case, g can be expressed in terms of f by the familiar Mobius inversion formula of elementary number theory. In a previous paper, the first-named author showed that if the members f and g of a Mobius pair are both finitely supported, then both functions vanish identically. Here we prove two significantly stronger versions of this uncertainty principle. A corollary is that in a nonzero Mobius pair, either \sum_{n \in supp(f)} 1/n or \sum_{n \in supp(g)} 1/n diverges.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The average least character nonresidue and further variations on a theme of Erdos

For each nonprincipal Dirichlet character $χ$, let $n_χ$ be the least $n$ with $χ(n) \notin \{0,1\}$. We show that as the average of $n_χ$ over all nonprincipal characters $χ$ modulo $q$ is $\ell(q) + o(1)$, where $\ell(q)$ denotes the least prime not dividing $q$. Moreover, if one averages over all nonprincipal characters of modulus at most $x$, the average approaches a particular limiting value 2.5350541804. We also prove a result of this type for cubic number fields: If one averages over all cubic fields $K$, ordered by the absolute value of their discriminant, then the mean value of the least rational prime that does not split completely in $K$ is another particular constant 2.1211027269.

0 citations0 reviewsNo code linkedOpen access