For large ranks, there is no good algorithm that decides whether a given lattice has an orthonormal basis. But when the lattice is given with enough symmetry, we can construct a provably deterministic polynomial-time algorithm to accomplish this, based on the work of Gentry and Szydlo. The techniques involve algorithmic algebraic number theory, analytic number theory, commutative algebra, and lattice basis reduction.
引用
收藏
页码:760 / 804
页数:45
相关论文
共 11 条
[11]
Lenstra Jr H.W., 2008, MSRI Publications, V44, P127