[논문 리뷰] Determinants of adjacency matrices of graphs

Aliréza Abdollahi|ArXiv.org|2009. 08. 23.

Graph theory and applications참고 문헌 5인용 수 10

한 줄 요약

이 논문은 최대 9개의 정점을 가진 모든 비동형 그래프에 대한 인접행렬의 행렬식 집합을 조사하며, nauty와 GAP를 통해 정확한 값을 계산한다. 두 개의 사이클을 정확히 가진 그래프의 행렬식은 유한한 정수 집합에 국한되며, 최대 및 최소 행렬식에 대한 경계와 구조적 성질을 규명한다. 이는 그래프의 구조에 기반한 짝수성 및 약수 제약 조건을 포함한다.

ABSTRACT

We study the set of all determinants of adjacency matrices of graphs with a given number of vertices.

연구 동기 및 목표

• n ≤ 9인 모든 비동형 그래프의 인접행렬에 대해 가능한 행렬식 값의 전체 집합을 결정하기 위해.
• 최대 및 최소 행렬식 값인 αₙ과 βₙ을 특성화하고, 이들이 0 또는 비영임을 파악하기 위해.
• 그래프의 성질인 사이클 구조 및 이분성과 같은 요소에 기반한 행렬식에 대한 구조적 제약 조건(예: 짝수성 및 약수성)을 조사하기 위해.
• 주어진 크기 n인 그래프에서 나타날 수 없는 정수를 식별하기 위해.
• 크기 n과 n+1인 그래프의 행렬식 집합 간의 관계를 탐색하고, 특이 그래프 비율의 渐近적 행동을 분석하기 위해.

제안 방법

• Brendan McKay의 nauty 소프트웨어를 사용하여 최대 9개의 정점을 가진 모든 비동형 그래프를 계산하기 위해.
• GAP를 사용하여 각 그래프의 인접행렬 행렬식을 계산하여, DGₙ로의 정확한 행렬식 집합의 열거를 가능하게 하기 위해.
• 행렬 이론의 알려진 결과(예: Hadamard의 부등식 및 Ryser의 경계)를 적용하여 행렬식 크기의 이론적 상한을 도출하기 위해.
• 문헌 [1]의 정리 1.3을 활용하여, 특히 두 개의 사이클을 가진 그래프의 경우, 기본 도형(사이클과 간선의 분리합집합)을 통해 행렬식을 분석하기 위해.
• 경로로 연결된 사이클을 가진 두 개의 사이클을 가진 그래프의 구조적 분석을 수행하고, [1, 정리 2.11 및 2.12]에서 유도된 재귀적 행렬식 공식을 적용하기 위해.
• (0,1)-행렬의 성질과 그래프 불변량(예: Newman의 결과 및 그래프로의 확장)을 사용하여 약수성 및 짝수성 제약 조건을 유도하기 위해.

실험 결과

연구 질문

• RQ1 n ≤ 9인 그래프의 인접행렬에 대해 가능한 모든 행렬식 값의 완전한 집합은 무엇인가?
• RQ2 어떤 정수 m에 대해 n개의 정점을 가진 그래프 G가 존재하지 않아 det(G) = m가 되는가?
• RQ3 n > 3일 때 최대 행렬식 값 αₙ과 최소 행렬식 값 βₙ는 항상 양수 및 음수인가?
• RQ4 αₙ과 βₙ을 달성하는 그래프는 반드시 연결성 또는 정규성과 같은 특수한 구조적 성질을 가져야 하는가?
• RQ5 n → ∞일 때 특이 그래프의 비율이 1/2로 수렴하는가?

주요 결과

• n ≤ 9일 때, DGₙ의 모든 행렬식 값이 완전히 계산되고 표로 정리되었으며, 각 행렬식에 대한 정확한 중복도가 기록되었다.
• 모든 n > 2에 대해 최대 행렬식 αₙ은 양수이며, 모든 n > 3에 대해 최소 행렬식 βₙ은 음수이며, n ≥ 4일 때 αₙ > 0 및 βₙ < 0이다.
• 홀수 개의 정점을 가진 모든 그래프의 행렬식은 짝수이며, 홀수 개의 정점을 가진 모든 이분 그래프의 행렬식은 0이다.
• 정확히 두 개의 사이클을 가진 그래프의 모든 행렬식은 집합 {0, ±1, ±2, ±3, ±4, ±5, ±8, ±16}에 속한다.
• 두 개의 서로소인 홀수 길이의 사이클을 가진 그래프의 행렬식은 {−8, 0, 3, 5, 16}에 속하며, 연결된 두 사이클 그래프의 경우 행렬식 집합은 연결 경로의 길이에 따라 달라진다.
• 특이 그래프의 비율은 n이 증가함에 따라 급격히 증가하는 것으로 보이며, n → ∞일 때 이 비율의 극한 δ₀는 존재할 수 있으나 그 값은 아직 확정되지 않았다.