arXiv++ Combinatorics

This paper explores the theory of letter transducers, Mealy automata, and bireversible automata from a combinatorial perspective analogous to the theory of Latin squares. We view the sets of transitions of letter transducers as analogs of orthogonal arrays, and discuss two other combinatorial encodings of Mealy automata analogous to orthogonal pairs of Latin squares and to $(k,n)$-nets. We characterize various classes of automata (Mealy, reversible, invertible, bireversible) in terms of these combinatorial structures. In particular, we represent the inversion and dualization of transducers as parastrophisms. Further, similarly to the notion of the isotopisms of the quasigroups associated to Latin squares, we develop the notion of isotopisms of letter transducers generalizing transducer symmetry and preserving the class of bireversible automata.

We examine combinatorial structures which generalize $(k,n)$-nets, orthogonal arrays, and mutually orthogonal Latin squares. By a reticulation we mean of a point set and two collections (types) of families of lines such that two lines of different types meet in exactly one point and each family of lines partitions the point set. The number of points incident with any line depends only upon the type of the line, and every point is incident with the same number of lines of a given type. Each choice of one line family of each type leads to an arrangement of the points into a rectangular grid. Recording the line containing a given point in the corresponding position of an array gives to a generalization of sets of mutually orthogonal Latin squares, dubbed a cooperative system. A cooperative system consists of a collection of column-Latin matrices and a collection of row-Latin matrices such that each column-Latin matrix is orthogonal to each row-Latin matrix. Recording lines which contain a given point as a tuple gives a generalization of certain orthogonal arrays, dubbed semi-orthogonal arrays. Notions of parastrophy and isotopy for cooperative systems, corresponding to permuting families of lines and lines within each family, are introduced. Constructions of small reticulations and three recursive constructions of larger reticulations are given.

Let $G$ be a group, and let $\mathcal{X}$ be a set of integers greater than one. We consider the directed $\mathcal{X}$-excluded power graph of $G$, which takes $G$ as its vertex set and has an edge from $g$ to each power of $g$ other than itself provided the power is not divisible by any element of $\mathcal{X}$. We show that when $G=H\times K$ for $H$ and $K$ with coprime orders, excluding the prime factors of $|H|$ yields a power graph with a quotient consisting of multiple copies of a quotient of the power graph (no exclusions) of $K$. For any prime $p$, we describe the groups whose directed and undirected $\{p\}$-excluded power graphs consist of disjoint (directed) cliques.

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.