[論文レビュー] Structure and automorphisms of primitive coherent configurations

Xiaorui Sun, John Wilmes|arXiv (Cornell University)|Oct 8, 2015

graph theory and CDMA systems被引用数 8

ひとこと要約

この論文は、大きな自己同型群をもつ原始的同調的配置（PCC）を分類し、完全、三角形、格子グラフの3つの例外的族を除き、任意のPCCはexp(Õ(n¹/³))個以下の自己同型群をもつことを証明する。この結果は、有限単純群の分類定理（CFSG）に依存しない、原始的置換群の位数に関する上界の証明を提供し、Babaiの自己同型群がexp(n^ε)を超えるPCCの分類に関する予想を前進させる。

ABSTRACT

Coherent configurations (CCs) are highly regular colorings of the set of ordered pairs of a "vertex set"; each color represents a "constituent digraph." CCs arise in the study of permutation groups, combinatorial structures such as partially balanced designs, and the analysis of algorithms; their history goes back to Schur in the 1930s. A CC is primitive (PCC) if all its constituent digraphs are connected. We address the problem of classifying PCCs with large automorphism groups. This project was started in Babai's 1981 paper in which he showed that only the trivial PCC admits more than $\exp( ilde{O}(n^{1/2}))$ automorphisms. (Here, $n$ is the number of vertices and the $ ilde{O}$ hides polylogarithmic factors.) In the present paper we classify all PCCs with more than $\exp( ilde{O}(n^{1/3}))$ automorphisms, making the first progress on Babai's conjectured classification of all PCCs with more than $\exp(n^ε)$ automorphisms. A corollary to Babai's 1981 result solved a then 100-year-old problem on primitive but not doubly transitive permutation groups, giving an $\exp( ilde{O}(n^{1/2}))$ bound on their order. In a similar vein, our result implies an $\exp( ilde{O}(n^{1/3}))$ upper bound on the order of such groups, with known exceptions. This improvement of Babai's result was previously known only through the Classification of Finite Simple Groups (Cameron, 1981), while our proof, like Babai's, is elementary and almost purely combinatorial. Our analysis relies on a new combinatorial structure theory we develop for PCCs. In particular, we demonstrate the presence of "asymptotically uniform clique geometries" on PCCs in a certain range of the parameters.

研究の動機と目的

• 原始的同調的配置（PCC）で自己同型群が大きいものについて分類すること。これは、1981年にBabaiが示したexp(Õ(n¹/²))の指数的上界を拡張するものである。
• すべてのPCCで自己同型群がexp(n^ε)を超える場合、それらはCameronスキーム（すなわち、原始的群の軌道的配置）であるというBabaiの予想に進展をもたらすこと。
• 有限単純群の分類定理（CFSG）に依存しない、原始的置換群の位数に関する上界の証明を提供すること。これは、Cameronの結果（CFSGに依存）を改善するものである。
• 特に、ある重要なパrameter範囲において「漸近的に一様なクリーク幾何構造」を特定することを含む、PCCのための新しい組合せ的構造理論を構築すること。

提案手法

• PCCにおけるエッジ色iの区別数D(i)の精密な分析を導入し、自己同型群のサイズを制限する。
• Õ(n¹/³)個の頂点を個別化した後、ナイーブな色の再帰的分割を適用することで、非例外的PCCを完全に分離する。
• 構造定数p^i_jkと成分有向グラフの性質を用いて、PCCにおける接続性と正則性を分析する。
• n_j, λ_j, μ, およびρ（部分構成要素内の頂点数に関連するパラメータ）を含む漸近的推定値を用い、三重組と良い構成要素の数を制限する。
• 非優勢な色と良い三重組に関する補題を活用し、ペア(u,v)に対してΩ(n_i n_j²)個の良い構成要素が存在することを示し、自己同型群の上界を確立する。
• ρの異なる範囲におけるD(i)の上界を適用する：ρ < n/3のときD(1)=Ω(ρ)およびD(i)≥Ω((D(1)n/ρ)^2/3)、ρ ≥ n/3のときD(i)≥Ω(√(ρ n_i / log n))。

実験結果

リサーチクエスチョン

• RQ1 Babaiの予想が正しければ、自己同型群がexp(n^ε)を超えるすべてのPCCは、Cameronスキーム（原始的群の軌道的配置）であるはずであるか？
• RQ2 Conjecture 1.2が示唆するように、ρ = Θ(n²/³)未満の範囲で、PCCの自己同型群の上界をexp(O(n^o(1)))まで改善できるか？
• RQ3 非対称な色が自己同型群の数え上げを複雑にするため、一般のPCCの解析を、すべての色が対称であるアソシエーションスキームのケースに還元することは可能か？
• RQ4 ρ ≥ n²/³の範囲において、PCCのエッジ色の区別数D(i)の最もタイトな上界は何か？ そして、Ω(n²/³)を超える改善は可能か？

主な発見

• 完全、三角形、格子グラフの3つの例外的族を除く任意のPCCについて、自己同型群のサイズはexp(O(n¹/³ log⁷/³ n))以下である。
• この結果は、二重推移的でない原始的置換群の位数について、CFSGに依存せずexp(Õ(n¹/³))の上界が得られることを示唆する。
• 非例外的PCCでρ = o(n¹/³)のとき、|Aut(𝒳)| ≤ exp(Õ(n¹/⁴))が成り立つことが示され、この領域はさらなる改善の主な障害とはならない。
• ρ = Θ(n²/³)のとき、JohnsonおよびHammingスキームが追加の例外として現れ、自己同型群のサイズがexp(Θ(n¹/³ log n))であることが判明し、現在の上界が多項式対数因子の範囲でタイトであることが示された。
• 解析により、重要なパrameter範囲において「漸近的に一様なクリーク幾何構造」が特定され、これは本論文で開発された構造理論の中心的役割を果たす。
• 有界ランクのPCCについて、Babaiの予想（O((n/ρ) log n)個の頂点で分割可能）が成り立つことが確認され、より広範な予想を支持する。