arXiv++ Combinatorics

Let $γ$ be a generator of a cyclic group $G$ of order $n$. The least index of a self-mapping $f$ of $G$ is the index of the largest subgroup $U$ of $G$ such that $f(x)x^{-r}$ is constant on each coset of $U$ for some positive integer~$r$. We determine the index of the univariate Diffie-Hellman mapping $d(γ^a)=γ^{a^2}$, $a=0,1,\ldots,n-1$, and show that any mapping of small index coincides with~$d$ only on a small subset of $G$. Moreover, we prove similar results for the bivariate Diffie-Hellman mapping $D(γ^a,γ^b)=γ^{ab}$, $a,b=0,1,\ldots,n-1$. In the special case that $G$ is a subgroup of the multiplicative group of a finite field we present improvements.

Orbit harmonics is a tool in combinatorial representation theory which promotes the (ungraded) action of a linear group $G$ on a finite set $X$ to a graded action of $G$ on a polynomial ring quotient by viewing $X$ as a $G$-stable point locus in $\mathbb{C}^n$. The cyclic sieving phenomenon is a notion in enumerative combinatorics which encapsulates the fixed-point structure of the action of a finite cyclic group $C$ on a finite set $X$ in terms of root-of-unity evaluations of an auxiliary polynomial $X(q)$. We apply orbit harmonics to prove cyclic sieving results.

The Grassmannian admits an action by a finite cyclic group via the cyclic shift map. We give a simple description of the points fixed by each element of this cyclic group, extending Karp's description of the points fixed by the cyclic shift itself. We give a cell decomposition of the set of totally nonnegative points in each cyclic symmetry locus and describe efficient total positivity tests, extending results of Postnikov to the cyclically symmetric setting. We describe a conjectural generalized cluster structure on cyclic symmetry loci provided the order of the orbifold point is sufficiently large. The generalized exchange relations we find should be a Higher Teichmüller analogue of the relations Chekhov and Shapiro used to study Teichmüller theory of orbifolds.

Given a coloring of group elements, a rainbow solution to an equation is a solution whose every element is assigned a different color. The rainbow number of $\mathbb{Z}_n$ for an equation $eq$, denoted $rb(\mathbb{Z}_n,eq)$, is the smallest number of colors $r$ such that every exact $r$-coloring of $\mathbb{Z}_n$ admits a rainbow solution to the equation $eq$. We prove that for every exact $4$-coloring of $\mathbb{Z}_p$, where $p\geq 3$ is prime, there exists a rainbow solution to the Sidon equation $x_1+x_2=x_3+x_4$. Furthermore, we determine the rainbow number of $\mathbb{Z}_n$ for the Sidon equation.

We give a comprehensive description of the sets $A$ in finite cyclic groups such that $|2A|<\frac94|A|$; namely, we show that any set with this property is densely contained in a (one-dimensional) coset progression. This improves earlier results of Deshouillers-Freiman and Balasubramanian-Pandey.

Let $X,Y$ be finite sets, $r,s,h, λ\in \mathbb{N}$ with $s\geq r, X\subsetneq Y$. By $λ\binom{X}{h}$ we mean the collection of all $h$-subsets of $X$ where each subset occurs $λ$ times. A coloring of $λ\binom{X}{h}$ is {\it $r$-regular} if in every color class each element of $X$ occurs $r$ times. A one-regular color class is a {\it perfect matching}. We are interested in the necessary and sufficient conditions under which an $r$-regular coloring of $λ\binom{X}{h}$ can be embedded into an $s$-regular coloring of $λ\binom{Y}{h}$. Using algebraic techniques involving glueing together orbits of a suitably chosen cyclic group, the first author and Newman (Combinatorica 38 (2018), no. 6, 1309--1335) solved the case when $λ=1,r=s, \gcd (|X|,|Y|,h)=\gcd(|Y|,h)$. Using purely combinatorial techniques, we nearly settle the case $h=4$. Two major challenges include finding all the necessary conditions, and obtaining the exact bound for $|Y|$. It is worth noting that completing partial symmetric latin squares is closely related to the case $λ=r=s=1, h=2$ which was solved by Cruse (J. Comb. Theory Ser. A 16 (1974), 18--22).

We study the generating polynomial of the flag major index with each one-dimensional character, called signed Mahonian polynomial, over the colored permutation group, the wreath product of a cyclic group with the symmetric group. Using the insertion lemma of Han and Haglund-Loehr-Remmel and a signed extension established by Eu et al., we derive the signed Mahonian polynomial over the quotients of parabolic subgroups of the colored permutation group, for a variety of systems of coset representatives in terms of subsequence restrictions. This generalizes the related work over parabolic quotients of the symmetric group due to Caselli as well as to Eu et al. As a byproduct, we derive a product formula that generalizes Biagioli's result about the signed Mahonian on the even signed permutation groups.

Let $\mathbb Z/d\mathbb Z \wr \mathfrak S_n$ denote the wreath product of the cyclic group $\mathbb Z/d\mathbb Z$ with the symmetric group $\mathfrak S_n$. We define generating functions for monomial (induced one-dimensional) characters of $\mathbb Z/d\mathbb Z \wr \mathfrak S_n$ and express these in terms of determinants and permanents. This extends work of Littlewood ({\em The Theory of Group Characters and Representations of Groups}, 1940) and Merris and Watkins ({\em Linear Algebra Appl.}, {\bf 64}, 1985) on generating functions for the monomial characters of $\mathfrak S_n$.

A labeling of the vertices of a graph by elements of any abelian group $A$ induces a labeling of the edges by summing the labels of their endpoints. Hovey defined the graph $G$ to be $A$-cordial if it has such a labeling where the vertex labels and the edge labels are both evenly-distributed over $A$ in a technical sense. His conjecture that all trees $T$ are $A$-cordial for all cyclic groups $A$ remains wide open, despite significant attention. Curiously, there has been very little study of whether Hovey's conjecture might extend beyond the class of cyclic groups. We initiate this study by analyzing the larger class of finite abelian groups $A$ such that all path graphs are $A$-cordial. We conjecture a complete characterization of such groups, and establish this conjecture for various infinite families of groups as well as for all groups of small order.

The canonical double cover $B(X)$ of a graph $X$ is the direct product of $X$ and $K_2$. If $Aut(B(X)) \cong Aut(X) \times \mathbb{Z}_2$ then $X$ is called stable; otherwise $X$ is called unstable. An unstable graph is nontrivially unstable if it is connected, non-bipartite and distinct vertices have different neighborhoods. Circulant is a Cayley graph on a cyclic group. Qin et al. conjectured in [J. Combin. Theory Ser. B 136 (2019), 154-169] that there are no nontrivialy unstable circulants of odd order. In this paper we prove this conjecture.

Let $\mathcal{S}$ be a finite cyclic semigroup written additively. An element $e$ of $\mathcal{S}$ is said to be idempotent if $e+e=e$. A sequence $T$ over $\mathcal{S}$ is called {\sl idempotent-sum free} provided that no idempotent of $\mathcal{S}$ can be represented as a sum of one or more terms from $T$. We prove that an idempotent-sum free sequence over $\mathcal{S}$ of length over approximately a half of the size of $\mathcal{S}$ is well-structured. This result generalizes the Savchev-Chen Structure Theorem for zero-sum free sequences over finite cyclic groups.

We determine two new infinite families of Cayley graphs that admit colour-preserving automorphisms that do not come from the group action. By definition, this means that these Cayley graphs fail to have the CCA (Cayley Colour Automorphism) property, and the corresponding infinite families of groups also fail to have the CCA property. The families of groups consist of the direct product of any dihedral group of order $2n$ where $n \ge 3$ is odd, with either itself, or the cyclic group of order $n$. In particular, this family of examples includes the smallest non-CCA group that had not fit into any previous family of known non-CCA groups.

We say that a finite group G is "DRR-detecting" if, for every subset S of G, either the Cayley digraph Cay(G,S) is a digraphical regular representation (that is, its automorphism group acts regularly on its vertex set) or there is a nontrivial group automorphism phi of G such that phi(S) = S. We show that every nilpotent DRR-detecting group is a p-group, but that the wreath product of two cyclic groups of order p is not DRR-detecting, for every odd prime p. We also show that if G and H are nontrivial groups that admit a digraphical regular representation and either gcd(|G|,|H|) = 1, or H is not DRR-detecting, then the direct product G x H is not DRR-detecting. Some of these results also have analogues for graphical regular representations.

In this paper, we continue the enumeration of Schur rings over cyclic groups. Cyclic groups of semiprime order $pq$, where $p$ and $q$ are distinct primes, are considered. Additionally, cyclic groups of order $4p$ are considered.

In this thesis we present several results in coding theory, concerning error-correcting codes and the Shannon capacity. 1. We give a general symmetry reduction of matrices occuring in semidefinite programs in coding theory. 2. We apply the symmetry reduction to efficiently compute semidefinite programming upper bounds for nonbinary error-correcting codes equipped with the Hamming distance (joint work with Bart Litjens and Lex Schrijver), with the Lee distance and for binary constant weight codes. 3. We explore other methods to find new upper bounds for nonbinary codes with the Hamming distance, based on combinatorial divisibility arguments. 4. We study uniqueness and classification of codes, using the output of the semidefinite programming solver. Most of our classification results are related to subcodes of the binary Golay code. This is joint work with Andries Brouwer. 5. We consider the Shannon capacity of circular graphs. The circular graph $C_{d,q}$ is the graph with vertex set $\mathbb{Z}_q$ (the cyclic group of order q) in which two distinct vertices are adjacent if and only if their distance (mod $q$) is strictly less than $d$. The Shannon capacity of $C_{d,q}$ can be seen to only depend on the fraction q/d. We prove that the function which assigns to each rational number $q/d$ the Shannon capacity of $C_{d,q}$ is continuous at integer points $q/d$. Moreover, we give a new lower bound on the Shannon capacity of the $7$-cycle. This is joint work with Lex Schrijver. This thesis was written at the University of Amsterdam under supervision of Lex Schrijver.

In this paper, we derive some formulae involving coefficients of polynomials which occur quite naturally in the study of restricted partitions. Our method involves a recently discovered sieve technique by Li and Wan (Sci. China. Math. 2010). Based on this method, by considering cyclic groups of different orders we obtain some new results for these coefficients. The general result holds for any group of the form $\mathbb{Z}_{N}$ where $N\in\mathbb{N}$ and expresses certain partial sums of coefficients in terms of expressions involving roots of unity. By specializing $N$ to different values, we see that these expressions simplify in some cases and we obtain several nice identities involving these coefficients. We also use a result of Sudler (QJMAAT 1964) to obtain an asymptotic formula for the maximum absolute value of these coefficients.

In this paper, we first study biplanes $\mathcal{D}$ with parameters $(v,k,2)$, where the block size $k\in\{13,16\}$. These are the smallest parameter values for which a classification is not available. We show that if $k=13$, then either $\mathcal{D}$ is the Aschbacher biplane or its dual, or $Aut(\mathcal{D})$ is a subgroup of the cyclic group of order $3$. In the case where $k=16$, we prove that $|Aut(\mathcal{D})|$ divides $2^{7}\cdot 3^{2}\cdot 5\cdot 7\cdot 11\cdot 13$. We also provide an example of a biplane with parameters $(16,6,2)$ with a flag-transitive and point-primitive subgroup of automorphisms preserving a homogeneous cartesian decomposition. This motivated us to study biplanes with point-primitive automorphism groups preserving a cartesian decomposition. We prove that such an automorphism group is either of affine type (as in the example), or twisted wreath type.

In 2010, B. Rhoades proved that promotion together with the fake-degree polynomial associated with rectangular standard Young tableaux give an instance of the cyclic sieving phenomenon. We extend this result to all skew standard Young tableaux where the fake-degree polynomial evaluates to nonnegative integers at roots of unity, albeit without being able to specify an explicit group action. Put differently, we determine in which cases a skew character of the symmetric group carries a permutation representation of the cyclic group. We use a method proposed by N. Amini and the first author, which amounts to establishing a bound on the number of border-strip tableaux of skew shape. Finally, we apply our results to the invariant theory of tensor powers of the adjoint representation of the general linear group. In particular, we prove the existence of a bijection between permutations and J. Stembridge's alternating tableaux, which intertwines rotation and promotion.

Let $G$ be a finite cyclic group, written additively, and let $A,\ B$ be nonempty subsets of $G$. We will say that $G= A+B$ is a \textit{factorization} if for each $g$ in $G$ there are unique elements $a,\ b$ of $G$ such that $g=a+b, \ a\in A, b\in B$. In particular, if $A$ is a complete set of residues $modulo$ $|A|$, then we call the factorization a \textit{coset factorization} of $G$. In this paper, we mainly study a factorization $G= A+B$, where $G$ is a finite cyclic group and $A=[0,n-k-1]\cup\{i_0,i_1,\ldots i_{k-1}\}$ with $|A|=n$ and $n\geq 2k+1$. We obtain the following conclusion: If $(i)$ $k\leq 2$ or $(ii)$ The number of distinct prime divisors of $gcd(|A|,|B|)$ is at most $1$ or $(iii)$ $gcd(|A|,|B|)=pq$ with $gcd(pq,\frac{|B|}{gcd(|A|,|B|)})=1$, then $A$ is a complete set of residues $modulo$ $n$.

Let $G$ be a finite group. We will say that $M$ and $S$ form a \textsl{complete splitting} (\textsl{splitting}) of $G$ if every element (nonzero element) $g$ of $G$ has a unique representation of the form $g=ms$ with $m\in M$ and $s\in S$, and $0$ has a such representation (while $0$ has no such representation). In this paper, we determine the structures of complete splittings of finite abelian groups. In particular, for complete splittings of cyclic groups our description is more specific. Furthermore, we show some results for existence and nonexistence of complete splittings of cyclic groups and find a relationship between complete splittings and splittings for finite groups.