[論文レビュー] The rank of a divisor on a finite graph: geometry and computation

Madhusudan Manjunath|arXiv (Cornell University)|Nov 30, 2011

Limits and Structures in Graph Theory参考文献 11被引用数 3

ひとこと要約

本稿では、固定された頂点数をもつ有限グラフ上の因子のランクを計算する多項式時間アルゴリズムを提示する。幾何的洞察を数の幾何学から得るとともに、臨界自己同型群と呼ばれる新しいグラフ不変量を活用している。主な貢献は、時間計算量 $O(2^{n\bar{\log} n})\text{poly}(\text{size}(G))$ のアルゴリズムであり、$n+1$ が頂点数である。また、非負ランクをテストする問題が $NP \cap co-NP$ に属することの新しい証明を提示し、構造的不変量として臨界自己同型群を導入した。

ABSTRACT

We study the problem of computing the rank of a divisor on a finite graph, a quantity that arises in the Riemann-Roch theory on a finite graph developed by Baker and Norine (Advances of Mathematics, 215(2): 766-788, 2007). Our work consists of two parts: the first part is an algorithm whose running time is polynomial for a multigraph with a fixed number of vertices. More precisely, our algorithm has running time O(2^{n \log n})poly(size(G)), where n+1 is the number of vertices of the graph G. The second part consists of a new proof of the fact that testing if rank of a divisor is non-negative or not is in the complexity class NP intersection co-NP and motivated by this proof and its generalisations, we construct a new graph invariant that we call the critical automorphism group of the graph.

研究の動機と目的

• 固定された頂点数をもつ有限多重グラフ上の因子ランクを計算する多項式時間アルゴリズムの開発。
• 格子幾何学と多面体構造を用いた因子ランクの幾何的解釈の提供。
• 因子ランクが非負であるかどうかをテストする問題が、双対性定理を用いて $NP \cap co-NP$ に属することの確立。
• 双対性と因子配置の対称性に基づく、新しいグラフ不変量である臨界自己同型群の導入と特徴付け。
• 特に完全グラフにおける臨界自己同型群の構造的性質の探索と、構成的特徴付けの提供。

提案手法

• アルゴリズムは、リーマン・ロッホの定理とベイカーおよびノーリンの研究におけるランク公式を基礎的な道具として用いる。
• 数の幾何学の技術、特に格子点の列挙と超平面への射影を応用する。
• ラプラシアン多面体の極値点を、超平面 $H_0 = \{(1,\dots,1)^\perp\}$ に直交射影することで、臨界配置を同定する。
• 重要な要素として、非負ランクをもつ因子を特徴付ける双対性定理を用い、$NP \cap co-NP$ 証明を可能にする。
• 臨界自己同型群は、距離関数 $d_S$ に関して臨界配置の集合を保存する自己同型の群として構成される。
• 完全グラフでは、置換の対称性と格子基底変換を用い、整数シフトと置換を含む一般形の臨界自己同型を導出する。

実験結果

リサーチクエスチョン

• RQ1 頂点数が固定された有限グラフ上の因子ランクは、多項式時間で計算可能か？
• RQ2 因子ランクの背後にある幾何的構造は何か。そして、それがアルゴリズム的にどのように利用可能か？
• RQ3 因子ランク $r(D) \geq 0$ をテストする問題は $NP \cap co-NP$ に属するか。その複雑性クラスの属する背後にある構造的双対性は何か？
• RQ4 因子配置の双対構造から導かれる新しい不変量は何か。それらはグラフの対称性とどのように関係するか？
• RQ5 特に対称的グラフ（完全グラフなど）において、臨界自己同型群を完全に特徴付けられるか？

主な発見

• 本稿では、$n+1$ 個の頂点をもつ多重グラフ上の因子ランクを計算するアルゴリズムを提示する。時間計算量は $O(2^{n\log n})\text{poly}(\text{size}(G))$ であり、$n$ が固定されているとき多項式時間である。
• ランク計算は、ラプラシアン多面体の極値点を超平面 $H_0$ に射影することで、因子配置の幾何的解釈に基づく。
• 非負ランクをもつ因子を特徴付ける双対性定理を証明し、決定問題が $NP \cap co-NP$ に属することを確立した。
• グラフの臨界自己同型群は、臨界配置の集合を保存する自己同型の群として導入され、臨界多面体の自己同型群と同型であることが示された。
• 完全グラフ $K_{n+1}$ において、臨界自己同型群はすべての頂点の置換と、$H$ が高さ $n$ を割り切るときの整数シフト $H \cdot q_i$ を含むより一般の写像を含む。
• 本稿では、$K_{n+1}$ における一般形の臨界自己同型を構成した：$b_i$ を $b_{\pi(i)} + H \cdot q_i$ に写す写像で、$q_i$ は以前の基底ベクトルの張る空間に属し、$H$ は $n$ を割り切る。