Deciding whether a Lattice has an Orthonormal Basis is in co-NP

We show that the problem of deciding whether a given Euclidean lattice L has an orthonormal basis is in NP and co-NP. Since this is equivalent to saying that L is isomorphic to the standard integer lattice, this problem is a special form of the Lattice Isomorphism Problem, which is known to be in the complexity class SZK.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset