{"id":"f3525f5f-8dec-4d3f-a228-4318979e76c4","arxiv_id":"2608.09017","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A ghost-parity-preserving perturbation theory, Z2PT, reproduces old-fashioned perturbation theory for real amplitudes through third order and, when the parity-preserving interaction vanishes, through fourth order, with contact-term differences that leave local primitive UV divergences unchanged.","lead":"This paper builds a perturbation theory for a ghost quantum field theory in which an exact ghost-parity symmetry survives at every order, via a similarity transformation of the Hamiltonian. It shows that through third and fourth order the new expansion agrees with old-fashioned perturbation theory except for contact terms, and that local ultraviolet divergences are unchanged.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The principal-value solution for the exact ghost-parity operator is assumed, not proven; the third/fourth-order cancellations in Eqs. (38), (53), and (62) depend on it.","rationale":"The reader identified the principal-value prescription for cross-sector energy denominators as the weakest assumption. I agree and sharpen it: the prescription is not merely a regulator choice for individual denominators; it is a boundary condition on the perturbative solution of the exact ghost-parity operator Q. The central comparison with OFPT relies on Poincaré-Bertrand identities that hold for the PV kernels exactly as written. If the exact Q from the companion paper [1] has a different expansion, or if the PV-defined Q1 does not satisfy the Q^2=1 constraints at second order, then h3 and h4 change and the claimed real-part agreement fails. This is a load-bearing concern because it affects the foundation of Z2PT, not a secondary detail. I do not see an internal algebraic contradiction in the displayed chain computations: the fourth-order coefficient identity (53) follows from Eqs. (44), (49)-(52) by straightforward rational algebra, and the distributional identities in Appendix A are standard. The paper is also explicit that the renormalization discussion assumes all-order agreement, which is a stated limitation. The recommended verdict remains CONDITIONAL, matching the reader's assessment; the concern is addressable by a concrete finite-dimensional or continuum consistency check of the Q expansion.","tokens_in":11941,"tokens_out":17064,"duration_ms":166839,"concrete_test":"Implement a two-sector toy model (e.g., one massive scalar per η-sector with a momentum-dependent H⊥) and construct Q1 by the PV formula (22). Then solve the second-order system [Q2,H0]=-[Q1,H1] and {η,Q2}=-Q1^2 in a truncated Fock basis and check consistency: if no Hermitian Q2 exists, the PV ansatz is not the expansion of an exact Q. As a second check, compute the fourth-order coefficient of the chain (41) with the PV rules and verify Eq. (53) numerically for generic momenta; if the identity fails when x,y,z are not independent but lie on the energy-momentum submanifold, the distributional treatment has a hidden boundary-term issue.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the real parts of Z2PT amplitudes coincide with OFPT away from vanishing denominators (Eqs. 38 and 62). Every step of that comparison uses the principal-value prescription of Eq. (22) for cross-sector energy denominators, justified by the superselection rule. But the Q_n are coefficients of an exact operator Q satisfying [Q,H]=0 and Q^2=1; the inversion of [Q_n,H0]=-[Q_{n-1},H1] fixes Q_n only up to the kernel of ad_{H0}, and the Q^2=1 conditions (8)-(10) are additional constraints. The paper never shows that the PV kernel for Q1 admits a Q2 satisfying both [Q2,H0]=-[Q1,H1] and {η,Q2}=-Q1^2, nor that the residual η-preserving ambiguity in Q2 is absent from h3 and h4. If the exact Q from the companion paper [1] expands differently (e.g., with a different treatment of the degenerate cross-sector subspace), every Poincaré-Bertrand cancellation, including the one-half contact terms in (38) and the C22+C4=1/(xyz) result in (53), changes. Section VI also explicitly assumes all-order agreement, so the fourth-order statement is not evidence beyond the displayed chain. This is an unverified input, not an internal contradiction; the main algebra is plausible.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a ghost-parity-preserving perturbation theory (Z2PT) for a ghost QFT, starting from an exact ghost parity Q satisfying [Q,H]=0 and Q^2=1. The author defines a similarity transformation h=gHg^{-1} with g=sqrt(eta Q), expands Q and h order by order, and obtains h_1 through h_4 in terms of commutators with J=[eta,H_1]. Matrix elements are evaluated in the Fock basis, where cross-sector energy denominators are assigned a principal-value prescription because on-shell transitions between opposite eta sectors are forbidden by the superselection rule. The central claims are that, away from vanishing denominators, the real part of Z2PT agrees with old-fashioned perturbation theory (OFPT): at third order through h_1 h_2 plus h_3, and at fourth order, when h_1=0, through h_2^2 plus h_4. Contact terms associated with double-delta support are shown to differ from OFPT, but the paper argues they do not affect local primitive UV divergences through these orders. The paper also discusses renormalization and compares Z2PT with pseudo-Hermitian quantum mechanics and the Schrieffer-Wolff transformation.","tokens_in":12216,"tokens_out":16333,"duration_ms":171297,"significance":"If the central claim holds, the paper provides a concrete perturbative realization of a superselected ghost QFT, addressing a long-standing obstacle to giving ghost theories a probability interpretation. The explicit comparison with OFPT is a genuine strength: it identifies exactly where Z2PT differs from standard perturbation theory, namely in contact terms and imaginary parts, and it gives a structural argument for why primitive UV divergences are unaffected. The distributional identities used in the fourth-order analysis are checked in an appendix, and the paper is refreshingly explicit about its main assumption. However, the principal-value input is not derived from the defining equations of the exact ghost parity, and the higher-order formulas for h_3 and h_4 are stated without derivation. These gaps are load-bearing because the claimed cancellations in Eqs. (38), (53), and (62) all depend on them. The manuscript is therefore a promising but not yet fully established construction.","major_comments":[{"comment":"The principal-value prescription is the load-bearing input of the paper, but it is not derived from the defining equations of the exact ghost parity. Equations (5)-(10) determine Q_n only up to operators in the kernel of ad_{H_0}, and the paper does not show that the exact Q from the companion paper [1] has a Q_1 with the principal-value kernel, nor that the Q^2=1 constraints (8)-(10) are compatible with that choice. Since every cancellation in Eqs. (38), (53), and (62) uses this prescription, the comparison with OFPT is conditional on an unverified input. Please provide a derivation of the principal-value kernel from [Q,H]=0 and Q^2=1, or an explicit proof that the final results are independent of the kernel ambiguity.","section":"Section III, Eq. (22)"},{"comment":"The formulas for h_3 and h_4 are central to the third- and fourth-order claims but are stated without derivation. In particular, Eq. (17) enters directly into the fourth-order coefficient C_4 in Eq. (52) and hence into the main result Eq. (53). Without an appendix showing the expansion of gHg^{-1} to fourth order and the simplifications using Eqs. (5)-(10), the fourth-order algebra cannot be independently verified from the text. Please include the missing derivation or a detailed outline of the computation.","section":"Section II, Eqs. (15)-(17)"},{"comment":"The fourth-order analysis is restricted to h_1=0 and to one fixed alternating state chain (41), and the derivation of C_4 in Eqs. (49)-(51) says that only the matrix elements belonging to that chain are kept. To establish that Eq. (53) is the complete pointwise agreement for the operator h_2^2+h_4, the paper should show explicitly that all operator orderings and all intermediate-state chains contribute with the coefficients given, and that the distributional identities (57)-(61) remain valid after summing over the full Fock basis. As written, the completeness of the chain decomposition is assumed rather than proved.","section":"Section V, Eqs. (48)-(53)"},{"comment":"The statement 'In this section, we assume this agreement at all orders' is an explicit limitation. Consequently, the renormalization conclusions that no eta-flipping counterterms are needed and no independent counterterms are assigned to nonlocal vertices are conditional on an all-order statement that is not proven in the paper. This should be presented as a conjecture or working assumption, not as an established result, to avoid over-interpretation by readers.","section":"Section VI"}],"minor_comments":[{"comment":"The sign convention connecting H_perp^dagger = -H_perp to the displayed matrix elements should be stated explicitly; currently the reader must infer the anti-Hermitian bra/ket convention from Eq. (12).","section":"Section III, Eq. (24)"},{"comment":"The notation C_22, C_4, C_{4,Q3}, and related coefficients is compact; a short table mapping each term in Eq. (17) to its coefficient would greatly improve readability and make the cancellation in Eq. (53) easier to follow.","section":"Section V"},{"comment":"The literature claim that the statement [P,h]=0 does not appear explicitly in PT-symmetric quantum mechanics should be supported by a more specific citation or softened, since absence from the cited references is not evidence of absence from the literature.","section":"Section VII.A"},{"comment":"There are minor typographical and formatting issues, such as the extra space in 'T[ h_1(t1)h_2(t2)]' on page 7 and the inconsistent rendering of 'h_2^2' in the Section V heading; please clean these up in the final version.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The manuscript depends heavily on the companion paper [1] for the existence of the exact ghost parity Q and the probability interpretation. The self-citation is not circular for the OFPT comparison, but the principal-value assumption in this manuscript is tied to properties of Q claimed in [1], so the editorial process should ensure that [1] is available and sound. The paper is within scope for hep-th, but the load-bearing assumptions identified above should be addressed before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. The paper gives a concrete perturbative scheme, Z2PT, that keeps ghost parity eta manifest order by order, and it proves, by direct algebra, that at third order and at fourth order (with h1=0) the real parts of Z2PT amplitudes agree with OFPT away from vanishing denominators. The headline identity, C22+C4 = 1/(xyz) for a fixed chain of four H⊥ insertions, is clean and new, as is the pattern of half-weight double-delta contact terms. The construction is not a parameter fit; it is a formal expansion with an external benchmark.\n\nWhat it does well: the machinery is built carefully. The h1–h4 expressions are compact, the distributional identity (61) is checked in an appendix, and the paper is upfront about where it is assuming rather than proving. The comparison with Schrieffer–Wolff and pseudo-Hermitian QM is useful and honest. The claim that local primitive UV divergences agree with OFPT is structural and plausible, though not a full diagram computation.\n\nThe soft spot is exactly the one the stress-test flags. The PV prescription in Eq. (22) is load-bearing, and its consistency with Q^2=1 is not demonstrated. The recursion [Q_n,H0] = -[Q_{n-1},H1] fixes Q_n only up to the kernel of ad_H0; the paper never shows that a choice exists satisfying (8)–(10) with cross-sector denominators interpreted as principal values. If the exact ghost parity Q from the companion paper expands with a different treatment of the degenerate subspace, the Poincaré–Bertrand cancellations in Eqs. (38) and (62) would change. This is an unverified input rather than an internal contradiction: the displayed algebra is fine given that input.\n\nSome smaller issues. The h4 expressions in Eqs. (49)–(51) are stated after 'keeping only the matrix elements belonging to the fixed chain' without showing intermediate steps; a referee will want that derivation. The fourth-order result is restricted to h1=0, which the paper says plainly. Section VI explicitly assumes all-order agreement, so the fourth-order evidence does not cover renormalization. The citation pattern is sound; the self-cite to the companion is necessary and flagged.\n\nWho gets value: anyone working on higher-derivative gravity, fakeons, or non-Hermitian Hamiltonians. It is a subfield contribution, not a breakthrough, but it deserves a serious referee. My recommendation: send it to review, with instructions to ask for a proof or a clear assumption statement that the PV inversion can be chosen order by order to satisfy Q^2=1, and for a fuller derivation of h4.","headline":"A serious formal construction of ghost-parity-preserving perturbation theory with a new fourth-order cancellation, but the principal-value inversion on which everything depends is assumed rather than proven.","tokens_in":12696,"tokens_out":3374,"would_cite":true,"duration_ms":32811,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A similarity transformation lets a superselected ghost theory be expanded order by order while preserving its probability interpretation.","keywords":["ghost quantum field theory","superselection rule","ghost parity","similarity transformation","old-fashioned perturbation theory","principal-value prescription","renormalization","Fock space"],"falsifier":"Compute a fifth-order Z$_2$PT amplitude (or a fourth-order amplitude with $h_1\\neq 0$) away from vanishing denominators and check whether the nonstandard denominators cancel to the OFPT coefficient; a failure would end the claimed pattern. Alternatively, find a physical process in which an intermediate state of opposite ghost parity can go on shell and show that the principal-value prescription conflicts with unitarity, or compute the double-delta contact terms' contribution to an infrared-sensitive $\\log(p^2/m^2)$ observable and compare its coefficient with OFPT.","tokens_in":11720,"feed_emoji":"👻","tokens_out":9936,"duration_ms":90131,"temperature":0.7,"pith_summary":"This paper tries to establish that a ghost quantum field theory, one with a wrong-sign kinetic term, can be studied perturbatively while respecting a superselection rule based on an exact ghost parity. The construction is a similarity transformation of the Hamiltonian, $h=gHg^{-1}$ with $g=\\sqrt{\\eta Q}$, chosen so that the ghost parity becomes a manifest conserved charge at every order. The paper shows that, away from vanishing energy denominators, this ghost-parity-preserving perturbation theory (Z$_2$PT) reproduces old-fashioned perturbation theory (OFPT) through third order, and through fourth order when the parity-preserving part of the interaction vanishes. The residual differences are contact terms at double-delta support, and these do not alter the local primitive ultraviolet divergences through these orders. If true, this gives a consistent perturbative realization of a superselected ghost QFT and justifies renormalizing it with only ghost-parity-preserving counterterms.","feed_headline":"At 4th order, ghost-parity scheme matches standard perturbation theory","feed_subtitle":"Local UV divergences match through 4th order, keeping renormalization intact.","key_machinery":"The machinery is the similarity transformation $g=\\sqrt{\\eta Q}$, where $\\eta$ is the indefinite metric defining the ghost inner product and $Q$ is the exact ghost parity with $Q^2=1$. Expanding $Q=\\eta+Q_1+Q_2+\\cdots$ and $h=gHg^{-1}=h_0+h_1+h_2+\\cdots$ makes $\\eta$ an order-by-order conserved charge, $[\\eta,h_i]=0$. Because an on-shell transition between opposite $\\eta$ sectors is forbidden by the superselection rule, every cross-sector energy denominator is evaluated with the principal-value prescription $P(1/x)$ rather than $1/(x+i0)$. The Poincaré-Bertrand identities then convert sums of nonstandard denominators into standard OFPT denominators plus delta-function contact terms; this conversion is what carries the claimed agreement with OFPT.","core_discovery":"On the paper's own terms, the central discovery is a cancellation law for the nonstandard energy denominators that the similarity transformation generates. At second order the transformed operator $h_2$ reproduces the real part of the Feynman amplitude. At third order, the products of $h_1$ and $h_2$ combine with $h_3$; away from vanishing denominators the combined coefficient matches OFPT. At fourth order, with $h_1=0$, the contributions from $h_2^2$ and $h_4$ add to the OFPT coefficient $1/(xyz)$, and the complete real fourth-order Z$_2$PT coefficient is $P_x P_y P_z - \\frac{\\pi^2}{2}(\\delta_x \\delta_y P_z + P_x \\delta_y \\delta_z)$. The double-delta contact terms that distinguish Z$_2$PT from OFPT are supported where intermediate states have the initial energy and therefore cannot produce a primitive UV divergence. The paper concludes that Z$_2$PT is the perturbative realization of the superselected ghost theory, with local UV-divergent parts identical to the original ghost theory through these orders.","pith_inferences":["The paper leaves open whether the all-order agreement of local primitive UV divergences assumed in its renormalization section actually holds; the fourth-order pattern suggests it may, because each contact term fixes the intermediate-state momenta and so cannot seed a primitive divergence.","The observed one-half and zero double-delta coefficients hint at a general rule for higher orders: a contact term is halved when exactly one delta references an opposite-sector energy and absent when both do; this would make the Z$_2$PT/OFPT difference purely local in energy space.","Since the rotation is algebraically the same object as the Schrieffer-Wolff rotation, the construction should transfer to any system with an exact parity that is broken only by the free Hamiltonian, such as lattice models with reflection symmetry.","The sharpest testable contrast with fakeon schemes is that Z$_2$PT assigns the principal value to the transition type rather than the particle species, so observables sensitive to a ghost going on shell inside a same-sector intermediate state should differ between the proposals."],"forward_implications":["Z$_2$PT can be renormalized directly with local $\\eta$-preserving counterterms, and the counterterm coefficients agree with those of the original ghost theory.","Real Z$_2$PT amplitudes differ from OFPT only by double-delta contact terms supported where two intermediate states have the initial energy; these can affect phase shifts and cross sections but not primitive UV divergences.","The principal-value prescription is attached to the type of transition, not the particle species, so ghosts can appear as physical initial or final states and in same-sector intermediate states without losing the probability interpretation.","At second order Z$_2$PT reproduces the real part of the Feynman amplitude while removing the cross-sector cut, so the theory's imaginary parts are changed by design to respect the superselection rule."],"supporting_citations":[{"why":"Supplies the exact ghost parity $Q$, the metric $G=\\eta Q$, the similarity $g=\\sqrt{G}$, and the relation $\\eta=gQg^{-1}$ that the whole expansion starts from.","marker":"[1]"},{"why":"Provides the pseudo-Hermitian metric-operator construction that maps a real-spectrum non-Hermitian Hamiltonian to a Hermitian one, the context for $h=gHg^{-1}$.","marker":"[2]"},{"why":"Shows the Schrieffer-Wolff rotation is algebraically the same as $g=\\sqrt{\\eta Q}$, used to identify $h_2$ with the effective Hamiltonian and contrast recursions.","marker":"[6]"},{"why":"Defines old-fashioned perturbation theory and its $i\\varepsilon$ energy-denominator structure, the baseline against which Z$_2$PT is compared.","marker":"[7]"},{"why":"Introduces the fakeon principal-value propagator that Z$_2$PT's $P$ prescription is compared with and distinguished from.","marker":"[8]"},{"why":"Supplies the infrared-sensitive $\\log(p^2/m^2)$ running terms in quadratic gravity whose coefficients the double-delta contact terms could alter.","marker":"[10]"}],"fun_headline_variants":["Ghost-parity perturbation theory matches standard at 4th order","Superselected ghost theory: parity scheme aligns with standard","Z2PT reproduces standard perturbation coefficients through 4th","Ghost-parity scheme matches standard perturbation up to 4th order","Superselected ghost theory: perturbation matches known results"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that no intermediate state with the opposite ghost parity can ever go on shell, so every cross-sector energy denominator must be read with the principal-value prescription; if a cross-sector on-shell transition is kinematically allowed, or the exact ghost parity does not have the assumed expansion, the Z$_2$PT amplitudes and their match to OFPT would change.","fun_headline_variants_meta":{"raw":{"variants":["Ghost-parity perturbation theory matches standard at 4th order","Superselected ghost theory: parity scheme aligns with standard","Z2PT reproduces standard perturbation coefficients through 4th","Ghost-parity scheme matches standard perturbation up to 4th order","Superselected ghost theory: perturbation matches known results"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000176,"raw_usage":{"total_tokens":1304,"prompt_tokens":977,"completion_tokens":327,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":593,"completion_tokens_details":{"reasoning_tokens":243}},"tokens_in":593,"tokens_out":327,"duration_ms":3784,"temperature":1.0,"reasoning_tokens":243,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:17:37.621156+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute a fifth-order Z$_2$PT amplitude (or a fourth-order amplitude with $h_1\\neq 0$) away from vanishing denominators and check whether the nonstandard denominators cancel to the OFPT coefficient; a failure would end the claimed pattern. Alternatively, find a physical process in which an intermediate state of opposite ghost parity can go on shell and show that the principal-value prescription conflicts with unitarity, or compute the double-delta contact terms' contribution to an infrared-sensitive $\\log(p^2/m^2)$ observable and compare its coefficient with OFPT.","supporting_citations":[{"cited_title":"Superselected ghost theory: real spectrum","cited_arxiv_id":"2608.06605","evidence_quote":"Supplies the exact ghost parity $Q$, the metric $G=\\eta Q$, the similarity $g=\\sqrt{G}$, and the relation $\\eta=gQg^{-1}$ that the whole expansion starts from."},{"cited_title":"9.5) and Schwartz (Chap","cited_arxiv_id":null,"evidence_quote":"Defines old-fashioned perturbation theory and its $i\\varepsilon$ energy-denominator structure, the baseline against which Z$_2$PT is compared."}],"review_version":1}