[논문 리뷰] An Explicit Construction of Quantum Expanders

Avraham Ben-Aroya, Oded Schwartz외 1명|ArXiv.org|2007. 09. 06.

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

한 줄 요약

이 논문은 고전적 지그재그 곱의 양자 일반화를 사용하여 처음으로 상수 차수의 양자 확산자를 명시적으로 구성한다. 지그재그 곱을 기본 양자 확산자에 적용함으로써, 스펙트럼 간격이 $\lambda + O(\lambda^2)$ 로 유계인 명시적, 상수 차수의 양자 확산자를 얻었으며, 이는 이전에 명시적 또는 상수 차수이기는 하나 둘 다인 것은 아니었던 양자 확산자 이론에서의 핵심 열린 문제를 해결한다.

ABSTRACT

Quantum expanders are a natural generalization of classical expanders. These objects were introduced and studied by Ben-Aroya and Ta-Shma and by Hastings. In this note we show how to construct explicit, constant-degree quantum expanders. The construction is essentially the classical Zig-Zag expander construction, applied to quantum expanders.

연구 동기 및 목표

• 오랜 기간 동안 미해결된 양자 확산자 이론의 격차를 해결하기 위해 명시적, 상수 차수의 양자 확산자를 구성하는 것.
• 고전적 지그재그 곱 구조를 양자 환경으로 일반화하여 확산 성질을 유지하는 것.
• 결과로 얻어진 양자 확산자가 다항식 크기의 양자 회로를 통해 효율적으로 구현될 수 있도록 보장하는 것.
• 양자 지그재그 곱이 힐베르트-스미드 노름 하에서 스펙트럼 확산 성질을 유지함을 증명하고, 고유값 감쇠가 유계임을 보장하는 것.

제안 방법

• 고전적 지그재그 곱을 양자 상태의 초연산자로 일반화하여, $D_1$-정규인 $G_1$ 과 $D_2$-정규인 $G_2$ 에 대해 양자 지그재그 곱 $G_1 ⓩ G_2$ 를 정의한다.
• 스펙트럼 확산을 유지하면서 힐베르트 공간의 차원을 증가시키기 위해 텐서 곱 $G_1 \otimes G_2$ 를 사용한다.
• 스펙트럼 간격을 향상시키기 위해 승수 연산 $G^2$ 를 적용하여 두 번째 고유값을 $\lambda^2$ 로 감소시킨다.
• 크기를 증가시키면서도 상수 차수를 유지하기 위해, 번갈아가며 텐서 곱, 승수, 지그재그 곱을 사용하는 재귀적 수열 $G_t$ 를 구성한다.
• 확률적 방법과 이전 결과에 의해 보장되는 바, 기저 초연산자 $H$ 가 $(D^8, D, \lambda)$ 양자 확산자로 존재함을 이용한다.
• 항등원에 수직인 부분공간에서의 연산자 노름 한계를 통해, 양자 지그재그 곱이 확산 성질을 유지함을 증명한다.

실험 결과

연구 질문

• RQ1 기존 구축 방식의 한계를 극복하여, 명시적이고 동시에 상수 차수인 양자 확산자를 만들 수 있는가?
• RQ2 고전적 지그재그 곱을 양자 환경으로 일반화하여 스펙트럼 확산 성질을 유지할 수 있는가?
• RQ3 양자 지그재그 곱의 스펙트럼 행동은 초연산자의 두 번째 고유값 측면에서 어떻게 되는가?
• RQ4 텐서 곱, 승수, 지그재그 곱의 재귀적 조합을 통해 명시적, 상수 차수의 양자 확산자 가족을 얻을 수 있는가?
• RQ5 결과로 얻어진 양자 확산자의 스펙트럼 간격 $\overline{\lambda}$ 에 대한 정량적 유계는 무엇인가?

주요 결과

• 지그재그 곱 $G_1 ⓩ G_2$ 는 $G_1$ 이 $(N_1, D_1, \lambda_1)$ 이고 $G_2$ 가 $(D_1, D_2, \lambda_2)$ 라면, $(N_1 D_1, D_2^2, \lambda_1 + \lambda_2 + \lambda_2^2)$ 양자 확산자를 생성한다.
• 재귀적 구성 $G_t$ 는 $\lambda_t = \lambda + O(\lambda^2)$ 를 만족하는 명시적 $(D^{8t}, D^2, \lambda_t)$ 양자 확산자를 생성한다.
• 승수 연산 $G^2$ 는 확산 성질을 유지하며, $(N, D, \lambda)$ 확산자를 $(N, D^2, \lambda^2)$ 확산자로 변환한다.
• 텐서 곱 $G_1 \otimes G_2$ 는 두 양자 확산자를 결합하여 $(N_1 N_2, D_1 D_2, \max(\lambda_1, \lambda_2))$ 확산자를 생성한다.
• 확률적 방법과 이전의 양자 확산자 연구 결과에 의해, 기저 초연산자 $H$ 가 $(D^8, D, \lambda)$ 양자 확산자로 존재함이 보장된다.
• 스펙트럼 확산의 증명은 항등원에 평행하고 수직인 부분공간으로 연산자 공간을 분해하는 데 기반하며, 각각의 노름 감쇠는 $\lambda_1$ 과 $\lambda_2$ 로 유계이다.