[논문 리뷰] Monoidal categories, representation gap and cryptography

Mikhail Khovanov, Maithreya Sitaraman외 1명|arXiv (Cornell University)|2022. 01. 05.

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* 는 이론적 프레임워크와 결과의 동료 검토를 확인한다.