arXiv++ Combinatorics

Cyclohedra are a well-known infinite familiy of finite-dimensional polytopes that can be constructed from centrally symmetric triangulations of even-sided polygons. In this article we introduce an infinite-dimensional analogue and prove that the group of symmetries of our construction is a semidirect product of a degree 2 central extension of Thompson's infinite finitely presented simple group T with the cyclic group of order 2. These results are inspired by a similar recent analysis by the first author of the automorphism group of an infinite-dimensional associahedron.

Directed strongly regular graphs were introduced by Duval in 1998 as one of the possible generalization of classical strongly regular graphs to the directed case. Duval also provided several construction methods for directed strongly regular graphs. In this paper, an infinite family of directed strongly regular graphs is constructed, as generalized Cayley graphs of cyclic groups.

We study the dependence of solutions of equations of the form $a_0 + a_1 z^{\ell_1} + ... + a_m z^{\ell_m} = 0$, on the exponents $\ell_1, ..., \ell_m$. We apply our results to equations that appear in graph theory, the theory of 3-manifolds fibering over the circle, and the theory of free-by-cyclic groups. In particular, we provide descriptions of the spectra of the Alexander polynomial of a fibered 3-manifold, Teichmüller polynomials associated to such a manifold or to a free by cyclic group, and the family of characteristic polynomials of a fixed directed graph with varying edge lengths.

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$.

One of the toughest problems in Ramsey theory is to determine the existence of monochromatic arithmetic progressions in groups whose elements have been colored. We study the harder problem to not only determine the existence of monochromatic arithmetic progressions, but to also count them. We reformulate the enumeration in real algebraic geometry and then use state of the art computational methods in semidefinite programming and representation theory to derive sharp, or an explicit constant from sharp, lower bounds for the cyclic group of any order.

An integer-valued sequence $π=(d_1, \ldots, d_n)$ is {\em graphic} if there is a simple graph $G$ with degree sequence of $π$. We say the $π$ has a realization $G$. Let $Z_3$ be a cyclic group of order three. A graph $G$ is {\em $Z_3$-connected} if for every mapping $b:V(G)\to Z_3$ such that $\sum_{v\in V(G)}b(v)=0$, there is an orientation of $G$ and a mapping $f: E(G)\to Z_3-\{0\}$ such that for each vertex $v\in V(G)$, the sum of the values of $f$ on all the edges leaving from $v$ minus the sum of the values of $f$ on the all edges coming to $v$ is equal to $b(v)$. If an integer-valued sequence $π$ has a realization $G$ which is $Z_3$-connected, then $π$ has a {\em $Z_3$-connected realization} $G$. Let $π=(d_1, \ldots, d_n)$ be a graphic sequence with $d_1\ge \ldots \ge d_n\ge 3$. We prove in this paper that if $d_1\ge n-3$, then either $π$ has a $Z_3$-connected realization unless the sequence is $(n-3, 3^{n-1})$ or is $(k, 3^k)$ or $(k^2, 3^{k-1})$ where $k=n-1$ and $n$ is even; if $d_{n-5}\ge 4$, then either $π$ has a $Z_3$-connected realization unless the sequence is $(5^2, 3^4)$ or $(5, 3^5)$.

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.

We study phylogenetic invariants of models of evolution whose group of symmetries is the cyclic group with 3 elements. We prove that projective schemes corresponding to the ideal I of phylogenetic invariants of such a model and to its subideal I' generated by elements of degree at most 3 are the same. This is motivated by a conjecture of Sturmfels and Sullivant, which would imply that I = I'.

In [Curtin and Pourgholi, A group sum inequality and its application to power graphs, J. Algebraic Combinatorics, 2014], it is proved that among all directed power graphs of groups of a given order $ n $, the directed power graph of cyclic group of order $ n $ has the maximum number of undirected edges. In this paper, we continue their work and we determine a non-cyclic nilpotent group of an odd order $ n $ whose directed power graph has the maximum number of undirected edges among all non-cyclic nilpotent groups of order $n$. We next determine non-cyclic $p$-groups whose undirected power graphs have the maximum number of edges among all groups of the same order.

The inverse theorem for the Gowers norms, in the form proved by Green, Tao and Ziegler, applies to functions on an interval $[M]$. A recent paper of Candela and Sisask requires a stronger conclusion when applied to $N$-periodic functions; specifically, that the corresponding nilsequence should also be $N$-periodic in a strong sense. In most cases, this result is implied by work of Szegedy (and Camarena and Szegedy) on the inverse theorem. This deduction is given in Candela and Sisask's paper. Here, we give an alternative proof, which uses only the Green--Tao--Ziegler inverse theorem as a black box. The result is also marginally stronger, removing a technical condition from the statement. The proof centers around a general construction in the category of nilsequences and nilmanifolds, which is possibly of some independent interest.

In this paper, we investigate the anti-Ramsey (more precisely, anti-van der Waerden) properties of arithmetic progressions. For positive integers $n$ and $k$, the expression $aw([n],k)$ denotes the smallest number of colors with which the integers $\{1,\ldots,n\}$ can be colored and still guarantee there is a rainbow arithmetic progression of length $k$. We establish that $aw([n],3)=Θ(\log n)$ and $aw([n],k)=n^{1-o(1)}$ for $k\geq 4$. For positive integers $n$ and $k$, the expression $aw(Z_n,k)$ denotes the smallest number of colors with which elements of the cyclic group of order $n$ can be colored and still guarantee there is a rainbow arithmetic progression of length $k$. In this setting, arithmetic progressions can "wrap around," and $aw(Z_n,3)$ behaves quite differently from $aw([n],3)$, depending on the divisibility of $n$. As shown in [Jungić et al., \textit{Combin. Probab. Comput.}, 2003], $aw(Z_{2^m},3) = 3$ for any positive integer $m$. We establish that $aw(Z_n,3)$ can be computed from knowledge of $aw(Z_p,3)$ for all of the prime factors $p$ of $n$. However, for $k\geq 4$, the behavior is similar to the previous case, that is, $aw(Z_n,k)=n^{1-o(1)}$.

The power graph $\mathcal P_G$ of a finite group $G$ is the graph with the vertex set $G$, where two elements are adjacent if one is a power of the other. We first show that $\mathcal P_G$ has an transitive orientation, so it is a perfect graph and its core is a complete graph. Then we use the poset on all cyclic subgroups (under usual inclusion) to characterise the structure of $\mathcal P_G$. Finally, the closed formula for the metric dimension of $\mathcal P_G$ is established. As an application, we compute the metric dimension of the power graph of a cyclic group.

We study the dimer model for a planar bipartite graph N embedded in a disk, with boundary vertices on the boundary of the disk. Counting dimer configurations with specified boundary conditions gives a point in the totally nonnegative Grassmannian. Considering pairing probabilities for the double-dimer model gives rise to Grassmann analogues of Rhoades and Skandera's Temperley-Lieb immanants. The same problem for the (probably novel) triple-dimer model gives rise to the combinatorics of Kuperberg's webs and Grassmann analogues of Pylyavskyy's web immanants. This draws a connection between the square move of plabic graphs (or urban renewal of planar bipartite graphs), and Kuperberg's square reduction of webs. Our results also suggest that canonical-like bases might be applied to the dimer model. We furthermore show that these functions on the Grassmannian are compatible with restriction to positroid varieties. Namely, our construction gives bases for the degree two and degree three components of the homogeneous coordinate ring of a positroid variety that are compatible with the cyclic group action.

An additive cellular automaton is a linear map on the set of infinite multidimensional arrays of elements in a finite cyclic group $\mathbb{Z}/m\mathbb{Z}$. In this paper, we consider simplices appearing in the orbits generated from arithmetic arrays by additive cellular automata. We prove that they are a source of balanced simplices, that are simplices containing all the elements of $\mathbb{Z}/m\mathbb{Z}$ with the same multiplicity. For any additive cellular automaton of dimension $1$ or higher, the existence of infinitely many balanced simplices of $\mathbb{Z}/m\mathbb{Z}$ appearing in such orbits is shown, and this, for an infinite number of values $m$. The special case of the Pascal cellular automata, the cellular automata generating the Pascal simplices, that are a generalization of the Pascal triangle into arbitrary dimension, is studied in detail.

We find a new approach to computing the remainder of a polynomial modulo $x^n-1$; such a computation is called modular enumeration. Given a polynomial with coefficients from a commutative $\mathbb{Q}$-algebra, our first main result constructs the remainder simply from the coefficients of residues of the polynomial modulo $Φ_d(x)$ for each $d\mid n$. Since such residues can often be found to have nice values, this simplifies a number of modular enumeration problems; indeed in some cases, such residues are already known while the related modular enumeration problem has remained unsolved. We list six such cases which our technique makes easy to solve. Our second main result is a formula for the unique polynomial $a$ such that $a \equiv f \mod Φ_n(x)$ and $a\equiv 0 \mod x^d-1$ for each proper divisor $d$ of $n$. We find a formula for remainders of $q$-multinomial coefficients and for remainders of $q$-Catalan numbers modulo $q^n-1$, reducing each problem to a finite number of cases for any fixed $n$. In the prior case, we solve an open problem posed by Hartke and Radcliffe. In considering $q$-Catalan numbers modulo $q^n-1$, we discover a cyclic group operation on certain lattice paths which behaves predictably with regard to major index. We also make progress on a problem in modular enumeration on subset sums posed by Kitchloo and Pachter.

A subset in a group $G \leq Sym(n)$ is intersecting if for any pair of permutations $π,σ$ in the subset there is an $i \in \{1,2,\dots,n\}$ such that $π(i) = σ(i)$. If the stabilizer of a point is the largest intersecting set in a group, we say that the group has the Erdős-Ko-Rado (EKR) property. Moreover, the group has the strict EKR property if every intersecting set of maximum size in the group is either the stabilizer of a point or the coset of the stabilizer of a point. In this paper we look at several families of permutation groups and determine if the groups have either the EKR property or the strict EKR property. First, we prove that all cyclic groups have the strict EKR property. Next we show that all dihedral and Frobenius groups have the EKR property and we characterize which ones have the strict EKR property. Further, we show that if all the groups in an external direct sum or an internal direct sum have the EKR (or strict EKR) property, then the product does as well. Finally, we show that the wreath product of two groups with EKR property also has the EKR property.

A $k$-lift of an $n$-vertex base graph $G$ is a graph $H$ on $n\times k$ vertices, where each vertex $v$ of $G$ is replaced by $k$ vertices $v_1,\cdots{},v_k$ and each edge $(u,v)$ in $G$ is replaced by a matching representing a bijection $π_{uv}$ so that the edges of $H$ are of the form $(u_i,v_{π_{uv}(i)})$. Lifts have been studied as a means to efficiently construct expanders. In this work, we study lifts obtained from groups and group actions. We derive the spectrum of such lifts via the representation theory principles of the underlying group. Our main results are: (1) There is a constant $c_1$ such that for every $k\geq 2^{c_1nd}$, there does not exist an abelian $k$-lift $H$ of any $n$-vertex $d$-regular base graph with $H$ being almost Ramanujan (nontrivial eigenvalues of the adjacency matrix at most $O(\sqrt{d})$ in magnitude). This can be viewed as an analogue of the well-known no-expansion result for abelian Cayley graphs. (2) A uniform random lift in a cyclic group of order $k$ of any $n$-vertex $d$-regular base graph $G$, with the nontrivial eigenvalues of the adjacency matrix of $G$ bounded by $λ$ in magnitude, has the new nontrivial eigenvalues also bounded by $λ+O(\sqrt{d})$ in magnitude with probability $1-ke^{-Ω(n/d^2)}$. In particular, there is a constant $c_2$ such that for every $k\leq 2^{c_2n/d^2}$, there exists a lift $H$ of every Ramanujan graph in a cyclic group of order $k$ with $H$ being almost Ramanujan. We use this to design a quasi-polynomial time algorithm to construct almost Ramanujan expanders deterministically. The existence of expanding lifts in cyclic groups of order $k=2^{O(n/d^2)}$ can be viewed as a lower bound on the order $k_0$ of the largest abelian group that produces expanding lifts. Our results show that the lower bound matches the upper bound for $k_0$ (upto $d^3$ in the exponent).

Let $G$ be a finite group of order $n$, and let $C_n$ be the cyclic group of order $n$. We show that $\sum_{g \in C_n} φ(\mathrm{o}(g))\geq \sum_{g \in G} φ(\mathrm{o}(g))$, with equality if and only if $G$ is isomorphic to $C_n$. As an application, we show that among all finite groups of a given order, the cyclic group of that order has the maximum number of undirected edges in its directed power graph.

We show that among all finite groups of any given order, the cyclic group of that order has the maximum number of edges in its power graph. Contains corrections to published version.

Given a graph $G$ with $n$ vertices and an Abelian group $A$ of order $n$, an $A$-distance antimagic labelling of $G$ is a bijection from $V(G)$ to $A$ such that the vertices of $G$ have pairwise distinct weights, where the weight of a vertex is the sum (under the operation of $A$) of the labels assigned to its neighbours. An {$A$-distance magic labelling} of $G$ is a bijection from $V(G)$ to $A$ such that the weights of all vertices of $G$ are equal to the same element of $A$. In this paper we study these new labellings under a general setting with a focus on product graphs. We prove among other things several general results on group antimagic or magic labellings for Cartesian, direct and strong products of graphs. As applications we obtain several families of graphs admitting group distance antimagic or magic labellings with respect to elementary Abelian groups, cyclic groups or direct products of such groups.