arXiv++ Combinatorics

The study of perfect state transfer on graphs has attracted a great deal of attention during the past ten years because of its applications to quantum information processing and quantum computation. Perfect state transfer is understood to be a rare phenomenon. This paper establishes necessary and sufficient conditions for a bi-Cayley graph having perfect state transfer over any given finite abelian group. As corollaries, many known and new results are obtained on Cayley graphs having perfect state transfer over abelian groups, (generalized) dihedral groups, semi-dihedral groups and generalized quaternion groups. Especially, we give an example of a connected non-normal Cayley graph over a dihedral group having perfect state transfer between two distinct vertices, which was thought impossible.

Let $G$ be a finite abelian group of exponent $n$ and let $A$ be a non-empty subset of $[1,n-1]$. The Davenport constant of $G$ with weight $A$, denoted by $D_A(G)$, is defined to be the least positive integer $\ell$ such that any sequence over $G$ of length $\ell$ has a non-empty $A$-weighted zero-sum subsequence. Similarly, the combinatorial invariant $E_{A}(G)$ is defined to be the least positive integer $\ell$ such that any sequence over $G$ of length $\ell$ has an $A$-weighted zero-sum subsequence of length $|G|$. In this article, we determine the exact value of $D_A(\mathbb{Z}_n)$, for some particular values of $n$, where $A$ is the set of all cubes in $\mathbb{Z}_n^*$. We also determine the structure of the related extremal sequence in this case.

Let $G$ be a finite abelian group. For any positive integers $d$ and $m$, let $\varphi_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 $\varphi_G(d)=\varphi_H(d)$ for any $d|(|G|,|H|)$. We also consider an extension of this result to non-abelian groups in terms of invariant theory.

We state and prove a quantitative inverse theorem for the Gowers uniformity norm $U^3(G)$ on an arbitrary finite abelian group $G$; the cases when $G$ was of odd order or a vector space over ${\mathbf F}_2$ had previously been established by Green and the second author and by Samorodnitsky respectively by Fourier-analytic methods, which we also employ here. We also prove a qualitative version of this inverse theorem using a structure theorem of Host--Kra type for ergodic ${\mathbf Z}^ω$-actions of order $2$ on probability spaces established recently by Shalom and the authors.

For a partition $\underlineλ = (λ_{1}^{ρ_1}>λ_{2}^{ρ_2}>λ_{3}^{ρ_3}>\ldots>λ_{k}^{ρ_k})$ and its associated finite abelian $p$-group $\mathcal{A}_{\underlineλ}=\underset{i=1}{\overset{k}{\oplus}} (\mathbb{Z}/p^{λ_i}\mathbb{Z})^{ρ_i}$, where $p$ is a prime, we consider two actions of its automorphism group $\mathcal{G}_{\underlineλ}$ on $\mathcal{A}_{\underlineλ}$. The first action is the natural action $g\bullet a=\ ^ga$ for all $g\in\mathcal{G}_{\underlineλ}$ and $a\in\mathcal{A}_{\underlineλ}$ where the action map is denoted by $Λ_1=Id_{\mathcal{G}_{\underlineλ}}:\mathcal{G}_{\underlineλ}\longrightarrow \mathcal{G}_{\underlineλ}$ and the second action is the trivial action $g\bullet a=a$ for all $g\in\mathcal{G}_{\underlineλ}$ and $a\in\mathcal{A}_{\underlineλ}$ where the action map is denoted by $Λ_2:\mathcal{G}_{\underlineλ}\longrightarrow \{e\}\subset\mathcal{G}_{\underlineλ}$ the trivial map. For the natural action $Λ_1$, we show that the first and second cohomology groups $H_{Λ_1}^i(\mathcal{G}_{\underlineλ},\mathcal{A}_{\underlineλ}),i=1,2$ vanish for any partition $\underlineλ$ for an odd prime $p$. For the trivial action $Λ_2$ we show that, for an odd prime $p$, the first cohomology group $H_{Λ_2}^1(\mathcal{G}_{\underlineλ},\mathcal{A}_{\underlineλ})$ and for an odd prime $p\neq 3$, the second cohomology group $H_{Λ_2}^2(\mathcal{G}_{\underlineλ},\mathcal{A}_{\underlineλ})$ vanish if and only if the difference between two successive parts of the partition $\underlineλ$ is at most one. This is done by using the $mod\ p$ cohomologies $H^i(\mathcal{G}_{\underlineλ},\mathbb{Z}/p\mathbb{Z}),i=1,2$.

Let $G$ be a finite abelian group and $p$ be the smallest prime dividing $|G|$. Let $S$ be a sequence over $G$. We say that $S$ is regular if for every proper subgroup $H \subsetneq G$, $S$ contains at most $|H|-1$ terms from $H$. Let $\mathsf c_0(G)$ be the smallest integer $t$ such that every regular sequence $S$ over $G$ of length $|S|\geq t$ forms an additive basis of $G$, i.e., $\sum(S)=G$. The invariant $\mathsf c_0(G)$ was first studied by Olson and Peng in 1980's, and since then it has been determined for all finite abelian groups except for the groups with rank 2 and a few groups of rank 3 or 4 with order less than $10^8$. In this paper, we focus on the remaining case concerning groups of rank 2. It was conjectured by Gao et al. (Acta Arith. 168 (2015) 247-267) that $\mathsf c_0(G)=m(G)$. We confirm the conjecture for the case when $G=C_{n_1}\oplus C_{n_2}$ with $n_1|n_2$, $n_1\geq 2p$, $p\geq 3$ and $n_1n_2\geq 72p^6$.

Let $G$ be a finite abelian group, written additively, and $H$ a subgroup of~$G$. The \emph{subgroup sum graph} $Γ_{G,H}$ is the graph with vertex set $G$, in which two distinct vertices $x$ and $y$ are joined if $x+y\in H\setminus\{0\}$. These graphs form a fairly large class of Cayley sum graphs. Among cases which have been considered previously are the \emph{prime sum graphs}, in the case where $H=pG$ for some prime number $p$. In this paper we present their structure and a detailed analysis of their properties. We also consider the simpler graph $Γ^+_{G,H}$, which we refer to as the \emph{extended subgroup sum graph}, in which $x$ and $y$ are joined if $x+y\in H$: the subgroup sum is obtained by removing from this graph the partial matching of edges having the form $\{x,-x\}$ when $2x\ne0$. We study perfectness, clique number and independence number, connectedness, diameter, spectrum, and domination number of these graphs and their complements. We interpret our general results in detail in the prime sum graphs.

We prove the following conjecture of Shkredov and Solymosi: every subset $A \subset \mathbf{Z}^2$ such that $\sum_{a\in A\setminus\{0\}} 1/\left\|a\right\|^{2} = +\infty$ contains the three vertices of an isosceles right triangle. To do this, we adapt the proof of the recent breakthrough by Bloom and Sisask on sets without three-term arithmetic progressions, to handle more general equations of the form $T_1a_1+T_2a_2+T_3a_3 = 0$ in a finite abelian group $G$, where the $T_i$'s are automorphisms of $G$.

Two constructions of lattice packings of $ n $-dimensional cross-polytopes ($ \ell_1 $ balls) are described, the density of which exceeds that of any prior construction by a factor of at least $ 2^{\frac{n}{\ln n}(1 + o(1))} $ when $ n \to \infty $. The first family of lattices is explicit and is obtained by applying Construction A to a class of Reed-Solomon codes. The second family has subexponential construction complexity and is based on the notion of Sidon sets in finite Abelian groups. The construction based on Sidon sets also gives the highest known asymptotic density of packing discrete cross-polytopes of fixed radius $ r \geqslant 3 $ in $ \mathbb{Z}^n $.

The binary $k$-dimensional simplex code is known to be a $2^{k-1}$-batch code and is conjectured to be a $2^{k-1}$-functional batch code. Here, we offer a simple, constructive proof of a result that is "in between" these two properties. Our approach is to relate these properties to certain (old and new) additive problems in finite abelian groups. We also formulate a conjecture for finite abelian groups that generalizes the above-mentioned conjecture.

We study the lattice width of lattice-free polyhedra given by $\mathbf{A}\mathbf{x}\leq\mathbf{b}$ in terms of $Δ(\mathbf{A})$, the maximal $n\times n$ minor in absolute value of $\mathbf{A}\in\mathbb{Z}^{m\times n}$. Our main contribution is to link the lattice width of lattice-free polyhedra to the height of Hilbert bases and to the diameter of finite abelian groups. This leads to a bound on the lattice width of lattice-free pyramids which solely depends on $Δ(\mathbf{A})$ provided a conjecture regarding the height of Hilbert bases holds. Further, we exploit a combination of techniques to obtain novel bounds on the lattice width of simplices. A second part of the paper is devoted to a study of the above mentioned Hilbert basis conjecture. We give a complete characterization of the Hilbert basis if $Δ(\mathbf{A}) = 2$ which implies the conjecture in that case and prove its validity for simplicial cones.

In this paper, the nilspace approach to higher-order Fourier analysis is developed in the setting of vector spaces over a prime field $\mathbb{F}_p$, with applications mainly in ergodic theory. A key requisite for this development is to identify a class of nilspaces adequate for this setting. We introduce such a class, whose members we call $p$-homogeneous nilspaces. One of our main results characterizes these objects in terms of a simple algebraic property. We then prove various further results on these nilspaces, leading to a structure theorem describing every finite $p$-homogeneous nilspace as the image, under a nilspace fibration, of a member of a simple family of filtered finite abelian $p$-groups. The applications include a description of the Host-Kra factors of ergodic $\mathbb{F}_p^ω$-systems as $p$-homogeneous nilspace systems. This enables the analysis of these factors to be reduced to the study of such nilspace systems, with central questions on the factors thus becoming purely algebraic problems on finite nilspaces. We illustrate this approach by proving that for $k\leq p+1$ the $k$-th Host-Kra factor is an Abramov system of order $\leq k$, extending a result of Bergelson-Tao-Ziegler that holds for $k< p$. We illustrate the utility of $p$-homogeneous nilspaces also by showing that the above-mentioned structure theorem yields a new proof of the Tao-Ziegler inverse theorem for Gowers norms on $\mathbb{F}_p^n$.

A linear configuration is said to be common in a finite Abelian group $G$ if for every 2-coloring of $G$ the number of monochromatic instances of the configuration is at least as large as for a randomly chosen coloring. Saad and Wolf conjectured that if a configuration is defined as the solution set of a single homogeneous equation over $G$, then it is common in $\mathbb{F}_p^n$ if and only if the equation's coefficients can be partitioned into pairs that sum to zero mod $p$. This was proven by Fox, Pham and Zhao for sufficiently large $n$. We generalize their result to all sufficiently large Abelian groups $G$ for which the equation's coefficients are coprime to $\vert G\vert$

The bilinear Bogolyubov argument for $\mathbb{F}_p^n$ states that if we start with a dense set $A \subseteq \mathbb{F}_p^n \times \mathbb{F}_p^n$ and carry out sufficiently many steps where we replace every row or every column of $A$ by the set difference of it with itself, then inside the resulting set we obtain a bilinear variety of codimension bounded in terms of density of $A$. In this paper, we generalize the bilinear Bogolyubov argument to arbitrary finite abelian groups. Namely, if $G$ and $H$ are finite abelian groups and $A \subseteq G \times H$ is a subset of density $δ$, then the procedure above applied to $A$ results in a set that contains a bilinear analogue of a Bohr set, with the appropriately defined codimension bounded above by $\log^{O(1)} (O(δ^{-1}))$.

We construct an example of a group $G = \mathbb{Z}^2 \times G_0$ for a finite abelian group $G_0$, a subset $E$ of $G_0$, and two finite subsets $F_1,F_2$ of $G$, such that it is undecidable in ZFC whether $\mathbb{Z}^2\times E$ can be tiled by translations of $F_1,F_2$. In particular, this implies that this tiling problem is aperiodic, in the sense that (in the standard universe of ZFC) there exist translational tilings of $E$ by the tiles $F_1,F_2$, but no periodic tilings. Previously, such aperiodic or undecidable translational tilings were only constructed for sets of eleven or more tiles (mostly in $\mathbb{Z}^2$). A similar construction also applies for $G = \mathbb{Z}^d$ for sufficiently large $d$. If one allows the group $G_0$ to be non-abelian, a variant of the construction produces an undecidable translational tiling with only one tile $F$. The argument proceeds by first observing that a single tiling equation is able to encode an arbitrary system of tiling equations, which in turn can encode an arbitrary system of certain functional equations once one has two or more tiles. In particular, one can use two tiles to encode tiling problems for an arbitrary number of tiles.

In this short note we give various near optimal characterizations of random walks over finite Abelian groups with large maximum discrepancy from the uniform measure. We also provide several interesting connections to existing results in the literature.

Balogh, Liu, Sharifzadeh and Treglown [Journal of the European Mathematical Society, 2018] recently gave a sharp count on the number of maximal sum-free subsets of $\{1, \dots, n\}$, thereby answering a question of Cameron and Erdős. In contrast, not as much is know about the analogous problem for finite abelian groups. In this paper we give the first sharp results in this direction, determining asymptotically the number of maximal sum-free sets in both the binary and ternary spaces $\mathbb Z^k_2$ and $\mathbb Z^k_3$. We also make progress on a conjecture of Balogh, Liu, Sharifzadeh and Treglown concerning a general lower bound on the number of maximal sum-free sets in abelian groups of a fixed order. Indeed, we verify the conjecture for all finite abelian groups with a cyclic component of size at least 3084. Other related results and open problems are also presented.

We adapt the theory of partition rank and analytic rank to the category of abelian groups. If $A_1, \dots, A_k$ are finite abelian groups and $φ: A_1 \times \cdots \times A_k \to \mathbf{T}$ is a multilinear map, where $\mathbf{T} = \mathbf{R}/\mathbf{Z}$, the bias of $φ$ is defined to be the average value of $\exp(i 2 πφ)$. If the bias of $φ$ is bounded away from zero we show that $φ$ is the sum of boundedly many multilinear maps each of which factors through the standard multiplication map of $\mathbf{Z}/q\mathbf{Z}$ for some bounded prime power $q$. Relatedly, if $F : A_1 \times \cdots \times A_{k-1} \to B$ is a multilinear map such that $\mathbf{P}(F = 0)$ is bounded away from zero, we show that $F$ is the sum of boundedly many multilinear functions of a particular form. These structure theorems generalize work of several authors in the elementary abelian case to the arbitrary abelian case. The set of all possible biases is also investigated.

Let $G$ be a multiplicatively written finite group. We denote by $\mathsf E(G)$ the smallest integer $t$ such that every sequence of $t$ elements in $G$ contains a product-one subsequence of length $|G|$. In 1961, Erdős, Ginzburg and Ziv proved that $\mathsf E(G)\leq 2|G|-1$ for every finite abelian group $G$ and this result is known as the Erdős-Ginzburg-Ziv Theorem. In 2005, Zhuang and Gao conjectured that $\mathsf E(G)=\mathsf d(G)+|G|$ for every finite group, where $\mathsf d(G)$ is the small Davenport constant. Very recently, we confirmed this conjecture for the case when $G=\langle x, y| x^p=y^m=1, x^{-1}yx=y^r\rangle$ where $p$ is the smallest prime divisor of $|G|$ and $\mbox{gcd}(p(r-1), m)=1$. In this paper, we study the associated inverse problems on $\mathsf d(G)$ and $\mathsf E(G)$. Our main results characterize the structure of any product-one free sequence with extremal length $\mathsf d(G)$, and that of any $|G|$-product-one free sequence with extremal length $\mathsf E(G)-1$.

Let $G$ be a finite abelian group and $p$ be the smallest prime dividing $|G|$. Let $S$ be a sequence over $G$. We say that $S$ is regular if for every proper subgroup $H \subsetneq G$, $S$ contains at most $|H|-1$ terms from $H$. Let $\mathsf c_0(G)$ be the smallest integer $t$ such that every regular sequence $S$ over $G$ of length $|S|\geq t$ forms an additive basis of $G$, i.e., $\sum(S)=G$. The invariant $\mathsf c_0(G)$ was first studied by Olson and Peng in 1980's, and since then it has been determined for all finite abelian groups except for the groups with rank 2 and a few groups of rank 3 or 4 with order less than $10^8$. In this paper, we focus on the remaining case concerning groups of rank 2. It was conjectured by the first author and Han (Int. J. Number Theory 13 (2017) 2453-2459) that $\mathsf c_0(G)=pn+2p-3$ where $G=C_p\oplus C_{pn}$ with $n\geq 3$. We confirm the conjecture for the case when $p=3$ and $n=q \,(\geq 5)$ is a prime number.