从有限域上的坐标子空间到理想多部一致 clutters

取一个素数幂 $q$、整数 $n\geq 2$，以及 Galois 域 $GF(q)$ 上的坐标子空间 $S\subseteq GF(q)^n$。可将 $S$ 关联到一个 $n$-部 $n$-一致 clutter $\mathcal{C}$，其中每一部大小为 $q$，且 $S$ 中的向量与 $\mathcal{C}$ 的成员之间存在双射。在本文中，我们确定了该 clutter $\mathcal{C}$ 何时是理想的，这一性质是在整数规划和组合优化领域的填充与覆盖问题背景下发展起来的。有趣的是，刻画取决于 $q$ 是 $2$、$4$、$2$ 的更高次幂，还是其他情形。每种刻画都关键地利用了理想性是一个次要闭性质：先确定被排除次要元的列表，再确定全局结构。一个关键洞见是 $\mathcal{C}$ 的理想性仅依赖于 $S$ 的底层拟阵。我们的定理还从理想性推广到更强的 max-flow min-cut 性质。作为推论，我们证明了该类 clutters 的复制猜想与 $\tau=2$ 猜想。