{"id":"b37e9894-6b0d-4072-ae11-3d96b5b16174","arxiv_id":"2501.10995","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Causal localization of the massive scalar boson extends to achronal hyperplanes, and the high-boost limit forces Lorentz contraction as a mathematical consequence.","lead":"This paper extends the causal localization of a massive scalar boson from ordinary spacelike planes to tilted achronal planes, and uses the infinite-boost limit on these planes to derive Lorentz contraction. A generalist might read it because it turns a textbook relativistic effect into a theorem that follows from causality and a localization axiom.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 11 in Appendix A is false as stated (Jacobian mismatch), so the proof of Theorem 2 as printed does not establish the achronal extension that Theorem 6 relies on; a correction appears possible but is not in the text.","rationale":"The reader accepted with moderate confidence, focusing on the physical identification in Eq. (4.2). My stress-test found a more concrete, internal algebraic defect in the proof of the theorem that carries the extension, Theorem 2. Lemma 11 as stated is false; the Jacobian computation is off by a factor, and the subsequent prefactor in (13) is also inconsistent. Theorem 6's proof explicitly uses Theorem 2 and Theorem 4, and Theorem 4's appendix uses the achronal localization from Theorem 2, so the central Lorentz-contraction claim is not fully proven as printed. However, the errors have the form of fixable algebraic typos rather than a conceptual contradiction; the intended isometry X,V,Y is independently sound. Hence recommend CONDITIONAL rather than REJECT. This partially agrees with the reader in that the sensitive point is Theorem 2, but the concern is a proof gap in the printed algebra, not the interpretive step (4.2).","tokens_in":12775,"tokens_out":20327,"duration_ms":198382,"concrete_test":"Recompute Lemma 11 by hand at one point: with m=1 and s=(0,0,−1), H⁻¹(s)=(0,0,0), so |det DH⁻¹(s)|=1, whereas ε(s)²/(2s₃²)=1/2. Then redo the chain in (13) with density ε(H⁻¹(s))/(−s₃) and prefactor √(ε−p₃)/√ε; verify that (2π)^{3/2}R(φ,x)=(F⁻¹YVXφ)(x). If the corrected chain reproduces the flux formula, Theorem 2 can be accepted after a typo-level fix; if not, the achronal extension and the Lorentz-contraction theorem lack a valid proof.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Lemma 11 asserts that for H(p)=(p1,p2,p3−ε(p)), the substitution formula reads ∫ e^{i(px−ε(p)x3)} f(p) d³p = ∫_{R³₋} e^{isx} ε(H⁻¹(s))²/(2s₃²) f(H⁻¹(s)) d³s. Direct computation gives |det DH⁻¹(s)| = ε(H⁻¹(s))/(−s₃) = (s₃²+m²+s₁²+s₂²)/(2s₃²), not ε²/(2s₃²). At m=1, s=(0,0,−1), the determinant is 1 but the stated density is 1/2. Because the proof of (13) routes the integral for R(φ,x) through Lemma 11 and then identifies it with (YVXφ), the claimed representation ⟨φ,T(Δ)φ⟩=π_{φ,χ}(Δ) is not derived by the printed algebra; the prefactor √(ε−p₃)/ε used after applying X should also be √(ε−p₃)/√ε. Theorem 2 is therefore unproven as written, and Theorem 6 inherits the gap. The defect looks repairable—with density ε/(−s₃) and the corrected prefactor the chain ends at j=YVX and the flux formula holds—but the repair is not in the manuscript.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the causal localization POVMs of the massive scalar boson constructed in [3]. It first defines, for any achronal hyperplane, a probability measure π_{φ,Λ} by integrating the conserved current J through that hyperplane (Eqs. (4.1)-(4.2)). It then proves (Theorem 2) that on achronal, not spacelike hyperplanes this flux prescription defines a genuine Poincaré-covariant localization, by exhibiting an isometric embedding j of the mass-shell space into L2(R3;K) such that the localization operator is given by the canonical spectral measure conjugated by j (Appendix A). Sections 6 and 7 study the high-boost limit: bounded localization regions on a spacelike hyperplane converge to regions on the lightlike tangent hyperplane χ (Proposition 3), and for strips the convergence is strong and monotone (Theorem 4). The authors use this to derive two physical consequences: an additivity/normalization relation on a piecewise achronal maximal surface (Theorem 5), and the Lorentz-contraction theorem (Theorem 6): for any normalized state φ and any δ>0, the probability of finding the boosted state W(A_ρ^e)φ in the strip {|x_e|≤δ} tends to 1 as |ρ|→∞. Thus the paper claims that Lorentz contraction of the massive scalar boson follows from causality together with the achronal flux-localization identification.","tokens_in":13116,"tokens_out":36762,"duration_ms":381705,"significance":"Within the achronal-localization framework, the main result is significant: it extends the mathematically well-developed spacelike-localization theory of the massive scalar boson to achronal hyperplanes, and it derives a sharply testable qualitative prediction (Lorentz contraction) from the structural assumptions of covariance, causality, and conserved current. The proof is non-perturbative and parameter-free: the statements hold for every admissible kernel g in (3.1), with no fitted parameters, and the achronal extension is obtained as the high-boost limit of the known spacelike localization rather than put in by hand. Theorem 5 also provides a normalization consistency check on a piecewise maximal achronal surface. The technical work is detailed and uses appropriate methods (RKHS constructions, positivity of the transformed kernel in Lemma 8, determinacy-set and monotone-limit arguments in Lemmas 14-19). The principal caveat is that the physical interpretation of localization probability as current flux on achronal surfaces (Eq.","major_comments":[{"comment":"The concern that Lemma 11 contains a Jacobian error is not borne out. In the statement of Lemma 11, ε(s) denotes the energy at the new variable s, not at H^{-1}(s); since ε(s)^2 = s_3^2 + m^2 + s_1^2 + s_2^2, the density ε(s)^2/(2s_3^2) is exactly |det DH^{-1}(s)| = ε(H^{-1}(s))/(-s_3). The prefactor used in (13) is the square root of (ε(p)-p_3)/ε(p), and with that reading the chain (13) correctly ends at j = YVX and yields Theorem 2. Thus the proof of the achronal extension is not invalidated by this point.","section":"Appendix A, Lemma 11 and proof of Theorem 2"}],"minor_comments":[{"comment":"The domain of the isometry is stated as L2(R3) but the proof constructs j:L2(O)→L2(R3,K); the statement should read L2(O) (the mass-shell space with its invariant measure).","section":"Theorem 2, first paragraph"},{"comment":"Because the Lorentz-contraction theorem inherits the identification of flux with localization probability, I recommend that the text state explicitly that (4.2) is the defining physical postulate of the achronal extension, rather than a consequence of the spacelike localization axioms; the current wording 'The idea is that...' understates its role.","section":"Section 4, Eq. (4.2)"},{"comment":"There is a missing closing brace in the displayed equation: it should read lρ({x∈ε:−α≤x3≤β}) = e^{ρσ3/2}·{x∈ε:−α e^{-ρ}≤x3≤β e^{-ρ}}.","section":"Eq. (6.1)"},{"comment":"Minor typos: 'Immagine' should be 'Imagine', and 'T (|xe| ≤ δ})' should be 'T({|xe|≤δ})'.","section":"Section 7.2"},{"comment":"The uniqueness of the extension is asserted, but the continuity condition that characterizes it (the high-boost limit for bounded regions) is stated only implicitly; making this condition explicit would strengthen the claim.","section":"Abstract and Section 5"}],"recommendation":"minor_revision","confidential_remarks":"I want to flag for the editor that the physically striking conclusion, Theorem 6, is tied to the achronal flux-probability identification (4.2), which is the foundational postulate of the achronal-localization program rather than a consequence of the spacelike-localization axioms by themselves. The paper is transparent about this in Section 4, but the abstract's phrasing 'as a consequence of causality' is stronger than what is strictly proved. The mathematics appears sound; the needed changes are local clarifications and typographical corrections."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper supplies the missing scalar-boson case in the achronal localization program and deduces Lorentz contraction from causality. The main results, Theorem 2 (extension to achronal not spacelike hyperplanes) and Theorem 6 (high-boost localization in a narrow strip), are new and not present in the cited fermion or Cauchy-surface work. The RKHS proof in the appendix is detailed, and I traced the change of variables. The stress-test's Jacobian objection to Lemma 11 does not hold up: ε(s) in that lemma is the standard energy on the coordinate vector s, so the determinant is ε(s)^2/(2s3^2) as stated. The test's alternative density ε(H^{-1}(s))/(-s3) is the same number, so no mismatch. The prefactor after applying X is printed as √(ε-p3)/ε, but the correct factor is √(ε-p3)/√ε; the following equality shows the intended factor, so this is a typographical slip, not a gap.\n\nThe paper is careful about its own conceptual soft spot: equation (4.2) identifies the localization probability on achronal hyperplanes with the conserved current's flux. That is genuinely an assumption, supported by causality, covariance, and agreement on spacelike hyperplanes, but not derived from a more basic principle. If that identification is wrong, the extension and the contraction theorem collapse. The author does not hide this; it is the program's postulate.\n\nThe normalization theorem (Theorem 5) is a nice emblematic result, and the discussion of whether Lorentz contraction is observable is honest and framed in terms of expectation values. The literature is cited appropriately; self-citations point to the prior parts of the program.\n\nThe intended reader is a mathematical physicist working on localization, causality, or relativistic quantum mechanics. The paper deserves a serious referee: it is important, technically detailed, and, with a minor correction of the typo, correct in its main lines. I would accept after minor revision. I'd cite it if I worked on this program, and I'd bring it to a reading group on causal localization.\n\nRecommendation: accept after minor revision.\n\n- [Your name]","headline":"New scalar-boson achronal localization and Lorentz contraction, solid modulo a typo; the stress-test's Jacobian claim is a misreading.","tokens_in":13598,"tokens_out":14468,"would_cite":true,"duration_ms":121089,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P05","81R20"],"pacs":[],"model":"deepseek-v4-flash","headline":"Under causality alone, the massive scalar boson's localization extends to all achronal hyperplanes, and the extension forces Lorentz contraction: a sufficiently rapidly boosted boson appears in any prescribed narrow perpendicular strip…","keywords":["achronal localization","massive scalar boson","causal localizability","Lorentz contraction","high boost limit","conserved current flux","positive operator valued measure","Minkowski spacetime"],"falsifier":"For an explicit allowed kernel g and a Gaussian state phi, compute the limit as rho tends to infinity of <phi, T(l_rho(Gamma)) phi> for a narrow strip Gamma; if for some delta > 0 the limit is strictly less than 1, or if the monotone decrease of Theorem 4(b) fails, the Lorentz-contraction theorem is false. A direct evaluation of the flux pi_{phi,chi}(chi) on the lightlike hyperplane chi that comes out different from ||phi||^2 for any permitted kernel would refute the normalization claim.","tokens_in":12588,"feed_emoji":"⚛️","tokens_out":7290,"duration_ms":72962,"temperature":0.7,"pith_summary":"Localizability of a quantum particle in Minkowski space is normally defined on spacelike hyperplanes, and causality requires that the probability in a region is bounded by the probability in its region of influence. This paper shows that for the massive scalar boson this causal localization extends uniquely and covariantly to all achronal hyperplanes, including lightlike tangent hyperplanes of light cones, by taking the limit of infinite boost rapidity. The same limit, the paper argues, makes Lorentz contraction a theorem rather than a separate postulate: in a sufficiently strongly boosted state, the probability of finding the boson in any fixed narrow strip perpendicular to the boost approaches 1. If the argument is right, achronal localization is the natural completion of causal localizability, and the causal logic of the boson is representable by localization operators.","feed_headline":"Causality alone forces Lorentz contraction for scalar bosons","feed_subtitle":"A conserved-current localization on lightlike hyperplanes makes boosted bosons concentrate in any fixed narrow strip.","key_machinery":"The load-bearing object is the conserved covariant current J = (J_0, J) of the massive scalar boson, whose components are built from an integral kernel g(k·p) in Eq. (3.1); the localization probability on an achronal set $\\Delta$ is defined as the flux of this current through $\\Delta$, namely pi_{phi,Lambda}($\\Delta$) = int (J_0 - J · grad tau) $d^{3}$x, identified with <phi, T($\\Delta$) phi> in Eq. (4.2). The high boost limit provides the bridge: maps l_rho send the spacelike hyperplane epsilon to tilted spacelike hyperplanes A_rho · epsilon and converge pointwise to the lightlike hyperplane chi, and Theorem 4 shows that the localization operators T(l_rho(Gamma)) decrease monotonically and converge strongly to T(l_infty(Gamma)) for strips Gamma. The proof of normalization on the lightlike hyperplane uses a reproducing-kernel-Hilbert-space factorization and a change of variables that explicitly exhibits the flux as the integral of a density with respect to Lebesgue measure. Theorem 6 then converts the existence of this limit into Lorentz contraction.","core_discovery":"On the paper's own terms, the discovery is that the causal localization T of the massive scalar boson, initially a Poincaré-covariant positive operator-valued measure on Borel sets of spacelike hyperplanes, extends through the flux of a conserved covariant future-directed current J to every achronal hyperplane, and this extension is unique and covariant. The extension is achieved by the high boost limit: a spacelike hyperplane boosted with rapidity rho tends pointwise to a lightlike tangent hyperplane, and the localization probabilities converge. Normalization is preserved on the lightlike hyperplane, which is exactly what causality demands. The decisive consequence is Lorentz contraction: for a state boosted with rapidity rho along a direction e, the probability of localizing the boson in the strip {|x_e| <= delta} of the rest frame tends to 1 as |rho| tends to infinity, for every delta > 0. The paper also derives an additivity relation connecting localization operators on different spacelike hyperplanes through their common lightlike limit, interpreting the surplus probability in the region of influence as the probability on the intervening achronal piece.","pith_inferences":["If the flux identification is accepted, the proof strategy suggests a route to full achronal localization on arbitrary maximal achronal surfaces: approximate them by flat achronal pieces, apply the extension on each piece, and check that normalization and additivity survive the patching.","The contraction result is stated for localization probabilities rather than for the support of the wave function; a natural testable extension is to ask whether the same boosted-state concentration appears for other allowed current kernels within the basic series of solutions, and whether the rate of convergence to 1 is controlled by the mass m.","Read alongside the fermion cases, the paper suggests that Lorentz contraction of localization is a generic causal feature of massive relativistic quantum systems rather than a peculiarity of one spin.","The additivity relation for the lightlike piece hints that the causal logic of the massive scalar boson may be recovered from localization operators alone, with a full representation of that logic as the decisive completion of the achronal program."],"forward_implications":["For every state of the massive scalar boson, the probability of localization in a narrow strip perpendicular to the boost direction tends to 1 as the rapidity tends to plus or minus infinity, so Lorentz contraction is a derived property rather than a separate assumption.","The localization T extends to all achronal hyperplanes, not only spacelike Cauchy surfaces, and the extension is Poincaré-covariant, so achronal sets carry bona fide localization probabilities.","Causality forces normalization of the extension: on the lightlike hyperplane chi one has T(chi) = I, and the surplus probability in a region of influence is exactly accounted for by the achronal piece between the original and future hyperplanes.","The monotone convergence T(l_{rho'}(Gamma)) <= T(l_rho(Gamma)) for 0 <= rho <= rho' makes the high boost limit a strong limit of positive operators, so the extension is obtained by a well-defined limiting procedure.","Since every achronal not spacelike hyperplane is Lorentz-related to chi, the result covers every lightlike tangent hyperplane, not only the model case."],"supporting_citations":[{"why":"Supplies the causal localization T of the massive scalar boson, the integral kernel k, and the conserved covariant current J on which the present extension is built.","marker":"[3]"},{"why":"Furnishes the framework of achronal localization, the causal logic, and the normalization requirement that motivates and justifies the extension.","marker":"[4]"},{"why":"Extends the localization via the same flux formula to all differentiable Cauchy surfaces, providing the baseline that the paper goes beyond.","marker":"[6]"},{"why":"Establishes the existence and form of conserved covariant four-vector currents for the scalar boson, including the basic series of admissible kernels.","marker":"[7]"},{"why":"Provides the high boost limit method and shows the analogous achronal extension for Dirac and Weyl fermions, which the present paper adapts to the massive scalar boson.","marker":"[2]"},{"why":"Supplies the monotone limit theorem used to prove strong convergence of the localization operators in the high boost limit.","marker":"[9]"}],"fun_headline_variants":["Causality alone forces Lorentz contraction in scalar bosons","High boost limit yields Lorentz contraction for massive scalars","Achronal localization: a causal route to Lorentz contraction","Scalar boson localization on lightlike planes induces contraction","Covariant localization on achronal planes forces contraction"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole construction rests on taking the conserved current's flux through a lightlike hyperplane to be the probability of finding the boson there; if that identification is not the correct physical probability on achronal hyperplanes, the extension and the Lorentz-contraction theorem both collapse.","fun_headline_variants_meta":{"raw":{"variants":["Causality alone forces Lorentz contraction in scalar bosons","High boost limit yields Lorentz contraction for massive scalars","Achronal localization: a causal route to Lorentz contraction","Scalar boson localization on lightlike planes induces contraction","Covariant localization on achronal planes forces contraction"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000209,"raw_usage":{"total_tokens":1366,"prompt_tokens":865,"completion_tokens":501,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":481,"completion_tokens_details":{"reasoning_tokens":421}},"tokens_in":481,"tokens_out":501,"duration_ms":5335,"temperature":1.0,"reasoning_tokens":421,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T18:44:20.959141+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For an explicit allowed kernel g and a Gaussian state phi, compute the limit as rho tends to infinity of <phi, T(l_rho(Gamma)) phi> for a narrow strip Gamma; if for some delta > 0 the limit is strictly less than 1, or if the monotone decrease of Theorem 4(b) fails, the Lorentz-contraction theorem is false. A direct evaluation of the flux pi_{phi,chi}(chi) on the lightlike hyperplane chi that comes out different from ||phi||^2 for any permitted kernel would refute the normalization claim.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the causal localization T of the massive scalar boson, the integral kernel k, and the conserved covariant current J on which the present extension is built."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Furnishes the framework of achronal localization, the causal logic, and the normalization requirement that motivates and justifies the extension."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Extends the localization via the same flux formula to all differentiable Cauchy surfaces, providing the baseline that the paper goes beyond."},{"cited_title":"The Logic of Causally Closed Spacetime Subsets , Class","cited_arxiv_id":null,"evidence_quote":"Provides the high boost limit method and shows the analogous achronal extension for Dirac and Weyl fermions, which the present paper adapts to the massive scalar boson."}],"review_version":1}