REVIEW 4 major objections 4 minor 1 cited by
Isospectral local Hermitian theory for the $\mathcal{PT}$-symmetric $i\phi^3$ quantum field theory
T0 review · 4 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The $\mathcal{PT}$-symmetric $i\phi^3$ field theory has a local Hermitian partner, at least to second order in the coupling.
desk verdict A promising method with a solid 1D check and a clear formal gap in d≥2: the claimed local Hermitian equivalent is not yet proven beyond one dimension. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The device is a pair of field redefinitions used at the level of the path integral. The first, $\rho(\phi_x)$, is an infinite series designed by completing the square to cancel the cubic interaction and all nonlocal $g^2$ terms of the $i\phi^3$ action, leaving a free quadratic action plus source terms; the second, $\kappa(\phi_x)$, does the same for an assumed $\phi^4$ action. Matching the two resulting free forms term by term, including the physical mass defined by the single-particle pole, determines the Hermitian couplings and the physical field $\eta(\phi_x)=\kappa(\rho^{-1}(\phi_x))$. The transformations are what replace the nonlocal equivalent theory with a local one.
What would settle it
Compute the $g^4$ (next-order) correction to the matching: if nonlocal terms that cannot be absorbed by local $\phi^4$ counterterms appear, the local equivalence fails beyond second order. Alternatively, solve the functional equation (25) numerically in $d=1$; if $\rho(\phi)$ leaves the Stokes sector or fails to exist for small nonzero $g$, the isospectral mapping collapses.
Extended reading notes
Core claim
The central claim is that the Euclidean partition function of $i\phi^3$ can be mapped by an invertible, field-dependent transformation $\rho(\phi_x)$ onto a free theory, and that the same free form is reached from an assumed local Hermitian $\phi^4$ action through a transformation $\kappa(\phi_x)$. Matching the two free forms determines the Hermitian couplings: $\lambda_1 = (13+2c_4)g^2/(2(f_2+3)m^2)$ and $\lambda_2 = (9f_2-6c_4-12)g^2/(2(f_2+3)m^2) D_0^2 + 3g^2\int d^d y\, D_y^3$, with $c_4$ and $f_2$ fixed by matching the single-particle pole. The resulting Hermitian theory is local and has the same functional form in all dimensions. The paper verifies numerically in zero dimensions that both transformations exist and stay in the correct Stokes sector, and it reproduces the earlier one-dimensional result $h = \tfrac12 p^2 + \tfrac12 m^2 x^2 + \tfrac{5g^2}{2m^2}x^4 - \tfrac{g^2}{2m^4}$.
Load-bearing premise
Everything rests on the assumption that the field transformation $\rho(\phi_x)$, which removes the cubic interaction, actually exists and remains analytic in the correct Stokes sector in $d$ dimensions; the paper only demonstrates this numerically in zero dimensions and leaves the higher-dimensional existence problem open.
Editorial extensions
If this is right
- In one dimension, the construction reproduces the known local Hermitian Hamiltonian of $ix^3$ quantum mechanics, so the method is a genuine generalization of the earlier quantum-mechanics result.
- The isospectral Hermitian theory is a $\phi^4$ theory with the same structure in every dimension, so the one-dimensional coefficients can be used as a starting point in arbitrary $d$.
- The local form removes the need to compute with field momenta, potentially simplifying the calculation of physical quantities such as scattering amplitudes for the $\mathcal{PT}$-symmetric model.
- At $g^2$ order, matching the single-particle pole is exact, so the matching procedure is neither under-constrained nor over-constrained.
Reading between the lines
- If the locality pattern persists at higher orders, the known nonlocal equivalents obtained by the traditional similarity-transformation method may be gauge-like choices rather than the unique Hermitian counterpart, with the same physics admitting multiple isospectral descriptions.
- A natural next check is to extend the matching to $g^4$; if multi-particle contributions enter, the single-particle-pole criterion would have to be replaced by a full spectral-function matching, which is a concrete calculation.
- The existence of $\rho$ in $d \ge 1$ is not proved, so a rigorous functional-analytic construction of the transformation would settle whether the local equivalent survives beyond zero dimensions and beyond perturbation theory.
- The same completing-the-square matching could be applied to other $\mathcal{PT}$-symmetric interactions, such as $i\phi^n$, to test whether local Hermitian equivalents exist generically or only for cubic interactions.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a perturbative construction, to order g^2, of an isospectral local Hermitian theory for the PT-symmetric i\phi^3 quantum field theory in d dimensions. The method introduces a nonlocal field transformation \rho(\phi) intended to map the i\phi^3 action into a free action, assumes a local \phi^4 Hermitian theory with a constant term, transforms that theory into the same free form via a map \kappa, and matches the two through Eq. (21), yielding the couplings \lambda_1 and \lambda_2 in Eq. (22). In 1 dimension the result reproduces the known Hamiltonian h = p^2/2 + m^2 x^2/2 + 5g^2/(2m^2)x^4 - g^2/(2m^4). In 0 dimensions, numerical solutions for \rho and \kappa are presented. The paper concludes that the isospectral local Hermitian theory has the same \phi^4 form in all dimensions, differing only in coefficients.
Significance. If the d-dimensional claim could be established, the result would be significant: it would provide a local Hermitian counterpart to the i\phi^3 theory at this order, in contrast to the usual nonlocal equivalent, and it would give a systematic bridge from the quantum-mechanical result to quantum field theory. The one-dimensional consistency check and the numerical evidence in 0 dimensions are useful supporting elements. However, the current manuscript establishes the claim rigorously only in 1 dimension (where it confirms a known result) and numerically in 0 dimensions; the advertised d\ge 2 statement is not yet supported.
major comments (4)
- [Sec. II, Eqs. (12), (13), and (22)] In d \ge 2, the quantities D_0 and \int d^d y D_y^3 that appear in Eqs. (12), (13), and (22) are ultraviolet divergent. The manuscript gives no regulator and no renormalization condition, so the matching equations (21) and the resulting couplings \lambda_1 and \lambda_2 are formal expressions. Since the paper's central claim concerns quantum field theory in general d, this is a load-bearing gap: without a stated renormalization prescription, the isospectrality statement is not well defined in the regime it purports to cover.
- [Sec. II, Eq. (7); Sec. III] The field transformation \rho(\phi_x) is the device that removes the cubic and nonlocal terms in Eq. (8). Its existence and Stokes-sector behavior are demonstrated only numerically in 0 dimensions (Figs. 1 and 2), and the text explicitly states that the existence problem and asymptotic behavior in higher dimensions are left to future work. For d \ge 1, \rho is a functional of infinitely many field modes, and without a proof or at least a perturbative construction of its existence, invertibility, and analyticity in the correct Stokes sector, the cancellation leading to Eq. (13) is purely formal. The successful 1D check of the final Hamiltonian does not establish the existence of the functional map itself.
- [Sec. II, Eq. (15) and Eqs. (21)-(22)] The form of the Hermitian theory, namely a \phi^4 action plus a constant term, is assumed in Eq. (15) on the basis of the previous quantum-mechanics result; it is not derived from the PT theory. The couplings \lambda_1 and \lambda_2 are then solved from the matching conditions. This makes the claim an ansatz-fitting procedure rather than a derivation of a local Hermitian counterpart. The paper does not show that no other local Hermitian form is compatible with the same free-field image, nor that matching the single-particle pole and the local quadratic terms is sufficient to fix the isospectral theory uniquely. The final claim that the 1D result fixes the form in all dimensions therefore goes beyond what is demonstrated.
- [Sec. II, matching (21); Sec. IV] The matching in Eq. (21) uses only the single-particle pole and the coefficients of \phi^2 and the constant term. The paper argues in Sec. IV that at g^2 order this is exact, but it does not check the two-point spectral function or any higher n-point function, even at first order. Since the claimed equivalence is between two quantum field theories, the statement that only the single-particle pole is needed at this order requires a more detailed justification than the brief discussion in Sec. IV.
minor comments (4)
- [General] There are several typographical errors: 'Eucliden' (Sec. II), 'completinig-the-square' (Sec. II), and 'Hemitian' (after Eq. (15)) should be corrected.
- [Sec. III, Eq. (32)] In Eq. (32), the vacuum energy for the \phi^4 case is labeled \Delta E_{\phi^3}; this should be \Delta E_{\phi^4}.
- [Sec. II, Eq. (23)] The 1D propagators in Eq. (23) are written with factors of 2\pi whose normalization convention is not stated; a sentence defining the Fourier convention would remove ambiguity.
- [Sec. III, Figs. 1-4] The numerical solutions for \rho and \kappa are compared with perturbation theory only over the interval [0,3], and the dependence on \phi_{\max} and on the coupling strength is not examined; a brief convergence study would strengthen the numerical evidence.
Circularity Check
The d-dimensional local phi^4 form is imported from the authors' own 1D result and then re-asserted as a finding; the coefficient matching itself is independent, keeping the paper only partially circular.
-
self citation load bearing
[Sec. II, between Eq. (14) and Eq. (15); final paragraph of Sec. II]
"From our previous work[37], the isospectral local Hermitian Hamiltonian of H = 1/2 p^2 + 1/2 m^2 x^2 + igx^3 is h = 1/2 p^2 + 1/2 m^2 x^2 + 5g^2/(2m^2) x^4 − g^2/(2m^4) + O(g^3), and naturally we can assume the iϕ^3 and ϕ^4 correspondence up to g^2-order holds also in d dimensions. ... With the help of results in our previous work, assumptions of the form of the isospectral Hermitian theory are no longer necessary because the form of the isospectral Hermitian theory in d dimensions is fixed as long as that in 1 dimension is fixed!"
The d-dimensional form of the isospectral Hermitian theory is not derived from the PT iϕ^3 QFT; Eq. (15) simply posits a ϕ^4 action with a constant term, justified by the authors' own QM result [37]. The matching conditions (21) then fix λ1, λ2, and η inside that pre-assumed ansatz, so the conclusion that the local Hermitian counterpart is a ϕ^4 theory, and that the form is the same in all dimensions, restates the input from [37] rather than following from the PT theory. The cited prior work is the authors' own and the form assumption is the load-bearing premise for the locality claim; however, the coefficient formulas (22) are independently solved from the matching equations, so the central claim retains independent content.
full rationale
The derivation is largely self-contained as a construction: the authors transform both the PT iϕ^3 action and the assumed Hermitian ϕ^4 action into the same free form, match the single-particle pole and the source coupling, and reproduce the known 1D Hamiltonian as a check. No parameter is fitted to external data and then called a prediction; Eqs. (21)-(22) solve for the couplings of the equivalent local theory. The main circularity concern is the load-bearing self-citation: the d-dimensional local ϕ^4 form is assumed on the basis of the authors' previous QM paper [37], and the claim that the form is 'fixed' once the 1D form is fixed is an extrapolation, not a derivation. Thus the locality and the 'same form in all dimensions' conclusion are partly inputs rather than outputs. The existence and Stokes-sector behavior of ρ for d≥1, and the UV divergences of D0 and ∫D^3 in d≥2, are genuine correctness risks but are not circularity. Overall, some self-citation is load-bearing for the form, while the coefficient matching gives independent content, so a score of 4 is appropriate.
Assumptions & free parameters
assumptions (6)
- standard math Standard PT/pseudo-Hermitian framework: a PT-symmetric Hamiltonian with unbroken PT symmetry yields a Hermitian isospectral Hamiltonian h = eta H eta^{-1}.
- domain assumption The physical field is phi_phys = eta(phi) and external sources couple only to this physical field.
- ad hoc to paper There exists an invertible analytic transformation rho(phi_x) in the correct Stokes sector that maps i phi^3 to the free form.
- ad hoc to paper The isospectral Hermitian theory has the assumed phi^4 form in Eq. (15) with a constant term lambda2.
- domain assumption Euclidean path integral measure and Jacobian determinant manipulations are valid in d dimensions, including divergent D0 and integral D^3 terms.
- domain assumption Matching the single-particle pole at g^2 order is sufficient to fix the isospectral pair.
Cite this review
Pith. "Pith review of Isospectral local Hermitian theory for the $\mathcal{PT}$-symmetric $i\phi^3$ quantum field theory." pith.science (2026). https://pith.science/paper/522EIJCN
@misc{pith2026241210732,
author = {Pith},
title = {Pith review of: Isospectral local Hermitian theory for the $\mathcalPT$-symmetric $i\phi^3$ quantum field theory},
year = {2026},
howpublished = {\url{https://pith.science/paper/522EIJCN}},
note = {Machine review of arXiv:2412.10732}
}
abstract
We propose a new method to calculate perturbatively the isospectral Hermitian theory for the $\mathcal{PT}$-symmetric $i\phi^3$ quantum field theory in $d$ dimensions, whose result is local. The result of the new method in $1$ dimension reproduces our previous result in the $ix^3$ quantum mechanics, and the new method can be seen as a generalization of our previous method to quantum field theory. We also find the isospectral local Hermitian theory has the same form in all dimensions and differs in coefficients only, and our previous results in quantum mechanics can be used directly to determine the form of the isospectral local Hermitian quantum field theory.
Figures
Forward citations
Cited by 1 Pith paper
-
Non-Hermitian Holographic Flows to Little Rip Cosmologies
A holographic model of a non-Hermitian PT-symmetric QFT produces black hole interiors that are isotropic Little Rip cosmologies, separated from standard Kasner behavior by a distinctive logarithmic signature in heavy-...
Reference graph
Works this paper leans on
- [1]
-
[2]
Mostafazadeh, J
A. Mostafazadeh, J. Math. Phys. 43, 205 (2002)
2002
-
[3]
Mostafazadeh, J
A. Mostafazadeh, J. Math. Phys. 43, 2814 (2002)
2002
-
[4]
Mostafazadeh, J
A. Mostafazadeh, J. Math. Phys. 43, 3944 (2002)
2002
- [5]
- [6]
- [7]
-
[8]
C. M. Bender, D. C. Brody, and H. F. Jones, Phys. Rev. Lett. 89, 270401 (2002)
2002
Show all 39 references
-
[9]
C. M. Bender, D. C. Brody, and H. F. Jones, Phys. Rev. Lett. 93, 251601 (2004)
2004
-
[10]
C. M. Bender, D. C. Brody, and H. F. Jones, Phys. Rev. D 70, 025001 (2004)
2004
-
[11]
C. M. Bender, S. F. Brandt, J.-H. Chen, and Q. Wang, 8 Phys. Rev. D 71, 065010 (2005)
2005
-
[12]
C. M. Bender, D. C. Brody, J.-H. Chen, H. F. Jones, K. A. Milton, and M. C. Ogilvie, Phys. Rev. D74, 025016 (2006)
2006
-
[13]
H. F. Jones and J. Mateo, Phys. Rev. D 73, 085002 (2006)
2006
-
[14]
H. F. Jones, J. Mateo, and R. J. Rivers, Phys. Rev. D 74, 125022 (2006)
2006
-
[15]
C. M. Bender, P. E. Dorey, C. Dunning, et al., PT Symmetry: In Quantum and Classical Physics(WORLD SCIENTIFIC, Singapore, 2019)
2019
-
[16]
A. M. Shalaby, Phys. Rev. D 79, 065017 (2009)
2009
-
[17]
Shalaby and S
A. Shalaby and S. S. Al-Thoyaib, Phys. Rev. D 82, 085013 (2010)
2010
-
[18]
A. M. Shalaby, Int. J. Mod. Phys. A 28, 10.1142/S0217751X13500231 (2013)
2013 doi
-
[19]
C. M. Bender, N. Hassanpour, S. P. Klevansky, and S. Sarkar, Phys. Rev. D 98, 125003 (2018)
2018
-
[20]
Felski, C
A. Felski, C. M. Bender, S. P. Klevansky, and S. Sarkar, Phys. Rev. D 104, 085011 (2021)
2021
-
[21]
W.-Y. Ai, C. M. Bender, and S. Sarkar, Phys. Rev. D 106, 125016 (2022)
2022
-
[22]
Lawrence, R
S. Lawrence, R. Weller, C. Peterson, and P. Romatschke, Phys. Rev. D 108, 085013 (2023)
2023
-
[23]
Romatschke, Phys
P. Romatschke, Phys. Lett. B 847, 138270 (2023)
2023
-
[24]
C. M. Bender, P. N. Meisinger, and Q. Wang, J. Phys. A: Math. Gen. 36, 1973 (2003)
2003
-
[25]
Mostafazadeh, Journal of Physics A: Mathematical and General 38, 6557 (2005)
A. Mostafazadeh, Journal of Physics A: Mathematical and General 38, 6557 (2005)
2005
-
[26]
H. F. Jones, Journal of Physics A: Mathematical and General 38, 1741 (2005)
2005
-
[27]
A. M. Shalaby, Phys. Rev. D 79, 107702 (2009)
2009
-
[28]
C. M. Bender, G. Benincasa, and H. F. Jones, Phys. Rev. D 80, 128701 (2009)
2009
-
[29]
Siegl and D
P. Siegl and D. Krejˇ ciˇ r ´ ık, Phys. Rev. D86, 121702 (2012)
2012
-
[30]
C. M. Bender, V. Branchina, and E. Messina, Phys. Rev. D 85, 085001 (2012)
2012
-
[31]
C. M. Bender, V. Branchina, and E. Messina, Phys. Rev. D 87, 085029 (2013)
2013
-
[32]
A. M. Shalaby, Int. J. Mod. Phys. A 35, 2050041 (2020)
2020
-
[33]
Dwivedi and B
A. Dwivedi and B. P. Mandal, Ann. Phys. 425, 168382 (2021)
2021
-
[34]
A. M. Shalaby, Phys. Rev. D 96, 025015 (2017)
2017
-
[35]
A. M. Shalaby, Int. J. Mod. Phys. A 34, 1950090 (2019)
2019
-
[36]
O. O. Novikov, Phys. Rev. D 99, 065008 (2019)
2019
-
[37]
Li and Q
Y.-D. Li and Q. Wang, Phys. Rev. D 108, 085008 (2023)
2023
-
[38]
H. F. Jones and R. J. Rivers, Phys. Rev. D 75, 025023 (2007)
2007
-
[39]
Mostafazadeh, Phys
A. Mostafazadeh, Phys. Rev. D 76, 067701 (2007)
2007
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.