Pith. sign in

REVIEW 4 major objections 7 minor 40 references

The setting sun diagram with complex external momenta

T0 review · 4 major / 7 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read This paper argues that inserting a complex external momentum $p^2$ directly into the two-dimensional setting sun Feynman integral yields a result inconsistent with the spectral representation, and that one must instead integrate at real…

desk verdict A small, honest counterexample showing that naive complex p^2 in the standard +iε Minkowski integral fails, but the paper overreaches when it turns that into a blanket rule. read the letter →

arxiv 2507.05921 v1 pith:F4FCSWCU submitted 2025-07-08 hep-th hep-lathep-ph

classification hep-thhep-lathep-ph
keywords settingsundiagramanalyticcontinuationcomplexexternalmomentaEuclidean-MinkowskicorrespondenceWickrotationspectralrepresentationcontourintegration
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper asks whether the standard identity $S_E(p^2)=S_M(-p^2)$ between the Euclidean and Minkowski versions of the two-dimensional setting sun diagram survives when the external momentum $p^2$ is allowed to be complex before the loop integral is done. It finds, by explicit contour integration and by direct Wick rotation, that it does not: for $p^2$ in the upper or lower half-plane the Minkowski integral evaluates to $S_M(-p^2)=\frac{1}{2}S_E(p^2)-\frac{i}{4}\frac{\sqrt{p^2}}{\sqrt{4m^2+p^2}}$, which is not defined on the negative real axis and is not analytically connected to the real-axis result $S_M(-p^2)=S_E(p^2)$. The authors conclude that the correct procedure is to integrate first at real $p^2$ and only then analytically continue to complex values, matching the spectral representation. This is relevant because Green's functions with complex momenta are needed in nonperturbative studies of quarks and gluons, and the failure shows that a priori complex external momenta cannot be inserted naively into Feynman integrals.

What carries the argument

The object carrying the argument is the two-dimensional setting sun integral with two equal real masses, evaluated by closing the internal energy contour in the complex plane. The key identities are the residue formula Eq. (7), the branch relations Eq. (10) between $\sqrt{-p^2}$ and $\sqrt{p^2}$, and the spectral representation Eq. (3) used as the benchmark. The mechanism producing the discrepancy is the motion of the integrand poles $g_3$ and $g_4$ across the real $k_0$ axis as $p^2$ moves off the real axis; each crossing costs a residue, so the upper and lower half-plane results differ by exactly the term shown in Eq. (14). The alternative tilted contour of Eq. (18), which sends $k_0$ to $\pm\infty(1+i\epsilon)$ with $\epsilon$ growing, keeps the contour away from all moving poles and restores the standard relation.

What would settle it

Take $p^2=4m^2e^{i\pi/3}$, evaluate the $k_0$ integral in Eq. (9) with a contour that never crosses the moving poles, and compare with $S_E(p^2)$; if they agree, the claimed failure of direct complex continuation is wrong.

Watch

Extended reading notes

Core claim

Starting from the Euclidean representation Eq. (5), with a fixed branch $\sqrt{p^2}$ having positive real part, the $k_2$ integral is done by residues and yields $S_E(p^2)=-\frac{i}{\pi}\frac{\arctan(i\sqrt{p^2}/\sqrt{4m^2+p^2})}{\sqrt{p^2}\sqrt{4m^2+p^2}}$, which agrees with the spectral representation over the whole cut plane. The same manipulation applied to the Minkowski integral Eq. (9), with the relation between $\sqrt{-p^2}$ and $\sqrt{p^2}$ given by Eq. (10), gives different results depending on which half-plane contains $p^2$: for $p^2\in\mathbb{C}^+\cup\mathbb{C}^-$ one obtains Eq. (14), $S_M(-p^2)=\frac{1}{2}S_E(p^2)-\frac{i}{4}\frac{\sqrt{p^2}}{\sqrt{4m^2+p^2}}$, which is neither well-defined on $\mathbb{R}^-$ nor analytically connected to the real-axis identity. The extra term is traced to a pole crossing the real $k_0$ axis as $p^2$ moves into the complex plane; the difference between approaching the negative real axis from above and below is exactly the residue contribution. A tilted contour proposed in Eq. (18), with $k_0\to\pm\infty(1+i\epsilon)$ interpreted as an actually growing imaginary part, restores $S_M(-p^2)=S_E(p^2)$ for all complex $p^2$, but the paper notes caveats about the meaning of $\infty\cdot\epsilon$ and about complex masses.

Load-bearing premise

The load-bearing premise is that the Minkowski Feynman integral with a priori complex external momentum is defined by the standard real-axis contour with a single $+i\epsilon$ prescription; if the physically correct definition is the alternative tilted contour discussed in Section V, the contradiction disappears.

Editorial extensions

If this is right

  • For real $p^2$ in $(-4m^2,0)$, the relation $S_M(-p^2)=S_E(p^2)$ is safe; the pathologies appear once $p^2$ is moved into the complex half-planes.
  • A naive Wick rotation performed with complex external momentum picks up the residue of the pole that crosses the contour, and the missing piece in Eq. (14) is exactly that residue.
  • The alternative tilted integration contour Eq. (18), if accepted, gives a unique result $S_M(-p^2)=S_E(p^2)$ across the whole complex plane, but its definition relies on an interpretation of $\epsilon$ that grows with $k_0$.
  • The safe route recommended by the paper is to compute the integral at real external momentum and then use the spectral representation to reach complex $p^2$.
  • With complex masses the spectral representation itself breaks down, so the ambiguity becomes worse; the paper flags this as a problem for future work.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One direct test of the paper's reading: for a fixed complex $p^2$, numerically integrate Eq. (2) along the real $k_0$ axis with a contour deformation that never crosses the moving poles; if the result matches Eq. (14), the failure is a genuine property of the fixed-$\epsilon$ definition, while agreement with $S_E(p^2)$ would show the discrepancy is an artifact of the residue bookkeeping.
  • The same pole-crossing mechanism should appear in any one-loop two-point function whenever the external momentum is complex enough to push an internal pole onto the integration contour; the sunset is a minimal example of a general phenomenon.
  • If the tilted-contour prescription of Eq. (18) is accepted as the correct Minkowski definition, then the usual $+i\epsilon$ propagator prescription is not unique for complex external momenta; different deformations at infinity would define different Green's functions, which would then have to be fixed by physical requirements such as causality or spectral positivity.
  • A natural extension is to repeat the calculation with a complex mass; the paper notes that the spectral density would lose its positivity or even its definition, so the benchmark itself would have to be replaced by another principle.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 7 minor

Summary. The paper examines whether the standard Euclidean-Minkowski relation SE(p^2)=SM(-p^2) holds when a complex value of p^2 is inserted directly into the loop integrals before integration. Working in d=2 for the setting sun diagram with real mass m, the authors first review the Källen-Lehmann representation, which predicts SE(p^2)=SM(-p^2) throughout the cut complex plane. They then evaluate the Minkowski integral SM(-p^2) using the real-k0-axis contour with a fixed +iε prescription and find, for p^2 in the upper or lower half-plane, the different result of Eq. (14), which is neither defined on the negative real axis nor analytically connected to the real-axis result. Section IV argues that the same discrepancy appears when a Wick rotation is attempted for complex p^2. Section V discusses an alternative Minkowski contour, Eq. (18), which restores SM(-p^2)=SE(p^2) for all complex p^2, but flags ambiguities in its ε∞ interpretation and in the presence of complex masses. The conclusion recommends not starting from a complex p^2 inside the integral, but rather computing for real p^2 and then analytically continuing.

Significance. The result, if it holds as stated, is a useful caution for the nonperturbative QCD community: analytic continuation of loop integrals from real to complex momenta is prescription-dependent, and the standard real-axis +iε contour may not reproduce the spectral-representation continuation when p^2 is complex from the outset. The manuscript is commendably self-contained: it benchmarks against the independent Källen-Lehmann representation, contains no fitted parameters or assumed target results, and explicitly presents the alternative formulation of Ref. [29] rather than hiding it. The scope is narrow (d=2, one diagram, real mass), but the paper is clearly positioned as a first study in a program. The main issue is that the central conclusion is broader than what the calculation actually establishes, and the key formula Eq. (14) needs to be displayed and checked more carefully.

major comments (4)
  1. [Section VI (Conclusion), with Section V, Eq. (18)] The blanket conclusion that "one should not start with a complex value of p^2 inside the integral" is stronger than the calculation supports. In Section V the authors themselves show that the alternative Minkowski contour of Eq. (18) restores SM(-p^2)=SE(p^2) for all complex p^2 in this example, and they do not prove that the real-axis +iε contour of Eq. (2) is the physically correct definition of the Feynman integral for a priori complex external momenta. As stated, the paper establishes that the specific real-axis prescription leads to a different result, not that complex external momenta inside loop integrals are generally illegitimate; the conclusion should be restricted accordingly, or the correctness of Eq. (2) for complex p^2 must be argued explicitly.
  2. [Section III, Eqs. (12)-(14)] The central contradiction rests on Eq. (14), but the displayed formula appears to have inconsistent mass dimension: in d=2, SE(p^2) has mass dimension -2, while the term (-i/4)√p^2/√(4m^2+p^2) as printed is dimensionless. Either the notation omits a factor 1/√p^2, or the result of the dk integration is misstated. The step from Eqs. (12)-(13) to Eq. (14) is also only described as "after performing the integral" with no intermediate expression; the authors should display the ∫dk residue integrals and their evaluation, including the branch choice for √p^2 and √(4m^2+p^2), so that the contradiction with the spectral representation can be verified independently.
  3. [Section III, after Eq. (7)] The residue evaluation is restricted to Im√(p^2)>-m (and |Im p^2|≫ε), while Eq. (14) is presented as the result for all p^2∈C±. For Im√(p^2)<-m the authors state that "direct evaluation is not possible and the integral requires an analytic continuation," but no such continuation is supplied. The paper should either state the precise domain on which Eq. (14) has been established and explain how the claimed contradiction continues to hold outside that domain, or provide the analytic continuation.
  4. [Section III, paragraph following Eq. (14)] The assertion that the expressions for p^2∈C+, p^2∈R-, and p^2∈C- are "not connected through analytical continuation" is asserted rather than demonstrated. Since Eq. (14) is defined on the two half-planes and the real-axis result holds on (-4m^2,0), the authors should compute the limits Im p^2→0± of Eq. (14) and show explicitly that no analytic function on the cut plane can interpolate between the two sides; the existence of branch cuts does not by itself rule out a continuation through the cut.
minor comments (7)
  1. [Introduction, second paragraph] The word "whetnet" should be "whether."
  2. [Section III, first paragraph] The text says "start from the Euclidean setting sun diagram ... as given in Eq. (2)" and "Minkowskian ... as given in Eq. (1)"; the equation numbers appear to be swapped, since Eq. (1) is the Euclidean integral and Eq. (2) is the Minkowski integral.
  3. [Section III, paragraph after Eq. (14)] The sentence "for three different choices (p^2∈C+, p^2∈R- and p^2∈C+)" lists C+ twice and never lists C-; it should read "p^2∈C+, p^2∈R- and p^2∈C-."
  4. [Figure III.1 caption] The caption refers to "The k0 integration path" but the Euclidean integral of Eq. (5) is over k2; the caption should say "k2 integration path."
  5. [Section II, first sentence] The word "expressable" should be "expressible."
  6. [Section III, last paragraph] The phrase "Schwartz reflection principle" should be "Schwarz reflection principle," and the statement "SM(p2)=SM(p2)" in the same paragraph should read "SM(p2)=SM(p2)*" (complex conjugation), as the notation for conjugation is introduced in footnote 2.
  7. [Footnote 2] The sentence "√p2 = √p2 for all p2∈C/R−" is confusing because the two square roots are not visually distinguished; please clarify which one is the principal branch and which denotes complex conjugation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the direct contour integrations are benchmarked against the external Källén-Lehmann representation, and no fitted parameter or load-bearing self-citation enters the derivation.

full rationale

The paper's derivation is self-contained. Equations (8) and (14) are obtained by explicit contour integration of the displayed integrals (5) and (9), using the stated pole locations (6) and (11) and residue definitions (7); no parameter is fitted and no target relation is assumed in that computation. The comparison is made against the independent, standard Källén-Lehmann spectral representation (3), which is an external benchmark rather than an input tailored to the paper's conclusion. The self-references [34] and [37] supply only conventions and a square-root identity, not any load-bearing argument. The alternative contour (18), taken from Eichmann et al., is explicitly presented in Section V with its own caveats about ε∞ and complex masses; the paper's conclusion is therefore conditional on the definition (2), which is a substantive definitional question, not circular reasoning. The skeptic's concern that another contour restores SE=SM is a correctness or interpretive limitation, not a circularity, and the paper itself flags the ambiguity. Hence no circular step is present.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters or invented entities are introduced. The calculation uses a real mass m and standard complex analysis. The load-bearing domain assumptions are the fixed i epsilon integration path for Minkowski integrals and the Kallen-Lehmann spectral representation as benchmark.

assumptions (4)
  • domain assumption The Minkowski propagator for complex external momenta is defined by inserting p^2 into the real-axis integral Eq. (2) with a fixed +i epsilon prescription.
    Section III evaluates Eq. (9) with the standard real k0 contour; if the alternative path Eq. (18) from [29] is chosen instead, the discrepancy disappears, so this axiom is load-bearing.
  • domain assumption The Kallen-Lehmann spectral representation with positive spectral density for real mass m is the correct benchmark for the Euclidean and Minkowski continuation.
    Section II states the spectral form and uses it to conclude that the direct integral result is wrong; the paper relies on this standard QFT assumption.
  • standard math Contour deformation and the principal-value formula Eq. (15) are valid for the pole crossings encountered.
    Section III uses Eq. (15) to account for poles crossing the real k0 axis; this is standard complex analysis but is essential to the derivation of Eqs. (12)-(14).
  • standard math The branch choice for sqrt(p^2) with Re(sqrt(p^2))>0 and cut on the negative real axis is legitimate and propagates to sqrt(-p^2) via Eq. (10).
    Section III defines sqrt(p^2) and sqrt(-p^2); the signs in Eq. (14) depend on these branch choices.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The setting sun diagram with complex external momenta." pith.science (2026). https://pith.science/paper/F4FCSWCU

@misc{pith2026250705921,
  author       = {Pith},
  title        = {Pith review of: The setting sun diagram with complex external momenta},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F4FCSWCU}},
  note         = {Machine review of arXiv:2507.05921}
}
abstract

We revisit the issue of analytically continuing Feynman integrals from Euclidean to Minkowski signature, allowing for generic complex momenta. Although this is well-known in terms of the K\"all\'{e}n-Lehmann representation, we consider potential alternative takes on the same problem and discuss how these are not necessarily equivalent to the K\"all\'en-Lehmann integral outcome. We present our analysis for a simple enough case -- the setting sun diagram in $d=2$ with a real mass -- but already with an eye out to the more general case with complex masses which will further complicate matters.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

40 extracted references · 18 canonical work pages

  1. [29]

    Scattering amplitudes and contour deformations

    G. Eichmann, P. Duarte, M. T. Pe˜ na, and A. Stadler, Phys. Rev. D 100, 094001 (2019), arXiv:1907.05402 [hep-ph]

  2. [1]

    V. N. Gribov, Nucl. Phys. B139, 1 (1978), [,1(1977)]

  3. [2]

    Zwanziger, Nucl

    D. Zwanziger, Nucl. Phys. B321, 591 (1989)

  4. [3]

    Krein, C

    G. Krein, C. D. Roberts, and A. G. Williams, Int. J. Mod. Phys. A 7, 5607 (1992)

  5. [4]

    Analytic properties of the Landau gauge gluon and quark propagators

    R. Alkofer, W. Detmold, C. S. Fischer, and P. Maris, Phys. Rev. D70, 014014 (2004), arXiv:hep-ph/0309077 [hep-ph]

  6. [5]

    Baulieu, D

    L. Baulieu, D. Dudal, M. S. Guimaraes, M. Q. Huber, S. P. Sorella, N. Vandersickel, and D. Zwanziger, Phys. Rev. D 82, 025021 (2010), arXiv:0912.5153 [hep-th]

  7. [6]

    On the analytic structure of scalar glueball operators at Born level

    A. Windisch, M. Q. Huber, and R. Alkofer, Phys. Rev. D 87, 065005 (2013), arXiv:1212.2175 [hep-ph]

  8. [7]

    Examining the Analytic Structure of Green's Functions: Massive Parallel Complex Integration using GPUs

    A. Windisch, R. Alkofer, G. Haase, and M. Liebmann, Comput. Phys. Commun.184, 109 (2013), arXiv:1205.0752 [hep-ph]

Show all 40 references
  1. [8]

    Canfora and L

    F. Canfora and L. Rosa, Phys. Rev. D 88, 045025 (2013), arXiv:1308.1582 [hep-th]

  2. [9]

    M. Q. Huber, Phys. Rept. 879, 1 (2020), arXiv:1808.05227 [hep-ph]

  3. [10]

    M. Q. Huber, W. J. Kern, and R. Alkofer, Phys. Rev. D 107, 074026 (2023), arXiv:2212.02515 [hep-ph]

  4. [11]

    C. S. Fischer and M. Q. Huber, Phys. Rev. D 102, 094005 (2020), arXiv:2007.11505 [hep-ph]

  5. [12]

    Hayashi and K.-I

    Y. Hayashi and K.-I. Kondo, Phys. Rev. D 101, 074044 (2020), arXiv:2001.05987 [hep-th]

  6. [13]

    Hayashi and K.-I

    Y. Hayashi and K.-I. Kondo, Phys. Rev. D 104, 074024 (2021), arXiv:2105.07487 [hep-th]

  7. [14]

    A. K. Cyrol, J. M. Pawlowski, A. Rothkopf, and N. Wink, SciPost Phys. 5, 065 (2018), arXiv:1804.00945 [hep-ph]

  8. [15]

    Siringo and G

    F. Siringo and G. Comitini, Phys. Rev. D 106, 076014 (2022), arXiv:2208.03534 [hep-th]

  9. [16]

    Siringo and G

    F. Siringo and G. Comitini, Phys. Rev. D 107, 096001 (2023), arXiv:2210.11541 [hep-th]

  10. [17]

    S. W. Li, P. Lowdon, O. Oliveira, and P. J. Silva, Phys. Lett. B 803, 135329 (2020), arXiv:1907.10073 [hep-th]

  11. [18]

    S. W. Li, P. Lowdon, O. Oliveira, and P. J. Silva, Phys. Lett. B 823, 136753 (2021), arXiv:2109.10942 [hep-th]

  12. [19]

    G. P. de Brito and A. D. Pereira, Phys. Rev. D 110, 074005 (2024), arXiv:2405.07779 [hep-th]

  13. [20]

    Asorey, G

    M. Asorey, G. Krein, M. Pardina, and I. L. Shapiro, JHEP 01, 113, arXiv:2408.16514 [gr-qc]

  14. [21]

    Buoninfante, JHEP 02, 186, arXiv:2501.04097 [hep-th]

    L. Buoninfante, JHEP 02, 186, arXiv:2501.04097 [hep-th]

  15. [22]

    Anselmi, F

    D. Anselmi, F. Briscese, G. Calcagni, and L. Modesto, 2503.01841 [hep-th] arXiv:2503.01841 [hep-th]

  16. [23]

    Cucchieri, D

    A. Cucchieri, D. Dudal, T. Mendes, and N. Vandersickel, Phys. Rev. D85, 094513 (2012), arXiv:1111.2327 [hep-lat]

  17. [24]

    Dudal, O

    D. Dudal, O. Oliveira, and P. J. Silva, Annals Phys. 397, 351 (2018), arXiv:1803.02281 [hep-lat]

  18. [25]

    Tripolt, P

    R.-A. Tripolt, P. Gubler, M. Ulybyshev, and L. Von Smekal, Comput. Phys. Commun. 237, 129 (2019), arXiv:1801.10348 [hep-ph]

  19. [26]

    Binosi and R.-A

    D. Binosi and R.-A. Tripolt, Phys. Lett. B 801, 135171 (2020), arXiv:1904.08172 [hep-ph]

  20. [27]

    Lechien and D

    T. Lechien and D. Dudal, SciPost Phys. 13, 097 (2022), arXiv:2203.03293 [hep-lat]

  21. [28]

    Boito, A

    D. Boito, A. Cucchieri, C. Y. London, and T. Mendes, JHEP 02, 144, arXiv:2210.10490 [hep-lat]

  22. [30]

    Dudal, J

    D. Dudal, J. A. Gracey, S. P. Sorella, N. Vandersickel, and H. Verschelde, Phys. Rev. D78, 065047 (2008), arXiv:0806.4348 [hep-th]

  23. [31]

    Kondo, M

    K.-I. Kondo, M. Watanabe, Y. Hayashi, R. Matsudo, and Y. Suda, Eur. Phys. J. C 80, 84 (2020), arXiv:1902.08894 [hep-th]

  24. [32]

    M. E. Peskin and D. V. Schroeder, An Introduction to quantum field theory (Addison-Wesley, Reading, USA, 1995)

  25. [33]

    Coleman, 1110.5013 [physics.ed-ph] arXiv:1110.5013 [physics.ed-ph]

    S. Coleman, 1110.5013 [physics.ed-ph] arXiv:1110.5013 [physics.ed-ph]

  26. [34]

    Dudal and M

    D. Dudal and M. S. Guimaraes, Phys. Rev. D 83, 045013 (2011), arXiv:1012.1440 [hep-th]

  27. [35]

    Zwicky, 1610.06090 [hep-ph] (2016), arXiv:1610.06090 [hep-ph]

    R. Zwicky, 1610.06090 [hep-ph] (2016), arXiv:1610.06090 [hep-ph]

  28. [36]

    P. M. Lo, Phys. Rev. D 102, 034038 (2020), arXiv:2007.03392 [hep-ph]

  29. [37]

    D. M. van Egmond and U. Reinosa, Phys. Rev. D 106, 074005 (2022), arXiv:2206.03841 [hep-ph]

  30. [38]

    Curci and R

    G. Curci and R. Ferrari, Nuovo Cim. A 32, 151 (1976)

  31. [39]

    Pel´ aez, U

    M. Pel´ aez, U. Reinosa, J. Serreau, M. Tissier, and N. Wschebor, Rept. Prog. Phys. 84, 124202 (2021), arXiv:2106.04526 [hep-th]

  32. [40]

    Oribe, M

    S. Oribe, M. Pel´ aez, and U. Reinosa, 2503.14291 [hep-ph] arXiv:2503.14291 [hep-ph]

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.