{"id":"349179d7-637f-4478-8c08-21fd43e04866","arxiv_id":"2607.20304","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Quantum field theory can be reformulated entirely in real numbers by substituting the matrix J for i, with all physical predictions unchanged.","lead":"This paper rewrites quantum field theory using only real numbers, replacing the imaginary unit i with a 2x2 matrix J throughout. The result is an equivalent reformulation that does not change any predictions, plus a real-number version of the Standard Model.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Massless mass-shell Schwartz claim (Thm 3) is false, but scalar equivalence survives in L^2; the load-bearing gap is the unverified realified SM Yukawa algebra (7.42), on which the SM realification claim rests.","rationale":"Reader's weakest assumption is a genuine error (Thm 3 false for m=0) but it is not load-bearing. The scalar RQFT is constructed on a real Kähler Fock space isomorphic to the complex Fock space at the L^2 level; the false Schwartz claim is stronger than needed. The smeared field operators exist for L^2 one-particle wavefunctions, and the commutator/Wightman identities are integral identities that converge on the counterexample. The central scalar equivalence (γ(W2)=W2, propagator §4, optical theorem §6.2) is checked independently and is not affected. The phrase 'almost smooth' in C.2 and the missing proof ('The prof is the same...') are presentation flaws, not fatal.\n\nThe SM realification, however, is asserted rather than demonstrated. The realified Yukawa term (7.42) is the only place where the complex CKM/PMNS phases are encoded (7.43)-(7.44); an incorrect coefficient would mean the realified theory does not reproduce the SM. The paper's own language ('we sketch', 'after algebraic calculations') and the absent notebooks make this the least secure link between the algebra and the headline claim. The concrete test above would settle it. Since the reader's verdict is already CONDITIONAL, and this concern supports the same condition, I recommend UNCHANGED.","tokens_in":34415,"tokens_out":15259,"duration_ms":141406,"concrete_test":"Independently expand Eq. (7.42) for one fermion generation using the explicit realifications (F.35), (7.37), (7.40), and (7.43)-(7.44); apply γ (inverse realification, (B.9)) to the result and verify it equals the standard complex Yukawa Lagrangian (7.32) term-by-term, including the CKM/PMNS phases. Also verify gauge invariance of (7.42) under the transformations (7.20)-(7.24). If necessary, obtain the referenced MatrixM4.nb/Matrix6.nb or re-derive the group realification determinants to confirm the SU(2)/SU(3) embeddings. A computer-algebra check (e.g., SymPy or Mathematica) would settle whether the realified SM action is exactly equivalent to the complex SM action.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's counterexample is correct: for m=0, ω_k=|k| is not differentiable at k=0, and f(t,x)=∂_t(e^{-t^2-|x|^2}) gives f̃(k)∝|k|e^{-|k|^2/2}, not C^1, so Appendix C.2 Theorem 3 is false. But this is not the most load-bearing point. The scalar construction requires f̃∈L^2, not Schwartz; |k|e^{-|k|^2/2} is L^2, and the commutator (2.10) and Wightman integral (3.1) converge. The massless Wightman computation in §3.1.1 is a direct p-integral, independent of Theorem 3. The real load-bearing gap is in the Standard Model realification: §7.4 states the realified Yukawa Lagrangian (7.42) 'after algebraic calculations' with no derivation and references unpresented Mathematica notebooks; §F.3 defines the real chiral action only symbolically (F.55) without well-defined Grassmann Berezin integration. The abstract's claim that the SM 'can be consistently formulated over the real numbers without any loss of physical content' rests on this unverified algebra. A factor or sign error in (7.42) would break the equivalence.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a purely real formulation of quantum field theory, RQFT, obtained by replacing the imaginary unit i with a real 2x2 matrix J throughout the standard complex formalism. For a real scalar field it constructs a field operator in a real Kähler Fock space, defines J-Wightman functions, J-Feynman propagators, a J-version of the Sokhotski–Plemelj formula, and an S-matrix satisfying both orthogonality and symplecticity instead of unitarity. It verifies a one-loop J-optical theorem in λΦ^4 theory. The second half claims that the Standard Model, including its Yukawa sector, can be 'realified' without loss of physical content, with ortho-symplectic gauge representations and J-symmetry breaking discussed as a beyond-Standard-Model marker.","tokens_in":34641,"tokens_out":10011,"duration_ms":87931,"significance":"The scalar-field part of the paper is a clear and mostly rigorous exercise in real reformulation: it gives explicit isomorphisms between real and complex Fock spaces, checks the J-Fourier calculus, and demonstrates that the two-point functions, propagator, and one-loop discontinuity are the R-images of the usual complex objects. If the SM realification were fully established, the paper would be conceptually valuable for foundations and for approaches where real geometric structures are preferred. The paper honestly states that RQFT does not produce new numerical predictions, and I credit the explicit γ-isomorphism, the J-Sokhotski derivation, and the J-optical theorem check as concrete, checkable content. However, the Standard Model claim currently rests on unverified algebraic assertions, not on a derivation that a referee can verify.","major_comments":[{"comment":"The theorem asserts that for m=0 the mass-shell restriction of the J-Fourier transform of a Schwartz function is again Schwartz. This is false: the parametrization k ↦ (|k|, k) is not differentiable at k=0. A concrete counterexample is f1=f2=∂_t(e^{-t^2-|x|^2}) ∈ S(R^4); its mass-shell Fourier transform is proportional to |k| e^{-|k|^2/4}, which is not C^1 at k=0, let alone Schwartz. The proof claims the result follows from the standard case, but the massless shell is not a smooth submanifold in the relevant parametrization. This invalidates the statement as written and the comment after Eq. (2.7). The scalar construction can likely be repaired because the smeared field only needs L^2 rather than Schwartz test functions on the mass shell, and the Wightman integral (3.1) is a direct p-integral, but Theorem 3 must be corrected (e.g., replace S(R^3) by L^2(R^3)^2 or a suitable weighted Schw","section":"Appendix C.2, Theorem 3 (Eq. C.10)"},{"comment":"The realified Standard Model Yukawa Lagrangian is the load-bearing step for the abstract's claim that the Standard Model admits a consistent real formulation. Yet Eq. (7.42) is introduced with only 'after algebraic calculations' and references to unpublished Mathematica notebooks. No derivation from Eqs. (7.34)–(7.36) is given, the index conventions (r,s,t) are not defined, and the resulting gauge invariance is not checked. A sign or factor error in (7.42) would silently break the claimed equivalence. This is not a presentation issue: the central SM realification claim cannot be refereed without a complete, verifiable derivation of (7.42)–(7.44), or at least an independent check of the fermion mass matrices in (7.49).","section":"§7.4, Eq. (7.42)"},{"comment":"The realified Weyl kinetic action is written symbolically as L_R^W = g(Ξ, JΣ^μ∂_μΞ), with the parenthetical 'with the understanding that Ξ is Grassmann odd.' This is not a well-defined action: products of Grassmann fields require a Berezin measure and an explicit statement of which variables are integrated, and the normalization relative to iχ†σ̄^μ∂_μχ is not established. Since the fermion kinetic term is essential for the realification of the Standard Model, this gap must be closed by giving the explicit Berezin integral and proving that it reproduces the complex Weyl action.","section":"Appendix F.3, Eq. (F.55)"},{"comment":"The paper's central statement that 'physical observables in RQFT coincide with those of ordinary QFT' is, for the scalar theory, guaranteed by the explicit isomorphism γ between the real Kähler Fock space and the complex Fock space, and by the R-map that sends J to i in every formula. This is not an independently derived prediction. The manuscript should state more explicitly which statements are theorems (valid for the free and perturbative scalar theory) and which are conjectural (e.g., non-perturbative existence, full SM equivalence). Otherwise the reader may attribute more independence to the coincidence claim than the construction actually provides.","section":"General framing"}],"minor_comments":[{"comment":"The sentence 'More details about realification of group U(1), SU(2) and SU(2)' should read 'U(1), SU(2) and SU(3)'.","section":"§7.2, p. 24"},{"comment":"There is a typo: 'The prof is the same as in the standard Fourier transform' should be 'The proof is the same...'.","section":"Appendix C.2"},{"comment":"The approximate denominator in (3.17) drops a factor of 2 in the ε^2(r^2+x_0^2) term relative to the exact product (ε^2+(r-x_0)^2)(ε^2+(r+x_0)^2). The final distributional formula may still be correct, but the intermediate approximation is misleading and should be corrected or stated as leading-order only.","section":"§3.1.1, Eqs. (3.17)–(3.21)"},{"comment":"Several displayed formulas contain stray '0' characters at the end (e.g., 'J sgn(x0−y0) 0' and 'J0 (x0−y0)'). These look like layout artifacts and should be removed.","section":"Eqs. (3.21), (3.25), (8.4)"},{"comment":"The text refers to 'Mathematica: MatrixM4.nb' and 'Matrix6.nb', but these notebooks are not included with the submission. Either include them as supplementary material or remove the references, since the determinant and commutation claims should be verifiable from the displayed formulas.","section":"Appendices E.2.1, E.3.1"},{"comment":"There are duplicated equation numbers (e.g., two equations labeled (3.11)) and inconsistent notation for the conjugate Higgs doublet (\\(\\tilde H\\) vs. \\(eH\\)). These should be cleaned up.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The scalar RQFT construction is sound and publishable in principle, and the one-loop optical-theorem check is a genuine strength. The problem is the Standard Model section: Eq. (7.42) and the fermionic action (F.55) are asserted rather than derived, and the paper's headline claim about the SM depends on them. I therefore recommend major revision rather than rejection; if the missing algebra is supplied and the false massless-shell statement is corrected, the paper could be acceptable. The referee report focuses on the load-bearing gaps and does not demand new physics predictions, since the paper itself disclaims them."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should read this if you care about real-number formulations of QFT. The scalar-field part is honest and mostly rigorous: the J-calculus (J-Fourier transform, J-Wightman/Feynman functions, J-Sokhotski–Plemelj, J-Cutkosky rules) is genuinely new in the infinite-dimensional setting, and the one-loop optical theorem check is a real calculation that works. The paper also states clearly, more than once, that RQFT produces no new physical predictions—it is an equivalent reformulation. That is the right framing, and the field-doubling/SM realification is explicitly advertised as standard. Credit where it is due: the authors do not oversell the physics, and the isomorphism between the real Kähler Fock space and the complex Fock space is written out carefully.\n\nThe soft spots are in proportion. The reader and stress-test note both flag Theorem 3 in Appendix C.2: for m=0, restricting the J-Fourier transform of a Schwartz function to the mass shell k0=|k| does not give a Schwartz function on R^3. The counterexample is correct, and the proof's appeal to the standard complex case is wrong for the massless parametrization. That said, this is not fatal to the scalar construction: the Wightman two-point function is a direct p-integral, and the objects you actually need are L^2, not Schwartz. So I treat Theorem 3 as a fixable gap, not a breaking flaw.\n\nThe load-bearing gap is in Section 7.4, where the realified SM Yukawa Lagrangian (7.42) is stated “after algebraic calculations” with no derivation and no shipped Mathematica notebook. Given that the abstract's strongest claim—that the SM can be consistently formulated over the reals—rests on that algebra, the current manuscript does not support the claim at the same standard as the scalar part. A sign or factor error in (7.42) would break the equivalence. The Weyl action is likewise only symbolic (F.55). These are addressable, but until the algebra is shown, the SM realification is a sketch.\n\nWho is this for? People working on foundations, real Hilbert space QM, symplectic approaches to quantum theory, and possibly lattice or numerical implementation. It deserves a serious referee: the scalar construction is novel and carefully done, and the SM part, while incomplete, raises the right questions about J-symmetry breaking. I would accept for peer review with a clear request to fix Theorem 3, supply the SM algebra in full (or mark it as conjectural), and make the notebooks available. It is not a paper to desk-reject; it is a paper to send back for strengthening.","headline":"A transparent, mostly rigorous reformulation of scalar QFT via i→J, with a solid core and a Standard Model realification whose central algebra is unverified.","tokens_in":35207,"tokens_out":1717,"would_cite":true,"duration_ms":19671,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.10.-z","12.15.-y"],"model":"deepseek-v4-flash","headline":"This paper sets out to prove that complex numbers are a convenience, not a necessity, in quantum field theory: replacing i by a real 2×2 matrix J with J² = −1 yields a real-number formulation of scalar QFT whose observables match ordinary Q","keywords":["real quantum field theory","J-quantization","real Kähler space","J-Fourier transform","ortho-symplectic S-matrix","Standard Model realification","J-symmetry breaking","Majorana neutrino mass"],"falsifier":"Compute the J-Fourier transform of f(t,x) = ∂ₜ(e^{−t²−|x|²}) and restrict it to the mass shell k₀ = |k|; the resulting component |k| e^{−|k|²/4} is not C∞ at k = 0, contradicting Theorem 3's assertion that the restriction is Schwartz. Repeating the massless Wightman computation (3.14)–(3.18) with this test function would determine whether (3.18) still has a valid distributional meaning.","tokens_in":34216,"feed_emoji":"⚛️","tokens_out":6104,"duration_ms":52198,"temperature":0.7,"pith_summary":"The paper is trying to establish that the entire apparatus of complex quantum field theory—the i in commutation relations, propagators, Wightman functions, and unitarity—can be transplanted to a purely real setting. The mechanism is the substitution i → J, where J is a real 2×2 matrix with J² = −1; QFT then lives in a real Kähler Fock space. The payoff is conceptual: QFT and real symplectic geometry share a language, and complex phases become rotations generated by J. The paper further claims the Standard Model admits a real formulation with ortho-symplectic symmetry and identical physical content, and that breaking J-symmetry is a natural beyond-Standard-Model marker, notably for neutrino mass. A sympathetic reader would care because it reframes a foundational question—whether complex numbers are required—into a structural question about which real geometric data underlie the known particles.","feed_headline":"One real matrix replaces i in quantum field theory","feed_subtitle":"Same predictions, real numbers only: scalar QFT and the Standard Model survive unchanged.","key_machinery":"The carrying mechanism is the J-calculus: a systematic replacement of the complex unit i by the real matrix J together with the corresponding J-Fourier transform, J-valued distributions, and the J-Sokhotski–Plemelj formula. For gauge theories the workhorse is realification, the block map R(A+iB) = [[A, −B], [B, A]], which turns complex unitary representations into real matrices that are simultaneously orthogonal and symplectic and that commute with J. These tools convert the Feynman propagator, Cutkosky rules, the optical theorem, and the Standard Model field content into real language while preserving the underlying complex-linear physics.","core_discovery":"The central claim is that physical quantum field theory has a fully real counterpart. A field operator Φ(t,x) acting on the real Kähler analogue of bosonic Fock space satisfies the Klein–Gordon equation and the canonical commutation relation [Φ(t,x), ∂ₜΦ(t,y)] = Jδ³(x−y), with J the real 2×2 matrix squaring to −1. Every standard object is rebuilt by the substitution i → J: the J-Fourier transform, J-Wightman functions, and the J-Feynman propagator G̃_J(p) = J P(1/(p²−m²)) + πδ(p²−m²). Unitarity S†S = 1 becomes orthogonality plus symplecticity, SᵀS = 1 and SᵀJS = J. For the Standard Model, complex unitary representations are replaced by real orthogonal-symplectic representations, and the pape","pith_inferences":["If RQFT is exactly equivalent to ordinary QFT, then experiments that claim to rule out real-valued quantum mechanics in finite-dimensional settings do not automatically constrain this construction; the field-theoretic equivalence turns the question from empirical prediction into mathematical reformulation.","The massless Wightman formula in Section 3.1.1 may still be salvageable through a distributional interpretation or a restricted test-function space, but the paper's mass-shell lemma needs repair before that formula is rigorous.","Promoting J to a spacetime-dependent field J(x), which the paper mentions as a future direction, would make the complex structure dynamical and could couple to real gravitational geometry—an extension the paper does not develop.","An odd number of real degrees of freedom after J-breaking suggests lepton-number-violating signatures; a testable extension would be to search for neutrino mass textures that cannot be written as a doubling of an even complex structure."],"forward_implications":["For scalar QFT, masses, decay widths, cross sections, and spectra come out identical in RQFT, so the real formulation is an equivalent description rather than a competing theory.","Unitarity is re-expressed as orthogonality plus symplecticity; the J-optical theorem and J-Cutkosky rules give the same on-shell discontinuities as the usual imaginary-part rules.","The realified Standard Model preserves the physical content: CKM and PMNS phases survive inside real matrices, the Higgs mechanism works, and fermions receive masses through realified Yukawa couplings.","Breaking J-symmetry enables gauge-invariant Majorana mass terms and the seesaw mechanism, making J-symmetry a concrete diagnostic for beyond-Standard-Model physics.","If the equivalence holds, complex numbers are shown to be dispensable in QFT, with the role of i played by a real complex structure acting on a Kähler space."],"fun_headline_variants":["Real quantum field theory: same predictions, no imaginary i","Real numbers only: scalar QFT and Standard Model unchanged","J-matrix replaces i: quantum field theory goes real","Ortho-symplectic symmetry emerges in real Standard Model","Real QFT: same physics, new symmetry for Standard Model"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The central equivalence leans on Theorem 3 in Appendix C.2, which asserts that restricting the J-Fourier transform to the mass shell sends Schwartz functions to Schwartz functions; for m = 0 the mass-shell parametrization k ↦ (|k|, k) is not differentiable at k = 0, and the proof simply defers to the complex case, so this step is the load-bearing premise that must hold.","fun_headline_variants_meta":{"raw":{"variants":["Real quantum field theory: same predictions, no imaginary i","Real numbers only: scalar QFT and Standard Model unchanged","J-matrix replaces i: quantum field theory goes real","Ortho-symplectic symmetry emerges in real Standard Model","Real QFT: same physics, new symmetry for Standard Model"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000697,"raw_usage":{"total_tokens":3073,"prompt_tokens":919,"completion_tokens":2154,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":663,"completion_tokens_details":{"reasoning_tokens":2071}},"tokens_in":663,"tokens_out":2154,"duration_ms":12685,"temperature":1.0,"reasoning_tokens":2071,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T10:13:42.227979+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the J-Fourier transform of f(t,x) = ∂ₜ(e^{−t²−|x|²}) and restrict it to the mass shell k₀ = |k|; the resulting component |k| e^{−|k|²/4} is not C∞ at k = 0, contradicting Theorem 3's assertion that the restriction is Schwartz. Repeating the massless Wightman computation (3.14)–(3.18) with this test function would determine whether (3.18) still has a valid distributional meaning.","supporting_citations":[],"review_version":1}