arXiv++ Combinatorics

The inverse problem associated to the Erdős-Ginzburg-Ziv constant and the $η$-constant is solved for finite abelian groups of the form $C_2 \oplus C_2 \oplus C_{2n}$ where $n \ge 2$ is an integer.

Let $G$ be a finite abelian group, and $r$ be a multiple of its exponent. The generalized Erdős-Ginzburg-Ziv constant $s_r(G)$ is the smallest integer $s$ such that every sequence of length $s$ over $G$ has a zero-sum subsequence of length $r$. We find exact values of $s_{2m}(\mathbb{Z}_2^d)$ for $d \leq 2m+1$. Connections to linear binary codes of maximal length and codes without a forbidden weight are discussed.

For a finite abelian group $(G,+, 0)$ the Harborth constant $\mathsf{g}(G)$ is the smallest integer $k$ such that each squarefree sequence over $G$ of length $k$, equivalently each subset of $G$ of cardinality at least $k$, has a subsequence of length $\exp(G)$ whose sum is $0$. In this paper, it is established that $\mathsf{g}(G)= 3n + 3$ for prime $n \neq 3$ and $\mathsf{g}(C_3 \oplus C_9)= 13$.

In this paper, we discuss when a class function on a finite group is a bent function. We have found a necessary condition for a class function on a finite abelian group to be bent. Also, we have found a necessary and sufficient condition for a class function on a finite cyclic group to be bent.

For a finite abelian group $G$ written additively, and a non-empty subset $A\subset [1,\exp(G)-1]$ the weighted Davenport Constant of $G$ with respect to the set $A$, denoted $D_A(G)$, is the least positive integer $k$ for which the following holds: Given an arbitrary $G$-sequence $(x_1,\ldots,x_k)$, there exists a non-empty subsequence $(x_{i_1},\ldots,x_{i_t})$ along with $a_{j}\in A$ such that $\sum_{j=1}^t a_jx_{i_j}=0$. In this paper, we pose and study a natural new extremal problem that arises from the study of $D_A(G)$: For an integer $k\ge 2$, determine $\fD_G(k):=\min\{|A|: D_A(G)\le k\}$ (if the problem posed makes sense). It turns out that for $k$ `not-too-small', this is a well-posed problem and one of the most interesting cases occurs for $G=\Z_p$, the cyclic group of prime order, for which we obtain near optimal bounds for all $k$ (for sufficiently large primes $p$), and asymptotically tight (up to constants) bounds for $k=2,4$.

The fixing number of a graph $G$ is the smallest cardinality of a set of vertices $S$ such that only the trivial automorphism of $G$ fixes every vertex in $S$. The fixing set of a group $Γ$ is the set of all fixing numbers of finite graphs with automorphism group $Γ$. Several authors have studied the distinguishing number of a graph, the smallest number of labels needed to label $G$ so that the automorphism group of the labeled graph is trivial. The fixing number can be thought of as a variation of the distinguishing number in which every label may be used only once, and not every vertex need be labeled. We characterize the fixing sets of finite abelian groups, and investigate the fixing sets of symmetric groups.

We investigate the discrete Fuglede's conjecture and Pompeiu problem on finite abelian groups and develop a strong connection between the two problems. We give a geometric condition under which a multiset of a finite abelian group has the discrete Pompeiu property. Using this description and the revealed connection we prove that Fuglede's conjecture holds for $\mathbb{Z}_{p^n q^2}$, where $p$ and $q$ are different primes. In particular, we show that every spectral subset of $\mathbb{Z}_{p^n q^2}$ tiles the group. Further, using our combinatorial methods we give a simple proof for the statement that Fuglede's conjecture holds for $\mathbb{Z}_p^2$.

We study the distribution of the cokernels of adjacency matrices (the Smith groups) of certain models of random $r$-regular graphs and directed graphs, using recent mixing results of Mészáros. We explain how convergence of such distributions to a limiting probability distribution implies asymptotic nonsingularity of the matrices, giving another perspective on recent results of Huang and Mészáros on asymptotic nonsingularity of adjacency matrices of random regular directed and undirected graphs, respectively. We also remark on the new distributions on finite abelian groups that arise, in particular in the $p$-group aspect when $p\mid r$.

We determine the exact value of the $η$-constant and the multiwise Davenport constants for finite abelian groups of rank three having the form $G \simeq C_2 \oplus C_{n_2} \oplus C_{n_3}$ with $2 \mid n_2 \mid n_3$. Moreover, we determine the Erdős-Ginzburg-Ziv constant of these groups under the assumption that $n_2/2$ has Property D or $n_2 = n_3$.

We use recurrence relations to derive explicit formulas for counting the number of subgroups of given order (or index) in rank 3 finite abelian p-groups and use these to derive similar formulas in few cases for rank 4. As a consequence, we answer some questions by M. T$\ddot{a}$rn$\ddot{a}$uceanu in \cite{MT} and L. T$\dot{\acute{o}}$th in \cite{LT}. We also use other methods such as the method of fundamental group lattices introduced in \cite{MT} to derive a similar counting function in a special case of arbitrary rank finite abelian p-groups.

Let $Γ=$Cay$(G,T)$ be a Cayley digraph over a finite Abelian group $G$ with respect the generating set $T\not\ni0$. $Γ$ has order ord$(Γ)=|G|=n$ and degree deg$(Γ)=|T|=d$. Let $k(Γ)$ be the diameter of $Γ$ and denote $κ(d,n)=\min\{k(Γ):~\textrm{ord}(Γ)=n,\textrm{deg}(Γ)=d\}$. We give a closed expression, $\ell(d,n)$, of a tight lower bound of $κ(d,n)$ by using the so called {\em solid density} introduced by Fiduccia, Forcade and Zito. A digraph $Γ$ of degree $d$ is called {\em tight} when $k(Γ)=κ(d,|Γ|)=\ell(d,|Γ|)$ holds. Recently, the {\em Dilating Method} has been developed to derive a sequence of digraphs of constant solid density. In this work, we use this method to derive a sequence of tight digraphs $\{Γ_i\}_{i=1}^{\textrm{c}(Γ)}$ from a given tight digraph $Γ$. Moreover, we find a closed expression of the cardinality c$(Γ)$ of this sequence. It is perhaps surprising that c$(Γ)$ depends only on $n$ and $d$ and not on the structure of $Γ$.

For a random matrix of entries sampled independently from a fairly general distribution in Z we study the probability that the cokernel is isomorphic to a given finite abelian group, or when it is cyclic. This includes the probability that the linear map between the integer lattices given by the matrix is surjective. We show that these statistics are asymptotically universal (as the size of the matrix goes to infinity), given by precise formulas involving zeta values, and agree with distributions defined by Cohen and Lenstra, even when the distribution of matrix entries is very distorted. Our method is robust and works for Laplacians of random digraphs and sparse matrices with the probability of an entry non-zero only n^{-1+epsilon}.

We prove an arithmetic regularity lemma for stable subsets of finite abelian groups, generalising our previous result for high-dimensional vector spaces over finite fields of prime order. A qualitative version of this generalisation was recently obtained by the first author in joint work with Conant and Pillay, using model-theoretic techniques. In contrast, the approach in the present paper is highly quantitative and relies on several key ingredients from arithmetic combinatorics.

The chromatic number of a latin square $L$, denoted $χ(L)$, is the minimum number of partial transversals needed to cover all of its cells. It has been conjectured that every latin square satisfies $χ(L) \leq |L|+2$. If true, this would resolve a longstanding conjecture---commonly attributed to Brualdi---that every latin square has a partial transversal of size $|L|-1$. Restricting our attention to Cayley tables of finite groups, we prove two main results. First, we resolve the chromatic number question for Cayley tables of finite Abelian groups: the Cayley table of an Abelian group $G$ has chromatic number $|G|$ or $|G|+2$, with the latter case occurring if and only if $G$ has nontrivial cyclic Sylow 2-subgroups. Second, we give an upper bound for the chromatic number of Cayley tables of arbitrary finite groups. For $|G|\geq 3$, this improves the best-known general upper bound from $2|G|$ to $\frac{3}{2}|G|$, while yielding an even stronger result in infinitely many cases.

Let $G$ be a finite group, and let $r_{3}(G)$ represent the size of the largest subset of $G$ without non-trivial three-term progressions. In a recent breakthrough, Croot, Lev and Pach proved that $r_{3}(C_{4}^{n}) \leqslant (3.61)^{n}$, where $C_{m}$ denotes the cyclic group of order $m$. For finite abelian groups $G \cong \prod_{i=1}^{n} C_{m_{i}}$, where $m_{1},\ldots,m_{n}$ denote positive integers such that $m_{1} | \ldots | m_{n}$, this also yields a bound of the form $r_{3}(G) \leqslant (0.903)^{\operatorname{rk}_{4}(G)} |G|$, with $\operatorname{rk}_{4}(G)$ representing the number of indices $i \in \left\{1,\ldots,n\right\}$ with $4\ |\ m_{i}$. In particular, $r_{3}(C_{8}^{n}) \leqslant (7.22)^{n}$. In this paper, we provide an exponential improvement for this bound, namely $r_{3}(C_{8}^{n}) \leq (7.09)^{n}$.

Inspired by an experimental study of energy-minimizing periodic configurations in Euclidean space, Cohn, Kumar and Schürmann proposed the concept of formal duality between a pair of periodic configurations, which indicates an unexpected symmetry possessed by the energy-minimizing periodic configurations. Later on, Cohn, Kumar, Reiher and Schürmann translated the formal duality between a pair of periodic configurations into the formal duality of a pair of subsets in a finite abelian group. This insight suggests to study the combinatorial counterpart of formal duality, which is a configuration named formally dual pair. In this paper, we initiate a systematic investigation on formally dual pairs in finite abelian groups, which involves basic concepts, constructions, characterizations and nonexistence results. In contrast to the belief that primitive formally dual pairs are very rare in cyclic groups, we construct three families of primitive formally dual pairs in noncyclic groups. These constructions enlighten us to propose the concept of even sets, which reveals more structural information about formally dual pairs and leads to a characterization of rank three primitive formally dual pairs. Finally, we derive some nonexistence results about primitive formally dual pairs, which are in favor of the main conjecture that except two small examples, no primitive formally dual pair exists in cyclic groups.

Let $G$ be a finite abelian group. If $f: G\rightarrow \bC$ is a nonzero function with Fourier transform $\hf$, the Donoho-Stark uncertainty principle states that $|\supp(f)||\supp(\hf)|\geq |G|$. The purpose of this paper is twofold. First, we present the shift bound for abelian codes with a streamlined proof. Second, we use the shifting technique to prove a generalization and a sharpening of the Donoho-Stark uncertainty principle. In particular, the sharpened uncertainty principle states, with notation above, that $|\supp(f)||\supp(\hf)|\geq |G|+|\supp(f)|-|H(\supp(f))|$, where $H(\supp(f))$ is the stabilizer of $\supp(f)$ in $G$.

The cyclic sieving phenomenon is a well-studied occurrence in combinatorics appearing when a cyclic group acts on a finite set. In this paper, we demonstrate a natural extension of this theory to finite abelian groups. We also present a similar result for dihedral groups and suggest approaches for natural generalizations to nonabelian groups.

Let $G$ be a finite abelian group and let $\varnothing \neq A \subset \mathbb Z$. The $A$-weighted Davenport constant of $G$ is the smallest positive integer ${\sf D}_A(G)$ such that every sequence $x_1 \boldsymbol{\cdot} {\dots} \boldsymbol{\cdot} x_{{\sf D}_A(G)}$ over $G$ has a non-empty subsequence $(x_{j_i})_i$ such that ${\varepsilon_1} x_{j_1} + {\varepsilon_2} x_{j_2} + {\dots} + {\varepsilon_t} x_{j_t} = 0$ for some $\varepsilon_1, \varepsilon_2, {\dots}, \varepsilon_t \in A$. In this paper, we obtain both upper and lower bounds for ${\sf D}_{\{1,s\}}(C_n^k)$, where $C_n$ denotes the cyclic group of order $n$, $s^2 \equiv 1 \pmod n$ and $s \not\equiv \pm1 \pmod n$. These bounds become sharp in some "small" cases.

The power graph $\mathcal{G}(G)$ of a group $G$ is a simple graph whose vertices are the elements of $G$ and two distinct vertices are adjacent if one is a power of other. In this paper, we investigate the Laplacian spectrum of the power graph $\mathcal{G}(\mathbb{Z}_{p^m}^n)$ of finite abelian $p$-group $\mathbb{Z}_{p^m}^n$. In particular, we prove that the spectrum of group $\mathbb{Z}_{p^m}^n$ is contained in the Laplacian spectrum of graph $\mathcal{G}(\mathbb{Z}_{p^m}^n)$. For a finite abelian group $G$ whose power graph $\mathcal{G}(G)$ is planar, we also prove that the spectrum of group $G$ is contained in the Laplacian spectrum of graph $\mathcal{G}(G)$.