[논문 리뷰] Measurement Quantum Cellular Automata and Anomalies in Floquet Codes

David Aasen, Jeongwan Haah외 2명|arXiv (Cornell University)|2023. 04. 03.

Electronic and Structural Properties of Oxides인용 수 6

한 줄 요약

이 논문은 주기적인 파울리 측정 회로, 특히 플로케트 토폴로지컬 코드에서 논리적 정보의 흐름을 특성화하기 위해 측정 양자 세포자동기(MQCA)를 도입한다. 이는 2차원에서 $ℤ_2$ 밀도 불변량을 설정하여 평탄한 경계에 대한 토폴로지적 장벽을 나타내며, 허스팅스-하우 허니컴브 코드가 국소성과 유니타리성을 유지하기 위해 주기 두배 동역학 또는 이국적인 경계 흐름을 보여야 한다는 것을 증명한다.

ABSTRACT

We investigate the evolution of quantum information under Pauli measurement circuits. We focus on the case of one- and two-dimensional systems, which are relevant to the recently introduced Floquet topological codes. We define local reversibility in context of measurement circuits, which allows us to treat finite depth measurement circuits on a similar footing to finite depth unitary circuits. In contrast to the unitary case, a finite depth locally reversible measurement circuit can implement a translation in one dimension. A locally reversible measurement circuit in two dimensions may also induce a flow of logical information along the boundary. We introduce "measurement quantum cellular automata" which unifies these ideas and define an index in one dimension to characterize the flow of logical operators. We find a $\mathbb{Z}_2$ bulk invariant for two-dimensional Floquet topological codes which indicates an obstruction to having a trivial boundary. We prove that the Hastings-Haah honeycomb code belongs to a class with such obstruction, which means that any boundary must have either nonlocal dynamics, period doubled, or admits anomalous boundary flow of quantum information.

연구 동기 및 목표

• 주기적인 파울리 측정 회로에서 양자 정보의 역학을 이해하기 위해, 특히 플로케트 토폴로지컬 코드의 맥락에서.
• 허스팅스-하우 허니컴브 코드와 같은 토폴로지컬 코드에 대해 평면적이고 국소적인 경계를 구성하는 데 도전하는 문제를 다루며, 이는 이외에는 주기 두배가 필요하다.
• 국소적 가역성을 갖는 측정 회로로 일반화된 유니타리 양자 세포자동기(QCA)를 확장하는 프레임워크—측정 양자 세포자동기(MQCA)—를 개발하기 위해.
• 2차원 측정 회로에서 평탄하거나 갭이 있는 경계에 대한 장벽을 나타내는 토폴로지 불변량을 식별하기 위해.
• 정적 토폴로지 상에서의 것과 유사한, 측정 기반 토폴로지컬 코드에 대한 밀도-경계 상호관계를 설정하기 위해.

제안 방법

• 유한 깊이의 유니타리 회로의 일반화로서 국소적 가역성(LR)을 갖는 측정 회로를 도입하여, 역행 가능한 역학을 갖는 측정 순서를 다룰 수 있도록 한다.
• 측정 회로 하에서 파울리 대수의 국소성 유지 자동사상으로서 측정 양자 세포자동기(MQCA)를 정의하며, 비유니타리 진동을 포함하는 QCA 체계를 확장한다.
• 플로케트 코드에서 평탄한 경계에 대한 토폴로지적 장벽을 탐지하기 위해 2차원에서 $ℤ_2$ 밀도 불변량을 개발한다.
• 1차원에서 MQCA 지수를 사용하여 논리적 연산자의 흐름을 특성화하며, 프레드홀름 사상과 대수적 K이론 도구를 활용한다.
• 웬 플라켓 번역(WPT) 모델과 허스팅스-하우 허니컴브 코드를 구체적인 사례로 분석하여 경계 역학과 흐름 행동을 계산한다.
• 안정자 군과 논리적 연산자를 분석하기 위해 대수적 감소 기법을 사용하며, 주로 마조라나 사슬 대수와 그 표현에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 유한 깊이의 국소적 가역 측정 회로는 번역과 같은 비자명한 논리적 흐름을 국소적 가역 방식으로 어떻게 실현할 수 있는가?
• RQ2 2차원 플로케트 코드의 밀도는 어떤 토폴로지 불변량으로 특징지어지며, 평탄하거나 갭이 있는 경계에 대한 장벽을 나타내는가?
• RQ3 허스팅스-하우 허니컴브 코드의 경계는 국소적이고 주기적인 측정 스케줄 하에서 어떻게 행동하는가?
• RQ4 HH 코드의 국소적 경계 실현을 위해 주기 두배가 본질적인 요구 조건인가, 아니면 다른 역학적 경계 구조가 존재할 수 있는가?
• RQ5 MQCA 체계는 페르미온계로 확장될 수 있으며, 이는 논리적 흐름의 가능한 지수에 어떤 제약을 끼치는가?

주요 결과

• 1차원에서 유한 깊이의 국소적 가역 측정 회로는 유니타리 양자 세포자동기와 유사하게 논리적 정보의 번역을 실현할 수 있다.
• 2차원에서는 국소적 가역 측정 사이클이 밀도 내부의 동역학 없이도 경계를 따라 논리적 정보의 흐름을 유도할 수 있다.
• 논문은 2차원 플로케트 코드에서 평탄하거나 갭이 있는 경계에 대한 장벽을 나타내는 $ℤ_2$ 밀도 불변량이 존재함을 증명한다. 이는 토폴로지적 장벽을 의미한다.
• 허스팅스-하우 허니컴브 코드는 이러한 $ℤ_2$ 장벽을 갖는 클래스에 属하므로, 어떤 국소적 경계도 주기 두배 또는 이국적인 경계 역학을 가져야 한다.
• 1차원에서 MQCA 지수는 $½$ 단위로 양자화되어 있으며, 논문은 1차원에서는 정수 지수만 실현 가능하다고 주장한다. 이는 1차원에서 $ℤ\mathrm{LRMC} \cong \mathrm{f\mbox{-}LRMC}$임을 의미한다.
• 분석 결과, 국소적 가역성이 없는 코드들—예를 들어 베이컨-쇼어 코드나 뷔요로의 경계 구성—는 열역학적 한계에서 수정할 수 없는 측정 오차에 취약하다. 이는 국소적 가역성이 오류 임계값을 갖기 위한 필수 조건일 수 있음을 시사한다.