Abstract:Tensor networks are powerful factorization techniques which reduce resource requirements for numerically simulating principal quantum many-body systems and algorithms. The computational complexity of a tensor network simulation depends on the tensor ranks and the order in which they are contracted. Unfortunately, computing optimal contraction sequences (orderings) in general is known to be a computationally difficult (NP-complete) task. In 2005, Markov and Shi showed that optimal contraction sequences correspond to optimal (minimum width) tree decompositions of a tensor network's line graph, relating the contraction sequence problem to a rich literature in structural graph theory. While treewidth-based methods have largely been ignored in favor of dataset-specific algorithms in the prior tensor networks literature, we demonstrate their practical relevance for problems arising from two distinct methods used in quantum simulation: multi-scale entanglement renormalization ansatz (MERA) datasets and quantum circuits generated by the quantum approximate optimization algorithm (QAOA). We exhibit multiple regimes where treewidth-based algorithms outperform domain-specific algorithms, while demonstrating that the optimal choice of algorithm has a complex dependence on the network density, expected contraction complexity, and user run time requirements. We further provide an open source software framework designed with an emphasis on accessibility and extendability, enabling replicable experimental evaluations and future exploration of competing methods by practitioners.

Synthesis of a quantum tree Weyl matrix

Synthesis of the Weyl matrix on the square lattice

Reconstruction techniques for quantum trees

Classical Simulation of Quantum Many-Body Systems with A Tree Tensor Network

Discrete Schrodinger equation on graphs: An effective model for branched quantum lattice

Exploiting Geometric Degrees of Freedom in Topological Quantum Computing

Simulating quantum circuits using tree tensor networks

On recovering the shape of a quantum tree from the spectrum of the Dirichlet boundary problem

The Exact Green-Function Of A One-Dimensional Thue-Morse Lattice

Absolutely Continuous Spectrum for Quantum Trees

Unitary Synthesis of Clifford+T Circuits with Reinforcement Learning

Dirac quantum walk on tetrahedra

Weaving Complex Graph on simple low-dimensional qubit lattices

Efficient simulation of infinite tree tensor network states on the Bethe lattice

Boundary transfer matrices arising from quantum symmetric pairs

Benchmarking treewidth as a practical component of tensor-network--based quantum simulation

Mutual transformations of arbitrary ternary qubit trees by Clifford gates

Tree tensor networks and entanglement spectra

A T-depth two Toffoli gate for 2D square lattice architectures

Direct computation of scattering matrices for general quantum graphs

Systematic Computation of Braid Generator Matrix in Topological Quantum Computing