• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Development of a brand-new computer algebra system using Julia language and its application

Research Project

Project/Area Number 20K03537
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 11010:Algebra-related
Research InstitutionTokyo Metropolitan University

Principal Investigator

横山 俊一  東京都立大学, 理学研究科, 准教授 (90741413)

Project Period (FY) 2020-04-01 – 2025-03-31
Project Status Granted (Fiscal Year 2023)
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) 耐量子計算機暗号における署名技術の一般化に対する高速化・効率化を行った。NIST PQC コンペティションにおいて最終ラウンドを通過した署名技術とし て CRYSTALS-Dilithium があるが、その一般化のひとつである Masking-Dilithium にはスクリプト実装がなかったため、これをC言語環境で実装した。さらにマスキング技術における masking-unmasking フェーズの有無において数学的に同一の情報を保持できることを数学的に証明した(植元雅斗氏、山村和輝氏、宮澤俊之氏との共同研究)。なお本研究は NTT 社会情報研究所との共同研究として実施されたが、計算機実装に関する情報収集等の業務の一部を本研究課題として実施したため、本報告書に記載する次第である。

(3) Julia 言語を用いた数式処理システム開発の一環として、数学および物理学の最先端における Julia の活用に関するカンファレンスを行った(主催は九州大学マス・フォア・インダストリ研究所)。またその成果を IMI レクチャーノートとして出版した(富谷昭夫氏、永井佑紀氏、寺崎敏志氏との共同編集)。

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 言語への移植についても開始の目処がたち、引き続き最もパフォーマンスを引き出すことのできる開発プランを模索している。

Strategy for Future Research Activity

代数的保型形式に関する共同研究事業については、引き続き関連する数論的対象物を Julia 言語をはじめとする高速実装環境に実現する作業に取り組む(とくにデータベース化における作業の簡素化と、実行時間の物理的高速化を検討している)。一方、暗号理論への応用事例としても、前年度から開始した耐量子計算機暗号の署名技術の高速・効率化と性能評価について継続的に研究を進めていく予定である。具体的には、マスキング格子を援用した署名技術 Masking-Dilithium における高速ビット演算およびその数学的正当性について、Julia 言語との相性や高速化アルゴリズムの適用検討を進めてい く予定である。

Report

(4 results)
  • 2023 Research-status Report
  • 2022 Research-status Report
  • 2021 Research-status Report
  • 2020 Research-status Report
  • Research Products

    (24 results)

All 2024 2023 2022 2021 2020 Other

All Journal Article (3 results) (of which Peer Reviewed: 1 results) Presentation (13 results) (of which Invited: 8 results) Book (3 results) Remarks (3 results) Funded Workshop (2 results)

  • [Journal Article] 耐量子計算機署名 ModFalcon の拡張命令セット AVX による実装評価2023

    • Author(s)
      福原大毅, 髙橋雄人, 山村和輝, 齋藤恆和, 横山俊一
    • Journal Title

      SCIS2023 暗号と情報セキュリティシンポジウム 予稿集

      Volume: -

    • Related Report
      2022 Research-status Report
  • [Journal Article] Distribution of toric periods of modular forms on definite quaternion algebras2022

    • Author(s)
      Miyu Suzuki, Satoshi Wakatsuki, Shun'ichi Yokoyama
    • Journal Title

      Research in Number Theory

      Volume: 8-90 Issue: 4 Pages: 1-33

    • DOI

      10.1007/s40993-022-00389-8

    • Related Report
      2022 Research-status Report
    • Peer Reviewed
  • [Journal Article] 耐量子計算機署名 ModFalcon の Toom-Cook 法及び Radix4 FFT による高速化2022

    • Author(s)
      福原大毅, 髙橋雄人, 山村和輝, 齋藤恆和, 横山俊一
    • Journal Title

      SCIS2022 暗号と情報セキュリティシンポジウム報告集

      Volume: なし

    • Related Report
      2021 Research-status Report
  • [Presentation] 正標数局所体のデータベースと Galois 群計算について2024

    • Author(s)
      横山俊一, 吉田学
    • Organizer
      日本応用数理学会第20回(2023年度)研究部会連合発表会
    • Related Report
      2023 Research-status Report
  • [Presentation] 計算機数論システムの開発とその展望2023

    • Author(s)
      横山俊一
    • Organizer
      大阪大学数学教室談話会
    • Related Report
      2023 Research-status Report
    • Invited
  • [Presentation] 数論における Julia の援用2023

    • Author(s)
      横山俊一
    • Organizer
      IMI共同利用研究集会「数学と物理における Julia の活用」
    • Related Report
      2023 Research-status Report
    • Invited
  • [Presentation] 正標数局所体の拡大の計算アルゴリズムについて2023

    • Author(s)
      横山俊一, 吉田学
    • Organizer
      日本数学会2023年度秋季総合分科会
    • Related Report
      2023 Research-status Report
  • [Presentation] 高水準言語 Julia を用いた計算代数システム開発について2023

    • Author(s)
      横山俊一
    • Organizer
      名古屋組合せ論セミナー
    • Related Report
      2023 Research-status Report
    • Invited
  • [Presentation] 高水準言語 Julia を用いた計算代数システム開発について2023

    • Author(s)
      横山俊一
    • Organizer
      金沢大学理学談話会
    • Related Report
      2023 Research-status Report
    • Invited
  • [Presentation] 耐量子計算機署名 ModFalcon の拡張命令セット AVX による実装評価2023

    • Author(s)
      福原大毅, 髙橋雄人, 山村和輝, 齋藤恆和, 横山俊一
    • Organizer
      SCIS2023 暗号と情報セキュリティシンポジウム
    • Related Report
      2022 Research-status Report
  • [Presentation] 高水準言語 Julia を用いた数式処理システム開発について2022

    • Author(s)
      横山俊一
    • Organizer
      京都大学数学教室談話会
    • Related Report
      2022 Research-status Report
    • Invited
  • [Presentation] 耐量子計算機署名 ModFalcon の Toom-Cook 法及び Radix4 FFT による高速化2022

    • Author(s)
      福原大毅, 髙橋雄人, 山村和輝, 齋藤恆和, 横山俊一
    • Organizer
      2022年暗号と情報セキュリティシンポジウム(SCIS2022)
    • Related Report
      2021 Research-status Report
  • [Presentation] 耐量子計算機署名 ModFalcon の Toom-Cook 法及び Radix4 FFT による高速化2022

    • Author(s)
      髙橋雄人, 福原大毅, 山村和輝, 齋藤恆和, 横山俊一
    • Organizer
      日本応用数理学会第18回(2021年度)研究部会連合発表会
    • Related Report
      2021 Research-status Report
  • [Presentation] 数式処理との上手なつきあい方:高水準言語 Julia を用いた計算機数論システム開発について2021

    • Author(s)
      横山俊一
    • Organizer
      函数方程式論サマーセミナー2021
    • Related Report
      2021 Research-status Report
    • Invited
  • [Presentation] Julia language for number theory2021

    • Author(s)
      Shun'ichi Yokoyama
    • Organizer
      Japan-Europe Number Theory Exchange Seminar
    • Related Report
      2021 Research-status Report
    • Invited
  • [Presentation] 高水準言語 Julia を用いた計算機数論システム開発について2020

    • Author(s)
      横山俊一
    • Organizer
      九州代数的整数論 2020夏
    • Related Report
      2020 Research-status Report
    • Invited
  • [Book] 数学と物理におけるJuliaの活用2024

    • Author(s)
      富谷昭夫, 横山俊一, 永井佑紀, 寺崎敏志(編)
    • Total Pages
      230
    • Publisher
      九州大学マス・フォア・インダストリ研究所
    • Related Report
      2023 Research-status Report
  • [Book] 数論入門辞典2023

    • Author(s)
      加藤文元, 砂田利一(編)
    • Total Pages
      640
    • Publisher
      朝倉書店
    • ISBN
      9784254111590
    • Related Report
      2023 Research-status Report
  • [Book] 社会に最先端の数学が求められるワケ(2) データ分析と数学の可能性2022

    • Author(s)
      国立研究開発法人科学技術振興機構研究開発戦略センター(JST/CRDS)、高島 洋典、吉脇 理雄、杉山 真吾、横山 俊一
    • Total Pages
      188
    • Publisher
      日本評論社
    • ISBN
      9784535789609
    • Related Report
      2021 Research-status Report
  • [Remarks] Shun'ichi Yokoyama

    • URL

      https://sites.google.com/view/s-yokoyama/

    • Related Report
      2023 Research-status Report 2022 Research-status Report 2021 Research-status Report
  • [Remarks] Number Theory in Tokyo

    • URL

      https://sites.google.com/view/ntint/

    • Related Report
      2022 Research-status Report
  • [Remarks] Homepage of Shun'ichi Yokoyama

    • URL

      https://sites.google.com/view/s-yokoyama/

    • Related Report
      2020 Research-status Report
  • [Funded Workshop] 数学と物理におけるJuliaの活用2023

    • Related Report
      2023 Research-status Report
  • [Funded Workshop] Number Theory in Tokyo2023

    • Related Report
      2022 Research-status Report

URL: 

Published: 2020-04-28   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi