Identifying cost-effective common subexpressions to reduce operation count in tensor contraction evaluations

  • Authors:
  • Albert Hartono;Qingda Lu;Xiaoyang Gao;Sriram Krishnamoorthy;Marcel Nooijen;Gerald Baumgartner;David E. Bernholdt;Venkatesh Choppella;Russell M. Pitzer;J. Ramanujam;Atanas Rountev;P. Sadayappan

  • Affiliations:
  • Dept. of Computer Science and Engineering;Dept. of Computer Science and Engineering;Dept. of Computer Science and Engineering;Dept. of Computer Science and Engineering;Dept. of Chemistry, University of Waterloo, Waterloo, Ontario, Canada;Dept. of Computer Science;Computer Sci. & Math. Div., Oak Ridge National Laboratory, Oak Ridge, TN;Dept. of Computer Science and Engineering;Dept. of Chemistry, The Ohio State University, Columbus, OH;Dept. of Electrical and Computer Engineering, Louisiana State University, Baton Rouge, LA;Dept. of Computer Science and Engineering;Dept. of Computer Science and Engineering

  • Venue:
  • ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part I
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the coupled cluster method. Transformations using algebraic properties of commutativity and associativity can be used to significantly decrease the number of arithmetic operations required for evaluation of these expressions. Operation minimization is an important optimization step for the Tensor Contraction Engine, a tool being developed for the automatic transformation of high-level tensor contraction expressions into efficient programs. The identification of common subexpressions among a set of tensor contraction expressions can result in a reduction of the total number of operations required to evaluate the tensor contractions. In this paper, we develop an effective algorithm for common subexpression identification and demonstrate its effectiveness on tensor contraction expressions for coupled cluster equations.