[論文レビュー] On the number of inscribed squares of a simple closed curve in the plane

Strashimir G. Popvassilev|ArXiv.org|Oct 27, 2008

Point processes and geometric inequalities参考文献 2被引用数 6

ひとこと要約

本稿は、任意の正の整数 $ n $ に対して、ちょうど $ n $ 個の内接正方形をもつ、無限回微分可能で凸な単純閉曲線が存在することを証明している。構成法では、単位円の弧を滑らかで曲率を制御する曲線に置き換えることで、内接正方形の数を正確に制御し、単純閉曲線に内接する正方形の数の可能性について長年の未解決問題を解消した。

ABSTRACT

We show that for every positive integer n there is a simple closed curve in the plane (which can be taken infinitely differentiable and convex) which has exactly n inscribed squares.

研究の動機と目的

• 任意の単純閉曲線が無限個の内接正方形をもつのか、それとも有限個に限るのかという未解決問題を解消すること。
• 任意の与えられた正の整数 $ n $ に対して、ちょうど $ n $ 個の内接正方形をもつ滑らかで凸な単純閉曲線を構成すること。
• 微分可能曲線の内接正方形の数が奇数でなければならないという予想を反証すること。
• トポロジー的不変量 $ St $, $ J^+ $, および $ J^- $ が内接正方形の数を予測する役割を調査すること。

提案手法

• 単位円の特定の弧を、滑らかで指数的に減衰する円の式の摂動に置き換えることで、微分可能で凸な曲線を構成する。
• 関数 $ r(\theta) = 1 + c \exp\left( -\left( \frac{0.02}{(\theta - U)^2} + \frac{0.02}{(V - \theta)^2} \right) \right) $ を用いて、単位円上の2点を滑らかに接続し、$ C^\infty $ の滑らかさと正の曲率を保証する。
• 弧の端点間の点を1つ挿入することで、内接正方形の数を1つずつ増加させ、順序を保ちながら余分な正方形の生成を回避する。
• 一般性の仮定を適用して、変更された曲線が有限個の内接正方形しか持たないことを保証し、任意の $ n $ をもつ曲線の帰納的構成を可能にする。
• 水平な辺をもつ内接正方形は幾何的制約によって制限されることを示し、曲率と対称性の議論により非水平な正方形を除外する。
• 直径の比較や垂直二等分線の解析といったトポロジカルおよび幾何的推論を用いて、明示的に構成した正方形以外の内接正方形を除外する。

実験結果

リサーチクエスチョン

• RQ1 任意の正の整数 $ n $ に対して、ちょうど $ n $ 個の内接正方形をもつ単純閉曲線を構成することは可能か？
• RQ2 滑らかで凸な単純閉曲線が、有限個の内接正方形（特に2個以上を含む指定された数）をもつことは可能か？
• RQ3 トポロジー的不変量 $ St $, $ J^+ $, および $ J^- $ は、埋め込まれた曲線における内接正方形の偶奇性や個数を完全に決定するのか？
• RQ4 内接正方形の数を、曲線のグローバルトポロジーまたは微分可能性のクラスとは独立して制御することは可能か？
• RQ5 曲線の変更中に新しい内接正方形が出現するが、追加の正方形を導入せずに済ませるための条件は何か？

主な発見

• 任意の正の整数 $ n $ に対して、平面にちょうど $ n $ 個の内接正方形をもつ、無限回微分可能で凸な単純閉曲線が存在する。
• 構成法では、単位円の弧を滑らかで $ C^\infty $-微分可能な曲線に置き換えることで、凸性を保ちつつ内接正方形の数を制御する。
• 内接正方形の数は、弧の端点間の点を1つ挿入するごとに1つずつ増加し、各新しい正方形の頂点は元の曲線と同じ順序で配置される。
• 本稿は、微分可能曲線の内接正方形の数が奇数でなければならないという予想に反する強い証拠を提示しており、任意の $ n $（偶数を含む）の例を構成することで、その反証を示している。
• 著者らは、構成例では水平な辺をもつ内接正方形は最大2個までに制限され、非水平な正方形は幾何的および曲率に基づく議論により除外されることを示している。
• 本手法は、任意の埋め込み曲線 $ T $ に対して、同じ $ St $, $ J^+ $, $ J^- $ 不変量をもち、すべての十分に大きな $ n $ に対してちょうど $ n $ 個の内接正方形をもつ曲線 $ T_n $ が存在するという予想を支持しており、頂点の順序が反転する正方形は有限個に限る。