The three faces of entropy for complex systems -- information, thermodynamics and the maxent principle
Stefan Thurner, Bernat Corominas-Murtra, Rudolf Hanel

TL;DR
This paper explores how three different concepts of entropy—thermodynamic, information-theoretic, and maximum entropy—diverge in complex, history-dependent systems, providing explicit formulas for three example processes.
Contribution
It demonstrates that in non-ergodic, history-dependent systems, the three entropy notions differ and derives their explicit forms for specific complex processes.
Findings
Polya urn processes have distinct entropy forms for information, thermodynamics, and maxent.
Sample space reducing processes exhibit different entropy functionals related to power law statistics.
Multinomial mixture processes show entropy forms tied to the mixing kernel and conditional entropy.
Abstract
There are three ways to conceptualize entropy: entropy as an extensive thermodynamic quantity of physical systems (Clausius, Boltzmann, Gibbs), entropy as a measure for information production of ergodic sources (Shannon), and entropy as a means for statistical inference on multinomial Bernoulli processes (Jaynes maximum entropy principle). Even though these notions are fundamentally different concepts, the functional form of the entropy for thermodynamic systems in equilibrium, for ergodic sources in information theory, and for independent sampling processes in statistical systems, is degenerate, . For many complex systems, which are typically history-dependent, non-ergodic and non-multinomial, this is no longer the case. Here we show that for such processes the three entropy concepts lead to different functional forms of entropy. We explicitly compute these…
| Pólya process (WTA) | SSR process | multinomial mixture process | |||
|---|---|---|---|---|---|
| (ensemble) | |||||
|
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
The three faces of entropy for complex systems – information, thermodynamics and the maxent principle
Stefan Thurner1,2,3,4, Bernat Corominas-Murtra1, and Rudolf Hanel1,4
1 Section for the Science of Complex Systems, CeMSIIS, Medical University of Vienna, Spitalgasse 23, A-1090, Vienna, Austria
2 Santa Fe Institute, 1399 Hyde Park Road, Santa Fe, NM 87501, USA
3 IIASA, Schlossplatz 1, 2361 Laxenburg, Austria
4 Complexity Science Hub Vienna, Josefstädterstrasse 39, A-1090 Vienna, Austria
(Version )
Abstract
There are three ways to conceptualize entropy: entropy as an extensive thermodynamic quantity of physical systems (Clausius, Boltzmann, Gibbs), entropy as a measure for information production of ergodic sources (Shannon), and entropy as a means for statistical inference on multinomial Bernoulli processes (Jaynes maximum entropy principle). Even though these notions are fundamentally different concepts, the functional form of the entropy for thermodynamic systems in equilibrium, for ergodic sources in information theory, and for independent sampling processes in statistical systems, is degenerate, . For many complex systems, which are typically history-dependent, non-ergodic and non-multinomial, this is no longer the case. Here we show that for such processes the three entropy concepts lead to different functional forms of entropy. We explicitly compute these entropy functionals for three concrete examples. For Pólya urn processes, which are simple self-reinforcing processes, the source information rate is , the thermodynamical (extensive) entropy is -entropy, , and the entropy in the maxent principle (MEP) is . For sample space reducing (SSR) processes, which are simple path-dependent processes that are associated with power law statistics, the information rate is , the extensive entropy is , and the maxent result is . Finally, for multinomial mixture processes, the information rate is given by the conditional entropy , with respect to the mixing kernel , the extensive entropy is given by , and the MEP functional corresponds one-to-one to the logarithm of the mixing kernel.
pacs:
05.20.-y, 05.40.-a, 89.75.Da,05.40.Fb,02.50.Ey
I Introduction
Historically, the notion of entropy emerged in conceptually distinct contexts. In physics thermodynamic entropy has been introduced by Clausius as an extensive quantity that links temperature with heat carnot ; clausius . Boltzmann could relate this thermodynamic entropy to the number of microstates in a system,
[TABLE]
assuming that in equilibrium all microstates are equally probable kittel . Microstates are different configurations that e.g. ideal gas particles or spins can assume as samples of a Bernoulli process in a closed volume at constant internal energy. In the case that microstates appear with probabilities , the entropy functional reads
[TABLE]
which is often referred to as the Gibbs formula. We set in the following. Obviously, Eq. (2) is an extensive functional in the number of states . Since Boltzmann we identify the extensive functional with thermodynamic entropy, . This notion gave way to the success story of statistical mechanics.
Independently from physics, in the context of information theory (IT), a functionally identical notion of entropy appears Shannon1948 ; Kraft1949 ; McMillan1956 . There quantifies how efficiently a particular stream of information can be coded, if the information source is an ergodic finite state machine with states. The information production rate determines if information can be coded, transmitted through a noisy channel and decoded in an error-free way.
In the attempt to formulate statistical physics in a way that is independent of the physics of particles or spins, the maximum entropy principle (MEP) was developed Jaynes1957 . It is a way to address statistical inference problems that are not confined to physics. Again the same functional appears, . The MEP approach is explicitly grounded in the statistics of multinomial Bernoulli processes. It can be used to infer the so-called maximum configuration from particular data, i.e. the distribution of states that is the most likely to be observed and that dominates the overall behavior of a system.
What these three very different approaches have in common is that physical processes behind ideal gases, information production of ergodic sources, and multinomial statistics, are all essentially Bernoulli processes. As we will show below, the particular functional form of from Eq. (2) is a generic consequence of this fact. For this reason the different entropy concepts appear degenerate in the sense that , , and all are expressed by the identical functional . Processes that are non-ergodic, history-dependent, or that have long-term memory, explicitly break this degeneracy, which demonstrates that is by no means a universal functional that fits all purposes. We will show in detail that the three concepts behind entropy lead to distinct entropy functionals that have to be determined for every family of processes individually.
We introduce some notation. For physical systems one typically uses the configuration-, for IT, the process picture. They are equivalent. We will use both. By we denote a class of systems or of processes. A configuration in a physical system corresponds to a path that a process can take; paths are the microstates in the process picture. A class is parametrized by a set of parameters , we write . For example, the class of Bernoulli processes is given by the prior probabilities , and . Sample space is denoted by . is the number of distinct elements in . Sequences are either paths sampled by a process of length , or configurations of a system with elements, with . We can distinguish different paths that a process can take, or distinct configurations of a system 111 For Bernoulli processes this equivalence is trivial. It is equivalent to toss independent dice at once, or to toss one die times in a sequence. Both result in i.i.d. random variables , . The process- and the system picture only differ in terms of how variables may depend on other variables . For processes there may exist a time ordering, where depends on variables that appeared earlier in time, .. The histogram of a sequence keeps track of how often state is visited in the sequence . are the relative frequencies and is the distribution of relative frequencies. The phasespace volume is the number of configurations that a system at a given resolution can be in.
Section I.1 introduces the three entropy concepts in their respective contexts. Section II shows that entropies are degenerate for Bernoulli processes, section III deals with Pólya urn processes and derives their corresponding IT, thermodynamic (extensive) and the MEP entropies. Sections IV and V do the same for sample-space reducing processes and multinomial mixture models, respectively. Section VI concludes.
I.1 The three concepts of entropy
In the following we discuss how the three notions of entropy arise in the contexts of information theory, thermodynamics, and the maximum entropy principle.
I.1.1 The information theoretic entropy and entropy rate
Shannon’s approach to information theory deals with the question of how many bits per letter are needed on average to transmit messages of a certain type through information channels and what happens if these channels are noisy. Consider an information source processes . The sample space in this context is called an alphabet of letters (or a lexicon of words) . generates messages, i.e. realizations or samples . For transmitting the message through an information channel one has to translate messages into a code that has symbols in the code-alphabet (typically code is binary, ) such that the average number of bits per letter, becomes minimal. Intuitively this means that frequently observed letters are assigned short binary codewords while infrequent letters are assigned longer codewords.
Shannon identified four properties of a functional – the four Shannon-Khinchin (SK) axioms – that measures the average amount of information (in bits) that is required to encode messages that generate letters with probabilities . Three of these properties are of technical nature, SK axiom 1: is a continuous function that depends on only and no other variables; SK axiom 2: is maximal for the uniform distribution ; SK axiom 3: . The fourth property, the so-called composition axiom (SK axiom 4) states, that measures information independent of the way the states get sampled with the probabilities . It states that a system composed of two systems and that are statistically dependent the entropy of the composed system is the entropy of system alone plus the entropy of system , conditional on . Details on conditional entropy follow below. SK axioms 1-4 determine uniquely up to a multiplicative constant. is the functional given in Eq. (2).
Two theorems, one by Kraft Kraft1949 one by and McMillan McMillan1956 assure that there exists a practical family of uniquely decodable codes (the prefix codes) if and only if , where is the length of the codeword for letter and is the size of the code alphabet. For a binary code this means that if the source variables are identically independently distributed (i.i.d.), or equivalently, if letters appear with fixed probabilities for all , one can find codewords of length such that, . Such a code requires the least number of bits for transmitting messages. Using we have,
[TABLE]
This means that establishes the lower bound for the so-called information rate or source information rate of i.i.d. processes in bits per letter for prefix codes.
What if we are not encoding letters but entire parts of messages that are sampled from with respective probabilities ? The information rate of is generally defined as Thomas:2001 ,
[TABLE]
where the joint distribution appears. For processes, where each may depend on earlier events, we can re-write Eq. (4). Using the notions for the empty sequence and for the initial distribution , we write , and obtain,
[TABLE]
The Shannon-McMillan-Breiman (SMB) theorem Shannon1948 ; McMillan1953 ; Breiman1957 states that for Markov chains with transition probabilities and stationary distributions the asymptotic information rate is given by the conditional entropy , i.e.
[TABLE]
For Bernoulli processes, where , obviously . Note that for history-dependent process classes , the law of large numbers that plays a crucial role in the SMB theorem, does not necessarily apply and the situation needs to be analyzed carefully for each specific path-dependent process.
The SMB theorem states that for Markov chains one can transmit messages at lower bit rates, , by using optimal code lengths that are conditioned on the most recent event of a message, . Also history-dependent processes can in principle be coded more efficiently. However, this does not mean that the transmission of information becomes more efficient since the key (decoding table) to the constantly up-dated coding schemes must be transmitted in addition to the source information. The effective information rate measures the total amount of information the sender has to transmit to the receiver.
I.1.2 Thermodynamics and extensive entropy
Traditionally thermodynamics deals with “homogeneous” matter, such as ideal gases or solid bodies in thermal equilibrium and characterizes systems independent of size, shape and scale in terms of so-called intensive variables, such as temperature and pressure. Conjugate variables, such as volume and entropy, relate the intensive variables to the number of system components, or more precisely, to the number of the degrees of freedom. If extensive variables do not scale linearly with the degrees of freedom, no reasonable thermodynamic equations will exist.
If two initially separated systems and – that are at the same temperature and pressure, with volumes and and thermodynamic entropies and , respectively – are combined, this implies that , and . The extensivity of the thermodynamic entropy results from particles being indistinguishable, meaning that permutations of indistinguishable particles do not change the microstate. This effectively resolves the Gibbs paradox by constraining particles to their independent share of the volume , see for example vanKampen .
Assume that is the number of states the -th particle can be in, say discrete positions in a container. Then, if and are the numbers of identical particles in the two containers, respectively, one finds that the effective number of configurations in the combined container is given by . Boltzmann entropy is extensive in . In the case that the states that each particle can be in are sampled from a given distribution – which may not be uniform – one can still estimate the effective number of states as , where is the Gibbs formula Eq. (2) for distribution . As a consequence, measures the effective amount of states per particle222 Alternatively, one can measure the first moment of the rank of states with respect to the distribution function . The rank is a permutation on , such that if . For a reference process with being concentrated uniformly on states one finds . Conversely, one may define . , and Boltzmann entropy remains extensive, .
This is generally valid for systems or processes described by i.i.d. variables . Systems or processes with strong constraints, strong interactions, with non-stationary prior probabilities for states , strong internal correlations or with history-dependent dynamics, typically populate subspaces of the entire phasespace and (Gibbs formula) is no-longer extensive. For examples see e.g. HTphasespacegrowth ; HTentropy ; HTMGM3 . In the more general case, one can estimate by,
[TABLE]
where, again, we measure . Such systems or processes are called non-extensive and the SK axiom 4 (composition axiom) is violated. In this case lost the extensive property. However, one can find a functional expression for an entropy that remains extensive – even though the underlying system or process is non extensive. We call such a functional the extensive entropy, . Since from equation (7) it follows that is monotonically increasing in , an inverse function exists such that , and a unique extensive trace-form functional can be found, see Appendix A,
[TABLE]
Here is the probability to sample path and is a constant.
For classes , that are compatible with the first three Shannon-Khinchin axioms SK axiom 1-3, but violate SK axiom 4, – often non-ergodic processes – all extensive entropies can be classified by -entropies, HTclassification . These, in a convenient representation, take the form
[TABLE]
is parametrized by two scaling exponents and that characterize the asymptotic scaling behavior of the entropy of the non-extensive system or process. The exponents are one-to-one related with the phasespace of the system HTphasespacegrowth , and can be computed using
[TABLE]
-entropies are extensive quantities for non-extensive system classes.
Extensive systems correspond to the special case and , and one finds ( is the Euler constant). The special case of corresponds to power laws and recovers Tsallis entropy tsallisbook , , where (note that ). For , -entropies describe the phasespace growth of so-called winner-takes-all processes (WTA), where probabilities of sampling states concentrate over time in one single element , the winner, and . WTA processes also violate SK axiom 3.
I.1.3 The entropy of the maximum entropy principle
The maximum entropy principle (MEP) is tightly related with the question of finding the most likely observable macroscopic property (macrostate) of a system or a process. The distribution function , or the histogram , of events that occurred along the path of a process , is such a macrostate. In other words, how do we find the most likely distribution function of a given process or a system? Denoting the probability of finding the histogram by , the most likely histogram is obtained by maximizing with respect to under the constraint, . is the best predictor for observing a macrostate that is generated by the process . If becomes sharply peaked as becomes large, predictions will become very accurate.
The MEP of the process is obtained by factorizing into two terms, . is the multiplicity of the macrostate , the number of microstates that lead to the macrostate. is the probability of a microstate belonging to . Whenever such a factorization can be defined in a meaningful way, a corresponding maximum entropy principle exists.
Taking logarithms does not change the location of the maximum of , and,
[TABLE]
Here is an appropriate scaling factor, which corresponds to the degrees of freedom of microstates, see HTMGM3 .
is the relative entropy or information divergence. Note that for Bernoulli processes, where is given by the prior probabilities , is identical to the Kullback-Leibler divergence KullbackLeibler , .
is the entropy that appears in the MEP, we call it MEP-entropy. It is sometimes called the reduced Boltzmann entropy333Boltzmann’s principle as formulated by Planck Planck1901 identifies entropy with the logarithm of multiplicity, . . which is defined as .
is the cross-entropy, which depends on sets of constraints imposed by the parametrization . Again, for Bernoulli processes with prior probabilities , the cross entropy takes the well known form,
[TABLE]
II Bernoulli processes
We compute the three entropies, , , and for Bernoulli processes and show that they are identical with from Eq. (2). Bernoulli processes have no memory and states are sampled independently from the prior probability distribution . Bernoulli processes of length , are parametrized by .
Consider the histograms with , as the macrostates of the Bernoulli process and sequences as their microstates, then the probability to sample a particular sequence with histogram is given by . The multiplicity is given by the multinomial factor , and the probability to sample histogram is . The number of degrees of freedom of a sequence of length is .
II.1 The information rate of Bernoulli processes
Since Bernoulli processes have no memory the transition probabilities do not depend on path . The information rate from Eq. (5) is,
[TABLE]
Since , for a typical sequence one finds,
[TABLE]
The entropy measures the typical information rate for optimally coded Bernoulli processes.
II.2 The extensive entropy of Bernoulli processes
There are three ways to see what the extensive entropy of Bernoulli process is.
(1) Since Bernoulli processes fulfil all 4 Shannon Khinchin axioms, a well known theorem by Shannon Shannon1948 (appendix II) states that .
(2) The effective number of configurations of a Bernoulli process grows exponentially, . This is because is composed of i.i.d. Bernoulli trials . Using Eq. (57) and setting , we see that . As a consequence , and , meaning that .
(3) Using Eq. (10) and the exponential phasespace growth, of Bernoulli processes one verifies that and . For obtaining one computes,
[TABLE]
As a consequence . Similarly one obtains . Since , we conclude that .
II.3 The MEP-entropy of Bernoulli processes
Since for Bernoulli processes the degrees of freedom are simply given by the number of samples , using Stirling’s approximation it is easy to see,
[TABLE]
The maxent entropy of Bernoulli processes is again equivalent to .
The relative entropy is given by the Kullback-Leibler divergence ,
[TABLE]
The cross entropy is given by and imposes a linear first moment constraint on in the MEP. This can be seen by re-parametrizing by , which yields . and play the role of Lagrangian multipliers in the maximization problem. For Bernoulli processes the maximum configuration asymptotically predicts .
III The three entropies of Pólya urn processes
III.1 Pólya urn processes
Multi-state Pólya urn processes Polya1923 ; Polya1930 are an abstract representation of path-dependent, self-reinforcing processes with memory. A Pólya urn is initially filled with balls of color . One draws the first ball of color with probability , where is the total number of balls initially in the urn. If we draw a ball of color , we do not only replace it, as we would do in a Bernoulli process (drawing with replacement), but we add another balls of the same color and thus reinforce the probability to draw color in subsequent trials, see Fig. 1. As a consequence, the probability to draw another state (color) after samples drawn is given by,
[TABLE]
where , is the reinforcement parameter, , and is the set of parameters characterizing the process. If the Pólya urn process is just ‘drawing with replacement’ and the same as a Bernoulli process. If , the probability to draw color in the th sample depends on the history of samples in terms of the histograms .
Pólya urn processes and non-linear versions of it exhibit a cross-over between dynamics that is asymptotically a Bernoulli processes (weak reinforcement) and a dynamics that is referred to as “winner takes all” (WTA) dynamics (strong reinforcement). For intermediate reinforcement strengths , whether the system behaves one way or the other depends on the details of random events that happened early on in the process. How sequences behave for large depends on the samples , that are drawn at times much smaller than .
Pólya processes operate at the edge of Bernoulli- and WTA dynamics. If we measure the histogram of the process after steps, we may continue the process by thinking of starting a different Pólya urn with an initial condition . For this we consider the histogram of samples and define and . It is easy to see that one again is looking at a Pólya urn process. However, the parameters have been modified from to , where,
[TABLE]
As a consequence, the effective reinforcement , and as . The distribution gets modified by the history of the process and the effective reinforcement parameter decreases over time. Whether or not a particular realization of a process defined by enters the WTA dynamics therefore depends on whether the modified Pólya urn with parameters , enters WTA dynamics or not. This depends on which path the urn process took within the first steps. If in those first steps one of the elements acquires most of the weight, the process can enter WTA dynamics, meaning that eventually gets sampled almost all of the time. Non-linear Pólya processes, where the effective reinforcement decays more slowly as time progresses, almost certainly enter WTA dynamics. We can now discuss the three entropies of Pólya processes.
III.2 The information rate of Pólya urn processes
In WTA scenarios the relative frequency to observe the winner approaches , meaning that concentrates on the winner state , which essentially becomes the only state that is sampled,
[TABLE]
Without knowing the exact distribution of the “looser” states we assume that all those states have equal probabilities,
[TABLE]
Following Eq. (20) the information rate of a WTA process can be estimated,
[TABLE]
The information rate of a Pólya process in the WTA mode asymptotically approaches zero. The total information production, i.e. the number of bits required to encode the entire sequence, grows logarithmically, . If the Pólya processes does not enter WTA dynamics it behaves like a Bernoulli process sampling from the limit distribution with a information rate, .
III.3 The extensive entropy of Pólya urn processes
The effective number of a typical sequence of length , with the winner in the WTA process, can be estimated by inserting inserting from Eq. (20) and Eq. (21) into , or alternatively by using this to compute first rank moment and . One uses Eq. (7) to compute,
[TABLE]
From Eq. (10) it follows that . Therefore, the -class of Pólya urn processes is
[TABLE]
Note that is negative for sufficiently large, which means that the SK axiom 3 is violated by Pólya processes in WTA dynamics. As a consequence (10) might no-longer hold, since it was derived under the assumption that SK axioms 1-3 do hold. However, one can still safely compute the extensive entropy using Eq. (57) with and Eq. (23) to find,
[TABLE]
where and . This is exactly the result that we get from Eq. (10).
III.4 The MEP of Pólya urn processes
For Pólya urn processes the probability to observe a sequence is the same as the probability to observe any other sequences with the same histogram . Therefore factorizes into the multiplicity , which is given by the multinomial factor, and the sequence probability, . One might conclude that the number of degrees of freedom scales like . In this case the Pólya MEP is plus cross-entropy terms. If is sufficiently small, this is indeed true and the Pólya processes essentially behave as Bernoulli processes. If is sufficiently large however, the Pólya process is likely to enter the WTA dynamics if one state gets sampled repeatedly in the very beginning of the process. How often on average do we expect state to be sampled in a row at the beginning of a Pólya process? The answer is,
[TABLE]
To first order in one can estimate that,
[TABLE]
where . As from below, . This means that if states violate the condition , it becomes likely that the Pólya process enters the WTA dynamics. Practically this means that usually WTA behavior can be observed if a state gets sampled repeatedly within the first few steps of the Pólya process. Otherwise the effective reinforcement becomes too small to enter the WTA dynamics and the sampling distribution approaches that of a Bernoulli process.
For sufficiently large , one finds the situation that can be written as , so that , HCMTPolya2016 . This means that the probability for the histogram , no-longer depends on the multinomial factor at all. One observes that for the expression scales very differently than multinomial multiplicities. With the MEP entropy becomes a well defined generalized relative entropy, and a generalized cross entropy functional. In HCMTPolya2016 we have shown in detail that,
[TABLE]
The numerical values for the WTA dynamics (one winner and losers) are
[TABLE]
The generalized relative entropy can also be viewed as the information divergence of Pólya processes,
[TABLE]
is convex in only if . The processes becomes unstable if the reinforcement parameter is sufficiently large. This intrinsic instability of self-reinforcing processes makes MEP predictions of the distribution function unreliable since large deviations from the maximum configuration remain probable, even for large . In other words, no well defined typical sets of paths form with respect to the distribution of states . However, quite remarkybly, ensembles of Pólya urns show stable frequency and rank distributions. If we want to predict the relative frequencies of states ordered according to their rank, the largest frequency having rank , the second largest frequency rank , etc., then this rank distribution , can still be predicted with high accuracy HCMTPolya2016 . Pólya urn paths produce typical sets with respect to the most likely observed rank distribution.
III.5 Summary Pólya urn processes
Pólya urn processes either enter WTA dynamics or behave as a Bernoulli process. For WTA scenarios one finds that , the extensive entropy is , where , and , Table 1. The corresponding numerical values of the different entropies yield similar results, Pólya urns
[TABLE]
Again, is a measure of information production. However, instead of measuring the information rate, which becomes zero, it measures the total information production. This matches the intuition that the most likely “winner” is a state that happens to be “in lead” at the very beginning of the process. With some non-vanishing probability another state can take over the lead within the first few steps. However, if this happens it becomes very unlikely that the Pólya urn process can still enter the WTA dynamics because of decreasing effective reinforcement parameter . The process then asymptotically approaches a Bernoulli process, where the three entropies are degenerate, .
IV The three entropies of sample space reducing processes
IV.1 Sample space reducing processes
Sample space reducing (SSR) processes are processes whose sample space reduces as they evolve over time. They provide a way to explain the origin and ubiquity of power laws in complex systems, and Zipf’s law in particular BRSstaircase ; BRSstaircase2 . SSR processes are typically irreversible, dissipative processes that are driven between sources and sinks. Complicated driven dissipative processes such as sandpile dynamics, OsloPile , can often be decomposed into simpler SSR processes. Examples of sample space reducing processes include fragmentation processes, sentence formation BRSstaircase2 , diffusion and search processes on networks CMHT16 and cascading processes CMHT17 .
SSR processes can be viewed as processes where the currently occupied state determines the sample space for the next. If the system is in state it can sample states from a sample space . Often sample spaces are nested along the process, meaning that . In such cases, as the process evolves, the sample space successively becomes smaller. Eventually a SSR process ends in a sink state, ( is the empty set). The dynamics of such systems is irreversible and non-ergodic. To keep dynamics going, SSR processes have to be restarted, which can lead to a stationary, driven, and irreversible process that is effectively ergodic.
A simple way to depict a SSR process is a ball bouncing downwards random distances on a staircase. It never jumps upwards. Each stair represents a state . State corresponds to the bottom, to the top of the staircase, see Fig. 2 a. Obviously, successive sample spaces are nested.
A ball on step can sample from all steps below itself with equal- or prior probabilities . If the steps carry prior probabilities (which can be intuitively interpreted as the widths of the steps, Fig. 2 b) the process will visit state with probability , where is the cumulative distribution of up to . Regardless of (exceptions are discussed in CMHT16 ) the SSR processes still follows Zipf’s law in the visiting distributions, . By restarting the process one forces the process to become quasi-ergodic, meaning that a stationary distribution exists, despite the process being irreversible. By allowing the process to jump to any position with a given frequency , the visiting distributions remain exact power laws, , BRSstaircase ; CMHT16 . In the following we discuss the three entropies of the “staircase process”.
IV.2 The information rate of SSR processes
Note that SSR processes are Markov processes, the probability of sampling only depends on the previous sample . Considering ensembles of “staircases” (restarting the SSR process every time it stops) allows us to treat the process as if it were ergodic and well defined asymptotic distributions exist. The entropy production of typical sequences therefore yields,
[TABLE]
The entropy production of the SSR process is given by the conditional entropy. For uniform priors one computes the numerical value of the SSR entropy production,
[TABLE]
Here we replaced sums by integrals . Note that the 1 in Eq. (33) arises from the restarting procedure.
IV.3 The extensive entropy of SSR processes
We quantify how the phasespace of a SSR process grows by the number of decisions (where the ball jumps next) the process takes along its path. A Bernoulli process on states chooses between possible successor states at every timestep. After samples the process selected one specific path among the possible.
The effective number of decisions in a SSR process is computed using Eq. (7). Note that by restarting the SSR process the process gets quasi-ergodic and that each state is visited with probability , with . At state the process can sample from states and restarting the process once it hits state means (it can jump anywhere). With this we compute the typical size of phasespace,
[TABLE]
Consequently, , and the average amount of choice per step involved in sampling a typical SSR sequence is given by the numerical value
[TABLE]
The contribution of the constant comes from restarting the process. This implies that .
The definition of extensivity is tightly related with the way systems are composed. Staircase with states can be combined with staircase with steps, to a staircase by substituting each step of staircase with a copy of staircase , see Fig. 2 c. We get,
[TABLE]
If we compose staircase times with itself we get . In other words, the quasi-ergodic SSR has an exponentially growing phasespace and the extensive entropy is given by .
IV.4 The MEP of SSR processes
To arrive at the MEP for SSR processes with histogram as the macrostate, we need to determine the probability after observations of the process and determine the maximum configuration that maximizes . To compute we first decompose any sampled sequence into shorter sequences , such that is a concatenation of such shorter sequences. Any sequence is a sample of executing until stops. We refer to as one “run” of . This means that any run is a monotonously decreasing sequence of states, , ending in , where stops and needs to be restarted. Note that . Since every run ends in state the number of runs equals the number of times state is sampled, . Arranging in a table with columns and rows, denoting a stair that gets visited by and a stair that does not get visited within a run by , allows us to determine the probability and the multiplicity of a sequence .
[TABLE]
We can directly assess the number of sequences that have the same histogram . Note that column is entries long and contains items; . Therefore one can produce all those sequences by re-arranging visits to state in a column of possible positions. Each column therefore contributes to with the binomial factor . As a consequence one finds , and the reduced MEP-entropy is given by,
[TABLE]
The numerical values are,
[TABLE]
Similarly, one can determine the probability of sampling a particular sequence . Each visit to a state in the sequence contributes to the probability of the next visit to a state with a factor , whatever gets sampled. Only if , we do not get such a renormalization factor, since the process restarts and all states are valid targets with probability . It follows that , and the cross-entropy is found to be,
[TABLE]
Since terms in do not cancel terms in , we can safely identify with the reduced Boltzmann entropy, .
The relative entropy of the staircase process is
[TABLE]
To get the maximum configuration we have to minimize with respect to under the constraint . The result is derived in Appendix B and reads,
[TABLE]
For constant prior probabilities this yields Zipf’s law , with a normalization constant.
Note that the form of the MEP-entropy of SSR processes, , is not of trace-form, since the state , remains entangled with every other state . SSR processes violate almost all SK axioms. For perfectly ordered states with distributions that are concentrated on a single state , . For the uniform distribution , we get . This property has been advocated by Gell-Mann and Lloyd for functionals measuring a so-called effective complexity GellMannLloyd ; GellMannLloyd2 . This property emerges from the fact that for SSR processes the uniform distribution can only be obtained if the process evolves along the particular sequence , which is immensely unlikely.
IV.5 Summary SSR processes
For sufficiently large the values for entropy production , of MEP-entropy (reduced Boltzmann entropy ), and the generalized cross-entropy , all yield the same numerical values,
[TABLE]
Much of what is true for Markov processes remains true for SSR processes, which become Markovian by restarting the process once it stops in . The reduced Boltzmann entropy again measures the typical information rate of the process and determines the amount of information that is required to optimally code typical SSR processes. Comparing Eq. (43) with entropy production of Bernoulli processes , note that typical SSR processes only need half the information for encoding a message. It is remarkable that SSR processes, as driven dissipative systems, show enhanced compressibility.
V Multinomial mixture processes
Multinomial mixture processes (MMP) can be viewed as two-step processes, where an urn is filled with dies with -faces. Each die may have individual biases . From this urn we draw a die, toss it, record the outcome and put it back into the urn. In other words, one draws dice with biases according to some fixed probability density function that is called the mixing kernel. Assume to be sufficiently smooth and non-vanishing for all states .
V.1 Entropy production and extensive entropy of multinomial mixture processes
The MMP samples from the states again and again. The process is stationary and if is smooth then . As a consequence, the extensive entropy of such processes must be ,
[TABLE]
meaning that the extensive entropy is .
MMPs are ergodic. Therefore for each set of biases in the mixture, one gets a typical contribution to the entropy production, and the entropy rate of a typical sequence is given by the expectation value,
[TABLE]
which is nothing but the conditional entropy to draw a die with weights , given that is drawn with probability . Note that with expected frequencies are,
[TABLE]
It follows that in general , meaning that Shannon entropy of the stationary distribution overestimates the information rate of the process.
V.2 The MEP of multinomial mixture processes
Assume a MMP with . The probability to sample histogram is,
[TABLE]
where is the multinomial factor, , and is normalized, . Just as in the case of the Pólya process, one might naively think that the MEP functional is plus cross-entropy terms. Again, this turns out to be wrong. Consider the identity,
[TABLE]
Since for a distribution with the function is maximal for , we see that for large ,
[TABLE]
forms a so-called delta-sequence. Inserting Eq. (49) into Eq. (47) gives,
[TABLE]
and the relative entropy of MMPs with is,
[TABLE]
If can be decomposed into , depends on the mixing kernel . If it factorizes , then , and,
[TABLE]
where is a normalization constant.
VI Conclusions
For simple systems the concepts of thermodynamic entropy, information theoretic entropy and the entropy in the maximum entropy principle all lead to the same entropy functional , it is degenerate. The essence behind simple systems and processes rests in the fact that they are all basically built on multinomial Bernoulli processes. We showed that Bernoulli processes generically lead to , whatever entropy concept is used. We showed in three concrete examples that this degeneracy is broken for more complex processes, and that the three entropy concepts lead to completely distinct functional forms. The entropy concepts now capture information about distinct properties of the underlying system. The three processes studied were the Pólya process as an example for a self-reinforcing process, sample space reducing processes as an example of history-dependent processes with power law distribution functions, and multinomial mixture processes, which serve as an example of composed stochastic processes. The results are summarized in table 1. The processes discussed here are relatively simple when compared to stochastic processes that occur in actual non-egodic complex adaptive systems, which often are self-reinforcing, path-dependent and composed of multiple dynamics. The main contribution of our exercise here is that it unambiguously shows that for any process that can not be based on, or be traced back to Bernoulli processes, one needs to exactly specify which concept of entropy one is talking about before it makes sense to try to compute it. In general the three concepts have to be computed system class by system class. To naively use the expression as a one-fits-all concept is doomed to lead to confusion and nonsense. It remains to be seen if systems and processes can be classified into families that share the same three faces of entropy.
Supported by the Austrian Science Foundation FWF under the projects P29032 and I3073.
Appendix A Existence of a unique extensive entropy for non-extensive systems
Assume that the effective phasespace volume is given by
[TABLE]
Since is monotonically increasing in an inverse function exists such that , and a unique extensive trace-form functional can be found,
[TABLE]
Here is the probability to sample path , such that for sequences one obtains
[TABLE]
with . If we look at a reference process, where the path probabilities are uniformly concentrated on paths, it follows that,
[TABLE]
Clearly, is exactly solved by,
[TABLE]
Appendix B Solving the MEP for SSR processes
To maximize the MEP of the staircase process, Eq. (41), with respect to the probabilities under the constraint , where is the number of the possible states, we may proceed as follows. The staircase MEP requires to solve , where of the SSR process and is the Lagrange multiplier guaranteeing the constraint. This means that every derivative of the constrained functional with respect to , must be zero. For one gets,
[TABLE]
where . Similarly, for one finds,
[TABLE]
Solving these two equations self-consistently one finds (at least numerically) that , and the solution of the MEP is,
[TABLE]
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) S. Carnot, Reflexions sur la puissance motrice du feu et sur les machines propres a developper cette puissance , (Bachelier, Paris, 1824).
- 2(2) R. Clausius, Ann. der Physik und Chemie 93 , 481 (1854).
- 3(3) C. Kittel, Elementary statistical physics , (Wiley, 1958).
- 4(4) C.E. Shannon, Bell Syst. Tech. J. 27 379–423, 623 (1948).
- 5(5) L.G. Kraft, (MS Thesis, MIT, Cambridge, MA, 1949).
- 6(6) B. Mc Millan, IEEE Trans. Info. Theor. 2 , 115–115 (1956).
- 7(7) T. Cover, J. Thomas, Elements of Information Theory , (New York, Wiley, 1991).
- 8(8) E.T. Jaynes, Phys. Rev. 106 , 620 (1957).
