Stability and Symmetry Breaking in the General Two-Higgs-Doublet Model

Mathematically, the paper is solid and largely rigorous. Its main achievement is to reduce the stability and symmetry-breaking analysis of the general THDM to a problem on the forward light cone in gauge-invariant orbit space. Within that formalism, the derivations are coherent: the classification of stationary points, the stability conditions via the auxiliary function f(u), and the electroweak-symmetry-breaking criterion based on the largest positive Lagrange multiplier all follow logically from the stated setup. The main limitations are not fundamental errors but compressed derivations in some edge-case analyses, especially for exceptional stationary points and the counting of all relevant candidate values of u. These are important enough to keep the mathematical-validity score below perfect, but they do not invalidate the central results. Overall, the submission shows strong internal logic and a sound mathematical framework for the classical THDM potential.

This is a mathematically rigorous paper that develops a gauge-invariant formalism for analyzing the general two-Higgs-doublet potential. The central technical innovation — parameterizing gauge orbits by a Minkowski 4-vector (K_0, K) on the forward light cone — is justified rigorously in Appendix A using standard linear algebra (positive semidefinite matrix decomposition, rank classification). The stability and stationary-point analysis is reduced to the study of two meromorphic functions f(u) and f̃(u), with careful handling of regular and exceptional (degenerate) cases. The reasoning is reproducible and dimensionally consistent throughout. The consistency checks against established results are strong: the MSSM application (Sect. 8.1) recovers the well-known stability bound |m_3²| < |μ|² + (m_H1² + m_H2²)/2, the EWSB condition, and the standard mass spectrum including mixing angle α (eq. 8.25). The Gunion et al. potential application reproduces (4.49) as a limiting case. No internal contradictions, circular derivations, central definition drift, or unverified load-bearing steps were detected. Minor omissions (e.g., the count n ≤ 10, compression of the orthogonal-minimization argument leading to (4.39)) are local and do not affect the central claims.

Mathematically, the paper presents a coherent and largely rigorous bilinear (gauge-invariant) reformulation of the general THDM scalar potential and uses it to derive stability and symmetry-breaking criteria. The use of compactness of the |k|<=1 domain to reduce stability to checking stationary points is logically sound, and the Lagrange-multiplier framework for both the stability boundary problem (Sec. 4) and the full potential stationary points (Sec. 5) is correctly applied. The main mathematically load-bearing results—Theorems 1–3—follow from consistent algebraic conditions, and the ordering of candidate EWSB minima by the Lagrange multiplier u is a particularly clean consequence of the Minkowski-type structure of the orbit space. The only notable rigor limitation is that the weak/marginal stability subcase (where J4 can vanish) relies on a somewhat compressed constrained-minimisation step (4.39)-(4.40); this does not undermine the strong-stability results or the stationary-point/EWSB selection logic, but it does leave a gap in the completeness of Theorem 1(iii) unless the optimisation is explicitly verified.

This paper presents a mathematically rigorous framework for analyzing the Two-Higgs-Doublet Model using gauge-invariant functions. The mathematical development is largely sound, with clear theorems characterizing stability (Theorem 1) and stationary points (Theorem 2). The main weakness is structural rather than mathematical: the foundational result that K_μ parametrize gauge orbits is proven only in the appendix, creating a logical gap in the main text's flow. The stability analysis via f(u) and g(u) functions is novel and complete, handling both regular and exceptional cases systematically. The applications to MSSM and Gunion et al. potentials successfully demonstrate the method's utility, reproducing known results and clarifying previously unclear stability properties. Overall, this is high-quality mathematical physics with one organizational flaw that affects the score but not the validity of the results.

This paper presents a mathematically rigorous and complete analysis of the Two-Higgs-Doublet Model scalar potential. The authors successfully develop a systematic formalism using gauge-invariant functions that provides concise criteria for both classical stability and electroweak symmetry breaking. The theoretical framework is comprehensive, with all variables properly defined and boundary conditions clearly addressed. The completeness is demonstrated through detailed applications to well-known models where the general results correctly reproduce established limits. While some technical aspects of exceptional solutions could be elaborated further, the core theoretical development is thorough and the stated objectives are fully met through a coherent mathematical structure.

This is a well-supported and largely complete paper on its own terms. The authors do not merely propose a reformulation; they carry it through to explicit stability criteria, a practical stationary-point method, and vacuum-selection rules for electroweak symmetry breaking. The work is internally consistent, mathematically organised, and supported by concrete examples that recover known limits in the MSSM and clarify a less transparent THDM potential. Its main weaknesses are not missing core results but rather compressed exposition and limited scope beyond the classical level. The central derivations are present, the variables are defined, and the stated program is completed. As a completeness review, this reads as a strong paper with good internal support, though not maximally exhaustive in every algebraic and phenomenological detail.

This paper presents a robust and remarkably complete theoretical analysis of the scalar potential within the general Two-Higgs-Doublet Model. The authors systematically derive the conditions for potential stability and electroweak symmetry breaking, meticulously detailing the methodology for locating all stationary points. A significant strength of this work is its rigorous treatment of boundary conditions and edge cases, such as those involving singular matrices, ensuring the formalism's applicability across various parameter spaces. The consistent use of gauge-invariant functions throughout the derivations contributes greatly to the clarity and conciseness of the presented criteria. The work clearly outlines its scope—focusing on the classical level of the potential—and explicitly notes areas for future quantum-level investigations. The application of the derived formalism to well-known models like the MSSM and the Gunion et al. potential successfully reproduces established results and clarifies their vacuum structures, demonstrating the practical utility and internal consistency of the proposed method. The overall completeness and internal logical consistency of the arguments are exemplary, making this a highly valuable contribution to the theoretical understanding of THDMs.

This is a solid methodological paper that makes a meaningful contribution to the analysis of the general Two-Higgs-Doublet Model. Its main scientific value is not a new physical mechanism but a compact gauge-invariant formalism that yields unified criteria for stability, electroweak symmetry breaking, and the classification of stationary points. That is a genuine advance in organization and interpretability, especially because the general THDM scalar potential has a large parameter space and many prior treatments were symmetry-restricted or model-specific. The work is clearest and strongest when stated as a framework paper: it produces useful theorem-level criteria, then validates them by recovering standard MSSM results and analyzing a less transparent literature potential. Its weakest dimension is falsifiability, not because it is unscientific, but because its outputs are mostly internal theoretical constraints rather than novel direct empirical predictions. As a communication piece, it is generally clear for expert readers, though some derivations are dense enough that the conceptual message could have been made more explicit at several points.

This is a solid methodological contribution to the analysis of the general Two-Higgs-Doublet Model. By expressing the scalar potential in gauge-invariant bilinears that parametrize the gauge orbit space as a forward-light-cone region, the authors derive concise, basis-independent theorems for classical stability and electroweak symmetry breaking, including a complete catalog of stationary points via auxiliary functions f(u) and f'(u). The framework is rigorously developed, including careful treatment of exceptional (degenerate) cases, and is supported by appendices proving the gauge-orbit structure for both two and n Higgs doublets. Validation comes through two worked examples: the MSSM (where all standard results — D-flat directions, the |m_3²| < |μ|² + ½(m_H1² + m_H2²) stability bound, the tree-level mass spectrum and mixing angles — are recovered cleanly) and the Gunion et al. potential (where the formalism reveals previously unclarified stationary-point structure, including parameter regions with CP-violating minima distinct from the 'obvious' vacuum). Falsifiability is good in the indirect sense that the derived constraints translate into testable Higgs-sector parameter bounds confronted by collider data. The work is not paradigm-shifting but is a useful, well-executed clarification and systematization of THDM vacuum analysis with clear utility for practitioners.

In the MSSM at tree level a necessary and sufficient condition for quartic-flat-direction stability is |m_3^2| < |\mu|^2 + (m_{H1}^2 + m_{H2}^2)/2 (equation (8.10)), so that the D-flat directions are stabilized by the quadratic terms.

Falsifiable if: If measured or independently determined soft mass parameters violate the inequality, the MSSM tree-level potential would be unbounded along D-flat directions (classical instability) unless loop corrections change the conclusion.

The charged Higgs mass-squared at tree level is m_{H^{\pm}}^2 = 2 u_0 v_0^2, and for a viable electroweak-breaking global minimum one requires u_0>0, hence m_{H^{\pm}}^2>0 (equations (7.20) and (6.13)).

Falsifiable if: Observation of a charged scalar with mass-squared inconsistent with this relation or discovery of tachyonic (negative m^2) charged scalars would falsify the assumed stable tree-level vacuum with u_0>0 (or indicate large radiative effects or extended dynamics).

In the MSSM at tree level the charged Higgs mass relates to the pseudoscalar mass by m_{H^{\pm}}^2 = m_{A^0}^2 + m_W^2 and the CP-even neutral masses satisfy the standard MSSM formulas (equation (8.20) and (8.22)).

Falsifiable if: Experimental measurements of m_{H^{\pm}}, m_{A^0}, and m_W that violate the relation beyond expected theoretical uncertainties (including radiative corrections) would falsify the tree-level MSSM Higgs-sector relations.