[논문 리뷰] Generalised golden ratios over integer alphabets

Simon Baker|arXiv (Cornell University)|2012. 10. 31.

Mathematical Dynamics and Fractals참고 문헌 12인용 수 10

한 줄 요약

이 논문은 크기 $ m $인 정수 알파벳으로 고전적 황금비율을 일반화하며, $ \beta $-전개가 비가산적으로 많거나 유일하게 존재하는지 분리하는 임계 임계값 $ \mathcal{G}(m) $을 도입한다. $ \beta < \mathcal{G}(m) $인 경우, $ (0, \frac{m}{\beta-1}) $ 내의 모든 $ x $는 비가산적으로 많은 전개를 갖는다. $ \beta > \mathcal{G}(m) $인 경우, 일부 $ x $는 유일한 전개만 갖는다. $ \mathcal{G}(m) $에 대한 명시적 공식은 동역학 시스템과 간격 분석을 사용하여 유도되며, $ \mathcal{G}(m) $는 피ゾ트 수이다.

ABSTRACT

It is a well known result that for $β\in(1,\frac{1+\sqrt{5}}{2})$ and $x\in(0,\frac{1}{β-1})$ there exists uncountably many $(ε_{i})_{i=1}^{\infty}\in {0,1}^{\mathbb{N}}$ such that $x=\sum_{i=1}^{\infty}ε_{i}β^{-i}.$ When $β\in(\frac{1+\sqrt{5}}{2},2]$ there exists $x\in (0,\frac{1}{β-1})$ for which there exists a unique $(ε_{i})_{i=1}^{\infty}\in {0,1}^{\mathbb{N}}$ such that $x=\sum_{i=1}^{\infty}ε_{i}β^{-i}.$ In this paper we consider the more general case when our sequences are elements of ${0,...,m}^{\mathbb{N}}.$ We show that an analogue of the golden ratio exists and give an explicit formula for it.

연구 동기 및 목표

• 이진 전개($ m=1 $)에서의 고전적 황금비율 개념을 일반 정수 알파벳 $ \{0, \ldots, m\} $으로 확장하기 위해.
• 모든 $ x \in (0, \frac{m}{\beta-1}) $가 $ \{0, \ldots, m\} $의 숫자를 사용해 비가산적으로 많은 $ \beta $-전개를 갖는지 여부를 분리하는 임계 임계값 $ \mathcal{G}(m) $을 식별하기 위해.
• 모든 $ m \in \mathbb{N} $에 대해 유효한 명시적 공식을 동역학 시스템과 간격 매핑 기법을 사용하여 $ \mathcal{G}(m) $에 대해 제공하기 위해.
• $ \beta < \mathcal{G}(m) $인 경우 $ \beta $-전개 집합의 성장률과 차원 이론을 분석하고, $ \beta > \mathcal{G}(m) $인 경우 유일한 전개의 구조를 분석하기 위해.

제안 방법

• $ \beta $-전개를 반복적인 사상 $ T_{\beta,i}(x) = \beta x - i $ 를 사용하여 정의하며, 이는 고정점 $ \frac{i}{\beta-1} $ 에서의 거리들을 요인 $ \beta $ 로 확대한다.
• $ \Omega_{\beta,m}(x) $ 라는 사상의 유한 및 무한 수열 집합을 사용하여 $ x $ 의 $ \beta $-전개를 특성화하며, $ |\Sigma_{\beta,m}(x)| = |\Omega_{\beta,m}(x)| $ 를 만족한다.
• 수열이 발산할 수 있는 임계 간격 $ \mathcal{I}_\beta $ 를 설정하고, $ \beta < \mathcal{G}(m) $ 인 경우 $ I_{\beta,m} $ 내의 모든 $ x $ 가 이러한 수열을 비가산적으로 많이 갖는다는 것을 증명한다.
• 임계 영역에서 벗어나기 위해 필요한 사상의 수를 구속하기 위해 간격 커버링과 수축 추론을 적용하여 비가산적 분열을 보장한다.
• 고정점의 구조와 간격 겹침을 이용하여 $ \mathcal{G}(m) $ 의 임계값을 유도하며, $ m $ 이 짝수인지 홀수인지에 따라 구분한다.
• $ \mathcal{G}(m) $ 가 피조트 수임을 증명하기 위해 대수적 성질과 공액 모듈러스 조건을 검증한다.

실험 결과

연구 질문

• RQ1 모든 $ x \in (0, \frac{m}{\beta-1}) $ 가 $ \{0, \ldots, m\} $ 의 숫자를 사용해 비가산적으로 많은 $ \beta $-전개를 갖는 $ \beta \in (1, m+1] $ 는 무엇인가?
• RQ2 비가산적 전개의 영역과 유일한 전개가 존재하는 영역을 분리하는 정확한 임계값 $ \mathcal{G}(m) $ 은 무엇인가?
• RQ3 $ \beta $ 가 $ \mathcal{G}(m) $ 를 초과하면서 증가함에 따라 $ \beta $-전개의 구조는 어떻게 변화하는가? 특히 유일한 전개의 출현에 대해 어떻게 되는가?
• RQ4 황금비율 개념은 비이진 알파벳으로 일반화될 수 있는가? 만약 그렇다면 일반화된 임계값에 대한 닫힌 형태 표현은 무엇인가?

주요 결과

• 일반화된 황금비율 $ \mathcal{G}(m) $ 는 $ m = 2k $ 이면 $ \mathcal{G}(m) = k+1 $, $ m = 2k+1 $ 이면 $ \mathcal{G}(m) = \frac{k+1 + \sqrt{k^2 + 6k + 5}}{2} $ 로 명시적으로 주어진다.
• $ \beta < \mathcal{G}(m) $ 인 경우, $ (0, \frac{m}{\beta-1}) $ 내의 모든 $ x $ 는 $ \{0, \ldots, m\}^\mathbb{N} $ 에서 비가산적으로 많은 $ \beta $-전개를 갖는다.
• $ \beta > \mathcal{G}(m) $ 인 경우, $ (0, \frac{m}{\beta-1}) $ 내에 유일한 $ \beta $-전개를 갖는 $ x $ 가 적어도 하나 존재한다.
• $ \mathcal{G}(m) $ 는 모든 $ m \in \mathbb{N} $ 에 대해 피조트 수이며, 이는 1보다 큰 실수 대수적 정수이며, 모든 갈루아 공액의 모듈러스가 1 미만임을 의미한다.
• 논문은 $ m = 1 $ 에서 $ 10 $ 까지의 $ \mathcal{G}(m) $, $ \beta_f(m) $, $ \beta_c(m) $ 의 표를 제공하며, $ \mathcal{G}(m) $ 가 $ m $ 과 함께 증가하고 $ m+1 $ 에 수렴함을 보여준다.
• $ \beta < \mathcal{G}(m) $ 인 경우 $ \beta $-전개 집합의 성장률과 차원 이론을 분석하였으며, 전개 집합의 복잡한 프랙탈 유사한 구조가 있음을 시사하는 결과를 도출하였다.