{"id":"a650e658-8ec2-456f-891f-ea7082d1f327","arxiv_id":"1909.02331","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"The authors compute the previously arbitrary Z-Z' kinetic and mass mixing at one loop in two L_mu-L_tau models, finding a suppressed mixing in a seesaw version and a non-decoupling mixing in a vectorlike-lepton version.","lead":"This paper shows how the unknown mixing between the Z boson and a new Z' boson in the L_mu minus L_tau extension of particle physics can be computed from other parameters rather than left as a free input. The calculation is done in two specific models, one with right-handed neutrinos and one with vectorlike leptons, and yields either a tiny suppressed mixing or a non-decoupling finite mixing.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The seesaw 'practically no kinetic mixing' conclusion is conditional on a special m_D: generic μ-τ-breaking m_D makes BBZ' divergent, and even the diagonal-m_D case predicts a non-decoupling BBZ' (Eq. 68) that the abstract's blanket decoupling sentence overlooks.","rationale":"The reader's weakest assumption correctly identifies the m_D structure as the load-bearing condition for the seesaw finiteness claim, and I agree that the headline 'practically no kinetic mixing' is stated more broadly than the calculation supports. My stress-test adds that the paper itself contains a direct internal tension: Eq. (68) shows a finite non-decoupling BBZ' in the diagonal-m_D seesaw, while the abstract states that in case (i) the kinetic mixing parameters vanish when the right-handed neutrinos decouple. The phrase 'kinetic mixing parameters' is used in the paper to include both sinχ and δM², so the abstract's sentence is at least ambiguous and at most contradicted by the body. The concrete test of recomputing BBZ'(0) in the exact decoupling limit would settle whether the non-decoupling constant is real or an artifact of the m_ν²≪q²≪M² approximation. If real, the summary and abstract should be reworded to say that sinχ vanishes in that limit while δM² does not in the diagonal-m_D subcase. This does not overturn the paper's main calculability results, so the reader's CONDITIONAL verdict stands.","tokens_in":21678,"tokens_out":36390,"duration_ms":381092,"concrete_test":"Independently re-derive BBZ' in the diagonal-m_D seesaw (Eq. 66) from Eqs. (59)-(60) without taking the m_ν²≪q²≪M² approximation, evaluate at q²=0, and take M_2,3→∞ at fixed m_2,3. If the constant −(3g_Yg′/32π²)(m_2²−m_3²) survives, the abstract's decoupling sentence must be revised to distinguish sinχ from δM²; if it cancels against a term dropped in Eq. (67), the non-decoupling claim is an artifact of the approximation. Separately, compute the E-pole coefficient in Eq. (35) for m_D=diag(m_2,m_3)+εΔ with Δ a μ-τ-breaking off-diagonal matrix; a nonzero O(ε) coefficient confirms that finiteness is confined to the two special m_D structures.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central phenomenological claim is that the seesaw model is 'a complete framework with practically no kinetic mixing' (abstract and Section VI). The one-loop calculation that supports this is finite only because of identities (57) and (58). Those identities remove the E pole in Eq. (35) when m_D is either μ-τ symmetric (Eq. 44) or diagonal with unbroken L_μ−L_τ. For a generic μ-τ-breaking m_D, the divergent coefficient is proportional to Tr[(m_D†m_D−m_Dm_D†)X_3], which is not zero, so the mass mixing BBZ' is divergent and δM² is incalculable without a symmetry-protecting counterterm. The body acknowledges this restriction, but the abstract's statement that 'the kinetic mixing parameters are suppressed and vanish if the right-handed neutrinos decouple' is also in tension with the paper's own Eq. (68): in the diagonal-m_D case, BBZ' approaches −(3g_Yg′/32π²)(m_2²−m_3²) as M_R→∞, a finite non-vanishing mass mixing. Thus the advertised 'practically no kinetic mixing' conclusion does not apply uniformly to case (i); it applies only to the μ-τ symmetric m_D subcase, and the alternative subcase actually exhibits the kind of non-decoupling mass mixing that the abstract attributes solely to case (ii).","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the one-loop generation of the kinetic mixing parameter sinχ and the mass mixing parameter δM² between hypercharge and a U(1)_{L_μ−L_τ} Z′. It classifies generalized μ-τ interchange/reflection symmetries that forbid these terms at tree level, shows that exact versions are incompatible with the observed lepton mixing pattern and/or leptonic CP violation, and then presents two UV frameworks in which the symmetry breaking that makes the mixing calculable is controlled: (A) the standard seesaw model with μ-τ breaking confined to the right-handed neutrino mass matrix, and (B) a model with vectorlike charged leptons whose soft μ-τ breaking generates finite contributions. The paper derives general one-loop formulas for A_BZ′ and B_BZ′, gives finiteness identities, and presents approximate expressions in the decoupling limit. It concludes that in the seesaw case the kinetic mixing is generically small and vanishes when the right-handed neutrinos decouple, while in the vectorlike model non-decoupling contributions survive; it also discusses constraints from rare tau decays and the muon (g−2).","tokens_in":22059,"tokens_out":10209,"duration_ms":103506,"significance":"If the derivation is correct, the paper is a useful step toward turning a priori arbitrary kinetic and mass mixing parameters into calculable functions of the neutrino and charged-lepton sector parameters in explicit models. Its strengths are the general one-loop formulas with the full divergent structure, the finiteness identities in Eqs. (57)–(58) and (81), and the concrete limiting expressions in Eqs. (65), (68), and (87) that can be confronted with experiment. The appearance of the atmospheric angle θ as an input from neutrino phenomenology is legitimate, and I do not see a circularity problem: θ is not tuned to reproduce the mixing parameters being computed. The main caveat is that the headline “practically no kinetic mixing” conclusion for the seesaw model is not uniform across the parameter space, because the diagonal-m_D subcase has a non-decoupling mass mixing in Eq. (68).","major_comments":[{"comment":"The blanket statement in the abstract that in case (i) “the kinetic mixing parameters are suppressed and vanish if the right-handed neutrinos decouple from the theory” is not correct for B_BZ′. For the diagonal-m_D subcase with unbroken L_μ−L_τ, Eq. (68) gives B_BZ′ → −(3 g_Y g′/32π²)(m_2² − m_3²) as M_R → ∞, i.e., a finite non-decoupling mass mixing. The body’s Summary later acknowledges this (“the neutrino mass mixing parameter can be large and independent of the right handed neutrino masses if the Dirac mass matrix also break the µ-τ symmetry”), but the abstract and the concluding “practically no kinetic mixing” statement do not. The abstract and Section VI should distinguish sinχ, which decouples, from δM², which does not for this subcase, and should present case (i) as two separate subcases.","section":"Abstract, §V.A, Eq. (68)"},{"comment":"The finiteness of B_BZ′ in the seesaw model is conditional on a special structure of m_D. The divergent E-pole in Eq. (35) is removed only when the right-hand sides of Eqs. (57) and (58) either vanish individually (μ-τ symmetric m_D of Eq. (44)) or cancel (diagonal m_D with unbroken L_μ−L_τ, as in Eq. (66)); for a generic μ-τ-breaking m_D the divergent coefficient is proportional to Tr[(m_D†m_D − m_D m_D†)X_3], and δM² is not calculable without a symmetry-protecting counterterm. This restriction is stated in passing after Eq. (65), but it is load-bearing for the claim that the seesaw model is “a complete framework with practically no kinetic mixing.” It should be promoted to a clearly stated condition in the abstract and in Section VI.","section":"§V.A, Eqs. (57)–(58)"},{"comment":"The statement that constraints from precision electroweak tests, atomic parity violation, Borexino, and COHERENT “do not hold in the type of seesaw model discussed in section V A due to very suppressed Z-Z′ mixing” is too broad. In the diagonal-m_D subcase of §V.A, the non-decoupling B_BZ′ of Eq. (68) contributes to the observable mixing angle ξ through Eq. (39), so the Z−Z′ mixing is not necessarily suppressed enough to evade those constraints. The phenomenological claims in Section VI should be stated per subcase rather than for the seesaw model as a whole.","section":"§VI, phenomenological discussion"}],"minor_comments":[{"comment":"The quantity Δ_atm appears without a definition; it should be identified explicitly (presumably m_ν3² − m_ν2², or Δm_31², with a stated sign convention) so that the numerical size of the first term in A_BZ′ can be assessed.","section":"Eq. (65)"},{"comment":"In Eq. (78) the right-handed hypercharge matrix is written as the scalar “−1” rather than as −1 times the 5×5 identity; displaying it as a diagonal matrix would avoid ambiguity in later traces such as Eq. (81).","section":"Eq. (78)"},{"comment":"Equation (8) is described as “termed as the µ-τ reflection symmetry,” but Eq. (8) is a condition on the mixing matrix that follows from the reflection symmetry, not the symmetry itself. The wording should be adjusted to avoid conflating the two.","section":"Sec. II, Eq. (8)"},{"comment":"There is a typographical spacing error in the heading “Form2≪q2,” which should read “For m² ≪ q²”; the same type of spacing issue appears in a few other places, for example after Eq. (87).","section":"Appendix A"}],"recommendation":"major_revision","confidential_remarks":"The report above is my main assessment. I see no novelty or attribution concerns; the manuscript builds on earlier work by Foot-He-Lew-Volkas and Baek et al. but extends it substantially with explicit one-loop calculations. The revision should mainly reconcile the abstract and Section VI with the non-decoupling mass-mixing result in Eq. (68) and with the conditional finiteness of B_BZ′ in §V.A."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth a real look. This paper does something the literature mostly waves at: it actually computes the loop-generated kinetic mixing (sinχ) and mass mixing (δM²) in two concrete U(1)_{Lμ−Lτ} completions, and shows the results are finite under specific symmetry assumptions. The generalized μ−τ reflection/interchange classification in Sections II–III is a systematic treatment that extends earlier work, and the non-decoupling of the mass-mixing parameter in the vectorlike model — and, notably, in the diagonal-m_D seesaw subcase — is a real qualitative point, not a contrivance. The general one-loop formulas (34,35) and the finiteness identities (57,58) and (81) are laid out clearly enough to be checked; I did the algebra on the obvious pieces and it hangs together. The limiting expressions in Sec. V follow from the stated approximations. This is honest, careful work.\n\nThe softest spot is packaging, not math. The abstract says the seesaw model has 'practically no kinetic mixing' and that mixing vanishes when the right-handed neutrinos decouple. That is true for the μ−τ symmetric m_D subcase they emphasize, but in the diagonal m_D subcase their own Eq. (68) gives a finite, non-decoupling mass mixing, BBZ′ ≈ −(3g_Y g′/32π²)(m₂²−m₃²). The body does acknowledge this ('the neutrino mass mixing parameter can be large and independent of the right-handed neutrino masses if the Dirac mass matrix also breaks μ−τ'), so it is a summary defect, not a calculation error. Still, an abstract that leads readers toward the opposite conclusion in the very model advertised as 'complete' is something to fix before publication. A second, smaller gap: the two-loop claim in Section III is asserted without derivation; it is plausible from the symmetry structure, but it deserves an appendix or a clear reference. I could not fully verify a few signs and factors in Eq. (68), but the overall structure and the vanishing-mass limits are right.\n\nThe stress-test worry about generic μ−τ-breaking m_D is correct but not fatal: for such m_D, the one-loop BBZ′ is indeed divergent and incalculable, and the finiteness claims are conditional on m_D being μ−τ symmetric or diagonal (Lμ−Lτ symmetric). That condition is stated explicitly in the text, so a careful reader is not misled; only the abstract overreaches.\n\nWho should read this: model builders working on gauged Lμ−Lτ, Z′ phenomenology, and the interplay of discrete lepton symmetries with calculable mixing parameters. It deserves a serious referee and, after the abstract is tightened and the two-loop statement is supported, publication.","headline":"Solid, original one-loop calculations of kinetic and mass mixing in Lμ-Lτ models, but the abstract oversells the seesaw case by ignoring its own non-decoupling mass-mixing subcase.","tokens_in":22569,"tokens_out":4849,"would_cite":false,"duration_ms":44485,"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":"Generalized mu-tau symmetries turn the arbitrary kinetic and mass mixing of U(1)_{L_mu-L_tau} models into finite loop predictions, with a seesaw benchmark that has practically no kinetic mixing and a vectorlike-lepton benchmark with…","keywords":["kinetic mixing","mass mixing","U(1) L_mu - L_tau","mu-tau interchange symmetry","mu-tau reflection symmetry","seesaw model","vectorlike charged leptons","non-decoupling"],"falsifier":"Compute the coefficient of the $1/\\epsilon$ pole in $\\mathcal{B}_{BZ'}$ in the seesaw model with a generic $\\mu$-$\\tau$-breaking Dirac mass matrix $m_D$ that still fits neutrino oscillation data; the identities (57,58) fail and the pole returns, so the finiteness claim dies. Alternatively, measure the $Z$-$Z'$ mixing angle $\\xi$ in precision electroweak data at the level predicted by Eq. (87) for the vectorlike model; the non-decoupling contribution stays finite at arbitrarily large $m_{4,5}$, so a null result at that sensitivity would rule it out.","tokens_in":21503,"feed_emoji":"⚛️","tokens_out":15693,"duration_ms":132022,"temperature":0.7,"pith_summary":"This paper argues that in gauged $U(1)_{L_\\mu-L_\\tau}$ extensions of the Standard Model, the otherwise arbitrary kinetic mixing $\\sin\\chi$ and mass mixing $\\delta M^2$ between hypercharge and the new $Z'$ boson become calculable loop-level quantities once a generalized $\\mu$-$\\tau$ symmetry forbids them at tree level. The authors show that exact $\\mu$-$\\tau$ interchange or reflection symmetries are incompatible with observed lepton mixing, so the symmetry must be spontaneously or softly broken. In the seesaw model with $\\mu$-$\\tau$ broken only by right-handed neutrino masses, the kinetic mixing is suppressed and practically absent, while a $\\mu$-$\\tau$-breaking Dirac mass term produces a finite non-decoupling contribution to $\\delta M^2$. In a model with vectorlike charged leptons, a finite gauge mixing survives even as the vectorlike masses go to infinity. If correct, this turns two free parameters of the theory into predictions testable through precision electroweak data and rare tau decays.","feed_headline":"Mu-tau symmetry turns Z-Z' mixing into a prediction","feed_subtitle":"One model gives almost no kinetic mixing; the other gives mixing that survives infinitely heavy leptons.","key_machinery":"The central object is a family of generalized $\\mu$-$\\tau$ interchange and reflection symmetries acting on leptons together with sign flips of the gauge fields ($Z'_\\mu\\to-Z'_\\mu$ or $B_\\mu\\to-B_\\mu$). These symmetries are engineered so that the diagonalizing matrices obey Eq. (8), $|(U_f)_{\\mu i}|^2=|(U_f)_{\\tau i}|^2$, which eliminates the diagonal $Z'$ couplings that would otherwise generate kinetic and mass mixing at one loop through vacuum-polarization diagrams. The actual calculations are carried by trace identities: Eqs. (57,58) express the divergent part of $\\mathcal{B}_{BZ'}$ in the seesaw model as traces of $m_D^\\dagger m_D X_3$ and $m_D m_D^\\dagger X_3$, which vanish for the assumed $m_D$ textures, and Eq. (81) performs the analogous cancellation in the vectorlike model. These identities are what convert an a priori divergent and incalculable quantity into a finite one-loop prediction.","core_discovery":"The central claim is that imposing a generalized $\\mu$-$\\tau$ symmetry in the full theory, and breaking it softly or spontaneously, makes the tree-level-forbidden kinetic and mass mixing parameters finite and calculable. In the seesaw completion, the divergent part of $\\mathcal{B}_{BZ'}$ cancels through the trace identities (57) and (58) when the Dirac neutrino mass matrix $m_D$ is $\\mu$-$\\tau$ symmetric or diagonal with unbroken $L_\\mu-L_\\tau$; the resulting $\\mathcal{A}_{BZ'}$ is suppressed by light-neutrino masses and vanishes as the right-handed neutrinos decouple, whereas $\\mathcal{B}_{BZ'}$ retains a finite non-decoupling piece proportional to $m_2^2-m_3^2$ when $m_D$ breaks $\\mu$-$\\tau$. In the vectorlike charged-lepton model, both parameters receive non-decoupling contributions that survive $m_{4,5}\\to\\infty$, so the gauge mixing can be large. The paper also establishes that exact versions of the forbidding symmetries are excluded: $\\mu$-$\\tau$ interchange gives $\\theta_{13}=\\theta_{23}=0$ in the lepton mixing matrix, and $\\mu$-$\\tau$ reflection forces vanishing CP violation.","pith_inferences":["If the non-decoupling $\\delta M^2$ result is correct, then integrating out the heavy leptons leaves behind a finite local mass-mixing counterterm; precision electroweak measurements of the $Z$-$Z'$ mixing angle $\\xi$ can therefore probe the heavy sector even when the vectorlike leptons are far beyond direct collider reach.","The same forbid-at-tree-level, break-softly recipe should transfer to other abelian flavour symmetries, such as $U(1)_{L_e-L_\\mu}$ or $U(1)_{B-L}$, where analogous residual symmetries would make their kinetic and mass mixing parameters calculable as well.","A sharper test of the vectorlike model would be to measure $\\xi$ in coherent elastic neutrino-nucleus scattering or atomic parity violation with sensitivity to Eq. (87); because the contribution does not decouple, a null result at that level would exclude the model rather than merely push the new leptons to higher mass."],"forward_implications":["In the seesaw model with $\\mu$-$\\tau$ symmetric $m_D$, $\\sin\\chi$ and $\\delta M^2$ are finite, suppressed by the right-handed neutrino masses, and vanish as $M_R\\to\\infty$; the model is a complete $L_\\mu-L_\\tau$ framework with practically no kinetic mixing.","If $m_D$ preserves $L_\\mu-L_\\tau$ while breaking $\\mu$-$\\tau$, $\\delta M^2$ acquires a finite non-decoupling contribution proportional to $m_2^2-m_3^2$ that survives $M_R\\to\\infty$.","With vectorlike charged leptons, both mixing parameters receive non-decoupling contributions that survive $m_{4,5}\\to\\infty$ and can be sizable, set by $\\ln(m_4^2/m_5^2)$ and the mixing angles $\\varphi_{L,R}$, $\\theta_{L,R}$.","The seesaw scenario sidesteps the usual bounds from atomic parity violation, Borexino, COHERENT, and beam-dump experiments because the $Z'$ has essentially no coupling to electrons or quarks; the decisive probes are muon and tau processes.","The model reconciles $(g-2)_\\mu$ with the observed $1.6\\sigma$ excess in $\\mathrm{BR}(\\tau^-\\to\\mu^-\\nu_\\mu\\nu_\\tau)$ for $g'$ between $0.004$ and $0.006$ and $M_{Z'}$ between $1.12$ and $1.24$ GeV, which can be tested at Belle II and a muon collider."],"supporting_citations":[{"why":"It introduced the mu-tau interchange symmetry with Z'_mu -> -Z'_mu that forbids kinetic mixing at tree level in the L_mu-L_tau model.","marker":"[4]"},{"why":"It defined the kinetic mixing operator whose one-loop generation and finiteness are the subject of the paper.","marker":"[36]"},{"why":"It provided the parametrization of B-Z' mixing, including the mass-mixing term and the effective mixing angle xi, used here to translate sin chi and delta M^2 into observables.","marker":"[38]"},{"why":"It supplied the specific leptonic mixing-matrix form with equal magnitudes in the mu and tau rows that makes Z' couplings off-diagonal, preventing one-loop kinetic mixing.","marker":"[44]"},{"why":"It established the mu-tau reflection mass-matrix conditions that the paper generalizes to obtain viable lepton mixing with vanishing one-loop mixing.","marker":"[45]"},{"why":"It gave the conditions S^dagger M_l M_l^dagger S = M_l M_l^dagger and related identities used to characterize mu-tau interchange invariance in the charged lepton sector.","marker":"[47]"},{"why":"It collected the experimental bounds on sin chi as a function of M_Z' that the seesaw model's near-vanishing kinetic mixing allows it to evade.","marker":"[42]"},{"why":"It provided the rare-tau-decay and (g-2)_mu analysis whose allowed g'-M_Z' window the paper rederives with updated data.","marker":"[5]"},{"why":"It supplied the radiative-correction formalism for seesaw neutrino masses on which the one-loop calculation of the mixing parameters is based.","marker":"[58]"}],"fun_headline_variants":["Broken mu-tau symmetry makes Z-Z' mixing calculable","Non-decoupling gauge mixing from vectorlike leptons","Exact mu-tau symmetries fail; broken ones give predictions","Seesaw suppresses kinetic mixing but not mass mixing","Generalized mu-tau symmetry predicts Z-Z' mixing"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The calculation is load-bearing on the assumption that the Dirac neutrino mass matrix $m_D$ is exactly $\\mu$-$\\tau$ symmetric, or else diagonal with unbroken $L_\\mu-L_\\tau$; for a generic $m_D$ the divergent part of $\\delta M^2$ returns and the mixing parameters cease to be calculable.","fun_headline_variants_meta":{"raw":{"variants":["Broken mu-tau symmetry makes Z-Z' mixing calculable","Non-decoupling gauge mixing from vectorlike leptons","Exact mu-tau symmetries fail; broken ones give predictions","Seesaw suppresses kinetic mixing but not mass mixing","Generalized mu-tau symmetry predicts Z-Z' mixing"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000287,"raw_usage":{"total_tokens":1805,"prompt_tokens":1185,"completion_tokens":620,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":801,"completion_tokens_details":{"reasoning_tokens":537}},"tokens_in":801,"tokens_out":620,"duration_ms":6064,"temperature":1.0,"reasoning_tokens":537,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:55:04.930246+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the coefficient of the $1/\\epsilon$ pole in $\\mathcal{B}_{BZ'}$ in the seesaw model with a generic $\\mu$-$\\tau$-breaking Dirac mass matrix $m_D$ that still fits neutrino oscillation data; the identities (57,58) fail and the pole returns, so the finiteness claim dies. Alternatively, measure the $Z$-$Z'$ mixing angle $\\xi$ in precision electroweak data at the level predicted by Eq. (87) for the vectorlike model; the non-decoupling contribution stays finite at arbitrarily large $m_{4,5}$, so a null result at that sensitivity would rule it out.","supporting_citations":[{"cited_title":"(34) in the limit q2≪m2 µ","cited_arxiv_id":null,"evidence_quote":"It defined the kinetic mixing operator whose one-loop generation and finiteness are the subject of the paper."},{"cited_title":"A non-standard CP transformation leading to maximal atmospheric neutrino mixing","cited_arxiv_id":"hep-ph/0305309","evidence_quote":"It gave the conditions S^dagger M_l M_l^dagger S = M_l M_l^dagger and related identities used to characterize mu-tau interchange invariance in the charged lepton sector."},{"cited_title":"Gauged $L_\\mu$-$L_\\tau$ Model with an Inverse Seesaw Mechanism for Neutrino Masses","cited_arxiv_id":"1710.02878","evidence_quote":"It supplied the radiative-correction formalism for seesaw neutrino masses on which the one-loop calculation of the mixing parameters is based."}],"review_version":1}