{"id":"619f46a9-62cd-4ade-806f-9275e9cde9bb","arxiv_id":"1908.07583","paper_version":2,"verdict":"UNVERDICTED","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Entropy in thermodynamics can be presented through contact geometry, Lieb-Yngvason ordering axioms, and poset categories, with a Galois connection, the Landauer connection, as the categorical bridge.","lead":"This paper reviews three mathematical ways to define entropy in thermodynamics: contact geometry, axiomatic ordering, and category theory. It also presents a categorical link, the Landauer connection, which maps one entropy system to another and is credited to the author's earlier work.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 4's Landauer/Maxwell-demon claim leaps from simple-system adjunctions to compound-system heat generation without any derivation in the text.","rationale":"The paper is an explicitly declared overview, so the appropriate verdict is UNVERDICTED rather than ACCEPT or REJECT. The geometric and Lieb–Yngvason summaries are standard, and the categorical section explicitly cites [13] for the construction. The most load-bearing weakness is not the Comparison Hypothesis: for simple systems, the paper states it is provable from the simple-system axioms and Zeroth Law, and Section 4 restricts to simple systems at the outset. The weakness is that the advertised payoff—Landauer heat localization and Maxwell's demon—requires a compound-system model that the text never constructs. Even granting Eq. (23) as a definition of 'implementation', no inference is supplied from an order-preserving adjunction to a quantitative statement about where heat is generated. Thus the central categorical claim's explanatory force is unsupported in this paper. This concern is related to, but more specific than, the reader's flagged 'minimal relation asserted, not derived'; it does not change the classification of the paper as an overview, so the reader's UNVERDICTED verdict remains appropriate.","tokens_in":11752,"tokens_out":7299,"duration_ms":161202,"concrete_test":"Take G1 to be a two-state Shannon model (states 0,1 ordered by entropy) and G2 a physical device poset. Form the compound system as the product poset G1×G2 with additive entropy S1+S2, and let F,G be the maps from Eq. (23). Check whether the adjunction plus additivity implies that erasing one bit (moving G1 from {0,1} to a single state) forces an entropy increase in G2 of a definite, positive amount. If the derivation requires additional assumptions (Hamiltonian, thermal reservoir, or a defined 'heat' functional) that are absent from §4, the Landauer heat claim is not a theorem of the categorical framework presented.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central categorical claim in §4 is an adjunction, Eq. (23), between entropy posets. The paper explicitly restricts to simple systems ('We will consider only a simple (i.e., not compound) systems for simplicity') and then, three paragraphs later, asserts that the connection 'makes a sharp distinction, in which part of the compound entropic system such Landauer's heat is generated' and 'also explained Maxwell's demon paradox [13]'. None of the definitions in §4 (Definitions 5–8) provides a rule for forming a compound entropy system, a decomposition of an adjunction into 'logical' and 'physical' parts, or a quantitative entropy balance from which a heat amount could be derived. The adjunction (23) is purely order-theoretic: it equates two inequalities and contains no metric, no energy scale, and no thermal reservoir. Therefore the explanatory statements do not follow from the formalism presented; they are borrowed from self-cited [13]. The phrase 'minimal relation ... is the Galois connection' is also asserted, not proved, but the more load-bearing gap is that even if (23) is accepted as a definition of 'implementation', no argument shows it locates Landauer heat in a compound system. This is an internal scope mismatch, not merely a difference from consensus.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper is an expository overview of entropy in thermodynamics, presented in three parts: the smooth/contact-geometric formulation (Section 2), the axiomatic ordering approach of Lieb and Yngvason (Section 3), and a categorical reformulation (Section 4). In Section 4, an entropy system is identified with a poset (or G-poset) and a 'Landauer connection' between two entropy systems is defined as a Galois connection, Eq. (23). The paper claims that this connection 'makes a sharp distinction, in which part of the compound entropic system such Landauer's heat is generated' and that it 'also explained Maxwell's demon paradox [13].' An appendix collects mathematical preliminaries on differential forms, Frobenius, Darboux, and jet spaces.","tokens_in":11853,"tokens_out":6042,"duration_ms":221495,"significance":"Sections 2 and 3 are a competent, if selective, review of standard results: the Maxwell relations are correctly derived from the contact form, and the Lieb-Yngvason axioms are accurately summarized. The categorical section, however, is largely a summary of the author's previous work [13] and contains unproved assertions that go beyond a simple review. The claimed explanatory power for Landauer's principle and Maxwell's demon is not supported by the formalism presented in the manuscript. The paper would be acceptable as an expository note if the categorical claims were explicitly marked as conjectural or if the missing derivations were supplied; in its current form, the central claim of the categorical section is not established.","major_comments":[{"comment":"The manuscript states 'We will consider only a simple (i.e., not compound) systems for simplicity' and then, two paragraphs later, asserts that the Landauer connection 'makes a sharp distinction, in which part of the compound entropic system such Landauer's heat is generated' and 'also explained Maxwell's demon paradox.' No definition of a compound entropy system is given in the categorical formalism, and Eq. (23) contains only order relations between entropies, with no energy scale, temperature, or heat variable. The explanatory claims about heat generation therefore do not follow from the presented framework; the authors should either remove these claims or provide a derivation from Eq. (23) and the definitions of Section 4.","section":"Section 4"},{"comment":"The statement that the minimal order-preserving relation between two entropy posets is a Galois connection is asserted without proof and without a precise definition of 'minimal.' Since this is the foundational claim on which the Landauer connection rests, the authors should provide a proof, or explicitly state the sense in which it is minimal, with a reference to a proof in [13].","section":"Section 4, Definition 8"},{"comment":"The categorical treatment assumes a total order on the state space, which is only guaranteed if the Comparison Hypothesis holds. The proof of CH is not reproduced; the paper states that it can be proved from the definition of simple systems and the Zeroth Law. The paper should explicitly state that the results of Section 4 are conditional on CH; otherwise the poset-category description does not match the thermodynamic setup in cases where some states are incomparable.","section":"Section 3, Definition 4; Section 4"}],"minor_comments":[{"comment":"The title on the arXiv has a typo: 'Themodynamics' should be 'Thermodynamics'.","section":"Title"},{"comment":"In the last bullet, 'no ∆W and no ∆W can be calculated' should read 'no ∆Q and no ∆W can be calculated.'","section":"Section 2.2"},{"comment":"The first axiom is labeled 'Monotonicity: X∼X,' but this is reflexivity, not monotonicity; this is a misnomer.","section":"Section 3, axiom list"},{"comment":"'with preserving ordering group (R+,·, 1) action' should be 'with order-preserving group action of (R+,·, 1).'","section":"Section 4, Definition 7"},{"comment":"The elements c and d are not introduced; specify c ∈ Γ1 and d ∈ Γ2.","section":"Section 4, Eq. (23)"},{"comment":"'Lagrange manifolds' should be 'Legendre submanifolds.'","section":"Section 2.6"}],"recommendation":"major_revision","confidential_remarks":"The categorical section of this manuscript is a summary of the author's own [13] and the paper does not provide independent verification. If the journal is willing to publish expository overviews, the main risk is that the unproved claims in Section 4 (Landauer heat location, Maxwell's demon) are presented without sufficient caveats. I recommend requiring either a substantial expansion of the derivation or an explicit downgrade of these claims to conjectures."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nThe short version: this is an honest, unambitious survey of entropy in mathematical thermodynamics, and the first two-thirds are fine. The last section, on categorification, overreaches: the Landauer-connection story is presented as if it follows from the poset definitions in the paper, and it doesn't.\n\nWhat's actually new: nothing. The paper says that itself. Section 2 is a standard contact-geometric account of equilibrium thermodynamics—Caratheodory's second law gives Q = T dS, Legendre submanifolds encode equations of state, Maxwell relations fall out as integrability conditions. That's all correct and reasonably cited. Section 3 is a faithful sketch of Lieb–Yngvason: the axioms, the Comparison Hypothesis, and the entropy existence theorem. It doesn't prove anything, but it's a fair summary. Credit where due: the paper is a readable map of the literature, and the author is honest about the fact that it's an overview.\n\nThe soft spot is Section 4. The \"Landauer connection\" is a Galois connection between the posets of two entropy systems, equation (23). As an order-theoretic definition of \"implementation\" it's fine, but the paper then makes two claims that don't follow from that definition. First, it says the connection \"makes a sharp distinction, in which part of the compound entropic system such Landauer's heat is generated.\" The whole section, however, explicitly restricts to simple systems—\"we will consider only a simple (i.e., not compound) systems for simplicity\"—and the Galois connection has no energy scale and no heat in it. You can't get Landauer heat from a pair of inequalities. Second, it says this \"also explained Maxwell's demon paradox\" and cites the author's own [13]. That's a citation, not a derivation. The stress-test note is right: this is an internal scope mismatch, not just a disagreement with the consensus.\n\nIs it fatal? No, because the paper is a review; the categorical claims are clearly attributed to the author's prior work, and the section is explicitly a sketch. But the text should either qualify those claims as summaries of [13] or remove them. As written, a reader will think the adjunction alone locates the heat, and that's misleading.\n\nThe typos don't help—the title itself says \"Themodynamics.\"\n\nBottom line: the paper is for a physicist or mathematician who wants a quick entry point into geometric and axiomatic entropy. It deserves a serious referee in that sense, but a referee should insist on dialing back the Landauer-demon claims before publication. I'd accept it for review, but not in the current form.","headline":"A sound survey of geometric and axiomatic entropy whose final categorical section overreaches by presenting an order-theoretic Galois connection as if it derived Landauer heat.","tokens_in":12501,"tokens_out":3641,"would_cite":false,"duration_ms":446659,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["80A05","80A10","18B35","18A40","53D10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper reworks entropy as an ordering on state spaces and claims the minimal relation linking two entropy systems is a Galois connection—the Landauer connection—which localizes generated heat and resolves Maxwell's demon.","keywords":["entropy","thermodynamics","contact geometry","adiabatic accessibility","poset","Galois connection","Landauer principle","Maxwell's demon"],"falsifier":"Find or construct a simple system with two equilibrium states X and Y such that neither X≺Y nor Y≺X under adiabatic accessibility while the other axioms hold; then the Comparison Hypothesis fails, no total-order entropy function exists, and the Galois-connection treatment does not apply to that system.","tokens_in":11413,"feed_emoji":"🔗","tokens_out":7534,"duration_ms":71376,"temperature":0.7,"pith_summary":"The paper follows entropy through three mathematical formulations: as a foliation of a contact manifold, as an ordering induced by adiabatic processes, and as a category of ordered sets. Its central claim is that an entropy system is a (group-scaled) poset, and the minimal relation that preserves the entropy ordering between two systems is a Galois connection, written $S_2(Fc)\\leq S_2(d)\\iff S_1(c)\\leq S_1(Gd)$ and named the Landauer connection. If this is right, the connection says exactly which part of a compound entropic system generates Landauer's heat, and it resolves Maxwell's demon paradox. The paper is presented as an overview that reorganizes known material rather than as a new proof.","feed_headline":"Two entropy systems meet through one minimal Galois connection","feed_subtitle":"The Landauer connection tells where erasure heat is generated and closes Maxwell's demon paradox.","key_machinery":"The central object is the entropy system: a set of equilibrium states carrying a scaling action by $(\\mathbb{R}_+,\\cdot,1)$ and a total order induced by an entropy function $S$, viewed as a poset-category. The decisive mechanism is the Galois connection between two such categories, a pair of order-preserving maps $F$ and $G$ satisfying the equivalence above; this is the minimal relation that preserves both orders in both directions and is a prototype of adjoint functors. Supporting machinery includes the contact form $\\theta=dU-Q+W$ on the state space, whose integrability via Caratheodory and Frobenius produces the foliation $S=$ const, and the axiomatic framework in which adiabatic accessibility plus the Comparison Hypothesis force the existence of $S$.","core_discovery":"On the paper's own terms: entropy is not primarily a number but a total order on equilibrium states given by adiabatic accessibility, and the entropy function is a monotone numerical representation of that order. Treating an entropy system as an object of the category G-Pos—a poset with a scaling group action—the paper states that the minimal bidirectional order-preserving relationship between two entropy systems is a Galois connection, called the Landauer connection. Concretely, two entropy systems are connected when there are order-preserving functors $F$ and $G$ with $S_2(Fc)\\leq S_2(d)\\iff S_1(c)\\leq S_1(Gd)$. The paper claims this connection distinguishes the physical part of a compound system where Landauer heat is generated and explains Maxwell's demon paradox. It also asserts the Comparison Hypothesis, total adiabatic comparability, as the condition under which the whole ordering picture holds.","pith_inferences":["The minimality claim invites a test the paper does not perform: for a given pair of entropy systems, construct all order-preserving relations and check whether a non-Galois relation with fewer arrows exists; a counterexample would not disturb the thermodynamics but would change the categorical claim.","If the Comparison Hypothesis fails for some real system, for instance states on different sheets of a foliation that are adiabatically incomparable, the natural fallback is a partial-order variant in which the Landauer connection is replaced by residuated maps; the entropy picture would survive as a monotone but not total representation.","The template is portable: any process governed by a monotone quantity, such as information erasure or population dynamics, can be cast as the same adjunction, and one could test empirically whether measured entropy transfers obey the identity $S_2(Fc)\\leq S_2(d)\\iff S_1(c)\\leq S_1(Gd)$ in those settings.","The paper leaves open whether the Landauer connection, when it exists, is unique; a concrete family of systems with multiple Galois connections would show whether the physical heat localization is independent of the choice of functors."],"forward_implications":["Comparing any two entropy systems becomes the question of whether a Galois connection exists between their state posets; when it does, entropy changes in one system are carried to the other by the two Landauer functors.","Landauer's principle appears as a special case: an irreversible logical operation in one entropy system forces a compensating entropy change in the physical system that implements it, so the generated heat is located on the physical side.","Maxwell's demon paradox is claimed to be resolved because the demon's measurement and erasure are described by the same Galois-connected transfer, so no entropy accounting gap remains.","The smooth and axiomatic routes to entropy are reconciled: both yield the same monotone entropy function, which is what makes the categorical layer a faithful summary rather than an additional assumption."],"supporting_citations":[{"why":"Supplies the axioms of adiabatic accessibility and the Comparison Hypothesis under which the entropy function S exists with monotonicity, additivity, and extensivity.","marker":"[17, 16]"},{"why":"Defines entropy systems as objects of G-Pos and states the Landauer connection, including the claimed explanation of Maxwell's demon.","marker":"[13]"},{"why":"Provides the notion of Galois connection that the paper identifies as the minimal order-preserving relation and as a prototype of adjoint functors.","marker":"[23, 21]"},{"why":"Establishes Landauer's principle and the connection between logical and thermodynamic irreversibility, the phenomenon the categorical connection formalizes.","marker":"[15, 14]"},{"why":"Gives the smooth formulation of the Second Law, the global foliation by entropy leaves, and the theorem that adiabatic processes increase entropy.","marker":"[7]"}],"fun_headline_variants":["Entropy as order: A Galois connection","Category theory reframes entropy via Galois connections","Two entropy systems meet through a minimal Galois link","Entropy is an order, not a number: new category view","Landauer connection: Where erasure heat and demon paradox close"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction stands on the Comparison Hypothesis: every two equilibrium states of a simple system are comparable by adiabatic accessibility, so the ordering is total; if some states are incomparable, the entropy function and the poset-category treatment need not exist.","fun_headline_variants_meta":{"raw":{"variants":["Entropy as order: A Galois connection","Category theory reframes entropy via Galois connections","Two entropy systems meet through a minimal Galois link","Entropy is an order, not a number: new category view","Landauer connection: Where erasure heat and demon paradox close"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00019,"raw_usage":{"total_tokens":1254,"prompt_tokens":778,"completion_tokens":476,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":394,"completion_tokens_details":{"reasoning_tokens":397}},"tokens_in":394,"tokens_out":476,"duration_ms":5475,"temperature":1.0,"reasoning_tokens":397,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:03:22.752016+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find or construct a simple system with two equilibrium states X and Y such that neither X≺Y nor Y≺X under adiabatic accessibility while the other axioms hold; then the Comparison Hypothesis fails, no total-order entropy function exists, and the Galois-connection treatment does not apply to that system.","supporting_citations":[{"cited_title":"Kycia, Landauers Principle as a Special Case of Galois Connection , Entropy, 20(12), 971, (2018); DOI: https://doi.org/10.3390/e20120971","cited_arxiv_id":null,"evidence_quote":"Defines entropy systems as objects of G-Pos and states the Landauer connection, including the claimed explanation of Maxwell's demon."},{"cited_title":"Frankel, Geometry of Physics , Cambridge University Press, 2011","cited_arxiv_id":null,"evidence_quote":"Gives the smooth formulation of the Second Law, the global foliation by entropy leaves, and the theorem that adiabatic processes increase entropy."}],"review_version":1}