Showing 1–26 of 26 results for author: Lichtman, J D

The $abc$ conjecture is true almost always

Authors: Jared Duker Lichtman

Abstract: Let ${\rm rad}(n)$ denote the product of distinct prime factors of an integer $n\geq 1$. The celebrated $abc$ conjecture asks whether every solution to the equation $a+b=c$ in triples of coprime integers $(a,b,c)$ must satisfy ${\rm rad}(abc) > K_\varepsilon\, c^{1-\varepsilon}$, for some constant $K_\varepsilon>0$. In this expository note, we present a classical estimate of de Bruijn that implies… ▽ More Let ${\rm rad}(n)$ denote the product of distinct prime factors of an integer $n\geq 1$. The celebrated $abc$ conjecture asks whether every solution to the equation $a+b=c$ in triples of coprime integers $(a,b,c)$ must satisfy ${\rm rad}(abc) > K_\varepsilon\, c^{1-\varepsilon}$, for some constant $K_\varepsilon>0$. In this expository note, we present a classical estimate of de Bruijn that implies almost all such triples satisfy the $abc$ conjecture, in a precise quantitative sense. Namely, there are at most $O(N^{2/3})$ many triples of coprime integers in a cube $(a,b,c)\in\{1,\ldots,N\}^3$ satisfying $a+b=c$ and ${\rm rad}(abc) < c^{1-\varepsilon}$. The proof is elementary and essentially self-contained. Beyond revisiting a classical argument for its own sake, this exposition is aimed to contextualize a new result of Browning, Lichtman, and Teräväinen, who prove a refined estimate $O(N^{33/50})$, giving the first power-savings since 1962. △ Less

Submitted 20 May, 2025; originally announced May 2025.

Comments: 4 pages. arXiv admin note: expository paper

MSC Class: 11D45 (11D41; 11D75)

Erdős's integer dilation approximation problem and GCD graphs

Authors: Dimitris Koukoulopoulos, Youness Lamzouri, Jared Duker Lichtman

Abstract: Let $\mathcal{A}\subset\mathbb{R}_{\geqslant1}$ be a countable set such that $\limsup_{x\to\infty}\frac{1}{\log x}\sum_{α\in\mathcal{A}\cap[1,x]}\frac{1}α>0$. We prove that, for every $\varepsilon>0$, there exist infinitely many pairs $(α, β)\in \mathcal{A}^2$ such that $α\neq β$ and $|nα-β| <\varepsilon$ for some positive integer $n$. This resolves a problem of Erdős from 1948. A critical role in… ▽ More Let $\mathcal{A}\subset\mathbb{R}_{\geqslant1}$ be a countable set such that $\limsup_{x\to\infty}\frac{1}{\log x}\sum_{α\in\mathcal{A}\cap[1,x]}\frac{1}α>0$. We prove that, for every $\varepsilon>0$, there exist infinitely many pairs $(α, β)\in \mathcal{A}^2$ such that $α\neq β$ and $|nα-β| <\varepsilon$ for some positive integer $n$. This resolves a problem of Erdős from 1948. A critical role in the proof is played by the machinery of GCD graphs, which were introduced by the first author and by James Maynard in their work on the Duffin--Schaeffer conjecture in Diophantine approximation. △ Less

Submitted 13 February, 2025; originally announced February 2025.

Comments: 47 pages, 1 figure

Bounds on the exceptional set in the $abc$ conjecture

Authors: Tim Browning, Jared Duker Lichtman, Joni Teräväinen

Abstract: We study solutions to the equation $a+b=c$, where $a,b,c$ form a triple of coprime natural numbers. The $abc$ conjecture asserts that, for any $ε>0$, such triples satisfy $\mathrm{rad}(abc) \ge c^{1-ε}$ with finitely many exceptions. In this article we obtain a power-saving bound on the exceptional set of triples. Specifically, we show that there are $O(X^{33/50})$ integer triples… ▽ More We study solutions to the equation $a+b=c$, where $a,b,c$ form a triple of coprime natural numbers. The $abc$ conjecture asserts that, for any $ε>0$, such triples satisfy $\mathrm{rad}(abc) \ge c^{1-ε}$ with finitely many exceptions. In this article we obtain a power-saving bound on the exceptional set of triples. Specifically, we show that there are $O(X^{33/50})$ integer triples $(a,b,c)\in [1,X]^3$, which satisfy $\mathrm{rad}(abc) < c^{1-ε}$. The proof is based on a combination of bounds for the density of integer points on varieties, coming from the determinant method, Thue equations, geometry of numbers, and Fourier analysis. △ Less

Submitted 16 October, 2024; originally announced October 2024.

Comments: 17 pages

MSC Class: 11D45 (11D41; 11D75)

Density theorems for $\text{GL}_n$ via Rankin-Selberg $L$-functions

Authors: Jared Duker Lichtman, Alexandru Pascadi

Abstract: We obtain density theorems for cuspidal automorphic representations of $\text{GL}_n$ over $\mathbb{Q}$ which fail the generalized Ramanujan conjecture at some place. We depart from previous approaches based on Kuznetsov-type trace formulae, and instead rely on $L$-function techniques. This improves recent results of Blomer near the threshold of the pointwise bounds. We obtain density theorems for cuspidal automorphic representations of $\text{GL}_n$ over $\mathbb{Q}$ which fail the generalized Ramanujan conjecture at some place. We depart from previous approaches based on Kuznetsov-type trace formulae, and instead rely on $L$-function techniques. This improves recent results of Blomer near the threshold of the pointwise bounds. △ Less

Submitted 24 August, 2024; originally announced August 2024.

Comments: 24 pages; comments welcome!

MSC Class: 11F70; 11F66; 11F30; 11R42

The Bombieri-Pila determinant method

Authors: Thomas F. Bloom, Jared Duker Lichtman

Abstract: In this expository note, we give a concise and accessible introduction to the real-analytic determinant method for counting integral points on algebraic curves, based on the classic 1989 paper of Bombieri and Pila. In this expository note, we give a concise and accessible introduction to the real-analytic determinant method for counting integral points on algebraic curves, based on the classic 1989 paper of Bombieri and Pila. △ Less

Submitted 25 March, 2025; v1 submitted 20 December, 2023; originally announced December 2023.

Comments: 19 pages. To appear in Essential Number Theory

Primes in arithmetic progressions to large moduli, and Goldbach beyond the square-root barrier

Authors: Jared Duker Lichtman

Abstract: We show the primes have level of distribution $66/107\approx 0.617$ using triply well-factorable weights. This gives the highest level of distribution for primes in any setting, improving on the prior record level $3/5=0.60$ of Maynard. We also extend this level to $5/8=0.625$, assuming Selberg's eigenvalue conjecture. As applications of the method, we obtain new upper bounds for twin primes and f… ▽ More We show the primes have level of distribution $66/107\approx 0.617$ using triply well-factorable weights. This gives the highest level of distribution for primes in any setting, improving on the prior record level $3/5=0.60$ of Maynard. We also extend this level to $5/8=0.625$, assuming Selberg's eigenvalue conjecture. As applications of the method, we obtain new upper bounds for twin primes and for Goldbach representations of even numbers $a$. For the Goldbach problem, this is the first use of a level of distribution beyond the square-root barrier, and leads to the greatest improvement on the problem since Bombieri-Davenport from 1966. Our proof optimizes the Deshouillers-Iwaniec spectral large sieve estimates, both in the exceptional spectrum and uniformity in the residue $a$, refining Drappeau-Pratt-Radziwill and Assing-Blomer-Li. △ Less

Submitted 30 August, 2023; originally announced September 2023.

Comments: Appendix with Sary Drappeau, 55 pages. note: text overlap with arXiv:2109.02851; substantial text overlap with arXiv:2006.07088, arXiv:2006.06572 by other authors

MSC Class: 11N35; 11N36; 11N05

On Erdős sums of almost primes

Authors: Ofir Gorodetsky, Jared Duker Lichtman, Mo Dick Wong

Abstract: In 1935, Erdős proved that the sums $f_k=\sum_n 1/(n\log n)$, over integers $n$ with exactly $k$ prime factors, are bounded by an absolute constant, and in 1993 Zhang proved that $f_k$ is maximized by the prime sum $f_1=\sum_p 1/(p\log p)$. According to a 2013 conjecture of Banks and Martin, the sums $f_k$ are predicted to decrease monotonically in $k$. In this article, we show that the sums restr… ▽ More In 1935, Erdős proved that the sums $f_k=\sum_n 1/(n\log n)$, over integers $n$ with exactly $k$ prime factors, are bounded by an absolute constant, and in 1993 Zhang proved that $f_k$ is maximized by the prime sum $f_1=\sum_p 1/(p\log p)$. According to a 2013 conjecture of Banks and Martin, the sums $f_k$ are predicted to decrease monotonically in $k$. In this article, we show that the sums restricted to odd integers are indeed monotonically decreasing in $k$, sufficiently large. By contrast, contrary to the conjecture we prove that the sums $f_k$ increase monotonically in $k$, sufficiently large. Our main result gives an asymptotic for $f_k$ which identifies the (negative) secondary term, namely $f_k = 1 - (a+o(1))k^2/2^k$ for an explicit constant $a= 0.0656\cdots$. This is proven by a refined method combining real and complex analysis, whereas the classical results of Sathe and Selberg on products of $k$ primes imply the weaker estimate $f_k=1+O_{\varepsilon}(k^{\varepsilon-1/2})$. We also give an alternate, probability-theoretic argument related to the Dickman distribution. Here the proof reduces to showing a sequence of integrals converges exponentially quickly to $e^{-γ}$, which may be of independent interest. △ Less

Submitted 12 May, 2024; v1 submitted 14 March, 2023; originally announced March 2023.

Comments: 28 pages, incorporated referee comments

MSC Class: 11N25; 11Y60; 11A05; 60G18; 60H25

Journal ref: C. R. Math. Acad. Sci. Paris 362 (2024), 83-91

Higher Mertens constants for almost primes II

Authors: Jonathan Bayless, Paul Kinlaw, Jared Duker Lichtman

Abstract: For $k\ge1$, let $R_k(x)$ denote the reciprocal sum up to $x$ of numbers with $k$ prime factors, counted with multiplicity. In prior work, the authors obtained estimates for $R_k(x)$, extending Mertens' second theorem, as well as a finer-scale estimate for $R_2(x)$ up to $(\log x)^{-N}$ error for any $N > 0$. In this article, we establish the limiting behavior of the higher Mertens constants from… ▽ More For $k\ge1$, let $R_k(x)$ denote the reciprocal sum up to $x$ of numbers with $k$ prime factors, counted with multiplicity. In prior work, the authors obtained estimates for $R_k(x)$, extending Mertens' second theorem, as well as a finer-scale estimate for $R_2(x)$ up to $(\log x)^{-N}$ error for any $N > 0$. In this article, we establish the limiting behavior of the higher Mertens constants from the $R_2(x)$ estimate. We also extend these results to $R_3(x)$, and we remark on the general case $k\ge4$. △ Less

Submitted 11 March, 2023; originally announced March 2023.

Comments: 25 pages

MSC Class: 11N25; 11N37; 11A51

Primes in arithmetic progressions to large moduli, and shifted primes without large prime factors

Authors: Jared Duker Lichtman

Abstract: We prove the infinitude of shifted primes $p-1$ without prime factors above $p^{0.2844}$. This refines $p^{0.2961}$ from Baker and Harman in 1998. Consequently, we obtain an improved lower bound on the the distribution of Carmichael numbers. Our main technical result is a new mean value theorem for primes in arithmetic progressions to large moduli. Namely, we estimate primes of size $x$ with quadr… ▽ More We prove the infinitude of shifted primes $p-1$ without prime factors above $p^{0.2844}$. This refines $p^{0.2961}$ from Baker and Harman in 1998. Consequently, we obtain an improved lower bound on the the distribution of Carmichael numbers. Our main technical result is a new mean value theorem for primes in arithmetic progressions to large moduli. Namely, we estimate primes of size $x$ with quadrilinear forms of moduli up to $x^{17/32}$. This extends moduli beyond $x^{11/21}$, recently obtained by Maynard, improving $x^{29/56}$ from well-known 1986 work of Bombieri, Friedlander, and Iwaniec. △ Less

Submitted 14 November, 2022; originally announced November 2022.

Comments: 27 pages. arXiv admin note: substantial text overlap with arXiv:2006.06572, arXiv:2006.07088, arXiv:2006.08250 by other authors

MSC Class: 11N35; 11N36; 11N05

A proof of the Erdős primitive set conjecture

Authors: Jared Duker Lichtman

Abstract: A set of integers greater than 1 is primitive if no member in the set divides another. Erdős proved in 1935 that the series $f(A) = \sum_{a\in A}1/(a \log a)$ is uniformly bounded over all choices of primitive sets $A$. In 1986 he asked if this bound is attained for the set of prime numbers. In this article we answer in the affirmative. As further applications of the method, we make progress towar… ▽ More A set of integers greater than 1 is primitive if no member in the set divides another. Erdős proved in 1935 that the series $f(A) = \sum_{a\in A}1/(a \log a)$ is uniformly bounded over all choices of primitive sets $A$. In 1986 he asked if this bound is attained for the set of prime numbers. In this article we answer in the affirmative. As further applications of the method, we make progress towards a question of Erdős, Sárközy, and Szemerédi from 1968. We also refine the classical Davenport-Erdős theorem on infinite divisibility chains, and extend a result of Erdős, Sárközy, and Szemerédi from 1966. △ Less

Submitted 25 December, 2024; v1 submitted 4 February, 2022; originally announced February 2022.

Comments: 22 pages. The author was informed that the Erdős primitive set conjecture appears in print at least since 1974, and was possibly posed much earlier still

Journal ref: Forum of Mathematics, Pi (2023)

On the Hardy-Littlewood-Chowla conjecture on average

Authors: Jared Duker Lichtman, Joni Teräväinen

Abstract: There has been recent interest in a hybrid form of the celebrated conjectures of Hardy-Littlewood and of Chowla. We prove that for any $k,\ell\ge1$ and distinct integers $h_2,\ldots,h_k,a_1,\ldots,a_\ell$, we have $$\sum_{n\leq X}μ(n+h_1)\cdots μ(n+h_k)Λ(n+a_1)\cdotsΛ(n+a_{\ell})=o(X)$$ for all except $o(H)$ values of $h_1\leq H$, so long as $H\geq (\log X)^{\ell+ε}$. This improves on the range… ▽ More There has been recent interest in a hybrid form of the celebrated conjectures of Hardy-Littlewood and of Chowla. We prove that for any $k,\ell\ge1$ and distinct integers $h_2,\ldots,h_k,a_1,\ldots,a_\ell$, we have $$\sum_{n\leq X}μ(n+h_1)\cdots μ(n+h_k)Λ(n+a_1)\cdotsΛ(n+a_{\ell})=o(X)$$ for all except $o(H)$ values of $h_1\leq H$, so long as $H\geq (\log X)^{\ell+ε}$. This improves on the range $H\ge (\log X)^{ψ(X)}$, $ψ(X)\to\infty$, obtained in previous work of the first author. Our results also generalize from the Möbius function $μ$ to arbitrary (non-pretentious) multiplicative functions. △ Less

Submitted 20 June, 2022; v1 submitted 17 November, 2021; originally announced November 2021.

Comments: 17 pages

MSC Class: 11P32; 11L20; 11N37

Journal ref: Forum of Mathematics, Sigma 10 (2022) e57

Translated sums of primitive sets

Authors: Jared Duker Lichtman

Abstract: The Erdős primitive set conjecture states that the sum $f(A) = \sum_{a\in A}\frac{1}{a\log a}$, ranging over any primitive set $A$ of positive integers, is maximized by the set of prime numbers. Recently Laib, Derbal, and Mechik proved that the translated Erdős conjecture for the sum $f(A,h) = \sum_{a\in A}\frac{1}{a(\log a+h)}$ is false starting at $h=81$, by comparison with semiprimes. In this n… ▽ More The Erdős primitive set conjecture states that the sum $f(A) = \sum_{a\in A}\frac{1}{a\log a}$, ranging over any primitive set $A$ of positive integers, is maximized by the set of prime numbers. Recently Laib, Derbal, and Mechik proved that the translated Erdős conjecture for the sum $f(A,h) = \sum_{a\in A}\frac{1}{a(\log a+h)}$ is false starting at $h=81$, by comparison with semiprimes. In this note we prove that such falsehood occurs already at $h= 1.04\cdots$, and show this translate is best possible for semiprimes. We also obtain results for translated sums of $k$-almost primes with larger $k$. △ Less

Submitted 7 May, 2023; v1 submitted 19 October, 2021; originally announced October 2021.

Comments: incorporated referee comments, corrected $h_\infty = .803...$, and cited earlier 1986 reference to the Erdős primitive set conjecture

MSC Class: 11N25; 11Y60 (Primary); 11A05; 11M32 (Secondary)

Journal ref: Comptes Rendus. Mathématique, 360 (2022), 409-414

A modification of the linear sieve, and the count of twin primes

Authors: Jared Duker Lichtman

Abstract: We introduce a modification of the linear sieve whose weights satisfy strong factorization properties, and consequently equidistribute primes up to size $x$ in arithmetic progressions to moduli up to $x^{10/17}$. This surpasses the level of distribution $x^{4/7}$ with the linear sieve weights from well-known work of Bombieri, Friedlander, and Iwaniec, and which was recently extended to $x^{7/12}$… ▽ More We introduce a modification of the linear sieve whose weights satisfy strong factorization properties, and consequently equidistribute primes up to size $x$ in arithmetic progressions to moduli up to $x^{10/17}$. This surpasses the level of distribution $x^{4/7}$ with the linear sieve weights from well-known work of Bombieri, Friedlander, and Iwaniec, and which was recently extended to $x^{7/12}$ by Maynard. As an application, we obtain a new upper bound on the count of twin primes. Our method simplifies the 2004 argument of Wu, and gives the largest percentage improvement since the 1986 bound of Bombieri, Friedlander, and Iwaniec. △ Less

Submitted 14 February, 2024; v1 submitted 7 September, 2021; originally announced September 2021.

Comments: 36 pages, incorporated referee comments

MSC Class: 11N35; 11N36 (Primary); 11N05 (Secondary)

Higher Mertens constants for almost primes

Authors: Jonathan Bayless, Paul Kinlaw, Jared Duker Lichtman

Abstract: For $k\ge1$, a $k$-almost prime is a positive integer with exactly $k$ prime factors, counted with multiplicity. In this article we give elementary proofs of precise asymptotics for the reciprocal sum of $k$-almost primes. Our results match the strength of those of classical analytic methods. We also study the limiting behavior of the constants appearing in these estimates, which may be viewed as… ▽ More For $k\ge1$, a $k$-almost prime is a positive integer with exactly $k$ prime factors, counted with multiplicity. In this article we give elementary proofs of precise asymptotics for the reciprocal sum of $k$-almost primes. Our results match the strength of those of classical analytic methods. We also study the limiting behavior of the constants appearing in these estimates, which may be viewed as higher analogues of the Mertens constant $β=0.2614...$ Further, in the case $k=2$ of semiprimes we give yet finer-scale and explicit estimates, as well as a conjecture. △ Less

Submitted 27 January, 2022; v1 submitted 17 March, 2021; originally announced March 2021.

Comments: 24 pages; minor corrections

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

Journal ref: Journal of Number Theory, 234 (2022), 448-475

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

Averages of the Möbius function on shifted primes

Authors: Jared Duker Lichtman

Abstract: It is a folklore conjecture that the Möbius function exhibits cancellation on shifted primes; that is, $\sum_{p\le X}μ(p+h) \ = \ o(π(X))$ as $X\to\infty$ for any fixed shift $h>0$. This appears in print at least since Hildebrand in 1989. We prove the conjecture on average for shifts $h\le H$, provided $\log H/\log\log X\to\infty$. We also obtain results for shifts of prime $k$-tuples, and for hig… ▽ More It is a folklore conjecture that the Möbius function exhibits cancellation on shifted primes; that is, $\sum_{p\le X}μ(p+h) \ = \ o(π(X))$ as $X\to\infty$ for any fixed shift $h>0$. This appears in print at least since Hildebrand in 1989. We prove the conjecture on average for shifts $h\le H$, provided $\log H/\log\log X\to\infty$. We also obtain results for shifts of prime $k$-tuples, and for higher correlations of Möbius with von Mangoldt and divisor functions. Our argument combines sieve methods with a refinement of Matomäki, Radziwiłł, and Tao's work on an averaged form of Chowla's conjecture. △ Less

Submitted 20 October, 2021; v1 submitted 18 September, 2020; originally announced September 2020.

Comments: 25 pages

MSC Class: 11P32; 11N37

Journal ref: Quarterly Journal of Mathematics (2021), 1-29

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

Mertens' prime product formula, dissected

Authors: Jared Duker Lichtman

Abstract: In 1874, Mertens famously proved an asymptotic formula for the product $p/(p-1)$ over all primes $p$ up to $x$. On the other hand, one may expand Mertens' prime product into series over numbers $n$ with only small prime factors. It is natural to restrict such series to numbers $n$ with a fixed number $k$ of prime factors. In this article, we obtain formulae for these series for each $k$, which tog… ▽ More In 1874, Mertens famously proved an asymptotic formula for the product $p/(p-1)$ over all primes $p$ up to $x$. On the other hand, one may expand Mertens' prime product into series over numbers $n$ with only small prime factors. It is natural to restrict such series to numbers $n$ with a fixed number $k$ of prime factors. In this article, we obtain formulae for these series for each $k$, which together dissect Mertens' original estimate. The proof is by elementary methods of a combinatorial flavor. △ Less

Submitted 16 March, 2021; v1 submitted 9 February, 2020; originally announced February 2020.

Comments: Interprets Corollary 1.5 in terms of "friable regularity," under extended definition from convergent series to partial sums of arbitrary sequences. Incorporates referee comments

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

Journal ref: Integers 21A (2021), Ron Graham Memorial Volume, #A17, 15 pp

Almost primes and the Banks-Martin conjecture

Authors: Jared Duker Lichtman

Abstract: It has been known since Erdos that the sum of $1/(n\log n)$ over numbers $n$ with exactly $k$ prime factors (with repetition) is bounded as $k$ varies. We prove that as $k$ tends to infinity, this sum tends to 1. Banks and Martin have conjectured that these sums decrease monotonically in $k$, and in earlier papers this has been shown to hold for $k$ up to 3. However, we show that the conjecture is… ▽ More It has been known since Erdos that the sum of $1/(n\log n)$ over numbers $n$ with exactly $k$ prime factors (with repetition) is bounded as $k$ varies. We prove that as $k$ tends to infinity, this sum tends to 1. Banks and Martin have conjectured that these sums decrease monotonically in $k$, and in earlier papers this has been shown to hold for $k$ up to 3. However, we show that the conjecture is false in general, and in fact a global minimum occurs at $k=6$. △ Less

Submitted 18 December, 2019; v1 submitted 2 September, 2019; originally announced September 2019.

Comments: 14 pages, refined the upper bound in the main theorem of $1 + O(k^{\varepsilon-1/2})$ to the exponentially decaying error term $1 + O(k\,2^{-k/2})$

MSC Class: 11N25; 11Y60 (Primary); 11A05; 11M32 (Secondary)

Journal ref: Journal of Number Theory, 211 (2020), 513--529

A Refined Conjecture for the Variance of Gaussian Primes Across Sectors

Authors: Ryan C. Chen, Yujin H. Kim, Jared D. Lichtman, Steven J. Miller, Alina Shubina, Shannon Sweitzer, Ezra Waxman, Eric Winsor, Jianing Yang

Abstract: We derive a refined conjecture for the variance of Gaussian primes across sectors, with a power saving error term, by applying the L-functions Ratios Conjecture. We observe a bifurcation point in the main term, consistent with the Random Matrix Theory (RMT) heuristic previously proposed by Rudnick and Waxman. Our model also identifies a second bifurcation point, undetected by the RMT model, that e… ▽ More We derive a refined conjecture for the variance of Gaussian primes across sectors, with a power saving error term, by applying the L-functions Ratios Conjecture. We observe a bifurcation point in the main term, consistent with the Random Matrix Theory (RMT) heuristic previously proposed by Rudnick and Waxman. Our model also identifies a second bifurcation point, undetected by the RMT model, that emerges upon taking into account lower order terms. For sufficiently small sectors, we moreover prove an unconditional result that is consistent with our conjecture down to lower order terms. △ Less

Submitted 22 February, 2021; v1 submitted 22 January, 2019; originally announced January 2019.

Comments: 47 pages. Minor revisions. Appendix with relevant Mathematica code, included. Accepted for publication in Experimental Mathematics

Journal ref: Experimental Mathematics (2020)

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

Lower-Order Biases Second Moments of Dirichlet Coefficients in Families of $L$-Functions

Authors: Megumi Asada, Ryan Chen, Eva Fourakis, Yujin Kim, Andrew Kwon, Jared D. Lichtman, Blake Mackall, Steven J. Miller, Eric Winsor, Karl Winsor, Jianing Yang, Kevin Yang

Abstract: Let $\mathcal E: y^2 = x^3 + A(T)x + B(T)$ be a nontrivial one-parameter family of elliptic curves over $\mathbb{Q}(T)$, with $A(T), B(T) \in \mathbb Z(T)$, and consider the $k$\textsuperscript{th} moments $A_{k,\mathcal{E}}(p) := \sum_{t (p)} a_{\mathcal{E}_t}(p)^k$ of the Dirichlet coefficients $a_{\mathcal{E}_t}(p) := p + 1 - |\mathcal{E}_t (\mathbb{F}_p)|$. Rosen and Silverman proved a conject… ▽ More Let $\mathcal E: y^2 = x^3 + A(T)x + B(T)$ be a nontrivial one-parameter family of elliptic curves over $\mathbb{Q}(T)$, with $A(T), B(T) \in \mathbb Z(T)$, and consider the $k$\textsuperscript{th} moments $A_{k,\mathcal{E}}(p) := \sum_{t (p)} a_{\mathcal{E}_t}(p)^k$ of the Dirichlet coefficients $a_{\mathcal{E}_t}(p) := p + 1 - |\mathcal{E}_t (\mathbb{F}_p)|$. Rosen and Silverman proved a conjecture of Nagao relating the first moment $A_{1,\mathcal{E}}(p)$ to the rank of the family over $\mathbb{Q}(T)$, and Michel proved that if $j(T)$ is not constant then the second moment is equal to $A_{2,\mathcal{E}}(p) = p^2 + O(p^{3/2})$. Cohomological arguments show that the lower order terms are of sizes $p^{3/2}, p, p^{1/2}$, and $1$. In every case we are able to analyze in closed form, the largest lower order term in the second moment expansion that does not average to zero is on average negative, though numerics suggest this may fail for families of moderate rank. We prove this Bias Conjecture for several large classes of families, including families with rank, complex multiplication, and constant $j(T)$-invariant. We also study the analogous Bias Conjecture for families of Dirichlet characters, holomorphic forms on GL$(2)/\mathbb{Q}$, and their symmetric powers and Rankin-Selberg convolutions. We identify all lower order terms in large classes of families, shedding light on the arithmetic objects controlling these terms. The negative bias in these lower order terms has implications toward the excess rank conjecture and the behavior of zeros near the central point in families of $L$-functions. △ Less

Submitted 7 February, 2021; v1 submitted 18 August, 2018; originally announced August 2018.

Comments: Version 1.0, 40 pages, 2 appendices

MSC Class: 60B10; 11B39; 11B05 (primary) 65Q30 (secondary)

Journal ref: Experimental Mathematics (2021)

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

The reciprocal sum of primitive nondeficient numbers

Authors: Jared D. Lichtman

Abstract: We investigate the reciprocal sum of primitive nondeficient numbers, or pnds. In 1934, Erdos showed that the reciprocal sum of pnds converges, which he used to prove that the abundant numbers have a natural density. We show the reciprocal sum of pnds is between 0.348 and 0.380. We investigate the reciprocal sum of primitive nondeficient numbers, or pnds. In 1934, Erdos showed that the reciprocal sum of pnds converges, which he used to prove that the abundant numbers have a natural density. We show the reciprocal sum of pnds is between 0.348 and 0.380. △ Less

Submitted 13 February, 2018; v1 submitted 5 January, 2018; originally announced January 2018.

Comments: 12 pages

MSC Class: 11Y60 (Primary); 11N25 (Secondary)

Journal ref: Journal of Number Theory, 191 (2018), 104-118

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

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