Equivalence of partition functions leads to classification of entropies and means (Q406120)

Summary: We derive a two-parameter family of generalized entropies, \(S_{pq}\), and means \(m_{pq}\). To this end, assume that we want to calculate an entropy and a mean for \(n\) non-negative real numbers \(\{x_1,\dots,x_n\}\). For comparison, we consider \(\{m_1,\dots,m_k\}\) where \(m_i=m\) for all \(i=1,\dots,k\) and where \(m\) and \(k\) are chosen such that the \(l^p\) and \(l^q\) norms of \(\{x_1,\dots,x_n\}\) and \(\{m_1,\dots,m_k\}\) coincide. We formally allow \(k\) to be real. Then, we define \(k\), \(\log k\), and \(m\) to be a generalized cardinality \(k_{pq}\), a generalized entropy \(S_{pq}\), and a generalized mean \(m_{pq}\) respectively. We show that this family of entropies includes the Shannon and Rényi entropies and that the family of generalized means includes the power means (such as arithmetic, harmonic, geometric, root-mean-square, maximum, and minimum) as well as novel means of Shannon-like and Rényi-like forms. A thermodynamic interpretation arises from the fact that the \(l^{p}\) norm is closely related to the partition function at inverse temperature \(\beta=p\). Namely, two systems possess the same generalized entropy and generalized mean energy if and only if their partition functions agree at two temperatures, which is also equivalent to the condition that their Helmholtz free energies agree at these two temperatures.