Accepted author manuscript, 345 KB, PDF document
Available under license: CC BY: Creative Commons Attribution 4.0 International License
Final published version
Licence: CC BY: Creative Commons Attribution 4.0 International License
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Research output: Contribution to Journal/Magazine › Journal article › peer-review
}
TY - JOUR
T1 - Sufficient Conditions for the Global Rigidity of Periodic Graphs
AU - Kaszanitzky, Viktoria
AU - Kiraly, Csaba
AU - Schulze, Bernd
PY - 2022/1/31
Y1 - 2022/1/31
N2 - AbstractTanigawa (2016) showed that vertex-redundant rigidity of a graph implies its global rigidity in arbitrary dimension. We extend this result to periodic frameworks under fixed lattice representations. That is, we show that if a generic periodic framework is vertex-redundantly rigid, in the sense that the deletion of a single vertex orbit under the periodicity results in a periodically rigid framework, then it is also periodically globally rigid. Our proof is similar to the one of Tanigawa, but there are some added difficulties. First, it is not known whether periodic global rigidity is a generic property in dimension $$d>2$$ d > 2 . We work around this issue by using slight modifications of recent results of Kaszanitzky et al. (2021). Secondly, while the rigidity of finite frameworks in $${\mathbb {R}}^d$$ R d on at most d vertices obviously implies their global rigidity, it is non-trivial to prove a similar result for periodic frameworks. This is accomplished by extending a result of Bezdek and Connelly (2002) on the existence of a continuous motion between two equivalent d-dimensional realisations of a single graph in $${\mathbb {R}}^{2d}$$ R 2 d to periodic frameworks. As an application of our result, we give a necessary and sufficient condition for the global rigidity of generic periodic body-bar frameworks in arbitrary dimension. This provides a periodic counterpart to a result of Connelly et al. (2013) regarding the global rigidity of generic finite body-bar frameworks.
AB - AbstractTanigawa (2016) showed that vertex-redundant rigidity of a graph implies its global rigidity in arbitrary dimension. We extend this result to periodic frameworks under fixed lattice representations. That is, we show that if a generic periodic framework is vertex-redundantly rigid, in the sense that the deletion of a single vertex orbit under the periodicity results in a periodically rigid framework, then it is also periodically globally rigid. Our proof is similar to the one of Tanigawa, but there are some added difficulties. First, it is not known whether periodic global rigidity is a generic property in dimension $$d>2$$ d > 2 . We work around this issue by using slight modifications of recent results of Kaszanitzky et al. (2021). Secondly, while the rigidity of finite frameworks in $${\mathbb {R}}^d$$ R d on at most d vertices obviously implies their global rigidity, it is non-trivial to prove a similar result for periodic frameworks. This is accomplished by extending a result of Bezdek and Connelly (2002) on the existence of a continuous motion between two equivalent d-dimensional realisations of a single graph in $${\mathbb {R}}^{2d}$$ R 2 d to periodic frameworks. As an application of our result, we give a necessary and sufficient condition for the global rigidity of generic periodic body-bar frameworks in arbitrary dimension. This provides a periodic counterpart to a result of Connelly et al. (2013) regarding the global rigidity of generic finite body-bar frameworks.
KW - Rigidity
KW - Global rigidity
KW - Body-bar framework
KW - Periodic framework
U2 - 10.1007/s00454-021-00346-9
DO - 10.1007/s00454-021-00346-9
M3 - Journal article
VL - 67
SP - 1
EP - 16
JO - Discrete and Computational Geometry
JF - Discrete and Computational Geometry
SN - 0179-5376
ER -