Trying to understand free-energy equations in a Karl Friston neuroscience article I am trying to understand a neuroscience article:


Friston, Karl J., et al. "Action and behavior: a free-energy formulation." Biological cybernetics 102.3 (2010): 227-260. (DOI 10.1007/s00422-010-0364-z)


In this article, Friston gives three equations that are, as I understand him, equivalent or inter-convertertable and refer to both physical and Shannon entropy. They appear on page 231 of the article as equation (5):


  The resulting expression for free-energy can be expressed in three ways (with the use of the Bayes rules and simple rearrangements):
  
  • Energy minus entropy
  
  • Divergence plus surprise
  
  • Complexity minus accuracy
  
  Mathematically, these correspond to:
  
  


The things I am struggling with at this point are:


the meaning of the || in the 2nd and 3rd versions of the equations;
and the negative logs.


Any help in understanding how these equations are actually what Fristen claims them to be would be greatly appreciated. For example, in the 1st equation, in what sense is the first term energy, etc?
I'm not qualified to understand almost all of that paper, but, I might be able to give some intuitions from information theory that help you parse the paper.

|| denotes the Kullback-Leibler divergence. It measures an information gain between two distributions. I suppose you could say it indicates the information in the real distribution of data that a model fails to capture.

When you see "negative log" think "entropy".

In the first equation, think of it as "-ln(...) - -ln(...)". This may help think of it as the difference of entropies. Likewise in the second, read it as "D(...) + -ln(...)". This may help think of it as "plus entropy".

If you look at the divergence definition, you'll see it is defined as the log of the ratio of the PDFs. This may help connect it to logs and negative logs. Look at the definition that writes it as cross-entropy minus entropy. Then this is all a question of differences of entropies of things which may be clearer.