[논문 리뷰] Spanning Trees and Mahler Measure

Daniel S. Silver, Susan G. Williams|arXiv (Cornell University)|2016. 02. 08.

Graph theory and applications참고 문헌 13인용 수 6

한 줄 요약

이 논문은 cofinite free ℤ^d-대칭을 가진 무한 그래프의 渐近 복잡도와 그 그래프의 라플라시안 다항식의 로그 마일러 측도 사이의 정확한 연결 고리를 설정한다. 유한 몫에서의 스패닝 트리 수의 증가율이 m(Δ)로 주어지고, 비영일 경우 m(Δ(ℤ^d)) ≥ log 2임을 증명하며, d → ∞ 일 때의 渐近 행동으로서 m(Δ(ℤ^d)) ∼ log(2d)임을 보인다.

ABSTRACT

The complexity of a finite connected graph is its number of spanning trees; for a non-connected graph it is the product of complexities of its connected components. If $G$ is an infinite graph with cofinite free ${\mathbb Z}^d$-symmetry, then the logarithmic Mahler measure $m(Δ)$ of its Laplacian polynomial $Δ$ is the exponential growth rate of the complexity of finite quotients of $G$. It is bounded below by $m(Δ({\mathbb G}_d))$, where ${\mathbb G}_d$ is the grid graph of dimension $d$. The growth rates $m(Δ({\mathbb G}_d))$ are asymptotic to $\log 2d$ as $d$ tends to infinity. If $m(Δ(G)) e 0$, then $m(Δ(G)) \ge \log 2$. An application to determinant growth rates of families of alternating links arising from planar graphs is given.

연구 동기 및 목표

• cofinite free ℤ^d-대칭을 가진 무한 그래프의 유한 몫에서의 스패닝 트리 수의 渐近 증가율을 특성화하는 것.
• 이 증가율과 그래프의 라플라시안 다항식의 로그 마일러 측도 사이의 엄밀한 연결 고리를 설정하는 것.
• 이러한 그래프에 대해 가능한 최소 비영 측도를 결정하고, 하한으로 log 2를 증명하는 것.
• 차원 d가 증가함에 따라 격자 그래프 ℤ^d의 마일러 측도의 渐近 행동을 분석하는 것.
• ℤ^d-작용의 위상적 엔트로피를 통해 스패닝 트리 복잡도의 동역학계적 해석을 제공하는 것.

제안 방법

• 유한 그래프 G의 복잡도를 각 연결 성분 내 스패닝 트리 수의 곱으로 정의한다.
• 키르히호프의 매트릭스 트리 정리를 사용하여 라플라시안 행렬 L의 여인수를 통해 τ(G)를 계산한다.
• cofinite free ℤ^d-작용을 가진 무한 그래프에 대해, 라플라시안 다항식 Δ(G)을 ℤ[x₁±¹,…,x_d±¹]의 로렌트 다항식환에서 정의한다.
• 로그 마일러 측도 m(Δ)를 d-토러스 위의 적분으로 유도하여, 이는 점차적인 복잡도 증가율로 간주한다.
• 대수적 동역학을 적용하여 m(Δ)를 색채 모듈의 폰트리아진 쌍대군 위의 ℤ^d-작용의 위상적 엔트로피로 해석한다.
• 부등식과 적분 항등식(예: ∫₀¹ log|sin(πθ)| dθ = −log 2)을 사용하여 하한과 渐近 추정치를 도출한다.

실험 결과

연구 질문

• RQ1 cofinite free ℤ^d-대칭을 가진 무한 그래프의 유한 몫에서 스패닝 트리 수의 渐近 증가율은 무엇인가?
• RQ2 라플라시안 다항식의 로그 마일러 측도는 관련 ℤ^d-작용의 위상적 엔트로피와 어떻게 관련이 있는가?
• RQ3 이러한 그래프에 대해 m(Δ(G))의 가능한 최소 비영 값은 무엇이며, log 2로 하한이 존재하는가?
• RQ4 차원 d가 무한으로 갈 때 m(Δ(ℤ^d))는 어떻게 행동하는가?
• RQ5 격자 그래프 Δ(ℤ^d)의 마일러 측도는 상한으로 둘 수 있고, 渐近적으로 근사될 수 있는가?

주요 결과

• ℤ^d-대칭을 가진 그래프 G의 유한 몫에서의 점차적 복잡도 증가율은 정확히 로그 마일러 측도 m(Δ(G))이다.
• m(Δ(G)) ≠ 0 인 모든 이러한 그래프 G에 대해 m(Δ(G)) ≥ log 2 임이 성립하며, 이는 날카로운 하한을 제공한다.
• 격자 그래프 Δ(ℤ^d)의 마일러 측도는 d → ∞ 일 때 m(Δ(ℤ^d)) ∼ log(2d)를 만족하며, m(Δ(ℤ^d)) ≤ log(2d) 이다.
• 측도 m(Δ(ℤ^d))는 d차원 적분으로 주어진다: ∫₀¹⋯∫₀¹ log|2d − ∑ᵢ₌₁^d 2cos(2πθᵢ)| dθ₁⋯dθ_d.
• 큰 d에 대해, 차이 m(Δ(ℤ^d)) − log(2d)는 점점 0으로 수렴한다. 이는 渐近 전개와 대칭성 논증으로 증명된다.
• 하한 log 2 는 두 개의 간선 궤도와 하나의 정점 궤도를 가진 그래프에서 달성되며, 이 경우 라플라시안 다항식은 4 − x − x⁻¹ − x^s − x⁻^s 형태를 가진다.