{"id":"d050e3ab-a468-4a3e-9770-2ad9073770a9","arxiv_id":"2412.10732","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Up to g^2 order, the PT-symmetric i phi^3 theory in d dimensions is shown to be isospectral to a local Hermitian phi^4 theory with coupling and vacuum terms fixed by mass matching.","lead":"The authors construct a local Hermitian field theory, a phi^4 theory, that they claim has the same energy spectrum as the PT-symmetric i phi^3 theory at leading perturbative order. The result extends a quantum mechanical equivalence to field theory and suggests PT-symmetric models can be described by local Hermitian actions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The d-dimensional claim depends on existence of the global field transformation ρ; the 0D numerical check does not establish it for d≥1, and the issue is compounded by UV divergences in d≥2.","rationale":"The reader's weakest assumption coincides with the most load-bearing point. The paper's algebraic derivation is internally consistent: the d=1 coefficient matching yields λ1=5g^2/2m^2 and λ2=-g^2/2m^4, reproducing the known QM Hamiltonian, and the 0D numerical solution of Eq. (25) shows the perturbative map is accurate for small fields and lies in the correct Stokes sector. What is not supplied is any evidence that the nonlocal functional ρ(φ_x) exists as a bona fide change of variables in d≥2, where it acts on a field-configuration space rather than a single variable. This matters because Eq. (8) is derived by manipulating a Jacobian determinant and discarding nonlocal terms; if the map is not globally defined and invertible, those discarded terms cannot be justified and the equality of partition functions is formal. The explicit UV divergences in D0 and ∫D^3 for d≥2 make the formal status even less secure, since the transformation and the couplings in Eq. (22) are not defined until a regulator and renormalization prescription are supplied. The 1D result is strong support for the method at the level of perturbation theory, so the appropriate outcome is the reader's CONDITIONAL rather than REJECT: the claim is plausible and self-consistent at O(g^2) in 1D, but the all-dimensions statement is not yet established. A lattice check in d=2 would directly test whether the transformation and the locality of the resulting action survive in the continuum limit.","tokens_in":9771,"tokens_out":25699,"duration_ms":243759,"concrete_test":"On a finite d=2 lattice (spacing a, volume V), implement the O(g^2) transformation (7) as a change of variables, including the exact Jacobian of the finite-dimensional map. Verify that the transformed action equals a local free action up to O(g^3) uniformly as a→0 and V→∞, and that ρ keeps the contour inside the PT Stokes sector. If nonlocal residuals or sector crossings remain in the continuum limit, the d≥2 isospectral-locality claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction requires that the nonlocal field map ρ in Eq. (7) exist, be invertible, and carry the integration contour into the correct PT Stokes sector in d dimensions. The paper demonstrates this only numerically in 0D (Sec. III) and explicitly leaves higher-dimensional existence open. Without such a map, the cancellation of the O(g^2) cubic and nonlocal terms in Eq. (8) is purely formal: the matching of Eqs. (13) and (20) would not establish isospectrality. The 1D reproduction of the known local Hamiltonian (14) is a useful consistency check, but it does not prove that a nonlocal functional of infinitely many field modes is well-defined in d≥2. The gap is compounded because in d≥2 D0 and ∫ d^d y D_y^3 entering Eqs. (12) and (22) are UV divergent, so the integrand defining ρ at O(g^2) itself needs a regulator; existence and Stokes-sector behavior must therefore be checked together with renormalization, not separately.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":10055,"tokens_out":6156,"duration_ms":54542,"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":[{"comment":"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.","section":"Sec. II, Eqs. (12), (13), and (22)"},{"comment":"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.","section":"Sec. II, Eq. (7); Sec. III"},{"comment":"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.","section":"Sec. II, Eq. (15) and Eqs. (21)-(22)"},{"comment":"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.","section":"Sec. II, matching (21); Sec. IV"}],"minor_comments":[{"comment":"There are several typographical errors: 'Eucliden' (Sec. II), 'completinig-the-square' (Sec. II), and 'Hemitian' (after Eq. (15)) should be corrected.","section":"General"},{"comment":"In Eq. (32), the vacuum energy for the \\phi^4 case is labeled \\Delta E_{\\phi^3}; this should be \\Delta E_{\\phi^4}.","section":"Sec. III, Eq. (32)"},{"comment":"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.","section":"Sec. II, Eq. (23)"},{"comment":"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.","section":"Sec. III, Figs. 1-4"}],"recommendation":"reject","confidential_remarks":"The manuscript is very short and relies heavily on the previous work [37]. The main advertised result, the local isospectral Hermitian theory in general d, is not established beyond 1D because of the unrenormalized UV divergences and the unproven existence of the field transformation \\rho in d \\ge 1. The paper could be reconsidered if the authors add a proper renormalized treatment and a perturbative existence argument for \\rho in d dimensions; as it stands, the central claim is overreaching relative to the evidence provided."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth a look, but don't take the d-dimensional claim at face value. The new thing here is the path-integral transformation method that, at g^2 order, maps PT-symmetric iφ^3 to a local Hermitian φ^4 theory (plus a constant), in contrast to the nonlocal equivalents that earlier methods produce. The 1D reduction is a genuine check: it reproduces the known isospectral Hamiltonian exactly, which gives me confidence that the algebra is right. The 0D numerical solution of ρ and κ is also a nice sanity check that the perturbative expansion is on the right track in the small-field regime.\n\nThe soft spot is exactly where the abstract is optimistic. The all-dimensions result rests on the existence and analyticity of the field transformation ρ(φ), and that is only demonstrated numerically in 0D. The paper says so clearly, but it is still a big gap: in d≥2 the quantities D0 and ∫ d^d y D_y^3 entering the matching are UV divergent, so the transformation coefficients are not even defined without a regulator and a renormalization prescription. Until that is addressed, the 'local in any d' statement is a formal sketch, not a result. The matching also assumes the Hermitian theory is a φ^4 theory, borrowing the QM form; that is an ansatz, not a derivation, though a reasonable one given the QM limit.\n\nThat said, the paper is honest about these limitations and the 1D check is solid. If I were refereeing, I'd ask for a discussion of renormalization of D0 and the nonlocal integral, and for a sharper statement about what is proven versus assumed in d≥2. The method itself is worth a referee and might be citable once the divergence question is settled; right now I wouldn't cite it as a proof of the d-dimensional claim.","headline":"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.","tokens_in":10524,"tokens_out":2910,"would_cite":false,"duration_ms":26734,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The $\\mathcal{PT}$-symmetric $i\\phi^3$ field theory has a local Hermitian partner, at least to second order in the coupling.","keywords":["PT symmetry","i phi^3 theory","isospectral Hermitian theory","local Hermitian counterpart","phi^4 theory","field redefinition","path integral","perturbation theory"],"falsifier":"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.","tokens_in":9565,"feed_emoji":"⚛️","tokens_out":5059,"duration_ms":42850,"temperature":0.7,"pith_summary":"This paper tries to show that the $\\mathcal{PT}$-symmetric $i\\phi^3$ quantum field theory in $d$ dimensions is, to second order in the coupling $g$, isospectral to an ordinary local Hermitian $\\phi^4$ theory. Earlier constructions of an equivalent Hermitian theory produced nonlocal Hamiltonians with field momenta appearing in the potential. The authors build field transformations that send both the $i\\phi^3$ theory and the assumed $\\phi^4$ theory to the same free form, then match the coefficients. In one dimension the method reproduces the known local Hermitian Hamiltonian of $ix^3$ quantum mechanics, and the derivation keeps the same form for every dimension $d$, differing only in coefficients. A local description would make physical observables of the $\\mathcal{PT}$-symmetric theory easier to interpret and compute.","feed_headline":"PT-symmetric $i\\phi^3$ is equivalent to a local $\\phi^4$ theory","feed_subtitle":"A field redefinition cancels the cubic interaction and all nonlocal terms, in every dimension, at second order in the coupling.","key_machinery":"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.","core_discovery":"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}$.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Establishes that $\\mathcal{PT}$-symmetric Hamiltonians such as $p^2-(ix)^N$ have real positive spectra, motivating the search for isospectral Hermitian partners.","marker":"[1]"},{"why":"Supplies the standard perturbative construction of isospectral Hermitian Hamiltonians via $V=e^{-Q}$, whose results for $i\\phi^3$ are nonlocal and are the objects this paper improves on.","marker":"[10]"},{"why":"Defines the Stokes sector for $i\\phi^3$ and documents the conventional view that the equivalent Hermitian theory is nonlocal, the claim this paper challenges.","marker":"[15]"},{"why":"Presents the predecessor quantum-mechanics method, whose diagonalization-and-matching strategy is generalized here to the path integral.","marker":"[37]"},{"why":"Justifies coupling the external source to the physical field $\\phi_{\\mathrm{phys}}=\\eta\\phi\\eta^{-1}$, which underlies the definition of $\\eta(\\rho(\\phi_x))$.","marker":"[38]"},{"why":"Provides the companion argument that physical observables require the physical field, supporting the same source-coupling prescription.","marker":"[39]"}],"fun_headline_variants":["Local φ^4 twin found for PT-symmetric iφ^3","iφ^3 is equivalent to local φ^4 in all dimensions","Field redefinition cancels cubic term: iφ^3 becomes local φ^4","New method finds local Hermitian theory for iφ^3 in any dimension","PT-symmetric iφ^3 has a local Hermitian counterpart in all dimensions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Local φ^4 twin found for PT-symmetric iφ^3","iφ^3 is equivalent to local φ^4 in all dimensions","Field redefinition cancels cubic term: iφ^3 becomes local φ^4","New method finds local Hermitian theory for iφ^3 in any dimension","PT-symmetric iφ^3 has a local Hermitian counterpart in all dimensions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000921,"raw_usage":{"total_tokens":3953,"prompt_tokens":950,"completion_tokens":3003,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":566,"completion_tokens_details":{"reasoning_tokens":2901}},"tokens_in":566,"tokens_out":3003,"duration_ms":19464,"temperature":1.0,"reasoning_tokens":2901,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:39:41.645065+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Bender and S","cited_arxiv_id":null,"evidence_quote":"Establishes that $\\mathcal{PT}$-symmetric Hamiltonians such as $p^2-(ix)^N$ have real positive spectra, motivating the search for isospectral Hermitian partners."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the standard perturbative construction of isospectral Hermitian Hamiltonians via $V=e^{-Q}$, whose results for $i\\phi^3$ are nonlocal and are the objects this paper improves on."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the Stokes sector for $i\\phi^3$ and documents the conventional view that the equivalent Hermitian theory is nonlocal, the claim this paper challenges."},{"cited_title":"Li and Q","cited_arxiv_id":null,"evidence_quote":"Presents the predecessor quantum-mechanics method, whose diagonalization-and-matching strategy is generalized here to the path integral."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Justifies coupling the external source to the physical field $\\phi_{\\mathrm{phys}}=\\eta\\phi\\eta^{-1}$, which underlies the definition of $\\eta(\\rho(\\phi_x))$."},{"cited_title":"Mostafazadeh, Phys","cited_arxiv_id":null,"evidence_quote":"Provides the companion argument that physical observables require the physical field, supporting the same source-coupling prescription."}],"review_version":1}