Questions tagged [sumsets]
The sumsets tag has no usage guidance.
95
questions
8
votes
2
answers
591
views
sum-sets in a finite field
Let $\mathbb{F}_p$ be a finite field, $A=\{a_1,\dots,a_k\}\subset\mathbb{F}_p^*$ a $k$-element set, for $k<p$. $\mathfrak{S}_k=$permutation gp.
Question. Is it true there is always a $\pi\in\...
- 41.2k
3
votes
0
answers
64
views
What's known about $X$ when $|X(n) + X(n)| < kn$, $n \in \mathbb{N}$, absolute constant $k$?
Let $X$ be an infinite sequence of integers$$x_1 < x_2 < x_3 < \ldots,$$and let $X(n)$ be the set$$\{x_1, x_2, \ldots, x_n\}.$$
Question. What is known about $X$ when we have$$|X(n) + X(n)| &...
- 31
3
votes
1
answer
240
views
Limit measuring failure of sum-set cancellability
Suppose $A$, $B$ are finite sets of positive integers.
Let $$\mathcal{S}_n = \{C \subset [1,n] \, : \, A+C = B+C \}, $$ and denote $a_n = |\mathcal{S}_n|$.
Note that for any $X \in \mathcal{S}_n$ ...
- 265
1
vote
0
answers
116
views
Lower bound for sumset in discrete cube
Suppose $A\subset\{0,1\}^d$ for some $d\geq 1$. Then how large must $A+A=\{a+b:a,b\in A\}$ be?
10
votes
1
answer
537
views
what is the status of this problem? an equivalent formulation?
R. Guy, Unsolved problems in number theory, 3rd edition, Springer, 2004.
In this book, on page 167-168, Problem C5, Sums determining members of a set, discusses a question Leo Moser asked: suppose $X\...
- 41.2k
4
votes
2
answers
402
views
How big must the sumset $A+A$ be if $A$ satisfies no translation-invariant equations of low height?
Suppose $A$ is a finite subset of an abelian group. If there is no solution to $ma+nb=(m+n)c$ with $0\leq m,n\leq M$, can we bound $|A+A|$ from below? I am interested if one can obtain bounds much ...
- 41
4
votes
0
answers
125
views
Restricted addition analogue of Freiman's $(3n-4)$-theorem
There is a well-known theorem of Freiman saying that if $A$ is a finite set of integers with $|2A| \le 3|A|-4$, then $A$ is contained in an arithmetic progression with at most $|2A|-|A|+1$ terms. Is ...
- 41
2
votes
1
answer
188
views
When does the equality hold in Dias da Silva - Hamidoune Theorem?
Let $p$ be prime number and let $A$ be a $k$-elements subset of $\mathbb{Z}/p\mathbb{Z}$. Dias da Silva - Hamidoune Theorem states that $|h^{\hat{}}A| \geq \min(p, hk -h^2 + 1)$, where $h$ is an ...
- 167
1
vote
1
answer
179
views
Sumset achieving extreme upper bound [closed]
It is trivial that $|A_1 + \cdots + A_h| \leq |A_1|\cdots |A_h|$, where $h \geq 2$ and $A_i \subseteq \mathbb{Z}$ are nonempty finite sets and $A_1 + \cdots + A_h :=\{a_1 + \cdots + a_h : a_i \in A_i ~...
- 167
1
vote
1
answer
196
views
Some question on haar measure for sumsets of closed subsets of profinite groups
Let $H$ be a profinite group with the haar measure $\mu_H$. Let $H_1$ and $H_2$ be closed subgroups of $H$. $H_1$ and $H_2$ have their own haar measures $\mu_{H_1}$ and $\mu_{H_2}$ respectively.
...
- 11
8
votes
1
answer
720
views
Does $|A+A|$ concentrate near its mean?
Fix $N$ to be a large prime. Let $A \subset \mathbb{Z}/N\mathbb{Z}$ be a random subset defined by $\mathbb{P}(a \in A) = p$, where $p = N^{-2/3 + \epsilon}$ for some fixed $\epsilon > 0$. My ...
- 2,283
2
votes
4
answers
609
views
Show that the Minkowski sum of two triangles in 3D is the union of Minkowski sums of each triangle along the other's edges?
I'd like to show (or disprove) the claim that the Minkowski sum of two triangles with vertices in $\mathbb{R}^3$, $A+B$, is equal to the union of the unions of the Minkowski sums of $A$ along all ...
- 703
3
votes
2
answers
279
views
Partition regular systems: do they have solution in (very dense) set of integers?
A partition regular system is a linear system of equations of the form $A\cdot x=0$, which satisfies a Ramsey-type result (namely, that for each $r>0$ whenever we colour the integers in $r$ classes,...
- 1,483
3
votes
2
answers
408
views
Sumsets with distinct numbers, upper bound for maximum element
Let $A$ be a finite set of positive natural numbers with $n$ elements, $|A|=n$, with the property that all sums of two (not necessarily different) elements are distinct, or in the usual notation for ...
- 133
0
votes
1
answer
235
views
Set of number with unique sums of elements [closed]
Is it possible to construct a set of numbers of arbitrary size such that any calculation involving addition and subtraction, on any combination of those numbers, produces a unique result?
For example,...
- 111
5
votes
2
answers
527
views
Can you simplify (or approximate) $\sum_{n=0}^{N-1} \binom{N-1}n \frac{(-1)^n}{n+1} e^{-\frac{n}{2(n+1)}\lambda}$?
Let $\binom x y$ be the binomial coefficient. I am trying to get a better understanding of the sum
$$
f(N,\lambda)=\sum_{n=0}^{N-1}\binom{N-1}n\frac{(-1)^n}{n+1} e^{-\frac{n}{2(n+1)}\lambda}
$$
as a ...
- 345
0
votes
1
answer
203
views
determine elements of a sum given set
Is it possible to efficiently find the elements that make up a sum $S$ given a set of number sets which determine the sum elements? It seems like an NP-Complete problem, though I might miss something.
...
- 1
2
votes
1
answer
506
views
Asymptotic of a sum involving binomial coefficients
Good evening, I'm trying to find an asymptotic of this sum:
$$\sum_{j=0}^n (-1)^j {n \choose j} (n - j)^n = n^n - {n \choose 1} (n - 1)^n + {n \choose 2} (n - 2)^n + ... + (-1)^n {n \choose n} (n - ...
- 41
3
votes
3
answers
722
views
Is the sumset or the sumset of the square set always large?
Let A be a finite subset of $\mathbb{N}$, $\mathbb{R}$, or a sufficiently small subset of $\mathbb{F}_{p}$.
Do we have a lower bound of the form $|A|^{1+\delta}$ on the following quantity:
$$\max (|\...
- 11.7k
10
votes
2
answers
431
views
Iterated sumset inequalities in cancellative semigroups
This question is motivated by the following well-known theorems:
Thm (Plünnecke): If $A$ is a finite nonempty subset of an abelian group, then for every $n$ we have $|A^n| \le \frac{|AA|^n}{|A|^n}|A|$...
- 8,503
10
votes
2
answers
622
views
Sumsets and dilates: does $|A+\lambda A|<|A+A|$ ever hold?
The following problem is somehow hidden in this recently asked question, but I believe that it deserves to be asked explicitly.
Is it true that for any finite set $A$ of real numbers, and any real $...
- 22.6k
5
votes
1
answer
271
views
Element with unique representation in A+B
Let $A, B \subseteq \mathbb{Z}$ be finite subsets of the integers. Then there exists an element in $A+B$ with a unique representation as a sum of an element in $A$ and an element in $B$, namely $\max(...
- 83
3
votes
1
answer
200
views
On a problem about $GF(2)^n$
For $A\subseteq {\mathbb F}_2^n$ let
$$
Q(A)=\{\alpha+\beta\mid \alpha,\beta \in A,\ \alpha\neq\beta \}.
$$
I want to prove or disprove that if $|A|=2^k+1$ for some integer $k$, then
$$
|Q(A)|\ge2^{k+...
- 197
14
votes
1
answer
612
views
Minimal "sumset basis" in the discrete linear space $\mathbb F_2^n$
For a set $C\subseteq \mathbb F_2^n$, let $2C=C+C:=\{\alpha+\beta\colon \alpha,\beta\in C\}$.
I want to find $C$ of the smallest possible size such that $2C=\mathbb F_2^n$. Let $m(n)$ be the size of a ...
- 197
12
votes
1
answer
302
views
Number of orders of $k$-sums of $n$-numbers
Suppose we have a $n$-element set $S$. Denote the set of its $k$-element subsets by $K$ ($|K|=\binom{n}{k}$).
If the elements of $S$ are real numbers then to each $k$-element subset we can associate ...
- 1,421
4
votes
0
answers
214
views
Subgroup cliques in the Paley graph
It is a famous open problem to estimate non-trivially, for a prime $p\equiv 1\pmod 4$, the largest size of a subset $A\subset{\mathbb F}_p$ such that the difference of any two elements of $A$ is a ...
- 22.6k
3
votes
3
answers
469
views
How to find an integer set, s.t. the sums of at most 3 elements are all distinct?
How to find a set $A \subset \mathbb{N}$ such that any sum of at most three Elements $a_i \in A$ is different if at least one element in the sum is different.
Example with $|A|=3$: Out of the set $A :...
- 71
4
votes
1
answer
146
views
$B_k[1]$ sets with smallest possible $m = \max B_k[1]$ for given $k$ and $n = \lvert B_k[1]\rvert$ elements
Sidon sets are sets $A \subset \mathbb{N}$ such that for all $a_j,b_j \in A$ holds
$$a_1+a_2=b_1+b_2 \iff \{a_1,a_2\}=\{b_1,b_2\}.$$
Thus if you know the sum of two elements, you know which elements ...
- 71
8
votes
1
answer
322
views
Sumsets and a bound
Let $q$ be a positive integer. Is it true there exists a constant $C_q$ such that the following inequality holds for any finite set $A$ of reals:
$$\displaystyle |A+qA|\ge (q+1)|A|-C_q\qquad (1)$$
I ...
- 1,091
26
votes
1
answer
771
views
Distribution of $a^2+\alpha b^2$
It is well known that size of the set of positive integers up to $n$ that can be written as $a^2+b^2$ is asymptotic to $C \frac{n}{\sqrt{\log n}}$. Here I'm interested mostly in the weaker fact that ...
- 1,225
20
votes
3
answers
1k
views
A sumset inequality
A friend asked me the following problem:
Is it true that for every $X\subset A\subset \mathbb{Z}$, where $A$ is finite and $X$ is non-empty, that $$\frac{|A+X|}{|X|}\geq \frac{|A+A|}{|A|}?$$
Here ...
- 11.2k
18
votes
4
answers
2k
views
Number of vectors so that no two subset sums are equal
Consider all $10$-tuple vectors each element of which is either $1$ or $0$. It is very easy to select a set $v_1,\dots,v_{10}= S$ of $10$ such vectors so that no two distinct subsets of vectors $S_1 \...
- 3,095
11
votes
1
answer
600
views
Lower bounds for $|A+A|$ if $A$ contains only perfect squares
Let $A$ a set with $|A|=n$ that contains only perfect squares of integers.
What lower bounds can we give for $|A+A|$?
I think the lower bound $\gg \frac{n^2}{\sqrt{log \,n}}$ holds (this would be ...
- 1,225
2
votes
0
answers
180
views
Doubling for Sumset of the same set
Let $G$ ($G=\mathbb{Z}^n_2$ for my case) be a additive group and $A$ be a subset of $G$. For any set $S\subseteq G$ define its doubling as $$\sigma (S)=\dfrac{|S+S|}{|S|}$$
Suppose $A$ has small ...
- 21
5
votes
2
answers
489
views
Anticoncentration of the convolution of two characteristic functions
Edit: This is a question related to my other post, stated in a much more concrete way I think.
I am interested in anything (ideas, references) related to the following problem:
Suppose that $A \...
- 706
5
votes
1
answer
428
views
A problem related with 'Postage stamp problem'
A friend of mine taught me this question. I found that it is related with 'Postage stamp problem' (though it does not seem to be same).
Let $m,a_1\lt a_2\lt \cdots\lt a_n$ be natural numbers. Now let ...
- 4,697
13
votes
1
answer
567
views
Size of a certain sumset in $\mathbb{Z}/p^2\mathbb{Z}$
We are interested in estimating the size of a certain sumset in $\mathbb{Z}/p^2\mathbb{Z}$. Let $p$ be an odd prime, $g$ a primitive root modulo $p^2$, and $A=\langle g^p\rangle$ the unit subgroup of ...
- 165
8
votes
2
answers
763
views
A sum-product estimate in Z/p^2Z
We are interested in a sum-product type estimate. Let $p$ be an odd prime, and let $A$ be the order $p-1$ subgroup of $(\mathbb{Z}/p^2\mathbb{Z})^\times$. That is, let $A = \langle g^p \rangle$, where ...
- 165
1
vote
3
answers
338
views
how to proof this Stirling related equation
here is what I need to proof, have no idea were to start. I know there is some connection with the Stirling theorem.
$$
\sum_{i=0}^{d}\binom{m}{i} \leq \left ( \frac{em}{d} \right )^{d}
$$
I tried ...
- 11
1
vote
1
answer
196
views
unique sums in a finite direct product of sets of integers
I am an algebraist, and I am wondering if there is a definition for the following:
Let $A_1$, $A_2$, $\ldots, A_n$ be sets of integers (or more generally, subsets of a group $G$). Say that (for the ...
- 11
3
votes
1
answer
603
views
Additive set with small sum set and large difference set
I have a question!
Can someone explain how (the intuition, method?) one can try to construct an additive set of cardinality $N$ with a small sum set (around $N$) and a very large difference set (say,...
- 39
11
votes
0
answers
812
views
Cliques in the Paley graph and a problem of Sarkozy
The following question is motivated by pure curiosity; it is not a part
of any research project and I do not have any applications. The question
comes as an interpolation between two notoriously ...
- 22.6k
1
vote
1
answer
233
views
Find an approximate expression of a sum of a product using the average of each item
Is it possible to find an approximate expression of $\frac{\sum_{i=1}^{n} k_i x_i}{\sum_{i=1}^{n} k_i}$ using $\langle k \rangle$, $\langle k^2 \rangle$, $\langle x \rangle$, and $n$? Alternatively if ...
- 185
4
votes
1
answer
815
views
Intersecting Hamming spheres: is $|A\stackrel k+E|\ge|A|$?
Since my original posting some ten days ago, I discovered an amazing
example which changed significantly my perception of the problem.
Accordingly, the whole post got re-written now.
The most general ...
- 22.6k
15
votes
1
answer
700
views
The hypercube: $|A {\stackrel2+} E| \ge |A|$?
I have a good motivation to ask the question below, but since the post is
already a little long, and the problem looks rather natural and appealing
(well, to me, at least), I'd rather go straight to ...
- 22.6k