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 条
  • [21] Automatic Design of High-Order SC Filter Circuits
    Serra, Hugo
    Santos-Tavares, Rui
    Goes, Joao
    2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2015, : 1937 - 1940
  • [22] High-order tangent cones and their application in optimization
    Ledzewicz, U
    Schattler, H
    NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 1997, 30 (04) : 2449 - 2460
  • [23] Optimization of the structure of high-order active filters
    Kapustyan, V.I.
    Bukashkin, S.A.
    Denisov, V.S.
    Telecommunications and Radio Engineering (English translation of Elektrosvyaz and Radiotekhnika), 1988, 43 (12): : 94 - 97
  • [24] Scalable Computation of High-Order Optimization Queries
    Brucato, Matteo
    Abouzied, Azza
    Meliou, Alexandra
    COMMUNICATIONS OF THE ACM, 2019, 62 (02) : 108 - 116
  • [25] Implementation of a Denoising Algorithm Based on High-Order Singular Value Decomposition of Tensors
    Feschet, Fabien
    IMAGE PROCESSING ON LINE, 2019, 9 : 158 - 182
  • [26] ON HIGH-ORDER MODEL REGULARIZATION FOR CONSTRAINED OPTIMIZATION
    Martinez, Jose Mario
    SIAM JOURNAL ON OPTIMIZATION, 2017, 27 (04) : 2447 - 2458
  • [27] HIGH-ORDER HOPFIELD AND TANK OPTIMIZATION NETWORKS
    SAMAD, T
    HARPER, P
    PARALLEL COMPUTING, 1990, 16 (2-3) : 287 - 292
  • [28] On high-order model regularization for multiobjective optimization
    Calderon, L.
    Diniz-Ehrhardt, M. A.
    Martinez, J. M.
    OPTIMIZATION METHODS & SOFTWARE, 2022, 37 (01): : 175 - 191
  • [29] Exact Computation of High-Order State Transition Tensors for Perturbed Orbital Motion
    Younes, Ahmad Bani
    JOURNAL OF GUIDANCE CONTROL AND DYNAMICS, 2019, 42 (06) : 1365 - 1371
  • [30] High-order tangent cones and their application in optimization
    Ledzewicz, Urszula
    Schattler, Heinz
    Nonlinear Analysis, Theory, Methods and Applications, 1997, 30 (04): : 2449 - 2460