arXiv:1310.0370
Some Effective Results on the Invariant Theory of Tensor Networks
Jacob Turner, Jason Morton
Abstract
In several applications including computational complexity and condensed matter physics, regular tensor networks arise in which vertex tensors and edge vector spaces are repeated. These have many internal edges, each with a label $i\in\{1,\dots,n\}$ and corresponding to an $t_i$-dimensional complex vector space. We have a local adjoint action on the vertex tensors by $G_{\textbf{t}}= \times_{i=1}^n{GL(t_i,\mathbb{C})}$ which amounts to a change of basis on each internal edge. Such networks are overparameterized in the sense that this action does not change the tensor represented by the entire network, although it may change the tensor associated to a given vertex. When $G_{\textbf{t}}$ acts nontrivially only on wires which are internal (perhaps after connecting copies of a network with dangling wires), the value of the network is of course a $G_{\textbf{t}}$ invariant. We explain how to use some tools from invariant theory to work modulo such an internal local $GL$ symmetry and apply them to a problem in complexity theory.