[논문 리뷰] Shift Radix Systems - A Survey

Peter Kirschenhofer, Jörg Μ. Thuswaldner|arXiv (Cornell University)|2013. 12. 02.

semigroups and automata theory참고 문헌 59인용 수 7

한 줄 요약

이 종합 검토는 정수 계수 선형 변환과 내림 함수를 포함하는 동적 시스템인 이동 루트 시스템(SRS)을 탐구하며, 베타 전개, 표준 수체계, 사라마 수와 피조트 수에 대한 주기적 전개와의 연결 고리를 제시한다. 주요 기여는 SRS, 타일 이론, 디오판틴스 추측 간의 포괄적 통합이며, SRS가 유한성 성질을 보이는 매개변수의 특성화와 SRS 타일의 기하학적 구조를 포함한다.

ABSTRACT

Let $d\ge 1$ be an integer and ${\bf r}=(r_0,\dots,r_{d-1}) \in \mathbf{R}^d$. The {\em shift radix system} $τ_\mathbf{r}: \mathbb{Z}^d o \mathbb{Z}^d$ is defined by $$ τ_{\bf r}({\bf z})=(z_1,\dots,z_{d-1},-\lfloor {\bf r} {\bf z} floor)^t \qquad ({\bf z}=(z_0,\dots,z_{d-1})^t). $$ $τ_\mathbf{r}$ has the {\em finiteness property} if each ${\bf z} \in \mathbb{Z}^d$ is eventually mapped to ${\bf 0}$ under iterations of $τ_\mathbf{r}$. In the present survey we summarize results on these nearly linear mappings. We discuss how these mappings are related to well-known numeration systems, to rotations with round-offs, and to a conjecture on periodic expansions w.r.t.\ Salem numbers. Moreover, we review the behavior of the orbits of points under iterations of $τ_\mathbf{r}$ with special emphasis on ultimately periodic orbits and on the finiteness property. We also describe a geometric theory related to shift radix systems.

연구 동기 및 목표

• 이동 루트 시스템(SRS)과 그 수체계, 동적 시스템, 대수적 수론과의 연결 고리에 관한 기존 결과를 통합하고 요약하는 것.
• SRS의 유한성 성질을 조사하는 것, 즉 모든 정수 벡터가 반복 적용 시 결국 0으로 수렴하는지 여부.
• SRS 타일의 기하학적 구조와 타일링 성질을 탐구하며, 특히 베타-타일과 자기유사 타일과의 관련성을 중심으로 한다.
• SRS가 이산화된 회전을 모델링하고 사라마 수에 대한 주기적 전개를 어떻게 다루는지 조사하며, 샤미트와 보이드의 추측과의 연결 고리를 분석한다.
• 대칭 SRS 및 정수 환 위의 SRS와 같은 SRS의 변형을 제시하고 고차원에서의 열린 문제를 논의한다.

제안 방법

• SRS를 τ_r: ℤ^d → ℤ^d 로 정의하며, τ_r(z) = (z₁,…,z_{d-1}, -⌊rz⌋)^t 로 표현한다. 여기서 r ∈ ℝ^d 이고 z ∈ ℤ^d 이다.
• 유한성 성질을 이용해 모든 궤도가 결국 0에 도달하는 매개변수 r를 특성화한다.
• 베타 변환과 역방향 나눗셈 사상과의 동치성 관계를 통해 SRS를 베타 전개와 표준 수체계와 연결한다.
• Schur-Cohn 영역를 사용해 SRS 매개변수 r과 관련된 수축 다항식을 특성화함으로써 주기적 궤도를 분석한다.
• 타일 이론을 적용해 SRS 타일 T_r(x)를 분석하며, 특정 조건 하에서 {T_r(x) : x ∈ ℤ^d} 가 ℝ^d 의 약한 타일링을 이룬다는 것을 보여준다.
• 자기유사 타일과 애핀 변환과 같은 기하학적 및 대수적 도구를 사용해 SRS 타일을 알려진 프랙탈 타일링(예: 쌍둥이 드론 타일, 브루노테 타일)과 연결한다.

실험 결과

연구 질문

• RQ1 ℝ^d 내의 어떤 매개변수 r 에 대해 이동 루트 시스템 τ_r 가 유한성 성질을 갖는가?
• RQ2 SRS는 동적 동치성 측면에서 어떻게 베타 전개와 표준 수체계와 연결되어 있는가?
• RQ3 모든 τ_r 궤도가 궁극적으로 주기적인 매개변수 r 의 집합 𝒟_d 의 구조는 어떠한가?
• RQ4 SRS 타일은 어떻게 자기유사 타일과 관련이 있으며, 어떤 타일링 성질을 보이는가?
• RQ5 SRS와 사라마 수에 대한 주기적 전개 간의 연결 고리는 무엇이며, 샤미트의 추측을 고려할 때 어떤 의미를 갖는가?

주요 결과

• τ_r 가 유한성 성질을 갖는 매개변수의 집합 𝒟_d^(0) 은 유한성 성질을 통해 특성화되며, Schur-Cohn 영역에 포함된다.
• r = (1/2, 1) 일 때, τ_r 는 유한성 성질을 가지며 ℝ^2 를 타일링하며, 이는 다항식 X² + 2X + 2 와 관련된 쌍둥이 드론 타일의 애핀 변환 이미지이다.
• r = (2/3, 1) 은 비모닉 다항식 2X² + 3X + 3 와 대응하며, 브루노테 타일을 생성하여 비모닉 다항식에 대해서도 타일링 행동이 발생함을 보여준다.
• r = -2/3 일 때, SRS 타일은 무한히 많은 서로 다른 길이를 가진 구간의 집합을 이룬다. 특히 T_r(N_k) 의 구간 ℓ_k ∈ [(2/3)^k, 3(2/3)^k] 에 속하며, 비균일한 타일링 구조를 보인다.
• 대칭 SRS는 -⌊rz⌋ 대신 -⌊rz + 1/2⌋ 를 사용하는 변형으로, 항상 약한 타일링을 생성하지는 않는다. 캘레와 슈타이너는 이중 타일링이 발생하는 경우를 발견하여, 표준 SRS와의 근본적인 차이를 보여준다.
• 클라우스 샤미트의 사라마 수에 대한 주기적 전개에 관한 추측은 SRS와 연결되어 있다. 만약 이 추측이 참이라면, β 가 사라마 수이고 r 가 β 에서 유도된 경우, ℚ(β) 의 모든 원소가 궁극적으로 주기적인 τ_r 전개를 갖는다는 것을 의미한다.