[論文レビュー] On Groupoids and Hypergraphs

Martin Otto|arXiv (Cornell University)|Nov 24, 2012

semigroups and automata theory参考文献 11被引用数 5

ひとこと要約

本稿では、同じ色クラス（共役部分群）内での内部シーケンスは数えない、色クラス間の遷移のみを数える割引距離測度に基づく、大きなゴーリングを示すケイリーグラフを有する有限群ガロイドの構成を提示する。これらの群ガロイドは、所望の重なりパターンを実現し、小さなサイクルを含まず、対称性を保ち、簡約積を用いたグローバルな有限閉包を可能にする、一般化された有限超グラフの構築法を可能にする。

ABSTRACT

We present a novel construction of finite groupoids whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour class (sub-groupoid), and only counts transitions between colour classes (cosets). These groupoids are employed towards a generic construction method for finite hypergraphs that realise specified overlap patterns and avoid small cyclic configurations. The constructions are based on reduced products with groupoids generated by the elementary local extension steps, and can be made to preserve the symmetries of the given overlap pattern. In particular, we obtain highly symmetric, finite hypergraph coverings without short cycles. The groupoids and their application in reduced products are sufficiently generic to be applicable to other constructions that are specified in terms of local glueing operations and require global finite closure.

研究の動機と目的

• 指定された重なりパターンを実現する有限超グラフを構築する一般化された手法を開発すること。
• 群ガロイドに基づく構造的制約を用いて、超グラフ内の小さな循環的構成を排除すること。
• 得られる超グラフ構築物において、元の重なりパターンの対称性を保つこと。
• 局所的接着操作によって定義される構築物に対して、グローバルな有限閉包を可能にすること。
• 有限で対称的かつサイクルフリーな結果を必要とする組合せ的構築物に、群ガロイドと簡約積を一般化して適用すること。

提案手法

• 同じ色クラス（部分群ガロイド）内での繰り返しエッジを無視する割引距離測度を用いるケイリーグラフを持つ有限群ガロイドを構築する。
• 異なる色クラス（剰余類）間の遷移のみを数える距離測度を定義することで、内部シーケンスよりも構造的多様性を強調する。
• これらの群ガロイドの簡約積を用いて、制御された重なりパターンを持つ有限超グラフを生成する。
• 局所的拡張ステップを用いて群ガロイドの基礎を構築し、グローバルな閉包と整合性を保つ。
• 有限で対称的かつサイクルフリーな結果を必要とする超グラフ構築物に、群ガロイドフレームワークを適用する。
• 群ガロイド構造を通じて、得られる超グラフ被覆が元の重なりパターンの対称性を継承できることを保証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、同じ色クラス内での内部シーケンスを無視する割引距離測度のもとで、ケイリーグラフのゴーリングが大きい群ガロイドを構築できるか？
• RQ2 このような群ガロイドの簡約積が、指定された重なりパターンを持つ有限超グラフを生成する役割は何か？
• RQ3 この構築法は、得られる超グラフにおいて、与えられた重なりパターンの対称性を保てるか？
• RQ4 どのようにして、群ガロイドに基づく構造を用いて、局所的接着操作を符号化し、グローバルに閉じるか？
• RQ5 このフレームワークは、有限で対称的かつサイクルフリーな結果を必要とする他の組合せ的構築物へ、どの程度一般化可能か？

主な発見

• 提案された群ガロイドは、同じ色クラス内での内部シーケンスを無視する割引距離測度のもとで、大きなゴーリングを持つケイリーグラフを生成する。
• この構築法により、任意に指定された重なりパターンを実現し、小さな循環的構成を含まない有限超グラフを構築可能である。
• 得られる超グラフ被覆は非常に対称的であり、元の重なりパターンの対称性を継承する。
• 構造的群ガロイドと簡約積を用いることで、局所的接着操作によって定義される構築物に対して、グローバルな有限閉包が可能である。
• このフレームワークは十分に一般化可能であり、群ガロイドに基づく簡約積を用いて、有限で対称的かつサイクルフリーな結果を必要とする他の構築物へも応用可能である。
• 割引距離測度により、長大な単色パスが効果的に収縮され、ゴーリングが原始的なエッジ数ではなく、構造的遷移の観点から意味的に測定可能になる。