非交差凸包分割の階数計数と辺上点数の不変性
Rank Enumeration and Side-Count Invariance for Noncrossing Hull Partitions
研究概要
凸多角形の境界上の有限個の点を、異なるブロックの凸包が互いに交わらないように分割する。階数は点の総数からブロック数を引いた値である。本論文は各階数の分割数を求め、各辺の内部点数を任意に並べ替えても、これらの数が変わらないことを証明する。すべての辺に内部点がある場合、各階数の分割数から辺の内部点数とその重複度も復元できる。出発点となった Dougherty–Root の多角形配置に関する非階数対称性予想と相反恒等式は、すでに Shivam Patel が証明している。本論文の新しい寄与は全階数の計数と任意の辺点数の置換に対する不変性である。共線配置は対象外である。完全な証明を含むが、形式化はまだ行っていない。
元の公開問題
Dougherty–Root の凸包配置予想：既知の多角形の場合の解答を超える全階数の計数
Michael Dougherty and Gina Root: Noncrossing Partitions From Hull Configurations — Introduction, unnumbered conjecture after Theorem A; polygonal restriction. The original non-rank-symmetry conclusion is prior work, not claimed as a new solution here.
Shivam Patel: Complete proof for every polygonal hull configuration, with an exact rank-reciprocity formula — August 20, 2026 solution; credited polygonal non-rank-symmetry proof and rank-reciprocity identity.
原文要旨（英語）
Let P be a finite set on the boundary of its convex polygon, with c_i points in the relative interior of side i. We give an explicit formula for the rank polynomial of the partitions of P whose block convex hulls are pairwise disjoint. The formula is a linear evaluation of a product of explicitly defined side polynomials. In particular, it depends only on the multiset of the c_i, not on their cyclic order. Among configurations for which every side has an internal point, equal rank polynomials are equivalent to equal multisets of side counts. The same decomposition gives a direct proof of Patel's rank-reciprocity identity, together with directional rank inequalities and an exact mean-rank formula. The proof groups inclusion-exclusion terms into boundary tilings and separates local forbidden successor arcs from the single cycle that can wind around the entire boundary.
数学の検証
原稿は内部レビューを完了しています。この公開版の完全な形式化は、まだ確立されていません。
検証基準