[논문 리뷰] Structural and Symmetry Analysis of Discrete Dynamical Systems

Vladimir V. Kornyak|arXiv (Cornell University)|2010. 06. 09.

Quantum chaos and dynamical systems참고 문헌 17인용 수 5

한 줄 요약

이 논문은 버키볼과 같이 대칭적인 그래프 위에서 이산 동역계, 특히 세포자동우계와 스핀 모델을 분석하기 위한 군론적 프레임워크를 개발한다. 분할 군 확장에 의한 공간 대칭과 내부 대칭의 통합된 작용을 도입하여 국소 규칙이 국소 대칭군의 궤도 구조를 존중해야 한다는 점을 보이며, 해밀토니안에서의 별개의 결합 상수와 대칭 불변 업데이트 규칙을 이끌어낸다. 이는 버키볼 위에서 이징 모델과 콘웨이의 생명 게임에 명시적으로 적용된다.

ABSTRACT

To study discrete dynamical systems of different types --- deterministic, statistical and quantum --- we develop various approaches. We introduce the concept of a system of discrete relations on an abstract simplicial complex and develop algorithms for analysis of compatibility and construction of canonical decompositions of such systems. To illustrate these techniques we describe their application to some cellular automata. Much attention is paid to study symmetries of the systems. In the case of deterministic systems, we reveale some important relations between symmetries and dynamics. We demonstrate that moving soliton-like structures arise inevitably in deterministic dynamical system whose symmetry group splits the set of states into a finite number of group orbits. We develop algorithms and programs exploiting discrete symmetries to study microcanonical ensembles and search phase transitions in mesoscopic lattice models. We propose an approach to quantization of discrete systems based on introduction of gauge connection with values in unitary representations of finite groups --- the elements of the connection are interpreted as amplitudes of quantum transitions. We discuss properties of a quantum description of finite systems. In particular, we demonstrate that a finite quantum system can be embedded into a larger classical system. Computer algebra and computational group theory methods were useful tools in our study.

연구 동기 및 목표

• 버키볼과 같이 이산 그래프에서 국소 대칭군이 일관된 국소 동역계를 정의하는 데 기여하는 방식을 형식화한다.
• 예를 들어 이코사하드론 군과 같은 공간 대칭과 예를 들어 스핀 전환과 같은 내부 대칭을 하나의 군 작용으로 통합하여 시스템 상태 위에 적용한다.
• 국소 규칙(예: 세포자동우계 또는 스핀 해밀토니안)이 국소 안정자군에 의한 이웃 간선의 궤도 분해를 존중해야 하는 조건을 유도한다.
• 대칭 제약 조건이 있는 k-valent 그래프에 대해 세포자동우계의 '생성/생존' 규칙 개념을 일반화한다.
• 군론적 궤도 수를 이용하여 대칭 이진 규칙과 표준 생명계 규칙 간의 대응 관계를 설정한다.

제안 방법

• 전체 대칭군 $\mathrm{G} = \mathbb{Z}_2 \times \mathrm{Alt}(5)$ 내에서 정점의 안정자 부분군 $\mathrm{G}_{\mathrm{loc}} = \mathrm{Stab}_{\mathrm{G}}(x_i)$ 를 사용하여 버키볼의 이웃 간선 궤도를 분석한다.
• 변수 $x_{1,i}$ 와 $x_{2,i}$ 와 같이 동일한 간선에 대응하는 변수들 간의 대칭성을 요구함으로써 $\mathrm{G}_{\mathrm{loc}}$ 작용에 관하여 불변인 함수를 통해 국소 동역계를 정의한다.
• 항등형사상 $\mu: \mathrm{G} \to \mathrm{Aut}(\Gamma^X)$ 와 함수 $\kappa: \mathrm{G} \to \mathrm{G}$ 를 매개변수로 하는 $\mathrm{G}$ 에 대한 $\Gamma^X$ 의 분할 확장 $\mathrm{W} \leq \mathrm{Sym}(\Sigma^X)$ 을 구성한다.
• $\mathrm{W}$ 에서의 군 작용, 곱셈, 역원의 일반 공식을 도출하여 직접곱과 와이어드곱의 구성 방식을 일반화한다.
• 버키볼 위의 이징 모델에 이 형식을 적용하여, 해밀토니안이 두 개의 별개의 결합 상수 $J_{12}$ 와 $J_3$ 를 사용해야 하며, 이는 서로 다른 간선 궤도에 대응함을 보여준다.
• 콘웨이의 생명 게임의 국소 규칙을 $\mathbb{F}_2$ 위의 다항식으로 표현하며, 기본 대칭 다항식을 사용하여 생성 조건과 생존 조건을 인코딩한다.

실험 결과

연구 질문

• RQ1 이산 그래프의 국소 대칭이 세포자동우계 또는 스핀 모델에서 유효한 국소 규칙의 형태를 어떻게 제약하는가?
• RQ2 공간 대칭과 내부 대칭을 하나의 군 작용으로 통합하기 위한 일반적인 수학적 구조는 무엇인가?
• RQ3 국소 안정자군에 의한 이웃 간선의 궤도 분해를 이용하여 물리 모델의 결합 상수를 분류할 수 있는가?
• RQ4 k-valent 그래프 위의 대칭 이진 규칙과 세포자동우계의 표준 '생성/생존' 규칙 형식 사이의 정확한 관계는 무엇인가?
• RQ5 콘웨이의 생명 게임의 국소 규칙은 $\mathbb{F}_2$ 위에서 대칭 다항식을 사용하여 체계적으로 표현할 수 있는가?

주요 결과

• 버키볼의 대칭군은 $\mathrm{G} = \mathbb{Z}_2 \times \mathrm{Alt}(5)$ 이며, 국소 안정자 $\mathrm{G}_{\mathrm{loc}} = \mathbb{Z}_2$ 는 세 개의 이웃 간선에 대해 두 개의 궤도 $\{e_{1,i}, e_{2,i}\}$ 와 $\{e_{3,i}\}$ 를 가지며, 이는 서로 다른 화학적 역할(단일 결합 대 비트 결합)을 반영한다.
• 버키볼 위의 이징 해밀토니안은 두 개의 별개의 결합 상수 $J_{12}$ 와 $J_3$ 를 사용해야 하며, 이는 두 개의 간선 궤도에 대응한다. 이를 바탕으로 $H_{\text{bucky}} = -\frac{1}{2}\sum_i s_i\left[J_{12}(s_{1,i}+s_{2,i}) + J_3 s_{3,i}\right] - B\sum_i s_i$ 로 표현할 수 있다.
• 버키볼 위의 세포자동우계 규칙는 첫 번째 궤도에 속한 두 간선의 교환에 대해 대칭이어야 하며, 즉 $f(x_i, x_{1,i}, x_{2,i}, x_{3,i}) = f(x_i, x_{2,i}, x_{1,i}, x_{3,i})$ 이다.
• 공간 대칭과 내부 대칭을 통합하는 일반 군 $\mathrm{W}$ 는 $\mathrm{G}$ 에 대한 $\Gamma^X$ 의 분할 확장이며, 항등형사상 $\mu$ 와 함수 $\kappa$ 를 매개변수로 하며, 작용, 곱셈, 역원에 대한 명시적 공식이 존재한다.
• 표준 직접곱 $\Gamma^X \times \mathrm{G}$ 와 와이어드곱 $\Gamma \wr_X \mathrm{G}$ 는 각각 $\mu(a) = 1$ 과 $\mu(a) = a^{-1}$ 인 특수한 경우로서 이 구성의 특수한 형태이다.
• k-valent 이웃에서의 k-대칭 이진 규칙의 수는 $N_{B/S,k} = 2^{2k+2}$ 이며, 궤도 유형을 통한 수세기와 일치함으로써 모든 이러한 규칙가 표준 생명계 규칙과 동치임을 증명한다.