[논문 리뷰] Thermodynamic formalism and Substitutions

Nicolas Bédaride, Pascal Hubert외 1명|arXiv (Cornell University)|2015. 11. 10.

Mathematical Dynamics and Fractals참고 문헌 19인용 수 3

한 줄 요약

이 논문은 표기된 치환의 일종인, 투-모르스 사례를 일반화한 클래스에 대해 기호 역학에서 잠재력에 대한 재규합 연산자의 수렴성을 확립한다. 이는 유일한 영이 아닌 연속 고정점의 존재를 증명함으로써 이루어지며, 잠재력에 대해 적절한 초기 조건이 만족될 경우 반복된 재규합 $ R^n(φ) $ 가 이 고정점으로 수렴함을 보이며, 이는 치환의 국소적 구조에 따라 명시적인 점근적 극한을 가진다.

ABSTRACT

This paper studies properties of a Renormalization Operator for potentials in symbolic dynamics. These operators first appeared in \cite{BLL} and the link with substitutions was done in \cite{BL1}. Their fixed points are natural candidates to have pathologic behavior such as phase transitions. If $R$ is such an operator, we study the convergence of $R^{n}(φ)$ to the non-nul fixed point. We define the family of marked substitutions, which contains the Thue-Morse substitution, and show that the associated renormalization operators on potentials admits a unique non-nul continuous fixed point. Then, we show that $R^{n}(φ)$ converges to the fixed point as soon as $φ$ has the right germ close to $\mathbb K$.

연구 동기 및 목표

• 기호 역학에서 잠재력에 대한 재규합 연산자 $ R^n(φ) $ 의 수렴성을 연구한다.
• $ R^n(φ) $ 가 영이 아닌 연속 고정점으로 수렴하는 조건을 규명한다.
• 투-모르스 치환에서의 결과를 표기된 치환의 개념을 통해 더 넓은 치환 클래스로 일반화한다.
• 재규합 역학을 열역학 형식론에서의 상전이 및 병리적 행동과 연결한다.
• 표기된 치환은 언어 내에서 혼란스러운 변화(사고)를 국소화하고 통제함으로써 수렴성을 보장함을 보여준다.

제안 방법

• 기호 역학에서 잠재력 $ \varphi $ 에 작용하는 재규합 연산자 $ R $ 을 정의한다.
• 왼쪽과 오른쪽 표기를 통해 유한한 접두사와 접미사로부터 문자를 복원할 수 있는 표기된 치환의 클래스를 도입한다.
• 치환의 일정 길이 성질을 이용하여 무한 단어의 언어 $ \mathcal{L} $ 를 분석하고, 주어진 접미사를 포함하는 최소 길이를 측정하는 함수 $ \delta(x) $ 를 정의한다.
• 시프트 역학 $ \sigma^k(H^n(x)) $ 를 분석하여, 접미선이 위치 $ k $ 에서 시작하는 최소 길이 $ \delta_k^n $ 을 결정한다.
• 가정된 더 긴 언어 확장을 분석할 때 모순을 이끌어내기 위해 보조정리 4.2 를 적용함으로써 $ \delta_k^n $ 의 정확한 값을 증명한다.
• 역수 길이의 합으로 재규합된 잠재력 $ R^n(\varphi)(x) $ 를 계산하고, $ n \to \infty $ 일 때의 극한을 취함으로써 명시적인 점근적 표현을 도출한다.

실험 결과

연구 질문

• RQ1 재규합 연산자 $ R^n(\varphi) $ 가 영이 아닌 연속 고정점으로 수렴하는 조건은 무엇인가?
• RQ2 특히 표기된 성질이 치환의 구조적 성질로서 재규합 연산자의 수렴성에 어떤 영향을 미치는가?
• RQ3 잠재력 $ \varphi $ 가 집합 $ \mathbb{K} $ 근처에 특정한 기질을 가질 경우 $ R^n(\varphi)(x) $ 의 점근적 행동은 어떠한가?
• RQ4 잠재력에 대한 재규합 연산자는 투주기적 시스템인 치환과 같은 시스템에서의 상전이와 연결될 수 있는가?
• RQ5 언어 구조에서의 '사고'(지역적 붕괴)는 $ R^n(\varphi) $ 의 수렴성에 어떤 영향을 미치며, 이를 통제할 수 있는가?

주요 결과

• 모든 표기된 치환에 대해 재규합 연산자 $ \mathcal{R} $ 는 고유한 영이 아닌 연속 고정점을 갖는다.
• $ d(x, \mathbb{K}) = 2^{-p} $ 이고 $ \varphi(x) = \frac{1}{p} + o(1/p) $ 이면, $ p \geq 3 $ 에서 $ R^n(\varphi)(x) \to \ln\left(\frac{p}{p-1}\right) $ 이다.
• $ p = 2 $ 일 경우 극한은 $ \frac{1}{2} \ln\left(\frac{4}{3}\right) $ 로, $ \delta(x) = 2 $ 의 경우에 해당한다.
• $ \varnothing $ 가 $ \mathbb{K} $ 근처에 적절한 기질을 가질 경우 $ R^n(\varphi) $ 의 수렴이 보장되며, 이는 고정점에 도달함을 보장한다.
• 증명은 언어 내에서의 '사고'(예상치 못한 접미선 연장)가 국소화되어 있으며, 표기된 조건 덕분에 수렴성을 해치지 않음을 보여준다.
• 점근적 극한은 합 $ \sum_{k=0}^{2^n-1} \frac{1}{p \cdot 2^n - k} $ 의 리만 합 근사로 유도되며, 이는 $ \ln\left(\frac{p}{p-1}\right) $ 로 수렴한다.