2025-11-20T08:49:14.495176

Measurable domatic partitions

Hou

Let $Î$ be a compact Polish group of finite topological dimension. For a countably infinite subset $S\subseteq Î$, a domatic $\aleph_0$-partition (for its Schreier graph on $Î$) is a partial function $f:Î\rightharpoonup\mathbb{N}$ such that for every $x\in Î$, one has $f[S\cdot x]=\mathbb{N}$. We show that a continuous domatic $\aleph_0$-partition exists, if and only if a Baire measurable domatic $\aleph_0$-partition exists, if and only if the topological closure of $S$ is uncountable. A Haar measurable domatic $\aleph_0$-partition exists for all choices of $S$. We also investigate domatic partitions in the general descriptive graph combinatorial setting.

academic

可測的支配分割

基本情報

論文ID: 2205.05751
タイトル: Measurable domatic partitions（可測的支配分割）
著者: Edward Hou（カリフォルニア工科大学）
分類: math.LO（論理学）、math.CO（組合論）
発表時期: 2022年5月（arXivプレプリント、v2は2025年10月更新）
論文リンク: https://arxiv.org/abs/2205.05751

摘要

本論文は、有限位相次元を持つコンパクトポーランド群上の可測支配分割問題を研究する。コンパクトポーランド群Γとその可算無限部分集合S⊆Γに対して、支配ℵ₀-分割は偏関数f:Γ⇀ℕであり、各x∈Γに対してfS·x=ℕを満たす。著者は、連続支配ℵ₀-分割が存在することと、ベール可測支配ℵ₀-分割が存在することと、Sの位相閉包が非可算であることが同値であることを証明した。Sのすべての選択に対して、ハール可測支配ℵ₀-分割は常に存在する。本論文はまた、一般的な記述的グラフ組合論の設定下で支配分割を研究している。

研究背景と動機

問題の出所

本研究は、古典的なグラフ論の支配分割問題を無限グラフへ拡張したものに由来する。支配分割問題は、グラフの頂点を着色し、各頂点の近傍がすべての色を含むようにすることを要求する。この概念は、Zelinkaによって有限超立方体グラフ上で最初に研究され、n-正則超立方体グラフQₙが支配n-分割を認めることと、nが2の累乗であることが同値であることが証明された。

研究の意義

理論的意義: 古典的な有限グラフ支配分割理論を無限の場合に拡張し、特に記述集合論の枠組みで可測性問題を研究する
学際的価値: グラフ論、位相群論、記述集合論および測度論など複数の数学分野を結びつける
技術的革新: 異なる可測性条件下での支配分割の存在性を初めて体系的に研究する

既存方法の限界

古典的な有限グラフ支配分割理論は無限の場合に直接拡張できない
異なる可測性要件を扱う統一的枠組みが欠けている
Schreierグラフ上の支配分割の理解が不十分である

核心的貢献

支配ℵ₀-分割存在性の完全な特性付け: 有限次元コンパクトポーランド群に対して、連続およびベール可測支配ℵ₀-分割が存在するための必要十分条件が、生成集合Sの位相閉包が非可算であることであることを証明した
測度論的支配分割の普遍的存在性の証明: 任意のポーランド群とBorel確率測度に対して、μ-可測支配ℵ₀-分割が常に存在することを証明した
開集合支配分割構成技術の開発: 次元理論とLovász局所補題を通じて、開集合支配有限分割を構成する一般的方法を提供した
和集合理論への応用: Erdős-Kunen-Maudinの古典的な和集合に関する結果を一般化した
辺着色支配分割理論の確立: 支配分割の辺着色版を研究し、存在性および非存在性の結果を提供した