{"id":"5a7b6a20-d13b-41bb-9a2c-f8c1af248d08","arxiv_id":"2505.16889","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"Repeated weak measurements produce a Gaussian suppression of records away from the classical path, but the advertised heating, Brownian-motion bound, and optomechanics predictions are absent.","lead":"This paper uses Feynman path integrals with continuous weak measurements to argue that classical trajectories are selected by a Gaussian weighting around the classical path, with scattered probes carrying the information away. The intended payoff is a trajectory-level account of quantum Darwinism, but the heating and Brownian-motion results promised in the abstract are missing from the manuscript.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Continuum limit in Appendix A is not well defined: no stated scaling of the record deviations makes Eq. (A10) follow, so the Gaussian factor in Eq. (20) is an artifact of the limiting procedure.","rationale":"The reader's weakest assumption identifies exactly the place where the central claim is decided: if the continuum limit is not a well-defined limit of the discrete scattering model, Eq. (20) has not been derived. My stress test agrees. The failure is not merely that one could be more careful: the displayed replacement has the wrong Δt scaling to be a Riemann sum, and the physically natural scaling of record deviations makes the amplitude vanish rather than become Gaussian. A proponent could reply that the final formula is the familiar Caves-Mensky amplitude; however, the standard derivation fixes the measurement strength per unit time (λ^2 ∝ 1/Δt), whereas this manuscript sets λ=α√Δt, so the known result cannot be imported without changing the model. The missing advertised results (heating, zero-point ceiling, levitated optomechanics) are presentation-level problems, but the continuum-limit defect is sufficient to keep the REJECT verdict. I recommend no change to the reader's verdict.","tokens_in":16228,"tokens_out":16078,"duration_ms":122664,"concrete_test":"Compute the exact discrete product in Eq. (A6) for a constant record deviation under the three scalings δr_j = δ, δr_j = α√Δt d, and δr_j = d Δt, with M=T/Δt and λ=α√Δt. Bound or plot log|I_M| versus M: it diverges for the first two scalings and converges only for the third, and in the convergent case the limiting exponent is proportional to ∫ d^2 dτ, not ∫|δr|^2 dτ. This settles whether Eq. (A10) is the actual limit of the discrete model. In the same computation, retain the dropped phase in Eq. (B3) and verify that it is M-dependent and cannot be absorbed into a record-independent normalization. As an arithmetic check, re-derive Eq. (B5): the m-th coefficient of log(sin x/x) is 4^m ζ(2m)/m, not 4m ζ(2m), so the higher-order terms are also misquoted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central formula (20) is obtained only through Appendix A's continuum replacement. After setting λ=α√Δt, the m=1 term of log I is -(4ζ(2)/α^2) Σ_j |δr_j|^2/Δt, and the text replaces this sum by -(4ζ(2)/α^2) ∫|δr|^2 dτ. This is not a Riemann sum: Σ_j f_j Δt → ∫ f dτ, whereas Σ_j f_j/Δt carries an extra 1/Δt and diverges for any fixed nonzero f. The limit therefore depends on an unstated scaling of δr_j = r_p(τ_j)-r_cl(τ_j). Write δr_j = d_j Δt^β. If β=0, the exponent diverges. If β=1/2, the natural scale set by a single-probe resolution λ=α√Δt, each |sinc| factor is O(1) below one and the amplitude vanishes as M→∞. If β=1, the m=1 sum converges, but to (4ζ(2)/α^2)∫|d|^2 dτ, so the continuous variable is d=lim δr_j/Δt, not the δr displayed in Eq. (20); a record with deviations only O(Δt) is not the typical record produced by probes of resolution λ. The assertion that m≥2 terms are O(Δt^2) implicitly selects β=1 without stating it. Independently, Eq. (B3) discards the record-dependent phase -i(2π/λ)δr_3(τ_j) as a normalizing factor; this phase is not a constant, and under β≤1 it diverges as M→∞, so the phase in (20) is also not derived. Thus the central Gaussian factor is an artifact of the limiting procedure.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This manuscript proposes a path-integral description of the quantum-to-classical transition under position measurements distributed in time, modeled concretely as elastic scattering of plane-wave probes off the system. The central claim is Eq. (20): the joint amplitude for the measurement record r_p(τ) and the final position, Φ = (∂²S_cl/∂r_b∂r_a)^{1/2} e^{iS_cl/ℏ} exp[−(2π²/3α²)∫dτ |r_p(τ)−r_cl(τ)|²], allegedly showing that continuous measurement exponentially selects trajectories near the classical path and that scattered probes proliferate that information throughout the environment, giving trajectory-level quantum Darwinism. After a semiclassical expansion of the propagator (Section III), the authors integrate the probe scattering angles in Appendix A and take a continuum limit in which the probe resolution scales as λ = α√Δt (Appendices A and B). Section IV gives a qualitative discussion of complementarity, decoherence, and Darwinism. The abstract accompanying the submission additionally advertises a heating/back-action bound, a deterministic-to-Brownian crossover, a zero-point-motion resolution ceiling, and a levitated-optomechanics test; none of these appear in the body of the paper.","tokens_in":16583,"tokens_out":36824,"duration_ms":291857,"significance":"If Eq. (20) were correctly derived, this would be a clean, single-parameter statement of how measurement resolution selects classical trajectories at the level of individual records, complementing ensemble-level decoherence results, and the scattering setup would be a concrete mechanism for information proliferation. The proposal is genuinely non-circular: the Gaussian record weight follows from an explicit angular integral over an assumed isotropic elastic scattering matrix, with no fitted constants and a coefficient fixed by the calculation. These are real strengths of intent and method. They are not realized in the submitted manuscript, however: the continuum-limit step producing the Gaussian factor in (20) is mathematically invalid, the phase of the amplitude is not derived, the abstract promises results the body does not contain, and the Darwinism claim is never quantified. The central result must be re-derived and re-interpreted before the paper's claims can be assessed; the paper also does not currently contain the advertised heating, Brownian, or optomechanics results.","major_comments":[{"comment":"The replacement of the sum in (A9) by the integral in (A10) is not a Riemann sum and is not justified. With λ = α√Δt, the m = 1 term of log I is (4ζ(2)/α²) Σ_j |δr(τ_j)|²/Δt, which for a fixed deviation function δr(τ) diverges as 1/Δt, whereas the text replaces it by the finite integral (4ζ(2)/α²)∫|δr(τ)|² dτ. The replacement is valid only if δr_j = d_j Δt with convergent d_j, in which case the exponent becomes (4ζ(2)/α²)∫|d(τ)|² dτ with d = lim (r_p − r_cl)/Δt, and the limiting record is the classical trajectory itself. This O(Δt) scaling is never stated, and it is not the natural scale set by a single probe of resolution λ = α√Δt (δr ~ √Δt), under which each sinc argument in (A6) is O(1) and the product Π_j I_j vanishes as M→∞; for any δr ~ Δt^β with β < 1, the log(1−x) expansion used below (B3) is invalid and the assertion that the m ≥ 2 terms are O(Δt²) fails. The heuristic record equation (1), r_meas ~ r_cl + αζ with white noise ζ, is likewise inconsistent with the hidden O(Δt) scaling, since its accumulated deviations are of order α√t. Thus the Gaussian factor in Eq. (20), as a functional of r_p − r_cl, is not the limit of the discrete product of probe amplitudes, and the central result is not derived.","section":"Appendix A, Eq. (A10); Eq. (20)"},{"comment":"The sentence 'We drop the last term in Eq. (B3) as it does not converge in the continuous limit and therefore can be absorbed as a normalizing factor' dismisses a record-dependent quantity. The last term in (B3) is log(4πi) − i(2π/λ) δr_3(τ_j); the second part depends on the record, and with λ = α√Δt the summed phase −i(2π/α) Σ_j δr_3(τ_j)/√Δt diverges for every scaling of δr (for δr ~ Δt it grows as Δt^(−1/2); for δr ~ √Δt it grows as the number of steps M). A divergent, record-dependent phase cannot be absorbed into a normalization constant, so the overall phase e^{iS_cl/ℏ} claimed in Eq. (20) is not shown to be the limit of the discrete amplitude. Relatedly, the prefactor in Eq. (A6) is algebraically incorrect: the angular integral ∫dΩ exp[i(2π/λ) n·δr] equals 4π sin((2π/λ)|δr|)/((2π/λ)|δr|), which is real, so the factors i and exp(−i(2π/λ)δr_3) in (A6) are spurious, and the 'phase' later discarded in (B3) originates from this error.","section":"Appendix B, Eq. (B3)"},{"comment":"The abstract accompanying the submission promises results that no section delivers: a bound 'tying decoherence and measurement back-action together' via heating, a deterministic-to-Brownian crossover, a ceiling fixed by the resolution in units of the zero-point motion, a collapse to a single record, and an accessible test in levitated optomechanics. Section IV ends with qualitative suggestions for future work, and the body contains no derivation of a heating force, no Brownian-motion analysis, no zero-point resolution ceiling, and no levitated-optomechanics estimate. The abstract also states that repeated measurements give 'the origin of the back-action force,' but no such force is derived beyond the phase factor in Eq. (12). The manuscript therefore substantially overclaims relative to its content.","section":"Abstract vs Sections I–IV"},{"comment":"The title promises 'trajectory level Darwinism,' and Section IV asserts that the isotropic scattering of probes 'proliferates information ... and gives rise to objectivity and redundancy - an essential ingredient for quantum Darwinism.' No redundancy, objective-state, or mutual-information quantity is computed anywhere in the paper; Fig. 3 and the surrounding discussion are qualitative. Even granting Eq. (20), the step from a joint system-record amplitude to the claim that the environment contains many copies of the classical-trajectory information is an assertion, not a result. This gap should either be filled by an explicit calculation or the claims should be scaled back.","section":"Section IV"}],"minor_comments":[{"comment":"The symbol z in Eq. (A5) is undefined, the record notation is inconsistent (¯x_q in Eq. (4), r_p(τ) in Eq. (19), δr in (A6)), and the integrand of the dτ integral in (A10) still carries τ_j instead of τ.","section":"Eq. (A5)"},{"comment":"The text reads 'hence result in Eq. (41) [36]', but the manuscript has no Eq. (41); the intended reference appears to be Eq. (32).","section":"Section IV, after Eq. (32)"},{"comment":"The semiclassical prefactor in Eq. (18) omits the standard (1/2πiℏ)^(d/2) and Maslov phase factors; if Eq. (18) is quoted as the Van Vleck propagator, it should carry them.","section":"Eq. (18)"},{"comment":"The coefficient in (B5) is incorrect for m ≥ 3: the expansion of log(1−x) gives 4^m ζ(2m)/m, not 4m ζ(2m) (the two agree for m = 1, 2). Since the m ≥ 2 terms are discarded this does not affect (A10), but the formula should be corrected.","section":"Appendix B, Eq. (B5)"},{"comment":"The manuscript contains many typographical errors that impede reading, including 'Scrh¨odinger's', 'accross', 'viascattering', 'picutre', 'appoximation', 'complimentarity', 'interreputing', 'valishing', 'probablity', 'susbsystem', and 'involes'; a careful proofreading pass is needed.","section":"Throughout"}],"recommendation":"reject","confidential_remarks":"The reader's report and my independent check converge on the same load-bearing defect: the continuum limit in Appendix A does not validly produce Eq. (20). Note also that the paper's internal abstract is shorter than the arXiv metadata abstract; if the longer abstract is what accompanies the submission, the missing heating/Brownian/optomechanics content is a serious overclaim that the editor may wish to verify. The manuscript is early-stage in presentation (many typos, an undefined symbol z in Eq. (A5), a nonexistent Eq. (41) reference), and even the expository parts would need substantial work."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know this one: the central result Eq. (20) is not actually new—it's the standard semiclassical continuous-measurement amplitude—and the derivation in the appendix has a load-bearing flaw in the continuum limit. The manuscript also advertises several results in the abstract that don't appear in the body. I'd not send it to publication without major revision, but it's worth a referee's time because the conceptual framing is engaging.\n\nWhat the paper does well: it connects Caves' filter-function path integral to a plane-wave scattering picture, and uses that to argue that repeated weak measurements pick out classical trajectories and proliferate information in a Darwinian sense. The intuitive discussion of phase scrambling and complementary information is clear, and the authors are honest about relying on Caves' formalism. The basic idea—that the semiclassical amplitude conditioned on a measurement record carries a Gaussian weight that suppresses deviations from the classical path—is correct in spirit and worth stating in this context.\n\nWhere it falls apart: Appendix A sets λ = α√Δt and replaces the sum Σ_j δr_j^2/λ^2 with an integral. The sum is Σ_j δr_j^2/Δt, which is not a Riemann sum unless δr_j scales as Δt. If δr_j is the typical record deviation, it should scale as √Δt (the per-measurement resolution), and then the exponent diverges as M→∞. The paper never states the scaling, so Eq. (20) is an artifact of an unspecified limit. Relatedly, Eq. (B3) drops a record-dependent phase −i(2π/λ)δr_3(τ_j) as a 'normalizing factor'; that phase is not constant and can affect interference between paths, so discarding it is not justified. These are not minor technicalities—they are the entire derivation of the central formula.\n\nThe abstract also claims a heating/back-action bound, a Brownian crossover, a zero-point-motion resolution ceiling, and an application to levitated optomechanics. None of these appear in the text. That's a serious mismatch between promise and content.\n\nThe references are fine, and the authors do engage with the relevant literature (Caves, Zurek, Habib, etc.). No fitted parameters or self-citation games.\n\nWho is this for? Quantum foundations people interested in Darwinism and continuous measurement might find the qualitative picture useful, but they should not rely on Eq. (20) without a correct derivation. The paper deserves a serious referee—the topic is important and the flaws are fixable in principle—but I would expect a major revision or rejection.\n\nRecommendation: engage with it in review, but the authors need to supply the missing derivations, fix the continuum limit, and either remove or properly derive the advertised applications.","headline":"The central result is a standard semiclassical measurement amplitude, the appendix contains an unjustified continuum limit that undermines the derivation, and the abstract promises results the body never delivers; still worth a referee's time for the conceptual framing.","tokens_in":17145,"tokens_out":5593,"would_cite":false,"duration_ms":48304,"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":"Under continuous weak measurement, a single measurement record is exponentially concentrated on the classical trajectory, grounding a trajectory-level quantum Darwinism.","keywords":["quantum-to-classical transition","path integral","continuous measurement","quantum Darwinism","measurement back-action","decoherence","semiclassical approximation","levitated optomechanics"],"falsifier":"Recompute the product of single-measurement factors with the deviations $\\delta r(\\tau_j)$ scaled as $C(\\Delta t)^{\\gamma}$ for a range of $\\gamma$: if the limiting amplitude is not the Gaussian in Eq. (20) for all physically reasonable $\\gamma$, the central result depends on an unstated scaling convention. Experimentally, the predicted conditional record distribution could be tested with a continuously monitored levitated nanoparticle: it should be Gaussian, centered on the classical path, with the width set by the measurement resolution $\\alpha$.","tokens_in":15993,"feed_emoji":"⚛️","tokens_out":13006,"duration_ms":104549,"temperature":0.7,"pith_summary":"This paper derives a path-integral formula for a quantum system under continuous weak measurement and uses it to argue that individual measurement records can display classical trajectories. The central result, Eq. (20), is a joint amplitude for the measurement record and the final position: the usual semiclassical propagator times a Gaussian that exponentially favors records near the classical path. The authors take this to mean that the classical trajectory is the fixed point of measurement-induced phase scrambling, and that elastic scattering of probes spreads this information through the environment, a trajectory-level version of quantum Darwinism. Because the same momentum kicks that record the path also heat it, the formula sets a ceiling on how many redundant copies of one trajectory can exist before Brownian motion takes over; that crossover is accessible in levitated optomechanics.","feed_headline":"A single measurement record can pick out the classical path","feed_subtitle":"In one amplitude, scattered probes exponentially favor the classical path and cap how redundantly it can be recorded.","key_machinery":"The load-bearing object is the joint amplitude $\\Phi(r_p; r_f, t_f, r_i,0)$, built from a filter-function path integral for measurements distributed in time. Each Feynman path acquires a random phase from the momentum kick $\\Delta K(\\tau)\\cdot r(\\tau)$ delivered by scattered plane-wave probes; expanding around the classical path $r_{\\rm cl}$ leaves a Gaussian integral over fluctuations with the usual semiclassical prefactor. The probe integration assumes isotropic elastic scattering, which turns each measurement into a sinc factor, and the continuum limit $\\lambda=\\alpha\\sqrt{\\Delta t}$, together with the product representation of the sinc function and $\\zeta(2)=\\pi^2/6$, converts the product of sincs into the Gaussian exponent of Eq. (20). This chain, semiclassical saddle point, isotropic elastic scattering, and a controlled continuum limit, carries the argument.","core_discovery":"The paper's central claim, stated in Eq. (20), is that the joint amplitude for the record $r_p(\\tau)$ and the final position is $$\\Phi = \\sqrt{\\frac{\\$partial^{2}$ S_{\\rm cl}}{\\partial r_b\\,\\partial r_a}}\\, $e^{{iS_{\\rm cl}}$/\\hbar}\\, \\exp\\!\\left[-\\frac{2\\$pi^{2}$}{3\\$alpha^{2}$}\\int d\\tau\\, \\lvert r_p(\\tau)-r_{\\rm cl}(\\tau)\\$rvert^{2}$\\right],$$ with $\\alpha$ the inverse measurement resolution. The meaning is that each individual measurement record is exponentially concentrated on the classical trajectory, so a single record, not just an ensemble, can exhibit classical motion. The paper also claims that the elastic scattering which records the trajectory heats it, so the redundancy of the record is bounded: for a trapped particle the ceiling is set by the resolution in units of zero-point motion, and beyond that ceiling the semiclassical trajectory description fails.","pith_inferences":["If Eq. (20) survives, the Gaussian record weight can be read as a likelihood for trajectory reconstruction from weak measurement data, connecting this path-integral record statistics to quantum state estimation, a route the paper does not develop.","The coefficient $\\zeta(2)=\\pi^2/6$ suggests the Gaussian may be a universal accumulation of many independent small-angle scatterings; replacing isotropic elastic scattering with directional or inelastic probes would change the exponent, offering a testable family of generalized record statistics.","The redundancy-back-action bound could be recast as an information-theoretic capacity: each environmental record carries a finite number of bits about the classical trajectory before heating erases it, which would quantify Darwinism rather than just asserting it.","The paper's mutual-monitoring picture of entanglement suggests a many-body criterion for classicality, namely whether collective degrees of freedom show trajectories depends on how macroscopic each subsystem is relative to the entanglement strength; making that criterion quantitative is a natural next step."],"forward_implications":["Individual measurement records, not only density-matrix ensembles, can carry the quantum-to-classical transition: each record's amplitude is a Gaussian centered on the classical trajectory.","Quantum Darwinism gets a trajectory-level mechanism: elastic scattering of plane-wave probes proliferates information about the classical path throughout the environment.","Decoherence and heating are two faces of the same scattering: the momentum kicks that localize and record the trajectory also randomize it into Brownian motion once the record becomes too redundant.","For a trapped particle the redundancy ceiling is set by the measurement resolution measured in units of zero-point motion; macroscopic systems sit far below that ceiling, while the semiclassical trajectory description collapses to a single record in the opposite limit.","The deterministic-to-Brownian crossover is, in principle, observable in levitated optomechanics, giving an experimental window on the quantum-to-classical transition."],"supporting_citations":[{"why":"Supplies the filter-function path integral for measurements distributed in time, the starting point of the joint amplitude.","marker":"[25]"},{"why":"Gives the companion formulation used for repeated measurements and the continuous-measurement limit.","marker":"[26]"},{"why":"Provides the nonrelativistic scattering matrix S(K_f,K_i) used to model plane-wave probes and their momentum kicks.","marker":"[27]"},{"why":"Establishes the continuous-measurement record equation and the localization-versus-back-action conditions that define the classical-trajectory regime.","marker":"[7]"},{"why":"Supplies the semiclassical propagator with the prefactor used to close the path integral around the classical path.","marker":"[33]"},{"why":"Supports interpreting the probe momentum transfer as a path deflection, the physical basis of the measurement phase and back-action.","marker":"[29]"}],"fun_headline_variants":["One record reveals the classical path","Classical trajectory from a single measurement","A single measurement picks the classical path","Heating caps classical record redundancy","Quantum to classical from one record"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the continuum limit used to turn the product of measurement factors into a Gaussian is well defined: the deviations between the measurement record and the classical path must shrink with the time step in exactly the way needed for the expansion to converge; if they do not scale that way, Eq. (20) does not follow from the preceding integrals.","fun_headline_variants_meta":{"raw":{"variants":["One record reveals the classical path","Classical trajectory from a single measurement","A single measurement picks the classical path","Heating caps classical record redundancy","Quantum to classical from one record"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00053,"raw_usage":{"total_tokens":2603,"prompt_tokens":1044,"completion_tokens":1559,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":660,"completion_tokens_details":{"reasoning_tokens":1501}},"tokens_in":660,"tokens_out":1559,"duration_ms":10933,"temperature":1.0,"reasoning_tokens":1501,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:53:40.235440+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the product of single-measurement factors with the deviations $\\delta r(\\tau_j)$ scaled as $C(\\Delta t)^{\\gamma}$ for a range of $\\gamma$: if the limiting amplitude is not the Gaussian in Eq. (20) for all physically reasonable $\\gamma$, the central result depends on an unstated scaling convention. Experimentally, the predicted conditional record distribution could be tested with a continuously monitored levitated nanoparticle: it should be Gaussian, centered on the classical path, with the width set by the measurement resolution $\\alpha$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the companion formulation used for repeated measurements and the continuous-measurement limit."},{"cited_title":"Schulman,Techniques and Applications of Path In- tegration, Dover Books on Physics (Dover Publications, 2012)","cited_arxiv_id":null,"evidence_quote":"Supplies the semiclassical propagator with the prefactor used to close the path integral around the classical path."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supports interpreting the probe momentum transfer as a path deflection, the physical basis of the measurement phase and back-action."}],"review_version":1}