Tensor network methods for invariant theory

Invariant theory is concerned with functions that do not change under the action of a given group. Here we communicate an approach based on tensor networks to represent polynomial local unitary invariants of quantum states. This graphical approach provides an alternative to the polynomial equations that describe invariants, which often contain a large number of terms with coefficients raised to high powers. This approach also enables one to use known methods from tensor network theory (such as the matrix product state (MPS) factorization) when studying polynomial invariants. As our main example, we consider invariants of MPSs. We generate a family of tensor contractions resulting in a complete set of local unitary invariants that can be used to express the R?nyi entropies. We find that the graphical approach to representing invariants can provide structural insight into the invariants being contracted, as well as an alternative, and sometimes much simpler, means to study polynomial invariants of quantum states. In addition, many tensor network methods, such as MPSs, contain excellent tools that can be applied in the study of invariants.

[1]  Jacob W. Turner,et al.  Some Effective Results on the Invariant Theory of Tensor Networks , 2013 .

[2]  Jacob D. Biamonte,et al.  Categorical Tensor Network States , 2010, ArXiv.

[3]  John C. Baez,et al.  Physics, Topology, Logic and Computation: A Rosetta Stone , 2009, 0903.0340.

[4]  D. Hilbert,et al.  Theory of algebraic invariants , 1993 .

[5]  Yves Lafont,et al.  Towards an algebraic theory of Boolean circuits , 2003 .

[6]  G. Vidal.  Efficient classical simulation of slightly entangled quantum computations. , 2003, Physical review letters.

[7]  F. Verstraete,et al.  Matrix product states, projected entangled pair states, and variational renormalization group methods for quantum spin systems , 2008, 0907.2796.

[8]  A. Rényi.  On Measures of Entropy and Information , 1961 .

[9]  J. D. Biamonte,et al.  Algebraically contractible topological tensor network states , 2011, 1108.0888.

[10]  F. Verstraete,et al.  Renormalization and tensor product states in spin chains and lattices , 2009, 0910.1130.

[11]  J. Cirac,et al.  Optimal creation of entanglement using a two-qubit gate , 2000, quant-ph/0011050.

[12]  D. Gross,et al.  Measurement-based quantum computation beyond the one-way model , 2007, 0706.3401.

[13]  A. Vershik,et al.  Virtual continuity of measurable functions and its applications , 2014, 1410.0898.

[14]  Martin Rötteler,et al.  Computing local invariants of qubit systems , 1998 .

[15]  David G. Cory,et al.  Tensor networks and graphical calculus for open quantum systems , 2011, Quantum Inf. Comput..

[16]  G. Evenbly,et al.  Tensor Network States and Geometry , 2011, 1106.1082.

[18]  A. Sudbery.  On local invariants of pure three-qubit states , 2000, quant-ph/0001116.

[19]  S. R. Clark,et al.  Dynamical simulations of classical stochastic systems using matrix product states. , 2010, Physical review. E, Statistical, nonlinear, and soft matter physics.

[20]  Yuriy Makhlin.  Nonlocal Properties of Two-Qubit Gates and Mixed States, and the Optimization of Quantum Computations , 2002, Quantum Inf. Process..

[21]  J. Baez.  Rényi Entropy and Free Energy , 2011, Entropy.

[22]  Ville Bergholm,et al.  Categorical quantum circuits , 2010, 1010.4840.

[23]  Frank Verstraete,et al.  Matrix product state representations , 2006, Quantum Inf. Comput..

[24]  Claudio Procesi,et al.  The invariant theory of n × n matrices , 1976 .

[25]  Y. Lafont.  Applications of Categories in Computer Science: Penrose diagrams and 2-dimensional rewriting , 1992 .

[26]  U. Schollwoeck.  The density-matrix renormalization group in the age of matrix product states , 2010, 1008.3477.

[27]  Eric M. Rains.  Polynomial invariants of quantum codes , 2000, IEEE Trans. Inf. Theory.

[28]  Richard Brauer,et al.  On Algebras Which are Connected with the Semisimple Continuous Groups , 1937 .

[29]  M. S. Leifer,et al.  Measuring polynomial invariants of multiparty quantum states , 2003, quant-ph/0308008.

[30]  Guifre Vidal,et al.  Tensor network states and algorithms in the presence of a global SU(2) symmetry , 2010, 1208.3919.

[31]  Yves Lafont.  Equational Reasoning with Two-Dimensional Diagrams , 1993, Term Rewriting.

[32]  Laura Koponen,et al.  A discrete local invariant for quantum gates , 2006, Quantum Inf. Comput..

[33]  Xiao-Gang Wen,et al.  Topological entanglement Rényi entropy and reduced density matrix structure. , 2009, Physical review letters.

[34]  Jason Morton,et al.  Undecidability in tensor network states , 2012, 1205.3315.

[35]  Aaron D. Lauda,et al.  A Prehistory of n-Categorical Physics , 2009, 0908.2469.

[36]  Matthew B Hastings,et al.  Measuring Renyi entanglement entropy in quantum Monte Carlo simulations. , 2010, Physical review letters.