[논문 리뷰] Lower bounds for symbolic complexity of iceberg dynamical systems

A. A. Prikhod’ko|arXiv (Cornell University)|2012. 01. 27.

semigroups and automata theory참고 문헌 14인용 수 3

한 줄 요약

이 논문은 어둠의 체계(dynamic system)로 불리는 일반화된 랭크-일의 시스템인 빙산 시스템의 기호 복잡도에 대해 $ l^{3-u} $ 정도의 하한을 확립한다. 이는 고전적 랭크-일 시스템에서 일반적인 2차 복잡도를 초월함을 보여주며, 빙산 시스템이 랭크-일 사상보다 엄격히 더 큰 클래스를 이룬다는 것을 의미한다. 이는 영 엔트로피 역학에서 스펙트럼 불변량과 동형 문제에 대한 함의를 가진다.

ABSTRACT

The symbolic complexity of an infinite word $W$ is the function $p_W(l)$ counting the number of different subwords in $W$ of length $l$. In this paper our main purpose is to study the complexity for a class of topological dynamical systems, called iceberg systems, given by the following symbolic procedure. Starting from a given finite word $w_1$ we construct a sequence of words $w_{n+1} = w_n ρ_{a_n(1)}(w_n)...ρ_{a_n(q_n-1)}(w_n)$, where $ρ_a(u)$ is the cyclic rotations of the word $u$ by $a$ positions, and consider an infinite word $W$ extending each $w_n$ to the right. It is shown that for iceberg systems given by the randomized parameters $a_n(j)$ the complexity function almost surely satisfies the estimate $p_W(l) > l^{3-ε}$ for any $ε> 0$ and $l \ge l_0(ε)$, and at the same time it is observed that this estimate represents up to a small correction the optimal lower bound for the complexity function, namely, $p_{w_{n+1}}(l_n) \le l_n^3$ along the subsequence $l_n = |w_n|+1$.

연구 동기 및 목표

• 빙산 시스템이라 불리는 일반화된 역학계의 기호 복잡도를 조사함으로써, 고전적 랭크-일 구성의 확장.
• 빙산 시스템이 고전적 랭크-일 시스템보다 더 높은 복잡도를 보이는지 확인함. 이는 랭크-일 시스템이 $ p(l) \lesssim l^2 $ 라는 사실을 바탕으로 함.
• 기호 복잡도가 영 엔트로피 역학에서 동형이지만 비동형인 시스템을 구분하는 불변량으로서의 역할을 탐색함.
• 빙산 시스템의 복잡도를 파스칼 아딕 변환과 비교함. 이는 삼차 복잡도 $ \sim l^3/6 $ 을 갖는다.

제안 방법

• 단어의 반복적 확장을 통해 빙산 시스템을 구성: $ \boldsymbol{w}_{n+1} = \boldsymbol{w}_n \rho_{\alpha_n(1)}(\boldsymbol{w}_n) \cdots \rho_{\alpha_n(q_n-1)}(\boldsymbol{w}_n) $, 여기서 $ \rho_\alpha $ 는 순환 이동을 나타냄.
• 무한한 한계 단어 $ \boldsymbol{w}_\infty $ 에서 길이 $ l $ 의 서로 다른 부분단어의 수를 세는 기호 복잡도 함수 $ p_{\boldsymbol{w}_\infty}(l) $ 를 분석함.
• 표현적 행동을 모델링하고 복잡도에 대한 확률적 하한을 도출하기 위해 랜덤화된 이동 매개변수 $ \alpha_n(j) $ 를 사용함.
• 특정 부분수열 $ l_n = |\boldsymbol{w}_n| + 1 $ 에서 $ p_{\boldsymbol{w}_{n+1}}(l_n) \leq l_n^3 $ 이 성립함을 입증하여, 삼차 상한이 작은 수정 사항을 제외하고는 최적임을 보임.
• 스케일링 근사 이론을 적용하여 빙산 사상이 스케일링 랭크 1을 가지며 $ \boldsymbol{\lambda}(h) = 1/2 $ 라고 밝힘. 이는 랭크-일 사상의 $ \boldsymbol{\lambda}(h) = 1 $ 과 대비됨.
• 기존의 파스칼 아딕 변환의 복잡도와 결과를 비교함. 이는 $ p(l) \sim l^3/6 $ 을 달성함.

실험 결과

연구 질문

• RQ1 랜덤 순환 이동을 사용해 구성된 빙산 시스템의 일반적인 기호 복잡도는 무엇인가요?
• RQ2 기호 복잡도를 불변량으로 삼아, 빙산 시스템과 고전적 랭크-일 시스템을 구별할 수 있는가요?
• RQ3 빙산 시스템의 삼차 성장률 $ l^3 $ 이 최적인지, 더 날카운 상한을 도출할 수 있는가요?
• RQ4 빙산 시스템의 스케일링 함수 $ \boldsymbol{\lambda}(h) $ 는 파스칼 아딕 변환과 어떻게 비교되는가요?
• RQ5 파스칼 아딕 사상의 점근적 복잡도 $ \sim l^3/6 $ 는 최적이며, 이는 보편적인 스케일링 행동을 반영하는가요?

주요 결과

• 랜덤화된 이동 매개변수를 갖는 빙산 시스템의 경우, 기호 복잡도는 임의의 $ \varepsilon > 0 $ 에 대해 $ p_{\boldsymbol{w}_\infty}(l) \gtrsim l^{3-\varepsilon} $ 를 만족함으로써, 거의 삼차 성장임을 나타냄.
• 부분수열 $ l_n = |\boldsymbol{w}_n| + 1 $ 에서 $ p_{\boldsymbol{w}_{n+1}}(l_n) \leq l_n^3 $ 이 성립함을 통해 삼차 상한이 거의 최적임을 입증함.
• 고전적 랭크-일 시스템이 $ p(l_n) \lesssim \frac{1}{2} l_n^2 $ 를 만족함에 비해, 빙산 시스템은 $ l^{3-\varepsilon} $ 하한을 위배하므로 엄격히 더 복잡함.
• 빙산 사상은 스케일링 랭크 1을 가지며 $ \boldsymbol{\lambda}(h) = 1/2 $ 를 만족함. 이는 순환 이동을 통한 두 부분 간격 교환의 구성 방식을 반영함.
• 파스칼 아딕 변환의 기호 복잡도는 정확히 $ p(l) \sim \frac{1}{6} l^3 $ 이며, 이는 빙산 시스템과 비교할 수 있는 자연스러운 기준점임.
• 결과는 기호 복잡도가 스펙트럼 성질이 유사하더라도 비동형인 시스템을 구별할 수 있음을 시사하며, 이는 랭크가 스펙트럼 불변량이 아님을 의미함.