arXiv++ Combinatorics

Suppose that $A$ is a finite, nonempty subset of a cyclic group of either infinite or prime order. We show that if the difference set $A-A$ is ``not too large'', then there is a nonzero group element with at least as many as $(2+o(1))|A|^2/|A-A|$ representations as a difference of two elements of $A$; that is, the second largest number of representations is, essentially, twice the average. Here the coefficient $2$ is the best possible. We also prove continuous and multidimensional versions of this result, and obtain similar results for sufficiently dense subsets of an arbitrary abelian group.

Recently, regular Cayley maps of cyclic groups and dihedral groups have been classified. A nature question is to classify regular Cayley maps of elementary abelian $p$-groups $Z_p^n$. In this paper, a complete classification of regular Cayley maps of $Z_p^n$ is given and moreover, the number of these maps and their genera are enumerated.

Lin, Lu, and Yau formulated the Ricci curvature of edges in simple undirected graphs[2]. Using their formulations, we calculate the Ricci curvatures of Cayley graphs for the dihedral groups, the general quaternion groups, and cyclic groups with some generating sets that are chosen so that their cardinal numbers are less than or equal to four. For the dihedral group and the general quaternion group, we obtained the Ricci curvatures of all edges of the Cayley graph with generator sets consisting of the four elements that are the two generators defining each group and their inverses elements.For the cyclic group (Z/nZ, +), we have the Ricci curvatures of edges of the Cayley graph generating by S_{1, k} = {+1, -1, +k, -k}.

The power graph $\mathcal{P}(G)$ of a finite group $G$ is the simple graph with vertex set $G$, in which two distinct vertices are adjacent if one of them is a power of the other. For an integer $n\geq 2$, let $C_n$ denote the cyclic group of order $n$ and let $r$ be the number of distinct prime divisors of $n$. The minimum cut-sets of $\mathcal{P}(C_n)$ are characterized in \cite{cps} for $r\leq 3$. In this paper, for $r\geq 4$, we identify certain cut-sets of $\mathcal{P}(C_n)$ such that any minimum cut-set of $\mathcal{P}(C_n)$ must be one of them.

We provide a general recursive method for constructing transfer systems on finite lattices. Using this we calculate the number of homotopically distinct $N_\infty$ operads for dihedral groups $D_{p^n}$, $p > 2$ prime, and cyclic groups $C_{qp^n}$, $p \neq q$ prime. We then further display some of the beautiful combinatorics obtained by restricting to certain homotopically meaningful $N_\infty$ operads for these groups.

In [12] was introduced, for cyclic groups, the class of partially filled arrays of the non-zero sum Heffter array that are, as the Heffter arrays, related to difference families, graph decompositions, and biembeddings. Here we generalize this definition to any finite groups. Given a subgroup $J$ of order $t$ of a group $G$, a $λ$-fold non-zero sum Heffter array over $G$ relative to $J$, $^λ\mathrm{N}\mathrm{H}_t(m,n; h,k)$, is an $m \times n$ p. f. array with entries in $G$ such that: each row contains $h$ filled cells and each column contains $k$ filled cells; for every $x\in G\setminus J$, the sum of the occurrence of $x$ and $-x$ is $λ$; the sum of the elements in every row and column is, following the natural orderings from left to right for the rows and from top to bottom for the columns, different from $0$ (in $G$). In [12], there was presented a complete, probabilistic, solution for the existence problem in case $λ=1$ and $G=\mathbb{Z}_v$ that is the starting point of this investigation. In this paper, we will consider the existence problem for a generic value of $λ$ and a generic finite group $G$, and we present an almost complete solution to this problem. In particular, we will prove, through local considerations (inspired by Lovász Local Lemma), that there exists a $λ$-fold non-zero sum Heffter array over $G$ relative to $J$ whenever the trivial necessary conditions are satisfied and $|G|=v\geq 41$. This value can be turned down to $29$ in case the array does not contain empty cells. Finally, we will show that these arrays give rise to biembeddings of multigraphs into orientable surfaces and we provide new infinite families of such embeddings.

In this paper, we study geodesic growth of numbered graph products; these are a generalization of right-angled Coxeter groups, defined as graph products of finite cyclic groups. We first define a graph-theoretic condition called link-regularity, as well as a natural equivalence amongst link-regular numbered graphs, and show that numbered graph products associated to link-regular numbered graphs must have the same geodesic growth series. Next, we derive a formula for the geodesic growth of right-angled Coxeter groups associated to link-regular graphs. Finally, we find a system of equations that can be used to solve for the geodesic growth of numbered graph products corresponding to link-regular numbered graphs that contain no triangles and have constant vertex numbering.

Let G be a finite group with identity e and H \neq \{e\} be a subgroup of G. The generalized non-coprime graph GAmma_{G,H} of G with respect to H is the simple undirected graph with G - \{e \}\) as the vertex set and two distinct vertices a and b are adjacent if and only if \gcd(|a|,|b|) \neq 1 and either a \in H or b \in H, where |a| is the order of a\in G. In this paper, we study certain graph theoretical properties of generalized non-coprime graphs of finite groups, concentrating on cyclic groups. More specifically, we obtain necessary and sufficient conditions for the generalized non-coprime graph of a cyclic group to be in the class of stars, paths, cycles, triangle-free, complete bipartite, complete, unicycle, split, claw-free, chordal or perfect graphs. Then we show that widening the class of groups to all finite nilpotent groups gives us no new graphs, but we give as an example of contrasting behaviour the class of EPPO groups (those in which all elements have prime power order). We conclude with a connection to the Gruenberg--Kegel graph.

The enhanced power graph of a finite group $G$ is the simple undirected graph whose vertex set is $G$ and two distinct vertices $x, y$ are adjacent if $x, y \in \langle z \rangle$ for some $z \in G$. An $L( 2,1)$-labeling of graph $Γ$ is an integer labeling of $V(Γ)$ such that adjacent vertices have labels that differ by at least $2$ and vertices distance $2$ apart have labels that differ by at least $1$. The $λ$-number of $Γ$, denoted by $λ(Γ)$, is the minimum range over all $L( 2,1)$-labelings. In this article, we study the lambda number of the enhanced power graph $\mathcal{P}_E(G)$ of the group $G$. This paper extends the corresponding results, obtained in [22], of the lambda number of power graphs to enhanced power graphs. Moreover, for a non-trivial simple group $G$ of order $n$, we prove that $λ(\mathcal{P}_E(G)) = n$ if and only if $G$ is not a cyclic group of order $n\geq 3$. Finally, we compute the exact value of $λ(\mathcal{P}_E(G))$ if $G$ is a finite nilpotent group.

We consider finite sets $A\subset\mathbb{Z}$ tiles the integers by translations. By periodicity, any such tiling is equivalent to a factorization $A\oplus B=\mathbb{Z}_M$ of a finite cyclic group. Building on por previous work, we prove that a tentative characterization of finite tiles proposed by Coven and Meyerowitz holds for all integer tilings of period $M=(p_ip_jp_k)^2$, where $p_i,p_j,p_k$ are distinct primes. This extends the main result of [15] (Invent. Math. 2023), where we assumed that $M$ is odd. We also improve parts of the argument from [15]. We have split the earlier (70-page) version into two papers. The current version (49 pages) is the first of the two. The main result is the same as in the previous version: we prove (T2) in the 3-prime even case. The second paper will be posted shortly as a new submission. It will have a new main result where we prove (T2) for a new class of tilings (proved very recently, not included in v1 of this paper). Splitting-related results from the earlier 70-page version of this paper have been moved there.

Let us fix a positive integer $ν>1$. For each positive integer $n>1$, we consider a normal supercharacter theory $\mathcal{S}_n$ of $G_n$, where $G_n$ is the direct-product of $n-1$ copies of the cyclic group of order $ν$. Then we endow $\bigoplus_{n \ge 0} \textsf{scf}(\mathcal{S}_n)$, the direct-product of supercharacter function spaces, with the Hopf algebra structure that is isomorphic to the Hopf algebra $\textsf{QSym}$ of quasisymmetric functions. Furthermore, we compute the structure constants of the Hopf algebra thus obtained for the basis consisting of superclass identifier functions. Using our categorifications, we study a new basis for the Hopf algebra $\textsf{NSym}_{\mathbb{C}(q,t)}$ of noncommutative symmetric functions over the rational function field $\mathbb{C}(q,t)$ in commuting variables $q$ and $t$, with an emphasis on the structure constants of $\textsf{NSym}_{\mathbb{C}(q,t)}$ for this basis. Some interesting applications are also obtained via the specializations of $q$ and $t$.

The WL-dimension of a graph X is the smallest positive integer m such that the m-dimensional Weisfeiler-Leman algorithm correctly tests the isomorphism between X and any other graph. It is proved that the WL-dimension of any circulant graph of prime power order is at most 3, and this bound cannot be reduced. The proof is based on using theories of coherent configurations and Cayley schemes over a cyclic group.

For any finite group $A$ and any finitely generated group $B$, we prove that the corresponding lamplighter group $A\wr B$ admits a standard generating set with unbounded depth, and that if $B$ is abelian then the above is true for every standard generating set. This generalizes the case where $B=\mathbb{Z}$ together with its cyclic generator due to Cleary and Taback. When $B=H*K$ is the free product of two finite groups $H$ and $K$, we characterize which standard generators of the associated lamplighter group have unbounded depth in terms of a geometrical constant related to the Cayley graphs of $H$ and $K$. In particular, we find differences with the one-dimensional case: the lamplighter group over the free product of two sufficiently large finite cyclic groups has uniformly bounded depth with respect to some standard generating set.

Given integers $1 \le k_1 < \cdots < k_l \le n-1$, let $\text{Fl}_{k_1,\dots,k_l;n}$ denote the type $A$ partial flag variety consisting of all chains of subspaces $(V_{k_1}\subset\cdots\subset V_{k_l})$ inside $\mathbb{R}^n$, where each $V_k$ has dimension $k$. Lusztig (1994, 1998) introduced the totally positive part $\text{Fl}_{k_1,\dots,k_l;n}^{>0}$ as the subset of partial flags which can be represented by a totally positive $n\times n$ matrix, and defined the totally nonnegative part $\text{Fl}_{k_1,\dots,k_l;n}^{\ge 0}$ as the closure of $\text{Fl}_{k_1,\dots,k_l;n}^{>0}$. On the other hand, following Postnikov (2007), we define $\text{Fl}_{k_1,\dots,k_l;n}^{Δ>0}$ and $\text{Fl}_{k_1,\dots,k_l;n}^{Δ\ge 0}$ as the subsets of $\text{Fl}_{k_1,\dots,k_l;n}$ where all Plücker coordinates are positive and nonnegative, respectively. It follows from the definitions that Lusztig's total positivity implies Plücker positivity, and it is natural to ask when these two notions of positivity agree. Rietsch (2009) proved that they agree in the case of the Grassmannian $\text{Fl}_{k;n}$, and Chevalier (2011) showed that the two notions are distinct for $\text{Fl}_{1,3;4}$. We show that in general, the two notions agree if and only if $k_1, \dots, k_l$ are consecutive integers. We give an elementary proof of this result (including for the case of Grassmannians) based on classical results in linear algebra and the theory of total positivity. We also show that the cell decomposition of $\text{Fl}_{k_1,\dots,k_l;n}^{\ge 0}$ coincides with its matroid decomposition if and only if $k_1,\dots,k_l$ are consecutive integers, which was previously only known for complete flag varieties, Grassmannians, and $\text{Fl}_{1,3;4}$. Finally, we determine which notions of positivity are compatible with a natural action of the cyclic group of order $n$ that rotates the index set.

In this paper, we consider covering graphs obtained by lifting a tree with a loop at each vertex as a voltage graph over a cyclic group. We generalize a tool of Hell, Nishiyama, and Stacho, known as the billiard strategy, for constructing Hamiltonian cycles in the covering graphs of paths. We show that our extended tool can be used to provide new sufficient conditions for the Hamiltonicity of covering graphs of trees that are similar to those of Batagelj and Pisanski and of Hell, Nishiyama, and Stacho. Next, we focus specifically on covering graphs obtained from trees lifted as voltage graphs over cyclic groups $\mathbb Z_p$ of large prime order $p$. We prove that for a given reflexive tree $T$ whose edge labels are assigned uniformly at random from a finite set, the corresponding lift is almost surely Hamiltonian for a large enough prime-ordered cyclic group $\mathbb Z_p$. Finally, we show that if a reflexive tree $T$ is lifted over a group $\mathbb Z_p$ of a large prime order, then for any assignment of nonzero elements of $\mathbb Z_p$ to the edges of $T$, the corresponding cover of $T$ has a large circumference.

In this work we consider interval metrics on groups; that is, integral invariant metrics whose associated weight functions do not have gaps. We give conditions for a group to have and to have not interval metrics. Then we study Lee metrics on general groups, that is interval metrics having the finest unitary symmetric associated partition. These metrics generalize the classic Lee metric on cyclic groups. In the case that $G$ is a torsion-free group or a finite group of odd order, we prove that $G$ has a Lee metric if and only if $G$ is cyclic. Also, if $G$ is a group admitting Lee metrics then $G \times \mathbb{Z}_2^k$ always have Lee metrics for every $k \in \mathbb{N}$. Then, we show that some families of metacyclic groups, such as cyclic, dihedral, and dicyclic groups, always have Lee metrics. Finally, we give conditions for non-cyclic groups such that they do not have Lee metrics. We end with tables of all groups of order $\le 31$ indicating which of them have (or have not) Lee metrics and why (not).

A metric space (X,d) is declared to be natural if (X,d) determines an up to isomorphism unique group structure (X,+) on the set X such that all the group translations and group inversion are isometries. A group is called natural if it emerges like this from a natural metric. A simple graph X is declared to be natural if (X,d) with geodesic metric d is natural. We look here at some examples and some general statements like that the graphical regular representations of a finite group is always a natural graphs or that the direct product on groups or the Shannon product of finite graphs preserves the property of being natural. The semi-direct product of finite natural groups is natural too as they are represented by Zig-Zag products of suitable Cayley graphs. It follows that wreath products preserve natural groups. The Rubik cube for example is natural. Also free products of finitely generated natural groups are natural. A major theme is that non-natural groups often can be upgraded to become natural by extending them to become Coxeter groups. Examples of non-natural groups are cyclic groups whose order is divisible by 4, the quaternion group, the integers, the lamplighter group, the free groups or the group of p-adic integers. The prototype feature is to extend the integers and get the infinite dihedral group, replacing the single generator by two free reflections. We conclude with a short discussion of the hypothesis of using the dihedral group as a physical time in dynamical system theory.

A subset $A$ of an abelian group $G$ is sequenceable if there is an ordering $(a_1, \ldots, a_k)$ of its elements such that the partial sums $(s_0, s_1, \ldots, s_k)$, given by $s_0 = 0$ and $s_i = \sum_{j=1}^i a_i$ for $1 \leq i \leq k$, are distinct, with the possible exception that we may have $s_k = s_0 = 0$. In the literature there are several conjectures and questions concerning the sequenceability of subsets of abelian groups, which have been combined and summarized in $[4]$ into the conjecture that if a subset of an abelian group does not contain 0 then it is sequenceable. If the elements of a sequenceable set $A$ do not sum to $0$ then there exists a simple path $P$ in the Cayley graph $Cay[G:\pm A]$ such that $Δ(P) = \pm A$. In this paper, inspired by this graph-theoretical interpretation, we propose a weakening of this conjecture. Here, under the above assumptions, we want to find an ordering whose partial sums define a walk $W$ of girth bigger than $t$ (for a given $t < k$) and such that $Δ(W) = \pm A$. This is possible given that the partial sums $s_i$ and $s_j$ are different whenever $i$ and $j$ are distinct and $|i-j|\leq t$. In this case, we say that the set $A$ is $t$-weak sequenceable. The main result here presented is that any subset $A$ of $\mathbb{Z}_p\setminus \{0\}$ is $t$-weak sequenceable whenever $t<7$ or when $A$ does not contain pairs of type $\{x,-x\}$ and $t<8$.

In card-based cryptography, a deck of physical cards is used to achieve secure computation. A shuffle, which randomly permutes a card-sequence along with some probability distribution, ensures the security of a card-based protocol. The authors proposed a new class of shuffles called graph shuffles, which randomly permutes a card-sequence by an automorphism of a directed graph (New Generation Computing 2022). For a directed graph $G$ with $n$ vertices and $m$ edges, such a shuffle could be implemented with pile-scramble shuffles with $2(n+m)$ cards. In this paper, we study graph shuffles and give an implementation, an application, and a slight generalization of them. First, we propose a new protocol for graph shuffles with $2n+m$ cards. Second, as a new application of graph shuffles, we show that any cyclic group shuffle, which is a shuffle over a cyclic group, is a graph shuffle associated with some graph. Third, we define a hypergraph shuffle, which is a shuffle by an automorphism of a hypergraph, and show that any hypergraph shuffle can also be implemented with pile-scramble shuffles.

In this paper, we characterize chordal and perfect zero-divisor graphs of finite posets. Also, it is proved that the zero-divisor graphs of finite posets and the complement of zero-divisor graphs of finite $0$-distributive posets satisfy the Total Coloring Conjecture. These results are applied to the zero-divisor graphs of finite reduced rings, the comaximal ideal graph of rings, the annihilating ideal graphs, the intersection graphs of ideals of rings, and the intersection graphs of subgroups of cyclic groups. In fact, it is proved that these graphs associated with a commutative ring $R$ with identity can be effectively studied via the zero-divisor graph of a specially constructed poset from $R$.