{"id":"dd501e6a-f0f7-46f9-87f2-c305fa10e659","arxiv_id":"2501.12155","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper derives the exact Wigner-function propagator for a BGK-type kinetic equation with dephasing noise, showing it equals the probability density of classical run-and-tumble particles with uniformly randomized momenta.","lead":"This paper finds the exact mathematical solution to a kinetic equation that describes quantum particles constantly being measured. The solution shows the particles' averaged motion is exactly like a classical run-and-tumble random walk, and it reproduces the shift from ballistic to diffusive transport.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The closed-form scattering kernel (IV.5)-(IV.6) rests on the asserted inverse Laplace-Fourier transform in Eq. (A.8); that unproved step, not the continuum limit, is the pivot where the exactness claim could fail.","rationale":"I read the paper's central claim as the exact solution of the kinetic equation (III.2), not the microscopic-to-kinetic mapping. The reader's stated weakest assumption is the continuum limit, but in my reading that is a physically acknowledged approximation rather than a point where the claimed exactness of the solution could silently fail. The reader's rationale independently flags the unproved inverse transform in Appendix A, and that is the step I find most load-bearing: it is the only place where the closed form (IV.6) is actually derived, and it is presented as an assertion. The rest of the algebra leading to Eq. (A.7) checks out: the denominator in (A.5), the value of the Laplace-Fourier integral (A.6), and the series expansion in (A.7) are all internally consistent. The numerical comparisons in Figs. 2 and 3 provide real support that the final formula has the correct macroscopic behavior, and the normalization and limiting checks in Sec. V are consistent with Eq. (IV.6). However, those checks do not uniquely determine the pointwise form of f, especially near the light cone where the inverse transform is most delicate. Therefore the verdict should remain CONDITIONAL pending an independent verification of Eq. (A.8); if such a verification succeeds, the mathematical claim would be secure enough to accept, and if it fails, the central closed form would need correction. I do not see evidence of internal inconsistency in the derivation before Eq. (A.8), and I am not raising the bosonic extension claim as the primary concern because the paper's main result is about the fermionic dephasing dynamics and the kinetic equation for the Wigner function.","tokens_in":14414,"tokens_out":20192,"duration_ms":218755,"concrete_test":"Independently evaluate the right-hand side of Eq. (A.8) for λ=1 by performing the inverse Fourier transform term-by-term on the series ∑_{n=0}∞ [(z/λ)^2+((λ+γ)/λ)^2]^{-(n+1)/2}, then applying the inverse Laplace transform with c=λ+γ, and compare the result pointwise with Eq. (IV.6) on a grid of (x,t) values including x=0, x=t/2, and x→±t. As a second check, substitute Eqs. (IV.5)-(IV.6) into the balance equation (IV.2) numerically for λ∈{0.1,1,10} and t≤10, and verify that the residual is at machine precision away from the singular light cone.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that Eq. (IV.5)-(IV.6) is the exact solution of the balance equation (IV.2), and hence that the Wigner propagator (IV.3) and the density convolution (IV.10) are exact for the kinetic equation (III.2). The entire derivation in Appendix A reduces this claim to the identity (A.8), which states that the inverse Laplace-Fourier transform of an infinite series is the closed function f(x,t) in Eq. (IV.6). This identity is asserted with 'One can show' and no derivation is given. It is load-bearing because every downstream formula inherits f: β(x,t|y,k) = φ(t)δ(...) + ∫ds φ(s) f(...), then K, then ρ(x,t) = (1/λ)∫dy f(x-y,t)ρ(y,0). The checks in Sec. V—normalization, the second moment (V.6), and the ballistic/diffusive asymptotics (V.8)—constrain only low-order moments and the asymptotic width, so they would still pass if f were wrong by, for example, a missing smooth correction or an incorrect coefficient in the singular part near the light cone x=±t. The continuum limit, by contrast, is an acknowledged physical approximation and does not affect whether the kinetic equation has been solved exactly. Thus the exactness claim stands or falls on the unproved inversion in Eq. (A.8).","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the mean-state dynamics of free fermions (and, by extension, bosons) on a one-dimensional lattice under continuous monitoring of local occupation numbers, which is described by a Lindblad equation with dephasing noise. In the continuum limit, the correlation-matrix equation is mapped to a BGK-type kinetic equation for the Wigner function. The paper claims an exact closed-form solution to this kinetic equation: the scattering probability β is given by Eqs. (IV.5)–(IV.6), the Wigner propagator by Eq. (IV.3), and the density profile by a convolution with the kernel f(x,t) in Eq. (IV.10). The solution is derived from a run-and-tumble renewal equation, and its predictions for the mean-squared displacement and density profiles are compared with numerical integration of the microscopic Lindblad dynamics.","tokens_in":14689,"tokens_out":10220,"duration_ms":90261,"significance":"If correct, the result provides a rare exact propagator for a kinetic equation with a nonlocal collision term, and it rigorously establishes the equivalence between the Wigner dynamics of monitored free particles and classical run-and-tumble processes. The paper is written clearly, contains no free parameters, and its final formulas are explicit and easy to use; the agreement with microscopic numerics in Figs. 2–3 is a genuine strength. The main caveat is that the key inverse transform in Eq. (A.8) is not proved, which is a load-bearing gap in the exactness claim.","major_comments":[{"comment":"The central exactness claim rests on the inverse Laplace-Fourier transform identity in Eq. (A.8), which is asserted with 'One can show' and no derivation. Since Eqs. (IV.5)–(IV.6), (IV.9), and (IV.10) all inherit this identity, and the checks in Sec. V test only moments and asymptotics, the authors should provide a complete proof of (A.8), for example by direct evaluation of the Bromwich integral or by verifying that f(x,t) in (IV.6) satisfies the balance equation (IV.2).","section":"Appendix A, Eq. (A.8)"},{"comment":"The identity ∫ dk/(2π) β(x,t|y,k) = f(x−y,t) is stated without proof, and it is needed for the central result (IV.10). Please provide a derivation or explicitly show that it follows from (A.8); as written, the step 'applying the convolution theorem analogously to the Appendix A' is too terse for a result that carries the main physical application.","section":"Sec. IV, Eq. (IV.9)"}],"minor_comments":[{"comment":"The notation F[μ(x)](tz) is confusing because μ is a function of the velocity v, not of x; please use a clearer notation, e.g., F[μ](tz).","section":"Appendix A, Eq. (A.5)"},{"comment":"The figure caption states λ=0.1, while the body text uses λ=0.02; please correct the inconsistency, as the quoted crossover times t≈25,50,100 correspond to λ=0.02.","section":"Fig. 3 caption and Sec. V"},{"comment":"The paper does not explicitly state that f(x,t) integrates to λ, which is useful for checking normalization; consider adding a sentence.","section":"Sec. IV, Eq. (IV.10)"},{"comment":"The derivation of the kinetic equation from Eq. (II.4) is cited to Refs. [19,72] but not summarized; a brief statement of the regime of validity (slow variation on the lattice scale) would help readers assess the applicability of the exact solution to the microscopic model.","section":"Sec. III, Eq. (III.2)"}],"recommendation":"major_revision","confidential_remarks":"The unproved identity in Eq. (A.8) is the only serious technical gap. If the authors supply a complete derivation of that inverse transform, the paper's main claim would be established and the manuscript would be suitable for publication. The numerical checks and the absence of fitted parameters make the result quite convincing, so I would not recommend rejection; the revision should focus on closing the gap in the appendix."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is the short version: this paper solves, in closed form, the BGK-type kinetic equation for the Wigner function of monitored free fermions in the continuum limit, and it gives a clean convolution formula for the density profile. That result is genuinely new as far as I can tell, and it is well checked against the microscopic Lindblad dynamics. The weak spot is not the continuum limit—which is an acknowledged approximation and standard in this line of work—but the unproved inverse Laplace–Fourier transform in Eq. (A.8). Everything downstream depends on that \"One can show\". The checks in Sec. V only constrain low moments and the large-time Gaussian, so they would not catch a wrong smooth correction or a bad coefficient near the light cone.\n\nWhat the paper does well: the mapping to run-and-tumble dynamics is clearly explained, the balance equation is a sensible starting point, the normalization, second moment, ballistic and diffusive limits are consistent, and the numerics match. The author also honestly flags the continuum-limit caveat and even notes the discretization mismatch in the double-domain-wall initial state. That is careful.\n\nThe soft spots, in proportion: (1) Eq. (A.8) is asserted. For a paper whose main claim is exactness, that step needs a derivation or a reference. It may well be true, but the reader cannot check it. (2) The connection to the Lévy-walk literature is underdeveloped. The kernel f(x,t) resembles known results for Lévy walks with velocity fluctuations [83,84], and the paper cites those works for the balance equation but does not say whether this closed form already appears there. If it does, the novelty claim weakens. (3) Minor: the boson extension is mentioned but not demonstrated; it is plausible but the paper does not show the correlation-matrix equation for bosons.\n\nWho is this for? People working on monitored free fermions, dephasing-induced transport, and kinetic theory of measurement-induced dynamics. They will get a useful benchmark formula. I would cite it if I needed the exact density profile.\n\nRecommendation: send to peer review. The central solution is likely correct and is a useful contribution, but the referee must be asked to verify Eq. (A.8) and the relation to known Lévy-walk kernels. That is exactly what referees are for.","headline":"The closed-form kernel is likely right and useful, but the paper's exactness claim rests on an asserted inverse transform that the referee must verify.","tokens_in":15228,"tokens_out":2200,"would_cite":true,"duration_ms":22538,"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":"This paper derives an exact solution to the linear BGK-type kinetic equation for the Wigner function of a dephasing quantum lattice gas, showing that the mean-state dynamics is exactly reproduced by an ensemble of classical run-and-tumble…","keywords":["dephasing noise","quantum lattice gases","Bhatnagar-Gross-Krook equation","Wigner function","run-and-tumble process","ballistic-to-diffusive crossover","continuous measurements","free fermions"],"falsifier":"Compute the exact correlation-matrix dynamics (II.4) on a lattice of modest size (say 100 sites) with a sharply localized initial state, and compare the density profile at short times $t\\ll\\lambda^{-1}$ with the kinetic prediction (IV.10); if discrepancies do not vanish as the lattice spacing approaches zero, the continuum-limit bridge fails. A complementary experimental falsifier is to measure the density profile of monitored fermions at the crossover time $t\\sim\\lambda^{-1}$ and check it against the universal kernel $f(x,t)$ of Eq. (IV.6), since any deviation beyond continuum-limit error would invalidate the exact solution.","tokens_in":2157,"feed_emoji":"🎲","tokens_out":2382,"duration_ms":81896,"temperature":0.7,"pith_summary":"The paper aims to solve, in closed form, the kinetic equation that governs the mean-state dynamics of free fermions (and, by extension, bosons) on a lattice under continuous local measurements, i.e., dephasing noise. In the continuum limit this equation reduces to a special Bhatnagar-Gross-Krook (BGK) equation without energy conservation, and the paper proves that its exact solution is built from classical run-and-tumble trajectories: particles fly ballistically and randomly reset their velocity at a rate set by the monitoring frequency. If correct, the result gives the exact time-dependent density profile of a monitored quantum gas as a simple convolution with a universal kernel, and it recovers the ballistic-to-diffusive crossover without any numerical simulation. A sympathetic reader would care because the exact kernel provides a complete, parameter-free description of dephasing-induced transport in one-dimensional quantum lattice gases and validates the quasiparticle picture for monitored systems.","feed_headline":"Exact solution maps monitored quantum gas to run-and-tumble particles","feed_subtitle":"The Wigner function evolves via classical flights and random resets, giving the ballistic-to-diffusive crossover.","key_machinery":"The central object is the scattering probability distribution $\\beta(x,t|y,k)$ together with the Wigner propagator $K(x,p,t|y,k)$ that it generates. The balance equation (IV.2) encodes a run-and-tumble process: after each collision the quasiparticle momentum is drawn uniformly from the Brillouin zone, and flight times are exponentially distributed with rate $\\lambda$. The exact solution is obtained by applying Fourier and Laplace transforms, using the velocity distribution $\\mu(v) = \\frac{1}{\\pi\\sqrt{1-v^2}}\\Theta(1-|v|)$ on $[-1,1]$, and inverting the transformed series to produce the closed-form kernel $f(x,t)$. That kernel carries the whole time evolution of the density and gives the explicit crossover between ballistic and diffusive regimes.","core_discovery":"The central claim is that the Wigner function $n(x,p,t)$ satisfying $\\partial_t n + v(p)\\,\\partial_x n = \\lambda(\\rho(x,t)-n(x,p,t))$ admits an exact solution through the Wigner propagator $K(x,p,t|y,k)$. The propagator is expressed in terms of the scattering probability distribution $\\beta(x,t|y,k)$, which solves the balance equation (IV.2). The paper proves analytically that $\\beta(x,t|y,k) = \\phi(t)\\delta(x-y-t\\,v(k)) + \\int_0^t ds\\, \\phi(s)\\, f(x-y-s\\,v(k),\\,t-s)$, where $f(x,t) = \\frac{\\lambda e^{-\\lambda t}}{\\pi\\sqrt{t^2-x^2}}\\left[1 + \\frac{\\pi\\lambda}{2}\\sqrt{t^2-x^2}\\left(I_0(\\lambda\\sqrt{t^2-x^2}) + L_0(\\lambda\\sqrt{t^2-x^2})\\right)\\right]\\Theta(t-|x|)$, with $I_0$ the modified Bessel function and $L_0$ the modified Struve function. Consequently, for any initial state that is homogeneous in momentum, the momentum distribution relaxes as $n(p,t)=(1-e^{-\\lambda t})\\int dk/(2\\pi)\\,n(k,0)+e^{-\\lambda t}n(p,0)$, and for an arbitrary initial density profile the density at time $t$ is $\\rho(x,t)=\\lambda^{-1}\\int dy\\, f(x-y,t)\\,\\rho(y,0)$. This shows that the ensemble-averaged Wigner dynamics of monitored free fermions and bosons is exactly equivalent to a classical run-and-tumble process.","pith_inferences":["A natural extension not pursued in the paper is to test the universality of the kernel $f(x,t)$ by preparing a superposition of two domain walls and measuring the density interference pattern around $t\\sim\\lambda^{-1}$, where the ballistic and diffusive contributions are both significant.","The balance-equation method should generalize to non-uniform post-collision momentum distributions; replacing the uniform velocity distribution by a momentum-dependent scattering rate would produce a modified kernel whose long-time tail could exhibit superdiffusive transport, as the momentum-dependent dephasing case mentioned in the paper suggests.","Since the density evolution collapses to a convolution, the same exact formalism may be extended to compute higher-order correlation functions or full counting statistics of the monitored gas, where the run-and-tumble picture would provide a classical stochastic representation beyond the mean density."],"forward_implications":["For any initial density profile, the exact density at all later times is a convolution with the single kernel $f(x,t)$, so no simulation of the microscopic correlation matrix is needed to predict charge or spin transport.","The ballistic-to-diffusive crossover occurs at the characteristic time $t\\sim\\lambda^{-1}$, with mean squared displacement $d(t)=t/\\lambda + (e^{-\\lambda t}-1)/\\lambda^2$, which scales as $t^2/2$ for $\\lambda t\\ll 1$ and as $t/\\lambda$ for $\\lambda t\\gg 1$.","For an initially localized density, the asymptotic Wigner profile is the light-cone shape $\\Theta(t-|x|)/(\\pi\\sqrt{t^2-x^2})$ in the ballistic regime and the Gaussian $\\sqrt{\\lambda/(2\\pi t)}\\,e^{-\\lambda x^2/(2t)}$ in the diffusive regime, the latter obeying Fick's law with diffusion constant $D=1/(2\\lambda)$.","A homogeneous-in-momentum initial state relaxes exponentially to the infinite-temperature state, with the momentum distribution approaching a flat distribution at rate $\\lambda$.","Because the same kinetic equation governs dephasing bosons, the exact solution applies beyond free fermions to any hopping lattice gas subject to the same dephasing noise."],"supporting_citations":[{"why":"Supplies the quasiparticle picture and the continuum kinetic equation (III.2) that this work solves exactly.","marker":"[19]"},{"why":"Establishes the same kinetic equation for dephasing dynamics, including the bosonic case, grounding the continuum limit used here.","marker":"[72]"},{"why":"Defines the BGK collision model whose energy-non-conserving special case is the kinetic equation under study.","marker":"[73]"},{"why":"Provides the run-and-tumble and Lévy-walk framework and the balance equation that the paper solves analytically.","marker":"[84]"},{"why":"Earlier formulation of the balance equation with velocity fluctuations used to derive the scattering distribution.","marker":"[83]"},{"why":"Gives the known analytic diffusive result at long times that the exact solution reproduces and extends.","marker":"[74]"},{"why":"Provides the Bethe-ansatz spectrum of the dephasing tight-binding chain, which the kinetic approach complements.","marker":"[88]"},{"why":"Gives the exact density profile for a domain-wall initial condition, reproduced here by the convolution formula.","marker":"[95]"}],"fun_headline_variants":["Exact solution maps monitored gas to run-and-tumble motion","Dephasing quantum gas exactly equals classical run-and-tumble","Quantum dephasing yields exact ballistic-to-diffusive crossover","Run-and-tumble emerges exactly from quantum dephasing noise","Exact propagator solves dephasing quantum lattice gas dynamics"],"cache_read_input_tokens":17280,"weakest_assumption_plain":"The main load-bearing premise is that the Wigner function varies slowly enough on the lattice and momentum-grid scales that dropping higher-order derivatives in the continuum limit faithfully represents the exact lattice dynamics.","fun_headline_variants_meta":{"raw":{"variants":["Exact solution maps monitored gas to run-and-tumble motion","Dephasing quantum gas exactly equals classical run-and-tumble","Quantum dephasing yields exact ballistic-to-diffusive crossover","Run-and-tumble emerges exactly from quantum dephasing noise","Exact propagator solves dephasing quantum lattice gas dynamics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000162,"raw_usage":{"total_tokens":1273,"prompt_tokens":1013,"completion_tokens":260,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":629,"completion_tokens_details":{"reasoning_tokens":174}},"tokens_in":629,"tokens_out":260,"duration_ms":3230,"temperature":1.0,"reasoning_tokens":174,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T17:29:16.354285+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the exact correlation-matrix dynamics (II.4) on a lattice of modest size (say 100 sites) with a sharply localized initial state, and compare the density profile at short times $t\\ll\\lambda^{-1}$ with the kinetic prediction (IV.10); if discrepancies do not vanish as the lattice spacing approaches zero, the continuum-limit bridge fails. A complementary experimental falsifier is to measure the density profile of monitored fermions at the crossover time $t\\sim\\lambda^{-1}$ and check it against the universal kernel $f(x,t)$ of Eq. (IV.6), since any deviation beyond continuum-limit error would invalidate the exact solution.","supporting_citations":[{"cited_title":"Entangle- ment in a fermion chain under continuous monitoring,","cited_arxiv_id":null,"evidence_quote":"Supplies the quasiparticle picture and the continuum kinetic equation (III.2) that this work solves exactly."},{"cited_title":"Wigner dynamics for quantum gases under inhomogeneous gain and loss processes with dephasing,","cited_arxiv_id":null,"evidence_quote":"Establishes the same kinetic equation for dephasing dynamics, including the bosonic case, grounding the continuum limit used here."},{"cited_title":"A model for collision processes in gases. i. small amplitude pro- cesses in charged and neutral one-component systems,","cited_arxiv_id":null,"evidence_quote":"Defines the BGK collision model whose energy-non-conserving special case is the kinetic equation under study."},{"cited_title":"L ´evy walks,","cited_arxiv_id":null,"evidence_quote":"Provides the run-and-tumble and Lévy-walk framework and the balance equation that the paper solves analytically."},{"cited_title":"L´evy walks with velocity fluctuations,","cited_arxiv_id":null,"evidence_quote":"Earlier formulation of the balance equation with velocity fluctuations used to derive the scattering distribution."},{"cited_title":"Continuously monitored quantum systems beyond lindblad dynamics,","cited_arxiv_id":null,"evidence_quote":"Gives the known analytic diffusive result at long times that the exact solution reproduces and extends."},{"cited_title":"Exact bethe ansatz spectrum of a tight-binding chain with de- phasing noise,","cited_arxiv_id":null,"evidence_quote":"Provides the Bethe-ansatz spectrum of the dephasing tight-binding chain, which the kinetic approach complements."},{"cited_title":"Exact density profile in a tight-binding chain with dephasing noise","cited_arxiv_id":"2501.07095","evidence_quote":"Gives the exact density profile for a domain-wall initial condition, reproduced here by the convolution formula."}],"review_version":1}