Efficient algorithms for the symbolic computation of matrices

矩阵符号计算的高效算法

• 批准号: RGPIN-2020-06746
• 负责人: Zhang, Yang
• 金额: $ 2.99万
• 依托单位: University of Manitoba
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2020
• 资助国家: 加拿大
• 起止时间: 2020-01-01 至 2021-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=715292
• 关键词: Efficient; algorithms; symbolic; computation; matrices

Symbolic computation (also called computer algebra) is a relatively recent research area in computer science and mathematics, which refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects, in particular, mathematical computations performed symbolically rather than numerically. Because of its lack of numerical errors, symbolic computation is widely used in mathematical research, engineering, and science. The overarching goal of this grant proposal is the design, analysis and implementation of efficient algorithms for matrices and tensors over a number of important algebraic structures in symbolic computation, such as computing various generalized inverses and normal forms, rank decomposition, simultaneous decomposition and solving matrix equations over various fields and polynomial rings. Their study is motivated by numerous applications in control theory, machine learning, data science, engineering, signal and color image processing, statistics, neural network, etc. For matrices over some fields, above questions have been explored in the past decades. Recently efficient symbolic algorithms for matrices over quaternion and generalized polynomials have attracted more and more attentions, in particular, these questions for tensors. We plan to employ some symbolic computation techniques such as Groebner bases to investigate these questions. We expect that this will lead to more efficient algorithms for computing generalized inverses and solving matrix (tensor) equations and systems of differential and difference equations. This should provide both theoretical and practical improvements over currently known algorithms. Finally, the algorithmic advances of this proposal will be implemented in computer algebra software such as Maple and SAGE. The projects all involve extensive training of highly qualified personnel (HQP) for their future positions in academia and industry.

符号计算(也称为计算机代数)是计算机科学和数学中一个相对较新的研究领域，它指的是研究和开发处理数学表达式和其他数学对象的算法和软件，特别是以符号而不是数字方式执行的数学计算。由于没有数值误差，符号计算在数学研究、工程和科学中得到了广泛的应用。 这项拨款计划的首要目标是设计、分析和实现符号计算中许多重要代数结构上的矩阵和张量的有效算法，如计算各种广义逆和范式、秩分解、同时分解和求解不同域和多项式环上的矩阵方程。他们的研究受到控制理论、机器学习、数据科学、工程、信号和彩色图像处理、统计学、神经网络等领域大量应用的推动。 对于某些领域的矩阵，在过去的几十年里已经探索了上述问题。近年来，四元数矩阵和广义多项式的有效符号算法引起了越来越多的关注，尤其是张量的符号算法。我们计划使用一些符号计算技术，如Groebner基来研究这些问题。我们预计，这将导致更有效的算法来计算广义逆和求解矩阵(张量)方程和微分方程组和差分方程组。这应该会对目前已知的算法提供理论和实践上的改进。 最后，该方案的算法改进将在Maple和SAGE等计算机代数软件中实现。这些项目都涉及对高素质人才(HQP)的广泛培训，以适应他们未来在学术界和工业界的职位。