[논문 리뷰] Graph complexity and Mahler measure

Daniel S. Silver, Susan G. Williams|arXiv (Cornell University)|2017. 01. 21.

Cellular Automata and Applications참고 문헌 1인용 수 8

한 줄 요약

이 논문은 d-주기적 그래프의 라플라시안 다항식의 마勒 측도와 그래프의 라플라시안 군의 토르션 부분군의 순서로 정의된 그래프 복잡도 사이의 깊은 연결 고리를 설정한다. 마勒 측도가 유한 몫의 복잡도의 지수 성장률과 일치함을 보이며, 정수 계수 다항식의 최소 마勒 측도에 관한 레이머의 추측이 ±1 간선 가중치를 가진 1-주기적 그래프에서의 복잡도 성장에 관한 질문과 동치임을 증명한다.

ABSTRACT

The (torsion) complexity of a finite edge-weighted graph is defined to be the order of the torsion subgroup of the abelian group presented by its Laplacian matrix. When G is d-periodic (i.e., G has a free action of the rank-d free abelian group by graph automorphisms, with finite quotient) the Mahler measure of its Laplacian determinant polynomial is the growth rate of the complexity of finite quotients of G. Lehmer's question, an open question about the roots of monic integral polynomials, is equivalent to a question about the complexity growth of edge-weighted 1-periodic graphs.

연구 동기 및 목표

• 유한한 간선 가중치가 부여된 그래프의 라플라시안 행렬의 토르션 부분군을 통해 (토르션) 복잡도를 정의하고 연구하기.
• d-주기적 그래프에 대해 라플라시안 행렬식 다항식의 마勒 측도를 사용하여 이 복잡도를 확장하기.
• d-주기적 그래프의 유한 몫에서의 복잡도 성장률이 마勒 측도로 측정됨을 확립하기.
• 정수 계수 다항식의 최소 마勒 측도에 관한 레이머의 추측이 ±1 간선 가중치를 가진 1-주기적 그래프에서의 복잡도 성장에 관한 질문과 동치임을 보여주기.
• 비가중치 d-주기적 그래프에 대한 새로운 결과 제공, 복잡도 성장률의 상한과 격자 그래프의 渐近적 행동 포함

제안 방법

• 유한한 간선 가중치가 부여된 그래프에 대해 라플라시안 행렬 $ L_G $ 를 정의하고, 이를 사용해 토르션 부분군의 순서를 계산함으로써 (토르션) 복잡도 $ \kappa_G $ 를 정의하기.
• d-주기적 그래프에 대해 변수 $ x_1^{\pm 1}, \dots, x_d^{\pm 1} $ 를 사용해 라플라시안 연산자를 정의하고, $ L_G $ 의 행렬식으로 라플라시안 다항식 $ D_G $ 를 유도하기.
• 논문 [28] 의 주요 결과를 적용하여 마勒 측도 $ M(D_G) $ 가 $ G $ 의 유한 몫 $ G_\lambda $ 에서의 $ \kappa_{G_\lambda} $ 의 지수 성장률과 일치함을 보이기.
• 행렬 트리 정리와 소수의 성질을 이용해 $ \kappa_G $ 를 $ L_G $ 의 주소분할 행렬식의 절대값과 연결하기, 특히 $ \tau_G = 0 $ 인 경우에 중점 두기.
• 알론의 정리(정규 그래프에 대한)를 적용해 유한 몫의 나무 복잡도 $ \tau_{G_\lambda} $ 의 상한을 구하고 성장률의 渐近적 행동 유도하기.
• 삼각함수 항등식과 적분 표현을 사용해 두 간선 궤도를 가진 1-주기적 그래프에 대해 $ \log M(D_{G'}) $ 를 평가하고, $ \log M(D_{G'}) \geq \log 2 $ 를 증명하기.

실험 결과

연구 질문

• RQ1 d-주기적 그래프의 라플라시안 다항식의 마勒 측도는 그 유한 몫에서의 복잡도 성장률과 어떻게 관련이 있는가?
• RQ2 레이머의 추측은 ±1 간선 가중치를 가진 1-주기적 그래프에서의 최소 복잡도 성장률에 관한 질문과 동치인가?
• RQ3 d차원 격자 그래프 $ \mathbb{G}_d $ 의 복잡도 성장률의 渐近적 행동은 $ d \to \infty $ 일 때 어떻게 되는가?
• RQ4 두 간선 궤도를 가진 1-주기적 그래프의 라플라시안 다항식의 마勒 측도는 $ \log 2 $ 이상으로 아래로 유계입니까?
• RQ5 d-주기적 그래프에서 간선 압축과 몫 연산에 따른 복잡도 성장률은 어떻게 행동하는가?

주요 결과

• d-주기적 그래프 $ G $ 의 라플라시안 다항식 $ D_G $ 의 마勒 측도는 그 유한 몫 $ G_\lambda $ 의 토르션 복잡도 $ \kappa_{G_\lambda} $ 의 지수 성장률과 일치한다.
• ±1 간선 가중치를 가진 1-주기적 그래프에서는 복잡도 성장률이 $ \log 2 $ 이상으로 유계이며, 특수한 경우에만 등호가 성립한다.
• 레이머의 추측은 모든 ±1 간선 가중치를 가진 1-주기적 그래프에서 복잡도 성장률의 하한이 양수임을 나타내는 문장과 동치이다.
• d차원 격자 그래프 $ \mathbb{G}_d $ 의 복잡도 성장률 $ \gamma_{\mathbb{G}_d} $ 는 $ \gamma_{\mathbb{G}_d} \leq \log 2d $ 를 만족하며, $ d \to \infty $ 의 극한에서만 등호가 성립한다.
• 임의의 1-주기적 그래프 $ G $ 가 비영 복잡도 성장률을 가질 경우 $ \gamma_G \geq \log 2 $ 이며, 등호는 $ G $ 가 나무이거나 특정한 두 궤도 구조를 가질 때에만 성립한다.
• 두 간선 궤도 $ r=1, s $ 를 가진 1-주기적 그래프의 라플라시안 다항식의 마勒 측도는 $ \log 8 + \int_0^1 \log|\sin(\pi\theta)| d\theta + \int_0^1 \log|\sin(\pi s\theta)| d\theta $ 로 유계이며, 이 값은 최소 $ \log 2 $ 이상이다.