Duffin--Schaeffer examples, real residue systems, and Bohr-set primes

이 논문은 Duffin-Schaeffer 정리의 일반화를 증명하여, 주어진 실수 집합에 따라 비동차 근사 가능 수 집합의 측도가 0 또는 1 임을 보이고, 실수 잉여계와 보어 집합 내 소수의 분포에 대한 새로운 결과를 제시합니다.

핵심

🎯 핵심 주제: 숫자 놀이와 '완벽한' 규칙 찾기

이 연구의 주인공은 스텝판 헤셀링과 펠리페 라미레즈입니다. 그들은 수천 년 동안 수학자들이 고민해 온 "숫자 $x$를 분수 $p/q$로 얼마나 잘 근사할 수 있는가?"라는 질문에 대해, 아주 기발하고 반전 있는 답을 내놓았습니다.

1. 배경: "숫자 맞추기 게임"

상상해 보세요. 여러분은 $0$에서$1$사이의 어떤 숫자$x$를 고르고, 수학자는 그 숫자를 분수$p/q$로 맞추려고 합니다.

• 게임 규칙: 분모 $q$가 커질수록 오차 범위 $\psi(q)$가 점점 좁아집니다.
• 목표: $x$가 이 오차 범위 안에 "무한히 자주" 들어오면, 그 $x$는 '근사 가능한 숫자'로 분류됩니다.

기존의 유명한 정리 (Khintchine 정리) 에 따르면, 오차 범위의 합이 발산하면 (무한히 커지면) 대부분의 숫자가 이 조건을 만족한다고 했습니다. 하지만, 이 논문은 "아니요, 상황에 따라 다릅니다!"라고 말합니다.

2. 놀라운 발견: "한 번에 두 가지 다른 운명"

이 논문은 다음과 같은 놀라운 사실을 증명합니다:

"우리가 원하는 대로 숫자 집합 $Y$와 $Z$를 정해놓으면, **하나의 규칙 (함수 $\psi$)**을 만들어낼 수 있습니다.

• $Y$에 속한 숫자들은 절대로 이 규칙에 맞지 않습니다 (확률 0).
• $Z$에 속한 숫자들은 반드시 이 규칙에 맞습니다 (확률 1).
• 그리고 이 두 집합은 서로 완전히 다른 성격을 가집니다."

비유:
마치 비밀스러운 문이 있다고 상상해 보세요.

• $Y$에 속한 사람 (예: 친구 A, B, C) 은 그 문을 열 수 있는 열쇠가 없습니다. 문은 영원히 닫혀 있습니다.
• $Z$에 속한 사람 (예: 친구 D, E, F) 은 그 문을 여는 열쇠를 가지고 있습니다. 문은 항상 열려 있습니다.
• 이 논문은 "어떤 문이든, 내가 원하는 사람만 열 수 있게 문고리를 설계할 수 있다"는 것을 증명했습니다.

3. 어떻게 가능할까? (세 가지 핵심 도구)

이 기적 같은 설계는 세 가지 강력한 도구를 섞어서 만들어졌습니다.

① 실수 잔여 시스템 (Real Residue Systems) = "부서진 퍼즐"

• 전통적인 방식: 숫자를 나눴을 때 나머지가 정수 (0, 1, 2...) 일 때만 고려합니다.
• 이 논문의 방식: 나머지가 **실수 (소수 포함)**일 수도 있게 허용합니다.
• 비유: 기존에는 퍼즐 조각이 딱딱 맞는 정수 형태였는데, 이제는 조각을 살짝 비틀거나 (실수 값) 자르더라도 퍼즐이 맞을 수 있게 만들었습니다. 이를 통해 '문'을 여는 조건을 훨씬 더 정교하게 조절할 수 있게 되었습니다.

② 보어 집합 (Bohr Sets) = "소수들이 숨어 있는 비밀 구역"

• 보어 집합: 특정 규칙을 따르는 숫자들의 모임입니다. 여기서 중요한 점은 이 규칙이 **소수 (Prime Numbers)**와 깊은 연관이 있다는 것입니다.
• 비유: 소수들은 자연수 세상에서 '고독한 영웅'들처럼 드물게 나타납니다. 이 논문은 이 영웅들이 특정 규칙 (보어 집합) 안에서 어떻게 모여 있는지 분석했습니다. 마치 "소수들이 특정 파티에 모이는 패턴"을 찾아낸 셈입니다.

③ 소수의 등분포 (Equidistribution) = "소수들의 춤"

• 소수들이 특정 규칙에 따라 움직일 때, 그 움직임이 얼마나 고르게 퍼져 있는지 (등분포) 를 증명했습니다.
• 비유: 소수들이 무작위로 춤을 추는 것이 아니라, 특정 음악 (규칙) 에 맞춰 매우 고르게 퍼져서 춤을 춘다는 것을 확인했습니다. 이 '고른 춤' 덕분에 $Z$ 집합의 숫자들은 문이 열릴 확률이 100% 가 되는 것입니다.

4. 부록: Manuel Hauke 의 기여 ( combinatorics)

논문 말미에 Manuel Hauke 가 쓴 부록은 아주 재미있는 질문을 다룹니다.

• 질문: "자연수에서 어떤 규칙을 가진 부분집합을 찾아내면, 그 숫자들의 역수 ($1/n$) 를 모두 더했을 때 무한대가 될까?"
• 답: "아니요, 항상 그런 것은 아닙니다."
• 비유: "모든 사람이 모인 파티에서, 특정 규칙을 가진 사람만 뽑아내도 그들끼리 서로 너무 비슷해서 (최대공약수가 유한함) 역수의 합이 무한대가 되지 않을 수 있다"는 것을 반례로 보여줬습니다. 이는 수학자들이 오랫동안 의심해 온 상식을 깨뜨리는 결과입니다.

---

📝 요약: 이 논문이 왜 중요할까?

1. 예측 불가능한 세계의 규칙: 수학에서 "대부분의 경우"는 0 이거나 1 인 경우가 많지만, 이 논문은 우리가 원하는 대로 0 과 1 을 선택적으로 만들 수 있다는 것을 보여줍니다.
2. 새로운 도구 개발: '실수 잔여 시스템'과 '보어 집합 속 소수'에 대한 새로운 이론을 개발하여, 앞으로 더 복잡한 수학적 문제를 풀 때 사용할 수 있는 강력한 무기가 되었습니다.
3. 창의적 접근: 기존의 정적인 규칙을 깨고, 동적이고 유연한 규칙 (실수 값 허용) 을 도입하여 문제를 해결한 점이 매우 독창적입니다.

한 줄 평:

"수학자들은 숫자들이 무작위로 흩어져 있다고 생각했지만, 이 논문은 우리가 원하는 대로 숫자들을 '선택된 무리'와 '배제된 무리'로 완벽하게 나눌 수 있는 마법 같은 규칙을 찾아냈습니다."

이 연구는 수학의 깊은 숲에서 길을 잃지 않고, 우리가 원하는 목적지 ($Y$와 $Z$) 로 가는 새로운 지도를 그려준 셈입니다.

기술 요약

1. 연구 배경 및 문제 제기 (Problem)

이 논문은 디오판토스 근사 (Diophantine approximation) 이론, 특히 비동차 (inhomogeneous) Duffin–Schaeffer 추측과 관련된 고전적인 결과들을 일반화하고, 이를 증명하기 위해 필요한 새로운 수학적 도구들을 개발하는 것을 목표로 합니다.

• 배경:

  • Khintchine 정리 (1924): 함수 $\psi$에 대해 $\sum \psi(q)$가 수렴하면 근사 가능한 수의 집합의 르베그 측도는 0 이고, 발산하면 1 이라는 정리입니다. 단, $\psi$가 단조감소함수여야 한다는 조건이 필요했습니다.
  • Duffin–Schaeffer 반례 (1941): 단조성 조건을 제거하면 성립하지 않음을 보였습니다. 즉, $\sum \psi(q)$가 발산하더라도 측도가 0 이 되는 함수 $\psi$가 존재합니다.
  • 비동차 (Inhomogeneous) 버전: Szüsz (1958) 는 비동차 매개변수 $y$가 포함된 경우 ($\|qx - y\| < \psi(q)$) 에도 유사한 정리가 성립함을 보였으나, 역시 단조성 조건이 필요했습니다.
  • 선행 연구 (Ramírez, 2017): 임의의 가산 집합 $Y$에 대해 $\sum \psi(q)$가 발산하면서도 모든 $y \in Y$에서 측도가 0 이 되는 $\psi$를 구성할 수 있음을 보였습니다. 또한, $Z \subseteq \mathbb{R} \setminus \text{span}_{\mathbb{Q}}(\{1\} \cup Y)$인 가산 집합 $Z$에 대해서는 측도가 1 이 되도록 할 수 있다는 조건부 정리를 제시했으나, 이는 **Erdős 의 덮개 시스템 (covering systems)**과 관련된 미해결 추정에 의존했습니다.

• 핵심 문제:

  • 조건부 가설 없이 (unconditionally), 임의의 가산 집합 $Y$와 $Z$ ($Z$는 $Y$와 1 의 유리수 선형결합으로 표현되지 않음) 에 대해, $\sum \psi(q)$가 발산하면서도 $y \in Y$에서는 근사 집합의 측도가 0 이고, $z \in Z$에서는 측도가 1 이 되는 함수 $\psi$를 구성할 수 있는가?

2. 주요 방법론 (Methodology)

저자들은 다음과 같은 세 가지 핵심 수학적 도구를 결합하여 문제를 해결했습니다.

1. 실수 잉여계 (Real Residue Systems) 의 일반화:

   • 정수 잉여계 (Residue systems) 와 덮개 시스템 (Covering systems) 의 개념을 실수 값으로 확장했습니다.
   • 로저스 정리 (Rogers' Theorem) 의 확장: 기존 로저스 정리는 정수 잉여계의 점근적 밀도가 잉여항 $a=0$일 때 최소가 됨을 보였습니다. 저자들은 이를 **실수 잉여계 (Real Residue Systems)**로 확장하여, 임의의 실수 벡터 $a$와 $\epsilon$에 대해 $\mu(R(\epsilon, a, n)) \ge \mu(R(\epsilon, 0, n))$이 성립함을 증명했습니다. 이는 측도 하한을 추정하는 데 결정적인 역할을 합니다.

2. 보어 집합 (Bohr Sets) 에 있는 소수의 분포:

   • 함수 $\psi$의 지지집합 (support) 을 보어 집합 (Bohr sets) 의 원소들의 곱으로 구성된 블록들로 설계했습니다.
   • 보어 집합 내 소수 정리: 소수 정리가 산술 수열에 대해 성립하는 것처럼, 보어 집합 $N_v(w, \epsilon) = \{n \in \mathbb{N} : \|nw - v\| < \epsilon\}$ 내의 소수 분포에 대한 일반화된 소수 정리를 증명했습니다.
   • Vinogradov 정리의 확장: 소수 $p$에 대해 $(pz) \pmod 1$이 균등 분포 (equidistribution) 되는 조건을 보어 집합 내 소수로 일반화했습니다.

3. 구체적 구성 (Constructive Proof):

   • $\psi$를 특정 정수 블록 (소수들의 곱으로 이루어진 집합) 에서만 0 이 아닌 값을 갖도록 정의했습니다.
   • Borel-Cantelli 보조정리와 Erdős-Turán 보조정리를 활용하여, $Y$에 속한 매개변수에 대해서는 측도가 0 이 되고, $Z$에 속한 매개변수에 대해서는 측도가 1 이 되도록 블록들의 크기와 간격을 정교하게 조절했습니다.

3. 주요 결과 및 기여 (Key Contributions & Results)

논문은 다음과 같은 주요 정리들을 증명했습니다.

• 정리 1.1 (Duffin–Schaeffer 예시의 무조건부 구성):

  • 임의의 가산 집합 $Y, Z \subseteq \mathbb{R}$ ($Z \subseteq \mathbb{R} \setminus \text{span}_{\mathbb{Q}}(\{1\} \cup Y)$) 에 대해, $\sum \psi(q)$가 발산하면서도 $\mu(W(\psi, y)) = 0$ ($y \in Y$) 이고 $\mu(W(\psi, z)) = 1$ ($z \in Z$) 인 함수 $\psi$가 존재함을 증명했습니다. 이는 Ramírez 의 2017 년 결과를 조건 없이 (unconditionally) 확장한 것입니다.

• 정리 1.2 (실수 잉여계를 위한 로저스 정리):

  • 실수 값 잉여계 $R(\epsilon, a, n)$의 르베그 측도가 $a=0$인 경우 (동차 경우) 보다 크거나 같음을 증명했습니다. 이는 덮개 시스템 이론의 중요한 일반화입니다.

• 정리 1.3 (보어 집합을 위한 소수 정리):

  • 보어 집합 $N_v(w, \epsilon)$ 내에 무한히 많은 소수가 존재할 조건과 그 점근적 개수 ($\sim \frac{X}{\log X}$) 를 규명했습니다. 이는 Dirichlet 의 소수 정리를 보어 집합으로 확장한 것입니다.

• 정리 1.4 (보어 집합 소수를 따른 균등 분포):

  • $z$가 $1, y_1, \dots, y_k$와 유리수적으로 독립적일 때, 보어 집합에 속하는 소수$p$에 대해$(pz) \pmod 1$이 균등 분포함을 증명했습니다. 이는 Vinogradov 의 정리를 확장한 것입니다.

• 부록 (Manuel Hauke):

  • 논문 초록에서 제기된 조합론적 문제 (양의 밀도를 가진 집합 $A$가 서로의 최대공약수가 유한하고 역수의 합이 발산하는 부분집합 $B$를 항상 포함하는가?) 에 대해 부정적인 답을 제시했습니다. 이는 역수의 합이 발산하는 부분집합의 존재 조건이 매우 엄격함을 보여줍니다.

4. 의의 및 중요성 (Significance)

1. 디오판토스 근사 이론의 심화:

   • Duffin–Schaeffer 추측과 관련된 고전적인 반례 구성을 비동차 (inhomogeneous) 설정에서 완전히 해결했습니다. 이는 수론과 동역학 시스템의 교차점에서 중요한 진전을 이뤘습니다.

2. 새로운 수학적 도구의 개발:

   • 실수 잉여계와 보어 집합 내 소수 분포에 대한 새로운 정리들은 단순한 응용을 넘어, 향후 유사한 문제 (예: 다른 형태의 덮개 시스템, 무리수 근사 등) 를 연구하는 데 필수적인 기초를 제공합니다.

3. 조건부 가설의 제거:

   • 기존 연구가 의존했던 미해결 추측 (Erdős 의 덮개 시스템 관련) 을 우회하여, 순수하게 해석적 및 수론적 방법으로 문제를 해결함으로써 결과의 견고성을 확보했습니다.

4. 다학제적 연결:

   • 수론 (소수 분포), 해석학 (측도론), 동역학 (균등 분포), 그리고 조합론 (부록) 을 아우르는 통합적인 접근법을 보여주었습니다.

5. 결론

이 논문은 Duffin–Schaeffer 유형의 예시 구성 문제를 비동차 매개변수에 대해 완전히 해결했을 뿐만 아니라, 이를 위해 실수 잉여계와 보어 집합 내 소수에 대한 근본적인 새로운 정리들을 정립했습니다. 이는 디오판토스 근사 이론의 지평을 넓히고, 향후 관련 분야 연구에 강력한 도구를 제공하는 중요한 업적입니다.