[論文レビュー] Monoidal categories, representation gap and cryptography

Mikhail Khovanov, Maithreya Sitaraman+1 more|arXiv (Cornell University)|Jan 5, 2022

Homotopy and Cohomology in Algebraic Topology参考文献 104被引用数 4

ひとこと要約

本稿では、非可換暗号における線形分解攻撃に対して耐性を持つために、『表現ギャップ』が大きい、つまり大きな表現しか持たないモノイドの使用を提案する。グリーンの細胞理論を適用し、テンパラー＝ライブおよびブローアなどの図式的モノイド圏を分析することで、表現サイズの下界を確立し、このようなモノイドが後量子暗号システムの安全な基盤として機能できることを示している。

ABSTRACT

The linear decomposition attack provides a serious obstacle to direct applications of noncommutative groups and monoids (or semigroups) in cryptography. To overcome this issue we propose to look at monoids with only big representations, in the sense made precise in the paper, and undertake a systematic study of such monoids. One of our main tools is Green's theory of cells (Green's relations). A large supply of monoids is delivered by monoidal categories. We consider simple examples of monoidal categories of diagrammatic origin, including the Temperley-Lieb, the Brauer and partition categories, and discuss lower bounds for their representations.

研究の動機と目的

• 非可換群およびモノイドが暗号において線形分解攻撃に対して脆弱であるという問題に対処すること。
• 線形代数的暗号解析に耐性を持つ「表現ギャップ」として定義される、非自明な表現の最小次数と忠実表現の最小次数の差をもつ、唯一の大きな非自明な表現を持つモノイドを同定すること。
• グリーンの細胞理論を用いた体系的な枠組みを構築し、モノイドの表現論的性質を分析すること。
• 図式的モノイド圏（例：テンパラー＝ライブ、ブローア、分割圏）をモノイドの大きな最小表現の源として構築し、研究すること。
• このようなモノイドの非自明な既約表現の次元に対する下界を確立し、線形攻撃に対する耐性を保証すること。

提案手法

• グリーンの細胞理論を用いてモノイド内の両側イデアルおよびJ-類を分類し、表現論の構造的解析を可能にする。
• 図式的モノイド圏をモノイドの具体的な実現とし、図的計算を用いて代数的性質を研究する。
• 「表現ギャップ」を、非自明な表現の最小次数と忠実表現の最小次数の差として定義する。
• 組合せ論的および表現論的技法を用いて、非自明な既約表現の最小次元に対する下界を確立する。
• 具体的な圏（テンパラー＝ライブ、ブローア、分割圏）を分析し、表現サイズに対する明示的な下界を導出する。
• これらの圏の構造を用いて、それらのモノイドが小さな非自明な表現をもたないことを示し、線形分解攻撃に対して耐性を持つことを確認する。

実験結果

リサーチクエスチョン

• RQ1 線形分解攻撃に対して耐性を持つ、唯一の大きな非自明な表現を持つモノイドを体系的に構築することは可能か？
• RQ2 モノイドのどのような構造的性質が、「最小忠実表現次数」と「最小非自明表現次数」の差として定義される表現ギャップを大きく保証するか？
• RQ3 グリーンの関係および細胞理論は、図式的圏から導かれるモノイドの表現論を分類・分析するためにどのように役立つか？
• RQ4 テンパラー＝ライブ、ブローア、分割モノイドにおける非自明な既約表現の最小次元は何か？
• RQ5 図式的モノイド圏は、非可換暗号プロトコルの安全な構築ブロックとして、どの程度有効に機能できるか？

主な発見

• テンパラー＝ライブおよびブローアなどの図式的モノイド圏から導かれるモノイドは、表現ギャップが大きく、最小の非自明な表現が著しく大きいことが判明した。
• 本稿では、これらのモノイドにおける非自明な既約表現の最小次元に対して明示的な下界を確立し、それが基礎となる図式的パラメータのサイズに従って増大することを示した。
• グリーンの理論を用いて、これらのモノイドにおける両側イデアルおよびJ-類を分類し、それらの表現論的解析の構造的基盤を提供した。
• 解析により、これらのモノイドが小さな非自明な表現をもたないことが確認され、線形分解攻撃に対して耐性を持つことが示された。
• 結果として、モノイド圏が表現論的強度に優れた性質を内蔵しており、暗号的応用に適したモノイドの豊富な供給源であることが示された。
• 『Transactions of the American Mathematical Society, Series B』への掲載は、理論的枠組みおよび結果の査読済み妥当性を裏付けている。