{"id":"bac8e929-5b9c-464e-953b-5d9f082cc172","arxiv_id":"2511.00910","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"An irreducible quantum channel satisfies quantum detailed balance iff it can be realized by an informationally complete instrument whose repeated-measurement statistics has zero entropy production rate.","lead":"This paper proves that, for an irreducible quantum channel, the KMS quantum detailed balance condition is equivalent to the existence of an informationally complete measurement process with zero entropy production. It gives a rigorous statistical-mechanics characterization of quantum equilibrium for repeated measurements.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: central equivalence is sound; implementable reversal is a clearly stated part of Theorem 1.7, not a hidden flaw.","rationale":"The central equivalence is carefully proved and internally consistent. The implementable-reversal condition is a scoping condition, but it is not a vulnerability because the forward direction proves existence of an implementable θ for every QDB channel; hence the 'there exists' characterization is not weakened. The converse explicitly requires implementability, and the paper does not claim a non-implementable converse. The reader's weakest-assumption reasoning is partially undermined by citing the C^3 remark, which concerns omission of informational completeness, not implementability. The most substantive presentational gap is in Theorem 2.2's POVM construction: as written, the total mass is 1/2(1_E+P_V) unless E_V=E; choosing a minimal Stinespring dilation repairs this, as Proposition 1.5 and Remark 4 of Definition 4.7 allow. The typo in Proposition 3.9 is also local. These do not change the verdict: the paper's main theorem is well supported, with no need for rejection or conditional acceptance.","tokens_in":33776,"tokens_out":33689,"duration_ms":327964,"concrete_test":"Verify the §4.8 construction with a minimal Stinespring dilation: choose (E,V) minimal so that E_V=E, then recompute M({1}×A')+M({-1}×A') = 1_E and check M∘θ = S^* M S; this confirms M is an IC-POVM. For a non-minimal E the total is 1/2(1_E+P_V), which would violate POVM normalization, so the proof must explicitly restrict to minimal dilations, as Proposition 1.5 permits.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I find no load-bearing concern. The central claim is exactly Theorem 1.7, which includes the implementable-reversal hypothesis. This is not a hidden extra assumption: in the (QDB)=>(...) direction, Theorem 2.2 constructs an informationally complete instrument and an implementable θ from the operator S of Lemma 4.9; in the converse direction, implementability of θ is used in Theorem 2.3 to lift bP=P to the instrument level via the PGFCS uniqueness Theorem 4.11. The reader's reference to the C^3 remark after Theorem 2.3 is slightly misread: that remark shows only that informational completeness cannot be omitted from (ii)=>(i); it does not demonstrate failure when implementability is dropped. The stated limitations—irreducibility, faithful invariant state, KMS inner product—are all explicit. The two local issues noted by the reader (the display in Prop. 3.9 missing the exponent a, and the POVM construction in §4.8 requiring a minimal dilation with E_V=E) are real but repairable; they do not affect the statement or the main chain of reasoning in Theorem 1.7.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper continues the authors' program on entropy production in repeated quantum measurements. It defines an instrumental quantum detailed balance condition (IQDB) for (Φ,A)-instruments and proves the main theorem (Theorem 1.7): for an irreducible quantum channel Φ∈CP1(H) with faithful invariant state ρ, the KMS quantum detailed balance condition (QDB) holds iff there exists an informationally complete (Φ,A)-instrument J and an implementable local reversal θ such that the associated entropy production rate ep(J,ρ,θ) vanishes. The proof is organized through Theorem 2.2 (QDB iff existence of an informationally complete IQDB instrument) and Theorem 2.3 (relating IQDB to time-reversal invariance and vanishing entropy production). Section 3 analyzes the structure of admissible operators J and the possible values of η, including explicit examples showing that anti-unitary J, η≠1, and J²≠1 are sometimes unavoidable. Section 4 contains the detailed proofs, including a generalization of the FNW purely generated finitely correlated state uniqueness theorem.","tokens_in":33996,"tokens_out":6400,"duration_ms":72938,"significance":"If the result holds, it gives a clean operational characterization of KMS quantum detailed balance: a channel is detailed balanced exactly when one can find an informationally complete measurement protocol whose repeated-outcome statistics have zero entropy production rate. The equivalence is non-formal: QDB and the entropy production rate are defined independently, and the proof supplies the bridge through informationally complete instruments and implementable time reversals. The paper is careful about its assumptions—irreducibility, faithful invariant state, and implementability of the reversal are all stated explicitly and used in the proof. The detailed examples in Section 3 are a genuine strength: they show that several simplifications (unitary J, η=1, J²=1) are impossible in general, thereby justifying the generality of Definition 1.1. The proofs are generally careful and self-contained, and the extension of the FNW/GK15 uniqueness theorem for purely generated finitely correlated states is of independent interest.","major_comments":[],"minor_comments":[{"comment":"The displayed condition in Proposition 3.9 appears to have a typographical error: the right-hand side should be ζ η^a, not ζ η_a. The proof in Section 3.2 derives θ_a = ζ η^a, and the statement should match.","section":"Proposition 3.9"},{"comment":"In the construction of the POVM M from N, the total M(A) equals 1/2(N(A') + S*N(A')S), which acts as P_V on E if S is treated as a partial isometry on E_V extended by zero. Thus M(A) is not the identity on E unless E_V=E. This is a local gap, but it is easily repaired: since S_{V,O} depends only on P_V O P_V (Remark 4 after Definition 4.7), one can take N to be an IC-POVM on E_V and regard M as a POVM on E_V. The authors should clarify this point.","section":"Section 4.8, proof of Theorem 2.2"},{"comment":"The remark states that the implication (ii)⇒(i) can fail on H=C^3 when informational completeness is omitted, but no construction or reference is given. Since the failure of this implication is relevant to the sharpness of Theorem 2.3, a sentence indicating the example or a pointer to a companion paper would be helpful.","section":"Remark after Theorem 2.3"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe short version: this is a solid paper. It proves a genuine equivalence — KMS quantum detailed balance for an irreducible channel Φ iff there exists an informationally complete instrument whose repeated-measurement statistics have zero entropy production rate (Theorem 1.7). That is a clean operational characterization, and it is new: previous work by the same group built the framework, and Fagnola–Rebolledo got partial results, but the full equivalence and the informationally complete instrument device are not in the literature.\n\nThe paper does several things well. The entropy production is defined purely statistically, so the equivalence is derived, not assumed. Theorem 2.2 constructs an informationally complete instrument with instrumental detailed balance from QDB; Theorem 2.3 lifts equality of the statistics back to the instrument level via a uniqueness theorem for purely generated finitely correlated states. The proofs are long but careful. Section 3 gives genuinely useful structural constraints: anti-unitary J can be necessary, η ≠ 1 occurs, J² ≠ 1 occurs — with explicit families of channels. The citation pattern is correct: the new result is clearly distinguished from the prior framework and from [FR15].\n\nSoft spots are minor. There is a typo in Proposition 3.9's display (the condition should involve η^a rather than η_a); the proof makes the intended formula clear. The construction of the POVM M in the proof of Theorem 2.2 works on the minimal subspace E_V and the paper gives the repair in Remark 4 after Definition 4.7, but the reader has to assemble it themselves. The implementable-reversal hypothesis in Theorem 1.7 is explicitly part of the statement, not a hidden assumption; the remark after Theorem 2.3 (the C^3 example) only shows that informational completeness cannot be omitted, not that implementability fails. I did not find a load-bearing flaw.\n\nFor whom: anyone working on quantum detailed balance, repeated-measurement entropy production, or quantum thermodynamics. It is a mathematical paper; the payoff is conceptual and the proofs are checkable. I would cite it if I worked in that area. It is long, so bring it to a reading group only if the group has the appetite for 43 pages; the introduction and Section 2 give the core.\n\nRecommendation: this deserves a serious referee. Send it to peer review. The referee should verify the PGFCS uniqueness argument and the anti-unitary case in Section 3, but this is not a desk-reject.","headline":"A careful, novel equivalence between KMS detailed balance and zero entropy production via informationally complete instruments; minor blemishes only.","tokens_in":34553,"tokens_out":3156,"would_cite":true,"duration_ms":32686,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P15","81P16","46L55","82B10"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that an irreducible quantum channel is in equilibrium — satisfies the KMS quantum detailed balance condition — exactly when there is an informationally complete measurement whose repeated-outcome statistics produce zero en","keywords":["quantum detailed balance","KMS condition","entropy production","repeated quantum measurements","quantum instruments","informationally complete POVM","time reversal","irreducible quantum channels"],"falsifier":"Exhibit an irreducible quantum channel with an informationally complete instrument and an implementable local reversal whose entropy production rate vanishes while the channel fails the KMS detailed balance condition; Theorem 1.7 declares this impossible. A natural starting point is the C^3 example noted after Theorem 2.3, where the implication from time-reversal invariance to instrument-level detailed balance fails without informational completeness — the test is whether adding informational completeness preserves implementability while keeping ep = 0.","tokens_in":33626,"feed_emoji":"⚛️","tokens_out":5621,"duration_ms":66716,"temperature":0.7,"pith_summary":"For a quantum channel probed by repeated measurements, the paper characterises equilibrium as a property of the measured statistics rather than of the channel alone. Its main theorem says an irreducible channel with a faithful stationary state satisfies the KMS quantum detailed balance condition if and only if there exists an informationally complete instrument, together with an implementable local reversal of outcomes, for which the long-run entropy production rate is zero. In other words, equilibrium is exactly the absence of a statistical arrow of time in a complete set of measurement outcomes. The proof proceeds through two intermediate equivalences: channel-level detailed balance is equivalent to instrument-level detailed balance, and, under irreducibility, time-reversal invariance of the statistics is equivalent to vanishing entropy production. This unifies the classical ideas that detailed balance and zero entropy production both characterise equilibrium.","feed_headline":"Zero entropy production forces quantum detailed balance","feed_subtitle":"A complete measurement with time-symmetric outcomes exists exactly when the channel is at equilibrium.","key_machinery":"The argument is carried by three interlocking structures: the KMS inner product ⟨X,Y⟩ = tr(ρ^{1/2} X^* ρ^{1/2} Y), whose associated adjoint Φ_ρ preserves complete positivity, allowing time reversal of instruments; the admissible time-reversal morphism j(X) = J X J^* with j(ρ) = ρ and Φ(J²) = ηJ² for a phase η, which generalises the involutive permutation of classical detailed balance; and the Stinespring dilation of an instrument, where the POVM M, the local reversal θ, and the implementing operator Θ live. The proof of lifting statistics-level invariance back to the instrument uses a uniqueness theorem for purely generated finitely correlated states (Theorem 4.11), which asserts that two ir","core_discovery":"Theorem 1.7 is the central claim: for irreducible Φ ∈ CP1(H), the pair (Φ, ρ) satisfies quantum detailed balance (QDB), meaning bΦ = Φ for bΦ = j⁻¹ ∘ Φ_ρ ∘ j with a (Φ, ρ)-admissible unitary or anti-unitary j, if and only if there is an informationally complete (Φ, A)-instrument J and an implementable local reversal θ such that the entropy production rate ep(J, ρ, θ) vanishes. Here Φ_ρ is the adjoint of Φ with respect to the KMS inner product, and implementability requires the reversal θ to be realised by a unitary or anti-unitary conjugation of the associated POVM on the Stinespring dilation space. The proof combines two results of independent interest: Theorem 2.2, showing QDB is equivalen","pith_inferences":["Editorial inference: the entropy production rate of an informationally complete measurement could serve as a practical equilibrium witness — one could certify quantum detailed balance empirically by observing a long outcome sequence without modelling the channel explicitly.","Editorial inference: the implementability condition is physically load-bearing; if the time reversal of measurement outcomes is only a symbolic relabelling and cannot be realised as a unitary or anti-unitary operation on the probe, the equilibrium test may fail even when statistics look symmetric.","Editorial inference: the uniqueness result for finitely correlated states suggests a tomography-style application, where matching the full output state of an instrument fixes the dilation up to unitary equivalence and thereby locates the detailed-balanced representation.","Editorial inference: the open converse question — whether a channel can satisfy detailed balance with a unitary reversal but no anti-unitary one — points to an incomplete taxonomy of time reversals; resolving it would clarify the physical role of the phase η."],"forward_implications":["For irreducible channels, equilibrium can in principle be certified from measurement statistics alone: a zero entropy production rate for an informationally complete instrument is equivalent to quantum detailed balance.","Time-reversal invariance of the outcome statistics and vanishing entropy production become equivalent under irreducibility, mirroring the classical Markov-chain result.","The time-reversal operator J need not be an involution and its square can acquire a nontrivial phase; anti-unitary reversals are sometimes unavoidable, as shown for explicit channel families.","When detailed balance holds, an informationally complete instrument and an implementable reversal always exist, so equilibrium statistics can be generated while the outcome reversal is induced by a genuine unitary or anti-unitary operation.","The characterisation is proved for discrete-time channels, with the paper noting that the proofs translate to continuous-time semigroups by an appropriate limit."],"fun_headline_variants":["Zero entropy production defines quantum detailed balance","No entropy, no arrow: quantum balance from measurements","Entropy-free measurements mark quantum equilibrium","Vanishing entropy production equals quantum detailed balance","Measurement entropy zero implies quantum balance"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The equivalence hangs on the local reversal θ being implementable as a unitary or anti-unitary conjugation of the measurement POVM on the dilation space; without this implementability, time-reversal invariance of the statistics need not lift to instrument-level detailed balance, as the paper's C^3 example shows.","fun_headline_variants_meta":{"raw":{"variants":["Zero entropy production defines quantum detailed balance","No entropy, no arrow: quantum balance from measurements","Entropy-free measurements mark quantum equilibrium","Vanishing entropy production equals quantum detailed balance","Measurement entropy zero implies quantum balance"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00017,"raw_usage":{"total_tokens":1048,"prompt_tokens":631,"completion_tokens":417,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":375,"completion_tokens_details":{"reasoning_tokens":353}},"tokens_in":375,"tokens_out":417,"duration_ms":4283,"temperature":1.0,"reasoning_tokens":353,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T00:26:21.658863+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit an irreducible quantum channel with an informationally complete instrument and an implementable local reversal whose entropy production rate vanishes while the channel fails the KMS detailed balance condition; Theorem 1.7 declares this impossible. A natural starting point is the C^3 example noted after Theorem 2.3, where the implication from time-reversal invariance to instrument-level detailed balance fails without informational completeness — the test is whether adding informational completeness preserves implementability while keeping ep = 0.","supporting_citations":[],"review_version":1}