The minimal canonical form of a tensor network

Abstract

Tensor networks have a gauge degree of freedom on the virtual degrees of freedom that are contracted. A canonical form is a choice of fixing this degree of freedom. For matrix product states, choosing a canonical form is a powerful tool, both for theoretical and numerical purposes. On the other hand, for tensor networks in dimension two or greater there is only limited understanding of the gauge symmetry. Here we introduce a new canonical form, the minimal canonical form, which applies to projected entangled pair states (PEPS) in any dimension, and prove a corresponding fundamental theorem. Already for matrix product states this gives a new canonical form, while in higher dimensions it is the first rigorous definition of a canonical form valid for any choice of tensor. We show that two tensors have the same minimal canonical forms if and only if they are gauge equivalent up to taking limits; moreover, this is the case if and only if they give the same quantum state for any geometry. In particular, this implies that the latter problem is decidable - in contrast to the well-known undecidability for PEPS on grids. We also provide rigorous algorithms for computing minimal canonical forms. To achieve this we draw on geometric invariant theory and recent progress in theoretical computer science in non-commutative group optimization.

51 pages, more than 8 figures

References in corpus (16)

• Supplementary information for "Quantum supremacy using a programmable superconducting processor"
• The density-matrix renormalization group in the age of matrix product states
• DMRG and periodic boundary conditions: a quantum information perspective
• Renormalization algorithms for Quantum-Many Body Systems in two and higher dimensions
• Accurate determination of tensor network state of quantum lattice models in two dimensions
• The iTEBD algorithm beyond unitary evolution
• Algorithms for finite Projected Entangled Pair States
• The Spectra of Density Operators and the Kronecker Coefficients of the Symmetric Group
• All Maximally Entangled Four Qubits States
• Quantum marginal problem and representations of the symmetric group
• Fast convergence of imaginary time evolution tensor network algorithms by recycling the environment
• Quantum state transformations and the Schubert calculus
• Fate of the cluster state on the square lattice in a magnetic field
• Coherent states, entanglement, and geometric invariant theory
• Computing solution space properties of combinatorial optimization problems via generic tensor networks
• The resource theory of tensor networks

Cited by in corpus (5)

• Constant-depth preparation of matrix product states with adaptive quantum circuits
• Interior-point methods on manifolds: theory and applications
• The resource theory of tensor networks
• Transfer Matrix and Lattice Dilatation Operator for High-Quality Fixed Points in Tensor Network Renormalization Group
• TensorKrowch: Smooth integration of tensor networks in machine learning