arxiv: 2603.15849 · v2 · submitted 2026-03-16 · ✦ hep-ph

Recognition: 2 theorem links

· Lean Theorem

Spontaneous CP violation in the D₅-symmetric four-Higgs-doublet models

Dongping Fu , Michihisa Takeuchi

Authors on Pith no claims yet

Pith reviewed 2026-05-15 09:38 UTC · model grok-4.3

classification ✦ hep-ph

keywords four-Higgs-doublet modelD5 symmetryspontaneous CP violationneutral vacuascalar potentialCP conservationsymmetry breaking

0 comments

The pith

Some complex neutral vacua in the D5-symmetric four-Higgs-doublet model spontaneously break CP symmetry.

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

The paper constructs a four-Higgs-doublet model with exact D5 symmetry and an explicitly CP-conserving scalar potential. It classifies every possible neutral vacuum and determines the parameter ranges that allow each solution to exist. Certain complex vacua produce spontaneous CP violation after symmetry breaking, while other complex vacua remain CP-conserving. One of the CP-violating complex vacua is identified as the most general form. The analysis supplies the Hessian conditions needed for each vacuum to be a stable local minimum and relates the real and complex solutions.

Core claim

In the D5-symmetric 4HDM with an explicitly CP-conserving potential, after spontaneous symmetry breaking some of the complex vacua lead to spontaneous CP violation in the potential, while the remaining complex vacua still preserve CP conservation. Among these complex vacua with spontaneous CP violation, there is one that can be regarded as the most general form. The complete list of real and complex vacua is provided together with the constraints on the potential parameters and the positive-definiteness conditions on the Hessian required for each vacuum to be a local minimum.

What carries the argument

The full classification of real and complex neutral vacua of the D5-symmetric scalar potential, together with the parameter constraints and Hessian positive-definiteness conditions that determine which vacua are stable minima.

Load-bearing premise

The scalar potential is assumed to be explicitly CP conserving while the D5 symmetry is imposed exactly, and only neutral vacua are considered.

What would settle it

A demonstration that no complex vacuum simultaneously satisfies its existence constraints, the positive-definiteness conditions on the Hessian, and spontaneous CP violation would show that spontaneous CP breaking does not occur in any stable neutral vacuum of this model.

read the original abstract

We have constructed a four-Higgs-doublet model (4HDM) based on D_5 symmetry, and investigated in detail its full neutral vacuum structure. In the framework of explicit CP conservation in the scalar potential, we focused on whether CP symmetry can be spontaneously broken. We have provided a complete list of all possible real and complex vacua, along with the constraints on the potential parameters required for each vacuum solution to exist. We also discussed the positive definiteness conditions that the Hessian must satisfy for each vacuum to become a local minimum of the potential. The results show that, after spontaneous symmetry breaking, some of the complex vacua can lead to spontaneous CP violation in the potential, while the remaining complex vacua still preserve CP conservation. Among these complex vacua with spontaneous CP violation, there is one that can be regarded as the most general form. Furthermore, we discussed the relationship between the real and complex vacua.

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.

Desk Editor's Note private letter to a colleague

A solid, detailed classification of neutral vacua in the D5-symmetric 4HDM that identifies which complex solutions produce spontaneous CP violation.

read the letter

The paper works through the full set of real and complex neutral vacua in a four-Higgs-doublet model with exact D5 symmetry and an explicitly CP-conserving potential. It gives the parameter constraints needed for each vacuum to exist and the Hessian conditions that make it a local minimum. Among the complex solutions, it flags the subset where the relative phases cannot be removed by field redefinitions that preserve both the symmetry and the CP-even form of the potential, so spontaneous CP violation occurs. One of those is singled out as the most general form, and the real and complex cases are related to each other. That enumeration and the explicit conditions are the new piece; earlier work on 4HDMs with discrete symmetries did not cover this symmetry in the same exhaustive way. The method is straightforward minimization under the imposed symmetry, and the results line up internally with no circular steps or obvious gaps in the logic described. The main limitations are scope rather than flaws in execution. Only neutral vacua are treated, which is the usual starting point but leaves charged sectors for later. The symmetry is taken exact, so soft-breaking effects are not explored. These choices keep the paper focused and manageable, but they mean the results apply strictly inside the stated assumptions. The work is aimed at people who build concrete multi-Higgs models for baryogenesis or CP-violation studies. A reader already working on extended Higgs sectors will find usable constraints and examples here. It is worth sending to peer review because the classification is new, the derivations are reproducible in principle, and the claims are stated clearly enough for referees to check.

Referee Report

0 major / 2 minor

Summary. The paper constructs a D_5-symmetric four-Higgs-doublet model with an explicitly CP-conserving scalar potential and performs a complete classification of its neutral vacua. It solves the minimization equations to list all real and complex vacuum solutions, derives the associated constraints on the potential parameters, and supplies the Hessian positive-definiteness conditions required for each solution to be a local minimum. The analysis shows that a subset of the complex vacua spontaneously break CP while the remainder preserve it, identifies one complex vacuum as the most general form exhibiting spontaneous CP violation, and discusses the relations between real and complex vacua.

Significance. If the derivations hold, the work supplies a systematic and reproducible catalogue of vacua for a discrete-symmetry 4HDM, including explicit parameter bounds and stability criteria. This constitutes a concrete reference for model-building aimed at spontaneous CP violation, with potential relevance to baryogenesis or CP-violating observables. The explicit enumeration of constraints and the identification of a most-general SCPV vacuum are strengths that facilitate subsequent phenomenological exploration.

minor comments (2)

A summary table listing all vacuum types, their CP properties (real/complex, CP-violating or conserving), and the corresponding parameter constraints would improve readability and allow quick cross-reference between the analytic results and the stability conditions.
The statement that one complex vacuum 'can be regarded as the most general form' should be accompanied by an explicit VEV configuration and a brief argument showing why other complex solutions are special cases of it.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their thorough review and positive assessment of our manuscript on the D_5-symmetric 4HDM vacuum structure. We appreciate the recommendation for minor revision and note that the report highlights the systematic classification of vacua and the identification of spontaneous CP violation as strengths. Since no specific major comments were raised, we will proceed with any minor editorial improvements suggested by the editor or referee.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives its vacuum classification by imposing D5 symmetry and explicit CP conservation on the 4HDM scalar potential, then solving the minimization equations for real and complex neutral VEVs. The identification of which complex solutions exhibit spontaneous CP violation follows directly from checking whether relative phases can be removed by field redefinitions that preserve both the symmetry and the CP-even form of the potential, together with the listed parameter constraints and Hessian positive-definiteness conditions. No central result reduces by construction to a fitted input, a self-citation loop, or a renamed ansatz; the analysis is self-contained against the imposed symmetries and the explicit potential minimization.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The central claim rests on the domain assumptions of exact D5 symmetry and explicit CP conservation in the scalar potential; no free parameters are fitted to data and no new entities are postulated beyond the standard four Higgs doublets.

free parameters (1)

Scalar potential parameters
Multiple quartic and quadratic couplings in the D5-invariant potential are left free and then constrained by the requirement that each vacuum solution exists.

axioms (2)

domain assumption The scalar potential is explicitly CP conserving.
Framework stated in the abstract for investigating spontaneous breaking.
domain assumption The model is exactly D5 symmetric.
The four-Higgs-doublet model is constructed based on D5 symmetry.

pith-pipeline@v0.9.0 · 5457 in / 1420 out tokens · 38687 ms · 2026-05-15T09:38:47.075184+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We have provided a complete list of all possible real and complex vacua, along with the constraints on the potential parameters required for each vacuum solution to exist... some of the complex vacua can lead to spontaneous CP violation
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the scalar potential of D5-symmetric 4HDM... 16 real parameters... λ13 ≠ 0 and λ14 ≠ 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

71 extracted references · 71 canonical work pages · 1 internal anchor

[1]

Aadet al.[ATLAS], Phys

G. Aadet al.[ATLAS], Phys. Lett. B716, 1 (2012)

work page 2012
[2]

Chatrchyanet al.[CMS], Phys

S. Chatrchyanet al.[CMS], Phys. Lett. B716, 30 (2012)

work page 2012
[3]

A. D. Sakharov, Pisma Zh. Eksp. Teor. Fiz.5, 32 (1967)

work page 1967
[4]

V. A. Kuzmin, V. A. Rubakov and M. E. Shaposhnikov, Phys. Lett. B155, 36 (1985)

work page 1985
[5]

Fukudaet al.[Super-Kamiokande], Phys

Y. Fukudaet al.[Super-Kamiokande], Phys. Rev. Lett.81, 1562 (1998)

work page 1998
[6]

Keller and D

G. Keller and D. Wyler, Nucl. Phys. B274, 410 (1986)

work page 1986
[7]

Casalbuoni, D

R. Casalbuoni, D. Dominici, F. Feruglio,et al., Nucl. Phys. B299, 117 (1988)

work page 1988
[8]

Grossman, Nucl

Y. Grossman, Nucl. Phys. B426, 355 (1994)

work page 1994
[9]

Asakawa, J

E. Asakawa, J. i. Kamoshita, A. Sugamoto,et al., Eur. Phys. J. C14, 335 (2000)

work page 2000
[10]

Grimus and L

W. Grimus and L. Lavoura, Phys. Lett. B546, 86 (2002)

work page 2002
[11]

Barroso, P

A. Barroso, P. M. Ferreira, R. Santos,et al., Phys. Rev. D74, 085016 (2006)

work page 2006
[12]

Grimus, L

W. Grimus, L. Lavoura, O. M. Ogreid,et al., J. Phys. G35, 075001 (2008)

work page 2008
[13]

Grimus, L

W. Grimus, L. Lavoura, O. M. Ogreid,et al., Nucl. Phys. B801, 81 (2008)

work page 2008
[14]

P. M. Ferreira, L. Lavoura and J. P. Silva, Phys. Lett. B688, 341 (2010)

work page 2010
[15]

Pilaftsis, Phys

A. Pilaftsis, Phys. Rev. D93, 075012 (2016)

work page 2016
[16]

M. P. Bento, H. E. Haber, J. C. Rom˜ ao,et al., JHEP11, 095 (2017)

work page 2017
[17]

Darvishi and A

N. Darvishi and A. Pilaftsis, Phys. Rev. D101, 095008 (2020)

work page 2020
[18]

G. C. Branco, A. J. Buras and J. M. Gerard, Nucl. Phys. B259, 306 (1985)

work page 1985
[19]

Y. L. Wu and L. Wolfenstein, Phys. Rev. Lett.73, 1762 (1994)

work page 1994
[20]

Lavoura and J

L. Lavoura and J. P. Silva, Phys. Rev. D50, 4619 (1994) 28

work page 1994
[21]

G. C. Branco, M. N. Rebelo and J. I. Silva-Marcos, Phys. Lett. B614, 187 (2005)

work page 2005
[22]

C. C. Nishi, Phys. Rev. D74, 036003 (2006) [erratum: Phys. Rev. D76, 119901 (2007)]

work page 2006
[23]

Inoue, M

S. Inoue, M. J. Ramsey-Musolf and Y. Zhang, Phys. Rev. D89, 115023 (2014)

work page 2014
[24]

CP breaking in $S(3)$ flavoured Higgs model

E. Barradas-Guevara, O. F´ elix-Beltr´ an and E. Rodr´ ıguez-J´ auregui, [arXiv:1507.05180 [hep- ph]]

work page internal anchor Pith review Pith/arXiv arXiv
[25]

de Medeiros Varzielas, S

I. de Medeiros Varzielas, S. F. King, C. Luhn,et al., Phys. Rev. D94, 056007(2016)

work page 2016
[26]

Grzadkowski, O

B. Grzadkowski, O. M. Ogreid and P. Osland, Phys. Rev. D94, 115002 (2016)

work page 2016
[27]

Emmanuel-Costa, O

D. Emmanuel-Costa, O. M. Ogreid, P. Osland,et al., JHEP02, 154 (2016) [erratum: JHEP 08, 169 (2016)]

work page 2016
[28]

Nierste, M

U. Nierste, M. Tabet and R. Ziegler, Phys. Rev. Lett.125, 031801 (2020)

work page 2020
[29]

Nebot, Phys

M. Nebot, Phys. Rev. D102, 115002 (2020)

work page 2020
[30]

Okada and M

H. Okada and M. Tanimoto, JHEP03, 010 (2021)

work page 2021
[31]

Kunˇ cinas, O

A. Kunˇ cinas, O. M. Ogreid, P. Osland,et al., JHEP07, 013 (2023)

work page 2023
[32]

Mir´ o, M

C. Mir´ o, M. Nebot and D. Queiroz, Phys. Rev. D111, 11 (2025)

work page 2025
[33]

T. D. Lee, Phys. Rev. D8, 1226 (1973)

work page 1973
[34]

Weinberg, Phys

S. Weinberg, Phys. Rev. Lett.37, 657 (1976)

work page 1976
[35]

N. G. Deshpande and E. Ma, Phys. Rev. D18, 2574 (1978)

work page 1978
[36]

Pakvasa and H

S. Pakvasa and H. Sugawara, Phys. Lett. B73, 61 (1978)

work page 1978
[37]

Kanemura, T

S. Kanemura, T. Kasai and Y. Okada, Phys. Lett. B471, 182 (1999)

work page 1999
[38]

Davidson and H

S. Davidson and H. E. Haber, Phys. Rev. D72, 035004 (2005) [erratum: Phys. Rev. D72, 099902 (2005)]

work page 2005
[39]

Eriksson, J

D. Eriksson, J. Rathsman and O. Stal, Comput. Phys. Commun.181, 189 (2010)

work page 2010
[40]

Mahmoudi and O

F. Mahmoudi and O. Stal, Phys. Rev. D81, 035016 (2010)

work page 2010
[41]

A. C. B. Machado, J. C. Montero and V. Pleitez, Phys. Lett. B697, 318 (2011)

work page 2011
[42]

G. C. Branco, P. M. Ferreira, L. Lavoura,et al., Phys. Rept.516, 1 (2012)

work page 2012
[43]

Crivellin, A

A. Crivellin, A. Kokulu and C. Greub, Phys. Rev. D87, 094031 (2013)

work page 2013
[44]

V. Keus, S. F. King and S. Moretti, JHEP01, 052 (2014)

work page 2014
[45]

P. S. Bhupal Dev and A. Pilaftsis, JHEP12, 024 (2014) [erratum: JHEP11, 147 (2015)]

work page 2014
[46]

Maniatis and O

M. Maniatis and O. Nachtmann, JHEP02, 058 (2015) [erratum: JHEP10, 149 (2015)]

work page 2015
[47]

A. G. Akeroyd, S. Moretti, K. Yagyu,et al., Int. J. Mod. Phys. A32, 1750145 (2017) 29

work page 2017
[48]

Misiak and M

M. Misiak and M. Steinhauser, Eur. Phys. J. C77, 201 (2017)

work page 2017
[49]

Das and I

D. Das and I. Saha, Phys. Rev. D100, 035021 (2019)

work page 2019
[50]

A. E. C. Hern´ andez, S. Kovalenko, M. Maniatis and I. Schmidt, JHEP10, 036 (2021)

work page 2021
[51]

Darvishi, M

N. Darvishi, M. R. Masouminia and A. Pilaftsis, Phys. Rev. D104, 115017 (2021)

work page 2021
[52]

M. P. Bento, J. C. Rom˜ ao and J. P. Silva, JHEP08, 273 (2022)

work page 2022
[53]

Shao and I

J. Shao and I. P. Ivanov, JHEP10, 070 (2023)

work page 2023
[54]

Rajpoot, Phys

S. Rajpoot, Phys. Rev. D40, 873 (1989)

work page 1989
[55]

Srivastava, M

A. Srivastava, M. Levy and D. Das, Eur. Phys. J. C82, 205 (2022)

work page 2022
[56]

Gao, Phys

X. Gao, Phys. Rev. D111, 055013 (2025)

work page 2025
[57]

Kawase, JHEP12, 094 (2011)

H. Kawase, JHEP12, 094 (2011)

work page 2011
[58]

A. E. C´ arcamo Hern´ andez, C. Espinoza, J. C. G´ omez-Izquierdo,et al., Eur. Phys. J. C84, 1239 (2024)

work page 2024
[59]

Krawczyk, Acta Phys

P. Krawczyk, Acta Phys. Polon. B11, 359 (1980)

work page 1980
[60]

Ma, Fizika B14, 35 (2005)

E. Ma, Fizika B14, 35 (2005)

work page 2005
[61]

Hagedorn, M

C. Hagedorn, M. Lindner and F. Plentinger, Phys. Rev. D74, 025007 (2006)

work page 2006
[62]

V. V. Vien and N. V. Soi, Mod. Phys. Lett. A35, 2050003 (2019)

work page 2019
[63]

V. V. Van, Rev. Mex. Fis.69, 030803(2023)

work page 2023
[64]

Pramanick, [arXiv:2312.08093 [hep-ph]]

S. Pramanick, [arXiv:2312.08093 [hep-ph]]

work page arXiv
[65]

Ishimori, T

H. Ishimori, T. Kobayashi, H. Ohki,et al., Prog. Theor. Phys. Suppl.183, 1 (2010)

work page 2010
[66]

P. M. Ferreira, R. Santos and A. Barroso, Phys. Lett. B603, 219 (2004) [erratum: Phys. Lett. B629, 114 (2005)]

work page 2004
[67]

P. M. Ferreira and D. R. T. Jones, JHEP08, 069 (2009)

work page 2009
[68]

Grzadkowski, O

B. Grzadkowski, O. M. Ogreid and P. Osland, Phys. Rev. D80, 055013 (2009)

work page 2009
[69]

Kannike, Eur

K. Kannike, Eur. Phys. J. C72, 2093 (2012)

work page 2093
[70]

G. C. Branco, J. M. Gerard and W. Grimus, Phys. Lett. B136, 383 (1984)

work page 1984
[71]

Gonz´ alez Felipe, I

R. Gonz´ alez Felipe, I. P. Ivanov, C. C. Nishi,et al., Eur. Phys. J. C74, 2953 (2014) 30

work page 2014