AutoHOOT: Automatic High-Order Optimization for Tensors

被引:5
|
作者
Ma, Linjian [1 ]
Ye, Jiayu [2 ]
Solomonik, Edgar [1 ]
机构
[1] Univ Illinois, Dept Comp Sci, Urbana, IL 61801 USA
[2] Google, Sunnyvale, CA USA
基金
美国国家科学基金会;
关键词
automatic differentiation; computational graph optimization; tensor computation; tensor decomposition; tensor network; COUPLED-CLUSTER; DECOMPOSITIONS; ALGORITHMS; FRAMEWORK;
D O I
10.1145/3410463.3414647
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
High-order optimization methods, including Newton's method and its variants as well as alternating minimization methods, dominate the optimization algorithms for tensor decompositions and tensor networks. These tensor methods are used for data analysis and simulation of quantum systems. In this work, we introduce AutoHOOT, the first automatic differentiation (AD) framework targeting at high-order optimization for tensor computations. AutoHOOT takes input tensor computation expressions and generates optimized derivative expressions. In particular, AutoHOOT contains a new explicit Jacobian / Hessian expression generation kernel whose outputs maintain the input tensors' granularity and are easy to optimize. The expressions are then optimized by both the traditional compiler optimization techniques and specific tensor algebra transformations. Experimental results show that AutoHOOT achieves competitive CPU and GPU performance for both tensor decomposition and tensor network applications compared to existing AD software and other tensor computation libraries with manually written kernels. The tensor methods generated by AutoHOOT are also well-parallelizable, and we demonstrate good scalability on a distributed memory supercomputer.
引用
收藏
页码:125 / 137
页数:13
相关论文
共 50 条
  • [31] THE POLYADIC STRUCTURE OF FACTORABLE FUNCTION TENSORS WITH APPLICATIONS TO HIGH-ORDER MINIMIZATION TECHNIQUES
    JACKSON, RHF
    MCCORMICK, GP
    JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 1986, 51 (01) : 63 - 94
  • [32] USING MULTICOMPLEX VARIABLES FOR AUTOMATIC COMPUTATION OF HIGH-ORDER DERIVATIVES
    Lantoine, Gregory
    Russell, Ryan P.
    Dargent, Thierry
    SPACEFLIGHT MECHANICS 2010, PTS I-III, 2010, 136 : 1729 - +
  • [33] Using Multicomplex Variables for Automatic Computation of High-Order Derivatives
    Lantoine, Gregory
    Russell, Ryan P.
    Dargent, Thierry
    ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2012, 38 (03):
  • [34] High-order space charge effects using automatic differentiation
    Reusch, MF
    Bruhwiler, DL
    COMPUTATIONAL ACCELERATOR PHYSICS, 1997, (391): : 179 - 184
  • [35] Automatic, high-order, and adaptive algorithms for Brillouin zone integration
    Kaye, Jason
    Beck, Sophie
    Barnett, Alex
    Van Munoz, Lorenzo
    Parcollet, Olivier
    SCIPOST PHYSICS, 2023, 15 (02):
  • [36] Parallelization scheme for canonical polyadic decomposition of large-scale high-order tensors
    Boudehane, Abdelhak
    Albera, Laurent
    Tenenhaus, Arthur
    Le Brusquet, Laurent
    Boyer, Remy
    SIGNAL PROCESSING, 2022, 199
  • [37] HIGH-ORDER STATE TRANSITION TENSORS OF PERTURBED ORBITAL MOTION USING COMPUTATIONAL DIFFERENTIATION
    Younes, Ahmad Bani
    Turner, James D.
    SPACEFLIGHT MECHANICS 2016, PTS I-IV, 2016, 158 : 2471 - 2484
  • [38] Linked Component Analysis From Matrices to High-Order Tensors: Applications to Biomedical Data
    Zhou, Guoxu
    Zhao, Qibin
    Zhang, Yu
    Adali, Tulay
    Xie, Shengli
    Cichocki, Andrzej
    PROCEEDINGS OF THE IEEE, 2016, 104 (02) : 310 - 331
  • [39] An Optimal High-Order Tensor Method for Convex Optimization
    Jiang, Bo
    Wang, Haoyue
    Zhang, Shuzhong
    MATHEMATICS OF OPERATIONS RESEARCH, 2021, 46 (04) : 1390 - 1412
  • [40] RotEqNet: Rotation-equivariant network for fluid systems with symmetric high-order tensors
    Gao, Liyao
    Du, Yifan
    Li, Hongshan
    Lin, Guang
    JOURNAL OF COMPUTATIONAL PHYSICS, 2022, 461