Recurrence in discrete-time quantum stochastic walks

기술 요약: 이산 시간 양자 확률적 보행에서의 재귀성

문제 정의
본 논문은 직선 위에서의 이산 시간 양자 확률적 보행(DTQSW)에서 재귀성(walker가 시작 위치로 돌아올 확률) 현상을 조사한다. 고전적 무작위 보행(RW)은 1차원 직선에서 재귀적이지만(확실하게 돌아옴), 유니터리 양자 보행(QW)은 파괴적 간섭으로 인해 전이적(return 확률이 1 미만)일 수 있다. 저자들은 유니터리 QW와 고전적 균형 RW 사이를 보간하는 DTQSW 모델을 탐구한다. 핵심 질문은 고전적 무작위성(stochasticity)을 양자 진화에 도입하는 것이 항상 재귀성을 향상시키는지, 아니면 직관과는 반대로 이를 억제할 수 있는지 여부이다. 본 연구는 밀도 행렬 진화와 관련된 느린 수렴 및 메모리 제약으로 인해 직접적인 수치 시뮬레이션으로 추정하기 어려운 점근적 재귀 확률을 정확하게 결정하는 문제를 다룬다.

방법론
저자들은 DTQSW를 완전 양의 보존(CPTP) 맵에 의해 제어되는 열린 양자계로 모델링한다. 진화는 세 개의 크라우스 연산자(Kraus operators)로 정의된다:

1. $\hat{E}_0 = \sqrt{1-p}\,\hat{U}$: 확률 $1-p$로 수행되는 유니터리 양자 보행 단계.
2. $\hat{E}_{1,2} = \sqrt{p/2}\,\hat{I}_c \otimes \hat{T}^{(\dagger)}$: 총 확률 $p$를 갖는 비결맞음(incoherent) 고전적 단계(좌/우 이동).

재귀성을 분석하기 위해, 저자들은 매 단계마다 원점에서 부분 투영 측정(partial projective measurement)을 수행하는 "모니터링된 재귀(monitored recurrence)" 접근 방식을 채택한다. 만약 walker가 원점에서 발견되면 과정이 중단되며, 그렇지 않으면 원점에서의 진폭은 지워지고 진화는 계속된다.

직접 시뮬레이션(밀도 행렬에 대해 CPTP 맵을 반복하는 방식, 이는 이차적인 메모리 스케일링과 느린 수렴을 초래함)의 한계를 극복하기 위해, 저자들은 초기의 첫 귀환 생성 함수(first-return generating functions, FR-functions) 이론을 활용한다. 저자들은 운동량 공간에서의 푸리에 변환을 사용하여 시스템의 스티엘체스 함수(Stieltjes function)를 유도한다. $z$가 1에 가까운 값(구체적으로 $z=0.99999$)에서 축소된 FR-함수 $F(z)$를 평가함으로써, 직접적인 반복 계산이 허용하는 것보다 훨씬 높은 정확도와 유효 단계 수($t_{eff} \approx 10^5$)로 점근적 재귀 확률 $R$을 근사한다.

또한, 본 연구는 고전적 성분이 상관된 무작위 보행(CRW)인 대안적 DTQSW 모델과 비교한다. CRW는 단계 전후에 코인 상태를 측정하여 결맞음 해제(decoherence)를 유도한다.

주요 기여 및 결과

1. 재귀 확률의 억제:
   주요 발견은 순수 고전적 극한($p=1$)이 재귀적임에도 불구하고, 유니터리 QW에 고전적 무작위성($p > 0$)을 도입하는 것이 순수 유니터리 케이스($p=0$)에 비해 재귀 확률을 감소시킬 수 있다는 것이다.

• 코인 각도 $\theta$가 $(\theta^*, \pi/2)$ 범위(여기서 $\theta^* \approx 0.2892\pi$)에 있을 때, 재귀 확률 $R(p)$는 비단조적(non-monotonic)이다. 즉, $p$가 0에서 증가함에 따라 처음에는 감소하여 "딥(dip)"을 형성한 후, $p \to 1$로 갈 때 1로 상승한다.
• 이러한 거동은 유한 시뮬레이션 시간의 일시적인 효과가 아니라 점근적 한계에서의 견고한 특징임이 확인되었다.

2. 간섭과 결맞음 해제의 역할:
   재귀 확률의 억제는 양자 간섭과 고전적 무작위성 사이의 상호작용에 기인한다. 딥(dip) 영역에서 고전적 단계를 추가하는 것은 유니터리 보행의 특정 간섭 패턴을 교란하여, 고전적 보행 자체가 재귀적임에도 불구하고 귀환 가능성을 낮춘다.

• 반면, 코인 상태를 측정하여 결맞음 해제를 일으키는 상관된 RW와 보간하는 대안 모델의 경우, 재귀 확률은 계단 함수 형태를 띤다: $p > 0$인 모든 경우에 $R(p) = 1$이다. 저자들은 코인 상태의 어떠한 결맞음 해제라도 고전적 재귀 행동을 강제한다는 결론을 내렸다.

3. 수치적 프레임워크:
   본 논문은 열린 양자계의 재귀를 평가하기 위한 생성 함수를 사용하는 견고한 수치적 프레임워크를 제공한다. 이 방법은 표준 시간 진화 시뮬레이션으로는 접근할 수 없는 점근적 특성을 조사할 수 있게 하며, 관찰된 억제가 실제적인 점근적 특징임을 입증한다.

의의
본 논문은 양자 시스템에 고전적 노이즈를 추가하는 것이 단순히 양자과 고전 사이의 간극을 단조롭게 메운다는 직관적인 개념에 도전한다고 주장한다. 대신, 특정 양자-고전 상호작용 레짐이 순수 양자 및 순수 고전 극한 모두와 구별되는 성능 특성(이 경우 감소된 재귀성)을 나타낼 수 있음을 보여준다.

저자들은 이러한 결과가 불필요한 귀환을 억제하거나 수송 특성을 변화시킴으로써, 부분 측정이 포함된 이산 시간 양자 보행의 서브루틴과 같은 작업에 있어 고전적 무작위성이 유익할 수 있음을 시사한다고 제안한다. 본 연구는 확률성을 도입하는 구체적인 메커니즘(예: 비결맞음 이동 vs 코인 결맞음 해제)이 보행의 재귀적 특성을 결정하는 데 매우 중요하다는 점을 강조한다.

연구는 실험적 구현에 대해서는 겸허한 입장을 유지하며, 광학적 구현이나 중간 회로 판독(mid-circuit readout)을 갖춘 초전도 큐비트가 잠재적 경로를 제공하지만, 현재의 NISQ 장치 노이즈 수준은 필요한 단계 수만큼의 효과를 입증하는 데 상당한 어려움이 있음을 언급하였다.