Pith. sign in

REVIEW 6 minor 1 cited by

Cylinder frame operators on the Bernoulli Cantor measure converge to a unique compact operator fixed by first-level self-similarity, with a scalar resolvent recursion that locates its top eigenvalue.

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 Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-13 10:28 UTC

load-bearing objection Solid, self-contained operator paper on Bernoulli cylinder frame operators; the hep-ph title/abstract is a pipeline mismatch, not a flaw in the math.

arxiv 2604.04254 v1 submitted 2026-04-05 hep-ph hep-ex

Searching for heavy neutrinos in e^+ e^- to W^+ W^-: it is all about unitarity

G.A. Chachava , S.I. Godunov This is my paper
classification hep-ph hep-ex MSC 42C4028A8042C1546L0547A10
keywords Bernoulli Cantor measurecylinder frame operatorsweighted Haar basisfiltrationself-similar fixed-pointresolvent renormalizationcompact positive operators
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 builds finite-rank frame operators from the indicator functions of the nested cylinders of a Bernoulli Cantor measure. In the equal-weight case these operators are diagonalized by the classical Haar differences on the tree; for unequal weights the same differences still produce a sparse, tree-banded matrix. The operators admit an exact filtration formula as a sum of mass multiplications times conditional expectations, which converges in norm to a compact positive self-adjoint limit K_∞. That limit is uniquely characterized by a self-similar fixed-point identity coming from the two first-level branch isometries, and the identity yields both a completely-positive Neumann series and a nonlinear renormalization formula for the scalar resolvent at the constant function. The top eigenvalue is thereby reduced to a single scalar equation involving that resolvent. A sympathetic reader cares because the construction shows how a concrete geometric frame system on a fractal automatically generates a recursive operator whose spectrum can be read from a one-dimensional fixed-point relation.

Core claim

The finite cylinder frame operators Km converge in operator norm to a compact positive self-adjoint operator K_∞ that is the unique bounded solution of the self-similar identity K_∞ = P_φ + p U_0 K_∞ U_0* + (1-p) U_2 K_∞ U_2*, and whose rooted resolvent m(z) satisfies an explicit nonlinear renormalization that converts the top-eigenvalue problem into the scalar condition m(λ/p) + m(λ/(1-p)) = 1 for all eigenvalues larger than α λ_max.

What carries the argument

The self-similar fixed-point map Ψ(T) = P_φ + p U_0 T U_0* + (1-p) U_2 T U_2* (and its linear part Φ). It is a strict contraction on bounded operators, forces uniqueness of K_∞, produces the Neumann expansion, the first-level block form, and the resolvent renormalization that reduces the spectrum to a scalar equation.

Load-bearing premise

Everything rests on the middle-third Cantor set with two affine contractions and product branch weights; the closed-form matrix entries, resolvent identity and eigenvalue criterion are proved only for that geometry.

What would settle it

Compute the top eigenvalue of a large finite compression of K_∞ numerically for a concrete p eq 1/2 and check whether it coincides with the largest real root of m(λ/p) + m(λ/(1-p)) = 1 obtained from the resolvent recursion; a mismatch falsifies the scalar characterization.

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

If this is right

  • K_∞ is compact, positive and self-adjoint with an explicit tree-banded matrix in the weighted Haar basis.
  • Its spectrum above α λ_max consists of simple eigenvalues completely determined by the rooted resolvent m(z).
  • The same fixed-point identity supplies a completely-positive Neumann series that computes all moments of the spectral measure at the constant function.
  • In the symmetric case p = 1/2 the spectrum collapses to the explicit set {2} ∪ {2^{1-n} : n ≥ 1} ∪ {0} with known multiplicities, placing K_∞ in every Schatten class Sr for r > 1.

Where Pith is reading between the lines

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

  • The filtration-plus-fixed-point package should extend verbatim to any self-similar measure whose first-level pieces are essentially disjoint, giving a uniform source of compact positive operators with recursive spectra.
  • The same block-resolvent technique can be iterated to higher-generation compressions, producing a hierarchy of scalar renormalizations that approximate the full spectrum.
  • Because the construction begins from ordinary frame operators rather than an abstract transfer operator, it supplies a concrete model in which completely-positive fixed-point theory can be tested against explicit matrix calculations.

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

0 major / 6 minor

Summary. The paper studies finite-rank frame operators Km generated by cylinder indicators for the Bernoulli Cantor measure μ_p on the middle-third Cantor set. In the symmetric case p=1/2 it shows that classical Haar differences diagonalize Km and gives the full spectrum of the norm-limit operator K_∞. For general p it constructs an orthogonal weighted sibling-difference basis in which Km is tree-banded (nonzero only on comparable indices), proves the filtration identity Km = Σ_{n=0}^m D_n E_n, and obtains norm convergence of K_∞ = Σ D_n E_n to a compact positive self-adjoint operator. It then derives a self-similar fixed-point characterization K_∞ = P_φ + p U_0 K_∞ U_0* + (1-p) U_2 K_∞ U_2*, a completely positive Neumann expansion, a first-level block form, a nonlinear renormalization formula for the rooted resolvent m(z), recursive moment formulas, and a scalar criterion for eigenvalues λ > α λ_max(K_∞).

Significance. If correct, the work supplies a fully explicit, self-contained model in which frame operators of cylinder indicators, weighted Haar structure, filtration/martingale methods, Cuntz isometries, and completely positive fixed-point theory interact on a concrete fractal measure space. Strengths include: (i) construction of K_∞ first as a norm limit of finite-rank operators before the fixed-point identity is extracted (avoiding circularity); (ii) a strict-contraction uniqueness proof for the affine map Ψ; (iii) closed-form matrix coefficients, resolvent renormalization (7.1), and a Birman–Schwinger-type scalar eigenvalue criterion (Theorem 7.6); (iv) explicit Schatten-class threshold in the symmetric case. These are parameter-free derivations within the two-branch Bernoulli model and are of genuine interest at the interface of fractal harmonic analysis and operator theory.

minor comments (6)
  1. Remark 7.7 asserts that the filtration formula and fixed-point identity extend to general self-similar measures with disjoint first-level pieces, but the weighted Haar matrix formulas, the explicit resolvent identity (7.1), and the top-eigenvalue criterion are proved only for the two-branch ternary Bernoulli model of §2.1. Soften the wording to make clear that only the abstract filtration and fixed-point skeletons are claimed more generally, or sketch the hypotheses needed for the closed forms.
  2. Corollary 5.3 gives a useful 2×2 lower bound λ_max(K_∞) ≥ λ_max(M(p)). A short numerical plot or table of λ_max(M(p)) versus p (and comparison with the crude bound 1/(1-α)) would make the coupling between the constant mode and the root asymmetry more concrete for the reader.
  3. Notation for the empty word is written both as ⊥ and as ? in places (e.g., near (2.2)–(2.3) and the definition of h_⊥^{(p)}). Standardize on one symbol throughout.
  4. In several displayed formulas the geometric sum G_w = Σ q^j appears both finite (Theorem 4.1) and infinite (Proposition 5.2). A one-line reminder that 1−q = 2p(1−p) when simplifying the infinite-sum coefficients would reduce the chance of algebraic slips for readers checking the limits.
  5. Section 3 (symmetric case) and Section 4 (weighted case) both derive filtration formulas; a brief forward pointer in §3 that the same identity survives without diagonalization would tighten the narrative arc announced in the introduction.
  6. References to classical Haar/martingale sources and to Cuntz/IFS wavelet literature are appropriate. Adding one standard citation for the Hausdorff moment problem on a compact interval (used in Corollary 7.4) would complete the spectral-measure discussion.

Circularity Check

0 steps flagged

No circularity: K_∞ is built as a concrete norm limit of frame operators, then independently proved to be the unique fixed point of Ψ; resolvent and eigenvalue criteria are derived consequences, not inputs.

full rationale

The paper’s load-bearing chain is self-contained and non-circular. Finite operators Km are defined from cylinder indicators (2.8)–(2.9). The filtration identity Km = ∑ Dn En (Prop. 4.3) is proved from that definition. K_∞ is introduced as the operator-norm limit of that series (Prop. 5.1), with compactness following from finite-rank approximation. The self-similar map Ψ is then defined from the first-level Cuntz isometries (Lemma 6.1); the identity Km+1 = Ψ(Km) is verified by direct transport of indicators (Thm. 6.3(1)), the limit K_∞ = Ψ(K_∞) follows by continuity (Thm. 6.3(2)), and uniqueness among all bounded operators is obtained from the strict contraction estimate ∥Ψ(T)−Ψ(S)∥ = α∥T−S∥ with α = max{p,1−p} < 1 (Thm. 6.3(3)), not by assuming the conclusion. The Neumann expansion (Cor. 6.5), block form (Cor. 6.4), scalar resolvent renormalization (7.1), moment recursion (Prop. 7.2), and eigenvalue criterion m(λ/p)+m(λ/(1−p))=1 (Thm. 7.6) are all derived from these identities via rank-one resolvent algebra. Moments μ_n are defined as ⟨φ,K_∞^n φ⟩ and only afterward shown to satisfy a recursion forced by (7.1); nothing is fitted. Literature citations supply context (Haar, Cuntz, CP maps, Birman–Schwinger) but no load-bearing uniqueness theorem is imported from the same author, and no free parameter is tuned to a target spectrum. Remark 7.7’s unproved generality is correctly non-load-bearing for the theorems actually stated, which are proved only inside the two-branch Bernoulli model of §2.1. Score 0.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 2 invented entities

The paper is a pure-math construction from the classical Bernoulli Cantor measure. No numerical parameters are fitted. Background axioms are standard Hilbert-space and measure-theoretic facts plus the self-similar definition of μ_p. The only 'invented' objects are the operators Km and K_∞ themselves, which are defined by explicit formulas rather than postulated to explain data.

axioms (5)
  • standard math L2(μ_p) is a Hilbert space; conditional expectation En is the orthogonal projection onto Gn-measurable functions; multiplication operators Dn are bounded with ∥Dn∥=α^n.
    Used throughout Sections 2–5 to define Km and prove norm convergence of K_∞.
  • standard math Banach fixed-point theorem: a strict contraction on a complete metric space has a unique fixed point.
    Invoked in Theorem 6.3(3) to conclude uniqueness of the bounded solution of T=Ψ(T).
  • standard math Spectral theorem for compact positive self-adjoint operators; Hausdorff moment problem is determinate on a compact interval.
    Used in Corollaries 7.4–7.5 to attach a unique rooted spectral measure ν_φ to the moment sequence.
  • domain assumption There exists a unique Borel probability measure μ_p on the middle-third Cantor set satisfying μ_p = p μ_p∘S0^{-1} + (1-p) μ_p∘S2^{-1}.
    Section 2.1, equation (2.1); the entire cylinder mass recursion and branch isometries rest on this classical IFS fact.
  • domain assumption The two first-level Cantor pieces C0 and C2 are disjoint modulo μ_p-null sets, so the normalized pullbacks U0,U2 are isometries with orthogonal ranges forming a Cuntz pair.
    Lemma 6.1 / Remark 6.2; required for the block form and the contraction constant α=max{p,1−p}<1.
invented entities (2)
  • Finite cylinder frame operators Km and their norm limit K_∞ no independent evidence
    purpose: Central objects of study: frame/Gram operators of cylinder indicators and their infinite-depth limit.
    Defined explicitly by Km f = Σ_{|u|≤m} ⟨1_Cu,f⟩ 1_Cu and K_∞=Σ_n Dn En; not postulated as a new physical entity. independent_evidence is false only in the sense that they are mathematical constructs internal to the paper, but they are fully constructive.
  • Affine map Ψ(T)=P_φ + p U0 T U0* + (1−p) U2 T U2* and its linear part Φ no independent evidence
    purpose: Encode first-level self-similarity of K_∞ and produce the Neumann expansion K_∞=(I−Φ)^{-1}(P_φ).
    Derived from the cylinder recursion rather than introduced ad hoc; uniqueness is proved by contraction.

pith-pipeline@v1.1.0-grok45 · 30691 in / 3971 out tokens · 51808 ms · 2026-07-13T10:28:36.368226+00:00 · methodology

0 comments
read the original abstract

We study the process $e^+e^- \to W^+W^-$ with the aim of estimating the prospects for observing heavy neutrinos contributions at future $e^+e^-$-colliders. In this work, we consider two implementations of heavy-light neutrino mixing: a linearized mixing approximation applied in popular models and an exact unitary mixing scheme. We conclude that the approximate realization leads to physically incorrect results for this process, while exact unitary mixing provides some signatures that can be experimentally checked.

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Neutrino t-channels at Colliders: When Light Neutrinos Matter

    hep-ph 2026-07 conditional novelty 6.0

    The same-sign WW→ℓℓ t-channel signal for heavy Majorana neutrinos is cancelled by light-neutrino contributions in the seesaw model; the opposite-sign eµjj channel is a better probe.

Reference graph

Works this paper leans on

37 extracted references · 5 canonical work pages · cited by 1 Pith paper · 3 internal anchors

  1. [1]

    A. I. Vainshtein and I. B. Khriplovich. On the zero-mass limit and renormalizability in the theory of massive yang-mills field . Yad. Fiz. , 13:198--211, 1971

    1971

  2. [2]

    Physical Processes in a Convergent Theory of the Weak and Electromagnetic Interactions

    Steven Weinberg. Physical Processes in a Convergent Theory of the Weak and Electromagnetic Interactions . Phys. Rev. Lett. , 27:1688--1691, 1971. https://doi.org/10.1103/PhysRevLett.27.1688 doi:10.1103/PhysRevLett.27.1688

    work page doi:10.1103/physrevlett.27.1688 1971

  3. [3]

    E. B. Bogomolnyi. Renormalizable models of weak interaction and neutral scalar meson . Yad. Fiz. , 18:574--582, 1973

    1973

  4. [4]

    L. B. Okun. Weak interaction at high energies. U nified theory of weak and electromagnetic interactions. In Proceedings of the First ITEP Winter School , Moscow, 1973. ATOMIZDAT. In Russian

    1973

  5. [5]

    Lev B. Okun. Leptons and Quarks : Special Edition Commemorating the Discovery of the Higgs Boson . North-Holland, Amsterdam, Netherlands, 1982. https://doi.org/10.1142/9162 doi:10.1142/9162

    work page doi:10.1142/9162 1982

  6. [6]

    Peskin and Daniel V

    Michael E. Peskin and Daniel V. Schroeder. An Introduction to quantum field theory . Addison-Wesley, Reading, USA, 1995. https://doi.org/10.1201/9780429503559 doi:10.1201/9780429503559

    doi:10.1201/9780429503559 1995

  7. [7]

    Search for Long-Lived Heavy Neutral Leptons with Lepton Flavour Conserving or Violating Decays to a Jet and a Charged Lepton

    Aram Hayrapetyan et al. Search for Long-Lived Heavy Neutral Leptons with Lepton Flavour Conserving or Violating Decays to a Jet and a Charged Lepton . JHEP , 03:105, 2024. https://arxiv.org/abs/2312.07484 arXiv:2312.07484 , https://doi.org/10.1007/JHEP03(2024)105 doi:10.1007/JHEP03(2024)105

    Pith/arXiv arXiv doi:10.1007/jhep03(2024)105 2024

  8. [8]

    Search for long-lived heavy neutral leptons in proton-proton collision events with a lepton-jet pair associated with a secondary vertex at s = 13 TeV

    Aram Hayrapetyan et al. Search for long-lived heavy neutral leptons in proton-proton collision events with a lepton-jet pair associated with a secondary vertex at s = 13 TeV . JHEP , 02:036, 2025. https://arxiv.org/abs/2407.10717 arXiv:2407.10717 , https://doi.org/10.1007/JHEP02(2025)036 doi:10.1007/JHEP02(2025)036

    Pith/arXiv arXiv doi:10.1007/jhep02(2025)036 2025

  9. [9]

    Search for heavy neutral leptons in final states with electrons, muons, and hadronically decaying tau leptons in proton-proton collisions at s = 13 TeV

    Aram Hayrapetyan et al. Search for heavy neutral leptons in final states with electrons, muons, and hadronically decaying tau leptons in proton-proton collisions at s = 13 TeV . JHEP , 06:123, 2024. https://arxiv.org/abs/2403.00100 arXiv:2403.00100 , https://doi.org/10.1007/JHEP06(2024)123 doi:10.1007/JHEP06(2024)123

    Pith/arXiv arXiv doi:10.1007/jhep06(2024)123 2024

  10. [10]

    Search for long-lived heavy neutral leptons decaying in the CMS muon detectors in proton-proton collisions at $\sqrt{s}$ = 13 TeV

    Aram Hayrapetyan et al. Search for long-lived heavy neutral leptons decaying in the CMS muon detectors in proton-proton collisions at s=13 \, \, TeV . Phys. Rev. D , 110:012004, 2024. https://arxiv.org/abs/2402.18658 arXiv:2402.18658 , https://doi.org/10.1103/PhysRevD.110.012004 doi:10.1103/PhysRevD.110.012004

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.110.012004 2024

  11. [11]

    Search for heavy right-handed Majorana neutrinos in the decay of top quarks produced in proton-proton collisions at s=13 \, \, TeV with the ATLAS detector

    Georges Aad et al. Search for heavy right-handed Majorana neutrinos in the decay of top quarks produced in proton-proton collisions at s=13 \, \, TeV with the ATLAS detector . Phys. Rev. D , 110(11):112004, 2024. https://arxiv.org/abs/2408.05000 arXiv:2408.05000 , https://doi.org/10.1103/PhysRevD.110.112004 doi:10.1103/PhysRevD.110.112004

    Pith/arXiv arXiv doi:10.1103/physrevd.110.112004 2024

  12. [12]

    e at a Rate of One Out of 10^ 9 Muon Decays? Phys

    Peter Minkowski. e at a Rate of One Out of 10^ 9 Muon Decays? Phys. Lett. B , 67:421--428, 1977. https://doi.org/10.1016/0370-2693(77)90435-X doi:10.1016/0370-2693(77)90435-X

    doi:10.1016/0370-2693(77)90435-x 1977

  13. [13]

    Complex Spinors and Unified Theories

    Murray Gell-Mann, Pierre Ramond, and Richard Slansky. Complex Spinors and Unified Theories . Conf. Proc. C , 790927:315--321, 1979. https://arxiv.org/abs/1306.4669 arXiv:1306.4669

    Pith/arXiv arXiv 1979

  14. [14]

    Horizontal gauge symmetry and masses of neutrinos

    Tsutomu Yanagida. Horizontal gauge symmetry and masses of neutrinos . Conf. Proc. C , 7902131:95--99, 1979

    1979

  15. [15]

    Mohapatra and Goran Senjanovic

    Rabindra N. Mohapatra and Goran Senjanovic. Neutrino Mass and Spontaneous Parity Nonconservation . Phys. Rev. Lett. , 44:912, 1980. https://doi.org/10.1103/PhysRevLett.44.912 doi:10.1103/PhysRevLett.44.912

    doi:10.1103/physrevlett.44.912 1980

  16. [16]

    Seesaw mechanism at electron-electron colliders

    Takehiko Asaka and Takanao Tsuyuki. Seesaw mechanism at electron-electron colliders . Phys. Rev. D , 92(9):094012, 2015. https://arxiv.org/abs/1508.04937 arXiv:1508.04937 , https://doi.org/10.1103/PhysRevD.92.094012 doi:10.1103/PhysRevD.92.094012

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.92.094012 2015

  17. [17]

    Simulation of the process $e^+e^- \rightarrow W^+W^-$ with the heavy right-handed neutrino exchange at 1 TeV future lepton colliders

    A. Drutskoy and E. Vasenin. Simulation of the process e+e- W+W- with the heavy right-handed neutrino exchange at 1 TeV future lepton colliders . Phys. Rev. D , 111(1):015025, 2025. https://arxiv.org/abs/2411.09418 arXiv:2411.09418 , https://doi.org/10.1103/PhysRevD.111.015025 doi:10.1103/PhysRevD.111.015025

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.111.015025 2025

  18. [18]

    Heavy neutrinos with dynamic jet vetoes: multilepton searches at s =14 , 27, and 100 TeV

    Silvia Pascoli, Richard Ruiz, and Cedric Weiland. Heavy neutrinos with dynamic jet vetoes: multilepton searches at s =14 , 27, and 100 TeV . JHEP , 06:049, 2019. https://arxiv.org/abs/1812.08750 arXiv:1812.08750 , https://doi.org/10.1007/JHEP06(2019)049 doi:10.1007/JHEP06(2019)049

    Pith/arXiv arXiv doi:10.1007/jhep06(2019)049 2019

  19. [19]

    Christensen and Claude Duhr

    Neil D. Christensen and Claude Duhr. FeynRules - Feynman rules made easy . Comput. Phys. Commun. , 180:1614--1641, 2009. https://arxiv.org/abs/0806.4194 arXiv:0806.4194 , https://doi.org/10.1016/j.cpc.2009.02.018 doi:10.1016/j.cpc.2009.02.018

    Pith/arXiv arXiv doi:10.1016/j.cpc.2009.02.018 2009

  20. [20]

    Christensen, C \'e line Degrande, Claude Duhr, and Benjamin Fuks

    Adam Alloul, Neil D. Christensen, C \'e line Degrande, Claude Duhr, and Benjamin Fuks. FeynRules 2.0 - A complete toolbox for tree-level phenomenology . Comput. Phys. Commun. , 185:2250--2300, 2014. https://arxiv.org/abs/1310.1921 arXiv:1310.1921 , https://doi.org/10.1016/j.cpc.2014.04.012 doi:10.1016/j.cpc.2014.04.012

    Pith/arXiv arXiv doi:10.1016/j.cpc.2014.04.012 2014

  21. [21]

    Alwall, R

    J. Alwall, R. Frederix, S. Frixione, V. Hirschi, F. Maltoni, O. Mattelaer, H. S. Shao, T. Stelzer, P. Torrielli, and M. Zaro. The automated computation of tree-level and next-to-leading order differential cross sections, and their matching to parton shower simulations . JHEP , 07:079, 2014. https://arxiv.org/abs/1405.0301 arXiv:1405.0301 , https://doi.org...

    Pith/arXiv arXiv doi:10.1007/jhep07(2014)079 2014

  22. [22]

    The International Linear Collider: Report to Snowmass 2021

    Alexander Aryshev et al. The International Linear Collider: Report to Snowmass 2021 . 3 2022. https://arxiv.org/abs/2203.07622 arXiv:2203.07622 , https://doi.org/10.2172/1873702 doi:10.2172/1873702

    doi:10.2172/1873702 2021

  23. [23]

    T. K. Charles et al. The Compact Linear Collider (CLIC) - 2018 Summary Report . CERN Yellow Rep. Monogr. , 2:1--112, 2018. https://arxiv.org/abs/1812.06018 arXiv:1812.06018 , https://doi.org/10.23731/CYRM-2018-002 doi:10.23731/CYRM-2018-002

    Pith/arXiv arXiv doi:10.23731/cyrm-2018-002 2018

  24. [24]

    CEPC Technical Design Report: Accelerator

    Waleed Abdallah et al. CEPC Technical Design Report: Accelerator . Radiat. Detect. Technol. Methods , 8(1):1--1105, 2024. [Erratum: Radiat.Detect.Technol.Methods 9, 184--192 (2025)]. https://arxiv.org/abs/2312.14363 arXiv:2312.14363 , https://doi.org/10.1007/s41605-024-00463-y doi:10.1007/s41605-024-00463-y

    doi:10.1007/s41605-024-00463-y 2024

  25. [25]

    Abada et al

    A. Abada et al. FCC-ee: The Lepton Collider : Future Circular Collider Conceptual Design Report Volume 2 . Eur. Phys. J. ST , 228(2):261--623, 2019. https://doi.org/10.1140/epjst/e2019-900045-4 doi:10.1140/epjst/e2019-900045-4

    doi:10.1140/epjst/e2019-900045-4 2019

  26. [26]

    The Muon Collider

    Carlotta Accettura et al. The Muon Collider . 4 2025. https://arxiv.org/abs/2504.21417 arXiv:2504.21417

    arXiv 2025

  27. [27]

    Navas et al

    S. Navas et al. Review of particle physics . Phys. Rev. D , 110(3):030001, 2024. https://doi.org/10.1103/PhysRevD.110.030001 doi:10.1103/PhysRevD.110.030001

    doi:10.1103/physrevd.110.030001 2024

  28. [28]

    V. B. Berestetskii, E. M. Lifshitz, and L. P. Pitaevskii. QUANTUM ELECTRODYNAMICS , volume 4 of Course of Theoretical Physics . Pergamon Press, Oxford, 1982

    1982

  29. [29]

    Arbitrary mass Majorana neutrinos in neutrinoless double beta decay

    Amand Faessler, Marcela Gonz \'a lez, Sergey Kovalenko, and Fedor S imkovic. Arbitrary mass Majorana neutrinos in neutrinoless double beta decay . Phys. Rev. D , 90(9):096010, 2014. https://arxiv.org/abs/1408.6077 arXiv:1408.6077 , https://doi.org/10.1103/PhysRevD.90.096010 doi:10.1103/PhysRevD.90.096010

    Pith/arXiv arXiv doi:10.1103/physrevd.90.096010 2014

  30. [30]

    Agostini, G

    M. Agostini, G. R. Araujo, A. M. Bakalyarov, M. Balata, I. Barabanov, et al. Final results of gerda on the search for neutrinoless double- decay. Phys. Rev. Lett. , 125:252502, Dec 2020. URL: https://link.aps.org/doi/10.1103/PhysRevLett.125.252502, https://doi.org/10.1103/PhysRevLett.125.252502 doi:10.1103/PhysRevLett.125.252502

    doi:10.1103/physrevlett.125.252502 2020

  31. [31]

    Abe et al

    S. Abe et al. Search for Majorana Neutrinos with the Complete KamLAND-Zen Dataset . Phys. Rev. Lett. , 135(26):262501, 2025. https://arxiv.org/abs/2406.11438 arXiv:2406.11438 , https://doi.org/10.1103/jkf6-48j8 doi:10.1103/jkf6-48j8

    doi:10.1103/jkf6-48j8 2025

  32. [32]

    Ivan Esteban, M. C. Gonzalez-Garcia, Michele Maltoni, Ivan Martinez-Soler, Jo \ a o Paulo Pinheiro, and Thomas Schwetz. NuFit-6.0: updated global analysis of three-flavor neutrino oscillations . JHEP , 12:216, 2024. https://arxiv.org/abs/2410.05380 arXiv:2410.05380 , https://doi.org/10.1007/JHEP12(2024)216 doi:10.1007/JHEP12(2024)216

    Pith/arXiv arXiv doi:10.1007/jhep12(2024)216 2024

  33. [33]

    Global constraints on heavy neutrino mixing

    Enrique Fernandez-Martinez, Josu Hernandez-Garcia, and Jacobo Lopez-Pavon. Global constraints on heavy neutrino mixing . JHEP , 08:033, 2016. https://arxiv.org/abs/1605.08774 arXiv:1605.08774 , https://doi.org/10.1007/JHEP08(2016)033 doi:10.1007/JHEP08(2016)033

    Pith/arXiv arXiv doi:10.1007/jhep08(2016)033 2016

  34. [34]

    J \"o rn Kersten and Alexei Yu. Smirnov. Right-Handed Neutrinos at CERN LHC and the Mechanism of Neutrino Mass Generation . Phys. Rev. D , 76:073005, 2007. https://arxiv.org/abs/0705.3221 arXiv:0705.3221 , https://doi.org/10.1103/PhysRevD.76.073005 doi:10.1103/PhysRevD.76.073005

    Pith/arXiv arXiv doi:10.1103/physrevd.76.073005 2007

  35. [35]

    W and Z boson pair production at electron-positron colliders in gauge-Higgs unification

    Naoki Yamatsu, Shuichiro Funatsu, Hisaki Hatanaka, Yutaka Hosotani, and Yuta Orikasa. W and Z boson pair production at electron-positron colliders in gauge-Higgs unification . Phys. Rev. D , 108(11):115014, 2023. https://arxiv.org/abs/2309.01132 arXiv:2309.01132 , https://doi.org/10.1103/PhysRevD.108.115014 doi:10.1103/PhysRevD.108.115014

    Pith/arXiv arXiv doi:10.1103/physrevd.108.115014 2023

  36. [36]

    FeynCalc 10: Do multiloop integrals dream of computer codes? Comput

    Vladyslav Shtabovenko, Rolf Mertig, and Frederik Orellana. FeynCalc 10: Do multiloop integrals dream of computer codes? Comput. Phys. Commun. , 306:109357, 2025. https://arxiv.org/abs/2312.14089 arXiv:2312.14089 , https://doi.org/10.1016/j.cpc.2024.109357 doi:10.1016/j.cpc.2024.109357

    Pith/arXiv arXiv doi:10.1016/j.cpc.2024.109357 2025

  37. [37]

    Gabrielli, A

    E. Gabrielli, A. Lind, L. Marzola, K. M \"u \"u rsepp, and E. Nardi. Testing the unitarity of the light neutrino mixing matrix . 3 2026. https://arxiv.org/abs/2603.12385 arXiv:2603.12385

    arXiv 2026