The complexity of tensor calculus

Tensor calculus over semirings is shown relevant to complexity theory in unexpected ways. First, evaluating well formed tensor formulas with explicit tensor entries is shown complete for ⊕P, for NP, and for #P as the semiring varies. Indeed the permanent of a matrix is shown expressible as the value of a tensor formula in much the same way that Berkowitz´ theorem expresses its determinant. Second, restricted tensor formulas are shown to capture the classes LOGCFL and NL, their parity counterparts ⊕LOGCFL and ⊕L, and several other counting classes. Finally, the known inclusions NP/poly ⊆⊕P/poly, LOGCFL/poly ⊆⊕LOGCFL/poly, and NL/poly⊆⊕/poly, which have scattered proofs in the literature, are shown to follow from the new characterizations in a single blow