[논문 리뷰] Absorption Probabilities for the Two-Barrier Quantum Walk

Eric Bach, Lev Borisov|arXiv (Cornell University)|2009. 01. 27.

Quantum Computing Algorithms and Architecture참고 문헌 3인용 수 6

한 줄 요약

이 논문은 유한 정수 격자 위의 두 장벽 히드로드 양자 산책에서 흠수 확률에 대한 명시적 폐형 공식을 유도하며, Watrous가 제기한 $ p_1^{(n)} $에 대한 선형 분수 재귀에 대한 추측을 해결한다. 생성함수와 잔여치 적분을 사용하여 저자들은 $ p_j^{(n)} = \frac{\sqrt{2}}{4} \frac{(A^{n-j} - B^{n-j})(A^{j-1} + B^{j-1})}{A^{n-1} + B^{n-1}} $ 를 증명한다. 여기서 $ A = 2 + \sqrt{2} $, $ B = 2 - \sqrt{2} $ 이며, 내부 시작점의 흡수 확률은 약 35.35%로 고전적 산책과는 뚜렷하게 대비된다.

ABSTRACT

Let p_j^(n) be the probability that a Hadamard quantum walk, started at site j on the integer lattice {0,...,n}, is absorbed at 0. We give an explicit formula for p_j^(n). Our formula proves a conjecture of John Watrous, concerning an empirically observed linear fractional recurrence relation for the numbers p_1^(n).

연구 동기 및 목표

• 0에서 n 사이의 유한 정수 격자에서 양자 산책이 0과 n에 위치한 흡수 장벽에서 시작하여, 위치 j에서 0에 흡수될 확률 $ p_j^{(n)} $에 대한 정확한 폐형 표현을 유도하는 것.
• Watrous가 제기한 $ p_1^{(n)} $이 선형 분수 재귀 $ p_1^{(n)} = \frac{1 + 2p_1^{(n-1)}}{2 + 2p_1^{(n-1)}} $ 를 만족함을 증명하는 것.
• 흡수 확률의 관측된 수치적 패턴을 설명하는 것, 특히 열과 대각선에 걸친 선형 분수 재귀와 행에 걸친 선형 재귀를 포함한다.
• 큰 $ n $ 에 대해 내부 위치 $ j = \alpha n $ 에서의 흡수 확률이 $ \frac{\sqrt{2}}{4} \approx 0.35355 $ 로 수렴함을 보여주며, 이는 고전적 산책과는 대비되는 더 균일한 공간 분포를 보임을 강조한다.

제안 방법

• 저자들은 경로 수를 세는 생성함수 접근법을 사용하며, $ f_j^{(n)}(z) $ 를 시작점 j에서 0으로 가는 경로에 대한 생성함수로 정의한다. 이때 경로의 부호는 연속된 'L' 이동(L 블록)의 수에 따라 결정된다.
• 재귀 관계를 유도한다: $ f_1^{(n)} = z \frac{1 - 2z f_1^{(n-1)}}{1 - z f_1^{(n-1)}} $ 과 $ j \geq 2 $ 에 대해 $ f_j^{(n)} = f_{j-1}^{(n-1)}(f_1^{(n)} - 2z) $ 로서, 생성함수의 순차적 계산을 가능하게 한다.
• 흡수 확률은 복소 폐곡선 적분을 통해 계산된다: $ p_j^{(n)} = \frac{1}{2\pi i} \int_{|z|=1/\sqrt{2}} |f_j^{(n)}(z)|^2 z^{-1} dz $, 이는 잔여치 이론을 통해 평가된다.
• 핵심 단계는 생성함수를 유리함수 $ r_k(t) $ 로 표현하고, $ t = -1/2 $ 에서의 잔여치를 계산하는 것으로, $ r_k(-1/2) = \frac{A^k - B^k}{2^{k+1/2}} $ 를 대입함으로써 최종 공식을 도출한다.
• 결과물의 결과 및 판별식에 대한 경계를 활용한 잔여치 근사 기반의 수치적 방법을 사용하여 $ n=20 $ 까지의 정확한 유리수 값 $ p_j^{(n)} $ 를 계산하며, 정확성과 효율성을 보장한다.
• 정수의 대수적 성질과 갈루아 이론의 성질을 활용하여 적분이 유리수를 산출함을 보이며, 수치 정밀도가 정확한 값을 식별하는 데 충분함을 보여준다.

실험 결과

연구 질문

• RQ1 두 장벽 히드로드 양자 산책에서 흡수 확률 $ p_j^{(n)} $ 에 대한 정확한 폐형 공식은 무엇인가?
• RQ2 수치적으로 관측된 재귀 $ p_1^{(n)} = \frac{1 + 2p_1^{(n-1)}}{2 + 2p_1^{(n-1)}} $ 는 모든 $ n \geq 2 $ 에 대해 성립하는가? 만약 그렇다면 그 이유는 무엇인가?
• RQ3 $ n \to \infty $ 일 때 흡수 확률은 어떻게 행동하는가? 특히 내부 시작점 $ j = \alpha n $ 에서의 행동은 어떻게 되는가?
• RQ4 관측된 열과 대각선에 걸친 선형 분수 재귀를 뒷받침하는 조합적 또는 대수적 구조는 무엇인가?

주요 결과

• 흡수 확률에 대한 정확한 공식은 $ p_j^{(n)} = \frac{\sqrt{2}}{4} \frac{(A^{n-j} - B^{n-j})(A^{j-1} + B^{j-1})}{A^{n-1} + B^{n-1}} $ 이며, 여기서 $ A = 2 + \sqrt{2} $, $ B = 2 - \sqrt{2} $ 이며, $ n \geq 1 $, $ 1 \leq j \leq n $ 에 대해 유효하다.
• 재귀 $ p_1^{(n)} = \frac{1 + 2p_1^{(n-1)}}{2 + 2p_1^{(n-1)}} $ 는 모든 $ n \geq 2 $ 에 대해 엄밀히 증명되어 Watrous의 추측을 확인한다.
• $ \lim_{n \to \infty} p_1^{(n)} = \frac{1}{\sqrt{2}} \approx 0.7071 $ 이 도출되었으며, 이는 왼쪽 장벽에서의 흡수 확률이 $ 1/\sqrt{2} $ 로 수렴함을 보여준다.
• 내부 시작점 $ j = \alpha n $ 에서, 0에서의 흡수 확률은 $ \frac{\sqrt{2}}{4} \approx 0.35355 $ 로 수렴하며, 이는 고전적 산책과는 대비되는 더 균일한 공간 분포를 나타낸다.
• 흡수 확률은 행에 걸쳐 선형 재귀를 만족한다: $ p_j^{(n)} - 7p_{j+1}^{(n)} + 7p_{j+2}^{(n)} - p_{j+3}^{(n)} = 0 $, $ 1 \leq j \leq n-3 $.
• 결과물 및 판별식에 대한 경계를 활용한 잔여치 근사 기반의 수치적 방법을 통해 $ n=20 $ 까지의 정확한 유리수 값 $ p_j^{(n)} $ 를 고도로 효율적이고 정확하게 계산할 수 있다.