ℓ_2 norm triviality check should be a bit more permissive

malb · May 8, 2024 · 1d6e682 · 1d6e682
1 parent 60808bd
commit 1d6e682
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/estimator/sis_lattice.py b/estimator/sis_lattice.py
@@ -55,8 +55,8 @@ def cost_euclidean(
         **kwds,
     ):
         # Check for triviality
-        if params.length_bound >= params.q:
-            raise ValueError("SIS trivially easy. Please set norm bound < q.")
+        if params.length_bound >= sqrt(params.m) * params.q // 2:
+            raise ValueError("SIS trivially easy. Please set norm bound < √{m}⋅q/2.")
 
         if d is None:
             d = min(floor(SISLattice._opt_sis_d(params)), params.m)