arXiv subjects

Kevin Ford

Publications and source records attributed to Kevin Ford.

At least 19 recordsLinked to original sources

arXiv2026

Sign changes of the Liouville function in arithmetic progressions

We show that for any $\varepsilon > 0$, prime $q$ sufficiently large with respect to $1 / \varepsilon$ and residue class $(a,q) = 1$, there exist two integers $m, n \leq q^{5/2 + \varepsilon}$ with $m \equiv n \equiv a \pmod{q}$ such that $\lambda(m) = -1$ and $\lambda(n) = + 1$, where $\lambda$ denotes the Liouville function. Our result is motivated by Heath-Brown's explicit exponent in Linnik's theorem, establishing the existence of primes $p \equiv a \pmod{q}$ with $p \ll q^{5.5}$.

math.NT↗

arXiv2026

Sets of integers satisfying Bateman-Horn statistics

In 1962, Bateman and Horn conjectured precise asymptotics for the count of positive integers n \le x for which f_1(n), ..., f_k(n) are all prime, where (f_1, ..., f_k) is an admissible k-tuple of polynomials in one variable. We prove that certain random sets of integers almost surely satisfy the Bateman-Horn asymptotics in full generality and with a strong error term, where we have replaced "f_1(n), ..., f_k(n) are all prime" with "f_1(n), ..., f_k(n) all lie in the random set." In particular, sets of integers satisfying Bateman-Horn are plentiful.

math.NT↗

arXiv2024

Primes with small primitive roots

Let $\delta(p)$ tend to zero arbitrarily slowly as $p\to\infty$. We exhibit an explicit set $\mathcal{S}$ of primes $p$, defined in terms of simple functions of the prime factors of $p-1$, for which the least primitive root of $p$ is $\le p^{1/4-\delta(p)}$ for all $p\in \mathcal{S}$, where $\#\{p\leq x: p\in \mathcal{S}\} \sim \pi(x)$ as $x\to\infty$.

math.NT↗

arXiv2024

Poisson Approximation of prime divisors of shifted primes

We develop an analog for shifted primes of the Kubilius model of prime factors of integers. We prove a total variation distance estimate for the difference between the model and actual prime factors of shifted primes, and apply it to show that the prime factors of shifted primes in disjoint sets behave like independent Poisson variables. As a consequence, we establish a transference principle between the anatomy of random integers up to x and of random shifted primes p+a with p < x.

math.NT↗

arXiv2024

On the theory of prime producing sieves

We develop the foundations of a general framework for producing optimal upper and lower bounds on the sum $\sum_p a_p$ over primes $p$, where $(a_n)_{x/2<n\le x}$ is an arbitrary non-negative sequence satisfying Type I and Type II estimates. Our lower bounds on $\sum_p a_p$ depend on a new sieve method, which is non-iterative and uses all of the Type I and Type II information at once. We also give a complementary general procedure for constructing sequences $(a_n)$ satisfying the Type I and Type II estimates, which in many cases proves that our lower bounds on $\sum_p a_p$ are best possible. A key role in both the sieve method and the construction method is played by the geometry of special subsets of $\mathbb{R}^k$. This allows us to determine precisely the ranges of Type I and Type II estimates for which an asymptotic for $\sum_p a_p$ is guaranteed, that a substantial Type II range is always necessary to guarantee a non-trivial lower bound for $\sum_p a_p$, and to determine the optimal bounds in some naturally occurring families of parameters from the literature. We also demonstrate that the optimal upper and lower bounds for $\sum_p a_p$ exhibit many discontinuities with respect to the Type I and Type II ranges, ruling out the possibility of a particularly simple characterization.

math.NT↗

arXiv2023

Long strings of consecutive composite values of polynomials

We show that for any polynomial $f$ from the integers to the integers, with positive leading coefficient and irreducible over the rationals, if $x$ is large enough then there is a string of $(\log x)(\log\log x)^{1/835}$ consecutive integers $n \in [1,x]$ for which $f(n)$ is composite. This improves a result of the first author, Konyagin, Maynard, Pomerance and Tao, which states that there are such strings of length $(\log x)(\log\log x)^{c_f}$, where $c_f$ depends on $f$ and $c_f$ is exponentially small in the degree of $f$ for some polynomials.

math.NT↗

arXiv2023

A lower bound on the mean value of the Erd\H{o}s-Hooley Delta function

We give an improved lower bound for the average of the Erd\H{o}s-Hooley function $\Delta(n)$, namely $\sum_{n\le x} \Delta(n) \gg_\varepsilon x(\log\log x)^{1+\eta-\varepsilon}$ for all $x\geqslant100$ and any fixed $\varepsilon$, where $\eta = 0.3533227\dots$ is an exponent previously appearing in work of Green and the first two authors. This improves on a previous lower bound of $\gg x \log\log x$ of Hall and Tenenbaum, and can be compared to the recent upper bound of $x (\log\log x)^{11/4}$ of the second and third authors.

math.NT↗

arXiv2021

Explicit RIP matrices: an update

Leveraging recent advances in additive combinatorics, we exhibit explicit matrices satisfying the Restricted Isometry Property with better parameters. Namely, for $\varepsilon=3.26\cdot 10^{-7}$, large $k$ and $k^{2-\varepsilon} \le N\le k^{2+\varepsilon}$, we construct $n \times N$ RIP matrices of order $k$ with $k = \Omega( n^{1/2+\varepsilon/4} )$.

math.CO↗

arXiv2021

Cycle type of random permutations: A toolkit

We prove a number of results, new and old, about the cycle type of a random permutation on S_n. Underlying our analysis is the idea that the number of cycles of size k is roughly Poisson distributed with parameter 1/k. In particular, we establish strong results about the distribution of the number of cycles whose lengths lie in a fixed but arbitrary set I. Our techniques are motivated by the theory of sieves in number theory.

math.CO↗

arXiv2021

A Hardy-Ramanujan type inequality for shifted primes and sifted sets

We establish an analog of the Hardy-Ramanujan inequality for counting members of sifted sets with a given number of distinct prime factors. In particular, we establish a bound for the number of shifted primes p+a below x with k distinct prime factors, uniformly for all positive integers k.

math.NT↗

arXiv2020

Gaps between totients

We study the set D of positive integers d for which the equation $\phi(a)-\phi(b)=d$ has infinitely many solution pairs (a,b), where $\phi$ is Euler's totient function. We show that the minumum of D is at most 154, exhibit a specific A so that every multiple of A is in D, and show that any progression a mod d with 4|a and 4|d, contains infinitely many elements of D. We also show that the Generalized Elliott-Halberstam Conjecture, as defined in [6], implies that D equals the set of all positive, even integers.

math.NT↗

arXiv2020

Sets whose differences avoid squares modulo m

We prove that if $\varepsilon(m)\to 0$ arbitrarily slowly, then for almost all $m$ and any $A\subset\mathbb{Z}_m$ such that $A-A$ does not contain non-zero quadratic residues we have $|A|\leq m^{1/2-\varepsilon(m)}.$

math.NT↗

arXiv2020

Joint Poisson distribution of prime factors in sets

Given disjoint subsets $T_1,\ldots,T_m$ of "not too large" primes up to $x$, we establish that for a random integer $n$ drawn from $[1,x]$, the $m$-dimensional vector enumerating the number of prime factors of $n$ from $T_1,\ldots,T_m$ converges to a vector of $m$ independent Poisson random variables. We give a specific rate of convergence using the Kubilius model of prime factors. We also show a universal upper bound of Poisson type when $T_1,\ldots,T_m$ are unrestricted, and apply this to the distribution of the number of prime factors from a set $T$ given that $n$ has $k$ total prime factors.

math.NT↗

arXiv2020

Residue classes free of values of Euler's function

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.

math.NT↗

arXiv2020

Solutions of $\phi(n)=\phi(n+k)$ and $\sigma(n)=\sigma(n+k)$

We show that for some $k\le 3570$ and all $k$ with $442720643463713815200|k$, the equation $\phi(n)=\phi(n+k)$ has infinitely many solutions $n$, where $\phi$ is Euler's totient function. We also show that for a positive proportion of all $k$, the equation $\sigma(n)=\sigma(n+k)$ has infinitely many solutions $n$. The proofs rely on recent progress on the prime $k$-tuples conjecture by Zhang, Maynard, Tao and PolyMath.

math.NT↗

arXiv2019

The prime number race and zeros of Dirichlet L-functions off the critical line

Let $\pi_{q,a}(x)$ denote the number of primes $\le x$ in the progression $a$ modulo $q$. We study subtle inequities in these functions, with $q$ fixed and variable $a$ (sometimes called 'prime race problems'). It is known unconditionally for many triples $(q,a,b)$ that the difference $\pi_{q,a}(x) - \pi_{q,b}(x)$ changes sign infinitely often, although there may be a pronounced bias toward one sign (first observed by Chebyshev in 1853). Similar results for the comparison of three or more prime counting functions all require the assumption of ERH (extended Riemann Hypothesis for the Dirichlet L-functions modulo $q$). In this paper we show that the assumption of ERH is, in a sense, necessary. That is, we prove, for any quadruple $(q,a,b,c)$ with $a,b,c$ co-prime to $q$, that the existence of certain hypothetical configurations of zeros of Dirichlet L-functions lying off the critical line imply that one of the six possible orderings of the three functions $\pi_{q,a}(x), \pi_{q,b}(x), \pi_{q,c}(x)$ does not occur at all for large enough $x$.

math.NT↗

arXiv2019

The prime number race and zeros of Dirichlet L-functions off the critical line, II

We continue our examination the effects of certain hypothetical configurations of zeros of Dirichlet $L$-functions lying off the critical line ("barriers") on the relative magnitude of the functions $\pi_{q,a}(x)$. Here $\pi_{q,a}(x)$ is the number of primes $\le x$ in the progression $a \mod q$. In particular, we construct barriers so that $\pi_{q,1}(x)$ is simultaneously greater than, or simultaneously less than, each of $k$ functions $\pi_{q,a_i}(x)$ ($1\le i\le k$). We also construct barriers so that only a small number of the $r!$ possible orderings of functions $\pi_{q,a_i}(x)$ ($1\le i\le r$) occur for large $x$; see Theorem 5.1.

math.NT↗

arXiv2019

Chebyshev's conjecture and the prime number race

We survey results about prime number races, that is, results about the relative sizes of prime counting functions $\pi_{q,a}(x)$, with $q$ fixed and $a$ varying. In particular, we describe recent work by the authors on these problems.

math.NT↗