[논문 리뷰] Group-theoretic generalisations of vertex and edge connectivities

Yinan Li, Youming Qiao|arXiv (Cornell University)|2019. 06. 19.

Complexity and Algorithms in Graphs참고 문헌 14인용 수 4

한 줄 요약

이 논문은 순서 2이고 지수 p인 유한 p-군 P에 대해 군론적 매개변수 κ(P)와 λ(P)를 도입하며, 그래프의 정점 연결성과 간선 연결성의 일반화이다. Baer-Lovász-Tutte 구축법을 통해 그래프 G로부터 유도된 군 PG에 대해, κ(PG)는 정점 연결성 κ(G)와 같고, λ(PG)는 간선 연결성 λ(G)와 같음을 증명함으로써, p-군 이론에서 그래프 연결성의 깊이 있는 대체적 일반화를 확립한다.

ABSTRACT

Let $p$ be an odd prime. Let $P$ be a finite $p$-group of class $2$ and exponent $p$, whose commutator quotient $P/[P,P]$ is of order $p^n$. We define two parameters for $P$ related to central decompositions. The first parameter, $κ(P)$, is the smallest integer $s$ for the existence of a subgroup $S$ of $P$ satisfying (1) $S\cap [P,P]=[S,S]$, (2) $|S/[S,S]|=p^{n-s}$, and (3) $S$ admits a non-trivial central decomposition. The second parameter, $λ(P)$, is the smallest integer $s$ for the existence of a central subgroup $N$ of order $p^s$, such that $P/N$ admits a non-trivial central decomposition. While defined in purely group-theoretic terms, these two parameters generalise respectively the vertex and edge connectivities of graphs: For a simple undirected graph $G$, through the classical procedures of Baer (Trans. Am. Math. Soc., 1938), Tutte (J. Lond. Math. Soc., 1947) and Lovász (B. Braz. Math. Soc., 1989), there is a $p$-group of class $2$ and exponent $p$ $P_G$ that is naturally associated with $G$. Our main results show that the vertex connectivity $κ(G)$ is equal to $κ(P_G)$, and the edge connectivity $λ(G)$ is equal to $λ(P_G)$. We also discuss the relation between $κ(P)$ and $λ(P)$ for a general $p$-group $P$ of class $2$ and exponent $p$, as well as the computational aspects of these parameters.

연구 동기 및 목표

• 그래프 연결성과의 유사성에 기반하여, 순서 2이고 지수 p인 p-군에 대해 새로운 군론적 매개변수 κ(P)와 λ(P)를 정의하고 연구하는 것.
• Baer-Lovász-Tutte 구축법을 통해 이 군 매개변수와 고전적 그래프 연결성 불변량 사이의 정확한 대응 관계를 확립하는 것.
• 일반적인 순서 2이고 지수 p인 p-군 P에 대해 κ(P)와 λ(P)의 관계를 분석하는 것.
• 교환형 이중선형 사상과 행렬 공간의 맥락에서 이 매개변수들의 계산 복잡도 및 구조적 성질을 탐색하는 것.

제안 방법

• κ(P)를 다음과 같이 정의한다: P가 부분군 S를 가지며 S ∩ [P,P] = [S,S], |S/[S,S]| = p^{n−s}, 그리고 S가 비자명한 중심 분해를 가질 수 있는 최소의 s로 정의한다.
• λ(P)를 다음과 같이 정의한다: P의 중심 부분군 N이 존재하여 |N| = p^s 이고, P/N가 비자명한 중심 분해를 가질 수 있는 최소의 s로 정의한다.
• Baer-Lovász-Tutte 절차를 통해 그래프 G로부터 p-군 PG를 구성한다: F_p나 Q 위의 교환형 행렬 공간과 교환형 이중선형 사상에 기반하여.
• 군 연산 (v1,u1)∘(v2,u2) := (v1+v2, u1+u2 + ½ϕ(v1,v2))를 통해 F_p^n × F_p^m 위에 군 구조를 정의한다.
• 완전히 연결된 행렬 공간 구축법을 활용하여, 일부 교환형 행렬 공간 𝒜에 대해 λ(𝒜) < κ(𝒜)임을 보여, 두 매개변수 사이의 엄밀한 분리가 존재함을 증명한다.
• 유한체와 유리수 위의 선형대수학 결과를 적용하여, λ(P) < κ(P)인 예시를 구성하며, 이를 위해 체 확장의 정규 표현을 사용한다.

실험 결과

연구 질문

• RQ1 순서 2이고 지수 p인 p-군의 프레임워크 내에서 그래프 정점 연결성의 군론적 일반화가 존재하는가?
• RQ2 동일한 유형의 p-군에서 그래프의 간선 연결성이 군론적 불변량으로 정확히 기술될 수 있는가?
• RQ3 일반적인 순서 2이고 지수 p인 p-군 P에 대해 두 매개변수 κ(P)와 λ(P)의 관계는 어떠한가?
• RQ4 중심 몫과 부분군 분해의 맥락에서 κ(P)와 λ(P)는 어떻게 행동하는가?
• RQ5 이 매개변수들은 효율적으로 계산될 수 있으며, 그들의 구조적 및 계산적 성질은 무엇인가?

주요 결과

• 임의의 단순 무방향 그래프 G에 대해, 정점 연결성 κ(G)는 Baer-Lovász-Tutte 절차를 통해 G로부터 유도된 순서 2이고 지수 p인 p-군 PG에 대해 정확히 κ(PG)와 같다.
• 간선 연결성 λ(G)는 정확히 군 매개변수 λ(PG)와 같으며, 이는 그래프 불변량과 군 불변량 사이의 완전한 대칭성을 확립한다.
• 일반적으로 λ(P) < κ(P)를 만족하는 순서 2이고 지수 p인 p-군 P가 존재함을 보여, 두 매개변수는 일반적으로 동치가 아님을 입증한다.
• 임의의 홀수 소수 p와 s > 1인 차원에 대해, F_p 또는 Q 위의 차원 s의 완전히 연결된 행렬 공간이 존재하며, 이를 통해 λ(𝒜) < κ(𝒜)인 교환형 행렬 공간 𝒜를 구성할 수 있다.
• 이러한 행렬 공간의 구축은 F_p 또는 Q 위의 차원 s 체 확장의 정규 표현에 기반하며, 스칼라 결합에서의 모든 비영원소에 대해 최대 질량을 보장한다.
• 특정한 교환형 행렬 공간 𝒜에 대해, n = s + t 이고 d < n−1 인 완전히 연결된 s×t 행렬 공간을 기반으로 구성된 𝒜에 대해, κ(𝒜) = n−1 이고 λ(𝒜) ≤ d < n−1 임을 증명한다.