pith. sign in

arxiv: 1906.11869 · v1 · pith:E5WCFCWHnew · submitted 2019-06-27 · ✦ hep-ph · hep-ex

Testability of leptogenesis with three RH-neutrinos below the electroweak scale

Michele Lucente This is my paper

Pith reviewed 2026-05-25 14:25 UTC · model grok-4.3

classification ✦ hep-ph hep-ex
keywords leptogenesisright-handed neutrinosbaryon asymmetryneutrino massesLHCB meson decayselectroweak scaleheavy ion collisions
0
0 comments X

The pith

The Standard Model extended by three right-handed neutrinos below the electroweak scale simultaneously accounts for neutrino masses and the baryon asymmetry of the universe, with GeV-scale solutions reachable in B-meson decays at the LHC.

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

The paper shows that three right-handed neutrinos with masses below the electroweak scale can generate both the observed neutrino masses via the seesaw mechanism and the observed excess of matter over antimatter through leptogenesis. Because three neutrinos participate, the allowed mixing angles with ordinary neutrinos become large enough to reach current experimental bounds. Right-handed neutrinos at the GeV scale can then appear in the decays of B mesons produced at the LHC. The paper notes that collisions of argon ions yield higher sensitivity per unit running time than proton collisions for this particular search channel.

Core claim

The Standard Model extended with right-handed neutrinos whose masses are below the electroweak scale provides a simultaneous solution for the origin of neutrino masses and of the baryon asymmetry of the Universe, that can be tested in current experiments. If three right-handed neutrinos participate to the processes, their parameter space of solutions extends to very large mixing angles, saturating the current experimental constraints. Solutions with right-handed neutrino masses at the GeV scale can be probed in the decay of B mesons at the LHC. For this channel the collision of isotopes of intermediate mass such as Ar provides a better sensitivity per unit of running time compared to the one

What carries the argument

Leptogenesis driven by three right-handed neutrinos below the electroweak scale, which enlarges the viable mixing-angle range to saturate existing bounds.

If this is right

  • GeV-scale right-handed neutrinos become directly searchable in B-meson decays recorded at the LHC.
  • Argon-ion runs at the LHC improve the reach for these particles compared with proton runs of equal duration.
  • The allowed parameter space for neutrino mixing reaches the upper edge of present experimental constraints when exactly three right-handed neutrinos are active.
  • A single low-scale extension simultaneously addresses neutrino masses and the baryon asymmetry without invoking physics above the electroweak scale.

Where Pith is reading between the lines

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

  • Confirmation would imply that the baryon asymmetry was generated at energies accessible to present-day colliders rather than at much higher scales.
  • Models with only two right-handed neutrinos would be more tightly constrained and might lose the large-mixing solutions highlighted here.
  • Dedicated analysis of existing or near-future heavy-ion data sets could accelerate the search without requiring new accelerator runs.

Load-bearing premise

Three right-handed neutrinos must participate in the leptogenesis processes to reach the large mixing angles needed for the claimed testability.

What would settle it

Absence of any excess in B-meson decay channels at the LHC that would correspond to right-handed neutrino masses near the GeV scale and mixing angles saturating current limits.

read the original abstract

The Standard Model extended with right-handed neutrinos whose masses are below the electroweak scale provides a simultaneous solution for the origin of neutrino masses and of the baryon asymmetry of the Universe, that can be tested in current experiments. If three right-handed neutrinos participate to the processes, their parameter space of solutions extends to very large mixing angles, saturating the current experimental constraints. Solutions with right-handed neutrino masses at the GeV scale can be probed in the decay of $B$ mesons at the LHC. For this channel the collision of isotopes of intermediate mass such as Ar provides a better sensitivity per unit of running time compared to collisions with protons.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript claims that extending the Standard Model with three right-handed neutrinos (RHNs) of masses below the electroweak scale simultaneously explains light neutrino masses via the seesaw and generates the observed baryon asymmetry through leptogenesis. With three RHNs the viable parameter space reaches mixing angles |U|^2 that saturate current direct-search bounds; GeV-scale solutions are then testable in B-meson decays at the LHC, where argon collisions yield higher sensitivity per unit running time than proton collisions.

Significance. If the central claim is substantiated, the work would identify a concrete, falsifiable window in which low-scale leptogenesis is simultaneously consistent with neutrino oscillation data and directly probeable at the LHC. The explicit comparison of argon versus proton collisions supplies a practical, experiment-oriented prediction that could guide run planning. No machine-checked proofs or open code are provided, but the falsifiable collider signatures constitute a clear strength.

major comments (1)
  1. [Abstract and leptogenesis section] Abstract and leptogenesis section: the statement that three RHNs extend the parameter space to mixing angles saturating experimental constraints must be supported by explicit solutions of the ARS density-matrix equations that include all three states. The third neutrino introduces additional washout channels and modifies the CP-violating source terms; without a scan or benchmark showing that Y_B remains ≈6×10^{-10} at |U|^2 values near current bounds once neutrino oscillation constraints are imposed, the simultaneous-solution and LHC-testability claims lack load-bearing support.
minor comments (2)
  1. [Abstract] The abstract would benefit from a single sentence indicating the range of RHN masses and mixings that survive the combined neutrino-mass and baryon-asymmetry requirements.
  2. [Throughout] Notation for the mixing matrix elements should be defined once at first use (e.g., |U_αI|^2) rather than assumed from the literature.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for explicit support of the central claim. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract and leptogenesis section] Abstract and leptogenesis section: the statement that three RHNs extend the parameter space to mixing angles saturating experimental constraints must be supported by explicit solutions of the ARS density-matrix equations that include all three states. The third neutrino introduces additional washout channels and modifies the CP-violating source terms; without a scan or benchmark showing that Y_B remains ≈6×10^{-10} at |U|^2 values near current bounds once neutrino oscillation constraints are imposed, the simultaneous-solution and LHC-testability claims lack load-bearing support.

    Authors: We agree that the viability of the three-RHN scenario at large mixing angles requires explicit confirmation via the ARS equations. The original manuscript presents the parameter-space extension as a consequence of including the third state but does not display a dedicated benchmark or scan that simultaneously solves the full density-matrix equations, enforces neutrino-oscillation constraints, and yields the observed Y_B at |U|^2 values saturating current bounds. In the revised version we will add a new subsection (or appendix) containing at least one explicit numerical solution for three RHNs together with the corresponding Y_B value and the imposed oscillation constraints. This addition will directly address the referee’s concern and strengthen the load-bearing support for the LHC-testability claim. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation self-contained with no self-referential reductions visible

full rationale

The abstract and context present the central claim as a consequence of extending the SM with three RH neutrinos below the EW scale, allowing larger mixings that saturate bounds while solving neutrino masses and baryon asymmetry. No equations, parameter definitions, or derivation steps are provided in the given text. No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear. The result is treated as externally falsifiable via LHC B-meson decays and experimental constraints, with no reduction to its own inputs by construction. This is the expected honest non-finding when no load-bearing circular steps can be quoted.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the domain assumption that right-handed neutrinos below the electroweak scale can simultaneously generate neutrino masses and drive leptogenesis; the abstract introduces the three-neutrino setup as the key extension without listing explicit free parameters or providing independent evidence for the new particles.

axioms (1)
  • domain assumption Right-handed neutrinos with masses below the electroweak scale can participate in leptogenesis to explain the baryon asymmetry while also generating neutrino masses
    This is the foundational model premise invoked throughout the abstract for the simultaneous solution.
invented entities (1)
  • Three right-handed neutrinos no independent evidence
    purpose: To extend the Standard Model for simultaneous explanation of neutrino masses and baryon asymmetry via leptogenesis
    These particles are postulated in the model extension; the abstract provides no independent evidence such as a predicted observable outside the claimed testability.

pith-pipeline@v0.9.0 · 5628 in / 1546 out tokens · 36634 ms · 2026-05-25T14:25:36.097432+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · 2 internal anchors

  1. [1]

    Planck 2018 results. VI. Cosmological parameters

    N. Aghanim et al. [Planck Collaboration], arXiv:1807.06209 [astro-ph.CO]

    work page internal anchor Pith review Pith/arXiv arXiv

  2. [2]

    Non-Unitarity, sterile neutrinos, and Non-Standard neutrino Interactions

    M. Blennow, P. Coloma, E. Fernandez-Martinez, J. Hernandez-Garcia and J. Lopez-Pavon, JHEP 1704 (2017) 153 [arXiv:1609.08637 [hep-ph]]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  3. [3]

    A. D. Sakharov, Pisma Zh. Eksp. Teor. Fiz. 5 (1967) 32 [JETP Lett. 5 (1967) 24] [Sov. Phys. Usp. 34 (1991) no.5, 392] [Usp. Fiz. Nauk 161 (1991) no.5, 61]

    work page 1967

  4. [4]

    Fukugita and T

    M. Fukugita and T. Yanagida, Phys. Lett. B 174 (1986) 45

    work page 1986

  5. [5]

    E. K. Akhmedov, V. A. Rubakov and A. Y. Smirnov, Phys. Rev. Lett. 81 (1998) 1359; T. Asaka and M. Shaposhnikov, Phys. Lett. B 620 (2005) 17

    work page 1998

  6. [6]

    Drewes and J

    M. Drewes and J. Hajer, arXiv:1903.06100 [hep-ph]

    work page arXiv 1903

  7. [7]

    S. F. King, Nucl. Phys. B 576 (2000) 85; S. F. King, JHEP 0209 (2002) 011; P. H. Framp- ton, S. L. Glashow and T. Yanagida, Phys. Lett. B 548 (2002) 119; A. Donini, P. Hernan- dez, J. Lopez-Pavon and M. Maltoni, JHEP 1107 (2011) 105

    work page 2000

  8. [8]

    Caputo, P

    A. Caputo, P. Hernandez, J. Lopez-Pavon and J. Salvado, JHEP 1706 (2017) 112; M. Drewes, J. Hajer, J. Klaric and G. Lanfranchi, JHEP 1807 (2018) 105

    work page 2017

  9. [9]

    Canetti, M

    L. Canetti, M. Drewes, T. Frossard and M. Shaposhnikov, Phys. Rev. D 87 (2013) 093006; P. Hernandez, M. Kekic, J. Lopez-Pavon, J. Racker and J. Salvado, JHEP 1608 (2016) 157; S. Eijima, M. Shaposhnikov and I. Timiryasov, arXiv:1808.10833 [hep-ph]; I. Boiarska, K. Bondarenko, A. Boyarsky, S. Eijima, M. Ovchynnikov, O. Ruchayskiy and I. Timiryasov, arXiv:19...

    work page arXiv 2013

  10. [10]

    Abada, G

    A. Abada, G. Arcadi, V. Domcke, M. Drewes, J. Klaric and M. Lucente, JHEP 1901 (2019) 164

    work page 1901

  11. [11]

    Shaposhnikov, Nucl

    M. Shaposhnikov, Nucl. Phys. B 763 (2007) 49; A. Abada, G. Arcadi, V. Domcke and M. Lucente, JCAP 1511 (2015) no.11, 041; A. Abada, G. Arcadi, V. Domcke and M. Lu- cente, JCAP 1712 (2017) no.12, 024

    work page 2007

  12. [12]

    Bruce et al., arXiv:1812.07688 [hep-ph]

    R. Bruce et al., arXiv:1812.07688 [hep-ph]

    work page arXiv

  13. [13]

    Drewes, A

    M. Drewes, A. Giammanco, J. Hajer, M. Lucente and O. Mattelaer, arXiv:1810.09400 [hep-ph]; M. Drewes, A. Giammanco, J. Hajer and M. Lucente, arXiv:1905.09828 [hep- ph]

    work page arXiv 1905