[논문 리뷰] Weak limit theorem for a nonlinear quantum walk

Masaya Maeda, Hironobu Sasaki외 3명|arXiv (Cornell University)|2018. 01. 20.

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

한 줄 요약

이 논문은 국소적 확률 진폭에 의존하는 비선형 코인 연산자를 갖는 비선형 양자 산책(NLQW)에 대한 약한 극한 정리(weak limit theorem)를 수립한다. 산란 이론과 스펙트럼 분석을 통해, 스케일링된 위치 $X_t/t$가 확률 변수 $V$로 분포 수렴함을 증명하며, 그 밀도는 $\mu_V(dv) = w(v) f_K(v; |a|) \, dv$로 주어진다. 여기서 $w(v)$는 점점 가까이 가는 상태 $u_+$에 의존하고, $f_K$는 콘노 함수(Konno function)로, 선형 양자 산책의 극한 행동을 비선형 영역으로 일반화한다.

ABSTRACT

This paper continues the study of large time behavior of a nonlinear quantum walk begun in arXiv:1801.03214. In this paper, we provide a weak limit theorem for the distribution of the nonlinear quantum walk. The proof is based on the scattering theory of the nonlinear quantum walk and the limit distribution is obtained in terms of its asymptotic state.

연구 동기 및 목표

• 비선형 양자 산책(NLQW)으로의 약한 극한 정리(WLT) 확장: 비선형 코인 연산자가 진폭에 의존함에 따라 비단위적이고 노름을 유지하는 동역학을 보이는 경우를 대상으로 한다.
• NLQW에서 스케일링된 위치 $X_t/t$의 장시간 행동을 기술하며, 선형 경우와 유사하게 $X_t/t$가 한정된 확률 변수로 분포 수렴함을 다루는 것.
• 산만 이론과 스펙트럼 이론을 활용하여 NLQW의 점점 가까이 가는 상태 $u_+$와 산술적 속도 분포 사이의 연결 고리를 설정하는 것.
• 기존의 콘노 함수 $f_K(v; |a|)$를 기반 밀도로 일반화하여, 점점 가까이 가는 상태에 의해 유도된 가중 함수 $w(v)$에 의해 조절되는 극한 분포를 도출하는 것.

제안 방법

• NLQW는 비선형 진동 연산자 $U = S\hat{C}$로 정의되며, $\mathcal{H} = l^2(\mathbb{Z}; \mathbb{C}^2)$ 위에서 정의된 노름을 유지하는 진폭에 의존하는 코인 연산자 $\hat{C}$를 포함한다.
• 동역학은 $u(t+1,x) = (\hat{P}u(t))(x+1) + (\hat{Q}u(t))(x-1)$로 기술되며, $\hat{P}, \hat{Q}$는 비선형 사상으로서 $\hat{C} = \hat{P} + \hat{Q}$가 $L^2$-노름을 유지하도록 한다.
• 산만 이론 적용: 약한 비선형성 하에서 $U(t)u_0$는 점점 가까이 가는 상태 $u_+$로 산만되며, 즉 $t \to \infty$일 때 $\|u(t) - U_0^t u_+\| \to 0$이 성립한다.
• 스케일링된 위치 $X_t/t$의 특성 함수는 $\mathbb{E}[e^{i\xi X_t/t}] = \langle U(t)u_0, e^{i\xi \hat{x}/t} U(t)u_0 \rangle$로 분석되며, 이는 점점 가까이 가는 속도 연산자 $\hat{v}_0$의 스펙트럼 측도와 관련된다.
• 점점 가까이 가는 속도 연산자 $\hat{v}_0$는 푸리에 변환과 스펙트럼 분해를 통해 정의되며, 블로흐 고유값 $\lambda_j(k)$로부터 유도된 고유값 $v_j(k)$를 갖는다.
• 스펙트럼 정리와 항등식 $G(\hat{v}_0) = \sum_{j,m} K_{j,m}^* \hat{G} K_{j,m}$를 활용하여 극한 분포를 유도하며, 여기서 $K_{j,m}$는 속도 영역으로 사상하는 적분 연산자이다.

실험 결과

연구 질문

• RQ1 진폭에 의존하는 코인 연산자를 갖는 비선형 양자 산책에서 위치 $X_t$의 장시간 분포는 어떻게 행동하는가?
• RQ2 선형 경우와 유사하게 $X_t/t$가 분포 수렴하는 약한 극한 정리를 비선형 양자 산책에 적용할 수 있는가?
• RQ3 점점 가까이 가는 상태 $u_+$와 비선형 코인의 구조에 따라 극한 속도 분포의 함수 형태는 무엇인가?
• RQ4 비선형 설정에서 콘노 함수 $f_K(v; |a|)$는 어떻게 유도되며, 가중 함수 $w(v)$는 어떤 역할을 하는가?

주요 결과

• 스케일링된 위치 $X_t/t$는 $t \to \infty$일 때 확률 변수 $V$로 분포 수렴하며, 이는 비선형 양자 산책에 대한 약한 극한 정리를 수립함을 의미한다.
• 극한 분포 $\mu_V$는 밀도 $\mu_V(dv) = w(v) f_K(v; |a|) \, dv$를 가지며, 여기서 $f_K$는 콘노 함수이고 $w(v)$는 점점 가까이 가는 상태 $u_+$에 의존한다.
• 가중 함수 $w(v)$는 명시적으로 $w(v) = \frac{1}{2} \sum_{j=1,2} \sum_{m=0,1} |(K_{j,m} u_+)(v)|^2$로 주어지며, $K_{j,m}$는 푸리에 변환과 역 블로흐 파동 함수를 통해 정의된다.
• 점점 가까이 가는 속도 연산자 $\hat{v}_0$는 블로흐 고유값 $\lambda_j(k)$로부터 구성되며, 그 스펙트럼 측도가 극한 분포를 결정한다.
• $X_t/t$의 특성 함수는 $\langle u_+, e^{i\xi \hat{v}_0} u_+ \rangle$로 수렴하며, 이는 $\mu_V$의 특성 함수와 일치하여 약한 수렴을 증명한다.
• 결과는 점점 가까이 가는 상태 $u_+$를 통해 비선형성을 통합하면서도 콘노 함수를 기저 핵심으로 유지함으로써 선형 양자 산책 극한 정리의 일반화를 이룬다.