Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Questions on the subject additive combinatorics, also known as arithmetic combinatorics, such as questions on: additive bases, sum sets, inverse sum set theorems, sets with small doubling, Sidon sets, Szemerédi's theorem and its ramifications, Gowers uniformity norms, etc. Often combined with the top-level tags nt.number-theory or co.combinatorics. Some additional tags are available for further specialization, including the tags sumsets and sidon-sets.
4
votes
Accepted
Maximal zero-sum free sequences of $C_3^n$
I sent an email to Alfred Geroldinger with a link to this thread. Here is a summary of his reply (I'm posting with his permission):
The structure of minimal zero-sum sequences of maximal length over …
12
votes
Accepted
On the origin of a fundamental theorem of additive number theory
I shared the link to this thread with several colleagues, inviting them to contribute to the discussion. Notably, I received a response from Melvyn Nathanson himself, most of which is reproduced below …
9
votes
1
answer
408
views
On the origin of a fundamental theorem of additive number theory
Given $a, b \in \mathbb Z$, set $[\![a,b]\!] := \{x \in \mathbb Z: a \le x \le b\}$. A basic result in additive number theory goes as follows:
If $A$ is a finite subset of $\mathbb N$ with $0 \in A$ …
4
votes
2
answers
666
views
Reference to a variant of Abel's summation formula
Edit. A stronger version of the formula is true (details follow).
Let $(a_n)_{n \ge 1}$ be a sequence of complex numbers, $(\lambda_n)_{n \ge 1}$ a nondecreasing sequence of positive reals such that …
3
votes
1
answer
179
views
Decomposing a set of integers as a union of well-separated (discrete) intervals
Let a discrete interval be a set of the form $\{x \in \mathbb Z \colon a \le x \le b\}$ with $a, b \in \mathbb Z \cup \{\pm \infty\}$. Then define the boxing dimension $\text{bim}(S)$ of a set $S \sub …
18
votes
Accepted
Sets that are not sum of subsets
There are three questions in the OP, and I'll try to address each of them in as comprehensive a way as I can. I'll be glad to add in further details (and references) if requested.
◇ Preliminaries on f …
3
votes
0
answers
111
views
Decomposing a subset of $\mathbf Z$ into a sumset of irreducibles
We say that a subset $A$ of $\mathbf Z$ is irreducible if $|A| \ge 2$ and there do not exist $X, Y \subseteq \mathbf Z$ with $|X|, |Y| \ge 2$ such that $A = X + Y$.
If $X \subseteq \mathbf Z$, we de …
1
vote
0
answers
29
views
Generating larger atoms from smaller ones in a simple $\text{C}_0$-monoid
Let $P$ be a finite set, $\mathscr F(P)$ the free abelian monoid with basis $P$ (which I'll write multiplicatively), $H$ a submonoid of $\mathscr F(P)$, and $\mathcal A(H)$ the set of atoms of $H$ (wh …
2
votes
0
answers
137
views
The set of lengths of $nX$ gets larger and larger for every non-zero, non-empty, finite $X \...
Let $H$ be a multiplicatively written monoid with identity $1_H$. Given $x \in H$, we take ${\sf L}_H(x) := \{0\}$ if $x = 1_H$; otherwise, ${\sf L}_H(x)$ is the set of all $k \in \mathbf N^+$ for whi …
3
votes
0
answers
96
views
Given a primitive finite set $A\subseteq\bf N$ with $0\in A$, find two more primitive sets $...
Let $\mathcal P_{{\rm fin},0}(\mathbf N)$ be the monoid of all finite subsets of $\mathbf N$ containing $0$ with the operation of set addition
$$
(X, Y) \mapsto X + Y := \{x+y: x \in X \text{ and }y \ …
6
votes
1
answer
152
views
Are the extremal points of a certain set of functions $\mathcal P(\mathbf N) \to \bf R$ weak...
Let an upper density (on $\mathbf N$) be a (set) function $f: \mathcal P(\mathbf N) \to \mathbf R$ such that, for all $X, Y \subseteq \bf N$ and $h,k \in \mathbf N^+$, the following hold:
(F1) $f( …
0
votes
0
answers
125
views
Embedding a cancellative monoid into another in such a way that $|X-x|=|X|$, where $X$ is a ...
Preliminaries.
Let $\mathbb A = (A, +)$ be a possibly non-commutative semigroup. For $X, Y \subseteq A$ we set
$$
X - Y := \{a \in A: a + y \in X\text{ for some }y \in Y\},
$$
which is just the usual …
10
votes
1
answer
548
views
Who was/were the first to note that if $\sum_{x \in X} \frac{1}{x} < \infty$ then the natura...
It is a result of folklore that the natural density of a set $X$ of positive integers such that $\sum_{x \in X} \frac{1}{x} < \infty$ is zero. This is reproved, e.g., in T. Šalát's paper: Convergence …
2
votes
Accepted
Additivity of upper densities with respect to arithmetic progressions of integers
The answer is in the negative.
Let $f$ and $g$ be two upper densities (in the sense of the OP), and let $\alpha \in [0,1]$ and $q \in [1,\infty[$. Then the function
$$h := (\alpha f^q + (1-\alpha) …
2
votes
Reference to a variant of Abel's summation formula
Sorry for answering my own question, but after hearing from Zaccagnini I found a reference to the variant of Abel's summation formula mentioned in the early version of the OP, where $f^\prime$ was ass …