[論文レビュー] The Riemann-Roch theorem for graphs and the rank in complete graphs

Robert Cori, Yvan Le Borgne|arXiv (Cornell University)|Aug 24, 2013

Advanced Combinatorial Mathematics参考文献 15被引用数 10

ひとこと要約

本稿は、完全グラフ $K_n$ を焦点として、グラフのリーマン・ローチ定理の組合せ的・アルゴリズム的証明を提示する。$K_n$ 上の配置のランクを計算する線形時間アルゴリズムを導入し、パーキング関数およびダイクパスに新たなパラメータ「プリランク」を定義し、$K_n$ のソート済みパーキング配置における次数とランクの生成関数が、2つのカルリッツ $q$-アナローグのカタラン数を含む対称的有理関数であることを示す。

ABSTRACT

The paper by M. Baker and S. Norine in 2007 introduced a new parameter on configurations of graphs and gave a new result in the theory of graphs which has an algebraic geometry flavour. This result was called Riemann-Roch formula for graphs since it defines a combinatorial version of divisors and their ranks in terms of configuration on graphs. The so called chip firing game on graphs and the sandpile model in physics play a central role in this theory. In this paper we give a presentation of the theorem of Baker and Norine in purely combinatorial terms, which is more accessible and shorter than the original one. An algorithm for the determination of the rank of configurations is also given for the complete graph $K_n$. This algorithm has linear arithmetic complexity. The analysis of number of iterations in a less optimized version of this algorithm leads to an apparently new parameter which we call the prerank. This parameter and the classical area parameter provide an alternative description to some well known $q,t$-Catalan numbers. Restricted to a natural subset of configurations, the two natural statistics degree and rank in Riemann-Roch formula lead to a distribution which is described by a generating function which, up to a change of variables, is a symmetric fraction involving two copies of Carlitz q-analogue of the Catalan numbers.

研究の動機と目的

• グラフのバーカー＝ノリンのリーマン・ローチ定理を、代数的幾何学を用いずに、純粋な組合せ論的表現で簡略化すること。
• 完全グラフ $K_n$ 上の配置のランクを計算するための効率的なアルゴリズムを開発すること。
• パーキング関数およびダイクパスにおける新たな組合せ的パラメータ「プリランク」を導入し、その分析を行うこと。
• ソート済みパーキング配置における次数とランク統計の生成関数を同定すること。
• 次数とランクの共同分布に対して、カルリッツ $q$-アナローグのカタラン数を含む対称的有理関数表現を確立すること。

提案手法

• チップ・ファイアリングゲームおよびサンプイルモデルを用いて、トッピング操作と配置の同値類を定義する。
• $K_n$ における再帰的配置を特徴付けるために、燃焼アルゴリズムを適応し、それらをパーキング関数と関連付ける。
• 反復的トッピングとプリーニングを用いた線形時間算術計算量のアルゴリズムを設計し、$K_n$ 上の配置のランクを計算する。
• ランクアルゴリズムの最適化されていないバージョンにおける反復回数として「プリランク」パラメータを定義する。
• 二重に指標されたカットスケュー・シリンダーとらせん走査を用いて、配置をモデル化し、統計 $vister$ と $unvini$ を定義する。
• シリンダー配置の重ね合わせにより、グローバルな対合写像 $\Psi$ を確立し、$lw(f)$ と $rw(f)$ が $vister$ と $unvini$ にどのように関連するかを示す。

実験結果

リサーチクエスチョン

• RQ1 代数的幾何学を用いずに、グラフのリーマン・ローチ定理を組合せ的メソッドのみで再証明可能か？
• RQ2 完全グラフ $K_n$ 上の配置のランクを決定する計算量的複雑度は何か？
• RQ3 新たに導入されたパラメータ「プリランク」は、ダイクパスおよびパーキング関数における既知の統計量（例：dinv）とどのように関係するか？
• RQ4 $K_n$ のソート済みパーキング配置における次数とランクの共同分布の生成関数は何か？
• RQ5 次数とランクの生成関数に対して、対称的有理関数表現が存在するか？

主な発見

• 任意の配置のランクを計算する線形時間算術計算量のアルゴリズムが開発された。
• 「プリランク」パラメータは、ランクアルゴリズムの最適化されていないバージョンにおける反復回数として定義され、これはダイクパスにおける新たな統計量であることが示された。
• ソート済みパーキング配置における次数とランクの生成関数は、変数変換およびスケーリングを除いて、2つのカルリッツ $q$-アナローグのカタラン数を含む対称的有理関数として表されることが示された。
• $vister(C_n[w], s, 0)$ と $unvini(C_n[w], s, 0)$ は、二重に指標されたカットスケュー・シリンダー上の部分らせん走査を用いて定義され、それぞれ $\rho(f)+1$ および $\binom{n-1}{2} + \rho(f) - \deg(f)$ に正確に対応する。
• 対合写像 $\Psi(f) = \text{sort} \circ \text{park}(\kappa - f)$ は、シリンダー配置の重ね合わせにより完全に特徴付けられ、$\Psi$ は $vister$ と $unvini$ の統計量を入れ替えることが示された。
• 対合写像 $\Psi$ は、$\Psi(cyltoconf(C_n[w], s, 0)) = cyltoconf(C_n[\Phi(w)], \text{lastright}(w) - 1 - s, 0)$ を満たすことが示され、ランクと次数統計の双対性に対するグローバルな幾何的記述が得られた。