Showing 1–47 of 47 results for author: Pomerance, C

Shifted-prime divisors

Authors: Steve Fan, Carl Pomerance

Abstract: Let $ω^*(n)$ denote the number of divisors of $n$ that are shifted primes, that is, the number of divisors of $n$ of the form $p-1$, with $p$ prime. Studied by Prachar in an influential paper from 70 years ago, the higher moments of $ω^*(n)$ are still somewhat a mystery. This paper addresses these higher moments and considers other related problems. Let $ω^*(n)$ denote the number of divisors of $n$ that are shifted primes, that is, the number of divisors of $n$ of the form $p-1$, with $p$ prime. Studied by Prachar in an influential paper from 70 years ago, the higher moments of $ω^*(n)$ are still somewhat a mystery. This paper addresses these higher moments and considers other related problems. △ Less

Submitted 19 March, 2024; v1 submitted 18 January, 2024; originally announced January 2024.

Comments: 24 pages, 3 tables

MSC Class: 11N25; 11N37; 11B05

An inequality related to the sieve of Eratosthenes

Authors: Steve Fan, Carl Pomerance

Abstract: Let $Φ(x,y)$ denote the number of integers $n\in[1,x]$ free of prime factors $\le y$. We show that but for a few small cases, $Φ(x,y)<.6x/\log y$ when $y\le\sqrt{x}$. Let $Φ(x,y)$ denote the number of integers $n\in[1,x]$ free of prime factors $\le y$. We show that but for a few small cases, $Φ(x,y)<.6x/\log y$ when $y\le\sqrt{x}$. △ Less

Submitted 12 August, 2023; v1 submitted 5 June, 2023; originally announced June 2023.

Comments: 15 pages, 1 figure; to appear in the Journal of Number Theory

MSC Class: 11N25

Permutations with arithmetic constraints

Authors: Carl Pomerance

Abstract: Let $S_{\rm lcm}(n)$ denote the set of permutations $π$ of $[n]=\{1,2,\dots,n\}$ such that ${\rm lcm}[j,π(j)]\le n$ for each $j\in[n]$. Further, let $S_{\rm div}(n)$ denote the number of permutations $π$ of $[n]$ such that $j\midπ(j)$ or $π(j)\mid j$ for each $j\in[n]$. Clearly $S_{\rm div}(n)\subset S_{\rm lcm}(n)$. We get upper and lower bounds for the counts of these sets, showing they grow geo… ▽ More Let $S_{\rm lcm}(n)$ denote the set of permutations $π$ of $[n]=\{1,2,\dots,n\}$ such that ${\rm lcm}[j,π(j)]\le n$ for each $j\in[n]$. Further, let $S_{\rm div}(n)$ denote the number of permutations $π$ of $[n]$ such that $j\midπ(j)$ or $π(j)\mid j$ for each $j\in[n]$. Clearly $S_{\rm div}(n)\subset S_{\rm lcm}(n)$. We get upper and lower bounds for the counts of these sets, showing they grow geometrically. We also prove a conjecture from a recent paper on the number of "anti-coprime" permutations of $[n]$, meaning that each $\gcd(j,π(j))>1$ except when $j=1$. △ Less

Submitted 6 June, 2022; v1 submitted 3 June, 2022; originally announced June 2022.

MSC Class: 11B75; 05A05; 05A16; 11A05; 11N45

Coprime permutations

Authors: Carl Pomerance

Abstract: Let $C(n)$ denote the number of permutations $σ$ of $[n]=\{1,2,\dots,n\}$ such that $\gcd(j,σ(j))=1$ for each $j\in[n]$. We prove that for $n$ sufficiently large, $n!/3.73^n < C(n) < n!/2.5^n$. Let $C(n)$ denote the number of permutations $σ$ of $[n]=\{1,2,\dots,n\}$ such that $\gcd(j,σ(j))=1$ for each $j\in[n]$. We prove that for $n$ sufficiently large, $n!/3.73^n < C(n) < n!/2.5^n$. △ Less

Submitted 6 March, 2022; originally announced March 2022.

MSC Class: 11A25; 11B75; 11N60

Coprime matchings

Authors: Carl Pomerance

Abstract: We prove that there is a matching between 2 intervals of positive integers of the same even length, with corresponding pairs coprime, provided the intervals are in $[n]$ and their lengths are $>c(\log n)^2$, for a positive constant $c$. This improves on a recent result of Bohman and Peng. As in their paper, the result has an application to the lonely runner conjecture. We prove that there is a matching between 2 intervals of positive integers of the same even length, with corresponding pairs coprime, provided the intervals are in $[n]$ and their lengths are $>c(\log n)^2$, for a positive constant $c$. This improves on a recent result of Bohman and Peng. As in their paper, the result has an application to the lonely runner conjecture. △ Less

Submitted 13 November, 2021; originally announced November 2021.

MSC Class: 11A25; 11B75

On a nonintegrality conjecture

Authors: Florian Luca, Carl Pomerance

Abstract: It is conjectured that the sum $$ S_r(n)=\sum_{k=1}^{n} \frac{k}{k+r}\binom{n}{k} $$ for positive integers $r,n$ is never integral. This has been shown for $r\le 22$. In this note we study the problem in the ``$n$ aspect" showing that the set of $n$ such that $S_r(n)\in {\mathbb Z}$ for some $r\ge 1$ has asymptotic density $0$. Our principal tools are some deep results on the distribution of prime… ▽ More It is conjectured that the sum $$ S_r(n)=\sum_{k=1}^{n} \frac{k}{k+r}\binom{n}{k} $$ for positive integers $r,n$ is never integral. This has been shown for $r\le 22$. In this note we study the problem in the ``$n$ aspect" showing that the set of $n$ such that $S_r(n)\in {\mathbb Z}$ for some $r\ge 1$ has asymptotic density $0$. Our principal tools are some deep results on the distribution of primes in short intervals. △ Less

Submitted 15 June, 2021; originally announced June 2021.

MSC Class: 11N37

The denominators of the Bernoulli numbers

Authors: Carl Pomerance, Samuel S. Wagstaff Jr

Abstract: We study the asymptotic density of the set of subscripts of the Bernoulli numbers having a given denominator. We also study the distribution of distinct Bernoulli denominators and some related problems. We study the asymptotic density of the set of subscripts of the Bernoulli numbers having a given denominator. We also study the distribution of distinct Bernoulli denominators and some related problems. △ Less

Submitted 1 November, 2021; v1 submitted 27 May, 2021; originally announced May 2021.

Comments: 15 pages. Some references added, notation simplified, results are the same

MSC Class: 11B05

Some thoughts on pseudoprimes

Authors: Carl Pomerance, Samuel S. Wagstaff Jr

Abstract: We consider several problems about pseudoprimes. First, we look at the issue of their distribution in residue classes. There is a literature on this topic in the case that the residue class is coprime to the modulus. Here we provide some robust statistics in both these cases and the general case. In particular we tabulate all even pseudoprimes to $10^{16}$. Second, we prove a recent conjecture of… ▽ More We consider several problems about pseudoprimes. First, we look at the issue of their distribution in residue classes. There is a literature on this topic in the case that the residue class is coprime to the modulus. Here we provide some robust statistics in both these cases and the general case. In particular we tabulate all even pseudoprimes to $10^{16}$. Second, we prove a recent conjecture of Ordowski: the set of integers $n$ which are a pseudoprime to some base which is a proper divisor of $n$ has an asymptotic density. △ Less

Submitted 28 February, 2021; originally announced March 2021.

MSC Class: 11N25

A note on Carmichael numbers in residue classes

Authors: Carl Pomerance

Abstract: Improving on some recent results of Matomäki and of Wright, we show that the number of Carmichael numbers to $X$ in a coprime residue class exceeds $X^{1/(6\log\log\log X)}$ for all sufficiently large $X$ depending on the modulus of the residue class. Improving on some recent results of Matomäki and of Wright, we show that the number of Carmichael numbers to $X$ in a coprime residue class exceeds $X^{1/(6\log\log\log X)}$ for all sufficiently large $X$ depending on the modulus of the residue class. △ Less

Submitted 25 January, 2021; originally announced January 2021.

MSC Class: 11N25

On the critical exponent for $k$-primitive sets

Authors: Tsz Ho Chan, Jared Duker Lichtman, Carl Pomerance

Abstract: A set of positive integers is primitive (or 1-primitive) if no member divides another. Erdős proved in 1935 that the weighted sum $\sum1/(n \log n)$ for $n$ ranging over a primitive set $A$ is universally bounded over all choices for $A$. In 1988 he asked if this universal bound is attained by the set of prime numbers. One source of difficulty in this conjecture is that $\sum n^{-λ}$ over a primit… ▽ More A set of positive integers is primitive (or 1-primitive) if no member divides another. Erdős proved in 1935 that the weighted sum $\sum1/(n \log n)$ for $n$ ranging over a primitive set $A$ is universally bounded over all choices for $A$. In 1988 he asked if this universal bound is attained by the set of prime numbers. One source of difficulty in this conjecture is that $\sum n^{-λ}$ over a primitive set is maximized by the primes if and only if $λ$ is at least the critical exponent $τ_1 \approx 1.14$. A set is $k$-primitive if no member divides any product of up to $k$ other distinct members. One may similarly consider the critical exponent $τ_k$ for which the primes are maximal among $k$-primitive sets. In recent work the authors showed that $τ_2 < 0.8$, which directly implies the Erdős conjecture for 2-primitive sets. In this article we study the limiting behavior of the critical exponent, proving that $τ_k$ tends to zero as $k\to\infty$. △ Less

Submitted 2 December, 2020; originally announced December 2020.

Comments: 14 pages

MSC Class: 11B75 (Primary); 11A05; 05C70 (Secondary)

Journal ref: Combinatorica (2021), 19 pp

On primes and practical numbers

Authors: Carl Pomerance, Andreas Weingartner

Abstract: A number $n$ is practical if every integer in $[1,n]$ can be expressed as a subset sum of the positive divisors of $n$. We consider the distribution of practical numbers that are also shifted primes, improving a theorem of Guo and Weingartner. In addition, essentially proving a conjecture of Margenstern, we show that all large odd numbers are the sum of a prime and a practical number. We also cons… ▽ More A number $n$ is practical if every integer in $[1,n]$ can be expressed as a subset sum of the positive divisors of $n$. We consider the distribution of practical numbers that are also shifted primes, improving a theorem of Guo and Weingartner. In addition, essentially proving a conjecture of Margenstern, we show that all large odd numbers are the sum of a prime and a practical number. We also consider an analogue of the prime $k$-tuples conjecture for practical numbers, proving the "correct" upper bound, and for pairs, improving on a lower bound of Melfi. △ Less

Submitted 23 October, 2020; v1 submitted 21 July, 2020; originally announced July 2020.

MSC Class: 11N25 (11N37)

Residue classes free of values of Euler's function

Authors: Kevin Ford, Sergei Konyagin, Carl Pomerance

Abstract: We characterize which residue classes contain infinitely many totients (values of Euler's function) and which do not. We show that the union of all residue classes that are totient-free has asymptotic density 3/4, that is, almost all numbers that are 2 mod 4 are in a residue class that is totient-free. In the other direction, we show the existence of a positive density of odd numbers m, such that… ▽ More We characterize which residue classes contain infinitely many totients (values of Euler's function) and which do not. We show that the union of all residue classes that are totient-free has asymptotic density 3/4, that is, almost all numbers that are 2 mod 4 are in a residue class that is totient-free. In the other direction, we show the existence of a positive density of odd numbers m, such that for any $s\ge0$ and any even number $a$, the residue class $a\pmod{2^sm}$ contains infinitely many totients. △ Less

Submitted 5 May, 2020; v1 submitted 3 May, 2020; originally announced May 2020.

Comments: Published in 1999, for Andrzej Schinzel's 60-th birthday. v2 - corrects a processing error that cut off the bottom of every page

Journal ref: In the book Number Theory in Progress (Zakopane, Poland 1997; Kálmán Györy, Henryk Iwaniec, Jerzy Urbanowicz, eds), de Gruyter (1999), 805-812

Elliptic curves with Galois-stable cyclic subgroups of order 4

Authors: Carl Pomerance, Edward F. Schaefer

Abstract: Infinitely many elliptic curves over ${\bf Q}$ have a Galois-stable cyclic subgroup of order 4. Such subgroups come in pairs, which intersect in their subgroups of order 2. Let $N_i(X)$ denote the number of elliptic curves over ${\bf Q}$ with at least $i$ pairs of Galois-stable cyclic subgroups of order 4, and height at most $X$. In this article we show that… ▽ More Infinitely many elliptic curves over ${\bf Q}$ have a Galois-stable cyclic subgroup of order 4. Such subgroups come in pairs, which intersect in their subgroups of order 2. Let $N_i(X)$ denote the number of elliptic curves over ${\bf Q}$ with at least $i$ pairs of Galois-stable cyclic subgroups of order 4, and height at most $X$. In this article we show that $N_1(X) = c_{1,1}X^{1/3}+c_{1,2}X^{1/6}+O(X^{0.105})$. We also show, as $X\to \infty$, that $N_2(X)=c_{2,1}X^{1/6}+o(X^{1/12})$, the precise nature of the error term being related to the prime number theorem and the zeros of the Riemann zeta-function in the critical strip. Here, $c_{1,1}= 0.95740\ldots$, $c_{1,2}=- 0.87125\ldots$, and $c_{2,1}= 0.035515\ldots$ are calculable constants. Lastly, we show that $N_i(X)=0$ for $i > 2$ (the result being trivial for $i>3$ given that an elliptic curve has 6 cyclic subgroups of order 4). △ Less

Submitted 30 April, 2020; originally announced April 2020.

MSC Class: 11G05 (Primary) 14H52 (Secondary)

A generalization of primitive sets and a conjecture of Erdős

Authors: Tsz Ho Chan, Jared Duker Lichtman, Carl Pomerance

Abstract: A set of integers greater than 1 is primitive if no element divides another. Erdős proved in 1935 that the sum of $1/(n \log n)$ for $n$ running over a primitive set $A$ is universally bounded over all choices for $A$. In 1988 he asked if this universal bound is attained by the set of prime numbers. We answer the Erdős question in the affirmative for 2-primitive sets. Here a set is 2-primitive if… ▽ More A set of integers greater than 1 is primitive if no element divides another. Erdős proved in 1935 that the sum of $1/(n \log n)$ for $n$ running over a primitive set $A$ is universally bounded over all choices for $A$. In 1988 he asked if this universal bound is attained by the set of prime numbers. We answer the Erdős question in the affirmative for 2-primitive sets. Here a set is 2-primitive if no element divides the product of 2 other elements. △ Less

Submitted 21 September, 2020; v1 submitted 26 March, 2020; originally announced March 2020.

Comments: 13 pages

MSC Class: 11B75 (Primary); 11A05; 05C70 (Secondary)

Journal ref: Discrete Analysis 2020:16, 13 pp

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

Algorithms for the Multiplication Table Problem

Authors: Richard Brent, Carl Pomerance, David Purdum, Jonathan Webster

Abstract: Let $M(n)$ denote the number of distinct entries in the $n \times n$ multiplication table. The function $M(n)$ has been studied by Erdős, Tenenbaum, Ford, and others, but the asymptotic behaviour of $M(n)$ as $n \to \infty$ is not known precisely. Thus, there is some interest in algorithms for computing $M(n)$ either exactly or approximately. We compare several algorithms for computing $M(n)$ exac… ▽ More Let $M(n)$ denote the number of distinct entries in the $n \times n$ multiplication table. The function $M(n)$ has been studied by Erdős, Tenenbaum, Ford, and others, but the asymptotic behaviour of $M(n)$ as $n \to \infty$ is not known precisely. Thus, there is some interest in algorithms for computing $M(n)$ either exactly or approximately. We compare several algorithms for computing $M(n)$ exactly, and give a new algorithm that has a subquadratic running time. We also present two Monte Carlo algorithms for approximate computation of $M(n)$. We give the results of exact computations for values of $n$ up to $2^{30}$, and of Monte Carlo computations for $n$ up to $2^{100,000,000}$, and compare our experimental results with Ford's order-of-magnitude result. △ Less

Submitted 5 May, 2021; v1 submitted 12 August, 2019; originally announced August 2019.

Comments: 15 pages, 3 tables, small improvements and references added in v2

Journal ref: Integers 21 (2021), #A92

Counting elliptic curves with an isogeny of degree three

Authors: Maggie Pizzo, Carl Pomerance, John Voight

Abstract: We count by height the number of elliptic curves over the rationals that possess an isogeny of degree three. We count by height the number of elliptic curves over the rationals that possess an isogeny of degree three. △ Less

Submitted 18 June, 2019; originally announced June 2019.

Comments: 15 pages

Progress towards a nonintegrality conjecture

Authors: Shanta Laishram, Daniel López-Aguayo, Carl Pomerance, Thotsaphon Thongjunthug

Abstract: Given $r \in \mathbb{N}$, define the function $S_{r}: \mathbb{N} \rightarrow \mathbb{Q}$ by $S_{r}(n)=\displaystyle \sum_{k=0}^{n} \frac{k}{k+r} \binom{n}{k}$. In $2015$, the second author conjectured that there are infinitely many $r \in \mathbb{N}$ such that $S_{r}(n)$ is nonintegral for all $n \geq 1$, and proved that $S_{r}(n)$ is not an integer for $r \in \{2,3,4\}$ and for all $n \geq 1$. In… ▽ More Given $r \in \mathbb{N}$, define the function $S_{r}: \mathbb{N} \rightarrow \mathbb{Q}$ by $S_{r}(n)=\displaystyle \sum_{k=0}^{n} \frac{k}{k+r} \binom{n}{k}$. In $2015$, the second author conjectured that there are infinitely many $r \in \mathbb{N}$ such that $S_{r}(n)$ is nonintegral for all $n \geq 1$, and proved that $S_{r}(n)$ is not an integer for $r \in \{2,3,4\}$ and for all $n \geq 1$. In $2016$, Florian Luca and the second author raised the stronger conjecture that for any $r \geq 1$, $S_{r}(n)$ is nonintegral for all $n \geq 1$. They proved that $S_{r}(n)$ is nonintegral for $r \in \{5,6\}$ and that $S_{r}(n)$ is not an integer for any $r \geq 2$ and $1 \leq n \leq r-1$. In particular, for all $r \geq 2$, $S_{r}(n)$ is nonintegral for at least $r-1$ values of $n$. In $2018$, the fourth author gave sufficient conditions for the nonintegrality of $S_{r}(n)$ for all $n \geq 1$, and derived an algorithm to sometimes determine such nonintegrality; along the way he proved that $S_{r}(n)$ is nonintegral for $r \in \{7,8,9,10\}$ and for all $n \geq 1$. By improving this algorithm we prove the conjecture for $r\le 22$. Our principal result is that $S_r(n)$ is usually nonintegral in that the upper asymptotic density of the set of integers $n$ with $S_r(n)$ integral decays faster than any fixed power of $r^{-1}$ as $r$ grows. △ Less

Submitted 19 March, 2019; originally announced March 2019.

Cyclotomic Coincidences

Authors: Carl Pomerance, Simon Rubinstein-Salzedo

Abstract: In this paper, we show that if $m$ and $n$ are distinct positive integers and $x$ is a nonzero real number with $Φ_m(x)=Φ_n(x)$, then $\frac{1}{2}<|x|<2$ except when $\{m,n\}=\{2,6\}$ and $x=2$. We also observe that 2 appears to be the largest limit point of the set of values of $x$ for which $Φ_m(x)=Φ_n(x)$ for some $m\neq n$. In this paper, we show that if $m$ and $n$ are distinct positive integers and $x$ is a nonzero real number with $Φ_m(x)=Φ_n(x)$, then $\frac{1}{2}<|x|<2$ except when $\{m,n\}=\{2,6\}$ and $x=2$. We also observe that 2 appears to be the largest limit point of the set of values of $x$ for which $Φ_m(x)=Φ_n(x)$ for some $m\neq n$. △ Less

Submitted 5 March, 2019; originally announced March 2019.

Comments: Comments welcome!

Primes in prime number races

Authors: Jared Duker Lichtman, Greg Martin, Carl Pomerance

Abstract: Rubinstein and Sarnak have shown, conditional on the Riemann hypothesis (RH) and the linear independence hypothesis (LI) on the non-real zeros of $ζ(s)$, that the set of real numbers $x\ge2$ for which $π(x)>$ li$(x)$ has a logarithmic density, which they computed to be about $2.6\times10^{-7}$. A natural problem is to examine the actual primes in this race. We prove, assuming RH and LI, that the l… ▽ More Rubinstein and Sarnak have shown, conditional on the Riemann hypothesis (RH) and the linear independence hypothesis (LI) on the non-real zeros of $ζ(s)$, that the set of real numbers $x\ge2$ for which $π(x)>$ li$(x)$ has a logarithmic density, which they computed to be about $2.6\times10^{-7}$. A natural problem is to examine the actual primes in this race. We prove, assuming RH and LI, that the logarithmic density of the set of primes $p$ for which $π(p)>$ li$(p)$ relative to the prime numbers exists and is the same as the Rubinstein-Sarnak density. We also extend such results to a broad class of prime number races, including the "Mertens race" between $\prod_{p< x}(1-1/p)^{-1}$ and $e^γ\log x$ and the "Zhang race" between $\sum_{p\ge x}1/(p\log p)$ and $1/\log x$. These latter results resolve a question of the first and third author from a previous paper, leading to further progress on a 1988 conjecture of Erdős on primitive sets. △ Less

Submitted 5 January, 2019; v1 submitted 9 September, 2018; originally announced September 2018.

Comments: 14 pages

MSC Class: 11A05; 11N05 (Primary); 11B83; 11M26 (Secondary)

Journal ref: Proceedings of the American Mathematical Society, 147 (2019), 3743-3757

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.

The Erdos conjecture for primitive sets

Authors: Jared Duker Lichtman, Carl Pomerance

Abstract: A subset of the integers larger than 1 is $primitive$ if no member divides another. Erdos proved in 1935 that the sum of $1/(a\log a)$ for $a$ running over a primitive set $A$ is universally bounded over all choices for $A$. In 1988 he asked if this universal bound is attained for the set of prime numbers. In this paper we make some progress on several fronts, and show a connection to certain prim… ▽ More A subset of the integers larger than 1 is $primitive$ if no member divides another. Erdos proved in 1935 that the sum of $1/(a\log a)$ for $a$ running over a primitive set $A$ is universally bounded over all choices for $A$. In 1988 he asked if this universal bound is attained for the set of prime numbers. In this paper we make some progress on several fronts, and show a connection to certain prime number "races" such as the race between $π(x)$ and li$(x)$. △ Less

Submitted 30 June, 2018; v1 submitted 6 June, 2018; originally announced June 2018.

Comments: Theorem 1.2 was substantially improved, causing Section 4 to be completely re-written. 14 pages

MSC Class: 11B83; 11A05; 11N05

Journal ref: Proceedings of the American Mathematical Society, Series B, 6 (2019), 1-14

Long gaps in sieved sets

Authors: Kevin Ford, Sergei Konyagin, James Maynard, Carl Pomerance, Terence Tao

Abstract: For each prime $p$, let $I_p \subset \mathbb{Z}/p\mathbb{Z}$ denote a collection of residue classes modulo $p$ such that the cardinalities $|I_p|$ are bounded and about $1$ on average. We show that for sufficiently large $x$, the sifted set $\{ n \in \mathbb{Z}: n \pmod{p} \not \in I_p \hbox{ for all }p \leq x\}$ contains gaps of size at least $x (\log x)^δ $ where $δ>0$ depends only on the densit… ▽ More For each prime $p$, let $I_p \subset \mathbb{Z}/p\mathbb{Z}$ denote a collection of residue classes modulo $p$ such that the cardinalities $|I_p|$ are bounded and about $1$ on average. We show that for sufficiently large $x$, the sifted set $\{ n \in \mathbb{Z}: n \pmod{p} \not \in I_p \hbox{ for all }p \leq x\}$ contains gaps of size at least $x (\log x)^δ $ where $δ>0$ depends only on the density of primes for which $I_p\ne \emptyset$. This improves on the "trivial" bound of $\gg x$. As a consequence, for any non-constant polynomial $f:\mathbb{Z}\to \mathbb{Z}$ with positive leading coefficient, the set $\{ n \leq X: f(n) \hbox{ composite}\}$ contains an interval of consecutive integers of length $\ge (\log X) (\log\log X)^δ$ for sufficiently large $X$, where $δ>0$ depends only on the degree of $f$. △ Less

Submitted 19 September, 2022; v1 submitted 21 February, 2018; originally announced February 2018.

Comments: Corrects a number of errors in the published version pointed out to us by Mikhail Gabdullin. The specific corrections are listed in an Appendix. One of these causes a slight degradation of the numerical values for the exponents of log log x in Theorem 1 and Corollaries

MSC Class: 11N35; 11N32; 11B05

Journal ref: J. European Math. Soc. 23 (2021), 667-700. Corrigendum: J. European Math. Soc. (JEMS) 25 (2023), no. 6, 2483--2485

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

Explicit estimates for the distribution of numbers free of large prime factors

Authors: Jared D. Lichtman, Carl Pomerance

Abstract: There is a large literature on the asymptotic distribution of numbers free of large prime factors, so-called $\textit{smooth}$ or $\textit{friable}$ numbers. But there is very little known about this distribution that is numerically explicit. In this paper we follow the general plan for the saddle point argument of Hildebrand and Tenenbaum, giving explicit and fairly tight intervals in which the t… ▽ More There is a large literature on the asymptotic distribution of numbers free of large prime factors, so-called $\textit{smooth}$ or $\textit{friable}$ numbers. But there is very little known about this distribution that is numerically explicit. In this paper we follow the general plan for the saddle point argument of Hildebrand and Tenenbaum, giving explicit and fairly tight intervals in which the true count lies. We give two numerical examples of our method, and with the larger one, our interval is so tight we can exclude the famous Dickman-de Bruijn asymptotic estimate as too small and the Hildebrand-Tenenbaum main term as too large. △ Less

Submitted 6 May, 2017; originally announced May 2017.

Comments: 19 pages

MSC Class: 11N25; 11Y35

Journal ref: Journal of Number Theory, 183 (2018), 1-23

Triangles with prime hypotenuse

Authors: Sam Chow, Carl Pomerance

Abstract: The sequence $3, 5, 9, 11, 15, 19, 21, 25, 29, 35,\dots$ consists of odd legs in right triangles with integer side lengths and prime hypotenuse. We show that the upper density of this sequence is zero, with logarithmic decay. The same estimate holds for the sequence of even legs in such triangles. We expect our upper bound, which involves the Erdős--Ford--Tenenbaum constant, to be sharp up to a do… ▽ More The sequence $3, 5, 9, 11, 15, 19, 21, 25, 29, 35,\dots$ consists of odd legs in right triangles with integer side lengths and prime hypotenuse. We show that the upper density of this sequence is zero, with logarithmic decay. The same estimate holds for the sequence of even legs in such triangles. We expect our upper bound, which involves the Erdős--Ford--Tenenbaum constant, to be sharp up to a double-logarithmic factor. We also provide a nontrivial lower bound. Our techniques involve sieve methods, the distribution of Gaussian primes in narrow sectors, and the Hardy--Ramanujan inequality. △ Less

Submitted 31 March, 2017; originally announced March 2017.

MSC Class: 11N25; 11N05; 11N36

Connected components of the graph generated by power maps in prime finite fields

Authors: Carl Pomerance, Igor E. Shparlinski

Abstract: Consider the power pseudorandom-number generator in a finite field ${\mathbb F}_q$. That is, for some integer $e\ge2$, one considers the sequence $u,u^e,u^{e^2},\dots$ in ${\mathbb F}_q$ for a given seed $u\in {\mathbb F}_q^\times$. This sequence is eventually periodic. One can consider the number of cycles that exist as the seed $u$ varies over ${\mathbb F}_q^\times$. This is the same as the numb… ▽ More Consider the power pseudorandom-number generator in a finite field ${\mathbb F}_q$. That is, for some integer $e\ge2$, one considers the sequence $u,u^e,u^{e^2},\dots$ in ${\mathbb F}_q$ for a given seed $u\in {\mathbb F}_q^\times$. This sequence is eventually periodic. One can consider the number of cycles that exist as the seed $u$ varies over ${\mathbb F}_q^\times$. This is the same as the number of cycles in the functional graph of the map $x\mapsto x^e$ in ${\mathbb F}_q^\times$. We prove some estimates for the maximal and average number of cycles in the case of prime finite fields. △ Less

Submitted 7 June, 2017; v1 submitted 27 March, 2017; originally announced March 2017.

Improved error bounds for the Fermat primality test on random inputs

Authors: Jared D. Lichtman, Carl Pomerance

Abstract: We investigate the probability that a random odd composite number passes a random Fermat primality test, improving on earlier estimates in moderate ranges. For example, with random numbers to $2^{200}$, our results improve on prior estimates by close to 3 orders of magnitude. We investigate the probability that a random odd composite number passes a random Fermat primality test, improving on earlier estimates in moderate ranges. For example, with random numbers to $2^{200}$, our results improve on prior estimates by close to 3 orders of magnitude. △ Less

Submitted 5 July, 2017; v1 submitted 18 September, 2016; originally announced September 2016.

Comments: 20 pages; minor edits to improve the results slightly and to elaborate the argument

MSC Class: 11Y11 (Primary); 11A51 (Secondary)

Journal ref: Mathematics of Computation, 87 (2018), 2871-2890

Squarefree smooth numbers and Euclidean prime generators

Authors: Andrew R. Booker, Carl Pomerance

Abstract: We show that for each prime p > 7, every residue mod p can be represented by a squarefree number with largest prime factor at most p. We give two applications to recursive prime generators akin to the one Euclid used to prove the infinitude of primes. We show that for each prime p > 7, every residue mod p can be represented by a squarefree number with largest prime factor at most p. We give two applications to recursive prime generators akin to the one Euclid used to prove the infinitude of primes. △ Less

Submitted 10 April, 2017; v1 submitted 6 July, 2016; originally announced July 2016.

Comments: 8 pages, to appear in Proceedings of the AMS

MSC Class: 11A41 (Primary) 11A15; 11B25; 11L40 (Secondary)

On integers $n$ for which $X^n-1$ has a divisor of every degree

Authors: Carl Pomerance, Lola Thompson, Andreas Weingartner

Abstract: A positive integer $n$ is called $\varphi$-practical if the polynomial $X^n-1$ has a divisor in $\mathbb{Z}[X]$ of every degree up to $n$. In this paper, we show that the count of $\varphi$-practical numbers in $[1, x]$ is asymptotic to $C x/\log x$ for some positive constant $C$ as $x \rightarrow \infty$. A positive integer $n$ is called $\varphi$-practical if the polynomial $X^n-1$ has a divisor in $\mathbb{Z}[X]$ of every degree up to $n$. In this paper, we show that the count of $\varphi$-practical numbers in $[1, x]$ is asymptotic to $C x/\log x$ for some positive constant $C$ as $x \rightarrow \infty$. △ Less

Submitted 10 November, 2015; originally announced November 2015.

A note on square totients

Authors: Tristan Freiberg, Carl Pomerance

Abstract: A well-known conjecture asserts that there are infinitely many primes $p$ for which $p - 1$ is a perfect square. We obtain upper and lower bounds of matching order on the number of pairs of distinct primes $p,q \le x$ for which $(p - 1)(q - 1)$ is a perfect square. A well-known conjecture asserts that there are infinitely many primes $p$ for which $p - 1$ is a perfect square. We obtain upper and lower bounds of matching order on the number of pairs of distinct primes $p,q \le x$ for which $(p - 1)(q - 1)$ is a perfect square. △ Less

Submitted 29 October, 2014; originally announced October 2014.

MSC Class: 11N37 (Primary); 11N25; 11N36 (Secondary)

The image of Carmichael's $λ$-function

Authors: Kevin Ford, Florian Luca, Carl Pomerance

Abstract: We show that the counting function of the set of values of the Carmichael $λ$-function is $x/(\log x)^{η+o(1)}$, where $η=1-(1+\log\log 2)/(\log 2)=0.08607...$. We show that the counting function of the set of values of the Carmichael $λ$-function is $x/(\log x)^{η+o(1)}$, where $η=1-(1+\log\log 2)/(\log 2)=0.08607...$. △ Less

Submitted 24 November, 2014; v1 submitted 27 August, 2014; originally announced August 2014.

Comments: minor corrections. Algebra and Number Theory, to appear

Journal ref: Algebra Number Theory 8 (2014) 2009-2026

On balanced subgroups of the multiplicative group

Authors: Carl Pomerance, Douglas Ulmer

Abstract: A subgroup H of G=(Z/dZ)^* is called balanced if every coset of H is evenly distributed between the lower and upper halves of G, i.e., has equal numbers of elements with representatives in (0,d/2) and (d/2,d). This notion has applications to ranks of elliptic curves. We give a simple criterion in terms of characters for a subgroup H to be balanced, and for a fixed integer p, we study the distribut… ▽ More A subgroup H of G=(Z/dZ)^* is called balanced if every coset of H is evenly distributed between the lower and upper halves of G, i.e., has equal numbers of elements with representatives in (0,d/2) and (d/2,d). This notion has applications to ranks of elliptic curves. We give a simple criterion in terms of characters for a subgroup H to be balanced, and for a fixed integer p, we study the distribution of integers d such that the cyclic subgroup of (Z/dZ)^* generated by p is balanced. △ Less

Submitted 30 April, 2012; originally announced April 2012.

Comments: 14 pages

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

On sets of integers which are both sum-free and product-free

Authors: Par Kurlberg, Jeffrey C. Lagarias, Carl Pomerance

Abstract: We consider sets of positive integers containing no sum of two elements in the set and also no product of two elements. We show that the upper density of such a set is strictly smaller than 1/2 and that this is best possible. Further, we also find the maximal order for the density of such sets that are also periodic modulo some positive integer. We consider sets of positive integers containing no sum of two elements in the set and also no product of two elements. We show that the upper density of such a set is strictly smaller than 1/2 and that this is best possible. Further, we also find the maximal order for the density of such sets that are also periodic modulo some positive integer. △ Less

Submitted 5 January, 2012; originally announced January 2012.

Comments: 8 pages

MSC Class: 11B05; 11B75

Journal ref: INTEGERS, 12B (2012/2013): Paper #A4, 9pp

The maximal density of product-free sets in Z/nZ

Authors: Par Kurlberg, Jeffrey C. Lagarias, Carl Pomerance

Abstract: This paper studies the maximal size of product-free sets in Z/nZ. These are sets of residues for which there is no solution to ab == c (mod n) with a,b,c in the set. In a previous paper we constructed an infinite sequence of integers (n_i)_{i > 0} and product-free sets S_i in Z/n_iZ such that the density |S_i|/n_i tends to 1 as i tends to infinity, where |S_i|$ denotes the cardinality of S_i. Here… ▽ More This paper studies the maximal size of product-free sets in Z/nZ. These are sets of residues for which there is no solution to ab == c (mod n) with a,b,c in the set. In a previous paper we constructed an infinite sequence of integers (n_i)_{i > 0} and product-free sets S_i in Z/n_iZ such that the density |S_i|/n_i tends to 1 as i tends to infinity, where |S_i|$ denotes the cardinality of S_i. Here we obtain matching, up to constants, upper and lower bounds on the maximal attainable density as n tends to infinity. △ Less

Submitted 11 January, 2012; v1 submitted 10 November, 2011; originally announced November 2011.

Comments: Minor typos corrected. To appear in IMRN

MSC Class: 11B05; 11B75

Journal ref: IMRN 2013, Vol 2013, no. 4, 827--845

On a problem of Arnold: the average multiplicative order of a given integer

Authors: Par Kurlberg, Carl Pomerance

Abstract: For g,n coprime integers, let l_g(n) denote the multiplicative order of g modulo n. Motivated by a conjecture of Arnold, we study the average of l_g(n) as n <= x ranges over integers coprime to g, and x tending to infinity. Assuming the Generalized Riemann Hypothesis, we show that this average is essentially as large as the average of the Carmichael lambda function. We also determine the asymptoti… ▽ More For g,n coprime integers, let l_g(n) denote the multiplicative order of g modulo n. Motivated by a conjecture of Arnold, we study the average of l_g(n) as n <= x ranges over integers coprime to g, and x tending to infinity. Assuming the Generalized Riemann Hypothesis, we show that this average is essentially as large as the average of the Carmichael lambda function. We also determine the asymptotics of the average of l_g(p) as p <= x ranges over primes. △ Less

Submitted 25 August, 2011; originally announced August 2011.

Comments: 18 pages

MSC Class: 11N37

Product-free sets with high density

Authors: Par Kurlberg, Jeffrey C. Lagarias, Carl Pomerance

Abstract: We show that there are sets of integers with asymptotic density arbitrarily close to 1 in which there is no solution to the equation ab=c, with a,b,c in the set. We also consider some natural generalizations, as well as a specific numerical example of a product-free set of integers with asymptotic density greater than 1/2. We show that there are sets of integers with asymptotic density arbitrarily close to 1 in which there is no solution to the equation ab=c, with a,b,c in the set. We also consider some natural generalizations, as well as a specific numerical example of a product-free set of integers with asymptotic density greater than 1/2. △ Less

Submitted 8 December, 2011; v1 submitted 27 July, 2011; originally announced July 2011.

Comments: 12 pages. Many minor edits, mainly to improve the exposition

MSC Class: 11B05; 11B75

Journal ref: Acta Arithmetica 155 (2012), No. 2, 163-173

On numbers $n$ dividing the $n$th term of a linear recurrence

Authors: Juan Jose Alba Gonzalez, Florian Luca, Carl Pomerance, Igor Shparlinski

Abstract: Here, we give upper and lower bounds on the count of positive integers $n\le x$ dividing the $n$th term of a nondegenerate linearly recurrent sequence with simple roots. Here, we give upper and lower bounds on the count of positive integers $n\le x$ dividing the $n$th term of a nondegenerate linearly recurrent sequence with simple roots. △ Less

Submitted 1 February, 2011; v1 submitted 21 October, 2010; originally announced October 2010.

MSC Class: 11B37; 11N25

Primitive sets with large counting functions

Authors: Greg Martin, Carl Pomerance

Abstract: A set of positive integers is said to be primitive if no element of the set is a multiple of another. If $S$ is a primitive set and $S(x)$ is the number of elements of $S$ not exceeding $x$, then a result of Erd\H os implies that $\int_2^\infty (S(t)/t^2\log t) dt$ converges. We establish an approximate converse to this theorem, showing that if $F$ satisfies some mild conditions and… ▽ More A set of positive integers is said to be primitive if no element of the set is a multiple of another. If $S$ is a primitive set and $S(x)$ is the number of elements of $S$ not exceeding $x$, then a result of Erd\H os implies that $\int_2^\infty (S(t)/t^2\log t) dt$ converges. We establish an approximate converse to this theorem, showing that if $F$ satisfies some mild conditions and $\int_2^\infty (F(t)/t^2\log t) dt$ converges, then there exists a primitive set $S$ with $S(x) \gg F(x)$. △ Less

Submitted 27 October, 2010; v1 submitted 6 September, 2010; originally announced September 2010.

Comments: 7 pages. Revision includes a strengthening of Theorem 1: an upper bound for S(x) of the same order of magnitude as the lower bound is now established

Common values of the arithmetic functions phi and sigma

Authors: Kevin Ford, Florian Luca, Carl Pomerance

Abstract: We show that the equation phi(a)=σ(b) has infinitely many solutions, where phi is Euler's totient function and sigma is the sum-of-divisors function. This proves a 50-year old conjecture of Erdos. Moreover, we show that there are infinitely many integers n such that phi(a)=n and sigma(b)=n each have more than n^c solutions, for some c>0. The proofs rely on the recent work of the first two authors… ▽ More We show that the equation phi(a)=σ(b) has infinitely many solutions, where phi is Euler's totient function and sigma is the sum-of-divisors function. This proves a 50-year old conjecture of Erdos. Moreover, we show that there are infinitely many integers n such that phi(a)=n and sigma(b)=n each have more than n^c solutions, for some c>0. The proofs rely on the recent work of the first two authors and Konyagin on the distribution of primes p for which a given prime divides some iterate of phi at p, and on a result of Heath-Brown connecting the possible existence of Siegel zeros with the distribution of twin primes. △ Less

Submitted 26 October, 2010; v1 submitted 18 June, 2009; originally announced June 2009.

Comments: v2, Aug. 2009. Small corrections and changes

MSC Class: 11A25; 11N25; 11N64

Journal ref: Bull. London Math. Soc. 42 (2010), 478-488

Rank statistics for a family of elliptic curves over a function field

Authors: Carl Pomerance, Igor E. Shparlinski

Abstract: We show that the average and typical ranks in a certain parametric family of elliptic curves described by D. Ulmer tend to infinity as the parameter $d \to\infty$. This is perhaps unexpected since by a result of A. Brumer, the average rank for all elliptic curves over a function field of positive characteristic is asymptotically bounded above by 2.3. We show that the average and typical ranks in a certain parametric family of elliptic curves described by D. Ulmer tend to infinity as the parameter $d \to\infty$. This is perhaps unexpected since by a result of A. Brumer, the average rank for all elliptic curves over a function field of positive characteristic is asymptotically bounded above by 2.3. △ Less

Submitted 16 March, 2009; originally announced March 2009.

MSC Class: 11N25; 11R37; 14H52

On Pseudosquares and Pseudopowers

Authors: Carl Pomerance, Igor E. Shparlinski

Abstract: Introduced by Kraitchik and Lehmer, an $x$-pseudosquare is a positive integer $n\equiv1\pmod 8$ that is a quadratic residue for each odd prime $p\le x$, yet is not a square. We use bounds of character sums to prove that pseudosquares are equidistributed in fairly short intervals. An $x$-pseudopower to base $g$ is a positive integer which is not a power of $g$ yet is so modulo $p$ for all primes… ▽ More Introduced by Kraitchik and Lehmer, an $x$-pseudosquare is a positive integer $n\equiv1\pmod 8$ that is a quadratic residue for each odd prime $p\le x$, yet is not a square. We use bounds of character sums to prove that pseudosquares are equidistributed in fairly short intervals. An $x$-pseudopower to base $g$ is a positive integer which is not a power of $g$ yet is so modulo $p$ for all primes $p\le x$. It is conjectured by Bach, Lukes, Shallit, and Williams that the least such number is at most $\exp(a_g x/\log x)$ for a suitable constant $a_g$. A bound of $\exp(a_g x\log\log x/\log x)$ is proved conditionally on the Riemann Hypothesis for Dedekind zeta functions, thus improving on a recent conditional exponential bound of Konyagin and the present authors. We also give a GRH-conditional equidistribution result for pseudopowers that is analogous to our unconditional result for pseudosquares. △ Less

Submitted 17 December, 2007; v1 submitted 7 December, 2007; originally announced December 2007.

MSC Class: 11A15; 11L40

On the Distribution of Pseudopowers

Authors: Sergei V. Konyagin, Carl Pomerance, Igor E. Shparlinski

Abstract: An $x$-pseudopower to base $g$ is a positive integer which is not a power of $g$ yet is so modulo $p$ for all primes $p\le x$. We improve an upper bound for the least such number due to E. Bach, R. Lukes, J. Shallit, and H. C. Williams. The method is based on a combination of some bounds of exponential sums with new results about the average behaviour of the multiplicative order of $g$ modulo pr… ▽ More An $x$-pseudopower to base $g$ is a positive integer which is not a power of $g$ yet is so modulo $p$ for all primes $p\le x$. We improve an upper bound for the least such number due to E. Bach, R. Lukes, J. Shallit, and H. C. Williams. The method is based on a combination of some bounds of exponential sums with new results about the average behaviour of the multiplicative order of $g$ modulo prime numbers. △ Less

Submitted 6 December, 2007; originally announced December 2007.

MSC Class: 11A07; 11L07; 11N13

Journal ref: Can. J. Math.-J. Can. Math. 62 (2010) 582-594

Sieving by large integers and covering systems of congruences

Authors: Michael Filaseta, Kevin Ford, Sergei Konyagin, Carl Pomerance, Gang Yu

Abstract: An old question of Erdos asks if there exists, for each number N, a finite set S of integers greater than N and residue classes r(n) mod n for n in S whose union is all the integers. We prove that if $\sum_{n\in S} 1/n$ is bounded for such a covering of the integers, then the least member of S is also bounded, thus confirming a conjecture of Erdos and Selfridge. We also prove a conjecture of Erd… ▽ More An old question of Erdos asks if there exists, for each number N, a finite set S of integers greater than N and residue classes r(n) mod n for n in S whose union is all the integers. We prove that if $\sum_{n\in S} 1/n$ is bounded for such a covering of the integers, then the least member of S is also bounded, thus confirming a conjecture of Erdos and Selfridge. We also prove a conjecture of Erdos and Graham, that, for each fixed number K>1, the complement in the integers of any union of residue classes r(n) mod n, for distinct n in (N,KN], has density at least d_K for N sufficiently large. Here d_K is a positive number depending only on K. Either of these new results implies another conjecture of Erdos and Graham, that if S is a finite set of moduli greater than N, with a choice for residue classes r(n) mod n for n in S which covers the integers, then the largest member of S cannot be O(N). We further obtain stronger forms of these results and establish other information, including an improvement of a related theorem of Haight. △ Less

Submitted 9 August, 2006; v1 submitted 18 July, 2005; originally announced July 2005.

Comments: v3. 28 pages. Minor corrections and notational improvements. Added reference to recent discovery by Gibson of a covering system with least modulus 25. To appear in J. Amer. Math. Soc

MSC Class: 11B25; 11A07; 11N35

Journal ref: J. Amer. Math. Soc. 20 (2007), 495-517.

The iterated Carmichael λ-function and the number of cycles of the power generator

Authors: Greg Martin, Carl Pomerance

Abstract: Iteration of the modular l-th power function f(x) = x^l (mod n) provides a common pseudorandom number generator (known as the Blum-Blum-Shub generator when l=2). The period of this pseudorandom number generator is closely related to λ(λ(n)), where λ(n) denotes Carmichael's function, namely the maximal multiplicative order of any integer modulo n. In this paper, we show that for almost all n, the… ▽ More Iteration of the modular l-th power function f(x) = x^l (mod n) provides a common pseudorandom number generator (known as the Blum-Blum-Shub generator when l=2). The period of this pseudorandom number generator is closely related to λ(λ(n)), where λ(n) denotes Carmichael's function, namely the maximal multiplicative order of any integer modulo n. In this paper, we show that for almost all n, the size of λ(λ(n)) is n/exp((1+o(1))(log log n)^2 log log log n). We conjecture an analogous formula for the k-th iterate of λ. We deduce that for almost all n, the psuedorandom number generator described above has at least exp((1+o(1))(log log n)^2 log log log n) disjoint cycles. In addition, we show that this expression is accurate for almost all n under the assumption of the Generalized Riemann Hypothesis for Kummerian fields. We also consider the number of iterations of λit takes to reduce an integer n to 1, proving that this number is less than (1+o(1))(log log n)/log 2 infinitely often and speculating that log log n is the true order of magnitude almost always. △ Less

Submitted 16 June, 2004; originally announced June 2004.

Comments: 28 pages

MSC Class: 11N

On the period of the linear congruential and power generators

Authors: P. Kurlberg, C. Pomerance

Abstract: We consider the periods of the linear congruential and the power generators modulo $n$ and, for fixed choices of initial parameters, give lower bounds that hold for ``most'' $n$ when $n$ ranges over three different sets: the set of primes, the set of products of two primes (of similar size), and the set of all integers. For most $n$ in these sets, the period is at least $n^{1/2+ε(n)}$ for any mo… ▽ More We consider the periods of the linear congruential and the power generators modulo $n$ and, for fixed choices of initial parameters, give lower bounds that hold for ``most'' $n$ when $n$ ranges over three different sets: the set of primes, the set of products of two primes (of similar size), and the set of all integers. For most $n$ in these sets, the period is at least $n^{1/2+ε(n)}$ for any monotone function $ε(n)$ tending to zero as $n$ tends to infinity. Assuming the Generalized Riemann Hypothesis, for most $n$ in these sets the period is greater than $n^{1-ε}$ for any $ε>0$. Moreover, the period is unconditionally greater than $n^{1/2+δ}$, for some fixed $δ>0$, for a positive proportion of $n$ in the above mentioned sets. These bounds are related to lower bounds on the multiplicative order of an integer $e$ modulo $p-1$, modulo $λ(pl)$, and modulo $λ(m)$ where $p,l$ range over the primes, $m$ ranges over the integers, and where $λ(n)$ is the order of the largest cyclic subgroup of $(\Z/n\Z)^\times$. △ Less

Submitted 24 May, 2004; v1 submitted 7 May, 2004; originally announced May 2004.

Comments: 20 pages. One of the quoted results (Theorem 23 in the previous version) is stated for any unbounded monotone function psi(x), but it appears that the proof only supports the case when psi(x) is increasing rather slowly. As a workaround, we provide a modified version of Theorem 23, and change the argument in the proof of Theorem 27 (Theorem 25 in the previous version)

MSC Class: 11K45 (Primary); 11B50; 11N56; 11T71; 11R45 (Secondary)