{"id":"6dcf17e3-90b4-4fda-b10e-ba33ba643c8e","arxiv_id":"2501.14831","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper evaluates Δr Δp_r for hydrogenic atoms, an infinite spherical well, and a spherical harmonic oscillator, confirming the Heisenberg bound in all states.","lead":"This paper calculates the radial uncertainty product, a bound on how precisely both radius and radial momentum can be known, for three spherically symmetric quantum systems. It is a long re-derivation of textbook results; only the infinite spherical well case adds values not already in the cited literature.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The paper's central theoretical claim is not rigorously established: p_r in Eq. (4) is symmetric but not self-adjoint on L²(r²dr), so the Robertson-based radial uncertainty relation in Section II does not follow; the explicit product formulas may survive but need a direct derivation.","rationale":"The identified gap is load-bearing for the paper's Section II framing, because the advertised 'radial uncertainty relation analogous to the Cartesian form' is derived from a symmetric, non-self-adjoint operator. Without self-adjointness, the Robertson inequality is not a theorem for these operators, and the paper gives no direct proof of the bound for the states it treats. However, the numerical claims appear correct: the hydrogen and oscillator formulas match established results, and the ISW ground state can be checked analytically. The concern therefore supports the existing CONDITIONAL verdict rather than a rejection. The proposed test (deficiency-index computation plus direct quadrature for the 1s state) separates the rigorous framing issue from the validity of the explicit formulas.","tokens_in":27162,"tokens_out":26363,"duration_ms":201235,"concrete_test":"Solve the deficiency equations for p_r on L²((0,∞), r² dr): show that p_rψ = +iℏψ admits the normalizable solution ψ(r) = e^{-r}/r (i.e., f = e^{-r} in L²(dr)) whereas p_rψ = -iℏψ admits no normalizable solution. This establishes deficiency indices (1,0) and hence the absence of a self-adjoint extension, confirming the theoretical gap. Then, to check whether the gap affects the headline numbers, recompute the hydrogen 1s product directly from Eqs. (1), (2), (7), (8) with the explicit wavefunction and verify it equals 0.866ℏ as given by Eq. (41).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim begins in Section II with the assertion that [r, p_r] = iℏ (Eq. 5) immediately yields Δr Δp_r ≥ ℏ/2. This step is not valid as stated. The operator p_r = -iℏ(∂_r + 1/r) on L²((0,∞), r² dr) is symmetric but has no self-adjoint extension: via U f = r f it is unitarily equivalent to -iℏ d/dr on the half-line, whose deficiency indices are (1,0) (the equation (∂_r + 1/r)ψ = +ψ has normalizable solution e^{-r}/r, while the -ψ solution grows). Consequently p_r is not an observable in the standard sense, and the Robertson inequality invoked implicitly in Section II is not applicable. The specific bound-state products computed in Sections III–V may still be correct, because the transformed states f = rR lie in H¹₀ and the variance of p_r is finite; but the paper never supplies this domain argument. The theoretical justification for calling ΔrΔp_r a Heisenberg-type uncertainty product is therefore missing.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives a radial uncertainty relation Δr Δp_r ≥ ħ/2 from the commutator [r, p_r] = iħ and then computes explicit bound-state formulas for the radial uncertainty product for three spherically symmetric potentials: hydrogenic atoms, the infinite spherical well, and the spherical harmonic oscillator. For each potential the author presents the normalized radial wave functions, expectation values ⟨r⟩ and ⟨r²⟩, the radial momentum expectation ⟨p_r⟩ (shown to vanish), Δp_r, and the resulting product, together with numerical tables and plots. The hydrogen product is given in Eq. (41), the infinite-spherical-well product in Section IV.D, and the oscillator product in Eq. (98).","tokens_in":27402,"tokens_out":9188,"duration_ms":81974,"significance":"If the derivations were complete, the paper would provide a useful catalog of exact radial uncertainty products for standard central potentials, extending the known hydrogen results to the spherical well and harmonic oscillator with explicit hypergeometric expressions. The manuscript has several genuine strengths: the final hydrogen formulas match textbook values (e.g., the 1s ground state gives Δr = √3 a₀/(2Z) and Δp_r = Zħ/a₀), the calculations are largely explicit, and the numerical tables and figures allow spot checking. The author also makes good use of orthogonal-polynomial identities and reports Mathematica integration results, which aids reproducibility. However, the central theoretical framework is not rigorously established in two load-bearing places: the radial momentum operator is not self-adjoint on the stated Hilbert space, and the derivation of Eq. (38) for ⟨1/r²⟩ contains an unjustified step. These gaps do not falsify the final product formulas, which are independently known or verifiable, but they prevent the paper from standing as a rigorous derivation as written.","major_comments":[{"comment":"The assertion that [r, p_r] = iħ immediately yields a Heisenberg-type uncertainty relation is not supported because p_r = -iħ(∂_r + 1/r) is not self-adjoint on L²((0,∞), r²dr). The unitary transformation f ↦ r f maps p_r to -iħ d/dr on L²((0,∞), dr), whose deficiency indices are (1,0); consequently p_r has no self-adjoint extension and is not an observable in the standard von Neumann sense. The paper must either justify the uncertainty relation on a common dense domain using the appropriate inequality for symmetric operators, or derive the radial uncertainty bound directly on the eigenstates considered, rather than invoking the Cartesian Robertson argument verbatim.","section":"Section II, Eqs. (4)-(5)"},{"comment":"The derivation of ⟨1/r²⟩ for hydrogen is flawed. Equation (35) has f² ∂ℓ(f''/f) on the left-hand side, but Eq. (36) drops the f² and integrates ∂ℓ(f''/f) alone. The later assertion that ∫₀^∞ ∂ℓ[f''/f] dr = 0 is asserted without proof and is not evidently true. Since Eq. (38) and hence Δp_r in Eq. (40) and the hydrogen product in Eq. (41) depend on this step, the derivation must be repaired; a standard derivation via Kramers' relation or a direct Feynman-Hellmann argument on the radial equation would suffice. The final hydrogen formula is correct, but the route given is not.","section":"Section III, Eqs. (34)-(38)"}],"minor_comments":[{"comment":"Equation (58) contains a stray '= 0' inside '⟨ˆr²⟩ = 0 = ...', which makes the equation nonsensical; this appears to be a typo for '⟨ˆr²⟩ = ...'.","section":"Section IV.B, Eq. (58)"},{"comment":"In the n = 6 block, the row labeled '(4,2)' should be labeled '(6,2)', and the entry '64/9455√π' appears to be a typo for '64/945√π'; as printed, the table lists two different values for the same state (6,2) that do not agree.","section":"Table XII"},{"comment":"The statement 'For n = n(ℓ) = nr + ℓ + 1, dn/dℓ = 1' should make explicit that the differentiation is at fixed radial quantum number n_r, not at fixed principal n; otherwise the reader cannot follow the derivative of the term Z²/(n²a₀²).","section":"Section III, preceding Eq. (34)"},{"comment":"In the display for ⟨p_r⟩, the prefactor is written as 2/R after substitution, but an intermediate step contains z-dependent normalization factors involving |j_{ℓ+1}(z_{nℓ})|²; the final conclusion ⟨p_r⟩ = 0 is correct, but the printed algebra skips a cancellation that should be shown.","section":"Section IV.C, Eq. (87)"},{"comment":"There are numerous incomplete sentences and grammatical errors (e.g., 'Lets check whether ˆr and ˆpr commute or not' and 'Now, our aim is to evaluate ⟨ˆr²⟩ = 0'); a careful language edit is needed.","section":"Throughout"},{"comment":"Reference [13] is an unpublished ResearchGate document marked 'In Progress' and should be replaced by a peer-reviewed source or the needed normalization/orthogonality result should be stated directly; reference [17] contains the placeholder URL 'https://example.com/your-article-link' and must be corrected.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript reads much like a well-organized course project: the derivations are mostly standard applications of known integrals, and the hydrogen and harmonic-oscillator results overlap substantially with Refs. [19] and [20] cited by the author. The editor may wish to weigh whether the infinite-spherical-well formulas in terms of hypergeometric functions and Bessel zeros suffice as a new contribution for this journal. The technical gaps in Section II and Eq. (37) are repairable, but they are load-bearing for the claimed derivation, so I cannot recommend acceptance in the current form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my read. The paper is essentially a worked exercise: derive ∆r ∆p_r for hydrogen, the infinite spherical well, and the spherical oscillator. The hydrogen and oscillator results are already in refs [19] and [20], which the paper cites, and the numbers I checked match. The ISW product is not in those references, and the calculation looks correct in outline, though it relies on Mathematica for the Bessel integrals. What the paper does well: the derivations are explicit and the normalization constants, expectation values, and uncertainties are spelled out, which makes it useful as a pedagogical reference if it were cleaned up.\n\nThe soft spots are real but not fatal to the final formulas. First, Section II invokes the Robertson inequality from [r,p_r]=iℏ without discussing the domain of p_r. The stress-test note is right: p_r is symmetric but not self-adjoint on the half-line, so the textbook uncertainty relation doesn't follow automatically. For the bound states considered, the variances are finite and can be computed directly, so the products are presumably fine; but the framing is sloppy. Second, in the hydrogen derivation of ⟨1/r^2⟩, Eq. (37), the line 'after a little bit manipulation, got ∫∂_ℓ[f''/f]dr=0' is unjustified. That integral is not obviously zero; the result is correct, but that step needs a real argument. Third, there are typos and table errors: '⟨ˆr²⟩=0' appears in the ISW section, the SHO table has a duplicated (4,2) row that is clearly meant to be (6,2), and a few hypergeometric factors are mangled.\n\nThe paper does not compare its hydrogen and oscillator products with refs [19,20] explicitly, which is a missed opportunity; a short table would have made clear what is new.\n\nOverall: the derivations are mostly sound and the central products are correct, but the paper is not a conceptual advance. It could serve as a reference for the ISW radial uncertainty product if the gaps are fixed. I'd send it to a referee only if the venue publishes pedagogical calculations; otherwise desk reject. It's not a waste of referee time—the math is checkable—but it needs revision before it should be cited.","headline":"A mostly correct but largely derivative re-derivation of radial uncertainty products for three standard potentials, with an unexamined domain assumption and one unjustified step.","tokens_in":27916,"tokens_out":4058,"would_cite":false,"duration_ms":687913,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The radial operators form a canonical pair, and the paper derives exact uncertainty products for hydrogen, the infinite spherical well, and the 3D oscillator, each exceeding ℏ/2 for all bound states.","keywords":["radial uncertainty product","radial wave function","radial momentum operator","relative dispersion","hydrogenic systems","infinite spherical well","spherical harmonic oscillator"],"falsifier":"Compute $\\langle p_r^2\\rangle$ for the hydrogen 2p state by direct quadrature on the known radial function, $\\langle p_r^2\\rangle = \\hbar^2\\int_0^\\infty r^2 |(\\partial_r+1/r)R_{21}(r)|^2\\,dr$, and compare with Eq. (39) for $n=2,\\ell=1$; any mismatch beyond round-off would show the derivation of the momentum variance is invalid.","tokens_in":26953,"feed_emoji":"⚛️","tokens_out":11319,"duration_ms":87650,"temperature":0.7,"pith_summary":"The paper aims to establish that radial position and radial momentum in a spherically symmetric quantum system obey the same canonical commutation relation as Cartesian position and momentum, $[r,p_r]=i\\hbar$ with $p_r=-i\\hbar(\\partial_r+1/r)$, and therefore satisfy the Heisenberg bound $\\Delta r\\,\\Delta p_r\\ge\\hbar/2$. It then computes the exact value of this product for the bound states of three textbook potentials—the hydrogen atom, the infinite spherical well, and the spherical harmonic oscillator—yielding closed-form expressions that depend on the quantum numbers. The numerical tables in the paper confirm that every listed state sits above the $\\hbar/2$ floor. These formulas convert a general inequality into an exact diagnostic for how tightly a given central potential can localize a particle's radial position and momentum.","feed_headline":"Exact radial uncertainty products for three quantum potentials","feed_subtitle":"The hydrogen atom, the infinite spherical well, and the 3D oscillator all satisfy the ℏ/2 floor with explicit formulas.","key_machinery":"The object carrying the argument is the symmetrized radial momentum operator $p_r=-i\\hbar(\\partial_r+1/r)$, whose commutator with $r$ is $i\\hbar$. The evaluation of the product uses three computational tools: (i) orthogonality, recursion, and derivative identities for associated Laguerre polynomials to obtain $\\langle r\\rangle$ and $\\langle r^2\\rangle$; (ii) an energy-based route to $\\langle p_r^2\\rangle$ that combines the total energy with the centrifugal term $\\ell(\\ell+1)\\hbar^2/r^2$ and the virial theorem, avoiding direct integration by parts; and (iii) for the infinite well, known indefinite integrals of spherical Bessel functions together with their zeros; for the oscillator, the substitution $\\eta=\\alpha r^2$ that turns the Laguerre weight into the standard linear form.","core_discovery":"The central claim is that the radial operators form a canonical pair: $[\\,r,p_r\\,]=i\\hbar$ with $p_r=-i\\hbar(\\partial_r+1/r)$, so that the Robertson relation gives $\\Delta r\\,\\Delta p_r \\ge \\hbar/2$ in exactly the Cartesian form. The paper explicitly evaluates the product for three potentials. For hydrogenic atoms (Eq. (41)) the product is $\\frac{\\hbar}{2n}\\sqrt{n^2(n^2+2)-[\\ell(\\ell+1)]^2}\\sqrt{1-\\frac{2\\ell(\\ell+1)}{n(2\\ell+1)}}$; for the infinite spherical well the product is expressed via the functions $A(\\ell,z_{n\\ell})$, $B(\\ell,z_{n\\ell})$, and $D(\\ell,z_{n\\ell})$ of the Bessel-function zeros $z_{n\\ell}$ (Section IV.D); and for the spherical harmonic oscillator (Eq. (98)) it is $\\hbar\\sqrt{n+\\tfrac32-\\widetilde C_{n\\ell}^2\\widetilde I_1^2}\\sqrt{n+\\tfrac32-\\ell(\\ell+1)\\widetilde C_{n\\ell}\\widetilde I_7}$. In all three cases the paper finds $\\langle p_r\\rangle=0$ and verifies numerically that the product exceeds $\\hbar/2$ for every bound state considered.","pith_inferences":["The same canonical-pair structure would apply to any spherically symmetric potential in $d$ dimensions by replacing the operator with $p_r=-i\\hbar(\\partial_r+(d-1)/2r)$, so the method can be extended to systems such as the 3D Morse potential or Woods–Saxon wells without new machinery.","The paper's silence on the domain of $p_r$ leaves open a genuine functional-analytic gap; if the bound-state radial functions do not lie in a common domain making $p_r$ self-adjoint, the Robertson relation is not automatically justified, and the product could in principle depend on the chosen self-adjoint extension.","The hydrogenic formula implies a soft bound on how strongly the radial degree of freedom can be squeezed: for fixed $n$, states of maximal $\\ell$ come closest to the Heisenberg floor, so angular-momentum-carrying states are the natural candidates for nearly-minimum-uncertainty radial wave packets.","The ISW product, built from Bessel-function zeros, grows roughly linearly with $n$ for small $\\ell$, while the oscillator product grows only slowly, hinting that the degree of radial squeezing differs sharply between hard-wall and harmonic confinement."],"forward_implications":["For hydrogenic atoms the radial uncertainty product depends only on $n$, $\\ell$, and $\\hbar$, not on $Z$ or $a_0$, so the same numerical values apply to H, He$^+$, Li$^{2+}$, and Be$^{3+}$.","In the infinite spherical well the product is expressed in terms of the zeros $z_{n\\ell}$ of spherical Bessel functions, giving values that are essentially exact once those zeros are known.","For the spherical harmonic oscillator the product involves the dimensionless integrals $\\widetilde I_1$ and $\\widetilde I_7$; the closed form of $\\langle r^2\\rangle$ in Eq. (85) follows from the virial theorem and provides a consistency check.","In all three potentials $\\langle p_r\\rangle = 0$ for every bound state, so the radial momentum variance is entirely determined by $\\langle p_r^2\\rangle$, and the uncertainty product simplifies to $\\Delta r\\sqrt{\\langle p_r^2\\rangle}$."],"supporting_citations":[{"why":"Supplies the $d$-dimensional radial momentum operator and its square in the form the paper specialises to $d=3$.","marker":"[7]"},{"why":"Provides the general uncertainty inequality $\\Delta A\\,\\Delta B \\ge \\tfrac12|\\langle i[A,B]\\rangle|$ used to justify the radial bound.","marker":"[5]"},{"why":"Gives the $d$-dimensional radial probability density $P(r)=r^{d-1}|R(r)|^2$ and the hydrogenic wave function used in the normalisation.","marker":"[6]"},{"why":"Supplies the associated Laguerre orthogonality, recursion, and derivative identities used throughout the hydrogen and oscillator calculations.","marker":"[10]"},{"why":"Provides the standard radial Schrödinger equation and the hydrogenic wave-function conventions, including the orthogonality convention for Laguerre functions.","marker":"[11]"},{"why":"Supplies the method of differentiating the radial equation to compute $\\langle 1/r^2\\rangle$ (a Feynman–Hellmann-type trick) used for hydrogen.","marker":"[12]"},{"why":"Supplies the indefinite integral of products of spherical Bessel functions, used to normalise the infinite-spherical-well wave functions.","marker":"[14]"},{"why":"Supplies the radial wave functions of the 3D spherical harmonic oscillator used in the oscillator section.","marker":"[17]"}],"fun_headline_variants":["Exact radial uncertainty for hydrogen, well, oscillator","Radial uncertainty product respects ℏ/2 bound for three potentials","Three potentials share radial Heisenberg bound","Hydrogen, well, oscillator: radial uncertainty obeys ℏ/2"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that $p_r=-i\\hbar(\\partial_r+1/r)$ is a well-defined self-adjoint observable on the radial half-line, so the Robertson uncertainty relation applies without a separate discussion of boundary conditions at $r=0$.","fun_headline_variants_meta":{"raw":{"variants":["Exact radial uncertainty for hydrogen, well, oscillator","Radial uncertainty product respects ℏ/2 bound for three potentials","Three potentials share radial Heisenberg bound","Hydrogen, well, oscillator: radial uncertainty obeys ℏ/2"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00127,"raw_usage":{"total_tokens":5198,"prompt_tokens":945,"completion_tokens":4253,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":561,"completion_tokens_details":{"reasoning_tokens":4185}},"tokens_in":561,"tokens_out":4253,"duration_ms":32111,"temperature":1.0,"reasoning_tokens":4185,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T15:58:09.461203+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $\\langle p_r^2\\rangle$ for the hydrogen 2p state by direct quadrature on the known radial function, $\\langle p_r^2\\rangle = \\hbar^2\\int_0^\\infty r^2 |(\\partial_r+1/r)R_{21}(r)|^2\\,dr$, and compare with Eq. (39) for $n=2,\\ell=1$; any mismatch beyond round-off would show the derivation of the momentum variance is invalid.","supporting_citations":[{"cited_title":"Now it is known that the radial prob- ability current is directly proportional to average radial momentum","cited_arxiv_id":null,"evidence_quote":"Supplies the $d$-dimensional radial momentum operator and its square in the form the paper specialises to $d=3$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the general uncertainty inequality $\\Delta A\\,\\Delta B \\ge \\tfrac12|\\langle i[A,B]\\rangle|$ used to justify the radial bound."},{"cited_title":"the ratio of uncertainty and expectation of radial FIG","cited_arxiv_id":null,"evidence_quote":"Gives the $d$-dimensional radial probability density $P(r)=r^{d-1}|R(r)|^2$ and the hydrogenic wave function used in the normalisation."},{"cited_title":"Uncertainties in radial position, momentum and their product FIG","cited_arxiv_id":null,"evidence_quote":"Supplies the associated Laguerre orthogonality, recursion, and derivative identities used throughout the hydrogen and oscillator calculations."}],"review_version":1}