arXiv++ Combinatorics

Let $G$ be a finite abelian group, let $0 < α< 1$, and let $A \subseteq G$ be a random set of size $|G|^α$. We let $$ μ(A) = \max_{B,C:|B|=|C|=|A|}|\{(a,b,c) \in A \times B \times C : a = b + c \}|. $$ The issue is to determine upper bounds on $μ(A)$ that hold with high probability over the random choice of $A$. Mennink and Preneel \cite{BM} conjecture that $μ(A)$ should be close to $|A|$ (up to possible logarithmic factors in $|G|$) for $α\leq 1/2$ and that $μ(A)$ should not much exceed $|A|^{3/2}$ for $α\leq 2/3$. We prove the second half of this conjecture by showing that $$ μ(A) \leq |A|^3/|G| + 4|A|^{3/2}\ln(|G|)^{1/2} $$ with high probability, for all $0 < α< 1$. We note that $3α- 1 \leq (3/2)α$ for $α\leq 2/3$. In previous work, Alon et al$.$ have shown that $μ(A) \leq O(1)|A|^3/|G|$ with high probability for $α\geq 2/3$ while Kiltz, Pietrzak and Szegedy show that $μ(A) \leq |A|^{1 + 2α}$ with high probability for $α\leq 1/4$. Current bounds on $μ(A)$ are essentially sharp for the range $2/3 \leq α\leq 1$. Finding better bounds remains an open problem for the range $0 < α< 2/3$ and especially for the range $1/4 < α< 2/3$ in which the bound of Kiltz et al$.$ doesn't improve on the bound given in this paper (even if that bound applied). Moreover the conjecture of Mennink and Preneel for $α\leq 1/2$ remains open.

Let $\mathcal{S}$ be a finite commutative semigroup written additively, and let $\exp(\mathcal{S})$ be its exponent which is defined as the least common multiple of all periods of the elements in $\mathcal{S}$. For every sequence $T$ of elements in $\mathcal{S}$ (repetition allowed), let $σ(T) \in \mathcal{S}$ denote the sum of all terms of $T$. Define the Davenport constant $D(\mathcal{S})$ of $\mathcal{S}$ to be the least positive integer $d$ such that every sequence $T$ over $\mathcal{S}$ of length at least $d$ contains a proper subsequence $T'$ with $σ(T')=σ(T)$, and define the Erdős-Ginzburg-Ziv Theorem constant $E(\mathcal{S})$ to be the least positive integer $\ell$ such that every sequence $T$ over $\mathcal{S}$ of length at least $\ell$ contains a subsequence $T'$ with $|T|-|T'|=\left\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})}\right\rceil\exp(\mathcal{S})$ and $σ(T')=σ(T)$. When $\mathcal{S}$ is a finite abelian group, it is well known that $\left\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})}\right\rceil\exp(\mathcal{S})=|\mathcal{S}|$ and $E(\mathcal{S})=D(\mathcal{S})+|\mathcal{S}|-1$. In this paper we investigate whether $E(\mathcal{S})\leq D(\mathcal{S})+\left\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})}\right\rceil \exp(\mathcal{S})-1$ holds true for all finite commutative semigroups $\mathcal{S}$. We provide a positive answer to the question above for some classes of finite commutative semigroups, including group-free semigroups, elementary semigroups, and archimedean semigroups with certain constraints.

A finite group $G$ is called a Schur group, if any Schur ring over $G$ is associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations. Recently, the authors have completely identified the cyclic Schur groups. In this paper it is shown that any abelian Schur group belongs to one of several explicitly given families only. In particular, any non-cyclic abelian Schur group of odd order is isomorphic to $Z_3\times Z_{3^k}$ or $Z_3\times Z_3\times Z_p$ where $k\ge 1$ and $p$ is a prime. In addition, we prove that $Z_2\times Z_2\times Z_p$ is a Schur group for every prime $p$.

The cross number of a sequence over a finite abelian group $G$ is the sum of the inverse orders of the terms of that sequence. We study two group invariants, the maximal cross number of a zero-sum free sequence over $G$, called $\mathsf{k}(G)$, introduced by Krause, and the maximal cross number of a unique factorization sequence over $G$, called $K_{1}(G)$, introduced by Gao and Wang. Conjectured formulae for $\mathsf{k}(G)$ and $\mathsf{K}_{1}(G)$ are known, but only some special cases are proved for either. We show structural results about maximal cross number sequences that allow us to prove an inductive theorem giving conditions under which the conjectured values of $\mathsf{k}$ and $\mathsf{K}_{1}$ must be correct for $G\oplus C_{p^α}$ if they are correct for a group $G$. As a corollary of this result we prove the conjectured values of $\mathsf{k}(G)$ and $\mathsf{K}_{1}(G)$ for cyclic groups $C_{n}$, given that the prime factors of $n$ are far apart. Our methods also prove the $\mathsf{K}_{1}(G)$ conjecture for rank two groups of the form $C_{n}\oplus C_{q}$, where $q$ is the largest or second largest prime dividing $n$, and the prime factors of $n$ are far apart, and the $\mathsf{k}(G)$ conjecture for groups of the form $C_{n}\oplus H_{q}$, where the prime factors of $n$ are far apart, $q$ is the largest prime factor of $n$, and $H_{q}$ is an arbitrary finite abelian $q$-group. Finally, we pose a conjecture about the structure of maximal-length unique factorization sequences over elementary $p$-groups, which is a major roadblock to extending the $\mathsf{K}_{1}$ conjecture to groups of higher rank, and formulate a general question about the structure of maximal zero-sum free and unique factorization sequences with respect to arbitrary weighting functions.

The Harborth constant of a finite abelian group is the smallest integer $\ell$ such that each subset of $G$ of cardinality $\ell$ has a subset of cardinality equal to the exponent of the group whose elements sum to the neutral element of the group. The plus-minus weighted analogue of this constant is defined in the same way except that instead of considering the sum of all elements of the subset one can choose to add either the element or its inverse. We determine these constants for certain groups, mainly groups that are the direct sum of a cyclic group and a group of order 2. Moreover, we contrast these results with existing results and conjectures on these problems.

For $(G,+)$ a finite abelian group the plus-minus weighted Davenport constant, denoted $\mathsf{D}_{\pm}(G)$, is the smallest $\ell$ such that each sequence $g_1 ... g_{\ell}$ over $G$ has a weighted zero-subsum with weights +1 and -1, i.e., there is a non-empty subset $I \subset \{1,..., \ell\}$ such that $\sum_{i \in I} a_i g_i =0$ for $a_i \in \{+1,-1\}$. We present new bounds for this constant, mainly lower bounds, and also obtain the exact value of this constant for various additional types of groups.

Let $G$ be a finite abelian group, let $E$ be a subset of $G$, and form the Cayley (directed) graph of $G$ with connecting set $E$. We explain how, for various matrices associated to this graph, the spectrum can be used to give information on the Smith normal form. This technique is applied to several interesting examples, including matrices in the Bose-Mesner algebra of the Hamming association scheme $H(n,q)$. We also recover results of Bai and Jacobson-Niedermaier-Reiner on the critical group of a Cartesian product of complete graphs.

Let $G$ be a finite group, $S\subseteq G\setminus\{1\}$ be a set such that if $a\in S$, then $a^{-1}\in S$, where $1$ denotes the identity element of $G$. The undirected Cayley graph $Cay(G,S)$ of $G$ over the set $S$ is the graph whose vertex set is $G$ and two vertices $a$ and $b$ are adjacent whenever $ab^{-1}\in S$. The adjacency spectrum of a graph is the multiset of all eigenvalues of the adjacency matrix of the graph. A graph is called integral whenever all adjacency spectrum elements are integers. Following Klotz and Sander, we call a group $G$ Cayley integral whenever all undirected Cayley graphs over $G$ are integral. Finite abelian Cayley integral groups are classified by Klotz and Sander as finite abelian groups of exponent dividing $4$ or $6$. Klotz and Sander have proposed the determination of all non-abelian Cayley integral groups. In this paper we complete the classification of finite Cayley integral groups by proving that finite non-abelian Cayley integral groups are the symmetric group $S_{3}$ of degree $3$, $C_{3} \rtimes C_{4}$ and $Q_{8}\times C_{2}^{n}$ for some integer $n\geq 0$, where $Q_8$ is the quaternion group of order $8$.

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.

Let $G$ be a finite abelian group, and let $m>0$ with $\exp(G)\mid m$. Let $s_{m}(G)$ be the generalized Erdős-Ginzburg-Ziv invariant which denotes the smallest positive integer $d$ such that any sequence of elements in $G$ of length $d$ contains a subsequence of length $m$ with sum zero in $G$. For any integer $r>0$, let $\mathcal{I}_m^{(r)}$ be the collection of all $r$-uniform intersecting families of size $m$. Let $R(\mathcal{I}_m^{(r)},G)$ be the smallest positive integer $d$ such that any $G$-coloring of the edges of the complete $r$-uniform hypergraph $K_{d}^{(r)}$ yields a zero-sum copy of some intersecting family in $\mathcal{I}_m^{(r)}$. Among other results, we mainly prove that $Ω(s_{m}(G))-1\leq R (\mathcal{I}_{m}^{(r)}, \ G)\leq Ω(s_{m}(G)),$ where $Ω(s_{m}(G))$ denotes the least positive integer $n$ such that ${n-1 \choose r-1}\geq s_{m}(G)$, and we show that if $r\mid Ω(s_{m}(G))-1$ then $R (\mathcal{I}_{m}^{(r)}, \ G)= Ω(s_{m}(G))$.

It is well-known that degree two finite field extensions can be equipped with a Hermitian-like structure similar to the extension of the complex field over the reals. In this contribution, using this structure, we develop a modular character theory and the appropriate Fourier transform for some particular kind of finite Abelian groups. Moreover we introduce the notion of bent functions for finite field valued functions rather than usual complex-valued functions, and we study several of their properties. In particular we prove that this bentness notion is a consequence of that of Logachev, Salnikov and Yashchenko, introduced in "Bent functions on a finite Abelian group" (1997). In addition this new bentness notion is also generalized to a vectorial setting.

A partition of a finite abelian group gives rise to a dual partition on the character group via the Fourier transform. Properties of the dual partitions are investigated and a convenient test is given for the case that the bidual partition coincides the primal partition. Such partitions permit MacWilliams identities for the partition enumerators of additive codes. It is shown that dualization commutes with taking products and symmetrized products of partitions on cartesian powers of the given group. After translating the results to Frobenius rings, which are identified with their character module, the approach is applied to partitions that arise from poset structures.

Let G be a finite abelian group of torsion r and let A be a subset of G. The Freiman--Ruzsa theorem asserts that if |A+A| < K|A| then A is contained in a coset of a subgroup of G of size at most r^{K^4}K^2|A|. It was conjectured by Ruzsa that the subgroup size can be reduced to r^{CK}|A| for some absolute constant C >= 2. This conjecture was verified for r = 2 in a sequence of recent works, which have, in fact, yielded a tight bound. In this work, we establish the same conjecture for any prime torsion.

The $N\times N$ complex Hadamard matrices form a real algebraic manifold $C_N$. We have $C_N=M_N(\mathbb T)\cap\sqrt{N}U_N$, and following Tadej and Życzkowski we investigate here the computation of the enveloping tangent space $\widetilde{T}_HC_N=T_HM_N(\mathbb T)\cap T_H\sqrt{N}U_N$, and notably of its dimension $d(H)=\dim(\widetilde{T}_HC_N)$, called undephased defect of $H$. Our main result is an explicit formula for the defect of the Fourier matrix $F_G$ associated to an arbitrary finite abelian group $G=\mathbb Z_{N_1}\times...\times\mathbb Z_{N_r}$. We also comment on the general question "does the associated quantum permutation group see the defect", with a probabilistic speculation involving Diaconis-Shahshahani type variables.

The main aim of this article is to compute all the moments of the number of $p^\ell$-torsion elements in some type of nite abelian groups. The averages involved in these moments are those de ned for the Cohen-Lenstra heuristics for class groups and their adaptation for Tate-Shafarevich groups. In particular, we prove that the heuristic model for Tate-Shafarevich groups is compatible with the recent conjecture of Poonen and Rains about the moments of the orders of $p$-Selmer groups of elliptic curves. For our purpose, we are led to de ne certain polynomials indexed by integer partitions and to study them in a combinatorial way. Moreover, from our probabilistic model, we derive combinatorial identities, some of which appearing to be new, the others being related to the theory of symmetric functions. In some sense, our method therefore gives for these identities a somehow natural algebraic context.

In this article we complete the work of enumerating typical abelian coverings of Cayley graphs, by reducing the problem to enumerating certain subgroups of finite abelian groups.

The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. For a graph G with a certain reflective symmetry, we generalize a result of Ciucu-Yan-Zhang factorizing the spanning tree number of G by interpreting this as a result about the critical group of G. Our result takes the form of an exact sequence, and explicit connections to bicycle spaces are made.

Researchers in the past have studied eigenvalues of Cayley digraphs or graphs. We are interested in characterizing Cayley digraphs on a finite Abelian group G whose eigenvalues are algebraic integers in a given number field K. And we succeed in finding a method to do so by proving Theorem 1. Also, the number of such Cayley digraphs is computed.

Let $G$ denote a finite abelian group with identity 1 and let $S$ denote an inverse-closed subset of $G \setminus {1}$, which generates $G$ and for which there exists $s \in S$, such that $\la S \setminus \{s,s^{-1}\} \ra \ne G$. In this paper we obtain the complete classification of distance-regular Cayley graphs $\cay(G;S)$ for such pairs of $G$ and $S$.

Let $G$ be a finite abelian group with exponent $n$, and let $r$ be a positive integer. Let $A$ be a $k\times m$ matrix with integer entries. We show that if $A$ satisfies some natural conditions and $|G|$ is large enough then, for each $r$--coloring of $G\setminus \{0\}$, there is $δ$ depending only on $r,n$ and $m$ such that the homogeneous linear system $Ax=0$ has at least $δ|G|^{m-k}$ monochromatic solutions. Density versions of this counting result are also addressed.