Assessing boundedness from below in the $\mathbb{Z}_2 \times \mathbb{Z}_2$-symmetric three-Higgs-doublet model: algorithm and machine learning

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Jurčiukonis, Darius, Lavoura, Luís, Milagre, André
Format: Preprint
Veröffentlicht: 2026
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866914432461832192
author Jurčiukonis, Darius
Lavoura, Luís
Milagre, André
author_facet Jurčiukonis, Darius
Lavoura, Luís
Milagre, André
contents The scalar potential of any particle-physics model must be bounded from below (BFB). We consider the extension of the Standard electroweak Model with three $SU(2)$ doublets of scalars and a symmetry under which each of those doublets changes sign. In the absence of necessary and sufficient conditions for boundedness from below (BnessFB) for this specific model, we argue that one may use ever more necessary conditions. We introduce a Mathematica code, StableWein, that implements this idea. The user is allowed to choose the level of accuracy that they want in the determination of BnessFB; more precision means the use of more necessary conditions, and usually entails a longer running time for the code. Our investigation suggests that our procedure and code can be extremely precise in the determination of the potentials that are BFB. In addition, we introduce a machine-learning code that identifies, with more than 99% accuracy, which potentials are BFB.
format Preprint
id arxiv_https___arxiv_org_abs_2603_23590
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Assessing boundedness from below in the $\mathbb{Z}_2 \times \mathbb{Z}_2$-symmetric three-Higgs-doublet model: algorithm and machine learning
Jurčiukonis, Darius
Lavoura, Luís
Milagre, André
High Energy Physics - Phenomenology
The scalar potential of any particle-physics model must be bounded from below (BFB). We consider the extension of the Standard electroweak Model with three $SU(2)$ doublets of scalars and a symmetry under which each of those doublets changes sign. In the absence of necessary and sufficient conditions for boundedness from below (BnessFB) for this specific model, we argue that one may use ever more necessary conditions. We introduce a Mathematica code, StableWein, that implements this idea. The user is allowed to choose the level of accuracy that they want in the determination of BnessFB; more precision means the use of more necessary conditions, and usually entails a longer running time for the code. Our investigation suggests that our procedure and code can be extremely precise in the determination of the potentials that are BFB. In addition, we introduce a machine-learning code that identifies, with more than 99% accuracy, which potentials are BFB.
title Assessing boundedness from below in the $\mathbb{Z}_2 \times \mathbb{Z}_2$-symmetric three-Higgs-doublet model: algorithm and machine learning
topic High Energy Physics - Phenomenology
url https://arxiv.org/abs/2603.23590