Abstract
Leaning on the mathematical concept of an interval order, we show that intransitivities that appear in several chemical processes, mainly related to mixing and competition, can actually be located and handled within a thermodynamical setting whose basis is the classical axiomatics due to Carathéodory, now using two intertwined entropy functions. Interdisciplinary comparisons to other similar theories (e.g., Utility Theory) are also made, pointing out the common mathematical background based on the numerical representability of total preorders and interval orders.
Similar content being viewed by others
Notes
To put an example concerning this setting, in [25] it is textually said that: (\(\ldots \)) “if \(t_1\), \(t_2\) and \(t_3\) are equilibrium states of three systems such as \(t_1\) is in thermal equilibrium with \(t_2\), and \(t_2\) is in thermal equilibrium with \(t_3\), then \(t_3\) is also in thermal equilibrium with \(t_1\)”. This law strongly resembles the first axiom of Euclidean geometry (ca. 300 BC), that is, “things equal to the same thing are equal to one another” (\(\ldots \)).
Following [25], the second axiom in Carathéodory’s setting can be better understood when it is read together with Kelvin’s formulation of the second law, that “no cycle can exist whose net effect is a total conversion of heat into work”.
The necessary definitions and concepts related to General Topology may be seen in the classical reference [40] among many others.
This is quite important because, as commented in [27], “Intransitivities are possible in chemical reactions. The Belousov–Zhabotinsky reaction is known to display a cyclic chemical behavior in a homogeneous mixture, which is unusual since most chemical kinetics tend to monotonically converge to an equilibrium or steady state. (\(\ldots \)) The simplest chemical kinetic scheme that can adequately simulate the Belousov-Zhabotinsky reaction is Oregonator [41]. This scheme involves an essential intransitivity”. Obviously, if the accessibility relation is a total preorder, this kind of intransitive schemes would never occur. Therefore, it is crucial to say which are the possible phase spaces that we will deal with, in order to avoid intransitivities.
The symbol \(\lnot \) is also commonly used to mean “negation”, so that \(\lnot (x \mathcal {R}y)\) is interpreted as “\(y \mathcal {R} x\) never occurs”.
In Klimenko’s words (see [27]): “In non-equilibrium phenomena, the production of physical entropy is typically high, in perfect argument with the laws of thermodynamic. Although no direct violation of the laws of thermodynamics is known, thermodynamics struggles to explain complexity, which is often observed in essentially non-equilibrium phenomena: turbulent mixing and combustion as well as evolution of life forms may serve as typical examples. The entropy of turbulent fluctuations does not seem to be maximal and the same applies to entropies characterizing distributions in other complex non-equilibrium processes. These entropies have similarities with but are not the same as the molecular entropy, which characterises disorder of molecular movements and is subject to the laws of thermodynamics. We use the term apparent entropy to distinguish entropy-like quantities from the molecular entropy”.
We have kept here Cooper’s notation introduced in [19].
Warning! In this Sect. 3 we will only interpret those intransitivities that come from an interval order. In fact, such kind of intransitivities could be dealt with by means of two different entropy functions. However, when the intransitivity is of a totally different nature (obviously, not all the intransitive binary relations on a set are interval orders!) the corresponding study will remain open.
This property is also known as the translation-invariance of the total order \(\precsim \) as regards the binary operation \(\circ \). Notice that, in particular, a totally ordered semigroup is always cancellative, namely \(s \circ u = t \circ u \Leftrightarrow s = t \Leftrightarrow u \circ s = u \circ t\quad (s,t,u \in S).\)
Despite we are working with totally ordered semigroups, it can be proved that we could actually be working with a totally preordered semigroup, where \(\precsim \) is a total preorder but not necessarily a linear order (i.e., the binary relation \(\precsim \) could fail to be antisymmetric). When this happens, we might pass to be working with a quotient space \(S{/}\sim \) whose elements are the indifference classes of the elements of S with respect to \(\sim \). That is, given \(s \in S\), its corresponding class is the set \(\lbrace t \in S: t \sim s \rbrace \). Provided that there is a compatibility between the total preorder \(\precsim \) and the binary operation \(\circ \) such that \(s \precsim t \Leftrightarrow s \circ u \precsim t \circ u \Leftrightarrow u \circ s \precsim u \circ t\) holds true for every \(s,t,u \in S\), it is easy to see that \(S/\sim \) inherits a structure of totally ordered semigroup by considering in a natural way that the binary operation \(\circ \) as well as \( \precsim \) directly act. on the indifference classes that \(\sim \) induces on S. By this reason, in what follows we will be working with totally ordered semigroups, instead of just totally preordered semigroups, unless otherwise stated.
In this setting, a mapping f with these properties is said to be an additive utility function.
In our opinion, it seems more plausible to interpret the phase system as a semigroup rather than a group, because there are many chemical reactions that cannot be reverted, so that the concept of a “converse element” that we need to deal with the mathematical structure of an algebraic group could make no sense in this setting. However, the idea of the mixing (composition, reaction) being associative, seems to be more suitable.
As a matter of fact, Cooper’s setting (see [19]) is more complicated, since he consideres n-ary operations (instead of just binary ones) to achieve composition of systems. However, perhaps we might still assume, at least implicitly, that the special kind of n-ary operations considered in Cooper’s approach could actually be decomposed as a suitable iteration of binary compositions.
Here a jump is understood as a pair \(a,b \in X\) for which \(a \prec _L b\), but there is no \(c \in X\) such that \(a \prec _L c \prec _L b\).
Cooper textually says in [19] that: “The physical model for a thermodynamic system is a system isolated from the external world by barriers impassible to heat but through which mechanical, electromagnetic, gravitational or other interactions with the external world are possible: these interactions will be summed up under the term interactions of the ground theories. The ground theories are the parts of physics established independently of thermodynamics such as mechanics, electromagnetic theory. Within the thermodynamic system, subsystems capable of being isolated by barriers impassible to heat may exist: but it must be assumed that these internal barriers can be removed”.
Here we should recall and bear in mind the famous Newton’s sentence: “Natura non fact saltum”.
If we just start with a totally ordered semigroup \((S, \circ , \precsim )\) we should take into account that no topology is given a priori on S, except maybe the order topology.
Here on \(S \times S\) we will consider the product topology coming from \(\tau \) on S.
Notice that this is, so-to-say, a theorem about “automatic continuity”. It actually states that on a totally ordered group \((G,\circ ,\precsim )\), both the operation \(\circ \) and the unary operation of taking an inverse are, a fortiori, continuous as regards the order topology \(\tau _{\precsim }\).
The continuity is here understood with respect to the given topology \(\tau \) on X and the usual Euclidean topology on the real line.
Observe that next result (Theorem 5) is only a partial answer to the problem of characterizing the continuous representability of an interval order, because nothing is said about the possibility of the existence of a pair (u, v) of continuous functions representing \(\prec \) but such that either u does not represent \(\precsim ^{**}\) or v does not represent \(\precsim ^{*}\).
References
J.C. Candeal, J.R. De Miguel, E. Induráin, G.B. Mehta, Utility and entropy. Econ. Theory 17, 233–238 (2001)
J.C. Candeal, J.R. De Miguel, E. Induráin, G.B. Mehta, On a theorem of Cooper. J. Math. Anal. Appl. 258, 701–710 (2001)
J.C. Candeal, J.R. De Miguel, E. Induráin, G.B. Mehta, Representations of ordered semigroups and the physical concept of entropy. Appl. Gen. Topol. 5(1), 11–23 (2004)
T. Sousa, T. Domingos, Is neoclassical microeconomcs formally valid? An approach based on an analogy with equilibrium thermodynamics. Ecol. Econ. 58(1), 160–169 (2006)
T. Sousa, T. Domingos, Equilibrium econophysics: a unified formalism for neoclassical economics and equilibrium thermodynamics. Phys. A 371(2), 492–612 (2006)
J. Bryant, A thermodynamic theory of economics. Int. J. Exergy 4(3), 302–337 (2007)
E. Smith, D.K. Foley, Classical thermodynamics and economic general equilibrium. J. Econ. Dyn. Control 32(1), 7–65 (2008)
M. Shubik, E. Smith, Building theories of economic process. Complexity 14(3), 77–92 (2009)
A. Dionisio, A.H. Reis, L. Coelho, Utility function estimation: the entropy approach. Phys. A 387(15), 3862–3867 (2008)
V.N. Pokrovskii, Econodynamics: The Theory of Social Production, New Economic Windows 12 (Springer, Berlin, 2012)
F.S. Roberts, R.D. Luce, Axiomatic thermodynamics and extensive measurement. Synthese 18, 311–326 (1968)
P.J. Davis, Entropy and society: can the physical/mathematical notions of entropy be usefully imported into the social sphere? J. Humanist. Math. 1(1), 119–136 (2011)
C.E. Shannon, A mathematical theory of communication. Bell Syst. Tech. J. 27, 379–423 (1948)
A. Meucci, Fully flexible views: theory and practice. Risk 21(10), 97–102 (2008)
R. Zhou, R. Cai, G. Tong, Applications of entropy in finance: a review. Entropy 15, 4909–4931 (2013)
B. Kosko, Fuzzy entropy and conditioning. Inf. Sci. 40, 165–174 (1986)
G. Bosi, M.J. Campión, J.C. Candeal, E. Induráin, Interval-valued representability of qualitative data: the continuous case. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 15(3), 299–319 (2007)
C. Carathéodory, Untersuchung über die Grundlagen der Thermodynamik. Math. Ann. 67, 355–386 (1909)
J.L.B. Cooper, The foundations of thermodynamics. J. Math. Anal. Appl. 17, 172–193 (1967)
O. Redlich, Fundamental thermodynamics since Carathéodory. Rev. Mod. Phys. 49(1), 556–563 (1968)
E.C. Zachmanoglou, Carathéodory theorem on the second law of thermodynamics. SIAM J. Appl. Math. 25(4), 592–596 (1973)
P.T. Landsberg, Main ideas in the axiomatics of thermodynamics. Pure Appl. Chem. 22(3–4), 215–228 (1970)
E.H. Lieb, J. Yngvason, A guide to entropy and the second law of thermodinamics. Not. Am. Math. Soc. 45(5), 571–581 (1998)
P.T. Landsberg, Entropies galore!. Braz. J. Phys. 29(1), 46–49 (1999)
L. Pogliani, M.N. Berberan-Santos, Constantin Carathéodory and the axiomatic thermodynamics. J. Math. Chem. 28(1–3), 313–324 (2000)
J. Duda, J. Milewska-Duda, A theoretical model for evaluation of configurational entropy of mixing with respect to shape and size of particles. J. Math. Chem. 17(1), 69–109 (1995)
A.Y. Klimenko, Mixing, entropy and competition. Phys. Scr. 85(6), 068201 (2012)
A.Y. Klimenko, Complex competitive systems and competitive thermodynamics. Philos. Trans. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 271(1982), 20120244 (2013)
A.Y. Klimenko, Complexity and intransitivity in technological development. J. Syst. Sci. Syst. Eng. 23(2), 128–152 (2014)
R.F. Nalewajski, Entropy/information bond indices of molecular fragments. J. Math. Chem. 38(1), 43–66 (2005)
R.F. Nalewajski, Communication-theory perspective on valence-bond theory. J. Math. Chem. 45(3), 709–724 (2009)
R.F. Nalewajski, Entropy/information coupling between orbital-communications in molecular subsystems. J. Math. Chem. 47(2), 808–832 (2010)
L. Tarko, A new manner to use application of Shannon entropy in similarity computation. J. Math. Chem. 49(10), 2330–2344 (2011)
A.Y. Klimenko, Entropy and equilibria in competitive systems. Entropy 16, 1–22 (2014)
G. Arzamendi, R. Ferrero, A.R. Pierna, L.M. Gandía, Kinetics of methyl ethyl ketone combustion in air at low concentrations over a commercial Pt/Al\(_2\)O\(_3\) catalyst. Ind. Eng. Chem. Res. 46, 9037–9044 (2007)
I. Reyero, G. Arzamendi, L.M. Gandía, Heterogeneization of the biodiesel synthesis catalysis: CaO and novel calcium compounds as transesterification catalysts. Chem. Eng. Res. Des. 92, 1519–1530 (2014)
G. Bosi, J.C. Candeal, E. Induráin, E. Olóriz, M. Zudaire, Numerical representations of interval orders. Order 18, 171–190 (2001)
G. Birkhoff, Lattice Theory, 3rd edn. (American Mathematical Society, Providence, 1967)
D.S. Bridges, G.B. Mehta, Representations of Preference Orderings (Springer, Berlin, 1995)
J. Dugundji, Topology (Allyn and Bacon, Boston, 1966)
R.J. Field, Limit cycle oscillations in the reversible oregonator. J. Chem. Phys. 63(6), 2289 (1975)
R.D. Luce, Semiorders and a theory of utility discrimination. Econometrica 24, 178–191 (1956)
P.C. Fishburn, Intransitive indifference with unequal indifference intervals. J. Math. Psychol. 7, 144–149 (1970)
P.C. Fishburn, Intransitive indifference in preference theory: a survey. Oper. Res. 18(2), 207–228 (1970)
A.Y. Klimenko, Intransitivity in theory and in the real world. Entropy 17, 4364–4412 (2015)
N. Wiener, Contribution to the theory of relative position. Math. Proc. Camb. Philos. Soc. 17, 441–449 (1914)
N. Wiener: A new theory of measurement. Proc. Lond. Math. Soc. 19, 181–205 (1919–1920)
D. Scott, P. Suppes, Foundational aspects of theories of measurement. J. Symb. Log. 23, 113–128 (1958)
A. Tversky, Intransitivity of preferences. Psychol. Rev. 76(1), 31–48 (1969)
O. Hölder, Der Axiome der Quantität und die Lehre vom Mass, Berichte über die Verhandlungen der Königlich Sachsischen Gesellschaft der Wissenschaften zu Leipzig. Math. Phys. Kl 53, 1–64 (1901)
N.G. Alimov, On ordered semigroups. Izv. Akad. Nauk SSSR Ser. Mat. 14, 569–576 (1950). (in Russian)
L. Fuchs, Partially Ordered Algebraical Systems (Pergamon Press, Oxford, 1963)
J.R. De Miguel, J.C. Candeal, E. Induráin, Archimedeaness and additive utility on totally ordered semigroups. Semigroup Forum 52, 335–347 (1996)
G. Debreu, Representation of a preference ordering by a numerical function, in Decision Processes, ed. by R.M. Thrall, et al. (Wiley, New York, 1954)
G. Debreu, Continuous properties of Paretian utility. Int. Econ. Rev. 5, 285–293 (1964)
S. Eilenberg, Ordered topological spaces. Am. J. Math. 63, 39–45 (1941)
J.C. Candeal, J.R. De Miguel, E. Induráin, Extensive measurement: continuous additive utility functions on semigroups. J. Math. Psychol. 40(4), 281–286 (1996)
J.C. Candeal, J.R. De Miguel, E. Induráin, Topological additively representable semigroups. J. Math. Anal. Appl. 210, 385–389 (1997)
P.J. Nyikos, H.C. Reichel, Topologically orderable groups. Gen. Topol. Appl. 45(5), 571–581 (1998)
J.C. Candeal, E. Induráin, Semiorders and thresholds of utility discrimination: solving the Scott–Suppes representability problem. J. Math. Psychol. 54, 485–490 (2010)
M.A. Nielsen, Conditions for a class of entanglement transformations. Phys. Rev. Lett. 83, 436 (1999)
R. Gielerak, M. Sawerwain: Sorting of quantum states with respect to amount of entanglement included, in Computer Networks. 16th Conference, CN 2009, Wisła, Poland, June 16–20, 2009. ed. by A. Kwiecień et al. Proc. Commun. Comput. Inf. Sci. 39, 11–18 (2009)
J.C. Candeal-Haro, E. Induráin-Eraso, Utility representations from the concept of measure. Math. Soc. Sci. 26, 51–62 (1993)
B. Subiza, J.E. Peris, A note on numerical representations for weak-continuous acyclic preferences. Rev. Esp. Econ. 15(19), 15–21 (1998)
Acknowledgments
Thanks are given to the editor and three anonymous referees for their valuable suggestions and comments on a previous version of the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work has been partially supported by the research Projects ENE2012-37431-C03-03, MTM2012-37894-C02-02 and TIN2013-40765-P (Spain).
Rights and permissions
About this article
Cite this article
Campión, M.J., Arzamendi, G., Gandía, L.M. et al. Entropy of chemical processes versus numerical representability of orderings. J Math Chem 54, 503–526 (2016). https://doi.org/10.1007/s10910-015-0565-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10910-015-0565-8
Keywords
- Entropy
- Carathéodory axioms
- Numerical representability of orderings
- Intransitive processes
- Interval orders
- Semigroups