BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Kevin O'Bryant

Kevin O'Bryant appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.COmath.CA

Catalog footprint

What is connected

19works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

19 published item(s)

preprint2024arXiv

Constructing Thick $B_h$-sets

A subset $A$ of a commutative semigroup $X$ is called a $B_h$ set in $X$ if the only solutions to $a_1+\dots+a_h = b_1 + \cdots +b_h$ (with $a_i,b_i \in A$) are the trivial solutions $\{a_1,\dots,a_h\} = \{b_1,\dots,b_h\}$ (as multisets). With $h=2$ and $X={\mathbb 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 $B_h$ set in $\mathbb Z$ for small $k$. We conclude with a list of open problems.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Counting Zeros of Dirichlet $L$-Functions

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\geq 5/7$. If $\ell=\log\frac{q(T+2)}{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$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Representing Ordinal Numbers with Arithmetically Interesting Sets of Real Numbers

For a real number $x$ and set of natural numbers $A$, define $x \ast A := \{ x a \bmod 1: a\in A\}\subseteq [0,1).$ We consider relationships between $x$, $A$, and the order-type of $x\ast A$. For example, for every irrational $x$ and order-type $α$, there is an $A$ with $x\ast A \simeq α$, 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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Sets of natural numbers with proscribed subsets

Fix $A$, a family of subsets of natural numbers, and let $G_A(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 $G_A(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\}$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The sequence of fractional parts of roots

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A problem of Rankin on sets without geometric progressions

A geometric progression of length $k$ and integer ratio is a set of numbers of the form $\{a,ar,\dots,ar^{k-1}\}$ for some positive real number $a$ and integer $r\geq 2$. For each integer $k \geq 3$, a greedy algorithm is used to construct a strictly decreasing sequence $(a_i)_{i=1}^{\infty}$ of positive real numbers with $a_1 = 1$ such that the set \[ G^{(k)} = \bigcup_{i=1}^{\infty} \left(a_{2i} , a_{2i-1} \right] \] 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 $(A_i)_{i=1}^{\infty}$ of positive integers with $A_1 = 1$ such that $a_i = 1/A_i$ for all $i = 1,2,3,\ldots$. The set $G^{(k)}$ gives a new lower bound for the maximum cardinality of a subset of the set of integers $\{1,2,\dots,n\}$ that contains no geometric progression of length $k$ and integer ratio.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Irrational numbers associated to sequences without geometric progressions

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 \[ \lim_{n\rightarrow \infty} \frac{g_k^{(s)}(n)}{n} = (s-1) \sum_{m=1}^{\infty} \left(\frac{1}{s} \right)^{\min \left(r_k^{-1}(m)\right)} \] exists and converges to an irrational number.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Distribution of Missing Sums in Sumsets

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Sets of integers that do not contain long arithmetic progressions

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Thick subsets that do not contain arithmetic progressions

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.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

The supremum of autoconvolutions, with applications to additive number theory

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.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Binary linear forms over finite sets of integers

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)|.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Gaps in the Spectrum of Heights of Projective Points

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,...}.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Many sets have more sums than differences

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.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

The Symmetric Subset Problem in Continuous Ramsey Theory

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.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

A Discrete Fourier Kernel and Fraenkel's Tiling Conjecture

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.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Reciprocals of Binary Power Series

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.

0 citations0 reviewsNo code linkedOpen access