-
The sum-product problem for integers with few prime factors
Authors:
Brandon Hanson,
Misha Rudnev,
Ilya Shkredov,
Dmitrii Zhelezov
Abstract:
It was asked by E. Szemerédi if, for a finite set $A\subset\mathbb{Z}$, one can improve estimates for $\max\{|A+A|,|A\cdot A|\}$, under the constraint that all integers involved have a bounded number of prime factors -- that is, each $a\in A$ satisfies $ω(a)\leq k$. In this paper, answer Szemerédi's question in the affirmative by showing that this maximum is of order $|A|^{\frac{5}{3}-o(1)}$ provi…
▽ More
It was asked by E. Szemerédi if, for a finite set $A\subset\mathbb{Z}$, one can improve estimates for $\max\{|A+A|,|A\cdot A|\}$, under the constraint that all integers involved have a bounded number of prime factors -- that is, each $a\in A$ satisfies $ω(a)\leq k$. In this paper, answer Szemerédi's question in the affirmative by showing that this maximum is of order $|A|^{\frac{5}{3}-o(1)}$ provided $k\leq (\log|A|)^{1-ε}$ for some $ε>0$. In fact, this will follow from an estimate for additive energy which is best possible up to factors of size $|A|^{o(1)}$.
△ Less
Submitted 6 May, 2023;
originally announced May 2023.
-
Convexity, Superquadratic Growth, and Dot Products
Authors:
Brandon Hanson,
Oliver Roche-Newton,
Steven Senger
Abstract:
Let $P \subset \mathbb R^2$ be a point set with cardinality $N$. We give an improved bound for the number of dot products determined by $P$, proving that, \[ |\{ p \cdot q :p,q \in P \}| \gg N^{2/3+c}. \] A crucial ingredient in the proof of this bound is a new superquadratic expander involving products and shifts. We prove that, for any finite set $X \subset \mathbb R$, there exist $z,z' \in X$ s…
▽ More
Let $P \subset \mathbb R^2$ be a point set with cardinality $N$. We give an improved bound for the number of dot products determined by $P$, proving that, \[ |\{ p \cdot q :p,q \in P \}| \gg N^{2/3+c}. \] A crucial ingredient in the proof of this bound is a new superquadratic expander involving products and shifts. We prove that, for any finite set $X \subset \mathbb R$, there exist $z,z' \in X$ such that \[ \left|\frac{(zX+1)^{(2)}(z'X+1)^{(2)}}{(zX+1)^{(2)}(z'X+1)}\right| \gtrsim |X|^{5/2}. \] This is derived from a more general result concerning growth of sets defined via convexity and sum sets, and which can be used to prove several other expanders with better than quadratic growth. The proof develops arguments from recent work by the first two listed authors and Misha Rudnev, and uses predominantly elementary methods.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Higher Convexity and Iterated Second Moment Estimates
Authors:
Peter J. Bradshaw,
Brandon Hanson,
Misha Rudnev
Abstract:
We prove bounds for the number of solutions to
$$a_1 + \dots + a_k = a_1' + \dots + a_k'$$ over $N$-element sets of reals, which are sufficiently convex or near-convex. A near-convex set will be the image of a set with small additive doubling under a convex function with sufficiently many strictly monotone derivatives. We show, roughly, that every time the number of terms in the equation is doub…
▽ More
We prove bounds for the number of solutions to
$$a_1 + \dots + a_k = a_1' + \dots + a_k'$$ over $N$-element sets of reals, which are sufficiently convex or near-convex. A near-convex set will be the image of a set with small additive doubling under a convex function with sufficiently many strictly monotone derivatives. We show, roughly, that every time the number of terms in the equation is doubled, an additional saving of $1$ in the exponent of the trivial bound $N^{2k-1}$ is made, starting from the trivial case $k=1$. In the context of near-convex sets we also provide explicit dependencies on the additive doubling parameters.
Higher convexity is necessary for such bounds to hold, as evinced by sets of perfect powers of consecutive integers. We exploit these stronger assumptions using an idea of Garaev, rather than the ubiquitous Szemerédi-Trotter theorem, which has not been adapted in earlier results to embrace higher convexity.
As an application we prove small improvements for the best known bounds for sumsets of convex sets under additional convexity assumptions.
△ Less
Submitted 22 April, 2021;
originally announced April 2021.
-
Strong one-sided density without uniform density
Authors:
Zoltán Buczolich,
Bruce Hanson,
Balázs Maga,
Gáspár Vértesy
Abstract:
In this paper we give an example of a closed, strongly one-sided dense set which is not of uniform density type. We also show that there is a set of uniform density type which is not of strong uniform density type.
In this paper we give an example of a closed, strongly one-sided dense set which is not of uniform density type. We also show that there is a set of uniform density type which is not of strong uniform density type.
△ Less
Submitted 12 August, 2021; v1 submitted 23 January, 2021;
originally announced January 2021.
-
Sets where Lip $f$ is infinite and lip $f$ is finite
Authors:
Bruce Hanson
Abstract:
We characterize the subsets $E \subset \mathbb{R}$ for which there exists a continuous real valued function $f: \mathbb{R}\to\mathbb{R}$ such that lip $f$ is finite everywhere and Lip $f$ is infinite exactly on $E$.
We characterize the subsets $E \subset \mathbb{R}$ for which there exists a continuous real valued function $f: \mathbb{R}\to\mathbb{R}$ such that lip $f$ is finite everywhere and Lip $f$ is infinite exactly on $E$.
△ Less
Submitted 26 July, 2020;
originally announced July 2020.
-
A question of Bukh on sums of dilates
Authors:
Brandon Hanson,
Giorgis Petridis
Abstract:
We answer in the affirmative a question of Bukh on the cardinality of the dilate sum $A + 2 \cdot A$.
We answer in the affirmative a question of Bukh on the cardinality of the dilate sum $A + 2 \cdot A$.
△ Less
Submitted 15 September, 2021; v1 submitted 15 June, 2020;
originally announced June 2020.
-
Higher convexity and iterated sum sets
Authors:
Brandon Hanson,
Oliver Roche-Newton,
Misha Rudnev
Abstract:
Let $f$ be a smooth real function with strictly monotone first $k$ derivatives. We show that for a finite set $A$, with $|A+A|\leq K|A|$, $|2^kf(A)-(2^k-1)f(A)|\gg_k |A|^{k+1-o(1)}/K^{O_k(1)}$. We deduce several new sum-product type implications, e.g. that $A+A$ being small implies unbounded growth for a many enough times iterated product set $A \cdots A$.
Let $f$ be a smooth real function with strictly monotone first $k$ derivatives. We show that for a finite set $A$, with $|A+A|\leq K|A|$, $|2^kf(A)-(2^k-1)f(A)|\gg_k |A|^{k+1-o(1)}/K^{O_k(1)}$. We deduce several new sum-product type implications, e.g. that $A+A$ being small implies unbounded growth for a many enough times iterated product set $A \cdots A$.
△ Less
Submitted 30 April, 2020;
originally announced May 2020.
-
Littlewood's problem for sets with multidimensional structure
Authors:
Brandon Hanson
Abstract:
We give $L^1$-norm estimates for exponential sums of a finite sets $A$ consisting of integers or lattice points. Under the assumption that $A$ possesses sufficient multidimensional structure, our estimates are stronger than those of McGehee-Pigno-Smith and Konyagin. These theorems improve upon past work of Petridis.
We give $L^1$-norm estimates for exponential sums of a finite sets $A$ consisting of integers or lattice points. Under the assumption that $A$ possesses sufficient multidimensional structure, our estimates are stronger than those of McGehee-Pigno-Smith and Konyagin. These theorems improve upon past work of Petridis.
△ Less
Submitted 18 June, 2020; v1 submitted 3 March, 2020;
originally announced March 2020.
-
Characterization of lip sets
Authors:
Zoltán Buczolich,
Bruce Hanson,
Balázs Maga,
Gáspár Vértesy
Abstract:
We denote the local ``little" Lipschitz constant of a function $f: {\mathbb R}\to { {\mathbb R}}$ by $ {\mathrm{lip}}f$. In this paper we settle the following question: For which sets $E {\subset} { {\mathbb R}}$ is it possible to find a continuous function $f$ such that $ {\mathrm{lip}}f=\mathbf{1} _E$?
In an earlier paper we introduced the concept of strongly one-sided dense sets. Our main res…
▽ More
We denote the local ``little" Lipschitz constant of a function $f: {\mathbb R}\to { {\mathbb R}}$ by $ {\mathrm{lip}}f$. In this paper we settle the following question: For which sets $E {\subset} { {\mathbb R}}$ is it possible to find a continuous function $f$ such that $ {\mathrm{lip}}f=\mathbf{1} _E$?
In an earlier paper we introduced the concept of strongly one-sided dense sets. Our main result characterizes $ {\mathrm{lip}}1$ sets as countable unions of closed sets which are strongly one-sided dense.
We also show that a stronger statement is not true i.e. there are strongly one-sided dense $F _σ$ sets which are not $ {\mathrm{lip}}1$.
△ Less
Submitted 15 January, 2020;
originally announced January 2020.
-
Lipschitz one sets modulo sets of measure zero
Authors:
Z. Buczolich,
B. Hanson,
B. Maga,
G. Vértesy
Abstract:
We denote the local "little" and "big" Lipschitz functions of a function $f: {\mathbb R}\to {\mathbb R}$ by $ {\mathrm {lip}}f$ and $ {\mathrm {Lip}}f$. In this paper we continue our research concerning the following question. Given a set $E {\subset} {\mathbb R}$ is it possible to find a continuous function $f$ such that $ {\mathrm {lip}}f=\mathbf{1}_E$ or $ {\mathrm {Lip}}f=\mathbf{1}_E$?
In g…
▽ More
We denote the local "little" and "big" Lipschitz functions of a function $f: {\mathbb R}\to {\mathbb R}$ by $ {\mathrm {lip}}f$ and $ {\mathrm {Lip}}f$. In this paper we continue our research concerning the following question. Given a set $E {\subset} {\mathbb R}$ is it possible to find a continuous function $f$ such that $ {\mathrm {lip}}f=\mathbf{1}_E$ or $ {\mathrm {Lip}}f=\mathbf{1}_E$?
In giving some partial answers to this question uniform density type (UDT) and strong uniform density type (SUDT) sets play an important role.
In this paper we show that modulo sets of zero Lebesgue measure any measurable set coincides with a ${\mathrm {Lip}} 1$ set.
On the other hand, we prove that there exists a measurable SUDT set $E$ such that for any $G_δ$ set $\widetilde{E}$ satisfying $|EΔ\widetilde{E}|=0$ the set $\widetilde{E}$ does not have UDT. Combining these two results we obtain that there exists ${\mathrm {Lip}} 1$ sets not having UDT, that is, the converse of one of our earlier results does not hold.
△ Less
Submitted 20 December, 2019; v1 submitted 1 July, 2019;
originally announced July 2019.
-
Big and little Lipschitz one sets
Authors:
Zoltán Buczolich,
Bruce Hanson,
Balázs Maga,
Gáspár Vértesy
Abstract:
Given a continuous function $f: {\mathbb R}\to {\mathbb R}$ we denote the so-called "big Lip" and "little lip" functions by $ {\mathrm {Lip}} f$ and $ {\mathrm {lip}} f$ respectively}. In this paper we are interested in the following question. Given a set $E {\subset} {\mathbb R}$ is it possible to find a continuous function $f$ such that $ {\mathrm {lip}} f=\mathbf{1}_E$ or…
▽ More
Given a continuous function $f: {\mathbb R}\to {\mathbb R}$ we denote the so-called "big Lip" and "little lip" functions by $ {\mathrm {Lip}} f$ and $ {\mathrm {lip}} f$ respectively}. In this paper we are interested in the following question. Given a set $E {\subset} {\mathbb R}$ is it possible to find a continuous function $f$ such that $ {\mathrm {lip}} f=\mathbf{1}_E$ or $ {\mathrm {Lip}} f=\mathbf{1}_E$?
For monotone continuous functions we provide the rather straightforward answer.
For arbitrary continuous functions the answer is much more difficult to find. We introduce the concept of uniform density type (UDT) and show that if $E$ is $G_δ$ and UDT then there exists a continuous function $f$ satisfying $ {\mathrm {Lip}} f =\mathbf{1}_E$, that is, $E$ is a $ {\mathrm {Lip}} 1$ set.
In the other direction we show that every ${\mathrm {Lip}} 1$ set is $G_δ$ and weakly dense. We also show that the converse of this statement is not true, namely that there exist weakly dense $G_{δ}$ sets which are not $ {\mathrm {Lip}} 1$.
We say that a set $E\subset \mathbb{R}$ is ${\mathrm {lip}} 1$ if there is a continuous function $f$ such that ${\mathrm {lip}} f=\mathbf{1}_E$. We introduce the concept of strongly one-sided density and show that every ${\mathrm {lip}} 1$ set is a strongly one-sided dense $F_σ$ set.
△ Less
Submitted 10 February, 2021; v1 submitted 27 May, 2019;
originally announced May 2019.
-
Refined Estimates Concerning Sumsets Contained in the Roots of Unity
Authors:
Brandon Hanson,
Giorgis Petridis
Abstract:
We prove that the clique number of the Paley graph is at most $\sqrt{p/2} + 1$, and that any supposed additive decompositions of the set of quadratic residues can only come from co-Sidon sets.
We prove that the clique number of the Paley graph is at most $\sqrt{p/2} + 1$, and that any supposed additive decompositions of the set of quadratic residues can only come from co-Sidon sets.
△ Less
Submitted 6 May, 2020; v1 submitted 22 May, 2019;
originally announced May 2019.
-
Long regularly-spaced and convex sequences in dense sets of integers
Authors:
Brandon Hanson
Abstract:
Let A be a set of integers dense in a finite interval. We establish upper and lower bounds for the longest regularly-spaced and convex subsets of A and of A-A.
Let A be a set of integers dense in a finite interval. We establish upper and lower bounds for the longest regularly-spaced and convex subsets of A and of A-A.
△ Less
Submitted 1 September, 2020; v1 submitted 22 March, 2019;
originally announced March 2019.
-
On iterated product sets with shifts II
Authors:
Brandon Hanson,
Oliver Roche-Newton,
Dmitrii Zhelezov
Abstract:
The main result of this paper is the following: for all $b \in \mathbb Z$ there exists $k=k(b)$ such that \[ \max \{ |A^{(k)}|, |(A+u)^{(k)}| \} \geq |A|^b, \] for any finite $A \subset \mathbb Q$ and any non-zero $u \in \mathbb Q$. Here, $|A^{(k)}|$ denotes the $k$-fold product set $\{a_1\cdots a_k : a_1, \dots, a_k \in A \}$.
Furthermore, our method of proof also gives the following…
▽ More
The main result of this paper is the following: for all $b \in \mathbb Z$ there exists $k=k(b)$ such that \[ \max \{ |A^{(k)}|, |(A+u)^{(k)}| \} \geq |A|^b, \] for any finite $A \subset \mathbb Q$ and any non-zero $u \in \mathbb Q$. Here, $|A^{(k)}|$ denotes the $k$-fold product set $\{a_1\cdots a_k : a_1, \dots, a_k \in A \}$.
Furthermore, our method of proof also gives the following $l_{\infty}$ sum-product estimate. For all $γ>0$ there exists a constant $C=C(γ)$ such that for any $A \subset \mathbb Q$ with $|AA| \leq K|A|$ and any $c_1,c_2 \in \mathbb Q \setminus \{0\}$, there are at most $K^C|A|^γ$ solutions to \[ c_1x + c_2y =1 ,\,\,\,\,\,\,\, (x,y) \in A \times A. \] In particular, this result gives a strong bound when $K=|A|^ε$, provided that $ε>0$ is sufficiently small, and thus improves on previous bounds obtained via the Subspace Theorem.
In further applications we give a partial structure theorem for point sets which determine many incidences and prove that sum sets grow arbitrarily large by taking sufficiently many products.
We utilise a query-complexity analogue of the polynomial Freiman-Ruzsa conjecture, due to Zhelezov and Pálvölgyi. This new tool replaces the role of the complicated setup of Bourgain and Chang, which we had previously used. Furthermore, there is a better quantitative dependence between the parameters.
△ Less
Submitted 21 September, 2020; v1 submitted 5 June, 2018;
originally announced June 2018.
-
Type $1$ and $2$ sets for series of translates of functions
Authors:
Zoltán Buczolich,
Bruce Hanson,
Balázs Maga,
Gáspár Vértesy
Abstract:
Suppose $Λ$ is a discrete infinite set of nonnegative real numbers. We say that $ Λ$ is type $1$ if the series $s(x)=\sum_{λ\inΛ}f(x+λ)$ satisfies a zero-one law. This means that for any non-negative measurable $f: {\mathbb R}\to [0,+ {\infty})$ either the convergence set $C(f, Λ)=\{x: s(x)<+ {\infty} \}= {\mathbb R}$ modulo sets of Lebesgue zero, or its complement the divergence set…
▽ More
Suppose $Λ$ is a discrete infinite set of nonnegative real numbers. We say that $ Λ$ is type $1$ if the series $s(x)=\sum_{λ\inΛ}f(x+λ)$ satisfies a zero-one law. This means that for any non-negative measurable $f: {\mathbb R}\to [0,+ {\infty})$ either the convergence set $C(f, Λ)=\{x: s(x)<+ {\infty} \}= {\mathbb R}$ modulo sets of Lebesgue zero, or its complement the divergence set $D(f, Λ)=\{x: s(x)=+ {\infty} \}= {\mathbb R}$ modulo sets of measure zero.
If $ Λ$ is not type $1$ we say that $ Λ$ is type 2.
The exact characterization of type $1$ and type $2$ sets is not known. In this paper we continue our study of the properties of type $1$ and $2$ sets. We discuss sub and supersets of type $1$ and $2$ sets and we give a complete and simple characterization of a subclass of dyadic type $1$ sets. We discuss the existence of type $1$ sets containing infinitely many algebraically independent elements. Finally, we consider unions and Minkowski sums of type $1$ and $2$ sets.
△ Less
Submitted 31 May, 2018;
originally announced May 2018.
-
Random constructions for translates of non-negative functions
Authors:
Zoltán Buczolich,
Bruce Hanson,
Balázs Maga,
Gáspár Vértesy
Abstract:
Suppose $Λ$ is a discrete infinite set of nonnegative real numbers. We say that $ Λ$ is type $2$ if the series $s(x)=\sum_{λ\inΛ}f(x+λ)$ does not satisfy a zero-one law. This means that we can find a non-negative measurable "witness function"
$f: {\mathbb R}\to [0,+ {\infty})$ such that both the convergence set $C(f, Λ)=\{x: s(x)<+ {\infty} \}$ and its complement the divergence set…
▽ More
Suppose $Λ$ is a discrete infinite set of nonnegative real numbers. We say that $ Λ$ is type $2$ if the series $s(x)=\sum_{λ\inΛ}f(x+λ)$ does not satisfy a zero-one law. This means that we can find a non-negative measurable "witness function"
$f: {\mathbb R}\to [0,+ {\infty})$ such that both the convergence set $C(f, Λ)=\{x: s(x)<+ {\infty} \}$ and its complement the divergence set $D(f, Λ)=\{x: s(x)=+ {\infty} \}$ are of positive Lebesgue measure. If $ Λ$ is not type $2$ we say that $ Λ$ is type $1$.
The main result of our paper answers a question raised by Z. Buczolich, J-P. Kahane, and D. Mauldin. By a random construction we show that one can always choose a witness function which is the characteristic function of a measurable set.
We also consider the effect on the type of a set $ Λ$ if we randomly delete its elements.
Motivated by results concerning weighted sums $\sum c_n f(nx)$ and the Khinchin conjecture, we also discuss some results about weighted sums
$\sum_{n=1}^{\infty}c_n f(x+λ_n)$.
△ Less
Submitted 27 April, 2018;
originally announced April 2018.
-
On iterated product sets with shifts
Authors:
Brandon Hanson,
Oliver Roche-Newton,
Dmitrii Zhelezov
Abstract:
We prove that, for any finite set $A \subset \mathbb Q$ with $|AA| \leq K|A|$ and any positive integer $k$, the $k$-fold product set of the shift $A+1$ satisfies the bound $$| \{(a_1+1)(a_2+1) \cdots (a_k+1) : a_i \in A \}| \geq \frac{|A|^k}{(8k^4)^{kK}}. $$ This result is essentially optimal when $K$ is of the order $c\log|A|$, for a sufficiently small constant $c=c(k)$.
Our main tool is a mult…
▽ More
We prove that, for any finite set $A \subset \mathbb Q$ with $|AA| \leq K|A|$ and any positive integer $k$, the $k$-fold product set of the shift $A+1$ satisfies the bound $$| \{(a_1+1)(a_2+1) \cdots (a_k+1) : a_i \in A \}| \geq \frac{|A|^k}{(8k^4)^{kK}}. $$ This result is essentially optimal when $K$ is of the order $c\log|A|$, for a sufficiently small constant $c=c(k)$.
Our main tool is a multiplicative variant of the $Λ$-constants used in harmonic analysis, applied to Dirichlet polynomials.
△ Less
Submitted 24 January, 2018;
originally announced January 2018.
-
On sets where $\operatorname{lip} f$ is finite
Authors:
Zoltán Buczolich,
Bruce Hanson,
Martin Rmoutil,
Thomas Zürcher
Abstract:
Given a function $f\colon \mathbb{R}\to \mathbb{R}$, the so-called "little lip" function $\operatorname{lip} f$ is defined as follows: \begin{equation*} \operatorname{lip}
f(x)=\liminf_{r{\scriptscriptstyle \searrow} 0}\sup_{|x-y|\le r} \frac{|f(y)-f(x)|}{r}. \end{equation*} We show that if $f$ is continuous on $\mathbb{R}$, then the set where $\operatorname{lip} f$ is infinite is a countable un…
▽ More
Given a function $f\colon \mathbb{R}\to \mathbb{R}$, the so-called "little lip" function $\operatorname{lip} f$ is defined as follows: \begin{equation*} \operatorname{lip}
f(x)=\liminf_{r{\scriptscriptstyle \searrow} 0}\sup_{|x-y|\le r} \frac{|f(y)-f(x)|}{r}. \end{equation*} We show that if $f$ is continuous on $\mathbb{R}$, then the set where $\operatorname{lip} f$ is infinite is a countable union of a countable intersection of closed sets (that is an $F_{σδ}$ set). On the other hand, given a countable union of closed sets $E$, we construct a continuous function $f$ such that $\operatorname{lip} f$ is infinite exactly on $E$. A further result is that for the typical continuous function $f$ on the real line $\operatorname{lip} f$ vanishes almost everywhere.
△ Less
Submitted 27 May, 2018; v1 submitted 28 August, 2017;
originally announced August 2017.
-
Additive Correlation and the Inverse Problem for the Large Sieve
Authors:
Brandon Hanson
Abstract:
Let $A\subset [1,N]$ be a set of positive integers with $|A|\gg \sqrt N$. We show that if avoids about $p/2$ residue classes modulo $p$ for each prime $p$, the $A$ must correlate additively with the squares $S=\{n^2:1\leq n\leq \sqrt N\}$, in the sense that we have the additive energy estimate $E(A,S)\gg N\log N$. This is, in a sense, optimal.
Let $A\subset [1,N]$ be a set of positive integers with $|A|\gg \sqrt N$. We show that if avoids about $p/2$ residue classes modulo $p$ for each prime $p$, the $A$ must correlate additively with the squares $S=\{n^2:1\leq n\leq \sqrt N\}$, in the sense that we have the additive energy estimate $E(A,S)\gg N\log N$. This is, in a sense, optimal.
△ Less
Submitted 27 September, 2017; v1 submitted 21 June, 2017;
originally announced June 2017.
-
The Density of Numbers Represented by Diagonal Forms of Large Degree
Authors:
Brandon Hanson,
Asif Zaman
Abstract:
Let $s \geq 3$ be a fixed positive integer and $a_1,\dots,a_s \in \mathbb{Z}$ be arbitrary. We show that, on average over $k$, the density of numbers represented by the degree $k$ diagonal form \[ a_1 x_1^k + \cdots + a_s x_s^k \] decays rapidly with respect to $k$.
Let $s \geq 3$ be a fixed positive integer and $a_1,\dots,a_s \in \mathbb{Z}$ be arbitrary. We show that, on average over $k$, the density of numbers represented by the degree $k$ diagonal form \[ a_1 x_1^k + \cdots + a_s x_s^k \] decays rapidly with respect to $k$.
△ Less
Submitted 13 June, 2017;
originally announced June 2017.
-
The Additive Structure of Cartesian Products Spanning Few Distinct Distances
Authors:
Brandon Hanson
Abstract:
Guth and Katz proved that any point set $\mathcal P$ in the plane determines $Ω(|\mathcal P|/\log|\mathcal P|)$ distinct distances. We show that when near to this lower bound, a point set $\mathcal P$ of the form $A\times A$ must satisfy $|A-A|\ll |A|^{2-1/8}$.
Guth and Katz proved that any point set $\mathcal P$ in the plane determines $Ω(|\mathcal P|/\log|\mathcal P|)$ distinct distances. We show that when near to this lower bound, a point set $\mathcal P$ of the form $A\times A$ must satisfy $|A-A|\ll |A|^{2-1/8}$.
△ Less
Submitted 14 November, 2016; v1 submitted 12 July, 2016;
originally announced July 2016.
-
The Least Number with Prescribed Legendre Symbols
Authors:
Brandon Hanson,
Robert C. Vaughan,
Ruixiang Zhang
Abstract:
In this article we estimate the number of integers up to $X$ which can be represented by a positive-definite, binary integral quadratic form of discriminant which is small relative to $X$. This follows from understanding the vector of signs when computing the Legendre symbol of small integers $n$ at multiple primes.
In this article we estimate the number of integers up to $X$ which can be represented by a positive-definite, binary integral quadratic form of discriminant which is small relative to $X$. This follows from understanding the vector of signs when computing the Legendre symbol of small integers $n$ at multiple primes.
△ Less
Submitted 28 October, 2016; v1 submitted 18 May, 2016;
originally announced May 2016.
-
Estimates for Character Sums with Various Convolutions
Authors:
Brandon Hanson
Abstract:
We provide estimates for sums of the form \[\left|\sum_{a\in A}\sum_{b\in B}\sum_{c\in C}χ(a+b+c)\right|\] and \[\left|\sum_{a\in A}\sum_{b\in B}\sum_{c\in C}\sum_{d\in D}χ(a+b+cd)\right|\] when $A,B,C,D\subset \mathbb F_p$, the field with $p$ elements and $χ$ is a non-trivial multiplicative character modulo $p$.
We provide estimates for sums of the form \[\left|\sum_{a\in A}\sum_{b\in B}\sum_{c\in C}χ(a+b+c)\right|\] and \[\left|\sum_{a\in A}\sum_{b\in B}\sum_{c\in C}\sum_{d\in D}χ(a+b+cd)\right|\] when $A,B,C,D\subset \mathbb F_p$, the field with $p$ elements and $χ$ is a non-trivial multiplicative character modulo $p$.
△ Less
Submitted 14 September, 2015;
originally announced September 2015.
-
On distinct perpendicular bisectors and pinned distances in finite fields
Authors:
Brandon Hanson,
Ben Lund,
Oliver Roche-Newton
Abstract:
Given a set of points $P \subset \mathbb F_q^2$ such that $|P|\geq q^{3/2}$ it is established that $|P|$ determines $Ω(q^2)$ distinct perpendicular bisectors. It is also proven that, if $|P| \geq q^{4/3}$, then for a positive proportion of points $a \in P$, we have $$|\{\| a- b\|: b \in P\}|=Ω(q),$$ where $\|a- b\|$ is the distance between points $a$ and $b$. The latter result represents an improv…
▽ More
Given a set of points $P \subset \mathbb F_q^2$ such that $|P|\geq q^{3/2}$ it is established that $|P|$ determines $Ω(q^2)$ distinct perpendicular bisectors. It is also proven that, if $|P| \geq q^{4/3}$, then for a positive proportion of points $a \in P$, we have $$|\{\| a- b\|: b \in P\}|=Ω(q),$$ where $\|a- b\|$ is the distance between points $a$ and $b$. The latter result represents an improvement on a result of Chapman et al. (arxiv:0903.4218).
△ Less
Submitted 28 July, 2016; v1 submitted 4 December, 2014;
originally announced December 2014.
-
Character sums over Bohr sets
Authors:
Brandon Hanson
Abstract:
We prove character sum estimates for additive Bohr subsets modulo a prime. These estimates are analogous to classical character sum bounds of Polya-Vinogradov and Burgess. These estimates are applied to obtain results on recurrence mod $p$ by special elements.
We prove character sum estimates for additive Bohr subsets modulo a prime. These estimates are analogous to classical character sum bounds of Polya-Vinogradov and Burgess. These estimates are applied to obtain results on recurrence mod $p$ by special elements.
△ Less
Submitted 28 April, 2015; v1 submitted 28 September, 2014;
originally announced September 2014.
-
Nonreversal and nonrepeating quantum walks
Authors:
T. J. Proctor,
K. E. Barr,
B. Hanson,
S. Martiel,
V. Pavlovic,
A. Bullivant,
V. M. Kendon
Abstract:
We introduce a variation of the discrete time quantum walk, the nonreversal quantum walk, which does not step back onto a position which it has just occupied. This allows us to simulate a dimer and we achieve it by introducing a new type of coin operator. The nonrepeating walk, which never moves in the same direction in consecutive time steps, arises by a permutation of this coin operator. We desc…
▽ More
We introduce a variation of the discrete time quantum walk, the nonreversal quantum walk, which does not step back onto a position which it has just occupied. This allows us to simulate a dimer and we achieve it by introducing a new type of coin operator. The nonrepeating walk, which never moves in the same direction in consecutive time steps, arises by a permutation of this coin operator. We describe the basic properties of both walks and prove that the even-order joint moments of the nonrepeating walker are independent of the initial condition, being determined by five parameters derived from the coin instead. Numerical evidence suggests that the same is the case for the nonreversal walk. This contrasts strongly with previously studied coins, such as the Grover operator, where the initial condition can be used to control the standard deviation of the walker.
△ Less
Submitted 26 June, 2014; v1 submitted 8 March, 2013;
originally announced March 2013.
-
Capturing Forms in Dense Subsets of Finite Fields
Authors:
Brandon Hanson
Abstract:
An open problem of arithmetic Ramsey theory asks if given a finite $r$-colouring $c:\mathbb{N}\to\{1,...,r\}$ of the natural numbers, there exist $x,y\in \mathbb{N}$ such that $c(xy)=c(x+y)$ apart from the trivial solution $x=y=2$. More generally, one could replace $x+y$ with a binary linear form and $xy$ with a binary quadratic form. In this paper we examine the analogous problem in a finite fiel…
▽ More
An open problem of arithmetic Ramsey theory asks if given a finite $r$-colouring $c:\mathbb{N}\to\{1,...,r\}$ of the natural numbers, there exist $x,y\in \mathbb{N}$ such that $c(xy)=c(x+y)$ apart from the trivial solution $x=y=2$. More generally, one could replace $x+y$ with a binary linear form and $xy$ with a binary quadratic form. In this paper we examine the analogous problem in a finite field $\mathbb{F}_q$. Specifically, given a linear form $L$ and a quadratic from $Q$ in two variables, we provide estimates on the necessary size of $A\subset \mathbb{F}_q$ to guarantee that $L(x,y)$ and $Q(x,y)$ are elements of $A$ for some $x,y\in\mathbb{F}_q$.
△ Less
Submitted 29 November, 2012; v1 submitted 25 November, 2012;
originally announced November 2012.
-
The n-point Condition and Rough CAT(0)
Authors:
S. M. Buckley,
B. Hanson
Abstract:
We show that for n > 4 a length space (X,d) satisfies a rough n-point condition if and only it it is rough CAT(0).
We show that for n > 4 a length space (X,d) satisfies a rough n-point condition if and only it it is rough CAT(0).
△ Less
Submitted 26 October, 2012;
originally announced October 2012.
-
The Distances to Open Clusters from Main-Sequence Fitting. III. Improved Accuracy with Empirically Calibrated Isochrones
Authors:
Deokkeun An,
Donald M. Terndrup,
Marc H. Pinsonneault,
Diane B. Paulson,
Robert B. Hanson,
John R. Stauffer
Abstract:
We continue our series of papers on open cluster distances with a critical assessment of the accuracy of main-sequence fitting using isochrones that employ empirical corrections to the color-temperature relations. We use four nearby open clusters with multicolor photometry and accurate metallicities and present a new metallicity for Praesepe ([Fe/H] = +0.11 +/- 0.03) from high-resolution spectra…
▽ More
We continue our series of papers on open cluster distances with a critical assessment of the accuracy of main-sequence fitting using isochrones that employ empirical corrections to the color-temperature relations. We use four nearby open clusters with multicolor photometry and accurate metallicities and present a new metallicity for Praesepe ([Fe/H] = +0.11 +/- 0.03) from high-resolution spectra. The internal precision of distance estimates is about a factor of 5 better than the case without the color calibrations. After taking into account all major systematic errors, we obtain distances accurate to about 2%-3% when there exists a good metallicity estimate. Metallicities accurate to better than 0.1 dex may be obtained from BVIcKs photometry alone. We also derive a helium abundance for the Pleiades of Y = 0.279 +/- 0.015, which is equal within the errors to the Sun's initial helium abundance and that of the Hyades. Our best estimates of distances are (m - M)_0 = 6.33 +/- 0.04, 8.03 +/- 0.04, and 9.61 +/- 0.03 to Praesepe, NGC 2516, and M67, respectively. Our Pleiades distance at the spectroscopic metallicity, (m - M)_0 = 5.66 +/- 0.01 (internal) +/- 0.05 (systematic), is in excellent agreement with several geometric distance measurements. We have made calibrated isochrones for -0.3 <= [Fe/H] <= +0.2 available at http://www.astronomy.ohio-state.edu/iso/ .
△ Less
Submitted 13 January, 2007; v1 submitted 24 July, 2006;
originally announced July 2006.
-
A Hot DQ White Dwarf in the Open Star Cluster M35
Authors:
Kurtis A. Williams,
James Liebert,
Michael Bolte,
Robert B. Hanson
Abstract:
We report the discovery of a hot DQ white dwarf, NGC 2168:LAWDS 28, that is a likely member of the 150-Myr old cluster NGC 2168 (Messier 35). The spectrum of the white dwarf is dominated by CII features. The effective temperature is difficult to estimate but likely > 20,000 K based on the temperatures of hot DQs with similar spectra. NGC2168:LAWDS 28 provides further evidence that hot DQs may be…
▽ More
We report the discovery of a hot DQ white dwarf, NGC 2168:LAWDS 28, that is a likely member of the 150-Myr old cluster NGC 2168 (Messier 35). The spectrum of the white dwarf is dominated by CII features. The effective temperature is difficult to estimate but likely > 20,000 K based on the temperatures of hot DQs with similar spectra. NGC2168:LAWDS 28 provides further evidence that hot DQs may be the ``missing'' high-mass helium-atmosphere white dwarfs. Based on published studies, we find that the DBA WD LP 475-242 is likely a member of the Hyades open cluster, as often assumed. These two white dwarfs are the entire sample of known He-atmosphere white dwarfs in open clusters with turnoff masses >2 solar masses. Based on the number of known cluster DA white dwarfs and a redetermination of the H-atmosphere:He-atmosphere ratio, commonly known as the DA:DB ratio, we re-examine the hypothesis that the H- to He-atmosphere ratio in open clusters is the same as the ratio in the field. Under this hypothesis, we calculate that five He-atmosphere WDs are expected to have been discovered, with a probability of finding fewer than three He-atmosphere white dwarfs of 0.08, or at the ~ 2-sigma level.
△ Less
Submitted 19 April, 2006;
originally announced April 2006.
-
Lick Northern Proper Motion Program. III. Lick NPM2 Catalog
Authors:
Robert B. Hanson,
Arnold R. Klemola,
Burton F. Jones,
David G. Monet
Abstract:
The Lick Northern Proper Motion (NPM) program, a two-epoch (1947-1988) photographic survey of the northern two-thirds of the sky (Dec. > -23 deg), has measured absolute proper motions, on an inertial system defined by distant galaxies, for 380,000 stars from 8 <B < 18. The 1993 NPM1 Catalog contains 148,940 stars in 899 fields outside the Milky Way's zone of avoidance. The 2003 NPM2 Catalog cont…
▽ More
The Lick Northern Proper Motion (NPM) program, a two-epoch (1947-1988) photographic survey of the northern two-thirds of the sky (Dec. > -23 deg), has measured absolute proper motions, on an inertial system defined by distant galaxies, for 380,000 stars from 8 <B < 18. The 1993 NPM1 Catalog contains 148,940 stars in 899 fields outside the Milky Way's zone of avoidance. The 2003 NPM2 Catalog contains 232,062 stars in the remaining 347 NPM fields near the plane of the Milky Way. This paper describes the NPM2 star selection, plate measurements, astrometric and photometric data reductions, and catalog compilation. The NPM2 Catalog contains 120,000 faint (B > 14) anonymous stars for astrometry and galactic studies, 92,000 bright (B < 14) positional reference stars, and 35,000 special stars chosen for astrophysical interest. The NPM2 proper motions are on the ICRS system, via Tycho-2 stars, to an accuracy of 0.5 mas/yr in each field. RMS proper motion precision is 6 mas/yr. Positional errors average 80 mas at the mean plate epoch 1968, and 200 mas at the NPM2 catalog epoch 2000. NPM2 photographic photometry errors average 0.18 mag in B, and 0.20 mag in B-V. The NPM2 Catalog and the updated (to J2000) NPM1 Catalog are available at the CDS Strasbourg data center and on the NPM WWW site (http://www.ucolick.org/~npm). The NPM2 Catalog completes the Lick Northern Proper Motion program after a half-century of work by three generations of Lick Observatory astronomers. The NPM Catalogs will serve as a database for research in galactic structure, stellar kinematics, and astrometry.
△ Less
Submitted 7 June, 2004;
originally announced June 2004.
-
The Distances to Open Clusters as Derived from Main-sequence Fitting. II. Construction of Empirically Calibrated Isochrones
Authors:
M. H. Pinsonneault,
D. M. Terndrup,
R. B. Hanson,
J. R. Stauffer
Abstract:
We continue our series of papers on open cluster distances by comparing multicolor photometry of single stars in the Hyades to theoretical isochrones constructed with various color-temperature relations. After verifying that the isochrone effective temperatures agree well with spectroscopically determined values, we argue that mismatches between the photometry and the theoretical colors likely a…
▽ More
We continue our series of papers on open cluster distances by comparing multicolor photometry of single stars in the Hyades to theoretical isochrones constructed with various color-temperature relations. After verifying that the isochrone effective temperatures agree well with spectroscopically determined values, we argue that mismatches between the photometry and the theoretical colors likely arise from systematic errors in the color-temperature relations. We then describe a method for empirically correcting the isochrones to match the photometry, and discuss the dependence of the isochrone luminosity on metallicity.
△ Less
Submitted 23 September, 2003;
originally announced September 2003.
-
The Distances to Open Clusters from Main-Sequence Fitting. I. New Models and a Comparison to the Properties of the Hyades Eclipsing Binary vB 22
Authors:
M. H. Pinsonneault,
D. M. Terndrup,
R. B. Hanson,
J. R. Stauffer
Abstract:
In the first of a new series of papers on open cluster distances, we use updated stellar evolution models to construct an isochrone appropriate for the Hyades, and compare it with the Hyades eclipsing binary system vB 22. We find that the absolute and relative luminosities of the two stars are in good agreement with the model, but the radii do not match the values inferred from eclipse data. We…
▽ More
In the first of a new series of papers on open cluster distances, we use updated stellar evolution models to construct an isochrone appropriate for the Hyades, and compare it with the Hyades eclipsing binary system vB 22. We find that the absolute and relative luminosities of the two stars are in good agreement with the model, but the radii do not match the values inferred from eclipse data. We present evidence that there is a consistency problem with the flux ratios and the inferred radii, and discuss possible theoretical effects that could be responsible for the mismatch in the radii. We derive a helium abundance for the Hyades of Y = 0.271 \pm 0.006, which is equal within the errors to the Sun's initial helium abundance even though the Hyades is considerably more metal-rich.
△ Less
Submitted 31 July, 2003;
originally announced July 2003.
-
Kinematics of Metal-Poor Stars in the Galaxy. II. Proper Motions for a Large Non-Kinematically Selected Sample
Authors:
T. C. Beers,
M. Chiba,
Y. Yoshii,
I. Platais,
R. B. Hanson,
B. Fuchs,
S. Rossi
Abstract:
We present a revised catalog of 2106 Galactic stars, selected without kinematic bias, and with available radial velocities, distance estimates, and metal abundances in the range 0.0 <= [Fe/H] <= -4.0. This update of the Beers and Sommer-Larsen (1995) catalog includes newly-derived homogeneous photometric distance estimates, revised radial velocities for a number of stars with recently obtained h…
▽ More
We present a revised catalog of 2106 Galactic stars, selected without kinematic bias, and with available radial velocities, distance estimates, and metal abundances in the range 0.0 <= [Fe/H] <= -4.0. This update of the Beers and Sommer-Larsen (1995) catalog includes newly-derived homogeneous photometric distance estimates, revised radial velocities for a number of stars with recently obtained high-resolution spectra, and refined metallicities for stars originally identified in the HK objective-prism survey (which account for nearly half of the catalog) based on a recent re-calibration. A subset of 1258 stars in this catalog have available proper motions, based on measurements obtained with the Hipparcos astrometry satellite, or taken from the updated Astrographic Catalogue (AC 2000; second epoch positions from either the Hubble Space Telescope Guide Star Catalog or the Tycho Catalogue), the Yale/San Juan Southern Proper Motion (SPM) Catalog 2.0, and the Lick Northern Proper Motion (NPM1) Catalog. Our present catalog includes 388 RR Lyrae variables (182 of which are newly added), 38 variables of other types, and 1680 non-variables, with distances in the range 0.1 to 40 kpc.
△ Less
Submitted 7 March, 2000;
originally announced March 2000.
-
The Problem of Hipparcos Distances to Open Clusters: I. Constraints from Multicolor Main Sequence Fitting
Authors:
Marc H. Pinsonneault,
John Stauffer,
David R. Soderblom,
Jeremy King,
Robert B. Hanson
Abstract:
Parallax data from the Hipparcos mission allow the direct distance to open clusters to be compared with the distance inferred from main sequence (MS) fitting. There are surprising differences between the two distance measurements, which could lead to consequences of significant astrophysical importance. We examine the different possibilities, focusing on MS fitting in both metallicity-sensitive…
▽ More
Parallax data from the Hipparcos mission allow the direct distance to open clusters to be compared with the distance inferred from main sequence (MS) fitting. There are surprising differences between the two distance measurements, which could lead to consequences of significant astrophysical importance. We examine the different possibilities, focusing on MS fitting in both metallicity-sensitive B-V and metallicity-insensitive V-I for five well-studied systems (the Hyades, Pleiades, Alpha Per, Praesepe, and Coma Ber).
The Hipparcos distances to the Hyades and Alpha Per agree with the MS fitting distances in both colors; there is a possible conflict for Praesepe and Coma Ber. The Hipparcos distance to the Pleiades disagrees with the MS fitting distance in both colors at more than the three sigma level. Changes in the cluster metal abundance, helium abundance, reddening and age-related effects are all shown to be unlikely to explain the puzzling behavior for the Pleiades. We present evidence for spatially dependent systematic errors at the 1 mas level in the parallaxes of Pleiades stars. The implications of this result are discussed.
△ Less
Submitted 19 March, 1998;
originally announced March 1998.
-
The Problem of Hipparcos Distances to Open Clusters. II. Constraints from Nearby Field Stars
Authors:
David R. Soderblom,
Jeremy R. King,
Robert B. Hanson,
Burton F. Jones,
Debra Fischer,
John R. Stauffer,
Marc H. Pinsonneault
Abstract:
This paper examines the discrepancy between distances to nearby open clusters as determined by parallaxes from Hipparcos compared to traditional main sequence fitting. The biggest difference is seen for the Pleiades, and our hypothesis is that if the Hipparcos distance to the Pleiades is correct, then similar subluminous ZAMS stars should exist elsewhere, including the immediate solar neighborho…
▽ More
This paper examines the discrepancy between distances to nearby open clusters as determined by parallaxes from Hipparcos compared to traditional main sequence fitting. The biggest difference is seen for the Pleiades, and our hypothesis is that if the Hipparcos distance to the Pleiades is correct, then similar subluminous ZAMS stars should exist elsewhere, including the immediate solar neighborhood. We examine a color-magnitude diagram of very young and nearby solar-type stars and show that none of them lie below the traditional ZAMS, despite the fact that the Hipparcos Pleiades parallax would place its members 0.3 magnitude below that ZAMS. We also present analyses and observations of solar-type stars that do lie below the ZAMS and show that they are subluminous because of low metallicity and that they have the kinematics of old stars.
△ Less
Submitted 28 January, 1998;
originally announced January 1998.
-
The Absolute Magnitude and Kinematics of RR Lyrae Stars via Statistical Parallax
Authors:
A. C. Layden,
R. B. Hanson,
S. L. Hawley,
A. R. Klemola,
C. J. Hanley
Abstract:
We present new statistical parallax solutions for the absolute magnitude and kinematics of RR Lyrae stars. New proper motion, radial velocity, and abundance data are used; the new data set is 50% larger, and of higher quality, than previously available data sets. Based on an a priori kinematic study, we separate the stars into halo and thick disk sub-populations. Statistical parallax solutions o…
▽ More
We present new statistical parallax solutions for the absolute magnitude and kinematics of RR Lyrae stars. New proper motion, radial velocity, and abundance data are used; the new data set is 50% larger, and of higher quality, than previously available data sets. Based on an a priori kinematic study, we separate the stars into halo and thick disk sub-populations. Statistical parallax solutions on these sub-samples yield M_V(RR) = +0.71 +/- 0.12 at <[Fe/H]> = -1.61 for the halo (162 stars), and M_V(RR) = +0.79 +/- 0.30 at <[Fe/H]> = -0.76 for the thick disk (51 stars). The solutions yield kinematic parameters (solar motion and velocity ellipsoid) in good agreement with estimates of the halo and thick disk kinematics derived from both RR Lyrae stars and other stellar tracers. Monte Carlo simulations indicate that the solutions are accurate, and that the errors may be smaller than the estimates above. The simulations reveal a small bias in the disk solutions, and appropriate corrections are derived. The large uncertainty in the disk M_V(RR) prevents ascertaining the slope of the M_V(RR)-[Fe/H] relation. We find that (1) the distance to the Galactic Center is 7.6 +/- 0.4 kpc; (2) the mean age of the 17 oldest Galactic globular clusters is 16.5 _{-1.9}^{+2.1} Gyr; and (3) the distance modulus of the LMC is 18.28 +/- 0.13 mag. Estimates of H_0 which are based on an LMC distance modulus of 18.50 (e.g., Cepheid studies) increase by 10% if they are recalibrated to match our LMC distance modulus.
△ Less
Submitted 16 August, 1996;
originally announced August 1996.
-
A Preliminary Discussion of the Kinematics of BHB and RR Lyrae Stars near the North Galactic Pole
Authors:
T. D. Kinman,
Jeffrey R. Pier,
Nicholas B. Suntzeff,
D. L. Harmer,
F. Valdes,
Robert B. Hanson,
A. R. Klemola,
Robert P. Kraft
Abstract:
The radial velocity dispersion of 67 RR Lyrae variable and blue horizontal branch (BHB) stars that are more than 4 kpc above the galactic plane at the North Galactic Pole is 110 km/sec and shows no trend with Z (the height above the galactic plane). Nine stars with Z < 4 kpc show a smaller velocity dispersion (40 +/-9 km/sec) as is to be expected if they mostly belong to a population with a flat…
▽ More
The radial velocity dispersion of 67 RR Lyrae variable and blue horizontal branch (BHB) stars that are more than 4 kpc above the galactic plane at the North Galactic Pole is 110 km/sec and shows no trend with Z (the height above the galactic plane). Nine stars with Z < 4 kpc show a smaller velocity dispersion (40 +/-9 km/sec) as is to be expected if they mostly belong to a population with a flatter distribution. Both RR Lyrae stars and BHB stars show evidence of stream motion; the most significant is in fields RR2 and RR3 where 24 stars in the range 4.0 < Z < 11.0 kpc have a mean radial velocity of -59 +/- 16 km/sec. Three halo stars in field RR 2 appear to be part of a moving group with a common radial velocity of -90 km/sec. The streaming phenomenon therefore occurs over a range of spatial scales. The BHB and RR Lyrae stars in our sample both have a similar range of metallicity (-1.2 < [Fe/H] < -2.2). Proper motions of BHB stars in fields SA 57 (NGP) and the Anticenter field (RR 7) (both of which lie close to the meridional plane of the Galaxy) show that the stars that have Z < 4 kpc as well as those with Z > 4 kpc have a Galactic V motion that is < -200 km/sec and which is characteristic of the halo. Thus the stars that have a flatter distribution are really halo stars and not members of the metal-weak thick-disk.
△ Less
Submitted 18 January, 1996;
originally announced January 1996.