[논문 리뷰] Quantum entanglement, Calabi-Yau manifolds, and noncommutative algebraic geometry

Shinnosuke Okawa, Kazushi Ueda|arXiv (Cornell University)|2014. 02. 16.

Algebraic structures and combinatorial models참고 문헌 11인용 수 3

한 줄 요약

이 논문은 큼직한 SLOCC 등급 클래스와 Calabi-Yau 다양체 및 선다발 집합을 갖춘 모듈리 공간 사이의 비형식 등가를 수립한다. 3-큐튜브와 4-큐비트의 경우, 이 등급들은 비가환 대수기하학과 연결되며, 비가환 프로젝티브 평면과 비가환 쌍곡면을 통해 기술되며, 일반적인 SLOCC 등급은 특정 차수의 선다발을 갖춘 타원곡선의 동형류에 대응됨을 보여준다.

ABSTRACT

We relate SLOCC equivalence classes of qudit states to moduli spaces of Calabi-Yau manifolds equipped with a collection of line bundles. The cases of 3 qutrits and 4 qubits are also related to noncommutative algebraic geometry.

연구 동기 및 목표

• SLOCC 등급 클래스와 선다발을 갖춘 Calabi-Yau 다양체의 모듈리 공간 사이의 기하학적 대응을 수립하기.
• 3-큐튜브 및 4-큐비트 얽힌 상태의 분류를 비가환 대수기하학, 특히 비가환 프로젝티브 평면과 쌍곡면과 연결하기.
• 5-큐비트 상태의 일반적인 SLOCC 등급이 특정 랭크 네 개의 격자로 극화된 M-극화 K3 표면에 대응됨을 보여주기.
• 얽힌 큼직 상태의 모듈리 스택이 타원곡선과 선다발을 갖춘 기하학적 대상의 모듈리 스택과 비형식 등가임을 보여주기.
• 양자정보 분류를 비가환 및 Calabi-Yau 다양체를 포함한 고급 대수기하학과 통합하기.

제안 방법

• Md,n을 (n−1)(d−1)−d 차원의 Calabi-Yau 다양체 Y와 그 위에 n−1개의 선다발을 갖춘 매끄러운 사상 ϕ: Y → S의 범주로 정의한다. 이 선다발들은 코homological 조건과 임bedding 조건을 만족한다.
• Qsm = [Rsm/G]로 정의된 몫 스택에서 Md,n → Qsm으로 가는 함자 Ψ를 구성한다. 여기서 R = V1 ⊗ ⋯ ⊗ Vn은 텐서곱 공간이고 G는 SLOCC 작용이다.
• 열린 덮개 위에서 선다발의 자명화를 이용해 G-등변 사상 ψλ: Sλ → R를 구성하며, 전이 자료를 통해 일관성을 확보한다.
• Serre 대칭성과 Riemann-Roch를 적용하여, 타원곡선 위의 차수 3 선다발이 매우 충분함을 특징지어 프로젝티브 임베딩을 가능하게 한다.
• Segre 임베딩과 곱셈 사상 µ: H0(L)⊗H0(L′) → H0(L⊗L′)의 상사상성을 이용하여, 타원곡선이 P1×P1에 임베딩되는 방식을 특징지운다.
• Md,n과 비가환 기하학적 대상의 모듈리 스택(예: AS-정규 대수 A의 Qgr A) 사이의 비형식 등가를 수립한다.

실험 결과

연구 질문

• RQ1 큼직한 큼직 상태의 SLOCC 등급 클래스는 어떻게 대수기하학을 통해 분류될 수 있는가?
• RQ2 n=3, d=3과 n=4, d=2일 때, 얽힌 큼직 상태의 모듈리 공간의 기하학적 구조는 무엇인가?
• RQ3 왜 Calabi-Yau 다양체와 선다발이 큼직 상태 분류에서 자연스럽게 나타나는가?
• RQ4 얽힌 큼직 상태와 비가환 대수기하학, 특히 비가환 평면과 쌍곡면 사이의 연결 고리는 무엇인가?
• RQ5 5-큐비트 얽힌 상태의 분류는 특정 격자 극화를 갖춘 K3 표면로 기술될 수 있는가?

주요 결과

• n-큼직 상태의 모듈리 스택은 (n−1)(d−1)−d 차원의 Calabi-Yau 다양체 Y와 특정 코homological 및 임베딩 조건을 만족하는 n−1개의 선다발을 갖춘 모듈리 스택과 비형식 등가이다.
• 3-큐튜브 상태(n=3, d=3)의 경우, 일반적인 SLOCC 등급은 타원곡선 C와 차수 3 선다발 L1, L2의 동형류 쌍 (C, L1, L2)과 일대일 대응된다.
• 4-큐비트 상태(n=4, d=2)의 경우, 일반적인 SLOCC 등급은 타원곡선 C와 차수 2 선다발 L1, L2, L3의 동형류 쌍 (C, L1, L2, L3)과 일대일 대응된다.
• 3-큐튜브 얽힘의 분류는 3차원 Sklyanin 대수에서 유도된 비가환 프로젝티브 평면의 모듈리와 동치이다.
• 4-큐비트 얽힘의 분류는 3차원 입체 AS-정규 대수를 통해 비가환 쌍곡면과 대응된다.
• 5-큐비트 상태(n=5, d=2)의 경우, 일반적인 SLOCC 등급은 랭크 네 개의 격자 M과 교차 형식 (ei, ej) = 2−2δij를 갖는 M-극화 K3 표면의 동형류와 일대일 대응된다.