[논문 리뷰] Walk/Zeta Correspondence

Takashi Komatsu, Norio Konno외 1명|arXiv (Cornell University)|2021. 04. 21.

Quantum Computing Algorithms and Architecture참고 문헌 15인용 수 4

한 줄 요약

이 논문은 푸리에 분석을 통해 d차원 토러스 위의 넓은 범주에 속하는 산책—랜덤 워크, 상관 랜덤 워크, 양자 워크, 개방 양자 랜덤 워크 포함—에 대한 워크/제타 대응을 수립한다. 산책 유형의 제타 함수에 대한 명시적 공식을 유도하며, 이는 이전의 그로버/제타 대응 결과를 일반화하고, 무한 크기 근사에서余弦 항을 포함하는 적분 표현으로 수렴함을 보여준다.

ABSTRACT

Our previous work presented explicit formulas for the generalized zeta function and the generalized Ihara zeta function corresponding to the Grover walk and the positive-support version of the Grover walk on the regular graph via the Konno-Sato theorem, respectively. This paper extends these walks to a class of walks including random walks, correlated random walks, quantum walks, and open quantum random walks on the torus by the Fourier analysis.

연구 동기 및 목표

• d차원 토러스 위의 랜덤 워크, 상관 랜덤 워크, 개방 양자 랜덤 워크를 포함한 더 넓은 산책 유형으로 그로버/제타 대응을 확장하는 것.
• 콘노-사토 정리의 범위를 넘어서 F-형 및 M-형 동역학을 갖는 산책을 위한 통합 프레임워크를 푸리에 분석을 통해 개발하는 것.
• 산책 유형의 제타 함수에 대한 명시적 표현과 토러스 크기 N → ∞일 때의 점근적 행동을 유도하는 것.
• 개방 양자 랜덤 워크를 일반화된 산책 모델의 특수 케이스로 포함시키는 것.

제안 방법

• 일반적인 2d×2d 코인 행렬 A를 사용하여 d차원 토러스 위의 2d-상태 이산 시간 산책을 수식적으로 정의한다.
• 토러스의 이동 대칭성을 활용하여 산책 동역학을 분석하기 위해 푸리에 변환 기법을 적용한다.
• 산책 진동자 연산자를 P_j 투영과 코인 행렬 A가 이동된 상태에 작용하는 성분들로 분해한다.
• 경로 수세기와 스펙트럼 분석을 통해 산책 유형의 제타 함수를 도출하며, N → ∞ 근사에서 적분 표현을 이끌어낸다.
• 균일 측도를 [0, 2π)^d에 적용하여 점근적 제타 함수를 여측 함수를 포함하는 다변수 적분으로 표현한다.
• 전이 연산자의 스펙트럼 측도와 제타 함수 간의 등가성을 수립하여 이전의 그로버 워크에 대한 결과를 일반화한다.

실험 결과

연구 질문

• RQ1 그로버 워크를 초월하여 랜덤 워크, 상관 랜덤 워크, 개방 양자 랜덤 워크를 포함한 토러스 위의 산책 유형에 대해 그로버/제타 대응을 어떻게 일반화할 수 있는가?
• RQ2 d차원 토러스 위의 F-형 및 M-형 동역학을 갖는 산책 유형에 대해 푸리에 분석이 제타 함수 유도에 어떤 역할을 하는가?
• RQ3 토러스 크기 N → ∞일 때 이러한 산책의 점근적 산책 유형 제타 함수의 형태는 어떻게 되는가?
• RQ4 유도된 제타 함수는 토러스 위의 전이 연산자 또는 라플라스 연산자의 스펙트럼 측도와 어떻게 관련되는가?
• RQ5 무한 크기 근사에서 일반화된 제타 함수를 여측 항을 포함하는 다변수 적분으로 표현할 수 있는가?

주요 결과

• d차원 토러스에 대한 산책 유형 제타 함수는 N → ∞ 근사에서 [0, 2π)^d 위의 d중 적분으로 수렴하며, 이는 여측 항에 의존하는 로그 커널을 포함한다.
• 일반화된 제타 함수의 극한은 (1−u²)^{d−1} 곱하기, 균일 측도에 대한 적분 ∫ log{(1+u²) − (2u/d)∑_{j=1}^d cosθ_j} 의 지수함수 형태로 주어진다.
• 일반화된 이하라 제타 함수의 극한은 (1−u²)^{d−1} 곱하기, 동일 도메인에서 ∫ log{(1+(2d−1)u²) − 2u∑_{j=1}^d cosθ_j} 의 지수함수 형태로 주어진다.
• 2차원의 경우 점근적 제타 함수는 (1−u²) 곱하기, [0,2π)² 위에서의 이중 적분 ∫∫ log{(1+u²)−u(cosθ₁+cosθ₂)} 의 지수함수 형태로 표현된다.
• 결과는 이전의 그로버/제타 대응 결과를 복원하고 일반화한다. 특히 토러스 위의 그로버 워크와 그 양의 지지 집합을 갖는 변형에 대해 성립한다.
• 이 프레임워크는 개방 양자 랜덤 워크를 특수 케이스로 포함하여, 비유니터리이고 소산적인 양자 과정까지 제타 함수 분석의 범위를 확장한다.