arxiv: 2605.02650 · v2 · submitted 2026-05-04 · 🪐 quant-ph · cond-mat.stat-mech

Recognition: 2 theorem links

· Lean Theorem

Thermodynamic incompleteness of state dynamics in Markovian transport

Yang Tian

Authors on Pith no claims yet

Pith reviewed 2026-05-15 06:17 UTC · model grok-4.3

classification 🪐 quant-ph cond-mat.stat-mech

keywords Markovian transportthermodynamic incompletenessmaster equationquantum dotheat currentsentropy productioncurrent noisecompleteness criterion

0 comments

The pith

Markovian master equations for system states can leave heat currents, entropy production, and noise unspecified.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper argues that a Markovian state generator determines occupation probabilities and relaxation rates but not necessarily how transitions connect to specific reservoirs. In the example of a multi-terminal Coulomb-blockaded quantum dot, multiple assignments of channels to reservoirs produce the same state dynamics yet yield different heat currents and current noise. A thermodynamic completeness criterion is introduced to identify which observables can be reconstructed from state information alone. This shows that state tomography may not suffice for predicting certain transport measurements even when the full Markovian dynamics is known.

Core claim

A Markovian state generator can fix the occupation probabilities, stationary response, and relaxation without specifying how the underlying transitions are assigned to reservoirs and energy filters. Different assignments generate the same state master equation but different heat currents, entropy production, and current noise, as shown for the Coulomb-blockaded quantum dot.

What carries the argument

The thermodynamic completeness criterion: a transport observable can be reconstructed from state dynamics only when it is invariant under all changes of reservoir-channel assignments that leave the state generator unchanged.

Load-bearing premise

That distinct reservoir-channel assignments exist which leave the state master equation invariant yet produce measurably different heat currents, entropy production, and current noise.

What would settle it

Observing identical occupation dynamics and linear response but differing heat currents, entropy production, or current noise in two realizations of the multi-terminal quantum dot that differ only in reservoir-channel assignments.

read the original abstract

Markovian transport is often described by a master equation for the system state. The thermodynamic information measured in transport experiments, however, is carried by reservoir-resolved transfer records, such as particle currents, heat currents, entropy production, and current noise. We identify a thermodynamic incompleteness of state dynamics: a Markovian state generator can fix the occupation probabilities, stationary response, and relaxation without specifying how the underlying transitions are assigned to reservoirs and energy filters. We study a multi-terminal Coulomb-blockaded quantum dot coupled to energy-filtered reservoirs, for which different assignments of reservoir channels can generate the same state master equation. These assignments give identical occupation dynamics, stationary state, and linear response of the dot, but different heat currents, entropy production, and current noise. We formulate a thermodynamic completeness criterion: a transport observable can be reconstructed from state dynamics only when it is invariant under all changes of reservoir-channel assignments that leave the state generator unchanged. The criterion gives a practical diagnostic for Markovian transport models and a measurable prediction: state tomography can be insufficient to predict heat-noise and cross-correlation measurements, even when the full Markovian state dynamics is known. The analysis identifies a concrete limitation of state-only Markovian thermodynamics and shows which additional transport records must be specified to make thermodynamic predictions experimentally complete.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper shows that a Markovian master equation for state probabilities can be realized by multiple reservoir assignments that leave occupation dynamics identical but produce different heat currents, entropy production, and noise.

read the letter

The main point is straightforward: the rate matrix W that governs the system state only constrains the summed transition rates, not which reservoir or energy filter supplies each rate. In their multi-terminal Coulomb-blockaded quantum dot with energy-filtered leads, different partitions of the same total rates keep the occupation probabilities, stationary state, and linear response unchanged while shifting the reservoir-resolved heat and the noise spectrum. The completeness criterion follows directly—an observable is fixed by the state generator only when it is invariant under all such repartitionings that preserve W. This is new in the cited literature and the logic is internally consistent with no hidden parameters or circular definitions. The construction is explicit enough to be checked. The soft spot is that the abstract gives no numbers for the size of the discrepancy in heat or noise, so it is not yet clear how large or accessible the effect is under realistic broadening and coupling strengths. If the differences turn out to be small except in extreme parameter regimes, the practical warning is narrower than the formal statement suggests. The paper stays within standard Markovian, incoherent transport, which is fine but limits the scope. This is useful for theorists who build master-equation models of quantum transport and want a diagnostic for when state data alone is thermodynamically incomplete. Experimental groups measuring full counting statistics or heat in multi-terminal dots would also see the gap. It deserves peer review because the claim is precise, the example is concrete, and the criterion is testable with existing techniques.

Referee Report

1 major / 1 minor

Summary. The paper claims that Markovian state dynamics in transport systems are thermodynamically incomplete: a master equation fixing occupation probabilities, stationary response, and relaxation does not uniquely determine reservoir-resolved quantities such as heat currents, entropy production, and current noise. This arises because multiple assignments of transitions to reservoirs and energy filters can leave the state generator invariant. The claim is illustrated with a multi-terminal Coulomb-blockaded quantum dot coupled to energy-filtered reservoirs, where different channel assignments produce identical state dynamics but differing thermodynamic observables. A completeness criterion is formulated requiring invariance under all such assignments that preserve the state generator.

Significance. If the central construction holds, the result provides a practical diagnostic for Markovian transport models and a measurable prediction that state tomography alone can be insufficient for heat-noise and cross-correlation measurements. It correctly separates the state generator from reservoir assignments without introducing free parameters or circular definitions, strengthening the conceptual point that thermodynamic observables depending on the partition are under-determined by state dynamics alone.

major comments (1)

[Quantum-dot example section] The multi-terminal Coulomb-blockaded quantum dot example is load-bearing for the claim of measurably different heat currents and noise. The manuscript must explicitly derive the rate matrix W for at least two distinct reservoir-channel assignments to confirm invariance of the summed transitions while the reservoir-resolved currents differ; without this derivation the quantitative differences remain unverified.

minor comments (1)

[Criterion formulation] The completeness criterion is stated clearly in the abstract but would benefit from an explicit mathematical definition in terms of partitions of the transition rates.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comment. We address the major comment below.

read point-by-point responses

Referee: [Quantum-dot example section] The multi-terminal Coulomb-blockaded quantum dot example is load-bearing for the claim of measurably different heat currents and noise. The manuscript must explicitly derive the rate matrix W for at least two distinct reservoir-channel assignments to confirm invariance of the summed transitions while the reservoir-resolved currents differ; without this derivation the quantitative differences remain unverified.

Authors: We agree with the referee that an explicit derivation of the rate matrix W is necessary to verify the invariance of the summed transitions and the differences in reservoir-resolved currents. In the revised version of the manuscript, we will include the explicit derivation of W for at least two distinct reservoir-channel assignments in the quantum-dot example section. This will provide the quantitative confirmation that the state dynamics remain identical while the thermodynamic observables differ. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's derivation proceeds by noting that a Markovian master equation for the system state constrains only the summed transition rates W, not their partition among specific reservoir channels or energy filters. This structural fact directly implies that observables depending on the partition (heat currents, entropy production, noise) remain underdetermined. The multi-terminal Coulomb-blockaded dot is introduced as an explicit construction demonstrating distinct assignments that leave the state dynamics invariant while altering thermodynamics; the completeness criterion is then defined as invariance under all such assignments. No step reduces to a fitted parameter renamed as prediction, a self-definitional loop, or a load-bearing self-citation; the argument is self-contained in the definition of the rate matrix and the explicit example.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The analysis assumes standard Markovian dynamics and the modeling freedom to reassign transitions to reservoirs without altering the state generator; no free parameters or new entities are introduced.

axioms (1)

domain assumption The transport process is fully described by a time-homogeneous Markovian master equation for the system state probabilities.
This is the starting point for all state dynamics considered in the paper.

pith-pipeline@v0.9.0 · 5518 in / 1181 out tokens · 41660 ms · 2026-05-15T06:17:03.285256+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

a Markovian state generator can fix the occupation probabilities... without specifying how the underlying transitions are assigned to reservoirs
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

quotient fluctuation geometry... dim kerP = E - E0

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Thermodynamic incompleteness in non-Markovian Majorana transport I: Island dynamics and missing transport statistics
cond-mat.mes-hall 2026-05 unverdicted novelty 7.0

Complete knowledge of non-Markovian island-state dynamics does not determine lead transport statistics in Majorana systems.
Thermodynamic incompleteness in non-Markovian Majorana transport I: Island dynamics and missing transport statistics
cond-mat.mes-hall 2026-05 unverdicted novelty 7.0

Complete knowledge of non-Markovian Majorana island dynamics does not determine lead transport statistics in general.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages · cited by 1 Pith paper

[1]

Gorini, A

V. Gorini, A. Kossakowski, and E. C. G. Sudarshan, Journal of Mathematical Physics17, 821 (1976)

work page 1976
[2]

Lindblad, Communications in Mathematical Physics 48, 119 (1976)

G. Lindblad, Communications in Mathematical Physics 48, 119 (1976)

work page 1976
[3]

E. B. Davies, Communications in Mathematical Physics 39, 91 (1974)

work page 1974
[4]

Spohn, Journal of Mathematical Physics19, 1227 (1978)

H. Spohn, Journal of Mathematical Physics19, 1227 (1978)

work page 1978
[5]

Esposito, U

M. Esposito, U. Harbola, and S. Mukamel, Reviews of Modern Physics81, 1665 (2009)

work page 2009
[6]

G. T. Landi and M. Paternostro, Reviews of Modern Physics93, 035008 (2021)

work page 2021
[7]

Strasberg and A

P. Strasberg and A. Winter, PRX Quantum2, 030202 (2021)

work page 2021
[8]

G. T. Landi, M. J. Kewming, M. T. Mitchison, and P. P. Potts, PRX Quantum5, 020201 (2024)

work page 2024
[9]

Ptaszynski and M

K. Ptaszynski and M. Esposito, PRX Quantum4, 020353 (2023)

work page 2023
[10]

Liu, Physical Review E108, 064111 (2023)

F. Liu, Physical Review E108, 064111 (2023)

work page 2023
[11]

Hasegawa, Physical Review Letters126, 010602 (2021)

Y. Hasegawa, Physical Review Letters126, 010602 (2021)

work page 2021
[12]

Hasegawa, Physical Review Letters125, 050601 (2020)

Y. Hasegawa, Physical Review Letters125, 050601 (2020)

work page 2020
[13]

Hasegawa, Physical Review E105, 044127 (2022)

Y. Hasegawa, Physical Review E105, 044127 (2022)

work page 2022
[14]

D. S. P. Salazar, Physical Review E110, 014118 (2024)

work page 2024
[15]

Monnai, Physical Review E105, 034115 (2022)

T. Monnai, Physical Review E105, 034115 (2022)

work page 2022
[16]

Liu and D

J. Liu and D. Segal, Physical Review E103, 032138 (2021)

work page 2021
[17]

Gerry and D

M. Gerry and D. Segal, Physical Review E107, 054115 (2023)

work page 2023
[18]

P. J. Paulino, I. Lesanovsky, and F. Carollo, Physical Review Letters132, 260402 (2024)

work page 2024
[19]

Tirrito, A

E. Tirrito, A. Santini, R. Fazio, and M. Collura, SciPost Physics15, 096 (2023)

work page 2023
[20]

Zhang and H

F. Zhang and H. T. Quan, Physical Review E103, 032143 (2021)

work page 2021
[21]

Wang, T.-G

C.-Y. Wang, T.-G. Zhou, Y.-N. Zhou, and P. Zhang, Physical Review Letters133, 083402 (2024)

work page 2024
[22]

Fan and D.-B

Y.-Z. Fan and D.-B. Zhang, Physical Review A109, 012412 (2024)

work page 2024
[23]

Perfetto, F

G. Perfetto, F. Carollo, and I. Lesanovsky, SciPost Physics13, 079 (2022)

work page 2022
[24]

Seifert, Annual Review of Condensed Matter Physics 10, 171 (2019)

U. Seifert, Annual Review of Condensed Matter Physics 10, 171 (2019)

work page 2019
[25]

Deguenther, J

J. Deguenther, J. van der Meer, and U. Seifert, Physical Review Research6, 023175 (2024)

work page 2024
[26]

A. M. Maier, J. Deguenther, J. van der Meer, and U. Seifert, Journal of Statistical Physics191, 104 (2024)

work page 2024
[27]

Ertel and U

B. Ertel and U. Seifert, Physical Review E109, 054109 (2024)

work page 2024
[28]

P. E. Harunari, C. E. Fiore, and A. C. Barato, Physical Review E110, 064126 (2024)

work page 2024
[29]

Otsubo, S

S. Otsubo, S. K. Manikandan, T. Sagawa, and S. Krish- namurthy, Communications Physics5, 11 (2022)

work page 2022
[30]

S. K. Manikandan, D. Gupta, and S. Krishnamurthy, Physical Review Letters124, 120603 (2020)

work page 2020
[31]

Ehrich, Journal of Statistical Mechanics: Theory and Experiment2021, 083214 (2021)

J. Ehrich, Journal of Statistical Mechanics: Theory and Experiment2021, 083214 (2021). 7

work page 2021
[32]

Kapustin, A

U. Kapustin, A. Ghosal, and G. Bisker, Physical Review Research6, 023039 (2024)

work page 2024
[33]

S´ anchez, B

R. S´ anchez, B. Sothmann, A. N. Jordan, and M. B¨ uttiker, New Journal of Physics15, 125001 (2013)

work page 2013
[34]

Wozny and M

S. Wozny and M. Leijnse, Physical Review B111, 075422 (2025)

work page 2025
[35]

Kleinherbers, A

E. Kleinherbers, A. Schunemann, and J. Konig, Physical Review B107, 195407 (2023)

work page 2023
[36]

Bertini, A

L. Bertini, A. De Sole, D. Gabrielli, G. Jona-Lasinio, and C. Landim, Reviews of Modern Physics87, 593 (2015)

work page 2015
[37]

Bertini, A

L. Bertini, A. Faggionato, and D. Gabrielli, Stochastic Processes and their Applications125, 2786 (2015)

work page 2015
[38]

R. C. Kraaij, A. Lazarescu, C. Maes, and M. A. Peletier, Stochastic Processes and their Applications130, 139 (2020)

work page 2020
[39]

Forastiere, R

D. Forastiere, R. Rao, and M. Esposito, New Journal of Physics24, 083021 (2022)

work page 2022
[40]

Falasco and M

G. Falasco and M. Esposito, Reviews of Modern Physics 97, 015002 (2025)

work page 2025
[41]

Brandner and K

K. Brandner and K. Saito, Physical Review Letters124, 040602 (2020)

work page 2020
[42]

Van Vu and K

T. Van Vu and K. Saito, Physical Review X13, 011013 (2023)

work page 2023
[43]

Ito, Information Geometry7, 441 (2024)

S. Ito, Information Geometry7, 441 (2024)

work page 2024
[44]

Zhong and M

A. Zhong and M. R. DeWeese, Physical Review Letters 133, 057102 (2024)

work page 2024
[45]

Wang and J

Z. Wang and J. Ren, Physical Review Letters132, 10.1103/physrevlett.132.207101 (2024)

work page doi:10.1103/physrevlett.132.207101 2024
[46]

Kamijima, S

T. Kamijima, S. Ito, A. Dechant, and T. Sagawa, Physi- cal Review E107, 10.1103/physreve.107.l052101 (2023)

work page doi:10.1103/physreve.107.l052101 2023
[47]

Santolin, N

D. Santolin, N. Freitas, M. Esposito, and G. Falasco, Physical Review E111, 10.1103/physreve.111.024106 (2025)

work page doi:10.1103/physreve.111.024106 2025