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.

Hyperoptimized Approximate Contraction of Tensor Networks with Arbitrary Geometry

Hyper-optimized approximate contraction of tensor networks with arbitrary geometry

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

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

Fast Search of the Optimal Contraction Sequence in Tensor Networks

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

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

Positive bias makes tensor-network contraction tractable

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

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

Reducing Computational Complexity of Tensor Contractions via Tensor-Train Networks

Sign problem in tensor network contraction

Constructing Optimal Contraction Trees for Tensor Network Quantum Circuit Simulation

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

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

Making graphs compact by lossless contraction

On the Optimal Linear Contraction Order of Tree Tensor Networks, and Beyond

Tensor Network Computations That Capture Strict Variationality, Volume Law Behavior, and the Efficient Representation of Neural Network States

Simulating quantum circuits using efficient tensor network contraction algorithms with subexponential upper bound