On a problem involving unit fractions

Stefan Steinerberger

2024-04-28

Abstract:Erdős and Graham proposed to determine the number of subsets $S \subseteq \left\{1,2,\dots,n\right\}$ with $\sum_{s \in S} 1/s = 1$ and asked, among other things, whether that number could be as large as $2^{n - o(n)}$. We show that the number of subsets $S \subseteq \left\{1,2,\dots,n\right\}$ with $\sum_{s \in S} 1/s \leq 1$ is smaller than $2^{0.93n}$.

Combinatorics

What problem does this paper attempt to address?

On further questions regarding unit fractions

Yang P. Liu,Mehtaab Sawhney

2024-04-10

Abstract:We prove that a subset $A\subseteq [1, N]$ with \[\sum_{n\in A}\frac{1}{n} \ge (\log N)^{4/5 + o(1)}\] contains a subset $B$ such that \[\sum_{n\in B} \frac{1}{n} = 1.\] Our techniques refine those of Croot and of Bloom. Using our refinements, we additionally consider a number of questions regarding unit fractions due to Erdős and Graham.

Number Theory
On a problem of Erdős and Graham about consecutive sums in strictly increasing sequences

Adrian Beker

2023-11-17

Abstract:We show the existence of a constant $c > 0$ such that, for all positive integers $n$, there exist integers $1 \leq a_1 < \ldots < a_k \leq n$ such that there are at least $cn^2$ distinct integers of the form $\sum_{i=u}^{v}a_i$ with $1 \leq u \leq v \leq k$. This answers a question of Erdős and Graham. We also prove a non-trivial upper bound on the maximum number of distinct integers of this form and address several open problems.

Combinatorics,Number Theory
A question of Erdős and Graham on Egyptian fractions

David Conlon,Jacob Fox,Xiaoyu He,Dhruv Mubayi,Huy Tuan Pham,Andrew Suk,Jacques Verstraëte

2024-04-25

Abstract:Answering a question of Erdős and Graham, we show that for each fixed positive rational number $x$ the number of ways to write $x$ as a sum of reciprocals of distinct positive integers each at most $n$ is $2^{(c_x + o(1))n}$ for an explicit constant $c_x$ increasing with $x$.

Combinatorics,Number Theory
On the number of sets with small sumset

Dingyuan Liu,Letícia Mattos,Tibor Szabó

2024-07-05

Abstract:We investigate subsets with small sumset in arbitrary abelian groups. For an abelian group $G$ and an $n$-element subset $Y \subseteq G$ we show that if $m \ll s^2/(\log n)^2$, then the number of subsets $A \subseteq Y$ with $|A| = s$ and $|A + A| \leq m$ is at most \[2^{o(s)}\binom{\frac{m+\beta}{2}}{s},\] where $\beta$ is the size of the largest subgroup of $G$ of size at most $\left(1+o(1)\right)m$. This bound is sharp for $\mathbb{Z}$ and many other groups. Our result improves the one of Campos and nearly bridges the remaining gap in a conjecture of Alon, Balogh, Morris, and Samotij. We also explore the behaviour of uniformly chosen random sets $A \subseteq \{1,\ldots,n\}$ with $|A| = s$ and $|A + A| \leq m$. Under the same assumption that $m \ll s^2/(\log n)^2$, we show that with high probability there exists an arithmetic progression $P \subseteq \mathbb{Z}$ of size at most $m/2 + o(m)$ containing all but $o(s)$ elements of $A$. Analogous results are obtained for asymmetric sumsets, improving results by Campos, Coulson, Serra, and Wötzel. The main tool behind our proofs is a graph container theorem combined with a variant of an asymmetric hypergraph container theorem.

Combinatorics,Number Theory
On a density conjecture about unit fractions

Thomas F. Bloom

2023-10-12

Abstract:We prove that any set $A\subset \mathbb{N}$ of positive upper density contains a finite $S\subset A$ such that $\sum_{n\in S}\frac{1}{n}=1$, answering a question of Erdős and Graham.

Number Theory
Effective $S$-unit Equations Beyond 3 Terms : Newman's Conjecture

Prajeet Bajpai,Michael A. Bennett

2023-08-10

Abstract:We show how to effectively solve 5-term $S$-unit equations when the set of primes $S$ has cardinality at most 3, and use this to provide an explicit answer to an old question of D.J. Newman on representations of integers as sums of $S$-units.

Number Theory
Equal Sum and Product Problem III

Csaba Sándor,Maciej Zakarczemny

2024-05-20

Abstract:Denote by $N(n)$ the number of integer solutions $(x_1,\,x_2,\ldots ,x_n)$ of the equation $x_1+x_2+\ldots+x_n=x_1x_2\cdot\ldots\cdot x_n$ such that $x_1\ge x_2\ge\ldots\ge x_n\ge 1$, $n \in \mathbb{Z}^+$. The aim of this paper are is twofold: first we present an asymptotic formula for $\sum\limits_{2\le n\le x}N(n)$, then we verify that the counting function $N(n)$ takes very large value compared to its average value.

Number Theory
On the integrality of the elementary symmetric functions of $1, 1/3, ..., 1/(2n-1)$

Chunlin Wang,Shaofang Hong

DOI: https://doi.org/10.48550/arXiv.1112.0853

2011-12-05

Abstract:Erdos and Niven proved that for any positive integers $m$ and $d$, there are only finitely many positive integers $n$ for which one or more of the elementary symmetric functions of $1/m,1/(m+d), ..., 1/(m+nd)$ are integers. Recently, Chen and Tang proved that if $n\ge 4$, then none of the elementary symmetric functions of $1,1/2, ..., 1/n$ is an integer. In this paper, we show that if $n\ge 2$, then none of the elementary symmetric functions of $1, 1/3, ..., 1/(2n-1)$ is an integer.

Number Theory
On the order of magnitude of certain integer sequences

Michael Hellus,Anton Rechenauer,Rolf Waldi

2024-06-10

Abstract:Let $p$ be a prime number, and let $S$ be the numerical semigroup generated by the prime numbers not less than $p$. We compare the orders of magnitude of some invariants of $S$ with each other, e. g., the biggest atom $u$ of $S$ with $p$ itself: By Harald Helfgott (<a class="link-https" data-arxiv-id="1312.7748" href="https://arxiv.org/abs/1312.7748">arXiv:1312.7748</a> [math.NT]), every odd integer $N$ greater than five can be written as the sum of three prime numbers. There is numerical evidence suggesting that the summands of $N$ always can be chosen between $\frac N6$ and $\frac N2$. This would imply that $u$ is less than $6p$.

Number Theory
Equal-Subset-Sum Faster Than the Meet-in-the-Middle

Marcin Mucha,Jesper Nederlof,Jakub Pawlewicz,Karol Węgrzycki

DOI: https://doi.org/10.48550/arXiv.1905.02424

2019-07-03

Abstract:In the Equal-Subset-Sum problem, we are given a set $S$ of $n$ integers and the problem is to decide if there exist two disjoint nonempty subsets $A,B \subseteq S$, whose elements sum up to the same value. The problem is NP-complete. The state-of-the-art algorithm runs in $O^{*}(3^{n/2}) \le O^{*}(1.7321^n)$ time and is based on the meet-in-the-middle technique. In this paper, we improve upon this algorithm and give $O^{*}(1.7088^n)$ worst case Monte Carlo algorithm. This answers the open problem from Woeginger's inspirational survey. Additionally, we analyse the polynomial space algorithm for Equal-Subset-Sum. A naive polynomial space algorithm for Equal-Subset-Sum runs in $O^{*}(3^n)$ time. With read-only access to the exponentially many random bits, we show a randomized algorithm running in $O^{*}(2.6817^n)$ time and polynomial space.

Data Structures and Algorithms
Maximizing the number of rational-value sums or zero-sums

Benjamin Móricz,Zoltán Lóránt Nagy

2024-11-07

Abstract:What is the maximum number of $r$-term sums admitting rational values in $n$-element sets of irrational numbers? We determine the maximum when $r<4$ or $r\geq n/2$ and also in case when we drop the condition on the number of summands. It turns out that the $r$-term sum problem is equivalent to determine the maximum number of $r$-term zero-sum subsequences in $n$-element sequences of integers, which can be seen as a variant of the famous Erdős-Ginzburg-Ziv theorem.

Combinatorics,Number Theory
On a conjecture of Graham on the p ‐divisibility of central binomial coefficients

Ernie Croot,Hamed Mousavi,Maxie Schmidt

DOI: https://doi.org/10.1112/mtk.12249

2024-04-20

Mathematika

Abstract:Let p1,...,pr be pairwise distinct primes. From a theorem of Kummer, each prime pj can divide 2nn at most 1+logn/logpj times. We show that, for all ε>0 , if p1,...,pr are sufficiently large in terms of r and ε , then there exist infinitely many positive integers n such that each pj divides 2nn at most ε(1+logn/logpj) times. We connect this result to a famous conjecture by Graham on whether there are infinitely many integers n such that 2nn is coprime to 105.

mathematics, applied
On an Erdős similarity problem in the large

Xiang Gao,Yuveshen Mooroogen,Chi Hoi Yip

2023-12-13

Abstract:In a recent paper, Kolountzakis and Papageorgiou ask if for every $\epsilon \in (0,1)$, there exists a set $S \subseteq \mathbb{R}$ such that $\vert S \cap I\vert \geq 1 - \epsilon$ for every interval $I \subset \mathbb{R}$ with unit length, but that does not contain any affine copy of a given increasing sequence of exponential growth or faster. This question is an analogue of the well-known Erdős similarity problem. In this paper, we show that for each sequence of real numbers whose integer parts form a set of positive upper Banach density, one can explicitly construct such a set $S$ that contains no affine copy of that sequence. Since there exist sequences of arbitrarily rapid growth that satisfy this condition, our result answers Kolountzakis and Papageorgiou's question in the affirmative. A key ingredient of our proof is a generalization of results by Amice, Kahane, and Haight from metric number theory. In addition, we construct a set $S$ with the required property -- but with $\epsilon \in (1/2, 1)$ -- that contains no affine copy of $\{2^n\}$.

Classical Analysis and ODEs,Number Theory
On a variant of the large sieve

Ben Green

DOI: https://doi.org/10.48550/arXiv.0807.5037

2008-08-02

Abstract:We introduce a variant of the large sieve and give an example of its use in a sieving problem. Take the interval [N] = {1,...,N} and, for each odd prime p <= N^{1/2}, remove or ``sieve out'' by all n whose reduction mod p lies in some interval I_p of Z/pZ of length (p-1)/2. Let A be the set that remains: then |A| << N^{1/3 + o(1)}, a bound which improves slightly on the bound of |A| << N^{1/2} which results from applying the large sieve in its usual form. This is a very, very weak result in the direction of a question of Helfgott and Venkatesh, who suggested that nothing like equality can occur in applications of the large sieve unless the unsieved set is essentially the set of values of a polynomial (e.g. A is the set of squares). Assuming the ``exponent pairs conjecture'' (which is deep, as it implies a host of classical questions including the Lindelöf hypothesis, Gauss circle problem and Dirichlet divisor problem) the bound can be improved to |A| << N^{o(1)}. This raises the worry that even reasonably simple sieve problems are connected to issues of which we have little understanding at the present time.

Number Theory
On Rado numbers for equations with unit fractions

Collier Gaiser

2024-06-25

Abstract:Let $f_r(k)$ be the smallest positive integer $n$ such that every $r$-coloring of $\{1,2,...,n\}$ has a monochromatic solution to the nonlinear equation \[1/x_1+\cdots+1/x_k=1/y,\] where $x_1,...,x_k$ are not necessarily distinct. Brown and Rödl [Bull. Aust. Math. Soc. 43(1991): 387-392] proved that $f_2(k)=O(k^6)$. In this paper, we prove that $f_2(k)=O(k^3)$. The main ingredient in our proof is a finite set $A\subseteq\mathbb{N}$ such that every $2$-coloring of $A$ has a monochromatic solution to the linear equation $x_1+\cdots+x_k=y$ and the least common multiple of $A$ is sufficiently small. This approach can also be used to study $f_r(k)$ with $r>2$. For example, a recent result of Boza, Marín, Revuelta, and Sanz [Discrete Appl. Math. 263(2019): 59-68] implies that $f_3(k)=O(k^{43})$.

Combinatorics
Sárközy's Theorem for Fractional Monomials

Maximilian O'Keeffe

2024-11-12

Abstract:Suppose $A$ is a subset of $\{1, \dotsc, N\}$ which does not contain any configurations of the form $x,x+\lfloor n^c \rfloor$ where $n \neq 0$ and $1<c<\frac{6}{5}$. We show that the density of $A$ relative to the first $N$ integers is $O_c(N^{1-\frac{6}{5c}})$. More generally, given a smooth and regular real valued function $h$ with "growth rate" $c \in (1,\frac{6}{5})$, we show that if $A$ lacks configurations of the form $x,x \pm \lfloor h(n) \rfloor$ then $\frac{|A|}{N} \ll_{h,\varepsilon} N^{1-\frac{6}{5c}+\varepsilon}$ for any $\varepsilon>0$.

Number Theory,Combinatorics
An inequality related to the sieve of Eratosthenes

Steve Fan,Carl Pomerance

2023-08-13

Abstract:Let $\Phi(x,y)$ denote the number of integers $n\in[1,x]$ free of prime factors $\le y$. We show that but for a few small cases, $\Phi(x,y)<.6x/\log y$ when $y\le\sqrt{x}$.

Number Theory
A numbers-on-foreheads game

Sune K. Jakobsen

DOI: https://doi.org/10.48550/arXiv.1502.02849

2015-02-10

Computer Science and Game Theory

Abstract:Is there a joint distribution of $n$ random variables over the natural numbers, such that they always form an increasing sequence and whenever you take two subsets of the set of random variables of the same cardinality, their distribution is almost the same? We show that the answer is yes, but that the random variables will have to take values as large as $2^{2^{\dots ^{2^{\Theta\left(\frac{1}{\epsilon}\right)}}}}$, where $\epsilon\leq \epsilon_n$ measures how different the two distributions can be, the tower contains $n-2$ $2$'s and the constants in the $\Theta$ notation are allowed to depend on $n$. This result has an important consequence in game theory: It shows that even though you can define extensive form games that cannot be implemented on players who can tell the time, you can have implementations that approximate the game arbitrarily well.
The sum-product problem for small sets

Ginny Ray Clevenger,Haley Havard,Patch Heard,Andrew Lott,Alex Rice,Brittany Wilson

2023-08-19

Abstract:For $A\subseteq \mathbb{R}$, let $A+A=\{a+b: a,b\in A\}$ and $AA=\{ab: a,b\in A\}$. For $k\in \mathbb{N}$, let $SP(k)$ denote the minimum value of $\max\{|A+A|, |AA|\}$ over all $A\subseteq \mathbb{N}$ with $|A|=k$. Here we establish $SP(k)=3k-3$ for $2\leq k \leq 7$, the $k=7$ case achieved for example by $\{1,2,3,4,6,8,12\}$, while $SP(k)=3k-2$ for $k=8,9$, the $k=9$ case achieved for example by $\{1,2,3,4,6,8,9,12,16\}$. For $4\leq k \leq 7$, we provide two proofs using different applications of Freiman's $3k-4$ theorem; one of the proofs includes extensive case analysis on the product sets of $k$-element subsets of $(2k-3)$-term arithmetic progressions. For $k=8,9$, we apply Freiman's $3k-3$ theorem for product sets, and investigate the sumset of the union of two geometric progressions with the same common ratio $r>1$, with separate treatments of the overlapping cases $r\neq 2$ and $r\geq 2$.

Combinatorics,Number Theory

On a problem involving unit fractions

On further questions regarding unit fractions

On a problem of Erdős and Graham about consecutive sums in strictly increasing sequences

A question of Erdős and Graham on Egyptian fractions

On the number of sets with small sumset

On a density conjecture about unit fractions

Effective $S$-unit Equations Beyond 3 Terms : Newman's Conjecture

Equal Sum and Product Problem III

On the integrality of the elementary symmetric functions of $1, 1/3, ..., 1/(2n-1)$

On the order of magnitude of certain integer sequences

Equal-Subset-Sum Faster Than the Meet-in-the-Middle

Maximizing the number of rational-value sums or zero-sums

On a conjecture of Graham on the p ‐divisibility of central binomial coefficients

On an Erdős similarity problem in the large

On a variant of the large sieve

On Rado numbers for equations with unit fractions

Sárközy's Theorem for Fractional Monomials

An inequality related to the sieve of Eratosthenes

A numbers-on-foreheads game

The sum-product problem for small sets