[论文解读] On a conjecture by Belfiore and Solé on some lattices

Anne-Maria Ernvall-Hytönen|arXiv (Cornell University)|Apr 19, 2011

Coding theory and cryptography参考文献 5被引用 5

一句话总结

本文证明了所有已知极值偶自对偶晶格的保密函数在 y = 1 处达到最大值，从而验证了 Belfiore 与 Solé 的一个特例猜想。作者提出一种基于分析 theta 函数比值作为 z = (ϑ₂⁴ϑ₄⁴)/ϑ₃⁸ 的多项式的方法，表明分母在 [0, 1/4] 上递减，从而说明保密函数递增并在 y = 1 处达到峰值。

ABSTRACT

The point of this note is to prove that the secrecy function attains its maximum at y=1 on all known extremal even unimodular lattices. This is a special case of a conjecture by Belfiore and Solé. Further, we will give a very simple method to verify or disprove the conjecture on any given unimodular lattice.

研究动机与目标

• 验证 Belfiore 与 Solé 的猜想，即保密函数在 y = 1 处达到最大值。
• 确立该最大值在所有已知极值偶自对偶晶格中均出现在 y = 1 处。
• 为通过分析 z = (ϑ₂⁴ϑ₄⁴)/ϑ₃⁸ 的导出多项式行为，提供一种测试任意给定自对偶晶格该猜想的一般方法。
• 证明保密函数的最大值对应于区间 [0, 1/4] 内分母多项式的最小值。

提出的方法

• 利用 theta 函数与模形式，将保密函数 Ξ_Λ(y) 表示为 z = (ϑ₂⁴ϑ₄⁴)/ϑ₃⁸ 的有理函数。
• 将偶自对偶晶格的 theta 级数表示为 E₄ 与 Δ 的多项式，其可通过 ϑ₂、ϑ₃、ϑ₄ 表达。
• 将保密函数转化为 z 的多项式的倒数，从而将问题简化为在 [0, 1/4] 上最小化该多项式。
• 利用 z(y) 的对称性 f(y) = f(1/y)，将分析限制在 y ∈ (0,1] 范围内，对应于 z ∈ [0, 1/4]。
• 分析分母多项式的导数，证明其在 [0, 1/4] 上为负，从而说明函数递增并在 z = 1/4（即 y = 1）处达到峰值。
• 系统地将该方法应用于所有已知维度不超过 80 的极值偶自对偶晶格，逐项验证该猜想。

实验结果

研究问题

• RQ1 所有已知极值偶自对偶晶格的保密函数是否在 y = 1 处达到最大值？
• RQ2 能否设计一种通用方法，以验证或证伪任意自对偶晶格的 Belfiore-Solé 猜想？
• RQ3 保密函数的分母多项式在区间 [0, 1/4] 上是否在 z = 1/4 处取得最小值（对应于 y = 1）？
• RQ4 各种极值晶格的分母多项式在 z 处的导数行为如何？其在 [0, 1/4] 上是否始终保持为负？
• RQ5 z = (ϑ₂⁴ϑ₄⁴)/ϑ₃⁸ 的变换如何简化不同维度下保密函数的分析？

主要发现

• 在维度 8 至 80 的所有已知极值偶自对偶晶格中，保密函数在 y = 1 处达到最大值。
• 在所有测试的极值晶格中，分母多项式在 z ∈ [0, 1/4] 上的导数为负，确认函数递增并在 z = 1/4 处达到峰值。
• 在维度 72 时，导数具有实根，但在 z < 0.3002 范围内保持为负，该范围包含整个区间 [0, 1/4]，因此证实了该猜想。
• 在维度 80 时，导数在 z < 0.4491 范围内为负，该范围包含区间 [0, 1/4]，从而证实最大值出现在 y = 1 处。
• 该方法将问题简化为检查单变量多项式在 [0, 1/4] 上是否在 z = 1/4 处取得最小值，这是一个计算上可行的任务。
• 该方法不仅适用于偶自对偶晶格，也适用于部分非偶的自对偶晶格，从而扩展了其通用性。