[论文解读] Pairwise Suitable Family of Permutations and Boxicity

Manu Basavaraju, L. Sunil Chandran+2 more|arXiv (Cornell University)|Dec 30, 2012

graph theory and CDMA systems被引用 6

一句话总结

本文建立了超图 H 的分离维数 π(H) 与其中心线图的方箱维数之间的直接等价关系，为分离维数提供了几何解释：即作为将顶点嵌入最小维度空间的最小维度，使得不相交的超边可被轴对齐超平面分离。其主要贡献在于建立了组合排列族与几何图表示之间的一种新联系，从而可将方箱维数理论中的结果迁移至分离维数问题中。

ABSTRACT

A family F of permutations of the vertices of a hypergraph H is called "pairwise suitable" for H if, for every pair of disjoint edges in H, there exists a permutation in F in which all the vertices in one edge precede those in the other. The cardinality of a smallest such family of permutations for H is called the "separation dimension" of H and is denoted by π(H). Equivalently, π(H) is the smallest natural number k so that the vertices of H can be embedded in R^k such that any two disjoint edges of H can be separated by a hyperplane normal to one of the axes. We show that the separation dimension of a hypergraph H is equal to the "boxicity" of the line graph of H. This connection helps us in borrowing results and techniques from the extensive literature on boxicity to study the concept of separation dimension.

研究动机与目标

• 定义并研究超图的成对合适排列族的概念。
• 将分离维数 π(H) 形式化为此类族的最小大小。
• 建立 π(H) 与 H 的线图的方箱维数之间的基本等价关系。
• 利用已知的方箱维数理论结果，推导出分离维数的新界与结构洞见。
• 探讨与最大度、色数和团数等图参数相关的 π(G) 的界的开放问题。

提出的方法

• 将成对合适排列族定义为：其中每对不相交的超边均被族中至少一个排列所分离。
• 建立此类族与 R^k 中轴对齐超平面分离之间的等价关系，从而引出分离嵌入的概念。
• 通过几何与组合论证，证明分离维数 π(H) 等于 H 的线图的方箱维数。
• 利用已知的方箱维数界，推导出 π(H) 的上下界，特别是关于最大度、树宽与退化度的界。
• 应用极值组合学与排列族（例如，打乱排列、k-合适族）的结果，分析特定超图类的 π(H)。
• 通过反例与猜想，探索与色数、团数及 Hadwiger 数等图参数的联系。

实验结果

研究问题

• RQ1 超图 H 的分离维数 π(H) 与其线图的方箱维数之间的确切关系是什么？
• RQ2 已知的方箱维数上下界是否可用于推导出分离维数的紧致界？
• RQ3 是否存在一个通用函数 f，使得对所有图 G 都有 boxicity(G) ≤ f(π(G))？
• RQ4 π(G) 是否能以色数 χ(G) 表示？或者是否存在某个常数 c，使得 π(G) ≥ log χ(G) − c？
• RQ5 r-一致完全超图 K_n^r 的分离维数 π(K_n^r) 的精确渐近增长是什么？

主要发现

• 分离维数 π(H) 恰好等于 H 的线图的方箱维数，建立了组合排列族与几何方箱表示之间的基本等价关系。
• 对任意图 G，有 π(G) ≥ log⌊ω(G)/2⌋，这给出了以团数 ω(G) 表示的非平凡下界。
• 对弦图，有 π(G) ∈ O(log Δ(G))，其中 Δ(G) 为最大度，这是由于团大小相对于度数有界。
• 对满足 Δ(G) ≥ log n 的图，有 π(G) ∈ O(Δ(G))，表明在稀疏情形下与最大度呈线性依赖。
• 导出了上界 π(G) ≤ 2^{9 log* Δ(G)} Δ(G)，但其紧致性尚不确定。
• 本文提出了开放问题：是否存在函数 f 使得 boxicity(G) ≤ f(π(G))，以及 π(K_n^r) 的精确阶数，突显了尚未解决的极值问题。