中文

关于单次读取行列式表达能力的探讨

计算复杂性 2015-08-27 v1

摘要

我们引入并研究了行列式的 read-kk 投影的概念:如果 f=det(M)f=det(M),其中矩阵 MM 的元素为域元素或变量,且每个变量在 MM 中最多出现 kk 次,则称多项式 fF[x1,,xn]f \in \mathbb{F}[x_1, \ldots, x_n] 为行列式的 read-kk 投影。如果存在一个行列式的 read-kk 投影 ff 使得 ff 的单项式集合等于 SS,则称单项式集合 SS 可表示为行列式的 read-kk 投影。我们获得了将 read-kk 行列式投影与被广泛研究的行列式复杂性概念相关联的基本结果。我们证明,对于足够大的 nnn×nn \times n 积多项式 PermnPerm_n 以及 nn 个变量上次数为 dd 的初等对称多项式 SndS_n^d(其中 2dn22 \leq d \leq n-2)不能表示为行列式的单次读取投影,而 mon(Permn)mon(Perm_n)mon(Snd)mon(S_n^d) 可以表示为行列式的单次读取投影。我们还给出了不能表示为行列式单次读取投影的单项式集合的例子。

关键词

引用

@article{arxiv.1508.06511,
  title  = {On the expressive power of read-once determinants},
  author = {N. R. Aravind and Pushkar S. Joglekar},
  journal= {arXiv preprint arXiv:1508.06511},
  year   = {2015}
}