BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Let p be a prime and n a positive integer such that 2p+1≤n≤p. For any arithmetic progression A of length n in Fp, we establish an asymptotic formula for the number of directions determined by A×A⊂Fp2. The key idea is to reduce the problem to counting the number of solutions to the bilinear Diophantine equation ad+bc=p in variables 1≤a,b,c,d≤n; our asymptotic formula for the number of solutions is of independent interest.
Define G(x;q) to be the variance of primes p≤x in the arithmetic progressions modulo q, weighted by logp. Hooley conjectured that as soon as q tends to infinity and x≥q, we have the upper bound G(x;q)≪xlogq. In this paper we show that the upper bound does not hold in general, and that G(x;q) can be asymptotically as large as x(logq+logloglogx)2/4.
We examine two counting problems that seem very group-theoretic on the surface but, on closer examination, turn out to concern integers with restrictions on their prime factors. First, given an odd prime q and a finite abelian q-group H, we consider the set of integers n≤x such that the Sylow q-subgroup of the multiplicative group (Z/nZ)× is isomorphic to H. We show that the counting function of this set of integers is asymptotic to Kx(loglogx)ℓ/(logx)1/(q−1) for explicit constants K and ℓ depending on q and H. Second, we consider the set of integers n≤x such that the multiplicative group (Z/nZ)× is "maximally non-cyclic", that is, such that all of its prime-power subgroups are elementary groups. We show that the counting function of this set of integers is asymptotic to Ax/(logx)1−ξ for an explicit constant A, where ξ is Artin's constant. As it turns out, both of these group-theoretic problems can be reduced to problems of counting integers with restrictions on their prime factors, allowing them to be addressed by classical techniques of analytic number theory.
We give explicit upper and lower bounds for N(T,χ), the number of zeros of a Dirichlet L-function with character χ and height at most T. Suppose that χ has conductor q>1, and that T≥5/7. If ℓ=log2πq(T+2)>1.567, then \begin{equation*} \left| N(T,χ) - \left( \frac{T}π \log\frac{qT}{2πe} -\frac{χ(-1)}{4}\right) \right| \le 0.22737 \ell + 2 \log(1+\ell) - 0.5. \end{equation*} We give slightly stronger results for small q and T. Along the way, we prove a new bound on ∣L(s,χ)∣ for σ<−1/2.
For any prime p, let y(p) denote the smallest integer y such that every reduced residue class (modp) is represented by the product of some subset of {1,…,y}. It is easy to see that y(p) is at least as large as the smallest quadratic nonresidue (modp); we prove that y(p)≪εp1/(4e)+ε, thus strengthening Burgess's classical result. This result is of intermediate strength between two other results, namely Burthe's proof that the multiplicative group (modp) is generated by the integers up to Oε(p1/(4e)+ε, and Munsch and Shparlinski's result that every reduced residue class (modp) is represented by the product of some subset of the primes up to Oε(p1/(4e)+ε. Unlike the latter result, our proof is elementary and similar in structure to Burgess's proof for the least quadratic nonresidue.
Let λ1(n) denote the least invariant factor in the invariant factor decomposition of the multiplicative group Mn=(Z/nZ)×. We give an asymptotic formula, with order of magnitude x/logx, for the counting function of those integers n for which λ1(n)=2. We also give an asymptotic formula, for any even q≥4, for the counting function of those integers n for which λ1(n)=q. These results require a version of the Selberg-Delange method whose dependence on certain parameters is made explicit, which we provide in an appendix. As an application, we give an asymptotic formula for the counting function of those integers n all of whose prime factors lie in an arbitrary fixed set of reduced residue classes, with implicit constants uniform over all moduli and sets of residue classes.
Despite significant improvements over the last few generations, the discipline of mathematics still counts a disproportionately small number of women among its practitioners. These women are underrepresented as conference speakers, even more so than the underrepresentation of women among PhD-earners as a whole. This underrepresentation is the result of implicit biases present within all of us, which cause us (on average) to perceive and treat women and men differently and unfairly. These mutually reinforcing biases begin in primary school, remain active through university study, and continue to oppose women's careers through their effects on hiring, evaluation, awarding of prizes, and inclusion in journal editorial boards and conference organization committees. Underrepresentation of women as conference speakers is a symptom of these biases, but it also serves to perpetuate them; therefore, addressing the inequity at conferences is valuable and necessary for countering this underrepresentation. We describe in detail the biases against women in mathematics, knowing that greater awareness of them leads to a better ability to mitigate them. Finally, we make explicit suggestions for organizing conferences in ways that are equitable for female mathematicians.
The purpose of this manuscript is to gather together a large amount of source material pertaining to women in mathematics, from studies of girls in elementary school through data on females winning prizes for mathematical research. Along the way, we have also gathered a large amount of material from the psychology and sociology literature on implicit biases more generally, particularly pertaining to gender. This source material was then used to support the writing of the article "Addressing the underrepresentation of women in mathematics conferences". We have referred to primary research literature whenever possible, although we have also included well-written blog posts, organizational web sites, self-published articles by research organizations, and even a YouTube video. Each bibliography entry is accompanied by some remarks summarizing its content and representative quotes from the articles themselves. Much of the work in this bibliography contains a large number of further references to the relevant research literature.
The abc conjecture, one of the most famous open problems in number theory, claims that three positive integers satisfying a+b=c cannot simultaneously have significant repetition among their prime factors; in particular, the product of the distinct primes dividing the three integers should never be much less than c. Triples of numbers satisfying a+b=c are called abc triples if the product of their distinct prime divisors is strictly less than c. We catalog what is known about abc triples, both numerical examples found through computation and infinite familes of examples established theoretically. In addition, we collect motivations and heuristics supporting the abc conjecture, as well as some of its refinements and generalizations, and we describe the state-of-the-art progress towards establishing the conjecture.
If E is an elliptic curve defined over Q and p is a prime of good reduction for E, let E(Fp) denote the set of points on the reduced curve modulo p. Define an arithmetic function ME(N) by setting ME(N):=#{p:#E(Fp)=N}. Recently, David and the third author studied the average of ME(N) over certain "boxes" of elliptic curves E. Assuming a plausible conjecture about primes in short intervals, they showed the following: for odd N, the average of ME(N) over a box with sufficiently large sides is ∼logNK∗(N) for an explicitly-given function K∗(N). The function K∗(N) is somewhat peculiar: defined as a product over the primes dividing N, it resembles a multiplicative function at first glance. But further inspection reveals that it is not, and so one cannot directly investigate its properties by the usual tools of multiplicative number theory. In this paper, we overcome these difficulties and prove a number of statistical results about K∗(N). For example, we determine the mean value of K∗(N) over all N, odd N and prime N, and we show that K∗(N) has a distribution function. We also explain how our results relate to existing theorems and conjectures on the multiplicative properties of #E(Fp), such as Koblitz's conjecture.
We introduce a collection of polynomials FN, associated to each positive integer N, whose divisibility properties yield a reformulation of the Goldbach conjecture. While this reformulation certainly does not lead to a resolution of the conjecture, it does suggest two natural generalizations for which we provide some numerical evidence. As these polynomials FN are independently interesting, we further explore their basic properties, giving, among other things, asymptotic estimates on the growth of their coefficients.
A set of natural numbers is primitive if no element of the set divides another. Erdős conjectured that if S is any primitive set, then \sum_{n\in S} 1/(n log n) \le \sum_{n\in ¶} 1/(p log p), where ¶denotes the set of primes. In this paper, we make progress towards this conjecture by restricting the setting to smaller sets of primes. Let P denote any subset of ¶, and let N(P) denote the set of natural numbers all of whose prime factors are in P. We say that P is Erdős-best among primitive subsets of N(P) if the inequality \sum_{n\in S} 1/(n log n) \le \sum_{n\in P} 1/(p log p) holds for every primitive set S contained in N(P). We show that if the sum of the reciprocals of the elements of P is small enough, then P is Erdős-best among primitive subsets of N(P). As an application, we prove that the set of twin primes exceeding 3 is Erdős-best among the corresponding primitive sets. This problem turns out to be related to a similar problem involving multiplicative weights. For any real number t>1, we say that P is t-best among primitive subsets of N(P) if the inequality \sum_{n\in S} n^{-t} \le \sum_{n\in P} p^{-t} holds for every primitive set S contained in N(P). We show that if the sum on the right-hand side of this inequality is small enough, then P is t-best among primitive subsets of N(P).
Comparative prime number theory is the study of the {\em{discrepancies}} of distributions when we compare the number of primes in different residue classes. This work presents a list of the problems being investigated in comparative prime number theory, their generalizations, and an extensive list of references on both historical and current progresses.
The classical Cauchy-Davenport theorem implies the lower bound n+1 for the number of distinct subsums that can be formed from a sequence of n elements of the cyclic group Z_p (when p is prime and n<p). We generalize this theorem to a conjecture for the minimum number of distinct subsums that can be formed from elements of a multiset in (Z_p)^m; the conjecture is expected to be valid for multisets that are not "wasteful" by having too many elements in nontrivial subgroups. We prove this conjecture in (Z_p)^2 for multisets of size p+k, when k is not too large in terms of p.
Let L(s,χ) be a fixed Dirichlet L-function. Given a vertical arithmetic progression of T points on the line ℜ(s)=1/2, we show that ≫TlogT of them are not zeros of L(s,χ). This result provides some theoretical evidence towards the conjecture that all ordinates of zeros of Dirichlet L-functions are linearly independent over the rationals. We also establish an upper bound (depending upon the progression) for the first member of the arithmetic progression that is not a zero of L(s,χ).
Chebyshev was the first to observe a bias in the distribution of primes in residue classes. The general phenomenon is that if a is a nonsquare\mod q and b is a square\mod q, then there tend to be more primes congruent to amodq than bmodq in initial intervals of the positive integers; more succinctly, there is a tendency for π(x;q,a) to exceed π(x;q,b). Rubinstein and Sarnak defined δ(q;a,b) to be the logarithmic density of the set of positive real numbers x for which this inequality holds; intuitively, δ(q;a,b) is the "probability" that π(x;q,a)>π(x;q,b) when x is "chosen randomly". In this paper, we establish an asymptotic series for δ(q;a,b) that can be instantiated with an error term smaller than any negative power of q. This asymptotic formula is written in terms of a variance V(q;a,b) that is originally defined as an infinite sum over all nontrivial zeros of Dirichlet L-functions corresponding to characters\mod q; we show how V(q;a,b) can be evaluated exactly as a finite expression. In addition to providing the exact rate at which δ(q;a,b) converges to 21 as q grows, these evaluations allow us to compare the various density values δ(q;a,b) as a and b vary modulo q; by analyzing the resulting formulas, we can explain and predict which of these densities will be larger or smaller, based on arithmetic properties of the residue classes a and bmodq. For example, we show that if a is a prime power and a′ is not, then δ(q;a,1)<δ(q;a′,1) for all but finitely many moduli q for which both a and a′ are nonsquares. Finally, we establish rigorous numerical bounds for these densities δ(q;a,b) and report on extensive calculations of them.
For each nonprincipal Dirichlet character χ, let nχ be the least n with χ(n)∈/{0,1}. We show that as the average of nχ over all nonprincipal characters χ modulo q is ℓ(q)+o(1), where ℓ(q) denotes the least prime not dividing q. Moreover, if one averages over all nonprincipal characters of modulus at most x, the average approaches a particular limiting value 2.5350541804. We also prove a result of this type for cubic number fields: If one averages over all cubic fields K, ordered by the absolute value of their discriminant, then the mean value of the least rational prime that does not split completely in K is another particular constant 2.1211027269.
A set of positive integers is said to be primitive if no element of the set is a multiple of another. If S is a primitive set and S(x) is the number of elements of S not exceeding x, then a result of Erd\H os implies that ∫2∞(S(t)/t2logt)dt converges. We establish an approximate converse to this theorem, showing that if F satisfies some mild conditions and ∫2∞(F(t)/t2logt)dt converges, then there exists a primitive set S with S(x)≫F(x).
Recent work of Borwein, Choi, and the second author examined a collection of polynomials closely related to the Goldbach conjecture: the polynomial FN is divisible by the Nth cyclotomic polynomial if and only if there is no representation of N as the sum of two odd primes. The coefficients of these polynomials stabilize, as N grows, to a fixed sequence a(m); they derived upper and lower bounds for a(m), and an asymptotic formula for the summatory function A(M) of the sequence, both under the assumption of a famous conjecture of Hardy and Littlewood. In this article we improve these results: we obtain an asymptotic formula for a(m) under the same assumption, and we establish the asymptotic formula for A(M) unconditionally.
A Diophantine m-tuple is a set A of m positive integers such that ab+1 is a perfect square for every pair a,b of distinct elements of A. We derive an asymptotic formula for the number of Diophantine quadruples whose elements are bounded by x. In doing so, we extend two existing tools in ways that might be of independent interest. The Erd\H os-Turán inequality bounds the discrepancy between the number of elements of a sequence that lie in a particular interval modulo 1 and the expected number; we establish a version of this inequality where the interval is allowed to vary. We also adapt an argument of Hooley on the equidistribution of solutions of polynomial congruences to handle reducible quadratic polynomials.
We adapt a number-theoretic technique of Yu to prove a purely analytic theorem: if f(x) is in L^1 and L^2, is nonnegative, and is supported on an interval of length I, then the supremum of the convolution f*f is at least 0.631 \| f \|_1^2 / I. This improves the previous bound of 0.591389 \| f \|_1^2 / I. Consequently, we improve the known bounds on several related number-theoretic problems. For a subset A of {1,2, ..., n}, let g be the maximum multiplicity of any element of the multiset {a+b: a,b in A}. Our main corollary is the inequality gn>0.631|A|^2, which holds uniformly for all g, n, and A.
Since addition is commutative but subtraction is not, the sumset S+S of a finite set S is predisposed to be smaller than the difference set S-S. In this paper, however, we show that each of the three possibilities (|S+S|>|S-S|, |S+S|=|S-S|, |S+S|<|S-S|) occur for a positive proportion of the subsets of {0, 1, ..., n-1}. We also show that the difference |S+S| - |S-S| can take any integer value, and we show that the expected number of omitted differences is asymptotically 6 while the expected number of missing sums is asymptotically 10. Other data and conjectures on the distribution of these quantities are also given.
A symmetric subset of the reals is one that remains invariant under some reflection z --> c-z. We consider, for any 0 < x <= 1, the largest real number D(x) such that every subset of [0,1] with measure greater than x contains a symmetric subset with measure D(x). In this paper we establish upper and lower bounds for D(x) of the same order of magnitude: for example, we prove that D(x) = 2x - 1 for 11/16 <= x <= 1 and that 0.59 x^2 < D(x) < 0.8 x^2 for 0 < x <= 11/16. This continuous problem is intimately connected with a corresponding discrete problem. A set S of integers is called a B*[g] set if for any given m there are at most g ordered pairs (s_1,s_2) \in S \times S with s_1+s_2 = m; in the case g=2, these are better known as Sidon sets. Our lower bound on D(x) implies that every B*[g] set contained in \{1,2,...,n\} has cardinality less than 1.30036 \sqrt{gn}. This improves a result of Green for g >= 30. Conversely, we use a probabilistic construction of B*[g] sets to establish an upper bound on D(x) for small x.
Iteration of the modular l-th power function f(x) = x^l (mod n) provides a common pseudorandom number generator (known as the Blum-Blum-Shub generator when l=2). The period of this pseudorandom number generator is closely related to λ(λ(n)), where λ(n) denotes Carmichael's function, namely the maximal multiplicative order of any integer modulo n. In this paper, we show that for almost all n, the size of λ(λ(n)) is n/exp((1+o(1))(log log n)^2 log log log n). We conjecture an analogous formula for the k-th iterate of λ. We deduce that for almost all n, the psuedorandom number generator described above has at least exp((1+o(1))(log log n)^2 log log log n) disjoint cycles. In addition, we show that this expression is accurate for almost all n under the assumption of the Generalized Riemann Hypothesis for Kummerian fields. We also consider the number of iterations of λit takes to reduce an integer n to 1, proving that this number is less than (1+o(1))(log log n)/log 2 infinitely often and speculating that log log n is the true order of magnitude almost always.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.