{"id":"5344956c-853c-4ce0-b594-b327c50e15c3","arxiv_id":"2608.05753","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Redundant records of an event create an exact work asymmetry between local and global controllers, equal to kBT times the source-loss information sum.","lead":"A physicist shows that when the same event is recorded in many separate places, the extra thermodynamic cost of erasing those records one by one instead of all together is exactly proportional to a known information measure called the partition total correlation. Subtracting a version that knows the event label gives a signed work value that separates objective broadcasting from secret sharing, and could be measured in existing quantum-information experiments.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Catalytic side-information cost assumption in Section III.C is load-bearing: Eq. (19) holds only if supplying X to local and global controllers costs the same; no protocol guarantees this, and quantum sources cannot be copied.","rationale":"After full review, the central identity Eq. (19) is algebraically correct given the operational definitions in Section III. The decomposition T_P(F) = A_P^X + T_P(F|X) is standard, and the thermodynamic derivation in Appendix B is clean. The endpoint bounds and rigidity theorems follow from data processing. The numerical stress tests add confidence. The only load-bearing assumption I find is the catalytic treatment of X as classical side information with identical supply cost in the local and global comparisons. This is stated explicitly but not operationalized: no protocol is given that guarantees equalization, and the no-broadcasting theorem prevents extension to quantum sources. If the supply cost is nonzero and differs between architectures, Eq. (19) acquires an extra term. This is a genuine limitation but not a refutation; the paper is honest about it. The reader's weakest_assumption identifies exactly this point, and I agree. Therefore the verdict remains CONDITIONAL, and since my read does not change the reader's verdict, I recommend UNCHANGED.","tokens_in":15301,"tokens_out":20646,"duration_ms":183726,"concrete_test":"Construct a simple model: one classical bit X with uniform prior, R perfect records, and a copy operation that costs gamma Joules per copy into a fresh blank. Compute the total work of the four protocols including copy preparation/distribution, with m copies for the local protocol and 1 copy for the global protocol as initially defined. Show the double difference equals k_B T (R-1) ln 2 + (m-1) gamma. Then repeat with m copies supplied to the global controller; show the extra term vanishes and Eq. (19) is recovered. This settles whether the catalytic assumption is necessary and sufficient for the law to hold when side-information costs are non-negligible.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The source-loss law Eq. (19) is an exact algebraic consequence of the operational definitions in Section III, but its physical content rests on the catalytic assumption stated in Section III.C and Section XI: the event label X is supplied as classical side information whose preparation, copying, and distribution cost is identical for the partition-local and global protocols, and whose copies are returned unchanged. If supplying X to m separate block controllers requires m copies while the global controller needs only one, and if copying or distributing X carries a nonzero work cost gamma per copy, then the double difference G∅ - GX contains an uncanceled term proportional to (m-1)gamma, so the equality with k_B T [sum I(X:F_B) - I(X:F)] fails. The paper does not provide a concrete protocol that equalizes this cost; it merely asserts that the same set of copies is used. Moreover, for a genuinely quantum source, exact catalytic copying is forbidden by the no-broadcasting theorem (Proposition 6), so the law cannot be extended to noncommuting source ensembles. This is not an internal inconsistency, but it is the weakest point in the central claim because it determines whether Eq. (19) is a physical law or a convention-dependent identity.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies the thermodynamics of redundant records in quantum Darwinism. For a classical event label X with a cq record cloud F and a partition P into independently controllable blocks, it compares four reversible isothermal reset tasks: global versus partition-local erasure, each with and without X supplied as catalytic classical side information. The main result is the source-loss law F^T_P(X)=k_B T [sum_B I(X:F_B)-I(X:F)], obtained by subtracting the source-assisted locality gap from the unassisted one. The paper proves sharp bounds identifying broadcast objectivity, unique storage, and secret sharing as the two endpoints and one interior point of a single signed charge, derives Landauer–Darwin lower bounds, endpoint-rigidity certificates, growth and refinement chain rules, interaction-Hamiltonian corrections with a Pinsker refinement, continuity bounds, closed-form classical and quantum collision models, and an experimental protocol. A claim map in the introduction separates exact results from the explicitly conjectural pointer-selection proposal.","tokens_in":15533,"tokens_out":11820,"duration_ms":103233,"significance":"The central contribution is a clean, parameter-free thermodynamic identity that assigns an exact work asymmetry to the architecture of redundant evidence. If the operational assumptions are accepted, Eq. (19) is a genuine law of the stated reset model, with concrete predictions (Eqs. (42), (45), (47)) and no fitted constants. The paper is unusually careful about the status of its claims: the claim map labels pointer selection and causal sealing as conjectural, the limitations section is explicit about the catalytic side-information idealization, and all algebraic identities were stress-tested numerically with a reproducible archive. The endpoint-rigidity certificate (Theorem 5) and the interaction corrections (Theorems 8–9) go beyond a bare information identity and strengthen the paper. The main open risk is operational rather than algebraic: whether the side-information distribution cost can be made to cancel as the manuscript asserts.","major_comments":[{"comment":"The displayed inequality G^∅_P/k_B T >= [R(1−δ)−1] + H(X) is not implied by the accompanying proof. From T_P(F) = A^P_X(F) + T_P(F|X) with T_P(F|X) >= 0 and T_P(F) >= 0, one obtains only G^∅_P/k_B T >= max{0, [R(1−δ)−1]H(X)}; the argument in Appendix C ('T = A + T(·|X) >= A and T >= 0') never produces the additive H(X) term. The sentence about the positive part suggests the intended bound may be max{0, [R(1−δ)−1]H(X)}. Please correct Eq. (28) and the appendix proof so that the displayed bound follows from the stated inequalities.","section":"Section IV, Eq. (28), and Appendix C"},{"comment":"The source-loss law (19) rests on the assumption that the same set of classical control copies is supplied to the partition-local and global controllers and that copying, fanout, or distribution of X carries no differential work cost. The manuscript asserts this but does not supply a protocol that realizes it. If supplying X to m separate block controllers requires m copies while the global controller needs one, and if each copy or distribution step costs gamma, the double difference contains an uncanceled (m−1)gamma term and Eq. (19) fails. Because this is the central claim, please either exhibit a concrete reversible classical fanout protocol with the side-channel cost included and shown to cancel, or state the law with an explicit side-channel correction term and the conditions under which it vanishes.","section":"Section III.C, Eqs. (16)–(18), and Section XI"}],"minor_comments":[{"comment":"The notation for the main quantity is inconsistent: Eq. (19) writes F^T_P(X:F), while Eq. (56) and much of the text write F^T_P(X). Choose one notation and define it once near Eq. (1).","section":"Throughout"},{"comment":"The caption uses ΔW_P/(k_B T ln 2) while the text and Theorem 2 use G^∅_P; unify the symbols in the figure and the main text.","section":"Figure 2"},{"comment":"After correcting Eq. (28), the final sentence of the appendix proof should state explicitly how the corrected inequality follows from T = A + T(·|X) and T >= 0, rather than citing the uncorrected equation.","section":"Appendix C"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is well within the scope of a quantum-information or quantum-thermodynamics journal, and the algebraic core is sound. The main editorial risk is that the headline 'thermodynamic law' is presented as a physical law even though its content depends on a side-information cost convention; the authors should be asked to address this head-on with a concrete protocol or an explicit correction term. The error in Eq. (28) is local and fixable, but it must not remain as printed. The numerical stress tests and the explicit claim map are strengths and should be preserved in revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real result, but it is narrower than the title suggests, and one of its displayed equations has a typo. The central identity is an elementary double difference of free energies, and the paper is honest that the unconditioned half is known work-deficit. What is new—the source-conditioned subtraction, the endpoint-rigidity identities, the Landauer–Darwin bounds, and the closed-form collision models—is correctly derived and clearly separated from conjecture. I checked Appendix B; the algebra is exact, and the numerical checks are a good guard against implementation errors.\n\nThe soft spots are real but not fatal. The load-bearing assumption is in Section III.C: the event label X is supplied catalytically, with the same set of copies to both local and global controllers. The paper asserts this costs the same across comparisons but does not give a physically concrete protocol that equalizes fanout and distribution costs. If a partition-local controller needs m copies while the global one needs one, the double difference picks up an uncancelled (m−1)γ, and Eq. (19) fails. For a classical source this is at least plausibly implementable with a single classical control line, but the paper's wording \"must be kept identical\" is a condition, not a procedure. The law does not extend to noncommuting quantum sources; the paper's own Proposition 6 says exactly that, so that is not a flaw.\n\nSecond, Eq. (28) as printed is wrong. For perfect broadcast with R blocks, the right-hand side should be (R−1)H(X) in nats, not (R−1)+H(X); as written it contradicts Eq. (32). The surrounding text mentions a \"positive part,\" so this is likely a typesetting issue rather than a conceptual one, but it needs fixing. Third, the reproducibility appendix says an archive exists but gives no URL or hash. Minor.\n\nThe citation pattern is fair: the paper explicitly cedes Eq. (15) to earlier work-deficit results, and there is no self-citation. No fitted parameters appear anywhere.\n\nWho should read this: quantum-foundations and quantum-thermodynamics people working on quantum Darwinism. It gives a measurable coordinate (the thermodynamic record number) that cleanly separates broadcast, unique storage, and secret sharing. It is not a paradigm shift, but it is a useful diagnostic.\n\nRecommendation: send it to a serious referee. With Eq. (28) fixed and a more careful operational account of the side-information cost, it would be publishable in a good quantum-information journal.","headline":"A clean, exact thermodynamic double difference for objective records—real but narrower than the title, with one fixable typo and one load-bearing catalytic-side-information assumption.","tokens_in":16037,"tokens_out":4334,"would_cite":true,"duration_ms":37481,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["03.65.Ta","05.70.-a"],"model":"deepseek-v4-flash","headline":"Redundant records of an event create an exact thermodynamic work asymmetry between local and global controllers, quantified by the source-loss law…","keywords":["quantum Darwinism","objective facts","thermodynamic factuality charge","locality gap","total correlation","secret sharing","no-broadcasting","Landauer erasure"],"falsifier":"Prepare a three-qubit register in the classical mixture of $|000\\rangle$ and $|111\\rangle$, and measure the quasistatic isothermal work to reset the register per qubit versus globally, with and without the classical bit $X$ available as side information; the theory predicts the double difference is exactly $2k_{\\mathrm{B}}T\\ln 2$ for singleton blocks, and any measured dependence on the cost of distributing $X$ to the separate resetters would show that the side-information channel, not the record architecture, is carrying the effect.","tokens_in":15051,"feed_emoji":"🌡️","tokens_out":10658,"duration_ms":85873,"temperature":0.7,"pith_summary":"This paper tries to establish that redundant objective records---the same event value imprinted in many environment fragments---are not thermodynamically inert copies but a measurable work asymmetry between controllers with different access to the records. It derives an exact source-loss law: the reversible isothermal erasure penalty of a partition-local controller relative to a global controller, with the event label $X$ supplied as catalytic classical side information, equals $k_{\\mathrm{B}}T$ times the excess of summed blockwise mutual informations over the joint mutual information. That single signed quantity, called the thermodynamic factuality charge, ranges from $-k_{\\mathrm{B}}T H(X)$ for perfect secret sharing through zero for unique storage to $(|\\mathcal{P}|-1)k_{\\mathrm{B}}T H(X)$ for perfect broadcast objectivity. If correct, it gives objectivity a thermodynamic meaning---a thermodynamically public fact is a classical variable independently decodable from several record blocks---and yields quantitative Landauer-scale bounds on the erasure cost of redundant records.","feed_headline":"Redundant records create a measurable thermodynamic gap","feed_subtitle":"A single signed work cost places broadcast objectivity, unique storage, and secret sharing on one axis.","key_machinery":"The carrying object is the thermodynamic locality gap: the difference between the minimum work to reset a record cloud by erasing each block independently and the minimum work to reset the whole cloud with global reversible control, $G^{\\varnothing}_{\\mathcal{P}}=k_{\\mathrm{B}}T\\,T_{\\mathcal{P}}(F)$, where $T_{\\mathcal{P}}(F)=\\sum_{B\\in\\mathcal{P}}S(F_B)-S(F)$ is the partition total correlation. The source-loss law is obtained by repeating both resets with the event label $X$ supplied as catalytic classical side information, giving $G^{X}_{\\mathcal{P}}=k_{\\mathrm{B}}T\\,T_{\\mathcal{P}}(F|X)$, and subtracting: $\\mathcal{F}^{T}_{\\mathcal{P}}(X)=G^{\\varnothing}_{\\mathcal{P}}-G^{X}_{\\mathcal{P}}=k_{\\mathrm{B}}T[\\sum_{B\\in\\mathcal{P}}I(X{:}F_B)-I(X{:}F)]$. What makes the construction work is the subtraction: it cancels the nonnegative conditional background $T_{\\mathcal{P}}(F|X)$ and isolates the signed, event-specific architecture charge $A^{\\mathcal{P}}_{X}(F)$, turning a correlation measure into a quantity whose endpoints are broadcast objectivity and secret sharing.","core_discovery":"The central claim is the source-loss law of factuality, Eq. (19): for a classical--quantum record cloud $\\rho_{XF}=\\sum_x p_x |x\\rangle\\langle x|\\otimes \\rho_{F|x}$ and a partition $\\mathcal{P}$ into independently controllable blocks, the difference between the unconditioned locality gap $G^{\\varnothing}_{\\mathcal{P}}$ and the source-assisted gap $G^{X}_{\\mathcal{P}}$ is exactly $\\mathcal{F}^{T}_{\\mathcal{P}}(X)=k_{\\mathrm{B}}T[\\sum_{B\\in\\mathcal{P}} I(X{:}F_B)-I(X{:}F)]$. The author proves this from reversible isothermal reset free-energy differences with an additive block Hamiltonian, using the decomposition $T_{\\mathcal{P}}(F)=A^{\\mathcal{P}}_{X}(F)+T_{\\mathcal{P}}(F|X)$ that splits total correlation into event-attributable and conditional-background parts. The charge obeys sharp bounds $-k_{\\mathrm{B}}T H(X)\\leq \\mathcal{F}^{T}_{\\mathcal{P}}(X)\\leq (|\\mathcal{P}|-1)k_{\\mathrm{B}}T H(X)$ with endpoint rigidity: near the broadcast ceiling every block must be an almost complete record, while near the secret-sharing floor every block is almost ignorant even though the union is almost complete. The paper also derives Landauer--Darwin bounds from independently decodable records, exact growth and partition-refinement laws, a continuity certificate, and closed formulas for noisy classical and quantum collision models, and it shows that maximal positive factuality requires orthogonal conditional record states, which by no-broadcasting is possible only for a classical commuting pointer variable.","pith_inferences":["An extension the author leaves open: the factuality charge could serve as a thermodynamic witness for the emergence of classicality in mesoscopic devices, since it becomes large only when records acquire orthogonal conditional supports; measuring it across a decoherence crossover may track broadcast structure without full tomography.","The no-broadcasting connection suggests replacing the classical label $X$ by a quantum reference and using Holevo quantities of restricted ensembles; the resulting double difference would quantify the thermodynamic penalty of noncommuting records and might link the factuality charge to quantum discord.","Because the identity relies on identical side-information cost across the two architectures, an experimental protocol should separately calibrate the cost of distributing $X$ to block controllers; if that cost is varied and the measured double difference shifts, the source-loss interpretation rather than the algebraic identity is what is being tested.","The causal-sealing barrier, which the author flags as conjectural, could be tested in lattice systems with Lieb--Robinson cones by checking whether the infimum over causally reachable partitions of $\\mathcal{F}^{T}_{\\mathcal{P}}(X)$ stays positive; that would give a concrete order parameter for apparent irreversibility."],"forward_implications":["If the law holds, a cloud of $R$ perfect copies of one bit has a locality gap of $(R-1)k_{\\mathrm{B}}T\\ln 2$, so every independently controllable record after the first costs exactly one Landauer unit of extra reversible work to a partition-local controller.","Independent decodability of $R$ fragments with information deficit $\\delta$ forces the factuality charge to be at least $k_{\\mathrm{B}}T[R(1-\\delta)-1]H(X)$, a quantitative thermodynamic version of Darwinian redundancy.","Perfect secret sharing saturates the lower endpoint at $-k_{\\mathrm{B}}TH(X)$ and unique storage gives zero, although zero can also arise from exact cancellation between redundant and synergistic structure.","Maximal positive factuality forces orthogonal conditional record states on every block, so the saturating variable must be classical; by no-broadcasting, an arbitrary noncommuting quantum source cannot supply the catalytic side-information baseline in the same way.","The theory does not modify quantum mechanics or introduce collapse; it predicts a four-work double difference that can be measured in quasistatic isothermal erasure experiments on prepared record clouds."],"supporting_citations":[{"why":"Supplies the quantum-Darwinism notion of redundant independent records that the paper turns into a thermodynamic asymmetry.","marker":"[2]"},{"why":"Defines the partition total correlation $T_{\\mathcal{P}}(F)$ that appears in the locality-gap law.","marker":"[32]"},{"why":"Establishes the local-global work deficit for correlated states, the precedent for the locality gap baseline.","marker":"[24]"},{"why":"Landauer's principle sets the bit-erasure cost $k_{\\mathrm{B}}T\\ln 2$ that the broadcast endpoint saturates per extra record.","marker":"[14]"},{"why":"Quantifies modularity dissipation, the partition-local erasure cost that the paper specializes to record clouds.","marker":"[27]"},{"why":"No-broadcasting theorem shows the catalytic classical side-information baseline cannot be extended to noncommuting quantum sources.","marker":"[36]"},{"why":"Provides spectrum broadcast structure as the objectivity condition whose endpoint the factuality charge saturates.","marker":"[7]"},{"why":"Fano's inequality is used to turn per-block decoding errors into the Landauer--Darwin work bound.","marker":"[35]"}],"fun_headline_variants":["Factuality charge: a single work cost for objectivity","Thermodynamics tells how objective a fact is","Erasure cost reveals the factuality of records","One work axis ties secret sharing to broadcast","Locality gap sets the price of objective facts"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the event label $X$ is catalytic classical side information whose preparation, copying, and distribution cost is identical for partition-local and global controllers, so that cost cancels in the double difference; the law does not follow if fanning $X$ out to separate blocks is more expensive than handing it to one global controller, or if $X$ cannot be copied exactly because the source is quantum and noncommuting.","fun_headline_variants_meta":{"raw":{"variants":["Factuality charge: a single work cost for objectivity","Thermodynamics tells how objective a fact is","Erasure cost reveals the factuality of records","One work axis ties secret sharing to broadcast","Locality gap sets the price of objective facts"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000505,"raw_usage":{"total_tokens":2563,"prompt_tokens":1146,"completion_tokens":1417,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":762,"completion_tokens_details":{"reasoning_tokens":1345}},"tokens_in":762,"tokens_out":1417,"duration_ms":10413,"temperature":1.0,"reasoning_tokens":1345,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T00:07:08.699785+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Prepare a three-qubit register in the classical mixture of $|000\\rangle$ and $|111\\rangle$, and measure the quasistatic isothermal work to reset the register per qubit versus globally, with and without the classical bit $X$ available as side information; the theory predicts the double difference is exactly $2k_{\\mathrm{B}}T\\ln 2$ for singleton blocks, and any measured dependence on the cost of distributing $X$ to the separate resetters would show that the side-information channel, not the record architecture, is carrying the effect.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the quantum-Darwinism notion of redundant independent records that the paper turns into a thermodynamic asymmetry."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the partition total correlation $T_{\\mathcal{P}}(F)$ that appears in the locality-gap law."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Landauer's principle sets the bit-erasure cost $k_{\\mathrm{B}}T\\ln 2$ that the broadcast endpoint saturates per extra record."},{"cited_title":"Faist and R","cited_arxiv_id":null,"evidence_quote":"Quantifies modularity dissipation, the partition-local erasure cost that the paper specializes to record clouds."},{"cited_title":"Watanabe, Information theoretical analysis of multivariate correlation, IBM Journal of Research and Development4, 66 (1960)","cited_arxiv_id":null,"evidence_quote":"No-broadcasting theorem shows the catalytic classical side-information baseline cannot be extended to noncommuting quantum sources."},{"cited_title":"Blume-Kohout and W","cited_arxiv_id":null,"evidence_quote":"Provides spectrum broadcast structure as the objectivity condition whose endpoint the factuality charge saturates."}],"review_version":1}