[论文解读] Set mappings for general graphs

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

Limits and Structures in Graph Theory被引用 0

一句话总结

该论文证明：对于任意具有 m 条边且无孤立点的图 G，以及将 complete graph 的边任意映射到两两不相交边的 f，存在将 G 嵌入到足够大的 K_N 的嵌入，使得映射边与嵌入的顶点集合不相交，且 N = O(m)；对于某些图，这一界限在对数因子下是紧的。

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) ightarrow 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) 定义为最小的 N，使得对任意 f:E(K_N)→E(K_N) 且 f(e) 与 e 不同域相交，存在 G 的嵌入使得 f(e) 不与 G 的像相交。
• 通过概率嵌入框架证明定理 1.1：对具有 m 条边且无孤立点的图 G，w(G) ≤ C m。
• 通过确定性算法（算法 1）及精心构造的辅助集合 X_j 将嵌入问题化简，控制冲突。
• 使用切尔夫_bounds 和 Lovász 式的概率论论证，在高概率下确保存在合适的输入集合。
• 通过利用团的已知界限以及与现有下界 p_{k,ℓ}(N) 和 w(G) 下界的关系，证明紧性。

实验结果

研究问题

• RQ1 在一般图且无孤立点的情况下，关于 w(G) 相对于边数 m 的最优渐近界限是什么？
• RQ2 w(G) 对所有图是否都是 O(m) 紧，还是仅对某些族（如团、稀疏图）紧？
• RQ3 方法是否可扩展到 k-均匀超图，在该情形下得到 w(G) = O(e(G))？
• RQ4 对于特定图如 K_{n,n}，以及潜在的超图扩展，常数与上/下界之间的差距是否精确？

主要发现

• 存在一个绝对常数 C，使得对于每个具有 m 条边且无孤立点的图 G，w(G) ≤ C m。
• 在对数因子 O(log m) 的因素下，该界限是紧的，原因是先前的下界和对团的已知结果所致。
• 论文提供了一种构造性嵌入方法，在广义设置中对 N ≥ C ℓ m 仍然成立（定理 2.1）。
• 对于 G = K_n，w(G) = Θ(n^2) 与先前的 p_{2,2}(N) 边界一致，说明在团情形的紧性。
• 结果隐含 Ω(m/log m) ≤ w(G) ≤ O(m)，并引发关于如 K_{n,n} 的图以及潜在的超图扩展的开放问题。