[论文解读] Bases of Minimal Vectors in Lagrangian Lattices

Mohamed Taoufiq Damir, Guillermo Mantilla-Soler|arXiv (Cornell University)|Jun 30, 2020

Rings, Modules, and Algebras参考文献 18被引用 5

一句话总结

本文引入了拉格朗日格（Lagrangian lattices），其灵感来源于素数次循环数域整数环，构造了任意非平凡格 $\mathcal{L}$ 中的一族满秩子格 $\mathcal{L}_{\alpha}$。本文提出了一个判别准则，用以判断 $\mathcal{L}_{\alpha}$ 是否允许存在极小向量基，并在满足条件时显式构造出该基。

ABSTRACT

Motivated by the ring of integers of cyclic number fields of prime degree, we introduce the notion of Lagrangian lattices. Furthermore, given an arbitrary non-trivial lattice $\mathcal{L}$ we construct a family of full-rank sub-lattices $\{\mathcal{L}_{\alpha}\}$ of $\mathcal{L}$ such that whenever $\mathcal{L}$ is Lagrangian it can be easily checked whether or not $\mathcal{L}_{\alpha}$ has a basis of minimal vectors. In this case, a basis of minimal vectors of $\mathcal{L}_{\alpha}$ is given.

研究动机与目标

• 形式化拉格朗日格的概念，其灵感来源于素数次循环数域整数环。
• 从任意非平凡格 $\mathcal{L}$ 构造一族满秩子格 $\mathcal{L}_{\alpha}$。
• 提供一个判别准则，用于判断 $\mathcal{L}_{\alpha}$ 是否允许存在极小向量基。
• 当该基存在时，显式构造出该基。

提出的方法

• 将拉格朗日格定义为素数次循环数域整数环的推广。
• 对于任意非平凡格 $\mathcal{L}$，利用参数 $\alpha$ 构造一族满秩子格 $\mathcal{L}_{\alpha}$。
• 利用 $\mathcal{L}$ 的代数与几何结构，分析 $\mathcal{L}_{\alpha}$ 中向量的极小性。
• 基于 $\mathcal{L}_{\alpha}$ 的几何结构建立判别准则，以判断是否存在极小向量基。
• 当判别准则满足时，利用格的对称性与极小性条件，显式构造出极小向量基。
• 利用对偶格与极小向量的性质，验证所构造的基。

实验结果

研究问题

• RQ1 在何种条件下，给定格 $\mathcal{L}$ 的满秩子格 $\mathcal{L}_{\alpha}$ 允许存在极小向量基？
• RQ2 如何算法性地判断 $\mathcal{L}_{\alpha}$ 中是否存在此类基？
• RQ3 $\mathcal{L}$ 的何种结构性质可确保 $\mathcal{L}_{\alpha}$ 支持极小向量基？
• RQ4 当极小向量基存在时，能否显式构造出该基？
• RQ5 拉格朗日格结构在实现极小向量基的存在性与构造中起到何种作用？

主要发现

• 本文建立了判别准则，用以判断给定格 $\mathcal{L}$ 的子格 $\mathcal{L}_{\alpha}$ 是否允许存在极小向量基。
• 当判别准则满足时，本文提供了 $\mathcal{L}_{\alpha}$ 的极小向量基的显式构造。
• 该构造依赖于原始格 $\mathcal{L}$ 及其子格 $\mathcal{L}_{\alpha}$ 的几何与代数性质。
• 该框架可普遍应用于任意非平凡格 $\mathcal{L}$，不仅限于数域导出的格。
• 拉格朗日格的概念为研究极小向量基提供了统一的代数-几何背景。
• 该方法可系统性地识别并生成结构化子格中的极小向量基。