Development of a brand-new computer algebra system using Julia language and its application
| Project/Area Number |
20K03537
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 11010:Algebra-related
|
|---|
| Research Institution | Tokyo Metropolitan University |
|---|
Principal Investigator |
横山 俊一 東京都立大学, 理学研究科, 准教授 (90741413)
|
|---|
| Project Period (FY) |
2020-04-01 – 2025-03-31
|
| Project Status |
Granted (Fiscal Year 2022)
|
| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2024: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2023: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2022: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2021: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2020: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Keywords | 計算機数論 / 代数的保型形式 / 耐量子計算機暗号 / Julia 言語 / 保型形式 / 高速実装 / Julia言語 / データベース |
|---|
| Outline of Research at the Start |
Julia 言語を用いた新しい数式処理システム Nemo の開発を通して，以下の課題を解決することを目指す．
1) AbstractAlgebra.jl の開発を通して，拡大体（とくに局所体）の高速計算アルゴリズムを提案し，高次拡大体の計算や高速同型判定を可能にする．
2) Hecke.jl の開発を通して，数論幾何的対象（楕円曲線やモジュラー形式）の計算パッケージを実装し，代数体上の楕円曲線の効率的探索を実現する．
また，以上の実装を用いて大規模探索を行い，数論データベース LMFDB の拡張プロジェクトへの貢献を目指す．
|
| Outline of Annual Research Achievements |
(1) 計算機数論，とくに代数的保型形式に関する研究に従事した．四元数環上の保型形式のトーラス周期の絶対値の2乗をとったものと保型$L$関数の特殊値との間に explicit な関係式が得られることがよく知られているが，これに対して定値四元数環上の代数的保型形式のトーラス周期の値そのものがどのように分布しているのかについて，大規模計算を用いた考察を行った．その結果，半整数ウェイトの正則保型形式の Fourier 級数（とその符号変化）との関連性を示し，distribution formula を定式化する予想を提唱，いくつかこれを保証する事例を与えた（京都大学の鈴木美裕氏，および金沢大学の若槻聡氏との共同研究）．
(2) 耐量子計算機暗号における署名技術の一般化に対する高速化・効率化を行った．NIST PQC コンペティションにおいて最終ラウンドを通過した署名技術として Falcon があるが，その一般化のひとつである ModFalcon（module 格子を用いた代数的一般化）にはスクリプト実装（基本的な実装）のみが与えられていたため，これをC言語環境で高速化した．具体的には Toom-Cook 法ないし Radix FFT 法を用いた効率化を行い，さらに命令セット AVX 機構を導入して高速化を検討，比較と考察を行った（東京都立大の福原大毅氏・高橋雄人氏，および NTT 社会情報研究所の齋藤恆和氏・山村和輝氏との共同研究）．なお本研究は NTT 社会情報研究所との共同研究として実施されたが，計算機実装に関する情報収集等の業務の一部を本研究課題として実施したため，本報告書に記載する次第である．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
本年度も、計算機実装における多くの仮組み処理や高速化検討において Julia 言語を用いた貢献を実現することができた。とくに本年度の研究において、Julia 言語の特徴の一つである多重ディスパッチの効率的援用について深く検討できたことは特筆すべき事項であり、来年度に向けたさらなる高速化の基盤を構築することができたと考えている。
また外部共同研究事業の一部として、耐量子計算機署名の具体的な実装を公開するに至ったが、Julia 言語を主言語とした場合の利点や問題点についても多くの知見を得ることができた。来年度はこの分野にとどまらず、より広い枠組みでの数理科学・物理学の分野における Julia 言語の活用事例と今後の発展・普及を目的としたコンファレンスを開催することが決定しており、異分野間でのコミュニティ構築を本年度に拡大できたことは非常に重要であった。
以上の事柄から、3年目終了時点での進行状況としては概ね良好と判断し、引き続き具体的な実装（プロダクト開発）とその応用について取り組んでいく予定である。
|
| Strategy for Future Research Activity |
代数的保型形式に関する共同研究事業については、引き続き関連する数論的対象物を Julia 言語をはじめとする高速実装環境に実現する作業に取り組む。その後、並列化等の技術をうまく援用することで新しいデータを取得し、周期予想に関連した experimental な結果に繋げる研究を行いたいと考えている。
一方、暗号理論への応用事例としても、2022年度までとは異なる耐量子計算機暗号の署名技術の高速・効率化と性能評価について継続的に研究を進めていく予定である。具体的には、マスキング格子を援用した署名技術 Masking-Dilithium を中心として、Julia 言語との相性や高速化アルゴリズムの適用検討を進めていく予定である。
|
Report
(3 results)
Research Products
(15 results)
