Positive dyadic density for rational weighted binary expansions

기술적 요약: 유리 가중 이진 전개의 양의 다이아딕 밀도 (Positive Dyadic Density for Rational Weighted Binary Expansions)

문제 정의
본 논문은 $S \subseteq \mathbb{N}$가 무한 집합일 때, 형태 $\eta_S = \sum_{n \in S} n 2^{-n}$를 갖는 가중 이진 급수의 무리성을 다룬다. 구체적으로, 본 논문은 $a_n/n \to \infty$인 수열 $a_n$에 대해 $\sum_{n \ge 1} a_n 2^{-a_n}$가 반드시 무리수인지 묻는 Erdős Problem 260을 조사한다.

이전의 결과들은 $a_{n+1} - a_n \to \infty$ (Erdős) 또는 $\limsup (a_{n+1}-a_n)/\log a_{n+1} = \infty$ (Borwein and Loring)와 같은 더 강력한 가설 하에서 무리성을 입증했지만, $a_n/n \to \infty$ 조건은 오직 전역적 희소성($\# \{n : a_n \le X\} = o(X)$)만을 보장할 뿐이다. 이 조건은 매우 불규칙한 국소적 간격 패턴을 허용하며, 여기에는 짧은 간격들의 클러스터가 포함될 수 있는데, 이는 기존의 방법론으로는 배제할 수 없었다. 핵심적인 어려움은 전역적으로 희소한 수열이라 할지라도 복잡한 짧은 간격 패턴을 포함할 수 있으며, 이것이 표준적인 재귀 기준을 회피할 수 있다는 점이다.

방법론 및 증명 전략
본 논문은 더 강력한 국소적 결과를 증명한다: 만약 $\eta_S$가 유리수라면, $S$는 모든 충분히 큰 다이아딕 블록(dyadic block) $(X, 2X]$에서 **양의 비율(positive proportion)**을 차지해야 한다. 이 "양의 다이아딕 밀도(positive dyadic density)"는 $a_n/n \to \infty$가 시사하는 희소성과 모순된다.

증명은 $\eta_S = P/Q \in \mathbb{Q}$이고 다이아딕 블록이 희소하다(즉, $(X, 2X]$ 내에서 $S$의 밀도가 낮다)고 가정하는 귀류법으로 진행된다. 이 논증은 유리수 꼬리(rational tails)의 산술적 성질과 간격 패턴의 조합론적 계수를 결합한다:

1. 정수 캐리 재귀 (Integral Carry Recurrence): 유리성은 "꼬리" 부분이 선형 재귀 $R_{N+1} = 2R_N - Q(N+1)d_{N+1}$를 만족하는 비음의 정수 캐리 $R_N$으로 표현될 수 있음을 의미하며, 이때 $0 \le R_N \le Q(N+2)$라는 선형 크기 상한을 갖는다.
2. 희소 블록 하한 (Sparse Block Lower Bound): 만약 다이아딕 블록이 희소하다면, 지지점(support points) 사이의 간격은 커질 것이다. 저자들은 $k$가 연속적인 간격들의 윈도우를 고정하고 $T$가 임계값인 "윈도우-임계값 쌍(window-threshold pairs)" $(k, T)$를 정의한다. 또한 윈도우의 폭이 $T$를 초과하는 정도를 나타내는 "통합 잉여(integrated excess)" $y(k, T)$를 정의한다. 희소한 블록은 많은 윈도우가 큰 잉여를 갖도록 강제하며, 이는 전체 통합 잉여에 대한 하한을 설정한다.
3. 조합론적 상한 (Combinatorial Upper Bound): 저자들은 큰 잉여를 갖는 윈도우의 구조를 분석한다.
   • 접두사 선택 (Prefix Selection): 각 큰 잉여 윈도우에 대해 고유한 "초기 긴 접두사(initial long prefix)"의 간격들을 분리한다.
   • 격자 공선성 (Lattice Collinearity): 캐리 재귀를 사용하여, 빈번한 접두사 패턴의 발생은 $(x, R_x)$ 평면 상의 아핀 직선(affine lines) 상에 정렬되어야 함을 보인다(격자 공선성).
   • 기울기 역학 (Slope Dynamics): 이 직선들을 따른 정규화된 기울기 $\mu = K/(QH)$의 진화는 사상 $\mu \mapsto 2^g \mu - 1$에 의해 지배된다. 저자들은 분석을 두 가지 영역으로 나눈다:
     • 내부 기울기 (Interior-slope, $0 < \mu < 1$): 기울기가 유계로 유지된다. 저자들은 기울기의 축소된 분모가 결국 고정된 홀수 정수 $q$로 안정화됨을 보인다. 이들은 간격 수열을 "로그 블록(logarithmic blocks)"으로 분할하고, 엔트로피 상한과 파리 분리(Farey separation)를 사용하여 이러한 발생 횟수가 작음을 보인다.
     • 외부 기울기 (Exterior-slope, $\mu \notin [0, 1]$): 일단 기울기가 $[0, 1]$을 벗어나면, 공유된 간격 단어(gap words)의 폭에 따라 기울기와 구간 사이의 거리가 기하급수적으로 증가한다. 이러한 기하급수적 분리는 아핀 직선 상의 유효한 정수 매개변수의 수를 엄격하게 제한한다.
4. 모순 (Contradiction): 조합론적 분석은 전체 통합 잉여에 대한 상한을 도출하며, 이는 희소 블록 가설에서 유도된 하한보다 점근적으로 작다. 이 모순은 희소한 다이아딕 블록이 존재할 수 없음을 증명한다.

주요 기여 및 결과

• 정리 1.1 (양의 다이아딕 밀도): $S$가 무한 집고 $\eta_S = P/Q \in \mathbb{Q}$ (기약 분수)이면, 모든 충분히 큰 다이아딕 척도 $X = 2^L$에 대하여 다음을 만족하는 상수 $c_{dens}(Q) > 0$가 존재한다:
  $$A_S(2X) - A_S(X) \ge c_{dens}(Q) X$$
  여기서 $A_S(X)$는 $S$의 계수 함수(counting function)이다. 이는 유리성이 모든 큰 다이아딕 블록에서 균일한 양의 밀도를 요구함을 확립한다(단순히 부분 수열에 대해서만이 아니다).

• 따름정리 1.2 (Erdős Problem 260의 해결): 만약 $a_1 < a_2 < \dots$ 가 $a_n/n \to \infty$를 만족하면, $\sum_{n \ge 1} a_n 2^{-a_n}$는 무리수이다.

  • 추론: $a_n/n \to \infty$ 조건은 $A_S(X) = o(X)$를 의미하며, 이는 유리성을 위해 요구되는 양의 밀도 하한과 모순된다.

• 방법론적 혁신: 본 논문은 "예외적인" 큰 간격의 존재를 요구하지 않고도, 임의의 짧은 간격과 긴 간격의 혼합을 처리하기 위해 **중첩되는 간격 윈도우(overlapping gap windows)**와 **통합 잉여(integrated excess)**를 사용하는 기법을 도입한다. 이는 캐리의 선형 상한과 격자점의 아핀 기하학 사이의 상호작용을 활용하여 간격 패턴의 발생을 계산한다.

의의 및 주장

본 논문은 **국소 밀도 장애(local density obstruction)**를 식별함으로써 Erdős Problem 260을 해결했다고 주장한다. 이 결과는 이전의 무리성 기준보다 강력한데, 그 이유는 단순히 큰 간격의 부분 수열 존재 여부에 의존하는 것이 아니라, 다이아딕 블록에서의 어떠한 국소적 희소성도 유리성과 양립할 수 없음을 보여주기 때문이다.

저자들은 자신들의 방법이 가중 이진 급수의 특정한 산술적 구조(분모의 2의 거듭제곱과 분자의 선형 가중치)에 맞춤화되어 있음을 명시한다. 이들은 다른 밑(base), 다른 가중치 수열, 또는 $c_{dens}(Q)$의 존재를 넘어서는 더 정밀한 정량적 밀도 법칙에 대한 일반적인 해법을 제시하려는 것이 아니다. 증명은 심오한 초월수론 대신 캐리 재귀의 구조적 제약에 의존하는 기초적이면서도 정교한 산술 및 조합론적 추정에 기반한다.