[论文解读] Allowed and observable phases in two-Higgs-doublet Standard Models

G. Sartori, G. Valente|ArXiv.org|Apr 2, 2003

Particle physics theoretical and experimental studies参考文献 10被引用 8

一句话总结

本文表明，在两希格斯双重模型（2HDMs）中，规析性约束可使某些对称性允许的真空中相动态不可观测，违背了所有对称性允许的相都应具有物理可及性的原则。通过引入具有特定离散对称性的 SU(2) 单态标量场，作者证明了在规析性框架下，所有此类相均可实现可观测，从而解决了由四次希格斯势约束所施加的人为限制。

ABSTRACT

In Quantum Field Theory models of electro-weak interactions with spontaneously broken gauge invariance, renormalizability limits to four the degree of the Higgs potential, whose minima determine the possible vacuum states in tree approximation. Through the discussion of some simple variants of the Standard Model with two Higgs doublets, we show that, in some cases, the technical limit imposed by renormalizability can prevent the observability of some phases of the system, that would be otherwise allowed by the symmetry of the Higgs potential. An extension of the scalar sector through suitable SU$_2$ singlet particle fields can resolve this {\em unnatural} limitation.

研究动机与目标

• 识别在两希格斯双重模型中，规析性与所有对称性允许的真空中相物理可观测性之间的矛盾。
• 证明标准四次希格斯势限制了可观测相的范围，排除了某些对称性允许的相。
• 通过引入具有特定离散对称性的 SU(2) 单态标量场，提出一种扩展以恢复所有允许相的可观测性。
• 通过解析方法证明，在扩展模型中，所有对称性允许的相均可作为希格斯势的稳定局部极小值被动态实现。
• 建立扩展模型中所有允许相均可作为可观测相实现的条件，即使在规析性框架下亦成立。

提出的方法

• 利用几何不变量理论，作者分析了标量场构型在规范群 G 作用下的轨道空间 ℝⁿ/G，识别出对应于不同真空中相的层结构。
• 构建了标量 sector 的最小完整性基（MIB）不变量，包括具有特定变换性质的新型 SU(2) 单态。
• 将希格斯势表示为 MIB 元素的多项式，次数最高为四次，确保规析性的同时保持对称性结构。
• 通过与 MIB 相关的 Hessian 矩阵（P̂(p)-矩阵）的秩和正定性，推导出局部极小值的稳定性条件。
• 应用解析的控制技术，证明在高维轨道空间中，所有对称性允许的层结构中均存在稳定极小值。
• 显式构造了开半代数集 RH 和单位矩阵的邻域 IH，以保证在每个允许相中均存在稳定极小值。

实验结果

研究问题

• RQ1 在标准规析性希格斯势下，两希格斯双重模型中所有对称性允许的真空中相是否均可动态可观测？
• RQ2 2HDMs 中的四次希格斯势是否人为限制了可观测相的集合，排除了某些对称性允许的相？
• RQ3 通过引入 SU(2) 单态标量场，是否可恢复所有对称性允许相的可观测性，同时保持规析性？
• RQ4 势系数需满足何种条件，才能确保在扩展模型的每个允许相中均存在稳定局部极小值？
• RQ5 是否可能构建一个规析性模型，使得所有对称性允许的相既可动态实现，又具有微扰稳定性？

主要发现

• 通过添加具有特定离散对称性质的 SU(2) 单态场，原始两希格斯双重模型（模型 2）中所有对称性允许的相在扩展模型（模型 3）中均可实现可观测。
• 在系数满足解析定义的开集 RH 和单位矩阵邻域 IH 的前提下，扩展模型可将所有允许相实现为希格斯势的稳定局部极小值。
• 对应于层 S₄⁽⁴⁾ 的相仅在 a₅ = 0 时才稳定且可观测，表明扩展模型中存在一个关键的稳定性阈值。
• 在特殊情形 A = 1₁（单位矩阵）下，仅当 a₁ + a₂ < 0 且 a₃a₄ > 0 时，稳定极小值存在于原始模型 2 所允许的相中。
• 单态场的引入解决了规析性与物理要求之间的矛盾，即所有对称性允许的相都应可观测。
• 该模型在相 S₂⁽⁴⁾ 中支持 CP 破坏，使其成为通过一阶相变研究电弱重子生成的候选体系。