REVIEW 3 major objections 5 minor 43 references
When trajectory-based bounds fail: information thermodynamics under noisy feedback
T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read In a noisy feedback engine, the simple instantaneous mutual-information bound becomes the tightest constraint on extracted work once measurement noise grows.
desk verdict A serious experiment-plus-theory paper whose headline crossover is credible but rests on finite-memory entropy estimates that need independent validation. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by three information-theoretic bounds on extracted work per cycle: the transfer-entropy rate I_c, the unavailable-information correction I_u − I, and the Markovian mutual-information term −Δ_m I. The first two depend on the full control sequence (trajectory-based); the third depends only on instantaneous pre- and post-measurement correlations. The load-bearing theoretical result is the inequality −Δ_m I ≥ −I_c for both perfect and imperfect measurements (Eq. 10), plus the numerically and experimentally established crossover between I_u − I and −Δ_m I. Estimating the trajectory-based rates requires finite-memory estimators, which plateau once the memory length exceeds
What would settle it
Compute or measure the three bounds under the same noise model but with a measurement variable that is not the control decision (e.g., a threshold on a combination of position and velocity, or a multi-level output). If the unavailable-information bound remains tighter than the Markovian mutual-information bound at high noise, the predicted crossover is specific to y=c rather than a general property of trajectory-based bounds.
Extended reading notes
Core claim
On the paper's own terms: in an underdamped feedback engine with Markovian measurements and non-Markovian control, the three standard second-law refinements—transfer entropy, unavailable information, and Markovian mutual information—are all valid inequalities but have no universal ordering. For perfect measurements the unavailable-information bound is the tightest, but as measurement noise grows the trajectory-dependent unavailable-information bound degrades fastest, and the instantaneous Markovian mutual-information bound becomes the tightest over a broad range of noise. The transfer-entropy bound always remains looser than the Markovian one, while the unavailable-information bound can even
Load-bearing premise
The paper's headline generalization rests on the minimal model in which the measurement outcome is identified with the control variable (y=c); the authors note that another coarse-graining could quantitatively change the information values, so the crossover could in principle be an artifact of that choice.
Editorial extensions
If this is right
- In noisy regimes, the simpler instantaneous mutual-information bound is tighter than the unavailable-information bound, so information engines need not be analyzed with full trajectory statistics.
- The unavailable-information bound, exactly tight for idealized perfect measurements in overdamped systems, does not survive under measurement noise as the tightest constraint.
- The sign of the Markovian mutual-information bound correctly locates the noise threshold at which work extraction stops, giving an experimentally useful diagnostic.
- Trajectory-dependent bounds (transfer entropy and unavailable information) require increasingly detailed statistics that measurement noise selectively degrades; no single information measure is universally optimal.
- Finite-memory estimators allow direct experimental estimation of entropy and unavailable-information rates in non-Markovian control sequences, enabling comparisons that were previously out of reach.
Reading between the lines
- If the mechanism is generic, the same crossover should appear for other measurement variables and noise models; a direct test would be to compute the bounds with a different binary measurement (e.g., based on velocity or a threshold other than the origin) and check whether the unavailable-information bound remains the tightest at high noise.
- The result suggests that feedback protocols designed to exploit temporal correlations should be evaluated with noise-aware information measures; optimizing for zero-noise tightness may be misleading.
- The finite-memory plateau method could be transferred to other experimental systems with non-Markovian feedback, including biological sensors, to quantify how much trajectory information survives noise.
- A possible extension: for non-uniform noise distributions or multi-state measurements, the crossover noise level may shift; mapping the crossover as a function of noise model would test the claimed generality.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies an underdamped feedback-controlled micro-cantilever with binary position measurements, where the measured outcome directly sets the control variable (c = ±1). It compares three second-law refinements — the transfer-entropy bound, the unavailable-information bound, and the Markovian mutual-information bound — as functions of measurement noise Δx and sampling interval Δt_m, using both experimental data and Kramers-equation-based theory. The central claim is that none of the three bounds is universally optimal: at low noise the unavailable-information bound is tightest, but as measurement noise increases, trajectory-dependent bounds (especially unavailable information) degrade faster than the instantaneous Markovian bound, producing a crossover in which the Markovian bound becomes tightest over a broad noise range. The paper interprets this as evidence for a general limitation of trajectory-statistics-based information-thermodynamic descriptions in realistic noisy feedback.
Significance. If the central claim is correct, the paper makes a valuable contribution: it shows that the tightness of thermodynamic information bounds is not an intrinsic property of the information measure but depends on how measurement noise interacts with temporal correlations. It also provides a methodological advance by estimating non-Markovian entropy and unavailable-information rates directly from experimental data, and it gives analytic results in the long-sampling-time limit. A notable strength is that the theoretical curves in Fig. 1 are computed from Kramers-equation solutions with parameters fixed by the experimental setup, with no free parameter fitted to the measured work. The conclusions are of broad interest to stochastic thermodynamics and experimental information engines. However, the headline crossover depends on the accuracy of finite-memory entropy-rate estimators, and the generality of the claim rests on a single coarse-graining choice; both points need additional support before the central claim is fully established.
major comments (3)
- [Section I, "minimal model" with y = c; Section V Discussion] The crossover in Fig. 1 relies on the plateau values of H_M and J_M being accurate estimators of the true entropy rates H and J. For a fixed M, plug-in conditional-entropy estimators have downward finite-sample bias, while the true conditional entropy decreases as M increases; these two opposing biases can cancel and produce a plateau at a value that is not the true H. If H is overestimated, then I_u - I = J - H is underestimated (too negative), making the unavailable-information bound appear looser exactly in the noise regime where the crossover is claimed. The theoretical solid lines in Fig. 1 are computed with the same finite-memory estimators, so they do not independently validate the plateau. For the shortest sampling interval (Δt_m/τ_rel = 0.22), the usable memory is particularly limited and truncation bias is most dangerous. The manuscript should provide an independent validation
- [Section II, Methods, "Finite-memory estimators"; Fig. 6] The abstract and Discussion claim a 'general limitation' of trajectory-based information-theoretic descriptions under measurement noise. However, all quantitative results are computed within the minimal model in which the measurement outcome is identified with the control variable, y = c. The Discussion itself concedes that other coarse-grainings 'could quantitatively affect the values of the information measures.' The generality is therefore asserted from a mechanism argument, not demonstrated. To support the headline claim, the paper should either test at least one alternative measurement variable or coarse-graining (e.g., a multi-threshold or continuous measurement variable) and show that the same qualitative crossover appears, or provide an analytic argument independent of the specific choice of y. Absent that, the conclusion should be restricted to the minimal model or explicitly fr
- [Methods, "Finite-memory estimators", Eq. (32); Section IV A] The finite-memory approximation of the backward process, Eq. (31), conditions on the time-reversed forward sequence only through a memory window of length M+1. The unavailable-information estimator J_M is therefore sensitive not only to the forward-memory truncation but also to the initial-condition prescription for the backward process, P(Γ_1^R | c†_k) = P(Γ_k | c_k). The text states that backward trajectories were generated for each forward trajectory, but it is not explained how finite-length forward trajectories affect the convergence of J_M to its asymptotic rate. If boundary or initial-condition effects decay more slowly than the memory window, the plateau in J_M could be systematically biased. The authors should provide a boundary-effect analysis or demonstrate that J_M is insensitive to the backward initial condition.
minor comments (5)
- [Fig. 6 caption] Please specify the number of feedback cycles used for each experimental point, the meaning of the error bars, and the normalization of Δx (in units of σ). The statement that error bars are invisible is not sufficient; a representative error bar or an inset would help the reader assess statistical accuracy.
- [Methods, "Finite-memory estimators", Eq. (32)] Please define M_max explicitly and state the criterion used to mark points as 'crossed out' (insufficient statistics). Also report the sample size N in the caption or in the Methods, since the plateau identification is central to the claims.
- [Section II, Eqs. (4) and (7)] The overline notation is used both for per-cycle averages and for time-reversed sequences (⃗ y†). This is occasionally confusing, for example in Eqs. (4) and (7). A different symbol for time reversal would improve readability.
- [References/Footnotes] The footnote defining singular measurements appears after the reference list; it should be placed as a proper footnote in the main text or integrated into the Methods.
- [Data availability] The statement 'Data supporting this study will be available in an open public repository upon acceptance' is acceptable for a journal submission, but given the central role of the experimental estimators, a statement about code availability for the estimators (e.g., for H_M and J_M) would strengthen reproducibility.
Circularity Check
No significant circularity: the three information bounds are evaluated from measured control/position sequences and from Kramers-equation solutions with parameters fixed by the setup, without fitting to the extracted work; the central crossover is a computed comparison, not an input.
full rationale
The paper's central claim is the relative behavior of three second-law refinements under measurement noise. The bounds in Eq. (7) are not fitted to the measured work: the Markovian mutual information is computed from stationary Kramers solutions and measured pre-/post-measurement distributions, while transfer-entropy and unavailable-information rates are estimated from recorded control sequences and backward experiments. The crossover in Fig. 1 therefore emerges from direct evaluation of the quantities appearing in the bounds, and no parameter is tuned to force agreement with βW. The minimal model y=c is an explicit modeling choice, not a result derived from itself; the Discussion's claim of generality is an extrapolation, but the quantitative crossover is demonstrated within the stated model. Finite-memory estimation could introduce statistical bias, but that is a correctness/estimation concern, not an equivalence-by-construction between input and output. Self-citations to Refs. [30,33] are used for auxiliary ordering relations and motivation, not for the unavailable-information-vs-Markovian crossover, which the paper explicitly states is not covered by any known ordering. No self-definitional step, fitted-input-as-prediction, or author-imported uniqueness theorem carries the central derivation.
Assumptions & free parameters
free parameters (3)
- Memory length M (estimator truncation) =
probed M=1..9; plateau regions shown in Fig. 6, not quantified numerically
- k (kNN estimator parameter) =
3
- Bootstrap and regularisation parameters =
not specified in the main text
assumptions (7)
- domain assumption Cantilever = single underdamped harmonic mode obeying Kramers dynamics (Eqs. 11-14) with harmonic potential V = 0.5(x-cL)^2
- domain assumption Flat measurement noise: c_n = sgn(x_n + eta_n), eta uniform on [-Delta_x, Delta_x], giving Theta of Eq. (18)
- domain assumption The three second-law refinements (Eqs. 3, 4, 5) remain valid for underdamped dynamics with non-Markovian control sequences
- domain assumption Ordering beta W >= -Delta_m I >= -I_c (Eq. 10) holds underdamped
- domain assumption Control-sequence correlations are finite-ranged, memory proportional to tau_rel/Delta_t_m, so H_M and J_M plateau for M <= M_max
- domain assumption Long-time periodic state P(Gamma, c, t+Delta_t_m) = P(Gamma, c, t) with stationary per-measurement distributions
- domain assumption Backward-process initial condition P^R(Gamma^R_1 | c-dagger) = P(Gamma_k | c_k) correctly implements the Potts unavailable information
Cite this review
Pith. "Pith review of When trajectory-based bounds fail: information thermodynamics under noisy feedback." pith.science (2026). https://pith.science/paper/JUECWDA5
@misc{pith2026260727299,
author = {Pith},
title = {Pith review of: When trajectory-based bounds fail: information thermodynamics under noisy feedback},
year = {2026},
howpublished = {\url{https://pith.science/paper/JUECWDA5}},
note = {Machine review of arXiv:2607.27299}
}
read the original abstract
Information engines exploit feedback to extract work from thermal fluctuations, extending the second law of thermodynamics through information-theoretic bounds. While several such bounds have been proposed, their relative performance under realistic conditions---where measurements are noisy and feedback is temporally correlated---remains largely unclear. Here, we experimentally and theoretically investigate this problem in an underdamped feedback-controlled system with Markovian measurements but non-Markovian control sequences. We compare three representative bounds derived from transfer entropy, unavailable information, and Markovian mutual information, and find that none is universally optimal. Instead, measurement noise preferentially affects information measures that rely on detailed trajectory statistics, while leaving quantities based on instantaneous correlations comparatively robust. As a consequence, trajectory-dependent bounds deteriorate rapidly, giving rise to a crossover in which the Markovian mutual-information bound becomes tighter than the unavailable-information bound over a broad range of measurement noise. Our results reveal a general limitation of information-theoretic descriptions that rely on detailed trajectory statistics in realistic settings and provide a unified perspective on information thermodynamics beyond idealised feedback protocols.
Figures
Figures from the paper (3 more)
Reference graph
Works this paper leans on
-
[1]
Long sampling intervals We first analyse the limit ∆t m ≫τ rel, correspond- ing to the equilibrium regime shown in the top panel of Fig. 1. In this limit, the system relaxes to the equi- librium state associated with the applied protocol be- tween consecutive measurements. Consequently, the for- ward and backward control sequences become effectively Marko...
-
[2]
Finite sampling intervals We now turn to the experimentally relevant regime of finite sampling intervals, corresponding to the middle and bottom panels of Fig. 1. In this case, the system does not relax between consecutive measurements and the con- trol sequence⃗ ck becomes genuinely non-Markovian in both the forward and backward processes. The transfer- ...
-
[3]
J. C. Maxwell,Theory of Heat(Longmans, Green, and Co., London, 1871)
-
[4]
Szilard, ¨ uber die Entropieverminderung in einem ther- modynamischen System bei Eingriffen intelligenter We- sen, Zeitschrift f¨ ur Physik53, 840 (1929)
L. Szilard, ¨ uber die Entropieverminderung in einem ther- modynamischen System bei Eingriffen intelligenter We- sen, Zeitschrift f¨ ur Physik53, 840 (1929)
1929
-
[5]
Landauer, Irreversibility and heat generation in the computing process, IBM Journal of Research and Devel- opment5, 183 (1961)
R. Landauer, Irreversibility and heat generation in the computing process, IBM Journal of Research and Devel- opment5, 183 (1961)
1961
-
[6]
C. H. Bennett, The thermodynamics of computation—a review, International Journal of Theoretical Physics21, 905 (1982)
1982
-
[7]
Sagawa, Thermodynamics of Information Processing in Small Systems, Progress of Theoretical Physics127, 1 (2012)
T. Sagawa, Thermodynamics of Information Processing in Small Systems, Progress of Theoretical Physics127, 1 (2012)
2012
-
[8]
Seifert, Stochastic thermodynamics, fluctuation the- orems and molecular machines, Reports on Progress in Physics75, 126001 (2012)
U. Seifert, Stochastic thermodynamics, fluctuation the- orems and molecular machines, Reports on Progress in Physics75, 126001 (2012)
2012
Show all 43 references
-
[9]
J. M. Horowitz and H. Sandberg, Second-law-like in- equalities with information and their interpretations, New Journal of Physics16, 125007 (2014)
2014
-
[10]
J. M. R. Parrondo, J. M. Horowitz, and T. Sagawa, Thermodynamics of information, Nature Physics11, 131 (2015)
2015
-
[11]
Toyabe, T
S. Toyabe, T. Sagawa, M. Ueda, E. Muneyuki, and M. Sano, Experimental demonstration of information- to-energy conversion and validation of the generalized Jarzynski equality, Nature Physics6, 988 (2010)
2010
-
[12]
B´ erut, A
A. B´ erut, A. Arakelyan, A. Petrosyan, S. Ciliberto, R. Dillenschneider, and E. Lutz, Experimental verifica- tion of Landauer’s principle linking information and ther- modynamics, Nature483, 187 (2012)
2012
-
[13]
J. V. Koski, V. F. Maisi, J. P. Pekola, and D. V. Averin, Experimental realization of a Szilard engine with a single electron, Proceedings of the National Academy of Sci- ences111, 13786 (2014)
2014
-
[14]
Paneru, D
G. Paneru, D. Y. Lee, T. Tlusty, and H. K. Pak, Lossless Brownian Information Engine, Physical Review Letters 120, 020601 (2018)
2018
-
[15]
Admon, S
T. Admon, S. Rahav, and Y. Roichman, Experimen- tal Realization of an Information Machine with Tunable Temporal Correlations, Physical Review Letters121, 180601 (2018)
2018
-
[16]
Paneru, S
G. Paneru, S. Dutta, T. Sagawa, T. Tlusty, and H. K. Pak, Efficiency fluctuations and noise induced refrigerator-to-heater transition in information engines, Nature Communications11, 1012 (2020)
2020
-
[17]
Dago and L
S. Dago and L. Bellon, Dynamics of Information Erasure and Extension of Landauer’s Bound to Fast Processes, Physical Review Letters128, 070604 (2022)
2022
-
[18]
Archambault, C
A. Archambault, C. Crauste-Thibierge, S. Ciliberto, and L. Bellon, Inertial effects in discrete sampling information engines, Europhysics Letters148, 41002 (2024)
2024
-
[19]
Dago and L
S. Dago and L. Bellon, Fooling the Landauer bound with a demon biased thermal bath (2026), arXiv:2602.06560 [cond-mat.stat-mech]
2026
-
[20]
M. A. Ciampini, T. Wenzl, M. Konopik, G. Thalhammer- 10 Thurner, M. Aspelmeyer, E. Lutz, and N. Kiesel, Erasure of a nonequilibrium memory beyond Landauer’s bound using levitated optomechanics with spatio-temporal op- tical control, Phys. Rev. Res.7, 043321 (2025)
2025
-
[21]
Ciliberto, Experiments in Stochastic Thermodynam- ics: Short History and Perspectives, Physical Review X 7, 021051 (2017)
S. Ciliberto, Experiments in Stochastic Thermodynam- ics: Short History and Perspectives, Physical Review X 7, 021051 (2017)
2017
-
[22]
F. J. Cao and M. Feito, Thermodynamics of feedback controlled systems, Physical Review E79, 041118 (2009)
2009
-
[23]
J. M. Horowitz and S. Vaikuntanathan, Nonequilibrium detailed fluctuation theorem for repeated discrete feed- back, Physical Review E82, 061120 (2010)
2010
-
[24]
Sagawa and M
T. Sagawa and M. Ueda, Nonequilibrium thermodynam- ics of feedback control, Physical Review E85, 021104 (2012)
2012
-
[25]
Abreu and U
D. Abreu and U. Seifert, Thermodynamics of Genuine Nonequilibrium States under Feedback Control, Physical Review Letters108, 030601 (2012)
2012
-
[26]
Lahiri, S
S. Lahiri, S. Rana, and A. M. Jayannavar, Fluctuation theorems in the presence of information gain and feed- back, Journal of Physics A: Mathematical and Theoreti- cal45, 065002 (2012)
2012
-
[27]
Ruiz-Pino, D
N. Ruiz-Pino, D. Villarrubia-Moreno, A. Prados, and F. J. Cao-Garc ´ ıa, Information in feedback ratchets, Phys- ical Review E108, 034112 (2023)
2023
-
[28]
Ashida, K
Y. Ashida, K. Funo, Y. Murashita, and M. Ueda, Gen- eral achievable bound of extractable work under feedback control, Physical Review E90, 052125 (2014)
2014
-
[29]
P. P. Potts and P. Samuelsson, Detailed Fluctuation Re- lation for Arbitrary Measurement and Feedback Schemes, Physical Review Letters121, 210603 (2018)
2018
-
[30]
Sagawa and M
T. Sagawa and M. Ueda, Fluctuation Theorem with In- formation Exchange: Role of Correlations in Stochastic Thermodynamics, Physical Review Letters109, 180602 (2012)
2012
-
[31]
J. M. Horowitz and M. Esposito, Thermodynamics with Continuous Information Flow, Physical Review X4, 031015 (2014)
2014
-
[32]
Ruiz-Pino and A
N. Ruiz-Pino and A. Prados, Entropic Balance with Feed- back Control: Information Equalities and Tight Inequal- ities, Physical Review Letters136, 067101 (2026)
2026
-
[33]
Archambault, C
A. Archambault, C. Crauste-Thibierge, A. Imparato, C. Jarzynski, S. Ciliberto, and L. Bellon, Information Engine Fueled by First-Passage Times, Physical Review Letters135, 147101 (2025)
2025
-
[34]
T. K. Saha, J. N. Lucero, J. Ehrich, D. A. Sivak, and J. Bechhoefer, Bayesian Information Engine that Op- timally Exploits Noisy Measurements, Physical Review Letters129, 130601 (2022)
2022
-
[35]
Ruiz-Pino and A
N. Ruiz-Pino and A. Prados, Markovian description of a wide class of feedback-controlled systems: application to the feedback flashing ratchet, Journal of Statistical Me- chanics: Theory and Experiment2024, 083204 (2024)
2024
-
[36]
S. Dago, J. Pereda, S. Ciliberto, and L. Bellon, Virtual double-well potential for an underdamped oscillator cre- ated by a feedback loop, J. Stat. Mech.2022, 053209 (2022)
2022
-
[37]
S. Dago, N. Barros, J. Pereda, S. Ciliberto, and L. Bellon, Virtual potential created by a feedback loop: Taming the feedback demon to explore stochastic thermodynamics of underdamped systems, inCrossroad of Maxwell Demon, edited by X. Bouju and C. Joachim (Springer Nature Swi...
2024 arXiv
-
[38]
Toyabe and M
S. Toyabe and M. Sano, Nonequilibrium Fluctuations in Biological Strands, Machines, and Cells, Journal of the Physical Society of Japan84, 102001 (2015)
2015
-
[39]
Paolino, F
P. Paolino, F. A. Aguilar Sandoval, and L. Bellon, Quadrature phase interferometer for high resolution force spectroscopy, Rev. Sci. Instrum.84, 095001 (2013)
2013
-
[40]
Namely, there exists at least one value ofysuch that Θ(y|Γ) = 0 for Γ/∈χ y
Singular measurements assign zero probability to certain regions of phase space. Namely, there exists at least one value ofysuch that Θ(y|Γ) = 0 for Γ/∈χ y. Non-singular measurements do not generate regions of phase space with strictly zero probability for a given outcomey
-
[41]
Paninski, Estimation of Entropy and Mutual Informa- tion, Neural Computation15, 1191 (2003)
L. Paninski, Estimation of Entropy and Mutual Informa- tion, Neural Computation15, 1191 (2003)
2003
-
[42]
Sch¨ urmann and P
T. Sch¨ urmann and P. Grassberger, Entropy estimation of symbol sequences, Chaos: An Interdisciplinary Journal of Nonlinear Science6, 414 (1996)
1996
-
[43]
B. C. Ross, Mutual Information between Discrete and Continuous Data Sets, PLoS ONE9, e87357 (2014). METHODS Underdamped stochastic dynamics Between consecutive measurements, i.e. in the time intervals (tn, tn+1), the particle evolves according to di- mensionless underdamped La...
2014
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.