Showing 1–28 of 28 results for author: Koukoulopoulos, D

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

On Arratia's coupling and the Dirichlet law for the factors of a random integer

Authors: Tony Haddad, Dimitris Koukoulopoulos

Abstract: Let $x \ge 2$, let $N_x$ be an integer chosen uniformly at random from the set $\mathbb Z \cap [1, x]$, and let $(V_1, V_2, \ldots)$ be a Poisson--Dirichlet process of parameter $1$. We prove that there exists a coupling of these two random objects such that $$ \mathbb E \, \sum_{i \ge 1} |\log P_i- V_i\log x| \asymp 1, $$ where the implied constants are absolute and $N_x = P_1P_2 \cdots$ is the u… ▽ More Let $x \ge 2$, let $N_x$ be an integer chosen uniformly at random from the set $\mathbb Z \cap [1, x]$, and let $(V_1, V_2, \ldots)$ be a Poisson--Dirichlet process of parameter $1$. We prove that there exists a coupling of these two random objects such that $$ \mathbb E \, \sum_{i \ge 1} |\log P_i- V_i\log x| \asymp 1, $$ where the implied constants are absolute and $N_x = P_1P_2 \cdots$ is the unique factorization of $N_x$ into primes or ones with the $P_i$'s being non-increasing. This establishes a 2002 conjecture of Arratia arXiv:1305.0941 who proved that the left-hand side in the above estimate can be made $\ll \log\!\log x$, and who also proved that the left-hand side is $\ge 1-o(1)$ for all couplings. In addition, we use our refined coupling to give a probabilistic proof of the Dirichlet law for the average distribution of the integer factorization into $k$ parts proved in 2023 by Leung arXiv:2206.14728 and we improve on its error term. △ Less

Submitted 14 February, 2025; v1 submitted 13 June, 2024; originally announced June 2024.

Comments: 37 pages. Added Corollary 1.1; minor corrections

An almost sharp quantitative version of the Duffin-Schaeffer conjecture

Authors: Dimitris Koukoulopoulos, James Maynard, Daodao Yang

Abstract: We prove a quantitative version of the Duffin-Schaeffer conjecture with an almost sharp error term. Precisely, let $ψ:\mathbb{N}\to[0,1/2]$ be a function such that the series $\sum_{q=1}^\infty \varphi(q)ψ(q)/q$ diverges. In addition, given $α\in\mathbb{R}$ and $Q\geqslant1$, let $N(α;Q)$ be the number of coprime pairs $(a,q)\in\mathbb{Z}\times\mathbb{N}$ with $q\leqslant Q$ and $|α-a/q|<ψ(q)/q$.… ▽ More We prove a quantitative version of the Duffin-Schaeffer conjecture with an almost sharp error term. Precisely, let $ψ:\mathbb{N}\to[0,1/2]$ be a function such that the series $\sum_{q=1}^\infty \varphi(q)ψ(q)/q$ diverges. In addition, given $α\in\mathbb{R}$ and $Q\geqslant1$, let $N(α;Q)$ be the number of coprime pairs $(a,q)\in\mathbb{Z}\times\mathbb{N}$ with $q\leqslant Q$ and $|α-a/q|<ψ(q)/q$. Lastly, let $Ψ(Q)=\sum_{q\leqslant Q}2\varphi(q)ψ(q)/q$, which is the expected value of $N(α;Q)$ when $α$ is uniformly chosen from $[0, 1]$. We prove that $N(α;Q)=Ψ(Q)+O_{α,\varepsilon}(Ψ(Q)^{1/2+\varepsilon})$ for almost all $α$ (in the Lebesgue sense) and for every fixed $\varepsilon>0$. This improves upon results of Koukoulopoulos-Maynard and of Aistleitner-Borda-Hauke. △ Less

Submitted 20 September, 2024; v1 submitted 22 April, 2024; originally announced April 2024.

Comments: 41 pages. Final version. To appear in Duke Math. J. arXiv admin note: text overlap with arXiv:1907.04593

MSC Class: Primary: 11J83. Secondary: 05C40

A lower bound on the mean value of the Erdős-Hooley Delta function

Authors: Kevin Ford, Dimitris Koukoulopoulos, Terence Tao

Abstract: We give an improved lower bound for the average of the Erdős-Hooley function $Δ(n)$, namely $\sum_{n\le x} Δ(n) \gg_\varepsilon x(\log\log x)^{1+η-\varepsilon}$ for all $x\geqslant100$ and any fixed $\varepsilon$, where $η= 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 Tenenb… ▽ More We give an improved lower bound for the average of the Erdős-Hooley function $Δ(n)$, namely $\sum_{n\le x} Δ(n) \gg_\varepsilon x(\log\log x)^{1+η-\varepsilon}$ for all $x\geqslant100$ and any fixed $\varepsilon$, where $η= 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. △ Less

Submitted 22 May, 2024; v1 submitted 23 August, 2023; originally announced August 2023.

Comments: 15 pages. Added remarks in the end of page 3; added references [3] and [9]. Final version, to appear in Proc. London Math. Soc

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

An upper bound on the mean value of the Erdős-Hooley Delta function

Authors: Dimitris Koukoulopoulos, Terence Tao

Abstract: The Erdős-Hooley Delta function is defined for $n\in\mathbb{N}$ as $Δ(n)=\sup_{u\in\mathbb{R}} \#\{d|n : e^u<d\le e^{u+1}\}$. We prove that $\sum_{n\le x} Δ(n) \ll x(\log\log x)^{11/4}$ for all $x\ge100$. This improves on earlier work of Hooley, Hall--Tenenbaum and La Bretèche-Tenenbaum. The Erdős-Hooley Delta function is defined for $n\in\mathbb{N}$ as $Δ(n)=\sup_{u\in\mathbb{R}} \#\{d|n : e^u<d\le e^{u+1}\}$. We prove that $\sum_{n\le x} Δ(n) \ll x(\log\log x)^{11/4}$ for all $x\ge100$. This improves on earlier work of Hooley, Hall--Tenenbaum and La Bretèche-Tenenbaum. △ Less

Submitted 8 November, 2023; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: 18 pages. Some minor changes. This is the final version that will apper in Proc. London Math. Soc

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

On the $j$-th smallest modulus of a covering system with distinct moduli

Authors: Jonah Klein, Dimitris Koukoulopoulos, Simon Lemieux

Abstract: Covering systems were introduced by Erdős in 1950. In the same article where he introduced them, he asked if the minimum modulus of a covering system with distinct moduli is bounded. In 2015, Hough answered affirmatively this long standing question. In 2022, Balister, Bollobás, Morris, Sahasrabudhe and Tiba gave a simpler and more versatile proof of Hough's result. Building upon their work, we sho… ▽ More Covering systems were introduced by Erdős in 1950. In the same article where he introduced them, he asked if the minimum modulus of a covering system with distinct moduli is bounded. In 2015, Hough answered affirmatively this long standing question. In 2022, Balister, Bollobás, Morris, Sahasrabudhe and Tiba gave a simpler and more versatile proof of Hough's result. Building upon their work, we show that there exists some absolute constant $c>0$ such that the $j$-th smallest modulus of a minimal covering system with distinct moduli is $\le \exp(cj^2/\log(j+1))$. △ Less

Submitted 23 August, 2023; v1 submitted 2 December, 2022; originally announced December 2022.

Comments: 8 pages, minor corrections and changes. Final version, to appear in Int. J. Number Theory

MSC Class: 11B25

Rational approximations of irrational numbers

Authors: Dimitris Koukoulopoulos

Abstract: Given quantities $Δ_1,Δ_2,\dots\geqslant 0$, a fundamental problem in Diophantine approximation is to understand which irrational numbers $x$ have infinitely many reduced rational approximations $a/q$ such that $|x-a/q|<Δ_q$. Depending on the choice of $Δ_q$ and of $x$, this question may be very hard. However, Duffin and Schaeffer conjectured in 1941 that if we assume a "metric" point of view, the… ▽ More Given quantities $Δ_1,Δ_2,\dots\geqslant 0$, a fundamental problem in Diophantine approximation is to understand which irrational numbers $x$ have infinitely many reduced rational approximations $a/q$ such that $|x-a/q|<Δ_q$. Depending on the choice of $Δ_q$ and of $x$, this question may be very hard. However, Duffin and Schaeffer conjectured in 1941 that if we assume a "metric" point of view, the question is governed by a simple zero--one law: writing $\varphi$ for Euler's totient function, we either have $\sum_{q=1}^\infty \varphi(q)Δ_q=\infty$ and then almost all irrational numbers (in the Lebesgue sense) are approximable, or $\sum_{q=1}^\infty\varphi(q)Δ_q<\infty$ and almost no irrationals are approximable. We present the history of the Duffin--Schaeffer conjecture and the main ideas behind the recent work of Koukoulopoulos--Maynard that settled it. △ Less

Submitted 21 November, 2022; v1 submitted 22 September, 2021; originally announced September 2021.

Comments: Corrected a couple of inaccuracies in the version to be published in the Proceedings of the 2022 ICM

Irreducibility of random polynomials: general measures

Authors: Lior Bary-Soroker, Dimitris Koukoulopoulos, Gady Kozma

Abstract: Let $μ$ be a probability measure on $\mathbb{Z}$ that is not a Dirac mass and that has finite support. We prove that if the coefficients of a monic polynomial $f(x)\in\mathbb{Z}[x]$ of degree $n$ are chosen independently at random according to $μ$ while ensuring that $f(0)\neq0$, then there is a positive constant $θ=θ(μ)$ such that $f(x)$ has no divisors of degree $\le θn$ with probability that te… ▽ More Let $μ$ be a probability measure on $\mathbb{Z}$ that is not a Dirac mass and that has finite support. We prove that if the coefficients of a monic polynomial $f(x)\in\mathbb{Z}[x]$ of degree $n$ are chosen independently at random according to $μ$ while ensuring that $f(0)\neq0$, then there is a positive constant $θ=θ(μ)$ such that $f(x)$ has no divisors of degree $\le θn$ with probability that tends to 1 as $n\to\infty$. Furthermore, in certain cases, we show that a random polynomial $f(x)$ with $f(0)\neq0$ is irreducible with probability tending to 1 as $n\to\infty$. In particular, this is the case if $μ$ is the uniform measure on a set of at least 35 consecutive integers, or on a subset of $[-H,H]\cap\mathbb{Z}$ of cardinality $\ge H^{4/5}(\log H)^2$ with $H$ sufficiently large. In addition, in all of these settings, we show that the Galois group of $f(x)$ is either $\mathcal{A}_n$ or $\mathcal{S}_n$ with high probability. Finally, when $μ$ is the uniform measure on a finite arithmetic progression of at least two elements, we prove a random polynomial $f(x)$ as above is irreducible with probability $\geδ$ for some constant $δ=δ(μ)>0$. In fact, if the arithmetic progression has step 1, we prove the stronger result that the Galois group of $f(x)$ is $\mathcal{A}_n$ or $\mathcal{S}_n$ with probability $\geδ$. △ Less

Submitted 2 June, 2023; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: 65 pages. Minor corrections. Final version, to apper in Inventiones Mathematicae

MSC Class: Primary: 11R09; 12E05; 11N25; 11T55. Secondary: 05A05; 20B30

A note on the natural density of product sets

Authors: Sandro Bettin, Dimitris Koukoulopoulos, Carlo Sanna

Abstract: Given two sets of natural numbers $\mathcal{A}$ and $\mathcal{B}$ of natural density $1$ we prove that their product set $\mathcal{A}\cdot \mathcal{B}:=\{ab:a\in\mathcal{A},\,b\in\mathcal{B}\}$ also has natural density $1$. On the other hand, for any $\varepsilon>0$, we show there are sets $\mathcal{A}$ of density $>1-\varepsilon$ for which the product set $\mathcal{A}\cdot\mathcal{A}$ has density… ▽ More Given two sets of natural numbers $\mathcal{A}$ and $\mathcal{B}$ of natural density $1$ we prove that their product set $\mathcal{A}\cdot \mathcal{B}:=\{ab:a\in\mathcal{A},\,b\in\mathcal{B}\}$ also has natural density $1$. On the other hand, for any $\varepsilon>0$, we show there are sets $\mathcal{A}$ of density $>1-\varepsilon$ for which the product set $\mathcal{A}\cdot\mathcal{A}$ has density $<\varepsilon$. This answers two questions of Hegyvári, Hennecart and Pach. △ Less

Submitted 23 June, 2020; originally announced June 2020.

Comments: 6 pages

The structure of multiplicative functions with small partial sums

Authors: Dimitris Koukoulopoulos, K. Soundararajan

Abstract: The Landau-Selberg-Delange method provides an asymptotic formula for the partial sums of a multiplicative function whose average value on primes is a fixed complex number $v$. The shape of this asymptotic implies that $f$ can get very small on average only if $v=0,-1,-2,\dots$. Moreover, if $v<0$, then the Dirichlet series associated to $f$ must have a zero of multiplicity $-v$ at $s=1$. In this p… ▽ More The Landau-Selberg-Delange method provides an asymptotic formula for the partial sums of a multiplicative function whose average value on primes is a fixed complex number $v$. The shape of this asymptotic implies that $f$ can get very small on average only if $v=0,-1,-2,\dots$. Moreover, if $v<0$, then the Dirichlet series associated to $f$ must have a zero of multiplicity $-v$ at $s=1$. In this paper, we prove a converse result that shows that if $f$ is a multiplicative function that is bounded by a suitable divisor function, and $f$ has very small partial sums, then there must be finitely many real numbers $γ_1$, $\dots$, $γ_m$ such that $f(p)\approx -p^{iγ_1}-\cdots-p^{-iγ_m}$ on average. The numbers $γ_j$ correspond to ordinates of zeroes of the Dirichlet series associated to $f$, counted with multiplicity. This generalizes a result of the first author, who handled the case when $|f|\le 1$ in previous work. △ Less

Submitted 11 May, 2020; v1 submitted 28 September, 2019; originally announced September 2019.

Comments: 19 pages, published by Discrete Analysis. Added keywords; removed Lemma 3.2 from the previous version; simplified the proof of Lemma 4.2(a); made some further minor edits and corrections

MSC Class: 11N56; 11N64

Journal ref: Discrete Anal., 2020:6, 19 pp

Equal sums in random sets and the concentration of divisors

Authors: Kevin Ford, Ben Green, Dimitris Koukoulopoulos

Abstract: We study the extent to which divisors of a typical integer $n$ are concentrated. In particular, defining the Erdős-Hooley $Δ$-function by $Δ(n) := \max_t \# \{d | n, \log d \in [t,t+1]\}$, we show that $Δ(n) \geq (\log \log n)^{0.35332277\dots}$ for almost all $n$, a bound we believe to be sharp. This disproves a conjecture of Maier and Tenenbaum. We also prove analogs for the concentration of div… ▽ More We study the extent to which divisors of a typical integer $n$ are concentrated. In particular, defining the Erdős-Hooley $Δ$-function by $Δ(n) := \max_t \# \{d | n, \log d \in [t,t+1]\}$, we show that $Δ(n) \geq (\log \log n)^{0.35332277\dots}$ for almost all $n$, a bound we believe to be sharp. This disproves a conjecture of Maier and Tenenbaum. We also prove analogs for the concentration of divisors of a random permutation and of a random polynomial over a finite field. Most of the paper is devoted to a study of the following much more combinatorial problem of independent interest. Pick a random set $A \subset \mathbb{N}$ by selecting $i$ to lie in $A$ with probability $1/i$. What is the supremum of all exponents $β_k$ such that, almost surely as $D \rightarrow \infty$, some integer is the sum of elements of $A \cap [D^{β_k}, D]$ in $k$ different ways? We characterise $β_k$ as the solution to a certain optimisation problem over measures on the discrete cube $\{0,1\}^k$, and obtain lower bounds for $β_k$ which we believe to be asymptotically sharp. △ Less

Submitted 12 December, 2022; v1 submitted 1 August, 2019; originally announced August 2019.

Comments: 94 pages, minor corrections, to appear in Invent. Math

MSC Class: Primary 11N25; Secondary 05A05; 11S05

Journal ref: Inventiones Math. 232 (2023), 1027-1160

On the Duffin-Schaeffer conjecture

Authors: Dimitris Koukoulopoulos, James Maynard

Abstract: Let $ψ:\mathbb{N}\to\mathbb{R}_{\ge0}$ be an arbitrary function from the positive integers to the non-negative reals. Consider the set $\mathcal{A}$ of real numbers $α$ for which there are infinitely many reduced fractions $a/q$ such that $|α-a/q|\le ψ(q)/q$. If $\sum_{q=1}^\infty ψ(q)φ(q)/q=\infty$, we show that $\mathcal{A}$ has full Lebesgue measure. This answers a question of Duffin and Schaef… ▽ More Let $ψ:\mathbb{N}\to\mathbb{R}_{\ge0}$ be an arbitrary function from the positive integers to the non-negative reals. Consider the set $\mathcal{A}$ of real numbers $α$ for which there are infinitely many reduced fractions $a/q$ such that $|α-a/q|\le ψ(q)/q$. If $\sum_{q=1}^\infty ψ(q)φ(q)/q=\infty$, we show that $\mathcal{A}$ has full Lebesgue measure. This answers a question of Duffin and Schaeffer. As a corollary, we also establish a conjecture due to Catlin regarding non-reduced solutions to the inequality $|α- a/q|\le ψ(q)/q$, giving a refinement of Khinchin's Theorem. △ Less

Submitted 2 May, 2020; v1 submitted 10 July, 2019; originally announced July 2019.

Comments: Final version, 46 pages, to appear in Annals of Mathematics. Fixed a typo in equation (14.1) from the previous version

MSC Class: 11J83 (Primary); 05C40 (Secondary)

Beyond the LSD method for the partial sums of multiplicative functions

Authors: Andrew Granville, Dimitris Koukoulopoulos

Abstract: The Landau-Selberg-Delange (LSD) method gives an asymptotic formula for the partial sums of a multiplicative function $f$ whose prime values are $α$ on average. In the literature, the average is usually taken to be $α$ with a very strong error term, leading to an asymptotic formula for the partial sums with a very strong error term. In practice, the average at the prime values may only be known wi… ▽ More The Landau-Selberg-Delange (LSD) method gives an asymptotic formula for the partial sums of a multiplicative function $f$ whose prime values are $α$ on average. In the literature, the average is usually taken to be $α$ with a very strong error term, leading to an asymptotic formula for the partial sums with a very strong error term. In practice, the average at the prime values may only be known with a fairly weak error term, and so we explore here how good an estimate this will imply for the partial sums of $f$, developing new techniques to do so. △ Less

Submitted 19 February, 2018; v1 submitted 3 October, 2017; originally announced October 2017.

Comments: Addressed referee's comments; added some references; corrected and simplified the proof of Theorem 9. 26 pages

Journal ref: Ramanujan J. 49 (2019), no. 2, 287-319

Sieve weights and their smoothings

Authors: Andrew Granville, Dimitris Koukoulopoulos, James Maynard

Abstract: We obtain asymptotic formulas for the $2k$th moments of partially smoothed divisor sums of the Möbius function. When $2k$ is small compared with $A$, the level of smoothing, then the main contribution to the moments come from integers with only large prime factors, as one would hope for in sieve weights. However if $2k$ is any larger, compared with $A$, then the main contribution to the moments co… ▽ More We obtain asymptotic formulas for the $2k$th moments of partially smoothed divisor sums of the Möbius function. When $2k$ is small compared with $A$, the level of smoothing, then the main contribution to the moments come from integers with only large prime factors, as one would hope for in sieve weights. However if $2k$ is any larger, compared with $A$, then the main contribution to the moments come from integers with quite a few prime factors, which is not the intention when designing sieve weights. The threshold for "small" occurs when $A=\frac 1{2k} \binom{2k}{k}-1$. One can ask analogous questions for polynomials over finite fields and for permutations, and in these cases the moments behave rather differently, with even less cancellation in the divisor sums. We give, we hope, a plausible explanation for this phenomenon, by studying the analogous sums for Dirichlet characters, and obtaining each type of behaviour depending on whether or not the character is "exceptional". △ Less

Submitted 8 April, 2020; v1 submitted 21 June, 2016; originally announced June 2016.

Comments: Final version, 85 pages, to appear in Ann. Sci. Éc. Norm. Supér.. Added abstract in French and made several minor changes compared to the previous version

MSC Class: Primary: 11N35; 11N37; Secondary: 11T06; 20B30; 05A05

Permutations contained in transitive subgroups

Authors: Sean Eberhard, Kevin Ford, Dimitris Koukoulopoulos

Abstract: In the first paper in this series we estimated the probability that a random permutation $π\in\mathcal{S}_n$ has a fixed set of a given size. In this paper, we elaborate on the same method to estimate the probability that $π$ has $m$ disjoint fixed sets of prescribed sizes $k_1,\dots,k_m$, where $k_1+\cdots+k_m=n$. We deduce an estimate for the proportion of permutations contained in a transitive… ▽ More In the first paper in this series we estimated the probability that a random permutation $π\in\mathcal{S}_n$ has a fixed set of a given size. In this paper, we elaborate on the same method to estimate the probability that $π$ has $m$ disjoint fixed sets of prescribed sizes $k_1,\dots,k_m$, where $k_1+\cdots+k_m=n$. We deduce an estimate for the proportion of permutations contained in a transitive subgroup other than $\mathcal{S}_n$ or $\mathcal{A}_n$. This theorem consists of two parts: an estimate for the proportion of permutations contained in an imprimitive transitive subgroup, and an estimate for the proportion of permutations contained in a primitive subgroup other than $\mathcal{S}_n$ or $\mathcal{A}_n$. △ Less

Submitted 11 February, 2017; v1 submitted 3 May, 2016; originally announced May 2016.

Comments: 36 pages, 1 figure. Reformatted for Discrete Analysis but otherwise identical to the previous version

MSC Class: 05A05; 20B30 (Primary); 20B15 (Secondary)

Journal ref: Discrete Anal. 2016, Paper No. 12, 34 pp

Sums of Euler products and statistics of elliptic curves

Authors: Chantal David, Dimitris Koukoulopoulos, Ethan Smith

Abstract: We present several results related to statistics for elliptic curves over a finite field $\mathbb{F}_p$ as corollaries of a general theorem about averages of Euler products that we demonstrate. In this general framework, we can reprove known results such as the average Lang-Trotter conjecture, the average Koblitz conjecture, and the vertical Sato-Tate conjecture, even for very short intervals, not… ▽ More We present several results related to statistics for elliptic curves over a finite field $\mathbb{F}_p$ as corollaries of a general theorem about averages of Euler products that we demonstrate. In this general framework, we can reprove known results such as the average Lang-Trotter conjecture, the average Koblitz conjecture, and the vertical Sato-Tate conjecture, even for very short intervals, not accessible by previous methods. We also compute statistics for new questions, such as the problem of amicable pairs and aliquot cycles, first introduced by Silverman and Stange. Our technique is rather flexible and should be easily applicable to a wide range of similar problems. The starting point of our results is a theorem of Gekeler which gives a reinterpretation of Deuring's theorem in terms of an Euler product involving random matrices, thus making a direct connection between the (conjectural) horizontal distributions and the vertical distributions. Our main technical result then shows that, under certain conditions, a weighted average of Euler products is asymptotic to the Euler product of the average factors. △ Less

Submitted 26 September, 2016; v1 submitted 20 October, 2015; originally announced October 2015.

Comments: 57 pages, to appear in Math. Ann.; corrected the proof of Theorem 3.1; added Remark 4.1; some other minor changes

MSC Class: 11G07; 11N45

Journal ref: Math. Ann. 368 (2017), no. 1-2, 685-752

Best possible densities of Dickson m-tuples, as a consequence of Zhang-Maynard-Tao

Authors: Andrew Granville, Daniel M. Kane, Dimitris Koukoulopoulos, Robert J. Lemke Oliver

Abstract: We determine for what proportion of integers $h$ one now knows that there are infinitely many prime pairs $p,\ p+h$ as a consequence of the Zhang-Maynard-Tao theorem. We consider the natural generalization of this to $k$-tuples of integers, and we determine the limit of what can be deduced assuming only the Zhang-Maynard-Tao theorem. We determine for what proportion of integers $h$ one now knows that there are infinitely many prime pairs $p,\ p+h$ as a consequence of the Zhang-Maynard-Tao theorem. We consider the natural generalization of this to $k$-tuples of integers, and we determine the limit of what can be deduced assuming only the Zhang-Maynard-Tao theorem. △ Less

Submitted 20 October, 2015; v1 submitted 29 October, 2014; originally announced October 2014.

Comments: 9 pages. Final version. Some minor changes, Analytic Number Theory - In Honor of Helmut Maier's 60th Birthday, Springer, 2015

The frequency and the structure of large character sums

Authors: Jonathan Bober, Leo Goldmakher, Andrew Granville, Dimitris Koukoulopoulos

Abstract: Let $M(χ)$ denote the maximum of $|\sum_{n\le N}χ(n)|$ for a given non-principal Dirichlet character $χ\pmod q$, and let $N_χ$ denote a point at which the maximum is attained. In this article we study the distribution of $M(χ)/\sqrt{q}$ as one varies over characters $\pmod q$, where $q$ is prime, and investigate the location of $N_χ$. We show that the distribution of $M(χ)/\sqrt{q}$ converges weak… ▽ More Let $M(χ)$ denote the maximum of $|\sum_{n\le N}χ(n)|$ for a given non-principal Dirichlet character $χ\pmod q$, and let $N_χ$ denote a point at which the maximum is attained. In this article we study the distribution of $M(χ)/\sqrt{q}$ as one varies over characters $\pmod q$, where $q$ is prime, and investigate the location of $N_χ$. We show that the distribution of $M(χ)/\sqrt{q}$ converges weakly to a universal distribution $Φ$, uniformly throughout most of the possible range, and get (doubly exponential decay) estimates for $Φ$'s tail. Almost all $χ$ for which $M(χ)$ is large are odd characters that are $1$-pretentious. Now, $M(χ)\ge |\sum_{n\le q/2}χ(n)| = \frac{|2-χ(2)|}π\sqrt{q} |L(1,χ)|$, and one knows how often the latter expression is large, which has been how earlier lower bounds on $Φ$ were mostly proved. We show, though, that for most $χ$ with $M(χ)$ large, $N_χ$ is bounded away from $q/2$, and the value of $M(χ)$ is little bit larger than $\frac{\sqrt{q}}π |L(1,χ)|$. △ Less

Submitted 20 June, 2017; v1 submitted 29 October, 2014; originally announced October 2014.

Comments: 58 pages, 4 figures, 1 table. Minor changes, and small improvement of Theorem 2.2. Final version, to appear in J. Eur. Math. Soc

MSC Class: Primary: 11N60; Secondary: 11K41; 11L40

Journal ref: J. Eur. Math. Soc. (JEMS) 20 (2018), no. 7, 1759-1818

The frequency of elliptic curve groups over prime finite fields

Authors: Vorrapan Chandee, Chantal David, Dimitris Koukoulopoulos, Ethan Smith

Abstract: Letting $p$ vary over all primes and $E$ vary over all elliptic curves over the finite field $\mathbb{F}_p$, we study the frequency to which a given group $G$ arises as a group of points $E(\mathbb{F}_p)$. It is well-known that the only permissible groups are of the form $G_{m,k}:=\mathbb{Z}/m\mathbb{Z}\times \mathbb{Z}/mk\mathbb{Z}$. Given such a candidate group, we let $M(G_{m,k})$ be the freque… ▽ More Letting $p$ vary over all primes and $E$ vary over all elliptic curves over the finite field $\mathbb{F}_p$, we study the frequency to which a given group $G$ arises as a group of points $E(\mathbb{F}_p)$. It is well-known that the only permissible groups are of the form $G_{m,k}:=\mathbb{Z}/m\mathbb{Z}\times \mathbb{Z}/mk\mathbb{Z}$. Given such a candidate group, we let $M(G_{m,k})$ be the frequency to which the group $G_{m,k}$ arises in this way. Previously, the second and fourth named authors determined an asymptotic formula for $M(G_{m,k})$ assuming a conjecture about primes in short arithmetic progressions. In this paper, we prove several unconditional bounds for $M(G_{m,k})$, pointwise and on average. In particular, we show that $M(G_{m,k})$ is bounded above by a constant multiple of the expected quantity when $m\le k^A$ and that the conjectured asymptotic for $M(G_{m,k})$ holds for almost all groups $G_{m,k}$ when $m\le k^{1/4-ε}$. We also apply our methods to study the frequency to which a given integer $N$ arises as the group order $\#E(\mathbb{F}_p)$. △ Less

Submitted 19 October, 2015; v1 submitted 27 May, 2014; originally announced May 2014.

Comments: 40 pages, with an appendix by Chantal David, Greg Martin and Ethan Smith. Final version, to appear in the Canad. J. Math. Major reorganization of the paper, with the addition of a new section, where the main results are summarized and explained

MSC Class: 11G07; 11N45 (primary) 11N13; 11N36 (secondary)

Journal ref: Can. J. Math.-J. Can. Math. 68 (2016) 721-761

Primes in short arithmetic progressions

Authors: Dimitris Koukoulopoulos

Abstract: Let $x,h$ and $Q$ be three parameters. We show that, for most moduli $q\le Q$ and for most positive real numbers $y\le x$, every reduced arithmetic progression $a\mod q$ has approximately the expected number of primes $p$ from the interval $(y,y+h]$, provided that $h>x^{1/6+ε}$ and $Q$ satisfies appropriate bounds in terms of $h$ and $x$. Moreover, we prove that, for most moduli $q\le Q$ and for m… ▽ More Let $x,h$ and $Q$ be three parameters. We show that, for most moduli $q\le Q$ and for most positive real numbers $y\le x$, every reduced arithmetic progression $a\mod q$ has approximately the expected number of primes $p$ from the interval $(y,y+h]$, provided that $h>x^{1/6+ε}$ and $Q$ satisfies appropriate bounds in terms of $h$ and $x$. Moreover, we prove that, for most moduli $q\le Q$ and for most positive real numbers $y\le x$, there is at least one prime $p\in(y,y+h]$ lying in every reduced arithmetic progression $a\mod q$, provided that $1\le Q^2\le h/x^{1/15+ε}$. △ Less

Submitted 19 October, 2015; v1 submitted 26 May, 2014; originally announced May 2014.

Comments: 21 pages. Final version, published in IJNT. Some minor changes

MSC Class: 11N05; 11N13

Journal ref: Int. J. Number Theory 11 (2015), no. 5, 1499-1521

Group structures of elliptic curves over finite fields

Authors: Vorrapan Chandee, Chantal David, Dimitris Koukoulopoulos, Ethan Smith

Abstract: It is well-known that if $E$ is an elliptic curve over the finite field $\mathbb{F}_p$, then $E(\mathbb{F}_p)\simeq\mathbb{Z}/m\mathbb{Z}\times\mathbb{Z}/mk\mathbb{Z}$ for some positive integers $m, k$. Let $S(M,K)$ denote the set of pairs $(m,k)$ with $m\le M$ and $k\le K$ such that there exists an elliptic curve over some prime finite field whose group of points is isomorphic to… ▽ More It is well-known that if $E$ is an elliptic curve over the finite field $\mathbb{F}_p$, then $E(\mathbb{F}_p)\simeq\mathbb{Z}/m\mathbb{Z}\times\mathbb{Z}/mk\mathbb{Z}$ for some positive integers $m, k$. Let $S(M,K)$ denote the set of pairs $(m,k)$ with $m\le M$ and $k\le K$ such that there exists an elliptic curve over some prime finite field whose group of points is isomorphic to $\mathbb{Z}/m\mathbb{Z}\times\mathbb{Z}/mk\mathbb{Z}$. Banks, Pappalardi and Shparlinski recently conjectured that if $K\le (\log M)^{2-ε}$, then a density zero proportion of the groups in question actually arise as the group of points on some elliptic curve over some prime finite field. On the other hand, if $K\ge (\log M)^{2+ε}$, they conjectured that a density one proportion of the groups in question arise as the group of points on some elliptic curve over some prime finite field. We prove that the first part of their conjecture holds in the full range $K\le (\log M)^{2-ε}$, and we prove that the second part of their conjecture holds in the limited range $K\ge M^{4+ε}$. In the wider range $K\ge M^2$, we show that a positive density of the groups in question actually occur. △ Less

Submitted 19 October, 2015; v1 submitted 14 October, 2012; originally announced October 2012.

Comments: 15 pages. Final version, published in IMRN. Some minor changes

Journal ref: Int. Math. Res. Not. IMRN 2014, no. 19, 5230-5248

When the sieve works

Authors: Andrew Granville, Dimitris Koukoulopoulos, Kaisa Matomäki

Abstract: We are interested in classifying those sets of primes $\mathcal{P}$ such that when we sieve out the integers up to $x$ by the primes in $\mathcal{P}^c$ we are left with roughly the expected number of unsieved integers. In particular, we obtain the first general results for sieving an interval of length $x$ with primes including some in $(\sqrt{x},x]$, using methods motivated by additive combinator… ▽ More We are interested in classifying those sets of primes $\mathcal{P}$ such that when we sieve out the integers up to $x$ by the primes in $\mathcal{P}^c$ we are left with roughly the expected number of unsieved integers. In particular, we obtain the first general results for sieving an interval of length $x$ with primes including some in $(\sqrt{x},x]$, using methods motivated by additive combinatorics. △ Less

Submitted 19 October, 2015; v1 submitted 2 May, 2012; originally announced May 2012.

Comments: 26 pages. Final version, published in Duke Math. J. Extended the results of Section 2. Some other minor changes

MSC Class: 11N35 (primary); 11B30; 11B75 (secondary)

Journal ref: Duke Math. J. 164, no. 10 (2015), 1935-1969

Pretentious multiplicative functions and the prime number theorem for arithmetic progressions

Authors: Dimitris Koukoulopoulos

Abstract: Building on the concept of pretentious multiplicative functions, we give a new and largely elementary proof of the best result known on the counting function of primes in arithmetic progressions. Building on the concept of pretentious multiplicative functions, we give a new and largely elementary proof of the best result known on the counting function of primes in arithmetic progressions. △ Less

Submitted 13 March, 2013; v1 submitted 2 March, 2012; originally announced March 2012.

Comments: 21 pages. Final version. Strengthened Lemma 2.4 to fix an error in the proof of Lemma 4.1. Also made some other minor changes. To appear in Compos. Math

MSC Class: 11N05; 11N13; 11M06; 11M20

Journal ref: Compositio Math. 149 (2013) 1129-1149

On multiplicative functions which are small on average

Authors: Dimitris Koukoulopoulos

Abstract: Let $f$ be a completely multiplicative function that assumes values inside the unit disc. We show that if $\sum_{n<x} f(n) \ll x/(\log x)^A$, $x>2$, for some $A>2$, then either $f(p)$ is small on average or $f$ pretends to be $μ(n)n^{it}$ for some $t$. Let $f$ be a completely multiplicative function that assumes values inside the unit disc. We show that if $\sum_{n<x} f(n) \ll x/(\log x)^A$, $x>2$, for some $A>2$, then either $f(p)$ is small on average or $f$ pretends to be $μ(n)n^{it}$ for some $t$. △ Less

Submitted 17 June, 2013; v1 submitted 10 November, 2011; originally announced November 2011.

Comments: 51 pages. Slightly strengthened Theorem 1.2 and simplified its statement. Removed Remark 1.3. Other minor changes and corrections. To appear in Geom. Funct. Anal

MSC Class: 11N04; 11N13; 11N56; 11M06; 11M20

Journal ref: Geom. Funct. Anal., 23 (2013), no. 5, 1569-1630

On the concentration of certain additive functions

Authors: Dimitris Koukoulopoulos

Abstract: We study the concentration of the distribution of an additive function, when the sequence of prime values of $f$ decays fast and has good spacing properties. In particular, we prove a conjecture by Erdos and Katai on the concentration of $f(n)=\sum_{p|n}(\log p)^{-c}$ when $c>1$. We study the concentration of the distribution of an additive function, when the sequence of prime values of $f$ decays fast and has good spacing properties. In particular, we prove a conjecture by Erdos and Katai on the concentration of $f(n)=\sum_{p|n}(\log p)^{-c}$ when $c>1$. △ Less

Submitted 2 March, 2014; v1 submitted 4 November, 2011; originally announced November 2011.

Comments: 17 pages. Final version. To appear in Acta Arith

MSC Class: 11N60; 11K65

Journal ref: Acta Arith., 162 (2014), no. 3, 223-241

On the number of integers in a generalized multiplication table

Authors: Dimitris Koukoulopoulos

Abstract: Motivated by the Erdos multiplication table problem we study the following question: Given numbers N_1,...,N_{k+1}, how many distinct products of the form n_1...n_{k+1} with n_i<N_i for all i are there? Call A_{k+1}(N_1,...,N_{k+1}) the quantity in question. Ford established the order of magnitude of A_2(N_1,N_2) and the author of A_{k+1}(N,...,N) for all k>1. In the present paper we generalize th… ▽ More Motivated by the Erdos multiplication table problem we study the following question: Given numbers N_1,...,N_{k+1}, how many distinct products of the form n_1...n_{k+1} with n_i<N_i for all i are there? Call A_{k+1}(N_1,...,N_{k+1}) the quantity in question. Ford established the order of magnitude of A_2(N_1,N_2) and the author of A_{k+1}(N,...,N) for all k>1. In the present paper we generalize these results by establishing the order of magnitude of A_{k+1}(N_1,...,N_{k+1}) for arbitrary choices of N_1,...,N_{k+1} when k is 2,3,4 or 5. Moreover, we obtain a partial answer to our question when k>5. Lastly, we develop a heuristic argument which explains why the limitation of our method is k=5 in general and we suggest ways of improving the results of this paper. △ Less

Submitted 17 May, 2013; v1 submitted 15 February, 2011; originally announced February 2011.

Comments: 65 pages. Minor changes. To appear at J. Reine Angew. Math. The final publication is available at www.reference-global.com

Journal ref: J. Reine Angew. Math. 689 (2014), 33-99

Divisors of shifted primes

Authors: Dimitris Koukoulopoulos

Abstract: We bound from below the number of shifted primes p+s<x that have a divisor in a given interval (y,z]. Kevin Ford has obtained upper bounds of the expected order of magnitude on this quantity as well as lower bounds in a special case of the parameters y and z. We supply here the corresponding lower bounds in a broad range of the parameters y and z. As expected, these bounds depend heavily on our kn… ▽ More We bound from below the number of shifted primes p+s<x that have a divisor in a given interval (y,z]. Kevin Ford has obtained upper bounds of the expected order of magnitude on this quantity as well as lower bounds in a special case of the parameters y and z. We supply here the corresponding lower bounds in a broad range of the parameters y and z. As expected, these bounds depend heavily on our knowledge about primes in arithmetic progressions. As an application of these bounds, we determine the number of shifted primes that appear in a multiplication table up to multiplicative constants. △ Less

Submitted 15 May, 2010; v1 submitted 1 May, 2009; originally announced May 2009.

Comments: 33 pages. To appear in Int. Math. Res. Not. IMRN. Fixed a small mistake in the proof of Lemma 2.5 and made stylistic changes

MSC Class: 11N25; 11N13

Journal ref: Int. Math. Res. Not. (2010) Vol. 2010 (24): 4585-4627

Localized factorizations of integers

Authors: Dimitris Koukoulopoulos

Abstract: We determine the order of magnitude of H^{(k+1)}(x,\vec{y},2\vec{y}), the number of integers up to x that are divisible by a product d_1...d_k with y_i<d_i\le 2y_i, when the numbers \log y_1,...,\log y_k have the same order of magnitude and k\ge 2. This generalizes a result by K. Ford when k=1. As a corollary of these bounds, we determine the number of elements up to multiplicative constants that… ▽ More We determine the order of magnitude of H^{(k+1)}(x,\vec{y},2\vec{y}), the number of integers up to x that are divisible by a product d_1...d_k with y_i<d_i\le 2y_i, when the numbers \log y_1,...,\log y_k have the same order of magnitude and k\ge 2. This generalizes a result by K. Ford when k=1. As a corollary of these bounds, we determine the number of elements up to multiplicative constants that appear in a (k+1)-dimensional multiplication table as well as how many distinct sums of k+1 Farey fractions there are modulo 1. △ Less

Submitted 28 May, 2013; v1 submitted 5 September, 2008; originally announced September 2008.

Comments: 34 pages. Added reference [10] to a paper of Nair and Tenenbaum which contains a result similar to Lemma 2.2 and which appeared prior to the publication of this paper. Simplified the proof of Lemma 2.2 using ideas from [10]. Removed part (a) of Lemma 2.2, as it is now redundant. Version 5 remains the published version

MSC Class: 11N25

Journal ref: Proc. London Math. Soc. (2010) 101(2): 392-426