[论文解读] Constructing subset partition graphs with strong adjacency and end-point count properties

Nicolai Hähnle|arXiv (Cornell University)|Mar 7, 2012

Advanced Combinatorial Mathematics参考文献 5被引用 5

一句话总结

本文提出一种基于洛瓦兹局部大数定理的随机构造方法，将任意满足单元素性质的子集划分图（SPG）转化为更高维度的SPG，该SPG同时满足强邻接性和端点计数性质。关键成果是构造出具有指数长度的抽象纺锤，其满足这些组合性质，为先前构造提供了概念上的简化，并推进了对高直径多面体图的探索。

ABSTRACT

Kim defined a very general combinatorial abstraction of the diameter of polytopes called subset partition graphs to study how certain combinatorial properties of such graphs may be achieved in lower bound constructions. Using Lovász' Local Lemma, we give a general randomized construction for subset partition graphs satisfying strong adjacency and end-point count properties. This can be used as a building block to conceptually simplify the constructions given in [Kim11]. We also use our method to construct abstract spindles, an analogy to the spindles used by Santos to disprove the Hirsch conjecture, of exponential length which satisfy the adjacency and end-point count properties.

研究动机与目标

• 开发一种通用方法，用于构造满足强邻接性和端点计数性质的子集划分图（SPG），这些性质对于模拟多面体直径行为至关重要。
• 通过将具有单元素性质的低维SPG转化为具有增强结构性质的高维SPG，简化现有高直径SPG的组合构造。
• 构造满足强邻接性和端点计数性质的指数长度抽象纺锤，为推翻霍尔赫猜想提供新候选。
• 探索强邻接性和端点计数性质与维度降低性质之间的相互作用，这对模拟实际多面体至关重要。

提出的方法

• 对具有单元素性质的输入SPG应用随机细分过程，其中每条边通过符号集 S' = S × [r] 被细分为 r 段。
• 该构造使用对细分顶点的随机标签分配，确保新图中相邻顶点对应的集合至少在两个元素上不同，从而避免不希望的高交集。
• 应用洛瓦兹局部大数定理，证明以正概率不存在不同边上顶点对的交集大小为 d-1，否则将违反端点计数性质。
• 该方法界定了冲突事件（坏事件）的数量，并利用条件 (k+1)pe < 1 保证成功概率为正，从而得出充分的 r = ⌈16eΔ⌉。
• 生成的SPG保持原图的图结构作为原始图的细分，并继承单元素性质，其中每个原顶点 A 映射为 A × [r]。
• 该构造应用于具有 2d 个符号的基于路径的SPG，以生成长度为 d 的指数级的抽象纺锤，满足强邻接性和端点计数性质。

实验结果

研究问题

• RQ1 是否可以使用通用的随机方法，将任意满足单元素性质的SPG转化为满足强邻接性和端点计数性质的SPG？
• RQ2 通过随机标记实现强邻接性和端点计数性质所需的最小维度提升是多少？
• RQ3 能否使用该方法构造出满足强邻接性和端点计数性质的指数长度抽象纺锤？
• RQ4 在构造的SPG中，强邻接性和端点计数性质如何与维度降低性质相互作用？

主要发现

• 基于洛瓦兹局部大数定理的随机构造确保了存在一个 r 维SPG，其中 r ≥ ⌈16eΔ⌉，该SPG满足强邻接性、端点计数性和单元素性质。
• 该构造将任意 d 维SPG的单元素性质转化为一个 rd 维SPG，该SPG同构于原始图的细分。
• 该方法生成了长度为 d 的指数级的抽象纺锤，满足强邻接性和端点计数性质，优于Kim（2011）的多项式长度构造。
• 生成的SPG保持单元素性质，其中每个原顶点 A 在新图中映射为集合 A × [r]。
• 通过确保新图中相邻顶点在原始标记下对应集合的交集大小为 d−1，该方法保持了强邻接性。
• 当原始图包含环时，该方法不保持维度降低，这凸显了其在模拟多面体图方面的关键局限性。