de Sitter no-go's for Riemann-flat manifolds and a link to semidefinite optimisation

We establish a no-go theorem in the context of string and M-theory flux compactifications on Riemann-Flat manifolds with Casimir energy. Specifically, we show that no dS minimum exists in this setup in dimension $d>3$. The case of dS$_3$ minima is not excluded, but their actual fate can only be ascertained via an explicit construction. We also point out that the problem of finding dS minima on RFM's and more general flux compactifications is mathematically equivalent to a semidefinite programming problem, identical to those studied in CFT bootstrap, and hence the search for dS can benefit from the existing vast literature and numerical tools. We illustrate this in a toy model.