[논문 리뷰] Greedy and quasi-greedy expansions in non-integer bases

Claudio Baiocchi, Vilmos Komornik|ArXiv.org|2007. 10. 16.

semigroups and automata theory참고 문헌 5인용 수 42

한 줄 요약

이 논문은 레니, 파리, 다로치, 케타이의 작업을 일반화하여 유한 및 무한 디지트 집합에 대해 비정수 기수에서의 그레디 및 쿼asi-그레디 전개를 특성화한다. 이는 이러한 전개를 구성하기 위한 재귀적 알고리즘을 도입하고, 그것들이 사전순으로 가장 큰 전개임을 증명하며, 특정 사전순 부등식을 만족하는 수열과 [0, M/(q−1)] 내 실수 사이의 일대일 대응을 수립한다. 주요 기여는 사전순 최대성과 디지트 수열에 대한 대수적 조건을 통해 전개를 통합적으로 특성화하는 것이다.

ABSTRACT

We generalize several theorems of Rényi, Parry, Daróczy and Kátai by characterizing the greedy and quasi-greedy expansions in non-integer bases.

연구 동기 및 목표

• 비정수 기수에서의 고전적 그레디 및 쿼asi-그레디 전개 결과를 임의의 유한 및 무한 디지트 집합으로 일반화한다.
• 재귀적 알고리즘을 사용하여 [0, M/(q−1)] 내 실수에 대한 사전순으로 가장 큰 전개를 특성화한다.
• 특정 사전순 부등식을 만족하는 디지트 수열과 실수 사이의 일대일 대응을 수립한다.
• 그레디 전개가 유한할 경우에 특히, 그레디 및 쿼asi-그레디 전개 간의 관계를 명확히 한다.
• M = ∞의 극한 경우로 이론을 확장하여, 베타 전개를 특수한 경우로 회복한다.

제안 방법

• 각 디지트 위치에서 부분합이 x 이하이도록 하면서 가능한 가장 큰 디지트를 선택하는 재귀적 최대화를 통해 그레디 및 쿼asi-그레디 전개를 정의한다.
• M ≥ q−1 조건 하에, x ∈ (0, M/(q−1)] 에서 쿼asi-그레디 전개가 무한 전개 중 사전순으로 가장 큰 것임을 증명한다.
• 사전순 부등식을 이용하여 q ∈ (1, M+1] 과 1의 쿼asi-그레디 전개 사이의 일대일 대응을 수립한다.
• 재귀적 비교 보조정리를 사용하여, 모든 n에 대해 a_n < M 이면 a_{n+1}a_{n+2}… ≤ α_1α_2… 를 만족하는 임의의 수열이 그 값의 쿼asi-그레디 전개임을 보인다.
• 부분합 부등식을 만족하는 사전순으로 가장 큰 수열로 그레디 전개를 특성화하고, 그것이 x에 수렴함을 증명한다.
• 그레디 및 쿼asi-그레디 전개 간의 관계를 분석한다: 그레디 전개가 유한하면, 쿼asi-그레디 전개는 마지막 비영 디지트를 1 감소시키고 1의 쿼asi-그레디 전개를 뒤에 이어붙인다.

실험 결과

연구 질문

• RQ1 비정수 기수에서 임의의 디지트 집합에 대해 그레디 및 쿼asi-그레디 전개를 체계적으로 어떻게 구성할 수 있는가?
• RQ2 실수 x의 비정수 기수 q에서의 쿼asi-그레디 전개를 특성화하는 데 필요한 대수적 및 사전순 조건는 무엇인가?
• RQ3 그레디 전개가 유한한 경우와 무한한 경우에 그레디 및 쿼asi-그레디 전개는 어떻게 관련되어 있는가?
• RQ4 1의 쿼asi-그레디 전개는 모든 x의 쿼asi-그레디 전개를 특성화하는 데 어떤 역할을 하는가?
• RQ5 M = ∞인 경우로 결과를 어떻게 확장할 수 있으며, 이 경우 모든 음이 아닌 정수를 디지트로 허용하는가?

주요 결과

• M ≥ q−1 조건 하에, x ∈ (0, M/(q−1)] 의 쿼asi-그레디 전개는 사전순으로 가장 큰 무한 전개이다.
• q ∈ (1, M+1] 과 1의 쿼asi-그레디 전개 사이에는 엄격하게 증가하는 일대일 대응이 존재하며, 이는 α_n < M 이면 항상 α_{n+1}α_{n+2}… ≤ α_1α_2… 를 만족하는 접미사 부등식으로 특성화된다.
• M = ∞ 이면, x ≥ 0 에 대해 그레디 전개는 부분합 부등식을 만족하는 사전순으로 가장 큰 수열이며, x에 수렴한다.
• 그레디 전개가 마지막 비영 디지트 b_m로 끝나는 유한 전개를 가질 경우, 쿼asi-그레디 전개는 b_1…b_{m−1}(b_m−1)α_1α_2… 로 주어지며, 여기서 (α_i) 는 1의 쿼asi-그레디 전개이다.
• 그레디 전개가 마지막 비영 디지트 β_m로 끝나는 유한 전개를 가질 경우, 1의 쿼asi-그레디 전개는 최소 주기 β_1…β_{m−1}(β_m−1) 를 가진 주기적 수열이 되며, 즉 (α_i) = (β_1…β_{m−1}(β_m−1))^∞ 이다.
• M = ∞ 의 극한에서, 그레디 전개는 레니가 도입한 베타 전개와 정확히 일치하며, 사전순 조건은 더 이상 디지트 제약 없이 모든 n에 대해 부등식이 성립함으로써 단순화된다.