arXiv++ Combinatorics

The power graph $\mathcal{P}(G)$ of a finite group $G$ is the simple undirected graph whose vertex set is $G$, in which two distinct vertices are adjacent if one of them is an integral 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 degree $δ(\mathcal{P}(C_n))$ of $\mathcal{P}(C_n)$ is known for $r\in\{1,2\}$, see [18]. For $r\geq 3$, under certain conditions involving the prime divisors of $n$, we identify at most $r-1$ vertices such that $δ(\mathcal{P}(C_n))$ is equal to the degree of at least one of these vertices. If $r=3$ or if $n$ is a product of distinct primes, we are able to identify two such vertices without any condition on the prime divisors of $n$.

We provide a new combinatorial approach to studying the collection of N-infinity-operads in G-equivariant homotopy theory for G a finite cyclic group. In particular, we show that for G the cyclic group of order p^n the natural order on the collection of N-infinity-operads stands in bijection with the poset structure of the (n+1)-associahedron. We further provide a lower bound for the number of possible N-infinity-operads for any finite cyclic group G.

The power graph $\mathcal{P}(G)$ of a given finite group $G$ is the simple undirected graph whose vertices are the elements of $G$, in which two distinct vertices are adjacent if and only if one of them can be obtained as an integral power of the other. The vertex connectivity $κ(\mathcal{P}(G))$ of $\mathcal{P}(G)$ is the minimum number of vertices which need to be removed from $G$ so that the induced subgraph of $\mathcal{P}(G)$ on the remaining vertices is disconnected or has only one vertex. For a positive integer $n$, let $C_n$ be the cyclic group of order $n$. Suppose that the prime power decomposition of $n$ is given by $n =p_1^{n_1}p_2^{n_2}\cdots p_r^{n_r}$, where $r\geq 1$, $n_1,n_2,\ldots, n_r$ are positive integers and $p_1,p_2,\ldots,p_r$ are prime numbers with $p_1<p_2<\cdots <p_r$. The vertex connectivity $κ(\mathcal{P}(C_n))$ of $\mathcal{P}(C_n)$ is known for $r\leq 3$, see \cite{panda, cps}. In this paper, for $r\geq 4$, we give a new upper bound for $κ(\mathcal{P}(C_n))$ and determine $κ(\mathcal{P}(C_n))$ when $n_r\geq 2$. We also determine $κ(\mathcal{P}(C_n))$ when $n$ is a product of distinct prime numbers.

Let $M$ be a connected orientable compact surface, $f:M\to\mathbb{R}$ be a Morse function, and $\mathcal{D}_{\mathrm{id}}(M)$ be the group of difeomorphisms of $M$ isotopic to the identity. Denote by $\mathcal{S}'(f)=\{f\circ h = f\mid h\in\mathcal{D}_{\mathrm{id}}(M)\}$ the subgroup of $\mathcal{D}_{\mathrm{id}}(M)$ consisting of difeomorphisms "preserving" $f$, i.e. the stabilizer of $f$ with respect to the right action of $\mathcal{D}_{\mathrm{id}}(M)$ on the space $\mathcal{C}^{\infty}(M,\mathbb{R})$ of smooth functions on $M$. Let also $\mathbf{G}(f)$ be the group of automorphisms of the Kronrod-Reeb graph of $f$ induced by diffeomorphisms belonging to $\mathcal{S}'(f)$. This group is an important ingredient in determining the homotopy type of the orbit of $f$ with respect to the above action of $\mathcal{D}_{\mathrm{id}}(M)$ and it is trivial if $f$ is "generic", i.e. has at most one critical point at each level set $f^{-1}(c)$, $c\in\mathbb{R}$. For the case when $M$ is distinct from $2$-sphere and $2$-torus we present a precise description of the family $\mathbf{G}(M,\mathbb{R})$ of isomorphism classes of groups $\mathbf{G}(f)$, where $f$ runs over all Morse functions on $M$, and of its subfamily $\mathbf{G}^{smp}(M,\mathbb{R}) \subset \mathbf{G}(M,\mathbb{R})$ consisting of groups corresponding to simple Morse functions, i.e. functions having at most one critical point at each connected component of each level set. In fact, $\mathbf{G}(M,\mathbb{R})$, (resp. $\mathbf{G}^{smp}(M,\mathbb{R})$), coincides with the minimal family of isomorphism classes of groups containing the trivial group and closed with respect to direct products and also with respect to wreath products "from the top" with arbitrary finite cyclic groups, (resp. with group $\mathbb{Z}_2$ only).

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.

Reiner-Stanton-White defined the cyclic sieving phenomenon (CSP) associated to a finite cyclic group action and a polynomial. A key example arises from the length generating function for minimal length coset representatives of a parabolic quotient of a finite Coxeter group. In type A, this result can be phrased in terms of the natural cyclic action on words of fixed content. There is a natural notion of refinement for many CSP's. We formulate and prove a refinement, with respect to the major index statistic, of this CSP on words of fixed content by also fixing the cyclic descent type. The argument presented is completely different from Reiner-Stanton-White's representation-theoretic approach. It is combinatorial and largely, though not entirely, bijective in a sense we make precise with a "universal" sieving statistic on words, "flex". A building block of our argument involves cyclic sieving for shifted subset sums, which also appeared in Reiner-Stanton-White. We give an alternate, largely bijective proof of a refinement of this result by extending some ideas of Wagon-Wilf.

The power graph of a group $G$ is the graph whose vertex set is $G$ and two distinct vertices are adjacent if one is a power of the other. In this paper, the minimum degree of power graphs of certain classes of cyclic groups, abelian $p$-groups, dihedral groups and dicyclic groups are obtained. It is ascertained that the edge-connectivity and minimum degree of power graphs are equal, and consequently the minimum disconnecting sets of power graphs of the aforementioned groups are determined. Then the equality of connectivity and minimum degree of power graphs of finite groups is investigated and in this connection, certain necessary conditions are produced. A necessary and sufficient condition for the equality of connectivity and minimum degree of power graphs of finite cyclic groups is obtained. Moreover, the equality is examined for the power graphs of abelian $p$-groups, dihedral groups and dicyclic groups.

The notion of formal duality in finite Abelian groups appeared recently in relation to spherical designs, tight sphere packings, and energy minimizing configurations in Euclidean spaces. For finite cyclic groups it is conjectured that there are no primitive formally dual pairs besides the trivial one and the TITO configuration. This conjecture has been verified for cyclic groups of prime power order, as well as of square-free order. In this paper, we will confirm the conjecture for other classes of cyclic groups, namely almost all cyclic groups of order a product of two prime powers, with finitely many exceptions for each pair of primes, or whose order $N$ satisfies $p\mid\!\mid N$, where $p$ a prime satisfying the so-called self-conjugacy property with respect to $N$. For the above proofs, various tools were needed: the field descent method, used chiefly for the circulant Hadamard conjecture, the techniques of Coven & Meyerowitz for sets that tile $\mathbb{Z}$ or $\mathbb{Z}_N$ by translations, dubbed herein as the polynomial method, as well as basic number theory of cyclotomic fields, especially the splitting of primes in a given cyclotomic extension.

The power graph of a group $G$ is the graph whose vertex set is $G$ and two distinct vertices are adjacent if one is a power of the other. This paper investigates the minimal separating sets of power graphs of finite groups. For power graphs of finite cyclic groups, certain minimal separating sets are obtained. Consequently, a sharp upper bound for their connectivity is supplied. Further, the components of proper power graphs of $p$-groups are studied. In particular, the number of components of that of abelian $p$-groups are determined.

Let $n=p_1^{n_1}p_2^{n_2}\ldots p_r^{n_r}$, where $r,n_1,\ldots, n_r$ are positive integers and $p_1,p_2,\ldots,p_r$ are distinct prime numbers with $p_1<p_2<\cdots <p_r$. For the cyclic group $C_n$ of order $n$, let $\mathcal{P}(C_n)$ be the power graph of $C_n$ and $κ(\mathcal{P}(C_n))$ be the vertex connectivity of $\mathcal{P}(C_n)$. It is known that $κ(\mathcal{P}(C_n))=p_1^{n_1} -1$ if $r=1$. For $r\geq 2$, we determine the exact value of $κ(\mathcal{P}(C_n))$ when $2φ(p_1\ldots p_{r-1})\geq p_1\ldots p_{r-1}$, and give an upper bound for $κ(\mathcal{P}(C_n))$ when $2φ(p_1\ldots p_{r-1}) < p_1\ldots p_{r-1}$, which is sharp for many values of $n$ but equality need not hold always.

We present constructions of symmetric complete sum-free sets in general finite cyclic groups. It is shown that the relative sizes of the sets are dense in $[0,\frac{1}{3}]$, answering a question of Cameron, and that the number of those contained in the cyclic group of order $n$ is exponential in $n$. For primes $p$, we provide a full characterization of the symmetric complete sum-free subsets of $\mathbb{Z}_p$ of size at least $(\frac{1}{3}-c) \cdot p$, where $c>0$ is a universal constant.

Let $S=(a_1)\cdots(a_k)$ be a minimal zero-sum sequence over a finite cyclic group $G$. The index conjecture states that if $k=4$ and $\gcd(|G|,6)=1$, then $S$ has index $1$. In this paper we prove that if $S$ is singular then the index of $S$ is $1$.

In this article, we give an elementary combinatorial proof of a conjecture about the determination of automorphism group of the power graph of finite cyclic groups, proposed by Doostabadi, Erfanian and Jafarzadeh in 2013.

Let $S=(a_1)\cdots(a_k)$ be a minimal zero-sum sequence over a finite cyclic group $G$. The index conjecture states that if $k=4$ and $\gcd(|G|,6)=1$, then $S$ has index 1. In this note we study the index conjecture and connect it to a Dedekind-type sum. In particular we reprove a special case of the conjecture when $|G|$ is prime.

We study the notion of formal-duality over finite cyclic groups of prime power order as introduced by Cohn, Kumar, Reiher and Schürmann. We will prove that for any cyclic group of odd prime power order, as well as for any cyclic group of order $2^{2l+1}$, there is no primitive pair of formally-dual subsets. This partially proves a conjecture, made by the priorly mentioned authors, that the only cyclic groups with a pair of primitive formally-dual subsets are $\{0\}$ and $\mathbb{Z}/4\mathbb{Z}$.

Let $\mathbb G = (G, +)$ be a group (either abelian or not). Given $X, Y \subseteq G$, we denote by $\langle Y \rangle$ the subsemigroup of $\mathbb G$ generated by $Y$, and we set $$γ(Y) := \sup_{y_0 \in Y} \inf_{y_0 \ne y \in Y} {\rm ord}(y - y_0)$$ if $|Y| \ge 2$ and $γ(Y) := |Y|$ otherwise. We prove that if $\langle Y \rangle$ is commutative, $Y$ is non-empty, and $X+2Y \neq X + Y + y$ for some $y \in Y$, then $$ |X+Y| \ge |X|+\min(γ(Y), |Y| - 1). $$ Actually, this is obtained from a more general result, which improves on previous work of the author on sumsets in cancellative semigroups, and yields a comprehensive generalization, and in some cases a considerable strengthening, of various additive theorems, notably including the Chowla-Pillai theorem (on sumsets in finite cyclic groups) and the specialization to abelian groups of the Hamidoune-Shatrowsky theorem.

The discrete tori are graph analogues of the real tori, which are defined by the Cayley graphs of a finite product of finite cyclic groups. In this paper, using the theory of the heat kernel on the discrete tori established by Chinta, Jorgenson and Karlsson, we derive an explicit prime geodesic theorem for the discrete tori, which is not an asymptotic formula. To describe the formula, we need generalizations of the classical Jacobi polynomials, which are defined by the Lauricella multivariable hypergeometric function of type C.

In this paper it is shown that every finite cyclic group satisfies the CI-property for the class of balanced configurations.

A permutation πof an abelian group G is said to destroy arithmetic progressions (APs) if, whenever (a,b,c) is a non-trivial 3-term AP in G, that is c-b=b-a and a,b,c are not all equal, then (π(a),π(b),π(c)) is not an AP. In a paper from 2004, the first author conjectured that such a permutation exists of Z/nZ, for all n except 2,3,5 and 7. Here we prove, as a special case of a more general result, that such a permutation exists for all n >= n_0, for some explcitly constructed number n_0 \approx 1.4 x 10^{14}. We also construct such a permutation of Z/pZ for all primes p > 3 such that p = 3 (mod 8).

Let $p > 155$ be a prime and let $G$ be a cyclic group of order $p$. Let $S$ be a minimal zero-sum sequence with elements over $G$, i.e., the sum of elements in $S$ is zero, but no proper nontrivial subsequence of $S$ has sum zero. We call $S$ is unsplittable, if there do not exist $g$ in $S$ and $x,y \in G$ such that $g=x+y$ and $Sg^{-1}xy$ is also a minimal zero-sum sequence. In this paper we show that if $S$ is an unsplittable minimal zero-sum sequence of length $|S|= \frac{p-1}{2}$, then $S=g^{\frac{p-11}{2}}(\frac{p+3}{2}g)^4(\frac{p-1}{2}g)$ or $g^{\frac{p-7}{2}}(\frac{p+5}{2}g)^2(\frac{p-3}{2}g)$. Furthermore, if $S$ is a minimal zero-sum sequence with $|S| \ge \frac{p-1}{2}$, then $\ind(S) \leq 2$.