pith. sign in

arxiv: 2605.17124 · v1 · pith:YUWT66HKnew · submitted 2026-05-16 · ✦ hep-th · quant-ph

Covariant extrinsic curvature expansion of the nonlocal effective action for a massless scalar field on a manifold with boundary

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

classification ✦ hep-th quant-ph
keywords nonlocal effective actionextrinsic curvatureheat kernelmanifold with boundaryparticle creationmassless scalar fieldcovariant expansionboundary effects
0
0 comments X

The pith

A heat-kernel method yields a covariant expansion of the nonlocal effective action to quadratic order in boundary extrinsic curvature.

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

The paper derives an expansion for the nonlocal contribution to the effective action of a massless scalar field living on flat space bounded by a curved surface. Using the heat kernel, the authors obtain this expansion to second order in the extrinsic curvature tensor while preserving covariance. The construction reproduces earlier calculations that required a global Monge-patch description of the boundary and removes that restriction so that arbitrary surfaces can be treated. The expansion is controlled in the regime where derivatives of the extrinsic curvature dominate nonlinear curvature terms. The same framework is used to compute the rate of particle creation induced by an oscillating deformed ring in 2+1 dimensions and an oscillating deformed sphere in 3+1 dimensions.

Core claim

Using the heat-kernel approach, the nonlocal contribution to the effective action is expanded covariantly to quadratic order in the extrinsic curvature tensor. This framework reproduces prior Monge-patch results and extends them to general surfaces without requiring a global Monge-patch description, in the regime where gradients of the extrinsic curvature dominate nonlinear curvature effects.

What carries the argument

Covariant quadratic expansion of the nonlocal effective action in the extrinsic curvature tensor, obtained via heat-kernel methods on manifolds with boundary.

If this is right

  • The expansion applies to any surface describable by its extrinsic curvature without needing a global Monge patch.
  • Particle creation rates follow for time-dependent boundaries such as oscillating deformed rings in 2+1 dimensions.
  • The same rates can be obtained for oscillating deformed spheres in 3+1 dimensions.
  • The result remains controlled whenever spatial derivatives of the curvature exceed nonlinear contributions.

Where Pith is reading between the lines

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

  • The method could be applied to study particle production from more general time-dependent boundaries beyond pure oscillations.
  • Similar expansions might capture boundary contributions to effective actions in curved ambient spacetimes.
  • Direct comparison with lattice simulations of the scalar field on the oscillating boundary would provide a quantitative test of the quadratic truncation.

Load-bearing premise

The expansion assumes that gradients of the extrinsic curvature dominate over nonlinear curvature effects.

What would settle it

A numerical simulation of the quantum scalar field on an oscillating deformed sphere that yields a particle creation rate differing from the analytic expression obtained from the expansion would falsify the result.

Figures

Figures reproduced from arXiv: 2605.17124 by A. Boasso, B. C. Guntsche, C. D. Fosco, F. D. Mazzitelli.

Figure 1
Figure 1. Figure 1: Dimensionless mean number of created particles per unit time, 2 [PITH_FULL_IMAGE:figures/full_fig_p014_1.png] view at source ↗
read the original abstract

We study the nonlocal effective action of a massless scalar field defined on a flat manifold with a curved boundary. Using a heat-kernel approach, we derive a covariant expansion of the nonlocal contribution to quadratic order in the extrinsic curvature tensor. Our construction provides a geometric framework that both reproduces earlier results obtained for Monge-patch embeddings and extends them to more general surfaces that need not admit a global Monge-patch description. The expansion is valid in the regime where gradients of the extrinsic curvature dominate over nonlinear curvature effects. As an application, we compute the particle-creation rate for an oscillating deformed ring in $2+1$ dimensions and an oscillating deformed sphere in $3+1$ dimensions.

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

Summary. The paper derives a covariant expansion to quadratic order in the extrinsic curvature of the nonlocal effective action for a massless scalar field on a flat manifold with curved boundary, using heat-kernel techniques. It reproduces prior Monge-patch results while extending the framework to general surfaces without global Monge-patch descriptions, with validity restricted to the regime where extrinsic-curvature gradients dominate nonlinear curvature effects. Concrete applications compute particle-creation rates for an oscillating deformed ring in 2+1 dimensions and an oscillating deformed sphere in 3+1 dimensions.

Significance. If the derivation holds with the stated regime properly controlled, the work supplies a coordinate-independent geometric tool for nonlocal boundary effects in QFT, extending beyond patch-restricted calculations and enabling applications such as dynamical particle production on curved boundaries.

major comments (1)
  1. [Abstract and validity discussion] Abstract and the validity discussion (likely §3 or §4): the regime 'where gradients of the extrinsic curvature dominate over nonlinear curvature effects' is asserted without an explicit dimensionless control parameter, scaling estimate, or remainder bound on the neglected terms. This directly affects the central claim that the quadratic term in K_ab is fully covariant and independent of any global Monge-patch coordinate choice, since the expansion could still be performed in locally adapted coordinates that resemble a Monge patch.
minor comments (2)
  1. Clarify the precise definition of the nonlocal contribution versus local counterterms in the effective action; the distinction is used throughout but could be stated once with an equation reference for readers.
  2. In the application sections, specify the numerical values or fitting procedure used for the oscillation amplitudes when reporting particle-creation rates, to allow direct comparison with the Monge-patch literature.

Simulated Author's Rebuttal

1 responses · 1 unresolved

We thank the referee for their careful reading and constructive feedback on the validity regime of the expansion. We have revised the manuscript to address the concerns raised.

read point-by-point responses
  1. Referee: [Abstract and validity discussion] Abstract and the validity discussion (likely §3 or §4): the regime 'where gradients of the extrinsic curvature dominate over nonlinear curvature effects' is asserted without an explicit dimensionless control parameter, scaling estimate, or remainder bound on the neglected terms. This directly affects the central claim that the quadratic term in K_ab is fully covariant and independent of any global Monge-patch coordinate choice, since the expansion could still be performed in locally adapted coordinates that resemble a Monge patch.

    Authors: We appreciate the referee highlighting the need for greater precision in characterizing the validity regime. In the revised manuscript we introduce an explicit dimensionless control parameter ε = |∇K| / |K|^2 (with the understanding that the typical scale of ∇K is set by the inverse wavelength of boundary deformations). The expansion is controlled in the regime ε ≫ 1, where gradient corrections dominate nonlinear curvature contributions; a scaling estimate is now provided showing that omitted higher-order terms are suppressed by O(1/ε). While a fully rigorous remainder bound would require a more detailed asymptotic analysis of the heat-kernel remainder, the scaling argument is sufficient for the physical applications presented. Regarding covariance, the derivation proceeds via the covariant Seeley-DeWitt expansion on the boundary geometry and assembles the result into a tensorial expression involving K_ab and its derivatives. This expression is therefore coordinate-independent by construction. Although a local coordinate chart resembling a Monge patch can always be introduced, the final formula does not rely on the existence of a global Monge patch and remains valid for general embeddings; we have added clarifying text in §§3–4 to emphasize this distinction. revision: partial

standing simulated objections not resolved
  • A mathematically rigorous bound on the remainder of the expansion (beyond the scaling estimate now included).

Circularity Check

0 steps flagged

No circularity detected; derivation uses standard external heat-kernel methods

full rationale

The paper derives a covariant expansion of the nonlocal effective action to quadratic order in the extrinsic curvature using a heat-kernel approach on a flat manifold with curved boundary. This method is a standard, externally validated technique in QFT whose validity does not depend on the paper's own results or fitted parameters. The claimed extension beyond Monge-patch embeddings follows from the coordinate-independent nature of the heat-kernel expansion rather than any self-referential definition or renaming of prior outputs. The stated regime of validity (gradients of extrinsic curvature dominating nonlinear effects) is presented as an assumption controlling the approximation, not as a derived or fitted quantity. No load-bearing steps reduce by construction to the inputs, and the reproduction of earlier Monge-patch results serves as a consistency check rather than a circular foundation. The overall chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review performed on abstract only; full derivation details unavailable so ledger entries are limited to those explicitly named in the abstract.

axioms (2)
  • domain assumption Heat-kernel approach yields a valid covariant expansion of the nonlocal effective action to quadratic order in extrinsic curvature.
    Invoked to derive the central expansion and its regime of validity.
  • domain assumption Gradients of extrinsic curvature dominate nonlinear curvature effects in the regime of interest.
    Stated as the condition under which the expansion holds.

pith-pipeline@v0.9.0 · 5660 in / 1310 out tokens · 43983 ms · 2026-05-20T14:20:56.121939+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.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We employ a procedure introduced in previous works [10,17], in which the nonlocal part of the effective action is reconstructed from the divergences associated with a finite number of heat-kernel coefficients... at quadratic order in the extrinsic curvature tensor... valid in the regime where gradients of the extrinsic curvature dominate over nonlinear curvature effects (∇∇K ≫ K³).

  • IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    all the quadratic structures Q_{k,i} can be reduced to a single quadratic form... Γ_UV^{(2)} = -1/2(4π)^{d/2} ∫_∂M ∫ ds/s^{d/2} e^{-s m²} [∑ α_k K (-∇²)^k K s^k ]

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

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

  1. [1]

    CambridgeMonographs on Mathematical Physics

    N.D.BirrellandP.C.W.Davies.Quantum Fields in Curved Space. CambridgeMonographs on Mathematical Physics. Cambridge University Press, Cambridge, UK, 1982. ISBN 978- 0-511-62263-2, 978-0-521-27858-4. doi:10.1017/CBO9780511622632

  2. [2]

    Parker and D

    Leonard E. Parker and D. Toms.Quantum Field Theory in Curved Spacetime: Quan- tized Field and Gravity. Cambridge Monographs on Mathematical Physics. Cambridge University Press, 8 2009. ISBN 978-0-521-87787-9, 978-0-521-87787-9, 978-0-511-60155-2. doi:10.1017/CBO9780511813924

  3. [3]

    Wald.Quantum Field Theory in Curved Space-Time and Black Hole Thermo- dynamics

    Robert M. Wald.Quantum Field Theory in Curved Space-Time and Black Hole Thermo- dynamics. Chicago Lectures in Physics. University of Chicago Press, Chicago, IL, 1995. ISBN 978-0-226-87027-4. 17

  4. [4]

    Procrustes

    Iosif L. Buchbinder and Ilya Shapiro.Introduction to Quantum Field Theory with Applica- tions to Quantum Gravity. Oxford Graduate Texts. Oxford University Press, 3 2021. ISBN 978-0-19-887234-4, 978-0-19-883831-9. doi:10.1093/oso/9780198838319.001.0001

  5. [5]

    Calzetta and Bei-Lok B

    Esteban A. Calzetta and Bei-Lok B. Hu.Nonequilibrium Quantum Field Theory. Oxford University Press, 2009. ISBN 978-1-009-29003-6, 978-1-009-28998-6, 978-1-009-29002-9, 978-0-511-42147-1, 978-0-521-64168-5. doi:10.1017/9781009290036

  6. [6]

    Bryce S. DeWitt. Quantum field theory in curved spacetime.Physics Reports, 19(6): 295–357, 1975. ISSN 0370-1573. doi:10.1016/0370-1573(75)90051-4

  7. [7]

    D. V. Vassilevich. Heat kernel expansion: User’s manual.Phys. Rept., 388:279–360, 2003. doi:10.1016/j.physrep.2003.09.002

  8. [8]

    Chapman and Hall/CRC, Boca Raton, 2001

    Klaus Kirsten.Spectral Functions in Mathematics and Physics. Chapman and Hall/CRC, Boca Raton, 2001. ISBN 978-1-58488-259-6. doi:10.1201/9781420035469

  9. [9]

    Avramidi

    I.G. Avramidi. A covariant technique for the calculation of the one-loop effective action.Nu- clear Physics B, 355(3):712–754, 1991. ISSN 0550-3213. doi:10.1016/0550-3213(91)90492-G

  10. [10]

    G. A. Vilkovisky. The Gospel according to DeWitt. In S. M. Christensen, editor,Quantum Theory of Gravity: Essays in Honor of the 60th Birthday of Bryce S. DeWitt. Adam Hilger, Bristol, 1984

  11. [12]

    A. O. Barvinsky and G. A. Vilkovisky. Covariant perturbation theory. 2: Second order in the curvature. General algorithms.Nucl. Phys. B, 333:471–511, 1990. doi:10.1016/0550- 3213(90)90047-H

  12. [13]

    A. O. Barvinsky, Yu. V. Gusev, G. A. Vilkovisky, and V. V. Zhytnikov. The One loop effective action and trace anomaly in four-dimensions.Nucl. Phys. B, 439:561–582, 1995. doi:10.1016/0550-3213(94)00585-3

  13. [14]

    A. O. Barvinsky, Yu. V. Gusev, G. A. Vilkovisky, and V. V. Zhytnikov. The basis of nonlocal curvature invariants in quantum gravity theory. Third order.J. Math. Phys., 35: 3525–3542, 1994. doi:10.1063/1.530427

  14. [15]

    Mirzabekian and G.A

    A.G. Mirzabekian and G.A. Vilkovisky. Particle creation in the effective action method. Annals of Physics, 270(2):391–496, 1998. ISSN 0003-4916. doi:10.1006/aphy.1998.5860

  15. [16]

    A. G. Mirzabekian and G. A. Vilkovisky. Vacuum radiation in covariant perturbation theory.Phys. Lett. B, 414:123–129, 1997. doi:10.1016/S0370-2693(97)01068-X

  16. [17]

    D. A. R. Dalvit and F. D. Mazzitelli. Heat Kernel and Scaling of Gravitational Constants. Phys. Rev. D, 52:2577–2580, 1995. doi:10.1103/PhysRevD.52.2577

  17. [18]

    Diego A. R. Dalvit and Francisco D. Mazzitelli. Running coupling constants, Newto- nian potential and nonlocalities in the effective action.Phys. Rev. D, 50:1001–1009, 1994. doi:10.1103/PhysRevD.50.1001

  18. [19]

    López Nacir and F

    D. López Nacir and F. D. Mazzitelli. Running of Newton’s constant and noninteger powers of the d’Alembertian.Physical Review D, 75(2):024003, January 2007. ISSN 1550-7998, 1550-2368. doi:10.1103/PhysRevD.75.024003. 18

  19. [20]

    R. J. Riegert. A Nonlocal Action for the Trace Anomaly.Phys. Lett. B, 134:56–60, 1984. doi:10.1016/0370-2693(84)90983-3

  20. [21]

    Macroscopic Effects of the Quantum Trace Anomaly

    Emil Mottola and Ruslan Vaulin. Macroscopic Effects of the Quantum Trace Anomaly. Phys. Rev. D, 74:064004, 2006. doi:10.1103/PhysRevD.74.064004

  21. [22]

    A. O. Barvinsky and W. Wachowski. Notes on conformal anomaly, nonlocal effective ac- tion, and the metamorphosis of the running scale.Phys. Rev. D, 108(4):045014, 2023. doi:10.1103/PhysRevD.108.045014

  22. [23]

    Donoghue

    John F. Donoghue. Leading quantum correction to the Newtonian potential.Phys. Rev. Lett., 72:2996–2999, 1994. doi:10.1103/PhysRevLett.72.2996

  23. [24]

    Donoghue

    John F. Donoghue. General relativity as an effective field theory: The leading quantum corrections.Phys. Rev. D, 50:3874–3888, 1994. doi:10.1103/PhysRevD.50.3874

  24. [25]

    Donoghue and Basem Kamal El-Menoufi

    John F. Donoghue and Basem Kamal El-Menoufi. Nonlocal quantum effects in cosmology: Quantum memory, nonlocal FLRW equations, and singularity avoidance.Phys. Rev. D, 89 (10):104062, 2014. doi:10.1103/PhysRevD.89.104062

  25. [26]

    Grav- itational radiation in quantum gravity.The European Physical Journal C, 78(9):780, September 2018

    Xavier Calmet, Basem Kamal El-Menoufi, Boris Latosh, and Sonali Mohapatra. Grav- itational radiation in quantum gravity.The European Physical Journal C, 78(9):780, September 2018. ISSN 1434-6044, 1434-6052. doi:10.1140/epjc/s10052-018-6265-3. URL http://link.springer.com/10.1140/epjc/s10052-018-6265-3

  26. [27]

    Quantum Gravitational Correc- tions to a Star Metric and the Black Hole Limit.Phys

    Xavier Calmet, Roberto Casadio, and Folkert Kuipers. Quantum Gravitational Correc- tions to a Star Metric and the Black Hole Limit.Phys. Rev. D, 100(8):086010, 2019. doi:10.1103/PhysRevD.100.086010

  27. [28]

    Xavier Calmet, Roberto Casadio, Stephen D. H. Hsu, and Folkert Kuipers. Quantum Hair fromGravity.Phys. Rev. Lett., 128(11):111301, 2022. doi:10.1103/PhysRevLett.128.111301

  28. [29]

    Mazzitelli

    Andrés Boasso, Sebastián Franchino Viñas, and Francisco D. Mazzitelli. Nonlocal effec- tive action and particle creation inddimensions.Phys. Rev. D, 111:085023, Apr 2025. doi:10.1103/PhysRevD.111.085023

  29. [30]

    Vacuum polarization in the horizonless bardeen metric.arXiv preprint arXiv:2508.06465, 2025

    Andrés Boasso and Francisco D Mazzitelli. Vacuum polarization in the horizonless bardeen metric.arXiv preprint arXiv:2508.06465, 2025. URL https://arxiv.org/abs/2508.06465

  30. [31]

    Ilya L. Shapiro. Effective Action of Vacuum: Semiclassical Approach.Class. Quant. Grav., 25:103001, 2008. doi:10.1088/0264-9381/25/10/103001

  31. [32]

    The asymptotics of the Laplacian on a manifold with boundary II

    Thomas P. Branson, Peter B. Gilkey, and Dmitri V. Vassilevich. The asymptotics of the Laplacian on a manifold with boundary. II.Boll. Un. Mat. Ital. B, 11:39–67, 1997. URL https://arxiv.org/abs/hep-th/9504029

  32. [33]

    Estimating the

    M. Bordag, G. L. Klimchitskaya, U. Mohideen, and V. M. Mostepanenko.Ad- vances in the Casimir Effect, volume 145 ofInternational Series of Mono- graphs on Physics. Oxford University Press, 2009. ISBN 978-0-19-923874-3. doi:10.1093/acprof:oso/9780199238743.001.0001

  33. [34]

    Plunien, B

    G. Plunien, B. Müller, and W. Greiner. The Casimir Effect.Phys. Rept., 134:87–193, 1986. doi:10.1016/0370-1573(86)90020-7

  34. [35]

    G. L. Klimchitskaya, U. Mohideen, and V. M. Mostepanenko. The Casimir force be- tween real materials: Experiment and theory.Rev. Mod. Phys., 81:1827–1885, 2009. doi:10.1103/RevModPhys.81.1827. 19

  35. [36]

    K. A. Milton.The Casimir Effect: Physical Manifestations of Zero-Point Energy. World Scientific, Singapore, 2001. doi:10.1142/4505

  36. [37]

    G. T. Moore. Quantum theory of the electromagnetic field in a variable-length one- dimensional cavity.J. Math. Phys., 11:2679–2691, 1970. doi:10.1063/1.1665432

  37. [38]

    S. A. Fulling and P. C. W. Davies. Radiation from a moving mirror in two- dimensional space-time: Conformal anomaly.Proc. Roy. Soc. Lond. A, 348:393–414, 1976. doi:10.1098/rspa.1976.0045

  38. [39]

    P. C. W. Davies and S. A. Fulling. Radiation from moving mirrors and from black holes. Proc. Roy. Soc. Lond. A, 356:237–257, 1977. doi:10.1098/rspa.1977.0130

  39. [40]

    V. V. Dodonov. Current status of the dynamical Casimir effect.Physica Scripta, 82:038105,

  40. [41]

    doi:10.1088/0031-8949/82/03/038105

  41. [42]

    Diego A. R. Dalvit, Paulo A. Maia Neto, and Francisco Diego Mazzitelli. Fluctuations, dissipation and the dynamical Casimir effect.Lect. Notes Phys., 834:419–457, 2011. doi:10.1007/978-3-642-20288-9_13

  42. [43]

    P. D. Nation, J. R. Johansson, M. P. Blencowe, and F. Nori. Colloquium: Stimulating uncertainty: Amplifying the quantum vacuum with superconducting circuits.Rev. Mod. Phys., 84:1–24, 2012. doi:10.1103/RevModPhys.84.1

  43. [44]

    V. V. Dodonov. Fifty Years of the Dynamical Casimir Effect.Physics, 2:67–104, 2020. doi:10.3390/physics2010007

  44. [45]

    C. D. Fosco and B. C. Guntsche. Quantum dissipative effects for a real scalar field coupled to a time-dependent Dirichlet surface ind+ 1dimensions.Phys. Rev. D, 110(10):105021,

  45. [46]

    doi:10.1103/PhysRevD.110.105021

  46. [47]

    C. D. Fosco and B. C. Guntsche. Quantum dissipative effects for a real scalar field coupled to a dynamical Neumann surface ind+ 1dimensions.Phys. Rev. D, 112(10):105017, 2025. doi:10.1103/z8mr-63kx

  47. [48]

    Setare and Aram Saharian

    M. Setare and Aram Saharian. Particle creation in an oscillating spherical cavity.Modern Physics Letters A, 16:1269–1276, 06 2001. doi:10.1142/S0217732301004315

  48. [49]

    D. F. Mundarain and P. A. Maia Neto. Quantum radiation in a plane cavity with moving mirrors.Phys. Rev. A, 57:1379, 1998. doi:10.1103/PhysRevA.57.1379

  49. [50]

    Frank W. J. Olver.Asymptotics and Special Functions. A K Peters, Wellesley, Mas- sachusetts, 2nd edition, 1997. ISBN 9781568810690. 20