ケイリーグラフ

数学においてケイリーグラフとは群の抽象的な構造を表現するアーサー・ケイリーの名に由来するグラフである。特定の群の生成集合に対して使われ、組合せ論的あるいは幾何学的群論における中心的な道具である。

1. 定義
-----

G}} を群、S}} をその生成集合とする。ケイリーグラフ Γ =}} Γ}} とは以下のように構成されるグラフ彩色化有向グラフであるよく似た概念が多くあり、著者によって定義や用語が違うこともあるので注意が必要である。たとえば harvtxt：

群 G}} の各元 g}} に対して頂点を割り当てる：Γ}} の頂点集合 //V//}} を G}} と同一視する。
生成集合 S}} の各元 s}} に対して色 cs}} を割り当てる。
群 G}} の元 g}} と生成集合 S}} の元 s}} に対して元 g}} と gs}} に対応する頂点を色 cs}} の有向辺でむすぶ。つまり辺集合 //E//}} は }} の形をした組からなり、色は //s// ∈ //S//}} から定まる。幾何学的群論ではふつう集合 S}} は有限かつ対称であり、単位元を含まないと仮定する。このとき色を忘れたケイリーグラフは単純グラフである：辺に向きはなく、ループを含まない。

2. 例
----

無限巡回群 //G// =}} Z}} と S}} として生成元 +1}} とその逆元 −1}} からなる集合を考えるとケイリーグラフは無限の道である。
同様に、位数 n}} の有限巡回群 //G// =}} Z//n//}} と S}} として生成元とその逆元からなる集合を考えるとケイリーグラフは閉路 Cn}} である。より一般に、有限巡回群のケイリーグラフはちょうど circulant graphs に一致する。
直積群のケイリーグラフは対応するケイリーグラフの直積である。よって四元 , }} を生成元とするアーベル群 Z2}} のケイリーグラフは平面 R2}} 上の無限格子であり、直積 Z//n// × Z//m//}} のケイリーグラフは同様の生成元をとるとトーラス上の //n// × //m//}} 有限格子である。

二面体群 //D//4}} の生成元 a}} と b}} に関するケイリーグラフは左のように表される。赤い有向辺は red の合成を表す。b}} は対合なので blue の合成を表す青い辺は無向とした。したがってグラフはごたまぜである：8つの頂点、8つの有向辺、そして4つの無向辺。群 //D//4}} の乗積表は表示 から導くことができる。//D//4}} の異なるケイリーグラフは右のように表される。blue は先ほどと同様に水平鏡映で、青い無向辺で表す。fuchsia は対角鏡映でピンクの無向辺で表す。どちらの鏡映も対合なので右のケイリーグラフは無向グラフである。このグラフは表示 に対応する。

ふたつの元 a}} と b}} を生成元とする自由群 //F//2}} の生成集合 //S// =}} mset に対応するケイリーグラフは本記事の冒頭に掲げられている。ここで e}} は単位元を表す。辺に沿った右への移動は a}} の右からの乗算で表され、辺に沿った上への移動は b}} の右からの乗算で表される。自由群は関係式を持たないので、ケイリーグラフは閉路を持たない。このケイリーグラフはバナッハ・タルスキーのパラドックスの証明における主要な要素である。

離散ハイゼンベルク群 のケイリーグラフは右のように表される。生成元は成分 x, y, z}} における 1, 0, 0 の置換から与えられる三つの行列 X, Y, Z}} である。これらの生成元は図から読み取れる関係式 //Z// =}} //XYX//−1//Y//−1}}, //XZ// =}} //ZX//}}, //YZ// =}} //ZY//}} を満たす。この群は非可換無限群で三次元空間で表すことができ、ケイリーグラフは四次元の volume growth を持つ。

3. 特徴づけ
-------

群 G}} は自分自身に左からの乗算で作用する。これは群 G}} がそのケイリーグラフに作用しているとみることができる。明示的には、元 //h// ∈ //G//}} は頂点 //g// ∈ //V//}} を //hg// ∈ //V//}} へ移す。ケイリーグラフの辺集合この作用で保たれる：辺 }} は辺 }} へ移される。群の左からの乗算による作用は単純推移的であり、とくにケイリーグラフは頂点推移的である。これは以下のケイリーグラフの特徴づけに繋がる：

Sabidussiの定理：グラフ Γ}} が群 G}} のケイリーグラフである必要十分条件はグラフがグラフ自己同型として群 G}} の単純推移的な作用を持つことである。ケイリーグラフ Γ =}} Γ}} から群 G}} と生成集合 S}} を復元するには、まず頂点 //v//1 ∈ //V//}} を選び、群の単位元でラベルづける。そしてグラフ Γ}} の各頂点 v}} に対し、//v//1}} を v}} へ移す群 G}} のただひとつの元でラベルづける。生成集合が有限である必要十分条件はグラフが局所有限であることである。

4. 基本的な性質
---------

もし生成集合の元 s}} が対合ならば対応する辺は無向辺で表されることが多い。
ケイリーグラフ Γ}} は生成集合 S}} の選び方に本質的に依存する。たとえば生成集合 S}} が k}} 個の元を持つならば、ケイリーグラフの各頂点は入次数 k}} かつ出次数 k}} である。生成集合 S}} が対称のとき、ケイリーグラフは次数 k}} の正則有向グラフである。
ケイリーグラフの閉路は生成集合 S}} の元の間に関係式があることを示している。
もし //f// : //G//′ → //G//}} が群の全射準同型で生成集合 S}} の像 //S//′}} が互いに相異なるならば、グラフの被覆 overline を誘導する。とくに群 G}} が k}} 個の生成元をもち、すべての位数が 2}} と異なり、集合 S}} がそれらの生成元とその逆元から成るならば、ケイリーグラフ Γ}} は同じ生成元を持つ自由群に対応する次数 2//k//}} の無限正則木によって被覆される。
グラフ Γ}} はたとえ集合 S}} が群 G}} を生成していないときでさえ構成することができる。けれども、グラフは非連結となり、ケイリーグラフとして考えることはできない。このときグラフの各連結成分は S}} によって生成される部分群の剰余類を表す。
有限ケイリーグラフを無向グラフとして考えたとき、頂点連結度は少なくともグラフの次数の 2/3}} はある。もし生成集合が極小ならば、頂点連結度は次数と等しい。辺連結度はどんな場合でも次数と等しいBabai。
有限アーベル群 G}} のケイリーグラフ Γ}} が定める隣接行列の固有値は、既約指標 χ}} を用いて //λ////χ// =}} ∑//s// ∈ //S// //χ//}} と表せるSteinberg。また各固有値に属する固有ベクトルも既約指標の値を並べることで得られる。

5. Schreier coset グラフ
---------------------

頂点としてある固定した部分群 H}} の右剰余類を取れば同種の構成——Schreier coset グラフ——を考えることができる。これは剰余類数え上げやTodd–Coxeterアルゴリズムの根底にある。

6. 群論とのつながり
-----------

群の構造に関する知識はグラフの隣接行列やとくにスペクトラルグラフ理論の定理を適用することで得ることができる。

6.1. 幾何学的群論
-----------

無限群に対してケイリーグラフのcoarse幾何学は幾何学的群論の基本である。有限生成群に対して、これは有限生成集合の選び方に依らず、したがってその群に固有の性質である。これは無限群に対してのみ興味のあることである：すべての有限群は全体を有限生成集合として選ぶことができるので一点とcoarse同値である。

形式的には、与えられた生成元に対して、語距離があり、距離空間を定める。この空間のcoarse同値の代表系は群の不変量である。

7. 歴史
-----

ケイリーグラフは1878年にアーサー・ケイリーによって有限群に対して初めて考えられた。マックス・デーンは1909–1910年の群論に関する未刊行の講義録でGruppenbild という名前で再導入し、これが今日の幾何学的群論につながる。デーンの最も重要な応用は種数 ≥ 2}} の曲面の基本群に関する語の問題の解法で、これは曲面上の閉曲線が可縮かどうかを決定するという位相的な問題と等価である。

8. ベーテ格子
--------

ベーテ格子あるいはケイリー木は n}} 個の生成元をもつ自由群のケイリーグラフである。n}} 個の生成元をもつ群 G}} の表示は n}} 個の生成元をもつ自由群から群 G}} への全射準同型と対応し、ケイリーグラフの観点からはケイリー木からケイリーグラフへの射に対応する。これはケイリーグラフの一般には単連結とは限らない普遍被覆と解釈することもできる。

9. 脚注
-----

9.1. 注釈
-------

9.2. 出典
-------

10. 参考文献
--------

last1 = Babai

11. 関連項目
--------

頂点推移グラフ
群の生成集合
Lovász予想
Cube-connected cycles
代数的グラフ理論
巡回グラフ
ケイリーの定理

12. 外部リンク
---------

[2]