[論文レビュー] Sharing a pizza: bisecting masses with two cuts

Luis Barba, Alexander Pilz+1 more|arXiv (Cornell University)|Apr 4, 2019

Computational Geometry and Mesh Generation参考文献 24被引用数 8

ひとこと要約

本稿は、平面における任意の4つの質量分布が、2本の直線のみを用いて同時に二等分可能であることを証明している。これはハムサンドイッチ定理を複数の測度へと拡張するものである。主な結果として、2本の向き付き直線が平面を4つの領域に分割し、両直線の正の側の和集合が各質量分布のちょうど半分を含むようにできることが示され、その解法を構成的に提供している。

ABSTRACT

Assume you have a pizza consisting of four ingredients (e.g., bread, tomatoes, cheese and olives) that you want to share with your friend. You want to do this fairly, meaning that you and your friend should get the same amount of each ingredient. How many times do you need to cut the pizza so that this is possible? We will show that two straight cuts always suffice. More formally, we will show the following extension of the well-known Ham-sandwich theorem: Given four mass distributions in the plane, they can be simultaneously bisected with two lines. That is, there exist two oriented lines with the following property: let $R^+_1$ be the region of the plane that lies to the positive side of both lines and let $R^+_2$ be the region of the plane that lies to the negative side of both lines. Then $R^+=R^+_1\cup R^+_2$ contains exactly half of each mass distribution.

研究の動機と目的

• 2本のカットのみを用いて、平面における4つの質量分布へのハムサンドイッチ定理の拡張を達成すること。
• R²における4つの連続的質量分布を同時に二等分できる2本の直線が存在するかを特定すること。
• 2本の直線によるそのような二等分を計算する構成的アルゴリズムを提供すること。
• 直線に制約（例：特定の点を通ること、特定の方向に平行であること）を課しても、3つまたは4つの質量を同時に二等分できるかを検討すること。
• この問題を高次元空間へ一般化し、n個の超平面を用いて同時に二等分可能な質量分布の最大数に関する予想を提示すること。

提案手法

• トポロジー的手法、特にボルスウプ・アーラムの定理を用いて、4つの質量分布を同時に二等分する2本の直線の存在を証明する。
• 2本の向き付き直線の配置空間を高次元球面としてモデル化し、二等分条件を反対点写像として埋め込む。
• 2本の直線を2次多項式の退化した代数的曲面と解釈することで、多項式ハムサンドイッチ定理の一般化を適用する。
• 制約付きケース（例：固定点を通る直線）に対しては、点をその点に関して反射することで、問題を径方向順序付け問題に還元する技術を導入する。
• 固定点の周囲における点の径方向順序を用い、ソート後に線形時間で、各質量分布のちょうど半分を含む連続する区間を探索する。
• すべてのケースに対して多項式時間アルゴリズムを提供し、計算時間はn点に対してO(n log n)のソートに支配され、反射後の区間探索はO(n)である。

実験結果

リサーチクエスチョン

• RQ1 平面における4つの質量分布は、常に2本の直線によって同時に二等分可能か？
• RQ2 直線に制約（例：特定の点を通ること、特定の方向に平行であること）を課しても、3つまたは4つの質量を同時に二等分できるか？
• RQ3 d次元空間におけるn個の超平面が同時に二等分可能な質量分布の数に対するタイトな上界は存在するか？
• RQ4 代数的曲面や多項式制約を用いて、この問題を高次元空間に一般化できるか？
• RQ5 n・d個の質量分布がR^dでn個の超平面によって同時に二等分可能であるという予想は真であり、その証明を支持するトポロジー的条件は何か？

主な発見

• 2本の直線が常に平面における4つの質量分布を同時に二等分可能であり、両直線の正の側の和集合が各質量分布のちょうど半分を含むようにできる。
• この結果はタイトである：R^dにおけるnd+1個の質量分布の配置は、n個の超平面では同時に二等分不可能である例が存在する。
• 制約付きケース（例：1本の直線が与えられた点を通ること、または特定の方向に平行であること）においても、3つの質量分布は2本の直線で二等分可能である。
• 本稿では、そのような二等分を計算する多項式時間アルゴリズムを提供しており、計算時間はソートに起因してO(n log n)、反射後の区間探索はO(n)である。
• n・d個の質量分布がR^dでn個の超平面によって同時に二等分可能であるという一般予想は、d=n=2のケースで成立し、追加の数値例で確認されている。
• この手法は、n次多項式の係数空間上の反対点写像を用いた証明戦略の可能性を示唆しており、これらの写像の消滅と一次式への因数分解の関係を示す予想が提示されている。