[논문 리뷰] On the secrecy gain of $\ell$-modular lattices

Esa V. Vesalainen, Anne-Maria Ernvall-Hytönen|arXiv (Cornell University)|2017. 08. 30.

Coding theory and cryptography참고 문헌 12인용 수 3

한 줄 요약

이 논문은 $\varepsilon$-모듈라 비밀함수 추측을 $\varepsilon > 1$ 인 모든 경우에 대해 명시적인 반례를 구성함으로써 기각하며, 동시에 Ernvall-Hytönen과 Sethuraman이 제안한 수정된 추측이 이러한 반례들에 의해 만족됨을 확인한다. 저자들은 $D^\ell$의 직합과 유리적으로 동치인 $\varepsilon$-모듈라 격자에 대해, Dedekind 에타 함수와 $θ$ 시리즈 다항식의 성질을 이용하여 수정된 추측을 검증하는 계산 방법을 제공한다.

ABSTRACT

We show that for every $\ell>1$, there is a counterexample to the $\ell$-modular secrecy function conjecture by Oggier, Solé and Belfiore. These counterexamples all satisfy the modified conjecture by Ernvall-Hytönen and Sethuraman. Furthermore, we provide a method to prove or disprove the modified conjecture for any given $\ell$-modular lattice rationally equivalent to a suitable amount of copies of $\mathbb{Z}\oplus \sqrt{\ell}\,\mathbb{Z}$ with $\ell \in \{3,5,7,11,23\}$. We also provide a variant of the method for strongly $\ell$-modular lattices when $\ell\in \{6,14,15\}$.

연구 동기 및 목표

• Oggier, Solé, Belfiore의 $\varepsilon$-모듈라 비밀함수 추측을 모든 정수 $\varepsilon > 1$ 에 대해 기각하기.
• 구성된 반례가 Ernvall-Hytönen과 Sethuraman이 제안한 수정된 비밀함수 추측을 만족하는지 확인하기.
• 모든 정수 $\varepsilon \in \{3,5,7,11,23\}$ 에 대해, $D^\ell$의 $n/2$ 개 복합체와 유리적으로 동치인 $\varepsilon$-모듈라 격자에 대해 수정된 추측을 검증할 수 있는 일반적인 방법 개발하기.
• 해당 방법을 $\varepsilon \in \{6,14,15\}$ 인 강한 $\varepsilon$-모듈라 격자로 확장하기.
• 비밀함수의 행동과 Dedekind 에타 함수, $θ$ 시리즈 다항식의 성질 간의 관계 설정하기.

제안 방법

• 매끄러운 함수의 두 번째 도함수와 트라프레즈 함수를 포함하는 커플링 항등식을 사용하여 $θ$ 시리즈의 행동 분석하기.
• Rains와 Sloane의 $θ$ 시리즈 표현을 적용하여, $D^\ell$와 유리적으로 동치인 격자에 대해 $\Theta_{\Lambda}(y)$ 를 $y$ 에 대한 다항식으로 표현하기.
• 수정된 비밀함수 $\widetilde{\Xi}_{\Lambda}(y) = \Theta_{D^\ell}^{n/2}(y) / \Theta_{\Lambda}(y)$ 를 정의하여, 입방 격자 정규화 대신 $D^\ell$ 를 사용하기.
• 수정된 추측의 검증을, 특정 다항식이 주어진 구간에서 오른쪽 끝점에서 최소값을 갖는지 확인하는 것으로 환원하기.
• Dedekind 에타 함수 $\eta(\tau)$ 의 성질, 특히 로그 볼록성과 함수 방정식을 활용하여 수정된 추측에서의 임계 비율을 한계 설정하기.
• $\log \eta(e^x)$ 의 엄격한 오목성과 해석적 성질을 활용하여 $θ$ 함수 비율의 경계를 도출하고 다항식 최소화 조건이 성립함을 보장하기.

실험 결과

연구 질문

• RQ1 모든 정수 $\varepsilon > 1$ 에 대해, $y = 1/\sqrt{\varepsilon}$ 에서 최댓값을 가진다고 주장하는 $\varepsilon$-모듈라 비밀함수 추측은 참인가?
• RQ2 모든 $\varepsilon > 1$ 에 대해 원래 추측의 반례를 구성할 수 있으며, 이 반례들은 $D^\ell$ 정규화를 사용한 수정된 추측을 만족하는가?
• RQ3 모든 $\varepsilon \in \{3,5,7,11,23\}$ 에 대해, $D^\ell$의 $n/2$ 개 복합체와 유리적으로 동치인 $\varepsilon$-모듈라 격자에 대해 수정된 비밀함수 추측을 검증할 수 있는 일반적인 방법이 존재하는가?
• RQ4 이 방법은 $\varepsilon \in \{6,14,15\}$ 인 강한 $\varepsilon$-모듈라 격자로도 적응 가능한가?
• RQ5 Dedekind 에타 함수의 함수적 성질은 비밀함수의 행동과 수정된 추측의 검증에 어떤 영향을 미치는가?

주요 결과

• 논문은 모든 정수 $\varepsilon > 1$ 에 대해 명시적인 반례를 구성함으로써 $\varepsilon$-모듈라 비밀함수 추측을 기각하며, 원래 추측을 전반적으로 기각한다.
• 모든 구성된 반례는 Ernvall-Hytönen과 Sethuraman이 제안한 수정된 비밀함수 추측을 만족한다. 이는 입방 격자 대신 $D^\ell$ 의 $θ$ 함수를 정규화로 사용한다는 점에서 다르다.
• $\varepsilon \in \{3,5,7,11,23\}$ 인 경우, 수정된 추측은 격자의 $θ$ 시리즈에서 유도된 다항식이 특정 구간에서 오른쪽 끝점에서 최소값을 갖는지 확인하는 것으로 검증할 수 있다.
• 이 방법은 $\log \eta(e^x)$ 의 엄격한 오목성과 해석적 성질에 기반하며, 이는 $θ$ 함수 비율의 경계를 설정하고 문제를 다항식 최소화로 환원할 수 있게 한다.
• 논문은 $\varepsilon \in \{6,14,15\}$ 인 강한 $\varepsilon$-모듈라 격자에 대해 이 방법의 변형을 제공하여 검증 기법의 적용 범위를 확장한다.
• 다항식 최소화의 임계 구간은 특정 인자에서 평가된 Dedekind 에타 함수를 사용하여 정의되며, 지수 $\alpha_\varepsilon}$ 는 격자의 차원과 $\varepsilon$ 에 따라 유도된다.