Abstract:We investigate how the computational difficulty of contracting tensor networks depends on the sign structure of the tensor entries. Using results from computational complexity, we observe that the approximate contraction of tensor networks with only positive entries has lower complexity. This raises the question how this transition in computational complexity manifests itself in the hardness of different contraction schemes. We pursue this question by studying random tensor networks with varying bias towards positive entries. First, we consider contraction via Monte Carlo sampling, and find that the transition from hard to easy occurs when the entries become predominantly positive; this can be seen as a tensor network manifestation of the Quantum Monte Carlo sign problem. Second, we analyze the commonly used contraction based on boundary tensor networks. Its performance is governed by the amount of correlations (entanglement) in the tensor network. Remarkably, we find that the transition from hard to easy (i.e., from a volume law to a boundary law scaling of entanglement) occurs already for a slight bias towards a positive mean, and the earlier the larger the bond dimension is. This is in contrast to both expectations and the behavior found in Monte Carlo contraction. We gain further insight into this early transition from the study of an effective statmech model. Finally, we investigate the computational difficulty of computing expectation values of tensor network wavefunctions, i.e., PEPS, where we find that the complexity of entanglement-based contraction always remains low. We explain this by providing a local transformation which maps PEPS expectation values to a positive-valued tensor network. This not only provides insight into the origin of the observed boundary law entanglement scaling, but also suggests new approaches towards PEPS contraction based on positive decompositions.

Hyper-optimized approximate contraction of tensor networks with arbitrary geometry

Hyperoptimized Approximate Contraction of Tensor Networks with Arbitrary Geometry

Approximate Contraction of Arbitrary Tensor Networks with a Flexible and Efficient Density Matrix Algorithm

Optimized contraction scheme for tensor-network states

Contracting Arbitrary Tensor Networks: General Approximate Algorithm and Applications in Graphical Models and Quantum Circuit Simulations

Parameterization of tensor network contraction

Fermionic tensor network contraction for arbitrary geometries

Positive bias makes tensor-network contraction tractable

Fast Search of the Optimal Contraction Sequence in Tensor Networks

Automatic transformation of irreducible representations for efficient contraction of tensors with cyclic group symmetry

Towards a Polynomial Algorithm for Optimal Contraction Sequence of Tensor Networks from Trees.

Hyperoptimized approximate contraction of tensor networks for rugged-energy-landscape spin glasses on periodic square and cubic lattices

Efficient parallelization of tensor network contraction for simulating quantum computation

The Complexity of Contracting Planar Tensor Network

A framework for load balancing of tensor contraction expressions via dynamic task partitioning

Sign problem in tensor network contraction

Making graphs compact by lossless contraction

Simple heuristics for efficient parallel tensor contraction and quantum circuit simulation

Optimizing Tensor Contraction Paths: A Greedy Algorithm Approach With Improved Cost Functions

Reducing Computational Complexity of Tensor Contractions via Tensor-Train Networks

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions