[論文レビュー] Connected components of meanders: I. Bi-rainbow meanders

Anna Karnauhova, Stefan Liebscher|arXiv (Cornell University)|Apr 13, 2015

Mathematics and Applications参考文献 7被引用数 3

ひとこと要約

この論文は、直線の上下にネストされた弧からなる二重ルーブン・ミアンダー（bi-rainbow meanders）における連結成分（ジョルダン曲線）の数を調査する。4家族を超える場合、その数は弧のサイズに関する多項式の最大公約数（gcd）として表現できないことが示され、代わりにオイラーのアルゴリズムに類似した対数的時間計算量を有する鼻収縮アルゴリズム（nose-retraction algorithm）を提案する。このアルゴリズムは、計算の最適化を実現する。

ABSTRACT

Closed meanders are planar configurations of one or several disjoint closed Jordan curves intersecting a given line or curve transversely. They arise as shooting curves of parabolic PDEs in one space dimension, as trajectories of Cartesian billiards, and as representations of elements of Temperley-Lieb algebras. Given the configuration of intersections, for example as a permutation or an arc collection, the number of Jordan curves is unknown and needs to be determined. We address this question in the special case of bi-rainbow meanders, which are given as non-branched families (rainbows) of nested arcs. Easily obtainable results for small bi-rainbow meanders containing up to four families suggest an expression of the number of curves by the greatest common divisor (gcd) of polynomials in the sizes of the rainbow families. We prove however, that this is not the case. In fact, the number of connected components of bi-rainbow meanders with more than four families cannot be expressed as the gcd of polynomials in the sizes of the rainbows. On the other hand, we provide a complexity analysis of nose-retraction algorithms. They determine the number of connected components of arbitrary bi-rainbow meanders in logarithmic time. In fact, the nose-retraction algorithms resemble the Euclidean algorithm, which is used to determine the gcd, in structure and complexity. Looking for a closed formula of the number of connected components, the nose-retraction algorithm is as good as a gcd-formula and therefore as good as we can possibly expect.

研究の動機と目的

• 二重ルーブン・ミアンダーにおける連結成分の数が、ルーブン家族のサイズに関する多項式の最大公約数（gcd）として表現可能かどうかを特定すること。
• 4家族までの小さなケースで観察されたgcdのパターンが、任意の二重ルーブン・ミアンダーに一般化可能かどうかを解明すること。
• 閉形式のgcd式が存在しない場合の、連結成分数を効率的に計算する手法を開発すること。
• 鼻収縮アルゴリズムが、任意の潜在的なgcd式よりも計算量的に最適であることを確立すること。

提案手法

• 水平軸の上下に非分岐なネストされた弧の家族として二重ルーブン・ミアンダーを定義し、弧の数をパラメータ α₁,…,αₙ で与える。
• オイラーのアルゴリズムに類似した、剰余演算を用いて中央の家族のサイズを再帰的に縮小する鼻収縮アルゴリズムを提案する。
• アルゴリズムの3つの再帰的ケースを定義する：(a) 左右の弧の数が等しい場合、(b) その差が中央家族のサイズを割り切る場合、(c) それ以外の場合で、剰余に基づく変換を用いる。
• 計算量を O(b) × O(n) と解析し、入力サイズに対して対数的時間で実行されることを示す。ここで b は入力のビット数である。
• 鼻収縮アルゴリズムとオイラーのアルゴリズムとの間に構造的・計算量的同等性を示し、特に整数除法の剰余の使用に類似していることを明らかにする。
• 鳩の巣原理とスケーリングの議論を用いて、4家族を超える二重ルーブン・ミアンダーに対しては、整数係数の同次多項式の最大公約数の公式が存在しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 二重ルーブン・ミアンダーにおける連結成分の数は、ルーブン家族のサイズに関する同次多項式の最大公約数として表現可能か？
• RQ2 4家族までの小さな二重ルーブン・ミアンダーで観察されたgcdのパターンは、より大きな構成に対しても一般化可能か？
• RQ3 閉形式のgcd式が存在しない場合、連結成分数を計算するための計算的に効率的な代替手法は存在するか？
• RQ4 連結成分数の計算の計算量は、オイラーのアルゴリズムの計算量と比べてどの程度か？

主な発見

• 4家族を超える二重ルーブン・ミアンダーにおける連結成分数は、整数係数の任意の同次多項式のペアの最大公約数として表現できない。
• 鼻収縮アルゴリズムは O(b) × O(n) 時間で連結成分数を計算し、オイラーのアルゴリズムと同様に対数的時間計算量を達成する。
• アルゴリズムの再帰的構造はオイラーのアルゴリズムに類似しており、中心的な操作は整数除法の剰余の計算である。
• 通常の二重ルーブン・ミアンダー（弧のサイズが同程度の大きさ）では、アルゴリズムの計算量は理論的下界である O(b) に近くなると予想される。
• この結果により、連結成分数の代替式が、gcdと同等以上の計算量を持つことが確認され、鼻収縮アルゴリズムがこの意味で最適であることが示された。
• ミアンダーの括弧表現の圧縮形は、対数的時間計算量を達成するための前提条件であり、置換の直接的検査では O(α) 時間が必要となるため。