Algorithmic Boundedness-From-Below Conditions for Generic Scalar Potentials

Igor P. Ivanov, Marcel Köpke, Margarete Muhlleitner

Checking that a scalar potential is bounded from below (BFB) is an ubiquitous and notoriously difficult task in many models with extended scalar sectors. Exact analytic BFB conditi…