[论文解读] Explicit representations by halfspaces of the edge cone of a graph

Carlos E. Valencia, Rafael H. Villarreal|arXiv (Cornell University)|Jun 14, 2005

Graph theory and applications参考文献 8被引用 5

一句话总结

本文提供了图的边锥的显式组合表示，将其表示为有限个闭半空间的交集，重点研究连通二分图。通过顶点子集和边向量刻画了边锥的极面，建立了其规范不可约表示，并将结果应用于重新推导婚姻定理及计算边子环的代数不变量。

ABSTRACT

Let G be an arbitrary simple graph. The main results are explicit representations of the edge cone of G as a finite intersection of closed halfspaces. If G is bipartite and connected we determine the facets of the edge cone and present a canonical irreducible representation.

研究动机与目标

• 为任意图的边锥提供显式组合描述，表示为有限个闭半空间的交集。
• 通过顶点子集和关联结构，刻画连通二分图边锥的极面。
• 为连通二分图的边锥建立规范不可约表示。
• 将结果应用于推导婚姻定理并计算边子环的代数不变量。
• 通过系统分析此前被忽视的二分图边锥，填补多面体几何中的一个空白。

提出的方法

• 使用图的关联矩阵定义边向量为标准基向量的和。
• 应用法卡斯引理和克罗内克引理分析有理多面锥和整数点。
• 运用卡拉西奥多里定理将表示减少为有限个有理组合。
• 通过顶点子集的特征向量和边关联性识别支撑超平面。
• 利用独立顶点集和边约束导出的极面定义不等式，构建不可约表示。
• 利用二分图关联矩阵的全单模性，证明边锥的整数性。

实验结果

研究问题

• RQ1 如何为任意图的边锥提供作为闭半空间交集的显式组合描述？
• RQ2 如何基于图的结构刻画连通二分图边锥的极面？
• RQ3 连通二分图边锥的规范不可约表示是什么？
• RQ4 如何将结果应用于重新推导经典定理（如婚姻定理）？
• RQ5 边锥中的整数点与边子环代数不变量之间有何关系？

主要发现

• 任何图的边锥均可显式表示为有限个闭半空间的交集，推广了此前仅限于非二分图的结果。
• 对于具有二部划分 $(V_1, V_2)$ 的连通二分图，边锥的极面恰好为超平面 $H_A^-$（其中 $A \subsetneq V_1$ 且 $A \neq \emptyset$）和 $H_{e_i}^+$（对每个顶点 $v_i \in V_2$）。
• 边锥的规范不可约表示是唯一的，形式为 $\mathbb{R}_+\mathcal{A} = \text{aff}(\mathbb{R}_+\mathcal{A}) \cap \bigcap_{i=1}^r H_{A_i}^- \cap \bigcap_{i \in \mathcal{I}} H_{e_i}^+$，其中 $A_i \subsetneq V_1$ 且 $v_i \in V_2$。
• 二分图的边锥满足 $\mathbb{Z}^n \cap \mathbb{R}_+\mathcal{A} = \mathbb{N}\mathcal{A}$，意味着锥中的整数点恰好是非负整数系数的边向量组合。
• 婚姻定理由此结果推出：一个二分图存在完美匹配当且仅当对每个独立集 $A$，有 $|A| \leq |N(A)|$。
• 对于完全二分图 $\mathcal{K}_{m,n}$（其中 $m \leq n$），边锥由方程 $\sum x_i = \sum y_j$，$x_i \geq 0$，$y_j \geq 0$ 定义；当 $m \geq 2$ 时，这些不等式定义了所有极面。