Recognition: 2 theorem links
· Lean TheoremTwo Higgs doublet model with a complex singlet scalar and Multi-critical Point Principle
Pith reviewed 2026-05-16 17:33 UTC · model grok-4.3
The pith
Imposing the tree-level multiple point principle in a two-Higgs-doublet model with a complex singlet scalar still permits viable dark matter parameter regions and a thermally driven strong first-order electroweak phase transition.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The tree-level multiple point principle, requiring degeneracy between the electroweak and singlet vacua, favors large SU(2)_L doublet-singlet mixing parameters that compete with the degenerate scalar scenario demanded by experiment; nevertheless, viable regions remain in which observed dark-matter constraints are satisfied, and thermal loop effects induce a strong first-order electroweak phase transition compatible with electroweak baryogenesis.
What carries the argument
The tree-level Multiple Point Principle (MPP) that enforces vacuum degeneracy between the electroweak and singlet minima, thereby motivating a nearly degenerate neutral-Higgs spectrum while shaping the mixing parameters.
If this is right
- Viable parameter regions continue to exist where dark-matter direct-detection bounds are satisfied.
- The degenerate scalar scenario can be realized to sufficient accuracy despite the mixing favored by the multiple point principle.
- Thermal loop corrections suffice to generate a strong first-order electroweak phase transition even when the tree-level potential forbids it.
- The resulting setup remains compatible with the requirements of electroweak baryogenesis.
Where Pith is reading between the lines
- Extending the multiple point principle to include one-loop or higher-order corrections could relax the mixing tension while preserving vacuum degeneracy.
- The same vacuum-degeneracy condition may be applied to other extended Higgs sectors to predict relations among scalar masses and couplings testable at future colliders.
- If the strong first-order transition is confirmed, the model would link dark-matter phenomenology directly to the origin of the baryon asymmetry through shared scalar dynamics.
Load-bearing premise
The tree-level multiple point principle is imposed by hand and the resulting large doublet-singlet mixing is assumed to remain compatible with the degenerate scalar masses once all experimental constraints are applied.
What would settle it
A precision measurement establishing that the three neutral Higgs bosons have masses differing by more than a few GeV, or the absence of a detectable gravitational-wave signal from a strong first-order electroweak phase transition at future interferometers.
Figures
read the original abstract
We study a two Higgs doublet model extended by a complex singlet scalar, in which the imaginary part of the singlet serves as a dark matter (DM) candidate. In this model, degenerate masses of the three neutral Higgs bosons are crucial for achieving consistency with current constraints from DM direct-detection experiments and Higgs searches. This is called the degenerate scalar scenario. To provide a theoretical motivation for such a degenerate Higgs spectrum, we impose the tree-level Multiple Point Principle (MPP), which requires the electroweak and singlet vacua to be degenerate, and analyze its implications for the scalar potential, DM phenomenology, and the electroweak phase transition. We show that the tree-level MPP favors large SU(2)$_L$ doublet-singlet mixing parameters, which compete with the degenerate scalar scenario. Nevertheless, we demonstrate that viable parameter regions still exist in which the observed DM constraints are satisfied. Furthermore, although the tree-level MPP forbids a tree-level-driven first-order electroweak phase transition, we show that thermal loop effects can induce a strong first-order transition compatible with electroweak baryogenesis.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies a two-Higgs-doublet model extended by a complex singlet scalar whose imaginary part is a dark-matter candidate. It introduces the degenerate scalar scenario (near-degenerate neutral Higgs masses) to satisfy DM direct-detection and Higgs-search bounds, motivates this degeneracy by imposing tree-level Multiple Point Principle (MPP) degeneracy between the electroweak and singlet vacua, and examines the resulting implications for the scalar potential, DM phenomenology, and the electroweak phase transition. The authors state that MPP favors large doublet-singlet mixing, which competes with mass degeneracy, yet claim that viable parameter regions remain after all constraints, and that thermal-loop effects can still produce a strong first-order electroweak phase transition compatible with electroweak baryogenesis.
Significance. If the numerical demonstration of viable overlapping regions holds, the work supplies a theoretically motivated mechanism for degenerate neutral scalars in an extended Higgs sector while linking vacuum degeneracy to DM and phase-transition phenomenology. The explicit identification of the tension between MPP-driven mixing and mass degeneracy, together with the rescue via thermal effects, would be a useful addition to the literature on multi-Higgs models and electroweak baryogenesis.
major comments (2)
- [Abstract and §3] Abstract and §3 (or equivalent): the central claim that 'viable parameter regions still exist' after MPP, DM direct-detection, and Higgs constraints are applied rests on an unshown numerical intersection; the manuscript must supply the explicit scan results, the precise MPP vacuum-degeneracy equations, and the post-mixing neutral-scalar mass eigenvalues to confirm that a non-empty window survives the competing requirements.
- [§4] §4 (or equivalent): the statement that tree-level MPP forbids a tree-level first-order transition but thermal loops can induce a strong one requires the explicit finite-temperature effective potential, including the one-loop thermal integrals from the additional scalars and the numerical values of the barrier height and transition strength.
minor comments (2)
- [Introduction] Clarify in the introduction whether 'Multi-critical Point Principle' is synonymous with the standard Multiple Point Principle or denotes a distinct variant.
- Provide a table listing all free parameters, their ranges, and the exact MPP conditions imposed.
Simulated Author's Rebuttal
We thank the referee for the constructive comments, which help us improve the clarity and completeness of our presentation. We will revise the manuscript to supply the explicit details requested on the MPP conditions, scan results, and finite-temperature potential.
read point-by-point responses
-
Referee: [Abstract and §3] Abstract and §3 (or equivalent): the central claim that 'viable parameter regions still exist' after MPP, DM direct-detection, and Higgs constraints are applied rests on an unshown numerical intersection; the manuscript must supply the explicit scan results, the precise MPP vacuum-degeneracy equations, and the post-mixing neutral-scalar mass eigenvalues to confirm that a non-empty window survives the competing requirements.
Authors: We agree that explicit documentation is required. In the revision we will insert the precise tree-level MPP equations enforcing degeneracy between the electroweak and singlet vacua, the full neutral-scalar mass matrix including doublet-singlet mixing, and the resulting eigenvalues under the degeneracy condition. We will also add representative numerical scan results (tables and/or figures) that explicitly display the surviving parameter window after all constraints are imposed. revision: yes
-
Referee: [§4] §4 (or equivalent): the statement that tree-level MPP forbids a tree-level first-order transition but thermal loops can induce a strong one requires the explicit finite-temperature effective potential, including the one-loop thermal integrals from the additional scalars and the numerical values of the barrier height and transition strength.
Authors: We accept the need for greater explicitness. The revised manuscript will contain the complete expression for the one-loop finite-temperature effective potential, including the thermal integrals over all scalar degrees of freedom. We will also report numerical values of the barrier height and the transition strength parameter v_c/T_c for benchmark points that realize a strong first-order transition while satisfying the MPP and phenomenological constraints. revision: yes
Circularity Check
No significant circularity: MPP imposed as independent theoretical input; viable-region scan remains falsifiable
full rationale
The paper introduces the degenerate scalar scenario as a phenomenological requirement for DM direct-detection and Higgs-search consistency, then separately imposes tree-level MPP to motivate vacuum degeneracy. The abstract explicitly notes that MPP favors large mixing which competes with degeneracy, yet proceeds to a numerical demonstration that non-empty viable regions survive all constraints. No equation or parameter is defined in terms of its own output, no fitted quantity is relabeled as a prediction, and no load-bearing step reduces to a self-citation chain or ansatz smuggled from prior work by the same authors. The central claim (existence of overlapping regions compatible with DM bounds and strong first-order EWPT) is therefore an independent numerical result rather than a tautology.
Axiom & Free-Parameter Ledger
free parameters (2)
- doublet-singlet mixing parameters
- scalar potential quartic couplings
axioms (2)
- standard math Standard Model gauge symmetries and particle content remain intact except for the added complex singlet.
- domain assumption The imaginary part of the singlet is stable and constitutes the dark matter candidate.
invented entities (1)
-
complex singlet scalar
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquationwashburn_uniqueness_aczel contradicts?
contradictsCONTRADICTS: the theorem conflicts with this paper passage, or marks a claim that would need revision before publication.
we impose the tree-level Multiple Point Principle (MPP), which requires the electroweak and singlet vacua to be degenerate... favors large SU(2)L doublet-singlet mixing parameters, which compete with the degenerate scalar scenario
-
IndisputableMonolith/Foundation/AlexanderDualityalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
degenerate masses of the three neutral Higgs bosons... orthogonality of the mixing matrix implies X i O1iO2i=0
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
G. Aadet al.(ATLAS), Phys. Lett. B716, 1 (2012), arXiv:1207.7214 [hep-ex]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[2]
Observation of a new boson at a mass of 125 GeV with the CMS experiment at the LHC
S. Chatrchyanet al.(CMS), Phys. Lett. B716, 30 (2012), arXiv:1207.7235 [hep-ex]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[3]
T. D. Lee, Phys. Rev. D8, 1226 (1973)
work page 1973
-
[4]
S. L. Glashow and S. Weinberg, Phys. Rev. D15, 1958 (1977)
work page 1958
-
[5]
N. G. Deshpande and E. Ma, Phys. Rev. D18, 2574 (1978)
work page 1978
-
[6]
G. C. Branco, P. M. Ferreira, L. Lavoura, M. N. Rebelo, M. Sher, and J. P. Silva, Phys. Rept. 516, 1 (2012), arXiv:1106.0034 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2012
- [7]
- [8]
-
[9]
T. Biek¨ otter and M. O. Olea-Romacho, JHEP10, 215 (2021), arXiv:2108.10864 [hep-ph]. 21
-
[10]
T. Biek¨ otter, P. Gabriel, M. O. Olea-Romacho, and R. Santos, JHEP10, 126 (2022), arXiv:2207.04973 [hep-ph]
-
[11]
J. Aalberset al.(LZ), (2024), arXiv:2410.17036 [hep-ex]
- [12]
-
[13]
D. L. Bennett and H. B. Nielsen, Int. J. Mod. Phys. A9, 5155 (1994), arXiv:hep-ph/9311321
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[14]
D. L. Bennett and H. B. Nielsen, Int. J. Mod. Phys. A14, 3313 (1999), arXiv:hep-ph/9607278
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[15]
D. L. Bennett,Multiple point criticality, nonlocality, and fine tuning in fundamental physics: Predictions for gauge coupling constants gives alpha**-1 = 136.8 +- 9, Ph.D. thesis (1996), arXiv:hep-ph/9607341
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[16]
C. D. Froggatt and H. B. Nielsen, Phys. Lett. B368, 96 (1996), arXiv:hep-ph/9511371
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[17]
K. Kannike, N. Koivunen, and M. Raidal, Nucl. Phys. B968, 115441 (2021), arXiv:2010.09718 [hep-ph]
-
[18]
V. A. Kuzmin, V. A. Rubakov, and M. E. Shaposhnikov, Phys. Lett.155B, 36 (1985)
work page 1985
- [19]
-
[20]
Vacuum Stability Bounds in the Two-Higgs Doublet Model
S. Nie and M. Sher, Phys. Lett. B449, 89 (1999), arXiv:hep-ph/9811234
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[21]
Mass bounds of the lightest CP-even Higgs boson in the two-Higgs-doublet model
S. Kanemura, T. Kasai, and Y. Okada, Phys. Lett. B471, 182 (1999), arXiv:hep-ph/9903289
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[22]
S. Kanemura, T. Kubota, and E. Takasugi, Phys. Lett. B313, 155 (1993), arXiv:hep- ph/9303263
- [23]
-
[24]
I. F. Ginzburg and I. P. Ivanov, Phys. Rev. D72, 115010 (2005), arXiv:hep-ph/0508020
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[25]
C.-Y. Chen, S. Dawson, and I. M. Lewis, Phys. Rev. D91, 035015 (2015), arXiv:1410.5488 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2015
- [26]
- [27]
-
[28]
E. A. Paschos, Phys. Rev. D15, 1966 (1977)
work page 1966
-
[29]
H. E. Haber and D. O’Neil, Phys. Rev. D83, 055017 (2011), arXiv:1011.6188 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2011
- [30]
-
[31]
P. B. Arnold and L. D. McLerran, Phys. Rev. D36, 581 (1987)
work page 1987
-
[32]
A. I. Bochkarev and M. E. Shaposhnikov, Mod. Phys. Lett. A2, 417 (1987)
work page 1987
-
[33]
Electroweak phase transition, critical bubbles and sphaleron decoupling condition in the MSSM
K. Funakubo and E. Senaha, Phys. Rev. D79, 115024 (2009), arXiv:0905.2022 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[34]
Planck 2018 results. VI. Cosmological parameters
N. Aghanimet al.(Planck), Astron. Astrophys.641, A6 (2020), [Erratum: Astron.Astrophys. 652, C4 (2021)], arXiv:1807.06209 [astro-ph.CO]
work page internal anchor Pith review Pith/arXiv arXiv 2020
-
[35]
G. Belanger, A. Mjallal, and A. Pukhov, Eur. Phys. J. C81, 239 (2021), arXiv:2003.08621 [hep-ph]
-
[36]
C. L. Wainwright, Comput. Phys. Commun.183, 2006 (2012), arXiv:1109.4189 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[37]
R. R. Parwani, Phys. Rev. D45, 4695 (1992), [Erratum: Phys.Rev.D 48, 5965 (1993)], arXiv:hep-ph/9204216. 23
work page internal anchor Pith review Pith/arXiv arXiv 1992
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.