An explicit economical additive basis

Vishesh Jain,Huy Tuan Pham,Mehtaab Sawhney,Dmitrii Zakharov

2024-05-14

Abstract:We present an explicit subset $A\subseteq \mathbb{N} = \{0,1,\ldots\}$ such that $A + A = \mathbb{N}$ and for all $\varepsilon > 0$, \[\lim_{N\to \infty}\frac{\big|\big\{(n_1,n_2): n_1 + n_2 = N, (n_1,n_2)\in A^2\big\}\big|}{N^{\varepsilon}} = 0.\] This answers a question of Erdős.

Combinatorics

What problem does this paper attempt to address?

An explicit result for short sums of positive arithmetic functions

Olivier Bordellès

2024-02-20

Abstract:We prove a totally explicit bound for short sums of certain non-negative arithmetic functions satisfying a general growth condition, and apply this result to derive two explicit estimates for the Erd\H{o}s-Hooley $\Delta$-function in short intervals.

Number Theory
Multiplicative complements II

Anett Kocsis,Dávid Matolcsi,Csaba Sándor,György Tőtős

2023-05-05

Abstract:In this paper we prove that if $A$ and $B$ are infinite subsets of positive integers such that every positive integer $n$ can be written as $n=ab$, $a\in A$, $b\in B$, then $\displaystyle \lim_{x\to \infty}\frac{A(x)B(x)}{x}=\infty $. We also prove many other results about sets like this.

Number Theory
On the interplay between notions of additive and multiplicative largeness and its combinatorial applications

Vitaly Bergelson,Daniel Glasscock

DOI: https://doi.org/10.1016/j.jcta.2019.105203

2024-09-11

Abstract:Many natural notions of additive and multiplicative largeness arise from results in Ramsey theory. In this paper, we explain the relationships between these notions for subsets of $\mathbb{N}$ and in more general ring-theoretic structures. We show that multiplicative largeness begets additive largeness in three ways and give a collection of examples demonstrating the optimality of these results. We also give a variety of applications arising from the connection between additive and multiplicative largeness. For example, we show that given any $n, k \in \mathbb{N}$, any finite set with fewer than $n$ elements in a sufficiently large finite field can be translated so that each of its elements becomes a non-zero $k^{\text{th}}$ power. We also prove a theorem concerning Diophantine approximation along multiplicatively syndetic subsets of $\mathbb{N}$ and a theorem showing that subsets of positive upper Banach density in certain multiplicative sub-semigroups of $\mathbb{N}$ of zero density contain arbitrarily long arithmetic progressions. Along the way, we develop a new characterization of upper Banach density in a wide class of amenable semigroups and make explicit the uniformity in recurrence theorems from measure theoretic and topological dynamics. This in turn leads to strengthened forms of classical theorems of Szemerédi and van der Waerden on arithmetic progressions.

Combinatorics,Dynamical Systems
On additive complements in the complement of a set of natural numbers

Bhuwanesh Rao Patil,Mohan

2024-10-30

Abstract:Let $A$ be a set of natural numbers. A set $B$, a set of natural numbers, is an additive complement of the set $A$ if all sufficiently large natural numbers can be represented in the form $x+y$, where $x\in A$ and $y\in B$. Erdős proposed a conjecture that every infinite set of natural numbers has a sparse additive complement, and in 1954, Lorentz proved this conjecture. This article describes the existence or non-existence of those additive complements of the set $A$ that is a subset of the complement of $A$. We provide a ratio test to verify the existence of such additive complements. In precise, we prove that if $A=\{a_i: i\in \mathbb{N}\}$ is a set of natural numbers such that $a_i<a_{i+1} $ for $i \in \mathbb{N}$ and $\liminf_{n\rightarrow \infty } (a_{n+1}/a_{n})>1$, then there exists a set $B\subset \mathbb{N}\setminus A$ such that $B$ is a sparse additive complement of the set $A$.

Number Theory
Additive Bases: Change of Domain

Boris Bukh,Peter van Hintum,Peter Keevash

2024-09-12

Abstract:We consider two questions of Ruzsa on how the minimum size of an additive basis $B$ of a given set $A$ depends on the domain of $B$. To state these questions, for an abelian group $G$ and $A \subseteq D \subseteq G$ we write $\ell_D(A) \colon =\min \{ |B|: B \subseteq D, \ A \subseteq B+B \}$. Ruzsa asked how much larger can $\ell_{\mathbb{Z}}(A)$ be than $\ell_{\mathbb{Q}}(A)$ for $A\subset\mathbb{Z}$, and how much larger can $\ell_{\mathbb{N}}(A)$ be than $\ell_{\mathbb{Z}}(A)$ for $A\subset\mathbb{N}$. For the first question we show that if $\ell_{\mathbb{Q}}(A) = n$ then $\ell_{\mathbb{Z}}(A) \le 2n$, and that this is tight up to an additive error of at most $O(\sqrt{n})$. For the second question, we show that if $\ell_{\mathbb{Z}}(A) = n$ then $\ell_{\mathbb{N}}(A) \le O(n\log n)$, and this is tight up to the constant factor. We also consider these questions for higher order bases. Our proofs use some ideas that are unexpected in this context, including linear algebra and Diophantine approximation.

Number Theory,Combinatorics
Additive arithmetic functions meet the inclusion-exclusion principle, II

Olivier Bordellès,László Tóth

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

2021-12-26

Abstract:We unify in a large class of additive functions the results obtained in the first part of this work. The proof rests on series involving the Riemann zeta function and certain sums of primes which may have their own interest.

Number Theory
LIL and the Approximation of Rectangular Sums of B-valued Random Variables when Extreme Terms Are Excluded

Li Xin Zhang

DOI: https://doi.org/10.1007/s10114-002-0181-y

2002-01-01

Acta Mathematica Sinica English Series

Abstract:Let {X,X n ̄; n̄ ∈ ℕ d } be a field of i.i.d. random variables indexed by d-tuples of positive integers and taking values in a Banach space ${\user1{\mathcal{B}}}$ and let $X^{{{\left( r \right)}}}_{{\ifmmode\expandafter\bar\else\expandafter\=\fi{n}}} = X_{{\ifmmode\expandafter\bar\else\expandafter\=\fi{m}}} \;{\text{if}}\;{\left\| {X_{{\ifmmode\expandafter\bar\else\expandafter\=\fi{m}}} } \right\|}$ is the r-th maximum of {∥X k ̄∥ ; k̄ ≤ n̄}. Let S n ̄ =∑ k̄ ≤ n X k̄ and ${}^{{{\left( r \right)}}}S_{{\ifmmode\expandafter\bar\else\expandafter\=\fi{n}}} = S_{{\ifmmode\expandafter\bar\else\expandafter\=\fi{n}}} - {\left( {X^{{{\left( 1 \right)}}}_{{\ifmmode\expandafter\bar\else\expandafter\=\fi{n}}} + \cdots + X^{{{\left( r \right)}}}_{{\ifmmode\expandafter\bar\else\expandafter\=\fi{n}}} } \right)}$. We approximate the trimmed sums (r) S n ̄ by a Brownian sheet and obtain sufficient and necessary conditions for (r) S n to satisfy the compact and functional laws of the iterated logarithm. These results improve the previous works by Morrow (1981), Li and Wu (1989) and Ledoux and Talagrand (1990).
Additive and multiplicative structures in completely I -large* sets

Teng Zhang

DOI: https://doi.org/10.1016/j.topol.2024.108855

IF: 0.583

2024-02-09

Topology and its Applications

Abstract:It is known that for any IP ⁎ set A and any sequence 〈xn〉n=1∞ in (N,+) , there exists a sum subsystem of 〈xn〉n=1∞ whose finite sums and finite products are in A . Similar results have been established for some other combinatorial notions. In this article, we introduce a general notion called completely I -large ⁎ sets, which can be IP ⁎ sets, central ⁎ sets or C ⁎ -sets when I is the corresponding ideal. And we establish a result for this notion to unify all known results. Furthermore, we apply this general result to another notion - quasi-central ⁎ sets to obtain corresponding combinatorial results.

mathematics, applied
Almost Auerbach, Markushevich and Schauder bases in Hilbert and Banach spaces

Anton Tselishchev

2024-06-24

Abstract:For any sequence of positive numbers $(\varepsilon_n)_{n=1}^\infty$ such that $\sum_{n=1}^\infty \varepsilon_n = \infty$ we provide an explicit simple construction of $(1+\varepsilon_n)$-bounded Markushevich basis in a separable Hilbert space which is not strong, or, in other terminology, is not hereditary complete; this condition on the sequence $(\varepsilon_n)_{n=1}^\infty$ is sharp. Using a finite-dimensional version of this construction, Dvoretzky's theorem and a construction of Vershynin, we conclude that in any Banach space for any sequence of positive numbers $(\varepsilon_n)_{n=1}^\infty$ such that $\sum_{n=1}^\infty \varepsilon_n^2 = \infty$ there exists a $(1+\varepsilon_n)$-bounded Markushevich basis which is not a Schauder basis after any permutation of its elements.

Functional Analysis
Infinite unrestricted sumsets of the form $B+B$ in sets with large density

Ioannis Kousek,Tristán Radić

2024-04-19

Abstract:For a set $A \subset \mathbb{N}$ we characterize in terms of its density when there exists an infinite set $B \subset \mathbb{N}$ and $t \in \{0,1\}$ such that $B+B \subset A-t$, where $B+B : =\{b_1+b_2\colon b_1,b_2 \in B\}$. Specifically, when the lower density $\underline{d}(A) >1/2$ or the upper density $\overline{d}(A)> 3/4$, the existence of such a set $B\subset \mathbb{N}$ and $t\in \{0,1\}$ is assured. Furthermore, whenever $\underline{d}(A) > 3/4$ or $\overline{d}(A)>5/6$, we show that the shift $t$ is unnecessary and we also provide examples to show that these bounds are sharp. Finally, we construct a syndetic three-coloring of the natural numbers that does not contain a monochromatic $B+B+t$ for any infinite set $B \subset \mathbb{N}$ and number $t \in \mathbb{N}$.

Dynamical Systems,Combinatorics,Number Theory
Limiting Behavior in Missing Sums of Sumsets

Aditya Jambhale,Rauan Kaldybayev,Steven J. Miller,Chris Yao

2024-02-01

Abstract:We study $|A + A|$ as a random variable, where $A \subseteq \{0, \dots, N\}$ is a random subset such that each $0 \le n \le N$ is included with probability $0 < p < 1$, and where $A + A$ is the set of sums $a + b$ for $a,b$ in $A$. Lazarev, Miller, and O'Bryant studied the distribution of $2N + 1 - |A + A|$, the number of summands not represented in $A + A$ when $p = 1/2$. A recent paper by Chu, King, Luntzlara, Martinez, Miller, Shao, Sun, and Xu generalizes this to all $p\in (0,1)$, calculating the first and second moments of the number of missing summands and establishing exponential upper and lower bounds on the probability of missing exactly $n$ summands, mostly working in the limit of large $N$. We provide exponential bounds on the probability of missing at least $n$ summands, find another expression for the second moment of the number of missing summands, extract its leading-order behavior in the limit of small $p$, and show that the variance grows asymptotically slower than the mean, proving that for small $p$, the number of missing summands is very likely to be near its expected value.

Number Theory
A note on the largest sum-free sets of integers

Yifan Jing,Shukun Wu

DOI: https://doi.org/10.1112/jlms.12819

2023-08-30

Abstract:Given $A$ a set of $N$ positive integers, an old question in additive combinatorics asks that whether $A$ contains a sum-free subset of size at least $N/3+\omega(N)$ for some increasing unbounded function $\omega$. The question is generally attacked in the literature by considering another conjecture, which asserts that as $N\to\infty$, $\max_{x\in\mathbb{R}/\mathbb{Z}}\sum_{n\in A}({\bf 1}_{(1/3,2/3)}-1/3)(nx)\to\infty$. This conjecture, if true, would also imply that a similar phenomenon occurs for $(2k,4k)$-sum-free sets for every $k\geq1$. In this note, we prove the latter result directly. The new ingredient of our proof is a structural analysis on the host set $A$, which might be of independent interest.

Combinatorics,Classical Analysis and ODEs,Number Theory
Sumsets and Projective Curves

J. Elias

DOI: https://doi.org/10.1007/s00009-022-02108-0

2022-06-26

Mediterranean Journal of Mathematics

Abstract:The aim of this note is to exploit a new relationship between additive combinatorics and the geometry of monomial projective curves. We associate to a finite set of non-negative integers a monomial projective curve such that the Hilbert function of and the cardinalities of agree. The singularities of determines the asymptotic behaviour of | sA |, equivalently the Hilbert polynomial of , and the asymptotic structure of sA . We show that some additive inverse problems can be translate to the rigidity of Hilbert polynomials and we improve an upper bound of the Castelnuovo-Mumford regularity of monomial projective curves by using results of additive combinatorics.

mathematics, applied
On the relations between Auerbach or almost Auberbach Markushevich systems and Schauder bases

Beata Randrianantoanina,Michał Wojciechowski,Pavel Zatitskii

2024-06-10

Abstract:We establish that the summability of the series $\sum\varepsilon_n$ is the necessary and sufficient criterion ensuring that every $(1+\varepsilon_n)$ Markushevich basis in a separable Hilbert space is a Riesz basis. Further we show that if $n\varepsilon_n\to \infty$, then in $\ell_2$ there exists a $(1+\varepsilon_n)$ Markushevich basis that under any permutation is non-equivalent to a Schauder basis. We extend this result to any separable Banach space. Finally we provide examples of Auerbach bases in 1-symmetric separable Banach spaces whose no permutations are equivalent to any Schauder basis or (depending on the space) any unconditional Schauder basis.

Functional Analysis
On additive complement with special structures

Mohan,Bhuwanesh Rao Patil,Ram Krishna Pandey

2024-02-06

Abstract:Let $A$ be a set of natural numbers. A set $B$, a set of natural numbers, is said to be an additive complement of the set $A$ if all sufficiently large natural numbers can be represented in the form $x+y$, where $x\in A$ and $y\in B$. This article describes various types of additive complements of the set $A$ such as those additive complement of $A$ that does not intersects $A$, additive complements of the form of the union of disjoint infinite arithmetic progressions, additive complement having various density etc. As an application of this study, we also focus on the structure of sumset of arithmetic progression and geometric progression. Apart from this, for given positive real no. $\alpha \leq 1$ and finite set $A$, we investigate a set $B$ such that it can be written as union of disjoint infinite arithmetic progression and density of $A+B$ is $\alpha$.

Number Theory
An Additive Theorem and Restricted Sumsets

Zhi-Wei Sun

DOI: https://doi.org/10.4310/mrl.2008.v15.n6.a15

2008-01-01

Mathematical Research Letters

Abstract:Let G be any additive abelian group with cyclic torsion subgroup, and let A, B and C be finite subsets of G with cardinality n > 0. We show that there is a numbering {a(i)}(n)(i=1)of the elements of A, a numbering {b(i)}(n)(i=1) of the elements of B and a numbering {c(i)}(n)(i=1) of the elements of C, such that all the sums a(i) + b(i) + c(i) (1 <= i <= n) are (pairwise) distinct. Consequently, each subcube of the Latin cube formed by the Cayley addition table of Z/NZ contains a Latin transversal. This additive theorem is an essential result which can be further extended via restricted sumsets in a field.
An inverse theorem for additive bases

Yongke Qu,Dongchun Han

DOI: https://doi.org/10.1142/s1793042116500937

2016-07-26

International Journal of Number Theory

Abstract:Let [Formula: see text] be a finite abelian group of order [Formula: see text], and [Formula: see text] be the smallest prime dividing [Formula: see text]. Let [Formula: see text] be a sequence over [Formula: see text]. We say that [Formula: see text] is regular if for every proper subgroup [Formula: see text], [Formula: see text] contains at most [Formula: see text] terms from [Formula: see text]. Let [Formula: see text] be the smallest integer [Formula: see text] such that every regular sequence [Formula: see text] over [Formula: see text] of length [Formula: see text] forms an additive basis of [Formula: see text], i.e. [Formula: see text]. Recently, [Formula: see text] was determined for many abelian groups. In this paper, we determined [Formula: see text] for more abelian groups and characterize the structure of the regular sequence [Formula: see text] over [Formula: see text] of length [Formula: see text] and [Formula: see text].

mathematics
Dense sets of natural numbers with unusually large least common multiples

Terence Tao

2024-08-25

Abstract:For any constant $C_0>0$, we construct a set $A \subset {\mathbb N}$ such that one has $$ \sum_{n \in A: n \leq x} \frac{1}{n} = \exp\left(\left(\frac{C_0}{2}+o(1)\right) (\log\log x)^{1/2} \log\log\log x \right)$$ and $$ \sum_{n,m \in A: n, m \leq x} \frac{1}{\operatorname{lcm}(n,m)} \ll_{C_0} \left(\sum_{n \in A: n \leq x} \frac{1}{n}\right)^2$$ as $x \to \infty$, with the growth rate given here optimal up to the dependence on $C_0$. This answers in the negative a question of Erdős and Graham, and also clarifies the nature of certain ``mostly coprime'' sets studied by Bergelson and Richter.

Number Theory
Expanding polynomials for sets with additive structure

Sanjana Das,Cosmin Pohoata,Adam Sheffer

2024-10-28

Abstract:The expansion of bivariate polynomials is well-understood for sets with a linear-sized product set. In contrast, not much is known for sets with small sumset. In this work, we provide expansion bounds for polynomials of the form $f(x, y) = g(x + p(y)) + h(y)$ for sets with small sumset. In particular, we prove that when $|A|$, $|B|$, $|A + A|$, and $|B + B|$ are not too far apart, for every $\varepsilon > 0$ we have \[|f(A, B)| = \Omega\left(\frac{|A|^{256/121 - \varepsilon}|B|^{74/121 - \varepsilon}}{|A + A|^{108/121}|B + B|^{24/121}}\right).\] We show that the above bound and its variants have a variety of applications in additive combinatorics and distinct distances problems. Our proof technique relies on the recent proximity approach of Solymosi and Zahl. In particular, we show how to incorporate the size of a sumset into this approach.

Combinatorics
Inverse Additive Problems for Minkowski Sumsets I

G. A. Freiman,D. Grynkiewicz,O. Serra,Y. V. Stanchescu

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

2011-05-25

Number Theory

Abstract:We give the structure of discrete two-dimensional finite sets $A,\,B\subseteq \R^2$ which are extremal for the recently obtained inequality $|A+B|\ge (\frac{|A|}{m}+\frac{|B|}{n}-1)(m+n-1)$, where $m$ and $n$ are the minimum number of parallel lines covering $A$ and $B$ respectively. Via compression techniques, the above bound also holds when $m$ is the maximal number of points of $A$ contained in one of the parallel lines covering $A$ and $n$ is the maximal number of points of $B$ contained in one of the parallel lines covering $B$. When $m,\,n\geq 2$, we are able to characterize the case of equality in this bound as well. We also give the structure of extremal sets in the plane for the projection version of Bonnesen's sharpening of the Brunn-Minkowski inequality: $\mu (A+B)\ge (\mu(A)/m+\mu(B)/n)(m+n)$, where $m$ and $n$ are the lengths of the projections of $A$ and $B$ onto a line.

An explicit economical additive basis

An explicit result for short sums of positive arithmetic functions

Multiplicative complements II

On the interplay between notions of additive and multiplicative largeness and its combinatorial applications

On additive complements in the complement of a set of natural numbers

Additive Bases: Change of Domain

Additive arithmetic functions meet the inclusion-exclusion principle, II

LIL and the Approximation of Rectangular Sums of B-valued Random Variables when Extreme Terms Are Excluded

Additive and multiplicative structures in completely I -large* sets

Almost Auerbach, Markushevich and Schauder bases in Hilbert and Banach spaces

Infinite unrestricted sumsets of the form $B+B$ in sets with large density

Limiting Behavior in Missing Sums of Sumsets

A note on the largest sum-free sets of integers

Sumsets and Projective Curves

On the relations between Auerbach or almost Auberbach Markushevich systems and Schauder bases

On additive complement with special structures

An Additive Theorem and Restricted Sumsets

An inverse theorem for additive bases

Dense sets of natural numbers with unusually large least common multiples

Expanding polynomials for sets with additive structure

Inverse Additive Problems for Minkowski Sumsets I