On orbit sets generated by semigroups of one-dimensional affine functions

기술 요약: 일차원 아핀 함수들의 반군에 의해 생성된 궤도 집합

문제 정의
본 논문은 정수 아핀 함수들의 집합 $F = \{f_i(x) = a_i x + b_i\}_{i=1}^n$이 시작값(또는 집합) $s$에 작용하여 생성하는 일차원 궤도 집합 $\langle F : s \rangle$ 및 궤도 멀티셋 $\langle F : s \rangle^\#$의 점근적 성장을 조사한다. 핵심 문제는 이 집합들의 밀도, 구체적으로 특정 조건 하에서 성장 함수 $|\langle F : s \rangle \cap [0, x]|$가 양수인지(즉, 0이 아닌 하한 점근 밀도를 갖는지)를 결정하는 것이다.

연구는 기울기 $a_i$가 $\sum_{i=1}^n \frac{1}{a_i} = 1$을 만족하는 임계 사례에 집중한다. P. Erdős의 선행 연구는 $\sum a_i^{-\sigma} = 1$일 때 성장 함수에 대해 $O(x^{\sigma+\epsilon})$의 상한을 확립했다. Erdős와 Graham은 만약 $F$가 자유 반군의 기저를 형성한다면(즉, 함수들 사이에 비자명한 합성 관계가 존재하지 않는다면), $\sum a_i^{-1} = 1$일 때 궤도 집합 $\langle F : s \rangle$가 양의 밀도를 갖는지에 대한 구체적인 미해결 문제를 제기했다. $\sum a_i^{-1} < 1$이면 밀도가 0이라는 것은 알려져 있었으나, 등식의 경우 자유 반군에 대한 일반적인 사례에 대해서는 여전히 미해결 상태로 남아 있었다.

방법론
저자들은 궤도 집합의 크기에 대한 하한을 도출하기 위해 조합론적 분석, 귀납법, 그리고 대수적 기법을 결합하여 사용한다.

1. 멀티셋에 대한 하한: 본 논문은 먼저 궤도 멀티셋 $\langle F : s \rangle^\#$의 크기에 대한 하한을 확립한다. 아핀 함수의 합성을 분석함으로써, 저자들은 아핀 함수의 합성에 의한 점의 이미지를 제한하는 보조 부등식(보조정리 4)을 유도한다. 이를 사용하여, $\sum a_i^{-\sigma} = 1$일 때 멀티셋 크기에 대해 $\Omega(x^\sigma)$의 하한을 증명한다. 이는 기존의 Erdős-Lagarias 상한을 보완하며, 저자들은 일반적인 경우에 대해 기존의 상한 $O(x^{\sigma+\epsilon})$과 하한 $\Omega(x^\sigma)$ 사이에 간극이 남아 있음을 언급하며, 정확한 점근적 거동($\Theta(x^\sigma)$)은 여전히 미해결 과제로 남아 있다고 밝힌다.

2. 자유 반군에 대한 부선형(Sublinear) 하한: Erdős-Graham 질문을 다루기 위해, 저자들은 자유 반구의 특성을 활용한다. 저자들은 동일한 기울기를 가지면서 서로 다른 자유 계수를 갖는 함수 합성들의 집합을 구성한다(보조정리 6). 이러한 합성들의 개수에 스털링 근사(Stirling's approximation)를 적용함으로써, $\sum a_i^{-1} = 1$이고 $F$가 자유 반군 기저일 때 궤도 집합 크기에 대한 부선형 하한을 유도한다.

3. 정확한 피복 체계(Exact Covering Systems): 본 논문은 궤도 집합과 "정확한 피복 체계"(정수의 서로소인 산술 급수로의 분할) 사이의 연결 고리를 도입한다. 정수 집합 $\mathbb{Z}$에 대한 직접 함수들에 핑퐁 레마(Ping-Pong Lemma)의 버전을 적용함으로써, 저자들은 만약 $F$가 정확한 피복 체계를 형성한다면(즉, $f_1(\mathbb{Z}) \sqcup \dots \sqcup f_n(\mathbb{Z}) = \mathbb{Z}$), 궤도 집합이 양의 밀도를 가짐을 보여준다.

주요 기여 및 결과

• 정리 2 (멀티셋 하한): 저자들은 $\sum a_i^{-\sigma} = 1$인 유한한 아핀 함수 집합에 대하여, 궤도 멀티셋의 크기가 $|\langle F : s \rangle^\# \cap [0, x]| = \Omega(x^\sigma)$를 만족함을 증명한다. 이는 Erdős-Lagarias 상한을 보완하는 최초의 일반적인 하한을 제공한다.

• 정리 5 (자유 반군에 대한 부선형 하한): Erdős-Graham 질문을 다루며, 본 논문은 $F$가 자유 반군의 기저이고 $\sum a_i^{-1} = 1$일 때, 임의의 $s \ge 0$에 대하여 궤도 집합의 크기가 다음을 만족함을 확립한다:
  $$|\langle F : s \rangle \cap [0, x]| = \Omega\left(\frac{x}{\log^{\frac{n-1}{2}} x}\right)$$
  이 결과는 성장이 최소한 부선형임을 보여주지만, 일반적인 자유 반수의 경우에 대해 양의 밀도(즉, $\Omega(x)$가 필요함)를 증명하는 데에는 미치지 못한다.

• 정리 7 (정확한 피복 체계에 대한 양의 밀도): 저자들은 만약 함수들이 $F$가 정수의 정확한 피복 체계를 형성한다면, 궤도 집합 $\langle F : s \rangle$가 양의 밀도를 가짐을 증명한다. 이 증명은 궤도 멀티셋 내 요소들의 중복도가 최대 1임을 보여줌으로써, 멀티셋 크기를 집합 크기로 환원하고 이를 정리 2에서 도출된 선형 항으로 하한을 구하는 방식에 의존한다.

• Klarner 튜플에 대한 응용: 저자들은 자신의 결과를 특정 "Klarner 튜플"($2x+a, 3x+b, 6x+c$가 자유 반군을 형성하는 정수 삼중항 $(a, b, c)$)에 적용한다. 밀도 문제가 고전적인 기울기 $\{2, 3, 6\}$에 대해서는 미해결 상태로 남아 있으나, 저자들은 정확한 피복 체계로부터 유도된 특정 계수를 가진 기울기 집합 $\{2, 4, 4\}$에 대해서는 궤도 집합이 양의 밀도를 가짐을 보여준다.

의의 및 주장
본 논문은 멀티셋 크기에 대한 일치하는 하한을 제공함으로써 Erdős와 Lagarias의 기초적인 연구를 보완한다고 주장한다. 구체적으로, 자유 반수의 맥락에서 Erdős-Graham 질문에 대해 "거의 선형적인" 하한을 제공한다.

또한, 본 논문은 생성 함수들이 정확한 피복 체계를 형성하는 특수한 하위 사례에 대해 Erdős-Graham 질문을 긍정적으로 해결했다고 주장한다. 저자들은 이 작업이 두 가지 이전에 구별되었던 수론 주제, 즉 궤도 집합의 연구와 정확한 피복 체계 이론(Erdős에 의해 대중화된 주제)을 연결한다고 강조한다. 이 연구는 $\sum a_i^{-1} = 1$인 모든 자유 반수에 대한 일반적인 Erdős-Graham 질문을 해결하는 것이 아니라, 정확한 피복 체계를 형성한다는 조건이 양의 밀도를 보장하기 위한 충분조건임을 명확히 한다. 본 논문은 모든 자유 반수에 대한 일반적인 Erdős-Graham 질문을 해결하거나, $\{2, 3, 6\}$에 대한 특정 밀도 문제를 해결한다고 주장하지 않으며, 이들이 여전히 미해결 상태임을 명시한다.