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
A subset A of a commutative semigroup X is called a Bh set in X if the only solutions to a1+⋯+ah=b1+⋯+bh (with ai,bi∈A) are the trivial solutions {a1,…,ah}={b1,…,bh} (as multisets). With h=2 and X=Z, these sets are also known as Sidon sets, Golomb Rulers, and Babcock sets. In this work, we generalize constructions of Bose-Chowla and Singer and give the resultant bounds on the diameter of a k element Bh set in Z for small k. We conclude with a list of open problems.
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 a real number x and set of natural numbers A, define x∗A:={xamod1:a∈A}⊆[0,1). We consider relationships between x, A, and the order-type of x∗A. For example, for every irrational x and order-type α, there is an A with x∗A≃α, but if α is a well order, then A must be a thin set. If, however, A is restricted to be a subset of the powers of 2, then not every order type is possible, although arbitrarily large countable well orders arise.
Fix A, a family of subsets of natural numbers, and let GA(n) be the maximum cardinality of a subset of {1,2,...,n} that does not have any subset in A. We consider the general problem of giving upper bounds on GA(n) and give some new upper bounds on some families that are closed under dilation. Specific examples include sets that do not contain any geometric progression of length k with integer ratio, sets that do not contain any geometric progression of length k with rational ratio, and sets of integers that do not contain multiplicative squares, i.e., nontrivial sets of the form {a,ar,as,ars}.
We study the function M(t,n) = Floor[ 1 / {t^(1/n)} ], where t is a positive real number, Floor[.] and {.} are the floor and fractional part functions, respectively. In a recent article in the Monthly, Nathanson proved that if log(t) is rational, then for all but finitely many positive integers n one has M(t,n) = Floor[ n / log(t) - 1/2 ]. We extend this by showing that, without condition on t, all but a zero-density set of integers n satisfy M(t,n) = Floor[ n / log(t) - 1/2 ]. Using a metric result of Schmidt, we show that almost all t have asymptotically log(t) log(x)/12 exceptional n<x. Using continued fractions, we produce uncountably many t that have only finitely many exceptional n, and also give uncountably many explicit t that have infinitely many exceptional n.
A geometric progression of length k and integer ratio is a set of numbers of the form {a,ar,…,ark−1} for some positive real number a and integer r≥2. For each integer k≥3, a greedy algorithm is used to construct a strictly decreasing sequence (ai)i=1∞ of positive real numbers with a1=1 such that the set G(k)=⋃i=1∞(a2i,a2i−1] contains no geometric progression of length k and integer ratio. Moreover, G(k) is a maximal subset of (0,1] that contains no geometric progression of length k and integer ratio. It is also proved that there is a strictly increasing sequence (Ai)i=1∞ of positive integers with A1=1 such that ai=1/Ai for all i=1,2,3,…. The set G(k) gives a new lower bound for the maximum cardinality of a subset of the set of integers {1,2,…,n} that contains no geometric progression of length k and integer ratio.
Let s and k be integers with s \geq 2 and k \geq 2. Let g_k^{(s)}(n) denote the cardinality of the largest subset of the set {1,2,..., n} that contains no geometric progression of length k whose common ratio is a power of s. Let r_k(\ell) denote the cardinality of the largest subset of the set {0,1,2,\ldots, \ell -1\} that contains no arithmetric progression of length k. The limit limn→∞ngk(s)(n)=(s−1)∑m=1∞(s1)min(rk−1(m)) exists and converges to an irrational number.
An improved upper bound is obtained for the density of sequences of positive integers that contain no k-term geometric progression.
For any finite set of integers X, define its sumset X+X to be {x+y: x, y in X}. In a recent paper, Martin and O'Bryant investigated the distribution of |A+A| given the uniform distribution on subsets A of {0, 1, ..., n-1}. They also conjectured the existence of a limiting distribution for |A+A| and showed that the expectation of |A+A| is 2n - 11 + O((3/4)^{n/2}). Zhao proved that the limits m(k) := lim_{n --> oo} Prob(2n-1-|A+A|=k) exist, and that sum_{k >= 0} m(k)=1. We continue this program and give exponentially decaying upper and lower bounds on m(k), and sharp bounds on m(k) for small k. Surprisingly, the distribution is at least bimodal; sumsets have an unexpected bias against missing exactly 7 sums. The proof of the latter is by reduction to questions on the distribution of related random variables, with large scale numerical computations a key ingredient in the analysis. We also derive an explicit formula for the variance of |A+A| in terms of Fibonacci numbers, finding Var(|A+A|) is approximately 35.9658. New difficulties arise in the form of weak dependence between events of the form {x in A+A}, {y in A+A}. We surmount these obstructions by translating the problem to graph theory. This approach also yields good bounds on the probability for A+A missing a consecutive block of length k.
In 1946, Behrend gave a construction of dense finite sets of integers that do not contain 3-term arithmetic progressions. In 1961, Rankin generalized Behrend's construction to sets avoiding k-term arithmetic progressions, and in 2008 Elkin refined Behrend's 3-term construction. In this work, we combine Elkin's refinement and Rankin's generalization. Arithmetic progressions are handled as a special case of polynomial progressions. In 1946, Behrend gave a construction of dense finite sets of integers that do not contain a 3-term arithmetic progression (AP). In 1961, Rankin generalized Behrend's construction to sets avoiding k-term APs. In 2008, Elkin refined Behrend's 3-term construction, and later in 2008, Green & Wolf found a distinct approach (albeit morally similar) that is technically more straightforward. This work combines Elkin's refinement and Rankin's generalization in the Green & Wolf framework. A curious aspect of the construction is that we induct through sets that do not contain a long polynomial progression in order to construct a set without a long AP. The bounds for r_k(N), the largest size of a subset of {1,2,...,N} that does not contain a k element AP, are (where \log=\log_2, for sufficiently large N, with n=\ceiling{\log k}): r_3(N) > N (\sqrt{360}/(e π^{3/2})-ε) \sqrt[4]{2\log N} * 4^{-\sqrt{2 \log N}}, r_k(N) > CN 2^{-n 2^{(n-1)/2} \sqrt[n]{\log N}+\frac{1}{2n}\log\log N}. The improvement over earlier work is in the simplification of the construction, the explicitness of the bound for r_3, and in the \log\log term for general k.
We adapt the construction of subsets of {1, 2, ..., N} that contain no k-term arithmetic progressions to give a relatively thick subset of an arbitrary set of N integers. Particular examples include a thick subset of {1, 4, 9, ..., N^2} that does not contain a 3-term AP, and a positive relative density subset of a random set (contained in {1, 2, ..., n} and having density c n^{-1/(k-1)}) that is free of k-term APs.
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.
Let A be a finite set of integers. For a polynomial f(x_1,...,x_n) with integer coefficients, let f(A) = {f(a_1,...,a_n) : a_1,...,a_n \in A}. In this paper it is proved that for every pair of normalized binary linear forms f(x,y)=u_1x+v_1y and g(x,y)=u_2x+v_2y with integral coefficients, there exist arbitrarily large finite sets of integers A and B such that |f(A)| > |g(A)| and |f(B)| < |g(B)|.
Let r mod m be the least positive residue of r modulo m, and set the height of a pair (r,s) of integers, both relatively prime to m, to be the minimum over k, with 0<k<m, of (k r mod m) + (k s mod m). Denote this quantity by h(m,r,s). We give a formula for the height in terms of the continued fraction of r*s'/m, where s' is the inverse of s modulo m. Now define SPECTRUM to be the set of real numbers x with the property that there is a sequence (m_i,r_i,s_i) with m_i --> infinity, gcd(r_i,m_i)=gcd(s_i,m_i)=1, and m_i^{-1} h(m_i,r_i,s_i) --> x. The main result here is that SPECTRUM is the union of {0} and {1/k : k =1,2,...}.
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.
Zhi-Wei Sun conjectures if k congruence classes are disjoint, then two of the moduli have greatest common divisor at least as large as k. We prove this conjecture for k strictly less than 21.
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.
The set B_{p,r}^q:=\{\floor{nq/p+r} \colon n\in Z \} with integers p, q, r) is a Beatty set with density p/q. We derive a formula for the Fourier transform \hat{B_{p,r}^q}(j):=\sum_{n=1}^p e^{-2 πi j \floor{nq/p+r} / q}. A. S. Fraenkel conjectured that there is essentially one way to partition the integers into m>2 Beatty sets with distinct densities. We conjecture a generalization of this, and use Fourier methods to prove several special cases of our generalized conjecture.
If A is a set of nonnegative integers containing 0, then there is a unique nonempty set B of nonnegative integers such that every positive integer can be written in the form a+b, where a\in A and b\in B, in an even number of ways. We compute the natural density of B for several specific sets A, including the Prouhet-Thue-Morse sequence, {0} \cup {2^n : n \geq 0}, and random sets, and we also study the distribution of densities of B for finite sets A. This problem is motivated by Euler's observation that if A is the set of n that have an odd number of partitions, then B is the set of pentagonal numbers {n(3n+1)/2 : n \in Z}. We also elaborate the connection between this problem and the theory of de Bruijn sequences and linear shift registers.
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.