{"id":"e0ade8e6-7d5f-4f02-889e-00284acd4fe1","arxiv_id":"1908.09306","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Three vanishing weak-basis invariants are not sufficient for leptonic CP conservation with Majorana neutrinos in the full allowed mass region; four are sufficient, and new three-invariant sets work only within current experimental bounds.","lead":"The paper shows that three weak-basis invariants, once thought to guarantee CP conservation for Majorana neutrinos, can all vanish while CP violation remains, at a lightest neutrino mass of 0.03 eV. Four invariants are sufficient in general, and the paper proposes new three-invariant sets that work only within current experimental bounds.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Sec. 3's three-invariant sufficiency claims rest on a best-fit numerical scan; if the critical masses shift within allowed parameter ranges, or if real roots were missed, the central conditional claim fails.","rationale":"The counterexample and the four-invariant theorem are solid; the questionable load-bearing step is the claimed sufficiency of three invariants for all experimentally allowed parameters. The paper solves Eqs. (11)/(18) or (18)/(20) numerically with all mixing parameters fixed to best-fit values, scanning only m1. The appearance of complex rho and sigma below m'_* does not prove the absence of real solutions; a numerical root finder can miss real roots. Also m'_* depends on theta23 and other parameters, so without a scan of their allowed ranges the claimed margin above the cosmological bound is not established. This is exactly the reader's weakest assumption; a directed grid scan with polynomial elimination would settle it. The counterexample at m1=0.03 eV is well-supported by plotted intersections and should not be doubted. Therefore the verdict remains conditional, not accept.","tokens_in":11514,"tokens_out":10612,"duration_ms":99948,"concrete_test":"Perform a dense grid scan over the current 3-sigma ranges of theta23, theta12, theta13, Delta21, and Delta31, and over m1 up to the value allowed by the sum bound (about 0.030 eV for normal ordering). At each grid point solve I2=0 and Ihat2=0 (and separately Ihat2=Ihat3=0) as real equations for rho and sigma, using polynomial elimination or interval arithmetic rather than local root finding. If any real solution outside {0, 90} degrees modulo 90 degrees appears, the three-invariant sufficiency claim fails. A minimal version: vary theta23 to its 3-sigma limits and recompute m'_*; if it falls below the actual m1 upper bound, the claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central new claim is that, within the experimentally allowed parameter region, the three-invariant sets {I1,I2,Ihat2} and {I1,Ihat2,Ihat3} are sufficient for CP conservation (Sec. 3, Eqs. (18)-(21)). The only evidence is a numerical root search that scans m1 while fixing theta12=33.82°, theta13=8.61°, theta23=48.3°, Delta21=7.39e-5 eV^2, Delta31=2.523e-3 eV^2, i.e. the best-fit values from Ref. [10]. Two things are left open. (i) The critical masses m'_*~0.0557 eV and m''_*~0.142 eV are functions of all mixing parameters; if theta23 or the mass-squared differences move within their allowed ranges, m'_* can drop below the cosmological upper bound on m1 (which, given the sum bound 0.12 eV, is about 0.030 eV for normal ordering, not 0.04 eV as stated below Eq. (13)), making the proposed three conditions insufficient in a currently allowed part of parameter space. (ii) The claim 'for m1<=m'_* the solutions are complex, hence no real nontrivial solutions' (Fig. 3) is not a proof: a nonlinear solver returning complex roots does not exclude real roots. No analytic elimination or monotonicity argument is supplied. Thus the paper's positive answer, that three conditions can suffice for all physical parameters, is not yet established; only the counterexample in Sec. 2 is demonstrated. The four-invariant proof additionally checks Det(A)!=0 only at best-fit angles, though this result already existed in Ref. [4].","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper asks whether three weak-basis (WB) invariants are sufficient and necessary conditions for CP conservation in the leptonic sector with Majorana neutrinos, or whether four are required. The authors first show that the traditional set {I1,I2,I3} from Eqs. (2)-(4) is not sufficient: for the best-fit mixing parameters and m1=0.03 eV, the conditions I1=I2=I3=0 admit the nontrivial Majorana-phase solution ρ≈38.551°, σ≈173.146°, so CP is violated. They then propose two alternative three-invariant sets, {I1,I2,Î2} and {I1,Î2,Î3}, and argue that these are sufficient and necessary for CP conservation within the experimentally allowed parameter region, with critical lightest-neutrino masses m′*≈0.0557 eV and m″*≈0.142 eV respectively. Finally, they show that a four-invariant set, e.g. {I1,I2,Î2,Î3}, is sufficient and necessary independently of m1, using the determinant formula in Eq. (23). The paper concludes that the answer to the title question depends on the allowed mass range and on the choice of invariants.","tokens_in":11900,"tokens_out":6419,"duration_ms":65765,"significance":"If the claims are fully established, the paper makes a useful conceptual point: the number of necessary and sufficient CP-conservation conditions need not equal the number of independent CP-violating phases, and it supplies an explicit counterexample to the previously used three-invariant set. The counterexample at m1=0.03 eV is well supported by the numerical solutions in Eq. (16) and by the intersecting-zero curves in Fig. 1, and the determinant formula in Eq. (23) is compact and potentially reusable. The paper also makes a threshold prediction: the old conditions fail for m1 above about 0.0265 eV (at the adopted inputs), a falsifiable statement with future neutrino-mass measurements. However, the positive statement that the new three-invariant sets are sufficient for all experimentally allowed parameters rests on a numerical root scan at fixed best-fit values; the rigor of that part is below the standard of a proof, so the significance is conditional on completing that analysis.","major_comments":[{"comment":"The central positive claim—that the sets {I1,I2,Î2} and {I1,Î2,Î3} are sufficient for CP conservation for all experimentally allowed parameters—is not established by the evidence presented. The critical masses m′*≈0.0557 eV and m″*≈0.142 eV are obtained by numerically solving Eqs. (11) and (18) or (20) at the fixed best-fit values θ12=33.82°, θ13=8.61°, θ23=48.3°, Δ21=7.39×10^-5 eV^2 and Δ31=2.523×10^-3 eV^2. The statement that for m1 below these values the nontrivial solutions have complex ρ and σ, and are therefore unphysical, does not exclude the possibility of real solutions that the solver missed, and no analytic elimination, resultant, or monotonicity argument is supplied. Since the critical masses depend on all mixing parameters and mass-squared differences, a scan over the full experimentally allowed ranges, or an analytic argument, is needed before one can claim sufficiency for all physical parameters.","section":"Sec. 3, Eqs. (18)-(21), Figs. 3-4"},{"comment":"The translation of the cosmological bound m1+m2+m3<0.12 eV into m1<0.04 eV is numerically incorrect for normal neutrino mass ordering. With m1=0.04 eV, the sum m1+m2+m3 is about 0.145 eV, which already exceeds the quoted 0.12 eV bound; the correct upper limit is approximately m1<0.03 eV. This error does not destroy the counterexample at m1=0.03 eV, which remains allowed, but it means that all statements about 'the whole physically allowed space' and the ranges scanned in Figs. 2-4 should be corrected and re-checked with the correct upper bound on m1.","section":"Sec. 2, Eq. (13)"},{"comment":"The proof that the four-invariant set {I1,I2,Î2,Î3} is sufficient for all values of m1 relies on Det(A)≠0, but the nonzero determinant is only asserted with 'one can verify' at the adopted best-fit values and is not demonstrated over the full experimentally allowed parameter ranges. Because Det(A) factorizes as h12²h13²h23² times strictly positive factors, the possible failure modes are zeros of h12, h13, or h23; the explicit expressions in Eq. (29) show that this is not an empty concern in principle. A short analytic or numerical demonstration covering the allowed ranges would complete the proof as presented.","section":"Sec. 3, Eqs. (22)-(23)"}],"minor_comments":[{"comment":"There is a typographical error in the sentence preceding Eq. (35): 'indpendent' should read 'independent'.","section":"Appendix A"},{"comment":"The vertical-axis labels Re(ρ), Re(σ), Im(ρ), and Im(σ) do not indicate whether the angles are measured in degrees or radians; the units should be stated explicitly in the caption.","section":"Fig. 2"},{"comment":"Reference [7] is cited as 'to appear soon'; if any part of the argument depends on that work, the reference should be updated or the dependence removed.","section":"References, [7]"},{"comment":"The display of the matrix U in Eq. (28) has line breaks that make the entries of the second row difficult to parse; please reformat the matrix for clarity.","section":"Eq. (28)"}],"recommendation":"major_revision","confidential_remarks":"The explicit counterexample appears solid and is the main original contribution; it is publishable. The main risk is overclaiming that the proposed three-invariant sets are sufficient for all experimentally allowed parameters when the evidence is a numerical root search at best-fit inputs. If the authors can supply an analytic argument or a systematic scan over the allowed parameter ranges, the paper would be suitable for publication. The four-invariant sufficiency result is already present in Ref. [4], so the novelty should be framed as the counterexample and the proposal of viable three-invariant sets, not as the four-invariant proof itself."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe thing to know about this paper is that it settles one question and leaves a second one open. The settled question: the old three weak-basis invariants I1,I2,I3 from Dreiner et al. are not sufficient for CP conservation in the Majorana sector. The explicit counterexample at m1 = 0.03 eV, with rho = 38.551 deg and sigma = 173.146 deg, checks out. I verified the logic: I1 = 0 forces delta to be trivial, and then the two equations I2 = 0 and I3 = 0 genuinely have a common real solution in the physical range of the Majorana phases. The figures showing the zero crossings are convincing, and the authors correctly stress that these are nonlinear equations, so the old \"trivial phases only\" argument was just wrong. This is a solid, useful result.\n\nThe four-invariant sufficiency is also fine; the determinant calculation in Eq. (23) is clean, and it properly restores the Branco-Lavoura-Rebelo conclusion. The paper is honest about citing earlier work here.\n\nThe soft spot is the paper's own alternative: two new sets of three invariants that are claimed to be sufficient and necessary within the experimentally allowed region. That claim is not established. The evidence is a numerical scan at fixed best-fit values of the angles and mass splittings, and the paper reports critical masses m'_* ~ 0.056 eV and m''_* ~ 0.142 eV. The stress-test point is fair: the solver returning complex roots for m1 below those values is not a proof that no real roots exist, and the critical masses would move if theta23 or the mass splittings were allowed to vary within their ranges. It is plausible that these sets work across the whole allowed region, but the paper would need an analytic elimination argument or at least a dense scan over the full parameter ranges to make that claim stick. As written, it is a conjecture supported by examples.\n\nA minor blemish: the text converts the Planck sum bound of 0.12 eV into m1 < 0.04 eV for normal ordering. That is a bit high; with the quoted splittings the sum bound gives m1 < about 0.03 eV. The counterexample at 0.03 eV still sits right at the edge, so this does not damage the main point, but the bound should be corrected.\n\nWho should read this: anyone who uses weak-basis invariants in model building or who cites the Dreiner claim without checking the lightest neutrino mass. The counterexample is the takeaway; the new three-invariant sets are a useful suggestion rather than a demonstrated theorem.\n\nRecommendation: this deserves peer review. A referee should press for a parameter-range scan or a monotonicity argument for the new sufficiency claims, and the paper should present the three-invariant results as conditional on that numerical evidence. But the counterexample alone justifies publication.\n\nBest,\n[You]","headline":"The counterexample to the three-invariant sufficiency claim is real and worth knowing; the paper's own positive three-invariant alternatives are only numerically motivated and need more work before they should be relied on.","tokens_in":12378,"tokens_out":1655,"would_cite":true,"duration_ms":19084,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["14.60.Pq","11.30.Er"],"model":"deepseek-v4-flash","headline":"Three vanishing weak-basis invariants do not always guarantee CP conservation for Majorana neutrinos; the paper shows when a fourth is required.","keywords":["CP conservation","Majorana neutrinos","leptonic CP violation","weak-basis invariants","Majorana phases","lightest neutrino mass","neutrino mass ordering"],"falsifier":"Compute $I_2$ and $\\hat{I}_2$ on a fine grid of $(\\rho,\\sigma)$ for $m_1=0.03$ eV with $\\theta_{23}$ at the upper edge of its allowed range; a common zero away from the trivial phases $0$ and $90^\\circ$ would falsify the paper's claimed sufficiency of $\\{I_1,I_2,\\hat{I}_2\\}$ in the allowed region.","tokens_in":11326,"feed_emoji":"⚛️","tokens_out":12174,"duration_ms":100586,"temperature":0.7,"pith_summary":"The paper asks whether CP conservation for three Majorana neutrinos is guaranteed by three vanishing weak-basis invariants — basis-independent combinations of the lepton mass matrices — or whether four are needed. It answers that the number depends on the lightest neutrino mass $m_1$. For $m_1$ above roughly $0.0265$ eV, the standard set $I_1=I_2=I_3=0$ can all hold while the Majorana phases $\\rho$ and $\\sigma$ are nonzero, so CP is still violated; the paper exhibits an explicit $m_1=0.03$ eV counterexample. Within the experimentally allowed range $m_1<0.04$ eV, two alternative triplets of invariants are shown to suffice, and a quadruplet always suffices regardless of $m_1$. The result matters because experimental searches for leptonic CP violation need to know how many vanishing conditions actually enforce the symmetry.","feed_headline":"Neutrino CP conservation needs four conditions above a mass threshold","feed_subtitle":"A counterexample at m1=0.03 eV shows the standard three vanishing invariants can still allow Majorana CP violation.","key_machinery":"The machinery is the set of weak-basis invariants — traces of commutators and products of $H_l=M_l M_l^\\dagger$, $H_\\nu=M_\\nu M_\\nu^\\dagger$, and $G_{l\\nu}=M_\\nu H_l^* M_\\nu^\\dagger$ — whose vanishing is meant to encode CP conservation. The paper evaluates these in the basis where $M_\\nu$ is diagonal, where $I_1=0$ forces the Dirac phase $\\delta$ to $0$ or $180^\\circ$, and the remaining conditions become coupled nonlinear equations for the Majorana phases $\\rho$ and $\\sigma$. The determinant identity $\\mathrm{Det}(A)=h_{12}^2 h_{13}^2 h_{23}^2 m_1^2 m_2^2 m_3^2 \\Delta_{21}^2 \\Delta_{31}^2 \\Delta_{32}^2$ is what makes the four-invariant proof work: it shows the homogeneous linear system for $\\sin(2\\rho)$, $\\sin(2\\sigma)$, and $\\sin(2\\rho-2\\sigma)$ has only the trivial solution. The thresholds come from solving pairs of those nonlinear equations numerically and tracking when the solutions pass from complex to real.","core_discovery":"The central discovery is that the three invariants proposed earlier are not sufficient for CP conservation when the lightest neutrino mass is large enough. Working in the basis with diagonal neutrino masses and setting $\\delta=0$ through $I_1=0$, the paper reduces the vanishing of $I_2$ and $I_3$ to a pair of nonlinear trigonometric equations in $\\rho$ and $\\sigma$. At $m_1=0.03$ eV with best-fit mixing angles and mass splittings, these equations have real solutions $(\\rho,\\sigma)=(38.551^\\circ,173.146^\\circ)$ and $(141.449^\\circ,6.854^\\circ)$ at which $I_2=I_3=0$, yet both Majorana phases are nontrivial, so CP is violated. Scanning $m_1$ shows that such real solutions exist only for $m_1 > m_* \\approx 0.0265$ eV, fixing the threshold. Replacing $I_3$ by the additional invariants $\\hat{I}_2$ and $\\hat{I}_3$ shifts the threshold to $m'_* \\approx 0.0557$ eV for $\\{I_1,I_2,\\hat{I}_2\\}$ and to $m''_* \\approx 0.142$ eV for $\\{I_1,\\hat{I}_2,\\hat{I}_3\\}$, above the cosmological mass bound, so these triplets are sufficient inside the allowed region; the four-invariant set $\\{I_1,I_2,\\hat{I}_2,\\hat{I}_3\\}$ is sufficient for every $m_1$, via a nonzero determinant of the coefficient matrix.","pith_inferences":["Editorial extension: a shift in the allowed ranges of $\\theta_{23}$ or the mass splittings would move the thresholds $m_*$, $m'_*$, and $m''_*$; repeating the same two-equation scan with updated global-fit inputs would show whether the proposed triplets remain safe.","Editorial extension: the counterexample suggests that any three nonlinear invariant equations can in principle admit simultaneous nontrivial zeros, so a general criterion for which triplets are 'safe' up to a given mass would be a natural next step.","Editorial extension: for inverted mass ordering, the analogous thresholds should be computed with the lightest of the two lighter masses playing the role of $m_1$; the same scanning method applies."],"forward_implications":["If the lightest neutrino mass is measured above about $0.0265$ eV, the older three-condition test $I_1=I_2=I_3=0$ can wrongly certify CP conservation; a fourth invariant must be included.","For $m_1$ below about $0.0265$ eV, the original three conditions remain sufficient, so the failure of the old criterion is confined to heavier, more degenerate neutrino spectra.","The alternative triplets $\\{I_1,I_2,\\hat{I}_2\\}$ and $\\{I_1,\\hat{I}_2,\\hat{I}_3\\}$ are sufficient within the current cosmological bound, giving three-condition tests that work until $m_1$ is better constrained.","The quadruplet $\\{I_1,I_2,\\hat{I}_2,\\hat{I}_3\\}$ is sufficient and necessary for any $m_1$, so a four-condition test is the robust choice regardless of future mass measurements.","For $m_1=0$, only one Majorana phase remains, so any one of $I_2$, $\\hat{I}_2$, or $\\hat{I}_3$ vanishing is enough to enforce CP conservation."],"supporting_citations":[{"why":"proposed the original three weak-basis invariants $I_1$, $I_2$, and $I_3$ whose sufficiency is tested and refuted by the paper.","marker":"[2]"},{"why":"proved that four weak-basis invariants are sufficient and necessary for CP conservation with Majorana neutrinos and supplies the hatted invariants used in the new triplets.","marker":"[4]"},{"why":"provides the best-fit neutrino mixing angles and mass-squared differences used in all numerical scans and in the counterexample.","marker":"[10]"},{"why":"supplies the cosmological upper bound on the sum of neutrino masses that defines the allowed region for $m_1$.","marker":"[11]"},{"why":"provides the precisely measured charged-lepton masses that fix the numerical coefficients of the invariant equations.","marker":"[3]"},{"why":"defines the Jarlskog invariant, used to identify $I_1=0$ with $\\delta=0$ or $180^\\circ$.","marker":"[8]"}],"fun_headline_variants":["Three CP invariants fail above a critical neutrino mass","Counterexample shows three conditions miss Majorana CP","Four invariants ensure CP for all Majorana masses","Three vanishing invariants don't always conserve CP"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The decisive assumption is numerical rather than analytic: the paper's scan finds no real CP-violating solutions below the claimed critical masses, but this is checked along a scan in $m_1$ at fixed best-fit mixing parameters, not proven over the full experimentally allowed parameter space.","fun_headline_variants_meta":{"raw":{"variants":["Three CP invariants fail above a critical neutrino mass","Counterexample shows three conditions miss Majorana CP","Four invariants ensure CP for all Majorana masses","Three vanishing invariants don't always conserve CP"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000676,"raw_usage":{"total_tokens":3116,"prompt_tokens":1027,"completion_tokens":2089,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":643,"completion_tokens_details":{"reasoning_tokens":2028}},"tokens_in":643,"tokens_out":2089,"duration_ms":17307,"temperature":1.0,"reasoning_tokens":2028,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:15:40.837173+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $I_2$ and $\\hat{I}_2$ on a fine grid of $(\\rho,\\sigma)$ for $m_1=0.03$ eV with $\\theta_{23}$ at the upper edge of its allowed range; a common zero away from the trivial phases $0$ and $90^\\circ$ would falsify the paper's claimed sufficiency of $\\{I_1,I_2,\\hat{I}_2\\}$ in the allowed region.","supporting_citations":[{"cited_title":"Majorana Neutrinos and CP Violation in the Leptonic Sector,","cited_arxiv_id":null,"evidence_quote":"proved that four weak-basis invariants are sufficient and necessary for CP conservation with Majorana neutrinos and supplies the hatted invariants used in the new triplets."},{"cited_title":"Review of Particle Physics,","cited_arxiv_id":null,"evidence_quote":"provides the precisely measured charged-lepton masses that fix the numerical coefficients of the invariant equations."},{"cited_title":"Commutator of the Quark Mass Matrices in the Standard Electroweak Model and a Measure of Maximal CP Violation,","cited_arxiv_id":null,"evidence_quote":"defines the Jarlskog invariant, used to identify $I_1=0$ with $\\delta=0$ or $180^\\circ$."}],"review_version":1}