対称グラフ

数学のグラフ理論の分野において、あるグラフ "G" が対称グラフ（たいしょうぐらふ、）あるいは弧推移グラフであるとは、"G" に含まれる任意の与えられた隣接する頂点同士からなるペア "u"1—"v"1 および "u"2—"v"2 に対して、
であるような
が存在することを言う。言い換えると、グラフが対称的であるとは、その自己同型群が、向き付けられた隣接する頂点同士のペアの上（すなわち、方向を持つと考えられる辺の上）で推移的に作用することを言う。 
そのようなグラフはしばしば1-弧推移的（1-arc-transitive）あるいは旗推移的（flag-transitive）とも呼ばれる。
定義に従い（"u"1 と "u"2 を無視することで）、孤立頂点を含まない対称グラフは必ず頂点推移的でなければならないことが分かる。また、上述の定義では、一つの辺を別のものへと写しているため、対称グラフは辺推移的でなければならないことも分かる。しかしながら、辺推移グラフは必ずしも対称グラフではない。なぜならば、"a"—"b" が "d"—"c" ではなく "c"—"d" へと写されることも考えられるからである。また、例えば、半対称グラフは辺推移的かつ正則であるが、頂点推移的ではない。
したがって、全ての連結対称グラフは頂点推移的かつ辺推移的であり、次数が奇数であるようなグラフに対してはその逆も成立する。しかしながら、次数が偶数である場合は、頂点推移的かつ辺推移的であるが、対称でないような連結グラフも存在する。そのようなグラフは（half-transitive）であると呼ばれる。最小の連結半推移グラフは、次数4で頂点数27のである。厄介なことに、学者の中には対称グラフという語を、弧推移グラフではなく、頂点推移的かつ辺推移的であるようなグラフに対して用いる人もいる。そのような定義では、上述の定義では除外されている半推移グラフを含むことになる。
距離推移グラフでは、隣接している頂点同士のペア（すなわち、距離が1だけ離れている頂点のペア）を考える代わりに、各々が同じ距離だけ離れているペアを考える。そのようなグラフは、定義より、自然に対称グラフとなる。
"t"-弧という語が、「 個の頂点からなる列で、その列において連続するどの二つの頂点も必ずグラフ上で隣接し、かつ繰り返し現れる頂点については必ず二段階以上離れているもの」に対して定義される。"t"-推移グラフとは、その自己同型群が"t"-弧の上では推移的に作用するが ("t"+1)-弧の上ではそのように作用しないグラフのことを言う。"1"-弧は単純に辺であるため、次数が3以上であるような全ての対称グラフには、"t"-推移的となるような "t" が必ず存在し、そのような "t" の値は対称グラフを分類する際に用いられる。例えば、立方体は2-推移的である。
例.
対称性の条件と、グラフが立方体型（すなわち、すべての頂点の次数が3）であるという制限を組み合わせることは、条件として十分強く、そのようなグラフはリスト化出来るほど特徴的なものである。フォスター調査（Foster census）とその追加調査では、そのようなリストが提供された。フォスター調査は、1930年代にによって、彼がベル研究所に雇われていた頃に開始された。また、1988年（フォスターはこの時92歳であった）に、最新フォスター調査（512個の頂点を含むものまでの全ての立方体対称グラフをリスト化した）が、書籍の形式で出版された。その初めの13個の項目は、30の頂点を含むものまでの立方体対称グラフである（その内の10個はまた距離推移的である。例外も以下に示されている）：
この他のよく知られた立方体対称グラフには、、やがある。上のリスト内の10個の距離推移グラフと、およびのみが、立方体距離推移グラフである。
立方体型でない対称グラフには、（次数2の）閉路グラフや、（頂点の数が5以上の場合には次数が4以上の）完全グラフ、（頂点の数が16以上の場合には次数が4以上の）、および正八面体、正二十面体、立方八面体、二十・十二面体のそれぞれの頂点と辺からなるグラフが挙げられる。無限個の頂点と無限大の次数を持つ対称グラフの例として、が挙げられる。
性質.
対称グラフの頂点連結度は、常に次数 "d" に等しい。対称的に、頂点推移グラフの頂点連結度は一般的には 2("d"+1)/3 より小さい。
次数 3 以上の "t"-推移グラフの内周は少なくとも 2("t"–1) である。しかし、"t" ≥ 8 に対しては、次数 3 以上の有限な "t"-推移グラフというものは存在しない。次数がちょうど 3 である場合（立方体対称グラフ）には、"t" ≥ 6 に対して、そのようなグラフは存在しない。