{"id":"c84cc35d-cb87-4e2d-aac4-a45997cec9d5","arxiv_id":"1908.03400","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A closed-form quantum traversal time across a potential well is derived from TOA operator quantization, with classical positive/negative momentum contributions plus a quantum term that can dominate and change sign for deep wells.","lead":"The paper derives a formula for how long a quantum wave packet takes to cross a potential well, using a 'time of arrival' operator formalism. For deep wells the formula predicts traversal times that oscillate between positive and negative, meaning the packet can be advanced or delayed relative to a free particle.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (27)'s third (quantum) term rests on Appendix A's unproved residue cancellation and analytic continuation; the deep-well negative traversal time is not established until that step is verified.","rationale":"The reader's weakest assumption is exactly the load-bearing one. The central claim is not Eq. (27)'s first two classical terms, which would survive many failures, but the third term whose sign oscillations produce the claimed advancement or delay. That term comes from the imaginary-axis integral in Eq. (26), reached only through Eqs. (A.3)-(A.11). The paper explicitly admits the naive interchange is invalid and says the complex-plane evaluation is needed; the residue cancellation in Eq. (A.11) is simply asserted. The later Gaussian formulas (39)-(40) likewise 'lift the integral in the complex plane' with no derivation. Because there is no formal verification or code, and because Eq. (25) is actually convergent for Gaussian wave packets, a direct numerical comparison is the fastest way to decide. I do not base the verdict on the t2 sign oddity in Eq. (9), which is likely a region-labeling typo, nor on the physical interpretation of negative times, since the paper itself concedes the reflection/non-detection reading; those are secondary. Hence the condition in the reader's CONDITIONAL verdict is appropriate and unchanged.","tokens_in":31,"tokens_out":17218,"duration_ms":249040,"concrete_test":"For the Gaussian wave packet (33), Φ(ζ)=e^{-ζ²/16σ²}, so the original complex index (25) reduces to the convergent one-dimensional integral R* = k0 ∫0∞ dζ e^{-ζ²/16σ²} I0(κζ)e^{ik0ζ}. Compute R_num = Im R* by high-precision quadrature for a deep-well parameter set such as σ=0.2, k0=1, κ=5 (κ/k0=5, σκ=1), and compare with Eq. (26) (equivalently Eqs. (37)-(39)). Also compare the finite integral (39) for Rκ directly with the lifted expression (40). If the signed values, especially the sign and magnitude of Rκ, agree to numerical accuracy, the Appendix A deformation is corroborated; any sign or amplitude discrepancy would locate the error in Eq. (A.9)/(A.11) or in the Eq. (39)→(40) step.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Eq. (27) is obtained from Eq. (25) through Appendix A. Three sub-steps are load-bearing: (i) Eq. (A.3) interchanges the ζ and k integrations and evaluates the ζ integral by analytic continuation, valid only for ϵ>κ; the continuation to the physical ϵ<κ regime is asserted, not proved. (ii) Eq. (A.9) rewrites the shifted integrals as real-axis plus imaginary-axis integrals using the contours C±; the signs and branch-cut contributions are not derived. (iii) Eq. (A.11) defines R*_Res and states 'It turns out that the first term of Eq. (A.11) cancels the second and third terms so that R*_Res=0' without proof. The third term of Eq. (27), the sole source of the oscillatory negative traversal times, is exactly the imaginary-axis integral produced by these steps; if any one of the three fails, the deep-well advance/delay prediction does not follow. For the Gaussian example the pole residue terms vanish in the limit r→∞, so issue (iii) is trivially zero there, but the general formula and the later Gaussian rewriting of Eq. (39) into Eq. (40) still depend on the same unproved contour deformation. The manuscript supplies no independent computation of the original expression (25), so this is a missing proof, not merely an unconventional choice.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript constructs a quantum time-of-arrival (TOA) operator for a one-dimensional rectangular potential well via Weyl quantization and defines the expected traversal time as the difference between the expectation values of the free and well TOA operators. The central result is Eq. (27), which expresses the well traversal time as the sum of two classical-like weighted contributions from positive and negative momentum components and a third purely quantum contribution involving the incident wave function at imaginary momenta. For a Gaussian wave packet, the authors find that shallow wells reproduce the classical and free-particle traversal times in appropriate limits, while deep wells yield an oscillatory traversal time that can be negative, implying advanced or delayed arrival. The derivation of Eq. (27) relies on a contour-integral evaluation in Appendix A.","tokens_in":17817,"tokens_out":17335,"duration_ms":157819,"significance":"If the technical gaps are resolved, this would be a novel addition to the quantum time-of-arrival literature. The expression (27) is derived from first principles rather than fitted, and it passes several internal consistency checks: it reduces to the known barrier traversal time under V0→−V0 (Sec. IV), to the classical well traversal time in the high-energy limit (Eqs. 19-20), and to the free-particle traversal time for narrow wave packets (Sec. V.A). The paper explicitly separates classical and quantum contributions, which is a useful feature. However, the significance is conditional on the missing proof of the residue cancellation and analytic continuation in Appendix A.","major_comments":[{"comment":"The assertion that 'the first term of Eq. (A.11) cancels the second and third terms so that R*_Res = 0' is made without proof. This cancellation is the step that removes the pole contributions and leaves the pure integral form of Eq. (A.10), which in turn yields the third term of Eq. (27). The analytic continuation from ϵ>κ (where Eq. (A.3) converges) to the physical ϵ<κ regime is also not justified. In addition, the step from Eq. (A.8) to Eq. (A.10) via Eq. (A.9) involves a contour deformation whose signs and branch-cut contributions are not derived. Please provide a rigorous derivation or a numerical verification of the cancellation and the continuation.","section":"Appendix A, Eq. (A.11)"},{"comment":"The transformation from Eq. (39) to Eq. (40) is stated without any derivation ('Equation (39) is rewritten by lifting the integral in the complex plane', no details). The deep-well analysis, including the exponentially large factor e^{2σ²(κ²−k0²)} and the oscillatory factor in z, depends entirely on this rewriting. Without a proof of the contour deformation and the resulting expressions for z and γ, the prediction of oscillatory negative traversal times for deep wells is not established.","section":"Sec. V.B, Eqs. (39)-(40)"}],"minor_comments":[{"comment":"For a particle initially inside the well (region II), the classical time to reach the origin should involve momentum sqrt(p0²+2µV0) for the segment inside the well and p0 for the free segment; Eq. (9) appears to have these reversed, and the condition 2µV0/p0²<1 is appropriate only for a barrier. Please correct or clarify.","section":"Eq. (9), t2"},{"comment":"The claim that the time kernels are equal for Weyl, Born-Jordan, and simple symmetric quantizations is stated without proof; provide a reference or a brief derivation.","section":"Sec. II, after Eq. (6)"},{"comment":"The caption contains the typo 'abscence'; it should be 'absence'.","section":"Figure 2 caption"},{"comment":"The word 'microelectrenonics' should be 'microelectronics'.","section":"Sec. V.B"},{"comment":"The notation d(2n)/dk(2n) is nonstandard; use d^{2n}/dk^{2n} for the 2n-th derivative.","section":"Eq. (44)"}],"recommendation":"major_revision","confidential_remarks":"The paper contains a promising and internally consistent derivation of a TOA-based traversal time for a quantum well, but the key contour-integral step in Appendix A (the residue cancellation and analytic continuation) is asserted rather than proved. This step is load-bearing for the central closed-form expression and for the deep-well oscillation claim. The manuscript is worth revision if the authors can supply a complete proof or a careful numerical check of that step. The additional transformation from Eq. (39) to Eq. (40) also needs a derivation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper extends Galapon's TOA-operator traversal time from barriers and free particles to potential wells, and the centerpiece is Eq. (27): a closed-form expression separating classical positive- and negative-momentum contributions from a purely quantum term. That expression is new, and the smooth V0 → −V0 mapping that recovers the barrier result is a nice bridge. The consistency checks are real: the classical limit, the shallow-well wide-packet limit, and the free-particle narrow-packet limit all reduce as advertised. Nothing is fitted; the derivation is from the quantization rule. This is legitimate and useful work within the quantum time-of-arrival program.\n\nThe main soft spot is Appendix A. The step from the double integral in Eq. (25) to the three-term expression in Eq. (26) requires three load-bearing moves: analytic continuation from ϵ > κ to the physical regime, a particular contour deformation, and the claim in Eq. (A.11) that the residue contributions cancel exactly. That cancellation is asserted, not shown. I agree with the stress-test: the quantum third term, the one that oscillates and produces negative traversal times for deep wells, is exactly what depends on those steps. Until the cancellation is proved or the final expression is checked numerically against the original integral, the deep-well prediction is not established. This is a missing proof, not a stylistic choice.\n\nThere is also a concrete error in the classical limit. Eq. (9) for t2, the time for a particle starting inside the well, has the momenta swapped: it uses p0 for the well segment and sqrt(p0² − 2μV0) for the free segment after the well. For an attractive well the momentum inside should be sqrt(p0² + 2μV0), and the free segment should keep p0. That looks like a barrier expression, not a well one. It doesn't feed directly into Eq. (27), but it undermines confidence in the TOA construction.\n\nA smaller issue: the abstract and conclusion say negative traversal time implies the wave packet is 'advanced or delayed,' but the paper's own Sec. V.B says the negative case corresponds to reflection and non-detection, so comparing it to a positive free arrival time is meaningless. The authors acknowledge this; the abstract just oversells it.\n\nThe citation pattern is fine — self-citations are to the same program and used as consistency checks, which is legitimate here.\n\nWho is this for: people working on quantum time of arrival and time observables. It deserves a serious referee. I would recommend peer review, but with a demand that the residue cancellation be proven or numerically verified. The result is concrete and the gaps are fixable.","headline":"A genuine extension of the TOA traversal-time program with a novel closed-form result, but the key quantum term rests on an unproved residue cancellation that needs to be fixed before the deep-well predictions can be trusted.","tokens_in":18353,"tokens_out":3741,"would_cite":false,"duration_ms":38107,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["03.65.Xp"],"model":"deepseek-v4-flash","headline":"The paper derives a closed-form expression for the quantum traversal time across a potential well and shows that for deep wells the time can be negative, so the packet is advanced or delayed.","keywords":["quantum traversal time","time-of-arrival operator","potential well","Gaussian wave packet","negative traversal time","deep well","barrier tunneling time","phase time"],"falsifier":"Choose a Gaussian incident packet with parameter values in the region where Eq. (51) predicts a negative index $R$, and evaluate the original double integral $R^*=k_0\\int_0^\\infty d\\zeta I_0(\\kappa\\zeta)\\int_{-\\infty}^\\infty dk|\\Psi(k)|^2e^{ik\\zeta}$ numerically with a convergence factor $e^{-\\epsilon\\zeta}$ for $\\epsilon>\\kappa$, then analytically continue to $\\epsilon\\to0^+$. If the regulated value does not match Eq. (26) — in particular, if it is nonnegative where the paper predicts a sign change — the complex-plane reduction is not correct and the negative-traversal-time prediction fails.","tokens_in":17330,"feed_emoji":"⏱️","tokens_out":15322,"duration_ms":143280,"temperature":0.7,"pith_summary":"Using the theory of quantum time-of-arrival (TOA) operators, the paper derives a closed-form expression for the expected time a wave packet takes to cross a rectangular potential well. The expression splits into two classical-looking terms, weighted traversal times over the well for positive- and negative-momentum components, plus a third, purely quantum term that depends on the well depth and is not positive definite. For deep wells this quantum term grows exponentially and oscillates in sign, so the total traversal time can be positive or negative, meaning the wave packet would on average be delayed or advanced relative to a free packet. The derivation also shows that analytically changing the well depth from $-V_0$ to $+V_0$ recovers the barrier traversal time, with the quantum term canceling the sub-barrier contribution and leaving zero tunneling time. That connects the well result to the long-standing tunneling-time debate and gives concrete, parameter-dependent predictions for when a well should advance or delay a packet.","feed_headline":"For deep wells, quantum traversal time can go negative","feed_subtitle":"A closed-form derivation splits traversal time into classical and quantum terms; for deep wells the quantum term dominates and changes sign.","key_machinery":"The object that carries the argument is the time-of-arrival operator $\\hat T$, obtained by quantizing the classical arrival time; for the free particle its kernel is $T_F(q,q')=(q+q')/4$, while for the well the kernel is built in three spatial regions and contains modified Bessel functions, with $\\tilde T_3(\\eta,\\zeta)=\\eta/2-(L/2)[I_0(\\kappa|\\zeta|)-1]$ for packets whose support starts left of the well. The traversal time is the difference $\\langle \\hat T_F\\rangle-\\langle \\hat T_W\\rangle$, which reduces to $\\tau_W=(L/v_0)R$, where $R$ is an effective index of refraction obtained as the imaginary part of the double integral $R^*=k_0\\int_0^\\infty d\\zeta I_0(\\kappa\\zeta)\\int dk|\\Psi(k)|^2 e^{ik\\zeta}$. The decisive step is the evaluation of this integral in the complex plane: the paper uses the identity $\\int_0^\\infty d\\zeta I_0(\\kappa\\zeta)e^{i(k+i\\epsilon)\\zeta}=i\\,\\mathrm{csgn}(k)/\\sqrt{(k+i\\epsilon)^2+\\kappa^2}$ for $\\epsilon>\\kappa$, then deforms contours to obtain the three-term decomposition and, for arbitrary states, the asserted cancellation of residue contributions.","core_discovery":"The central claim is that the expected quantum traversal time across a well of depth $V_0$ and width $L$ has the exact three-term form\n$$\n\\tau_W=\\int_0^\\infty dk\\,\\tau_{\\mathrm{top}}(k)|\\Psi(k)|^2-\\int_0^\\infty dk\\,\\tau_{\\mathrm{top}}(k)|\\Psi(-k)|^2-\\int_0^\\kappa dk\\,\\tau_{\\mathrm{in}}(k)\\operatorname{Im}[2\\Psi(ik)\\Psi^*(-ik)],\n$$\nwith $\\kappa=\\sqrt{2\\mu V_0}/\\hbar$, $\\tau_{\\mathrm{top}}(k)=L/v_{\\mathrm{top}}(k)$, $\\tau_{\\mathrm{in}}(k)=L/v_{\\mathrm{in}}(k)$, $v_{\\mathrm{top}}(k)=\\hbar\\sqrt{k^2+\\kappa^2}/\\mu$, and $v_{\\mathrm{in}}(k)=\\hbar\\sqrt{\\kappa^2-k^2}/\\mu$. The first two terms are classical weighted averages with momentum probabilities $|\\Psi(\\pm k)|^2$; the third term is purely quantum, supported for $0\\le k\\le\\kappa$, and its weight is an imaginary cross-term rather than a probability. The paper argues that for deep wells this third term dominates and oscillates, so $\\tau_W$ can be negative; it further shows that the same formula analytically continues to the barrier case under $V_0\\to -V_0$, where the quantum term cancels the sub-barrier contribution and reproduces the known instantaneous-tunneling result.","pith_inferences":["Inference: a direct numerical evaluation of the original double integral with an $\\epsilon>\\kappa$ regulator and analytic continuation to $\\epsilon\\to0$ would independently test the complex-plane reduction for the Gaussian packets of Sec. V, without relying on the paper's contour argument.","Inference: the same complex-plane decomposition should apply to smooth or asymmetric wells; if the sign-indefinite quantum term survives there, the effect is a general feature of quantum traversal time rather than an artifact of rectangular edges.","Inference: because the paper ties the negative traversal time to negative group velocity and reflection, a classical-wave experiment at parameters where Eq. (27) predicts a sign change could separate genuine advancement from reflection loss and sharpen the operational meaning of negative traversal time."],"forward_implications":["For shallow wells ($\\kappa/k_0\\to0$) and spatially broad packets, $\\tau_W$ approaches the classical well traversal time with small quantum corrections governed by the packet width; the correspondence-principle limit is recovered as $\\hbar\\to0$.","For shallow wells and narrow packets, $\\tau_W$ approaches the free-particle quantum traversal time plus corrections controlled by $\\kappa$, so a weak well acts as a perturbation to free propagation.","For deep wells ($\\kappa/k_0\\to\\infty$), the third term dominates and $\\tau_W$ oscillates from positive to negative; the sign is determined by $\\sigma k_0$ and $\\sigma\\kappa$, so shaping the packet or well depth can switch between delay and advance.","Analytically continuing $V_0\\to -V_0$ turns the well traversal time into the barrier traversal time; sub-barrier momentum components then contribute zero traversal time, recovering instantaneous tunneling as a limiting case."],"supporting_citations":[{"why":"Supplies the barrier traversal time and zero-tunneling-time result to which the well traversal time must reduce under $V_0\\to -V_0$.","marker":"[11]"},{"why":"Gives the quantization scheme for time-of-arrival operators used to construct both the well and free TOA operators.","marker":"[21]"},{"why":"Provides the time-kernel formula for interacting potentials and the quantization rules used to build the well operator.","marker":"[22]"},{"why":"Establishes the free-particle TOA expectation value and its classical limit, the baseline for the traversal-time comparison.","marker":"[27]"},{"why":"Supplies the finite-part integration method for generalized Stieltjes transforms used to cross-check the shallow-well expansion.","marker":"[29]"},{"why":"Documents missed terms in term-by-term integration of divergent integrals, motivating the complex-plane evaluation of Eq. (25).","marker":"[30]"}],"fun_headline_variants":["Deep wells can make quantum traversal time negative","Traversal time can go negative for deep quantum wells","Quantum well traversal time flips sign for deep wells","Negative traversal time emerges from deep potential wells","Quantum term flips traversal time sign in deep wells"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The result depends on the unproved assertion that the complex-plane evaluation of the double integral is valid, including the exact cancellation of boundary and residue terms that leaves only the three terms of Eq. (27); if that cancellation fails, the purely quantum contribution to the traversal time, and with it the deep-well negative traversal times, does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Deep wells can make quantum traversal time negative","Traversal time can go negative for deep quantum wells","Quantum well traversal time flips sign for deep wells","Negative traversal time emerges from deep potential wells","Quantum term flips traversal time sign in deep wells"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000442,"raw_usage":{"total_tokens":2287,"prompt_tokens":1041,"completion_tokens":1246,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":657,"completion_tokens_details":{"reasoning_tokens":1174}},"tokens_in":657,"tokens_out":1246,"duration_ms":8557,"temperature":1.0,"reasoning_tokens":1174,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:15:17.388801+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose a Gaussian incident packet with parameter values in the region where Eq. (51) predicts a negative index $R$, and evaluate the original double integral $R^*=k_0\\int_0^\\infty d\\zeta I_0(\\kappa\\zeta)\\int_{-\\infty}^\\infty dk|\\Psi(k)|^2e^{ik\\zeta}$ numerically with a convergence factor $e^{-\\epsilon\\zeta}$ for $\\epsilon>\\kappa$, then analytically continue to $\\epsilon\\to0^+$. If the regulated value does not match Eq. (26) — in particular, if it is nonnegative where the paper predicts a sign change — the complex-plane reduction is not correct and the negative-traversal-time prediction fails.","supporting_citations":[{"cited_title":"Now, in the absence of the potential well, substituting the time kernel ˜TF (η,ζ ) = η/2 into Eq","cited_arxiv_id":null,"evidence_quote":"Supplies the barrier traversal time and zero-tunneling-time result to which the well traversal time must reduce under $V_0\\to -V_0$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the quantization scheme for time-of-arrival operators used to construct both the well and free TOA operators."},{"cited_title":"M.Vetter, A","cited_arxiv_id":null,"evidence_quote":"Provides the time-kernel formula for interacting potentials and the quantization rules used to build the well operator."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the free-particle TOA expectation value and its classical limit, the baseline for the traversal-time comparison."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the finite-part integration method for generalized Stieltjes transforms used to cross-check the shallow-well expansion."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Documents missed terms in term-by-term integration of divergent integrals, motivating the complex-plane evaluation of Eq. (25)."}],"review_version":1}