• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2022 年度 実施状況報告書

計算代数手法に基づく正標数の代数曲線に関する研究の深化と暗号応用への展望

研究課題

研究課題/領域番号 20K14301
研究機関東京大学

研究代表者

工藤 桃成  東京大学, 大学院情報理工学系研究科, 助教 (10824708)

研究期間 (年度) 2020-04-01 – 2024-03-31
キーワード超特異曲線 / 超特別曲線 / 計算代数幾何学 / 自己同型群 / アーベル多様体 / 同種写像 / 正則微分形式 / グレブナー基底
研究実績の概要

正標数の代数幾何学における主要な課題の一つである,与えられた不変量をもつ正標数の体上の曲線が存在するか否かの決定,および存在する場合は数え上げや各曲線の構造決定について,主に研究に取り組んだ.また,これらの課題の解決に必須となる,計算代数幾何学のアルゴリズム群を整備した.2022年度の主な結果は以下の四つである.
[1] 原下秀士氏(横浜国立大学),大橋亮氏(横浜国立大学)との共同研究において,自己同型群がKlein四元群を含むような種数4超特別hyperelliptic曲線の高速生成アルゴリズムを開発し,計算機上の実行によって従来研究よりも非常に大きな標数(7,000程度)に対し数え上げの結果を得ることができた.この結果は査読付き国際会議WAIFI2022に発表が受理された.
[2] 中川輔氏(東京大学),高木剛氏(東京大学)との共同研究で,自己同型群が位数6巡回群を含む種数4超特別hyperelliptic曲線の高速数え上げアルゴリズムを開発した.この結果は査読付き国際会議CASC2022に発表が受理された.
[3] 守谷共起氏(東京大学)との共同研究で,アーベル多様体間の分解Richelot同種写像を計算するアルゴリズムを開発し,その応用として種数3の場合に超特別曲線を高速に列挙するアルゴリズムを構成した.この結果はプレプリントにまとめarXivに公開済みであり,現在雑誌投稿中である.
[4] 原下氏と共同で,特異点を持つ平面曲線の特異点解消を求めるアルゴリズム,およびその得られた非特異曲線の正則微分形式のなす空間を計算するアルゴリズムを開発した.この結果はプレプリントにまとめarXivに公開済みである.
これらの他にも,有限体上の連立代数方程式系の高速求解アルゴリズムや,外積代数におけるグレブナー基底の高速計算に関する結果が得られており,それぞれ論文にまとめ雑誌投稿中である.

現在までの達成度 (区分)
現在までの達成度 (区分)

1: 当初の計画以上に進展している

理由

2022年度当初の計画では主に種数4超楕円(hyperelliptic)の場合における超特別曲線および超特異曲線の存在と数え上げに取り組む予定であったが,これは上記研究実績の概要における[1],[2]において進展させることができた.また,副課題としてアーベル多様体の間の同種写像について計算方法の整備を行う予定であったが,これは[3]においてRichelot同種という条件付きであるが進展させることができた.上記に加え,2023年度以降での研究の推進を検討していた,[4]の一般の平面曲線に対する正則微分形式のなす空間を計算するアルゴリズムなどの,本研究課題解決のために必須となる計算代数幾何学のアルゴリズムを幾つか開発することができた.これらのアルゴリズムにより,超特別曲線および超特異曲線を含む正標数の代数曲線(やアーベル多様体)をより深く調べることができるようになったため,2023年度以降の研究がより効率的に遂行できる見通しが立ったと言える.

今後の研究の推進方策

2022年度の研究成果を踏まえ,今後はより困難とされる種数5以上の超特別曲線および超特異曲線の(非)存在性の決定と数え上げに取り組む.種数4以下についても,自己同型群の形ごとの(非)存在性の決定と数え上げに関して未解決問題が残されているので,これについても問題の解決を目指す.また,計算機を用いてこれまでに得られた(あるいはこれから得られる)結果については,実験データをもとに理論的な証明も行う.加えて,同種写像や各種不変量の計算などの,計算代数幾何学のアルゴリズム群の整備についても引き続き推進し,開発したアルゴリズムを応用することで上記の超特別曲線および超特異曲線を含む正標数の代数曲線に関する課題の解決に貢献する.これらの課題解決に向けて,これまでに引き続き原下氏,大橋氏,守谷氏らとの共同研究を今後も実施する.
また,新型コロナウイルス感染症の5類引き下げに伴い行動制限も緩和されてきたので,出張による打ち合わせや学会参加などを行い,共同研究を効率的に遂行するとともに本研究で得られた成果を積極的に発表する.

次年度使用額が生じた理由

新型コロナウイルスの影響と研究計画の一部変更により,研究費の使用計画を年度内に複数回練り直す必要が生じたためである.具体的には,新型コロナウイルスの影響により,参加を予定していた国際会議がオンライン開催となり,海外渡航旅費分(約20~30万円)が未使用となった.また,本年度に購入を予定していた高い並列処理性能を持つPC(当初50万円程度を想定)についても,半導体の価格高騰により2022年度中に購入の目処が立たなかった.
したがって2022年度未使用額は,上記PC(あるいは類似品)購入費用,あるいは旅費(共同研究者との打ち合わせ、国際会議を含む各種学術会合への参加および研究成果の発表)にあてる.

  • 研究成果

    (11件)

すべて 2023 2022

すべて 雑誌論文 (2件) (うち査読あり 2件、 オープンアクセス 2件) 学会発表 (9件) (うち国際学会 4件、 招待講演 3件)

  • [雑誌論文] Fast Enumeration of Superspecial Hyperelliptic Curves of Genus 4 with Automorphism Group $V_4$2023

    • 著者名/発表者名
      Ohashi Ryo、Kudo Momonari、Harashita Shushi
    • 雑誌名

      S. Mesnager, Z. Zhou (eds), Arithmetic of Finite Fields, WAIFI 2022, Lecture Notes in Computer Science

      巻: 13638 ページ: 107~124

    • DOI

      10.1007/978-3-031-22944-2_6

    • 査読あり / オープンアクセス
  • [雑誌論文] Algorithmic study of superspecial hyperelliptic curves over finite fields2022

    • 著者名/発表者名
      Momonari Kudo, Shushi Harashita
    • 雑誌名

      Commentarii Mathematici Universitatis Sancti Pauli

      巻: 70 ページ: 49-64

    • 査読あり / オープンアクセス
  • [学会発表] On the computational enumeration of superspecial curves2022

    • 著者名/発表者名
      Hiroki Furue, Momonari Kudo
    • 学会等名
      Computer Algebra in Scientific Computing (CASC 2022)
    • 国際学会
  • [学会発表] Efficient search for superspecial hyperelliptic curves in large characteristic2022

    • 著者名/発表者名
      Tasuku Nakagawa, Momonari Kudo, Tsuyoshi Takagi
    • 学会等名
      Computer Algebra in Scientific Computing (CASC 2022)
    • 国際学会
  • [学会発表] Implementation report on computing Groebner bases over exterior algebras2022

    • 著者名/発表者名
      Kosuke Sakata, Momonari Kudo, Taku Kato, Kazuhiro Yokoyama
    • 学会等名
      Computer Algebra in Scientific Computing (CASC 2022)
    • 国際学会
  • [学会発表] Fast enumeration of superspecial hyperelliptic curves of genus 4 with automorphism group V42022

    • 著者名/発表者名
      Ryo Ohashi, Momonari Kudo, Shushi Harashita
    • 学会等名
      International Workshop on the Arithmetic of Finite Fields (WAIFI 2022)
    • 国際学会
  • [学会発表] Computational search and enumeration of superspecial curves with extra automorphisms2022

    • 著者名/発表者名
      工藤桃成
    • 学会等名
      九州代数的整数論2023 (KANT2023)
    • 招待講演
  • [学会発表] 計算代数幾何アルゴリズムを用いた超特別曲線の存在性と数え上げの進展状況2022

    • 著者名/発表者名
      工藤桃成
    • 学会等名
      早稲田整数論セミナー
    • 招待講演
  • [学会発表] Fast enumeration of superspecial hyperelliptic curves of genus four2022

    • 著者名/発表者名
      工藤桃成, 大橋亮, 原下秀士
    • 学会等名
      日本応用数理学会2022年年会「数論アルゴリズムとその応用」(JANT) セッション
  • [学会発表] グレブナー基底の計算量を評価するための様々な特徴量・不変量の関係2022

    • 著者名/発表者名
      工藤桃成
    • 学会等名
      研究集会「グレブナー基底を中心とした計算代数の基礎理論と暗号への応用」
    • 招待講演
  • [学会発表] 種数4の superspecial 超楕円曲線を多項式時間で探索するアルゴリズム2022

    • 著者名/発表者名
      工藤桃成, 大橋亮, 原下秀士
    • 学会等名
      日本数式処理学会第31回大会

URL: 

公開日: 2023-12-25  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi