[논문 리뷰] Asymptotic enumeration of vertex-transitive graphs of fixed valency

Primož Potočnik, Pablo Spiga외 1명|arXiv (Cornell University)|2012. 10. 21.

Finite Group Theory Research참고 문헌 12인용 수 5

한 줄 요약

이 논문은 순서가 n 이하인 d-정점 전이 그래프의 동형류 수에 대한 渐近적 경계를 설정하며, log(CAY_d(n))가 Θ(d(log n)^2)로 증가함을 보여준다. 삼차 그래프의 경우(d=3), 더 강력한 경계가 증명되었고, 거의 모든 이러한 그래프가 카일리 그래프이며, 거의 모든 카일리 그래프가 GRRs임을 추측한다. 결과는 군 이론적 기법과 코셋 그래프 구성에 기반한다.

ABSTRACT

Let $G$ be a group and let $S$ be an inverse-closed and identity-free generating set of $G$. The \emph{Cayley graph} $\Cay(G,S)$ has vertex-set $G$ and two vertices $u$ and $v$ are adjacent if and only if $uv^{-1}\in S$. Let $CAY_d(n)$ be the number of isomorphism classes of $d$-valent Cayley graphs of order at most $n$. We show that $\log(CAY_d(n))\inΘ(d(\log n)^2)$, as $n o\infty$. We also obtain some stronger results in the case $d=3$.

연구 동기 및 목표

• 순서가 n 이하인 d-정점 전이 그래프의 동형류 수의 渐近적 성장률을 이해하기 위해.
• n이 증가함에 따라 전이 그래프 중 카일리 그래프 또는 GRR(그래프적 정규 표현)인 비율을 조사하기 위해.
• 군 이론적 및 조합 기법을 사용하여 이러한 그래프의 수에 대한 날카로운 渐近적 경계를 설정하기 위해.
• 3-정점 5-화살표 전이 그래프와 같은 고도로 대칭적인 그래프의 수가 渐近적 영역에서 얼마나 풍부한지 탐색하기 위해.

제안 방법

• 유한 생성 군에서 정규부분군 성장 결과를 사용하여 d-정점 카일리 그래프의 수에 대한 상한을 유도하기 위해.
• 삼차 전이 그래프의 자기동형군 성장에 관한 최근 결과를 적용하여 d=3인 경우의 상한을 강화하기 위해.
• 유한 부분군 위의 군 합성의 코셋 그래프를 사용하여 3-정점 5-화살표 전이 그래프의 무한 가족을 구성하기 위해.
• 자유군의 프로-p 완비화를 이용하여 군 G의 유한 지수 정규부분군을 세어, 그래프 수의 하한을 도출하기 위해.
• 각 정규부분군 M ≤ N 에 대해 |G:M| ≤ 48n 이면 코셋 그래프 구성에 의해 3-정점 5-화살표 전이 그래프가 유도됨을 이용하기 위해.
• G가 6-생성임을 고려하여, 서로 다른 정규부분군에서 유도된 동형 그래프의 수를 제한하기 위해, 전사 준동형사상의 수를 세며, 이는 최대 |G/M|⁶이다.

실험 결과

연구 질문

• RQ1 순서가 n 이하인 d-정점 전이 그래프의 동형류 수는 어떻게 渐近적으로 증가하는가?
• RQ2 n → ∞ 일 때, d-정점 전이 그래프 중 카일리 그래프인 비율은 어떻게 되는가?
• RQ3 한계에서 거의 모든 d-정점 카일리 그래프가 GRR인가?
• RQ4 3-정점 5-화살표 전이 그래프는 渐近적으로 얼마나 풍부한가?
• RQ5 군 이론적 구성에 의해 이러한 대칭 그래프 가족의 성장률을 하한으로 제한할 수 있는가?

주요 결과

• 모든 d ≥ 3 에 대해, 순서가 n 이하인 d-정점 카일리 그래프의 동형류 수에 대해 log(CAY_d(n)) ∈ Θ(d(log n)^2) 이며, 이는 CAY_d(n) = n^{Θ(d log n)} 을 의미한다.
• d = 3 일 때, 순서가 n 이하인 GRR의 수는 n^{a log n} - c ≤ GRR_3(n) ≤ n^{b log n} 을 만족하며, 이는 양의 상수 a, b, c 가 존재함을 의미한다.
• 순서가 n 이하인 3-정점 5-화살표 전이 그래프의 수는 어떤 a, b > 0 에 대해 최소 n^{a log n} - b 이상이며, 이는 그것들이 渐近적으로 풍부함을 보여준다.
• CAY_d(n)에 대한 상한은, 군의 랭크 r 에 대해 지수 ≤ n 인 정규부분군의 수가 n^{O(r log n)} 으로 유계임을 이용하여, 유한 생성 군에서 정규부분군 성장 결과로부터 도출된다.
• 3-정점 5-화살표 전이 그래프에 대한 하한은 자유군 N(랭크 ≥ 2)의 정규부분군에서 코셋 그래프를 구성함으로써 도출되며, |G:M| ≤ 48n 인 경우 최소 n^{a' log n} - b' 개의 부분군이 존재함을 의미한다.
• 3-정점 5-화살표 전이 그래프의 동형류 수는 최소 |𝒩_n| / (48n)^6 이며, 여기서 |𝒩_n| ≥ n^{a' log n} - b' 이므로, 최종 하한은 n^{a log n} - b 의 형태를 가진다.