[논문 리뷰] The Mondrian Puzzle: A Connection to Number Theory

Cooper O'Kuhn|arXiv (Cornell University)|2018. 10. 10.

Art, Technology, and Culture참고 문헌 1인용 수 4

한 줄 요약

이 논문은 기하학적 기원을 가진 문제임에도 불구하고 수론적 기법을 사용하여 몽드리안 퍼즐의 최소 면적 차이 $ M(n) \neq 0 $ 인 정수 $ n \leq x $ 의 수에 대한 비자명한 하한을 확립한다. 이는 $ M(n) = 0 $ 이 되는 것이 거의 발생하지 않을 것임을 강력한 증거로 제시한다. 밀도는 적어도 $ \frac{C_\epsilon \log \log x}{\log x} $ 이상이며, 여기서 $ C_\epsilon = \frac{1}{e^\gamma (2\log 2 + \epsilon)} $ 이다.

ABSTRACT

We obtain partial progress towards answering the question of whether the quantity defined in the Mondrian Puzzle can ever equal 0. More specifically, we obtain a nontrivial lower bound for the cardinality of the set $\{n\leq x: M(n) eq0 \}$ where $M(n)$ is the quantity appearing in the Mondrian Puzzle and $x$ is the usual quantity that one thinks of as tending to infinity. More surprisingly, we do so by use of number theoretic techniques in juxtaposition to the innately geometric nature of the problem.

연구 동기 및 목표

• 몽드리안 퍼즐에서 $ M(n) \neq 0 $ 인 정수 $ n $ 의 밀도를 조사하는 것.
• 몽드리안 퍼즐에서 $ M(n) = 0 $ 이 되는 것이 가능한지 여부를 밝혀내는 것 — 이는 조합 기하학 분야에서 오랫동안 미해결된 문제이다.
• 수론적 방법을 사용하여 $ \{n \leq x : M(n) \neq 0\} $ 의 크기에 대한 정량적 하한을 확립하는 것.
• 몽드리안 퍼즐의 기하학적 성격과 곱셈 수론의 깊은 결과 사이의 격차를 메우는 것.

제안 방법

• 증명은 $ n^2 $ 의 약수에 대한 수론적 조건을 만족하는 $ n $ 의 부분집합을 식별함으로써 시작되며, 이 조건은 $ M(n) \neq 0 $ 을 보장한다.
• 지표 함수 $ T_j(n^2)P_j(n) $ 는 $ \tau_2(n^2) = j $ 이고, 모든 약수 $ d \mid n $ 가 $ d > j $ 를 만족함을 인코딩한다.
• 제곱 자유 수 $ n $ 으로 합을 제한함으로써, 제곱 자유 수의 점근 밀도 $ \frac{6}{\pi^2} $ 를 활용하여 상수 인자까지 유지되는 하한을 확보한다.
• 문제는 $ r \leq \log_3(g_\epsilon(x^2)) $ 인 서로 다른 소수 $ p_1 < \cdots < p_r $ 의 $ r $-튜플을 세는 것으로 단순화되며, 이들의 곱은 $ \leq x $ 이다.
• 소수 정리와 메르텐스의 정리 $ \sum_{p \leq x} \frac{1}{p} = \log \log x + O(1) $ 를 사용하여 이러한 소수 튜플의 수를 추정한다.
• 최종 하한은 $ r $ 에 대해 합을 구함으로써 유도되며, 이는 $ \frac{x \log \log x}{\log x} $ 의 주어진 순서를 가지며, 명시적인 상수 $ C_\epsilon $ 를 포함한다.

실험 결과

연구 질문

• RQ1 모든 $ x \to \infty $ 에 대해 $ \{n \leq x : M(n) \neq 0\} $ 의 집합이 양의 밀도를 가질 수 있는가?
• RQ2 해석적 수론을 사용하여 $ M(n) = 0 $ 이 어떤 $ n $ 에도 발생하지 않는다는 것을 증명할 수 있는가?
• RQ3 최소한의 하한 $ \{n \leq x : M(n) \neq 0\} $ 의 크기에 대해 가장 좋은 것은 무엇이며, 이는 $ n^2 $ 의 약수 분포와 어떻게 관련되는가?
• RQ4 $ \tau_2(n^2) $ 의 구조를 사용하여 어떤 $ n $ 에도 완벽한 몽드리안 타일링이 존재하지 않음을 증명할 수 있는가?
• RQ5 제곱 자유 수와 소인수 분해는 몽드리안 퍼즐의 잠재적 해의 수를 묶는 데 어떤 역할을 하는가?

주요 결과

• 논문은 비자명한 하한을 확립한다: $ \left|\{n \leq x : M(n) \neq 0\}\right| \geq \frac{C_\epsilon x \log \log x}{\log x} \left(1 + O_\epsilon\left( \frac{\log \log x}{\log x} \right) \right) $, 여기서 $ C_\epsilon = \frac{1}{e^\gamma (2\log 2 + \epsilon)} $ 이다.
• 이 하한은 $ M(n) \neq 0 $ 인 $ n $ 의 자연 밀도가 적어도 $ \frac{C_\epsilon \log \log x}{\log x} $ 이상임을 의미하며, 이는 0으로 수렴하지만 매우 느리게 수렴한다.
• 증명은 수론적 감소에 의존한다: $ \{n \leq x : \forall d < n^2, d|n^2 \Rightarrow d \tau_2^*(d) < n^2 \} \subseteq \{n \leq x : M(n) \neq 0\} $, 이는 면적 제약 조건에서 모순을 통해 유도된다.
• 제곱 자유 수로 제한함으로써 분석이 크게 단순화되며, 합은 $ r \leq \log_3(g_\epsilon(x^2)) $ 인 서로 다른 소수 $ > 3^r $ 의 $ r $-튜플을 곱이 $ \leq x $ 인 경우로 줄어든다.
• 이 방법은 소수 정리와 메르텐스의 정리를 사용하여 이러한 소수 튜플의 수를 추정하며, 명시된 하한을 도출한다.
• 저자는 이 방법이 어떤 $ \epsilon > 0 $ 에 대해서도 $ \epsilon x $ 의 형태의 하한을 달성할 수 없다고 결론 내리며, $ M(n) = 0 $ 이 결코 발생하지 않는다는 추측을 해결하기 위해 새로운 아이디어가 필요함을 시사한다.