Group-theoretic restrictions on generation of CP-violation in multi-Higgs-doublet models

It has been known since decades that imposing a symmetry group G on the scalar sector of multi-Higgs-doublet models has consequences for CP-violation. In all examples of two- and three-Higgs-doublet models equipped with symmetries, one observes the following intriguing property: if G prevents explicit CP-violation (CPV), at least in the neutral Higgs sector, then it also prevents spontaneous CPV, and if G allows explicit CPV, then it allows for spontaneous CPV. One is led to conjecture that this is a general phenomenon. In this paper, we prove this conjecture for any rephasing symmetry group G and any number of doublets.