{"id":"2517ca04-59c8-44a5-8ddb-f985f76d782b","arxiv_id":"2504.20044","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Mini-charged neutrinos are viable only for flavor-universal U(1)_X extensions such as U(1)_{B-L} and U(1)_L, and their experimental constraints are model-dependent, with upper bounds ranging from 10^-19 e to 10^-21 e.","lead":"This paper studies how neutrinos could carry tiny electric charges while preserving electromagnetic gauge invariance. It argues that only flavor-universal symmetries like U(1)_{B-L} and U(1)_L can do this consistently with neutrino oscillation data, and it compiles the resulting experimental bounds.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Exhaustiveness claim \"only flavor-universal U(1)_X\" is not proven; the paper checks six benchmark models and leaves open flavor-dependent models with extra fermions.","rationale":"The reader's weakest_assumption concerns exactness and anomaly-freedom of U(1)_X. That is a necessary condition, but the paper explicitly imposes it and the benchmark models satisfy it; I do not see a reason to doubt it. The more load-bearing gap is the exhaustiveness of the classification. The Introduction says \"minimal models\" are incompatible, but the Abstract and Table I drop the qualifier and assert \"only.\" Since the paper permits BSM fermions for anomaly cancellation, the space of possible U(1)_X symmetries is not exhausted by the six benchmarks. This matters because the central takeaway, that constraints should be evaluated within the specific framework, is well supported, but the stronger negative claim about all flavor-dependent models is not. A systematic anomaly-free charge scan would settle it. Secondary issues, such as the dimensionally inconsistent Eq. (32) and the unproven U(1)_{B_i-L_i} inconsistency, are real but do not affect the main conclusion, since the strongest bounds come from neutrality tests and pulsar limits rather than from (g-2). The Dirac-nature argument is a solid structural point, and the recasting of experimental limits is a useful update. The reader's CONDITIONAL verdict remains appropriate.","tokens_in":815,"tokens_out":867,"duration_ms":171432,"concrete_test":"Systematically enumerate rational solutions to the anomaly cancellation equations for the SM fermions plus three right-handed neutrinos, and optionally vector-like fermion pairs, under a U(1)_X charge assignment. For each solution, check whether the neutrino mass matrix can have off-diagonal entries consistent with the PMNS matrix. If any flavor-dependent solution permits full three-flavor mixing, the abstract's \"only\" is falsified; if none does, the claim is supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim, \"only flavor-universal U(1)_X symmetries, such as U(1)_{B-L} and U(1)_L, can generate tiny neutrino charges consistent with observed masses and mixing,\" is an exhaustive negative, but the analysis covers only six benchmark models. The argument that flavor-dependent U(1)_X forbids neutrino mixing rests on different electric charges blocking off-diagonal mass terms. This is sound for minimal particle content, but the paper explicitly allows extra fermions for anomaly cancellation, as in the U(1)_L model. It does not show that no flavor-dependent, anomaly-free U(1)_X with additional fermions can assign equal X charges to all lepton doublets (thereby permitting mixing) while differentiating other SM flavors, nor that such assignments necessarily fail anomaly cancellation. The U(1)_{B_i-L_i} incompatibility with quark mixing is also asserted without derivation. Hence the word \"only\" is stronger than the evidence presented.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper investigates models in which neutrinos acquire small electric charges by gauging a linear combination of the Standard Model hypercharge generator Y and a new gaugable global U(1)_X symmetry, so that the physical charge operator becomes Q = Q_st + ε X. The authors classify possible U(1)_X symmetries into flavor-dependent cases such as L_α − L_β and B_i − L_i, which they argue are incompatible with neutrino oscillation data because different neutrino flavors then carry different electric charges and off-diagonal mass terms are forbidden, and flavor-universal cases such as B − L and L, which they argue are viable. They show that a nonzero neutrino charge forces neutrinos to be Dirac particles, since a Majorana mass term would violate electromagnetic gauge invariance. They then recast existing laboratory, astrophysical, and neutrality constraints on neutrino millicharge for five benchmark models and conclude that the relevant bounds are model-dependent rather than generic. The paper's central message is that only flavor-universal U(1)_X symmetries can generate tiny neutrino charges consistent with observed masses and mixing.","tokens_in":16045,"tokens_out":10243,"duration_ms":105356,"significance":"If the classification were fully established, it would be a useful organizing principle for neutrino millicharge searches: instead of applying a single generic bound, each U(1)_X scenario would have to be evaluated separately. The basic argument that flavor-dependent charges forbid neutrino mixing is sound for minimal particle content, and the paper usefully compiles updated constraints from scattering, neutrality, g−2, and astrophysical observations. The Dirac nature argument is clean. However, the exhaustiveness claim goes beyond what is proven, and some phenomenological formulas contain sign and dimensional inconsistencies. The paper can become publishable after the central claim is either proven or appropriately qualified and the quantitative issues are fixed.","major_comments":[{"comment":"The abstract and Table I claim that 'only flavor-universal U(1)_X symmetries, such as U(1)_{B−L} and U(1)_L, can generate tiny neutrino charges consistent with observed masses and mixing.' This is an exhaustive negative statement, but the paper analyzes only the prototypes L_i − L_j and B_i − L_i. The argument that different electric charges forbid off-diagonal neutrino mass terms is correct for those minimal assignments, but the paper itself allows extra fermions for anomaly cancellation, as in Eq. (7) for U(1)_L. The authors do not prove that no flavor-dependent, anomaly-free U(1)_X with additional fermions can assign equal X charges to all lepton doublets while distinguishing other SM fields, nor that such assignments necessarily fail anomaly cancellation. The asserted incompatibility of U(1)_{B_i−L_i} with quark mixing is also not derived. The word 'only' should be replaced by a qualified statement such as 'in the minimal scenarios considered here,' or a general no-go theorem should be provided.","section":"Abstract and Table I; section 'Flavor dependent U(1)_X'"},{"comment":"Equation (32) states |δaℓ| ≃ 3|ε| α_em/(2π) e/(2mℓ), but this cannot be correct as written because δaℓ is dimensionless while the right-hand side has dimensions of inverse mass. The standard one-loop result for a charged lepton with charge Q = −1+ε is δaℓ ≈ [(−1+ε)^2 − 1] α/(2π) = (−2ε + ε^2) α/(2π), which is linear in ε at leading order but contains no e/(2mℓ) factor. The bounds quoted immediately after Eq. (32) and in Table II should be recomputed with the corrected formula, or the paper should clarify if a different quantity, such as a magnetic moment shift, was intended.","section":"Section 'Current status of charged neutrinos', Eq. (32)"},{"comment":"The electric charge assignments for U(1)_{B−L} are inconsistent between Table I and the text. Table I lists Qu = 2/3 − ε_ν/3, Qd = −1/3 − ε_ν/3, Qe = −1 + ε_ν, Qν = +ε_ν, whereas Eq. (5) and the surrounding text give Qu = 2/3 + ε/3, Qd = −1/3 + ε/3, Qe = −1 − ε and state Qν = −ε. The matter-neutrality relation in Eq. (31), Qm = −N Qν/A for B−L, is only consistent with one of these sign conventions. The authors should harmonize the signs and recheck all entries in Table II and Fig. 1 that depend on these relations.","section":"Table I and section 'Flavor universal U(1)_X'"}],"minor_comments":[{"comment":"The sentence 'The corresponding eigenvalues can be obtained by block-diagonalizing M by performing a bi-unitary transformation, leading order which leads' contains a typo; it should read 'to leading order, which leads.'","section":"Section 'Mini-charged neutrinos within a left-right symmetric model', Eq. (16)"},{"comment":"The row labels for the experiments are misleading: the 'Accelerator ν experiment' row includes reactor experiments TEXONO, GEMMA, CONUS, and Dresden-II, while the 'Reactor ν experiment' row includes LSND, which is an accelerator experiment. Please reclassify these entries or rename the rows.","section":"Table II"},{"comment":"The notation (2(1), 1(2)) in Eq. (10) is confusing; the reader must infer that the numbers in parentheses denote transformation properties under SU(2)_L and SU(2)_R, respectively. Please define this notation explicitly.","section":"Section 'Mini-charged neutrinos within a left-right symmetric model', Eq. (10)"},{"comment":"The sentence 'if this symmetry is off, discrete or global in nature' contains a typo; 'is off' should presumably read 'is broken' or 'is absent.'","section":"Section 'Dirac nature of charged neutrinos'"}],"recommendation":"major_revision","confidential_remarks":"The core symmetry argument for L_i − L_j is not new; it appears in essence in the cited earlier work by Foot, Joshi, Lew, and Volkas and by Babu and Volkas. The paper's main added value is the updated and more systematic recasting of experimental constraints. If the authors soften the 'only flavor-universal' claim to what is actually proven, and correct Eq. (32) and the sign inconsistencies, the paper would be within the scope of the journal and publishable. The current overstatement is load-bearing because the abstract and conclusions make the exhaustive claim the main takeaway."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing to know: the paper makes a clean point—if neutrinos get their charge by mixing hypercharge with a U(1)_X, then flavor-dependent X's generically block neutrino mixing, so experimental bounds cannot be applied model-independently. That message is right and worth stating. The second thing: the abstract's \"only flavor-universal symmetries work\" is stronger than what is proven. The paper checks six benchmark models, not the whole space.\n\nWhat's actually good: the Dirac-nature observation is sharp. An unbroken electromagnetic U(1)_Q forbids Majorana neutrino masses, so any charged neutrino must be Dirac, and that is protected to all orders by gauge invariance. I have not seen that stated this cleanly in the mini-charged context. The constraint recasting in Table II is also genuinely useful. It shows, for example, that U(1)_{L_mu-L_tau} escapes the neutron and matter neutrality bounds that dominate other models, so its true limit comes from astrophysics. That alone justifies the model-by-model message.\n\nWhere it slips: the exhaustiveness claim. The compatibility argument for U(1)_{L_i-L_j} relies on different electric charges forbidding off-diagonal mass terms. That is correct for the models shown. But the paper does not rule out a flavor-dependent U(1)_X with the same charge on all lepton doublets (so neutrino mixing is allowed) and different charges on, say, right-handed charged leptons, plus extra fermions for anomalies. The authors would need a no-go derived from anomaly conditions, or softer language. The U(1)_{B_i-L_i} quark-mixing inconsistency is also asserted, not derived—one line showing different quark charges block CKM would fix it. And Eq. (32) for (g-2) has a dimensionally inconsistent factor e/(2 m_l); left side is dimensionless, right side is not. Looks like a typo, but it is in print. Citation pattern is clean; self-citations to the authors' Dirac neutrino papers do not carry the argument.\n\nWho's it for: people working on neutrino electromagnetic properties and U(1)_X model building. The central classification and the constraint table are useful, and the Dirac point is a nice addition. It deserves a serious referee; the flaws are fixable. I would send it to review, asking the authors to soften or prove the \"only\" claim, correct the g-2 formula, and make the B_i-L_i argument explicit.","headline":"Useful model-by-model update to mini-charged neutrino bounds, but the \"only flavor-universal\" claim is stronger than the six benchmark models prove.","tokens_in":16553,"tokens_out":16315,"would_cite":true,"duration_ms":158364,"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":"Only flavor-universal U(1)_X symmetries such as B−L and L can endow neutrinos with a tiny electric charge while staying consistent with measured neutrino masses and mixing; flavor-dependent symmetries like L_μ−L_τ fail.","keywords":["neutrino electric charge","millicharged neutrinos","U(1)_X gauge symmetry","charge dequantization","neutrino oscillations","Dirac neutrinos","charge quantization","anomaly cancellation"],"falsifier":"Construct an explicit, anomaly-free model using a flavor-dependent $U(1)_X$ (for instance $L_\\mu-L_\\tau$) that nonetheless generates the observed three-flavor neutrino masses and mixing angles, for example by adding scalar or fermion fields that allow the required off-diagonal Yukawa couplings; if such a model satisfies all experimental constraints, the paper's claim that flavor-dependent symmetries are incompatible with oscillation data would be disproven.","tokens_in":15625,"feed_emoji":"⚛️","tokens_out":6382,"duration_ms":57014,"temperature":0.7,"pith_summary":"This paper asks whether neutrinos can carry a small electric charge without destroying electromagnetic gauge invariance. It shows that such a charge can arise by gauging a linear combination of the standard hypercharge generator with a new global U(1)_X symmetry under which neutrinos transform. The central claim is that only flavor-universal U(1)_X symmetries, such as B−L and total lepton number L, are compatible with the observed neutrino masses and mixing; flavor-dependent symmetries like L_μ−L_τ forbid the mixings seen in oscillation experiments. If correct, this means neutrino-charge bounds must be derived model-by-model, not applied generically. The paper also computes the resulting upper bounds on the charge for each viable symmetry.","feed_headline":"Only flavor-blind symmetries can give neutrinos charge","feed_subtitle":"The paper shows L_μ−L_τ-style models clash with oscillation data; B−L and L survive and yield bounds near 10^-21 e.","key_machinery":"The central construction is the modified charge operator $Q = Q_{\\mathrm{st}} + \\epsilon X$, obtained by gauging $U(1)_{Y+\\epsilon X}$ instead of $U(1)_Y$, where $X$ is the generator of an anomaly-free, unbroken global $U(1)_X$ symmetry under which neutrinos carry charge $X_\\nu$. The three conditions—anomaly freedom, exact conservation, and non-trivial lepton charges—make this charge operator valid at all scales. This identity is what lets the paper classify allowed symmetries and translate bounds.","core_discovery":"The paper establishes that in the Standard Model, a neutrino electric charge can only be generated without spoiling the electroweak structure by gauging a linear combination of hypercharge and an anomaly-free, unbroken global U(1)_X symmetry, leading to the charge operator $Q = Q_{\\mathrm{st}} + \\epsilon X$. It then classifies the allowed U(1)_X symmetries. Flavor-dependent ones ($L_\\alpha - L_\\beta$, $B_i - L_i$) give different charges to different neutrino flavors, which forbids neutrino flavor mixing and leaves some neutrinos massless, conflicting with oscillation data. Flavor-universal ones ($B-L$, $L$) give the same charge to all neutrinos, allow Dirac mass terms and mixing, and pass the anomaly conditions. The paper argues that for these scenarios neutrinos are necessarily Dirac fermions, with the Dirac nature protected by the electromagnetic gauge symmetry, and it compiles model-specific experimental and astrophysical bounds, concluding that generic millicharge bounds are not valid across models.","pith_inferences":["If the classification holds, then a future measurement of a neutrino charge would immediately identify the underlying $U(1)_X$ symmetry by the pattern of quark and lepton charge shifts, turning the charge itself into a fingerprint of the model.","The Dirac nature conclusion suggests that charged neutrinos automatically evade neutrinoless double-beta decay constraints, distinguishing them observationally from Majorana scenarios.","The $B-L$ and $L$ scenarios predict specific shifts in quark and lepton charges (in $B-L$, neutron charge $Q_n = -Q_\\nu$), which could be tested by improved neutrality experiments; the current neutron-charge measurement already reaches $Q_\\nu \\sim 10^{-21}e$.","A testable extension is to recast limits from future reactor and dark-matter experiments (e.g., DUNE, LHC forward detectors, neutrino telescopes) separately for $B-L$ and $L$, since they predict different flux attenuation and recoil spectra."],"forward_implications":["Flavor-dependent U(1) symmetries like $L_\\mu - L_\\tau$ cannot accommodate observed neutrino oscillations, so any model with charged neutrinos based on them is excluded.","Flavor-universal $U(1)_{B-L}$ and $U(1)_L$ can produce charged neutrinos consistent with masses and mixing, so future searches should target these cases.","In such models neutrinos must be Dirac, because a Majorana mass would break electromagnetic gauge symmetry; this provides a symmetry-based rationale for Diracness.","The strongest current bounds are about $10^{-21}e$ for $L_e-L_\\mu$, $L_e-L_\\tau$, and $L$ (from matter neutrality), $10^{-19}e$ for $L_\\mu-L_\\tau$ (from pulsar timing), and $10^{-21}e$ for $B-L$ (from neutron and matter neutrality).","Model-independent millicharge bounds are not applicable; constraints must be recast per U(1)_X scenario."],"supporting_citations":[{"why":"Provides the U(1)_{L_\\mu−L_\\tau} scenario of charged neutrinos that the paper analyzes and rejects.","marker":"[12]"},{"why":"Derives earlier bounds on minicharged neutrinos and the lepton (g−2) deviation formula used here.","marker":"[13]"},{"why":"Establishes the dequantization mechanism by gauging a linear combination of hypercharge and a global U(1)_X symmetry.","marker":"[36]"},{"why":"Gives the charge-shift formula Q = Q_st + εX for B−L type models.","marker":"[37]"},{"why":"Supplies the U(1)_L model with extra fermions that the paper adopts for the flavor-universal case.","marker":"[40]"},{"why":"Provides the Dresden-II and COHERENT neutrino-electron scattering limits that are recast model by model.","marker":"[44]"},{"why":"The neutron neutrality measurement that yields Q_ν ≈ 10^-21 e in the B−L case.","marker":"[64]"},{"why":"The matter neutrality test that bounds the L_e−L_μ, L_e−L_τ, and L scenarios.","marker":"[65]"},{"why":"The pulsar-frequency bound that sets the L_μ−L_τ limit at 10^-19 e.","marker":"[72]"}],"fun_headline_variants":["Neutrino charge requires flavor-universal symmetries","Flavor-dependent U(1) rules out neutrino charges","Dirac neutrinos get tiny charges from B-L or L","Only B-L or L can give neutrinos a charge","Generic millicharge bounds fail for neutrinos"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire classification presupposes that the chosen global U(1)_X symmetry is exactly conserved and anomaly-free, so the altered charge operator $Q = Q_{\\mathrm{st}} + \\epsilon X$ remains exact at all energy scales; if $U(1)_X$ is broken by anomalies, higher-dimensional operators, or spontaneous breaking, the neutrino charge ceases to be a well-defined quantum number.","fun_headline_variants_meta":{"raw":{"variants":["Neutrino charge requires flavor-universal symmetries","Flavor-dependent U(1) rules out neutrino charges","Dirac neutrinos get tiny charges from B-L or L","Only B-L or L can give neutrinos a charge","Generic millicharge bounds fail for neutrinos"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000487,"raw_usage":{"total_tokens":2415,"prompt_tokens":975,"completion_tokens":1440,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":591,"completion_tokens_details":{"reasoning_tokens":1360}},"tokens_in":591,"tokens_out":1440,"duration_ms":9172,"temperature":1.0,"reasoning_tokens":1360,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T05:37:04.150837+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct an explicit, anomaly-free model using a flavor-dependent $U(1)_X$ (for instance $L_\\mu-L_\\tau$) that nonetheless generates the observed three-flavor neutrino masses and mixing angles, for example by adding scalar or fermion fields that allow the required off-diagonal Yukawa couplings; if such a model satisfies all experimental constraints, the paper's claim that flavor-dependent symmetries are incompatible with oscillation data would be disproven.","supporting_citations":[{"cited_title":"Muon ${g-2}$ Anomaly and Neutrino Magnetic Moments","cited_arxiv_id":"2104.03291","evidence_quote":"Derives earlier bounds on minicharged neutrinos and the lepton (g−2) deviation formula used here."},{"cited_title":"New Limits on Neutrino Magnetic Moments from the Kuo-Sheng Reactor Neutrino Experiment","cited_arxiv_id":"hep-ex/0212003","evidence_quote":"Provides the Dresden-II and COHERENT neutrino-electron scattering limits that are recast model by model."}],"review_version":1}