1: \begin{abstract}

2: For the past twenty years, Matrix Product States (MPS) have been widely used in solid state physics to approximate the ground state of one-dimensional spin chains. In this paper, exploiting a connection with the theory of matrix algebras, we derive two structural properties of MPS, namely: a) there exist local operators which annihilate all MPS of a given bond dimension; and b) there exist local operators which, when applied over any MPS of a given bond dimension, decouple (cut) the particles where they act from the spin chain while at the same time join (glue) the two loose ends back again into an MPS. Armed with these tools, we show how to systematically derive `bond dimension witnesses', or 2-local operators whose expectation value allows us to lower bound the bond dimension of the underlying quantum state. We extend some of these results to the ansatz of Projected Entangled Pairs States (PEPS). As a bonus, we use our insight on the structure of MPS to: a) derive some limitations on the use of MPS and PEPS for ground state energy computations; b) show how to decrease the complexity and boost the speed of convergence of the semidefinite programming hierarchies described in [Phys. Rev. Lett. 115, 020501 (2015)] for the characterization of finite-dimensional quantum correlations.

3: 

4: \end{abstract}

5: