Journal of Combinatorial Theory Series B ( IF 1.4 ) Pub Date : 2022-02-25 , DOI: 10.1016/j.jctb.2022.02.004 Tibor Jordán 1 , Shin-ichi Tanigawa 2
The characterization of rigid graphs in for is a major open problem in rigidity theory. The same holds for globally rigid graphs. In this paper our goal is to give necessary and/or sufficient conditions for the (global) rigidity of the square (and more generally, the power ) of a graph G in , for some values of . Our work is motivated by some results and conjectures of M. Cheung and W. Whiteley from 2008, the Molecular Theorem of N. Katoh and S. Tanigawa from 2011, which settled the case of rigidity for , and the potential applications in molecular conformation and sensor network localization.
We first consider the case when and characterize those graphs G for which is globally rigid in , for all , and then focus on the case when . We provide a new, direct proof for the 3-dimensional bar-and-joint version of the Molecular Theorem () and a necessary condition for the rigidity of in , for all . We conjecture that this condition is also sufficient.
The global rigidity of square graphs in is still an open problem. We formulate a Molecular Global Rigidity Conjecture, which proposes a combinatorial characterization of globally rigid square graphs in terms of vertex partitions and edge count conditions. We prove that the condition is necessary. For the general case we give a best possible connectivity based sufficient condition by showing that if G is 3-edge-connected then is globally rigid in , for all .
Our results imply affirmative answers to the conjectures of M. Cheung and W. Whiteley in two special cases.
中文翻译:
图的全局刚性幂
刚性图的表征为了是刚性理论中的一个主要开放问题。这同样适用于全局刚性图。在本文中,我们的目标是为正方形的(全局)刚性提供必要和/或充分条件(更一般地说,权力)中的图G, 对于某些值. 我们的工作受到 M. Cheung 和 W. Whiteley 2008 年的一些结果和猜想以及 2011 年 N. Katoh 和 S. Tanigawa 的分子定理的推动,这解决了,以及在分子构象和传感器网络定位方面的潜在应用。
我们首先考虑以下情况并刻画那些图G是全局刚性的, 对所有人,然后关注情况. 我们为分子定理 () 和刚性的必要条件在, 对所有人. 我们推测这个条件也是充分的。
方图的全局刚性仍然是一个悬而未决的问题。我们制定了一个分子全局刚性猜想,该猜想根据顶点划分和边数条件提出了全局刚性方形图的组合表征。我们证明条件是必要的。对于一般情况,我们通过证明如果G是 3-edge-connected 则给出基于最佳可能连通性的充分条件是全局刚性的, 对所有人.
我们的结果暗示了在两个特殊情况下对 M. Cheung 和 W. Whiteley 猜想的肯定回答。