ヒーウッドグラフ

数学のグラフ理論の分野におけるヒーウッドグラフ（英: Heawood graph）は、パーシー・ジョン・ヒーウッド（英語版）の名にちなむ、14の頂点と21の辺を含むある無向グラフである。 ヒーウッドグラフは立方体であり、それに含まれるすべての閉路には六つ以上の辺がある。これよりも小さいすべての立方体グラフにはより短い閉路しか含まれないため、ヒーウッドグラフは 6-ケージの、内周 6 の最小の立方体グラフである。また、距離推移グラフ（フォスター調査を参照）でもあり、したがって距離正則（英語版）である。 ヒーウッドグラフには 24 の完全マッチングが存在する;各マッチングに対し、それに含まれない辺の集合はハミルトン閉路を形成する。例えば、ページ右上の図は、マッチングを形成する閉路からなる内部対角（internal diagonal）を備える閉路上の頂点を示しているグラフである。その閉路を二つのマッチングに分けることで、ヒーウッドグラフを三つの完全マッチング（すなわち、3辺彩色）に分ける方法が八通りある。どの二つの完全マッチングと、どの二つのハミルトン閉路も、グラフの対称性によってお互い交換することが出来る。 ヒーウッドグラフには 6-頂点の閉路が 28 含まれる。そのような 6-閉路は、必ず三つの他の 6-閉路と互いに素になっている;そのような三つの 6-閉路において、どの一つも必ず他の二つの対称差（symmetric difference）になっている。6-閉路に対して一つの頂点と、6-閉路の互いに素な各ペアに対して一つの辺を備えるグラフは、コクセターグラフ（英語版）である。 ヒーウッドグラフはトロイダルグラフ（英語版）である; すなわち、ヒーウッドグラフはトーラス上で交叉することなく埋め込まれる。このタイプの一つの埋め込みは、その頂点と辺を三次元ユークリッド空間へ、あるトーラスの位相を備える非凸多面体（シラッシの環状多面体）の頂点と辺の集合として配置する。 グラフの名の由来であるパーシー・ジョン・ヒーウッド（英語版）は1890年、トーラスの多角形への全ての細分割において、その多角形領域は高々七色の色で彩色されることを証明した。ヒーウッドグラフは、境界が tight であるような、七つの互いに近接した領域を備えるトーラスの細分割を形成する。 ヒーウッドグラフはまたファノ平面（英語版）のレヴィグラフ（英語版）でもあり、幾何における点と距離の間の incidences を表すグラフである。この解釈によると、ヒーウッドグラフに含まれる 6-閉路は、ファノ平面における三角形に対応する。 ヒーウッドグラフの交叉数（英語版）は 3 であり、そのような交叉数を持つ立方体グラフの中では最小である。ヒーウッドグラフを含む、交叉数 3 で位数 14 のグラフは 8 つある。 ヒーウッドグラフは単位距離グラフである: 隣接する頂点はちょうど距離が 1 だけ離れており、同じ点に埋め込まれている頂点はなく、また、辺に含まれるある点に埋め込まれる頂点もないような平面に、そのグラフは埋め込まれる。しかしながら、そのグラフに備わっている対称性は、このタイプの知られている埋め込みにおいては欠落している。 ヒーウッドグラフの自己同型群は、位数 336 の射影線型群 PGL2(7) と同型である。それは、グラフの頂点、辺および弧の上で推移的に作用する。したがって、ヒーウッドグラフは対称グラフである。任意の頂点や辺を、任意の別の頂点や辺へと写す自己同型が存在する。フォスター調査によれば、F014A と番号付けられるヒーウッドグラフは、頂点が14個であるような唯一つの立方体対称グラフである。 ヒーウッドグラフの固有多項式は ( x − 3 ) ( x + 3 ) ( x 2 − 2 ) 6 {\displaystyle (x-3)(x+3)(x^{2}-2)^{6}} である。ヒーウッドグラフはこの固有多項式を持つ唯一つのグラフであり、これによってヒーウッドグラフはそのスペクトルによって決定付けられるグラフとなっている。 シラッシの環状多面体 ヒーウッドグラフの交叉数（英語版）は 3 である。 ヒーウッドグラフの彩色指数は 3 である。 ヒーウッドグラフの彩色数は 2 である。 ヒーウッドグラフのトーラス（図では周期境界条件の下で正方形として描かれている）への埋め込みは、それを七つの互いに隣接した領域に区分する。 ^ Weisstein, Eric W. "Heawood Graph". mathworld.wolfram.com (英語). ^ a b Brouwer, Andries E.. “Heawood graph”. Additions and Corrections to the book Distance-Regular Graphs (Brouwer, Cohen, Neumaier; Springer; 1989). 2012年10月19日閲覧。 ^ Abreu, M.; Aldred, R. E. L.; Funk, M.; Jackson, Bill; Labbate, D.; Sheehan, J. (2004), “Graphs and digraphs with all 2-factors isomorphic”, Journal of Combinatorial Theory, Series B 92 (2): 395–404, doi:10.1016/j.jctb.2004.09.004, MR2099150 . ^ Dejter, Italo J. (2011), “From the Coxeter graph to the Klein graph”, Journal of Graph Theory, arXiv:1002.1960, doi:10.1002/jgt.20597 . ^ Brown, Ezra (2002). “The many names of (7,3,1)”. Mathematics Magazine 75 (2): 83–94. doi:10.2307/3219140. JSTOR 3219140. http://www.math.vt.edu/people/brown/doc/731.pdf.  ^ Heawood, P. J. (1890). “Map colouring theorems”. Quarterly J. Math. Oxford Ser. 24: 322–339.  ^ Gerbracht, Eberhard H.-A. (2009). Eleven unit distance embeddings of the Heawood graph. arXiv:0912.5395.  ^ Bondy, J. A.; Murty, U. S. R. (1976). Graph Theory with Applications. New York: North Holland. p. 237. ISBN 0-444-19451-7. オリジナルの2010年4月13日時点におけるアーカイブ。. https://web.archive.org/web/20100413104345/http://www.ecp6.jussieu.fr/pageperso/bondy/books/gtwa/gtwa.html  ^ Royle, G. "Cubic Symmetric Graphs (The Foster Census)." ^ Conder, M. and Dobcsányi, P. "Trivalent Symmetric Graphs Up to 768 Vertices." J. Combin. Math. Combin. Comput. 40, 41-63, 2002.