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

2019 年度 実施状況報告書

グレブナー基底計算アルゴリズムの深化

研究課題

研究課題/領域番号 18K03432
研究機関立教大学

研究代表者

横山 和弘  立教大学, 理学部, 教授 (30333454)

研究分担者 野呂 正行  立教大学, 理学部, 教授 (50332755)
篠原 直行  国立研究開発法人情報通信研究機構, サイバーセキュリティ研究所セキュリティ基盤研究室, 主任研究員 (70565986)
研究期間 (年度) 2018-04-01 – 2021-03-31
キーワードグレブナー基底 / 計算機代数 / 公開鍵暗号 / F4 アルゴリズム / F5 アルゴリズム
研究実績の概要

グレブナー基底は多項式イデアルのよい性質をもつ基底で、純粋数学から工学等の応用まで幅広く用いられている。グレブナー基底計算では、これまで数多くの実装が行われてきたが、効率化には未だに問題が残っている。本研究では、近年注目を浴びている SBA(signature-based algorithm)と呼ばれる効率化技法に関し、その理論の完成と高速化を実現できる実装を目指す。
理論研究では、2018年度で行った理論研究を発展させ、2019年度は一般のイデアル(非斉次かつ一般的な項順序)においても、SBAの正確な正当性・停止性の証明に成功した。結果として得られるアルゴリズムでは追加する計算が不要であり、理論的正当性が計算効率を阻害することがないことも示された。さらにSBAの高速化・改良に重要な役割を持つと思われる生成集合のsyzygy加群やそこから計算される自由分解に関し、最も効率的と考えられているSchreyer分解とそれを計算するLa Scala-Stillman法を調査し、効率的な実装方法を考察しRisa/Asirシステム上で実装した。
応用研究では、多変数公開鍵暗号の暗号化方式で扱われる連立代数方程式に特化して、SBAを用いずに可能な限り改良を進めたF4アルゴリズムの性能の理論的な解析と数値実験を行った。その結果、上記の連立代数方程式を解くコンテストにおいて世界記録を更新した。SBAとF4アルゴリズムを融合したアルゴリズムの性能を評価する上で、本方式は重要な指標の一つとなる。また、同種写像暗号の安全性解析の代数的方法としてグレブナー基底を用いた方法を構築し、その計算量の評価を行なった。純粋数学への応用としては、グレブナー基底を利用したイデアル計算として準素分解についてその高速化を行なった。

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

2: おおむね順調に進展している

理由

理論研究では、SBAの正当性・停止性に関して、一般の場合(非斉次かつ一般の項順序)に、完全な証明を与えることに成功し、基本的な算法の完成に至った。また、SBAの高速化・改良に重要な役割を持つと思われる生成集合のsyzygy加群やそこから計算される自由分解に関し、最も効率的と考えられているSchreyer分解とそれを計算するLa Scala-Stillman法を調査し、効率的な実装方法を考察しRisa/Asirシステム上で実装した。しかし、従来提案されている方法への付加的な改良にはまだ至っていないので、おおむね順調と評価する。
応用研究では、多変数公開鍵暗号の安全性評価である代数的手法におけるグレブナー基底の高速計算を扱い、F4アルゴリズムの性能の理論的な解析と数値実験を行い、上記の連立代数方程式を解くコンテストにおいて世界記録を更新した。しかし、本方法はSBAをまだ有効に用いていないため、一歩手前の段階に留まっている。これをベースに、SBAとF4アルゴリズムを融合したアルゴリズムの性能を評価していく予定である。

今後の研究の推進方策

最終段階に入る。理論研究においては、2019年度までの研究で正当性を保証したSBAの実装を行い、具体例による実験からアルゴリズムの挙動を解析する。この解析で得られた知見をベースにSBAの改良を行い。既存の方法との比較によりその有効性を検証する。この検証では、2019年度に行なったsyzygy計算機能を有効に使えると考える。さらに、特殊な場合、例えばminimal signatureが予め計算できる状況として、グレブナー基底の基底変換計算が考えられるが、この場合におけるSBAの有効な適用を検証する。
応用研究では、暗号を引き続き取り上げ、高速化したグレブナー基底計算が既存の公開鍵暗号の安全性にどのような影響があるのかを丁寧に検証する。多変数公開鍵暗号の暗号化方式で扱われる連立代数方程式に特化して、SBAとF4アルゴリズムを融合したアルゴリズムの構成とその性能の検証を行う。

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

12月に参加を予定していたRIMS研究集会への参加が取りやめになり、さらには3月に予定していた研究会Risa/Asir conferenceが中止になったなどの理由で、計上していた旅費が未執行になった。2020年度は、研究成果の発表のために使用する予定である。

  • 研究成果

    (14件)

すべて 2021 2020 2019 その他

すべて 国際共同研究 (2件) 雑誌論文 (4件) (うち国際共著 1件、 査読あり 4件) 学会発表 (7件) (うち国際学会 3件、 招待講演 3件) 備考 (1件)

  • [国際共同研究] University of Limoges(フランス)

    • 国名
      フランス
    • 外国機関名
      University of Limoges
  • [国際共同研究] Johannes Kepler University(オーストリア)

    • 国名
      オーストリア
    • 外国機関名
      Johannes Kepler University
  • [雑誌論文] On affine tropical F5 algorithms2021

    • 著者名/発表者名
      Vaccon Tristan、Verron Thibaut、Yokoyama Kazuhiro
    • 雑誌名

      Journal of Symbolic Computation

      巻: 102 ページ: 132~152

    • DOI

      10.1016/j.jsc.2019.10.012

    • 査読あり / 国際共著
  • [雑誌論文] Quadratic Frobenius pseudoprimes with respect to $x^{2}+5x+5$2019

    • 著者名/発表者名
      Nagashima Saki、Shinohara Naoyuki、Uchiyama Shigenori
    • 雑誌名

      JSIAM Letters

      巻: 11 ページ: 53~55

    • DOI

      https://doi.org/10.14495/jsiaml.11.53

    • 査読あり
  • [雑誌論文] An Efficient $F_4$ -style Based Algorithm to Solve MQ Problems2019

    • 著者名/発表者名
      Ito Takuma、Shinohara Naoyuki、Uchiyama Shigenori
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 11689 ページ: 37~52

    • DOI

      https://doi.org/10.1007/978-3-030-26834-3_3

    • 査読あり
  • [雑誌論文] ECC Atomic Block against Strong Side-Channel Attacks Using Binary Curves2019

    • 著者名/発表者名
      Takemura Yusuke、Hakuta Keisuke、Shinohara Naoyuki
    • 雑誌名

      2019 Seventh International Symposium on Computing and Networking Workshops

      巻: - ページ: 387~393

    • DOI

      https://doi.org/10.1109/CANDARW.2019.00073

    • 査読あり
  • [学会発表] 種々のグレブナー基底計算法とその実装および性能について2020

    • 著者名/発表者名
      野呂正行
    • 学会等名
      シミュレーションとモデリングのための計算代数 2020
    • 招待講演
  • [学会発表] signature を用いたグレブナー計算アルゴリズム2019

    • 著者名/発表者名
      横山和弘
    • 学会等名
      計算代数夏の学校2019
    • 招待講演
  • [学会発表] signature-based algorithm の停止性と正当性について2019

    • 著者名/発表者名
      横山和弘
    • 学会等名
      2019年度理論分科会&システム分科会合同研究会
  • [学会発表] Algebraic approaches for solving isogeny problems of prime power degrees2019

    • 著者名/発表者名
      Yasushi Takahashi, Momonari Kudo, Yasuhiko Ikematsu, Masaya Yasuda, Kazuhrio Yokoyama
    • 学会等名
      MathCrypt 2019
    • 国際学会
  • [学会発表] A computer algebra system Risa/Asir and an infrastructure for mathematical software OpenXM2019

    • 著者名/発表者名
      Masayuki Noro
    • 学会等名
      Differential systems: from theory to computer mathematics
    • 招待講演
  • [学会発表] An Efficient $F_4$ -style Based Algorithm to Solve MQ Problems2019

    • 著者名/発表者名
      Ito Takuma、Shinohara Naoyuki、Uchiyama Shigenori
    • 学会等名
      IWSEC 2019
    • 国際学会
  • [学会発表] ECC Atomic Block against Strong Side-Channel Attacks Using Binary Curves2019

    • 著者名/発表者名
      Takemura Yusuke、Hakuta Keisuke、Shinohara Naoyuki
    • 学会等名
      CANDAR Workshops 2019
    • 国際学会
  • [備考] Page personnelle de Tristan Vaccon

    • URL

      http://www.unilim.fr/pages_perso/tristan.vaccon/recherche.html

URL: 

公開日: 2021-01-27  

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

Powered by NII kakenhi