[论文解读] 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 > 1$，Oggier、Solé 和 Belfiore 提出的 $\varepsilon$-模保密函数猜想不成立，同时验证了这些反例满足 Ernvall-Hyt€¶nen 和 Sethuraman 提出的修正猜想。作者提出了一种计算方法，用于验证 $\varepsilon$-模格在有理等价于 $D^\ell$ 的直和时，其是否满足修正猜想，该方法基于 Dedekind eta 函数与 theta 系数多项式的性质。

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\'e 和 Belfiore 提出的 $\varepsilon$-模保密函数猜想对所有整数 $\varepsilon > 1$ 不成立。
• 验证所构造的反例满足 Ernvall-Hyt€¶nen 和 Sethuraman 提出的修正保密函数猜想。
• 为 $\varepsilon$-模格在有理等价于 $n/2$ 个 $D^\ell$ 的情况下，开发一种通用方法，以验证其是否满足修正猜想，其中 $\varepsilon \in \{3,5,7,11,23\}$。
• 将该方法扩展至强 $\varepsilon$-模格，其中 $\varepsilon \in \{6,14,15\}$。
• 建立保密函数行为与 Dedekind eta 函数及 theta 系数多项式性质之间的联系。

提出的方法

• 利用涉及光滑函数二阶导数与梯形函数的卷积恒等式，分析 theta 系数的性质。
• 应用 Rains 和 Sloane 的 theta 系数表示法，将 $\Theta_{\Lambda}(y)$ 表示为 $y$ 的多项式，适用于与 $D^\ell$ 有理等价的格。
• 定义修正的保密函数 $\widetilde{\Xi}_{\Lambda}(y) = \Theta_{D^\ell}^{n/2}(y) / \Theta_{\Lambda}(y)$，以 $D^\ell$ 取代立方格的归一化方式。
• 将修正猜想的验证问题转化为：检查某一特定多项式是否在其定义区间右端点处取得最小值。
• 利用 Dedekind eta 函数 $\eta(\tau)$ 的性质，特别是其对数凸性与函数方程，以界定修正猜想中的临界比值。
• 利用 $\log \eta(e^x)$ 的严格凹性与解析性，推导 theta 函数比值的界，并确保多项式最小化条件成立。

实验结果

研究问题

• RQ1 对于所有整数 $\varepsilon > 1$，是否成立 $\varepsilon$-模保密函数猜想，即最大值出现在 $y = 1/\sqrt{\varepsilon}$ 处？
• RQ2 能否为每个 $\varepsilon > 1$ 构造出原猜想的反例，且这些反例是否满足使用 $D^\ell$ 归一化的修正猜想？
• RQ3 是否存在一种通用方法，用于验证 $\varepsilon$-模格在有理等价于 $n/2$ 个 $D^\ell$ 时，其是否满足修正保密函数猜想，其中 $\varepsilon \in \{3,5,7,11,23\}$？
• RQ4 该方法能否被调整以适用于强 $\varepsilon$-模格，其中 $\varepsilon \in \{6,14,15\}$？
• RQ5 Dedekind eta 函数的函数性质如何影响保密函数的行为以及修正猜想的验证？

主要发现

• 该论文为每个整数 $\varepsilon > 1$ 构造了 $\varepsilon$-模保密函数猜想的显式反例，从而在整体上否定了原始猜想。
• 所有构造出的反例均满足 Ernvall-Hyt€¶nen 和 Sethuraman 提出的修正保密函数猜想，该猜想采用 $D^\ell$ 的 theta 函数进行归一化，而非立方格。
• 对于 $\varepsilon \in \{3,5,7,11,23\}$，可通过检查由格的 theta 系数导出的多项式是否在其特定区间右端点处取得最小值，来验证修正猜想。
• 该方法依赖于 $\log \eta(e^x)$ 的严格凹性与解析性，从而可界定 theta 函数比值，并将问题简化为多项式最小化问题。
• 论文还为强 $\varepsilon$-模格（$\varepsilon \in \{6,14,15\}$）提供了该方法的变体，扩展了验证技术的适用范围。
• 多项式最小化的关键区间由 Dedekind eta 函数在特定参数处的取值定义，其中指数 $\alpha_\varepsilon}$ 由格的维数与 $\varepsilon$ 共同决定。