Update linear_nonclassicality_witnesses.jl

ChitambarLab · Dec 6, 2023 · 3bfc171 · 3bfc171
1 parent 8561043
commit 3bfc171
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/LocalPolytope/linear_nonclassicality_witnesses.jl b/src/LocalPolytope/linear_nonclassicality_witnesses.jl
@@ -15,7 +15,7 @@ This task is achieved using the  linear program described by Brunner et al. in E
 \\begin{align}
     \\min_{(\\mathbf{G}, \\beta)} \\quad & \\langle \\mathbf{G},\\mathbf{P}\\rangle - \\beta & \\notag\\\\
     \\text{s.t.} \\quad  & \\langle \\mathbf{G}, \\mathbf{V} \\rangle - \\beta \\leq 0 & \\quad \\forall \\;\\; \\mathbf{V} \\in \\mathcal{V}  \\notag\\\\
-    & \\langle \\mathbf{G}, \\mathbf{P} \\rangle \\leq 1 & \\notag\\\\
+    & \\langle \\mathbf{G}, \\mathbf{P} \\rangle - \\beta \\leq 1 & \\notag\\\\
 \\end{align}
 ```