{"id":"1992fa9d-0d58-429c-aae9-378d44377134","arxiv_id":"2506.20526","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"By dropping locality, the authors construct reflection-positive Euclidean distributions, quasi-Schwinger functions, that encode relativistic quantum mechanics of finite particle systems with cluster properties.","lead":"Relativistic quantum models of a finite number of particles are usually hard to build when they must respect both Einstein's symmetries and the separation of distant systems. This paper constructs a broad class of Euclidean-space objects, called quasi-Schwinger functions, that produce such models with a positive Hilbert space inner product and no analytic continuation.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Reflection-positivity proof for the connected four-point function relies on the identity θx·p = (x·p)*, false for real Euclidean momenta; an unstated reality condition on the vertex functions is needed, so the constructed class is not yet shown to be reflection positive.","rationale":"The reader correctly identified that the intermediate-state ansatz of Eqs. (92) and (106) is assumed rather than proved exhaustive, and that the spectral density is dynamical input rather than output. Those are genuine limitations, but the paper's central claim is an existence claim: by relaxing locality, a large class of reflection-positive Euclidean covariant distributions satisfying cluster properties can be constructed. Exhaustiveness is not needed for that existence claim, and the spectral-density issue affects physical usefulness more than mathematical validity. The stress-test pass finds a more direct and concrete problem: the reflection-positivity proof for the connected four-point function contains an identity that is false for real Euclidean momenta, and the subsequent factorization into a positive quadratic form silently requires a reality condition on the vertex functions that is not part of the stated assumptions. If the identity is interpreted as holding only at the residue pole, the proof still needs an extra hypothesis, such as S_n,a real for real arguments, to justify replacing S*_2(θ(x1−x2), pe) by (S_2(x1−x2, pe))*. Without that hypothesis, the constructed connected functions are not shown to define a positive inner product, and the claimed class may not be reflection positive. The issue is fixable by imposing the missing reality condition and rewriting the contour argument carefully, so the verdict remains CONDITIONAL rather than REJECT. The reader's weakest_assumption did not flag this internal gap, so agreement is only partial. The recommended verdict is unchanged from the reader's CONDITIONAL assessment, but the condition should be understood as requiring a corrected positivity proof for the connected construction, in addition to the already acknowledged limitations on exhaustiveness and spectral dynamics.","tokens_in":22211,"tokens_out":17560,"duration_ms":202865,"concrete_test":"Re-derive the reflection-positivity integral (102)–(105) for a scalar connected four-point function without invoking the identity θx·pe = (x·pe)*. Determine whether the integrand factors as |∫ f S_2 exp(−ωX0) exp(−ip·(x1+x2))|^2 times a positive measure, and check whether factorization requires S_2(θ(x1−x2), (−iω,p)) = (S_2(x1−x2, (−iω,p)))* for all x, p. Then choose a nonreal Euclidean-invariant analytic vertex function, e.g., S_2(u,p) = i exp(−(u·u)) with u = x1−x2, and a compactly supported positive-time test function; if the quadratic form (102) can be negative, the construction as stated is not reflection positive. Alternatively, insert the explicit hypothesis that S_n,a is real-valued for real Euclidean arguments and verify that the positivity proof then goes through without the invalid identity.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central existence claim depends on showing that the connected quasi-Schwinger functions introduced in Sec. VII are reflection positive. In the four-point proof, between Eqs. (103) and (104), the authors use the identity θ(xe1−xe2)·pe = ((xe1−xe2)·pe)*. For real Euclidean pe, θx·pe = −x0 p0 + x·p, while (x·pe)* = x0 p0 + x·p; these differ unless x0 p0 = 0. The identity is used to replace S*_2(θ(x1−x2), pe) by (S_2(x1−x2, pe))* in the integrand, which is essential for factoring the quadratic form (105) into a manifestly positive |∫ f S_2 e^{−ω(...)}|^2 structure. The identity only holds after the p0 contour is fixed at the pole p0 = −iω, and even then only if the vertex function satisfies a reality condition such as S_2 real for real arguments, so that Euclidean invariance gives S_2(θx, (−iω,p)) = (S_2(x, (−iω,p)))*. Neither the pole qualification nor any reality condition on S_n,a is stated; Eqs. (92)–(93) and (106) assume only analyticity in pe and decay in coordinate separations. Consequently, for arbitrary complex Euclidean-invariant vertex functions, the non-negativity of (102) is not established. Since the generalization to (106) is asserted to follow the four-point case, the same gap propagates to the full construction. This is more load-bearing than the exhaustiveness and spectral-density limitations noted by the reader, because it affects the positivity of the very examples the paper claims to construct.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a Euclidean formulation of relativistic quantum mechanics for finite numbers of degrees of freedom by dropping the locality axiom and replacing a single N-point Schwinger function with N−1 quasi-Schwinger functions distinguished by the number of initial and final coordinates. The two-point functions are explicitly constructed from positive-mass, positive-energy irreducible representations of the Poincaré group, and the paper claims that connected multi-point functions built from an assumed intermediate-state ansatz satisfy Euclidean covariance and reflection positivity, thereby defining a physical Hilbert space inner product with self-adjoint Poincaré generators, cluster properties, and a spectral condition. Section VIII provides a cluster expansion using a formal linked-cluster generating functional. The conclusion acknowledges that the spectral density is an assumption rather than a derived dynamical input.","tokens_in":22619,"tokens_out":10606,"duration_ms":111233,"significance":"If the construction is correct, it offers an interesting route to non-local relativistic quantum mechanical models in which physical inner products and scattering calculations can be performed without analytic continuation. The explicit two-point construction in Section V is a clean demonstration of how Lorentz-covariant inner products emerge from reflection-positive Euclidean kernels, and the paper's honest statement that the spectral density is dynamical input is a useful clarification of the method's scope. The proposal to replace one N-point function by N−1 reflection-positive distributions with different initial/final splits is a genuinely new structural feature that could simplify positivity conditions in non-local models. However, the central existence claim for connected multi-point functions is not yet rigorously established because the reflection-positivity proof contains a load-bearing gap.","major_comments":[{"comment":"The reflection-positivity proof uses the identity θ(xe1−xe2)·pe = ((xe1−xe2)·pe)*, which is false for real Euclidean momenta pe. The identity holds only at the pole p0 = −iωλ(p), and even there it requires a reality condition on the vertex function, such as S_2 being real for real Euclidean arguments, so that Euclidean invariance yields S_2(θx, p_e) = (S_2(x, p_e))*. No such reality condition is stated in the assumptions on S^{s1s2:s}_2 (Eqs. (92)-(93)) or on the general S_{n,a} (Eq. (106)). As written, the replacement of S*_2(θ(x1−x2), pe) by (S_2(x1−x2, pe))* in passing from (103) to (104) is unjustified, so the non-negativity of the quadratic form (102) is not established.","section":"Section VII, Eqs. (103)-(104)"},{"comment":"The paper asserts that the proof of Euclidean covariance and reflection positivity for the general connected quasi-Schwinger functions 'follows the proof in the four-point case.' Since the four-point proof has the gap described above, the reflection positivity of the general class in Eq. (106) is not proven. A repaired argument would need either an explicit reality/positive-definiteness condition on the vertex functions S_{n,a} or an alternative derivation that does not rely on the false identity.","section":"Section VII, after Eq. (106)"},{"comment":"The intermediate-state mass is denoted m in Eq. (92) but λ in Eqs. (103)-(105), and the residue calculation in (105) uses ωλ(p). This inconsistency makes it unclear which mass parameter appears in the spectral decomposition and in the assumed ρ(m) of Eq. (107). The notation should be unified, and the role of ρ(m) in the connected four-point function should be made explicit.","section":"Section VII, Eq. (92) versus Eqs. (103)-(105)"},{"comment":"The paper explicitly assumes that every connected quasi-Schwinger function has the intermediate-state convolution form (92)/(106), with Euclidean-invariant, p_e-analytic vertex functions that vanish at large coordinate separations. No proof is given that all reflection-positive Euclidean covariant distributions admit such a decomposition, so the claim to characterize the 'general structure' of such distributions is stronger than what is established. This is a scope limitation that should be clearly stated in the introduction and conclusion.","section":"Section VII, Eqs. (92) and (106)"}],"minor_comments":[{"comment":"In the displayed expression after the residue integration, the spatial Fourier phases e^{±ip·x} appear to be missing inside the brackets, and the factor e^{−ω(x0_e1+x0_e2)} is placed outside the integral. This makes the expression ambiguous; please move the exponential inside the integral and include the spatial phases so that the Fourier transform structure is explicit.","section":"Section V, Eq. (105)"},{"comment":"There is a duplicated phrase 'are are' in the sentence beginning 'Dot superscripts are are used...'.","section":"Section IV, paragraph after Eq. (19)"},{"comment":"Reference [53] contains a typo: 'Succicient' should be 'Sufficient'. Also, the citation 'see of [53]' in Section III should give a specific page or theorem number.","section":"References"},{"comment":"The statement that 'reflection positivity is preserved under addition and tensor products' is standard but should be either proven in a line or accompanied by a reference, since it is a key ingredient in the cluster-expansion argument.","section":"Section VIII, first paragraph"},{"comment":"The Clebsch-Gordan coefficient ⟨s1, µ1, s2, µ2|s, µ⟩ is real, but the transition from (103) to (104) applies a complex conjugate to this factor; the reality should be stated explicitly to avoid confusion.","section":"Section VII, Eq. (103)"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses a topic of potential interest to hep-th and mathematical physics readers, and the two-point construction is a solid contribution. The main obstacle is the reflection-positivity proof for connected multi-point functions: the algebraic identity used in Eqs. (103)-(104) is false for real momenta, and a missing reality condition on the vertex functions is needed. This is fixable within the manuscript's scope, so I recommend major revision rather than rejection. Please also ask the authors to reconcile the m/λ notation and to state the scope limitation concerning the assumed intermediate-state ansatz more prominently."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper's real contribution is the explicit connected four-point quasi-Schwinger function and the linked-cluster generating functional, which show a plausible route to exactly Poincaré-invariant few-body models with cluster properties. The two-point derivation in Sec. V is clean and standard, and the claim that physical inner products can be computed without analytic continuation is well supported. The authors are also honest about what is missing: a dynamical principle and a calculated spectral density.\n\nThat said, the central new proof has a gap. Between Eqs. (103) and (104), reflection positivity is supposed to follow by writing S*_2(θΔ, pe) as (S_2(Δ, pe))*. The stated justification, θΔ·pe = (Δ·pe)*, is false for real Euclidean pe; it only holds after the p0 contour is fixed at the pole p0 = −iω. Even at the pole, you need an unstated reality condition on the vertex functions (for example, that S_2 is real for real arguments, so that Euclidean invariance plus Schwarz reflection gives the right relation). Without that, the non-negativity of (102) is not established. Since the general m+n construction is explicitly modeled on this four-point proof, the gap propagates.\n\nI also noticed that Eq. (105), after the residue evaluation, appears to drop the spatial plane-wave factors e^{ip·(x1+x2)} and e^{-ip·(y1+y2)}. That may be a typo, but as printed the factorization into the two integrals is hard to follow. A referee should ask for this to be cleaned up.\n\nThese are fixable defects, not evidence that the program is wrong. The two-point part is solid, and the intermediate-state ansatz is a reasonable conjecture, even if its exhaustiveness is unproved. The authors themselves flag the spectral-density issue. The paper is worth engaging with.\n\nWho is it for: mathematical physicists and few-body nuclear theorists who want a Euclidean construction of relativistic quantum mechanics without locality. I would send it to peer review rather than desk reject, but the authors should be required to repair the reflection-positivity proof, state the needed reality condition, and correct the plane-wave factors.","headline":"The two-point construction is clean and the structural idea is interesting, but the connected four-point reflection-positivity proof has a genuine gap that needs fixing before the general claims hold.","tokens_in":23082,"tokens_out":9530,"would_cite":false,"duration_ms":100057,"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":"Relaxing locality produces Euclidean relativistic quantum models with a Hilbert space, cluster properties, and a spectral condition, all without analytic continuation.","keywords":["reflection positivity","quasi-Schwinger functions","Euclidean covariance","cluster properties","spectral condition","Poincaré generators","nonlocal relativistic quantum mechanics","linked cluster expansion"],"falsifier":"Take any proposed non-negative spectral density and Euclidean-invariant vertex functions that are analytic in $p_e$ and decay in coordinate separations, evaluate the connected four-point kernel (92) on reflected-time test functions, and check numerically that the resulting inner-product matrix is positive semidefinite; a counterexample distribution that is reflection positive and Euclidean covariant but cannot be written in this convolution form would likewise show that the claimed general structure is not exhaustive.","tokens_in":21996,"feed_emoji":"⚛️","tokens_out":14285,"duration_ms":149382,"temperature":0.7,"pith_summary":"This paper aims to show that relativistic quantum mechanics of a finite number of degrees of freedom can be cast in Euclidean form without assuming locality, the axiom that makes ordinary field-theoretic reflection positivity so restrictive. It proposes that the dynamical content be carried by reflection-positive Euclidean covariant distributions, called quasi-Schwinger functions, with one distribution for each split of an $N$-point function into initial and final variables rather than a single symmetric $N$-point Schwinger function. On the Hilbert space built from these distributions the Poincaré generators are self-adjoint, satisfy cluster properties, and have a Hamiltonian bounded below, so quantum calculations can be done directly in the Euclidean representation without analytic continuation. The price is that the spectral density behind the mass spectrum is an assumed input, not something the axioms determine.","feed_headline":"Dropping locality still yields workable Euclidean quantum mechanics","feed_subtitle":"Replacing one symmetric N-point function by N-1 distributions relaxes positivity and lets calculations run without analytic continuation.","key_machinery":"The machinery is the quasi-Schwinger function: a Euclidean covariant distribution indexed by separate initial and final Euclidean coordinates, replacing one symmetric Schwinger function. Connected quasi-Schwinger functions are built from the assumed intermediate-state form, a convolution of initial and final Euclidean-invariant vertex functions $S_{n,a}(X-x_i; p_e)$ around a propagator $D^s(p_e\\cdot\\sigma_e)/(p_e^2+m^2)$ with a non-negative spectral weight $\\rho(m)$. Reflecting the initial Euclidean time turns the time integral into a contour integral whose only pole is at $p_e^0=-i\\omega_m(p)$; after the residue is taken, the kernel becomes a positive matrix built from the spin-$s$ representation matrices $D^s(p_m\\cdot\\sigma_m)/2\\omega_m(p)$, which are squares of Hermitian matrices. A one-variable Laplace-representation theorem [53] supplies the prototype for turning reflection positivity into a spectral representation, and a formal linked-cluster expansion converts sums of connected kernels into quasi-Schwinger functions with cluster properties.","core_discovery":"The central discovery is that the $N$-point functions of a local Euclidean field theory, constrained by symmetry, can be replaced in the nonlocal setting by $N-1$ independent distributions with $m$ initial and $k=N-m$ final points, and that this split relaxes reflection positivity into a workable condition while preserving the structures needed for physics. The paper constructs connected versions of these quasi-Schwinger functions from intermediate-state propagators with positive spectral weight and Euclidean-invariant vertex functions, proves that they satisfy Euclidean covariance and reflection positivity, and assembles them through a linked-cluster expansion into distributions satisfying cluster properties. The resulting Hilbert-space inner product is non-negative by construction, and the Euclidean generators become self-adjoint Poincaré generators with a Hamiltonian that is bounded from below.","pith_inferences":["If the vertex-function ansatz is in fact exhaustive, reflection positivity plus Euclidean covariance for connected distributions would reduce to a spectral condition, turning the construction into a classification scheme; the paper proves sufficiency in one direction but not this converse.","A natural next step, not taken in the paper, would be to generate quasi-Schwinger functions from an approximate dynamical input such as lattice data or truncated Euclidean integral equations; the paper fixes the structural constraints such an input would have to satisfy.","The same split of one N-point object into several initial-final distributions might soften reflection-positivity obstructions in other nonlocal Euclidean settings, such as effective hadronic models or open quantum systems, wherever locality is not available."],"forward_implications":["Cluster-separable relativistic few-body models can be written directly in Euclidean space, bypassing the recursive unitary constructions needed in direct-interaction relativistic quantum mechanics.","Quantum-mechanical inner products and expectation values are computable from the Euclidean distributions themselves, so analytic continuation is not required for practical calculations.","Local Euclidean field theories fit inside the construction, since their symmetric Schwinger functions satisfy all of the reflection-positivity conditions imposed on quasi-Schwinger functions.","The dynamical problem separates from the structural one: any future dynamical principle that supplies an acceptable spectral density and vertex functions automatically yields a well-defined Euclidean representation with the required physical properties."],"supporting_citations":[{"why":"Supplies the earlier Euclidean formulation of relativistic quantum mechanics and its computational justification, which the present paper extends.","marker":"[1]"},{"why":"Provides the explicit self-adjoint Poincaré generators for n-particle models that the constructed Hilbert space is meant to support.","marker":"[5]"},{"why":"Defines the Euclidean axioms, including reflection positivity, whose locality axiom is relaxed here.","marker":"[8]"},{"why":"Continues those axioms and fixes the reconstruction properties that the quasi-Schwinger functions must satisfy.","marker":"[9]"},{"why":"Establishes that reflection positivity yields a positive inner product and a Hamiltonian bounded below.","marker":"[44]"},{"why":"Gives the one-dimensional Laplace-representation theorem used as the prototype for converting reflection positivity into a spectral representation.","marker":"[53]"},{"why":"Classifies the unitary irreducible representations of the Poincaré group that serve as the single-particle building blocks.","marker":"[54]"}],"fun_headline_variants":["Nonlocal Euclidean quantum mechanics from split N-point functions","Relaxing locality in Euclidean quantum mechanics via distribution splits","Splitting N-point functions yields nonlocal Euclidean quantum models","Euclidean quantum mechanics with relaxed reflection positivity","Split N-point functions enable nonlocal Euclidean quantum theory"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that every connected quasi-Schwinger function can be written as the assumed intermediate-state convolution of Euclidean-invariant vertex functions around a positive propagator with a non-negative spectral weight, with the vertex functions analytic in the momentum variable and decaying in coordinate separations, and that an acceptable spectral density exists; the paper labels this structure as assumed rather than derived.","fun_headline_variants_meta":{"raw":{"variants":["Nonlocal Euclidean quantum mechanics from split N-point functions","Relaxing locality in Euclidean quantum mechanics via distribution splits","Splitting N-point functions yields nonlocal Euclidean quantum models","Euclidean quantum mechanics with relaxed reflection positivity","Split N-point functions enable nonlocal Euclidean quantum theory"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000255,"raw_usage":{"total_tokens":1512,"prompt_tokens":825,"completion_tokens":687,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":441,"completion_tokens_details":{"reasoning_tokens":609}},"tokens_in":441,"tokens_out":687,"duration_ms":7162,"temperature":1.0,"reasoning_tokens":609,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T22:46:14.616406+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take any proposed non-negative spectral density and Euclidean-invariant vertex functions that are analytic in $p_e$ and decay in coordinate separations, evaluate the connected four-point kernel (92) on reflected-time test functions, and check numerically that the resulting inner-product matrix is positive semidefinite; a counterexample distribution that is reflection positive and Euclidean covariant but cannot be written in this convolution form would likewise show that the claimed general structure is not exhaustive.","supporting_citations":[{"cited_title":"intermediate states","cited_arxiv_id":null,"evidence_quote":"Supplies the earlier Euclidean formulation of relativistic quantum mechanics and its computational justification, which the present paper extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the explicit self-adjoint Poincaré generators for n-particle models that the constructed Hilbert space is meant to support."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes that reflection positivity yields a positive inner product and a Hamiltonian bounded below."},{"cited_title":"Grang´ e, J.-F","cited_arxiv_id":null,"evidence_quote":"Gives the one-dimensional Laplace-representation theorem used as the prototype for converting reflection positivity into a spectral representation."},{"cited_title":"Scharf, Quantum gauge theories: A true ghost story (Wiley, New York, USA, 2001)","cited_arxiv_id":null,"evidence_quote":"Classifies the unitary irreducible representations of the Poincaré group that serve as the single-particle building blocks."}],"review_version":1}