## ハイルブローン問題が問うこと

ハイルブローン問題は、単位面積の領域（正方形、正三角形、または任意の凸形状）において、*n* 個の点を置き、それらのどの三点によって形成される三角形のうち最小の面積を最大化する離散幾何最適化の課題である。そのような最大可能な最小三角形の面積を *A*(*n*) で表す。

1950年代に Hans Heilbronn が初めて研究したこの問題は、組合せ幾何学と計算最適化の交差点に位置する。各容器の形状と各 *n* について、目標は *A*(*n*) をこれまでのどの配置よりも高める点の配置を見つけることである。ある配置が本当に最適であることを証明する（これまで見つかった中でただ最高であるだけではない）ことは、別の、しばしばより難しい課題である。

## 検証可能な記録を持つライブリーダーボード

ウェブサイト **math.tejstead.com/heilbronn/** は、単位正方形、単位正三角形、および各 *n* に対する最適な凸領域という三つの古典的な容器についての最良既知の配置の生きたアーカイブである。各エントリは次の項目をリストする：

- *n* 個の点の正確な座標<br>- 配置の対称性と合同の分析<br>- 最適性が確立されている公開された証拠への参照<br>- **in-browser rational arithmetic verifier** が誰でも浮動小数点の丸め誤差なく正確に最小三角形の面積を再計算できるようにする

このサイトは、配置が最適であることが証明されたエントリに ▲ マークを付ける。ほとんどの *n* とほとんどの容器については、リストされている値は「最良既知」であり、最適であることが証明されているわけではない。

## 最近の記録更新（2026年9月－10月）

2026年9月下旬以降、リーダーボードには新記録のクラスターが見られ、そのうちほとんどは伝統的な学術チャンネル外で活動する独立した研究者によって貢献されている：

| Date | Container | *n* | New *A*(*n*) | Gain | Contributor |<br>|------|-----------|-----|--------------|------|-------------|<br>| 2026-10-01 | Triangle | 20 | 0.01260939 | +2.37% | Rob Gardiner |<br>| 2026-10-01 | Square | 23 | 0.00975728 | +1.18% | Rob Gardiner |<br>| 2026-09-28 | Square | 21 | 0.01147376 | +1.85% | Rob Gardiner |<br>| 2026-09-28 | Square | 23 | 0.00964331 | +1.97% | Rob Gardiner |<br>| 2026-09-28 | Square | 25 | 0.00823006 | +3.74% | Rob Gardiner |<br>| 2026-09-28 | Square | 35 | 0.00443228 | +0.53% | Rob Gardiner |<br>| 2026-09-25 | Convex | 31 | 0.00630967 | +3.46% | Alexandar Lackovic (with help of Opus 5.5) |<br>| 2026-09-25 | Convex | 33 | 0.00547013 | +3.21% | Alexandar Lackovic (with help of Opus 5.5) |<br>| 2026-09-23 | Triangle | 19 | 0.01348189 | +0.21% | Marc-Emmanuel Coupvent des Graviers |<br>| 2026-09-23 | Triangle | 29 | 0.00612369 | +2.55% | Marc-Emmanuel Coupvent des Graviers |

サイトの作成者は、「最近、アマチュア数学者によって新しい記録が波のようにもたらされている」と述べている。 Lackovic の凸領域記録における AI 補助（Opus 5.5）の関与は、計算探索の行われ方における顕著な発展を示している。

## コンテナ間での値の比較

既知の最高値（小数点以下八桁に切り詰め）の表は、*n* が増えるにつれて達成可能な最小三角形の面積がどのように減少するか、そして容器の形状がどのように影響するかを示している：

- *n* = 3 のとき、正方形と正三角形はともに *A*(3) = 0.5 （正三角形自身）を達成し、最適な凸領域は 1.0 （領域全体）を達成する。<br>- *n* = 10 のとき、正方形は ~0.0465 で先行し、続いて凸領域が ~0.0520、正三角形が ~0.0434 である。<br>- *n* = 35 のとき、正方形は ~0.00443 に達し、凸領域は ~0.00477 であるが、正三角形のエントリはまだ表に掲載されていない。

予想通り、凸領域はより大きい *n* に対して固定された正方形と正三角形を一貫して上回る——容器の形状そのものを最適化することで自由度が一つ加わる。

## 未解決の問題と既知の限界

**Asymptotic behavior.** 提出スレッドのコメントでは、単位正方形を *n*/3 の垂直ストリップに分割する単純な鳩の巣論法により、正方形についての上界がおよそ 1/*n* であることを示している：一つのストリップには三点が含まれなければならず、その中のどの三角形もそのストリップの面積以下（~1/*n*）となる。これまでに知られている下界は (log *n*)/*n*² のオーダーであり——大きなギャップがある。主要なソースではこれらの漸近的境界については論じられておらず、活発な研究領域のままである（Komlós, Pintz, Szemerédi によって顕著に進展されている）。

**Criterion for inclusion.** このサイトは、現在の最良既知値として配置をリストする基準を明示していない。 リーダーボードは有限であるのは、以前に公開されたすべての結果を改善する配置のみが記録されるためである；読者が想像するかもしれない「無限に長い」リストは、改善されていない配置からなるだろう。

**Proven optimality.** ▲ マークを付けているエントリはごくわずかである。 (*n*, container) の組の圧倒的多数 について、真の最適値は未知である。有理数演算検証器は、提出された配置が主張する *A*(*n*) を達成することを確認するが、それ以上に良い配置が存在しないことを証明するわけではない。

## なぜこれが重要なのか

ハイルブローン問題は、以下のような基本的な幾何最適化の問題における稀有な例である：

1. **The search space is continuous and high-dimensional** (2*n* 座標)、しかし<br>2. **Exact verification is possible** via 有理数演算、そして<br>3. **Non-experts with computational tools can still advance the frontier。**

最近の記録の急増は、この問題が経験的にまだ活発であることを示している。1/*n* の上界と (log *n*)/*n*² の下界の間のギャップがいつか埋まるか、あるいは真の漸近的順序がその中間にあるか——それがこの問題の中心的な謎の一つであるままである。