[論文レビュー] Set mappings for general graphs

Lior Gishboliner, Zhihan Jin+1 more|arXiv (Cornell University)|Jan 2, 2026

Limits and Structures in Graph Theory被引用数 0

ひとこと要約

この論文は、孤立頂点を持たない任意のグラフ G（辺数 m）と、完全グラフの辺を互いに交わらないように対応づける任意の f に対して、埋め込みが存在することを示す。埋め込みは十分大きな K_N（N = O(m)）へであり、映像された辺集合が埋め込み頂点集合と交わらないようにする。境界は対数因子まで厳密で、一部のグラフに対してはこれが tight。

ABSTRACT

The study of extremal problems for set mappings has a long history. It was introduced in 1958 by Erdős and Hajnal, who considered the case of cliques in graphs and hypergraphs. Recently, Caro, Patkós, Tuza and Vizer revisited this subject, and initiated the systematic study of set mapping problems for general graphs. In this paper, we prove the following result, which answers one of their questions. Let $G$ be a graph with $m$ edges and no isolated vertices and let $f : E(K_N) \rightarrow E(K_N)$ such that $f(e)$ is disjoint from $e$ for all $e \in E(K_N)$. Then for some absolute constant $C$, as long as $N \geq C m$, there is a copy $G^*$ of $G$ in $K_N$ such that $f(e)$ is disjoint from $V(G^*)$ for all $e \in E(G^*)$. The bound $N = O(m)$ is tight for cliques and is tight up to a logarithmic factor for all $G$.

研究の動機と目的

• 一般グラフにおける集合写像の極値問題を動機づけ、研究する。
• 辺数 m に関して w(G) のほぼ厳密な上界を設定する。
• 埋め込み中の禁止交差を回避する確率・決定的な埋め込み戦略を開発する。

提案手法

• w(G) を、f:E(K_N)→E(K_N) かつ f(e) が e と交わらないとき、G の埋め込みを G の像と f(e) が交わらないように実現できる最小の N として定義する。
• 定理1.1を証明する：孤立頂点のない辺数 m のグラフ G に対して w(G) ≤ C m を満たすことを、確率的な埋め込み枠組みで示す。
• 決定的アルゴリズム（アルゴリズム1）と巧妙に構成された補助集合 X_j を用いて、衝突を制御するための埋め込み問題へ低減する。
• チェーノフ境界と Lovász 風の確率的議論を用いて、適切な入力集合の存在を高確率で保証する。
• クリークの既知境界を活用し、既存の下界 p_{k,ℓ}(N) および w(G) の下界と関連づけることで、 tight 性を示す。

実験結果

リサーチクエスチョン

• RQ1 一般グラフ（孤立頂点なし）に対して、m に関して w(G) の最良の漸近的境界は何か？
• RQ2 w(G) = O(m) はすべてのグラフに対して tight か、それとも特定の族（例：クリーク、疎なグラフ）に限られるのか？
• RQ3 方法は k-均一超グラフへ拡張して w(G) = O(e(G)) を得られるか？
• RQ4 完全二部グラフ K_{n,n} など特定のグラフに対する定数と、上界と下界のギャップはどの程度か？

主な発見

• 任意のグラフ G（辺数 m、孤立頂点なし）に対して、絶対定数 C が存在し、w(G) ≤ C m。
• この境界は O(log m) の要因により tight であることは、以前の下界およびクリークに関する既知の結果から分かる。
• 一般化設定（定理2.1）において、N ≥ C ℓ m で機能する構成的な埋め込み法を提供。
• G = K_n の場合、w(G) = Θ(n^2) が先行の p_{2,2}(N) の境界と整合し、クリークの場合の tight 性を示す。
• この結果は Ω(m/log m) ≤ w(G) ≤ O(m) を示唆し、K_{n,n} のようなグラフや超グラフ拡張の可能性に関する未解決問題を提起する。