[論文レビュー] Topologically Distinct Sets of Non-intersecting Circles in the Plane

Richard J. Mathar|arXiv (Cornell University)|Feb 29, 2016

Advanced Combinatorial Mathematics参考文献 5被引用数 4

ひとこと要約

この論文は、平面における3つの相互に交差する円の位相的に異なる配置までをカバーする、古典的なカタラン数フレームワークを非交差なネストされた円に拡張する。再帰的関係と母関数を用いて、対称性と領域分割を分析することで、最大11個の円（三重交差を含む）について正確な個数を体系的に列挙し、非交差ケースをはるかに超える組合せ的領域を拡張する。

ABSTRACT

Nested parentheses are forms in an algebra which define orders of evaluations. A class of well-formed sets of associated opening and closing parentheses is well studied in conjunction with Dyck paths and Catalan numbers. Nested parentheses also represent cuts through circles on a line. These become topologies of non-intersecting circles in the plane if the underlying algebra is commutative. This paper generalizes the concept and answers quantitatively - as recurrences and generating functions of matching rooted forests - the questions: how many different topologies of nested circles exist in the plane if (i) pairs of circles may intersect, or (ii) even triples of circles may intersect. That analysis is driven by examining the symmetry properties of the inner regions of the fundamental type(s) of the intersecting pairs and triples.

研究の動機と目的

• カタラン数で数えられる古典的な非交差円の位相的構造を、最大三重交差を許す構成へ一般化すること。
• 非交差または交差する円のN個の位相的に異なる配置を、すべての可能な交差タイプを考慮して列挙すること。
• 特に三重交差を含む場合の、このような構成の数に対する再帰的関係および母関数を導出すること。
• 平面における対称性と領域分割に基づいて、基本的な交差タイプを分類・数えること。

提案手法

• 根付きフォレストの多重集合解釈を用いて、各因子が位相的に異なる成分に対応する円の配置をモデル化する。
• ポリアの数え上げ定理の巡回指数定理を適用し、交差する円配置の部分領域における回転および反転対称性を扱う。
• 二重および三重円構成などの基本的交差タイプごとに母関数を定義し、より小さな有効な構成の再帰的合成を用いる。
• Nの合成に基づいてf個の因子を持つ構成の数に対する再帰的関係を導出し、多項係数を適用する。
• 6つの基本的三重円交差タイプそれぞれに対して、対称性と領域構造を組み込んだ特別な母関数を導入する。
• Euler変換を用いてf=1の列から総数を計算し、数値計算による再帰的構造の整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 最大3つの円が交差する場合、平面におけるN個の非交差または交差する円の位相的に異なる配置はいくつ存在するか？
• RQ2 対称性と領域分割を考慮した場合、これらの構成を列挙する再帰的関係および母関数は何か？
• RQ3 三重交差を許す場合、このような構成の個数は古典的なカタラン数とどのように異なるか？
• RQ4 三重円交差の基本的構成要素（原始的構成）とは何か？ それらの対称性は数え上げにどのように影響するか？
• RQ5 非交差ケースに限らず、三重交差まで含めたすべての可能な交差パターンをカバーするように、数え上げを拡張できるか？

主な発見

• 三重交差を許すN個の円の位相的に異なる構成の数は、カタラン数をはるかに上回り、|³X₃| = 14（|²X₃| = 8）となる。
• N=10の場合、このような構成の総数は|³X₁₀| = 325,615であり、そのうち157,297個は1つの因子（つまり、分解不能な構成）を持つ。
• 非交差ケースからの乖離はN=3で初めて発生し、|³X₃⁽¹⁾| = 14（非交差ケースの|²X₃⁽¹⁾| = 8）となり、6つ多い。
• |³Xₙ⁽¹⁾|の再帰的関係には、二重円交差（²Dₙ₋₂）と5つの異なる三重円タイプの寄与が含まれ、対称的なタイプは重複度を考慮して数えられる。
• 母関数³X(z)は、巡回指数の代入により導出され、各基本的交差タイプの対称性係数を組み込む。
• f=1の列のEuler変換により総数が得られ、N=11まで再帰的構造の整合性が確認された。