[論文レビュー] Boolean lattice without small rainbow subposets

Gyula O. H. Katona, Yaping Mao+3 more|arXiv (Cornell University)|Jan 31, 2026

Limits and Structures in Graph Theory被引用数 0

ひとこと要約

論文は小さなposetの虹色誘導コピーを避けるBoolean格子の厳密なk着色を研究し、posetに対するBoolean Gallai-Ramseyおよび虹色ラムゼイ数を構造的特徴付けといくつかの厳密な結果とともに導出する。

ABSTRACT

A Boolean lattice $\mathcal{B}_n=(2^X, \leq)$ is the power set of an $n$-element ground set $X$ equipped with inclusion relation. For two posets $\mathcal{P}$ and $\mathcal{Q}$, we say that $\mathcal{Q}$ contains an \emph{induced copy} of $\mathcal{P}$ if there exists an injection $f : \mathcal{P} \to \mathcal{Q}$ such that $f(X) \le f(Y)$ if and only if $X \le Y$ in $\mathcal{P}$. A $k$-coloring is exact if all colors are used at least once. For posets $\mathcal{Q}$ and $\mathcal{P}$, the \emph{Boolean Gallai-Ramsey number} $\operatorname{GR}_{k}(\mathcal{Q}:\mathcal{P})$ is defined as the smallest $n$ such that any exact $k$-coloring of the sets in $\mathcal{B}_n$ contains either a rainbow induced copy of $\mathcal{Q}$ or a monochromatic induced copy of $\mathcal{P}$ and the \emph{Boolean rainbow Ramsey number} $\operatorname{RR}(\mathcal{Q}:\mathcal{P})$ is defined as the smallest $n$ such that any coloring of the sets in $\mathcal{B}_n$ contains either a rainbow induced copy of $\mathcal{Q}$ or a monochromatic induced copy of $\mathcal{P}$. In this paper, we first study the structural properties of exact $k$-colorings of the sets in Boolean lattice without rainbow induced copy of small posets. As the application of these results, we give exact values and some bounds of Boolean Gallai-Ramsey numbers and Boolean rainbow Ramsey numbers, which improve a result of Chen, Cheng, Li, and Liu in 2020 and give an answer of a question proposed by Chang, Gerbner, Li, Methuku, Nagy, Patkós, and Vizer in 2022.

研究の動機と目的

• Boolean格子の虹色誘導コピーを避ける厳密なk着色を特徴付ける（特にC3、フォークa72、およびB2）。
• これらの構造的結果を用いて、選択されたposet対のBoolean Gallai-Ramsey数およびBoolean rainbow Ramsey数を決定または域内に制限する。
• 文献の既存の界を改善し、Boolean格子における固定色の rainbow-avoidance に関する未解決の問いに答える。

提案手法

• B_n の虹色誘導コピーを避ける厳密なk着色がいつ成り立つかを記述する構造定理を証明する（定理2.1、2.3、2.4）。
• 関連議論におけるBoolean格子上の区間表記とLubell関数を用いる（節2）。
• 選択されたposet対について厳密なGR_k(Q:P)を導出する構造特徴付けを適用する（定理1.1、1.2）。
• Blob補題に着想を得たアプローチにより虹色ラムゼイ数RR(B_m:B_n)の上界を導く（定理1.4）。
• PのLubell境界性と虹色回避を関連付けてRR(∂g2:P) の結果を得る（定理1.6）。

実験結果

リサーチクエスチョン

• RQ1 C3、€g2、B2 の虹色誘導コピーを避けるB_n の厳密なk着色を特徴付ける構造的制約は何か。
• RQ2 選択されたposet対についてのBoolean Gallai-Ramsey数GR_k(Q:P)の厳密値または界は何か。
• RQ3 B_mとB_nを含む対についてのBoolean rainbow Ramsey数RR(Q:P)はどのような値か、以前の界と比較してどうか。
• RQ4 P の一様Lubell境界性はRR(€g2:P) の値にどのような影響を与えるか。

主な発見

• C3、€g2、B2 を虹色として回避する着色に対する厳密な構造的特徴付けが確立される（定理2.1、2.3、2.4）。
• GR_k(C3:C_s) は特定のk, sの範囲で決定される（定理1.1）。
• GR_k(∨2:C_s) はいくつかの k, s のケースで完全に解かれる（定理1.2）。
• GR_k(B2:B_n) は k が R_3(B_n) に対してどうなるかに応じて境界づけられる（定理1.3）。
• RR(B_m:B_n) は上界として m R_{2^m-1}(B_n) + m によって抑えられ、従来の境界と比較される（定理1.4）。
• RR(B_n:B_m) の境界は m=2 の場合に改良され、以前の結果より厳しい上界を提供する（定理1.5）。
• RR(∨2:P) は一様に誘導されたLubell境界性を持つPに対して公式RR(∨2:P)=2e(P)+1 に従うことが示される（定理1.6）。