[논문 리뷰] Unitarity in one dimensional nonlinear quantum cellular automata

David Meyer|ArXiv.org|1996. 05. 15.

Cellular Automata and Applications참고 문헌 42인용 수 19

한 줄 요약

이 논문은 선형성 제약 조건을 완화함으로써 일차원에서 비자명하고 균일하며 유니터리한 양자 세포자동우(Quantum Cellular Automata, QCA)의 존재를 확립한다. 유니터리성은 국소 전이 진폭에 대한 해결 가능한 제약 조건과 동치임을 증명한다. 비선형 QCA에 대한 명시적인 매개변수화된 가족을 제시하고, 1차원 시스템에서 유니터리성이 결정 가능함을 보여준다.

ABSTRACT

Unitarity of the global evolution is an extremely stringent condition on finite state models in discrete spacetime. Quantum cellular automata, in particular, are tightly constrained. In previous work we proved a simple No-go Theorem which precludes nontrivial homogeneous evolution for linear quantum cellular automata. Here we carefully define general quantum cellular automata in order to investigate the possibility that there be nontrivial homogeneous unitary evolution when the local rule is nonlinear. Since the unitary global transition amplitudes are constructed from the product of local transition amplitudes, infinite lattices require different treatment than periodic ones. We prove Unitarity Theorems for both cases, expressing the equivalence in $1+1$ dimensions of global unitarity and certain sets of constraints on the local rule, and then show that these constraints can be solved to give a variety of multiparameter families of nonlinear quantum cellular automata. The Unitarity Theorems, together with a Surjectivity Theorem for the infinite case, also imply that unitarity is decidable for one dimensional cellular automata.

연구 동기 및 목표

• 국소 규칙이 비선형인 경우, 일차원 양자 세포자동우에서 비자명하고 균일하며 유니터리한 진동이 가능한지 조사한다. 이는 선형 QCA의 한계를 극복하기 위함이다.
• 무한 및 주기적 격자에 대해 유니터리하게 정의된 양자 세포자동우를 엄밀히 정의하며, 전역 진폭 곱의 구조로 인해 이 둘을 구분한다.
• 경로 가중치 그래프 표현을 통해 국소 전이 진폭에 대한 제약 조건을 유도함으로써, 전역 유니터리성에 필요한 필수 조건과 충분 조건을 수립한다.
• 전역 유니터리성과 국소 제약 조건 간의 동치성을 증명함으로써, 1차원 QCA에서 유니터리성이 결정 가능하다는 것을 보여준다.
• 비선형 QCA의 계산 및 물리적 의미를 탐구하며, 임계 행동과 연속체 근사의 잠재적 가능성을 포함한다.

제안 방법

• 유한 이웃 영역에서 작용하는 국소 규칙을 가진 양자 세포자동우를 정의하며, 수렴성과 전사성 요구 조건으로 인해 무한 격자와 주기적 격자를 구분한다.
• 가중치가 부여된 그래프 $G_1$ 및 $G_2$ 상의 구성과 경로 사이의 전단사성에 의해, 전역 유니터리성을 경로 가중치 제약 조건으로 변환한다.
• 유니터리성 정리 3.9 및 3.10을 유도하여, 전역 유니터리성이 그래프 표현상의 경로 가중치에 대한 노름 보존 제약 조건과 동치임을 보여준다.
• 무한 격자를 위한 전사성 정리(3.18)를 도입하여, 전사성이 유니터리성에 대해 독립적인 필수 조건임을 증명한다.
• 유도된 제약 조건을 해결함으로써 다중 매개변수 가족의 비선형 QCA를 구축하며, 최대 $2^{k-1}$개의 진폭 벡터 프레임을 포함하는 경우를 포함한다.
• 생성 함수와 행렬 표현(예: $A_2^n$)을 적용하여 경로 가중치를 계산하고 규칙 공간의 일관성을 검증한다.

실험 결과

연구 질문

• RQ1 국소 규칙이 비선형인 경우, 일차원 양자 세포자동우에서 비자명하고 균일하며 유니터리한 진동이 존재할 수 있는가?
• RQ2 1차원 QCA에서 전역 유니터리성에 필요한 필수 조건과 충분 조건은 국소 전이 진폭에 대해 무엇인가?
• RQ3 1차원 양자 세포자동우에서 유니터리성은 결정 가능한가? 만약 그렇다면 어떤 조건 하에서 가능한가?
• RQ4 비선형 QCA의 규칙 공간은 선형 QCA와 어떻게 다를 수 있으며, 어떤 구조적 특징이 나타나는가?
• RQ5 이러한 비선형 QCA의 연속체 근사는 의미 있게 정의될 수 있으며, 임계 행동을 나타내는가?

주요 결과

• 비선형적이고 균일하며 유니터리한 1차원 양자 세포자동우는 존재하며, 선형성 제약을 완화함으로써 선형 금기 정리(No-go Theorem)를 피하면서도 유니터리성을 유지한다.
• 전역 유니터리성은 국소 전이 진폭에 대한 유한한 대수적 제약 조건과 동치이며, 이 제약 조건은 해결 가능하며 다중 매개변수 가족의 QCA를 도출한다.
• 무한 격자에서는 유니터리성에 노름 보존과 전사성의 두 조건이 모두 필요하며, 후자는 전사성 정리에 의해 독립적인 조건으로 포착된다.
• 작은 이웃 영역을 가진 QCA의 국소 규칙 공간은 다차원적이며, 최대 $2^{k-1}$개의 서로 다른 진폭 벡터 프레임을 가지며, 이는 풍부한 양자 행동을 나타낸다.
• 유니터리성은 1차원 QCA에서 결정 가능하며, 전역 유니터리성과 국소 제약 조건 간의 동치성 덕분에 알고리즘적 검증이 가능하다.
• 결과는 비선형 QCA가 임계 행동을 지닐 수 있으며, 계산 유니버설리티가 임계점에서 나타난다는 추측을 탐구하기에 자연스러운 설정임을 시사한다.