线性空间的 amoeba 维数

给定 $\mathbb{C}^n$ 的一个复向量子空间 $V$，$V \cap (\mathbb{C}^*)^n$ 的 amoeba 的维数仅依赖于 $V$ 在基集 $\{1,\ldots,n\}$ 上所定义的拟阵。本文我们证明该维数由基集所有划分上某个特定函数的最小值给出，正如 Rau 此前所猜想的。我们还证明该公式可在多项式时间内求值。