Pith. sign in

REVIEW 2 major objections 4 minor 30 references

Exact family-separated seesaw alignment forces the neutrino Yukawa columns to be exactly orthogonal, so the standard nonresonant one-loop decay CP asymmetries vanish at the alignment scale.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-01 20:18 UTC pith:XIWL55K6

load-bearing objection The exact FSS solution and the diagonal-Hν no-go are solid; the only real caveat is the unverified index interpretation in the direct refutation of Ref. [9]. the 2 major comments →

arxiv 2607.16658 v1 pith:XIWL55K6 submitted 2026-07-18 hep-ph

Exact constraints on family-separated seesaw relations and their phenomenological consequences

Jianlong Lu This is my paper
classification hep-ph
keywords family-separated seesawseesaw relationneutrino massesleptogenesisdecay asymmetryCP violationactive-heavy mixingneutrinoless double beta decay
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper takes the family-separated seesaw ansatz—where each paired light and heavy neutrino cancels separately in the seesaw relation—and works out exactly what it implies when partial unitarity is also imposed. It shows that the only possible solution is a column-aligned structure: the light and heavy mixing columns share one unitary matrix, with normalizations fixed by the mass ratios. That structure makes the neutrino Yukawa columns exactly orthogonal, which removes every off-diagonal interference term in the standard nonresonant one-loop decay asymmetries. The paper therefore concludes that the proposed connection between low-energy CP violation and those decay asymmetries does not follow from the ansatz, and it corrects several reconstruction formulas along the way. A reader should care because the ansatz was put forward as a way to link low-energy and high-energy neutrino physics; if this is right, that link is closed in the standard perturbative regime.

Core claim

Imposing the family-separated condition mi Uαi Uβi + Mi Rαi Rβi = 0 together with exact partial unitarity UU†+RR†=1 yields the general exact solution U = V diag(1/√(1+r_i)) and R = i V E diag(√(r_i/(1+r_i))) with r_i = mi/Mi and E = diag(±1). The exact unitary completion gives MR = DN − Dν and Yν = (i/v) V E (Dν DN)^{1/2}, hence Yν†Yν = DνDN/v^2 is diagonal. The paper distinguishes the broken-phase heavy masses Mi from the singlet masses Ĥ Mi = Mi − mi relevant to unbroken-phase decays. Because the Yukawa columns are orthogonal, the standard nonresonant one-loop unflavored and flavored decay asymmetries vanish for nondegenerate states with nonzero widths; the same cancellation occurs in the

What carries the argument

The load-bearing object is the exact column-alignment solution and its unitary completion. FSS plus partial unitarity forces R = U C with C = i diag(η_i √r_i); the exact solution expresses both upper mixing blocks through a single unitary V, and the completion fixes the Yukawa matrix by Yν = (i/v) V E (Dν DN)^{1/2}. The resulting identity Yν†Yν = DνDN/v^2 is what kills the one-loop asymmetries: the standard formulas for the unflavored and flavored decay asymmetries contain off-diagonal Hν = Yν†Yν factors, and those vanish exactly. A second essential piece is the mass distinction Mi versus Ĥ Mi = Mi − mi, which maps the exact broken-phase reconstruction to the unbroken-phase singlet-decay des

Load-bearing premise

The no-go assumes that the undefined index in the original Eq. (12) is the ik index the paper reconstructs, and that the standard nonresonant one-loop decay formulas are the relevant source; if the original expression has a different index structure, the canceled combination may not be the one entering the proposed asymmetry.

What would settle it

Look at Eq. (12) of the cited proposal and expand the same flavor-summed invariant under the exact FSS solution: if any term proportional to Im[(R†R)^2_{ik}] survives for i ≠ k, or if the undefined index j turns out not to be ik, the no-go does not cover the proposed asymmetry. The direct algebraic check is to compute Im[(Yν†Yν)^2_{ik}] from the identity Yν†Yν = DνDN/v^2, which vanishes for i ≠ k; a nonvanishing off-diagonal element would falsify the central claim.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • If exact FSS holds at the decay scale, no standard nonresonant one-loop unflavored or flavored singlet decay asymmetry is produced; for mi = 0 the paired Yukawa column and decay width vanish instead.
  • The proposed correlation between low-energy leptonic CP violation and standard nonresonant one-loop decay asymmetries does not follow; individual CP-odd invariants may be nonzero while their flavor-summed combination cancels.
  • The corrected heavy-mass reconstruction formulas show that positivity of M_i^2 imposes no ordering on the heavy spectrum, and the light-neutrino mass ordering alone does not determine the heavy-neutrino ordering.
  • In the exact FSS sector, active–heavy mixing falls as (Mi+mi)^(-1/2) while the Yukawa coupling grows as Mi^(1/2), so small mixing does not imply a weak Yukawa interaction.
  • For nonzero, nondegenerate spectra the FSS neutrino sector has twelve continuous physical parameters; the active–heavy angles and phases are not independent of the light-sector mixing.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If FSS is imposed at a scale above the singlet-decay scale, renormalization-group running will generically generate off-diagonal Hν; a quantitative estimate of the resulting decay asymmetry is an immediate extension the paper leaves open.
  • The orthogonality that kills the vacuum one-loop source does not by itself remove resonant or flavor-coherent sources; in the quasi-degenerate regime a basis-invariant treatment could restore a nonzero asymmetry even within FSS.
  • The corrected formulas mean that any heavy-mass ordering claim would need additional input, and the pairing ambiguity suggests FSS should be combined with a flavor symmetry to become predictive.
  • The Mi^(1/2) growth of Yukawa couplings with the heavy scale implies a perturbativity ceiling on Mi in FSS once mi and V are fixed; this can be turned into an upper bound on the scale of any FSS model.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper analyzes the family-separated seesaw (FSS) ansatz proposed in Ref. [9], combining the FSS condition m_i U_{\alpha i}U_{\beta i} + M_i R_{\alpha i}R_{\beta i}=0 with exact partial unitarity. It derives the complete solution U=VD^{-1/2}, R=iVE\,diag(sqrt{r_i/(1+r_i)}), constructs the most general unitary completion, and shows that in a suitable sterile basis Y_\nu^\dagger Y_\nu = D_\nu D_N/v^2 is exactly diagonal. From this it concludes that at the common alignment scale all standard nonresonant one-loop unflavored and flavored decay asymmetries vanish, and that the specific flavor-summed rephasing invariant entering Ref. [9]'s asymmetry formula also cancels. The paper further corrects the heavy-neutrino mass-reconstruction formulas of Ref. [9] and discusses neutrinoless double-beta decay, Yukawa scaling, parameter counting, and light-heavy mass orderings. The main claim is that the proposed correlation between low-energy CP violation and standard nonresonant one-loop decay asymmetries does not follow from exact FSS.

Significance. The exact algebraic derivation is a valuable and checkable contribution. The construction of the unitary completion, the exact relation M_R=D_N-D_\nu, and the proof that Y_\nu^\dagger Y_\nu is diagonal in the FSS basis are rigorous and internally consistent. If sustained, the paper eliminates a proposed leptogenesis route in the exact-FSS framework and clarifies important conceptual distinctions, such as the difference between the broken-phase heavy masses M_i and the unbroken-phase singlet masses \widehat M_i=M_i-m_i. The mass-formula corrections and the careful treatment of non-unitarity in beta-decay observables are also useful. However, the direct refutation of the specific asymmetry formula in Ref. [9] is conditional on an index identification in that reference; the unconditional core result is the vanishing of the standard nonresonant asymmetries via the exact diagonal form of Y_\nu^\dagger Y_\nu.

major comments (2)
  1. [§III.C, Eqs. (59)–(63)] The claim that the flavor-summed rephasing-invariant combination in Ref. [9]'s Eq. (12) cancels is proved only under the interpretation of the undefined index j as ik. The text explicitly says 'We interpret this superscript as ik'. This is load-bearing for the abstract's statement that the proposed correlation 'does not follow' from exact FSS. The paper should either reproduce the original formula of Ref. [9] and demonstrate the index structure, or restrict the external refutation to the standard asymmetries already killed by Eq. (52). As written, the direct no-go against Ref. [9] remains conditional, even though the internal no-go via the diagonal H_\nu is unconditional.
  2. [§III.A–B and abstract] The paper's headline mixes two distinct statements: (i) exact FSS plus partial unitarity forces Y_\nu^\dagger Y_\nu diagonal, so all standard nonresonant one-loop asymmetries vanish (sound, and the main result); and (ii) the particular invariant in Ref. [9] cancels (subject to the index identification above). The abstract and conclusions present both as equally established. I recommend restructuring the presentation so that the unconditional result (i) is clearly separated from the conditional result (ii), and so that any residual uncertainty about Ref. [9] does not affect the central no-go.
minor comments (4)
  1. [§II, Eq. (32)] The full 6×6 unitary matrix is denoted by the same symbol U as the 3×3 upper block. This is confusing in Eq. (32) and later. Consider using a calligraphic symbol for the full matrix.
  2. [§IV] The corrected heavy-mass formulas are presented as corrections of Ref. [9], but the original expressions from Ref. [9] are not reproduced. A short table or direct quotation of Ref. [9]'s Eq. (20) would make the claimed algebraic errors transparent and easier for the reader to verify.
  3. [§V.C] The parameter count of 'twelve continuous physical parameters' is correct for nonzero nondegenerate spectra, but the sentence could explicitly note that this count excludes the discrete light–heavy pairing and the removable signs \eta_i, which are discussed later.
  4. [General] There are a few typographical and grammatical issues, e.g., 'the most-general statements' in §II and the occasional mixing of 'family-separated' and 'family separation'. These do not affect the substance.

Circularity Check

0 steps flagged

No significant circularity: the vanishing-asymmetry result is derived algebraically from the FSS condition plus partial unitarity, not assumed as an input.

full rationale

The paper's derivation chain is self-contained and non-circular. It imposes the FSS condition mi Uαi Uβi + Mi Rαi Rβi = 0 (Eq. 3) together with exact partial unitarity U U† + RR† = 1 (Eq. 1), and then solves these equations to obtain U = V D^{−1/2} and R = i V E diag(√(r_i/(1+r_i))) (Eqs. 19–20). From this solution it derives diagonal Gram matrices (Eqs. 21–22) and, through the unitary completion, Yν†Yν = DνDN/v² (Eq. 41). The central conclusion that standard nonresonant one-loop asymmetries vanish uses only this diagonal property inside the standard loop formulas (Eqs. 47, 52, 56, 58). The target conclusion is not an input to any step: no parameter is fitted to the quantities being 'predicted', and the FSS ansatz is not defined in terms of vanishing asymmetries. The critique of Ref. [9] is not a self-citation argument: Ref. [9] is the object under examination, not the evidence for the no-go result. The independent support cited for the form-dominance cancellation ([12]) is an external published result and is only corroborative. The only notable caveat is in Sec. III.C, where the paper interprets the undefined index j in Eq. (12) of Ref. [9] as ik; this is an explicit, transparent ambiguity about matching the external formula, not a circular step, because the cancellation of the reconstructed combination is proven directly from (U†U)ik = 0. The paper also states its limitations (radiative misalignment, resonant/coherent dynamics, thermal and higher-loop effects), which further shows it is not forcing the conclusion by assumption. No circular step meeting the quoted-evidence standard was found.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

The paper introduces no new entities and no fitted parameters. It relies on the FSS ansatz, standard seesaw/leptogenesis formulas, the canonical-mass-domain interpretation, and one interpretive identification of an undefined index in the criticized reference.

axioms (5)
  • domain assumption The family-separated seesaw condition m_i U_{αi} U_{βi} + M_i R_{αi} R_{βi} = 0 is imposed together with partial unitarity U U^† + R R^† = 1 at tree level and a common renormalization scale.
    This is the defining ansatz under examination; every result is conditional on it (Sec. I, Eq. 3).
  • domain assumption The standard nonresonant one-loop decay asymmetry formulas in Eqs. (47) and (56) correctly describe the asymmetries in the nondegenerate perturbative regime.
    The vanishing result is for this standard source; resonant, coherent, and thermal sources are excluded by the paper's own qualifications (Sec. III).
  • domain assumption In the canonical domain M_i > m_i, the unbroken-phase singlet states are the mass eigenstates of M_R = D_N - D_ν with masses M̂_i = M_i - m_i, and their couplings are Y_ν.
    The physical interpretation that the unbroken-phase decay description uses these quantities, rather than the broken-phase N_i/M_i, is adopted in Secs. II–III.
  • domain assumption The Euler-like parametrization and first-row identities of Ref. [9] (Eq. 66) are taken as the convention for the mass-reconstruction section.
    The corrected formulas use the same parametrization as the criticized reference (Sec. IV).
  • ad hoc to paper The undefined index j in Eq. (12) of Ref. [9] should be interpreted as ik in V_jk^{αβ}.
    The specific refutation of the proposed asymmetry formula depends on this interpretation; the paper states it explicitly in Sec. III.C.

pith-pipeline@v1.3.0-alltime-deepseek · 22185 in / 15856 out tokens · 149576 ms · 2026-08-01T20:18:16.985973+00:00 · methodology

0 comments
read the original abstract

Working at tree level and at a common renormalization scale, we examine the family-separated seesaw ansatz of Z.-z.~Xing, arXiv:2605.27049v2. For a fixed light-heavy pairing, imposing $m_iU_{\alpha i}U_{\beta i}+M_iR_{\alpha i}R_{\beta i}=0$ together with $UU^\dagger+RR^\dagger=\mathbf{1}$ yields the general exact solution $U=VD^{-1/2}$ and $R=iVE\,\operatorname{diag}\!\left(\sqrt{r_i/(1+r_i)}\right)$, where $r_i=m_i/M_i$, $D=\operatorname{diag}(1+r_i)$, $V$ is unitary, and $E=\operatorname{diag}(\eta_i)$ with $\eta_i=\pm1$. Consequently, $U^\dagger U$ and $R^\dagger R$ are diagonal, and distinct columns are exactly orthogonal. An exact unitary completion gives, in a convenient sterile basis, $M_R=D_N-D_\nu$ and $Y_\nu=(i/v)VE(D_\nu D_N)^{1/2}$, so that $Y_\nu^\dagger Y_\nu=D_\nu D_N/v^2$ is diagonal. In the canonical domain $M_i>m_i$, the singlet masses relevant to the unbroken-phase decay description are $\widehat{M}_i=M_i-m_i>0$, distinct from the broken-phase heavy eigenvalues $M_i$. Hence, at the scale of exact alignment, all standard unflavored and flavored nonresonant one-loop decay asymmetries vanish in the nondegenerate perturbative regime. For $m_i=0$, the paired Yukawa column and decay width vanish instead. The flavor-summed rephasing-invariant combination used in the proposed asymmetry also cancels identically, although individual CP-odd invariants may remain nonzero. Thus the proposed correlation between low-energy CP violation and these decay asymmetries does not follow from exact family separation. This result does not address radiative misalignment, resonant or coherent dynamics, or thermal and higher-loop sources. We also correct the proposed heavy-mass reconstruction formulas and clarify the implications for neutrinoless double-beta decay, Yukawa scaling, parameter counting, and light-heavy mass orderings.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

30 extracted references · 20 linked inside Pith

  1. [1]

    Minkowski, Phys

    P. Minkowski, Phys. Lett. B67, 421 (1977)

    1977

  2. [2]

    Yanagida, inProceedings of the Workshop on the Baryon Number of the Universe and Unified Theories, edited by O

    T. Yanagida, inProceedings of the Workshop on the Baryon Number of the Universe and Unified Theories, edited by O. Sawada and A. Sugamoto (KEK, Tsukuba, Japan, 1979) pp. 95–99

    1979

  3. [3]

    The prefactors outside the brackets are the squares of the corresponding light-to-heavy conversion factors in Eq. (80). This observation provides an immediate algebraic check of all three reconstructed heavy masses. Once the physical heavy eigenvalues have been reconstructed, the corresponding right-handed Majorana mass parameters follow, in the canonical...

  4. [4]

    R. N. Mohapatra and G. Senjanovi´ c, Phys. Rev. Lett.44, 912 (1980)

    1980

  5. [5]

    Weinberg, Phys

    S. Weinberg, Phys. Rev. Lett.43, 1566 (1979)

    1979

  6. [6]

    Schechter and J

    J. Schechter and J. W. F. Valle, Phys. Rev. D22, 2227 (1980)

    1980

  7. [7]

    Gell-Mann, P

    M. Gell-Mann, P. Ramond, and R. Slansky, inSupergravity, edited by P. van Nieuwenhuizen and D. Z. Freedman (North-Holland, Amsterdam, 1979) pp. 315–321, arXiv:1306.4669 [hep-th]

    Pith/arXiv arXiv 1979

  8. [8]

    Blennow and E

    M. Blennow and E. Fern´ andez-Mart ´ ınez, Phys. Lett. B704, 223 (2011), arXiv:1107.3992 [hep-ph]

    Pith/arXiv arXiv 2011

  9. [9]

    Xing, Family-separated seesaw relations of majorana neutrinos (2026), arXiv:2605.27049v2 [hep-ph]

    Z.-z. Xing, Family-separated seesaw relations of majorana neutrinos (2026), arXiv:2605.27049v2 [hep-ph]

    Pith/arXiv arXiv 2026

  10. [10]

    J. A. Casas and A. Ibarra, Nucl. Phys. B618, 171 (2001), arXiv:hep-ph/0103065

    Pith/arXiv arXiv 2001

  11. [11]

    Grimus and L

    W. Grimus and L. Lavoura, JHEP11(2000), 042, arXiv:hep-ph/0008179

    Pith/arXiv arXiv 2000

  12. [12]

    Choubey, S

    S. Choubey, S. F. King, and M. Mitra, Phys. Rev. D82, 033002 (2010), arXiv:1004.3756 [hep-ph]

    Pith/arXiv arXiv 2010

  13. [13]

    The coefficient multiplying the chosen reference mass squared is unity because the three weights in Eq

    appears in the corrected formulas. The coefficient multiplying the chosen reference mass squared is unity because the three weights in Eq. (71) satisfy the normalization identity in Eq. (72). Second, the expression for M 2 2 necessarily contains the contribution +c2 12c2 13∆m2

  14. [14]

    Pilaftsis and T

    A. Pilaftsis and T. E. J. Underwood, Nucl. Phys. B692, 303 (2004), arXiv:hep-ph/0309342

    Pith/arXiv arXiv 2004

  15. [15]

    Chen and S

    M.-C. Chen and S. F. King, JHEP06(2009), 072, arXiv:0903.0125 [hep-ph]

    Pith/arXiv arXiv 2009

  16. [16]

    I. K. Cooper, S. F. King, and C. Luhn, Nucl. Phys. B859, 159 (2012), arXiv:1110.5676 [hep-ph]

    Pith/arXiv arXiv 2012

  17. [17]

    Aristizabal Sierra, F

    D. Aristizabal Sierra, F. Bazzocchi, I. de Medeiros Varzielas, L. Merlo, and S. Morisi, Nucl. 38 Phys. B827, 34 (2010), arXiv:0908.0907 [hep-ph]

    Pith/arXiv arXiv 2010

  18. [18]

    L. Covi, E. Roulet, and F. Vissani, Phys. Lett. B384, 169 (1996), arXiv:hep-ph/9605319

    Pith/arXiv arXiv 1996

  19. [19]

    P. S. B. Dev, P. Millington, A. Pilaftsis, and D. Teresi, Nucl. Phys. B886, 569 (2014), corrigen- dum: Nucl. Phys. B 897, 749–756 (2015), doi:10.1016/j.nuclphysb.2015.06.015, arXiv:1404.1003 [hep-ph]

    Pith/arXiv arXiv 2014

  20. [20]

    C. S. Fong, E. Nardi, and A. Riotto, Adv. High Energy Phys.2012, 158303 (2012), arXiv:1301.3062 [hep-ph]

    Pith/arXiv arXiv 2012

  21. [21]

    Third, the expression for M 2 3 necessarily contains the contribution +c2 12c2 13∆m2

  22. [22]

    Li and A

    S.-P. Li and A. Pilaftsis, Low-scale leptogenesis from resonant thermal lepton flavour coherences (2026), arXiv:2604.06493 [hep-ph]

    Pith/arXiv arXiv 2026

  23. [23]

    Davidson, E

    S. Davidson, E. Nardi, and Y. Nir, Phys. Rept.466, 105 (2008), arXiv:0802.2962 [hep-ph]

    Pith/arXiv arXiv 2008

  24. [24]

    Rodejohann, Int

    W. Rodejohann, Int. J. Mod. Phys. E20, 1833 (2011), arXiv:1106.1334 [hep-ph]

    Pith/arXiv arXiv 2011

  25. [25]

    Abada, S

    A. Abada, S. Davidson, A. Ibarra, F.-X. Josse-Michaux, M. Losada, and A. Riotto, JHEP09 (2006), 010, arXiv:hep-ph/0605281

    Pith/arXiv arXiv 2006

  26. [26]

    Nardi, Y

    E. Nardi, Y. Nir, E. Roulet, and J. Racker, JHEP01(2006), 164, arXiv:hep-ph/0601084

    Pith/arXiv arXiv 2006

  27. [27]

    Rodejohann, Phys

    W. Rodejohann, Phys. Lett. B684, 40 (2010), arXiv:0912.3388 [hep-ph]

    Pith/arXiv arXiv 2010

  28. [29]

    Fang, Y.-F

    D.-L. Fang, Y.-F. Li, Y.-Y. Zhang, and J.-Y. Zhu, JHEP08(2024), 217, arXiv:2404.12316 [hep-ph]

    Pith/arXiv arXiv 2024

  29. [30]

    Chen, X.-H

    Z.-Q. Chen, X.-H. Hu, and Y.-L. Zhou, Phys. Rev. D112, 115032 (2025), arXiv:2505.04279 [hep-ph]. 39

    arXiv 2025

  30. [31]

    Omitting these terms makes the quantities inside the square brackets unequal to the corresponding light-neutrino masses squared and hence renders the resulting heavy-mass reconstruction inconsistent with Eq. (71). The positivity of M 2 i does not yield a universal mass-ordering criterion of the form stated in Ref. [9]. Because the square brackets in Eqs. ...