Showing 1–50 of 55 results for author: Pollack, P

Mean values of multiplicative functions and applications to residue-class distribution

Authors: Paul Pollack, Akash Singha Roy

Abstract: We provide a uniform bound on the partial sums of multiplicative functions under very general hypotheses. As an application, we give a nearly optimal estimate for the count of $n \le x$ for which the Alladi-Erdős function $A(n) = \sum_{p^k \parallel n} k p$ takes values in a given residue class modulo $q$, where $q$ varies uniformly up to a fixed power of $\log x$. We establish a similar result fo… ▽ More We provide a uniform bound on the partial sums of multiplicative functions under very general hypotheses. As an application, we give a nearly optimal estimate for the count of $n \le x$ for which the Alladi-Erdős function $A(n) = \sum_{p^k \parallel n} k p$ takes values in a given residue class modulo $q$, where $q$ varies uniformly up to a fixed power of $\log x$. We establish a similar result for the equidistribution of the Euler totient function $φ(n)$ among the coprime residues to the "correct" moduli $q$ that vary uniformly in a similar range, and also quantify the failure of equidistribution of the values of $φ(n)$ among the coprime residue classes to the "incorrect" moduli. △ Less

Submitted 25 February, 2024; originally announced February 2024.

Comments: 14 pages. First paper in series with second paper arXiv:2311.04324. Similar motivating problem; shared introductory material

MSC Class: Primary 11A25; Secondary 11N36; 11N64

The distribution of intermediate prime factors

Authors: Nathan McNew, Paul Pollack, Akash Singha Roy

Abstract: Let $P^{\left(\frac 12\right)}(n)$ denote the middle prime factor of $n$ (taking into account multiplicity). More generally, one can consider, for any $α\in (0,1)$, the $α$-positioned prime factor of $n$, $P^{(α)}(n)$. It has previously been shown that $\log \log P^{(α)}(n)$ has normal order $α\log \log x$, and its values follow a Gaussian distribution around this value. We extend this work by obt… ▽ More Let $P^{\left(\frac 12\right)}(n)$ denote the middle prime factor of $n$ (taking into account multiplicity). More generally, one can consider, for any $α\in (0,1)$, the $α$-positioned prime factor of $n$, $P^{(α)}(n)$. It has previously been shown that $\log \log P^{(α)}(n)$ has normal order $α\log \log x$, and its values follow a Gaussian distribution around this value. We extend this work by obtaining an asymptotic formula for the count of $n\leq x$ for which $P^{(α)}(n)=p$, for primes $p$ in a wide range up to $x$. We give several applications of these results, including an exploration of the geometric mean of the middle prime factors, for which we find that $\frac 1x \sum_{1<n \le x} \log P^{\left(\frac 12 \right)}(n) \sim A(\log x)^{\varphi-1}$, where $\varphi$ is the golden ratio, and $A$ is an explicit constant. Along the way, we obtain an extension of Lichtman's recent work on the ``dissected'' Mertens' theorem sums $\sum_{\substack{P^+(n) \le y \\ Ω(n)=k}} \frac{1}{n}$ for large values of $k$. △ Less

Submitted 1 May, 2023; originally announced May 2023.

MSC Class: 11N37; 11A51; 11N25

Densities of integer sets represented by quadratic forms

Authors: Pete L. Clark, Paul Pollack, Jeremy Rouse, Katherine Thompson

Abstract: Let $f(t_1,\ldots,t_n)$ be a nondegenerate integral quadratic form. We analyze the asymptotic behavior of the function $D_f(X)$, the number of integers of absolute value up to $X$ represented by $f$. When $f$ is isotropic or $n$ is at least $3$, we show that there is a $δ(f) \in \mathbb{Q} \cap (0,1)$ such that $D_f(X) \sim δ(f) X$ and call $δ(f)$ the density of $f$. We consider the inverse proble… ▽ More Let $f(t_1,\ldots,t_n)$ be a nondegenerate integral quadratic form. We analyze the asymptotic behavior of the function $D_f(X)$, the number of integers of absolute value up to $X$ represented by $f$. When $f$ is isotropic or $n$ is at least $3$, we show that there is a $δ(f) \in \mathbb{Q} \cap (0,1)$ such that $D_f(X) \sim δ(f) X$ and call $δ(f)$ the density of $f$. We consider the inverse problem of which densities arise. Our main technical tool is a Near Hasse Principle: a quadratic form may fail to represent infinitely many integers that it locally represents, but this set of exceptions has density $0$ within the set of locally represented integers. △ Less

Submitted 14 April, 2023; originally announced April 2023.

Comments: 25 pages

MSC Class: Primary 11E12; Secondary 11E20

Distribution in coprime residue classes of polynomially-defined multiplicative functions

Authors: Paul Pollack, Akash Singha Roy

Abstract: An integer-valued multiplicative function $f$ is said to be polynomially-defined if there is a nonconstant separable polynomial $F(T)\in \mathbb{Z}[T]$ with $f(p)=F(p)$ for all primes $p$. We study the distribution in coprime residue classes of polynomially-defined multiplicative functions, establishing equidistribution results allowing a wide range of uniformity in the modulus $q$. For example, w… ▽ More An integer-valued multiplicative function $f$ is said to be polynomially-defined if there is a nonconstant separable polynomial $F(T)\in \mathbb{Z}[T]$ with $f(p)=F(p)$ for all primes $p$. We study the distribution in coprime residue classes of polynomially-defined multiplicative functions, establishing equidistribution results allowing a wide range of uniformity in the modulus $q$. For example, we show that the values $φ(n)$, sampled over integers $n \le x$ with $φ(n)$ coprime to $q$, are asymptotically equidistributed among the coprime classes modulo $q$, uniformly for moduli $q$ coprime to $6$ that are bounded by a fixed power of $\log{x}$. △ Less

Submitted 29 May, 2023; v1 submitted 25 March, 2023; originally announced March 2023.

Comments: edited paragraph following Theorem 1.3, correcting a claim in the discussion of condition (i)

MSC Class: Primary 11A25; Secondary 11N36; 11N64

Journal ref: Math. Z. 303, article number 93 (2023)

Two problems on the distribution of Carmichael's lambda function

Authors: Paul Pollack

Abstract: Let $λ(n)$ denote the exponent of the multiplicative group modulo $n$. We show that when $q$ is odd, each coprime residue class modulo $q$ is hit equally often by $λ(n)$ as $n$ varies. Under the stronger assumption that $\gcd(q,6)=1$, we prove that equidistribution persists throughout a Siegel--Walfisz-type range of uniformity. By similar methods we show that $λ(n)$ obeys Benford's leading digit l… ▽ More Let $λ(n)$ denote the exponent of the multiplicative group modulo $n$. We show that when $q$ is odd, each coprime residue class modulo $q$ is hit equally often by $λ(n)$ as $n$ varies. Under the stronger assumption that $\gcd(q,6)=1$, we prove that equidistribution persists throughout a Siegel--Walfisz-type range of uniformity. By similar methods we show that $λ(n)$ obeys Benford's leading digit law with respect to natural density. Moreover, if we assume GRH, then Benford's law holds for the order of $a$ mod $n$, for any fixed integer $a\notin \{0,\pm 1\}$. △ Less

Submitted 24 March, 2023; originally announced March 2023.

Comments: 24 pages; submitted

MSC Class: Primary 11N64; Secondary 11A25; 11B50

On Benford's Law for multiplicative functions

Authors: Vorrapan Chandee, Xiannan Li, Paul Pollack, Akash Singha Roy

Abstract: 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 und… ▽ More 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. △ Less

Submitted 1 April, 2022; v1 submitted 24 March, 2022; originally announced March 2022.

Comments: 12 pages; new version with two new coauthors, updates to main theorem and added Corollary 1.7

MSC Class: 11A41; 11N60; 11B99

A problem in comparative order theory

Authors: Sergei Konyagin, Paul Pollack

Abstract: Write $\mathrm{ord}_p(\cdot)$ for the multiplicative order in $\mathbb{F}_p^{\times}$. Recently, Matthew Just and the second author investigated the problem of classifying pairs $α, β\in \mathbb{Q}^{\times}\setminus\{\pm 1\}$ for which $\mathrm{ord}_p(α) > \mathrm{ord}_p(β)$ holds for infinitely many primes $p$. They called such pairs order-dominant. We describe an easily-checkable sufficient cond… ▽ More Write $\mathrm{ord}_p(\cdot)$ for the multiplicative order in $\mathbb{F}_p^{\times}$. Recently, Matthew Just and the second author investigated the problem of classifying pairs $α, β\in \mathbb{Q}^{\times}\setminus\{\pm 1\}$ for which $\mathrm{ord}_p(α) > \mathrm{ord}_p(β)$ holds for infinitely many primes $p$. They called such pairs order-dominant. We describe an easily-checkable sufficient condition for $α,β$ to be order-dominant. Via the large sieve, we show that almost all integer pairs $α,β$ satisfy our condition, with a power savings on the size of the exceptional set. △ Less

Submitted 31 August, 2021; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: 12 pages; accepted version incorporating minor edits

MSC Class: Primary 11A07; Secondary 11A15; 11N36

Powerfree sums of proper divisors

Authors: Paul Pollack, Akash Singha Roy

Abstract: Let $s(n):= \sum_{d\mid n,~d<n} d$ denote the sum of the proper divisors of $n$. It is natural to conjecture that for each integer $k\ge 2$, the equivalence \[ \text{$n$ is $k$th powerfree} \Longleftrightarrow \text{$s(n)$ is $k$th powerfree} \] holds almost always (meaning, on a set of asymptotic density $1$). We prove this for $k\ge 4$. Let $s(n):= \sum_{d\mid n,~d<n} d$ denote the sum of the proper divisors of $n$. It is natural to conjecture that for each integer $k\ge 2$, the equivalence \[ \text{$n$ is $k$th powerfree} \Longleftrightarrow \text{$s(n)$ is $k$th powerfree} \] holds almost always (meaning, on a set of asymptotic density $1$). We prove this for $k\ge 4$. △ Less

Submitted 28 June, 2021; originally announced June 2021.

Comments: 7 pages

MSC Class: Primary 11N37; Secondary 11A25; 11N64

Sums of proper divisors follow the Erdős--Kac law

Authors: Paul Pollack, Lee Troupe

Abstract: Let $s(n)=\sum_{d\mid n,~d<n} d$ denote the sum of the proper divisors of $n$. The second-named author proved that $ω(s(n))$ has normal order $\log\log{n}$, the analogue for $s$-values of a classical result of Hardy and Ramanujan. We establish the corresponding Erdős--Kac theorem: $ω(s(n))$ is asymptotically normally distributed with mean and variance $\log\log{n}$. The same method applies with… ▽ More Let $s(n)=\sum_{d\mid n,~d<n} d$ denote the sum of the proper divisors of $n$. The second-named author proved that $ω(s(n))$ has normal order $\log\log{n}$, the analogue for $s$-values of a classical result of Hardy and Ramanujan. We establish the corresponding Erdős--Kac theorem: $ω(s(n))$ is asymptotically normally distributed with mean and variance $\log\log{n}$. The same method applies with $s(n)$ replaced by any of several other unconventional arithmetic functions, such as $β(n):=\sum_{p\mid n} p$, $n-φ(n)$, and $n+τ(n)$ ($τ$ being the divisor function). △ Less

Submitted 20 June, 2021; originally announced June 2021.

Comments: 12 pages

MSC Class: 11N37 (Primary) 11N56; 11N64 (Secondary)

Joint distribution in residue classes of polynomial-like multiplicative functions

Authors: Paul Pollack, Akash Singha Roy

Abstract: Under fairly general conditions, we show that families of integer-valued polynomial-like multiplicative functions are uniformly distributed in coprime residue classes mod $p$, where $p$ is a growing prime (or nearly prime) modulus. This can be seen as complementary to work of Narkiewicz, who obtained comprehensive results for fixed moduli. Under fairly general conditions, we show that families of integer-valued polynomial-like multiplicative functions are uniformly distributed in coprime residue classes mod $p$, where $p$ is a growing prime (or nearly prime) modulus. This can be seen as complementary to work of Narkiewicz, who obtained comprehensive results for fixed moduli. △ Less

Submitted 24 July, 2021; v1 submitted 26 May, 2021; originally announced May 2021.

Comments: 13 pages; corrected an error in part (b) of the Remark following Lemma 2.2

MSC Class: Primary 11A25; Secondary 11N36; 11N64

Distribution mod $p$ of Euler's totient and the sum of proper divisors

Authors: Noah Lebowitz-Lockard, Paul Pollack, Akash Singha Roy

Abstract: We consider the distribution in residue classes modulo primes $p$ of Euler's totient function $φ(n)$ and the sum-of-proper-divisors function $s(n):=σ(n)-n$. We prove that the values $φ(n)$, for $n\le x$, that are coprime to $p$ are asymptotically uniformly distributed among the $p-1$ coprime residue classes modulo $p$, uniformly for $5 \le p \le (\log{x})^A$ (with $A$ fixed but arbitrary). We also… ▽ More We consider the distribution in residue classes modulo primes $p$ of Euler's totient function $φ(n)$ and the sum-of-proper-divisors function $s(n):=σ(n)-n$. We prove that the values $φ(n)$, for $n\le x$, that are coprime to $p$ are asymptotically uniformly distributed among the $p-1$ coprime residue classes modulo $p$, uniformly for $5 \le p \le (\log{x})^A$ (with $A$ fixed but arbitrary). We also show that the values of $s(n)$, for $n$ composite, are uniformly distributed among all $p$ residue classes modulo every $p\le (\log{x})^A$. These appear to be the first results of their kind where the modulus is allowed to grow substantially with $x$. △ Less

Submitted 26 May, 2021; originally announced May 2021.

Comments: 24 pages

MSC Class: Primary 11A25; Secondary 11N36; 11N64

Variations on a theme of Schinzel and Wójcik

Authors: Matthew Just, Paul Pollack

Abstract: 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 whic… ▽ More 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(β)$. △ Less

Submitted 30 January, 2021; originally announced February 2021.

Comments: 13 pages

A quick route to unique factorization in quadratic orders

Authors: Paul Pollack, Noah Snyder

Abstract: We give a short proof -- not relying on ideal classes or the geometry of numbers -- of a known criterion for quadratic orders to possess unique factorization. We give a short proof -- not relying on ideal classes or the geometry of numbers -- of a known criterion for quadratic orders to possess unique factorization. △ Less

Submitted 10 October, 2020; originally announced October 2020.

Comments: 4 pages + references. To appear, Amer. Math. Monthly

MSC Class: Primary 11R11; Secondary 11R29

Numbers which are orders only of cyclic groups

Authors: Paul Pollack

Abstract: 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)… ▽ More 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). $$ △ Less

Submitted 24 July, 2020; v1 submitted 19 July, 2020; originally announced July 2020.

Comments: 10 pages; some typos corrected

MSC Class: Primary 11N37; Secondary 20D60

Finite sets containing near-primitive roots

Authors: Komal Agrawal, Paul Pollack

Abstract: 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 o… ▽ More 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$. △ Less

Submitted 26 June, 2020; originally announced June 2020.

Comments: 10 pages + references

MSC Class: Primary 11A07; Secondary 11N25

The reciprocal sum of divisors of Mersenne numbers

Authors: Zebediah Engberg, Paul Pollack

Abstract: 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, conditio… ▽ More 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. △ Less

Submitted 13 August, 2020; v1 submitted 3 June, 2020; originally announced June 2020.

Comments: 15 pages. Made several clarifications and corrections. Added new section on generalizations

HistomicsML2.0: Fast interactive machine learning for whole slide imaging data

Authors: Sanghoon Lee, Mohamed Amgad, Deepak R. Chittajallu, Matt McCormick, Brian P Pollack, Habiba Elfandy, Hagar Hussein, David A Gutman, Lee AD Cooper

Abstract: Extracting quantitative phenotypic information from whole-slide images presents significant challenges for investigators who are not experienced in develo** image analysis algorithms. We present new software that enables rapid learn-by-example training of machine learning classifiers for detection of histologic patterns in whole-slide imaging datasets. HistomicsML2.0 uses convolutional networks… ▽ More Extracting quantitative phenotypic information from whole-slide images presents significant challenges for investigators who are not experienced in develo** image analysis algorithms. We present new software that enables rapid learn-by-example training of machine learning classifiers for detection of histologic patterns in whole-slide imaging datasets. HistomicsML2.0 uses convolutional networks to be readily adaptable to a variety of applications, provides a web-based user interface, and is available as a software container to simplify deployment. △ Less

Submitted 30 January, 2020; originally announced January 2020.

Phi, Primorials, and Poisson

Authors: Paul Pollack, Carl Pomerance

Abstract: The primorial $p\#$ of a prime $p$ is the product of all primes $q\le p$. Let pr$(n)$ denote the largest prime $p$ with $p\# \mid φ(n)$, where $φ$ is Euler's totient function. We show that the normal order of pr$(n)$ is $\log\log n/\log\log\log n$. That is, pr$(n) \sim \log\log n/\log\log\log n$ as $n\to\infty$ on a set of integers of asymptotic density 1. In fact we show there is an asymptotic se… ▽ More The primorial $p\#$ of a prime $p$ is the product of all primes $q\le p$. Let pr$(n)$ denote the largest prime $p$ with $p\# \mid φ(n)$, where $φ$ is Euler's totient function. We show that the normal order of pr$(n)$ is $\log\log n/\log\log\log n$. That is, pr$(n) \sim \log\log n/\log\log\log n$ as $n\to\infty$ on a set of integers of asymptotic density 1. In fact we show there is an asymptotic secondary term and, on a tertiary level, there is an asymptotic Poisson distribution. We also show an analogous result for the largest integer $k$ with $k!\mid φ(n)$. △ Less

Submitted 18 January, 2020; originally announced January 2020.

Comments: 10 pages

MSC Class: Primary 11N37; Secondary 11N36; 11N64

Journal ref: Illinois J. Math. 64, no. 3 (2020), 319-330

Symmetric primes revisited

Authors: William Banks, Paul Pollack, Carl Pomerance

Abstract: A pair of odd primes is said to be symmetric if each prime is congruent to one modulo their difference. A theorem from 1996 by Fletcher, Lindgren, and the third author provides an upper bound on the number of primes up to x that belong to a symmetric pair. In the present paper, that theorem is improved to what is likely to be the best possible result. We also establish that there exist infinitely… ▽ More A pair of odd primes is said to be symmetric if each prime is congruent to one modulo their difference. A theorem from 1996 by Fletcher, Lindgren, and the third author provides an upper bound on the number of primes up to x that belong to a symmetric pair. In the present paper, that theorem is improved to what is likely to be the best possible result. We also establish that there exist infinitely many symmetric pairs of primes. In fact, we show that for every integer m at least 2 there is a string of m consecutive primes, any two of which form a symmetric pair. △ Less

Submitted 26 August, 2019; v1 submitted 16 August, 2019; originally announced August 2019.

Comments: 6 pages. This replaces the version dated 16 Aug., 2019

Twists of hyperelliptic curves by integers in progressions modulo $p$

Authors: David Krumm, Paul Pollack

Abstract: Let $f(x)$ be a nonconstant polynomial with integer coefficients and nonzero discriminant. We study the distribution modulo primes of the set of squarefree integers $d$ such that the curve $dy^2=f(x)$ has a nontrivial rational or integral point. Let $f(x)$ be a nonconstant polynomial with integer coefficients and nonzero discriminant. We study the distribution modulo primes of the set of squarefree integers $d$ such that the curve $dy^2=f(x)$ has a nontrivial rational or integral point. △ Less

Submitted 20 March, 2019; v1 submitted 3 July, 2018; originally announced July 2018.

MSC Class: 11N32; 11N36; 11G30

Small prime $k$th power residues for $k=2,3,4$: A reciprocity laws approach

Authors: Kübra Benli, Paul Pollack

Abstract: Nagell proved that for each prime $p\equiv 1\pmod{3}$, $p > 7$, there is a prime $q<2p^{1/2}$ that is a cubic residue modulo $p$. Here we show that for each fixed $ε> 0$, and each prime $p\equiv 1\pmod{3}$ with $p > p_0(ε)$, the number of prime cubic residues $q < p^{1/2+ε}$ exceeds $p^{ε/30}$. Our argument, like Nagell's, is rooted in the law of cubic reciprocity; somewhat surprisingly, character… ▽ More Nagell proved that for each prime $p\equiv 1\pmod{3}$, $p > 7$, there is a prime $q<2p^{1/2}$ that is a cubic residue modulo $p$. Here we show that for each fixed $ε> 0$, and each prime $p\equiv 1\pmod{3}$ with $p > p_0(ε)$, the number of prime cubic residues $q < p^{1/2+ε}$ exceeds $p^{ε/30}$. Our argument, like Nagell's, is rooted in the law of cubic reciprocity; somewhat surprisingly, character sum estimates play no role. We use the same method to establish related results about prime quadratic and biquadratic residues. For example, for all large primes $p$, there are more than $p^{1/9}$ prime quadratic residues $q<p$. △ Less

Submitted 5 November, 2017; originally announced November 2017.

Comments: 7 pages

MSC Class: 1A15 (primary); 11N36 (secondary)

Typically bounding torsion

Authors: Pete L. Clark, Marko Milosevic, Paul Pollack

Abstract: We formulate the notion of \emph{typical boundedness} of torsion on a family of abelian varieties defined over number fields. This means that the torsion subgroups of elements in the family can be made uniformly bounded by removing from the family all abelian varieties defined over number fields of degree lying in a set of arbitrarily small density. We show that for each fixed $g$, torsion is typi… ▽ More We formulate the notion of \emph{typical boundedness} of torsion on a family of abelian varieties defined over number fields. This means that the torsion subgroups of elements in the family can be made uniformly bounded by removing from the family all abelian varieties defined over number fields of degree lying in a set of arbitrarily small density. We show that for each fixed $g$, torsion is typically bounded on the family of all $g$-dimensional CM abelian varieties. We show that torsion is \emph{not} typically bounded on the family of all elliptic curves, and we establish results -- some unconditional and some conditional -- on typical boundedness of torsion of elliptic curves for which the degree of the $j$-invariant is fixed. △ Less

Submitted 13 July, 2017; originally announced July 2017.

Comments: 14 pages

Divisor-sum fibers

Authors: Paul Pollack, Carl Pomerance, Lola Thompson

Abstract: Let $s(\cdot)$ denote the sum-of-proper-divisors function, that is, $s(n) = \sum_{d\mid n,~d<n}d$. Erdős-Granville-Pomerance-Spiro conjectured that for any set $\mathcal{A}$ of asymptotic density zero, the preimage set $s^{-1}(\mathcal{A})$ also has density zero. We prove a weak form of this conjecture: If $ε(x)$ is any function tending to $0$ as $x\to\infty$, and $\mathcal{A}$ is a set of integer… ▽ More Let $s(\cdot)$ denote the sum-of-proper-divisors function, that is, $s(n) = \sum_{d\mid n,~d<n}d$. Erdős-Granville-Pomerance-Spiro conjectured that for any set $\mathcal{A}$ of asymptotic density zero, the preimage set $s^{-1}(\mathcal{A})$ also has density zero. We prove a weak form of this conjecture: If $ε(x)$ is any function tending to $0$ as $x\to\infty$, and $\mathcal{A}$ is a set of integers of cardinality at most $x^{\frac12+ε(x)}$, then the number of integers $n\le x$ with $s(n) \in \mathcal{A}$ is $o(x)$, as $x\to\infty$. In particular, the EGPS conjecture holds for infinite sets with counting function $O(x^{\frac12 + ε(x)})$. We also disprove a hypothesis from the same paper of EGPS by showing that for any positive numbers $α$ and $ε$, there are integers $n$ with arbitrarily many $s$-preimages lying between $α(1-ε)n$ and $α(1+ε)n$. Finally, we make some remarks on solutions $n$ to congruences of the form $σ(n) \equiv a\pmod{n}$, proposing a modification of a conjecture appearing in recent work of the first two authors. We also improve a previous upper bound for the number of solutions $n \leq x$, making it uniform in $a$. △ Less

Submitted 9 June, 2017; originally announced June 2017.

Journal ref: Mathematika 64 (2018) 330-342

Pursuing polynomial bounds on torsion

Authors: Pete L. Clark, Paul Pollack

Abstract: We show that for all epsilon > 0, there is a constant C(epsilon) > 0 such that for all elliptic curves E defined over a number field F with j(E) in Q we have #E(F)[tors] \leq C(epsilon)[F:Q]^{5/2+epsilon}. We pursue further bounds on the size of the torsion subgroup of an elliptic curve over a number field E/F that are polynomial in [F:Q] under restrictions on j(E). We give an unconditional result… ▽ More We show that for all epsilon > 0, there is a constant C(epsilon) > 0 such that for all elliptic curves E defined over a number field F with j(E) in Q we have #E(F)[tors] \leq C(epsilon)[F:Q]^{5/2+epsilon}. We pursue further bounds on the size of the torsion subgroup of an elliptic curve over a number field E/F that are polynomial in [F:Q] under restrictions on j(E). We give an unconditional result for j(E) lying in a fixed quadratic field that is not imaginary of class number one as well as two further results, one conditional on GRH and one conditional on the strong boundedness of isogenies of prime degree for non-CM elliptic curves. △ Less

Submitted 29 May, 2017; originally announced May 2017.

Comments: 14 pages

MSC Class: 11G05

Bounded gaps between primes and the length spectra of arithmetic hyperbolic 3-orbifolds

Authors: Benjamin Linowitz, D. B. McReynolds, Paul Pollack, Lola Thompson

Abstract: In 1992, Reid asked whether hyperbolic 3-manifolds with the same geodesic length spectra are necessarily commensurable. While this is known to be true for arithmetic hyperbolic 3-manifolds, the non-arithmetic case is still open. Building towards a negative answer to this question, Futer and Millichap recently constructed infinitely many pairs of non-commensurable, non-arithmetic hyperbolic 3-manif… ▽ More In 1992, Reid asked whether hyperbolic 3-manifolds with the same geodesic length spectra are necessarily commensurable. While this is known to be true for arithmetic hyperbolic 3-manifolds, the non-arithmetic case is still open. Building towards a negative answer to this question, Futer and Millichap recently constructed infinitely many pairs of non-commensurable, non-arithmetic hyperbolic 3-manifolds which have the same volume and whose length spectra begin with the same first $m$ geodesic lengths. In the present paper, we show that this phenomenon is surprisingly common in the arithmetic setting. In particular, given any arithmetic hyperbolic 3-orbifold derived from a quaternion algebra, any finite subset $S$ of its geodesic length spectrum, and any $k \geq 2$, we produce infinitely many $k$-tuples of arithmetic hyperbolic 3-orbifolds which are pairwise non-commensurable, have geodesic length spectra containing $S$, and have volumes lying in an interval of (universally) bounded length. The main technical ingredient in our proof is a bounded gaps result for prime ideals in number fields lying in Chebotarev sets which extends recent work of Thorner. △ Less

Submitted 22 May, 2017; originally announced May 2017.

Comments: V1: 6 pages

Journal ref: C. R. Math. Acad. Sci. Paris 355 (2017), 1121-1126

Refinements of Lagrange's four-square theorem

Authors: Leo Goldmakher, Paul Pollack

Abstract: A well-known theorem of Lagrange asserts that every nonnegative integer $n$ can be written in the form $a^2+b^2+c^2+d^2$, where $a,b,c,d \in \mathbb{Z}$. We characterize the values assumed by $a+b+c+d$ as we range over all such representations of $n$. A well-known theorem of Lagrange asserts that every nonnegative integer $n$ can be written in the form $a^2+b^2+c^2+d^2$, where $a,b,c,d \in \mathbb{Z}$. We characterize the values assumed by $a+b+c+d$ as we range over all such representations of $n$. △ Less

Submitted 8 March, 2017; originally announced March 2017.

Comments: 5 pages

MSC Class: 11E25

The truth about torsion in the CM case, II

Authors: Pete L. Clark, Paul Pollack

Abstract: Let $T_{\rm CM}(d)$ be the largest size of the torsion subgroup of an elliptic curve with complex multiplication (CM) defined over a degree $d$ number field. Work of Breuer and Clark--Pollack showed $\limsup_{d \to \infty} \frac{T_{\rm CM}(d)}{d \log \log d} \in (0,\infty)$. Here we show that the above limit supremum is precisely $\frac{e^γ π}{\sqrt{3}}$. We also study -- in part, out of necessity… ▽ More Let $T_{\rm CM}(d)$ be the largest size of the torsion subgroup of an elliptic curve with complex multiplication (CM) defined over a degree $d$ number field. Work of Breuer and Clark--Pollack showed $\limsup_{d \to \infty} \frac{T_{\rm CM}(d)}{d \log \log d} \in (0,\infty)$. Here we show that the above limit supremum is precisely $\frac{e^γ π}{\sqrt{3}}$. We also study -- in part, out of necessity -- the upper order of the size of the torsion subgroup of various restricted classes of CM elliptic curves over number fields. △ Less

Submitted 19 December, 2016; originally announced December 2016.

Comments: 17 pages

Two problems concerning irreducible elements in rings of integers of number fields

Authors: Paul Pollack, Lee Troupe

Abstract: Let $K$ be a number field with ring of integers $\mathbb{Z}_K$. We prove two asymptotic formulas connected with the distribution of irreducible elements in $\mathbb{Z}_K$. First, we estimate the maximum number of nonassociated irreducibles dividing a nonzero element of $\mathbb{Z}_K$ of norm not exceeding $x$ (in absolute value), as $x\to\infty$. Second, we count the number of irreducible elements… ▽ More Let $K$ be a number field with ring of integers $\mathbb{Z}_K$. We prove two asymptotic formulas connected with the distribution of irreducible elements in $\mathbb{Z}_K$. First, we estimate the maximum number of nonassociated irreducibles dividing a nonzero element of $\mathbb{Z}_K$ of norm not exceeding $x$ (in absolute value), as $x\to\infty$. Second, we count the number of irreducible elements of $\mathbb{Z}_K$ of norm not exceeding $x$ lying in a given arithmetic progression (again, as $x\to\infty$). When $K=\mathbb{Q}$, both results are classical; a new feature in the general case is the influence of combinatorial properties of the class group of $K$. △ Less

Submitted 26 October, 2016; originally announced October 2016.

MSC Class: 11R27; 11N37; 11N45

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

Authors: Paul Pollack

Abstract: 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… ▽ More 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$. △ Less

Submitted 16 March, 2016; originally announced March 2016.

Comments: 15 pages

Torsion subgroups of CM elliptic curves over odd degree number fields

Authors: Abbey Bourdon, Paul Pollack

Abstract: 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$, th… ▽ More 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$. △ Less

Submitted 3 January, 2016; originally announced January 2016.

Comments: 26 pages

The number of atoms in an atomic domain

Authors: Pete L. Clark, Saurabh Gosavi, Paul Pollack

Abstract: We study the number of atoms and maximal ideals in an atomic domain with finitely many atoms and no prime elements. We show in particular that for all $m,n \in \mathbb{Z}^+$ with $n \geq 3$ and $4 \leq m \leq \frac{n}{3}$ there is an atomic domain with precisely $n$ atoms, precisely $m$ maximal ideals and no prime elements. The proofs use both commutative algebra and additive number theory. We study the number of atoms and maximal ideals in an atomic domain with finitely many atoms and no prime elements. We show in particular that for all $m,n \in \mathbb{Z}^+$ with $n \geq 3$ and $4 \leq m \leq \frac{n}{3}$ there is an atomic domain with precisely $n$ atoms, precisely $m$ maximal ideals and no prime elements. The proofs use both commutative algebra and additive number theory. △ Less

Submitted 15 December, 2015; originally announced December 2015.

Comments: 13 pages

Digitally delicate primes

Authors: Jackson Hopper, Paul Pollack

Abstract: Tao has shown that in any fixed base, a positive proportion of prime numbers cannot have any digit changed and remain prime. In other words, most primes are "digitally delicate". We strengthen this result in a manner suggested by Tao: A positive proportion of primes become composite under any change of a single digit and any insertion a fixed number of arbitrary digits at the beginning or end. Tao has shown that in any fixed base, a positive proportion of prime numbers cannot have any digit changed and remain prime. In other words, most primes are "digitally delicate". We strengthen this result in a manner suggested by Tao: A positive proportion of primes become composite under any change of a single digit and any insertion a fixed number of arbitrary digits at the beginning or end. △ Less

Submitted 13 October, 2015; v1 submitted 12 October, 2015; originally announced October 2015.

Comments: 8+epsilon pages; minor corrections made, additional references added

Bounds for the first several prime character nonresidues

Authors: Paul Pollack

Abstract: 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… ▽ More 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$. △ Less

Submitted 23 August, 2015; v1 submitted 20 August, 2015; originally announced August 2015.

Comments: Theorem 1.3 has been removed, as the same result (with the same proof) already appears in work of Aled Walker; see Lemma 9 of http://arxiv.longhoe.net/abs/1505.03328v3

Anatomy of torsion in the CM case

Authors: Abbey Bourdon, Pete L. Clark, Paul Pollack

Abstract: 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 aver… ▽ More 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}$. △ Less

Submitted 1 June, 2015; originally announced June 2015.

Comments: 24 pages

MSC Class: Primary: 11G15; Secondary: 11G05; 11N25; 11N37

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

Authors: Benjamin Linowitz, Jeffrey S. Meyer, Paul Pollack

Abstract: 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 co… ▽ More 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? △ Less

Submitted 18 May, 2015; originally announced May 2015.

Clusters of primes with square-free translates

Authors: Roger C. Baker, Paul Pollack

Abstract: 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$ belong… ▽ More 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+ε}$. △ Less

Submitted 11 May, 2015; originally announced May 2015.

Comments: 15 pages

Systoles of Arithmetic Hyperbolic Surfaces and 3-manifolds

Authors: Benjamin Linowitz, D. B. McReynolds, Paul Pollack, Lola Thompson

Abstract: Our main result is that for all sufficiently large $x_0>0$, the set of commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with fixed invariant trace field $k$ and systole bounded below by $x_0$ has density one within the set of all commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with invariant trace field $k$. The proof relies upon bounds for the absolute logar… ▽ More Our main result is that for all sufficiently large $x_0>0$, the set of commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with fixed invariant trace field $k$ and systole bounded below by $x_0$ has density one within the set of all commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with invariant trace field $k$. The proof relies upon bounds for the absolute logarithmic Weil height of algebraic integers due to Silverman, Brindza and Hajdu, as well as precise estimates for the number of rational quaternion algebras not admitting embeddings of any quadratic field having small discriminant. When the trace field is $\mathbf{Q}$, using work of Granville and Soundararajan, we establish a stronger result that allows our constant lower bound $x_0$ to grow with the area. As an application, we establish a systolic bound for arithmetic hyperbolic surfaces that is related to prior work of Buser-Sarnak and Katz-Schaps-Vishne. Finally, we establish an analogous density result for commensurability classes of arithmetic hyperbolic 3-orbifolds with small area totally geodesic $2$-orbifolds. △ Less

Submitted 4 March, 2017; v1 submitted 20 April, 2015; originally announced April 2015.

Comments: v4: 17 pages. Revised according to referee report. Final version. To appear in Math. Res. Lett

Journal ref: Math. Res. Lett. 24 (2017), 1497-1522

The truth about torsion in the CM case

Authors: Pete L. Clark, Paul Pollack

Abstract: We show that the upper order of the size of the torsion subgroup of a CM elliptic curve over a degree d number field is d log log d. We show that the upper order of the size of the torsion subgroup of a CM elliptic curve over a degree d number field is d log log d. △ Less

Submitted 18 May, 2015; v1 submitted 27 January, 2015; originally announced January 2015.

Comments: 6 pages. This is a minor revision incorporating expository suggestions made by the referee

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

Authors: Tristan Freiberg, Paul Pollack

Abstract: 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 sho… ▽ More 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$. △ Less

Submitted 27 October, 2014; originally announced October 2014.

MSC Class: 11G05 (Primary) 11N36 (Secondary)

Bounded gaps between primes with a given primitive root, II

Authors: Roger C. Baker, Paul Pollack

Abstract: 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'm))$. This is a bounded gaps variant of a theorem of Gupta and Ram Murty. We also prove a result on an… ▽ More 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'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'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'' m))$. If $E$ has CM, then the GRH assumption can be removed. Here $C$, $C'$, and $C''$ are absolute constants. △ Less

Submitted 27 July, 2014; originally announced July 2014.

MSC Class: 11A07; 11G05

Counting and effective rigidity in algebra and geometry

Authors: Benjamin Linowitz, D. B. McReynolds, Paul Pollack, Lola Thompson

Abstract: The purpose of this article is to produce effective versions of some rigidity results in algebra and geometry. On the geometric side, we focus on the spectrum of primitive geodesic lengths (resp., complex lengths) for arithmetic hyperbolic 2-manifolds (resp., 3-manifolds). By work of Reid, this spectrum determines the commensurability class of the 2-manifold (resp., 3-manifold). We establish effec… ▽ More The purpose of this article is to produce effective versions of some rigidity results in algebra and geometry. On the geometric side, we focus on the spectrum of primitive geodesic lengths (resp., complex lengths) for arithmetic hyperbolic 2-manifolds (resp., 3-manifolds). By work of Reid, this spectrum determines the commensurability class of the 2-manifold (resp., 3-manifold). We establish effective versions of these rigidity results by ensuring that, for two incommensurable arithmetic manifolds of bounded volume, the length sets (resp., the complex length sets) must disagree for a length that can be explicitly bounded as a function of volume. We also prove an effective version of a similar rigidity result established by the second author with Reid on a surface analog of the length spectrum for hyperbolic 3-manifolds. These effective results have corresponding algebraic analogs involving maximal subfields and quaternion subalgebras of quaternion algebras. To prove these effective rigidity results, we establish results on the asymptotic behavior of certain algebraic and geometric counting functions which are of independent interest. △ Less

Submitted 19 March, 2018; v1 submitted 8 July, 2014; originally announced July 2014.

Comments: v.2, 39 pages. To appear in Invent. Math

Journal ref: Invent. Math. 213 (2018), 697-758

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

Authors: Paul Pollack, Joseph Vandehey

Abstract: We revisit Besicovitch's 1935 paper in which he introduced several techniques that have become essential elements of modern combinatorial methods of normality proofs. Despite his paper'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, upda… ▽ More We revisit Besicovitch's 1935 paper in which he introduced several techniques that have become essential elements of modern combinatorial methods of normality proofs. Despite his paper'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's methods. △ Less

Submitted 24 May, 2014; originally announced May 2014.

Arithmetic functions at consecutive shifted primes

Authors: Paul Pollack, Lola Thompson

Abstract: 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 T… ▽ More 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's method for producing many primes in intervals of bounded length. △ Less

Submitted 5 August, 2014; v1 submitted 17 May, 2014; originally announced May 2014.

Comments: Made some improvements in the organization and exposition

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

Bounded gaps between primes with a given primitive root

Authors: Paul Pollack

Abstract: 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's conjecture follows from the Generalized Riemann Hypothesis (GRH). We inject Hooley's analysis into the Maynard--Tao work on bounded gaps between primes. This leads to the following GRH-conditional… ▽ More 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's conjecture follows from the Generalized Riemann Hypothesis (GRH). We inject Hooley'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. △ Less

Submitted 5 May, 2014; v1 submitted 15 April, 2014; originally announced April 2014.

Comments: small corrections to the treatment of \sum_1 on pp. 11--12

MSC Class: 11A07; 11N05

Journal ref: Algebra Number Theory 8 (2014) 1769-1786

Bounded gaps between primes in number fields and function fields

Authors: Abel Castillo, Chris Hall, Robert J. Lemke Oliver, Paul Pollack, Lola Thompson

Abstract: 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)$. 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)$. △ Less

Submitted 23 March, 2014; originally announced March 2014.

Some normal numbers generated by arithmetic functions

Authors: Paul Pollack, Joseph Vandehey

Abstract: Let $g \geq 2$. A real number is said to be g-normal if its base g expansion contains every finite sequence of digits with the expected limiting frequency. Let φdenote Euler's totient function, let σbe the sum-of-divisors function, and let λbe Carmichael's lambda-function. We show that if f is any function formed by composing φ, σ, or λ, then the number \[ 0. f(1) f(2) f(3) \dots \] obtained by co… ▽ More Let $g \geq 2$. A real number is said to be g-normal if its base g expansion contains every finite sequence of digits with the expected limiting frequency. Let φdenote Euler's totient function, let σbe the sum-of-divisors function, and let λbe Carmichael's lambda-function. We show that if f is any function formed by composing φ, σ, or λ, then the number \[ 0. f(1) f(2) f(3) \dots \] obtained by concatenating the base g digits of successive f-values is g-normal. We also prove the same result if the inputs 1, 2, 3, \dots are replaced with the primes 2, 3, 5, \dots. The proof is an adaptation of a method introduced by Copeland and Erdos in 1946 to prove the 10-normality of 0.235711131719\ldots. △ Less

Submitted 27 September, 2013; originally announced September 2013.

MSC Class: 11K16

Journal ref: Can. Math. Bull. 58 (2015) 160-173

Variations on a theorem of Davenport concerning abundant numbers

Authors: Emily Jennings, Paul Pollack, Lola Thompson

Abstract: Let σ(n) = \sum_{d \mid n}d be the usual sum-of-divisors function. In 1933, Davenport showed that that n/σ(n) possesses a continuous distribution function. In other words, the limit D(u):= \lim_{x\to\infty} \frac{1}{x}\sum_{n \leq x,~n/σ(n) \leq u} 1 exists for all u \in [0,1] and varies continuously with u. We study the behavior of the sums \sum_{n \leq x,~n/σ(n) \leq u} f(n) for certain complex-… ▽ More Let σ(n) = \sum_{d \mid n}d be the usual sum-of-divisors function. In 1933, Davenport showed that that n/σ(n) possesses a continuous distribution function. In other words, the limit D(u):= \lim_{x\to\infty} \frac{1}{x}\sum_{n \leq x,~n/σ(n) \leq u} 1 exists for all u \in [0,1] and varies continuously with u. We study the behavior of the sums \sum_{n \leq x,~n/σ(n) \leq u} f(n) for certain complex-valued multiplicative functions f. Our results cover many of the more frequently encountered functions, including \varphi(n), τ(n), and μ(n). They also apply to the representation function for sums of two squares, yielding the following analogue of Davenport's result: For all u \in [0,1], the limit \[ \tilde{D}(u):= \lim_{R\to\infty} \frac{1}{πR}\#\{(x,y) \in \Z^2: 0<x^2+y^2 \leq R \text{ and } \frac{x^2+y^2}{σ(x^2+y^2)} \leq u\} \] exists, and \tilde{D}(u) is both continuous and strictly increasing on [0,1]. △ Less

Submitted 3 June, 2013; originally announced June 2013.

Journal ref: Bull. Aust. Math. Soc. 89 (2014) 437-450

Uncertainty principles connected with the Möbius inversion formula

Authors: Paul Pollack, Carlo Sanna

Abstract: 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 identical… ▽ More 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. △ Less

Submitted 1 November, 2012; originally announced November 2012.

Comments: 10 pages

MSC Class: 11A25

Journal ref: Bull. Austral. Math. Soc. 88 (2013), 460--472

Averages of the number of points on elliptic curves

Authors: Greg Martin, Paul Pollack, Ethan Smith

Abstract: 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 "boxes" of elliptic curves $E$. Assuming a plausi… ▽ More 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 "boxes" 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's conjecture. △ Less

Submitted 16 February, 2014; v1 submitted 4 August, 2012; originally announced August 2012.

Comments: Corrected definition of K*(N)

MSC Class: 11G05 (Primary) 11N37; 11N60 (Secondary)

Journal ref: Algebra and Number Theory, 8(4): 813--836, 2014

On the degrees of divisors of T^n-1

Authors: Paul Pollack, Lola Thompson

Abstract: Fix a field $F$. In this paper, we study the sets $\D_F(n) \subset [0,n]$ defined by [\D_F(n):= {0 \leq m \leq n: T^n-1\text{has a divisor of degree $m$ in} F[T]}.] When $\D_F(n)$ consists of all integers $m$ with $0 \leq m \leq n$, so that $T^n-1$ has a divisor of every degree, we call $n$ an $F$-practical number. The terminology here is suggested by an analogy with the practical numbers of Srini… ▽ More Fix a field $F$. In this paper, we study the sets $\D_F(n) \subset [0,n]$ defined by [\D_F(n):= {0 \leq m \leq n: T^n-1\text{has a divisor of degree $m$ in} F[T]}.] When $\D_F(n)$ consists of all integers $m$ with $0 \leq m \leq n$, so that $T^n-1$ has a divisor of every degree, we call $n$ an $F$-practical number. The terminology here is suggested by an analogy with the practical numbers of Srinivasan, which are numbers $n$ for which every integer $0 \leq m \leq σ(n)$ can be written as a sum of distinct divisors of $n$. Our first theorem states that, for any number field $F$ and any $x \geq 2$, [#{\text{$F$-practical $n\leq x$}} \asymp_{F} \frac{x}{\log{x}};] this extends work of the second author, who obtained this estimate when $F=\Q$. Suppose now that $x \geq 3$, and let $m$ be a natural number in $[3,x]$. We ask: For how many $n \leq x$ does $m$ belong to $\D_F(n)$? We prove upper bounds in this problem for both $F=\Q$ and $F=\F_p$ (with $p$ prime), the latter conditional on the Generalized Riemann Hypothesis. In both cases, we find that the number of such $n \leq x$ is $\ll_{F} x/(\log{m})^{2/35}$, uniformly in $m$. △ Less

Submitted 10 June, 2012; originally announced June 2012.

MSC Class: 11N25; 11N37