[論文レビュー] Universal Rigidity of Complete Bipartite Graphs

Robert Connelly, Steven J. Gortler|arXiv (Cornell University)|Feb 8, 2015

Structural Analysis and Optimization参考文献 11被引用数 6

ひとこと要約

本稿は、完全二部グラフ $K(n,m)$ における普遍剛性の完全な特徴付けを、単純な必要条件の導入により行う。その条件とは、二つの部集合が二次曲面によって厳密に分離可能であるならば、フレームワークは普遍剛性を有しないことである。著者らは、一般位置または頂点数が十分に多いという仮定の下で十分条件を確立し、逐次線形計画法に基づく多項式時間アルゴリズムを提示する。このアルゴリズムは、このような仮定がなくても普遍剛性を判定可能である。

ABSTRACT

We describe a very simple condition that is necessary for the universal rigidity of a complete bipartite framework $(K(n,m),p,q)$. This condition is also sufficient for universal rigidity under a variety of weak assumptions, such as general position. Even without any of these assumptions, in complete generality, we extend these ideas to obtain an efficient algorithm, based on a sequence of linear programs, that determines whether an input framework of a complete bipartite graph is universally rigid or not.

研究の動機と目的

• 完全二部グラフフレームワーク $K(n,m)$ における普遍剛性の必要十分条件を特定すること
• 剛性理論で一般的に用いられる「一般性」の仮定を、二次曲面一般位置のようなより明確な幾何的条件に置き換えること
• 一般性に依存しない、効率的で汎用性の高い $K(n,m)$ フレームワークにおける普遍剛性の判定アルゴリズムを開発すること
• $K(n,m)$ における普遍剛性と、量子情報理論における極値相関行列、特にツィレルソンの不等式との関係を明確にすること

提案手法

• 平衡応力 $\omega$ に関連する応力行列 $Ω$ を導入し、剛性を分析する
• $\mathbb{R}^d$ における無限遠の円錐上に辺の方向が存在しないことという条件を主要基準とする
• すべての次元において同じ辺長を持つすべての配置が合同である場合に、フレームワークを普遍剛性と定義する
• 定理1.2を適用する：応力行列が半正定値であり、ランクが $N-d-1$ に等しく、かつ辺の方向が無限遠の円錐上に存在しない場合、普遍剛性が成立する
• 既知の普遍剛性部分集合から出発し、次々に線形計画法を用いて次元剛性および普遍剛性をテストする反復的アルゴリズムを開発する
• 各ステップで三角測量とアフィン包の拡張を用い、既知の普遍剛性頂点集合を段階的に拡大する

実験結果

リサーチクエスチョン

• RQ1 完全二部グラフフレームワーク $K(n,m)$ がどのような幾何的条件下で普遍剛性を有するか。
• RQ2 既存の普遍剛性基準における一般性仮定を、より明確で検証可能な条件に置き換えられるか。
• RQ3 $K(n,m)$ フレームワークにおける普遍剛性を判定する多項式時間アルゴリズムは存在するか。ただし、一般配置を仮定しないで。
• RQ4 $K(n,m)$ における普遍剛性と、量子ベル不等式における極値相関行列との関係は何か。
• RQ5 二次曲面は、$K(n,m)$ フレームワークにおける普遍剛性の失敗とどのように関係するか。

主な発見

• $K(1,0)$ および $K(1,1)$ を除く $K(n,m)$ における普遍剛性の必要条件は、二つの頂点部集合が任意の二次曲面によって厳密に分離可能でないことである
• 頂点配置が $\mathbb{R}^d$ で一般（アフィン）位置にあり、かつ二つの部集合が二次曲面によって厳密に分離されないならば、フレームワークは普遍剛性を有する
• 頂点総数が $(d+1)(d+2)/2 + 1$ 以上であり、かつ $(d+1)(d+2)/2$ 個の頂点の部分集合が二次曲面上に存在しないならば、部集合が二次曲面によって厳密に分離されない場合、普遍剛性が成立する
• 一般位置仮定がなくてもよい、効率的で弱多項式時間のアルゴリズムが、任意の $K(n,m)$ フレームワークにおける普遍剛性を決定可能である
• アルゴリズムは高々 $n+m$ 回の反復で終了し、応力行列解析と三角測量を用いて、段階的に普遍剛性部分集合を同定する
• 結果として、ツィレルソンの極値相関行列に関する定理に直接的な関連が確立され、従来未解決のままだった量子情報理論における記述に対する幾何的証明が得られた