凸図形の等面積分割でグラフ距離を直線距離に近づける
Cutting a convex body into fat parts and approximating Euclidean distance by graph distances
この論文をやさしく読む
ひとことで言うと
格子上のグラフをたどる距離を、直線距離へどこまで近づけられるかを調べます。
何に役立つ？
離散的なネットワークでEuclid幾何を近似する問題への理論的進展です。
この研究の面白いところ
凸集合を面積が等しく極端に細長くない多数の部分へ分ける結果から、距離近似のグラフ構成を導きます。
どこまで分かった？
元の問題は誤差を絶対定数に抑えることです。今回の上側誤差はo(d^(5/6))であり、弱い形への肯定的解答です。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
平面上の整数点集合ℤ²を頂点とするグラフGを構成し、任意の2頂点間の最短経路の長さとユークリッド距離との差を、絶対定数以下にできるだろうか。Benjamini、Erdős、Kleiner、Kozma、Schrammおよび本論文の筆頭著者によるこの問いは、長い間未解決である。本研究では、それ自体にも意義のある次の幾何学的命題に基づき、この問いを弱めた形に肯定的な答えを与える。 定数c＞0が存在し、任意のi＝1, 2, …について、任意のρ-fatな平面凸集合Sを、面積が等しい2ⁱ個の凸な部分へ分割でき、各部分は少なくともcρ-fatである。ここで凸集合がρ-fatであるとは、内接円半径と外接円半径の比がρ以上であることをいう。 ℤ²を拡大した格子の全域部分グラフで、辺に重みを付けないグラフGが存在し、ユークリッド距離がdである任意の頂点対について、G内の最短経路距離がd−O(1)以上、d＋o(d⁵ᐟ⁶)以下となることを証明する。同じ評価は、頂点集合がℤ²で、各辺がユークリッド距離2以下の2頂点を結ぶ平面グラフによっても達成できる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Can one construct a graph $G$ on the set of integer points ${\mathbb Z}^2$ in the plane such that the length of the shortest path between any two vertices of $G$ differs from their Euclidean distance by at most an absolute constant? This question of Benjamini, Erd\H os, Kleiner, Kozma, Schramm, and the first-named author has been open for a long time. We give an affirmative answer to a weaker form of this question, based on the following geometric statement, which is of independent interest. There exists a constant $c>0$ such that for every $i=1,2,\ldots,$ every $\rho$-fat plane convex set $S$ can be cut into $2^i$ convex pieces of equal area, each of which is at least $c\rho$-fat. (A convex set is $\rho$-fat if the ratio of its inradius to its circumradius is at least $\rho$.) We prove that there exists an (unweighted) spanning subgraph $G$ of an enlarged copy of ${\mathbb Z}^2$ such that, for every pair of vertices at Euclidean distance $d$, their shortest-path distance in $G$ lies between $d-O(1)$ and $d+o(d^{5/6})$. The same bound can be achieved by a planar graph with vertex set ${\mathbb Z}^2$, in which every edge joins two vertices at Euclidean distance at most 2.
著者のコメント
25 pages, 9 figures
arXiv ID: 2609.20702 ／ 要約の誤りについて