アーベル曲面が超特異かどうかを効率よく検証する
Supersingularity and Superspeciality Verification of Abelian Surfaces
この論文をやさしく読む
ひとことで言うと
暗号にも使われる代数幾何の対象について、超特異性や超特殊性などの性質を効率よく判定する方法を研究しています。
何に役立つ？
同種写像暗号で用いる数学的対象が必要な性質を持つかを確認する基礎的な道具になります。暗号方式全体の安全性を判定するものとは別です。
この研究の面白いところ
超特異ヤコビ多様体の構造解析から確率的な検証法を導き、位数がスムーズな場合には確定的な判定も扱っています。曲面以外の次元に対する関連判定も示しています。
どこまで分かった？
一般の場合の手法には小さいながら失敗確率があり、確定的な判定には位数がスムーズという条件があります。O(log p)の計算モデルや具体的な実行時間は要旨では説明されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
超特異アーベル曲面は、同種写像に基づく暗号に不可欠である。それにもかかわらず、与えられたアーベル曲面が超特異かどうかを検証する効率的なアルゴリズムは得られていない。本研究はこの研究課題に着手し、有限体F_p上のアーベル曲面が超特異かどうかを、無視できるほど小さな失敗確率でO(log p)で検証する効率的なモンテカルロアルゴリズムと、位数がスムーズな場合の効率的で確定的な判定アルゴリズムを与える。 このアルゴリズムは、F_p上の超特異ヤコビ多様体の構造を慎重に分析することで導く。さらに、任意の次元のアーベル多様体が最小または最大かどうかを検証する効率的なアルゴリズムと、任意の次元のヤコビ多様体が超特殊かどうかを検証する効率的なアルゴリズムも導く。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Supersingular abelian surfaces are essential in isogeny-based cryptography. Despite this, we have no efficient algorithm to verify if a given abelian surface is supersingular. In this work, we initiate this research topic by giving an efficient Monte Carlo algorithm to verify if an abelian surface over $\mathbb{F}_p$ is supersingular in $O(\log p)$ with negligible failure probability, and an efficient conclusive algorithm if the order is smooth. We derive this algorithm by a careful analysis on the structure of supersingular Jacobians over $\mathbb{F}_p$. Furthermore, we derive efficient algorithms to verify if an abelian variety of any dimension is minimal or maximal, and to verify if a Jacobian of any dimension is superspecial.
arXiv ID: 2610.01924 ／ 要約の誤りについて