[논문 리뷰] Reversible quantum cellular automata

Benjamin Schumacher, Reinhard F. Werner|ArXiv.org|2004. 05. 28.

Cellular Automata and Applications참고 문헌 24인용 수 105

한 줄 요약

이 논문은 유한 전파 속도와 이동 불변성을 갖는 무한 격자 위의 가역 양자 세포자동우(Quantum Cellular Automata, QCA)를 위한 엄밀한 프레임워크를 제안한다. 모든 이러한 QCAs가 일반화된 Margolus 분할 방식을 통해 구조적으로 가역적임을 입증하며, 이는 가장 가까운 이웃 QCA의 역원이 다시 한 번 가장 가까운 이웃 자동우임을 보장한다. 또한 유니터리 대칭, 고전적 가역 자동우, 양자 회로, Clifford 변환을 이용한 다수의 구성 방법을 제공한다.

ABSTRACT

We define quantum cellular automata as infinite quantum lattice systems with discrete time dynamics, such that the time step commutes with lattice translations and has strictly finite propagation speed. In contrast to earlier definitions this allows us to give an explicit characterization of all local rules generating such automata. The same local rules also generate the global time step for automata with periodic boundary conditions. Our main structure theorem asserts that any quantum cellular automaton is structurally reversible, i.e., that it can be obtained by applying two blockwise unitary operations in a generalized Margolus partitioning scheme. This implies that, in contrast to the classical case, the inverse of a nearest neighbor quantum cellular automaton is again a nearest neighbor automaton. We present several construction methods for quantum cellular automata, based on unitaries commuting with their translates, on the quantization of (arbitrary) reversible classical cellular automata, on quantum circuits, and on Clifford transformations with respect to a description of the single cells by finite Weyl systems. Moreover, we indicate how quantum random walks can be considered as special cases of cellular automata, namely by restricting a quantum lattice gas automaton with local particle number conservation to the single particle sector.

연구 동기 및 목표

• 이전의 양자 세포자동우 정의에서의 기초적 결함, 특히 무한 시스템과 잘 정의되지 않은 전역 유니터리 연산의 문제를 해결하기 위해.
• 상태 벡터의 모호함이 무한 시스템에서 발생할 수 있는 문제를 피하기 위해 관측 가능 대수와 Heisenberg 그림을 기반으로 수학적으로 엄밀한 QCA 프레임워크를 수립하기 위해.
• 유한 전파 속도와 이동 불변성을 갖는 QCA를 생성하는 모든 국소 규칙을 특성화하기 위해.
• 모든 이러한 QCAs가 구조적으로 가역적임을 증명하기 위해, 즉 블록 단위 유니터리 방식을 통해 역원이 존재함을 보장하기 위해.
• 유니터리 연산자, 그 이동과의 교환성, 고전적 가역 자동우, 양자 회로, Clifford 변환을 통해 QCA를 체계적으로 구성하는 방법을 제공하기 위해.

제안 방법

• QCA를 이산 시간 동역학을 갖는 무한 양자 격자 시스템으로 정의하며, 이는 격자 이동과 엄격한 유한 전파 속도를 동시에 만족한다.
• Heisenberg 그림을 사용하여 전역 시간 진화를 관측 가능 대수 위의 *-자기동형사상으로 기술함으로써, 관측 가능성이 시간 진화 동안 국소화됨을 보장한다.
• 격자 이동과 가환하며 유한 전파 속도를 유지하는 유니터리 연산자를 통해 QCA를 생성하는 국소 규칙을 특성화한다.
• 일반화된 Margolus 분할 방식을 도입하여 격자를 블록으로 나누고, 시간 진화가 블록 간 번갈아가며 적용되는 방식을 사용한다.
• 그 이동과 가환하는 유니터리 연산자를 통해 QCA를 구성하며, 이러한 연산자가 유효한 QCA 시간 단계를 생성함을 보여준다.
• QCA가 유한 Weyl 시스템 위에서 양자화된 고전적 가역 자동우, 양자 회로, Clifford 변환을 통해 구성될 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 무한 격자 위에서 유한 전파 속도를 갖는 가역 양자 세포자동우를 생성하기 위한 국소 규칙에 대한 必要 및 充분 조건은 무엇인가?
• RQ2 가장 가까운 이웃 QCA의 역원은 항상 가장 가까운 이웃 자동우로 표현될 수 있는가?
• RQ3 유니터리, 회로, 또는 고전적 가역 규칙과 같은 알려진 양자 연산을 통해 QCA를 어떻게 체계적으로 구성할 수 있는가?
• RQ4 양자 랜덤 워크는 어느 정도까지 QCA의 특수한 경우로 간주될 수 있는가?
• RQ5 일반화된 Margolus 분할 방식은 QCA에서 가역성과 유한 전파 속도를 보장하기 위해 어떤 구조적 역할을 하는가?

주요 결과

• 유한 전파 속도와 이동 불변성을 갖는 모든 가역 양자 세포자동우는 구조적으로 가역적이며, 이는 분할된 격자 위에서 블록 단위 유니터리 연산의 순서로 분해될 수 있음을 의미한다.
• 가장 가까운 이웃 QCA의 역원은 스스로 가장 가까운 이웃 자동우임을 보장하며, 이는 고전적 경우에서는 보장되지 않는 성질이다.
• 격자 이동과 가환하는 유니터리 연산자를 기반으로, 이러한 QCAs를 생성하는 국소 규칙의 완전한 특성화가 제공된다.
• 단일 입자 영역에서의 양자 랜덤 워크는 입자 수 보존을 갖는 양자 격자 가스 자동우의 특수한 경우로 나타나며, 이는 QCA임을 입증한다.
• 다양한 구성 방법이 확립되었다: 이동 불변 유니터리, 고전적 가역 자동우의 양자화, 양자 회로, 유한 Weyl 시스템 위의 Clifford 변환을 통한 구성.
• 이 프레임워크는 Heisenberg 그림에서 QCA를 일관되게 기술할 수 있게 하며, 이전 접근 방식에서 문제시되었던 잘 정의되지 않은 전역 유니터리 연산을 피할 수 있다.