17曲線と19曲線の単純で回転対称なベン図を構成
Simple symmetric Venn diagrams with 17 and 19 curves
この論文をやさしく読む
ひとことで言うと
17個、19個の集合について、すべての重なり方を表し、回しても同じ形になり、3本以上が同時に交わらないベン図を見つけた研究です。
何に役立つ？
対称性と交差の制約を両立する組合せ構造の存在を示し、計算探索と形式検証を組み合わせる例になります。
この研究の面白いところ
従来の探索が対象としていなかった非単調な図を探し、17曲線で4個、19曲線で9個の図を得ています。
どこまで分かった？
全図に機械検査可能な証明書がありますが、Lean 4で形式証明したと要旨にあるのは各サイズ一つずつです。任意の素数で単純な対称ベン図が存在すると示したわけではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
17本および19本の曲線からなる、単純で回転対称なベン図を提示する。すなわち、n本のジョルダン曲線が2π/nの回転で互いに移り合い、2^n個の領域がすべて存在して連結であり、さらに単純であるため各交点を通る曲線はちょうど2本である。対称なベン図は曲線数が任意の素数の場合に存在することが知られている（Griggs、Killian、Savage、2004）。しかし、それらの図では一つの点を多数の曲線が通り、単純なものは13曲線までしか知られていなかった（Mamakani、Ruskey、2014）。 17曲線の図を4個、19曲線の図を9個発見した。探索には、領域の重複を一時的に許した、球面の回転不変な四角形分割上のメトロポリス歩行を用いた。開始点は、多重交点を解消したGriggs–Killian–Savageの図である。各図について機械検査可能な証明書を与え、各曲線数につき一つの証明書をLean 4の形式証明で検証した。すべての図は非単調であり、そのため11曲線と13曲線の図を発見した交差列の探索では、これらの図を発見できなかった。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We exhibit simple, rotationally symmetric Venn diagrams with 17 curves and with 19 curves: n Jordan curves carried to one another by rotation through 2{\pi}/n, with every one of the 2^n regions present and connected and, since the diagrams are simple, every crossing on exactly two curves. Symmetric Venn diagrams exist for every prime number of curves (Griggs, Killian and Savage, 2004), but those diagrams have many curves through a point; simple ones were known only up to 13 curves (Mamakani and Ruskey, 2014). Four 17-curve and nine 19-curve diagrams were found by a Metropolis walk on rotation-invariant quadrangulations of the sphere in which regions may temporarily be duplicated, started from the Griggs-Killian-Savage diagram with its multiple crossings resolved. Every diagram is given by a machine-checkable certificate; one certificate of each size has been verified by a formal proof in Lean 4. All of the diagrams are non-monotone, which is why the crossing-sequence searches that found the 11- and 13-curve diagrams could not have found them.
著者のコメント
9 pages, 2 figures. Certificates, independent checker, Lean 4 verifications and search code are archived at doi:10.5281/zenodo.22885650 and at https://github.com/dzoba/venn17
arXiv ID: 2609.26546 ／ 要約の誤りについて