{"id":"58486b63-25b3-48d3-aa42-959b96ba9ccf","arxiv_id":"2505.02415","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper gives explicit formulas for CP-violation invariants of the heavy Majorana neutrino mixing matrix R and links them to heavy neutrino decay asymmetries.","lead":"This paper defines new mathematical quantities that measure how much CP symmetry is broken in the interactions of heavy Majorana neutrinos within the standard seesaw model. It writes these quantities explicitly in terms of the model's mixing angles and phases, and connects them to leptogenesis and rare lepton processes.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's verdict is ACCEPT, and my independent check of the central algebra agrees that the paper's construction is sound. The reader identified the small-angle truncation as the weakest assumption; I agree it is the most evident approximation, but it is not load-bearing because the invariants are quartic in R and the omitted terms are suppressed by s^2 relative to the leading contributions. I verified the signs in the leading-order formulas for X and Z and confirmed that Eq. (18) is a faithful rewriting of Eq. (17) once the definitions in Eq. (5) are substituted. The lengthy J-deviation formulas in Eq. (21) are presented without derivation, which is the part most likely to contain typos, but I found no definite error there; a numerical spot-check would settle that. The only definite inconsistency is the peripheral footnote sign error in the 0\\nu2\\beta simplification, which does not bear on the central claim about the rephasing invariants or the leptogenesis asymmetries. Therefore the verdict should remain unchanged.","tokens_in":14238,"tokens_out":26999,"duration_ms":299769,"concrete_test":"Numerically evaluate Eq. (21) for ten random parameter sets consistent with the bounds in Eq. (9), using the exact U = A U0 from Eqs. (7) and (8), and compare all nine J^{ii'}_{\\alpha\\beta} deviations against the formulas in Eq. (21); any discrepancy larger than 1% would indicate a typo in the undocumented non-unitarity expressions.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After rechecking the definitions, the leading-order expansions, and the passage from Eq. (17) to Eq. (18), I find no load-bearing flaw in the central claim. The truncation R = \\hat{s}^* + O(s^3) is safe: X and Z are quartic in R, so dropped terms enter at O(s^6), at most roughly one percent relative for the largest allowed active-sterile angles and much less for the s_{2j}-suppressed entries. The rewriting of \\epsilon_{j\\alpha} in Eq. (18) follows from Eq. (17) with the correct sign, and the \\zeta term cancels for \\beta=\\alpha because X_{\\alpha\\alpha}=0. The only concrete inconsistency I noticed is in Section 4, footnote 3: substituting (UD_\\nu U^T)_{ee}=-(RD_N R^T)_{ee} into Eq. (27) gives [M_j + M_A^2 F/M_j]R_{ej}^2 inside the absolute square, not 'M_j - M_A^2 F/M_j'. This is peripheral to the central invariant construction and does not affect the main formulas.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper defines two families of rephasing invariants for the heavy-neutrino mixing matrix R in the canonical seesaw framework: X^{jj'}_{\\alpha\\beta} and Z^{jj'}_{\\alpha\\beta}, analogous to the Jarlskog-like invariants for the light PMNS matrix. Using the Euler-like block parametrization of the 6x6 neutrino mixing matrix with nine active-sterile angles and six CP phases, the author derives explicit leading-order expressions for these invariants in terms of s_{ij} and the phase differences \\alpha_i, \\beta_i, \\gamma_i (Eqs. (13)-(16)). He then rewrites the flavor-dependent leptogenesis asymmetries \\epsilon_{j\\alpha} in terms of the new invariants (Eq. (18)), computes the leading non-unitarity shifts of the light-neutrino Jarlskog invariants J^{ii'}_{\\alpha\\beta} (Eq. (21)), and sketches applications to charged-lepton radiative decays and neutrinoless double beta decay via the mixed invariants X^{ij}_{\\alpha\\beta} and Z^{ij}_{\\alpha\\beta}. The paper's central technical claim is that X and Z provide a basis-independent bookkeeping for heavy-neutrino CP violation and that they are given explicitly by the leading-order formulas.","tokens_in":14317,"tokens_out":23981,"duration_ms":279560,"significance":"The central derivation is sound: I spot-checked Eqs. (13)-(16) directly against the leading-order R matrix in Eq. (11) and reproduced the stated sine combinations, and the passage from Eq. (17) to Eq. (18) goes through with the correct sign. The possible concern that the O(s^3) truncation of R invalidates the leading-order invariants does not materialize: since X and Z are quartic in R, the dropped terms enter at O(s^6), which is sub-percent for the largest allowed active-sterile angles and much smaller for the s_{2j}-suppressed entries. The paper is honest about the truncation and about the external origin of the one-loop leptogenesis formula. If the formulas are correct, the paper gives a compact, rephasing-invariant bridge between the parametrization of the seesaw flavor structure and the CP asymmetries relevant to leptogenesis, and clarifies which phase combinations enter CP-conserving LFV/LNV observables. The explicit checkable form of the main expressions and the clear separation of Dirac-type and Majorana-type invariants are strengths.","major_comments":[],"minor_comments":[{"comment":"The sums in Eqs. (17)-(19) are written as \\sum_{j'=4}^{6} without excluding j'=j. At j'=j the loop functions \\xi(x_{jj}) and \\zeta(x_{jj}) are singular, and although the imaginary parts of the summand vanish identically, the expression is formally ambiguous; the sums should be written with j'\\neq j.","section":"Eq. (17)"},{"comment":"The simplified formula has the wrong sign: substituting (UD_\\nu U^T)_{ee}=-(RD_N R^T)_{ee} into Eq. (27) yields [M_j + M_A^2 F(A,M_j)/M_j] R_{ej}^2 inside the absolute square, not [M_j - M_A^2 F(A,M_j)/M_j].","section":"Footnote 3"},{"comment":"In the branching-ratio expression the prefactor changes from 3\\alpha_{em}/(2\\pi) in the first equality to 3\\alpha_{em}/(32\\pi) in the expansion, while the bracket is unchanged; this is algebraically inconsistent unless a different normalization of the loop amplitudes is intended, and it should be corrected or explained.","section":"Eq. (26)"},{"comment":"The first non-unitarity term contains Im\\left(a_{21} e^{-i\\delta_{21}}\\right), but \\delta_{21} is not defined anywhere in the paper; from Eq. (21) the corresponding phase should presumably be \\delta_{12}.","section":"Eq. (25)"},{"comment":"In the definition of \\epsilon_{j\\alpha}, the CP-conjugated decay in the second numerator term should be typeset as \\bar{\\ell}_\\alpha + \\bar{H} to distinguish it from the first term; as typeset the two terms look identical.","section":"Eq. (17)"},{"comment":"The notation \\alpha_i and \\beta_i for the phase combinations uses letters that also denote the charged-lepton flavor indices \\alpha,\\beta; although the context is clear, distinct symbols would reduce the risk of confusion.","section":"Eqs. (13)-(16)"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is within the journal's scope and the technical core is sound. The issues are local: a missing j'\\neq j restriction in the central sum, a sign typo in a footnote, a prefactor inconsistency in an illustrative branching-ratio formula, and a few notation/presentation points. I see no basis for concern about the novelty of the heavy-neutrino invariants relative to the cited literature, and the parametrization used is independently published."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis is a solid, useful paper. It defines the heavy-sector analogues X and Z of the familiar J and V invariants, computes them explicitly in the 6x6 Euler parametrization, and shows how they package the one-loop leptogenesis asymmetries. The core leading-order formulas in Eqs. (13)-(16) are new and check out against the parametrization; the rewriting of epsilon_j_alpha in Eq. (18) works algebraically, and the phase counting (six independent phases) is right. I would not be surprised to see this cited in future seesaw phenomenology.\n\nThe paper does what it sets out to do: it gives a basis-independent language for CP violation in the heavy sector and in the non-unitarity corrections to J. The connection to non-unitarity effects in oscillations (Section 3) extends earlier work but is clearly labeled as such. The explicit expressions are long, but the reader is warned they are leading order in the small active-sterile angles.\n\nSoft spots are minor. The truncation error is not quantified; a one-line estimate (X and Z are quartic, so corrections are O(s^6) relative) would have been nice. The long formulas for J^ii'_alpha_beta in Eq. (21) are dumped without derivation—I trust them less, though they likely follow by expansion. And there is a real sign slip in footnote 3: substituting the seesaw relation into Eq. (27) gives M_j + M_A^2 F/M_j, not the minus sign printed. That footnote is peripheral; the main invariant construction is untouched.\n\nAlso note the heavy reliance on the author's earlier parametrization papers. That is not a flaw: the parametrization is published and independent.\n\nBottom line: worth a serious referee. The central construction is sound, the novelty is moderate but real, and the small-angle truncation is well motivated by current bounds. I would send it to a competent phenomenologist for a careful pass, mainly to catch typos like the footnote sign.\n\nRecommendation: accept with minor revisions.","headline":"Heavy-sector CP invariants with clean leading-order formulas; a peripheral footnote sign slip should not block publication.","tokens_in":14934,"tokens_out":2966,"would_cite":true,"duration_ms":33224,"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":"This paper shows that all seesaw CP violation—leptogenesis asymmetries and light-neutrino oscillation non-unitarity effects—can be written as rephasing-invariant products of nine mixing angles and six phase differences.","keywords":["rephasing invariants","CP violation","Majorana neutrinos","seesaw mechanism","leptogenesis","neutrino oscillations","non-unitarity","active-sterile mixing"],"falsifier":"Compute $X$ and $Z$ exactly from the full $R$ matrix in Eq. (7) with the nine angles at the upper bounds of Eqs. (9)–(10) and compare the numbers with Eqs. (13)–(16); a fractional deviation larger than the nominal $\\mathcal{O}(s^3)$ accuracy would mean the truncation is the weak link. Experimentally, a precision measurement of the $\\nu_\\mu \\to \\nu_e$ CP asymmetry that deviates from the form of Eq. (25) beyond the $a_{21}$ corrections, or a charged-lepton radiative decay whose interference term $\\mathrm{Re}\\,X^{ij}_{\\alpha\\beta}$ does not match the invariant prediction, would falsify the claimed bookkeeping.","tokens_in":13937,"feed_emoji":"⚛️","tokens_out":16062,"duration_ms":169556,"temperature":0.7,"pith_summary":"Within the canonical seesaw mechanism, the same block of a $6\\times 6$ flavor mixing matrix governs the charged-current interactions of three light and three heavy Majorana neutrinos (particles identical to their antiparticles), through matrices $U$ and $R$. This paper establishes that the physically meaningful, rephasing-invariant measures of CP violation in the heavy sector are the invariants $X^{jj'}_{\\alpha\\beta}$ and $Z^{jj'}_{\\alpha\\beta}$, and it gives their explicit leading-order formulas in terms of nine active-sterile mixing angles and six independent phase differences. Those formulas recast the CP-violating asymmetries of heavy Majorana neutrino decays—the quantities that drive leptogenesis—into a compact basis-independent form, and they also control the small non-unitarity corrections to CP violation in light-neutrino oscillations. If the paper is right, a handful of phase combinations organizes CP violation across heavy-neutrino decays, neutrino oscillations, charged-lepton radiative decays, and neutrinoless double-$\\beta$ decay.","feed_headline":"Six phase combinations set heavy-neutrino CP asymmetries","feed_subtitle":"Basis-independent formulas tie heavy Majorana decays and neutrino-oscillation CP to six phases","key_machinery":"The load-bearing object is the full Euler-like block parametrization of the $6\\times 6$ seesaw mixing matrix—a factorization into complex rotations that separates three active from three sterile neutrino fields and yields $U = A U_0$ together with the $3\\times 3$ heavy mixing matrix $R$. Its nine complex parameters $\\hat{s}_{ij} = s_{ij}e^{i\\delta_{ij}}$ carry the nine active-sterile mixing angles and six independent CP phases, and the smallness of those angles (upper bounds such as $s_{2j} < 0.005$) justifies truncating $R$ at order $s^3$ and $A$ at order $s^4$. That truncation is what converts the abstract products in Eq. (5) into the simple trigonometric factors in Eqs. (13)–(16), and it is what makes the connection to $\\varepsilon_{j\\alpha}$ transparent in Eq. (18). The exact seesaw relation and the unitarity condition correlate $U$ and $R$, which is how the same invariants propagate to light-neutrino observables.","core_discovery":"The paper's central claim is that CP violation in the heavy Majorana-neutrino sector admits a complete rephasing-invariant description. Defining $X^{jj'}_{\\alpha\\beta} = \\mathrm{Im}\\left(R_{\\alpha j}R_{\\beta j'}R^{*}_{\\alpha j'}R^{*}_{\\beta j}\\right)$ and $Z^{jj'}_{\\alpha\\beta} = \\mathrm{Im}\\left(R_{\\alpha j}R_{\\beta j}R^{*}_{\\alpha j'}R^{*}_{\\beta j'}\\right)$ for $j,j' = 4,5,6$, the paper shows that these are the heavy analogues of the two invariant types already known for light neutrinos, invariant respectively under charged-lepton rephasing and under rephasing of both charged leptons and neutrino fields. In the Euler-like block parametrization, they factor at leading order into products of sines of the nine active-sterile angles times sines of the six independent phase combinations $\\alpha_i = \\delta_{i4} - \\delta_{i5}$, $\\beta_i = \\delta_{i5} - \\delta_{i6}$, and $\\gamma_i = \\delta_{i6} - \\delta_{i4}$, with $\\gamma_i = -(\\alpha_i + \\beta_i)$. These expressions substitute directly into the one-loop leptogenesis asymmetries $\\varepsilon_{j\\alpha}$, so Eq. (18) expresses all nine flavor-dependent asymmetries purely through the invariants. For light neutrinos, the paper further shows that the nine Jarlskog-like invariants $J^{ii'}_{\\alpha\\beta}$ deviate from the universal $\\pm J_{\\nu}$ only through the same small non-unitarity parameters $a_{ii}$ and $a_{ii'}$, making the standard Jarlskog invariant the dominant CP source in long-baseline oscillations unless $\\delta_{\\nu}$ is suppressed.","pith_inferences":["A combined future data set—heavy-decay asymmetries from a collider, oscillation CP from long-baseline experiments, and charged-lepton radiative decay rates—would over-determine the six phase combinations and test the built-in relation $\\gamma_i = -(\\alpha_i+\\beta_i)$, a consistency check the paper leaves implicit.","With a hierarchical heavy-neutrino spectrum, the loop functions in Eq. (17) suppress all but one $j'$ term, so a single measured $\\varepsilon_{j\\alpha}$ would isolate one specific $X$ or $Z$ combination; that makes the invariants not just a bookkeeping device but a direct phase probe.","The invariants admit a geometric reading: the four complex products in $X^{jj'}_{\\alpha\\beta}$ close into a quadrilateral whose oriented area is the invariant itself, so leptogenesis CP violation could be visualized and bounded by unitarity polygons of $R$, in the same way the Jarlskog invariant is a triangle area for quarks."],"forward_implications":["Leptogenesis asymmetries become basis-independent observables: Eq. (18) lets any calculation of $\\varepsilon_{j\\alpha}$ be checked purely in terms of $X$ and $Z$, without choosing charged-lepton or neutrino phase conventions.","The flavor-summed asymmetries $\\varepsilon_j$ depend only on the $Z$-type invariants, not on the $X$-type ones, so measurements of $\\varepsilon_j$ alone cannot probe the full CP structure of the heavy sector; flavor-resolved $\\varepsilon_{j\\alpha}$ are needed.","In light-neutrino oscillations, deviations of $J^{ii'}_{\\alpha\\beta}$ from $\\pm J_\\nu$ are suppressed by the same small non-unitarity parameters that enter charged-current weak interactions, explaining why the standard Jarlskog invariant remains the leading CP observable in long-baseline experiments.","The same six phase combinations control the interference terms in charged-lepton radiative decays and in neutrinoless double-beta decay, so those processes can cross-check phases extracted from heavy-neutrino decays and oscillations."],"supporting_citations":[{"why":"Supplies the definitions of U and R as the two charged-current sub-matrices plus the Euler-like block parametrization of the seesaw flavor structure.","marker":"[10,11]"},{"why":"Yields the numerical upper bounds on the nine active-sterile mixing angles that justify the leading-order expansions used for every explicit formula.","marker":"[18,19]"},{"why":"Provides the analytic seesaw bridge and the flavor-dependent heavy-neutrino decay asymmetries ε_{jα} on which Section 2 builds.","marker":"[24]"},{"why":"Supplies the one-loop leptogenesis asymmetry formula (Eq. 17) that the paper rewrites in terms of X and Z invariants.","marker":"[25–30]"},{"why":"Gives the earlier non-unitarity expansion of J^{ii'}_{αβ} that Section 3 upgrades to explicit Jν-deviation expressions.","marker":"[31]"},{"why":"Defines the Jarlskog-invariant approach to rephasing-invariant CP violation that the paper extends to the heavy-neutrino sector.","marker":"[12,13]"}],"fun_headline_variants":["Six phases set heavy-neutrino CP asymmetries","Six phase combos drive heavy-neutrino CP violation","Heavy-neutrino CP asymmetries emerge from six phases","Leptogenesis asymmetries tied to six phase invariants"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument stands on the assumption that the nine angles describing mixing between known and heavy neutrinos are so small that only the leading terms in the expansion of $R$ and $A$ matter; if those angles were larger or higher-order terms were measurable, every explicit formula would need correction.","fun_headline_variants_meta":{"raw":{"variants":["Six phases set heavy-neutrino CP asymmetries","Six phase combos drive heavy-neutrino CP violation","Heavy-neutrino CP asymmetries emerge from six phases","Leptogenesis asymmetries tied to six phase invariants"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000597,"raw_usage":{"total_tokens":2897,"prompt_tokens":1150,"completion_tokens":1747,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":766,"completion_tokens_details":{"reasoning_tokens":1680}},"tokens_in":766,"tokens_out":1747,"duration_ms":14137,"temperature":1.0,"reasoning_tokens":1680,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:52:40.850865+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $X$ and $Z$ exactly from the full $R$ matrix in Eq. (7) with the nine angles at the upper bounds of Eqs. (9)–(10) and compare the numbers with Eqs. (13)–(16); a fractional deviation larger than the nominal $\\mathcal{O}(s^3)$ accuracy would mean the truncation is the weak link. Experimentally, a precision measurement of the $\\nu_\\mu \\to \\nu_e$ CP asymmetry that deviates from the form of Eq. (25) beyond the $a_{21}$ corrections, or a charged-lepton radiative decay whose interference term $\\mathrm{Re}\\,X^{ij}_{\\alpha\\beta}$ does not match the invariant prediction, would falsify the claimed bookkeeping.","supporting_citations":[],"review_version":1}