Three-dimensional QCA that are not stably circuits

기술 요약: 안정적인 회로가 아닌 3차원 양자 셀룰러 오토마타

문제 정의
격자 상의 양자 셀룰러 오토마타(QCA) 연구의 핵심 질문은 어떤 오토마타가 "진정으로 새로운 것"인지, 아니면 유한 깊이 양자 회로와 평행 이동의 사소한 합성인지를 분류하는 것이다. 1차원에서는 Gross–Nesme–Vogts–Werner(GNVW) 지수가 완전한 분류를 제공한다. 2차원에서는 모든 QCA가 평행 이동과 결합된 회로라는 것이 알려져 있다. 그러나 3차원에서의 분류는 여전히 미완성 상태이다. Haah, Fidkowski, Hastings는 비자명한 QCA(세 개의 페르미온을 가진 Walker–Wang 모델의 얽힘 해제)를 구축하였고, Haah와 Sun, Yang, Wang, Tantivasadakarn, Chen은 이차 형식의 Witt 군에서 비자명한 클래스를 나타내는 Clifford QCA 군을 구축하였으나, 이러한 예시들의 비자명성은 오직 Clifford 범주 내에서만 확립되었다. 이들 3차원 QCA가 보조 자유도를 텐서 곱하거나(안정화) 평행 이동과 합성한 후에도 일반적인 QCA로서 비자명할 것인지에 대한 문제는 미해결 과제로 남아 있었다.

방법론
본 논문은 이 문제를 해결하기 위해 2차원 가역 부분 대수의 새로운 불변량을 도입한다. 접근 방식은 세 가지 주요 요소에 기반한다:

1. 가역 부분 대수로의 환원: Haah의 이론에 따라, 하이퍼플레인(hyperplane)을 따른 $(d+1)$차원 QCA의 경계 대수는 $d$차원 가역 부분 대수이다. 이 경계 대수의 안정적 동치 클래스 $\partial \alpha$는 "블렌딩(blending)"(회로 및 이동과의 합성)에 대해 불변이다. 안정화된 회로 및 평행 이동에 대한 $(d+1)$차원 QCA의 군은 가역 부분 대수의 Brauer 군 $Br_d$와 동형이다. 따라서 3차원 QCA가 안정적으로 회로가 아님을 증명하는 것은 그 경계 클래스가 $Br_2$에서 0이 아님을 보이는 문제로 환원된다.

2. 하프-플레인 불변량 ($I$): 저자는 2차원 가역 부분 대수 $B \subseteq A(\mathbb{Z}^2, p)$에 대한 불변량 $I(B)$를 구성한다.

   • 두 개의 시스템 복사본 $A^{\otimes 2}$를 고려한다. Brauer 스왑(swap) $\tau_B$는 $C$를 고정하면서 $B$의 두 복사본을 교환하는 인볼루션(involution) QCA이다.
   • $\tau_B$의 상반 평면 $\{x_2 \ge 0\}$에 대한 절단(truncation) $t$를 정의한다. 여기서 $t$는 선 $L=\{x_2=0\}$ 위쪽 멀리에서는 $\tau_B$와 일치하고, 선 아래쪽 멀리에서는 항등 함수와 일치한다.
   • $\tau_B^2 = 1$이므로, $t^2$은 $L$ 근처에 국한되어 있어 실질적으로 1차원 QCA가 된다. GNVW 지수 $\text{ind}(t^2)$는 양의 유리수이다.
   • 불변량은 몫군 $\mathbb{Q}_{>0} / \mathbb{Q}_{>0}^2$에서의 클래스 $I(B) := [\text{ind}(t^2)]$로 정의된다.
   • 저자는 $I(B)$가 잘 정의되어 있으며(절단에 무관함), 텐서 곱에 대해 가법적이고, $B$가 안정적으로 자명하다면(즉, $[B]=0$인 경우 $Br_2$에서) 0이 됨을 증명한다.

3. Chiral $\mathbb{Z}_p$ 부분 대수에 대한 명시적 계산: 저자는 Sun 등이 도입한, $p$ 종류의 에비온(anyon) 이론을 수용하는 카이럴(chiral) $\mathbb{Z}_p$ 부분 대수에 집중한다. 이러한 Pauli 가역 부분 대수들에 대해, Brauer 스왑은 로랑 다항식 위의 심플렉틱 행렬에 의해 결정되는 Clifford QCA이다. 저자는 $B_{p,k}$에 대한 Brauer 스왑의 명시적인 절단을 구성하고 그 제곱의 지수를 계산한다.

주요 결과

• 정리 A (정리 6.16): 모든 홀수 소수 $p$와 $k \in \mathbb{F}_p^\times$에 대하여, Brauer 클래스 $[B_{p,k}]$는 $Br_2$에서 0이 아니다. 결과적으로, 그에 대응하는 $\mathbb{Z}^3$ 상의 펌핑(pumping) QCA $\alpha_{p,k}$는 평행 이동에 대한 모듈로 안정적으로 회로가 아니다.
• 지수 계산: 명시적 계산 결과 $\text{ind}(t^2) = p^{-1}$을 얻었으며, 이는 $I(B_{p,k}) = [p]$임을 의미한다. $p$는 유리수의 제곱이 아니므로, $[p] \neq 0$ in $\mathbb{Q}_{>0} / \mathbb{Q}_{>0}^2$이다.
• 무한 생성: 안정화된 회로 및 평행 이동에 대한 3차원 QCA의 군은 유한 생성되지 않는다. 구체적으로, $p \equiv 1 \pmod 4$인 소수들에 대한 $[B_{p,k}]$ 클래스들로 생성된 $Br_2$의 부분군은 $\bigoplus_{p \equiv 1 (4)} \mathbb{Z}/2\mathbb{Z}$와 동형인 부분군을 포함한다.
• 비선형화 가능성: 두 복사본 시스템 상의 $\mathbb{Z}/2$-작용 $\tau_B$는 안정적으로도, 약하게도 선형화될 수 없다.

의의 및 주장
본 논문은 3차원 QCA가 안정적으로 회로가 아님을 입증한 최초의 무조건적인 증명을 제공한다고 주장한다. 이전에는 이러한 시스템들의 비자명성이 오직 제한된 Clifford 범주 내에서만 알려졌거나, (2차원에서의 세 페르미온 이론에 대한 교환하는 투영 구현의 부재와 같은) 증명되지 않은 추측에 의존해 왔다.

이 연구는 카이럴 $\mathbb{Z}_p$ QCA가 보조 변수(ancilla)의 도움을 받더라도 유한 깊이 회로로 환원될 수 없는 진정으로 새로운 상(phase)임을 확립한다. 불변량 $I(B)$는 수용된 에비온 이론의 총 양자 차원의 제곱(유리수 제곱 모듈로)과 관련이 있다고 추측되며, 이는 QCA의 대수적 구조와 에비온 이론의 위상적 성질 사이의 깊은 연관성을 시사한다. 저자는 이 방법이 카이럴 $\mathbb{Z}_p$ 이론(에비온 $p$개 보유)을 구분하는 데는 성공했지만, 세 페르미온 이론(에비온 4개 보유)에 대해서는 자명한 불변량을 산출했다는 점을 언급하며, 세 페리온 QCA의 상태를 해결하기 위해서는 다른 기술이 필요할 수 있음을 밝힌다.