{"id":"437eee2f-8280-4528-9e2a-6fee27bb49c8","arxiv_id":"2412.11595","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"New supremum-based relative entropy monotones fix a broken resource-theoretic account of dynamical decoupling without changing the original empirical picture.","lead":"A team that earlier built a resource theory for dynamical decoupling found its main measures were invalid, and now introduces corrected measures that provably behave as resource quantifiers should. They argue the original practical conclusions, that decoupling distills temporal resources and consumes non-Markovianity, still hold.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1's monotonicity under temporal coarse-graining rests on Corollary 1 of the very paper being corrected; if that corollary is not re-derived in the corrected setting, the central claim that I_m, M_m, N_m are valid monotones remains unproven.","rationale":"I read the paper as an honest correction: it identifies a real flaw in the earlier monotonicity claim and proposes the standard supremum construction to repair it. The construction is plausible, and several parts are independently checkable: the subadditivity proof in Theorem 2 is a direct inequality that does not depend on the disputed corollary, and the connection to reachable comb divergences is sketched in a way that could be made rigorous. The weak point is exactly the proof of Theorem 1's coarse-graining step. Because that step is delegated to a corollary of the paper whose central theorem was retracted, the proof is incomplete as written. This is not a demonstrated counterexample; temporal coarse-graining may well satisfy data-processing inequalities and the delegated corollary may be valid. What is missing is a derivation in the corrected framework. The numerical reinterpretation is also indirect, but it is presented as heuristic and does not carry the same weight as the theorem. I therefore keep the reader's conditional verdict: accept only if the coarse-graining step is re-derived, or if the independent check described above verifies it. My concern is the same as the reader's weakest assumption.","tokens_in":9519,"tokens_out":9017,"duration_ms":85402,"concrete_test":"Re-derive the coarse-graining step without invoking Ref. [1]'s Corollary 1. For m' ⊆ m, write I_n\\m' = I_m\\m' ∘ I_n\\m and verify, for every allowed Z ∈ Z_nn, that I([T|Z|I_n\\m']) ≤ I([T|Z|I_n\\m]); this follows if I_m\\m' is a CPTP map on Choi states and commutes with the marginalization in Eq. (2). If this holds, Theorem 1 is proved independently. If not, search over random process tensors with n=3, m={t2}, m'=∅ for a counterexample in which I increases under coarse-graining, which would falsify the theorem.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim is Theorem 1: the irreversibility quantities I_m, M_m, N_m are monotones in the IQI resource theory. The easy half of the proof, monotonicity under superprocesses that do not change the number of times, follows from the optimality of the supremum. The nontrivial half is monotonicity under temporal coarse-graining, and here the proof says only that 'Corollary 1 of Ref. [1]' implies it. That corollary comes from the same paper whose proof of monotonicity was invalidated by the trace-preservation error described in Sec. II, and the present letter neither re-derives it nor states which hypothesis of the corollary survives the correction. This is load-bearing: for fixed Z, if the Choi divergence I can increase when the intermediate time set is coarse-grained from m to a coarser m', then the supremum over Z can increase as well, and Theorem 1 fails. The numerical proxy discussion in Sec. VI is secondary; it is explicitly heuristic, whereas the theorem underpins the letter's central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This letter corrects the authors' earlier claim that the Choi-relative-entropy quantifiers I, M, N are monotones in the IQI resource theory for dynamical decoupling. It introduces three families of modified quantifiers I_m, M_m, N_m, defined as suprema of the original quantities over same-step free superprocesses followed by temporal coarse-graining, and claims in Theorem 1 that these are valid monotones. The paper also proves a subadditivity relation I_m <= M_m + N_m, shows invariance of I_m under composition with free processes, relates the new quantities to generalized comb divergences from Ref. [8], and re-interprets the numerical results of Ref. [1] in terms of the new monotones. The abstract concludes that the original empirical conclusions—DD as temporal resource distillation and the consumption of non-Markovianity during MODD—are confirmed with valid monotones.","tokens_in":9724,"tokens_out":12747,"duration_ms":125281,"significance":"If the central theorem is properly established, the paper provides a meaningful repair of a resource-theoretic framework: it supplies valid monotones for the IQI resource theory, corrects a published error, and connects the new quantities to the established framework of generalized comb divergences. The subadditivity proof is clean given compactness of the relevant superprocess sets, and the paper is commendably transparent about the source of the earlier error and about the heuristic status of parts of the numerical re-interpretation. The main obstacle is that the proof of Theorem 1 delegates the nontrivial temporal-coarse-graining step to a corollary of the very paper whose faulty trace-preservation assumption is being corrected; as written, this is a load-bearing gap. The numerical confirmation is also weaker than the abstract suggests, since it relies on differences of the old non-monotone quantities rather than on direct evaluation of the new monotones.","major_comments":[{"comment":"The temporal-coarse-graining half of the monotonicity proof is not established. The proof states that Corollary 1 of Ref. [1] implies monotonicity of I_m, M_m, N_m under temporal coarse-graining, but Section II of the present letter retracts the trace-preservation assumption on which Ref. [1]'s monotonicity results were based. Since I, M, and N themselves are not monotone under coarse-graining, that corollary cannot be invoked without re-derivation. The manuscript needs either a direct proof that for any free transformation W from n to n' and any target m, sup_{Z in Z_nn} I([T|Z|I_{n\\m}]) is at least sup_{Z' in Z_{n'n'}} I([T|W|Z'|I_{n'\\m}]), or a precise statement of which hypothesis of Corollary 1 survives the corrected setting and why. The same-step part of the proof is fine; the gap is specifically the coarse-graining step.","section":"Section IV, proof of Theorem 1 (Eq. (3))"},{"comment":"The numerical re-interpretation of Fig. 4d uses differences of the old non-monotone quantities I, M, N, with an arbitrary offset, to draw conclusions about the monotones I_m, M_m, N_m. The authors explicitly note that the baseline values have no special meaning in IQI, and they do not directly compute I_m, M_m, N_m for the DD and MODD superprocesses. Consequently, the abstract's claim that the same empirical conclusions are reached with valid monotones—in particular that MODD achieves greater noise reduction by expending more non-Markovianity—is not demonstrated by the data as presented. The section should either compute the new monotones, or rigorous bounds for them, for the relevant superprocesses, or the abstract and discussion should be softened to present the old-quantity analysis as heuristic only.","section":"Section VI, Eq. (39) and surrounding discussion"}],"minor_comments":[{"comment":"The notation for the reachable set is inconsistent: Sreach_n and S_reach_n are used interchangeably, and the statement 'JZ_nm|I_mK = Sreach_n' should be a membership or equality of sets defined via the image of the map; please clarify. More importantly, the correspondence with generalized comb divergences is explicitly established only for m = n, while the abstract and introduction appear to claim it for the general family I_m, M_m, N_m; please qualify the claim accordingly.","section":"Section V, Lemma 1 and Eq. (32)"},{"comment":"The upper-bound part of the proof of Proposition 2 is too terse: the statement 'J S_B | Z_AB K = Z'_A' and the inclusion 'J S_B | Z_AB K subseteq Z_A' are not well-defined as written. The argument that a free process can be subsumed into a larger effective A subsystem needs a precise formal statement.","section":"Section IV, Proposition 2"},{"comment":"The factorization of superprocesses in Eq. (17) and the treatment of the new intermediate time t' in sequential composition are skipped over. Since IQI superprocesses act independently at each time, the factorization is plausible, but the proof should state exactly how the labels (n, n') and (m, t', m') are handled.","section":"Section IV, Proposition 1"},{"comment":"There are numerous typographical errors and notation inconsistencies: 'F or any process', 'quanitifiers', 'he expenditure', and inconsistent use of I, M, N versus I_m, M_m, N_m, with hats missing in many places. A careful proofread is needed.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"This is a correction letter to the authors' own earlier work, and the proposed construction of monotones by optimizing over free superprocesses is natural and likely correct. However, the proof of Theorem 1 currently rests on Corollary 1 of the very paper whose flawed assumption is being corrected; this is a genuine load-bearing gap, not a stylistic issue. I would ask the authors to supply a direct proof of the temporal-coarse-graining monotonicity and to either compute the new monotones in the numerical section or explicitly downgrade the claimed confirmation. With those changes, the paper could be acceptable as a focused correction letter."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is an honest correction of a real error in the authors' earlier work, and the fix is mostly sound. The new monotones I_m, M_m, N_m are defined as suprema over free superprocesses followed by coarse-graining, which is a standard construction, but the paper adds genuinely new subadditivity (Theorem 2) and composition invariance results, plus a clean connection to generalized comb divergences. The numerical reinterpretation is explicitly framed as a proxy, which is honest. The soft spot is the one flagged in the stress test. The proof of Theorem 1 says 'Corollary 1 of Ref. [1] implies...' for monotonicity under temporal coarse-graining. Ref. [1] is precisely the paper whose trace-preservation assumption was faulty, and no re-derivation is given. That is load-bearing as written. However, I believe a direct argument repairs it: in IQI, any free superprocess on the coarse-grained set can be lifted to a free superprocess on the full set by acting as identity on the removed times, which gives the needed monotonicity for any non-negative function, without relying on the broken corollary. So the claim is very likely true, but the manuscript has an incomplete proof and a referee should ask for the direct version. Other issues are minor: compactness of the superprocess set is assumed without proof, the composition arguments could state why free processes have zero monotone value more carefully, and the numerical section is heuristic by the authors' own admission. None of these undermine the central correction. This deserves a serious referee. It fixes an error that had contaminated earlier conclusions, and it provides usable monotones for a small but active subfield. I would recommend conditional acceptance after the proof gap is closed, ideally with a short direct proof of monotonicity under coarse-graining rather than a citation to the flawed predecessor.","headline":"Honest correction of a real error, with a mostly sound fix, but the main theorem's proof cites the flawed predecessor instead of giving a direct argument; still worthy of peer review.","tokens_in":582,"tokens_out":882,"would_cite":true,"duration_ms":59463,"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":"The paper defines new resource quantifiers, called irreversibility monotones, and proves they are valid monotones for the resource theory underlying dynamical decoupling, restoring the earlier conclusions about DD as temporal resource…","keywords":["dynamical decoupling","resource theories","process tensors","monotones","non-Markovianity","temporal coarse-graining","comb divergences","quantum channels"],"falsifier":"For a concrete test, take a process tensor T_n with n = 3 intermediate times, apply the MODD and standard DD superprocesses as in Fig. 4d, and compute I_m, M_m, and N_m directly (with the supremum over superprocesses) for the coarse-grained m = 3-step processes. If the ordering MODD above DD for I_m and M_m but below for N_m does not hold, the reinterpretation of the numerical results fails. More fundamentally, exhibiting any process T and free transformation Z in IQI for which I_m([[T|Z]]) > I_m(T) would falsify Theorem 1.","tokens_in":9281,"feed_emoji":"⚛️","tokens_out":3044,"duration_ms":27662,"temperature":0.7,"pith_summary":"This letter corrects a flaw in an earlier resource-theoretic treatment of dynamical decoupling: the quantifiers I, M, and N used there are not monotones under the allowed free transformations. The authors introduce modified quantifiers I_m, M_m, and N_m, defined as suprema of the original quantities over all allowed superprocesses followed by temporal coarse-graining, and prove these are true monotones for the resource theory of independent quantum instruments. They also prove a subadditivity relation resembling the old additivity law, and show the new quantifiers are special cases of reachable comb divergences. Reinterpreting previous numerical work with the new monotones preserves the original physical conclusions: dynamical decoupling acts as temporal resource distillation, and better noise reduction coincides with greater consumption of the non-Markovianity monotone. The significance is that quantitative resource claims about DD can now rest on measures that provably decrease under free operations.","feed_headline":"New proven monotones fix resource theory of decoupling","feed_subtitle":"Optimized versions of old non-monotone measures confirm that dynamical decoupling consumes non-Markovianity to distill resources.","key_machinery":"The central object is the irreversibility monotone family, defined by optimizing the old Choi-divergence quantifiers I, M, N over all free superprocesses Z ∈ Z_nn before applying temporal coarse-graining I_{n\\m}. The optimization itself is what enforces monotonicity: any subsequent free transformation can be absorbed into the supremum, so the value cannot increase. The paper also uses the reachable comb divergence, D_reach(T||R) = sup over reachable control combs of the relative entropy between the resulting channels, to give an operational interpretation: the irreversibility monotones are generalized comb divergences with the supremum restricted to reachable combs rather than arbitrary ones. The subadditivity proof exploits the fact that the optimizing superprocesses for M_m and N_m need not coincide, turning the old additivity identity into an inequality.","core_discovery":"The central claim is that for any subset m of the time indices n, the functions I_m(T_n) = sup_{Z ∈ Z_nn} I([[T_n|Z|I_{n\\m}]]), and analogously M_m and N_m, are monotones under the free transformations of the IQI resource theory, provided the free superprocess set Z_nn is compact. Here I_{n\\m} denotes temporal coarse-graining from times n to times m, so each quantifier measures the highest value of the old Choi divergence that can be obtained by acting with a free superprocess before coarse-graining. The proof splits monotonicity into invariance under step-preserving superprocesses and a separate appeal to Corollary 1 of the earlier paper for temporal coarse-graining. The letter further proves the subadditivity bound I_m(T_n) ≤ M_m(T_n) + N_m(T_n), shows sequential and parallel composition with free processes leave I_m invariant, and establishes that each irreversibility monotone is a reachable comb divergence in the sense of generalized comb divergences. The empirical reinterpretation asserts that the earlier numerical results, though computed with the non-monotone I, M, N, remain qualitatively correct when read as proxies for the new monotones.","pith_inferences":["If the new monotones are accepted, the same optimization trick could repair other resource quantifiers that fail monotonicity because of trace-preservation violations, by defining suprema over allowed operations before the offending step.","The reachable-comb-divergence interpretation suggests a direct computational route to the new monotones: instead of optimizing over superprocesses, one can optimize over control combs, which may be more tractable in numerical search.","A natural testable extension is to compute I_m, M_m, and N_m directly (rather than via the old proxies) in the MODD and DD simulations, and check whether the qualitative ordering of Fig. 4d is reproduced; the paper asserts this heuristic but does not perform the direct computation.","The proof's reliance on Corollary 1 of the earlier paper means the result is only as solid as that corollary; re-deriving monotonicity under temporal coarse-graining without the faulty trace-preservation assumption would close the remaining gap."],"forward_implications":["The resource quantifiers I_m, M_m, and N_m can replace the non-monotone I, M, and N in any analysis of dynamical decoupling within the IQI framework, making quantitative statements about resource expenditure rigorous.","The subadditivity relation I_m ≤ M_m + N_m means that total temporal correlations are bounded by the sum of Markovian and non-Markovian shares, a weaker but still useful constraint when the two contributions are optimized by different protocols.","The equivalence with reachable comb divergences gives an operational meaning to those divergences: they quantify the best distinguishability achievable under the free operations of the resource theory.","The numerical conclusions of the original paper stand: MODD outperforms standard DD at long times, and protocols that achieve higher Markovian information expend more of the non-Markovianity monotone.","Sequential and parallel composition with free processes do not change the value of I_m, meaning the monotone is stable under adding free temporal subsystems."],"supporting_citations":[{"why":"The earlier paper by the same authors that introduced the IQI resource theory framework, defined I, M, N, and supplied Corollary 1 on which the monotonicity under temporal coarse-graining in Theorem 1 depends.","marker":"[1]"},{"why":"Provides the process tensor formalism used to represent multitime quantum processes as Choi states, the objects to which the resource quantifiers apply.","marker":"[7]"},{"why":"Shows that I, M, N are not monotones in IQI, motivating the new monotones, and introduces the generalized comb divergences of which the irreversibility monotones are shown to be special cases.","marker":"[8]"},{"why":"Establishes the earlier resource theory framework for multitime processes that the IQI theory extends, providing the conceptual basis for temporal coarse-graining and free transformations.","marker":"[6]"},{"why":"Supplies the general definition of quantum resource theories and monotones that the paper relies on to state what it means for the new quantifiers to be valid.","marker":"[5]"}],"fun_headline_variants":["Proven monotones correct decoupling resource theory","Monotonic measures for dynamical decoupling resources","Resource theory of decoupling gets working monotones","Corrected monotones for decoupling resource theories","New monotones restore decoupling resource framework"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof that the new monotones decrease under temporal coarse-graining relies on Corollary 1 of the earlier paper, which was derived under the same faulty trace-preservation assumption this letter corrects and is not re-derived here.","fun_headline_variants_meta":{"raw":{"variants":["Proven monotones correct decoupling resource theory","Monotonic measures for dynamical decoupling resources","Resource theory of decoupling gets working monotones","Corrected monotones for decoupling resource theories","New monotones restore decoupling resource framework"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000206,"raw_usage":{"total_tokens":1400,"prompt_tokens":951,"completion_tokens":449,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":567,"completion_tokens_details":{"reasoning_tokens":379}},"tokens_in":567,"tokens_out":449,"duration_ms":4254,"temperature":1.0,"reasoning_tokens":379,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T14:46:57.627165+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a concrete test, take a process tensor T_n with n = 3 intermediate times, apply the MODD and standard DD superprocesses as in Fig. 4d, and compute I_m, M_m, and N_m directly (with the supremum over superprocesses) for the coarse-grained m = 3-step processes. If the ordering MODD above DD for I_m and M_m but below for N_m does not hold, the reinterpretation of the numerical results fails. More fundamentally, exhibiting any process T and free transformation Z in IQI for which I_m([[T|Z]]) > I_m(T) would falsify Theorem 1.","supporting_citations":[{"cited_title":"Extracting Quantum Dynamical Resources: Consumption of Non-Markovianity for Noise Reduction","cited_arxiv_id":"2110.02613","evidence_quote":"The earlier paper by the same authors that introduced the IQI resource theory framework, defined I, M, N, and supplied Corollary 1 on which the monotonicity under temporal coarse-graining in Theorem 1 depends."},{"cited_title":"Process tensor distinguishability measures","cited_arxiv_id":"2407.15712","evidence_quote":"Shows that I, M, N are not monotones in IQI, motivating the new monotones, and introduces the generalized comb divergences of which the irreversibility monotones are shown to be special cases."},{"cited_title":"Resource theories of multi-time processes: A window into quantum non-Markovianity","cited_arxiv_id":"1907.07003","evidence_quote":"Establishes the earlier resource theory framework for multitime processes that the IQI theory extends, providing the conceptual basis for temporal coarse-graining and free transformations."}],"review_version":1}