Let $G$ be a finite, non-trivial abelian group of exponent $m$, and suppose that $B_1, ..., B_k$ are generating subsets of $G$. We prove that if $k>2m \ln \log_2 |G|$, then the multiset union $B_1\cup...\cup B_k$ forms an additive basis of $G$; that is, for every $g\in G$ there exist $A_1\subset B_1, ..., A_k\subset B_k$ such that $g=\sum_{i=1}^k\sum_{a\in A_i} a$. This generalizes a result of Alon, Linial, and Meshulam on the additive bases conjecture.
As another step towards proving the conjecture, in the case where $B_1, ..., B_k$ are finite subsets of a vector space we obtain lower-bound estimates for the number of distinct values, attained by the sums of the form $\sum_{i=1}^k \sum_{a\in A_i} a$, where $A_i$ vary over all subsets of $B_i$ for each $i=1, >..., k$.
Finally, we establish a surprising relation between the additive bases conjecture and the problem of covering the vertices of a unit cube by translates of a lattice, and present a reformulation of (the strong form of) the conjecture in terms of coverings.
The aim of this paper is threefold: a) Finding new direct and inverse results in the additive number theory concerning Minkowski sums of dilates. b) Finding a connection between the above results and some direct and inverse problems in the theory of Baumslag-Solitar (non-abelian) groups. c) Solving certain inverse problems in Baumslag-Solitar groups or monoids, assuming appropriate small doubling properties.
In this work we present some arithmetic properties of families of abelian $p$--extensions of global function fields, among which are their generators and their type of ramification and decomposition.
Let X = S \oplus G, where S is a countable abelian semigroup and G is a countably infinite abelian group such that {2g : g in G} is infinite. Let pi: X \to G be the projection map defined by pi(s,g) = g for all x =(s,g) in X. Let f:X \to N_0 cup infty be any map such that the set pi(f^{-1}(0)) is a finite subset of G. Then there exists a set B contained in X such that r_B(x) = f(x) for all x in X, where the representation function r_B(x) counts the number of sets {x',x''} contained in B such that x' \neq x'' and x'+x''=x. In particular, every function f from the integers Z into N_0 \cup infty …
Given two non-empty subsets $W,W'\subseteq G$ in an arbitrary abelian group $G$, $W'$ is said to be an additive complement to $W$ if $W + W'=G$ and it is minimal if no proper subset of $W'$ is a complement to $W$. The notion was introduced by Nathanson and previous work by him, Chen--Yang, Kiss--Sàndor--Yang etc. focussed on $G =\mathbb{Z}$. In the higher rank case, recent work by the authors treated a class of subsets, namely the eventually periodic sets. However, for infinite subsets, not of the above type, the question of existence or inexistence of minimal complements is open. In this arti…
Let $\mathcal{O}_K$ be a discrete valuation ring with fraction field $K$ of characteristic $0$ and algebraically closed residue field $k$ of characteristic $p > 0$. Let $A/K$ be an abelian variety of dimension $g$ with a $K$-rational point of order $p$. In this article, we are interested in the reduction properties that $A/K$ can have. After discussing the general case, we specialize to $g=1$, and we study the possible Kodaira types that can occur.
We prove some new bounds for the size of the maximal dissociated subset of structured (having small sumset, large energy and so on) subsets A of an abelian group.
In this paper, we study the problem of removing an element from an additive basis in a general abelian group. We introduce analogues of the classical functions $X$, $S$ and $E$ (defined in the case of the integers) and obtain bounds on them. Our estimates on the functions $S_G$ and $E_G$ are valid for general abelian groups $G$ while in the case of $X_G$ we show that distinct types of behaviours may occur depending on the group $G$.
In this paper we investigate some new problems in additive combinatorics. Our problems mainly involve permutations (or circular permutations) $n$ distinct numbers (or elements of an additive abelian group) $a_1,\ldots,a_n$ with adjacent sums $a_i+a_{i+1}$ (or differences $a_i-a_{i+1}$) pairwise distinct. For an odd prime power $q=2n+1>13$ with $q\not=25$, we show that there is a circular permutation $(a_1,\ldots,a_n)$ of the elements of $S=\{a^2:\ a\in\mathbb F_q\setminus\{0\}\}$ such that $\{a_1+a_2,\ldots,a_{n-1}+a_n,a_n+a_1\}=S$, where $\mathbb F_q$ denotes the field of order $q$. For any f…
The purpose of the article is to provide an unified way to formulate zero-sum invariants. Let $G$ be a finite additive abelian group. Let $B(G)$ denote the set consisting of all nonempty zero-sum sequences over G. For $Ω\subset B(G$), let $d_Ω(G)$ be the smallest integer $t$ such that every sequence $S$ over $G$ of length $|S|\geq t$ has a subsequence in $Ω$.We provide some first results and open problems on $d_Ω(G)$.
We embark on a tour that takes us through four closely related topics: the dual concepts of independence and spanning in finite abelian groups and the analogous dual concepts of designs and distance sets on spheres. We review some of the main known results in each area, mention several open questions, and discuss some connections among these four interesting topics.
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}_{i=1}^n of the elements of A, a numbering {b_i}_{i=1}^n of the elements of B and a numbering {c_i}_{i=1}^n of the elements of C, such that all the sums a_i+b_i+c_i (i=1,...,n) are distinct. Consequently, each subcube of the Latin cube formed by the Cayley addition table of Z/NZ contains a Latin transversal. This additive theorem can be further extended via restricted sumsets in a field.
A subset $C$ of an abelian group $G$ is a minimal additive complement to $W \subseteq G$ if $C + W = G$ and if $C' + W \neq G$ for any proper subset $C' \subset C$. In this paper, we study which sets of integers arise as minimal additive complements. We confirm a conjecture of Kwon, showing that bounded-below sets with arbitrarily large gaps arise as minimal additive complements. Moreover, our construction shows that any such set belongs to a co-minimal pair, strengthening a result of Biswas and Saha for lacunary sequences. We bound the upper and lower Banach density of syndetic sets that aris…
The paper deals with a problem of Additive Combinatorics. Let ${\mathbf G}$ be a finite abelian group of order $N$. We prove that the number of subset triples $A,B,C\subset {\mathbf G}$ such that for any $x\in A$, $y\in B$ and $z\in C$ one has $x+y\ne z$ equals $$ 3\cdot 4^N+N3^{N+1} + O((3-c_*)^N) $$ for some absolute constant $c_*>0$. This provides a tight estimate for the number of independent sets in a special 3-uniform linear hypergraph and gives a support for the natural conjecture concerning the maximal possible number of independent sets in such hypergraphs on $n$ vertices.
We prove new results concerning the additive Galois module structure of certain wildly ramified finite non-abelian extensions of Q. In particular, when K/Q is a Galois extension with Galois group G isomorphic to A4, S4 or A5, we give necessary and sufficient conditions for the ring of integers of K to be free over its associated order in the rational group algebra Q[G].
We derive some new results on the k-th barycentric Olson constants of abelian groups (mainly cyclic). This quantity, for a finite abelian (additive) group (G,+), is defined as the smallest integer l such that each subset A of G with at least l elements contains a subset with k elements {g_1, ..., g_k} satisfying g_1 + ... + g_k = k g_j for some 1 <= j <= k.
Let $G$ be an additive finite abelian group of order $n$, and let $S$ be a sequence of $n+k$ elements in $G$, where $k\geq 1$. Suppose that $S$ contains $t$ distinct elements. Let $\sum_n(S)$ denote the set that consists of all elements in $G$ which can be expressed as the sum over a subsequence of length $n$. In this paper we prove that, either $0\in \sum_n(S)$ or $|\sum_n(S)|\geq k+t-1.$ This confirms a conjecture by Y.O. Hamidoune in 2000.
Let $G$ be a finite additive abelian group with exponent $n>1$, and let $a_1,\ldots,a_{n-1}\in G$. We show that there is a permutation $σ\in S_{n-1}$ such that all the elements $sa_{σ(s)}\ (s=1,\ldots,n-1)$ are nonzero if and only if $$\left|\left\{1\le s<n:\ \frac{n}{d}a_s\ne 0\right\}\right|\ge d-1\ \ \textrm{ for every positive divisor }\ d\ \textrm{ of }\ n.$$ When $G$ is the cyclic group $\mathbb Z/n\mathbb Z$, this confirms a conjecture of Z.-W. Sun.
Szemeredi's regularity lemma is an important tool in graph theory which has applications throughout combinatorics. In this paper we prove an analogue of Szemeredi's regularity lemma in the context of abelian groups and use it to derive some results in additive number theory. One is a structure theorm for sets which are almost sum-free. If A is a subset of [N] which contains just o(N^2) triples (x,y,z) such that x + y = z then A may be written as the union of B and C, where B is sum-free and |C| = o(N). Another answers a question of Bergelson, Host and Kra. If alpha, epsilon > 0, if N > N_0(alp…
We call a subset $A$ of the (additive) abelian group $G$ {\it $t$-independent} if for all non-negative integers $h$ and $k$ with $h+k \leq t$, the sum of $h$ (not necessarily distinct) elements of $A$ does not equal the sum of $k$ (not necessarily distinct) elements of $A$ unless $h=k$ and the two sums contain the same terms in some order. A {\it weakly $t$-independent} set satisfies this property for sums of distinct terms. We give some exact values and asymptotic bounds for the size of a largest $t$-independent set and weakly $t$-independent set in abelian groups, particularly in the cyclic …
Given a subset $W$ of an abelian group $G$, a subset $C$ is called an additive complement for $W$ if $W+C=G$; if, moreover, no proper subset of $C$ has this property, then we say that $C$ is a minimal complement for $W$. It is natural to ask which subsets $C$ can arise as minimal complements for some $W$. We show that in a finite abelian group $G$, every non-empty subset $C$ of size $|C| \leq 2^{2/3}|G|^{1/3}/((3e \log |G|)^{2/3}$ is a minimal complement for some $W$. As a corollary, we deduce that every finite non-empty subset of an infinite abelian group is a minimal complement. We also deri…
Let (G, +) be an abelian group. A subset of G is sumfree if it contains no elements x, y, z such that x +y = z. We extend this concept by introducing the Schur degree of a subset of G, where Schur degree 1 corresponds to sumfree. The classical inequality S(n) $\le$ R n (3) -- 2, between the Schur number S(n) and the Ramsey number R n (3) = R(3,. .. , 3), is shown to remain valid in a wider context, involving the Schur degree of certain subsets of G. Recursive upper bounds are known for R n (3) but not for S(n) so far. We formulate a conjecture which, if true, would fill this gap. Indeed, our s…
Denoting by Sigma(S) the set of subset sums of a subset S of a finite abelian group G, we prove that |Sigma(S)| >= |S|(|S|+2)/4-1 whenever S is symmetric, |G| is odd and Sigma(S) is aperiodic. Up to an additive constant of 2 this result is best possible, and we obtain the stronger (exact best possible) bound in almost all cases. We prove similar results in the case |G| is even. Our proof requires us to extend a theorem of Olson on the number of subset sums of anti-symmetric subsets S from the case of Z_p to the case of a general finite abelian group. To do so, we adapt Olson's method using a g…
Let G be an additive, finite abelian group. The critical number $\mathsf{cr}(G)$ of $G$ is the smallest positive integer $\ell$ such that for every subset $S \subset G \setminus \{0\}$ with $|S| \ge \ell$ the following holds: Every element of $G$ can be written as a nonempty sum of distinct elements from $S$. The critical number was first studied by P. Erdős and H. Heilbronn in 1964, and due to the contributions of many authors the value of $\mathsf {cr}(G)$ is known for all finite abelian groups $G$ except for $G \cong \mathbb{Z}/pq\mathbb{Z}$ where $p,q$ are primes such that $p+\lfloor2\sqrt…
We address the "sums of dilates problem" by looking for non-trivial lower bounds on sumsets of the form $k \cdot X + l \cdot X$, where $k$ and $l$ are non-zero integers and $X$ is a subset of a possibly non-abelian group $G$ (written additively). In particular, we investigate the extension of some results so far known only for the integers to the context of torsion-free or linearly orderable groups, either abelian or not.
We establish in this paper a new form of Plünnecke-type inequalities for ergodic probability measure-preserving actions of any countable abelian group. Using a correspondence principle for product sets, this allows us to deduce lower bounds on the upper and lower Banach densities of any product set in terms of the upper Banach density of an iterated product set of one of its addends. These bounds are new already in the case of the integers. We also introduce the notion of an ergodic basis, which is parallel, but significantly weaker than the analogous notion of an additive basis, and deduce Pl…
Let $k$ be an algebraically closed field of characteristic $p>0$ and $C$ a connected nonsingular projective curve over $k$ with genus $g \geq 2$. Let $(C,G)$ be a "big action", i.e. a pair $(C,G)$ where $G$ is a $p$-subgroup of the $k$-automorphism group of $C$ such that$\frac{|G|}{g} >\frac{2 p}{p-1}$. We denote by $G_2$ the second ramification group of $G$ at the unique ramification point of the cover $C \to C/G$. The aim of this paper is to describe the big actions whose $G_2$ is $p$-elementary abelian. In particular, we obtain a structure theorem by considering the $k$-algebra generated by…
