Frobenius circulant graphs of valency six, Eisenstein-Jacobi networks, and hexagonal meshes

A Frobenius group is a transitive but not regular permutation group such that only the identity element can fix two points. A finite Frobenius group can be expressed as G=K@?H with K a nilpotent normal subgroup. A first-kind G-Frobenius graph is a Cayley graph on K with connection set S an H-orbit on K generating K, where H is of even order or S consists of involutions. We classify all 6-valent first-kind Frobenius circulant graphs such that the underlying kernel K is cyclic. We give optimal gossiping and routing algorithms for such a circulant and compute its forwarding indices, Wiener indices and minimum gossip time. We also prove that its broadcasting time is equal to its diameter plus two or three. We prove that all 6-valent first-kind Frobenius circulants with cyclic kernels are Eisenstein-Jacobi graphs, the latter being Cayley graphs on quotient rings of the ring of Eisenstein-Jacobi integers. We also prove that larger Eisenstein-Jacobi graphs can be constructed from smaller ones as topological covers, and a similar result holds for 6-valent first-kind Frobenius circulants. As a corollary any Eisenstein-Jacobi graph with order congruent to 1 modulo 6 and underlying Eisenstein-Jacobi integer not an associate of a real integer, is a cover of a 6-valent first-kind Frobenius circulant. A distributed real-time computing architecture known as HARTS or hexagonal mesh is a special 6-valent first-kind Frobenius circulant.

[1]  Cheryl E. Praeger,et al.  Finding Optimal Routings in Hamming Graphs , 2002, Eur. J. Comb..

[2]  Sanming Zhou,et al.  Gossiping and routing in second-kind Frobenius graphs , 2012, Eur. J. Comb..

[3]  E. T. An Introduction to the Theory of Numbers , 1946, Nature.

[4]  André Raspaud,et al.  A survey on Knödel graphs , 2004, Discret. Appl. Math..

[5]  Selim G. Akl,et al.  Spanning subgraphs with applications to communication on a subclass of the Cayley-graph-based networks , 1998, Discret. Appl. Math..

[6]  Parameswaran Ramanathan,et al.  Performance Analysis of Virtual Cut-Through Switching in HARTS: A Hexagonal Mesh Multicomputer , 1991, IEEE Trans. Computers.

[7]  Ramón Beivide,et al.  Perfect Codes for Metrics Induced by Circulant Graphs , 2007, IEEE Transactions on Information Theory.

[8]  Patrick Solé,et al.  The edge-forwarding index of orbital regular graphs , 1994, Discret. Math..

[9]  Juraj Hromkovič,et al.  Dissemination of Information in Interconnection Networks (Broadcasting & Gossiping) , 1996 .

[10]  Kang G. Shin,et al.  HARTS: a distributed real-time architecture , 1991, Computer.

[11]  Joseph A. Gallian,et al.  Hamiltonian cycles and paths in Cayley graphs and digraphs - A survey , 1996, Discret. Math..

[12]  Michael Rosen,et al.  A classical introduction to modern number theory , 1982, Graduate texts in mathematics.

[13]  Miquel Àngel Fiol Mora,et al.  The Diameter of undirected graphs associated to plane tessellations , 1985 .

[14]  Ramón Beivide,et al.  Modeling Toroidal Networks with the Gaussian Integers , 2008, IEEE Transactions on Computers.

[15]  D. Frank Hsu,et al.  Distributed Loop Computer Networks: A Survey , 1995, J. Parallel Distributed Comput..

[16]  Cheryl E. Praeger,et al.  On orbital regular graphs and frobenius graphs , 1998, Discret. Math..

[17]  Sanming Zhou,et al.  FROBENIUS CIRCULANT GRAPHS OF VALENCY FOUR , 2008, Journal of the Australian Mathematical Society.

[18]  Stéphane Pérennes,et al.  Gossiping in Cayley Graphs by Packets , 1995, Combinatorics and Computer Science.

[19]  Arnold L. Rosenberg,et al.  Group Action Graphs and Parallel Architectures , 1990, SIAM J. Comput..

[20]  Sanming Zhou,et al.  On 4-valent Frobenius circulant graphs , 2012, Discret. Math. Theor. Comput. Sci..

[21]  Stéphane Pérennes,et al.  Complete Rotations in Cayley Graphs , 2001, Eur. J. Comb..

[22]  Sanming Zhou A Class of Arc-Transitive Cayley Graphs as Models for Interconnection Networks , 2009, SIAM J. Discret. Math..

[23]  Joy Morris,et al.  Isomorphic Cayley graphs on nonisomorphic groups , 1999, J. Graph Theory.

[24]  Frank K. Hwang,et al.  A survey on multi-loop networks , 2003, Theor. Comput. Sci..

[25]  Sheldon B. Akers,et al.  A Group-Theoretic Model for Symmetric Interconnection Networks , 1989, IEEE Trans. Computers.

[26]  Marie-Claude Heydemann,et al.  Cayley graphs and interconnection networks , 1997 .

[27]  Bella Bose,et al.  The Topology of Gaussian and Eisenstein-Jacobi Interconnection Networks , 2010, IEEE Transactions on Parallel and Distributed Systems.

[28]  Marie-Claude Heydemann,et al.  On forwarding indices of networks , 1989, Discret. Appl. Math..

[29]  I. Gutman,et al.  Wiener Index of Hexagonal Systems , 2002 .

[30]  Gene Cooperman,et al.  New Methods for Using Cayley Graphs in Interconnection Networks , 1992, Discret. Appl. Math..

[31]  S. Lakshmivarahan,et al.  Symmetry in Interconnection Networks Based on Cayley Graphs of Permutation Groups: A Survey , 1993, Parallel Comput..

[32]  Cai Heng Li On isomorphisms of connected Cayley graphs , 1998, Discret. Math..

[33]  Arthur L. Liestman,et al.  Network Properties of Double and Triple Fixed Step Graphs , 1998, Int. J. Found. Comput. Sci..

[34]  Bella Bose,et al.  Efficient Communication Algorithms in Hexagonal Mesh Interconnection Networks , 2012, IEEE Transactions on Parallel and Distributed Systems.

[35]  H. Weyl Permutation Groups , 2022 .

[36]  Mariusz Meszka,et al.  CIRCULANTS AND THE CHROMATIC INDEX OF STEINER TRIPLE SYSTEMS , 2004 .

[37]  Sanming Zhou,et al.  Gossiping and routing in undirected triple‐loop networks , 2010, Networks.

[38]  Ming-Syan Chen,et al.  Addressing, Routing, and Broadcasting in Hexagonal Mesh Multiprocessors , 1990, IEEE Trans. Computers.