이산시간 양자보행의 에르고딕성

본 논문은 정수 격자 ℤᵈ 위에서 정의되는 동질적·유한 범위 이산시간 양자보행(Discrete‑Time Quantum Walk, DTQW)의 에르고딕성을 체계적으로 연구한다. 서론에서는 양자보행이 고전적 랜덤워크와 달리 유니터리 연산에 의해 진행되며, 초기 국소 상태가 장시간에 걸쳐 격자 전체에 균등하게 퍼지는 현상이 “양자 에르고딕성”이라고 정의된다는 점을 강조한다. 기존 연구는 주로 유한 그래프에서의 시간 평균을 다루었으며, 무한 격자에 대한 대규모 한계(N→∞)와 스펙트럼 조건 사이의 정확한 연결고리는 부족했다. 저자들은 이를 보완하기 위해 두 단계의 주요 결과를 제시한다. 첫 번째 단계는 일반적인 d 차원 DTQW에 대한 “일반 기준”을 제시한다. 연산자 U는 (1.1)–(1.2)식으로 정의되며, 각 성분은 유한 집합 F⊂ℤᵈ에 대한 이동 연산자 Sₚ와 복소 계수 Uᵢⱼ(p)의 선형 결합이다. 푸리에 변환을 적용하면 U는 토러스 Tᵈ 위의 단위 행렬 함수 b_U(θ)와 동등해진다. 이때 고유값 Eₛ(θ) (s=1,…,ν)는 밴드 구조를 형성한다. 저자들은 “No Repeating Graphs”(NRG)라는 새로운 스펙트럼 조건을 도입한다. NRG는 임의의 정수 m과 밴드 인덱스 s,w에 대해 \