SI2-SSE: General Tensor Software Elements for Quantum Chemistry, Tensor Network Theories, and Beyond

SI2-SSE：用于量子化学、张量网络理论等的通用张量软件元素

• 批准号: 1265278
• 负责人: Garnet Chan
• 金额: $ 38.68万
• 依托单位: Princeton University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-06-26 至 2015-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1265278&HistoricalAwards=false
• 关键词: SI2; SSE; General; Tensor; Software

The PI will develop reusable software components to accelerate innovation in science that relies on high-dimensional tensor computations. While the components are informed by use-cases taken from quantum chemistry, the challenges of tensor computation are universal, and span diverse areas of science and engineering. These problems range from simulations of nuclear spin spectra, to quantum chemical calculations on molecules, to psychometric analysis, to numerical general relativity. The overarching aim of the funded work is to develop reusable tensor software elements, based on modern sustainable software practices, to benefit tensor algorithmic development in the scientific community at large. In addition, beyond the broad scientific impacts of the software, our education and outreach agenda comprises a multi-tiered effort to uplift the ability of the science and engineering community to reason about high-dimensional tensor and matrix computations.Important aspects of the software elements will include (i) expressive programming interfaces for rapid prototyping of tensor based theories (ii) layered tensor libraries for dense, block-sparse, and out-of-core tensors that provide peak-performance implementations of the above interfaces, (iii) a multi-linear algebra package for general high dimensional computations, based on the matrix product state approach, and (iv) tensor virtual machine technology that abstracts algorithm development from hardware, and which provides a framework for optimizing compiler transformations to adapt algorithms to the memory access, communication networks, and processor characteristics of modern computer architectures.

PI将开发可重用的软件组件，以加速依赖于高维张量计算的科学创新。虽然这些组件是由量子化学中的用例提供信息的，但张量计算的挑战是普遍的，并且跨越了科学和工程的各个领域。这些问题的范围从核自旋光谱的模拟，到分子的量子化学计算，到心理测量分析，再到数值广义相对论。资助工作的总体目标是基于现代可持续软件实践开发可重用的张量软件元素，以使整个科学界的张量算法开发受益。此外，除了软件的广泛科学影响外，我们的教育和推广议程包括多层次的努力，以提升科学和工程界对高维张量和矩阵计算的推理能力。软件元素的重要方面将包括（i）用于基于张量的理论的快速原型的表达性编程接口（ii）用于密集，块稀疏，以及提供上述接口的峰值性能实现的核外张量，（iii）基于矩阵乘积状态方法的用于一般高维计算的多线性代数包，以及（iv）张量虚拟机技术，其将算法开发从硬件中抽象出来，并且其提供用于优化编译器变换以使算法适应存储器访问，通信网络，和现代计算机体系结构的处理器特性。