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.

arXiv comment51 pages, more than 8 figures

References in corpus (66)

• Supplementary information for "Quantum supremacy using a programmable superconducting processor"
• The density-matrix renormalization group in the age of matrix product states
• Efficient classical simulation of slightly entangled quantum computations
• An Area Law for One Dimensional Quantum Systems
• Classification of Gapped Symmetric Phases in 1D Spin Systems
• Symmetry protection of topological order in one-dimensional quantum spin systems
• Matrix Product States and Projected Entangled Pair States: Concepts, Symmetries, and Theorems
• Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence
• Classifying quantum phases using Matrix Product States and PEPS
• DMRG and periodic boundary conditions: a quantum information perspective
• Stripe order in the underdoped region of the two-dimensional Hubbard model
• Renormalization algorithms for Quantum-Many Body Systems in two and higher dimensions
• Holographic duality from random tensor networks
• Accurate determination of tensor network state of quantum lattice models in two dimensions
• The iTEBD algorithm beyond unitary evolution
• The computational complexity of PEPS
• Towards Quantum Machine Learning with Tensor Networks
• Entanglement spectrum and boundary theories with projected entangled-pair states
• Normal forms and entanglement measures for multipartite quantum states
• Simulating Large Quantum Circuits on a Small Quantum Computer
• Tensor Networks for Dimensionality Reduction and Large-Scale Optimizations. Part 2 Applications and Future Perspectives
• The iPEPS algorithm, improved: fast full update and gauge fixing
• Quantum marginal problem and N-representability
• Algorithms for finite Projected Entangled Pair States
• Gradient methods for variational optimization of projected entangled-pair states
• Lecture Notes of Tensor Network Contractions
• Entanglement Polytopes: Multiparticle Entanglement from Single-Particle Information
• Efficient classical simulation of random shallow 2D quantum circuits
• Unifying Projected Entangled Pair States contractions
• The Spectra of Density Operators and the Kronecker Coefficients of the Symmetric Group
• Topological order in PEPS: Transfer operator and boundary Hamiltonians
• A quantum magnetic analogue to the critical point of water
• All Maximally Entangled Four Qubits States
• Quantum marginal problem and representations of the symmetric group
• A quantum version of Wielandt's inequality
• Diagonalizing transfer matrices and matrix product operators: a medley of exact and computational methods
• Matrix Product Density Operators: Renormalization Fixed Points and Boundary Theories
• Phase diagram of the Shastry-Sutherland Compound SrCu2(BO3)2 under extreme combined conditions of field and pressure
• A canonical form for Projected Entangled Pair States and applications
• Gauge fixing, canonical forms and optimal truncations in tensor networks with closed loops
• Fast convergence of imaginary time evolution tensor network algorithms by recycling the environment
• Towards a theory of non-commutative optimization: geodesic first and second order methods for moment maps and polytopes
• Quantum state transformations and the Schubert calculus
• Contracting projected entangled pair states is average-case hard
• A ${\mathbb{Z}}_2$-index of symmetry protected topological phases with time reversal symmetry for quantum spin chains
• Fate of the cluster state on the square lattice in a magnetic field
• Fast counting with tensor networks
• Coherent states, entanglement, and geometric invariant theory
• A generalization of the injectivity condition for Projected Entangled Pair States
• Simulating 2+1d ${\mathbb{Z}}_3$ lattice gauge theory with iPEPS
• An improved bound for the length of matrix algebras
• Efficient algorithms for tensor scaling, quantum marginals and moment polytopes
• Computing solution space properties of combinatorial optimization problems via generic tensor networks
• Normal projected entangled pair states generating the same state
• Irreducible forms of Matrix Product States: Theory and Applications
• An aperiodic set of 11 Wang tiles
• Projected Entangled Pair States: Fundamental analytical and numerical limitations
• Invariant theory and scaling algorithms for maximum likelihood estimation
• Mathematical open problems in Projected Entangled Pair States
• Tensor network representations from the geometry of entangled states
• Optimization at the boundary of the tensor network variety
• Algorithms for orbit closure separation for invariants and semi-invariants of matrices
• Locality at the boundary implies gap in the bulk for 2D PEPS
• Existence of locally maximally entangled quantum states via geometric invariant theory
• Projected Entangled Pair States with continuous virtual symmetries
• 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