Quantum random walks on d-regular graphs with Haar-random coin operators

기술 요약: Haar-무작위 코인 연산자를 사용하는 d-정규 그래프 상의 양자 무작위 보행

문제 정의
본 논문은 $d$-정규 무방향 연결 단순 그래프 상에서의 이산 시간 양자 무작위 보행(QRW)을 조사한다. 표준 QRW는 간섭을 유도하기 위해 고정된 유니터리 코인 연산자(예: Hadamard 또는 Grover)를 사용하며, 이는 고전적 무작위 보행($\sigma^2 \propto t$)과는 구별되는 탄도성 확산($\sigma^2 \propto t^2$)을 보인다. 매 반복마다 코인 연산자가 고정되지 않고, Haar 측도에 따라 $U(d)$ 유니터리 군 위에서 독립적으로 추출되는 분포로부터 선택되는 경우를 다루는 변형된 모델을 본 연구는 다룬다. 이 "Haar-무작위" 코인이 양자 역학적 역학에 어떻게 영향을 미치는지, 즉 결과적인 평균 채널이 완전한 탈분극(모든 초기 상태 정보의 소멸)을 초래하는지, 아니면 특정 구조가 결맞음 해제(decoherence)에도 불구하고 초기 상태 정보의 지속을 허용하는지를 규명하는 것이 핵심 질문이다.

방법론
저자들은 $\mathbb{C}^d \otimes \mathbb{C}^N$의 이분 힐베르트 공간 상에서 보행을 구성하며, 여기서 $d$는 코인 공간(그래프의 차수)을, $N$은 정점 공간을 나타낸다.

1. 모델 정의: 보행은 유니터리 연산자 $\hat{U} = \Lambda_S (\hat{C} \otimes \hat{I}_N)$의 반복으로 정의된다. 여기서 $\Lambda_S$는 그래프의 에지 레이블링 함수 $w(j, v)$에 의해 결정되는 제어된 시프트 연산자이며, $\hat{C}$는 코인 연산자이다.
2. Haar-무작위 코인: 고정된 $\hat{C}$ 대신, 매 단계 $t$마다 $U(d)$ 상의 Haar 측도 $\mu_H$로부터 독립적으로 선택되는 코인 연산자 $\hat{V}$가 사용된다.
3. 평균 채널: 시스템을 분석하기 위해, 저자들은 코인 연산자 분포에 대한 양자 채널의 기댓값을 계산한다. 임의의 연산자 $O$에 대하여 $E_{U \in \mu_H}[U O U^\dagger] = \frac{\text{tr}(O)}{d} \hat{I}_d$라는 성질을 사용하여, 저자들은 "평균 양자 채널" $\bar{E}_{SV}$를 유도한다. 이 채널은 코인 부분 공간을 탈분극시키는 동시에 정점 부분 공간에 확률적 시프트를 적용함으로써 밀도 연산자 $\rho$에 작용한다.
4. 스펙트럼 분석: 저자들은 평균 채널의 초연산자(superoperator) 스펙트럼을 분석하여, 특히 고정점(고유값 1)과 주기-2 궤도(고유값 -1)를 조사한다. 이를 위해 순환 그래프(cycle graph), 하이퍼큐브(hypercube), 그리고 유한 아벨 군의 일반적인 케일리 그래프(Cayley graph)의 경우를 검토한다.
5. 분산 추정: 앙상블 형태의 이러한 보행들에 대한 정점 위치 측정의 분산을 추정하여 확산 거동을 결정한다.

주요 기여 및 결과

• 탈분극 대 정보 유지: 평균 채널 $\bar{E}_{SV}$는 코인 부분 공간에 탈분극 채널로 작용하여 코인 공간 내의 결맞음을 효과적으로 파괴한다. 결과적으로, 앙상블 보행의 정점 위치 분포는 공정한 코인(또는 균형 잡힌 $d$면 주사위)을 가진 고전적 무작위 보행과 유사하게 나타나며, 분산이 시간에 따라 선형적으로 증가하는 확산적 확산($\sigma^2 \propto t$)을 보인다.
• 비에르고디성(Non-Ergodicity): 주요 발견 중 하나는 평균 채널이 비에르고딕하다는 것이다. 일반적인 결맞음 해제 채널이 유일한 고정점(최대 혼합 상태)으로 수렴하는 것과 달리, 이 채널은 밀도 연산자 공간에 다수의 고정점을 가진다. 선형 독립적인 고정점의 개수는 정점의 개수 $N$(또는 케일리 그래프의 경우 군의 차수)과 같다.
• 초기 상태 정보의 지속: 코인 부분 공간이 탈분극됨에도 불구하고, 저자들은 정점 부분 공간에서의 측정을 통해 많은 반복 후에도 초기 양자 상태에 대한 정보를 드러낼 수 있음을 입증한다.
  • 순환 및 하이퍼큐브 그래프: 이러한 특정 그래프들(아벨 군의 케일리 그래프)에 대해, 저자들은 초기 상태가 특정 푸리에 기저 상태(예: 순환 그래프의 경우 $|k\rangle_F$와 $|k + N/2\rangle_F$, 하이퍼큐브의 경우 $|\tilde{0}\rangle_F$와 $|\tilde{1}\rangle_F$)의 중첩인 경우, 밀도 행렬의 비대각 항이 지속될 수 있음을 보여준다.
  • 고유값 -1: 채널이 고유값 -1을 갖는 고유 상태를 가질 때 정보는 지속된다. 이는 모든 비항등 군 원소가 짝수 차수를 가질 때만 아벨 군의 케일리 그래프에서 발생한다. 이 경우, 비대각 항은 감쇠하는 대신 진동(주기-2 궤도)하며, 이를 통해 정점 측정을 통해 초기 중첩의 각도를 회복할 수 있다.
  • 상관관계 측정: 고유값의 절댓값이 엄격히 1보다 작은 경우(주기-2 궤도가 없는 경우)에도, 저자들은 정점 위치 분포가 균일함에 접근하더라도 정점 쌍 간의 상관관계 측정을 통해 여전히 초기 중첩각 $\theta$를 밝혀낼 수 있다고 주장한다. 이는 채널이 정점 기저가 아닌 푸리에 기저에서 디페이징(dephasing)을 일으키기 때문이다.
• 분산 거동: 논문은 국소화된 초기 상태에 대해, Haar-무작위 보행의 정점 위치 측정 분산이 반복 횟수에 따라 선형적으로 증가함을 계산하며, 이는 결맞는 QRW의 탄도성 확산과 구별되는 고전적 확산 거동의 회복을 확인시켜 준다.

의의 및 주장
본 논문은 이 모델이 한 부분계(코인)가 고온 저장소와 같은 환경에 의해 강력하게 교란(탈분극)되지만, 다른 부분계(보행자/정점)에 대한 초기 상태 정보는 잠재적으로 영원히 측정 가능한 상태로 남을 수 있는, 이분 구조의 강하게 상호작용하는 시스템의 구체적인 사례를 제공한다고 주장한다.

저자들은 결합된 데코히런스(decoherence)로 인해, 이러한 보행들이 결맞는 상태의 탄도성 확산에 의존하는 양자 탐색 알고리즘에는 유용하지 않다고 명시적으로 밝힌다. 대신, 이 연구의 의의는 다음과 같다:

1. 강력하게 교란된 부분계를 가진 양자 시스템을 이해하기 위한 이론적 틀을 제공한다.
2. 특정 분포에 대한 평균화를 통해 고전적 무작위 보행(확산)이 어떻게 유니터리 양자 과정으로부터 출현할 수 있는지 보여준다.
3. 특정 부분 공간에서의 "결맞음 해제"가 글로벌 채널이 비에르고딕이고 특정한 스펙트럼적 성질(고유값 -1 또는 특정 디페이징 구조)을 가진다면 반드시 전체적인 초기 상태 정보의 완전한 상실을 의미하는 것은 아님을 입증한다.

본 연구는 새로운 실험적 하드웨어나 즉각적인 실용적 응용을 제안하기보다는, 분석적 도구(평균 채널, 아벨 군에 대한 푸리에 분석)를 사용한 이론적 탐구로서 제시된다.