[논문 리뷰] Patterns of Negative Shifts and Beta-Shifts

Sergi Elizalde, Katherine Moore|arXiv (Cornell University)|2015. 12. 14.

Cellular Automata and Applications참고 문헌 10인용 수 3

한 줄 요약

이 논문은 동적 시스템 내 순열 패턴 연구를 음의 β-시프트로 확장하며, 주어진 순열 π가 음의 β-시프트 사상에 의해 실현될 수 있는 최소 β > 1를 계산하기 위한 조합적 프레임워크를 제안한다. 음의 시프트 복잡도 B̄(π)에 대한 공식을 제시하며, 이는 특정 다항식 P̄π(β)의 최대 실근으로 주어지며, 이는 이전의 양의 β-시프트와 정수 음의 시프트 결과를 실수 음의 β 경우로 일반화한다.

ABSTRACT

The $β$-shift is the transformation from the unit interval to itself that maps $x$ to the fractional part of $βx$. Permutations realized by the relative order of the elements in the orbits of these maps have been studied for positive integer values of $β$ and for real values $β>1$. In both cases, a combinatorial description of the smallest positive value of $β$ needed to realize a permutation is provided. In this paper we extend these results to the case of negative $β$, both in the integer and in the real case. Negative $β$-shifts are related to digital expansions with negative real bases, studied by Ito and Sadahiro, and Liao and Steiner.

연구 동기 및 목표

• 음의 실수 기반 β > 1의 경우에 대해 β-시프트 내 순열 패턴 이론을 확장한다.
• 주어진 순열 π가 음의 β-시프트 사상 T₋β에 의해 실현될 수 있는 최소 β > 1를 결정한다.
• 이전의 정수 음의 시프트와 양의 β-시프트 결과를 실수 음의 β의 전체 경우로 일반화한다.
• 음의 β-시프트의 허용 가능한 패턴 집합을 특성화하고, 그들의 시프트 복잡도를 계산한다.
• 실수의 음의 β 전개와 궤도 순서에 의한 순열 실현 간의 연결 고리를 설정한다.

제안 방법

• T₋β: (0,1] → (0,1] 을 T₋β(x) = 1 - {βx} 로 정의함으로써, 표준 β-시프트를 음의 기반 β > 1로 일반화한 음의 β-시프트 사상을 정의한다.
• 실수를 기반 -β로 표현하기 위해 음의 β 전개 체계 내의 허용 가능한 단어 개념을 사용한다.
• 주어진 순열 π에 대해, 궤도 순서에 의해 π를 유도하는 W₋β 내의 허용 가능한 단어 w를 구성한다.
• π가 T₋β에 의해 실현될 수 있는 최소 β ≥ 1를 주는 다항식 P̄π(β)를 유도한다.
• 교대 순서 이론과 무한 단어 이론을 적용하여, f_w[ℓ,∞)(x) = 1 의 최대 실근으로서 임계 값 β = B̄(π)를 결정한다.
• B̄(π) = 1 이 되는 것은 해당 단어 w의 尾부가 표준 단어의 교대 순서보다 사전순으로 앞서는 경우에 정확히 발생함을 이용한다.

실험 결과

연구 질문

• RQ1 주어진 순열 π가 음의 β-시프트 사상 T₋β에 의해 실현될 수 있는 최소 β > 1는 얼마인가?
• RQ2 음의 β-시프트의 허용 가능한 패턴 집합은 어떻게 조합적으로 특성화할 수 있는가?
• RQ3 실수의 음의 β 전개와 궤도 순서에 의한 순열 실현 간의 관계는 무엇인가?
• RQ4 임의의 순열 π에 대해 시프트 복잡도 B̄(π)를 알고리즘적으로 계산할 수 있는가?
• RQ5 다항식 P̄π(β)의 구조는 순열 π의 형태와 구조와 어떻게 관련이 있는가?

주요 결과

• 순열 π의 음의 시프트 복잡도 B̄(π)는 순열의 구조에서 직접적으로 구성된 다항식 P̄π(β)의 최대 실근과 같다.
• 길이 4인 순열에 대해 B̄(π)는 1에서 약 2.247 사이를 범위로 하며, β³ - 2β² + β - 1과 같은 다항식의 근과 관련이 있다.
• 길이 5인 순열에 대해 B̄(π)는 1에서 약 3.243 사이를 범위로 하며, 2.7693는 β³ - 3β² + β - 1의 최대 실근에 해당한다.
• P̄π(β)에 대해 실근 β ≥ 1 이 존재하지 않을 경우, B̄(π) = 1 이 되며, 이는 해당 단어의 尾부가 표준 단어의 교대 순서보다 사전순으로 앞서는 경우에 정확히 발생한다.
• π를 유도하는 단어 w의 구성은 B̄(π)가 π ∈ Allow(T₋β) 를 만족하는 최소 β > 1임을 보장하며, 이 값은 P̄π(β)의 근을 찾는 방식으로 계산 가능하다.
• 이 방법은 이전의 양의 β-시프트와 정수 음의 시프트 결과를 일반화하여 실수 음의 β > 1에 대한 통합 프레임워크를 제공한다.