[論文レビュー] Laman Graphs are Generically Bearing Rigid in Arbitrary Dimensions

Shiyu Zhao, Zhiyong Sun+3 more|arXiv (Cornell University)|Mar 11, 2017

Structural Analysis and Optimization参考文献 8被引用数 4

ひとこと要約

本稿では、ヘネベルク法により構築されたラーマングラフが、任意の次元において一般にベアリング剛性を示すことを証明している。これは、ノードの配置がほとんどすべての場合にベアリング剛性を保証することを意味する。主な貢献は、任意の次元において一般にベアリング剛性を達成するのに十分なエッジ数が 2n−3 であることを確立したことである。これは、距離剛性に関するラーマンの定理をベアリング剛性へと拡張したものである。

ABSTRACT

This paper addresses the problem of constructing bearing rigid networks in arbitrary dimensions. We first show that the bearing rigidity of a network is a generic property that is critically determined by the underlying graph of the network. A new notion termed generic bearing rigidity is defined for graphs. If the underlying graph of a network is generically bearing rigid, then the network is bearing rigid for almost all configurations; otherwise, the network is not bearing rigid for any configuration. As a result, the key to construct bearing rigid networks is to construct generically bearing rigid graphs. The main contribution of this paper is to prove that Laman graphs, which can be generated by the Henneberg construction, are generically bearing rigid in arbitrary dimensions. As a consequence, if the underlying graph of a network is Laman, the network is bearing rigid for almost all configurations in arbitrary dimensions.

研究の動機と目的

• ベアリング剛性が本質的にグラフ構造に依存すること、ノードの配置に依存しないことを確立すること。
• グラフの一般にベアリング剛性の概念を定義・分析し、特定の配置に依存する剛性とは区別すること。
• ヘネベルク法により構築されたラーマングラフが、任意の次元において一般にベアリング剛性を示すことを証明すること。これは、古典的なラーマンの定理を距離剛性からベアリング剛性へと拡張するものである。
• 一般にベアリング剛性を保証するための最小エッジ数を特定し、異なる次元における必要性と十分性を検討すること。

提案手法

• 一般にベアリング剛性を、ℝ^d におけるほとんどすべての配置でベアリング剛性を示すグラフの性質として定義する。
• ベアリングラプラシアン行列とそのランク条件（ランク = dn−d−1）を用いて、無限小のベアリング剛性を特徴付ける。
• 無限小のベアリング剛性が次元の拡張に対して不変であることに着目し、ラーマングラフが高次元でも一般に剛性を保つことを証明する。
• ヘネベルク構成法を用いてラーマングラフを生成し、エッジの追加が一般にベアリング剛性を保つことを示す。
• エッジ追加の不変性を用いて、あるグラフがラーマンの部分グラフを含むならば、一般にベアリング剛性を示すことを証明する。
• 反例を用いて、ラーマングラフが一般にベアリング剛性を満たすには十分であるが、必要ではないことを示す。特に高次元において顕著である。

実験結果

リサーチクエスチョン

• RQ1 ノードの具体的な配置に依存しないグラフに対して、一般にベアリング剛性の概念を定義できるか？
• RQ2 ヘネベルク法によるラーマングラフの構成は、2次元に限らず任意の次元において一般にベアリング剛性を満たすか？
• RQ3 高次元ネットワークにおいて一般にベアリング剛性を保証するための最小エッジ数は何か？
• RQ4 2次元ネットワークにおいて、ラーマングラフは一般にベアリング剛性を満たすために必要かつ十分か？
• RQ5 ベアリングが提供する独立制約の数は次元とともにどのように変化するか？そして、これはネットワークの剛性にどのように影響するか？

主な発見

• ラーマングラフは、任意の次元 d ≥ 2 において一般にベアリング剛性を示す。これは、ほとんどすべてのノード配置に対してベアリング剛性を保証することを意味する。
• ラーマングラフを基盤とするネットワークは、環境次元にかかわらず、たった 2n−3 のエッジでベアリング剛性を達成する。
• ヘネベルク法によるラーマングラフの構成は、任意の次元において一般にベアリング剛性を保証する。これは、ラーマンの定理を距離剛性からベアリング剛性へと拡張するものである。
• 2次元では、ラーマングラフは一般にベアリング剛性を満たすために必要かつ十分であるが、高次元では成り立たない。
• 2n−3 エッジ未満のグラフでさえ、高次元では一般にベアリング剛性を示すことがある。これは、ラーマングラフが十分ではあるが、必要ではないことを示している。
• ベアリングが提供する独立制約の数は次元とともに増加する：ℝ^d における1つのベアリングは d−1 個の独立制約を提供する。これは、ℝ^3 における4つのベアリング（8つの制約）が剛性を達成できるのに対し、ℝ^2 における4つのベアリング（4つの制約）では達成できないことを説明する。