{"id":"89c96513-c677-4640-bf12-cd599b7d24a7","arxiv_id":"2505.09523","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":6,"one_line_summary":"A mechanical-piston Szilard engine driven by a run-and-tumble particle can extract positive work despite measurement errors, with an information efficiency that can nominally exceed Landauer's bound and that improves under cyclic operation.","lead":"Researchers model a microscopic engine that uses a single active particle and a movable piston to turn measurement information into mechanical work, showing how finite measurement errors reduce and reshape the work output. The analysis gives design guidance for realistic active information engines and identifies a cyclic protocol that lowers the effective cost of repeated measurements.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Cyclic efficiency gain rests on free-dynamics approximation that ignores the piston at F_w=1/2; Eq. (28) may materially overestimate residual mutual information.","rationale":"The reader's weakest_assumption identifies exactly the same load-bearing point: the cyclic information-efficiency result, including the factor 4–5 improvement, is computed under the free-run-and-tumble approximation that ignores the piston interaction, and the authors admit this is inaccurate for the operating force F_w=1/2 used in the work optima. My review confirms this is the single place where the strongest claim — enhanced efficiency in cyclic operation and the associated Landauer-bound violation — rests on the least secure footing. The one-shot work calculation, the existence of non-trivial optima, and the qualitative dependence on measurement errors are internally coherent and follow from stated equations; the approximation for W_os in Eq. (A3) is clearly labeled and checked against the exact expression, and the power-optimum independence of ε is derived correctly. The abstract's 'discontinuous transition' phrasing versus the body's 'continuous transition' is a wording issue, not a load-bearing flaw, since the body consistently describes the efficiency onset as continuous and the authors likely meant the sudden switch from the trivial to the non-trivial protocol as a function of error parameters. The Landauer-violation statement is unsurprising for active baths, but that is a novelty judgement rather than a correctness risk, and the specific mechanical-piston design with measurement errors is the claimed contribution. Because the cyclic concern is genuine but not yet demonstrated to invalidate the result, the appropriate verdict remains CONDITIONAL, and my stress-test does not change the reader's recommendation. The concrete test I propose — a direct simulation of the cyclic protocol with an explicit piston — would settle whether the residual-information harvest survives the omitted interaction; it is feasible with standard active-particle Langevin dynamics and would require no new theory. The paper would also be improved by stating clearly that the cyclic efficiency is an upper-bound-style estimate under idealizations, and by providing the simulation or an exact evaluation before the abstract-level claim is advertised.","tokens_in":16723,"tokens_out":2867,"duration_ms":35240,"concrete_test":"Run a Langevin simulation of the full cyclic protocol with an explicit steric piston (hard-wall or steep repulsive potential) at F_w=1/2, γ_w=1, ε=0.1, σ_x/d_M=0.01, and Pe=10^3, for many cycles at the putative optimal τ* of Fig. 5 and the corresponding δ_m*. Record the joint distribution of the true state (x,w) at each refresh and the previous measured state, compute the actual ΔSτ via Eq. (23), and form η_cyclic = W_os/(Pe^{-1}ΔSτ_actual) using the simulated W_os. If the resulting efficiency is not a factor 4–5 above the one-shot η_os, or differs from Fig. 5b by more than the approximation error, the cyclic improvement claim must be softened to hold only under the free-dynamics idealization, and the abstract's 'cyclic operation improves information efficiency' should be revised accordingly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Sec. IV.B computes the cyclic information gain ΔSτ under approximation (i): free run-and-tumble dynamics between measurements, with no piston interaction and no domain boundaries. The authors explicitly state this is accurate for L/d_M≫1 and F_w≪1, but the work-optimal operating point uses F_w=1/2, where they say the results 'won't be exact'. The headline cyclic claim — a factor 4–5 efficiency improvement from harvesting residual mutual information — depends directly on this ΔSτ. This is not a small correction: during the work phase the piston is a hard mechanical constraint placed ahead of the particle; it blocks the particle from occupying the region behind it during contact, and after a tumble the particle can detach and move away, so its position at the next refresh is strongly conditioned by the previous piston placement. The unconstrained Green's function in Eq. (27) instead lets no-tumble particles propagate ballistically as δ(x_τ−τ), ignoring collision shifts, and lets tumbled particles occupy both sides of the origin. Since ΔSτ is an entropy difference between the free-evolved posterior and the Gaussian post-measurement distribution, this structural difference can change ΔSτ by O(1), not merely by O(τ^2). If the piston-constrained distribution is narrower than the free one, the true ΔSτ is smaller and the advertised cyclic advantage weakens; if broader, it could strengthen. Either way, the cyclic Landauer-violation improvement is not established by the present analytical calculation. The one-shot results are unaffected by this concern.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a one-dimensional run-and-tumble active Szilard engine in which a demon measures the particle position and direction with finite errors and places a mechanical piston ahead of the particle. The piston is pushed by the particle against an external force, extracting work over a protocol of duration τ. The authors derive an explicit one-shot average-work expression, locate nontrivial optima in (τ, δ_m), and analyze how these optima depend on the position error σ_x and direction error ε. They then define an information efficiency η = W_os/(Pe^{-1}ΔS_os), report that it can exceed 1 at large Péclet number, and interpret this as a violation of Landauer's bound. Finally, for cyclic operation they approximate the refreshed mutual information ΔS_τ using free run-and-tumble dynamics between measurements, obtaining a factor-of-4–5 improvement in efficiency at optimal protocol parameters.","tokens_in":16997,"tokens_out":5049,"duration_ms":56636,"significance":"If the results are fully established, the paper would be a useful contribution to the active-information-engine literature: it models a genuinely steric, local mechanical coupling rather than a globally imposed virtual potential, includes finite measurement errors in both position and direction, and provides closed-form one-shot work statistics in Appendix A. The one-shot derivation in Sec. III is internally consistent given the stated one-tumble and high-Péclet assumptions, and the authors are transparent about several limitations, including the inexactness of the cyclic information calculation at the operating force F_w = 1/2 and the choice not to count active dissipation in the efficiency. However, the headline cyclic-efficiency gain and the Landauer-violation claim rest on assumptions that are either explicitly invalid at the operating point or sensitive to the efficiency normalization, so the paper needs revision before the central claims can be accepted.","major_comments":[{"comment":"The cyclic information gain ΔS_τ, which drives the advertised factor-of-4–5 efficiency improvement, is computed under approximation (i): free run-and-tumble dynamics with no piston interaction and no domain boundaries. The authors explicitly state that this is accurate for L/d_M ≫ 1 and F_w ≪ 1, but the relevant operating force is F_w = 1/2, where they say the results “won’t be exact.” This is load-bearing, not a minor caveat: at F_w = 1/2 the piston is a hard steric constraint that blocks the particle during contact and shifts its trajectory after collisions, so the unconstrained Green’s function in Eq. (27) can mis-estimate the posterior width and the residual mutual information by O(1). The factor-4–5 improvement in Fig. 5(b) is therefore not established for the work-optimal regime. I ask the authors to compute or bound ΔS_τ under the piston-constrained dynamics for F_w = 1/2 (for instance by numerical simulation of the constrained Langevin dynamics) or to restrict the cyclic-efficiency claim to the parameter regime where approximation (i) is controlled.","section":"Sec. IV.B, Eqs. (24)–(29) and Fig. 5"},{"comment":"The claim of Landauer-bound violation is based on the efficiency η_os = W_os/(Pe^{-1} ΔS_os), where Pe = γ_p v_0 d_M/k_B T. Because W_os is expressed in units of the active energy scale γ_p v_0 d_M, this definition makes η_os ∼ Pe whenever the reduced work and information gain are O(1) and independent of Pe. The statement that η_os can be made arbitrarily large by increasing Pe is therefore a consequence of excluding the active dissipation from the cost, rather than a violation of the equilibrium Landauer bound. The authors do mention an alternative efficiency η̃_os that includes the active dissipation, but they do not use it in the main claim. The abstract should be reworded to say that the engine can exceed the equilibrium information-to-work bound for an information efficiency that excludes the active maintenance cost, not that it violates Landauer’s bound in the usual thermodynamic sense.","section":"Sec. IV.A, Eq. (22), and abstract"},{"comment":"The small-τ expansion for ΔS_τ retains only the diffusive term D_p τ/(2σ_x^2) and the binary-state term, while neglecting tumbling contributions at O(τ^2). For the parameter values used in Fig. 5, τ* is indeed small, so the truncation is plausible. However, the derivation also uses the free-dynamics posterior from Eq. (27), which permits the particle to occupy both sides of the origin after a tumble and ignores the piston-induced shift of no-tumble trajectories. Since ΔS_τ is an entropy difference between this free-evolved posterior and the post-measurement Gaussian, the structural difference with the constrained process can change the result by more than the stated O(τ^2) error. The numerical verification in Fig. 5(a) checks only the approximation against the full free-dynamics expression, not against the constrained dynamics, so it does not resolve this concern.","section":"Sec. IV.B, Eq. (28)"}],"minor_comments":[{"comment":"The delta function δ(x_τ + t) contains an undefined variable t; it should presumably be δ(x_τ + τ), consistent with the other terms in that equation.","section":"Eq. (27)"},{"comment":"The symbols γ2 and 2γ2 in C1 and C2 are undefined; they should presumably be γ_w and 2γ_w, respectively.","section":"Eq. (A2)"},{"comment":"The phrase “the natural unit of efficiency is the active Péclet number Pe” is confusing, since Pe is a dimensionless parameter, not a unit; the sentence could be rephrased to say that the reduced thermal energy scale is Pe^{-1}, which makes η naturally of order Pe in reduced units.","section":"Sec. II.A and Eq. (22)"},{"comment":"The notation G_τ^B(x′ − τ′) mixes a physical time τ′ with a Green’s-function duration τ′ in a way that is hard to follow; using separate symbols for the tumble time and the propagation time would improve readability.","section":"Sec. IV.B, Eq. (26)"}],"recommendation":"major_revision","confidential_remarks":"The one-shot work derivation is solid and the paper has a clear scope, but the cyclic efficiency claim is not yet supported at the operating point F_w = 1/2. The Landauer-violation language should be qualified or replaced by a statement about efficiency relative to the active-energy scale. A numerical check of the constrained dynamics for ΔS_τ would materially strengthen the paper."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me give you the short version: the one-shot analysis in this paper is careful and worth your time, but the headline cyclic result — the factor 4-5 efficiency gain — rests on an approximation the authors themselves flag as inexact at the operating point. That claim needs a simulation or a better calculation before it carries weight.\n\nWhat is actually new: the mechanical piston coupling, the finite measurement error analysis for position and direction, the nontrivial optima in tau and delta_m, and the non-monotonic one-shot efficiency. Previous work on active Szilard engines used fully controlled external potentials. The steric piston introduces a 'miss' probability and a finite buffer distance, which is a real and underexplored element. The derivation of W_os in Sec. III is internally consistent given the one-tumble and large-Peclet approximations. I also give them credit for being explicit about when the approximations are loose, including the free-dynamics assumption in Sec. IV.B and the alternative efficiency that includes active dissipation.\n\nWhere the soft spots are, in order. First, the cyclic information gain in Eq. (28) uses free run-and-tumble dynamics with no piston and no boundaries, and the authors note it \"won't be exact\" at F_w = 1/2. The stress-test note is right: during the work phase the piston acts as a hard constraint, so the particle's position at the next refresh is conditioned by the piston placement in a way the free Green's function misses. The difference in Delta S_tau can be O(1), not a small correction. So the advertised factor 4-5 improvement is not established by this calculation. Second, the Landauer violation claim is partly conventional: Eq. (22) defines efficiency with a Pe^-1 factor, so eta ~ Pe is essentially put in by hand. The authors acknowledge this, but the abstract states it as a clean result. Third, the abstract calls the one-shot efficiency transition \"discontinuous\" while Sec. IV.A describes it as continuous. That is a contradiction a careful reader will trip on.\n\nThe one-shot results — the optima, the cost of precision, the non-monotonic efficiency — do not depend on the shaky cyclic step. If the paper is revised with a simulation of the cyclic protocol or a piston-constrained estimate of Delta S_tau, the cyclic claim becomes testable.\n\nWho this is for: people working on active matter information engines and stochastic thermodynamics. It deserves a serious referee. My recommendation: send it out, but make sure the referee asks for the cyclic calculation to be backed up or softened, and the abstract/body inconsistency fixed.","headline":"The one-shot engine analysis is careful and worth engaging, but the headline cyclic efficiency gain rests on a free-dynamics approximation the authors admit is inexact at the operating point, so that part is not yet established.","tokens_in":17550,"tokens_out":2152,"would_cite":true,"duration_ms":20995,"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":"This paper claims a realistic, mechanically coupled Szilard engine can extract positive work from one actively propelled particle despite noisy measurements, and can convert measurement information into work at efficiency above Landauer's…","keywords":["active Szilard engine","run-and-tumble particle","information-to-work conversion","Landauer bound","measurement error","mechanical piston","information efficiency","stochastic thermodynamics"],"falsifier":"Measure the information gain per cycle in a feedback experiment on a single tracked active particle: Eq. (28) predicts $\\Delta S_\\tau$ grows linearly in $\\tau$ with slope $D_p/(2\\sigma_x^2)+(1-2\\varepsilon)\\ln((1-\\varepsilon)/\\varepsilon)$, so repeating the measurement at two different positional-noise levels $\\sigma_x$ and checking the predicted ratio of slopes would settle whether the cyclic advantage is real or an artifact of the free-dynamics approximation.","tokens_in":1971,"feed_emoji":"⚙️","tokens_out":2085,"duration_ms":67715,"temperature":0.7,"pith_summary":"The paper builds a minimal model of a dynamic Szilard engine in which a demon measures the position and direction of a single run-and-tumble active particle, then places a damped mechanical piston ahead of it to lift a weight. It claims that even with finite measurement errors, positive work and power survive, and that the extracted work is maximized when the protocol lasts about a third of the persistence time and the piston is placed roughly two measurement-error widths ahead of the estimated position. The central thermodynamic assertion is that the one-shot information efficiency—extracted work divided by the information cost of the measurement—can exceed the equilibrium Landauer limit and grows with the Péclet number. Cyclic operation lowers the effective measurement cost by reusing residual mutual information between consecutive measurements, raising efficiency by a factor of four to five. If correct, this establishes a physically concrete route to active information engines that outperform their equilibrium counterparts.","feed_headline":"Error-prone active Szilard engine beats Landauer's bound","feed_subtitle":"A piston-wielding demon extracts work from a single active particle as long as the piston sits about two measurement errors ahead.","key_machinery":"The load-bearing object is the one-shot average work expression $W_{\\rm os} = (1-\\varepsilon)p_{\\rm fnt}W^+ + [\\varepsilon + (1-\\varepsilon)(1-p_{\\rm fnt})]W^-$, assembled from the probability of placing the piston on the correct side, the distance-dependent contact delay $\\tau_\\delta$, and the exponential tumbling statistics of the run-and-tumble particle. The piston is a local steric element subject to an external force set at $F_w=1/2$ in units of the stall force, so misses and dissipation during free piston motion are intrinsic to the design. On the information side, the one-shot cost is $\\Delta S_{\\rm os} = -\\ln(\\sigma_x\\sqrt{2\\pi e}/L) + \\ln 2 - s_\\varepsilon$, and the cyclic cost is carried by the residual-information formula $\\Delta S_\\tau \\simeq D_p\\tau/(2\\sigma_x^2) + \\tau(1-2\\varepsilon)\\ln\\big((1-\\varepsilon)/\\varepsilon\\big)$, derived under free run-and-tumble dynamics between measurements. These pieces combine into the efficiency $\\eta = W/(\\mathrm{Pe}^{-1}\\Delta S)$, and the claim that $\\eta$ can exceed 1 follows from the scaling $\\eta^*_{\\rm os} \\sim \\mathrm{Pe}$ at fixed measurement precision.","core_discovery":"The paper aims to establish that an active Szilard engine whose work extraction is mediated by a finite mechanical piston, rather than a time-dependent virtual potential, can convert measurement information into mechanical work with an information efficiency $\\eta = W_{\\rm os}/(\\mathrm{Pe}^{-1}\\Delta S_{\\rm os})$ exceeding the Landauer value of 1 for sufficiently large Péclet number. It identifies nontrivial optima in the protocol duration $\\tau$ and piston offset $\\delta_m$: the best average work occurs near $\\tau \\simeq 0.3\\,\\tau_M$ and $\\delta_m \\simeq 2\\sigma_x$, reaching about 15% of the ideal error-free power, and positive one-shot work is confined to a neighborhood of this optimum. Measurement imperfections act asymmetrically: the power optimum is independent of the direction-measurement error $\\varepsilon$, while both work and power optima respond to the positional error $\\sigma_x$. In cyclic operation, the mutual information from the previous measurement is not fully erased, so refreshing the estimate costs less than a fresh one-shot measurement, and the efficiency optimum is higher by a factor of 4–5 while also acquiring a negative-efficiency regime at large errors.","pith_inferences":["The predicted work peak near $\\delta_m \\simeq 2\\sigma_x$ and $\\tau \\simeq 0.3\\,\\tau_M$ suggests a concrete experimental search: scan piston offset and protocol duration under video-microscopy feedback on a single active colloid, and check whether the work contour and the zero-work boundary match the model.","The cyclic efficiency gain is computed with the piston and boundaries omitted from the inter-measurement dynamics; modifying the Green's function to include reflection off the piston is the natural next calculation, and it could shrink the factor 4–5 advantage.","The efficiency metric used here deliberately omits the steady dissipation needed to sustain the active self-propulsion; counting that cost as an additional operational expense would define a smaller efficiency, so the Landauer-violation result is specific to information-to-work accounting rather than total-budget accounting.","In two or three dimensions, a tumble does not immediately detach the particle from the piston, so the same mechanical design is likely to tolerate directional measurement errors better than the one-dimensional version treated here."],"forward_implications":["At fixed measurement precision, optimal protocols are robust: the locations of the work and power maxima shift only weakly with $\\varepsilon$ and $\\sigma_x$, so no fine-tuning is needed.","The one-shot information efficiency exhibits a continuous transition: below a critical information gain (about 5 nats in the example), the nontrivial optimum has zero efficiency, then efficiency rises, peaks, and eventually falls as measurement precision is pushed further.","Cyclic operation dominates one-shot operation: residual mutual information between successive measurements reduces the effective information cost, giving a factor 4–5 higher efficiency, and any refractory pause between cycles strictly lowers efficiency.","The Landauer bound $\\eta=1$ is crossed at $\\mathrm{Pe}\\simeq 10^3$ for the example parameters, and $\\eta^*_{\\rm os}\\sim\\mathrm{Pe}$ overall.","The independence of the power optimum from the directional error $\\varepsilon$ is exact, because the factor $1-\\varepsilon$ factors out of the extremization condition for the power."],"supporting_citations":[{"why":"Establishes the baseline active Szilard engine and information-based work extraction from active baths that this design extends.","marker":"[14]"},{"why":"Provides the dynamic active information-engine efficiency framework and the optimal-force result used for the piston force.","marker":"[16]"},{"why":"Demonstrates a cyclic active Brownian information engine with large power extraction, motivating the cyclic-efficiency comparison.","marker":"[17]"},{"why":"Shows an information engine operating in a nonequilibrium bath, supporting the premise that Landauer's bound need not hold for active baths.","marker":"[15]"},{"why":"Formulates the erasure cost that underlies the information-efficiency metric and the bound the paper claims to exceed.","marker":"[5]"},{"why":"Connects Landauer's principle to Maxwell's demon memory, anchoring the thermodynamic accounting of measurement.","marker":"[6]"},{"why":"Defines the original Szilard engine geometry that the piston-and-insertion protocol generalizes.","marker":"[2]"},{"why":"Supplies mechanical pressure and work-cycle results for confined active particles, motivating the steric mechanical coupling.","marker":"[13]"}],"fun_headline_variants":["Active Szilard engine surpasses Landauer limit despite errors","Faulty measurements still let Szilard engine beat Landauer","Error-prone demon extracts work, beat Landauer's bound","Active Szilard engine beats Landauer with measurement errors","Cyclic trick boosts error-prone Szilard engine efficiency"],"cache_read_input_tokens":19584,"weakest_assumption_plain":"The cyclic efficiency result depends on treating the particle's motion between measurements as free run-and-tumble dynamics, ignoring collisions with the piston and walls; if those collisions scramble the particle's state enough, the residual information that lowers the next measurement's cost would be smaller than estimated.","fun_headline_variants_meta":{"raw":{"variants":["Active Szilard engine surpasses Landauer limit despite errors","Faulty measurements still let Szilard engine beat Landauer","Error-prone demon extracts work, beat Landauer's bound","Active Szilard engine beats Landauer with measurement errors","Cyclic trick boosts error-prone Szilard engine efficiency"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000393,"raw_usage":{"total_tokens":2075,"prompt_tokens":964,"completion_tokens":1111,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":580,"completion_tokens_details":{"reasoning_tokens":1027}},"tokens_in":580,"tokens_out":1111,"duration_ms":8144,"temperature":1.0,"reasoning_tokens":1027,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T21:30:12.716814+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure the information gain per cycle in a feedback experiment on a single tracked active particle: Eq. (28) predicts $\\Delta S_\\tau$ grows linearly in $\\tau$ with slope $D_p/(2\\sigma_x^2)+(1-2\\varepsilon)\\ln((1-\\varepsilon)/\\varepsilon)$, so repeating the measurement at two different positional-noise levels $\\sigma_x$ and checking the predicted ratio of slopes would settle whether the cyclic advantage is real or an artifact of the free-dynamics approximation.","supporting_citations":[{"cited_title":"Malgaretti and H","cited_arxiv_id":null,"evidence_quote":"Establishes the baseline active Szilard engine and information-based work extraction from active baths that this design extends."},{"cited_title":"Cocconi and L","cited_arxiv_id":null,"evidence_quote":"Provides the dynamic active information-engine efficiency framework and the optimal-force result used for the piston force."},{"cited_title":"Paneru, S","cited_arxiv_id":null,"evidence_quote":"Demonstrates a cyclic active Brownian information engine with large power extraction, motivating the cyclic-efficiency comparison."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows an information engine operating in a nonequilibrium bath, supporting the premise that Landauer's bound need not hold for active baths."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Connects Landauer's principle to Maxwell's demon memory, anchoring the thermodynamic accounting of measurement."},{"cited_title":"Szilard, On the decrease of entropy in a thermody- namic system by the intervention of intelligent beings, Behav","cited_arxiv_id":null,"evidence_quote":"Defines the original Szilard engine geometry that the piston-and-insertion protocol generalizes."},{"cited_title":"Malgaretti, P","cited_arxiv_id":null,"evidence_quote":"Supplies mechanical pressure and work-cycle results for confined active particles, motivating the steric mechanical coupling."}],"review_version":1}