[論文レビュー] On the secrecy gain of $\ell$-modular lattices

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

Coding theory and cryptography参考文献 12被引用数 3

ひとこと要約

本稿では、$\varepsilon$-モジュラーな秘密関数の予想がすべての$\varepsilon > 1$に対して反証され、明示的な反例が構成された。一方で、Ernvall-HytönenとSethuramanが提唱した修正された予想が、これらの反例で満たされることも確認された。著者らは、$D^\ell$の直和に有理的に同値な$\varepsilon$-モジュラー格子に対して、デデキンドのイータ関数およびシータ級数多項式の性質を用いて、修正された予想を検証する計算的手法を提供している。

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\}$に対して、$n/2$個の$D^\ell$の直和に有理的に同値な$\varepsilon$-モジュラー格子に対して、修正された予想を検証する一般的手法の開発。
• この手法を$\varepsilon \in \{6,14,15\}$の強化$\varepsilon$-モジュラー格子に対しても拡張すること。
• 秘密関数の挙動とデデキンドのイータ関数およびシータ級数多項式の性質との間の関係の確立。

提案手法

• 滑らかな関数の2階微分と台形関数の畳み込み恒等式を用いて、シータ級数の挙動を分析する。
• RainsとSloaneによるシータ級数の表現を適用し、$D^\ell$に有理的に同値な格子に対して$\Theta_{\Lambda}(y)$を$y$の多項式として表現する。
• 修正された秘密関数$\widetilde{\Xi}_{\Lambda}(y) = \Theta_{D^\ell}^{n/2}(y) / \Theta_{\Lambda}(y)$を定義し、立方格子の正規化の代わりに$D^\ell$を用いる。
• 修正された予想の検証を、ある多項式が特定の区間で右端で最小値をとることの確認に還元する。
• デデキンドのイータ関数$\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\}$に対して、$n/2$個の$D^\ell$の直和に有理的に同値な$\varepsilon$-モジュラー格子に対して、修正された秘密関数の予想を一般に検証する方法は存在するか？
• RQ4 この手法を$\varepsilon \in \{6,14,15\}$の強化$\varepsilon$-モジュラー格子に適応可能か？
• RQ5 デデキンドのイータ関数の関数的性質は、秘密関数の挙動および修正された予想の検証にどのように影響を与えるか？

主な発見

• 本稿では、すべての整数$\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$-モジュラー格子に対しても、この手法の変種が提供され、検証手法の適用範囲が拡張された。
• 多項式最小化のための臨界区間は、特定の引数におけるデデキンドのイータ関数の値を用いて定義され、指数$\alpha_\varepsilon}$は格子の次元と$\varepsilon$から導かれる。