只读一次无关算术分支程序之和的确定性恒等式测试

只读一次无关算术分支程序（ROABP）是一种算术分支程序（ABP），其中每个变量至多出现在一层中。我们给出了首个用于测试由常数个 ROABP 之和计算的多项式的多项式时间白盒恒等式测试。我们还给出了一个相应的黑盒算法，其时间复杂度为准多项式 $n^{O(\log n)}$。在这两种情况下，我们的时间复杂度关于 ROABP 的数量均为双指数级。ROABP 是集合多重线性深度 -3 电路的推广。此前关于常数个集合多重线性深度 -3 电路之和的结果仅略优于暴力搜索，即指数时间。我们的技术体现了 ROABP 三个概念的新交互：低求值维数、基隔离权重赋值和低支撑秩集中。我们将基隔离与秩集中联系起来，并利用求值维数（或偏导数）将其推广到两个 ROABP 之和的情形。