[논문 리뷰] The Heun differential equation and the Gauss differential equation related to quantum walks

Norio Konno, Takuya Machida외 1명|arXiv (Cornell University)|2011. 09. 13.

Quantum Computing Algorithms and Architecture참고 문헌 29인용 수 5

한 줄 요약

이 논문은 선형 상에서 이산시간 및 연속시간 양자 산책의 극한 분포와 특수한 두 계열의 두 번째 차수 Fuchsian 미분방정식 사이의 직접적인 수학적 연결을 확립한다: 이산시간 산책의 경우 Heun 방정식(HE), 연속시간 산책의 경우 가우스 기저함수 방정식(GE)이다. 근사 밀도 함수로부터 이러한 방정식을 유도함으로써, 저자들은 이산시간 산책의 HE가 적절한 스케일링 극한에서 연속시간 산책의 GE로 축소됨을 보여주며, 미분방정식 이론을 통해 두 양자 산책 모델 간의 깊은 구조적 유사성을 드러낸다.

ABSTRACT

The limit theorems of discrete- and continuous-time quantum walks on the line have been intensively studied. We show a relation among limit distributions of quantum walks, Heun differential equations and Gauss differential equations. Indeed, we derive the second-order Fucksian differential equations which limit density functions of quantum walks satisfy. Moreover, using both differential equations, we discuss a relationship between discrete- and continuous-time quantum walks. Taking suitable limit, we can transform a Heun equation obtained from the limit density function of the discrete-time quantum walk to a Gauss equation given by that of the continuous-time quantum walk.

연구 동기 및 목표

• 기본 역학에는 존재하지 않지만 극한 분포에 나타나는 특이점의 기원을 이해하기 위해.
• 일차원 양자 산책의 극한 밀도 함수가 만족하는 두 번째 차수 Fuchsian 미분방정식을 유도하기 위해.
• 미분방정식을 이용하여 이산시간 및 연속시간 양자 산책 간의 수학적 다리를 구축하기 위해.
• 양자 산책, Heun 방정식, $BC_1$ Inozemtsev 모델과 같은 적분 가능 양자 시스템 간의 연결을 탐색하기 위해.

제안 방법

• 이산시간 양자 산책의 극한 밀도 함수가 만족하는 두 번째 차수 Fuchsian 미분방정식을 유도하고, 이를 Heun 방정식(HE)으로 식별하기 위해.
• 연속시간 양자 산책의 극한 밀도 함수가 가우스 기저함수 미분방정식(GE)을 만족함을 보여주기 위해.
• HE를 이산시간 산책에서 연속시간 산책의 GE로 변환하기 위한 한계 절차를 적용하여, 두 모델 간의 점근적 동치성을 입증하기 위해.
• 독립 변수의 변수 교환과 변환을 통해 HE를 $BC_1$ Inozemtsev 해밀토니안과 연결하기 위해.
• Weierstrass ℘-함수와 특정 매개변수 선택을 사용하여 HE를 $BC_1$ Inozemtsev 모델의 고유값 방정식으로 변환하기 위해.
• 밀도 함수에 $x^2 = z$를 대입함으로써 측도 이론적 대응을 수립하여, 각각 HE와 GE를 만족하는 가중치 함수를 도출하기 위해.

실험 결과

연구 질문

• RQ1 양자 산책의 극한 분포에서 관측된 특이점은 어떻게 수학적으로 설명될 수 있는가?
• RQ2 일차원 이산시간 양자 산책의 극한 밀도 함수를 지배하는 미분방정식은 무엇인가?
• RQ3 일차원 연속시간 양자 산책의 극한 밀도 함수를 지배하는 미분방정식은 무엇인가?
• RQ4 이산시간 산책의 극한 밀도에서 유도된 Heun 방정식은 한계 과정을 통해 연속시간 산책의 가우스 방정식으로 변환될 수 있는가?
• RQ5 Heun 방정식, 가우스 방정식, $BC_1$ Inozemtsev 적분 가능 양자 시스템 간의 연결은 무엇인가?

주요 결과

• 이산시간 양자 산책의 극한 밀도 함수는 네 개의 정상 특이점을 가지며, 매개변수 $\alpha=\beta=2$, $\gamma=\delta=\frac{3}{2}$, $\epsilon=\frac{3}{2}$, $q=\frac{3|a|^2+2}{2}$, $\theta=|a|^2$를 가진 Heun 방정식으로 식별되는 두 번째 차수 Fuchsian 미분방정식을 만족한다.
• 연속시간 양자 산책의 극한 밀도 함수는 매개변수 $\alpha=\beta=1$, $\gamma=\frac{3}{2}$를 가진 가우스 기저함수 미분방정식을 만족한다.
• 스케일링 극한에서 이산시간 산책의 Heun 방정식은 연속시간 산책의 가우스 방정식으로 축소되며, 이는 두 모델 간의 수학적 대응을 확인한다.
• 이산시간 산책의 극한 밀도에서 유도된 Heun 방정식은 특정 매개변수 $l_0=-\frac{1}{2}$, $l_1=0$, $l_2=-\frac{3}{2}$, $l_3=1$ 및 고유값 $\frac{2-|a|^2}{12}\{\wp(w_1)-\wp(-w_1-w_3)\}$를 가진 $BC_1$ Inozemtsev 해밀토니안의 고유값 방정식으로 변환될 수 있다.
• 이산시간 산책의 측도 $f^{(d)}(x)\,dx$에 $x^2 = z$를 대입하면, Heun 방정식을 만족하는 가중치 함수 $w^{(d)}(z)$를 얻는다.
• 연속시간 산책의 측도 $f^{(c)}(x)\,dx$에 $x^2/4\nu^2 = z$를 대입하면, 가우스 기저함수 방정식을 만족하는 가중치 함수 $w^{(c)}(z)$를 얻는다.