REVIEW 4 major objections 4 minor 2 cited by
Regulated chiral gauge theory and the strong CP problem
T0 review · 4 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read QCD regulated as the boundary of a five-dimensional chiral gauge theory naturally conserves CP and gives a massive η′ despite an exact axial U(1) symmetry, because bulk fermion zero modes cancel all nontrivial topology.
desk verdict A speculative but clearly argued proposal that bulk zeromodes from annealing flow could solve strong CP and U(1)_A in BχF; the load-bearing flow assumption is unverified, but the paper deserves a serious referee. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the BχF regulator: lattice fermions with a Wilson term on a finite five-dimensional manifold with a single boundary, where bulk gauge fields are fixed to be the classical Yang–Mills continuation of the boundary gauge field ("annealing flow"), and the bulk fermions are integrated out. When boundary topology is nontrivial, gauge-field singularities in the bulk create an effective inner boundary where oppositely chiral fermion zero modes $Q$ bind; these $Q$ modes, exponentially localized deep in the fifth dimension, appear in the 't Hooft operators and restore the exact $U(1)$ symmetry. The argument then turns on a nonlocal effective action for the $\eta'$ in which the $p=0$ mode is an exact isolated zeromode, allowing a spontaneously broken exact symmetry without a Goldstone boson.
What would settle it
Simulate the BχF model on a finite five-dimensional lattice with one boundary quark flavor and measure the boundary theory's topological susceptibility and $\eta'$ propagator: if the vacuum energy depends on the boundary $\theta$ angle, or if a massless pseudoscalar pole appears in boundary correlators while the quark condensate is nonzero, then nontrivial topology has not been eliminated and the annealing-flow assumption is false.
Extended reading notes
Core claim
The central discovery is that in the BχF construction the exact global U(1) symmetries of the five-dimensional theory do not force a massless boson or forbid quark condensation. Rather, the instanton sum in $N_f=1$ QCD acquires extra factors from bulk zero modes $Q$ that are localized far from the physical boundary, making the full sum invariant under the exact $U(1)\times U(1)$ symmetry while the sub-sum contributing to boundary-only observables reduces to a Bessel function that gives the $\eta'$ a mass. The theory's exact axial $U(1)$ is spontaneously broken and realized nonlinearly as a shift symmetry of the $\eta'$, but because the $\eta'$'s zero-momentum mode is an isolated zeromode of a nonlocal effective action, no Goldstone boson appears. The same $Q$ modes dynamically set the topological charge of all accessible gauge configurations to zero, so the strong CP phase can be rotated away and no strong CP violation occurs on the boundary.
Load-bearing premise
The whole argument hinges on the assumption that when a boundary gauge field is extended into the fifth dimension, nearby opposite-winding configurations pair up and cancel, leaving only the smallest amount of net winding deep inside, where the necessary massless fermion states are supposed to appear.
Editorial extensions
If this is right
- If the central claim is correct, a lattice simulation of QCD embedded in the BχF regulator will show zero topological susceptibility at zero momentum and no dependence on the CP-violating angle, unlike stand-alone four-dimensional lattice QCD.
- The $\eta'$ meson will have a mass and a conventional massive dispersion at nonzero momentum even though the full theory has an exact axial $U(1)$ symmetry.
- A complex quark mass phase can be rotated away by the exact symmetry, so the strong CP problem is solved without an axion and without a massless up quark.
- The same construction demonstrates a failure of four-dimensional universality: the same particle content embedded in a chiral gauge theory differs from a vector-like gauge theory, but only in topological and axial-$U(1)$ observables.
- The mechanism is numerically checkable: the bulk fermion determinant should develop the predicted $Q$ zero modes at exactly the locations where annealing flow leaves the minimal winding number.
Reading between the lines
- If the BχF picture is right, the bare $\theta$ angle of QCD is not merely small but exactly unphysical for any observer confined to the physical boundary, so axion searches would be probing an alternative solution rather than this one.
- The same annealing-flow logic could extend to other anomalous symmetries in chiral embeddings, for example baryon number, where topological bulk zero modes might shield boundary observables from anomalous violation.
- A decisive numerical test would be a five-dimensional disk-geometry simulation that tracks bulk fermion zero modes as the boundary gauge field flow evolves; if instanton–anti-instanton pairs do not annihilate, the central conclusion would not survive.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the boundary chiral fermion (BχF) proposal, in which a four-dimensional chiral gauge theory is realized on the boundary of a five-dimensional lattice system with a gapped bulk. The bulk gauge fields are defined by classical Yang-Mills continuation from the boundary, and the bulk fermion determinant is treated as a pure phase. The authors argue that, under an assumed 'annealing' behavior of this continuation, fermion zero modes Q localized deep in the bulk effectively remove all boundary gauge-field configurations with nonzero topological charge from boundary Green functions. They then use a dilute-instanton-gas model to construct a nonlocal effective action for the η′ in which the η′ is massive while the exact U(1)_A symmetry is preserved through an isolated p=0 mode. On this basis they claim that QCD embedded in a chirally regulated Standard Model has no strong CP problem and that the Golterman-Shamir objection to BχF is evaded.
Significance. If the central mechanism is correct, the paper proposes a substantial resolution of both the U(1)_A problem and the strong CP problem within a concrete lattice-oriented regulator for chiral gauge theory, and it identifies a striking possible failure of four-dimensional universality. The manuscript is careful about many of its assumptions, and it is explicit that the conclusions depend on the annealing-flow assumption. It also provides a concrete lattice determinant construction in Appendix A and suggests testable numerical studies of the flow. The main weakness is that the load-bearing steps are asserted rather than demonstrated: the annealing flow, the factorization in Eq. (14), and the structure of the GS current are all defended by plausibility arguments or by analogy. The paper is therefore best read as a proposal for how BχF could evade the GS objection and solve the strong CP problem, rather than as an established derivation.
major comments (4)
- [Section III, Eq. (13) and following] The annealing-flow assumption is load-bearing and is not derived. The manuscript states that this choice 'differs from the equally valid flow GS assumed' and later acknowledges that 'whether annealing flow can be achieved in a realistic lattice simulation is something that needs to be explored.' All subsequent steps—the existence and location of the Q zero modes, the decorrelation from boundary instanton positions, and the factorization in Eq. (14)—depend on this assumption. A demonstration on the proposed lattice geometry, or at least a much more explicit argument that Euclidean Yang-Mills flow generically annihilates instanton–anti-instanton pairs while preserving net winding and decorrelating the surviving defect, is needed before the central claim is established.
- [Section IV, Eq. (14)] The restriction to the Z3 term for boundary correlators is asserted rather than derived. The text argues that the X operators cannot develop VEVs because the inner boundary volume V′ is fixed and small, but the path-integral measure for the Q zero modes and the fate of the Z1 and Z2 terms after integrating out Q are not specified. In particular, the full partition function in Eq. (14) still contains θ-dependent terms, and the paper does not show that these vanish after the bulk integration; it only asserts that they cannot contribute to q-only Green functions. This gap matters because the strong-CP claim concerns the vacuum and partition function, not only boundary correlators.
- [Section IV, Eqs. (24)–(30)] The response to the Golterman-Shamir Ward-Takahashi identity is incomplete. The authors correctly observe that a nonlocal conserved current can possess kinematical p=0 poles, and they construct an illustrative nonlocal current in Eq. (30). However, they do not show that the GS current, obtained by integrating the 5d bulk current over the extra dimension, actually has this structure once the nonlocal dependence B[A] is included. Without that identification, the statement that the GS current 'could plausibly have this structure' remains a plausibility argument rather than a derivation that the massless-boson conclusion fails.
- [Section V] The strong-CP argument inherits the same unproven zero-mode suppression. The rotation ψ±→e^{iθ}ψ± removes θ only if no analogous mass term appears where the Q zero modes are localized, and the later claim that a bulk mass term would not affect boundary physics depends on exponential localization produced by the assumed annealing flow. In addition, the assertion that there is no analog of the chiral anomaly in 5d should be checked against the η-invariant and Chern-Simons phase of the bulk fermion determinant, which can carry θ-dependent information in general.
minor comments (4)
- [Section IV, Eqs. (19)–(20)] The bar notation denoting spacetime averaging is introduced in Eq. (20), but Eq. (19) already uses expressions such as \bar q_R q_L; the notation should be defined before first use.
- [Section III] The sentence 'Our assumption of annealing flow differs from from the equally valid flow GS assumed' contains a duplicated 'from'; please correct this typo.
- [References] References [15] and [22] are the same arXiv preprint (Witten and Yonekura, 'Anomaly inflow and the eta-invariant') listed twice; they should be consolidated.
- [Section IV, around Eq. (23)] The nonlocal η′ action is introduced with an infrared scale Λ and an inner-boundary volume V′ chosen by hand, and the identification of the same Λ for O and X is explicitly unjustified; the text says this will not affect the analysis, but a short justification of why not would improve the presentation.
Circularity Check
Central strong-CP and U(1)_A conclusions are loaded into the annealing-flow assumption; the paper is transparent about the assumption, but the 'prediction' is in part an input.
-
self definitional
[Section III, paragraph defining annealing flow; used in Section IV (Eq. (14)) and Section V (strong CP conclusion)]
"If the flow continues long enough before reaching the inner boundary of the annulus and encounters no gauge field singularities, it is plausible that one is left with only the minimal instanton configuration on the inner boundary required for winding number ν = (n−n̄). We refer to this type of flow as annealing flow, and assume that it can be realized on the lattice: maximally efficient damping out of local topological features in the bulk, consistent with global topological constraints. ..."
Section IV uses this annealing-flow assumption to assert that only the minimal |ν| defects survive into the deep bulk and that the bulk Q zeromodes therefore eliminate all contributions of boundary gauge fields with nonzero winding from boundary correlators; Section V then concludes that the strong CP phase is unphysical. But the defining content of annealing flow is precisely that local topological features are damped out leaving only the net winding, so the 'dynamical' suppression of nontrivial boundary topology is not an independent prediction—it is the input used to define the continuation. The authors concede that the alternative GS flow is 'equally valid' and leads to different conclusions.
full rationale
The paper is a well-written conditional analysis rather than a fit-to-data or a self-citation tautology. There are no fitted parameters being relabeled as predictions, and the key index-theoretic statements are external mathematical facts, not imported uniqueness claims from the authors' prior work. The one genuinely circular element is the annealing-flow assumption: the central conclusion that bulk zeromodes render boundary topology trivial and eliminate the strong CP problem is obtained by postulating a continuation with exactly the property needed to produce that outcome. The authors explicitly acknowledge that a different, 'equally valid flow' (the one assumed by Golterman and Shamir) leads to different conclusions, which shows that the distinction between the paper's result and the competing objection is being settled by an ansatz rather than by the dynamics of the regulated theory. Because the paper flags this as an assumption and supports the subsequent steps with independent reasoning (index theorem, localization of Q modes, absence of spontaneous symmetry breaking on the small inner boundary), the circularity is partial rather than total. The honest presentation prevents a higher score, but the derivation chain does not fully establish the strong-CP and U(1)_A claims without importing the desired topology suppression through the flow choice.
Assumptions & free parameters
free parameters (2)
- IR scale Λ =
not numerically fixed
- inner boundary volume V' =
fixed and small
assumptions (5)
- standard math Index theorem for fermions on a manifold with boundary: total Dirac index must vanish when all boundaries are included.
- domain assumption Bulk fermions are gapped for gauge fields smooth on the scale of the bulk mass, with only edge states and localized zeromodes at low energy.
- ad hoc to paper Annealing flow: the bulk gauge field is continued so that all instanton-anti-instanton pairs annihilate, leaving only the minimal net winding number deep in the bulk.
- ad hoc to paper The nonlocal effective action ~L_eta' is a valid model of the boundary theory's eta' sector.
- domain assumption The Q zeromodes do not develop vacuum expectation values because the inner boundary has small finite volume.
invented entities (2)
-
Bulk fermion zeromodes Q localized on an inner boundary (gauge field singularity)
-
The isolated p=0 mode of the eta' field
Cite this review
Pith. "Pith review of Regulated chiral gauge theory and the strong CP problem." pith.science (2026). https://pith.science/paper/RZ7PKSF5
@misc{pith2026241202024,
author = {Pith},
title = {Pith review of: Regulated chiral gauge theory and the strong CP problem},
year = {2026},
howpublished = {\url{https://pith.science/paper/RZ7PKSF5}},
note = {Machine review of arXiv:2412.02024}
}
abstract
Four-dimensional chiral gauge theory can be formulated as the boundary theory on a five-dimensional manifold in a manner that may be realized on a finite lattice. There are interesting features of these theories which defy a purely four-dimensional conception of universality. We find that QCD when embedded in a chiral gauge theory (the Standard Model) and regulated this way can simultaneously avoid both the $U(1)_A$ problem and the strong $CP$ problem, with a central role played by fermion zeromodes localized far away in the fifth dimension. In this way it differs from conventional lattice QCD formulated as a stand-alone theory, universality being violated by inaccessible light modes in the five-dimensional bulk. Our analysis builds on recent work by others that highlights the role of global $U(1)$ symmetries in five dimensional formulations of four-dimensional chiral gauge theories, and the generic appearance of fermion zeromodes in the bulk.
Forward citations
Cited by 2 Pith papers
-
$\eta$ invariant of massive Wilson Dirac operator and the index
The massive Wilson Dirac operator's eta invariant equals the continuum Dirac index on flat tori at sufficiently small lattice spacing, via K-theory.
-
Lattice Weyl Fermion on a Single Spherical Domain-Wall
On a spherical domain-wall lattice, a monopole background generates an extra center-localized zero mode with opposite chirality, so the low-energy theory is vector-like rather than chiral.
Reference graph
Works this paper leans on
-
[1]
Lattice fermions: Species doubling, chiral invariance and the triangle anomaly,
Luuk H Karsten and Jan Smit, “Lattice fermions: Species doubling, chiral invariance and the triangle anomaly,” Nucl. Phys. B 183, 103–140 (1981)
work page 1981
-
[2]
Absence of Neutrinos on a Lattice. 1. Proof by Homotopy Theory,
H. B. Nielsen and M. Ninomiya, “Absence of Neutrinos on a Lattice. 1. Proof by Homotopy Theory,” Nucl. Phys. B185, 20 (1981), [Erratum: Nucl.Phys.B 195, 541 (1982)]
work page 1981
-
[3]
Chiral gauge theory at the boundary between topological phases,
David B Kaplan, “Chiral gauge theory at the boundary between topological phases,” Phys. Rev. Lett.132, 141603 (2024), arXiv:2312.01494
arXiv 2024
-
[4]
Chiral edge states on spheres for lattice domain wall fermions,
Michael Clancy and David B. Kaplan, “Chiral edge states on spheres for lattice domain wall fermions,” (2024), arXiv:2410.23065 [hep-lat]
arXiv 2024
-
[5]
A method for simulating chiral fermions on the lattice,
David B. Kaplan, “A method for simulating chiral fermions on the lattice,” Phys. Lett. B288, 342–347 (1992), arXiv:hep- lat/9206013
arXiv 1992
-
[6]
Critical momenta of lattice chiral fermions,
Karl Jansen and Martin Schmaltz, “Critical momenta of lattice chiral fermions,” Phys. Lett. B296, 374–378 (1992), arXiv:hep-lat/9209002. 13
arXiv 1992
-
[7]
Chern-simons currents and chiral fermions on the lattice,
Maarten F. L. Golterman, Karl Jansen, and David B. Kaplan, “Chern-simons currents and chiral fermions on the lattice,” Phys. Lett. B301, 219–223 (1993), arXiv:hep-lat/9209003
arXiv 1993
-
[8]
Weyl fermions on a finite lattice,
David B Kaplan and Srimoyee Sen, “Weyl fermions on a finite lattice,” Phys. Rev. Lett. 132, 141604 (2024), arXiv:2312.04012
arXiv 2024
Show all 27 references
-
[9]
Curved domain-wall fermions,
Shoto Aoki and Hidenori Fukaya, “Curved domain-wall fermions,” Progress of Theoretical and Experimental Physics2022, 063B04 (2022), arXiv:2203.03782
2022 arXiv
-
[10]
Curved domain-wall fermion and its anomaly inflow,
Shoto Aoki and Hidenori Fukaya, “Curved domain-wall fermion and its anomaly inflow,” Progress of Theoretical and Experimental Physics 2023, 033B05 (2023), arXiv:2212.11583
2023 arXiv
-
[11]
A lattice formulation of weyl fermions on a single curved surface,
Shoto Aoki, Hidenori Fukaya, and Naoto Kan, “A lattice formulation of weyl fermions on a single curved surface,” Progress of Theoretical and Experimental Physics2024, 043B05 (2024), arXiv:2402.09774
2024 arXiv
-
[12]
thesis (2023), arXiv:2404.01002 [hep-lat]
Shoto Aoki,Study of Curved Domain-wall Fermions on a Lattice , Ph.D. thesis (2023), arXiv:2404.01002 [hep-lat]
2023 arXiv
-
[13]
Nonperturbative regulator for chiral gauge theories?
Dorota M Grabowska and David B Kaplan, “Nonperturbative regulator for chiral gauge theories?” Phys. Rev. Lett.116, 211602 (2016)
2016
-
[14]
Anomalies and fermion zero modes on strings and domain walls,
Curtis G. Callan, Jr. and Jeffrey A. Harvey, “Anomalies and fermion zero modes on strings and domain walls,” Nucl. Phys. B 250, 427–436 (1985)
1985
-
[16]
Chiral fermions and anomalies on a finite lattice,
Karl Jansen, “Chiral fermions and anomalies on a finite lattice,” Physics Letters B 288, 348–354 (1992), arXiv:hep- lat/9206014
1992
-
[17]
Conserved currents in five-dimensional proposals for lattice chiral gauge theories,
Maarten Golterman and Yigal Shamir, “Conserved currents in five-dimensional proposals for lattice chiral gauge theories,” Phys. Rev. D109, 114519 (2024), arXiv:2404.16372
2024 arXiv
-
[18]
Axial U(1) current in Grabowska and Kaplan’s formulation,
Yu Hamada and Hikaru Kawai, “Axial U(1) current in Grabowska and Kaplan’s formulation,” Progress of Theoretical and Experimental Physics 2017, 063B09 (2017), arXiv:1705.01317
2017 arXiv
-
[19]
Magnetic monopole becomes dyon in topological insulators,
Shoto Aoki, Hidenori Fukaya, Naoto Kan, Mikito Koshino, and Yoshiyuki Matsuki, “Magnetic monopole becomes dyon in topological insulators,” Physical Review B108, 155104 (2023), arXiv:2304.13954
2023 arXiv
-
[20]
plugged into
we can model the symmetry structure of the low energy theory by summing over fermion zeromode contributions in the dilute instanton gas model and then matching to an effective Lagrangian6. The conventional calculation yields e−Sinst. = ∞∑ n,¯n=1 ( Λ ∫ ¯qRqL(x)dx )n n! ( Λ ∫ ¯q...
-
[21]
Symmetry breaking through Bell-Jackiw anomalies,
Gerard ’t Hooft, “Symmetry breaking through Bell-Jackiw anomalies,” Physical Review Letters37, 8–11 (1976)
1976
-
[22]
Missing (up) mass, accidental anomalous symmetries, and the strong cp problem,
Tom Banks, Yosef Nir, and Nathan Seiberg, “Missing (up) mass, accidental anomalous symmetries, and the strong cp problem,” arXiv preprint hep-ph/9403203 (1994)
1994 arXiv
-
[23]
Anomaly inflow and theη-invariant,
Edward Witten and Kazuya Yonekura, “Anomaly inflow and theη-invariant,” (2022), arXiv:1909.08775
2022 arXiv
-
[24]
Instantons from over-improved cooling,
Margarita Garcia Perez, Antonio Gonzalez-Arroyo, Jeroen Snippe, and Pierre van Baal, “Instantons from over-improved cooling,” Nuclear Physics B413, 535–552 (1994)
1994
-
[25]
Topology of the su (2) vacuum: a lattice study using improved cooling,
Philippe De Forcrand, Margarita Garcia Perez, and Ion-Olimpiu Stamatescu, “Topology of the su (2) vacuum: a lattice study using improved cooling,” Nuclear Physics B499, 409–449 (1997)
1997
-
[26]
Irrational axions as a solution of the strong CP problem in an eternal universe,
Tom Banks, Michael Dine, and Nathan Seiberg, “Irrational axions as a solution of the strong CP problem in an eternal universe,” Physics Letters B273, 105–110 (1991)
1991
-
[27]
Spectrum of Dirac operator and role of winding number in QCD,
H Leutwyler and A Smilga, “Spectrum of Dirac operator and role of winding number in QCD,” Physical Review D46, 5607 (1992)
1992
-
[28]
Flag review 2024,
Y. Aoki, T. Blum, S. Collins, L. Del Debbio, M. Della Morte, P. Dimopoulos, X. Feng, M. Golterman, Steven Gottlieb, R. Gupta, G. Herdoiza, P. Hernandez, A. Jüttner, T. Kaneko, E. Lunghi, S. Meinel, C. Monahan, A. Nicholson, T. Onogi, P. Petreczky, A. Portelli, A. Ramos, S. R. ...
2025 arXiv
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.