[論文レビュー] Weakly distance-regular digraphs of valency three, I

Yuefeng Yang, Benjian Lv+1 more|arXiv (Cornell University)|Feb 10, 2015

Finite Group Theory Research参考文献 9被引用数 8

ひとこと要約

この論文は、ケージが2より大きく、2種類の弧を持つ、有向弱距離正則グラフで、有向次数3のものについて分類を行い、それらが特定の $ℤ_4 \times \mathbb{Z}_g$ 上のカイリー有向グラフ、または群拡張を用いて構成された族に同型であることを証明している。この分類は、鈴木とワンが開始したプロジェクトを完了させ、与えられた制約下でこのような有向グラフの完全なリストを確立している。

ABSTRACT

Suzuki (2004) [7] classified thin weakly distance-regular digraphs and pro- posed the project to classify weakly distance-regular digraphs of valency 3. The case of girth 2 was classified by the third author (2004) [9] under the assumption of the commutativity. In this paper, we continue this project and classify these digraphs with girth more than 2 and two types of arcs.

研究の動機と目的

• 鈴木（2004年）が提唱した、有向次数3の弱距離正則有向グラフの分類を完了させること。これは、薄型および可換な場合の先行研究を拡張するものである。
• ケージが2より大きく、正確に2種類の弧を持つ有向次数3の弱距離正則有向グラフを特徴づけること。
• 構造的および群論的手法を用いて、このようなすべての有向グラフを同型の観点から特定すること。
• 可換性の仮定がなければ、これまでに解決済みであったケージ2の場合を除き、弱距離正則有向グラフの分類を拡張すること。

提案手法

• 群 $\mathbb{Z}_4 \times \mathbb{Z}_g$ 上のカイリー有向グラフおよび一般化された群拡張を用いて、2つの弱距離正則有向グラフ族を構成する。
• 交差数 $p_{\widetilde{i},\widetilde{j}}^{\widetilde{h}}$ の概念を用いて弱距離正則性を定義し、頂点対間の経路数を分析する。
• 巡回路と弧タイプの構造を用いて、距離と自己同型の振る舞いに関する制約を導出する。
• 群作用と商有向グラフ $\Gamma/H$ を用いて、特に $F(x) = V\Gamma$ の場合に、全体の構造を分析する。
• 経路の存在と距離の伝播に関する補題を活用し、整合性のない構成を除外する。
• 同型不変量と自己同型群の推移性を用いて、得られた有向グラフを標準形に分類する。

実験結果

リサーチクエスチョン

• RQ1 ケージが2より大きく、2種類の弧を持つ有向次数3の弱距離正則有向グラフは、同型を除いてどれだけ存在するか？
• RQ2 すべてのこのような有向グラフが、$\mathbb{Z}_4 \times \mathbb{Z}_g$ 上のカイリー有向グラフ、または群拡張による構成で得られるか？
• RQ3 混合された弧タイプを持つ巡回路が存在する場合、どのような構造的制約が生じ、距離関数にどのように影響を与えるか？
• RQ4 $F(x) = V\Gamma$ の条件が自己同型構造とその後の分類にどのように影響を与えるか？
• RQ5 商有向グラフ $\Gamma/H$ は、これらの有向グラフの全体的構造を特徴づける上で果たす役割は何か？

主な発見

• ケージが2より大きく、2種類の弧を持つ有向次数3の弱距離正則有向グラフは、すべて $g=3$ または $g \geq 5$ の場合に、$\mathrm{Cay}(\mathbb{Z}_4 \times \mathbb{Z}_g, \{(0,1),(2,1),(1,0)\})$ に同型である。
• $F(x) = V\Gamma$ のとき、有向グラフは次の3つの族のいずれかに同型である：$\Gamma_{q,2mq,1}$、$\Gamma_{q,mq+2,q}$、または $\Gamma_{q,2mq-2q+2t,q+1-t}$。ここで $q \geq 3$、$m \geq 1$、$2 \leq t \leq q-1$ である。
• $F(x) = V\Gamma$ のとき、交差数 $p_{(1,g-1),(1,g-1)}^{(1,q-1)} = 2$ が成り立ち、これは特定の頂点対間に2つの異なるタイプの経路が存在することを示している。
• $F(x) = V\Gamma$ のとき、商有向グラフ $\Gamma/H$ は長さ $s \geq 3$ の無向巡回路である。さらに、整合性のためには $s + k - 1 > q$ が成り立つ必要がある。ここで $k$ は弧タイプの伝播から得られる値である。
• 与えられた制約下では、分類は完全である。これ以上の同型でないような有向グラフは存在しない。
• 証明は、特にケージや弧タイプの制約に反する経路の存在を仮定した背理法に依拠しており、経路長と距離の伝播の観点からの矛盾を用いている。