{"id":"0853a858-353b-4336-8588-60157887f8ae","arxiv_id":"2507.08493","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Vortex solutions of the Dirac equation carry total angular momentum n + 1/2 and the paper proposes a helicity-based characterization, but the claimed helicity anomaly comes from an invalid truncated-domain calculation.","lead":"This paper derives vortex solutions of the Dirac equation for relativistic electron beams and argues they carry well-defined net angular momentum, with helicity serving as an experimental signature. The angular momentum results mostly confirm earlier work, while the proposed helicity anomaly is likely a mathematical artifact of the normalization scheme.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (16)'s complex helicity expectation is a boundary/regularization artifact: the truncated Bessel state is not in the domain of the transverse momentum operator, and the n-dependent prefactor vanishes as r1→∞; the central anomaly claim is unsupported.","rationale":"The reader identified the truncated radial integration and the non-self-adjointness of the transverse momentum operator on [0, r1] as the weakest assumption. My independent check of the algebra confirms this is indeed the decisive issue. For the physical helicity operator σ·p, the transverse block acting on the Bessel spinor (6) produces factors ±iℏκ on the upper/lower components, and the formal expectation is exactly [p_z − i(mc²/E)pκ] (IΔ/I1) as in Eq. (16). This complex value is not a legitimate expectation value of a Hermitian operator: the Bessel beam is not normalizable, and once truncated at r1 the state does not satisfy the boundary conditions required for p_x, p_y to be self-adjoint. The paper does not specify boundary conditions or take a well-defined infinite-volume limit; the choice r1 = first zero of J_n is arbitrary. Moreover, the ratio (∫(J_n²−J_{n+1}²))/(∫(J_n²+J_{n+1}²)) tends to 0 as r1→∞, so the n-dependent anomaly vanishes in the infinite-volume limit, confirming that it is a regulator artifact. The angular-momentum eigenvalue J_z = n + 1/2 in Eq. (9) is a known property of Dirac Bessel beams and does not support the paper's novelty claim. The spin-orbit parameter Δn in Eq. (13) is likewise cutoff-dependent and tends to 1/2 as r1→∞, so it does not provide a robust characterization either. Since the central novel claim collapses under this check, the rejection stands.","tokens_in":9535,"tokens_out":31653,"duration_ms":325282,"concrete_test":"Recompute Eq. (16) from Eq. (6) using the correct cylindrical helicity operator, integrating by parts on [0, r1] and retaining the boundary term at r1; verify whether the imaginary part of Eq. (16) is canceled for any self-adjoint boundary condition. Then repeat the calculation with a different cutoff (e.g., first zero of J_{n+1} or a smooth window function) and examine the limit r1 → ∞. If the imaginary part changes or vanishes under these changes, the claimed helicity anomaly is a boundary artifact, not an intrinsic property of the vortex state.","verdict_should_be":"REJECT","load_bearing_attack":"The load-bearing new result is Eq. (16), the claim that the helicity expectation is complex, interpreted as an anomaly from broken transverse translational invariance. This is a formal expectation of the Hermitian operator Σ·p on the Bessel spinor (6) restricted to r ∈ [0, r1]. For this state the transverse part of Σ·p acts on the upper/lower components with factors ±iℏκ, so the naive integration gives [p_z − i(mc²/E)pκ] IΔ/I1 with IΔ = ∫(J_n² − J_{n+1}²)r dr. The imaginary term is nonzero only because the truncated wavefunction is outside the domain of p_x and p_y: no boundary condition at r1 is imposed, and the boundary term from integration by parts is discarded. A Hermitian operator cannot have a complex expectation on a normalizable state in its domain, so the 'anomaly' is a regularization artifact. The cutoff r1 is arbitrary (first zero of J_n), and IΔ/I1 → 0 as r1 → ∞; hence the n-dependent complex anomaly disappears in the infinite-volume limit. The paper neither specifies boundary conditions nor demonstrates regulator independence. Since this complex-helicity claim is the central novel result, the rejection is warranted.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives closed-form solutions of the free Dirac equation in cylindrical coordinates using a generalized series expansion, identifies the vortex charge n as the total angular momentum quantum number J_z = n + 1/2, and obtains an explicit expression for the spin-orbit coupling strength Δn. Its principal new claim is that the expectation value of the helicity operator in such a vortex state is complex (Eq. (16)), which the authors interpret as an anomaly caused by broken translational invariance perpendicular to the propagation axis. The paper further proposes that helicity can serve as a practical characterizing observable for relativistic electron vortex beams.","tokens_in":9833,"tokens_out":19279,"duration_ms":181979,"significance":"The paper's constructive content---exact Dirac-Bessel solutions with definite J_z and an explicit spin-orbit coupling parameter---is useful and the authors are right that these solutions provide a clean starting point for discussing relativistic vortex beams. However, the central new result, the complex helicity expectation and the inferred 'helicity anomaly', is not supported by the calculation as presented. The error is load-bearing: the operator used in Eq. (15) is not the correct Hermitian helicity operator, and the complex expectation is also an artifact of the hard-cutoff regularization. If the anomaly claim were correct it would be significant, but the present derivation does not establish it.","major_comments":[{"comment":"The expression for \\vec{\\sigma}\\cdot\\vec{p} in cylindrical coordinates is incorrect. In the standard Dirac representation with \\vec p = -i\\hbar\\nabla, the off-diagonal elements must be -i\\hbar e^{-i\\theta}(\\partial_r - i r^{-1}\\partial_\\theta) and -i\\hbar e^{i\\theta}(\\partial_r + i r^{-1}\\partial_\\theta). As printed, Eq. (15) has no factor -i in these elements, so the operator is not Hermitian. The complex expectation value in Eq. (16) is therefore a direct artifact of a non-Hermitian operator rather than a physical anomaly. This invalidates the central claim.","section":"The vortex and helicity, Eq. (15)"},{"comment":"Even if Eq. (15) were corrected, the truncated-normalization procedure used in Eq. (16) is not a well-defined expectation value. The state restricted to r \\in [0, r_1] is not in the domain of the transverse momentum operator because no boundary conditions at r_1 are imposed. The imaginary part is proportional to I_\\Delta/I_1 = \\int_0^{r_1}(J_n^2 - J_{n+1}^2) r dr / \\int_0^{r_1}(J_n^2 + J_{n+1}^2) r dr. Using the asymptotic forms of Bessel functions at large argument, I_\\Delta oscillates with bounded amplitude while I_1 diverges linearly, so I_\\Delta/I_1 \\to 0 as r_1 \\to \\infty. Thus the 'anomaly' disappears in the infinite-volume limit and is a cutoff artifact, not an effect of broken translational invariance.","section":"The vortex and helicity, Eq. (16)"},{"comment":"The statement that the eigenstate carries net angular momentum with n as the total angular momentum quantum number is essentially built into the e^{in\\theta} ansatz; Eq. (9) follows directly from the chosen circumferential phase and is therefore a property of the construction rather than a demonstration. The physically informative part is the explicit form of \\Delta_n in Eq. (13), but the paper does not examine its behavior as r_1 \\to \\infty. Since Eqs. (11)-(13) use the same truncated integrals as Eq. (16), the same regularization concerns apply, and the claimed n-dependence of \\Delta_n is not shown to be a property of the unregularized Bessel beam.","section":"The vortex and spin-orbit coupling, Eqs. (9)-(13)"}],"minor_comments":[{"comment":"The text contains a typo: 'lake of information' should read 'lack of information'.","section":"Introduction, second paragraph"},{"comment":"The sentence 'we preform a comprehensive theoretical study' contains a spelling error ('preform' should be 'perform'), and 'a explicit expression' should be 'an explicit expression'.","section":"Concluding remarks"},{"comment":"The paper first states that r_1 'could be infinity' and then immediately introduces a finite cutoff at the first zero of the Bessel function. Because Eq. (16) and the discussion of \\Delta_n depend critically on this choice, the relation between the formal infinite limit and the finite-cutoff calculation should be explained and justified.","section":"Eq. (8) and following sentence"},{"comment":"The recurrence relations contain apparent typos and unclear notation, for example the term '\\lambda p_z + \\left(-\\frac{E}{c} - mc\\right)' in Eq. (S13) is missing parentheses and the index ranges in Eqs. (S15)-(S16) are not fully derived. These should be corrected, since the series solution is a key ingredient of the manuscript.","section":"Supplementary Material, Eqs. (S13)-(S16)"},{"comment":"The definition of \\hat K is only sketched in the main text; the reader is referred to the Supplemental Material for the derivation of the commutators with \\hat H, \\hat p_z, and \\hat J_z. At least a summary of the separation-of-variables argument and the relevant commutation relations should be presented in the main text, because \\hat K is used to fix the parameter \\lambda.","section":"The auxiliary conserved quantity, Eq. (4)"}],"recommendation":"reject","confidential_remarks":"The manuscript's main positive contribution---exact Dirac-Bessel solutions with definite J_z---is largely a reformulation of known solutions in the literature cited by the authors. The claimed novelty, the helicity anomaly, is based on an incorrect operator expression and an uncontrolled cutoff in the normalization; it cannot be repaired by a local edit, because correcting the operator and taking the infinite-volume limit removes the anomaly. This is beyond the scope of a minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the paper's angular-momentum part is real but not new, and the helicity part—the actual novelty—is a boundary artifact. I checked the stress-test note and it holds up on reading.\n\nThe paper does some solid things. It derives exact Bessel-beam solutions of the Dirac equation in cylindrical coordinates, confirms they are eigenstates of J_z with eigenvalue n + 1/2, and recovers the spin-orbit coupling structure of Bliokh et al. and Barnett. The explicit integral for Δ_n in Eq. (13) is a genuine addition; it quantifies the spin-orbit coupling strength and might be useful for numerical work. The solutions in Eqs. (6) and (7) appear correct, and the normalization is handled explicitly, which is more than some papers in this area do.\n\nThe soft spot is Eq. (16). The claim that ⟨Σ·p⟩ is complex for a vortex state is unsupported. On the truncated domain [0, r1], the transverse momentum operators are not self-adjoint; the integration by parts that produces the imaginary term discards a boundary contribution at r1. A Hermitian operator cannot have a complex expectation value on a normalizable state in its domain. The imaginary part is proportional to ∫(J_n² − J_{n+1}²) r dr / I1, and that ratio goes to zero as r1 → ∞. The physical infinite-volume limit therefore has no anomaly. The paper's own cutoff is arbitrary (first zero of J_n), no boundary conditions are specified, and there is no regulator-independence check. So the \"helicity anomaly\" is a regularization artifact, not a real effect.\n\nThe derivation of the auxiliary operator K̂ is also sketchy, and the series expansion in the supplemental material has typos, but those are secondary. The central angular momentum results are consistent with prior work and are not particularly novel. The new claim fails on a basic point of quantum mechanics.\n\nI would not publish this as is. The confirmatory parts are known, and the novel part collapses. That said, the paper is not incoherent. The exact solutions and the Δ_n expression have some value, and the error is subtle enough that a referee could help the authors either fix the helicity calculation or drop it entirely. The paper deserves a serious referee rather than a pure desk reject, but the recommendation to the editor should be: reject in current form, with a path to resubmission if the helicity anomaly is removed or made rigorous.","headline":"The angular-momentum part is a correct but known result; the new helicity claim is a cutoff artifact, not a physical anomaly, so the paper should be rejected in current form, though it is worth a careful referee.","tokens_in":10317,"tokens_out":2512,"would_cite":false,"duration_ms":31133,"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":"Exact Dirac solutions show relativistic electron vortex beams carry net angular momentum and a complex helicity, read as a transverse symmetry anomaly.","keywords":["relativistic electron vortex beam","Dirac equation","exact eigensolutions","total angular momentum","spin-orbit coupling","helicity","Bessel beam","transverse translational symmetry"],"falsifier":"Compute Eq. (16) and the normalization integral $I_1$ with different choices of cutoff $r_1$, or on the infinite interval with a proper regularization, and check whether the imaginary part of the helicity expectation value survives in the limit; if it vanishes or changes sign with the cutoff, the claimed helicity anomaly is not a physical property of the vortex state.","tokens_in":9311,"feed_emoji":"🌀","tokens_out":7610,"duration_ms":78193,"temperature":0.7,"pith_summary":"The paper sets out to settle a controversy about relativistic electron vortex beams (REVBs) by deriving exact eigenstates of the free Dirac equation in cylindrical coordinates rather than approximate superpositions. It claims these eigenstates carry net total angular momentum along the propagation direction, with the vortex charge $n$ as the quantum number of $\\hat J_z$, and that the spin and orbital parts are intrinsically coupled with a strength $\\Delta_n$ that the paper computes explicitly. It further claims that the helicity expectation value in such a vortex state is no longer a real number: the longitudinal part stays real and measurable, while the transverse part becomes imaginary, which the paper reads as an anomaly caused by the loss of translational invariance perpendicular to the beam axis. If these claims hold, REVBs are genuine vortex states and helicity measurements can serve as a practical way to read off the vortex charge. This matters because the exact solution from first principles resolves a lingering disagreement among earlier phenomenological constructions.","feed_headline":"Exact Dirac states carry vortex charge as total angular momentum","feed_subtitle":"Settles a dispute over whether relativistic vortex beams have net angular momentum and offers helicity as a measurable handle.","key_machinery":"The central object is the exact vortex eigensolution obtained by a generalized power-series expansion: each four-component spinor entry is written as $R_s(r)e^{in_s\\theta}e^{ip_z z/\\hbar}$ with $R_s(r)=r^\\alpha\\sum_k C_s^k r^k$, and the recurrence relations force the radial parts to be Bessel functions $J_n(\\kappa r)$, with transverse momentum $p_\\kappa=\\hbar\\kappa$. An auxiliary conserved operator $\\hat K$, obtained by a similarity transformation that diagonalizes the Vierbein matrices, fixes the otherwise free parameter $\\lambda$ and labels the two degenerate solutions. The radial integrals $I_1$ and $\\Delta_n$ over the finite interval $[0,r_1]$ carry the calculation of $\\langle\\hat L_z\\rangle$, $\\langle\\hat S_z\\rangle$, and the helicity expectation value, and the normalization cutoff $r_1$ is what produces the complex helicity value in Eq. (16).","core_discovery":"Starting from the Dirac equation in a complex cylindrical coordinate basis, the authors expand each spinor component as a power series in $r$ and show that the radial functions are Bessel functions $J_n(\\kappa r)$. The resulting spinor, Eq. (6), is a simultaneous eigenstate of $\\hat H$, $\\hat p_z$, an auxiliary conserved operator $\\hat K$, and total angular momentum with $\\hat J_z = n\\hbar + \\hbar/2$. From this exact solution the paper derives $\\Delta_n = (1/I_1)\\int_0^{r_1} J_{n+1}^2(\\kappa r) r\\,dr$ as the intrinsic spin-orbit coupling strength, with expectation values $\\langle \\hat L_z\\rangle = (n+\\Delta_n)\\hbar$ and $\\langle \\hat S_z\\rangle = (1/2-\\Delta_n)\\hbar$. It then computes the helicity expectation value $\\langle \\hat{\\Sigma}\\cdot\\hat p\\rangle = (p_z - i p_\\kappa/\\gamma)(1/I_1)\\int_0^{r_1}\\bigl(J_n^2-J_{n+1}^2\\bigr) r\\,dr$, whose imaginary part signals that the transverse helicity component is not well defined in the vortex state, an effect attributed to broken translational invariance perpendicular to the $z$ axis. The paper concludes that the real, longitudinal part of helicity remains observable and increases with $n$, so helicity can serve as a characterizing observable for REVBs.","pith_inferences":["If the complex helicity value is an artifact of the finite cutoff $r_1$, the anomaly claim would reduce to a boundary effect; a testable check is to recompute Eq. (16) with different cutoffs and see whether the imaginary part vanishes in a proper infinite-volume limit.","The same cutoff sensitivity may affect the explicit values of $\\Delta_n$, although the existence of spin-orbit coupling would survive because it follows from the non-eigenstate character of $\\hat L_z$ and $\\hat S_z$.","The series-expansion technique, being free of Foldy-Wouthuysen or external-field approximations, could be carried over to Dirac particles in waveguides or periodic potentials, where transverse translational symmetry is also broken, and a similar helicity structure might appear.","Measuring the longitudinal helicity in a high-energy electron microscope could provide a direct probe of the sub-Compton-scale spin-orbit structure, a regime distinct from the sub-wavelength effects seen in optical vortex beams."],"forward_implications":["The vortex charge $n$ is established as the quantum number of total angular momentum along the beam axis, so a relativistic electron vortex beam with charge $n$ carries net angular momentum $\\hbar(n+1/2)$.","The intrinsic spin-orbit coupling strength has an explicit closed form $\\Delta_n$, decreasing with $n$, and arises from the Dirac spinor itself at a sub-Compton scale.","The expectation value of helicity is complex: its real longitudinal part is measurable and grows with $n$, while the imaginary transverse part is not measurable, reflecting broken transverse translational invariance.","Helicity can be used experimentally to distinguish vortex from non-vortex electron beams and to determine the vortex charge $n$, complementing existing angular-momentum measurements.","The exact solutions provide a first-principles benchmark that confirms the earlier suggestion of net angular momentum and contradicts the claim that spin and orbital parts cancel."],"supporting_citations":[{"why":"Predicts that the vortex charge is the total angular momentum quantum number and that spin and orbital angular momentum are intrinsically coupled; the paper's exact solution confirms and extends this.","marker":"[7]"},{"why":"Argues that the beam is unlikely to carry net angular momentum because spin and orbital parts may cancel; this is the opposing position the paper's exact eigenstates are meant to settle.","marker":"[8]"},{"why":"Constructs a vortex solution agreeing on net angular momentum but lacking spin-orbit coupling information; the paper supplies the explicit SOC strength it omits.","marker":"[9]"},{"why":"Provides exact cylindrical-coordinate solutions of the Dirac equation via series expansion, the method the authors generalize.","marker":"[16]"},{"why":"Supplies the similarity-transformation separation of variables used to derive the auxiliary conserved operator $\\hat K$ that fixes the parameter $\\lambda$.","marker":"[19]"},{"why":"Justifies the use of a finite radial cutoff $r_1$ in normalizing Bessel-beam integrals, which underlies the numerical evaluation of the expectation values.","marker":"[20]"}],"fun_headline_variants":["Vortex charge dictates total angular momentum in Dirac beams","Helicity anomaly exposed in relativistic vortex beams","Exact Dirac spinors reveal vortex beam angular momentum","Intrinsic spin-orbit coupling strength for Dirac vortices","Relativistic vortex beams carry net angular momentum"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on treating expectation values computed with a finite radial cutoff $r_1$ (the first zero of the Bessel function) as physically correct; on a finite interval the transverse momentum operator is not self-adjoint, so the complex helicity value in Eq. (16) could be a boundary artifact rather than a real anomaly.","fun_headline_variants_meta":{"raw":{"variants":["Vortex charge dictates total angular momentum in Dirac beams","Helicity anomaly exposed in relativistic vortex beams","Exact Dirac spinors reveal vortex beam angular momentum","Intrinsic spin-orbit coupling strength for Dirac vortices","Relativistic vortex beams carry net angular momentum"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00057,"raw_usage":{"total_tokens":2726,"prompt_tokens":1007,"completion_tokens":1719,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":623,"completion_tokens_details":{"reasoning_tokens":1645}},"tokens_in":623,"tokens_out":1719,"duration_ms":15053,"temperature":1.0,"reasoning_tokens":1645,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T18:18:36.188915+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute Eq. (16) and the normalization integral $I_1$ with different choices of cutoff $r_1$, or on the infinite interval with a proper regularization, and check whether the imaginary part of the helicity expectation value survives in the limit; if it vanishes or changes sign with the cutoff, the claimed helicity anomaly is not a physical property of the vortex state.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Argues that the beam is unlikely to carry net angular momentum because spin and orbital parts may cancel; this is the opposing position the paper's exact eigenstates are meant to settle."},{"cited_title":"Bialynicki-Birula and Z","cited_arxiv_id":null,"evidence_quote":"Constructs a vortex solution agreeing on net angular momentum but lacking spin-orbit coupling information; the paper supplies the explicit SOC strength it omits."},{"cited_title":"Larocque and E","cited_arxiv_id":null,"evidence_quote":"Provides exact cylindrical-coordinate solutions of the Dirac equation via series expansion, the method the authors generalize."},{"cited_title":"Berestetskii, E","cited_arxiv_id":null,"evidence_quote":"Supplies the similarity-transformation separation of variables used to derive the auxiliary conserved operator $\\hat K$ that fixes the parameter $\\lambda$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Justifies the use of a finite radial cutoff $r_1$ in normalizing Bessel-beam integrals, which underlies the numerical evaluation of the expectation values."}],"review_version":1}