arXiv++ Combinatorics

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$ are contained in a maximum-size sum-free subset of $G$. We also give a completely self-contained proof of this statement for Abelian groups of even order, which uses spectral methods and a new bound on the number of independent sets of size $m$ in an $(n,d,λ)$-graph.

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.

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 generalisation of Vosper's Theorem proved by Hamidoune and Plagne.

This article proposes an effective criterion for lifting automorphisms along regular coverings of graphs, with the covering transformation group being any finite abelian group.

Translation association schemes are constructed from actions of finite groups on finite abelian groups satisfying certain natural conditions. It is also shown that the mere existence of maps from finite groups to themselves sending each element in their groups to its `adjoint' entails the self-duality of the constructed association schemes. Many examples of these, including Hamming scheme and sesquilinear forms schemes, are provided. This con- struction is further generalized to show the duality of the association schemes coming from actions of two finite groups on the same finite abelian group. An example of this is supplied with weak Hamming schemes.

Let $G$ be a finite abelian group, and let $η(G)$ be the smallest integer $d$ such that every sequence over $G$ of length at least $d$ contains a zero-sum subsequence $T$ with length $|T|\in [1,\exp(G)]$. In this paper, we investigate the question whether all non-cyclic finite abelian groups $G$ share with the following property: There exists at least one integer $t\in [\exp(G)+1,η(G)-1]$ such that every zero-sum sequence of length exactly $t$ contains a zero-sum subsequence of length in $[1,\exp(G)]$. Previous results showed that the groups $C_n^2$ ($n\geq 3$) and $C_3^3$ have the property above. In this paper we show that more groups including the groups $C_m\oplus C_n$ with $3\leq m\mid n$, $C_{3^a5^b}^3$, $C_{3\times 2^a}^3$, $C_{3^a}^4$ and $C_{2^b}^r$ ($b\geq 2$) have this property. We also determine all $t\in [\exp(G)+1, η(G)-1]$ with the property above for some groups including the groups of rank two, and some special groups with large exponent.

Let G_0,...,G_k be finite abelian groups and let G_0*...*G_k be the join of the 0-dimensional complexes G_i. We give a characterization of the integral k-coboundaries of subcomplexes of G_0*...*G_k in terms of the Fourier transform on the group G_0 \times ... \times G_k. This leads to an extension of a recent result of Musiker and Reiner on a topological interpretation of the cyclotomic polynomial.

Let $G$ be a finite abelian group. The critical number ${\rm cr}(G)$ of $G$ is the least positive integer $\ell$ such that every subset $A\subseteq G\setminus\{0\}$ of cardinality at least $\ell$ spans $G$, i.e., every element of $G$ can be written as a nonempty sum of distinct elements of $A$. The exact values of the critical number have been completely determined recently for all finite abelian groups. The structure of these sets of cardinality ${\rm cr}(G)-1$ which fail to span $G$ has also been characterized except for the case that $|G|$ is an even number and the case that $|G|=pq$ with $p,q$ are primes. In this paper, we characterize these extremal subsets for $|G|\geq 36$ is an even number, or $|G|=pq$ with $p,q$ are primes and $q\geq 2p+3$.

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.

We answer a question raised by Lovász and B. Szegedy [Contractors and connectors in graph algebras, J. Graph Theory 60:1 (2009)] asking for a contractor for the graph parameter counting the number of B-flows of a graph, where B is a subset of a finite Abelian group closed under inverses. We prove our main result using the duality between flows and tensions and finite Fourier analysis. We exhibit several examples of contractors for B-flows, which are of interest in relation to the family of B-flow conjectures formulated by Tutte, Fulkerson, Jaeger, and others.

In this paper, we study a combinatorial problem originating in the following conjecture of Erdos and Lemke: given any sequence of n divisors of n, repetitions being allowed, there exists a subsequence the elements of which are summing to n. This conjecture was proved by Kleitman and Lemke, who then extended the original question to a problem on a zero-sum invariant in the framework of finite Abelian groups. Building among others on earlier works by Alon and Dubiner and by the author, our main theorem gives a new upper bound for this invariant in the general case, and provides its right order of magnitude.

The Weil representation of the symplectic group associated to a finite abelian group of odd order is shown to have a multiplicity-free decomposition. When the abelian group is p-primary, the irreducible representations occurring in the Weil representation are parametrized by a partially ordered set which is independent of p. As p varies, the dimension of the irreducible representation corresponding to each parameter is shown to be a polynomial in p which is calculated explicitly. The commuting algebra of the Weil representation has a basis indexed by another partially ordered set which is independent of p. The expansions of the projection operators onto the irreducible invariant subspaces in terms of this basis are calculated. The coefficients are again polynomials in p. These results remain valid in the more general setting of finitely generated torsion modules over a Dedekind domain.

Let $G = C_{n_1} \oplus ... \oplus C_{n_r}$ with $1 < n_1 \t ... \t n_r$ be a finite abelian group, $\mathsf d^* (G) = n_1 + ... + n_r - r$, and let $\mathsf d (G)$ denote the maximal length of a zero-sum free sequence over $G$. Then $\mathsf d (G) \ge \mathsf d^* (G)$, and the standing conjecture is that equality holds for $G = C_n^r$. We show that equality does not hold for $C_2 \oplus C_{2n}^r$, where $n \ge 3$ is odd and $r \ge 4$. This gives new information on the structure of extremal zero-sum free sequences over $C_{2n}^r$.

We define Donaldson-Thomas invariants of Calabi-Yau orbifolds and we develop a topological vertex formalism for computing them. The basic combinatorial object is the orbifold vertex, a generating function for the number of 3D partitions asymptotic to three given 2D partitions and colored by representations of a finite Abelian group G acting on C^3. In the case where G=Z_n acting on C^3 with transverse A_{n-1} quotient singularities, we give an explicit formula for the vertex in terms of Schur functions. We discuss applications of our formalism to the Donaldson-Thomas Crepant Resolution Conjecture and to the orbifold Donaldson-Thomas/Gromov-Witten correspondence. We also explicitly compute the Donaldson-Thomas partition function for some simple orbifold geometries: the local football and the local BZ_2 gerbe.

For a finite abelian group $G$ and a positive integer $d$, let $\mathsf s_{d \mathbb N} (G)$ denote the smallest integer $\ell \in \mathbb N_0$ such that every sequence $S$ over $G$ of length $|S| \ge \ell$ has a nonempty zero-sum subsequence $T$ of length $|T| \equiv 0 \mod d$. We determine $\mathsf s_{d \mathbb N} (G)$ for all $d\geq 1$ when $G$ has rank at most two and, under mild conditions on $d$, also obtain precise values in the case of $p$-groups. In the same spirit, we obtain new upper bounds for the Erd{\H o}s--Ginzburg--Ziv constant provided that, for the $p$-subgroups $G_p$ of $G$, the Davenport constant $\mathsf D (G_p)$ is bounded above by $2 \exp (G_p)-1$. This generalizes former results for groups of rank two.

Let $(G,+)$ be a finite abelian group. Then, $\so(G)$ and $η(G)$ denote the smallest integer $\ell$ such that each sequence over $G$ of length at least $\ell$ has a subsequence whose terms sum to $0$ and whose length is equal to and at most, resp., the exponent of the group. For groups of rank two, we study the inverse problems associated to these constants, i.e., we investigate the structure of sequences of length $\so(G)-1$ and $η(G)-1$ that do not have such a subsequence. On the one hand, we show that the structure of these sequences is in general richer than expected. On the other hand, assuming a well-supported conjecture on this problem for groups of the form $C_m \oplus C_m$, we give a complete characterization of all these sequences for general finite abelian groups of rank two. In combination with partial results towards this conjecture, we get unconditional characterizations in special cases.

We investigate a certain well-established generalization of the Davenport constant. For $j$ a positive integer (the case $j=1$, is the classical one) and a finite Abelian group $(G,+,0)$, the invariant $\Dav_j(G)$ is defined as the smallest $\ell$ such that each sequence over $G$ of length at least $\ell$ has $j$ disjoint non-empty zero-sum subsequences. We investigate these quantities for elementary $2$-groups of large rank (relative to $j$). Using tools from coding theory, we give fairly precise estimates for these quantities. We use our results to give improved bounds for the classical Davenport constant of certain groups.

A notion of degeneration of elements in groups is introduced. It is used to parametrize the orbits in a finite abelian group under its full automorphism group by a finite distributive lattice. A pictorial description of this lattice leads to an intuitive self-contained exposition of some of the basic facts concerning these orbits, including their enumeration. Given a partition $λ$, the lattice parametrizing orbits in a finite abelian p-group of type $λ$ is found to be independent of p. The order of the orbit corresponding to each parameter, which turns out to be a polynomial in p, is calculated. The description of orbits is extended to subquotients by certain characteristic subgroups. Each such characteristic subquotient is shown to have a unique maximal orbit.

We show that for any set A in a finite Abelian group G that has at least c |A|^3 solutions to a_1 + a_2 = a_3 + a_4, where a_i belong A there exist sets A' in A and L in G, |L| \ll c^{-1} log |A| such that A' is contained in Span of L and A' has approximately c |A|^3 solutions to a'_1 + a'_2 = a'_3 + a'_4, where a'_i belong A'. We also study so-called symmetric sets or, in other words, sets of large values of convolution.

Let G be a finite additive abelian group with exponent exp(G)=n>1 and let A be a nonempty subset of {1,...,n-1}. In this paper, we investigate the smallest positive integer $m$, denoted by s_A(G), such that any sequence {c_i}_{i=1}^m with terms from G has a length n=exp(G) subsequence {c_{i_j}}_{j=1}^n for which there are a_1,...,a_n in A such that sum_{j=1}^na_ic_{i_j}=0. When G is a p-group, A contains no multiples of p and any two distinct elements of A are incongruent mod p, we show that s_A(G) is at most $\lceil D(G)/|A|\rceil+exp(G)-1$ if |A| is at least (D(G)-1)/(exp(G)-1), where D(G) is the Davenport constant of G and this upper bound for s_A(G)in terms of |A| is essentially best possible. In the case A={1,-1}, we determine the asymptotic behavior of s_{1,-1}(G) when exp(G) is even, showing that, for finite abelian groups of even exponent and fixed rank, s_{1,-1}(G)=exp(G)+log_2|G|+O(log_2log_2|G|) as exp(G) tends to the infinity. Combined with a lower bound of $exp(G)+sum{i=1}{r}\lfloor\log_2 n_i\rfloor$, where $G=\Z_{n_1}\oplus...\oplus \Z_{n_r}$ with 1<n_1|... |n_r, this determines s_{1,-1}(G), for even exponent groups, up to a small order error term. Our method makes use of the theory of L-intersecting set systems. Some additional more specific values and results related to s_{1,-1}(G) are also computed.