Cover Image

Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Tooby-Smith, Joseph
Format:	Preprint
Published:	2026
Subjects:	High Energy Physics - Phenomenology Logic in Computer Science High Energy Physics - Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formalization of physics index notation in Lean 4
by: Tooby-Smith, Joseph
Published: (2024)

HepLean: Digitalising high energy physics
by: Tooby-Smith, Joseph
Published: (2024)

Physics as Code: From Scans to Theorems with ITP APIs in $SU(5)$ Model Building
by: Krippendorf, Sven, et al.
Published: (2026)

Digitalizing Wick's theorem
by: Tooby-Smith, Joseph
Published: (2025)

Is the real two-Higgs-doublet model consistent?
by: de Lima, Carlos Henrique, et al.
Published: (2024)

Can CP be conserved in the two-Higgs-doublet model?
by: de Lima, Carlos Henrique, et al.
Published: (2024)

A comprehensive study of the charged Higgs boson in the two Higgs doublet type-II seesaw model
by: Ait-Ouazghour, Brahim, et al.
Published: (2025)

Superconducting strings in the two-Higgs doublet model
by: Battye, Richard, et al.
Published: (2024)

Lie symmetry analysis of the two-Higgs-doublet model field equations
by: Solberg, M. Aa.
Published: (2025)

Spontaneous Hopf fibration in the two-Higgs-doublet model
by: Battye, R. A., et al.
Published: (2024)

Vacuum stability conditions of the general two-Higgs-doublet potential
by: Song, Yisheng
Published: (2023)

Laser-assisted production of the light charged Higgs boson from top quark decay in the type-I two Higgs doublet model
by: Jakha, M., et al.
Published: (2026)

Emergent symmetry in a two-Higgs-doublet model from quantum information and nonstabiliserness
by: Busoni, Giorgio, et al.
Published: (2025)

Progress in lattice simulations for two Higgs doublet models
by: Catumba, Guilherme, et al.
Published: (2024)

Constraints on light scalars in the Aligned-two-Higgs-doublet model
by: Miralles, V., et al.
Published: (2025)

The Tameness of Quantum Field Theory, Part I -- Amplitudes
by: Douglas, Michael R., et al.
Published: (2022)

Lattice investigation of custodial two-Higgs-doublet model at weak quartic couplings
by: Catumba, Guilherme, et al.
Published: (2025)

New renormalization scheme in the two Higgs doublet models
by: Kanemura, Shinya, et al.
Published: (2024)

Electron EDM in the complex two-Higgs doublet model
by: Altmannshofer, Wolfgang, et al.
Published: (2020)

Chasing the two-Higgs-doublet model via electroweak corrections at $e^+e^-$ colliders
by: Bredt, Pia, et al.
Published: (2025)

Precise probing of the inert Higgs-doublet model at the LHC
by: Ghosh, Anupam, et al.
Published: (2021)

Constraints from Heavy Higgs boson masses in the two Higgs doublet model
by: Cho, Jin-Hwan, et al.
Published: (2018)

(In)stability of the Higgs vacuum from the $\textrm{O}(N)$ model at large $N$
by: Weller, Ryan, et al.
Published: (2024)

Echoes of Veltman criteria on the next-two-Higgs-doublet model
by: Arhrib, Abdesslam, et al.
Published: (2024)

Minimal U(1) two-Higgs-doublet models for quark and lepton flavour
by: Rocha, J. R., et al.
Published: (2024)

Updated global fit of the aligned two-Higgs-doublet model with heavy scalars
by: Karan, Anirban, et al.
Published: (2023)

Top anomalous chromomagnetic dipole moment in a two Higgs doublet model
by: Cisneros-Pérez, T., et al.
Published: (2024)

Higgs-strahlung at the LHC in the inert doublet model
by: He, Dazhuang, et al.
Published: (2024)

Symmetric Mass Generation with four SU(2) doublet fermions
by: Butt, Nouman, et al.
Published: (2024)

Linear realization of SU(3) parity doublet model for octet baryons with bad diquark
by: Gao, Bikai, et al.
Published: (2025)

Can a pseudoscalar with a mass of 365 GeV in two-Higgs-doublet models explain the CMS $t\bar{t}$ excess?
by: Lu, Chih-Ting, et al.
Published: (2024)

Neutrino observables in gauged $U(1)_{L_α-L_β}$ models with two Higgs doublet and one singlet scalars
by: Lou, Yuanchao, et al.
Published: (2024)

Interpreting the 650 GeV and 95 GeV Higgs anomalies in the next-to-two-Higgs-doublet model
by: Benbrik, Rachid, et al.
Published: (2025)

Light scalars within the $\mathcal{CP}$-conserving Aligned-two-Higgs-doublet model
by: Coutinho, Antonio M., et al.
Published: (2024)

CP asymmetries of $t \to c γ$ and $t \to cg$ decays in the aligned two-Higgs-doublet model
by: Cai, Fang-Min, et al.
Published: (2024)

Dynamical generation of scalar mass in two Higgs doublet model under Yukawa interactions
by: Mufti, Tajdar
Published: (2021)

Two-sector leptogenesis in a two-Higgs-doublet model with spontaneous CP violation
by: Das, Debashree Priyadarsini, et al.
Published: (2025)

Degenerate scalar scenario of two Higgs doublet model with a complex singlet scalar
by: Cho, Gi-Chol, et al.
Published: (2024)

Gauge coupling unification and doublet-triplet splitting via GUT dynamical breaking
by: Masina, Isabella, et al.
Published: (2026)

Higgs boson precision analysis of two-Higgs-doublet models: Full LHC Run 1 and Run 2 data
by: Heo, Yongtae, et al.
Published: (2025)