Searcharxiv⌕ Search

arXiv subjects

Ernie Croot

Publications and source records attributed to Ernie Croot.

48 records · Page 3Linked to original sources
arXiv2006

The Minimal Number of Three-Term Arithmetic Progressions Modulo a Prime Converges to a Limit

Given a density t in (0,1], and a prime p, let S be any subset of F_p having at least tp elements, and having the least number of three-term arithmetic progressions mod p among all subsets of F_p with at least tp elements. Define N(t,p) to be 1/p^2 times the number of three-term arithmetic progressions in S modulo p. Note that N(t,p) does not depend on S -- it only depends on t and p. An old result of Varnavides shows that for fixed t, N(t,p) > c(t) > 0 for all primes p sufficiently large. But, does N(t,p) converge to a limit as p -> infinity? We prove that it does.

math.CO↗
arXiv2006

On the Structure of Sets with Few Three-Term Arithmetic Progressions

Fix a density d in (0,1], and let F_p^n be a finite field, where we think of p fixed and n tending to infinity. Let S be any subset of F_p^n having the minimal number of three-term progressions, subject to the constraint |S| is at least dp^n. We show that S must have some structure, and that up to o(p^n) elements, it is a union of a small number of cosets of a subspace of dimension n-o(n).

math.NT↗
arXiv2004

Sums of the Form 1/x_1^k + ... + 1/x_n^k Modulo a Prime

We show that for every $0 < ε\leq 1$ and integer $k\geq 1$, there exists an integer $n = n(ε,k)$ so that for all primes $p$, and integers $0 \leq a \leq p-1$, there exist integers $1 \leq x_1 < ... < x_n \leq p^ε$ such that $a \equiv x_1^{-1} + ... + x_n^{-1} \pmod{p}$. This extends a result of I. Shparlinski.

math.NT↗
arXiv2004

Complexity of Inverting the Euler Function

We present an algorithm to invert the Euler function $ϕ(m)$. The algorithm, for a given $n \geq 1$, in polynomial time ``on average'', finds the set $Ψ(n)$ of all solutions $m$ to $ϕ(m) = n$. In fact, in the worst case, $Ψ(n)$ is exponentially large, and cannot be computed in polynomial time. In the opposite direction, we show, under a widely accepted number theoretic conjecture, that there is a polynomial time reduction of the Partition Problem, an NP-complete problem, to the problem of deciding whether $ϕ(m) = n$ has a solution for a small set of integers n. This shows that the problem of deciding whether a given finite set of integers S contains a totient is NP-complete. A totient is an integer n that lies in the image of the phi function; that is, an integer n for which there exists an integer m solving phi(m) = n. Finally, we establish close links between of inverting the Euler function and the integer factorization problem.

math.NT↗
arXiv2004

Long Arithmetic Progressions in Critical Sets

In this paper we prove: If 0 < d < 1, and p is a sufficiently large prime, then if S is a subset of Z/pZ having the least number of three-term arithmetic progressions among all subsets of Z/pZ having at least dp elements, then S has an arithmetic progression of length at least log^{1/4+o(1)} x.

math.NT↗
arXiv2004

k-term Arithmetic Progressions in Sumsets

In this paper we give a very elementary proof that if A and B are subsets of {1,2,...,N}, each having at least 5N^{1 - (4(k-1))^{-1}} elements, then the sumset A+B has a k-term arithmetic progression.

math.NT↗
arXiv2003

A Combinatorial Method for Counting Smooth Numbers in Sets of Integers

In this paper we present a method for producing asymptotic estimates for the number of integers in a given S having only ``small'' prime factors. The conditions that need to be verified are simpler than those required by other methods, and we apply our result to give an easy proof of a result which says that dense subsets A and B of {1,2,...,x} always produce asymptotically the expected number of x^r - smooth sums a+b, where a in A and b in B. Recall that a number n is said to be y-smooth if all its prime divisors are at most y.

math.NT↗
arXiv2003

A Structure Theorem for Positive Density Sets Having the Minimal Number of 3-term Arithmetic Progressions

Assuming the well-known conjecture that [x,x+x^t] contains a prime for t > 0 and x sufficiently large, we prove: For 0 < r < 1, there exists 0 < s < r < 1, 0 < d < 1, and infinitely many primes q such that if S is a subset of Z/qZ having density at least s, and having the least number of 3-term arithemtic progressions among all sets of density at least s, then S is nearly translation invariant in a very strong sense. Namely, there exists 0 <= b <= q-1 such that |S intersect (S + bj)| = (1-g(s))|S|, for every 0 < j < q^d, where g(s) -> 0 as s -> 0. A curious feature of the proof is that Behrend's construction on large subsets of {1,2,...,x} containing no 3-term a.p., is a key ingredient.

math.NT↗
arXiv2003

Memory Efficient Arithmetic

In this paper we give an algorithm for computing the mth base-b digit (m=1 is the least significant digit) of an integer n (actually, it finds sharp approximations to n/b^m mod 1), where n is defined as the last number in a sequence of integers s1,s2,...,sL=n, where s1=0, s2=1, and each successive si is either the sum, product, or difference of two previous sj's in the sequence. In many cases, the algorithm will find this mth digit using far less memory than it takes to write down all the base-b digits of n, while the number of bit operations will grow only slighly worse than linear in the number of digits. One consequence of this result is that the mth base-10 digit of 2^t can be found using O(t^{2/3} log^C t) bits of storage (for some C>0), and O(t log^C t) bit operations. The algorithm is also highly parallelizable, and an M-fold reduction in running time can be achieved using M processors, although the memory required will then grow by a factor of M.

math.NT↗
arXiv2002

On Thin Sets of Primes Expressible as Sumsets

Suppose that P is an infinite set of primes such that P = A + B + C, where A,B,C are sets with at least two elements. We show that if P(x) > c x/log^d x (where P(x) = the number of elements of P that are <= x), and if A,B,C is a "regular" triple of sets, then either |A+B| <= d, or |B+C| <= d, or |A+C| <= d.

math.NT↗
arXiv2002

On Non-intersecting Arithmetic Progressions

We prove that if one has k non-intersecting arithmetic progressions of integers, with common differences 2 <= q_1,...,q_k <= x, then k < x exp((-1/6 + o(1)) sqrt(log x loglog x)). This improves a result of Szemeredi and Erdos.

math.CO↗