[論文レビュー] Convex bodies of constant width in spaces of constant curvature and the extremal area of Reuleaux triangles

Károly J. Böröczky, Adam Sagmeister|arXiv (Cornell University)|Mar 30, 2022

Point processes and geometric inequalities被引用数 4

ひとこと要約

本稿は、定曲率の曲面（ユークリッド平面、球面、双曲平面）における定幅凸体について、Blaschke–Lebesgue定理の安定性版を確立する。面積が最小のReuleaux三角形の面積に限りなく近い凸体は、Hausdorff距離においてReuleaux三角形に非常に近いことが示され、その距離には明示的な定量的評価が与えられる。主な結果は、Reuleaux三角形とのHausdorff距離に対する明示的な定量的評価であり、これは最小値を下回る面積超過量に依存する。

ABSTRACT

Extending Blaschke and Lebesgue's classical result in the Euclidean plane, it has been recently proved in spherical and the hyperbolic cases, as well, that Reuleaux triangles have the minimal area among convex domains of constant width $D$. We prove an essentially optimal stability version of this statement in each of the three types of surfaces of constant curvature. In addition, we summarize the fundamental properties of convex bodies of constant width in spaces of constant curvature, and provide a characterization in the hyperbolic case in terms of horospheres.

研究の動機と目的

• 定曲率空間における定幅集合の最小面積に関する古典的Blaschke–Lebesgue定理を、球面および双曲平面へ拡張すること。
• 定曲率空間におけるReuleaux三角形の最小面積性に関する鋭い安定性評価を確立すること。
• 双曲空間における定幅凸体を、ホロ球面および接続幾何学を用いて特徴付けること。
• 双曲幾何におけるBlaschke–Lebesgue定理を、従来の複雑な議論を改善した、統一的かつ初等的な証明を与えること。

提案手法

• 定幅凸体とReuleaux三角形との幾何的近接度をHausdorff距離で測定すること。
• 与えられた定幅集合Kの内接円半径r(K)に基づいて、比較体Qを構成すること。
• 中心点における角の見積もりを応用し、Kの頂点がReuleaux三角形の頂点から逸脱する度合いを制御すること。
• 測地線三角形の幾何学と曲率依存の評価を用いて、安定性不等式における明示的定数を導出すること。
• Kの直径が正確にDに等しいことを利用して、Kが基準となるReuleaux三角形の相対的位置を制約すること。
• 体積比較と幾何的摂動解析を組み合わせ、面積超過量εの関数として定量的安定性評価を導出すること。

実験結果

リサーチクエスチョン

• RQ1 双曲平面における定幅Dの凸体の最小面積は何か？ また、それはReuleaux三角形によって達成されるか？
• RQ2 面積が最小値にわずかに大きい場合、定幅体はReuleaux三角形にどの程度近いか？
• RQ3 Blaschke–Lebesgue定理は、球面および双曲幾何へ同様の最小面積最小化体を用いて拡張可能か？
• RQ4 面積超過量とReuleaux三角形からの幾何的逸脱（Hausdorff距離）との間の明確な定量的関係は何か？
• RQ5 双曲空間における定幅凸体は、ホロ球面および接続幾何学を用いてどのように特徴付けられるか？

主な発見

• 双曲平面における任意の定幅Dの凸体について、Reuleaux三角形が最小面積を達成する。等号成立は、その凸体がReuleaux三角形に合同である場合に限る。
• 任意の定曲率空間における定幅Dの体Kについて、その面積がV(U_D) + ε以下であれば、ある幅DのReuleaux三角形UとのHausdorff距離は、Dおよび曲率に依存する明示的定数θを用いてθε以下である。
• 安定性評価の定数θは明示的に計算可能であり、環境空間の幾何に依存する。ε ≥ ε₀のとき、θ = max{θ₁₂, 2D/ε₀}と表せる。
• 双曲の場合、従来の手法が区分的滑らかさの仮定に依存していたのに対し、本稿の証明ははるかに単純かつ初等的である。
• 本稿は、双曲空間における定幅体が、その接続ホロ球面が距離Dで分離されていることと同値であると特徴付ける。
• 安定性結果は本質的に最良であり、追加の仮定なしには、提示された形より改善できない。