Recognition: 1 theorem link
· Lean TheoremWorldline Images for Yang-Mills Theory within Boundaries
Pith reviewed 2026-05-10 19:03 UTC · model grok-4.3
The pith
A worldline method of images computes the one-loop effective action for Yang-Mills theories on manifolds with boundaries.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The method of images extends to the worldline representation of Yang-Mills theory, allowing the one-loop effective action to be expressed as a sum over closed paths that include image charges satisfying the chosen boundary conditions for both vector and ghost fields.
What carries the argument
Worldline path integral with image charges for relative or absolute boundary conditions applied to gauge and ghost fields.
If this is right
- The one-loop effective action on a bounded manifold is obtained by integrating worldline paths that bounce off the boundary via image charges.
- The first three Seeley-DeWitt coefficients are recovered for both relative and absolute boundary conditions.
- The rate of gluon pair production in a uniform chromoelectric field is modified by the presence of a boundary.
- Both vector and ghost contributions are included on the same footing.
Where Pith is reading between the lines
- The same image technique could be applied to compute Casimir energies or vacuum energies for non-Abelian fields between parallel plates.
- Extension to time-dependent backgrounds would allow study of particle creation in expanding universes with boundaries.
- The method may simplify calculations of Wilson-loop expectation values near boundaries.
Load-bearing premise
The image construction reproduces the correct boundary conditions for non-Abelian gauge fields and ghosts without extra corrections.
What would settle it
A mismatch between the gluon production rate computed with this worldline-image method and an independent calculation using standard heat-kernel or Feynman-diagram techniques would falsify the construction.
Figures
read the original abstract
In this article we develop a worldline technique based on the method of images to study the effective action associated to Yang-Mills theories on manifolds with boundaries. We consider the possibility of having either relative or absolute boundary conditions, which are particular types of mixed boundary conditions. Both vector fields and ghost fields are taken into account in this analysis. As a check of our construction, we compute the first three Seeley-DeWitt coefficients of the heat kernel asymptotics. Finally, we employ our technique to calculate the rate of gluon production due to a chromoelectric field background in the presence of a boundary.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a worldline technique based on the method of images to study the effective action for Yang-Mills theories on manifolds with boundaries. It considers relative or absolute boundary conditions for vector and ghost fields, verifies the approach by computing the first three Seeley-DeWitt coefficients of the heat kernel, and applies the method to calculate the gluon production rate due to a chromoelectric field in the presence of a boundary.
Significance. If the construction holds, it provides an efficient method for incorporating boundary effects into worldline calculations for non-Abelian gauge theories, which is significant for applications in quantum field theory with boundaries, such as in condensed matter or particle physics contexts. The computation of the Seeley-DeWitt coefficients offers a direct and standard test of the method's consistency, and the gluon production calculation demonstrates its practical utility. This builds on standard techniques without introducing fitted parameters.
major comments (1)
- [§4 (Seeley-DeWitt coefficients)] The manuscript reports computing the first three coefficients as a consistency check, but to confirm the extension to non-Abelian fields and ghosts under the specified boundary conditions, explicit expressions or numerical values and their comparison to literature results should be provided; mismatches would indicate issues in the image method application.
minor comments (3)
- [Abstract] The abstract is clear but could briefly state the main result of the gluon production rate calculation for completeness.
- [Introduction] Additional references to previous applications of the method of images in worldline formalisms for scalar or Abelian fields would help contextualize the novelty.
- [Notation] The distinction between relative and absolute boundary conditions could be illustrated with a simple example early in the text for clarity.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the positive recommendation for minor revision. We address the single major comment below.
read point-by-point responses
-
Referee: [§4 (Seeley-DeWitt coefficients)] The manuscript reports computing the first three coefficients as a consistency check, but to confirm the extension to non-Abelian fields and ghosts under the specified boundary conditions, explicit expressions or numerical values and their comparison to literature results should be provided; mismatches would indicate issues in the image method application.
Authors: We agree that displaying the explicit expressions and numerical values for the first three Seeley-DeWitt coefficients, together with direct comparisons to the corresponding literature results, will make the consistency check more transparent and will better confirm the correct implementation of the image method for non-Abelian vector and ghost fields under relative and absolute boundary conditions. In the revised manuscript we will add these results in Section 4, including the separate contributions from the vector and ghost sectors and a brief discussion of their agreement with known heat-kernel coefficients for Yang-Mills theory with boundaries. revision: yes
Circularity Check
No significant circularity in the derivation chain
full rationale
The paper introduces a worldline image technique for Yang-Mills fields (including ghosts) under relative/absolute boundary conditions, verifies the construction by direct computation of the first three Seeley-DeWitt coefficients of the heat kernel (an independent external benchmark), and applies the method to gluon production in a chromoelectric background. No load-bearing step reduces by definition, by fitted-parameter renaming, or by self-citation chain to its own inputs; the Seeley-DeWitt check would falsify the image construction if inconsistent, confirming the derivation remains self-contained against standard heat-kernel asymptotics.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The method of images applies to the worldline representation of Yang-Mills vector and ghost fields under relative or absolute boundary conditions.
Lean theorems connected to this paper
-
IndisputableMonolith/Unification (Yang-Mills mass-gap structural theorem)reality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We develop a worldline technique based on the method of images to study the effective action associated to Yang-Mills theories on manifolds with boundaries... compute the first three Seeley-DeWitt coefficients
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
-
[1]
Heat kernel expansion: user's manual
D. V. Vassilevich, “Heat kernel expansion: User’s manual,” Phys. Rept. 388, 279-360 (2003)arXiv:hep-th/0306138
work page Pith review arXiv 2003
-
[2]
Perturbative Quantum Field Theory in the String-Inspired Formalism
C. Schubert, “Perturbative quantum field theory in the string inspired formalism,” Phys. Rept.355, 73-234 (2001)arXiv:hep-th/0101036
work page Pith review arXiv 2001
-
[3]
Path integrals and anomalies in curved space,
F. Bastianelli and P. van Nieuwenhuizen, “Path integrals and anomalies in curved space,” Cambridge University Press, 2006. 36
2006
-
[4]
Spin- ning Particles in Quantum Mechanics and Quantum Field Theory,
O. Corradini, C. Schubert, J. P. Edwards and N. Ahmadiniaz, “Spin- ning Particles in Quantum Mechanics and Quantum Field Theory,” arXiv:1512.08694
-
[5]
The Path integral for a particle in curved spaces and Weyl anomalies,
F. Bastianelli, “The Path integral for a particle in curved spaces and Weyl anomalies,” Nucl. Phys. B376, 113-126 (1992)arXiv:hep-th/9112035
-
[6]
F. Bastianelli and A. Zirotti, “Worldline formalism in a gravitational back- ground,” Nucl. Phys. B642, 372-388 (2002)arXiv:hep-th/0205182
-
[7]
Dimensional regularization for N=1 supersymmetric sigma models and the worldline formalism,
F. Bastianelli, O. Corradini and A. Zirotti, “Dimensional regularization for N=1 supersymmetric sigma models and the worldline formalism,” Phys. Rev. D67, 104009 (2003)arXiv:hep-th/0211134
-
[8]
BRST treatment of zero modes for the worldline formalism in curved space,
F. Bastianelli, O. Corradini and A. Zirotti, “BRST treatment of zero modes for the worldline formalism in curved space,” JHEP01, 023 (2004) arXiv:hep-th/0312064
-
[9]
Trace anomalies from quantum mechanics,
F. Bastianelli and P. van Nieuwenhuizen, “Trace anomalies from quantum mechanics,” Nucl. Phys. B389, 53-80 (1993)arXiv:hep-th/9208059
-
[10]
On using the quantum mechanical path integral in quantum field theory,
D. G. C. McKeon, “On using the quantum mechanical path integral in quantum field theory,” Annals Phys.224, 139-154 (1993)
1993
-
[11]
Worldline approach to vector and antisymmetric tensor fields,
F. Bastianelli, P. Benincasa and S. Giombi, “Worldline approach to vector and antisymmetric tensor fields,” JHEP04, 010 (2005) arXiv:hep-th/0503155
-
[12]
Worldline approach to vector and antisymmetric tensor fields. II.,
F. Bastianelli, P. Benincasa and S. Giombi, “Worldline approach to vector and antisymmetric tensor fields. II.,” JHEP10, 114 (2005) arXiv:hep- th/0510010 37
-
[13]
Spinning particles and higher spin fields on (A)dS backgrounds,
F. Bastianelli, O. Corradini and E. Latini, “Spinning particles and higher spin fields on (A)dS backgrounds,” JHEP0811, 054 (2008) arXiv:0810.0188
-
[14]
Half-integer Higher Spin Fields in (A)dS from Spinning Particle Models,
O. Corradini, “Half-integer Higher Spin Fields in (A)dS from Spinning Particle Models,” JHEP1009, 113 (2010)arXiv:1006.4452
-
[15]
Effective action for higher spin fields on (A)dS backgrounds,
F. Bastianelli, R. Bonezzi, O. Corradini and E. Latini, “Effective action for higher spin fields on (A)dS backgrounds,” JHEP1212, 113 (2012) arXiv:1210.4649
-
[16]
One-loop quantum gravity from a world- line viewpoint,
F. Bastianelli and R. Bonezzi, “One-loop quantum gravity from a world- line viewpoint,” JHEP07, 016 (2013)arXiv:1304.7135
-
[17]
One-loop quan- tum gravity from theN= 4 spinning particle,
F. Bastianelli, R. Bonezzi, O. Corradini and E. Latini, “One-loop quan- tum gravity from theN= 4 spinning particle,” JHEP11, 124 (2019) arXiv:1909.05750
-
[18]
Quantum mechanical path integrals in the first quantised approach to quantum field theory,
J. P. Edwards and C. Schubert, “Quantum mechanical path integrals in the first quantised approach to quantum field theory,”arXiv:1912.10004
-
[19]
The worldline formalism in strong-field QED,
C. Schubert, “The worldline formalism in strong-field QED,” J. Phys. Conf. Ser.2494, no.1, 012020 (2023)arXiv:2304.07404
-
[20]
Worldline geometries for scattering amplitudes,
R. Bonezzi and M. F. Kallimani, “Worldline geometries for scattering amplitudes,” JHEP06, 167 (2025)arXiv:2502.18030
-
[21]
Worldline formalism in phase space,
J. H. Kim, “Worldline formalism in phase space,”arXiv:2509.06058
-
[22]
Yang-Mills theory from the worldline,
R. Bonezzi, “Yang-Mills theory from the worldline,” Phys. Rev. D110, no.6, 065022 (2024)arXiv:2406.19045 38
-
[23]
Gluon ampli- tudes in first quantization,
F. Bastianelli, R. Bonezzi, O. Corradini and F. Fecit, “Gluon ampli- tudes in first quantization,” Phys. Rev. D112, no.10, 105015 (2025) arXiv:2508.05486
-
[24]
Worldgraph Approach to Yang- Mills Amplitudes from N=2 Spinning Particle,
P. Dai, Y. t. Huang and W. Siegel, “Worldgraph Approach to Yang- Mills Amplitudes from N=2 Spinning Particle,” JHEP10, 027 (2008) arXiv:0807.0391
-
[25]
A Worldline Theory for Supergrav- ity,
R. Bonezzi, A. Meyer and I. Sachs, “A Worldline Theory for Supergrav- ity,” JHEP06, 103 (2020)arXiv:2004.06129
-
[26]
Worldline path integrals for the gravi- ton,
F. Bastianelli and M. D. Paciarini, “Worldline path integrals for the gravi- ton,” Class. Quant. Grav.41, no.11, 115002 (2024)arXiv:2305.06650
-
[27]
Worldline path integral for the massive graviton,
F. Fecit, “Worldline path integral for the massive graviton,” Eur. Phys. J. C84, no.3, 339 (2024)arXiv:2402.13766
-
[28]
Unified worldline treatment of Yukawa and axial couplings,
F. Bastianelli, O. Corradini, J. P. Edwards, D. G. C. McKeon and C. Schu- bert, “Unified worldline treatment of Yukawa and axial couplings,” JHEP 11, 152 (2024)arXiv:2406.19988
-
[29]
Pair Production at Strong Coupling in Weak External Fields,
I. K. Affleck, O. Alvarez and N. S. Manton, “Pair Production at Strong Coupling in Weak External Fields,” Nucl. Phys. B197, 509-519 (1982)
1982
-
[30]
G. V. Dunne and C. Schubert, “Worldline instantons and pair pro- duction in inhomogeneous fields,” Phys. Rev. D72, 105004 (2005) arXiv:hep-th/0507174
-
[31]
Worldline in- stantons. II. The Fluctuation prefactor,
G. V. Dunne, Q. h. Wang, H. Gies and C. Schubert, “Worldline in- stantons. II. The Fluctuation prefactor,” Phys. Rev. D73, 065028 (2006) arXiv:hep-th/0602176 39
-
[32]
World-line instantons and the Schwinger effect as a Wentzel–Kramers–Brillouin exact path integral,
J. Gordon and G. W. Semenoff, “World-line instantons and the Schwinger effect as a Wentzel–Kramers–Brillouin exact path integral,” J. Math. Phys. 56, 022111 (2015) [erratum: J. Math. Phys.59, no.1, 019901 (2018)] arXiv:1407.0987
-
[33]
Schwinger pair production: Explicit Localization of the world-line instanton,
J. Gordon and G. W. Semenoff, “Schwinger pair production: Explicit Localization of the world-line instanton,”arXiv:1612.05909
-
[34]
F. Fecit, S. A. Franchino-Vi˜ nas and F. D. Mazzitelli, “Resummed effective actions and heat kernels: the Worldline approach and Yukawa assisted pair creation,” JHEP07, 041 (2025)arXiv:2501.17094
-
[35]
Pair production of mas- sive charged vector bosons from the worldline,
F. Bastianelli, F. Fecit and A. Miccich` e, “Pair production of mas- sive charged vector bosons from the worldline,” JHEP09, 201 (2025) arXiv:2507.15943
-
[36]
C. Choi and L. A. Takhtajan, “Worldline Localization,” arXiv:2511.16663
-
[37]
In-in worldline formalism in pair creating fields,
P. Copinger and S. Pu, “In-in worldline formalism in pair creating fields,” arXiv:2512.19264
-
[38]
Quantum diffusion of magnetic fields in a numerical worldline approach,
H. Gies and K. Langfeld, “Quantum diffusion of magnetic fields in a numerical worldline approach,” Nucl. Phys. B613, 353-365 (2001) arXiv:hep-ph/0102185
-
[39]
Loops and loop clouds: A Numerical approach to the worldline formalism in QED,
H. Gies and K. Langfeld, “Loops and loop clouds: A Numerical approach to the worldline formalism in QED,” Int. J. Mod. Phys. A17, 966-978 (2002)arXiv:hep-ph/0112198 40
-
[40]
Determinant calculations using random walk worldline loops,
M. G. Schmidt and I. O. Stamatescu, “Determinant calculations using random walk worldline loops,” Nucl. Phys. B Proc. Suppl.119, 1030-1032 (2003)arXiv:hep-lat/0209120
-
[41]
Casimir effect on the worldline,
H. Gies, K. Langfeld and L. Moyaerts, “Casimir effect on the worldline,” JHEP06, 018 (2003)arXiv:hep-th/0303264
-
[42]
Quantum effective ac- tions from nonperturbative worldline dynamics,
H. Gies, J. Sanchez-Guillen and R. A. Vazquez, “Quantum effective ac- tions from nonperturbative worldline dynamics,” JHEP08, 067 (2005) arXiv:hep-th/0505275
-
[43]
The Yukawa potential: ground state energy and critical screening,
J. P. Edwards, U. Gerber, C. Schubert, M. A. Trejo and A. Weber, “The Yukawa potential: ground state energy and critical screening,” PTEP 2017, no.8, 083A01 (2017)arXiv:1706.09979
-
[44]
Multi- particle quantum systems within the Worldline Monte Carlo formalism,
I. Ahumada, M. Badcott, J. P. Edwards, C. McNeile, F. Ricchetti, F. Grasselli, G. Goldoni, O. Corradini and M. Palomino, “Multi- particle quantum systems within the Worldline Monte Carlo formalism,” arXiv:2512.24942
-
[45]
Worldline approach to noncommutative field theory,
R. Bonezzi, O. Corradini, S. A. Franchino Vinas and P. A. G. Pisani, “Worldline approach to noncommutative field theory,” J. Phys. A45, 405401 (2012)arXiv:1204.1013
-
[46]
Worldline approach to the Grosse-Wulkenhaar model,
S. F. Vi˜ nas and P. Pisani, “Worldline approach to the Grosse-Wulkenhaar model,” JHEP11, 087 (2014)arXiv:1406.7336
-
[47]
Noncommutative U(1) gauge theory from a worldline perspec- tive,
N. Ahmadiniaz, O. Corradini, D. D’Ascanio, S. Estrada-Jim´ enez and P. Pisani, “Noncommutative U(1) gauge theory from a worldline perspec- tive,” JHEP11, 069 (2015)arXiv:1507.07033 41
-
[48]
U(N) Yang-Mills in non-commutative space time,
N. Ahmadiniaz, O. Corradini, J. P. Edwards and P. Pisani, “U(N) Yang-Mills in non-commutative space time,” JHEP04, 067 (2019) arXiv:1811.07362
-
[49]
Worldline Formulations of Covariant Fracton Theories,
F. Fecit and D. Rovere, “Worldline Formulations of Covariant Fracton Theories,”arXiv:2508.14591
-
[50]
Classical black hole scattering from a worldline quantum field theory,
G. Mogull, J. Plefka and J. Steinhoff, “Classical black hole scatter- ing from a worldline quantum field theory,” JHEP02, 048 (2021) arXiv:2010.02865
-
[51]
Worldline approach to quan- tum field theories on flat manifolds with boundaries,
F. Bastianelli, O. Corradini and P. Pisani, “Worldline approach to quan- tum field theories on flat manifolds with boundaries,” JHEP02, 059 (2007) arXiv:hep-th/0612236
-
[52]
Scalar field with Robin bound- ary conditions in the worldline formalism,
F. Bastianelli, O. Corradini and P. Pisani, “Scalar field with Robin bound- ary conditions in the worldline formalism,” J. Phys. A41, 164010 (2008) arXiv:0710.4026
-
[53]
Scalar heat kernel with boundary in the worldline formalism,
F. Bastianelli, O. Corradini, P. Pisani and C. Schubert, “Scalar heat kernel with boundary in the worldline formalism,” JHEP10, 095 (2008) arXiv:0809.0652
-
[54]
Worldline Approach to QFT on Manifolds with Boundary,
F. Bastianelli, O. Corradini, P. Pisani and C. Schubert, “Worldline Approach to QFT on Manifolds with Boundary,”arXiv:0912.4120 [hep-th]
-
[55]
Semi-transparent Boundary Con- ditions in the Worldline Formalism,
S. A. F. Vi˜ nas and P. A. G. Pisani, “Semi-transparent Boundary Con- ditions in the Worldline Formalism,” J. Phys. A44, 295401 (2011) arXiv:1012.2883 42
-
[56]
Local Neumann semitransparent layers: Resummation, pair production, and duality,
N. Ahmadiniaz, S. A. Franchino-Vi˜ nas, L. Manzo and F. D. Mazzitelli, “Local Neumann semitransparent layers: Resummation, pair production, and duality,” Phys. Rev. D106, no.10, 105022 (2022)arXiv:2208.07383
-
[57]
Worldline formalism for a confined scalar field,
O. Corradini, J. P. Edwards, I. Huet, L. Manzo and P. Pisani, “Worldline formalism for a confined scalar field,” JHEP08, 037 (2019) arXiv:1905.00945
-
[58]
Worldline approach for spinor fields in manifolds with bound- aries,
L. Manzo, “Worldline approach for spinor fields in manifolds with bound- aries,” JHEP06, 144 (2024)arXiv:2403.00218
-
[59]
Quantum Mechanics and Paths Integrals,
R. Feynman and A. R. Hibbs, “Quantum Mechanics and Paths Integrals,” Dover Publications, 2010. Exercise 3-10, page 64
2010
-
[60]
Soft-gluon production due to a gluon loop in a constant chromoelectric background field,
G. C. Nayak and P. van Nieuwenhuizen, “Soft-gluon production due to a gluon loop in a constant chromoelectric background field,” Phys. Rev. D 71, 125001 (2005)arXiv:hep-ph/0504070 43
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.