Fractalizing spacetime: Floquet codes with fractonic excitations that are immobile in space and time

기술 요약: 시공간의 프랙탈화: 공간과 시간 모두에서 부동(Immobile)인 프랙톤 흥분을 가진 플로케 코드(Floquet Codes)

문제 정의
본 논문은 본질적으로 역동적인 양자 물질 상을 기술하는 데 있어 기존 프랙톤 모델과 플로케 코드의 한계를 다룬다. Type-II 프랙톤 모델(예: Haah의 Cubic Code)은 정적인 설정에서 부동(immobile) 흥분과 전통적인 위상 양자장론(TQFT)을 넘어서는 위상 질서를 보이지만, "시공간 프랙탈화(spacetime fractalization)"를 위한 프레임워크는 결여되어 있다. 또한, $(2+1)$차원 및 $(3+1)$차원의 기존 플로케 코드는 주기 배가(period doubling)가 있더라도 시간 병진 대칭성이 강제되지 않을 경우 시공계에서 정적 코드와 동등한 위상 상을 실현한다. 저자들은 순수하게 공간적 차원에서 시공계 연속체로의 확장을 위해, 선형 셀룰러 오토마타(LCA)를 통해 $D$차원 격자의 연산자를 $D+m$차원 격자로 매핑하는 "프랙탈화" 절차를 공간 차원에서 시공계 차원으로 일반화하고자 한다. 목표는 시그로좀(syndrome) 흥분이 공간과 시간 모두에서 부동인 플로케 코드를 구축하여, 어떠한 정적 대응물과도 구별되는 새로운 위상 상을 실현하는 것이다.

방법론
저자들은 공간적 프랙탈화를 시공계로 일반화하기 위해 공간과 시간 사이의 이중성을 연결하는 측정 기반 양자 컴퓨팅(MBQC) 프레임워크를 활용한다. 방법론은 다음 세 단계로 진행된다:

1. 선형 셀룰러 오토마타(LCA) 및 프랙탈화: 저자들은 이산적인 프랙탈 패턴을 생성하는 클래식 LCA, 특히 시에르핀스키 규칙($f(y) = 1+y$)을 사용한다. 이들은 파울리 $X$ 및 $Z$ 연산자로 표현되는 해밀토니안 상호작용 항을 다항식으로 나타냄으로써 이러한 규칙들을 양자 스핀 모델로 매핑한다. 프랙탈화는 격자의 공간 및 시간 좌표에 이러한 다항식 규칙을 적용함으로써 달성된다.
2. 시간-프랙탈화를 위한 회로 구축: 저자들은 LCA 진화를 구현하기 위한 상수 깊이의 국소 적응형 양자 회로를 유도한다. 그들은 시간-프랙탈화된 코드의 타임스텝이 트랜스벌사(transversal) CNOT 게이트, 단일 큐비트 측정, 그리고 파울리 피드포워드(Pauli feed-forward) 연산을 사용하여 실현될 수 있음을 입증한다. 이는 LCA 업데이트에 필요한 선형 깊이를 피하게 해주며, 이 과정을 결함 허용(fault-tolerant) 가능하게 만든다.
3. 토릭 코드(Toric Code)의 시공간 프랙탈화: 핵심 구성은 $(2+1)$차원 토릭 코드 양자 메모리에 프랙탈화를 적용하는 것이다.
   • 먼저, 3D Raussendorf-Bravyi-Harrington(RBH) 클러스터 상태를 자원으로 사용하여 단일 코드 블록의 시간 차원을 프랙탈화한다.
   • 다음으로, 공간 차원($x$ 및 $y$)과 시간 차원($w$)에 동시에 프랙탈화를 적용한다.
   • 그 결과, 논리 연산자에 작용하는 독립적인 국소 셀룰러 오토마타 규칙($f(w), g(w), h(w)$)에 의해 제어되는 $(3+1)$차원 시공간 플로케 코드가 생성된다.

주요 기여 및 결과

• 시공간 Type-II 프랙톤 플로케 코드의 구축: 주요 결과는 본질적인 시공간 Type-II 프랙톤 상을 실현하는 플로케 코드의 구축이다. 공간에서 부동인 정적 Type-II 프랙톤과 달리, 이 코드들은 공간과 시간 모두에서 부동인 흥분을 갖는다.
• 시공계에서의 No-Strings 규칙: 저자들은 셀룰러 오토마타 규칙 $f(w), g(w), h(w)$가 대수적으로 독립적일 때, 결과 모델이 시공계에서 "no-strings rule"을 만족함을 입증한다. 이는 시공계에 끈 형태의 논리 연산자나 결함이 존재하지 않음을 의미하며, 즉 추가적인 흥분을 생성하지 않고는 흥분을 이동시킬 수 있는 끈 형태의 연산자가 없음을 뜻한다. 결과적으로, 고립된 시그로좀 흥분은 공간이나 시간상의 어떤 국소 연산자에 의해서도 이동될 수 없다.
• 지수적 응답 주기 및 양자 이산 시간 결정(Quantum Discrete Time Crystal): 구축된 코드는 극단적인 형태의 양자 이산 시간 결정 질서를 보여준다. 논리적 진화 주기는 시스템 크기에 따라 지수적으로 스케일링된다. 이는 기저의 선형 셀룰러 오토마타가 시스템 크기에 따라 지수적으로 스케일링되는 주기를 갖기 때문이다.
• 초선형 결함 거리 스케일링: 본 논문은 시공계 no-strings rule이 플로케 코드의 결함 거리를 시간과 관련하여 초선형적으로 스케일링함을 발견했다. 이는 표준 코드와 비교했을 때 양자 오류 정정에 필요한 시간 오버헤드를 줄일 수 있는 잠재적 경로를 제시한다.
• 적응형 회로 구현: 저자들은 RBH 클러스터 구조를 사용하여 이 코드들을 구현하는 구체적인 상수 깊이의 국소 적응형 회로를 제공한다. 여기에는 프랙탈화된 시간 진화를 실현하는 얽힘 게이트와 측정 패턴(primal 및 dual 큐비트)의 상세한 분해가 포함된다.

의의 및 주장
본 논문은 프랙톤 질서의 개념을 "본질적으로 역동적인 양자 물질 상"으로 확장한다고 주장한다. 시공간을 프랙탈화함으로써, 저자들은 전통적인 정적 TQFT로는 설명할 수 없는 위상 질서를 생성한다. 이 연구는 Type-II 프랙톤의 개념을 공간에서 시공계로 일반화하여, 새로운 클래스의 결함 허용 양자 메모리를 창조한다.

그 의의는 이 코드가 시스템 크기에 대해 지수적으로 긴 논리적 진화 주기를 가짐으로써, 이산 시간 병진 대칭성을 극단적인 수준까지 깨뜨릴 수 있는 견고한 양자 메모리로 기능할 수 있는 잠재력에 있다. 또한, 시간 대비 결함 거리의 초선형 스케일링은 양자 오류 정정에 필요한 시간 오버헤드를 낮추기 위한 이론적 경로를 제공한다. 저자들은 이 모델의 연속체 극한이 연속 시간 병진 대칭성을 깨뜨리지만, 격자의 이산적 특성과 드라이브(drive)의 특정 주기성이 구축에 필수적임을 언급한다.

논문은 향-후 연구 방향으로 철저한 결함 허용 분석, 자기 수정(self-correcting) 특성에 대한 조사, 시공계에서의 경계 도입, 그리고 비-CSS 코드로의 프레임워크 확장을 제시하며 결론을 맺는다.