Integer parts of real powers in two Erd\H{o}s problems of Romanoff type

기술 요약: 두 가지 에르되시-로마노프 유형의 실수 거듭제곱 정수 부분에 관한 연구

개요 및 문제 정의
본 논문은 에르되시-로마노프(Erdős–Romanoff) 탐구 체계 내에서 두 가지 가법적 문제를 조사한다. 핵심 주제는 고정된 정수 거듭제곱 수열($a^k$)을 실수 밑(base)의 거듭제곱의 정수 부분($\lfloor y^k \rfloor$)으로 대체하는 것이다. 이러한 수정은 합산 항의 로그적 희소성(logarithmic sparseness)을 유지하면서도, 메트릭(확률론적) 접근과 구성적 접근을 모두 가능하게 하는 실수 매개변수를 도입한다. 본 논문은 두 가지 구체적인 질문을 다룬다:

1. 소수 문제 (에르되시-칼마르): 모든 실수 $y > 1$에 대하여, 집합 $S_y = \{p + \lfloor y^k \rfloor : p \in \mathbb{P}, k \ge 1\}$이 양의 하한 점근 밀도(positive lower asymptotic density)를 갖는가?
2. 제곱 자유(Square-Free) 문제: 모든 충분히 큰 정수는 하나의 제곱 자유 정수와 하나의 2의 거듭제곱의 합($n = q + 2^k$)으로 표현될 수 있는가? 고정된 밑 버전은 여전히 미해결 상태이지만, 본 논문은 $2^k$를 $\lfloor a^m \rfloor$로 대체한 가변 밑 아날로그를 추구한다.

방법론
본 논문은 세 가지 주요 정리(Theorem)에 대응하는 세 가지 뚜렷한 방법론적 접근 방식을 채택한다:

1. 메트릭 수론 및 제2-모멘트 분석 (정리 1.1):
   거의 모든 실수 밑에 대해 양의 밀도를 확립하기 위해, 저자는 결정론적인 로마노프 제2-모멘트 기준과 메트릭 추정치를 결합한다.

• 제2-모멘트 기준: 정수 $A$의 차이들에 대한 가중 쌍 상관관계(weighted pair correlations)와 $A$의 계수 함수(counting function)를 연결하는 정량적 보조정리(보조정리 3.1)를 도출한다. 가중치 $W(h) = \prod_{p|h}(1+1/p)$는 셀베르그 체(Selberg sieve)를 통해 산술 급수 내 소수의 분포를 고려한다.
• 메트릭 제어: 거의 모든 $y$에 대하여 수열 $\lfloor y^k \rfloor$가 필요한 쌍 상관관계 추정치를 만족함을 증명하는 것이 핵심적인 기술적 기여이다. 이는 $\lfloor y^k \rfloor \pmod d$의 분포를 분석하는 것을 포함한다. 증명은 에르되시-투란 부등식(Erdős–Turán inequality)을 활용하고 지수 합 $\sum e(h y^k / d)$을 추정한다. 저자는 나누어지는 수(divisors)를 "작은" 것(균등 분포 논증으로 처리)과 "큰" 것( $y^\ell - y^k$의 도함수 추정치로 처리)으로 분리함으로써, 거의 모든 $y$에 대해 가중 쌍 상관관계가 무작위 모델의 기대치인 $\zeta(2)/2\zeta(4)$와 일치함을 보여준다.

2. 피복 합동식 및 루카스 수 (정리 1.2):
   실수 밑 설정에서도 밀도 1의 피복(coverage)이 보장되지 않음을 보여주기 위해, 본 논문은 "예외적 밑"을 구성한다.

• 황금비와의 연결: $\lfloor \phi^k \rfloor$ (여기서 $\phi$는 황금비)와 루카스 수($L_k$) 사이의 항등식을 이용한다. 구체적으로, $\lfloor \phi^k \rfloor$는 $k$의 기우성에 따라 $L_k$ 또는 $L_k - 1$과 같다.
• 유한 피복: 모든 지수 $k$를 덮는 유한한 합동식 집합을 구성한다. 대상 정수 $n$을 위한 특정 산술 급수를 선택함으로써, 저자는 임의의 표현 $n = p + \lfloor \phi^k \rfloor$에 대하여 소수 $p$가 반드시 일련의 작은 소수들 중 하나로 나누어져야 함을 보장한다. 이는 표현 가능한 정수의 수를 $O(\log x)$로 제한하여, 특정 비율의 정수들이 누락됨을 증명한다.

3. 중첩 구간 구성 및 나머지 피복 (정리 1.3):
   제곱 자유 문제에 대하여, 본 논문은 $\lfloor a^m \rfloor$가 제곱 자유 정수의 가법적 보충 집합으로서 밀도 1을 갖도록 하는 실수 밑 $a \in (2,3)$의 존재성을 증명한다.

• 나머지 피복: $Q_z = \prod_{p \le z} p^2$에 대한 이동(shifts)들의 유한 집합이 제곱 자유 나머지 집합 $R_z$와 높은 다중도로 교차하도록 구성한다.
• 중첩 구간: 구성적 논증(보조정리 5.2)을 사용하여, 단일 실수 $a$에 대해 규정된 합동류(congruence classes)의 가산 수열을 $\lfloor a^m \rfloor$의 값으로 실현한다. 이는 각 단계에서 특정 지수 $m$과 값 $t = \lfloor a^m \rfloor$를 설정하여 요구되는 합동 조건을 만족시키는 중첩된 폐구간 열 $I_0 \supset I_1 \supset \dots$를 정의함으로써 달성된다.
• 밀도 논증: 구성 과정은 큰 소수들에 대해 제곱 자유가 아닌 것들을 "예외적" 정수로 만드는데, 이 집합의 밀도는 0임을 보장한다.

주요 결과

• 정리 1.1 (메트릭 소수 정리): 르베그 측도(Lebesgue measure)에 의해 거의 모든 $y > 1$에 대하여, 집합 $S_y = \{p + \lfloor y^k \rfloor\}$는 다음을 만족하는 하한 점근 밀도 $\delta_y$를 갖는다:
  $$\delta_y \ge \frac{1}{\log y + C_{sv} \zeta(2)/\zeta(4)}$$
  여기서 $C_{sv}$는 절대 셀베르그 체 상수이다. $y \to \infty$일 때 $1/\log y$의 차수는 최적임이 입증되었다.

• 정리 1.2 (소수를 위한 예외적 밑): 특정 밑 $y = \phi = (1+\sqrt{5})/2$에 대하여, $p + \lfloor \phi^k \rfloor$로 표현할 수 없는 정수의 집합은 양의 하한 밀도를 갖는다. 구체적으로:
  $$\#\{n \le x : n \notin P + \{\lfloor \phi^k \rfloor\}\} \ge \frac{x}{7845692610} - O(\log x)$$

• 정리 1.3 (제곱 자유 밀도 1 보충 집합): $a \in (2, 3)$인 실수 $a$가 존재하여, $q + \lfloor a^m \rfloor$ (여기서 $q$는 제곱 자유)의 합으로 표현할 수 없는 정수의 집합은 밀도가 0이다:
  $$\#\{n \le x : n \notin Q + \{\lfloor a^m \rfloor\}\} = o(x)$$
  이 결과는 따름정리 5.3에서 임의의 $r \ge 2$에 대한 $r$-자유 정수로 확장된다.

의의 및 주장
본 논문은 거의 모든 실수 밑에 대해 에르되시-칼마르 추측을 해결했다고 주장하며, 밑 $y$에 의존하는 정밀한 정량적 하한을 제공한다. 이는 밑 $y$가 커짐에 따라 $1/\log y$가 최적임을 보여줌으로써 로마노프 현상의 경계를 명확히 한다. 또한, 황금비 반례를 통해 양의 밀도는 일반적이지만, 전체 피복(밀도 1)은 모든 실수 밑에 대해 보장되지 않음을 보여준다.

제곱 자유 문제와 관련하여, 본 논문은 고정 밑 추측($2^k + q$)을 직접 해결하는 대신, 가변 밑 설정에서의 "밀도 1 아날로그"를 제공한다. 그 의의는 실수 매개변수의 유연성을 활용함으로써 고정된 밑에서는 불가능했던 합동 조건을 부과할 수 있으며, 이를 통해 고정 밑 문제가 어렵게 만드는 장애물들을 극overcoming 할 수 있음을 보여준 데 있다. 본 연구는 메트릭 수론, 체 이론(sieve methods), 그리고 구성적 피복 논증을 통합하여 희소 수열과 관련된 오랜 가법적 문제들을 다루고 있다.