[논문 리뷰] Gauge-invariance in cellular automata

Pablo Arrighi, Giuseppe Di Molfetta외 1명|arXiv (Cornell University)|2020. 04. 07.

Quantum many-body systems참고 문헌 26인용 수 2

한 줄 요약

이 논문은 게이지 대칭성과 게이지 등가성을 다루는 이산적이고 세포자동기기(CA) 기반의 형식론을 제안하며, 고전적 및 양자적 CA에서 국소 대칭성을 강제하기 위한 단계적 게이징 절차를 제공한다. 이는 게이지 불변성 CA를 체계적으로 구성하는 엄밀한 프레임워크를 구축하며, 게이지 변환 하에서의 등가성과 오차에 강건한 동역학을 가능하게 한다. 이는 양자 시뮬레이션과 이산 물리 모델에 적용된다.

ABSTRACT

Gauge-invariance is a fundamental concept in Physics -- known to provide mathematical justification for the fundamental forces. In this paper, we provide discrete counterparts to the main gauge theoretical concepts directly in terms of Cellular Automata. More precisely, the notions of gauge-invariance and gauge-equivalence in Cellular Automata are formalized. A step-by-step gauging procedure to enforce this symmetry upon a given Cellular Automaton is developed, and three examples of gauge-invariant Cellular Automata are examined.

연구 동기 및 목표

• 연속 장 이론이나 라그랑지안에 의존하지 않고, 세포자동기기 내부에서 직접 게이지 불변성과 게이지 등가성을 형식화하기 위해.
• 임의의 CA에 국소 게이지 대칭성을 강제하는 이산적이고 체계적인 게이징 절차를 개발하기 위해.
• 세 가지 구체적 예시를 통해 게이지 불변성 CA의 구성 과정을 보여주기 위해: 고전적 CA, 일반화된 고전적 CA, 양자 CA(QCA).
• 게이지 변환 하에서 게이지 불변성 CA 간의 등가성을 특성화하고, 게이지 고정 및 게이지 제약 절차를 정의하기 위해.
• 오차 보정 및 양자 시뮬레이션과의 연결 고리를 탐색하며, 특히 비섭동적 양자장 이론에 대해 고려하기 위해.

제안 방법

• Z^d 격자 위에서 국소 업데이트 규칙과 분할 QCA를 사용하여 고전적 및 양자적 세포자동기기(QCA)를 형식화한다.
• 내부 자유도에 대한 국소적, 위치에 의존적인 연산으로서 게이지 변환을 정의하고, 일관된 변환 규칙을 통해 게이지 불변성 동역학을 도입한다.
• 기본 CA에 게이지 장을 추가하여 국소 변환에 대해 불변성을 확보하는 단계적 게이징 절차를 개발한다.
• 기존 CA의 진화와 게이지 장 업데이트를 연결하는 국소 규칙을 사용하여, 전반적인 동역학은 유지하면서 국소 대칭성을 강제한다.
• 세 가지 예시에 이 프레임워크를 적용한다: 최소한의 고전적 CA, 더 넓은 범위의 게이지 변환, 양자 전기역학의 스위ン거 모델을 실현하는 QCA.
• 게이지 변환 하에서 CA의 동치류를 도입하고, 중복된 자유도를 제거하기 위해 게이지 고정을 정의한다.

실험 결과

연구 질문

• RQ1 게이지 불변성은 세포자동기기와 같은 이산적이고 공간에 확장된 동역학계에서 엄밀하게 정의될 수 있는가?
• RQ2 주어진 세포자동기기를 게이징하여 국소 게이지 대칭성을 강제하는 체계적이고 단계적인 절차가 존재하는가?
• RQ3 다른 CA 간의 게이지 등가성은 어떻게 형식적으로 특성화하고, 동역학적 등가성과 어떻게 구분할 수 있는가?
• RQ4 게이지 불변성 CA와 공간 분포 시스템에서의 오차 보정 코드 사이의 관계는 무엇인가?
• RQ5 이 프레임워크는 비아벨 게이지 군과 고차원 공간 격자로까지 확장될 수 있는가?

주요 결과

• 논문은 연속 장 이론이나 변분 원리에 의존하지 않고, 세포자동기기에서 게이지 이론의 완전한 이산적 대응을 구축한다. 게이지 불변성과 게이지 등가성을 체계적으로 형식화한다.
• 기본 CA를 게이지 불변성으로 전환하기 위해 국소 게이지 장을 도입하고, 국소 규칙을 적절히 수정하는 체계적 게이징 절차를 개발한다.
• 세 가지 구체적 예시를 구성한다: U(1) 대칭성을 가진 최소한의 고전적 CA, 더 큰 게이지 군을 가진 일반화된 고전적 CA, 양자 전기역학의 스위н거 모델을 실현하는 QCA.
• 프레임워크는 두 게이지 불변성 CA가 게이지 변환으로 연결되어 있으면 물리적으로 동치임을 증명하며, 이러한 동치류의 특성화를 제공한다.
• 이 작업는 게이지 불변성 CA가 기본 상호작용을 이산적이고 내재적인 방식으로 모델링할 수 있음을 보여주며, 양자 시뮬레이션과 오차에 강건한 계산에 유망한 길을 제시한다.
• 결과는 게이지 불변성 CA가 노이즈에 대한 저항성에 자연스러운 메커니즘을 제공할 수 있음을 시사하며, 게이지 변환은 오차 보정 연산으로 해석될 수 있다.