权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

数値数式融合計算による準素分解の高速化

通过数值公式融合计算加速半初等分解

基本信息

批准号：
22K13901
负责人：
石原侑樹
金额：
$ 3万
依托单位：
Tokyo University of Science
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2022
资助国家：
日本
起止时间：
2022-04-01 至 2027-03-31
项目状态：
未结题

项目摘要

多項式環のイデアルの準素分解は、代数幾何学や可換環論などの純粋数学のみならず、代数統計や工学などへの応用においても重要な概念である。例えば、準素分解を用いることで、連立代数方程式の求解に利用することもできる。準素分解のアルゴリズムは一般に計算時間が多くかかるものとして知られており、効率的なアルゴリズムの開発が切望されている。現在まで知られている準素分解のアルゴリズムの多くは、グレブナー基底と呼ばれるイデアルの特別な生成系や多項式の因数分解を組み合わせて構成されており、主に記号計算を基本的な計算手法としている。記号計算は数学的な対象を正確に扱える利点がある一方、数値計算に比べ計算コストが大きい傾向がある。本年度（2022年度）は、数値計算の利点と記号計算の利点を上手く融合した新しい準素分解のアルゴリズムを探究するために、様々な視点から準素分解の理論の研究を行った。具体的には、主に次の３点が挙げられる：(1)有限体を利用した準素分解、(2)パラメータを含む準素分解、(3)対称性を持つイデアルの準素分解。まず、(1)について、有限体計算は有理数とギャップがあるという点で数値計算と共通する特徴を持つ。そこで、有限体を利用して準素分解の中間的な分解を計算するアルゴリズムについて研究し、国際会議で発表した。次に、(2)について、イデアルのある変数に数値を代入した時の準素分解の挙動を分析するために、パラメータを含むイデアルについて考えることが有効である。そのため、パラメータを含むイデアルの中間分解の新しいアルゴリズムを開発し、国内研究集会で発表を行った。(3)について、イデアルが対称性を持つ場合には、準素分解の計算を簡略化できることを証明し、国内研究集会で発表を行った。実装したアルゴリズムについては、購入した計算機を用いて、その性能の分析を行った。

The primary decomposition of polynomial rings is an important concept in the applications of algebraic geometry and commutative ring theory, pure mathematics, and algebraic statistics and engineering. For example, the use of quasi-prime decomposition, continuous algebraic equation solution, The calculation time of the standard decomposition and the calculation time of the standard decomposition and the calculation time are changed. Now we know that the basic calculation method of the quasi-prime decomposition and factorization of the polynomial system is to calculate the matrix and the matrix. Sign calculation is the correct way to calculate the number of points. This year (2022), we have conducted theoretical research on the integration of numerical value calculation and notation calculation. The concrete three points are: (1) finite volume utilization,(2) symmetry, and (3) symmetry. (1) Finite body computation is a common feature of rational numbers. In addition, the finite element decomposition and the intermediate decomposition calculation are used in the research and international conference. Second,(2) the number of entries, the number of entries. A new research project will be launched in China. (3)In the case of symmetry, the calculation of quasi-element decomposition should be simplified, and the domestic research meeting should be carried out. The analysis of computer performance is carried out in the process of installation and purchase.