ラムゼイ型の同質性を得る操作の必要段数を分類する
Borel-Tukey morphisms between Ramsey homogeneity relations
この論文をやさしく読む
ひとことで言うと
組合せ論で色分けされた組から同質な部分を得る問題について、別の問題を何段階使えば解けるかを比較する数学研究です。
何に役立つ？
ラムゼイ型の問題どうしの強さや、逐次的な組合せによって可能になる変換を分類するために役立ちます。
この研究の面白いところ
2色の3要素組の問題には2色の2要素組の操作が3段階あれば足り、2段階では足りないという境界を示しています。
どこまで分かった？
段数の結果は、要旨で定義された概同質性関係とボレル–テューキー射に関するものです。一般的なアルゴリズムの実行時間を評価する結果ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
概同質性関係の間のボレル–テューキー射を研究する。有限のr,s≥1およびm,n≥2に対して、1段階の場合の完全な分類を与える。すなわち、Homʳ_m →BT Homˢ_nが成り立つのは、r>sの場合、またはr=sかつm≥nの場合に限る。 主結果は、2色の3要素組の同質性には、2色の2要素組を扱う段階が逐次的にちょうど3つ必要だということである。具体的には、Hom²₂;Hom²₂;Hom²₂ →BT Hom³₂である一方、Hom²₂;Hom²₂からHom³₂へのボレル–テューキー射は存在しない。さらに、Hom²₂;Hom²₃ →BT Hom³₂というボレル射と、任意の有限の正のkに対するHom²₂;Hom²₂ →BT Hom²_kというボレル射を構成する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study Borel-Tukey morphisms between almost-homogeneity relations. For finite $r,s\ge1$ and $m,n\ge2$, we give the complete one-stage classification: $\mathbf{Hom}^r_m\to_{\mathrm{BT}}\mathbf{Hom}^s_n$ holds exactly when $r>s$, or when $r=s$ and $m\ge n$. Our main result is that binary triple homogeneity requires exactly three sequential binary pair stages: $\mathbf{Hom}^2_2;\mathbf{Hom}^2_2;\mathbf{Hom}^2_2\longrightarrow_{\mathrm{BT}}\mathbf{Hom}^3_2$ and $\mathbf{Hom}^2_2;\mathbf{Hom}^2_2\not\longrightarrow_{\mathrm{BT}}\mathbf{Hom}^3_2$. We also construct Borel morphisms $\mathbf{Hom}^2_2;\mathbf{Hom}^2_3\longrightarrow_{\mathrm{BT}}\mathbf{Hom}^3_2$ and $\mathbf{Hom}^2_2;\mathbf{Hom}^2_2\longrightarrow_{\mathrm{BT}}\mathbf{Hom}^2_k$ for every finite positive $k$.
著者のコメント
36 pages
arXiv ID: 2609.23494 ／ 要約の誤りについて