[논문 리뷰] Cellular Automata as a Model of Physical Systems

Donny Cheung, Carlos A. Pérez-Delgado|Kent Academic Repository (University of Kent)|2008. 09. 10.

Cellular Automata and Applications참고 문헌 14인용 수 3

한 줄 요약

이 논문은 전통적인 세포자동우형을 추상적 수학 모델이 아니라 물리 이론으로 재정의하며, 동기화 및 자원 제약 조건을 고려하여 물리적으로 일관된 Closed Cellular Automata (CCA)를 도입한다. 주요 기여는 물리적으로 기반을 둔 프레임워크를 제공함으로써 엄밀한 양자화를 가능하게 하고, 이로 인해 국소 유니터리 양자 세포자동우형(LUQCA)을 도출한다. LUQCA는 어떤 양자 계산도 효율적으로 시뮬레이션하고, 임의의 정밀도로 이산화된 균일한 양자 시스템을 정확히 시뮬레이션할 수 있다.

ABSTRACT

Cellular Automata (CA), as they are presented in the literature, are abstract mathematical models of computation. In this pa- per we present an alternate approach: using the CA as a model or theory of physical systems and devices. While this approach abstracts away all details of the underlying physical system, it remains faithful to the fact that there is an underlying physical reality which it describes. This imposes certain restrictions on the types of computations a CA can physically carry out, and the resources it needs to do so. In this paper we explore these and other consequences of our reformalization.

연구 동기 및 목표

• 전통적인 세포자동우형이 무한 격자에서 동시적으로 업데이트를 가정하는 등 물리적으로 구현 불가능한 점을 해결하기 위해.
• 메모리 및 동기화와 같은 물리적 자원을 고려하여 세포자동우형을 물리 시스템 이론으로 체계화하기 위해.
• 세포자동우형의 물리적으로 의미 있는 양자화를 위한 기초를 마련하여, 양자 모델이 실제 물리 시스템과 대응하도록 보장하기 위해.
• CCA가 어떤 역행성 세포자동우형도 시뮬레이션할 수 있으며, 전통적 CA가 자원 비용을 감수하면서도 체계적으로 CCA로 변환될 수 있음을 보여주기 위해.
• 모든 양자 계산을 정확하고 효율적으로 시뮬레이션할 수 있는 보편적인 양자 세포자동우형(LUQCA)을 구축할 수 있도록 하기 위해.

제안 방법

• 전통적 CA의 물리적 재구성으로서, 명시적 동기화 및 업데이트 단계를 요구하는 Closed Cellular Automata (CCA)를 도입한다.
• CCA를 상호작용(세포가 이웃 상태에 기반해 새로운 상태를 계산하는 단계)과 독립적 업데이트(새로운 상태가 다시 기록되는 단계)로 나누어 이원 단계 과정으로 정의한다.
• 상호작용과 업데이트 단계를 물리적으로 실현하기 위해 이중 레지스터 격자 모델(Σ × Σ)을 사용하여 순시적인 전역 동기화가 발생하지 않도록 보장한다.
• 양자 경우에 단위 연산자에 대해 이동의 교환 법칙을 적용하여 공간적 및 시간적 균일성을 확보한다.
• 유한 차원 힐베르트 공간에서 국소 단위 연산자와 업데이트 연산자를 사용하는 국소 유니터리 양자 세포자동우형(LUQCA)을 개발하여 CCA의 양자 동반자로 제시한다.
• LUQCA가 어떤 양자 회로도 정확히 시뮬레이션하고, 유한한 영역의 균일한 양자 시스템의 진화를 임의의 정밀도로 효율적으로 근사할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 전통적 세포자동우형은 자원 제약과 동기화 제약를 고려하여 물리적으로 일관된 모델로 재정의될 수 있는가?
• RQ2 세포자동우형이 실제 물리 시스템을 대표하기 위해 반드시 고려해야 할 물리적 제약(예: 메모리, 업데이트 타이밍 등)은 무엇인가?
• RQ3 표준 세포자동우형에서 계산적 행동을 유지하면서도 물리적으로 일관된 고전적 CA 모델(CCA)을 어떻게 구성할 수 있는가?
• RQ4 물리적으로 기반을 둔 고전적 모델에서 유도된 양자 세포자동우형은 실제로 존재하는 양자 시스템과 대응할 수 있는가?
• RQ5 모든 양자 계산을 정확하고 효율적으로 시뮬레이션할 수 있는 보편적인 양자 세포자동우형이 존재하는가?

주요 결과

• 폐쇄형 세포자동우형(CCA)은 순시적인 전역 업데이트와 같은 물리적으로 불가능한 행동을 제거하기 위해 물리적 업데이트 순서를 강제한다.
• 모든 전통적 CA는 자원 비용이 발생할 수 있는 명시적 메모리 및 동기화 고려를 통해 체계적인 절차를 통해 CCA로 변환될 수 있다.
• 역행성 전통적 CA는 역행성 CCA로 변환될 수 있으며, 이는 역행성을 유지하면서도 물리적으로 실현 가능하게 한다.
• 국소 유니터리 양자 세포자동우형(LUQCA) 형식은 단위 연산자가 양자 역행성을 보장하므로, CA의 물리적으로 일관된 양자화를 제공한다.
• 모든 양자 계산을 정확하고 효율적으로 시뮬레이션할 수 있는 보편적인 LUQCA가 존재한다.
• LUQCA는 균일한 양자 시스템의 유한한 부분 영역의 진화를 임의의 정밀도로 시뮬레이션할 수 있으며, 이는 실제 물리적 양자 시스템의 이산화 모델로 기능함을 입증한다.