{"id":"112641e0-fe9e-4218-9554-ef1504583551","arxiv_id":"1908.10979","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"Residual flavor symmetries enforce simultaneously diagonal Yukawa couplings across all Higgs doublets when they fully control fermion mixing, yielding a generalized Yukawa Alignment that is free of tree-level FCNC.","lead":"This paper shows that residual flavor symmetries, leftovers from a broken family symmetry, can force all extra Higgs doublets to couple to fermions in the same aligned way, preventing flavor-changing neutral currents. It gives model builders a symmetry-based way to make multi-Higgs theories both predictive and safe from flavor experiments.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Strict FCNC-free conclusion is conditional on the shared-RFS assumption (A5); the paper's model-independence claim overreaches where different Higgs doublets couple via flavons preserving different subgroups.","rationale":"The paper's algebraic derivation from Eq. (13) to Eq. (14) and then to the simultaneous diagonal form (20) is sound under the stated assumptions. The only load-bearing soft spot is assumption (A5), which the reader correctly identified as the weakest assumption. The authors explicitly flag this limitation in Section III(A5), so they do not conceal it. However, the abstract and conclusion frame the mechanism as 'natural' and 'model-independent' more strongly than the conditional theorem warrants, since A5 is a nontrivial restriction on the flavon sector. The proposed counterexample test directly probes whether A5 is necessary: if a second flavon with a different residual subgroup breaks simultaneous diagonality, the strict FCNC-free claim is confined to models satisfying A5. This does not invalidate the conditional result; it clarifies its domain. The reader's CONDITIONAL verdict already captures this, so no change is needed.","tokens_in":12657,"tokens_out":17302,"duration_ms":183757,"concrete_test":"Construct a minimal two-Higgs A4 example: keep H'_1 coupled to φ_l with ⟨φ_l⟩=(v,0,0) as in Eq. (23), and couple H'_2 to a distinct A4 triplet flavon φ'_l with ⟨φ'_l⟩=(0,v,0) (or any VEV preserving a Z3 subgroup not containing the Z3 fixed by ⟨φ_l⟩). Compute the charged-lepton Yukawa matrices Y_1^e and Y_2^e in the mass basis of Y_1^e. If (Y_2^e)_{ij} ≠ 0 for i≠j, then Eq. (20) fails without A5 and tree-level FCNC are induced by the S^0_2/P^0_2 couplings in Eq. (12). If, in contrast, the matrices remain simultaneously diagonal, A5 is not necessary and the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central result, Eq. (20), follows from imposing the same residual generator T_A on every Yukawa matrix Y_k in Eq. (13). This is precisely assumption (A5), stated in Section III(A5) as an 'inherent (albeit natural) assumption.' The conclusion that all Y_k are simultaneously diagonal, and hence tree-level FCNC-free, is therefore not a generic consequence of residual flavour symmetries: it holds only for models in which the flavon VEVs entering every H_k operator preserve the same Abelian subgroup of G_F. If H_1 is dressed by a flavon preserving one subgroup and H_2 by a flavon preserving a different, non-conjugate subgroup, the constraints become Y_k = T_A^{(k)} Y_k T_A^{(k)\\dagger} with T_A^{(1)} ≠ T_A^{(2)}. The intersection of the two invariant diagonal bases generically does not force all off-diagonal entries of every Y_k to vanish, so tree-level FCNC reappear. The A4 example avoids this by coupling both H'_1 and H'_2 through the single flavon φ_l (Eq. (23)), which is a model choice rather than a theorem. Thus the abstract's claim that RFS 'naturally forbid' FCNC and the conclusion's 'model-independent' wording overstate the domain of validity; the strict limit is a well-defined but restricted class of models.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that residual flavour symmetries (RFS)—Abelian subgroups of a family symmetry left unbroken by flavon VEVs—can be used to control the Yukawa sector of multi-Higgs-doublet models (MHDMs), forbidding or limiting tree-level FCNCs. Section II reviews how RFS constrain CKM/PMNS mixing. Section III derives the invariance condition Eq. (13) for each Yukawa matrix in the mass basis, notes that absent phase degeneracies Eq. (14) forces each matrix diagonal, and concludes that in the strict limit all Y_k are simultaneously diagonal, giving a generalized Yukawa alignment of the form Eq. (20). The weak limit with phase degeneracies allows flavour-specific off-diagonal entries. Section IV constructs an A4 toy model with Higgs doublets that are A4 singlets and a single flavon φ_l, yielding diagonal charged-lepton Yukawas of the form (24) and a PMNS matrix with one free angle θ fit to the reactor angle. Section V discusses RGE stability and subtleties (A1–A7).","tokens_in":12891,"tokens_out":5471,"duration_ms":59952,"significance":"The central observation—that RFS give a symmetry rationale for generalized Yukawa alignment—is interesting and likely useful for model building. The derivation of Eq. (20) from Eq. (13) is explicit and does not rely on fitted inputs; the discussion of the weak limit, product-group RFS, and RGE effects is balanced. The paper is honest about the main assumption (A5) that all Higgs doublets share the same residual generator. If the result holds, it provides a model-independent organizing principle that connects flavour predictivity with FCNC suppression, although the toy model is illustrative rather than fully predictive since θ is fit.","major_comments":[],"minor_comments":[{"comment":"The phrases 'naturally forbid' in the abstract and 'in the limit where the RFS controls all parameters' in the conclusion should be qualified by the A5 assumption that a single residual generator T_A acts on all Yukawa operators; as written, the abstract overstates the domain, because if different H_k are dressed by flavons preserving different subgroups, simultaneous diagonality and Eq. (20) are lost.","section":"Abstract and Conclusion"},{"comment":"The sentence 'In this more baroque scenario FCNC-inducing elements can then be in different matrix sectors' is the right caveat, but I suggest adding one explicit sentence stating that in that case the Y_k are diagonal in different bases and Eq. (20) no longer holds, so that the consequence of relaxing A5 is unambiguous.","section":"III(A5)"},{"comment":"Equations (9), (10), and (27) are garbled by brace artifacts such as '/bracehtipupleft' in the manuscript text; these should be typeset cleanly in the published version.","section":"Eqs. (9), (10), (27)"},{"comment":"The parameter θ is introduced as a free angle and fit to θ13 via Eq. (28), so the Conclusion's phrase 'predicts a viable PMNS mixing matrix' should be softened to 'accommodates' or 'can reproduce', since the example contains a fitted parameter.","section":"Section IV and Conclusion"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is a well-written theory note whose central derivation is sound. The only substantive issue is the domain of validity of the strict no-FCNC claim, which is already flagged in A5 but should be reflected more prominently in the abstract and conclusion. I recommend minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The useful thing here is the derivation: if the same residual symmetry generator T_A is imposed on every Higgs-doublet Yukawa operator, then in the strict limit where no phases coincide, each Y_k is forced diagonal in the same basis. That is short, correct, and I believe genuinely new as a stated result. The identification of this outcome with generalized Yukawa Alignment (A6) is also new and useful. The paper is honest about its main caveats in A3, A5, and A7, which is more than many short theory notes manage.\n\nThe soft spot is the recurring 'model-independent' claim in the abstract and conclusion. The strict FCNC-free result is conditional on assumption A5: that the same residual Abelian subgroup is preserved by the flavon insertions feeding every doublet. If H_1 is dressed by a flavon preserving one subgroup and H_2 by another, you get different T_A^{(k)} and the simultaneous diagonalization fails; tree-level FCNC can come back. The stress-test note is right about this. The A4 toy model is an existence proof of the shared-symmetry case, not a theorem for all RFS models. The conclusion should say 'models in which the same residual symmetry is preserved in every Yukawa operator' rather than implying RFS generally forbid FCNC. The toy model also fits one angle to the reactor measurement, so it is illustrative, not a parameter-free prediction — the paper says as much, but the abstract could be clearer.\n\nThe RGE discussion is responsible: they note that alignment is not automatically stable and cite the conditions under which it is. The citation pattern is fair; the self-citations are to closely related prior work and are not padding.\n\nWho is this for? People building MHDM with flavour symmetries, and anyone who wants a quick algebraic criterion to check whether a symmetric model is tree-level FCNC-free. It deserves a serious referee. I would recommend acceptance after asking the authors to temper the model-independence language and to state A5 more prominently in the abstract.","headline":"A short, honest paper that correctly derives generalized Yukawa Alignment from residual flavour symmetries, but the 'model-independent' framing overreaches beyond its own stated assumption that all Higgs doublets share one residual symmetry.","tokens_in":13465,"tokens_out":1404,"would_cite":true,"duration_ms":17526,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Residual flavour symmetries can forbid tree-level FCNCs in multi-Higgs-doublet models.","keywords":["multi-Higgs-doublet models","flavour-changing neutral currents","residual flavour symmetries","family symmetry breaking","Yukawa alignment","A4 flavour model","CKM and PMNS mixing","tree-level FCNC freedom"],"falsifier":"Construct or identify a complete flavour model with two or more Higgs doublets in which different flavons, aligned along different residual subgroups of a family group, generate Yukawa couplings for different Higgs doublets; if the resulting Yukawa matrices are not simultaneously diagonal, the strict claim fails. A sharper check: in the weak RFS limit, scan residual groups with a phase degeneracy in the $(1,2)$ sector and compute the tree-level contribution to $K^0$–$\\overline{K}{}^0$ mixing; if the induced FCNC exceeds measured neutral-meson mixing limits for all allowed parameter choices, the paper's flavour-specific protection is experimentally excluded.","tokens_in":12387,"feed_emoji":"⚛️","tokens_out":8145,"duration_ms":83066,"temperature":0.7,"pith_summary":"This paper establishes a model-independent way to keep multi-Higgs-doublet models safe from tree-level flavour-changing neutral currents (FCNC) without appealing to mass hierarchies or hand-picked Yukawa textures. It shows that residual flavour symmetries—the Abelian subgroups left over after a family symmetry breaks—naturally force every Higgs doublet's Yukawa matrix to be diagonal in the fermion mass basis, so long as the same residual generator applies to all of them. In that strict limit the Yukawa couplings take the generalised Yukawa Alignment form, and in weaker limits FCNC are confined to the same flavour sectors that the symmetry cannot use to predict quark or lepton mixing. The paper also sketches an explicit $A_4$ toy model that realises the mechanism with multiple Higgses singlet under the family symmetry and produces a viable PMNS matrix.","feed_headline":"Residual family symmetries can banish multi-Higgs FCNCs","feed_subtitle":"Multi-Higgs models' main hazard disappears when one residual family symmetry controls every Yukawa coupling.","key_machinery":"The carrying object is the residual symmetry generator $T_A$, a diagonal $U(1)^3$ rephasing matrix that survives in a given fermion sector after the family group breaks. The paper's key step is to demand, for each Higgs doublet $H_k$, the invariance relation $Y^A_k \\stackrel{!}{=} T_A Y^A_k T_A^\\dagger$ in the fermion mass basis. Expanding this equation shows that the $(i,j)$ entry is multiplied by $e^{i(\\psi^i_A-\\psi^j_A)}$, so entries with unequal phases must vanish; equal phases leave the entry unconstrained. This single constraint simultaneously gives the strict diagonal limit (Eq. (20)) and the weak limit in which FCNC are restricted to specific flavour sectors. The paper also handles product-group residual symmetries of the form $G_A \\simeq G^1_A \\times G^2_A$, which can forbid different sets of entries and relax mixing ambiguities.","core_discovery":"The paper's central claim is that residual flavour symmetries—the Abelian groups left invariant after a family symmetry breaks—can be imposed on the Yukawa sector of any multi-Higgs-doublet model, and in the strict limit force every extra-Higgs Yukawa matrix to be diagonal in the same basis as the fermion masses. Starting from the invariance condition $Y^A_k = T_A Y^A_k T_A^\\dagger$ in the mass-eigenstate basis, with $T_A = \\mathrm{diag}(e^{i\\alpha_A}, e^{i\\beta_A}, e^{i\\gamma_A})$, the paper shows that any unequal pair of phases forbids the corresponding off-diagonal entry; if all phases are distinct, each $Y^A_k$ is diagonal and tree-level FCNCs vanish. The surviving couplings take the form $Y^A_k = \\zeta^A_k Y^A_1$ with diagonal $\\zeta^A_k$, which is the generalised Yukawa Alignment ansatz. When phase degeneracies exist, FCNC are allowed only in the same flavour sectors that the residual symmetry fails to control in CKM/PMNS mixing, so predictivity and FCNC protection are tied together. An $A_4$ toy model with family-symmetry singlet Higgses realises the strict limit and yields a viable lepton mixing matrix.","pith_inferences":["The same residual-symmetry logic should transfer to other scalar extensions, such as models with multiple leptoquarks, where an analogous constraint would sequester flavour-changing leptoquark couplings; the paper already notes a correspondence to independent leptoquark analyses.","FCNC bounds can be repurposed as model-selection criteria: residual groups that predict viable CKM/PMNS but permit phase degeneracies in experimentally tight sectors would be disfavoured, turning the paper's link between mixing and FCNC into a tool for scanning flavour groups.","A testable pattern emerges for future precision: if the $\\zeta^A_k$ alignment parameters are measured through Higgs couplings, they should obey the residual-symmetry relations sector by sector, and any violation would signal different residual subgroups for different Higgses."],"forward_implications":["Strictly RFS-controlled multi-Higgs models are automatically tree-level FCNC-free, with no discrete symmetry or mass hierarchy needed beyond the family-symmetry breaking pattern.","In the weak limit, dangerous FCNC are restricted to specific flavour sectors, so a model can, for example, have the residual symmetry explain Cabibbo mixing while protecting the light-quark sector from the strongest bounds.","Generalised Yukawa Alignment ceases to be an ansatz: it is the low-energy form imposed by broken family symmetries, which connects flavour-model predictivity directly to Higgs phenomenology.","The leading loop-level FCNC in the aligned limit are dimension-seven operators suppressed by three mass insertions, two CKM factors, and alignment factors, and are consistent with current bounds when alignment is imposed at high scales."],"supporting_citations":[{"why":"Introduces the Yukawa Alignment ansatz that the strict RFS limit recovers in generalised form.","marker":"[13]"},{"why":"Defines generalised Yukawa Alignment with diagonal matrices $\\zeta^A_k$ and supplies the one-loop FCNC operator used for the alignment's phenomenological constraints.","marker":"[14]"},{"why":"Provides the canonical $A_4$ lepton model whose residual $Z_3$ and $Z_2$ symmetries illustrate the RFS mechanism and seed the paper's toy model.","marker":"[23, 24]"},{"why":"Establishes natural flavour conservation via Abelian discrete symmetries, the alternative FCNC-avoidance strategy the paper contrasts with RFS.","marker":"[6–8]"},{"why":"Defines tribimaximal mixing, used as the residual-symmetry reference matrix in the $A_4$ example and toy model.","marker":"[25]"},{"why":"Gives the one-loop RGEs for Yukawa-aligned multi-Higgs models, used to assess stability of the alignment under renormalisation.","marker":"[55]"},{"why":"Provides toy models in which specific flavons connect to specific fermion types, the starting point of the paper's explicit $A_4$ construction.","marker":"[17]"},{"why":"States a no-go result for $A_4$ triplet Higgses with multiple doublets, which the paper avoids by taking Higgses as family-symmetry singlets.","marker":"[61]"}],"fun_headline_variants":["Residual symmetries kill multi-Higgs FCNCs","Broken family symmetries banish multi-Higgs FCNCs","Residual symmetries tie FCNC protection to predictivity","Multi-Higgs FCNCs vanish from residual flavour symmetries"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the same residual symmetry generator applies to every Higgs doublet's Yukawa operator; if different Higgses are governed by different residual subgroups, the mechanism's strict FCNC-free diagonal form no longer follows.","fun_headline_variants_meta":{"raw":{"variants":["Residual symmetries kill multi-Higgs FCNCs","Broken family symmetries banish multi-Higgs FCNCs","Residual symmetries tie FCNC protection to predictivity","Multi-Higgs FCNCs vanish from residual flavour symmetries"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000589,"raw_usage":{"total_tokens":2770,"prompt_tokens":955,"completion_tokens":1815,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":571,"completion_tokens_details":{"reasoning_tokens":1741}},"tokens_in":571,"tokens_out":1815,"duration_ms":14491,"temperature":1.0,"reasoning_tokens":1741,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:29:12.292717+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct or identify a complete flavour model with two or more Higgs doublets in which different flavons, aligned along different residual subgroups of a family group, generate Yukawa couplings for different Higgs doublets; if the resulting Yukawa matrices are not simultaneously diagonal, the strict claim fails. A sharper check: in the weak RFS limit, scan residual groups with a phase degeneracy in the $(1,2)$ sector and compute the tree-level contribution to $K^0$–$\\overline{K}{}^0$ mixing; if the induced FCNC exceeds measured neutral-meson mixing limits for all allowed parameter choices, the paper's flavour-specific protection is experimentally excluded.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the Yukawa Alignment ansatz that the strict RFS limit recovers in generalised form."},{"cited_title":"However, since we take Λ F > Λ EW, the imprint of GF through GA-symmetricY A k occurs without reference to the isospin decompo- sition that yields the different terms in (","cited_arxiv_id":null,"evidence_quote":"Defines generalised Yukawa Alignment with diagonal matrices $\\zeta^A_k$ and supplies the one-loop FCNC operator used for the alignment's phenomenological constraints."},{"cited_title":"Unlike the µ −τ operator generating Z′ 2, this remaining Z2 is an A4 subgroup, and therefore a proper RFS","cited_arxiv_id":null,"evidence_quote":"Defines tribimaximal mixing, used as the residual-symmetry reference matrix in the $A_4$ example and toy model."},{"cited_title":"Hence GF ,Q must be Abelian if it is closed via this generator alone, which is less phenomenologically interesting to engineer in flavon models","cited_arxiv_id":null,"evidence_quote":"Provides toy models in which specific flavons connect to specific fermion types, the starting point of the paper's explicit $A_4$ construction."},{"cited_title":"[Re]constructing Finite Flavour Groups: Horizontal Symmetry Scans from the Bottom-Up","cited_arxiv_id":"1409.7310","evidence_quote":"States a no-go result for $A_4$ triplet Higgses with multiple doublets, which the paper avoids by taking Higgses as family-symmetry singlets."}],"review_version":1}