Sum-free set in finite abelian groups

On two questions about restricted sumsets in finite abelian groups

Let $G$ be an abelian group of finite order $n$, and let $h$ be a positive integer. A subset $A$ of $G$ is called {\em weakly $h$-incomplete}, if not every element of $G$ can be written as the sum of $h$ distinct elements of $A$; in particular, if $A$ does not contain $h$ distinct elements that add to zero, then $A$ is called {\em weakly $h$-zero-sum-free}. We investigate the maximum size of weakly $h$-incomplete and weakly $h$-zero-sum-free sets in $G$, denoted by $C_h(G)$ and $Z_h(G)$, respectively. Among our results are the following: (i) If $G$ is of odd order and $(n-1)/2 \leq h \leq n-2$…

The Cross Number of Minimal Zero-sum Sequences in Finite Abelian Groups

We study the maximal cross number $\mathsf{K}(G)$ of a minimal zero-sum sequence and the maximal cross number $\mathsf{k}(G)$ of a zero-sum free sequence over a finite abelian group $G$, defined by Krause and Zahlten. In the first part of this paper, we extend a previous result by X. He to prove that the value of $\mathsf{k}(G)$ conjectured by Krause and Zahlten hold for $G \bigoplus C_{p^a} \bigoplus C_{p^b}$ when it holds for $G$, provided that $p$ and the exponent of $G$ are related in a specific sense. In the second part, we describe a new method for proving that the conjectured value of $…

The independence number of a subset of an abelian group

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 …

On the Minimum Size of Signed Sumsets in Elementary Abelian Groups

For a finite abelian group $G$ and positive integers $m$ and $h$, we let $$ρ(G, m, h) = \min \{|hA| \; : \; A \subseteq G, |A|=m\}$$ and $$ρ_{\pm} (G, m, h) = \min \{|h_{\pm} A| \; : \; A \subseteq G, |A|=m\},$$ where $hA$ and $h_{\pm} A$ denote the $h$-fold sumset and the $h$-fold signed sumset of $A$, respectively. The study of $ρ(G, m, h)$ has a 200-year-old history and is now known for all $G$, $m$, and $h$. In previous work we provided an upper bound for $ρ_{\pm} (G, m, h)$ that we believe is exact, and proved that $ρ_{\pm} (G, m, h)$ agrees with $ρ(G, m, h)$ when $G$ is cyclic. Here we s…

The multisubset sum problem for finite abelian groups

In this note, we give the explicit formula for the number of multisubsets of a finite abelian group $G$ with any given size such that the sum is equal to a given element $g\in G$. This also gives the number of partitions of $g$ into a given number of parts over a finite abelian group. An inclusion-exclusion formula for the number of multisubsets of a subset of $G$ with a given size and a given sum is also obtained.

On the number of weighted subsequences with zero-sum in a finite abelian group

Suppose $G$ is a finite abelian group and $S=g_{1}\cdots g_{l}$ is a sequence of elements in $G$. For any element $g$ of $G$ and $A\subseteq\mathbb{Z}\backslash\left\{ 0\right\} $, let $N_{A,g}(S)$ denote the number of subsequences $T=\prod_{i\in I}g_{i}$ of $S$ such that $\sum_{i\in I}a_{i}g_{i}=g$ , where $I\subseteq\left\{ 1,\ldots,l\right\}$ and $a_{i}\in A$. The purpose of this paper is to investigate the lower bound for $N_{A,0}(S)$. In particular, we prove that $N_{A,0}(S)\geq2^{|S|-D_{A}(G)+1}$, where $D_{A}(G)$ is the smallest positive integer $l$ such that every sequence over $G$ of …

Large restricted sumsets in general abelian group

Let A, B and S be three subsets of a finite Abelian group G. The restricted sumset of A and B with respect to S is defined as A\wedge^{S} B= {a+b: a in A, b in B and a-b not in S}. Let L_S=max_{z in G}| {(x,y): x,y in G, x+y=z and x-y in S}|. A simple application of the pigeonhole principle shows that |A|+|B|>|G|+L_S implies A\wedge^S B=G. We then prove that if |A|+|B|=|G|+L_S then |A\wedge^S B|>= |G|-2|S|. We also characterize the triples of sets (A,B,S) such that |A|+|B|=|G|+L_S and |A\wedge^S B|= |G|-2|S|. Moreover, in this case, we also provide the structure of the set G\setminus (A\wedge^…

A reciprocity on finite abelian groups involving zero-sum sequences II

Let $G$ be a finite abelian group. For any positive integers $d$ and $m$, let $φ_G(d)$ be the number of elements in $G$ of order $d$ and $\mathsf M(G,m)$ be the set of all zero-sum sequences of length $m$. In this paper, for any finite abelian group $H$, we prove that $$|\mathsf M(G,|H|)|=|\mathsf M(H,|G|)|$$ if and only if $φ_G(d)=φ_H(d)$ for any $d|(|G|,|H|)$. We also consider an extension of this result to non-abelian groups in terms of invariant theory.

Polynomial growth of sumsets in abelian semigroups

Let S be an abelian semigroup, and A a finite subset of S. The sumset hA consists of all sums of h elements of A, with repetitions allowed. Let |hA| denote the cardinality of hA. Elementary lattice point arguments are used to prove that an arbitrary abelian semigroup has polynomial growth, that is, there exists a polynomial p(t) such that |hA| = p(h) for all sufficiently large h. Lattice point counting is also used to prove that sumsets of the form h_1A_1 + >... + h_rA_r have multivariate polynomial growth.

Zero-sum invariants of finite abelian groups

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)$.

关于阿贝尔群中无和集的注记

Notes on sum-free sets in abelian groups

本文通过容器方法，渐近确定了大多数偶数阶阿贝尔群中极大无和子集的数量，并提出了若干开放问题。

Short Zero-Sum Sequences Over Abelian $p$-Groups of Large Exponent

Let $G$ be a finite abelian group with exponent $n$. Let $η(G)$ denote the smallest integer $\ell$ such that every sequence over $G$ of length at least $\ell$ has a zero-sum subsequence of length at most $n$. We determine the precise value of $η(G)$ when $G$ is a $p$-group whose Davenport constant is at most $2n-1$. This confirms one of the equalities in a conjecture by Schmid and Zhuang from 2010.

Sum-free sets in abelian groups

Let A be a subset of an abelian group G. We say that A is sum-free if there do not exist x,y and z in A satisfying x + y = z. We determine, for any G, the cardinality of the largest sum-free subset of G. This equals c(G)|G| where c(G) is a constant depending on G and lying in the interval [2/7,1/2]. We also estimate the number of sum-free subsets of G. It turns out that log_2 of this number is c(G)|G| + o(|G|), which is tight up to the o-term. For certain abelian groups, those whose order is divisible by a small prime of the form 3k + 2, we can obtain an asymptotic for the number of sum-free s…

Counting sum-free sets in Abelian groups

In this paper we study sum-free sets of order $m$ in finite Abelian groups. We prove a general theorem on 3-uniform hypergraphs, which allows us to deduce structural results in the sparse setting from stability results in the dense setting. As a consequence, we determine the typical structure and asymptotic number of sum-free sets of order $m$ in Abelian groups $G$ whose order is divisible by a prime $q$ with $q \equiv 2 \pmod 3$, for every $m \ge C(q) \sqrt{n \log n}$, thus extending and refining a theorem of Green and Ruzsa. In particular, we prove that almost all sum-free subsets of size $m…

On the maximum size of a $(k,l)$-sum-free subset of an abelian group

A subset $A$ of a given finite abelian group $G$ is called $(k,l)$-sum-free if the sum of $k$ (not necessarily distinct) elements of $A$ does not equal the sum of $l$ (not necessarily distinct) elements of $A$. We are interested in finding the maximum size $λ_{k,l}(G)$ of a $(k,l)$-sum-free subset in $G$. A $(2,1)$-sum-free set is simply called a sum-free set. The maximum size of a sum-free set in the cyclic group $\mathbb{Z}_n$ was found almost forty years ago by Diamanda and Yap; the general case for arbitrary finite abelian groups was recently settled by Green and Ruzsa. Here we find the va…

On the generalized restricted sumsets in abelian groups

Suppose that $A$, $B$ and $S$ are non-empty subsets of a finite abelian group $G$. Then the generalized restricted sumset $$ A\stackrel{S}+B:=\{a+b:\,a\in A,\ b\in B,\ a-b\not\in S\} $$ contains at least $$ \min\{|A|+|B|-3|S|,p(G)\} $$ elements, where $p(G)$ is the least prime factor of $|G|$. Further, we also have $$ |A\stackrel{S}+B|\geq \min\{|A|+|B|-|S|-2,p(G)\}, $$ provided that both $|A|$ and $|B|$ are large with respect to $|S|$.

Inverse zero-sum problems in finite Abelian p-groups

In this paper, we study the minimal number of elements of maximal order within a zero-sumfree sequence in a finite Abelian p-group. For this purpose, in the general context of finite Abelian groups, we introduce a new number, for which lower and upper bounds are proved in the case of finite Abelian p-groups. Among other consequences, the method that we use here enables us to show that, if we denote by exp(G) the exponent of the finite Abelian p-group G which is considered, then a zero-sumfree sequence S with maximal possible length in G must contain at least exp(G)-1 elements of maximal order,…

A reciprocity on finite abelian groups involving zero-sum sequences

In this paper, we present a reciprocity on finite abelian groups involving zero-sum sequences. Let $G$ and $H$ be finite abelian groups with $(|G|,|H|)=1$. For any positive integer $m$, let $\mathsf M(G,m)$ denote the set of all zero-sum sequences over $G$ of length $m$. We have the following reciprocity $$|\mathsf M(G,|H|)|=|\mathsf M(H,|G|)|.$$ Moreover, we provide a combinatorial interpretation of the above reciprocity using ideas from rational Catalan combinatorics. We also present and explain some other symmetric relationships on finite abelian groups with methods from invariant theory. A…

The subset sum problem for finite abelian groups

Let G be a finite abelian group. For g in G and i an integer we define N(i,g) to be the number of subsets of G of size i which sum up to g. We will give a short proof, using character theory, of a formula for these N(i,g) due to Li and Wan. We also give a formula for N(i,g)*, the number of subsets of G not containing 0 of size i which sum up to g. This generalizes another result of Wan.

The largest $(k, \ell)$-sum-free sets in compact abelian groups

A subset $A$ of a finite abelian group is called $(k,\ell)$-sum-free if $kA \cap \ell A=\emptyset.$ In this paper, we extend this concept to compact abelian groups and study the question of how large a measurable $(k,\ell)$-sum-free set can be. For integers $1 \leq k <\ell$ and a compact abelian group $G$, let $$λ_{k,\ell}(G)=\sup\{ μ(A): kA \cap \ell A =\emptyset \}$$ be the maximum possible size of a $(k,\ell)$-sum-free subset of $G$. We prove that if $G=\mathbb{I} \times M$, where $\mathbb{I}$ is the identity component of $G$, then $$λ_{k, \ell}(G)=\max \left\{ λ_{k, \ell}(M), λ_{k, \ell}(\…

On the number of subsequences with a given sum in a finite abelian group

Suppose $G$ is a finite abelian group and $S$ is a sequence of elements in $G$. For any element $g$ of $G$, let $N_g(S)$ denote the number of subsequences of $S$ with sum $g$. The purpose of this paper is to investigate the lower bound for $N_g(S)$. In particular, we prove that either $N_g(S)=0$ or $N_g(S) \ge 2^{|S|-D(G)+1}$, where $D(G)$ is the smallest positive integer $\ell$ such that every sequence over $G$ of length at least $\ell$ has a nonempty zero-sum subsequence. We also characterize the structures of the extremal sequences for which the equality holds for some groups.

A Local-global Summation Formula for Abelian Varieties

Let $K$ be a field finitely generated over ${\Q}$, and $A$ an Abelian variety defined over $K$. Then by the Mordell-Weil Theorem, the set of rational points $A(K)$ is a finitely-generated Abelian group. In this paper, assuming Tate's Conjecture on algebraic cycles, we prove a limit formula for the Mordell-Weil rank of an arbitrary family of Abelian varieties $A$ over a number field $k$; this is the Abelian fibration analogue of the Nagao formula for elliptic surfaces $E$, originally conjectured by Nagao, and proven by Rosen and Silverman to be equivalent to Tate's Conjecture for $E$. We also g…

阿贝尔半群中迭代和集增长的最优界

Optimal Bounds on the Growth of Iterated Sumsets in Abelian Semigroups

本文为阿贝尔半群有限子集的迭代和集增长给出最优上界，证明源自Macaulay定理的界可达，构造基于多项式代数中的单项式理想及其通过Gröbner基的形变。

关于经典加倍法产生的雅可比和

On Jacobi sums arising from the classical doubling method

研究有限域上一般线性群或经典群相关的非阿贝尔雅可比和，对一般线性群用近藤非阿贝尔高斯和表示，对经典群及特定特征给出显式公式并证明其在几何卢茨蒂格系列上为常数，结果依赖于吉尔施 - 泽林格的乘法性结果。

Zero-sum problems for abelian p-groups and covers of the integers by residue classes

Zero-sum problems for abelian groups and covers of the integers by residue classes, are two different active topics initiated by P. Erdos more than 40 years ago and investigated by many researchers separately since then. In an earlier announcement [Electron. Res. Announc. Amer. Math. Soc. 9(2003), 51-60], the author claimed some surprising connections among these seemingly unrelated fascinating areas. In this paper we establish further connections between zero-sum problems for abelian p-groups and covers of the integers. For example, we extend the famous Erdos-Ginzburg-Ziv theorem in the follo…

具有一个大加数的离散和集

Discrete sumsets with one large summand

本文研究离散阿贝尔群中至少一个加数具有正上Banach密度的和集问题，通过建立离散与紧致阿贝尔群中和集及卷积水平集之间的强对应关系，改进了前人结论，且证明避免了保测动力学和非标准分析，适用于任意基数的离散阿贝尔群。

Sum-full sets are not zero-sum-free

Let $A$ be a finite, nonempty subset of an abelian group. We show that if every element of $A$ is a sum of two other elements, then $A$ has a nonempty zero-sum subset. That is, a (finite, nonempty) sum-full subset of an abelian group is not zero-sum-free.

有限阿贝尔群中的限制和集

The restricted sumsets in finite abelian groups

该研究针对有限阿贝尔群的非空子集，给出了由不同元素构成的k元限制和集的基数下界，为相关数论与组合问题提供了定量结果。

Subset sums in abelian groups

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…

无限阿贝尔群的泛零和不变量与加权零和

The universal zero-sum invariant and weighted zero-sum for infinite abelian groups

本文研究阿贝尔群的泛零和不变量，证明多数群存在极小零和序列真子集使对应不变量等于达文波特常数，引入带权泛不变量，得到无限阿贝尔群加权达文波特常数有限的充要条件并建立其与群有限陪集覆盖的联系。

Sumsets of sequences in abelian groups and flags in field extensions

For a finite abelian group $G$ with subsets $A$ and $B$, the sumset $AB$ is $\{ab \mid a\in A, b \in B\}$. A fundamental problem in additive combinatorics is to find a lower bound for the cardinality of $AB$ in terms of the cardinalities of $A$ and $B$. This article addresses the analogous problem for sequences in abelian groups and flags in field extensions. For a positive integer $n$, let $[n]$ denote the set $\{0,\dots,n-1\}$. To a finite abelian group $G$ of cardinality $n$ and an ordering $G = \{1=v_0,\dots,v_{n-1}\}$, associate the function $T \colon [n] \times [n] \rightarrow [n]$ defin…

k-Sums in abelian groups

Given a finite subset A of an abelian group G, we study the set k \wedge A of all sums of k distinct elements of A. In this paper, we prove that |k \wedge A| >= |A| for all k in {2,...,|A|-2}, unless k is in {2,|A|-2} and A is a coset of an elementary 2-subgroup of G. Furthermore, we characterize those finite subsets A of G for which |k \wedge A| = |A| for some k in {2,...,|A|-2}. This result answers a question of Diderrich. Our proof relies on an elementary property of proper edge-colourings of the complete graph.

Inverse zero-sum problems and algebraic invariants

In this article, we study the maximal cross number of long zero-sumfree sequences in a finite Abelian group. Regarding this inverse-type problem, we formulate a general conjecture and prove, among other results, that this conjecture holds true for finite cyclic groups, finite Abelian p-groups and for finite Abelian groups of rank two. Also, the results obtained here enable us to improve, via the resolution of a linear integer program, a result of W. Gao and A. Geroldinger concerning the minimal number of elements with maximal order in a long zero-sumfree sequence of a finite Abelian group of r…

无限阿贝尔群的泛零和不变性与加权零和 II

The universal zero-sum invariant and weighted zero-sum for infinite abelian groups II

本文分类了使得经典Davenport常数可由最小零和序列集表示的有限阿贝尔群，并研究了加权Davenport常数与核覆盖紧致性之间的关系。

Growth of sumsets in abelian semigroups

Let S be an abelian semigroup, written additively. Let A be a finite subset of S. We denote the cardinality of A by |A|. For any positive integer h, the sumset hA is the set of all sums of h not necessarily distinct elements of A. We define 0A = {0}. If A_1,...,A_r, and B are finite sumsets of A and h_1,...,h_r are nonnegative integers, the sumset h_1A + ... + h_rA_r + B is the set of all elements of S that can be represented in the form u_1 + ... + u_r + b, where u_i \in h_iA_i and b \in B. The growth function of this sumset is γ(h_1,...,h_r) = |h_1A + ... + h_rA_r + B|. Applying the Hilbert …

On a zero-sum problem arising from factorization theory

We study a zero-sum problem dealing with minimal zero-sum sequences of maximal length over finite abelian groups. A positive answer to this problem yields a structural description of sets of lengths with maximal elasticity in transfer Krull monoids over finite abelian groups.

Computing square-free polarized abelian varieties over finite fields

We give algorithms to compute isomorphism classes of ordinary abelian varieties defined over a finite field $\mathbb{F}_q$ whose characteristic polynomial (of Frobenius) is square-free and of abelian varieties defined over the prime field $\mathbb{F}_p$ whose characteristic polynomial is square-free and does not have real roots. In the ordinary case we are also able to compute the polarizations and the group of automorphisms (of the polarized variety) and, when the polarization is principal, the period matrix.

On The Determination of Sets By Their Subset Sums

Let $A$ be a multiset with elements in an abelian group. Let $FS(A)$ be the multiset containing the $2^{|A|}$ sums of all subsets of $A$. We study the reconstruction problem ``Given $FS(A)$, is it possible to identify $A$?'', and we give a satisfactory answer for all abelian groups. We prove that, up to identifying multisets through a natural equivalence relation, the function $A \mapsto FS(A)$ is injective (and thus the reconstruction problem is solvable) if and only if every order $n$ of a torsion element of the abelian group satisfies a certain number-theoretical property linked to the mult…

对3-流形的同调群求和

Summing over homology groups of 3-manifolds

该研究针对三维拓扑量子引力玩具模型，将固定边界的3-流形求和转化为带附加结构的有限生成阿贝尔群求和，给出收敛权重界，论证了与二维TQFT系综平均的等价性及p-群分解性质。