弱Bruhat順序の結びの反転集合を求める
On inversion sets of joins in weak Bruhat order
この論文をやさしく読む
ひとことで言うと
有限Coxeter群の弱順序で二つ以上の要素を結び合わせる計算法と、その反転集合に関する予想の証明を示した数学の論文です。
何に役立つ？
考えられる用途は、有限Coxeter群の順序構造や反転集合を理論的・計算的に調べることです。
この研究の面白いところ
結びを求める再帰的アルゴリズムと、反転集合の和集合から結びの反転集合を表す予想の証明を同じ論文で扱っています。
どこまで分かった？
アルゴリズムと予想の証明は有限のCoxeter群を仮定しています。要旨には計算量は記載されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
任意のCoxeter群 W が弱順序について下半束となることはよく知られている。さらに W が有限なら束となる。本論文の前半では、任意の有限 W について弱順序の結びを計算する再帰的アルゴリズムを与える。後半では、W が有限であるという仮定の下で、各要素の反転集合の和集合を用いて結びの反転集合を表すDyerの予想の証明を完成させる。いくつかの証明はClaude Opus 5と共同で作成された。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
It is well-known that any Coxeter group $W$ is a meet-semilattice with respect to weak order. Furthermore, when $W$ is finite, it is a lattice. In the first part of this paper, we give a recursive algorithm that computes joins in weak order for arbitrary finite $W$. In the second part, we complete the proof of a conjecture of Dyer expressing the inversion set of a join in terms of the union of inversion sets of each factor, under the assumption that $W$ is finite. Some proofs were developed in collaboration with Claude Opus 5.
著者のコメント
12 pages
arXiv ID: 2609.25395 ／ 要約の誤りについて