重访 Elser 核和

固定一个有限无向图 $\Gamma$ 及其一个顶点 $v$。令 $E$ 为 $\Gamma$ 的边集。若 $\Gamma$ 的每条边都至少有一个端点可通过一条 $F$-路径（即仅使用 $F$ 中边的路径）连接到 $v$，则称 $E$ 的子集 $F$ 为泛流行（pandemic）。1984 年，Elser 证明了在所有泛流行子集 $F \subseteq E$ 上 $\left(-1\right)^{\left| F\right|}$ 的和为 $0$（若 $E\neq \varnothing$）。我们通过一个符号反转对合给出该结果的简单证明，并讨论其变体、推广与精细化，揭示了其与抽象凸性（ antimatroid 的概念）和离散 Morse 理论的联系。