arXiv++ Combinatorics

We prove that given any $ε>0$, random integral $n\times n$ matrices with independent entries that lie in any residue class modulo a prime with probability at most $1-ε$ have cokernels asymptotically (as $n\rightarrow\infty$) distributed as in the distribution on finite abelian groups that Cohen and Lenstra conjecture as the distribution for class groups of imaginary quadratic fields. This is a refinement of a result on the distribution of ranks of random matrices with independent entries in $\mathbb{Z}/p\mathbb{Z}$. This is interesting especially in light of the fact that these class groups are naturally cokernels of square matrices. We also prove the analogue for $n\times (n+u)$ matrices.

Let $G$ be a finite abelian group and $A$ a subset of $G$. The spectrum of $A$ is the set of its large Fourier coefficients. Known combinatorial results on the structure of spectrum, such as Chang's theorem, become trivial in the regime $|A| = |G|^α$ whenever $α\le c$, where $c \ge 1/2$ is some absolute constant. On the other hand, there are statistical results, which apply only to a noticeable fraction of the elements, which give nontrivial bounds even to much smaller sets. One such theorem (due to Bourgain) goes as follows. For a noticeable fraction of pairs $γ_1,γ_2 $ in the spectrum, $γ_1+γ_2$ belongs to the spectrum of the same set with a smaller threshold. Here we show that this result can be made combinatorial by restricting to a large subset. That is, we show that for any set $A$ there exists a large subset $A'$, such that the sumset of the spectrum of $A'$ has bounded size. Our results apply to sets of size $|A| = |G|^α$ for any constant $α>0$, and even in some sub-constant regime.

Let G be a finite abelian group. We examine the discrepancy between subspaces of l^2(G) which are diagonalized in the standard basis and subspaces which are diagonalized in the dual Fourier basis. The general principle is that a Fourier subspace whose dimension is small compared to |G| = dim(l^2(G)) tends to be far away from standard subspaces. In particular, the recent positive solution of the Kadison-Singer problem shows that from within any Fourier subspace whose dimension is small compared to |G| there is standard subspace which is essentially indistinguishable from its orthogonal complement.

For a finite abelian group $G$ and a positive integer $k$, let $s_{k}(G)$ denote the smallest integer $\ell\in\mathbb{N}$ such that any sequence $S$ of elements of $G$ of length $|S|\geq\ell$ has a zero-sum subsequence with length $k$. The celebrated Erdős-Ginzburg-Ziv theorem determines $s_{n}(C_{n})=2n-1$ for cyclic groups $C_{n}$, while Reiher showed in 2007 that $s_{n}(C_{n}^{2})=4n-3$. In this paper we prove for a $p$-group $G$ with exponent $\exp(G)=q$ the upper bound $s_{kq}(G)\le(k+2d-2)q+3D(G)-3$ whenever $k\geq d$, where $d=\Big\lceil\frac{D(G)}{q}\Big\rceil$ and $p$ is a prime satisfying $p\ge2d+3\Big\lceil\frac{D(G)}{2q}\Big\rceil-3$, where $D(G)$ is the Davenport constant of the finite abelian group $G$. This is the correct order of growth in both $k$ and $d$. As a corollary, we show $s_{kq}(C_{q}^{d})=(k+d)q-d$ whenever $k\geq p+d$ and $2p\geq7d-3$, resolving a case of the conjecture of Gao, Han, Peng, and Sun that $s_{k\exp(G)}(G)=k\exp(G)+D(G)-1$ whenever $k\exp(G)\geq D(G)$. We also obtain a general bound $s_{kn}(C_{n}^{d})\leq9kn$ for $n$ with large prime factors and $k$ sufficiently large. Our methods are inspired by the algebraic method of Kubertin, who proved that $s_{kq}(C_{q}^{d})\leq(k+Cd^{2})q-d$ whenever $k\geq d$ and $q$ is a prime power.

Let $G$ be a finite abelian group. The Erd{ő}s-Ginzburg-Ziv constant $\mathsf s(G)$ of $G$ is defined as the smallest integer $l\in \mathbb{N}$ such that every sequence $S$ over $G$ of length $|S|\geq l$ has a zero-sum subsequence $T$ of length $|T|= {\exp}(G)$. The value of this classical invariant for groups with rank at most two is known. But the precise value of $\mathsf s(G)$ for the groups of rank larger than two is difficult to determine. In this paper we pay our attentions to the groups of the form $C_2^{r-1}\oplus C_{2n}$, where $r\geq 3$ and $n\ge 2$. We give a new upper bound of $\mathsf s(C_2^{r-1}\oplus C_{2n})$ for odd integer $n$. For $r\in [3,4]$, we obtain that $\mathsf s(C_2^2\oplus C_{2n})=4n+3$ for $n\ge 2$ and $\mathsf s(C_2^{3}\oplus C_{2n})=4n+5$ for $n\geq 36$.

Let G be a finite abelian group. This paper is concerned with nonnegative functions on G that are sparse with respect to the Fourier basis. We establish combinatorial conditions on subsets S and T of Fourier basis elements under which nonnegative functions with Fourier support S are sums of squares of functions with Fourier support T. Our combinatorial condition involves constructing a chordal cover of a graph related to G and S (the Cayley graph Cay($\hat{G}$,S)) with maximal cliques related to T. Our result relies on two main ingredients: the decomposition of sparse positive semidefinite matrices with a chordal sparsity pattern, as well as a simple but key observation exploiting the structure of the Fourier basis elements of G. We apply our general result to two examples. First, in the case where $G = \mathbb{Z}_2^n$, by constructing a particular chordal cover of the half-cube graph, we prove that any nonnegative quadratic form in n binary variables is a sum of squares of functions of degree at most $\lceil n/2 \rceil$, establishing a conjecture of Laurent. Second, we consider nonnegative functions of degree d on $\mathbb{Z}_N$ (when d divides N). By constructing a particular chordal cover of the d'th power of the N-cycle, we prove that any such function is a sum of squares of functions with at most $3d\log(N/d)$ nonzero Fourier coefficients. Dually this shows that a certain cyclic polytope in $\mathbb{R}^{2d}$ with N vertices can be expressed as a projection of a section of the cone of psd matrices of size $3d\log(N/d)$. Putting $N=d^2$ gives a family of polytopes $P_d \subset \mathbb{R}^{2d}$ with LP extension complexity $\text{xc}_{LP}(P_d) = Ω(d^2)$ and SDP extension complexity $\text{xc}_{PSD}(P_d) = O(d\log(d))$. To the best of our knowledge, this is the first explicit family of polytopes in increasing dimensions where $\text{xc}_{PSD}(P_d) = o(\text{xc}_{LP}(P_d))$.

We consider the well-known Rosenbloom-Tsfasman function field lattices in the special case of Hermitian function fields. We show that in this case the resulting lattices are generated by their minimal vectors, provide an estimate on the total number of minimal vectors, and derive properties of the automorphism groups of these lattices. Our study continues previous investigations of lattices coming from elliptic curves and finite Abelian groups. The lattices we are faced with here are more subtle than those considered previously, and the proofs of the main results require the replacement of the existing linear algebra approaches by deep results of Gerhard Hiss on the factorization of functions with particular divisor support into lines and their inverses.

(Dieudonné and) Dwork's lemma gives a necessary and sufficient condition for an exponential of a formal power series $S(z)$ with coefficients in $Q_p$ to have coefficients in $Z_p$. We establish theorems on the $p$-adic valuation of the coefficients of the exponential of $S(z)$, assuming weaker conditions on the coefficients of $S(z)$ than in Dwork's lemma. As applications, we provide several results concerning lower bounds on the $p$-adic valuation of the number of permutation representations of finitely generated groups. In particular, we give fairly tight lower bounds in the case of an arbitrary finite Abelian $p$-group, thus generalising numerous results in special cases that had appeared earlier in the literature. Further applications include sufficient conditions for ultimate periodicity of subgroup numbers modulo $p$ for free products of finite Abelian $p$-groups, results on $p$-divisibility of permutation numbers with restrictions on their cycle structure, and a curious "supercongruence" for a certain binomial sum.

In this paper a wide family of identifying codes over regular Cayley graphs of degree four which are built over finite Abelian groups is presented. Some of the codes in this construction are also perfect. The graphs considered include some well-known graphs such as tori, twisted tori and Kronecker products of two cycles. Therefore, the codes can be used for identification in these graphs. Finally, an example of how these codes can be applied for adaptive identification over these graphs is presented.

In this note we describe a seemingly new approach to the complex representation theory of the wreath product $G\wr S_d$ where $G$ is a finite abelian group. The approach is motivated by an appropriate version of Schur-Weyl duality. We construct a combinatorially defined groupoid in which all endomorphism algebras are direct products of symmetric groups and prove that the groupoid algebra is isomorphic to the group algebra of $G\wr S_d$. This directly implies a classification of simple modules. As an application, we get a Gelfand model for $G\wr S_d$ from the classical involutive Gelfand model for the symmetric group. We describe the Schur-Weyl duality which motivates our approach and relate it to various Schur-Weyl dualities in the literature. Finally, we discuss an extension of these methods to all complex reflection groups of type $G(\ell,k,d)$.

We comment on the paper "Extremal Cayley digraphs of finite Abelian groups" [Intercon. Networks 12 (2011), no. 1-2, 125--135]. In particular, we give some counterexamples to the results presented there, and provide a correct result for degree two.

We study which groups with pairing can occur as the Jacobian of a finite graph. We provide explicit constructions of graphs whose Jacobian realizes a large fraction of odd groups with a given pairing. Conditional on the generalized Riemann hypothesis, these constructions yield all groups with pairing of odd order, and unconditionally, they yield all groups with pairing whose prime factors are sufficiently large. For groups with pairing of even order, we provide a partial answer to this question, for a certain restricted class of pairings. Finally, we explore which finite abelian groups occur as the Jacobian of a simple graph. There exist infinite families of finite abelian groups that do not occur as the Jacobians of simple graphs.

The critical group of an abelian network is a finite abelian group that governs the behavior of the network on large inputs. It generalizes the sandpile group of a graph. We show that the critical group of an irreducible abelian network acts freely and transitively on recurrent states of the network. We exhibit the critical group as a quotient of a free abelian group by a subgroup containing the image of the Laplacian, with equality in the case that the network is rectangular. We generalize Dhar's burning algorithm to abelian networks, and estimate the running time of an abelian network on an arbitrary input up to a constant additive error.

Let $\mathcal{G}$ be a properly face 2-coloured (say black and white) \break piecewise-linear triangulation of the sphere with vertex set $V$. Consider the abelian group $\mathcal{A}_W$ generated by the set $V$, with relations $r+c+s=0$ for all white triangles with vertices $r$, $c$ and $s$. The group $\mathcal{A}_B$ can be defined similarly, using black triangles. These groups are related in the following manner $\mathcal{A}_W\cong\mathcal{A}_B\cong\mathbb{Z}\oplus\mathbb{Z}\oplus\mathcal{C}$ where $\mathcal{C}$ is a finite abelian group. The finite torsion subgroup $\mathcal{C}$ is referred to as the canonical group of the triangulation. Let $m_t$ be the maximal order of $\mathcal{C}$ over all properly face two-coloured spherical triangulations with $t$ triangles of each colour. By relating properly face two-coloured spherical triangulations to directed Eulerian spherical embeddings of digraphs whose abelian sand-pile groups are isomorphic to $\mathcal{C}$ we provide improved upper and lower bounds for $\lim \sup_{t\rightarrow\infty}(m_t)^{1/t}$.

Bridging the work of Cameron, Harary, and others, we examine the base size set B(G) and determining set D(G) of several families of groups. The base size set is the set of base sizes of all faithful actions of the group G on finite sets. The determining set is the subset of B(G) obtained by restricting the actions of G to automorphism groups of finite graphs. We show that for finite abelian groups, B(G)=D(G)={1,2,...,k} where k is the number of elementary divisors of G. We then characterize B(G) and D(G) for dihedral groups of the form D_{p^k} and D_{2p^k}. Finally, we prove B(G) is not equal to D(G) for dihedral groups of the form D_{pq} where p and q are distinct odd primes.

We consider two families of weighted zero-sum constants for finite abelian groups. For a finite abelian group $( G , + )$, a set of weights $W \subset \mathbb{Z}$, and an integral parameter $m$, the $m$-wise Davenport constant with weights $W$ is the smallest integer $n$ such that each sequence over $G$ of length $n$ has at least $m$ disjoint zero-subsums with weights $W$. And, for an integral parameter $d$, the $d$-constrained Davenport constant with weights $W$ is the smallest $n$ such that each sequence over $G$ of length $n$ has a zero-subsum with weights $W$ of size at most $d$. First, we establish a link between these two types of constants and several basic and general results on them. Then, for elementary $p$-groups, establishing a link between our constants and the parameters of linear codes as well as the cardinality of cap sets in certain projective spaces, we obtain various explicit results on the values of these constants.

This paper is devoted to the study of lattices generated by finite Abelian groups. Special species of such lattices arise in the exploration of elliptic curves over finite fields. In case the generating group is cyclic, they are also known as the Barnes lattices. It is shown that for every finite Abelian group with the exception of the cyclic group of order four these lattices have a basis of minimal vectors. Another result provides an improvement of a recent upper bound by Min Sha for the covering radius in the case of the Barnes lattices. Also discussed are properties of the automorphism groups of these lattices.

Let G be a connected, loopless multigraph. The sandpile group of G is a finite abelian group associated to G whose order is equal to the number of spanning trees in G. Holroyd et al. used a dynamical process on graphs called rotor-routing to define a simply transitive action of the sandpile group of G on its set of spanning trees. Their definition depends on two pieces of auxiliary data: a choice of a ribbon graph structure on G, and a choice of a root vertex. Chan, Church, and Grochow showed that if G is a planar ribbon graph, it has a canonical rotor-routing action associated to it, i.e., the rotor-routing action is actually independent of the choice of root vertex. It is well-known that the spanning trees of a planar graph G are in canonical bijection with those of its planar dual G*, and furthermore that the sandpile groups of G and G* are isomorphic. Thus, one can ask: are the two rotor-routing actions, of the sandpile group of G on its spanning trees, and of the sandpile group of G* on its spanning trees, compatible under plane duality? In this paper, we give an affirmative answer to this question, which had been conjectured by Baker.

Let $\mathcal{S}$ be a finite semigroup, and let $E(\mathcal{S})$ be the set of all idempotents of $\mathcal{S}$. Gillam, Hall and Williams proved in 1972 that every $\mathcal{S}$-valued sequence $T$ of length at least $|\mathcal{S}|-|E(\mathcal{S})|+1$ is not (strongly) idempotent-product free, in the sense that it contains a nonempty subsequence the product of whose terms, in their natural order in $T$, is an idempotent, which affirmed a question of Erdős. They also showed that the value $|\mathcal{S}|-|E(\mathcal{S})|+1$ is best possible. Here, motivated by Gillam, Hall and Williams' work, we determine the structure of the idempotent-product free sequences of length $|\mathcal{S}\setminus E(\mathcal{S})|$ when the semigroup $\mathcal{S}$ (not necessarily finite) satisfies $|\mathcal{S}\setminus E(\mathcal{S})|$ is finite, and we introduce a couple of structural constants for semigroups that reduce to the classical Davenport constant in the case of finite abelian groups.

For a fixed odd prime $\ell$, we present new families of identities defined on various subposets of the poset of isomorphism classes of finite abelian $\ell$-groups, generalizing identities of Hall and Cohen-Lenstra. We also present a $q$-series identity.