arXiv++ Combinatorics

Let $a$, $b$ and $c$ be positive integers. Let $(G,+)$ be a finite abelian group of order $abc$. A $G$-magic rectangle set MRS$_G(a,b;c)$ is a collection of $c$ arrays of size $a\times b$ whose entries are elements of a group $G$, each appearing exactly once, such that the sum of each row in every array equals a constant $γ\in G$ and the sum of each column in every array equals a constant $δ\in G$. This paper establishes the necessary and sufficient conditions for the existence of an MRS$_G(a,b;c)$ for any finite abelian group $G$, thereby confirming a conjecture presented by Cichacz and Hinc.

We provide a summary of research on disjoint zero-sum subsets in finite Abelian groups, which is a branch of additive group theory and combinatorial number theory. An orthomorphism of a group $Γ$ is defined as a bijection $\varphi$ $Γ$ such that the mapping $g \mapsto g^{-1}\varphi(g)$ is also bijective. In 1981, Friedlander, Gordon, and Tannenbaum conjectured that when $Γ$ is Abelian, for any $k \geq 2$ dividing $|Γ| -1$, there exists an orthomorphism of $Γ$ fixing the identity and permuting the remaining elements as products of disjoint $k$-cycles. Using the idea of disjoint-zero sum subset we provide a solution of this conjecture for $k=3$ and $|Γ|\cong 4\pmod{24}$. We also present some applications of zero-sum sets in graph labeling.

It is known that the notion of a transitive subgroup of a permutation group $P$ extends naturally to the subsets of $P$. We study transitive subsets of the wreath product $G \wr S_n$, where $G$ is a finite abelian group. This includes the hyperoctahedral group for $G=C_2$. We give structural characterisations of transitive subsets using the character theory of $G \wr S_n$ and interpret such subsets as designs in the conjugacy class association scheme of $G \wr S_n$. In particular, we prove a generalisation of the Livingstone-Wagner theorem and give explicit constructions of transitive sets. Moreover, we establish connections to orthogonal polynomials, namely the Charlier polynomials, and use them to study codes and designs in $C_r \wr S_n$. Many of our results extend results about the symmetric group $S_n$.

Kochol introduced the assigning polynomial $F(G,α;k)$ to count nowhere-zero $(A,b)$-flows of a graph $G$, where $A$ is a finite Abelian group and $α$ is a $\{0,1\}$-assigning from a family $Λ(G)$ of certain nonempty vertex subsets of $G$ to $\{0,1\}$. We introduce the concepts of $b$-compatible graph and $b$-compatible broken bond to give an explicit formula for the assigning polynomials and to examine their coefficients. More specifically, for a function $b:V(G)\to A$, let $α_{G,b}$ be a $\{0,1\}$-assigning of $G$ such that for each $X\inΛ(G)$, $α_{G,b}(X)=0$ if and only if $\sum_{v\in X}b(v)=0$. We show that for any $\{0,1\}$-assigning $α$ of $G$, if there exists a function $b:V(G)\to A$ such that $G$ is $b$-compatible and $α=α_{G,b}$, then the assigning polynomial $F(G,α;k)$ has the $b$-compatible spanning subgraph expansion \[ F(G,α;k)=\sum_{\substack{S\subseteq E(G),\\G-S\mbox{ is $b$-compatible}}}(-1)^{|S|}k^{m(G-S)}, \] and is the following form $F(G,α;k)=\sum_{i=0}^{m(G)}(-1)^ia_i(G,α)k^{m(G)-i}$, where each $a_i(G,α)$ is the number of subsets $S$ of $E(G)$ having $i$ edges such that $G-S$ is $b$-compatible and $S$ contains no $b$-compatible broken bonds with respect to a total order on $E(G)$. Applying the counting interpretation, we also obtain unified comparison relations for the signless coefficients of assigning polynomials. Namely, for any $\{0,1\}$-assignings $α,α'$ of $G$, if there exist functions $b:V(G)\to A$ and $b':V(G)\to A'$ such that $G$ is both $b$-compatible and $b'$-compatible, $α=α_{G,b}$, $α'=α_{G,b'}$ and $α(X)\leα'(X)$ for all $X\inΛ(G)$, then \[ a_i(G,α)\le a_i(G,α') \quad \mbox{ for }\quad i=0,1,\ldots, m(G). \]

If $A$ is a finite Abelian group, then a labeling $f \colon E (G) \rightarrow A$ of the edges of some graph $G$ induces a vertex labeling on $G$; the vertex $u$ receives the label $\sum_{v\in N(u)}f (v)$, where $N(u)$ is an open neighborhood of the vertex $u$. A graph $G$ is $E_A$-cordial if there is an edge-labeling such that (1) the edge label classes differ in size by at most one and (2) the induced vertex label classes differ in size by at most one. Such a labeling is called $E_A$-cordial. In the literature, so far only $E_A$-cordial labeling in cyclic groups has been studied. The corresponding problem was studied by Kaplan, Lev and Roditty. Namely, they introduced $A^*$-antimagic labeling as a generalization of antimagic labeling \cite{ref_KapLevRod}. Simply saying, for a tree of order $|A|$ the $A^*$-antimagic labeling is such $E_A$-cordial labeling that the label $0$ is prohibited on the edges. In this paper, we give necessary and sufficient conditions for paths to be $E_A$-cordial for any cyclic $A$. We also show that the conjecture for $A^*$-antimagic labeling of trees posted in \cite{ref_KapLevRod} is not true.

By a Christoffel matrix we mean a $n\times n$ matrix corresponding to the lexicographic array of a Christoffel word of length $n.$ In this note we show that if $R$ is an integral domain, then the product of two Christoffel matrices over $R$ is commutative and is a Christoffel matrix over $R.$ Furthermore, if a Christoffel matrix over $R$ is invertible, then its inverse is a Christoffel matrix over $R.$ Consequently, the set $GC_n(R)$ of all $n\times n$ invertible Christoffel matrices over $R$ forms an abelian subgroup of $GL_n(R).$ The subset of $GC_n(R)$ consisting all invertible Christoffel matrices having some element $a$ on the diagonal and $b$ elsewhere (with $a,b \in R$ distinct) forms a subgroup $H$ of $GC_n(R).$ If $R$ is a field, then the quotient $GC_n(R)/H$ is isomorphic to $(\Z/nZ)^\times,$ the multiplicative group of integers modulo $n.$ It follows that for each finite field $F$ and each finite abelian group $G,$ there exists $n\geq 2$ and a faithful representation $G\rightarrow GL_n(F)$ consisting entirely of $n\times n$ (invertible) Christoffel matrices over $F.$ We describe the structure of $GC_n(\Z/2\Z).$

Given a finite abelian group $G$ and a subset $S\subseteq G$, we let $N_{G,\ S}$ be the smallest integer $N$ such that for any subset $A\subseteq G$ with $N$ elements, we have $g+S\subseteq A$ for some $g\in G$. Using the probabilistic method, we prove that \begin{align*} \frac{|H_G(S)|-1}{|H_G(S)|}|G|+\Biggl\lceil\biggl(\frac{|G|}{|H_G(S)|}\biggr)^{1-|H_G(S)|/|S|}\Biggr\rceil\le N_{G,\ S}\le \biggl\lfloor\frac{|S|-1}{|S|}|G|\biggr\rfloor+1, \end{align*} where $H_G(S)$ is the stabilizer of $S$.

In this paper, we introduce the periodic tiling (PT) property for finite abelian groups. A finite abelian group is said to have the PT property if every non-periodic set that tiles the group by translation admits a periodic tiling complement. This notion extends the scope beyond groups with the Hajós property. We give a complete classification of cyclic groups possessing the PT property and identify certain non-cyclic groups that enjoy the PT property but fail to satisfy the Hajós property.. As a byproduct, we obtain new families of groups for which the implication ``Tile $\Longrightarrow$ Spectral" holds. Furthermore, for elementary $p$-groups with the PT property, by analyzing the structure of tiles, we prove that every tile is a complete set of representatives of the cosets of some subgroup.

For a finite Abelian group $(Γ,+)$, let $n(Γ)$ denote the smallest positive integer $n$ such that for each labelling of the arcs of the complete digraph of order $n$ using elements from $Γ$, there exists a directed cycle such that the total sum of the arc-labels along the cycle equals $0$. Alon and Krivelevich initiated the study of the parameter $n(\cdot)$ on cyclic groups and proved that $n(\mathbb{Z}_q)=O(q\log q)$. Studying the prototypical case when $Γ=\mathbb{Z}_p^d$ is a power of a cyclic group of prime order, Letzter and Morrison recently showed that $n(\mathbb{Z}_p^d) \le O(pd(\log d)^2)$ and that $n(\mathbb{Z}_2^d)\le O(d \log d)$. They then posed the problem of proving an (asymptotically optimal) upper bound of $n(\mathbb{Z}_p^d)\le O(pd)$ for all primes $p$ and $d \in \mathbb{N}$. In this paper, we solve this problem for $p=2$ and improve their bound for all primes $p \ge 3$ by proving $n(\mathbb{Z}_2^d)\le 5d$ and $n(\mathbb{Z}_p^d)\le O(pd\log d)$. While the first bound determines $n(\mathbb{Z}_2^d)$ up to a multiplicative error of $5$, the second bound is tight up to a $\log d$ factor. Moreover, our result shows that a tight bound of $n(\mathbb{Z}_p^d)=Θ(pd)$ for arbitrary $p$ and $d$ would follow from a (strong form) of the well-known conjecture of Jaeger, Linial, Payan and Tarsi on additive bases in $\mathbb{Z}_p^d$. Along the way to proving these results, we establish a generalization of a hypergraph matching result by Haxell in a matroidal setting. Concretely, we obtain sufficient conditions for the existence of matchings in a hypergraph whose hyperedges are labelled by the elements of a matroid, with the property that the edges in the matching induce a basis of the matroid. We believe that these statements are of independent interest.

A weighted (directed) graph is a (directed) graph with integer weights assigned to its vertices and edges. The weight of a subgraph is the sum of weights of vertices and edges in the subgraph. The problem of determining the largest order $f(k)$ of a weighted complete directed graph that does not contain a directed cycle of weight divisible by $k$, for an integer $k \ge 2$, was raised by Alon and Krivelevich [J. Graph Theory 98 (2021) 623-629]. They showed that $f(k)$ is $O(k\log k)$ and $f(k) \le 2k-2$ if $k$ is prime. The best bounds known to us are $f(k) \le 2k-2$ for all $k$ and $f(k) < (3k-1)/2$ for prime $k$. It is also known that $f(k) \ge k$ and this is believed to be the correct value. We prove that $f(k) < k+2Ω(k)$, where $Ω(k)$ is the number of prime factors, not necessarily distinct, in the prime factorization of $k$. We also show that any weighted undirected graph of minimum degree $2k-1$ contains a cycle of weight divisible by $k$. This result is proved in the more general setting in which the weights are from a finite abelian group of order $k$, and the cycle has weight equal to the group identity. We conjecture that this holds for undirected graphs with minimum degree $k+1$.

For a finite (not necessarily Abelian) group $(Γ,\cdot)$, let $n(Γ) \in \mathbb{N}$ denote the smallest positive integer $n$ such that for every labelling of the arcs of the complete digraph of order $n$ using elements from $Γ$, there exists a directed cycle such that the arc-labels along the cycle multiply to the identity. Alon and Krivelevich initiated the study of the parameter $n(\cdot)$ on cyclic groups and proved $n(\mathbb{Z}_q)=O(q \log q)$. This was later improved to a linear bound of $n(Γ)\le 8|Γ|$ for every finite Abelian group by Mészáros and the last author, and then further to $n(Γ)\le 2|Γ|-1$ for every non-trivial finite group independently by Berendsohn, Boyadzhiyska and Kozma as well as by Akrami, Alon, Chaudhury, Garg, Mehlhorn and Mehta. In this series of two papers we conclude this line of research by proving that $n(Γ)\le |Γ|+1$ for every finite group $(Γ,\cdot)$, which is the best possible such bound in terms of the group order and precisely determines the value of $n(Γ)$ for all cyclic groups as $n(\mathbb{Z}_q)=q+1$. In the present paper we prove the above result for all groups of odd order. The proof for groups of even order needs to overcome substantial additional obstacles and will be presented in the second part of this series.

In this paper, we determine the genus of the subgroup lattice of several families of abelian groups. In doing so, we classify all finite abelian groups whose subgroup lattices can be embedded into the torus.

Let $A=\{a_1,a_2,\dots, a_m\}$ be a subset of a finite abelian group $G$. We call $A$ {\it $t$-independent} in $G$, if whenever $$λ_1a_1+λ_2a_2+\cdots +λ_m a_m=0$$ for some integers $λ_1, λ_2, \dots , λ_m$ with $$|λ_1|+|λ_2|+\cdots +|λ_m| \leq t,$$ we have $λ_1=λ_2= \cdots = λ_m=0$, and we say that $A$ is {\it $s$-spanning} in $G$, if every element $g$ of $G$ can be written as $$g=λ_1a_1+λ_2a_2+\cdots +λ_m a_m$$ for some integers $λ_1, λ_2, \dots , λ_m$ with $$|λ_1|+|λ_2|+\cdots +|λ_m| \leq s.$$ In this paper we give an upper bound for the size of a $t$-independent set and a lower bound for the size of an $s$-spanning set in $G$, and determine some cases when this extremal size occurs. We also discuss an interesting connection to spherical combinatorics.

Intersecting codes are linear codes where every two nonzero codewords have non-trivially intersecting support. In this article we expand on the theory of this family of codes, by showing that nondegenerate intersecting codes correspond to sets of points (with multiplicites) in a projective space that are not contained in two hyperplanes. This correspondence allows the use of geometric arguments to demonstrate properties and provide constructions of intersecting codes. We improve on existing bounds on their length and provide explicit constructions of short intersecting codes. Finally, generalizing a link between coding theory and the theory of the Davenport constant (a combinatorial invariant of finite abelian groups), we provide new asymptotic bounds on the weighted $2$-wise Davenport constant. These bounds then yield results on factorizations in rings of algebraic integers and related structures.

Let $s$ be a positive integer. Our goal is to find all finite abelian groups $G$ that contain a $2$-subset $A$ for which the undirected Cayley graph $Γ(G,A)$ has diameter at most $s$. We provide a complete answer when $G$ is cyclic, and a conjecture and some partial answers when $G$ is noncyclic.

A subset $C$ of the vertex set of a graph $Γ$ is said to be $(α,β)$-regular if $C$ induces an $α$-regular subgraph and every vertex outside $C$ is adjacent to exactly $β$ vertices in $C$. In particular, if $C$ is an $(α,β)$-regular set in some Cayley sum graph of a finite group $G$ with connection set $S$, then $C$ is called an $(α,β)$-regular set of $G$ and a $(0,1)$-regular set is called a perfect code of $G$. By Sq$(G)$ and NSq$(G)$ we mean the set of all square elements and non-square elements of $G$. As one of the main results in this note, we show that a subgroup $H$ of a finite abelian group $G$ is an $(α,β)$-regular set of $G$, for each $0\leq α\leq |$NSq$(G)\cap H|$ and $0\leq β\leq \mathcal{L}(H)$, where $\mathcal{L}(H)=|H|$, if Sq$(G) \subseteq H$ and $\mathcal{L}(H)=|$NSq$(G)\cap H|$, otherwise. As a consequence of our result we give a very brief proof for the main results in \cite{mama, ma}. Also, we consider the dihedral group $G=D_{2n} $ and for each subgroup $H $ of $G$, by giving an appropriate connection set $S$, we determine each possibility for $(α, β)$, where $H$ is an $(α,β)$-regular set of $G$.

Let $G$ be a finite abelian group. Bridges and Mena characterized the Cayley graphs of $G$ that have only integer eigenvalues. Here we consider the $(0,1,-1)$ adjacency matrix of an oriented Cayley graph or of a signed Cayley graph $X$ on $G$. We give a characterization of when all the eigenvalues of $X$ are integer multiples of $\sqrtΔ$ for some square-free integer $Δ$. These are exactly the oriented or signed Cayley graphs on which the continuous quantum walks are periodic, a necessary condition for walks on such graphs to admit perfect state transfer. This also has applications in the study of uniform mixing on oriented Cayley graphs, as the occurrence of local uniform mixing at vertex $a$ in an oriented graph $X$ implies periodicity of the walk at $a$. We give examples of oriented Cayley graphs which admit uniform mixing or multiple state transfer.

A $(v,k,λ)$-BIBD $(X,\mathcal B)$ can be nested if there is a mapping $φ:\mathcal B\rightarrow X$ such that $(X,\{B\cup\{φ(B)\}\mid B\in\mathcal B\})$ is a $(v,k+1,λ+1)$-packing. A $(v,k,λ)$-BIBD has a (perfect) nesting if and only if its incidence graph has a harmonious (exact) coloring with $v$ colors. This paper shows that given any positive integers $k$ and $λ$, if $k\geq 2λ+2$, then for any sufficiently large $v$, every $(v,k,λ)$-BIBD can be nested into a $(v,k+1,λ+1)$-packing; and if $k=2λ+1$, then for any sufficiently large $v$ satisfying $v \equiv 1 \pmod {2k}$, there exists a $(v,k,λ)$-BIBD having a perfect nesting. Banff difference families (BDF), as a special kind of difference families (DF), can be used to generate nested designs. This paper shows that if $G$ is a finite abelian group with a large size whose number of $2$-order elements is no more than a given constant, and $k\geq 2λ+2$, then a $(G,k,λ)$-BDF can be obtained by taking any $(G,k,λ)$-DF and then replacing each of its base blocks by a suitable translation. This is a Novák-like theorem. Novák conjectured in 1974 that for any cyclic Steiner triple system of order $v$, it is always possible to choose one block from each block orbit so that the chosen blocks are pairwise disjoint. Novák's conjecture was generalized to any cyclic $(v,k,λ)$-BIBDs by Feng, Horsley and Wang in 2021, who conjectured that given any positive integers $k$ and $λ$ such that $k\geq λ+1$, there exists an integer $v_0$ such that, for any cyclic $(v,k,λ)$-BIBD with $v\geq v_0$, it is always possible to choose one block from each block orbit so that the chosen blocks are pairwise disjoint. This paper confirms this conjecture for every $k\geq λ+2$.

Let $K\leq H$ be two finite groups and let $C\leq A$ be two finite abelian groups, with $H$ acting on $A$ as a group of isomorphisms admitting $C$ as a $K$-invariant subgroup. We study the homogeneous space $X\coloneqq\left(H\ltimes A\right)/\left(K\ltimes C\right)$ and determine the decomposition of the permutation representation of $H\ltimes A$ acting on $X$. We then characterize when this is multiplicity-free, that is, when $\left(H\ltimes A,K\ltimes C\right)$ is a Gelfand pair. If this is the case, we explicitly calculate the corresponding spherical functions. From our general construction and related analysis, we recover Dunkl's results on the $q$-analog of the nonbinary Johnson scheme.

Evidences have suggested that counting representations are sometimes tractable even when the corresponding classification problem is almost impossible, or "wild" in a precise sense. Such counting problems are directly related to matrix counting problems, many of which are under active research. Using a general framework we formulate for such counting problems, we reduce some counting problems about commuting matries to problems about endomorphisms on all finite abelian $p$-groups. As an application, we count finite modules on some first examples of nonreduced curves over $\mathbb{F}_q$. We also relate some classical and hard problems regarding commuting triples of matrices to a conjecture of Onn on counting conjugacy classes of the automorphism group of an arbitrary finite abelian $p$-group.