On sumsets containing a perfect square

Zachary Chase

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

2022-01-12

Abstract:We show $A+B$ contains a perfect square if $A,B \subseteq \{1,\dots,N\}$ have $|A|,|B| \ge (\frac{3}{8}+\epsilon)N$. The constant $\frac{3}{8}$ is optimal.

Number Theory,Combinatorics

What problem does this paper attempt to address?

On sums of a prime and four prime squares in short intervals

Guang Shi Lü,Xian Meng Meng

DOI: https://doi.org/10.1007/s10114-008-6089-4

2008-07-05

Abstract:In this paper, we prove that each sufficiently large integer N ≢ 1 (mod 3) can be written as \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$N = p + p_1^2 + p_2^2 + p_3^2 + p_4^2 ,$$\end{document}, with \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\left| {p - \frac{N}{5}} \right| \leqslant U,\left| {p_j - \sqrt {\frac{N}{5}} } \right| \leqslant U,j = 1,2,3,4,$$\end{document} where U = N9/20 + ɛ and p, pj are primes.

mathematics, applied
The additive structure of the squares inside rings

David Cushing,G. W. Stagg

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

2016-11-05

Abstract:When defining the amount of additive structure on a set it is often convenient to consider certain sumsets; Calculating the cardinality of these sumsets can elucidate the set's underlying structure. We begin by investigating finite sets of perfect squares and associated sumsets. We reveal how arithmetic progressions efficiently reduce the cardinality of sumsets and provide estimates for the minimum size, taking advantage of the additive structure that arithmetic progressions provide. We then generalise the problem to arbitrary rings and achieve satisfactory estimates for the case of squares in finite fields of prime order. Finally, for sufficiently small finite fields we computationally calculate the minimum for all prime orders.

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
Sums of four squares with certain restrictions

Zhi‐Wei Sun

2020-01-01

Abstract:Let $a,b\in\mathbb N=\{0,1,2,\ldots\}$ and $\lambda\in\{2,3\}$. We show that $4^a(4b+1)$ can be written as $x^2+y^2+z^2+w^2$ with $x,y,z,w\in\mathbb N$ such that $x+2y+\lambda z$ is a positive square. We also pose some open conjectures; for example, we conjecture that any positive odd integer can be written as $x^2+y^2+z^2+w^2$ with $x,y,z,w\in\mathbb N$ such that $x+2y+3z$ is a positive power of two.
Sumsets in the Hypercube

Noga Alon,Or Zamir

2024-04-16

Abstract:A subset $S$ of the Boolean hypercube $\mathbb{F}_2^n$ is a sumset if $S = A+A = \{a + b \ | \ a, b\in A\}$ for some $A \subseteq \mathbb{F}_2^n$. We prove that the number of sumsets in $\mathbb{F}_2^n$ is asymptotically $(2^n-1)2^{2^{n-1}}$. Furthermore, we show that the family of sumsets in $\mathbb{F}_2^n$ is almost identical to the family of all subsets of $\mathbb{F}_2^n$ that contain a complete linear subspace of co-dimension $1$.

Combinatorics,Discrete Mathematics
Improved stability for the size and structure of sumsets

Andrew Granville,Jack Smith,Aled Walker

2024-06-05

Abstract:Let $A \subset \mathbb{Z}^d$ be a finite set. It is known that the sumset $NA$ has predictable size ($\vert NA\vert = P_A(N)$ for some $P_A(X) \in \mathbb{Q}[X]$) and structure (all of the lattice points in some finite cone other than all of the lattice points in a finite collection of exceptional subcones), once $N$ is larger than some threshold. In previous work, joint with Shakan, the first and third named authors established the first effective bounds for both of these thresholds for an arbitrary set $A$. In this article we substantially improve each of these bounds, coming much closer to the corresponding lower bounds known.

Combinatorics,Number Theory
Effective results on the size and structure of sumsets

Andrew Granville,George Shakan,Aled Walker

2023-07-17

Abstract:Let $A \subset \mathbb{Z}^d$ be a finite set. It is known that $NA$ has a particular size ($\vert NA\vert = P_A(N)$ for some $P_A(X) \in \mathbb{Q}[X]$) and structure (all of the lattice points in a cone other than certain exceptional sets), once $N$ is larger than some threshold. In this article we give the first effective upper bounds for this threshold for arbitrary $A$. Such explicit results were only previously known in the special cases when $d=1$, when the convex hull of $A$ is a simplex or when $\vert A\vert = d+2$, results which we improve.

Combinatorics,Number Theory
Restricted Sums of Four Squares

Zhi-Wei Sun

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

2019-01-01

International Journal of Number Theory

Abstract:We refine Lagrange’s four-square theorem in new ways by imposing some restrictions involving powers of two (including [Formula: see text]). For example, we show that each [Formula: see text] can be written as [Formula: see text] ([Formula: see text] with [Formula: see text] (or [Formula: see text], or [Formula: see text]), and that we can write any positive integer as [Formula: see text] with [Formula: see text] (or [Formula: see text]) a power of four. We also prove that any [Formula: see text] can be written as [Formula: see text] [Formula: see text] with [Formula: see text] a square (or a cube). In addition, we pose some open conjectures for further research; for example, we conjecture that any integer [Formula: see text] can be written as [Formula: see text] with [Formula: see text].
On a Sumset Problem for Integers.

Shan-Shan Du,Hui-Qin Cao,Zhi-Wei Sun

DOI: https://doi.org/10.37236/2801

2014-01-01

Abstract:Let A be a finite set of integers. We show that if k is a prime power or a product of two distinct primes then vertical bar A + k . A vertical bar >= (k + 1) vertical bar A vertical bar - [k(k +2)/4] provided vertical bar A vertical bar >= (k -)(2)k!, where A + k . A = {a + kb : a, b is an element of A}. We also establish the inequality vertical bar A vertical bar 4 . A vertical bar >= 5 vertical bar A vertical bar - 6 for vertical bar A vertical bar >= 5.
On the theorem of Davenport and generalized Dedekind sums

Bence Borda

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

2016-06-26

Abstract:A symmetrized lattice of $2n$ points in terms of an irrational real number $\alpha$ is considered in the unit square, as in the theorem of Davenport. If $\alpha$ is a quadratic irrational, the square of the $L^2$ discrepancy is found to be $c( \alpha ) \log n + O \left( \log \log n \right)$ for a computable positive constant $c( \alpha )$. For the golden ratio $\varphi$, the value $\sqrt{c (\varphi ) \log n}$ yields the smallest $L^2$ discrepancy of any sequence of explicitly constructed finite point sets in the unit square. If the partial quotients $a_k$ of $\alpha$ grow at most polynomially fast, the $L^2$ discrepancy is found in terms of $a_k$ up to an explicitly bounded error term. It is also shown that certain generalized Dedekind sums can be approximated using the same methods. For a special generalized Dedekind sum with arguments $a, b$ an asymptotic formula in terms of the partial quotients of $\frac{a}{b}$ is proved.

Number Theory
On Sums of Sparse Prime Subsets

Zhen Cui,Hong Ze Li,Bo Qing Xue

DOI: https://doi.org/10.1007/s10114-013-2488-2

2013-01-01

Abstract:For arbitrary c 0 > 0, if A is a subset of the primes less than x with cardinality δx(log x)−1, $\delta \geqslant (log x)^{ - c_0 }$, then there exists a positive constant c such that the cardinality of A + A is larger than c δx(log log x)−1.
Large sum-free sets in finite vector spaces I

Christian Reiher,Sofia Zotova

2024-08-28

Abstract:Let $p$ be a prime number with $p\equiv 2\pmod{3}$ and let $n\ge 1$ be a dimension. It is known that a sum-free subset of ${\mathbb F}_p^n$ can have at most the size $\frac13(p+1)p^{n-1}$ and that, up to automorphisms of ${\mathbb F}_p^n$, the only extremal example is the `cuboid' $\bigl[\frac{p+1}3, \frac{2p-1}3\bigr]\times {\mathbb F}_p^{n-1}$. For $p\ge 11$ we show that if a sum-free subset of ${\mathbb F}_p^n$ is not contained in such an extremal one, then its size is at most $\frac13(p-2)p^{n-1}$. This bound is optimal and we classify the extremal configurations. The remaining cases $p=2, 5$ are known to behave differently. For $p=3$ the analogous question was solved by Vsevolod Lev, and for $p\equiv 1\pmod{3}$ it is less interesting.

Combinatorics
An improved bound on sums of square roots via the subspace theorem

Friedrich Eisenbrand,Matthieu Haeberle,Neta Singer

2023-12-05

Abstract:The sum of square roots is as follows: Given $x_1,\dots,x_n \in \mathbb{Z}$ and $a_1,\dots,a_n \in \mathbb{N}$ decide whether $ E=\sum_{i=1}^n x_i \sqrt{a_i} \geq 0$. It is a prominent open problem (Problem 33 of the Open Problems Project), whether this can be decided in polynomial time. The state-of-the-art methods rely on separation bounds, which are lower bounds on the minimum nonzero absolute value of $E$. The current best bound shows that $|E| \geq \left(n \cdot \max_i (|x_i| \cdot \sqrt{a_i})\right)^{-2^n} $, which is doubly exponentially small. We provide a new bound of the form $|E| \geq \gamma \cdot (n \cdot \max_i|x_i|)^{-2n}$ where $\gamma $ is a constant depending on $a_1,\dots,a_n$. This is singly exponential in $n$ for fixed $a_1,\dots,a_n$. The constant $\gamma$ is not explicit and stems from the subspace theorem, a deep result in the geometry of numbers.

Computational Geometry
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
An Elementary Approach For Sums Of Consecutive Cubes Being Prime Power Squares

Atilla Akkuş

2024-01-10

Abstract:This paper proposes an elementary solution to a special case of finding all perfect squares that can be written as sum of consecutive integer cubes. It is shown that there are no non-trivial solutions if the perfect square is a prime power, i.e., it is divisible by two different primes if a non-trivial one exists. Solution mostly depends on $v_{p}(x)$ and general forms of Pythagorean triples.

General Mathematics
Sums of four rational squares with certain restrictions

Zhi-Wei Sun

2020-01-01

Abstract:In this paper we mainly study sums of four rational squares with certain restrictions. Let Q≥0 be the set of nonnegative rational numbers. We establish the following four-square theorem for rational numbers: For any a, b, c, d ∈ Q≥0, each r ∈ Q≥0 can be written as x 2 + y+z+w with x, y, z, w ∈ Q≥0 such that ax+by+cz+dw is a rational square (or a rational cube). This paper also contains many conjectures; for example, for any positive integers a and b with gcd(a, b) = 1, we conjecture that each r ∈ Q≥0 can be written as aw + bx +y+ z with w, x, y, z ∈ Q.
Optimal Bounds on the Growth of Iterated Sumsets in Abelian Semigroups

Shalom Eliahou,Eshita Mazumdar

2023-10-16

Abstract:We provide optimal upper bounds on the growth of iterated sumsets $hA=A+\dots+A$ for finite subsets $A$ of abelian semigroups. More precisely, we show that the new upper bounds recently derived from Macaulay's theorem in commutative algebra are best possible, i.e., are actually reached by suitable subsets of suitable abelian semigroups. Our constructions, in a multiplicative setting, are based on certain specific monomial ideals in polynomial algebras and on their deformation into appropriate binomial ideals via Gröbner bases.

Commutative Algebra,Combinatorics,Number Theory
Squares and difference sets in finite fields

Christine Bachoc,Imre Z. Ruzsa,Mate Matolcsi

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

2013-05-03

Abstract:For infinitely many primes $p=4k+1$ we give a slightly improved upper bound for the maximal cardinality of a set $B\subset \ZZ_p$ such that the difference set $B-B$ contains only quadratic residues. Namely, instead of the "trivial" bound $|B|\leq \sqrt{p}$ we prove $|B|\leq \sqrt{p}-1$, under suitable conditions on $p$. The new bound is valid for approximately three quarters of the primes $p=4k+1$.

Combinatorics,Number Theory
A Note on Sumsets and Restricted Sumsets

Jagannath Bhanja

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

2021-06-08

Combinatorics

Abstract:In this note we find the optimal lower bound for the size of the sumsets $HA$ and $H\,\hat{}A$ over finite sets $H, A$ of nonnegative integers, where $HA = \bigcup_{h\in H} hA$ and $H\,\hat{}A = \bigcup_{h\in H} h\,\hat{}A$. We also find the underlying algebraic structure of the sets $A$ and $H$ for which the size of the sumsets $HA$ and $H\,\hat{}A$ is minimum.
A note on the exceptional set for sums of unlike powers of primes

Liu, Yuhui

DOI: https://doi.org/10.1007/s13226-024-00695-0

2024-09-14

Indian Journal of Pure and Applied Mathematics

Abstract:In this paper, it is proved that with at most exceptions, every sufficiently large even integer satisfying , can be represented as the sum of two squares of primes, one cube of primes and three biquadrates of primes. This result constitutes a refinement upon that of the author [ 6 ].

mathematics

On sumsets containing a perfect square

On sums of a prime and four prime squares in short intervals

The additive structure of the squares inside rings

On the number of sets with small sumset

Sums of four squares with certain restrictions

Sumsets in the Hypercube

Improved stability for the size and structure of sumsets

Effective results on the size and structure of sumsets

Restricted Sums of Four Squares

On a Sumset Problem for Integers.

On the theorem of Davenport and generalized Dedekind sums

On Sums of Sparse Prime Subsets

Large sum-free sets in finite vector spaces I

An improved bound on sums of square roots via the subspace theorem

A note on the largest sum-free sets of integers

An Elementary Approach For Sums Of Consecutive Cubes Being Prime Power Squares

Sums of four rational squares with certain restrictions

Optimal Bounds on the Growth of Iterated Sumsets in Abelian Semigroups

Squares and difference sets in finite fields

A Note on Sumsets and Restricted Sumsets

A note on the exceptional set for sums of unlike powers of primes