🔢 mathematics

Optimality of Wouter van Doorn's Upper Bound for the Mayer-Erd\H{o}s Farey Problem

이 논문은 차수 $n$ 인 파레이 수열(Farey sequence)에서 두 "나쁘게 정렬된(badly ordered)" 분수 사이에 존재하는 파레이 분수의 최소 개수가 점근적으로 $n/4$ 임을 증명함으로써, 마이어-에르되시(Mayer-Erdős) 파레이 문제에 대해 기존에 알려진 바우터 판 도른(Wouter van Doorn)의 상한값이 최적임을 입증한다.

원저자: Ricky Cipollini

게시일 2026-07-28

📖 2 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Ricky Cipollini

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

거대하고 질서 정연한 도서관을 상상해 보세요. 그곳의 모든 책은 1/2, 3/7, 또는 99/100과 같은 분수를 나타냅니다. 수학의 세계에는 이 책들을 '파레 순열(Farey sequence)'이라 불리는 특별한 방식으로 배열하는 방법이 있습니다. 이를 마치 특정 한계치 $n$ 까지의 페이지 수(분모)를 가진 책들만 골라 놓은 완벽하게 정렬된 선반이라고 생각해 보세요. 이 선반 위에서 책들은 값이 작은 것부터 큰 순서대로 줄지어 서 있습니다. 보통 오른쪽으로 이동할수록 책의 '페이지 수'는 커지는 경and가 있는데, 이는 마치 이야기가 점점 더 복잡해지는 것과 같습니다.

하지만 만약 당신이 '잘못 정렬된' 두 권의 책을 발견한다면 어떻게 될까요? 이것은 오른쪽에 있는 책의 페이지 수가 왼쪽에 있는 책보다 더 적음에도 불구하고, 그 값은 더 높은 경우를 일컫는 수학자들이 사용하는 재미있는 용어입니다. 이는 마치 두꺼운 소설 옆에 얇은 팸플릿이 놓여 있는데, 그 팸플릿이 실제로는 더 '큰' 이야기를 담고 있는 것과 같습니다. 큰 문제는 바로 이것입니다. 만약 당신이 선반에서 이런 기묘한 한 쌍을 발견한다면, 그 사이에는 반드시 얼마나 많은 다른 책들이 끼어 있어야 할까요? 질서를 유지하기 위해 존재해야 하는 '채움용' 책의 최소 개수가 보장되어 있을까요? 이것은 단지 숫자에 관한 것이 아닙니다. 이것은 소수(prime numbers)와 분수가 서로 어떻게 어우러지는지에 대한 깊은 질문과 연결되어, 숫자들이 어떻게 결합하고 배치되는지에 대한 숨겨진 리듬과 간격을 이해하는 것에 관한 퍼즐입니다.

리키 치폴리니(Ricky Cipollini)가 작성한 이 논문은 바로 그 문제를 다룹니다. 이 논문은 '에르되시 문제 1005(Erdős Problem 1005)'라고 알려진 특정 문제를 집중적으로 파고듭니다. 이 문제는 '최악의 시나리오', 즉 선반이 무한히 커질 때 잘못 정렬된 두 분수 사이에 발견될 수 있는 분수의 절대적인 최소 개수가 얼마인지를 묻습니다. 수학자 바우터 판 도른(Wouter van Doorn)은 이전에 당신이 결코 선반 전체 크기의 약 4분의 1( $n/4$ )보다 많은 양을 그 간격 안에 찾을 수 없다는 것을 밝혀낸 바 있습니다. 그는 이 한계치가 진정한 정답이라고 추측했지만, 당신이 그보다 더 적은 수를 찾을 수 없다는 점은 증명하지 못했습니다.

치폴리니의 논문은 판 도른의 추측이 옳았음을 증명합니다. 저자는 당신이 분수를 어떻게 배열하더라도, 잘못 정렬된 두 분수 사이의 간격을 대략 $n/4$ 보다 작게 만들 수 없음을 보여줍니다. 다시 말해, '잘못 정렬된' 쌍들은 마치 자석처럼 서로를 밀어내어 항상 특정한 양의 빈 공간을 남기며, 그 공간은 전체 척도의 정확히 4분의 1입니다. 이 논문은 단순히 추측하는 데 그치지 않고, 정교한 계산 기법과 추정치를 사용하여 하한선이 상한선과 완벽하게 일치함을 보여주는 엄밀한 수학적 증명을 제공합니다. 따라서 미스터리는 풀렸습니다. 그 상수는 정확히 $1/4$ 입니다. 이 논문은 판 도른의 상한선이 이 수학적 게임의 최적이며 깨뜨릴 수 없는 규칙임을 확인해 줍니다.

기술적 요약: Wouter van Doorn의 상한에 대한 Mayer–Erdős Farey 문제의 최적성

문제 정의
본 논문은 차수 $n$ 인 Farey 수열 $F_n$ 에 관한 특정 문제를 다룬다. $F_n$ 은 $[0, 1]$ 범위 내의 모든 기약 분수 $a/b$ ( $b \le n$ )로 구성되며, 오름차순으로 정렬되어 있다. 이 연구의 핵심 대상은 "나쁘게 정렬된(badly ordered)" 쌍의 개념이다. 두 분수 $a/b < c/d$ 가 $a < c$ 이고 $b > d$ 일 때(즉, 분자는 증가하고 분모는 감소할 때), 이들을 나쁘게 정렬된 쌍이라 정의한다.

본 논문은 $f(n)$ 이라는 양을 조사한다. $f(n)$ 은 $F_n$ 내의 임의의 두 나쁘게 정렬된 분수 사이에 엄격하게 존재하는 Farey 분수의 최소 개수로 정의된다. 이 문제는 유사하게 정렬된 Farey 분식들의 최대 보장 범위가 $cn$에 점근적임을 묻는 Erdős Problem 1005와 동일하다. Mayer가 이 질문을 제기했고 Erdős가 선형 하한을 확립했으나, 정확한 점근적 상수 $c$ 는 미해결 상태로 남아 있었다. 최근 Wouter van Doorn은 $f(n) \le n/4 + O(1)$ 이라는 상한을 확립하였으며, 이 상한이 최적이라고 추측하였다.

방법론
증명은 해석적 정수론과 조합론적 추정의 결합에 의존하며, 기초적이면서도 정교하다. 전략은 하한을 확립하고 기존의 상한을 검토하는 과정으로 나뉜다.

기초 구간으로의 환원:
저자들은 먼저 임의의 나쁘게 정렬된 쌍 $a/b < c/d$ 가 특정 "기초 구간(elementary interval)" $I_{a,b} = (a/b, (a+1)/(b-1))$ 를 포함함을 입증한다. 결과적으로, $f(n)$ 에 대한 하한을 증명하는 것은 모든 유효한 $a, b$ 에 대해 $I_{a,b}$ 내의 Farey 분수 개수가 적어도 $n/4 - o(n)$ 임을 보이는 문제로 귀결된다.
보조 추정치:
증명은 다음과 같은 몇 가지 핵심 보조 정리(lemma)를 활용한다:

원시 수열(Primitive Progressions): 특정 범위 내에서 선형 디오판토스 방정식의 서로소 해의 개수에 대한 추정치.
균등 Farey 개수(Uniform Farey Count): 임의의 구간 $J$ 내의 Farey 분수 개수에 대한 표준 추정치로, $\frac{3}{\pi^2}|J|n^2 + O(n \log n)$ 이다.
Farey 간격(Farey Gaps): $F_Q$ 내의 연속적인 분수들의 성질, 구체적으로 간격의 길이가 $1/ss' $이며 분모의 합이$ Q$를 초과한다는 성질.
토티언트 증가량(Totient Increments, 핵심 엔진): 함수 $S(x) = \sum_{1 \le e < x} (1 - e/x)\frac{\phi(e)}{e}$ 에 관한 결정적인 보조 정리(Lemma 5). 저자들은 $x \ge 0, y \ge 2$ 에 대해 $S(x+y) - S(x) \ge y/4$ 임을 증명한다. 이 부등식이 상수 $1/4$ 의 근원이다.

하한을 위한 사례 분석:
$N_n(a, b)$ (구간 $I_{a,b}$ 내의 분수 개수)에 대한 균등 하한을 증명하기 위해, 저자들은 분모 $b$ 와 구간 내 "작은" 유리수의 존재 여부에 따라 분석을 분류한다:

작은 분모: $b$ 가 작은 경우( $b \le n/\log^2 n$ ), 표준 균등 Farey 개수 추정치가 충분히 적용된다.
큰 분모: $b$ $b$ 가 큰 경우, 구간은 낮은 차수의 Farey 수열 $Q = \lfloor b^{2/3} \rfloor$ $Q = ⌊ b^{2/3} ⌋$ 를 기준으로 분석된다.
- 사례 A (내부에 작은 유리수가 있는 경우): $I_{a,b}$ 가 $s \le Q$ 를 만족하는 기약 유리수 $h/s$ 를 포함하는 경우, Lemma 5를 활용하여 합이 적어도 $s/4$ 임을 보여줌으로써 가중 토티언트 합을 이용한 하한을 도출한다.
- 사례 B (내부에 작은 유리수가 없는 경우): $I_{a,b}$ 가 $F_Q$ 의 간격 내에 존재하는 경우, 저자들은 이 간격의 끝점을 분석하여, "작은" 끝점(분모가 $O(b^{1/3})$ 인 지점)이 앞서 언급한 토티언트 합 추정법을 허용하며, 다시 한번 $n/4$ 의 하한을 얻어낸다.

상한:
논문은 van Doorn의 구성을 포함하여 상한을 제시한다. $m \approx n/4$ 인 특정 분수 $L = (2m-1)/4m$ 와 $R = 2m/(4m-1)$ 를 선택함으로써, 두 분수 사이의 분수 개수가 정확히 $m + O(1) \approx n/4$ 임을 보여준다.

주요 기여 및 결과

주요 정리: 본 논문은 $f(n) = (1/4 + o(1))n$ 임을 증명한다.
최적성: 이 결과는 Wouter van Doorn의 추측, 즉 그의 상한 $f(n) \le n/4 + O(1)$ 이 점근적 상수 측면에서 최적이라는 것을 확인해 준다.
Erdős Problem 1005의 해결: 본 연구는 Erdős Problem 1005에서 요청된 점근적 상수 $c$ 가 정확히 $1/4$ 임을 결정한다.
기술적 혁신: 증명은 가중 토티언트 합에 대한 견고한 일차원 증가량 추정치(Lemma 5)를 도입하였으며, 이는 $1/4$ 상수를 도출하는 엔진 역할을 한다.

의의
본 논문은 Farey 수열 이론의 오랜 난제를 해결함으로써, 나쁘게 정렬된 분수들 사이의 최소 간격의 정확한 점근적 거동을 확정하였다. 상한을 엄밀한 하한과 일치시킴으로써, 저자들은 상수 $c$ 의 간극을 메워 이를 $1/4$ 로 확립하였다. 이 작업은 사용된 도구들이 (무거운 기계적 장치를 피하여) 기초적이지만, 실행에 있어서는 특히 다양한 분모 범위에 걸친 토티언트 합을 균등하게 처리하는 데 있어 매우 정교하다. 이 결과는 Lean 4를 통한 형식화로 검증되어 증명 전략의 정확성을 확보하였다.

유사한 논문