Efficient tree decomposition of high-rank tensors

Abstract Tensors are a natural way to express correlations among many physical variables, but storing tensors in a computer naively requires memory which scales exponentially in the rank of the tensor. This is not optimal, as the required memory is actually set not by the rank but by the mutual information amongst the variables in question. Representations such as the tensor tree perform near-optimally when the tree decomposition is chosen to reflect the correlation structure in question, but making such a choice is non-trivial and good heuristics remain highly context-specific. In this work I present two new algorithms for choosing efficient tree decompositions, independent of the physical context of the tensor. The first is a brute-force algorithm which produces optimal decompositions up to truncation error but is generally impractical for high-rank tensors, as the number of possible choices grows exponentially in rank. The second is a greedy algorithm, and while it is not optimal it performs extremely well in numerical experiments while having runtime which makes it practical even for tensors of very high rank.

[1]  D. Colella Journal of Fourier Analysis and Applications , 2017 .

[2]  Frank Verstraete,et al.  Faster identification of optimal contraction sequences for tensor networks. , 2013, Physical review. E, Statistical, nonlinear, and soft matter physics.

[3]  C. Ross Found , 1869, The Dental register.

[4]  G. J. Ebrahim,et al.  Handbook of statistical genetics – 3rd Edn. Volumes 1 and 2 D. J. Balding, M. Bisho, C. Cannings (eds) , 2007 .

[5]  Glen Evenbly,et al.  Algorithms for tensor network renormalization , 2015, 1509.07484.

[6]  Computing In Science & Engineering: Web Computing - Java and Grande Applications , 2003, IEEE Distributed Syst. Online.

[7]  Igor L. Markov,et al.  Simulating Quantum Computation by Contracting Tensor Networks , 2008, SIAM J. Comput..

[8]  F. Verstraete,et al.  Renormalization Group Flows of Hamiltonians Using Tensor Networks. , 2017, Physical review letters.

[9]  Lexing Ying,et al.  Tensor Network Skeletonization , 2016, Multiscale Model. Simul..

[10]  John D. Hunter,et al.  Matplotlib: A 2D Graphics Environment , 2007, Computing in Science & Engineering.

[11]  Glen Evenbly,et al.  Improving the efficiency of variational tensor network algorithms , 2014 .

[12]  G. Evenbly,et al.  Tensor Network States and Geometry , 2011, 1106.1082.

[13]  W. Hackbusch,et al.  A New Scheme for the Tensor Representation , 2009 .

[14]  Yota Otachi,et al.  Efficient Enumeration of Ordered Trees with kLeaves (Extended Abstract) , 2009, WALCOM.

[15]  J. Ballani,et al.  Black box approximation of tensors in hierarchical Tucker format , 2013 .

[16]  Tamara G. Kolda,et al.  Tensor Decompositions and Applications , 2009, SIAM Rev..

[17]  J. Molina-Vilaplana,et al.  Entanglement, tensor networks and black hole horizons , 2014, 1403.5395.

[18]  Roman Orus,et al.  A Practical Introduction to Tensor Networks: Matrix Product States and Projected Entangled Pair States , 2013, 1306.2164.

[19]  Z. Y. Xie,et al.  Second renormalization of tensor-network states. , 2008, Physical review letters.

[20]  Shuo Yang,et al.  Loop Optimization for Tensor Network Renormalization. , 2015, Physical review letters.

[21]  Gaël Varoquaux,et al.  The NumPy Array: A Structure for Efficient Numerical Computation , 2011, Computing in Science & Engineering.

[22]  R. C. Bose,et al.  COMBINATORIAL MATHEMATICS AND ITS APPLICATIONS, PROCEEDINGS OF THE CONFERENCE HELD APRIL 10-14, 1967, , 1969 .

[23]  Garnet Kin-Lic Chan,et al.  Efficient tree tensor network states (TTNS) for quantum chemistry: generalizations of the density matrix renormalization group algorithm. , 2013, The Journal of chemical physics.

[24]  Jaroslaw Adam Miszczak,et al.  SINGULAR VALUE DECOMPOSITION AND MATRIX REORDERINGS IN QUANTUM INFORMATION THEORY , 2010, 1011.1585.

[25]  David C. Lay,et al.  Linear Algebra and Its Applications, 4th Edition , 1994 .

[26]  Reinhold Schneider,et al.  Tensor Networks and Hierarchical Tensors for the Solution of High-Dimensional Partial Differential Equations , 2016, Foundations of Computational Mathematics.

[27]  C. Eckart,et al.  The approximation of one matrix by another of lower rank , 1936 .

[28]  Shmuel Zaks,et al.  Generating Trees and Other Combinatorial Objects Lexicographically , 1979, SIAM J. Comput..

[29]  G. Vidal Class of quantum many-body states that can be efficiently simulated. , 2006, Physical review letters.