pith. machine review for the scientific record. sign in

arxiv: 2604.02506 · v1 · submitted 2026-04-02 · ✦ hep-ph

Recognition: 2 theorem links

· Lean Theorem

Nelson-Barr Models with Vector-Like Quark Doublets

G. H. S. Alves , C. C. Nishi , L. Vecchi
Authors on Pith no claims yet

Pith reviewed 2026-05-13 20:18 UTC · model grok-4.3

classification ✦ hep-ph
keywords Nelson-Barr modelsstrong CP problemvector-like quarksCP violationtheta-baraccidental symmetrythree-loop contributionselectric dipole moments
0
0 comments X

The pith

Nelson-Barr models with vector-like quark doublets suppress the strong CP parameter through an accidental symmetry that delays contributions until three loops.

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

The paper examines Nelson-Barr solutions to the strong CP problem where spontaneous CP violation is communicated to the Standard Model via mixing with vector-like partners of the quark doublets. It demonstrates that an accidental symmetry present in the renormalizable theory naturally postpones the leading effects on the QCD theta term to three-loop order. This suppression makes the models viable and competitive with traditional singlet-based Nelson-Barr scenarios. The work also discusses the phenomenological implications, including bounds from electric dipole moment searches, and contrasts these setups with generic vector-like quark extensions.

Core claim

In these Nelson-Barr constructions, the transmission of spontaneous CP violation occurs through the mixing of Standard Model quark doublets with vector-like quark doublets. An accidental symmetry of the renormalizable Lagrangian ensures that contributions to the effective theta-bar parameter are absent at one and two loops, appearing first at three loops. This provides a natural explanation for the observed smallness of hadronic CP violation without additional fine-tuning.

What carries the argument

The accidental symmetry of the renormalizable theory, which forbids one- and two-loop contributions to theta-bar through the structure of the vector-like quark doublet mixing.

If this is right

  • These constructions provide viable alternatives to singlet-based Nelson-Barr models for addressing the strong CP problem.
  • Hadronic CP violation remains suppressed until three-loop order due to the accidental symmetry.
  • Future EDM experiments can probe or constrain the viable parameter space of these models.
  • The models exhibit distinct phenomenology compared to generic vector-like quark doublet scenarios.

Where Pith is reading between the lines

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

  • The same accidental symmetry mechanism could be adapted to other SM extensions involving vector-like fermions to control additional CP-violating effects.
  • Collider searches for vector-like quarks may uncover decay signatures linked to the spontaneous CP phases.
  • Precision flavor measurements could further test the mixing patterns required for CP transmission.

Load-bearing premise

The renormalizable Lagrangian possesses an accidental symmetry that is not broken by higher-dimensional operators or by the specific choice of field content and couplings at lower orders.

What would settle it

An explicit two-loop calculation that produces a nonzero contribution to theta-bar, or a neutron electric dipole moment measurement exceeding the three-loop suppression scale in the allowed parameter space.

Figures

Figures reproduced from arXiv: 2604.02506 by C. C. Nishi, G. H. S. Alves, L. Vecchi.

Figure 1
Figure 1. Figure 1: FIG. 1: Distribution of [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3: Ratios [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: IV. PHENOMENOLOGICAL CONSTRAINTS Here we review the most relevant constraints on our models. These include collider constraints, perturbativity bounds, precision electroweak constraints and flavor constraints. Constraints from hadronic CP violation will be discussed in Section V. First, from direct collider searches [19] the VLQ must be heavier than MQ > 1.5 TeV , (33) for a VLQ that couples only to the th… view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5: Eigenvalues [PITH_FULL_IMAGE:figures/full_fig_p011_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6: Correlation between [PITH_FULL_IMAGE:figures/full_fig_p012_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: It is interesting to compare the impact of (52) on the parameter space compared to that arising from the electroweak constraints. This is seen in Figs. 7 and 8, where the lighter color denotes the points that are already excluded by the T parameter with MQ = 8 TeV. We see that the latter constraint is comparable to (52) in the case of TeV scale VLQs, though of course they should be viewed as complementary.… view at source ↗
Figure 8
Figure 8. Figure 8: FIG. 8: The contribution to [PITH_FULL_IMAGE:figures/full_fig_p020_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: FIG. 9: 1 [PITH_FULL_IMAGE:figures/full_fig_p026_9.png] view at source ↗
read the original abstract

We investigate Nelson--Barr solutions to the strong CP problem in which spontaneous CP violation is transmitted to the Standard Model through mixing with a vector-like partner of the SM quark doublet. We show that these constructions constitute compelling and phenomenologically viable alternatives to the more widely studied singlet-based NB models. A key result of our analysis is that an accidental symmetry of the renormalizable theory delays the leading contributions to \bar{\theta} until three loops, naturally suppressing hadronic CP violation. We outline the main phenomenological constraints, including future EDM experiments, as well as the main differences between these scenarios and generic models with doublet vector-like quarks.

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

2 major / 2 minor

Summary. The paper investigates Nelson-Barr solutions to the strong CP problem in which spontaneous CP violation is transmitted to the Standard Model via mixing with vector-like quark doublets. It claims that an accidental symmetry of the renormalizable Lagrangian delays the leading contributions to bar theta until three loops, providing natural suppression of hadronic CP violation, and outlines the main phenomenological constraints from EDM experiments along with differences from singlet-based models.

Significance. If the three-loop suppression holds without additional assumptions, the construction supplies a viable alternative class of Nelson-Barr models with potentially distinct phenomenology from singlet-based variants, including different mixing patterns and constraints from future EDM searches. The approach leverages the field content to achieve suppression via renormalizability rather than parameter tuning.

major comments (2)
  1. [Symmetry analysis (likely §3 or equivalent)] The central claim of three-loop suppression via accidental symmetry requires explicit demonstration that the chosen SU(2) doublet representations and hypercharges close the symmetry under all renormalizable Yukawa and mass terms. Please enumerate the allowed couplings and confirm that none generate one- or two-loop diagrams contributing to bar theta (e.g., via explicit symmetry transformations or diagram classification in the relevant section).
  2. [Phenomenological constraints section] The phenomenological viability section should quantify the expected size of bar theta from the three-loop contributions and derive concrete bounds on vector-like quark masses and mixings from current neutron EDM limits, rather than stating generic constraints.
minor comments (2)
  1. [Introduction and model definition] Clarify the notation for the vector-like doublet fields and their mixing angles to avoid ambiguity with SM quark doublets.
  2. [Discussion] Add a brief comparison table of loop orders and suppression factors between doublet and singlet Nelson-Barr realizations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments. We believe the suggested revisions will improve the clarity of our presentation regarding the symmetry structure and phenomenological implications. We address the major comments below.

read point-by-point responses

  1. Referee: The central claim of three-loop suppression via accidental symmetry requires explicit demonstration that the chosen SU(2) doublet representations and hypercharges close the symmetry under all renormalizable Yukawa and mass terms. Please enumerate the allowed couplings and confirm that none generate one- or two-loop diagrams contributing to bar theta (e.g., via explicit symmetry transformations or diagram classification in the relevant section).

    Authors: We agree that providing an explicit enumeration of the allowed couplings and a demonstration of the symmetry protection would enhance the manuscript. In the revised version, we will expand the symmetry analysis section to include a complete list of renormalizable Yukawa and mass terms consistent with the SU(2) doublet representations and hypercharges. We will show through explicit symmetry transformations that the accidental symmetry forbids contributions to bar theta at one and two loops, with the leading effects appearing only at three loops. This will be supported by a classification of relevant Feynman diagrams. revision: yes

  2. Referee: The phenomenological viability section should quantify the expected size of bar theta from the three-loop contributions and derive concrete bounds on vector-like quark masses and mixings from current neutron EDM limits, rather than stating generic constraints.

    Authors: We thank the referee for this suggestion. While our original manuscript provided generic constraints, we will revise the phenomenological section to include a quantitative estimate of the three-loop bar theta contribution, incorporating the relevant loop suppression factors and typical coupling values. Using the current experimental bound on the neutron electric dipole moment, we will derive specific numerical bounds on the masses and mixings of the vector-like quarks, thereby making the viability of the model more concrete. revision: yes

Circularity Check

0 steps flagged

No significant circularity: three-loop suppression follows from renormalizable field content

full rationale

The paper derives the accidental symmetry protecting bar theta to three loops directly from the choice of vector-like quark doublets, their SU(2) and hypercharge assignments, and the assumption that only renormalizable operators are present. This structure forbids one- and two-loop contributions by the absence of allowed lower-order terms in the Lagrangian, without fitting any parameters to the target value of bar theta or reducing the result to a self-citation. The central claim is therefore independent of the numerical target and self-contained within the model's field content and renormalizability; no equations equate a prediction to a fitted input by construction.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 1 invented entities

The central claim rests on the assumption of a renormalizable theory whose accidental symmetry is preserved at low orders; several mass and mixing parameters for the vector-like quarks are introduced to achieve viable phenomenology.

free parameters (1)
  • vector-like quark masses and mixing angles
    Parameters chosen to transmit CP violation while satisfying EDM bounds and collider constraints.
axioms (1)
  • domain assumption The theory is strictly renormalizable with no higher-dimensional operators breaking the accidental symmetry at lower orders
    Invoked to ensure the leading theta-bar contribution appears only at three loops.
invented entities (1)
  • vector-like quark doublets no independent evidence
    purpose: Transmit spontaneous CP violation from a hidden sector to the Standard Model quarks
    New postulated fields required for the Nelson-Barr mechanism in this setup

pith-pipeline@v0.9.0 · 5402 in / 1295 out tokens · 48415 ms · 2026-05-13T20:18:04.286393+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

36 extracted references · 36 canonical work pages · 1 internal anchor

  1. [1]

    irreducible

    As a consequence, we will argue that flavor constraints are less relevant than the perturbativity bound and the electroweak precision observables discussed earlier. Doublet VLQs induce the SMEFT operatorsO Hu , OHd , OHud (ψ2H 2D) andO uH , OdH (ψ2H 3) at tree-level [25]. We first discuss flavor violation and subsequently flavor-diagonal transitions. The ...

    work page

  2. [2]

    A. E. Nelson, Phys. Lett.136B(1984) 387

    work page 1984

  3. [3]

    S. M. Barr, Phys.Rev. Lett.53(1984) 329

    work page 1984

  4. [4]

    Bento, G

    L. Bento, G. C. Branco and P. A. Parada, Phys. Lett. B267(1991) 95

    work page 1991

  5. [5]

    Dine and P

    M. Dine and P. Draper, JHEP1508(2015) 132 [arXiv:1506.05433 [hep-ph]]

    work page arXiv 2015

  6. [6]

    G. H. S. Alves and C. C. Nishi, JHEP09(2025), 162 [arXiv:2506.03257 [hep-ph]]

    work page arXiv 2025

  7. [7]

    A. L. Cherchiglia and C. C. Nishi, JHEP03(2019), 040 [arXiv:1901.02024 [hep-ph]]

    work page arXiv 2019

  8. [8]

    Valenti and L

    A. Valenti and L. Vecchi, JHEP07(2021) no.152, 152 [arXiv:2106.09108 [hep-ph]]

    work page arXiv 2021

  9. [9]

    Cs´ aki, S

    C. Cs´ aki, S. Homiller and T. Youn, [arXiv:2507.15935 [hep-ph]]

    work page arXiv

  10. [10]

    Valenti and L

    A. Valenti and L. Vecchi, JHEP07, no.203, 203 (2021) [arXiv:2105.09122 [hep-ph]]

    work page arXiv 2021

  11. [11]

    A. L. Cherchiglia and C. C. Nishi, JHEP08(2020), 104 [arXiv:2004.11318 [hep-ph]]

    work page arXiv 2020

  12. [12]

    A. L. Cherchiglia, G. De Conto and C. C. Nishi, JHEP11(2021), 093 [arXiv:2103.04798 [hep-ph]]

    work page arXiv 2021

  13. [13]

    G. H. S. Alves, A. L. Cherchiglia and C. C. Nishi, Phys. Rev. D108(2023) no.3, 035049 [arXiv:2304.06078 [hep-ph]]

    work page arXiv 2023

  14. [14]

    Asadi, S

    P. Asadi, S. Homiller, Q. Lu and M. Reece, Phys. Rev. D107(2023) no.11, 11 [arXiv:2212.03882 [hep-ph]]

    work page arXiv 2023

  15. [15]

    F. Liu, S. Nakagawa, Y. Nakai and Y. Wang, [arXiv:2510.23033 [hep-ph]]; C. Murgui and S. Patrone, JHEP09(2025), 113 [arXiv:2506.18963 [hep-ph]]; K. Murai and K. Nakayama, JHEP11(2024), 098 [arXiv:2407.16202 [hep-ph]]

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  16. [16]

    Hiller and M

    G. Hiller and M. Schmaltz, Phys. Lett. B514(2001), 263-268 [arXiv:hep-ph/0105254 [hep-ph]]

    work page arXiv 2001

  17. [17]

    Vecchi, JHEP1704(2017) 149 [arXiv:1412.3805 [hep-ph]]

    L. Vecchi, JHEP1704(2017) 149 [arXiv:1412.3805 [hep-ph]]

    work page arXiv 2017

  18. [18]

    Antusch and V

    S. Antusch and V. Maurer, JHEP11(2013), 115 [arXiv:1306.6879 [hep-ph]]

    work page arXiv 2013

  19. [19]

    G. y. Huang and S. Zhou, Phys. Rev. D103(2021) no.1, 016010 [arXiv:2009.04851 [hep-ph]]

    work page arXiv 2021

  20. [20]

    Benbrik, M

    R. Benbrik, M. Boukidi, M. Ech-chaouy, S. Moretti, K. Salime and Q. S. Yan, JHEP03(2025), 020 [arXiv:2412.01761 [hep-ph]]

    work page arXiv 2025

  21. [21]

    J. M. Alves, G. C. Branco, A. L. Cherchiglia, C. C. Nishi, J. T. Penedo, P. M. F. Pereira, M. N. Rebelo and J. I. Silva-Marcos, Phys. Rept.1057(2024), 1-69 [arXiv:2304.10561 [hep-ph]]

    work page arXiv 2024

  22. [22]

    Investigating the near-criticality of the Higgs boson

    D. Buttazzo, G. Degrassi, P. P. Giardino, G. F. Giudice, F. Sala, A. Salvio and A. Strumia, JHEP12 (2013), 089 [arXiv:1307.3536 [hep-ph]]

    work page Pith review arXiv 2013

  23. [23]

    Belfatto and S

    B. Belfatto and S. Trifinopoulos, Phys. Rev. D108(2023) no.3, 035022 [arXiv:2302.14097 [hep-ph]]

    work page arXiv 2023

  24. [24]

    C. Y. Chen, S. Dawson and E. Furlan, Phys. Rev. D96(2017) no.1, 015006 [arXiv:1703.06134 [hep-ph]]

    work page Pith review arXiv 2017

  25. [25]

    Navaset al.[Particle Data Group], Phys

    S. Navaset al.[Particle Data Group], Phys. Rev. D110(2024) no.3, 030001. 30

    work page 2024

  26. [26]

    del Aguila, M

    F. del Aguila, M. Perez-Victoria and J. Santiago, JHEP09(2000), 011 [arXiv:hep-ph/0007316 [hep-ph]]

    work page arXiv 2000

  27. [27]

    Ishiwata, Z

    K. Ishiwata, Z. Ligeti and M. B. Wise, JHEP10(2015), 027 [arXiv:1506.03484 [hep-ph]]

    work page arXiv 2015

  28. [28]

    Bobeth, A

    C. Bobeth, A. J. Buras, A. Celis and M. Jung, JHEP04(2017), 079 [arXiv:1609.04783 [hep-ph]]

    work page arXiv 2017

  29. [29]

    Glioti, R

    A. Glioti, R. Rattazzi, L. Ricci and L. Vecchi, SciPost Phys.18(2025) no.6, 201 [arXiv:2402.09503 [hep-ph]]

    work page arXiv 2025

  30. [30]

    Vignaroli, Phys

    N. Vignaroli, Phys. Rev. D86(2012), 115011 [arXiv:1204.0478 [hep-ph]]

    work page arXiv 2012

  31. [31]

    Y. S. Amhiset al.[HFLAV], Phys. Rev. D107(2023) no.5, 052008 [arXiv:2206.07501 [hep-ex]]

    work page arXiv 2023

  32. [32]

    Misiak, A

    M. Misiak, A. Rehman and M. Steinhauser, JHEP06(2020), 175 [arXiv:2002.01548 [hep-ph]]

    work page arXiv 2020

  33. [33]

    Valenti and L

    A. Valenti and L. Vecchi, JHEP01(2023), 131 [arXiv:2210.09328 [hep-ph]]

    work page arXiv 2023

  34. [34]

    E. L. F. de Lima and C. C. Nishi, JHEP11(2024), 157 [arXiv:2408.10325 [hep-ph]]

    work page arXiv 2024

  35. [35]

    The storage ring proton EDM experiment,

    J. Alexanderet al.[pEDM], “The storage ring proton EDM experiment,” [arXiv:2205.00830 [hep-ph]]; “Status of the Proton EDM Experiment (pEDM),” [arXiv:2504.12797 [hep-ex]]

    work page arXiv

  36. [36]

    On the reduction of CP violation phases,

    C. C. Nishi and J. I. Silva-Marcos, Phys. Rev. D108(2023) no.9, 095031 [arXiv:2305.08980 [hep- ph]]; J. I. Silva-Marcos, “On the reduction of CP violation phases,” [arXiv:hep-ph/0212089 [hep-ph]]; D. Emmanuel-Costa, N. R. Agostinho, J. I. Silva-Marcos and D. Wegman, Phys. Rev. D92(2015) no.1, 013012 [arXiv:1504.07188 [hep-ph]]

    work page arXiv 2023