Compositional Thermostatics

Abstract

We define a thermostatic system to be a convex space of states together with a concave function sending each state to its entropy, which is an extended real number. This definition applies to classical thermodynamics, classical statistical mechanics, quantum statistical mechanics, and also generalized probabilistic theories of the sort studied in quantum foundations. It also allows us to treat a heat bath as a thermostatic system on an equal footing with any other. We construct an operad whose operations are convex relations from a product of convex spaces to a single convex space, and prove that thermostatic systems are algebras of this operad. This gives a general, rigorous formalism for combining thermostatic systems, which captures the fact that such systems maximize entropy subject to whatever constraints are imposed upon them.

arXiv comment25 pages, 4 figures

References in corpus (9)

• Entropy and Information Causality in General Probabilistic Theories
• Entropy in general physical theories
• The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
• Thermodynamics and the structure of quantum theory
• The homology of the little disks operad
• Operads for complex system design specification, analysis and synthesis
• Operadic Modeling of Dynamical Systems: Mathematics and Computation
• The Legendre-Fenchel transform from a category theoretic perspective
• A diagrammatic view of differential equations in physics

Cited by in corpus (2)

• Carroll black holes in (A)dS and their higher-derivative modifications
• Barycentric algebras -- convexity and order