[論文レビュー] The Mondrian Puzzle: A Connection to Number Theory

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

Art, Technology, and Culture参考文献 1被引用数 4

ひとこと要約

この論文は、幾何的起源の問題であるMondrianパズルの最小面積差 $ M(n) \neq 0 $ となる整数 $ n \leq x $ の数に対する非自明な下界を、数論的技法を用いて確立している。$ C_\epsilon = \frac{1}{e^\gamma (2\log 2 + \epsilon)} $ を用いて、そのような $ n $ の密度が少なくとも $ \frac{C_\epsilon \log \log x}{\log x} $ であることを証明し、$ M(n) = 0 $ が実際に発生しない可能性が強いという強い証拠を提供している。

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.

研究の動機と目的

• Mondrianパズルにおける最小面積差 $ M(n) \neq 0 $ となる整数 $ n $ の密度を調査すること。
• $ M(n) = 0 $ がいつでも発生しないかを特定する、組合せ幾何学における長年の未解決問題を解明すること。
• 数論的手法を用いて、集合 $ \{n \leq x : M(n) \neq 0\} $ のサイズに対する定量的下界を確立すること。
• Mondrianパズルの幾何的性質と乗法的数論の深い結果との間の溝を埋めること。

提案手法

• 証明は、$ n^2 $ の約数に関する数論的条件を満たす $ n $ の部分集合を同定することで始まり、これにより $ M(n) \neq 0 $ が保証される。
• 条件 $ \tau_2(n^2) = j $ かつすべての約数 $ d \mid n $ が $ d > j $ であることを表すために、指標関数 $ T_j(n^2)P_j(n) $ を用いる。
• 平方因子自由な $ n $ に制限することで、平方因子自由整数の漸近的密度 $ \frac{6}{\pi^2} $ を活用し、定数倍の要因を保ったまま下界を維持する。
• 問題は、$ r \leq \log_3(g_\epsilon(x^2)) $ の条件下で、すべての $ p_1 < \cdots < p_r $ が $ 3^r $ より大きく、積が $ \leq x $ であるような $ r $ 個の異なる素数の $ r $-組の数を数える問題に還元される。
• 素数定理とメルテンスの定理 $ \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 $ に対して完全なMondrianタイリングが存在しないことを証明できるか？
• RQ5 平方因子自由整数と素因数分解の構造は、Mondrianパズルの潜在的解の数を抑えるのに果たす役割は何か？

主な発見

• 論文は非自明な下界を確立した：$ \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} $ であることを示唆しており、これはゼロに近づくが非常にゆっくりである。
• 証明は数論的還元に依存している：$ \{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\} $、これは面積制約からの背理法によって導出される。
• 平方因子自由な $ n $ に制限することで、解析が著しく簡素化され、和は $ r \leq \log_3(g_\epsilon(x^2)) $ の条件下で、すべての $ p_1 < \cdots < p_r $ が $ 3^r $ より大きく、積が $ \leq x $ であるような異なる素数の $ r $-組の数に帰着される。
• この方法は素数定理とメルテンスの定理を用いて、このような素数組の数を推定し、提示された下界を導出する。
• 著者らは、彼らの手法では任意の $ \epsilon > 0 $ に対して $ \epsilon x $ の形の下界を達成できないと結論づけており、$ M(n) = 0 $ が決して発生しないという予想を解決するには、新たなアイデアが不可欠であることを示唆している。