[논문 리뷰] Structure and automorphisms of primitive coherent configurations

Xiaorui Sun, John Wilmes|arXiv (Cornell University)|2015. 10. 08.

graph theory and CDMA systems인용 수 8

한 줄 요약

이 논문은 자동자기군이 큰 구조를 갖는 원시 일관 구성(PCCs)을 분류하며, 완전 그래프, 삼각형 그래프, 격자 그래프를 제외한 모든 PCC는 최대 exp(Õ(n¹/³))개의 자동자기군을 가진다는 것을 증명한다. 이 결과는 유한 단순군 분류(CFSG)를 사용하지 않고 원시 순열군의 크기 상한을 제시하며, Babai의 추측(자동자기군이 exp(n^ε)를 초과하는 모든 PCC는 Cameron 체계, 즉 원시군의 궤도 구성임)을 발전시킨다.

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.

연구 동기 및 목표

• 원시 일관 구성(PCCs) 중 자동자기군이 큰 것들을 분류하여, Babai가 1981년에 제시한 exp(Õ(n¹/²)) 자동자기군의 지수적 상한을 확장한다.
• 모든 PCC 중에서 자동자기군이 exp(n^ε)를 초과하는 경우가 반드시 Cameron 체계(즉, 원시군의 궤도 구성)임을 추측하는 Babai의 추측에 진전을 이룬다.
• 원시 순열군의 크기 상한을 CFSG를 사용하지 않고 증명하며, 기존 Cameron의 결과(유한 단순군 분류에 의존)를 개선한다.
• 특히 주요 매개변수 범위에서 '점 渐진적으로 균일한 클리크 기하학'을 식별함으로써, PCC에 대한 새로운 조합 구조 이론을 개발한다.

제안 방법

• PCC에서 간선 색상 i의 구분 수 D(i)에 대한 정교한 분석을 도입하여 자동자기군 크기를 제한한다.
• 비예외적 PCC를 완전히 분할하기 위해 Õ(n¹/³) 개의 정점을 개별화한 후 난이도 높은 색상 정렬을 적용한다.
• 구조 상수 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의 간선 색상 i에 대한 구분 수 D(i)의 가장 날카운 상한은 무엇이며, 이 상한을 Ω(n²/³)을 초월해 향상시킬 수 있는가?

주요 결과

• 완전, 삼각형, 격자 그래프를 제외한 모든 PCC에 대해 자동자기군 크기는 최대 exp(O(n¹/³ log⁷/³ n))이다.
• 이 결과는 유한 단순군 분류(CFSG)를 사용하지 않고, 이중 전이적이지 않은 원시 순열군의 크기에 대해 exp(Õ(n¹/³)) 상한을 제공한다.
• 비예외적 PCC에서 ρ = o(n¹/³)일 경우 |Aut(𝒳)| ≤ exp(Õ(n¹/⁴)) 임을 입증하여, 이 영역이 향후 개선의 주요 장애물은 아님을 시사한다.
• ρ = Θ(n²/³)일 경우 Johnson 및 Hamming 체계가 자동자기군 크기가 exp(Θ(n¹/³ log n))인 추가 예외로 나타나며, 이는 현재의 상한이 다항로그 인자까지는 날카롭게 유지됨을 보여준다.
• 분석을 통해 핵심 매개변수 범위에서 '점 渐진적으로 균일한 클리크 기하학'을 식별하였으며, 이는 본 논문에서 개발된 구조 이론의 핵심이다.
• 유계 랭크를 갖는 PCC에 대해 Babai의 추측( O((n/ρ) log n) 개의 정점으로 분할 가능)이 성립함을 확인하여, 보다 광범위한 추측을 지지한다.