[論文レビュー] Algebras associated to directed acyclic graphs

Vladimir Retakh, Robert Lee Wilson|arXiv (Cornell University)|Jul 24, 2007

Advanced Algebra and Logic参考文献 4被引用数 7

ひとこと要約

この論文は、頂点ランク関数を備えた一般化されたレイヤードグラフ—有向非巡回グラフ—に関連する代数 A(Γ) のクラスを導入する。辺の長さをランク差によって定義することで、線形基底を構成し、ヒルベルト級数を計算し、非可換多項式因数分解に関連する構造的性質を明らかにする。

ABSTRACT

Abstract. We construct and study a class of algebras associated to generalized layered graphs, i.e. directed graphs with a ranking function on their vertices and edges. Each finite directed acyclic graph admits a structure of a generalized layered graph. We construct linear bases in such algebras and compute their Hilbert series. Our interest to generalized layered graphs and algebras associated to those graphs is motivated by their relations to factorizations of polynomials over noncommutative rings. In this paper we construct and study a class of algebras A(Γ) associated to generalized layered graphs Γ, i.e. directed graphs with a ranking function |. | on their vertices. Therefore, each edge has a length l; if an edge e goes from a vertex v to a vertex w then l(e) = |v | − |w|. Each

研究の動機と目的

• 一般化されたレイヤードグラフ（頂点ランク関数を備えた有向非巡回グラフ）に関連する代数 A(Γ) を定義し、それらを研究すること。
• グラフの構造と辺の長さ割り当てを用いて、これらの代数の線形基底を確立すること。
• A(Γ) のヒルベルト級数を計算し、代数の成長と次元性を分析すること。
• 代数的構造と非可換環上の多項式因数分解との関連を明らかにすること。

提案手法

• 論文は、有向非巡回グラフ Γ の頂点にランク関数 |·| を定義し、各頂点にランクを割り当てる。
• 辺 e が頂点 v から w へ向かう場合、l(e) = |v| − |w| により辺の長さを定める。これにより、非負の長さが保証される。
• 生成子を辺に対応させ、グラフの構造から導かれる関係を用いて、代数 A(Γ) の提示を構成する。
• ヒルベルト級数は、ランク関数と辺長さ分布を用いて計算される。
• ランク関数と辺長さ制約に適合する経路と単項式を分析することで、A(Γ) の線形基底を構成する。
• Γ が有向非巡回であることに基づき、整合的な次数付き構造と有限次元成分を保証する。

実験結果

リサーチクエスチョン

• RQ1 ランク関数と辺長さ関数を用いて、一般化されたレイヤードグラフに一貫した代数的構造を定義する方法は何か？
• RQ2 A(Γ) の同次成分の次元は何か？ また、次数とともにどのように変化するか？
• RQ3 A(Γ) の線形基底は、グラフの経路構造から明示的に構成可能か？
• RQ4 A(Γ) のヒルベルト級数は、元となるグラフの組合せ的性質をどのように反映するか？
• RQ5 A(Γ) と非可換環上の多項式因数分解との間にどのような関係があるか？

主な発見

• 代数 A(Γ) の線形基底が、一般化されたレイヤードグラフ Γ の経路を用いて明示的に構成された。
• A(Γ) のヒルベルト級数が計算され、ランク関数と辺長さ分布に依存することが示された。
• 代数 A(Γ) は辺の長さで次数付きであり、各同次成分は有限次元である。
• 構成法により、任意の有限の有向非巡回グラフにランク関数を備えた A(Γ) が一貫して定義され、結合的であることが保証された。
• A(Γ) の代数的構造は、非可換多項式環における因数分解を研究するための枠組みを提供する。
• 本論文は、レイヤードグラフの組合せ的性質と関連する非可換代数の代数的性質との直接的な関連を確立した。