De Bruijn Digraphs and Affine Transformations.
AP Deng,YK Wu
DOI: https://doi.org/10.1016/j.ejc.2004.06.018
IF: 0.89
2004-01-01
European Journal of Combinatorics
Abstract:Let Z(d)(n) be the additive group of 1 x n row vectors over Z(d). For an n x n matrix T over Z(d) and omega epsilon Z(d)(n), the affine transformation F-T,F-omega of Z(d)(n) sends x to xT + omega. Let < x > be the cyclic group generated by a vector x epsilon Z(d)(n). The affine transformation coset pseudo-digraph TCP(Z(d)(n), x, F-T,omega) has the set of cosets of < x > in Z(d)(n) as vertices and there are c arcs from x = < x > to y + < x > if and only if the number of z epsilon x + < x > such that F-T,F-omega(z) epsilon y + < x > is c. We prove that the following statements are equivalent: (a) TCP(Z(d)(n),x, F-T,F-omega) is isomorphic to the d-dary (n-1)-dimensional De Bruijn digraph; (b) x is a cyclic vector for T; (c) TCP(Z(d)(n), x, F-T,F-omega) is primitive. This strengthens a result conjectured by C.M. Fiduccia and E.M. Jacobson [Universa; multistage networks via linear permutations, in: Proceedings of the 1991 ACM/IEEE Conference on Supercomputing, ACM Press, New York, 1991, pp.380-389]. Under the further assumption that T is invertible we show that each component of TCP(Z(d)(n),x,F-T,F-omega) is a conjunction of a cycle and a De Bruijn digraph, namely a generalized wrapped butterfly. Finally we discuss the affine TCP digraph representations for a class of digraphs introduced by D. Coudert, A. Ferreira and S. Perennes.