Returning walks on a lattice are sequences of moves that start at a given lattice site and return to the same site after $n$ steps. Determining the total number of returning walks of a given length $n$ is a typical graph-theoretical problem with connections to lattice models in statistical and condensed matter physics. We derive analytical expressions for the returning walk numbers on the eleven two-dimensional Archimedean lattices by developing a connection to the theory of Bloch energy bands. We benchmark our results through an alternative method that relies on computing the moments of adjacency matrices of large graphs, whose construction we explain explicitly. As condensed matter physics applications, we use our formulas to compute the density of states of tight-binding models on the Archimedean lattices and analytically determine the asymptotics of the return probability. While the Archimedean lattices provide a sufficiently rich structure and are chosen here for concreteness, our techniques can be generalized straightforwardly to other two- or higher-dimensional Euclidean lattices.
논문 ID : 2507.12662제목 : Walking on Archimedean Lattices: Insights from Bloch Band Theory저자 : Davidson Noby Joseph, Igor Boettcher (앨버타 대학교)분류 : cond-mat.stat-mech, cond-mat.mes-hall, cond-mat.str-el, math-ph, math.MP발표 시간 : 2025년 1월 (arXiv 프리프린트)논문 링크 : https://arxiv.org/abs/2507.12662 본 논문은 격자 위의 복귀 보행 문제를 연구한다. 즉, 주어진 격자점에서 출발하여 n단계 후 원점으로 돌아오는 경로 수열을 다룬다. 저자들은 블로흐 띠 이론과의 연결을 확립하여 11가지 2차원 아르키메데스 격자 위의 복귀 보행 수량에 대한 해석적 표현식을 유도했다. 연구 결과는 대규모 그래프 인접 행렬의 거듭제곱을 계산하는 대체 방법으로 검증되었다. 응축 물질 물리학 응용으로서, 저자들은 이러한 공식을 이용하여 아르키메데스 격자 위의 긴밀 결합 모델의 상태 밀도를 계산했으며, 복귀 확률의 점근 거동을 해석적으로 결정했다.
핵심 문제 : 격자 위의 길이 n인 복귀 보행의 총 개수를 결정하는 것으로, 이는 통계 물리학 및 응축 물질 물리학의 격자 모델에서 중요한 응용을 갖는 전형적인 그래프 이론 문제이다.물리적 의의 :복귀 보행 수량은 상태 밀도(DOS)와 직접 관련되며, 후자는 전자 재료의 물성을 기술하는 핵심 물리량이다 복귀 확률은 통계 모델의 과도 거동 및 무질서 고체의 앤더슨 국소화에서 중요한 역할을 한다 격자 양자 모델의 이산 경로 적분을 정의하는 데 사용될 수 있다 기존 방법의 한계 :복잡한 격자 구조의 경우 단순한 조합론적 방법을 적용하기 어렵다 전통적인 직접 계산 방법은 고차원 또는 큰 단위 셀의 경우 계산 복잡도가 과도하게 높다 다양한 유형의 주기적 타일링을 처리하는 통일된 이론적 틀이 부족하다 연구 동기 :아르키메데스 격자는 가장 광범위하게 연구되는 평면 격자(정사각형, 삼각형, 벌집, kagome 격자 등)를 포함한다 그래프 이론 문제와 물리적 띠 이론 사이의 다리를 구축하여 계산을 위한 새로운 이론적 도구를 제공한다 더 일반적인 2차원 또는 고차원 유클리드 격자에 적용 가능한 기술을 제공한다 복귀 보행 수량과 블로흐 띠 이론 사이의 근본적 연결을 확립 하고 핵심 공식을 유도했다:
S n = 1 N u ∫ k Tr [ A ( k ) n ] S_n = \frac{1}{N_u}\int_k \text{Tr}[A(k)^n] S n = N u 1 ∫ k Tr [ A ( k ) n ] 모든 11가지 아르키메데스 격자의 복귀 보행 수량을 체계적으로 계산 하여 명시적 공식 또는 생성함수를 제공했다개방 경계 조건과 주기 경계 조건을 지원하는 대규모 유한 그래프(플레이크 및 클러스터) 구성을 위한 범용 방법을 개발 했다7가지 아르키메데스 격자의 상태 밀도 해석적 표현식을 계산 했으며, 일부는 처음 보고되는 결과이다복귀 확률의 점근 거동을 결정 하여 p n ∼ α / n p_n \sim \alpha/n p n ∼ α / n 의 보편적 형태를 얻었다주어진 주기적 격자에 대해 복귀 보행 수량을 S n ( i ) = ( A n ) i i S_n^{(i)} = (A^n)_{ii} S n ( i ) = ( A n ) ii 로 정의한다. 여기서 A A A 는 인접 행렬이다. 꼭짓점 추이적 아르키메데스 격자의 경우, S n = S n ( i ) S_n = S_n^{(i)} S n = S n ( i ) 는 시작점과 무관하다.
N u N_u N u 개의 원자를 갖는 단위 셀의 주기적 타일링에 대해, 블로흐 인접 행렬 A ( k ) A(k) A ( k ) 는 N u × N u N_u \times N_u N u × N u 행렬이며, 행렬 원소는 다음과 같다:
A ( k ) i u j u = ∑ v ⟨ i u ∣ A ^ T ^ v ∣ j u ⟩ e − i v ⋅ k A(k)_{i_u j_u} = \sum_v \langle i_u|\hat{A}\hat{T}_v|j_u\rangle e^{-iv \cdot k} A ( k ) i u j u = ∑ v ⟨ i u ∣ A ^ T ^ v ∣ j u ⟩ e − i v ⋅ k
엄밀한 수학적 유도를 통해 다음을 증명했다:
S n ( i u ) = ∫ k [ A ( k ) n ] i u i u S_n^{(i_u)} = \int_k [A(k)^n]_{i_u i_u} S n ( i u ) = ∫ k [ A ( k ) n ] i u i u
이 항등식은 무한 격자 위의 조합론적 문제를 브릴루앙 영역 위의 유한 차원 행렬 적분으로 변환한다.
블로흐 생성함수를 다음과 같이 정의한다:
G ( z , k ) = 1 N u Tr ( 1 1 − z A ( k ) ) G(z,k) = \frac{1}{N_u}\text{Tr}\left(\frac{1}{1-zA(k)}\right) G ( z , k ) = N u 1 Tr ( 1 − z A ( k ) 1 )
그러면 다음이 성립한다:
G ( z ) = ∫ k G ( z , k ) = ∑ n ≥ 0 S n z n G(z) = \int_k G(z,k) = \sum_{n \geq 0} S_n z^n G ( z ) = ∫ k G ( z , k ) = ∑ n ≥ 0 S n z n
이론적 돌파 : 그래프 이론의 복귀 보행 문제와 응축 물질 물리학의 블로흐 띠 이론 사이의 심층적 연결을 처음으로 체계적으로 확립했다계산 방법의 혁신 :상수 부분 추출 방법을 사용하여 운동량 적분을 평가하는 순수 대수적 기법을 개발했다 복잡한 격자의 경우, 행렬 역의 대각 원소를 계산하여 고유값의 명시적 계산을 피했다 구성 방법 : 임의의 크기의 유한 그래프를 구성하기 위한 범용 주 공식(56)을 제안했다:
A p , q = ( 1 p ⊗ 1 q ) ⊗ A u + ∑ d [ ( R p ( d ) ⊗ R q ( d ) ) ⊗ Γ ( d ) + h.c. ] A_{p,q} = (1_p \otimes 1_q) \otimes A_u + \sum_d [(R_p^{(d)} \otimes R_q^{(d)}) \otimes \Gamma^{(d)} + \text{h.c.}] A p , q = ( 1 p ⊗ 1 q ) ⊗ A u + ∑ d [( R p ( d ) ⊗ R q ( d ) ) ⊗ Γ ( d ) + h.c. ] 11가지 아르키메데스 격자 :
이분 격자 : 정사각형(Square), 벌집(Honeycomb), CaVO, SHD비이분 격자 : 삼각형(Triangular), Kagome, Trellis, Star, SrCuBO, Ruby, Maple-Leaf이론적 계산 : 블로흐 인접 행렬 및 생성함수 방법 사용수치 검증 : 대규모 유한 그래프를 구성하고 인접 행렬의 거듭제곱 계산수렴성 검사 : p , q p, q p , q 매개변수를 증가시켜 S n S_n S n 의 수렴성 검증Mathematica 등의 계산 대수 소프트웨어를 사용하여 행렬 역 계산 Cayley-Hamilton 정리를 통해 처음 몇 차수의 모멘트로부터 생성함수 계산 브릴루앙 영역 적분을 위해 2500개의 균등 샘플링 점 사용 모든 11가지 격자의 복귀 보행 수열을 성공적으로 계산했다. 예를 들어:
정사각형 격자 : S 2 n = ( 2 n n ) 2 S_{2n} = \binom{2n}{n}^2 S 2 n = ( n 2 n ) 2 벌집 격자 : S 2 n = ∑ l = 0 n ( 2 l l ) ( n l ) 2 S_{2n} = \sum_{l=0}^n \binom{2l}{l}\binom{n}{l}^2 S 2 n = ∑ l = 0 n ( l 2 l ) ( l n ) 2 삼각형 격자 : S n = ∑ l = 0 n ( n l ) ( − 3 ) n − l S 2 l ( H ) S_n = \sum_{l=0}^n \binom{n}{l}(-3)^{n-l}S_{2l}^{(H)} S n = ∑ l = 0 n ( l n ) ( − 3 ) n − l S 2 l ( H ) 7가지 격자의 상태 밀도 해석적 표현식을 획득했다:
정사각형 격자 : D □ ( E ) = 1 2 π 2 K ( 1 − E 2 16 ) D_\square(E) = \frac{1}{2\pi^2}K(1-\frac{E^2}{16}) D □ ( E ) = 2 π 2 1 K ( 1 − 16 E 2 ) 벌집 격자 : D H ( E ) = 2 ∣ E ∣ π 2 Z 0 ( E ) K ( Z 1 ( E ) Z 0 ( E ) ) D_H(E) = \frac{2|E|}{\pi^2\sqrt{Z_0(E)}}K(\frac{Z_1(E)}{Z_0(E)}) D H ( E ) = π 2 Z 0 ( E ) 2∣ E ∣ K ( Z 0 ( E ) Z 1 ( E ) ) 복귀 확률의 점근 계수 α \alpha α 를 결정했다:
이분 격자 : S 2 n ∼ α q 2 n 2 n S_{2n} \sim \alpha \frac{q^{2n}}{2n} S 2 n ∼ α 2 n q 2 n 비이분 격자 : S n ∼ α q n n S_n \sim \alpha \frac{q^n}{n} S n ∼ α n q n 구체적인 수치로는 정사각형 격자의 α = 2 π \alpha = \frac{2}{\pi} α = π 2 , 삼각형 격자의 α = 3 2 π \alpha = \frac{\sqrt{3}}{2\pi} α = 2 π 3 등이 있다.
수치적 일관성 : 이론적 계산 결과와 대규모 유한 그래프의 수치 계산이 완전히 일치한다기존 결과 재현 : 정사각형, 벌집, 삼각형, kagome 격자의 알려진 수열을 성공적으로 재현했다새로운 수열 발견 : 나머지 7가지 격자에 대해 처음으로 완전한 복귀 보행 수열을 계산했다조합론적 방법 : 정사각형 격자 같은 단순 격자에만 적용 가능인접 행렬 방법 : A n A^n A n 을 직접 계산하지만 대규모 시스템에서는 계산이 어렵다연분수 방법 : Lanczos 알고리즘을 통해 구성하지만 수치 반올림 오차가 존재한다스펙트럼 모멘트 정리 : 본 논문의 결과는 보편적 스펙트럼 모멘트 정리의 특수한 경우로 볼 수 있다경로 적분 : 이산 경로 적분 이론과 관련이 있다초기하 함수 : 타원 적분 및 초기하 함수 이론과 밀접한 관련이 있다통일된 틀 : 모든 아르키메데스 격자를 처리하는 통일된 방법을 제공한다해석적 결과 : 수치 근사가 아닌 정확한 해석적 표현식을 획득했다물리적 통찰 : 그래프 이론과 띠 이론의 심층적 연결을 드러낸다이론적 기여 : 복귀 보행 문제와 블로흐 띠 이론 사이의 근본적 연결을 확립했다계산 성과 : 11가지 아르키메데스 격자의 복귀 보행 수량을 완전히 계산했다응용 가치 : 상태 밀도 계산 및 점근 분석을 위한 새로운 도구를 제공했다적용 범위 : 주로 대칭적 결정학적 타일링에 적용되며, 비주기적 구조에는 적용되지 않는다계산 복잡성 : 큰 단위 셀(예: SHD의 12개 원자)의 경우 해석적 계산이 여전히 복잡하다차원 제한 : 이론적으로는 고차원으로 확장 가능하지만 구체적인 계산의 복잡도는 현저히 증가한다응용 확대 : Laves 격자 및 기타 주기적 타일링으로 확장비유클리드 기하학 : 쌍곡 격자 등 비유클리드 타일링에 응용관련 문제 : 자회피 보행, 면적 제약이 있는 보행 등 관련 조합론적 문제로 확장물리적 응용 : 2차원 이징 모델의 임계 온도 및 자유 에너지 계산에 응용이론적 혁신성 : 그래프 이론과 띠 이론의 연결을 처음으로 체계적으로 확립하여 중요한 이론적 가치를 갖는다계산의 완전성 : 모든 아르키메데스 격자를 포괄하며 완전한 데이터 집합을 제공한다방법의 보편성 : 개발된 기술은 다른 주기적 타일링으로 확장 가능하다물리적 의의 : 결과는 상태 밀도 계산 등 응축 물질 물리학 문제에 직접 응용된다수학적 엄밀성 : 유도가 엄밀하며 상세한 수학적 증명을 포함한다참신성의 제한 : 핵심 항등식(68)은 어느 정도 알려진 스펙트럼 모멘트 정리의 응용으로 볼 수 있다계산 효율 : 일부 복잡한 격자의 경우 계산이 여전히 기호 계산 소프트웨어에 의존한다실험 검증 부족 : 실제 물리 실험과의 비교 검증이 없다응용의 깊이 : 도구를 제공하지만 구체적인 물리 문제에서의 심층적 응용은 제한적이다학술적 가치 : 그래프 이론, 수학 물리학, 응축 물질 물리학의 교차 연구에 새로운 범례를 제공한다실용적 가치 : 재료 과학의 상태 밀도 계산을 위한 새로운 도구를 제공한다재현성 : 상세한 계산 방법과 결과를 제공하여 검증 및 응용을 용이하게 한다영감 제공 : 관련 조합론적 문제의 연구에 새로운 사고 방식을 제시한다이론 연구 : 격자 모델, 통계 물리학, 그래프 이론 연구재료 계산 : 신형 2차원 재료의 전자 구조 계산알고리즘 개발 : 대규모 희소 행렬 고유값 문제의 새로운 알고리즘교육 응용 : 수학 물리학 교차 분야의 전형적인 사례로 활용논문은 75편의 관련 문헌을 인용하고 있으며, 고전적인 Pólya 무작위 보행 이론부터 최신의 쌍곡 격자 연구까지 포괄하여 이 분야의 역사적 발전과 현재의 최전선을 반영한다. 중요한 참고 문헌으로는 Wallace의 흑연 띠 이론, Kitaev의 양자 스핀 액체 모델, 그리고 최근의 쌍곡 격자 실험 연구 등이 있다.