{"id":"0cfa8811-b83b-48d5-b007-a79ef5bdf2c6","arxiv_id":"1909.00833","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"In a 2HDM with Dirac neutrinos, only 5 of 28 maximally-restrictive zero-texture mass-matrix pairs compatible with oscillation data can be realized by Abelian flavor symmetries.","lead":"This paper asks which restrictive zero patterns in charged-lepton and Dirac-neutrino mass matrices can be produced by simple U(1) or Z_N symmetries in a two-Higgs-doublet extension of the Standard Model. It finds that only 5 of 28 viable patterns survive, and works out the resulting Yukawa couplings and lepton-flavor phenomenology.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 'only 5 realizable' count depends on the completeness of the manual exclusion cases in Appendix B; a missed decomposition or charge assignment for one of the 23 excluded pairs would change the headline result.","rationale":"The reader's verdict identifies the exhaustiveness of the canonical exclusion procedure as the weakest assumption; my read agrees and locates it more specifically. The paper's strongest claim is a classification: exactly 5 of 28 pairs are realizable. The existence side is well supported: for each survivor, Table IX gives explicit U(1) charges, and the SNF analysis in Sec. V.B is standard. The non-existence side is the risk. Appendix B excludes the other 23 pairs through a mixture of general arguments (e.g., Sec. B.1) and case-specific statements (Secs. B.3 and B.4) that do not display the actual systems of charge equations or the complete set of decompositions considered. The decomposition lists in Table V are taken from the chain classification of Ref. [68]; without reproducing the chains or an independent enumeration, a reader cannot verify that every possible assignment of the nonzero entries to Y^l_{1,2} and Y^nu_{1,2} (and both orderings) has been covered. This is load-bearing because the final count is extremely sensitive: a single overlooked decomposition that satisfies Eq. (20) for one of the 23 excluded pairs changes \"only 5\" to \"at least 6.\" I am not claiming such a decomposition exists; the point is that the weakest link is exactly this unverified completeness. An independent script that enumerates decompositions and solves the charge equations would settle the question. The internal inconsistency about the mass ordering of (6_l^1, 4_nu^17) is real but does not affect the realizability count because that pair is excluded anyway; the Z5-minimality assertion is a secondary claim without proof, but it is less load-bearing than the exhaustiveness of the exclusions. Since this is a verifiable completeness issue rather than an observed error, the CONDITIONAL verdict is appropriate and no adjustment is needed.","tokens_in":36927,"tokens_out":15725,"duration_ms":159669,"concrete_test":"Write an independent enumeration for each of the 28 pairs in Table II: generate all decompositions of each M_l and M_nu into pairs of 0/1 Yukawa matrices (nonzero mass entries assigned to Y1, Y2, or both; include both Y^nu_1/Y^nu_2 orderings), and for each decomposition solve the linear charge conditions from Eq. (20) over U(1) and over Z_N for N = 2, ..., 10 using Smith normal form. Compare the set of pairs with at least one charge solution to Table VIII. If any of the 23 pairs excluded in Appendix B admits a solution not listed in Table V, the \"only 5\" claim fails; if all 23 remain unsolvable, the exhaustiveness concern is settled.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section V's headline result — that only 5 of the 28 maximally-restrictive texture pairs in Table II are Abelian-realizable — is a conjunction of a positive and a negative claim. The positive claim is supported by explicit charge assignments in Table IX and the SNF analysis in Sec. V.B. The negative claim (23 pairs excluded) rests on the manual case analysis of Appendix B. The least secure steps are Secs. B.3 and B.4, where pairs such as (4_l^3, 6_nu^{2,5,8}), (5_l^1, 5_nu^5), (4_l^3, 6_nu^{4,6}), and (5_l^1, 5_nu^4) are ruled out by statements like \"the constituent textures can only be realized by transformations which obey non-compatible versions of Eq. (B3)\" and \"we can identify the indices i,j,k and easily arrive at the conclusion,\" without displaying the full systems of charge equations or the exhaustive enumeration of decompositions for each texture. Because the decomposition lists in Table V are inherited from the chain classification of Ref. [68] and are not reproduced, a reader cannot check that no alternative assignment of the nonzero entries to Y^l_{1,2} and Y^nu_{1,2} (including both orderings, or a decomposition not listed in Table V) evades the incompatibility. Since 23 of 28 pairs are rejected, even one missed decomposition would change the count from \"only 5\" to \"at least 6.\" The central claim is therefore only as strong as the completeness of this unshown case analysis.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper considers a 2HDM extended by three right-handed neutrinos with conserved lepton number, so that neutrinos are Dirac particles, and asks which maximally-restrictive texture-zero pairs (M_l, M_nu) can be realized by Abelian U(1) or Z_N flavor symmetries. The authors first identify 28 such pairs compatible with neutrino oscillation data, then apply the canonical method and the Smith normal form (SNF) method to decide realizability. The central claim is that only 5 of the 28 pairs survive, each with a single decomposition into Yukawa matrices and a U(1) flavor symmetry (with minimal discrete charges corresponding to Z5). For the surviving pairs, the paper reconstructs all Yukawa parameters in terms of lepton masses and mixing parameters, studies the correlation between the single physical phase alpha and the Dirac CP phase delta, and analyzes constraints from lepton universality in tau decays and from rare lepton-flavor-violating processes.","tokens_in":37227,"tokens_out":6631,"duration_ms":67878,"significance":"If the classification is correct, the paper provides a useful and sharply stated result: the space of viable maximally-restrictive texture pairs in the 2HDM with Dirac neutrinos reduces to five explicit cases. The positive side of the claim is well documented through the explicit charge assignments in Table IX, the decomposition lists in Table V, and the SNF-based realizability analysis. The phenomenology section gives concrete, falsifiable predictions, such as the allowed tan-beta and m_H+ ranges for (5_e^1, 5_nu^8) and the m_R ~ m_I tuning required for the (4_l^3, 6_nu^k) cases. The approximate analytic formulas in Section VI, supported by the numerical scans, are another strength, as is the one-to-one reconstruction of Lagrangian parameters from observables.","major_comments":[{"comment":"The negative half of the headline result, namely that 23 of the 28 pairs in Table II cannot be realized, is not demonstrated at the level of detail needed to verify exhaustiveness. In Appendix B.3 the exclusions of (4_l^3, 6_nu^{2,5,8}) and (5_l^1, 5_nu^5) are justified by the statement that the constituent textures 'can only be realized by transformations which obey non-compatible versions of Eq. (B3)', but the full systems of charge equations and the enumeration of decompositions are not shown. In Appendix B.4 the exclusions of (4_l^3, 6_nu^{4,6}) and (5_l^1, 5_nu^4) rely on 'we can identify the indices i,j,k and easily arrive at the conclusion', without displaying those indices or the resulting contradiction. Because 23 of the 28 pairs are rejected, even one missed decomposition or ordering would change the count from 'only 5' to 'at least 6'. Please provide, for each excluded pair, the explicit systems arising from Eq. (20) and their solution sets, or a reproducible computer enumeration.","section":"Section V, Appendix B (B.3 and B.4)"},{"comment":"The decomposition information needed to check the negative claim is not self-contained. Table V lists decompositions only for the five surviving pairs, while the chain data of Ref. [68] that underlies the exclusions is not reproduced. A reader cannot check whether an alternative assignment of the nonzero entries of a texture to Y^l_{1,2} and Y^nu_{1,2} (including both orderings, or a decomposition not listed in Table V) evades the incompatibility arguments used in Appendix B. The final sentence of Appendix B, stating that 'no other decompositions ... arise from the application of such consecutive transformations', is asserted without proof. I request either a complete decomposition table for every texture appearing in the excluded pairs, or an explicit algorithmic/code-based verification of the 23 exclusions.","section":"Section V.A, Tables V-VII"}],"minor_comments":[{"comment":"Section IV states that the pair (6_l^1, 4_nu^17) is compatible with data only at 3 sigma and for a NO mass spectrum, while the caption of Table II says this pair is consistent only at 3 sigma and for IO; these two statements cannot both be correct and must be reconciled.","section":"Section IV vs Table II"},{"comment":"The caption of Fig. 5 refers to the 'MEG bound given in (77)', but the upper limit on Br(mu -> e gamma) appears in Eq. (81); Eq. (77) lists the normalization branching ratios, not the bound.","section":"Fig. 5 caption"},{"comment":"The caption of Table X repeats the same expression twice ('Allowed l_alpha -> l_beta gamma and l_alpha -> l_beta gamma'); the second expression should presumably be the three-body decay l^-_alpha -> l^-_beta l^+_gamma l^-_delta.","section":"Table X caption"}],"recommendation":"major_revision","confidential_remarks":"The central classification result is plausible and the positive realizability side is convincing, but the negative count depends on the completeness of the manual case analysis in Appendix B. If the authors can supply a reproducible enumeration or a complete decomposition table for the excluded pairs, the paper will be suitable for publication; otherwise the headline 'only 5' claim remains insufficiently supported."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nHere's the take: the paper delivers a genuinely new result — a systematic enumeration of which maximally-restrictive texture pairs in a 2HDM with Dirac neutrinos can be realized by Abelian symmetries, ending with five survivors and explicit U(1) charge assignments, Yukawa reconstructions, and phenomenology. The identification of (5e1,5ν8) as the only pair with naturally suppressed LFV (no mR≈mI tuning) is a genuinely useful, concrete conclusion for model builders.\n\nThe positive side is explicit and checkable. The negative side — 23 of 28 pairs excluded — rests on Appendix B, and that appendix is the weakest part. B.1 and B.2 are fine: the pigeonhole arguments about full rows/columns forcing identical rows/columns are solid. B.3 also holds up; the ±(θ1−θ2) incompatibility is real. But B.4 is too compressed. The lemma is plausible, but the applications to (4_l^3,6_ν^{4,6}) and (5_l^1,5_ν^4) are asserted with phrases like \"we can identify the indices\" rather than demonstrated. Since 23 of 28 exclusions are decided by that case analysis, the headline count is only as trustworthy as the completeness of those handwritten arguments. I'm not claiming the count is wrong; I'm saying the paper doesn't yet let the reader verify it.\n\nTwo smaller issues. First, the mass-ordering statement for (6_l^1,4_ν^17) is internally inconsistent: Table II says IO, the main text says NO. It's a genuine error, though minor because that pair is excluded regardless. Second, the \"minimal Z5\" claim is asserted without proof. A short argument showing why no smaller N works would settle it.\n\nThe data fitting is standard, not circular — the symmetry classification is a mathematical statement made before the parameter reconstruction. The citation pattern is fine; the chain classification of Ref. [68] is genuine prior work, not a citation for its own sake.\n\nRecommendation: send it to peer review, but tell the referee to insist on an expanded Appendix B — either full charge equations for the excluded pairs or a more explicit proof of the B.4 lemma — and on fixing the ordering typo. With those, this is a solid contribution to the texture-zero literature.","headline":"A genuinely useful classification with explicit charge assignments, but the 'only 5 of 28' count leans on an appendix that needs to be opened up before I'd fully trust the negative claims.","tokens_in":37806,"tokens_out":9914,"would_cite":true,"duration_ms":93943,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that, in a two-Higgs-doublet extension of the Standard Model with Dirac neutrinos, only 5 of the 28 maximally restrictive texture-zero mass-matrix pairs compatible with oscillation data can be realized by Abelian flavor…","keywords":["Dirac neutrinos","two-Higgs-doublet model","texture zeros","Abelian flavor symmetries","U(1) and Z_N charges","neutrino mass and mixing","lepton flavor violation","lepton universality"],"falsifier":"Find any assignment of U(1) charges (or any sequence of Z_N transformations) in the 2HDM that realizes any of the 23 excluded texture pairs of Table II, for instance by solving the linear phase equations of the canonical method symbolically and exhibiting a nonzero solution; one such solution would invalidate the 'only five' claim. Conversely, a direct symbolic proof that the phase equations for a specific excluded pair, such as (4ℓ3, 6ν2), have no solution in any charge normalization would confirm the classification for that case.","tokens_in":36698,"feed_emoji":"⚛️","tokens_out":7795,"duration_ms":68792,"temperature":0.7,"pith_summary":"This paper tries to determine how far texture zeros can go in a two-Higgs-doublet model (2HDM) with Dirac neutrinos: it asks which maximally restrictive patterns of zeros in the charged-lepton and neutrino mass matrices are both compatible with current neutrino oscillation data and obtainable from an Abelian (U(1) or Z_N) flavor symmetry. The answer is five patterns out of 28 candidates, and for those five the symmetry is essentially unique: a U(1) whose minimal discrete charges form a Z5. Why it matters: these are the most economical models in which the whole lepton-flavor structure is fixed by symmetry, giving one-to-one relations between Yukawa couplings and observable masses, mixing angles, and CP phases. The paper then shows how these five patterns translate into concrete predictions for leptonic CP violation, lepton universality in tau decays, and rare lepton-flavor-violating processes.","feed_headline":"Five texture patterns pass the Abelian-symmetry test","feed_subtitle":"In the 2HDM with Dirac neutrinos, 28 restrictive texture pairs shrink to five, each realizable by a single U(1) symmetry.","key_machinery":"The argument runs on two complementary classification tools. The first is the canonical decomposition of a mass-matrix texture into the two Yukawa matrices Y1 and Y2: it determines, for a given texture, which pairs of zero/nonzero patterns can coexist under a phase symmetry, using the realizable-texture chains of a (3,3) degenerate-charge class. The second is the Smith normal form (SNF) method, which takes the integer charge vectors of all allowed Yukawa interactions and diagonalizes them into a canonical diagonal matrix whose entries encode the residual rephasing symmetry group as a product of Z_d and U(1) factors. Together they decide realizability: a texture pair is realizable exactly when some decomposition exists whose SNF yields a symmetry that imposes all required zeros and only those zeros. The two tools are applied in sequence—first the canonical method to reject 23 of the 28 candidate pairs, then the SNF method to identify the minimal U(1) (with Z5 representative charges) for the five survivors.","core_discovery":"The paper establishes that, in a 2HDM extended by three right-handed neutrinos with conserved lepton number, exactly five maximally restrictive texture pairs (Mℓ, Mν) simultaneously satisfy two conditions: they are consistent with neutrino oscillation data (mostly at 1σ; one pair only at 3σ and for inverted ordering), and they can be realized by a continuous U(1) or a discrete Z_N Abelian symmetry. The five surviving pairs are (4ℓ3, 6ν1,3,7,9) and (5ℓ1, 5ν8), and each admits exactly one decomposition into the two Yukawa matrices Y1 and Y2, enforced by a single U(1) flavor symmetry; the minimal set of discrete charges corresponds to a Z5 symmetry. For these pairs, after exhausting field-rephasing freedom, only one complex phase α remains in the mass matrices, and this phase is correlated one-to-one with the Dirac CP phase δ of the lepton mixing matrix. The paper further derives explicit relations expressing all mass-matrix entries in terms of the charged-lepton and neutrino masses plus the mixing angles, and shows that for the (5e1, 5ν8) pattern the μ→eγ decay is naturally suppressed by the flavor structure, whereas the (4ℓ3, 6νk) patterns require the CP-odd and CP-even neutral scalar masses to be nearly degenerate to evade the same bound.","pith_inferences":["If the same maximally restrictive scan were applied to the quark sector, which the authors state is in preparation, the analogous classification could produce a similarly small list of realizable quark texture pairs, with parameter-free predictions for flavor-changing processes such as B→Xsγ and meson decays.","The count 'five' depends on the equivalence-class reduction borrowed from the earlier texture classification; using different equivalence conventions, such as including generalized CP transformations, could merge or split some of the 28 candidates and change the final number even if each individual realizability statement is unchanged.","As neutrino oscillation data sharpen the values of θ23 and δ, some of the five surviving patterns may become disfavored; re-running the same compatibility scan on an updated global fit would provide a direct test of their viability.","The Z5 nature of the minimal discrete charges suggests these models could be embedded in a Z5-symmetric ultraviolet completion, which would predict additional structure such as domain walls or cosmic strings if the U(1) is spontaneously broken with a Z5 remnant."],"forward_implications":["Only five of the 28 maximally restrictive texture pairs can be realized by Abelian symmetries in the 2HDM with Dirac neutrinos; every other pair would require more than two Higgs doublets or a non-Abelian symmetry.","Each of the five viable pairs has a unique Yukawa decomposition, and the minimal discrete implementation is a Z5 symmetry, making the flavor structure fully determined once the texture is chosen.","For all five pairs, the single physical phase α left in the mass matrices is directly related to the Dirac CP phase δ (for example δ ≃ −α in the (5e1, 5ν8) case), so leptonic CP violation is predicted once masses and mixing angles are fixed.","All nine lepton-sector parameters can be reconstructed from the observables; for (5e1, 5ν8) the authors give explicit analytic formulas expressing every mass-matrix entry in terms of lepton masses, mixing angles, and α.","Phenomenologically, only the (5e1, 5ν8) pattern avoids the μ→eγ bound without tuning the neutral scalar masses, while the (4ℓ3, 6νk) patterns require m_R ≈ m_I; sizable deviations from tau lepton universality appear only for a light charged Higgs, m_H± ≲ 300 GeV."],"supporting_citations":[{"why":"Supplies the canonical decomposition method and the chain classification of realizable Yukawa textures in multi-Higgs models, used to enumerate the viable decompositions.","marker":"[68]"},{"why":"Provides the Smith normal form method for identifying the rephasing symmetry group of a Lagrangian from its allowed interactions.","marker":"[69]"},{"why":"Gives the SNF and canonical procedures for identifying continuous U(1) flavor symmetries and their minimal discrete charges.","marker":"[70]"},{"why":"Establishes the basis-transformation and phase-relation formalism for Abelian symmetries in the 2HDM that the whole charge analysis relies on.","marker":"[77]"},{"why":"Supplies the complete classification of charged-lepton and Dirac-neutrino texture pairs and their equivalence classes, from which the 28 candidates are taken.","marker":"[78]"},{"why":"Provides the prior maximally restrictive texture-pair analysis and numerical method that the new χ2 compatibility scan extends with updated data.","marker":"[79]"},{"why":"Provides the global-fit neutrino oscillation parameters used to define compatibility with data.","marker":"[72]"}],"fun_headline_variants":["28 Dirac-neutrino textures reduced to 5 by Abelian symmetries","Only 5 of 28 lepton texture pairs survive Abelian symmetry","Abelian symmetries filter 28 Dirac-neutrino textures down to 5"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The completeness of the canonical exclusion procedure: the claim that only five pairs are realizable assumes that every possible decomposition of every texture pair into the two Yukawa matrices, and every combination of consecutive Abelian transformations, has been considered and that none of the 23 rejected pairs has a hidden solution.","fun_headline_variants_meta":{"raw":{"variants":["28 Dirac-neutrino textures reduced to 5 by Abelian symmetries","Only 5 of 28 lepton texture pairs survive Abelian symmetry","Abelian symmetries filter 28 Dirac-neutrino textures down to 5"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001321,"raw_usage":{"total_tokens":5444,"prompt_tokens":1079,"completion_tokens":4365,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":695,"completion_tokens_details":{"reasoning_tokens":4300}},"tokens_in":695,"tokens_out":4365,"duration_ms":117082,"temperature":1.0,"reasoning_tokens":4300,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T05:34:43.231930+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find any assignment of U(1) charges (or any sequence of Z_N transformations) in the 2HDM that realizes any of the 23 excluded texture pairs of Table II, for instance by solving the linear phase equations of the canonical method symbolically and exhibiting a nonzero solution; one such solution would invalidate the 'only five' claim. Conversely, a direct symbolic proof that the phase equations for a specific excluded pair, such as (4ℓ3, 6ν2), have no solution in any charge normalization would confirm the classification for that case.","supporting_citations":[{"cited_title":"Brahmachari, E","cited_arxiv_id":null,"evidence_quote":"Gives the SNF and canonical procedures for identifying continuous U(1) flavor symmetries and their minimal discrete charges."},{"cited_title":"Roncadelli and D","cited_arxiv_id":null,"evidence_quote":"Establishes the basis-transformation and phase-relation formalism for Abelian symmetries in the 2HDM that the whole charge analysis relies on."},{"cited_title":"Roy and O","cited_arxiv_id":null,"evidence_quote":"Supplies the complete classification of charged-lepton and Dirac-neutrino texture pairs and their equivalence classes, from which the 28 candidates are taken."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the prior maximally restrictive texture-pair analysis and numerical method that the new χ2 compatibility scan extends with updated data."},{"cited_title":"Arkani-Hamed, S","cited_arxiv_id":null,"evidence_quote":"Provides the global-fit neutrino oscillation parameters used to define compatibility with data."}],"review_version":1}