Baburin Igor A
Theoretische Chemie, Technische Universität Dresden, Bergstraße 66c, Dresden, 01062, Germany.
Acta Crystallogr A Found Adv. 2020 Sep 1;76(Pt 5):584-588. doi: 10.1107/S2053273320007159. Epub 2020 Jul 16.
The generating sets of {\bb Z}^4 have been enumerated which consist of integral four-dimensional vectors with components -1, 0, 1 and allow Cayley graphs without edge intersections in a straight-edge embedding in a four-dimensional Euclidean space. Owing to computational restrictions the valency of enumerated graphs has been fixed to 10. Up to isomorphism 58 graphs have been found and characterized by coordination sequences, shortest cycles and automorphism groups. To compute automorphism groups, a novel strategy is introduced that is based on determining vertex stabilizers from the automorphism group of a sufficiently large finite ball cut out from an infinite graph. Six exceptional, rather `dense' graphs have been identified which are locally isomorphic to a five-dimensional cubic lattice within a ball of radius 10. They could be built by either interconnecting interpenetrated three- or four-dimensional cubic lattices and therefore necessarily contain Hopf links between quadrangular cycles. As a consequence, a local combinatorial isomorphism does not extend to a local isotopy.
已经列举出了(\mathbb{Z}^4)的生成集,其由分量为 -1、0、1 的整数四维向量组成,并且允许在四维欧几里得空间的直边嵌入中没有边交叉的凯莱图。由于计算限制,所列举图的价被固定为 10。在同构意义下,已经找到了 58 个图,并通过配位序列、最短圈和自同构群对其进行了刻画。为了计算自同构群,引入了一种新策略,该策略基于从从无限图中切出的足够大的有限球的自同构群确定顶点稳定子。已经识别出六个特殊的、相当“密集”的图,它们在半径为 10 的球内局部同构于五维立方晶格。它们可以通过互连互穿的三维或四维立方晶格来构建,因此必然在四边形圈之间包含霍普夫链。结果,局部组合同构不会扩展为局部同痕。