{"id":"b40420ee-a385-4f66-8355-c2bc92024d6c","arxiv_id":"1908.03419","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The quantum instanton rate reduces to semiclassical instanton theory only for symmetric barriers; for asymmetric barriers a spurious low-energy path ruins the approximation, and a projection operator fixes it.","lead":"The paper finds that the quantum instanton approximation for reaction rates is not related to the semiclassical instanton theory in the way that was assumed: for asymmetric barriers a spurious low-energy path contaminates the rate, causing order-of-magnitude errors. It introduces a projected quantum instanton that filters out this path and matches exact rates.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Universal 'no dividing-surface choice can fix QI' claim rests on an unproven no-conjugate-split assertion; an exhaustive (x1,x2) search would settle it.","rationale":"The reader's weakest_assumption identifies exactly the same soft spot: the semiclassical analysis assumes two dominant paths and asserts no equal-time no-conjugate split exists for the asymmetric low-temperature case. The paper provides strong independent evidence for its main semiclassical analysis: Tables II and III show that the semiclassical values of C_dd, C_ff, Delta H_dd, and Delta H_ff are within a factor of two of the quantum values for the tested surfaces, and the rate predictions confirm the order-of-magnitude QI error. This validates the mechanism for the standard dividing-surface prescriptions. However, the paper goes further and claims that no dividing-surface choice can fix the problem, a universal statement that is not proven. The authors' own Fig. 4 shows that at 150 K a same-energy split can exist while QI still fails because K_l >> K_r, so the central conclusion has partial support independent of the no-split claim. Yet the abstract and conclusions are phrased categorically ('only ... symmetric systems'), and that categorical wording depends on the unverified no-conjugate-split assertion. A targeted numerical search over dividing surfaces would settle the point directly. If no counterexample is found, the paper's conclusion stands; if one is found, the claim should be reduced to 'standard QI dividing-surface choices fail,' which is a meaningful but weaker statement. This warrants a conditional acceptance rather than outright rejection, since the core semiclassical analysis and the documented failure of the standard QI method are well supported.","tokens_in":19766,"tokens_out":14719,"duration_ms":173801,"concrete_test":"For the paper's T = 100 K, alpha = 1.425 Eckart parameters, perform a dense search over (x1, x2) in a bounded interval containing the instanton turning points (e.g., [-3, 3]^2), supplemented by continuation from the stationary points of rho and C_ff. For each pair, solve the two-point boundary value problem with imaginary time tau = beta hbar / 2 to find all stationary action paths, and compute each path's energy, action, van Vleck prefactor, and whether a conjugate point occurs. Check whether any pair has E_l = E_r with nonsingular prefactors and both paths as minima, and if so evaluate the full QI and 2OCE rates from the exact C_ff at that surface. If no such pair exists, the no-divide claim is confirmed; if one exists, the claim must be weakened.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's strongest claim (Sec. III B and Conclusions) is that no choice of dividing surfaces can remove the spurious-path problem, so that QI connects to SCI only for symmetric barriers. This universal negative is supported by the assertion in Sec. III A that below about 142 K there is no way to split the instanton into two equal-imaginary-time minimum-action halves without encountering a conjugate point. The manuscript explicitly demonstrates this only for the representative surfaces A-D in Table I and says 'we found' for the general statement, but gives neither a proof nor an exhaustive search. Because the QI and 2OCE rate formulas (Eqs. 14, 15, 18) can in principle be evaluated at arbitrary dividing surfaces, a single surface pair with E_l = E_r and nonsingular van Vleck prefactors would, by the paper's own derivation (Eqs. 32-38), make QI reduce to SCI in the semiclassical limit. Such a counterexample would invalidate the abstract's 'only ... symmetric systems' conclusion, even though the more limited statement that the standard QI surface prescriptions fail for asymmetric barriers would remain supported by Tables II and III.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper reexamines the quantum instanton (QI) and second-order cumulant expansion (2OCE) rate theories. It derives the semiclassical (ℏ→0) limit of the quantities entering these theories using imaginary-time van Vleck propagators, assuming the propagator is dominated by two minimum-action paths (left- and right-bouncing). For a one-dimensional asymmetric Eckart barrier, it shows that one of the two paths is a spurious low-energy path, leading to order-of-magnitude errors in QI/2OCE rates at low temperatures, while semiclassical instanton (SCI) theory remains accurate. The paper verifies numerically that the semiclassical evaluation of the relevant quantities matches exact quantum values within a factor of two, justifying the analysis. It concludes that SCI is the semiclassical limit of QI only for symmetric barriers, and it proposes a projected QI (PQI) method that projects onto left/right paths with independent imaginary times, restoring the instanton and giving accurate rates for asymmetric systems.","tokens_in":19983,"tokens_out":15126,"duration_ms":151285,"significance":"If the claims hold, this is an important clarification of the relationship between QI and SCI, disproving the common conjecture that SCI is the semiclassical limit of QI and identifying the spurious low-energy path as the source of the known failure of QI for asymmetric barriers. The proposed PQI method is a valuable new contribution with promising numerical results. The paper's strengths include careful steepest-descent and van Vleck derivations, explicit semiclassical expressions for C_ff(0), ΔH_dd, and ΔH_ff, and validation against exact quantum-mechanical results in Tables II and III. The numerics convincingly support the more limited claim that the standard QI and 2OCE surface prescriptions fail for asymmetric barriers. However, the paper's strongest universal claim about no dividing surface fixing the problem requires additional support, as detailed below.","major_comments":[{"comment":"The universal negative claim that no choice of dividing surfaces can fix QI for asymmetric barriers, and the corresponding abstract statement that SCI follows only for symmetric systems, rest on an unproved assertion in Sec. III A: the paper states that 'we found that for this system below about 142 K there is no way to split the instanton into two trajectories of equal imaginary time without encountering a conjugate point,' but it demonstrates this only for the representative surfaces A-D in Table I and provides neither a proof nor an exhaustive (x1,x2) search. Because Eqs. (32)-(38) show that a single surface pair with E_l=E_r and nonsingular van Vleck prefactors would make QI reduce to SCI in the semiclassical limit, the existence of any such pair would invalidate the strong 'only symmetric systems' conclusion. Please either supply a proof or an exhaustive numerical search, or explicitly qualify the abstract and Conclusions.","section":"Secs. III A and VI"},{"comment":"The statement that 'our conclusions remain valid for these multidimensional cases' is asserted without analysis. The semiclassical decomposition into left- and right-bouncing paths, the conjugate-point discussion, and the numerical validation are all one-dimensional; in multidimensional systems the instanton is a periodic orbit with transverse fluctuation modes, and the spurious-path mechanism is not demonstrated. Please either provide a multidimensional version of the argument or explicitly restrict the conclusions to one-dimensional systems.","section":"Sec. II A (paragraph after Eq. (3))"}],"minor_comments":[{"comment":"The threshold temperature of 142 K below which no equal-time split exists is not derived; please state how this value was obtained (e.g., by numerical solution of the conjugate-point condition) so that readers can reproduce it.","section":"Sec. III A"},{"comment":"The caption says darker lines indicate larger asymmetry, but it does not list the actual values; adding the α values (α=1, 2, 3, 4) to the caption would improve readability.","section":"Fig. 2 caption"},{"comment":"The left-hand side 'k_QI Q_r' might be misread as a product of two quantities; consider adding a brief parenthetical noting that Q_r is the reactant partition function appearing in Eq. (1), as is done later in the text.","section":"Eq. (14)"},{"comment":"The footnote 'We were unable to locate an asymmetric system with split saddle points of C_ff(0)' is informative; a one-sentence explanation for why this is expected would be helpful.","section":"Ref. 45"}],"recommendation":"major_revision","confidential_remarks":"The paper is a solid and valuable contribution; the derivations are careful and the numerical validation is convincing. The only load-bearing gap is the scope of the negative claim: the 'no dividing surface' conclusion is presented as established but is supported only by an empirical 'we found' assertion for one system. If the authors can prove the conjugate-point claim or carefully qualify the conclusions, the paper should be accepted after revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper clears up a long-standing puzzle. The quantum instanton (QI) method fails badly for asymmetric barriers at low temperature, while semiclassical instanton (SCI) stays accurate, and the authors show why: the QI integrand is dominated by two minimum-action paths, and for asymmetric barriers the right-bouncing path takes a spurious low energy. That path is not half of the instanton periodic orbit, and it breaks the connection to SCI. The analysis is careful and mostly convincing. The semiclassical limits of C_ff(0), ΔH_dd, and ΔH_ff are derived from van Vleck propagators, and the numerical tables show the semiclassical estimates are within a factor of two of exact quantum values for the Eckart barrier. The rate comparisons in Tables II and III support the diagnosis that the error is in the QI rate formula itself, not in the semiclassical approximation to it. I also give credit for the derivation in Sec. III B: when the two paths genuinely join to form the instanton and the dividing surfaces satisfy Eq. (10), QI and 2OCE reduce to the SCI rate. The new PQI method is a sensible fix—projecting onto left/right paths and allowing unequal imaginary-time splits—and its test results on the Eckart barrier are strong, at least as accurate as SCI and much better than QI for asymmetric systems. The main soft spot is the universality of the negative claim. The conclusions state that no choice of dividing surfaces can remove the spurious-path problem, and the abstract says SCI is recovered 'only' for symmetric systems. That is well supported for the standard prescriptions (A–D) and for the tested regime, but the justification is partly a 'we found' statement about conjugate points below about 142 K, not a proof or exhaustive search. The 150 K case shows that even when an instanton-forming split exists, QI still overpredicts because of the K_l >> K_r hierarchy, so the conclusion may well be right, but the universal claim is stronger than the demonstration. A referee should ask for a more systematic search over dividing surfaces or a proof of the no-conjugate-split assertion. Minor limitations: the numerical evidence is one-dimensional, and no code is shipped, but the analytic derivations and exact benchmarks make the paper reproducible in principle. The citation pattern is fine; they directly engage with the original QI conjecture and their contrary conclusion is backed by data. Who should read this: anyone working on quantum transition state theory, path-integral rates, or instanton methods. It deserves a serious referee and likely publication after the universality claim is sharpened.","headline":"The QI method's semiclassical limit is not SCI except for symmetric barriers, and this paper shows why; the universal 'no dividing surface' claim is the one soft spot.","tokens_in":20524,"tokens_out":1902,"would_cite":true,"duration_ms":23018,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The quantum instanton approximation is only a semiclassical limit of instanton theory for symmetric barriers; for asymmetric barriers a spurious low-energy path dominates and no choice of dividing surfaces can remove it.","keywords":["quantum instanton","semiclassical instanton theory","reaction rate theory","imaginary-time path integrals","asymmetric barriers","deep tunneling","steepest descent approximation","projected quantum instanton"],"falsifier":"Locate all stationary points of the Euclidean action between the two dividing surfaces for an asymmetric one-dimensional barrier at low temperature and compare their actions. If a third path contributes comparably to $K_{\\ell}$ or $K_r$, or if the instanton can be split into two equal-imaginary-time minimum-action segments without passing through a conjugate point, the paper's account of the QI breakdown would not hold.","tokens_in":19590,"feed_emoji":"⚛️","tokens_out":5551,"duration_ms":56154,"temperature":0.7,"pith_summary":"This paper tests the long-standing conjecture that semiclassical instanton (SCI) theory is the asymptotic limit of the more flexible quantum instanton (QI) approximation. Rewriting the QI rate in terms of minimum-action paths, the authors show that two paths dominate the imaginary-time propagator. For symmetric barriers those two paths join into the periodic instanton orbit and the QI rate reduces to SCI. For asymmetric barriers, however, one path is a spurious low-energy bounce that dominates the rate and produces order-of-magnitude errors. The authors conclude that SCI can only be recovered from QI for symmetric systems, and propose a projected variant that forces sampling of the instanton orbit and restores accuracy.","feed_headline":"Quantum instanton rates fail on asymmetric barriers","feed_subtitle":"Semiclassical analysis reveals a spurious low-energy path dominates—and a projection fixes it.","key_machinery":"The machinery is a semiclassical steepest-descent treatment of the imaginary-time propagator $\\rho(x_1,x_2,0)\\sim K_{\\ell}+K_r$, where $\\gamma\\in\\{\\ell,r\\}$ labels the left- and right-bouncing minimum-action paths, each with action $S_\\gamma$ and energy $E_\\gamma$. The QI and 2OCE rate formulas are built from this propagator and its derivatives at zero time, and the paper evaluates those quantities asymptotically to identify which path controls the rate. In the asymmetric case the right-bouncing path has a much lower energy and dominates; the spurious path is the mechanism of failure. The proposed fix inserts projection operators $\\hat P_{\\ell}$ and $\\hat P_r$ that split paths by whether they bounce to the left or right, and allows the two imaginary-time lengths $\\tau_{\\ell},\\tau_r$ to differ, so that the two dominant paths join into the instanton periodic orbit.","core_discovery":"The central claim is that the SCI rate is the semiclassical limit of the QI rate only when the two minimum-action paths contributing to the imaginary-time propagator, $K_{\\ell}$ and $K_r$, combine into the instanton periodic orbit, which occurs generically only for symmetric barriers. For an asymmetric barrier, the right-bouncing path has an unphysically low energy and dominates, so the semiclassical limit of the QI expression contains a spurious contribution that no choice of dividing surfaces removes. The paper derives explicit semiclassical limits for the correlation functions and shows that if the two paths did form the periodic orbit, the QI expression would reduce exactly to the standard SCI formula. This justifies the proposed projected quantum instanton (PQI) method, in which projection operators restrict paths to left- or right-bouncing classes with different imaginary times, ensuring the instanton orbit is sampled.","pith_inferences":["A testable extension is an efficient path-integral Monte Carlo implementation of PQI using the central bead as the projection coordinate, which the paper outlines but does not fully benchmark.","The left/right projection strategy resembles nonadiabatic rate theories that split forward and backward paths by electronic state, so PQI may inform new nonadiabatic deep-tunneling methods.","Near and above the crossover temperature, PQI's Gaussian truncation of the projected correlation function will need systematic corrections analogous to those developed for QI; the free-particle calculation already quantifies the resulting bias.","Any quantum transition-state method that samples paths without explicitly projecting onto instanton segments is predicted to inherit QI's spurious-path error on asymmetric surfaces, so method validation should monitor the right-bounce contribution."],"forward_implications":["For symmetric barriers, QI and 2OCE are semiclassically consistent with SCI and remain a viable path-sampling improvement.","For asymmetric barriers, QI and 2OCE rate constants can be wrong by orders of magnitude, and no relocation of dividing surfaces can fix it.","The PQI variant should give accurate rates in the deep-tunneling regime even for strongly asymmetric systems, while retaining anharmonic sampling beyond SCI.","Because PQI's semiclassical limit reproduces the SCI formula, PQI is a natural replacement for QI in asymmetric multidimensional systems.","Integrating the projected correlation function directly gives the exact free-particle rate, so the small residual error in the simple PQI formula comes from the Gaussian steepest-descent approximation."],"supporting_citations":[{"why":"Supplies the flux-flux correlation-function expression for the rate from which both QI and 2OCE are derived.","marker":"[1]"},{"why":"Introduces the quantum instanton approximation and the dividing-surface choice the paper re-examines.","marker":"[25]"},{"why":"Establishes the split dividing-surface prescription used in QI applications and targeted by the semiclassical analysis.","marker":"[30]"},{"why":"Provides the semiclassical derivation of SCI from flux-flux correlation functions that the paper compares with QI.","marker":"[17]"},{"why":"Gives the modern instanton-theory formulation and the relation of its action to the periodic-orbit energy, used in the reduction.","marker":"[18]"},{"why":"Extends QI to general dividing surfaces, supporting the claim tested here that no surface choice removes the error.","marker":"[41]"}],"fun_headline_variants":["Asymmetric barriers break quantum instanton rates","Spurious path ruins quantum instanton for asymmetric barriers","Projection fixes quantum instanton for asymmetric barriers","Quantum instanton fails on asymmetric barriers, new fix works"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The analysis assumes the imaginary-time propagator is dominated by exactly two stationary-action paths, one bouncing left and one bouncing right, and that for an asymmetric barrier below about 142 K no division of the instanton into two equal-imaginary-time minimum-action halves avoids a conjugate point; if a third stationary path contributed, or such a split existed, the identification of the spurious path as the cause of QI's failure would break down.","fun_headline_variants_meta":{"raw":{"variants":["Asymmetric barriers break quantum instanton rates","Spurious path ruins quantum instanton for asymmetric barriers","Projection fixes quantum instanton for asymmetric barriers","Quantum instanton fails on asymmetric barriers, new fix works"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00013,"raw_usage":{"total_tokens":1093,"prompt_tokens":880,"completion_tokens":213,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":496,"completion_tokens_details":{"reasoning_tokens":152}},"tokens_in":496,"tokens_out":213,"duration_ms":2836,"temperature":1.0,"reasoning_tokens":152,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:13:27.315903+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Locate all stationary points of the Euclidean action between the two dividing surfaces for an asymmetric one-dimensional barrier at low temperature and compare their actions. If a third path contributes comparably to $K_{\\ell}$ or $K_r$, or if the instanton can be split into two equal-imaginary-time minimum-action segments without passing through a conjugate point, the paper's account of the QI breakdown would not hold.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the quantum instanton approximation and the dividing-surface choice the paper re-examines."},{"cited_title":"Van\\' c ek , author W","cited_arxiv_id":null,"evidence_quote":"Establishes the split dividing-surface prescription used in QI applications and targeted by the semiclassical analysis."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the semiclassical derivation of SCI from flux-flux correlation functions that the paper compares with QI."},{"cited_title":"Aieta \\ and\\ author M","cited_arxiv_id":null,"evidence_quote":"Extends QI to general dividing surfaces, supporting the claim tested here that no surface choice removes the error."}],"review_version":1}