pith. machine review for the scientific record. sign in

arxiv: 2605.13939 · v1 · submitted 2026-05-13 · ✦ hep-ph

Recognition: 2 theorem links

· Lean Theorem

Probing the Electroweak Phase Transition in the Flipped Two-Higgs-Doublet Model at the LHC

Authors on Pith no claims yet

Pith reviewed 2026-05-15 02:45 UTC · model grok-4.3

classification ✦ hep-ph
keywords electroweak phase transitiontwo-Higgs-doublet modelflipped 2HDMLHC searchesheavy Higgsfirst-order phase transitionmulti-bottom final states
0
0 comments X

The pith

The high-luminosity LHC can detect multi-bottom signals from heavy Higgs bosons in the flipped two-Higgs-doublet model that support strong first-order electroweak phase transitions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines the flipped Type-Y two-Higgs-doublet model at large tan beta to identify regions where the electroweak phase transition is strongly first order. These regions fall into two mass hierarchies for the heavy Higgs states, each leading to distinct transition dynamics and collider signatures. Calculations show that associated production with bottom quarks can produce four-bottom or mixed lepton final states with high statistical significance at the high-luminosity LHC. This approach matters because it connects direct collider searches to the early-universe dynamics that may explain the matter asymmetry.

Core claim

In the CP-conserving flipped two-Higgs-doublet model with tan beta greater than 30, parameter regions supporting a strong first-order electroweak phase transition exist in two hierarchies: one with m_H± approximately equal to m_H less than m_A proceeding via one-step transitions, and another with m_H less than m_H± approximately equal to m_A allowing one- or two-step transitions that open additional decays. Both satisfy nucleation conditions without false vacuum trapping. LHC prospects are assessed via bottom-associated production yielding high significances in multi-b final states.

What carries the argument

The two heavy-Higgs mass hierarchies (A: m_H± ≈ m_H < m_A and B: m_H < m_H± ≈ m_A) with heaviest CP-odd Higgs A that determine the type of electroweak phase transition and the accessible decay channels for collider searches.

If this is right

  • The four-bottom final state from bbH production reaches signal significances above 25 at the 13 TeV LHC with 300 fb inverse and above 100 at the HL-LHC.
  • The cascade channel in scenario B can discriminate between different phase transition scenarios.
  • Optimized BDT selections achieve significances around 6.8 in favorable regions at the HL-LHC.
  • Nucleation conditions are satisfied in all viable regions, avoiding false-vacuum trapping.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Observation of these signals would provide direct evidence linking collider data to the strength of the electroweak phase transition.
  • Similar mass hierarchy patterns could be tested in other extensions of the Higgs sector.
  • Non-observation at the quoted luminosities would strongly constrain the strong first-order transition parameter space in this model.

Load-bearing premise

The viability of the parameter regions and the quoted signal significances rely on the accuracy of the thermal effective potential calculations and the BDT-based multivariate analysis.

What would settle it

Absence of the predicted excess in the multi-bottom channels at the high-luminosity LHC with 3 ab inverse luminosity would rule out the viable strong first-order electroweak phase transition regions identified in the model.

Figures

Figures reproduced from arXiv: 2605.13939 by Jidong Du, Wei Su, Yun Jiang.

Figure 1
Figure 1. Figure 1: FIG. 1. Points generated in the parameter scan shown in [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. EWPT results in the [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Production cross sections at which [PITH_FULL_IMAGE:figures/full_fig_p007_4.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. ( [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. Branching ratios of the pseudoscalar [PITH_FULL_IMAGE:figures/full_fig_p008_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6. Normalized distributions for the [PITH_FULL_IMAGE:figures/full_fig_p008_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: FIG. 7. Normalized kinematic distributions for BMP1 (sig [PITH_FULL_IMAGE:figures/full_fig_p011_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: FIG. 8. Two-dimensional distribution of ( [PITH_FULL_IMAGE:figures/full_fig_p011_8.png] view at source ↗
Figure 10
Figure 10. Figure 10: FIG. 10. Signal significance and phase transition strength in [PITH_FULL_IMAGE:figures/full_fig_p012_10.png] view at source ↗
read the original abstract

We study the CP-conserving flipped (Type-Y) Two-Higgs-Doublet Model (2HDM) in the large-$\tan\beta$ regime ($\tan\beta>30$), focusing on its implications for electroweak phase transitions (EWPTs) and LHC phenomenology. Viable parameter regions supporting a strong first-order EWPT fall into two heavy-Higgs hierarchies: (A) $m_{H^\pm}\simeq m_H<m_A$ and (B) $m_H<m_{H^\pm} \simeq m_A$, both featuring a heaviest CP-odd Higgs $A$. Scenario~A typically proceeds via one-step transitions with lower nucleation temperatures, while Scenario~B allows one-step or two-step transitions, opening the decay $A\to H^\pm W^\mp$ and yielding richer collider signatures. In all cases, nucleation conditions are satisfied, avoiding false-vacuum trapping. We assess LHC prospects through bottom-associated production with multi-$b$ final states: $pp\to bbH\to 4b$ and $pp\to bbA\to bb W^\pm H^\mp\to 4b\ell\ell\nu\nu$. The $4b$ channel offers high-statistics discovery potential, reaching signal significances $z\gtrsim 25$ at the 13 TeV LHC with 300 fb$^{-1}$ and up to $z\gtrsim 100$ at the 14 TeV HL-LHC with 3 ab$^{-1}$. The cascade channel, while experimentally more challenging, directly probes the heavy Higgs spectrum and can discriminate between EWPT scenarios. Using optimized selections with a BDT-based multivariate analysis, significances of $z \simeq 6.8$ can be achieved in favorable regions of Scenario~B at the HL-LHC. These results indicate that the HL-LHC can realistically probe the BSM Higgs sector responsible for a strong first-order EWPT and provide insight into the underlying phase transition dynamics in the flipped 2HDM.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper studies the CP-conserving flipped (Type-Y) 2HDM at large tanβ>30, identifying viable parameter regions supporting strong first-order EWPTs in two heavy-Higgs hierarchies (A: m_{H±}≃m_H < m_A; B: m_H < m_{H±}≃m_A), with scenario A favoring one-step transitions and B allowing one- or two-step transitions plus the decay A→H±W∓. It evaluates LHC prospects for bottom-associated production in the 4b and cascade 4bℓℓνν channels, reporting high signal significances (z≳25 at 13 TeV 300 fb^{-1} and z≳100 at HL-LHC 3 ab^{-1} for 4b; z≃6.8 for cascade in B) using BDT multivariate analysis, concluding that HL-LHC can probe the BSM sector responsible for strong FO EWPT.

Significance. If the one-loop thermal effective potential with daisy resummation accurately identifies the EWPT-viable regions and the BDT selections are robust against systematics, the work provides a direct mapping from EWPT nucleation conditions to observable multi-b signatures, strengthening the case for using collider data to constrain phase-transition dynamics in 2HDM variants.

major comments (2)
  1. [EWPT calculation (thermal potential section)] The central claim that the scanned regions support strong FO EWPT with satisfied nucleation conditions rests on the one-loop thermal effective potential (including daisy resummation) used to compute v_c/T_c and barrier heights; without explicit checks against two-loop corrections or alternative resummation schemes, small shifts could move points out of the viable regime for hierarchies A and B.
  2. [LHC phenomenology and BDT analysis] The quoted significances z≳25 (13 TeV) and z≳100 (HL-LHC) for pp→bbH→4b and z≃6.8 for the cascade channel in scenario B are obtained from Monte Carlo simulations and BDT optimization; the manuscript must detail the background modeling, systematic uncertainties, and any post-hoc selection criteria to confirm these values are not inflated by unaccounted effects.
minor comments (2)
  1. [EWPT discussion] Clarify the precise definition of the nucleation temperature and no-trapping condition used to validate the EWPT scenarios.
  2. [Parameter space and hierarchies] Ensure consistent notation for the heavy Higgs masses across figures and text when distinguishing hierarchies A and B.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and constructive comments, which have helped strengthen the manuscript. We address each major comment below and have revised the paper accordingly.

read point-by-point responses
  1. Referee: The central claim that the scanned regions support strong FO EWPT with satisfied nucleation conditions rests on the one-loop thermal effective potential (including daisy resummation) used to compute v_c/T_c and barrier heights; without explicit checks against two-loop corrections or alternative resummation schemes, small shifts could move points out of the viable regime for hierarchies A and B.

    Authors: We acknowledge that the one-loop thermal effective potential with daisy resummation is an approximation and that two-loop corrections could affect the precise boundaries of the viable parameter space. In the revised manuscript we have added a dedicated paragraph in the EWPT section discussing the expected magnitude of higher-order effects, drawing on existing literature for 2HDM models, and we report a limited sensitivity study in which the renormalization scale and daisy-resummation parameters are varied. This study shows that the regions supporting strong first-order transitions in both hierarchies A and B remain stable within the estimated theoretical uncertainty. A full two-loop calculation lies beyond the scope of the present work but is noted as a worthwhile direction for future study. revision: partial

  2. Referee: The quoted significances z≳25 (13 TeV) and z≳100 (HL-LHC) for pp→bbH→4b and z≃6.8 for the cascade channel in scenario B are obtained from Monte Carlo simulations and BDT optimization; the manuscript must detail the background modeling, systematic uncertainties, and any post-hoc selection criteria to confirm these values are not inflated by unaccounted effects.

    Authors: We agree that additional documentation is required. The revised Section 4 now contains: (i) an explicit list of all background processes (tt̄, single-top, diboson, Z+jets, W+jets) together with their generation settings and normalization procedures; (ii) a table of systematic uncertainties (luminosity 2.5 %, b-tagging efficiencies, jet-energy scale, etc.) and their propagation to the final significances; (iii) a description of the BDT training, including the feature set, cross-validation strategy, and hyper-parameter optimization; and (iv) a statement confirming that no post-hoc cuts were applied beyond the BDT score threshold chosen to maximize significance. Updated tables and an appendix figure showing the BDT output distributions have been included. The quoted significances remain unchanged after these refinements. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper selects viable parameter regions by computing the one-loop thermal effective potential (with daisy resummation) to enforce strong first-order EWPT conditions and nucleation criteria, then independently simulates LHC signals for those regions using standard Monte Carlo event generation and BDT-based selections on channels such as bbH to 4b and the cascade decay. No equation reduces a prediction to a fitted input by construction, no load-bearing premise rests on self-citation, and the collider significances are obtained from external simulation tools rather than algebraic rearrangement of the EWPT equations. The chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

2 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard 2HDM assumptions and numerical evaluations of phase transitions and collider signals, with parameters tuned to meet EWPT criteria; no new entities are introduced.

free parameters (2)
  • tan beta
    Regime tan beta >30 is selected as the focus of the study.
  • Heavy Higgs masses
    Masses of H, A, H± are arranged into two hierarchies to satisfy strong first-order EWPT conditions.
axioms (2)
  • domain assumption CP-conserving flipped (Type-Y) 2HDM
    The model is defined as CP-conserving and flipped as stated in the abstract.
  • domain assumption Standard thermal effective potential for EWPT
    Used to determine nucleation temperatures and transition strengths.

pith-pipeline@v0.9.0 · 5678 in / 1546 out tokens · 63157 ms · 2026-05-15T02:45:11.413490+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

67 extracted references · 67 canonical work pages

  1. [1]

    Observation of a new particle in the search for the Standard Model Higgs boson with the AT- LAS detector at the LHC

    Georges Aad et al. Observation of a new particle in the search for the Standard Model Higgs boson with the AT- LAS detector at the LHC. Phys. Lett. B, 716:1–29, 2012

  2. [2]

    Observation of a New Boson at a Mass of 125 GeV with the CMS Experiment at the LHC

    Serguei Chatrchyan et al. Observation of a New Boson at a Mass of 125 GeV with the CMS Experiment at the LHC. Phys. Lett. B, 716:30–61, 2012

  3. [3]

    C. L. Bennett et al. Nine-Year Wilkinson Microwave Anisotropy Probe (WMAP) Observations: Final Maps and Results. Astrophys. J. Suppl., 208:20, 2013

  4. [4]

    Morrissey and Michael J

    David E. Morrissey and Michael J. Ramsey-Musolf. Elec- troweak baryogenesis. New J. Phys., 14:125003, 2012

  5. [5]

    A. D. Sakharov. Violation of CP Invariance, C asymme- try, and baryon asymmetry of the universe. Pisma Zh. Eksp. Teor. Fiz., 5:32–35, 1967

  6. [6]

    Guy D. Moore. Measuring the broken phase sphaleron rate nonperturbatively. Phys. Rev. D, 59:014503, 1999

  7. [7]

    Detecting gravitational waves from cosmological phase transitions with LISA: an update

    Chiara Caprini et al. Detecting gravitational waves from cosmological phase transitions with LISA: an update. JCAP, 03:024, 2020

  8. [8]

    Laser Interferometer Space An- tenna

    Pau Amaro-Seoane et al. Laser Interferometer Space An- tenna. 2 2017

  9. [9]

    The Taiji Program in Space for gravitational wave physics and the nature of gravity

    Wen-Rui Hu and Yue-Liang Wu. The Taiji Program in Space for gravitational wave physics and the nature of gravity. Natl. Sci. Rev., 4(5):685–686, 2017

  10. [10]

    TianQin: a space-borne gravitational wave detector

    Jun Luo et al. TianQin: a space-borne gravitational wave detector. Class. Quant. Grav., 33(3):035010, 2016

  11. [11]

    Kajantie, M

    K. Kajantie, M. Laine, K. Rummukainen, and Mikhail E. Shaposhnikov. Is there a hot electroweak phase transi- 14 tion atm H ≳m W ? Phys. Rev. Lett., 77:2887–2890, 1996

  12. [12]

    Kajantie, M

    K. Kajantie, M. Laine, K. Rummukainen, and Mikhail E. Shaposhnikov. A Nonperturbative analysis of the finite T phase transition in SU(2) x U(1) electroweak theory. Nucl. Phys. B, 493:413–438, 1997

  13. [13]

    Csikor, Z

    F. Csikor, Z. Fodor, and J. Heitger. Endpoint of the hot electroweak phase transition. Phys. Rev. Lett., 82:21–24, 1999

  14. [14]

    Y. Aoki, F. Csikor, Z. Fodor, and A. Ukawa. The End- point of the first order phase transition of the SU(2) gauge Higgs model on a four-dimensional isotropic lat- tice. Phys. Rev. D, 60:013001, 1999

  15. [15]

    G. C. Branco, P. M. Ferreira, L. Lavoura, M. N. Rebelo, Marc Sher, and Joao P. Silva. Theory and phenomenol- ogy of two-Higgs-doublet models. Phys. Rept., 516:1– 102, 2012

  16. [16]

    Cline and Pierre-Anthony Lemieux

    James M. Cline and Pierre-Anthony Lemieux. Elec- troweak phase transition in two Higgs doublet models. Phys. Rev. D, 55:3873–3881, 1997

  17. [17]

    Huber, and Michael Seniuch

    Lars Fromme, Stephan J. Huber, and Michael Seniuch. Baryogenesis in the two-Higgs doublet model. JHEP, 11:038, 2006

  18. [18]

    Cline, Kimmo Kainulainen, and Michael Trott

    James M. Cline, Kimmo Kainulainen, and Michael Trott. Electroweak Baryogenesis in Two Higgs Doublet Models and B meson anomalies. JHEP, 11:089, 2011

  19. [19]

    G. C. Dorsch, S. J. Huber, K. Mimasu, and J. M. No. Echoes of the Electroweak Phase Transition: Discovering a second Higgs doublet throughA 0 →ZH 0. Phys. Rev. Lett., 113(21):211802, 2014

  20. [20]

    G. C. Dorsch, S. J. Huber, T. Konstandin, and J. M. No. A Second Higgs Doublet in the Early Universe: Baryo- genesis and Gravitational Waves. JCAP, 05:052, 2017

  21. [21]

    Basler, M

    P. Basler, M. Krause, M. Muhlleitner, J. Wittbrodt, and A. Wlotzka. Strong First Order Electroweak Phase Tran- sition in the CP-Conserving 2HDM Revisited. JHEP, 02:121, 2017

  22. [22]

    Pe- tersen

    Anders Haarr, Anders Kvellestad, and Troels C. Pe- tersen. Disfavouring Electroweak Baryogenesis and a hid- den Higgs in a CP-violating Two-Higgs-Doublet Model. 11 2016

  23. [23]

    The CP-Violating 2HDM in Light of a Strong First Order Electroweak Phase Transition and Implica- tions for Higgs Pair Production

    Philipp Basler, Margarete M¨ uhlleitner, and Jonas Wit- tbrodt. The CP-Violating 2HDM in Light of a Strong First Order Electroweak Phase Transition and Implica- tions for Higgs Pair Production. JHEP, 03:061, 2018

  24. [24]

    A new insight into the phase transition in the early Universe with two Higgs doublets

    J´ er´ emy Bernon, Ligong Bian, and Yun Jiang. A new insight into the phase transition in the early Universe with two Higgs doublets. JHEP, 05:151, 2018

  25. [25]

    2HDM Neutral Scalars under the LHC

    Felix Kling, Shufang Su, and Wei Su. 2HDM Neutral Scalars under the LHC. JHEP, 06:163, 2020

  26. [26]

    Resonant top pair searches at the LHC: A win- dow to the electroweak phase transition

    Dorival Gon¸ calves, Ajay Kaladharan, and Yongcheng Wu. Resonant top pair searches at the LHC: A win- dow to the electroweak phase transition. Phys. Rev. D, 107(7):075040, 2023

  27. [27]

    Update of the global electroweak fit and constraints on two-Higgs- doublet models

    Johannes Haller, Andreas Hoecker, Roman Kogler, Klaus M¨ onig, Thomas Peiffer, and J¨ org Stelzer. Update of the global electroweak fit and constraints on two-Higgs- doublet models. Eur. Phys. J. C, 78(8):675, 2018

  28. [28]

    M. N. Dubinin and A. V. Semenov. Triple and quar- tic interactions of Higgs bosons in the general two Higgs doublet model. 12 1998

  29. [29]

    Gunion, Howard E

    J´ er´ emy Bernon, John F. Gunion, Howard E. Haber, Yun Jiang, and Sabine Kraml. Scrutinizing the alignment limit in two-Higgs-doublet models: m h=125 GeV. Phys. Rev. D, 92(7):075004, 2015

  30. [30]

    Gunion, Howard E

    J´ er´ emy Bernon, John F. Gunion, Howard E. Haber, Yun Jiang, and Sabine Kraml. Scrutinizing the alignment limit in two-Higgs-doublet models. II. m H=125 GeV. Phys. Rev. D, 93(3):035027, 2016

  31. [31]

    G. C. Dorsch, S. J. Huber, K. Mimasu, and J. M. No. Hierarchical versus degenerate 2HDM: The LHC run 1 legacy at the onset of run 2.Phys. Rev. D, 93(11):115033, 2016

  32. [32]

    Relaxed constraints on the heavy scalar masses in 2HDM

    Siddhartha Karmakar and Subhendu Rakshit. Relaxed constraints on the heavy scalar masses in 2HDM. Phys. Rev. D, 100(5):055016, 2019

  33. [33]

    Charged Higgs search in 2HDM

    Juxiang Li, Huayang Song, Shufang Su, and Wei Su. Charged Higgs search in 2HDM. JHEP, 05:063, 2025

  34. [34]

    Cornering the Two Higgs Doublet Model Type II

    Oliver Atkinson, Matthew Black, Alexander Lenz, Alek- sey Rusov, and James Wynne. Cornering the Two Higgs Doublet Model Type II. JHEP, 04:172, 2022

  35. [35]

    Misiak, Abdur Rehman, and Matthias Steinhauser

    M. Misiak, Abdur Rehman, and Matthias Steinhauser. Towards B→X sγat the NNLO in QCD without inter- polation in m c. JHEP, 06:175, 2020

  36. [36]

    Weak radia- tive decays of the B meson and bounds onM H± in the Two-Higgs-Doublet Model

    Mikolaj Misiak and Matthias Steinhauser. Weak radia- tive decays of the B meson and bounds onM H± in the Two-Higgs-Doublet Model. Eur. Phys. J. C, 77(3):201, 2017

  37. [37]

    Arbey, F

    A. Arbey, F. Mahmoudi, O. Stal, and T. Stefaniak. Sta- tus of the Charged Higgs Boson in Two Higgs Doublet Models. Eur. Phys. J. C, 78(3):182, 2018

  38. [38]

    J. P. Lees et al. Evidence for an excess of ¯B→D (∗)τ −¯ντ decays. Phys. Rev. Lett., 109:101802, 2012

  39. [39]

    2HDMC: Two-Higgs-Doublet Model Calculator Physics and Manual

    David Eriksson, Johan Rathsman, and Oscar Stal. 2HDMC: Two-Higgs-Doublet Model Calculator Physics and Manual. Comput. Phys. Commun., 181:189–205, 2010

  40. [40]

    HiggsTools: BSM scalar phenomenology with new versions of HiggsBounds and HiggsSignals

    Henning Bahl, Thomas Biek¨ otter, Sven Heinemeyer, Cheng Li, Steven Paasch, Georg Weiglein, and Jonas Wittbrodt. HiggsTools: BSM scalar phenomenology with new versions of HiggsBounds and HiggsSignals. Comput. Phys. Commun., 291:108803, 2023

  41. [41]

    S et al. Navas. Review of particle physics. Phys. Rev. D, 110:030001, Aug 2024

  42. [42]

    HiggsSignals-2: Probing new physics with precision Higgs measurements in the LHC 13 TeV era

    Philip Bechtle, Sven Heinemeyer, Tobias Klingl, Tim Stefaniak, Georg Weiglein, and Jonas Wittbrodt. HiggsSignals-2: Probing new physics with precision Higgs measurements in the LHC 13 TeV era. Eur. Phys. J. C, 81(2):145, 2021

  43. [43]

    HiggsBounds-5: Testing Higgs Sectors in the LHC 13 TeV Era

    Philip Bechtle, Daniel Dercks, Sven Heinemeyer, Tobias Klingl, Tim Stefaniak, Georg Weiglein, and Jonas Wit- tbrodt. HiggsBounds-5: Testing Higgs Sectors in the LHC 13 TeV Era. Eur. Phys. J. C, 80(12):1211, 2020

  44. [44]

    Search for heavy neutral Higgs bosons produced in association withb-quarks and decaying into b-quarks at √s= 13 TeV with the ATLAS detector

    Georges Aad et al. Search for heavy neutral Higgs bosons produced in association withb-quarks and decaying into b-quarks at √s= 13 TeV with the ATLAS detector. Phys. Rev. D, 102(3):032004, 2020

  45. [45]

    Search for beyond the stan- dard model Higgs bosons decaying into a b b pair in pp collisions at √s= 13 TeV

    Albert M Sirunyan et al. Search for beyond the stan- dard model Higgs bosons decaying into a b b pair in pp collisions at √s= 13 TeV. JHEP, 08:113, 2018

  46. [46]

    Search for a heavy Higgs boson decaying into aZboson and another heavy Higgs boson in theℓℓbbfinal state inppcollisions at √s= 13 TeV with the ATLAS detector

    Morad Aaboud et al. Search for a heavy Higgs boson decaying into aZboson and another heavy Higgs boson in theℓℓbbfinal state inppcollisions at √s= 13 TeV with the ATLAS detector. Phys. Lett. B, 783:392–414, 2018

  47. [47]

    Search for new neutral Higgs bosons through the H→ZA→ℓ +ℓ−b¯b process in pp 15 collisions at √s= 13 TeV

    Albert M Sirunyan et al. Search for new neutral Higgs bosons through the H→ZA→ℓ +ℓ−b¯b process in pp 15 collisions at √s= 13 TeV. JHEP, 03:055, 2020

  48. [48]

    Search for a heavy pseudoscalar Higgs boson decaying into a 125 GeV Higgs boson and a Z boson in final states with two tau and two light leptons at √s= 13 TeV

    Albert M Sirunyan et al. Search for a heavy pseudoscalar Higgs boson decaying into a 125 GeV Higgs boson and a Z boson in final states with two tau and two light leptons at √s= 13 TeV. JHEP, 03:065, 2020

  49. [49]

    Search for a heavy pseudoscalar boson decaying to a Z and a Higgs boson at√s= 13 TeV

    Albert M Sirunyan et al. Search for a heavy pseudoscalar boson decaying to a Z and a Higgs boson at√s= 13 TeV. Eur. Phys. J. C, 79(7):564, 2019

  50. [50]

    Search for a heavy Higgs boson de- caying into a Z boson and another heavy Higgs boson in theℓℓbbandℓℓW Wfinal states inppcollisions at√s= 13 TeV with the ATLAS detector

    Georges Aad et al. Search for a heavy Higgs boson de- caying into a Z boson and another heavy Higgs boson in theℓℓbbandℓℓW Wfinal states inppcollisions at√s= 13 TeV with the ATLAS detector. Eur. Phys. J. C, 81(5):396, 2021

  51. [51]

    Search for pair production of Higgs bosons in theb ¯bb¯bfinal state using proton-proton colli- sions at √s= 13 TeV with the ATLAS detector

    Morad Aaboud et al. Search for pair production of Higgs bosons in theb ¯bb¯bfinal state using proton-proton colli- sions at √s= 13 TeV with the ATLAS detector. JHEP, 01:030, 2019

  52. [52]

    The Effec- tive potential and first order phase transitions: Beyond leading-order

    Peter Brockway Arnold and Olivier Espinosa. The Effec- tive potential and first order phase transitions: Beyond leading-order. Phys. Rev. D, 47:3546, 1993. [Erratum: Phys.Rev.D 50, 6662 (1994)]

  53. [53]

    M. E. Carrington. The Effective potential at finite tem- perature in the Standard Model. Phys. Rev. D, 45:2933– 2944, 1992

  54. [54]

    Rajesh R. Parwani. Resummation in a hot scalar field theory. Phys. Rev. D, 45:4695, 1992. [Erratum: Phys.Rev.D 48, 5965 (1993)]

  55. [55]

    PhaseTracer: tracing cosmological phases and calculating transition properties

    Peter Athron, Csaba Bal´ azs, Andrew Fowlie, and Yang Zhang. PhaseTracer: tracing cosmological phases and calculating transition properties. Eur. Phys. J. C, 80(6):567, 2020

  56. [56]

    Thermal Resummation and Phase Transitions

    David Curtin, Patrick Meade, and Harikrishnan Ramani. Thermal Resummation and Phase Transitions. Eur. Phys. J. C, 78(9):787, 2018

  57. [57]

    The trap in the early Universe: impact on the interplay be- tween gravitational waves and LHC physics in the 2HDM

    Thomas Biek¨ otter, Sven Heinemeyer, Jos´ e Miguel No, Mar´ ıa Olalla Olea-Romacho, and Georg Weiglein. The trap in the early Universe: impact on the interplay be- tween gravitational waves and LHC physics in the 2HDM. JCAP, 03:031, 2023

  58. [58]

    Gunion, Yun Jiang, and Sabine Kraml

    Beranger Dumont, John F. Gunion, Yun Jiang, and Sabine Kraml. Constraints on and future prospects for Two-Higgs-Doublet Models in light of the LHC Higgs sig- nal. Phys. Rev. D, 90:035021, 2014

  59. [59]

    Alwall, R

    J. Alwall, R. Frederix, S. Frixione, V. Hirschi, F. Maltoni, O. Mattelaer, H. S. Shao, T. Stelzer, P. Torrielli, and M. Zaro. The automated computation of tree-level and next-to-leading order differential cross sections, and their matching to parton shower simulations. JHEP, 07:079, 2014

  60. [60]

    Christiansen, Richard Corke, Nishita Desai, Philip Ilten, Stephen Mrenna, Stefan Prestel, Christine O

    Torbj¨ orn Sj¨ ostrand, Stefan Ask, Jesper R. Christiansen, Richard Corke, Nishita Desai, Philip Ilten, Stephen Mrenna, Stefan Prestel, Christine O. Rasmussen, and Pe- ter Z. Skands. An introduction to PYTHIA 8.2. Comput. Phys. Commun., 191:159–177, 2015

  61. [61]

    de Favereau, C

    J. de Favereau, C. Delaere, P. Demin, A. Giammanco, V. Lemaˆ ıtre, A. Mertens, and M. Selvaggi. DELPHES 3, A modular framework for fast simulation of a generic collider experiment. JHEP, 02:057, 2014

  62. [62]

    Automated NLO/NLL Monte Carlo programs for the LHC

    Michael Czakon, Michael Kr¨ amer, and Malgorzata Worek. Automated NLO/NLL Monte Carlo programs for the LHC. Nucl. Part. Phys. Proc., 261-262:93–114, 2015

  63. [63]

    A set of top quark spin correlation and polarization ob- servables for the LHC: Standard Model predictions and new physics contributions

    Werner Bernreuther, Dennis Heisler, and Zong-Guo Si. A set of top quark spin correlation and polarization ob- servables for the LHC: Standard Model predictions and new physics contributions. JHEP, 12:026, 2015

  64. [64]

    Top-quark spin correlations as a tool to distinguish pseudoscalar A→ZH and scalar H→ZA signatures inZt tfinal states at the LHC

    Francisco Arco, Thomas Biek¨ otter, Panagiotis Stylianou, and Georg Weiglein. Top-quark spin correlations as a tool to distinguish pseudoscalar A→ZH and scalar H→ZA signatures inZt tfinal states at the LHC. JHEP, 06:170, 2025

  65. [65]

    Analytical solution of ttbar dilepton equations

    Lars Sonnenschein. Analytical solution of ttbar dilepton equations. Phys. Rev. D, 73:054015, 2006. [Erratum: Phys.Rev.D 78, 079902 (2008)]

  66. [66]

    ROOT — An object oriented data analysis framework

    Rene Brun and Fons Rademakers. ROOT — An object oriented data analysis framework. Nucl. Instrum. Meth. A, 389(1-2):81–86, 1997

  67. [67]

    TMVA - Toolkit for Multivariate Data Analysis

    Andreas Hocker et al. TMVA - Toolkit for Multivariate Data Analysis. 3 2007