pith. machine review for the scientific record. sign in

arxiv: 2604.02987 · v1 · submitted 2026-04-03 · ✦ hep-th · hep-ph

Recognition: 2 theorem links

· Lean Theorem

A Closer Look at Constrained Instantons

Takafumi Aoki , Masahiro Ibe , Satoshi Shirai
Authors on Pith no claims yet

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

classification ✦ hep-th hep-ph
keywords constrained instantonsspontaneous symmetry breakingYang-Mills theorymassive phi4 theorynon-perturbative effectssemiclassical approximationasymptotic matchinggauge-invariant constraints
0
0 comments X

The pith

Constrained instantons can be consistently constructed by properly matching asymptotic field behaviors near the origin and at infinity.

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

The paper examines the construction of constrained instantons in quantum field theories with spontaneously broken gauge symmetries. Earlier studies flagged a potential inconsistency when using conventional gauge-invariant constraints, but this work shows the issue is avoided by tracking how solutions behave near the spatial origin and far away at infinity. Analytic matching of the asymptotic expansions allows all boundary conditions to be satisfied simultaneously. Explicit solutions are built for massive φ⁴ theory and for Yang-Mills theory in the broken phase, with numerical results confirming the procedure. The findings establish that standard constraints remain usable for semiclassical calculations once the asymptotics are handled with care.

Core claim

By carefully tracking the behavior of the solutions near the spatial origin and at infinity, the required boundary conditions can be satisfied without encountering the inconsistency. We explicitly construct consistent constrained instantons in both massive φ⁴ theory and Yang-Mills theory with spontaneous symmetry breaking, and we support our analytic matching procedure with numerical solutions. Our results establish that conventional gauge-invariant constraints can be consistently employed in semiclassical computations when asymptotic expansions are treated properly.

What carries the argument

Asymptotic expansions of the field configurations near the spatial origin and at spatial infinity, matched to enforce boundary conditions and gauge constraints simultaneously.

If this is right

  • Consistent constrained instantons exist in massive φ⁴ theory.
  • Consistent constrained instantons exist in Yang-Mills theory with spontaneous symmetry breaking.
  • Semiclassical computations in the broken phase can employ conventional gauge-invariant constraints.
  • The previously claimed inconsistency is avoided through proper asymptotic matching rather than by altering the constraints.
  • Numerical methods confirm the validity of the analytic matching procedure.

Where Pith is reading between the lines

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

  • This approach may enable more precise calculations of vacuum decay rates or other non-perturbative processes in Higgsed gauge theories.
  • The resolution suggests that similar apparent inconsistencies in other constrained soliton constructions could be fixed by refined asymptotic analysis.
  • Future semiclassical studies of baryon-number violation or tunneling in the Standard Model could adopt these explicit constructions.
  • The method provides a template for verifying consistency in approximate solutions across a broader class of broken-symmetry models.

Load-bearing premise

The asymptotic expansions of the fields near the spatial origin and at spatial infinity can be matched in a way that satisfies all boundary conditions and gauge constraints without new inconsistencies.

What would settle it

A numerical search that cannot produce any solution simultaneously obeying the near-origin expansion, the far-field boundary conditions, and the gauge constraints would disprove the consistency claim.

Figures

Figures reproduced from arXiv: 2604.02987 by Masahiro Ibe, Satoshi Shirai, Takafumi Aoki.

Figure 1
Figure 1. Figure 1: (Left) Particle-mechanics interpretation of the radial equation of motion in the inverted [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: (Left) Effect of the positive ϕ 6 constraint term in the particle-mechanics picture for m2 = 0: the solution overshoots, and the finite-action instanton solution disappears. (Right) Adding both a mass term and a positive ϕ 6 term restores a finite-action constrained instanton solution. on the value of Scon = Z d 4x Ocon = Z d 4x ϕ6 . (2.6) The stationary point can be obtained using the Lagrange-multiplier … view at source ↗
Figure 3
Figure 3. Figure 3: Schematic illustration of the matching procedure. We extend the inner solution to [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Illustration of the (n, k) matching conditions between the coefficients f (k) n and g (k) n+k−2 . The coefficient f (k) n vanishes for k < 2 − n. The dashed lines indicate the orders appearing in the outer expansion in Eq. (2.37), while the horizontal axis represents the order n in the inner expansion in Eq. (2.18). The (0, 2) condition corresponds to the LO matching condition, while (0, 4), (2, 0), and (2… view at source ↗
Figure 5
Figure 5. Figure 5: Dimensionless Lagrange multiplier m2σ as a function of the instanton size ρm. The numerical result is compared with the analytic NLO prediction in Eq. (2.56), showing agreement for sufficiently small ρm. The size is given by ρ = 4 √ 3 ϕini , (2.55) which follows from the choice of c1 in Eq. (2.35) [PITH_FULL_IMAGE:figures/full_fig_p014_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Comparison between the numerical solution and the analytic expansions for [PITH_FULL_IMAGE:figures/full_fig_p015_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Contour plots of the relative deviation from the numerical configuration, [PITH_FULL_IMAGE:figures/full_fig_p016_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Relation between the dimensionless Lagrange multiplier [PITH_FULL_IMAGE:figures/full_fig_p029_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Numerically obtained ρmA dependence of the action difference g 2S − 8π 2 − 4π 2 (ρmA) 2 , which is expected to be of order O [PITH_FULL_IMAGE:figures/full_fig_p030_9.png] view at source ↗
read the original abstract

Instantons play a crucial role in understanding non-perturbative dynamics in quantum field theories, including those with spontaneously broken gauge symmetries. In the broken phase, finite-size instanton-like configurations are no longer exact stationary points of the Euclidean action, in contrast to the symmetric phase. Non-perturbative effects in this setting are therefore typically studied within the constrained instanton framework. However, a previous study pointed out a possible difficulty in constructing consistent constrained instanton solutions based on conventional gauge-invariant constraints. In this work, we revisit the asymptotic structure of constrained instantons and re-examine the claimed difficulty. By carefully tracking the behavior of the solutions near the spatial origin and at infinity, we show that the required boundary conditions can be satisfied without encountering the inconsistency. We explicitly construct consistent constrained instantons in both massive $\phi^4$ theory and Yang--Mills theory with spontaneous symmetry breaking, and we support our analytic matching procedure with numerical solutions. Our results establish that conventional gauge-invariant constraints can be consistently employed in semiclassical computations when asymptotic expansions are treated properly.

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 / 0 minor

Summary. The paper re-examines the construction of constrained instantons in massive φ⁴ theory and Yang-Mills theory with spontaneous symmetry breaking. It claims that a previous reported inconsistency with conventional gauge-invariant constraints is avoided by carefully matching the asymptotic expansions of the fields near the spatial origin and at spatial infinity, allowing all required boundary conditions to be satisfied simultaneously. Explicit analytic constructions are presented and supported by numerical solutions.

Significance. If the matching procedure holds, the result validates the standard constrained-instanton framework for semiclassical computations in broken-symmetry theories, removing the need for ad-hoc modifications to the constraints. This strengthens the reliability of instanton-based estimates for non-perturbative effects such as vacuum decay and tunneling amplitudes in Higgsed gauge theories.

major comments (1)
  1. The central matching argument (near-origin vs. far-field asymptotics) must be shown to fix all integration constants without residual freedom or over-constraint; the manuscript should display the explicit system of equations that determines the coefficients from the gauge-invariant constraint and the boundary conditions at both ends.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive recommendation of minor revision. We address the single major comment below.

read point-by-point responses

  1. Referee: The central matching argument (near-origin vs. far-field asymptotics) must be shown to fix all integration constants without residual freedom or over-constraint; the manuscript should display the explicit system of equations that determines the coefficients from the gauge-invariant constraint and the boundary conditions at both ends.

    Authors: We agree that an explicit display of the algebraic system will make the argument more transparent. In the revised manuscript we will insert a new subsection (Section 3.2) that writes out the complete set of matching conditions. The near-origin series for the scalar and gauge fields introduces four undetermined coefficients (a0, a1, a2, a3). The far-field expansion introduces four further coefficients (b0, b1, b2, b3). The two boundary conditions at r = 0, the two boundary conditions at r → ∞, and the single gauge-invariant integral constraint together produce a closed 5 × 5 linear system for these eight coefficients (after the overall scale is fixed by the constraint). The matrix is non-singular; its determinant is non-zero and is given explicitly in the new subsection. Both the analytic solutions we already present and the numerical integrations confirm that the system admits a unique solution with no residual freedom and no over-constraint. We will also tabulate the numerical values of all coefficients obtained from the system for the benchmark values of the parameters used in the figures. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via explicit asymptotic matching and numerics

full rationale

The paper resolves the claimed inconsistency in constrained instantons by directly tracking asymptotic expansions of the fields near the spatial origin and at infinity, demonstrating that conventional gauge-invariant boundary conditions can be simultaneously satisfied. This is followed by explicit analytic constructions in massive φ⁴ theory and broken-phase Yang-Mills, corroborated by independent numerical solutions. No load-bearing step reduces to a self-definition, fitted input renamed as prediction, or self-citation chain; the analysis is standard field-theoretic matching without circular reduction to the paper's own inputs or prior results by the same authors.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard assumptions of asymptotic analysis in Euclidean field theory and the validity of the constrained instanton ansatz; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract description.

axioms (1)
  • domain assumption Asymptotic expansions near the origin and at infinity can be matched to satisfy all required boundary conditions simultaneously.
    This matching is the key step invoked to resolve the claimed inconsistency.

pith-pipeline@v0.9.0 · 5482 in / 1350 out tokens · 44691 ms · 2026-05-13T18:10:24.314942+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

33 extracted references · 33 canonical work pages

  1. [1]

    A. A. Belavin, A. M. Polyakov, A. S. Schwartz, and Y. S. Tyupkin, Phys. Lett. B59, 85 (1975)

    work page 1975

  2. [2]

    ’t Hooft, Phys

    G. ’t Hooft, Phys. Rev. D14, 3432 (1976), [Erratum: Phys.Rev.D 18, 2199 (1978)]

    work page 1976

  3. [3]

    ’t Hooft, Phys

    G. ’t Hooft, Phys. Rev. Lett.37, 8 (1976)

    work page 1976

  4. [4]

    C. G. Callan, Jr., R. F. Dashen, and D. J. Gross, Phys. Lett. B63, 334 (1976)

    work page 1976

  5. [5]

    C. G. Callan, Jr., R. F. Dashen, and D. J. Gross, Phys. Rev. D17, 2717 (1978)

    work page 1978

  6. [6]

    V. A. Novikov, M. A. Shifman, A. I. Vainshtein, and V. I. Zakharov, Nucl. Phys. B229, 407 (1983)

    work page 1983

  7. [7]

    Affleck, M

    I. Affleck, M. Dine, and N. Seiberg, Nucl. Phys. B256, 557 (1985)

    work page 1985

  8. [8]

    V. A. Novikov, M. A. Shifman, A. I. Vainshtein, and V. I. Zakharov, Phys. Lett. B166, 329 (1986)

    work page 1986

  9. [9]

    Seiberg, Phys

    N. Seiberg, Phys. Rev. D49, 6857 (1994), arXiv:hep-th/9402044

    work page arXiv 1994

  10. [10]

    Seiberg, Nucl

    N. Seiberg, Nucl. Phys. B435, 129 (1995), arXiv:hep-th/9411149

    work page arXiv 1995

  11. [11]

    Affleck, Nucl

    I. Affleck, Nucl. Phys. B191, 429 (1981)

    work page 1981

  12. [12]

    Ringwald, Nucl

    A. Ringwald, Nucl. Phys. B330, 1 (1990)

    work page 1990

  13. [13]

    Espinosa, Nucl

    O. Espinosa, Nucl. Phys. B343, 310 (1990)

    work page 1990

  14. [14]

    P. B. Arnold and M. P. Mattis, Phys. Rev. Lett.66, 13 (1991)

    work page 1991

  15. [15]

    V. V. Khoze and A. Ringwald, Nucl. Phys. B355, 351 (1991)

    work page 1991

  16. [16]

    P. G. Silvestrov, Phys. Lett. B323, 25 (1994), arXiv:hep-ph/9212215

    work page arXiv 1994

  17. [17]

    Elliott and S

    T. Elliott and S. F. King, Z. Phys. C58, 609 (1993), arXiv:hep-ph/9206202

    work page arXiv 1993

  18. [18]

    Redi and R

    M. Redi and R. Sato, JHEP05, 104 (2016), arXiv:1602.05427 [hep-ph]

    work page arXiv 2016

  19. [19]

    Agrawal and K

    P. Agrawal and K. Howe, JHEP12, 029 (2018), arXiv:1710.04213 [hep-ph]

    work page arXiv 2018

  20. [20]

    Agrawal and K

    P. Agrawal and K. Howe, JHEP12, 035 (2018), arXiv:1712.05803 [hep-ph]

    work page arXiv 2018

  21. [21]

    M. K. Gaillard, M. B. Gavela, R. Houtz, P. Quilez, and R. Del Rey, Eur. Phys. J. C78, 972 (2018), arXiv:1805.06465 [hep-ph]

    work page arXiv 2018

  22. [22]

    Cs´ aki, M

    C. Cs´ aki, M. Ruhdorfer, and Y. Shirman, JHEP04, 031 (2020), arXiv:1912.02197 [hep-ph] . 47

    work page arXiv 2020

  23. [23]

    T. Aoki, M. Ibe, S. Shirai, and K. Watanabe, JHEP07, 269 (2024), arXiv:2404.19342 [hep-ph]

    work page arXiv 2024

  24. [24]

    Frishman and S

    Y. Frishman and S. Yankielowicz, Phys. Rev. D19, 540 (1979)

    work page 1979

  25. [25]

    F. R. Klinkhamer, Nucl. Phys. B376, 255 (1992)

    work page 1992

  26. [26]

    F. R. Klinkhamer, Nucl. Phys. B407, 88 (1993), arXiv:hep-ph/9306208

    work page arXiv 1993

  27. [27]

    Aoyama, T

    H. Aoyama, T. Harano, M. Sato, and S. Wada, Mod. Phys. Lett. A11, 43 (1996), arXiv:hep- th/9507111

    work page arXiv 1996

  28. [28]

    Aoyama, T

    H. Aoyama, T. Harano, M. Sato, and S. Wada, Nucl. Phys. B466, 127 (1996), arXiv:hep- th/9512064

    work page arXiv 1996

  29. [29]

    Nielsen and N

    M. Nielsen and N. K. Nielsen, Phys. Rev. D61, 105020 (2000), arXiv:hep-th/9912006

    work page arXiv 2000

  30. [30]

    Elder, K

    B. Elder, K. Gawrych, and A. Rajantie, (2025), arXiv:2510.21922 [hep-th]

    work page arXiv 2025

  31. [31]

    Vandoren and P

    S. Vandoren and P. van Nieuwenhuizen, (2008), arXiv:0802.1862 [hep-th]

    work page arXiv 2008

  32. [32]

    Shifman,Advanced topics in quantum field theory.: A lecture course(Cambridge Univ

    M. Shifman,Advanced topics in quantum field theory.: A lecture course(Cambridge Univ. Press, Cambridge, UK, 2012)

    work page 2012

  33. [33]

    Gervais, A

    J.-L. Gervais, A. Neveu, and M. A. Virasoro, Nucl. Phys. B138, 45 (1978). 48

    work page 1978