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.

Recovering the Original Simplicity: Succinct and Exact Quantum Algorithm for the Welded Tree Problem

Recovering the original simplicity: succinct and deterministic quantum algorithm for the welded tree problem

Quantum Walk Search on Complete Multipartite Graph with Multiple Marked Vertices

Global Phase Helps in Quantum Search: Yet Another Look at the Welded Tree Problem

Multidimensional Quantum Walks, with Application to $k$-Distinctness

Optimizing Quantum Walk Search on a Reduced Uniform Complete Multi-Partite Graph

Constant search time algorithm via topological quantum walks

Quantum fast hitting on glued trees mapped on a photonic chip

Quantum Severalty: Speed-up and Suppress Effect in Searching Problem

Experimental quantum fast hitting on hexagonal graphs

Exploiting Geometric Degrees of Freedom in Topological Quantum Computing

Continuous-Time Quantum Walk in Glued Trees: Localized State-Mediated Almost Perfect Quantum-State Transfer

Revisiting fixed-point quantum search: proof of the quasi-Chebyshev lemma

Discrete-Time Quantum Walks: A Quantum Advantage for Graph Representation

Quantum Walks on Simplicial Complexes and Harmonic Homology: Application to Topological Data Analysis with Superpolynomial Speedups

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

On Quantum Speedups for Nonconvex Optimization Via Quantum Tunneling Walks

Depth scaling of unstructured search via quantum approximate optimization

A streamlined quantum algorithm for topological data analysis with exponentially fewer qubits

Optimization for the propagation of a multiparticle quantum walk in a one-dimensional lattice

Quantum Algorithm for Testing Graph Completeness