REVIEW 4 major objections 3 minor 1 cited by
Nonlocal exponential form factors can be added to a three-dimensional spinor superfield action without sacrificing a finite one-loop effective potential.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-02 21:59 UTC pith:ZRZBXBWO
load-bearing objection Useful incremental step in nonlocal superfields: the one-loop potential checks out, the reader's sign-convention worry dissolves on re-derivation, but Eq. (25) has a typo. the 4 major comments →
Nonlocal spinor superfield theory
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors establish that the one-loop superfield effective potential of the nonlocal spinor superfield model is ultraviolet finite. In the purely local limit they obtain the exact polynomial K_L^(1) = -1/(16π)(M_Φ + X''(Φ))² - (λ²Φ²)/(2π)(M_Φ + X''(Φ) + 2λ²Φ²). For the exponential form factor with vanishing masses and self-interactions they derive the approximate expansion K_NL^(1) ≈ -(λΦ)⁴/π [1 + 4/Λ² (2λΦ)⁴ + 24/Λ⁴ (2λΦ)⁸ + 512/(3Λ⁶)(2λΦ)¹² + ...], whose leading term reproduces the local limit exactly. These expressions are offered as constructive evidence that nonlocal form factors of the f(□) type can enter spinor superfield actions while keeping one-loop perturbation theory well defin
What carries the argument
The workhorse is the set of dimensionless nonlocal form factors f₁(□) = f₂(□) = g₁(□) = g₂(□) = exp(-□/Λ²) inserted into the quadratic kinetic terms of the spinor and scalar superfields; because the exponential is an entire function without zeros, no ghost degrees of freedom are introduced, and it reduces to the identity as Λ→∞. The evaluation of the one-loop effective potential then runs on the background field method: a nonlocal shift of the quantum spinor fields removes the mixing terms proportional to ψDφ, and the remaining functional trace is rendered by the identity Tr ln(1 + A(□)D²) = ∫ d³p/(2π)³ (1/|p|) arctan(|p| A(-p²)), which turns superspace traces into ordinary three-dimensional
Load-bearing premise
The ultraviolet improvement depends on reading the form factor exp(-□/Λ²) of Eq. (8) with a Euclidean sign convention in which it decays like exp(-p²/Λ²) in momentum space; the paper's own substitutions in Eqs. (26) and (34)-(35) are consistent only under that convention, and with the opposite sign the exponential grows with momentum and the claimed finiteness of the one-loop integrals no longer follows.
What would settle it
Numerically integrate Eq. (35) at fixed Φ and finite Λ under the momentum substitution □ → -p² that the paper itself uses to obtain Eq. (26): if the integrand then contains exp(+2p²/Λ²), the integral diverges and the claimed finiteness together with the expansion (37) fail; if it contains exp(-2p²/Λ²), the same numerical integration can be compared term by term with (37) to test the expansion.
If this is right
- If Eq. (27) is correct, nonlocal form factors of the exp(-□/Λ²) type are compatible with spinor superfields: the one-loop effective potential stays finite in three dimensions.
- The model becomes a concrete template for perturbative calculations in nonlocal supersymmetric theories with spinor multiplets, including minimal coupling to scalar and, by extension, gauge superfields.
- Nonlocal corrections begin at order 1/Λ² and are suppressed at low energies, so the local theory is recovered smoothly as the nonlocality scale grows.
- The one-loop potential is a polynomial in the background scalar superfield, consistent with the expectation that UV divergences in three-dimensional superspace start at two loops.
- The same form-factor machinery should extend to four dimensions and gauge interactions, the directions the paper identifies for further work.
Where Pith is reading between the lines
- The sign rule for the Euclidean d'Alembertian is the delicate hinge of the construction: the suppression in exp(-□/Λ²) flips into a growth exp(+p²/Λ²) under the opposite convention, so a reader who ports Eq. (35) to a different signature should re-derive the momentum substitution before trusting the expansion (37).
- Carried to four dimensions, the same construction would meet the divergences that the paper explicitly sidesteps; the region-expansion techniques it cites would then be necessary, making four dimensions a sharper test of whether f(□) nonlocality tames spinor superfield loops.
- Because the quadratic operator contains both ∂αβ and the unit matrix, the three-dimensional spinor superfield is the natural superfield analogue of Dirac-operator form factors; if the analogy holds, similar one-loop finiteness should appear in models built on f(∂̸).
- A direct numerical evaluation of Eq. (35) at moderate Λ would delimit where the 1/Λ² series (37) is accurate; the paper leaves the convergence of that expansion untested.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs a three-dimensional nonlocal spinor superfield theory by inserting exponential form factors f(□)=exp(-□/Λ²) into the quadratic terms of the known local spinor-superfield action, and couples the spinor superfield minimally to a real scalar superfield. Using the background field method, the authors derive the one-loop superfield effective potential: the general formula is Eq. (27), with an exact local limit Eq. (32) and a large-Λ asymptotic expansion Eq. (37). The central claim is that nonlocal form factors of the exponential type can be introduced in spinor superfield actions while yielding a finite, well-defined one-loop effective potential.
Significance. If correct, the paper provides a first constructive example of perturbative calculations in a nonlocal spinor superfield theory, extending the existing program of nonlocal superfield models and connecting with recent work on f(/∂) nonlocality. The result is concrete: Eq. (27) is an explicit functional of the background superfield, and Eqs. (32) and (37) are falsifiable, UV-finite expressions. I have independently checked that Eq. (27) reduces to Eq. (30) under the stated assumptions, that the local limit Eq. (32) follows from Eq. (31), and that the expansion (36)-(37) is arithmetically consistent. The main value is as a prototype for higher-dimensional and gauge generalizations.
major comments (4)
- [§III, Eq. (21)] The trace decomposition leading to the main result is not written in a form compatible with the trace formula (23). As printed, the third logarithmic argument has D² in the denominator: PΨPΦ − 4λ²Φ²□(f1fMΦ+g1fMΨ)D². This is not of the form 1+A(□)D² and is dimensionally inconsistent. Starting from the operator in Eq. (19), the correct factorization is T = (g1 − 4λ²Φ²fMΨ/PΨ)D² + fMΦ + 4λ²Φ²□f1/PΨ; after dropping □-only supertraces this yields Tr ln(1 + N D²/(PΨPΦ−M)) with N=4λ²Φ²(□f1g1+fMΨfMΦ) and M=4λ²Φ²□(f1fMΦ+g1fMΨ). Please correct Eq. (21) or provide the missing derivation. This is load-bearing because Eq. (27) is the central result.
- [§III, Eq. (25)] The identity as printed, (1/√□) arctanh(A(□)/√□), is incorrect: the argument of arctanh has the wrong dimension. The correct form is (1/√□) arctanh(A(□)√□). With the printed form, Eq. (26) does not follow; the correct form yields Eq. (26) after the substitution √□→i|p|. This is a typo, but it appears in the derivation of the trace formula used for the main result.
- [§III, Eq. (36) and surrounding text] The sentence "all the integrals appearing in this expansion are ultraviolet finite in three dimensions" is misleading if read with a hard cutoff. The individual integrands in Eq. (36) behave as p², p⁴, ... at large momentum and are only convergent after the full exponential resummation or in dimensional regularization. Since Eq. (37) is obtained by termwise integration, the use of dimensional regularization should be stated explicitly in this section. As written, the claim of UV finiteness is not literally correct.
- [§III, Eqs. (8), (26), (35)] The Euclidean sign convention is nowhere stated. With the standard substitution □→−p², the form factor in Eq. (8) gives f(−p²)=e^{+p²/Λ²}, so the factor e^{−2p²/Λ²} in Eq. (35) is 1/[f1(−p²)g1(−p²)]. The calculation is internally consistent, but the paper should state this convention explicitly. Without that statement, a reader can easily infer a sign contradiction that is actually absent. This is a presentation issue, but it sits at the heart of the nonlocal construction.
minor comments (3)
- [§III, Eq. (15)] The transformation is called a "constant shift", but it is actually a field-dependent linear redefinition involving ϕ. The functional measure is still trivial because the transformation is triangular, but the wording should be corrected.
- [§II, around Eq. (8)] The statement that the exponential form factor "exhibits an improved ultraviolet behavior" is true for the propagator, but f(−p²) itself grows in Euclidean momentum space. It would help to say this explicitly to avoid confusion.
- [Abstract and Introduction] The acronym SEP is used without definition in the abstract; define it when first used (e.g., "superfield effective potential (SEP)").
Circularity Check
No significant circularity: the one-loop effective potential is obtained by direct functional-trace algebra from the explicitly proposed action; the exponential form factor is an obvious ansatz, and the authors' self-citations supply model inputs and standard definitions, not the target result.
full rationale
The paper's central result, Eq. (27), is a functional-trace computation from the nonlocal action (7) with the exponential form factors (8). The form factor is explicitly introduced as 'one of the simplest choices' (Eq. (8)), i.e., it is an input assumption, not a derived output, so the calculation's dependence on it is not circular. The derivation of Eq. (27) is self-contained: it uses the background-field decomposition (9), the nonlocal shift (15), the trace identity (23), the Grassmann identities (24), and the momentum-space representation (26). No observable is fitted and no parameter is calibrated to data; the one-loop potential is a consequence of the stated model. The self-citations [6], [10], [11], and [16] are used to motivate the local starting action, the nonlocal framework, and the standard definition of the superfield effective potential, but none of them asserts or assumes Eq. (27), (32), or (37). They are prior inputs, not a reduction of the result to itself. The only non-circular caveat is a typographical issue in Eq. (25), where the argument of arctanh should be A(□)√□ rather than A(□)/√□; with that correction Eq. (26) follows, and the sign convention in Eq. (35) is consistent with the □→−p² substitution in Eq. (26). These are correctness details, not circularity.
Axiom & Free-Parameter Ledger
free parameters (4)
- Yukawa coupling λ
- Nonlocality scale Λ
- Scalar mass MΦ
- Spinor mass MΨ
axioms (6)
- standard math Superspace identities (D²)²=□ and Grassmann delta-function identities, Eq. (24)
- standard math Functional trace formula Tr ln(1+A(□)D²) = ∫ d³p/(2π)³ (1/|p|) arctan(|p| A(-p²)), Eq. (26)
- domain assumption The field shift in Eq. (15) has unit functional Jacobian
- domain assumption Form factors are entire functions without zeros, chosen to avoid ghosts
- ad hoc to paper Euclidean continuation maps exp(-□/Λ²) to exp(-p²/Λ²)
- ad hoc to paper Simplifying truncations Z(Φ)=0, MΨ=Y(Φ)=0, and MΦ=MΨ=X(Φ)=Y(Φ)=0
read the original abstract
In this work, we propose a new three-dimensional nonlocal spinor superfield model. This theory is constructed by introducing form factors in the local spinor superfield action. Then, we couple it minimally to a scalar superfield, for which we calculate the one-loop effective potential as a first constructive example of perturbative calculations in this new theory.
Forward citations
Cited by 1 Pith paper
-
Induced CFJ Term in nonlocal Lorentz-Violating QED: Natural Regularization from Entire Dirac Operators
In nonlocal Lorentz-violating QED with entire form factors of the Dirac operator, the induced CFJ coefficient is finite and equals the local value times a deformation function of m/Λ.
Reference graph
Works this paper leans on
-
[1]
G. V. Efimov, Commun. Math. Phys.5, 42 (1967)
1967
-
[2]
S. W. Hawking and T. Hertog, Phys. Rev. D65(2002), 103515 [arXiv:hep-th/0107088 [hep- th]]
Pith/arXiv arXiv 2002
-
[3]
L. Modesto, Phys. Rev. D86(2012), 044005 [arXiv:1107.2403 [hep-th]]
Pith/arXiv arXiv 2012
-
[4]
L. Modesto, Nucl. Phys. B909(2016), 584-606 [arXiv:1602.02421 [hep-th]]
Pith/arXiv arXiv 2016
-
[5]
F. Briscese, E. R. Bezerra de Mello, A. Y. Petrov and V. B. Bezerra, Phys. Rev. D92(2015) no.10, 104026 [arXiv:1508.02001 [gr-qc]]
Pith/arXiv arXiv 2015
-
[6]
E. R. Bezerra de Mello, F. S. Gama, J. R. Nascimento and A. Y. Petrov, Phys. Rev. D95 (2017) no.2, 025028 [arXiv:1611.09676 [hep-th]]
Pith/arXiv arXiv 2017
-
[7]
S. J. Gates, M. T. Grisaru, M. Roˇ cek, and W. Siegel,Superspace or one thousand and one lessons in supersymmetry, Front. Phys.58, 1 (1983) [arXiv:hep-th/0108200]
Pith/arXiv arXiv 1983
-
[8]
F. S. Gama, J. R. Nascimento, A. Y. Petrov and P. J. Porfirio, Phys. Rev. D96(2017) no.10, 105009 [arXiv:1710.02043 [hep-th]]
Pith/arXiv arXiv 2017
-
[9]
F. S. Gama, J. R. Nascimento and A. Y. Petrov, Phys. Rev. D101(2020) no.10, 105018 [arXiv:2004.09299 [hep-th]]
Pith/arXiv arXiv 2020
-
[10]
J. R. Nascimento, G. J. Olmo, A. Y. Petrov, P. J. Porf ´ ırio and R. N. da Silva, Phys. Rev. D 113, 045015 (2026) [arXiv:2505.07483 [hep-th]]
arXiv 2026
-
[11]
A. F. Ferrari, M. Gomes, A. C. Lehum, J. R. Nascimento, A. Y. Petrov and A. J. da Silva, Phys. Lett. B678(2009), 233-239 [arXiv:0812.3134 [hep-th]]
Pith/arXiv arXiv 2009
-
[12]
M. Ostrogradsky, Mem. Ac. St. Petersbourg VI4, 385 (1850); R. P. Woodard, Scholarpedia 10, 32243 (2015) [arXiv:1506.02210 [hep-th]]. 11
Pith/arXiv arXiv 2015
- [13]
-
[14]
B. S. DeWitt,Dynamical Theory of Groups and Fields(Gordon and Breach, New York, 1965)
1965
-
[15]
I. L. Buchbinder, S. D. Odintsov, and I. L. Shapiro.Effective Action in Quantum Gravity (IOP Publishing, Bristol and Philadelphia, 1992)
1992
-
[16]
A. F. Ferrari, M. Gomes, A. C. Lehum, J. R. Nascimento, A. Y. Petrov, E. O. Silva, and A. J. da Silva, Phys. Lett. B678, 500 (2009) [arXiv:0901.0679 [hep-th]]
Pith/arXiv arXiv 2009
-
[17]
A. A. Ostrovsky and G. A. Vilkovisky, J. Math. Phys.29, 702 (1988); S. M. Kuzenko and S. J. Tyler, J. High Energy Phys. 05, 081 (2007) [arXiv:hep-th/0703269]; I. L. Buchbinder and B. S. Merzlikin, Nucl. Phys. B900, 80 (2015) [arXiv:1505.07679 [hep-th]]
Pith/arXiv arXiv 1988
-
[18]
I. L. Buchbinder and S. M. Kuzenko,Ideas and Methods of Supersymmetry and Supergravity (IOP Publishing, Bristol and Philadelphia, 1995)
1995
-
[19]
M. Beneke and V. A. Smirnov, Nucl. Phys. B522, 321 (1998) [arXiv:hep-ph/9711391]; V. A. Smirnov,Applied Asymptotic Expansions in Momenta and Masses(Springer, New York, 2002) 12
Pith/arXiv arXiv 1998
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.