arXiv++ Combinatorics

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.

In this paper we consider the following conjecture, proposed by Brian Alspach, concerning partial sums in finite cyclic groups: given a subset $A$ of $\mathbb{Z}_n\setminus \{0\}$ of size $k$ such that $\sum_{z\in A} z\not= 0$, it is possible to find an ordering $(a_1,\ldots,a_k)$ of the elements of $A$ such that the partial sums $s_i=\sum_{j=1}^i a_j$, $i=1,\ldots,k$, are nonzero and pairwise distinct. This conjecture is known to be true for subsets of size $k\leq 11$ in cyclic groups of prime order. Here, we extend such result to any torsion-free abelian group and, as a consequence, we provide an asymptotic result in $\mathbb{Z}_n$. We also consider a related conjecture, originally proposed by Ronald Graham: given a subset $A$ of $\mathbb{Z}_p\setminus\{0\}$, where $p$ is a prime, there exists an ordering of the elements of $A$ such that the partial sums are all distinct. Working with the methods developed by Hicks, Ollis and Schmitt, based on the Alon's combinatorial Nullstellensatz, we prove the validity of such conjecture for subsets $A$ of size $12$.

The theory of voltage graphs has become a standard tool in the study graphs admitting a semiregular group of automorphisms. We introduce the notion of a cyclic generalised voltage graph to extend the scope of this theory to graphs admitting a cyclic group of automorphism that may not be semiregular. We use this new tool to classify all cubic graphs admitting a cyclic group of automorphisms with at most three vertex-orbits and we characterise vertextransitivity for each of these classes. In particular, we show that a cubic vertex-transitive graph admitting a cyclic group of automorphisms with at most three orbits on vertices either belongs to one of 5 infinite families or is isomorphic to the well-know Tutte-Coxeter graph.

Let $C_n$ be a cyclic group of order $n$. A sequence $S$ of length $\ell$ over $C_n$ is a sequence $S = a_1\boldsymbol\cdot a_2\boldsymbol\cdot \ldots\boldsymbol\cdot a_{\ell}$ of $\ell$ elements in $C_n$, where a repetition of elements is allowed and their order is disregarded. We say that $S$ is a zero-sum sequence if $Σ_{i=1}^{\ell} a_i = 0$ and that $S$ is a zero-sum free sequence if $S$ contains no zero-sum subsequence. Let $R$ be a random subset of $C_n$ obtained by choosing each element in $C_n$ independently with probability $p$. Let $N^R_{n-1-k}$ be the number of zero-sum free sequences of length $n-1-k$ in $R$. Also, let $N^R_{n-1-k,d}$ be the number of zero-sum free sequences of length $n-1-k$ having $d$ distinct elements in $R$. We obtain the expectation of $N^R_{n-1-k}$ and $N^R_{n-1-k,d}$ for $0\leq k\leq \big\lfloor \frac{n}{3} \big\rfloor$. We also show a concentration result on $N^R_{n-1-k}$ and $N^R_{n-1-k,d}$ when $k$ is fixed.

Let $(G, 1_G)$ be a finite group and let $S=g_1\bdot \ldots\bdot g_{\ell}$ be a nonempty sequence over $G$. We say $S$ is a tiny product-one sequence if its terms can be ordered such that their product equals $1_G$ and $\sum_{i=1}^{\ell}\frac{1}{\ord(g_i)}\le 1$. Let $\mathsf {ti}(G)$ be the smallest integer $t$ such that every sequence $S$ over $G$ with $|S|\ge t$ has a tiny product-one subsequence. The direct problem is to obtain the exact value of $\mathsf {ti}(G)$, while the inverse problem is to characterize the structure of long sequences over $G$ which have no tiny product-one subsequences. In this paper, we consider the inverse problem for cyclic groups and we also study both direct and inverse problems for dihedral groups and dicyclic groups.

We investigate the combinatorial data arising from the classification of equivariant homotopy commutativity for cyclic groups of order $G=C_{p_1 \cdots p_n}$ for $p_i$ distinct primes. In particular, we will prove a structural result which allows us to enumerate the number of $N_\infty$-operads for $C_{pqr}$, verifying a computational result.

We prove that if $H$ is a subgroup of index $n$ of any cyclic group $G$, then $G$ can be isometrically embedded in $(H^n, d_{_{Ham}}^n)$, thus generalizing previous results of Carlet (1998) for $G=\mathbb{Z}_{2^k}$ and Yildiz-Özger (2012) for $G=\mathbb{Z}_{p^k}$ with $p$ prime. Next, for any positive integer $q$ we define the $q$-adic metric $d_q$ in $\mathbb{Z}_{q^n}$ and prove that $(\mathbb{Z}_{q^n}, d_q)$ is isometric to $(\mathbb{Z}_q^n, d_{RT})$ for every $n$, where $d_{RT}$ is the Rosenbloom-Tsfasman metric. More generally, we then demonstrate that any pair of finite groups of the same cardinality are isometric to each other for some metrics that can be explicitly constructed. Finally, we consider a chain $\mathcal{C}$ of subgroups of a given group and define the chain metric $d_{\mathcal{C}}$ and chain isometries between two chains. Let $G, K$ be groups with $|G|=q^n$, $|K|=q$ and let $H<G$. Using chains, we prove that under certain conditions, $(G,d_\mathcal{C}) \simeq (K^n, d_{RT})$ and $(G,d_\mathcal{C}) \simeq (H^{[G:H]}, d_{BRT})$ where $d_{BRT}$ is the block Rosenbloom-Tsfasman metric which generalizes $d_{RT}$.

In the past few decades, quantum algorithms have become a popular research area of both mathematicians and engineers. Among them, uniform mixing provides a uniform probability distribution of quantum information over time which attracts a special attention. However, there are only a few known examples of graphs which admit uniform mixing. In this paper, a characterization of abelian Cayley graphs having uniform mixing is presented. Some concrete constructions of such graphs are provided. Specifically, for cubelike graphs, it is shown that the Cayley graph ${\rm Cay}(\mathbb{F}_2^{2k};S)$ has uniform mixing if the characteristic function of $S$ is bent. Moreover, a difference-balanced property of the eigenvalues of an integral abelian Cayley graph having uniform mixing is established. Some nonexistence results of uniform mixing on abelian Cayley graphs are presented also. Notably, for a linear abelian Cayley graph $Γ$ over $\mathbb{Z}_n^r$, it is proved that uniform mixing occurs on this graph only if $n=2,3,4$ which partially confirms a long-standing conjecture. Finally, with some restrictions on the connection set, we show that if a cyclic group $G$ whose order is divisible by an odd prime such that ${\rm Cay}(G,S)$ has uniform mixing at some time $t$ being a rational multiple of $π$, then the graph should be integral. An interesting reduction method on the circulant Cayley graphs having uniform mixing has been established. Using this method, we can answer some related open questions. For example, we can show that the only two cycles having uniform mixing are $C_3$ and $C_4$.

Let the random variable $X\, :=\, e(\mathcal{H}[B])$ count the number of edges of a hypergraph $\mathcal{H}$ induced by a random $m$ element subset $B$ of its vertex set. Focussing on the case that $\mathcal{H}$ satisfies some regularity condition we prove bounds on the probability that $X$ is far from its mean. It is possible to apply these results to discrete structures such as the set of $k$-term arithmetic progressions in the cyclic group $\mathbb{Z}_N$. Furthermore, we show that our main theorem is essentially best possible and we deduce results for the case $B\sim B_p$ is generated by including each vertex independently with probability $p$.

Let $v=2ms+t$ be a positive integer, where $t$ divides $2ms$, and let $J$ be the subgroup of order $t$ of the cyclic group $\mathbb{Z}_v$. An integer Heffter array $H_t(m,n;s,k)$ over $\mathbb{Z}_v$ relative to $J$ is an $m\times n$ partially filled array with elements in $\mathbb{Z}_v$ such that: (a) each row contains $s$ filled cells and each column contains $k$ filled cells; (b) for every $x\in \mathbb{Z}_v \setminus J$, either $x$ or $-x$ appears in the array; (c) the elements in every row and column, viewed as integers in $\pm\left\{ 1, \ldots, \left\lfloor \frac{v}{2}\right\rfloor \right\}$, sum to $0$ in $\mathbb{Z}$. In this paper we study the existence of an integer $H_t(m,n;s,k)$ when $s$ and $k$ are both even, proving the following results. Suppose that $4\leq s\leq n$ and $4\leq k \leq m$ are such that $ms=nk$. Let $t$ be a divisor of $2ms$. (a) If $s,k \equiv 0 \pmod 4$, there exists an integer $H_t(m,n;s,k)$. (b) If $s\equiv 2\pmod 4$ and $k\equiv 0 \pmod 4$, there exists an integer $H_t(m,n;s,k)$ if and only if $m$ is even. (c) If $s\equiv 0\pmod 4$ and $k\equiv 2 \pmod 4$, then there exists an integer $H_t(m,n;s,k)$ if and only if $n$ is even. (d) Suppose that $m$ and $n$ are both even. If $s,k\equiv 2 \pmod 4$, then there exists an integer $H_t(m,n;s,k)$.

We introduce Macdonald polynomials indexed by $n$-tuples of partitions and characterized by certain orthogonality and triangularity relations. We prove that they can be explicitly given as products of ordinary Macdonald polynomials depending on special alphabets. With this factorization in hand, we establish their most basic properties, such as explicit formulas for their norm-squared, evaluation and reproducing kernel. Moreover, we show that the $q,t$-Kostka coefficients associated to the multi-Macdonald polynomials are positive and correspond to $q,t$-analogs of the dimensions of the irreducible representations of $C_n \sim S_d$, the wreath product of the cyclic group $C_n$ with the symmetric group.

Half-arc-transitive graphs are a fascinating topic which connects graph theory, Riemann surfaces and group theory. Although fruitful results have been obtained over the last half a century, it is still challenging to construct half-arc-transitive graphs with prescribed vertex stabilizers. Until recently, there have been only six known connected tetravalent half-arc-transitive graphs with nonabelian vertex stabilizers, and the question whether there exists a connected tetravalent half-arc-transitive graph with nonabelian vertex stabilizer of order $2^s$ for every $s\geqslant3$ has been wide open. This question is answered in the affirmative in this paper via the construction of a connected tetravalent half-arc-transitive graph with vertex stabilizer $\mathrm{D}_8^2\times\mathrm{C}_2^m$ for each integer $m\geqslant1$, where $\mathrm{D}_8^2$ is the direct product of two copies of the dihedral group of order $8$ and $\mathrm{C}_2^m$ is the direct product of $m$ copies of the cyclic group of order $2$. The graphs constructed have surprisingly many significant properties in various contexts.