Next Article in Journal
Information Dynamics in the Interaction between a Prey and a Predator Fish
Next Article in Special Issue
The Legendre Transform in Non-Additive Thermodynamics and Complexity
Previous Article in Journal
Mesoscopic Thermodynamics for the Dynamics of Small-Scale Systems
Previous Article in Special Issue
Thermodynamic Metrics and Black Hole Physics
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Dualistic Hessian Structures Among the Thermodynamic Potentials in the κ-Thermostatistics

1
Department of Electrical and Electronic Engineering, Ibaraki University, Nakanarusawacho, Hitachi 316-8511, Japan
2
Department of Computer Science and Engineering, Graduate School of Engineering, Nagoya Institute of Technology, Gokisocho, Nagoya 466-8555, Japan
3
Istituto dei Sistemi Complessi (ISC-CNR) c/o Politecnico di Torino, Corso Duca degli Abruzzi 24, Torino I-10129, Italy
*
Author to whom correspondence should be addressed.
Entropy 2015, 17(10), 7213-7229; https://doi.org/10.3390/e17107213
Submission received: 28 July 2015 / Revised: 29 September 2015 / Accepted: 15 October 2015 / Published: 22 October 2015
(This article belongs to the Special Issue Geometry in Thermodynamics)

Abstract

:
We explore the information geometric structures among the thermodynamic potentials in the κ-thermostatistics, which is a generalized thermostatistics based on the κ-deformed entropy. We show that there exists two different kinds of dualistic Hessian structures: one is associated with the κ-escort expectations and the other with the standard expectations. The associated κ-generalized metrics are derived and related to the κ-generalized fluctuation-response relations among the thermodynamic potentials in the κ-thermostatistics.

1. Introduction

The geometric approaches to thermodynamics and statistical mechanics have been developed since the early works of Gibbs [1] and Carathéodory [2]. Ruppeiner [3] and Weinhold [4,5] independently introduced the Riemannian metrics, which are constructed from thermodynamic potentials (entropy or internal energy). The thermodynamic fluctuations around the equilibrium states have been studied, and the associated Riemannian curvature has been related to an interaction that characterizes a thermodynamic system. On the other hand, information geometry [6] has been developed mainly in the fields of statistics, and it provides a useful framework for studying the family of probability distributions, mainly the exponential family, by using the geometric tools in affine differential geometry. One of the distinct features in information geometry is a dualistic structure of affine connections, which provides us a very useful tool for many scientific fields, such as information theory, statistics, neural networks, statistical physics, and so on.
Recently, for studying power law distributions, some deformed exponential families [7,8] have attracted attention in various scientific fields. Among the deformed exponential functions, the κ-deformed exponential function [9] was proposed recently and has been developed in many fields, such as statistical physics [9,10,11,12], thermostatistics, financial physics, social science, statistics, information theory and information geometry [13]. Although the physical meaning of the deformed parameter κ is not established yet, some theoretical foundations [14] of the κ-deformed exponential functions have been developed.
The κ-thermostatistics is a generalization of thermostatistics [15] based on κ-entropy S κ , which reduces to the standard Gibbs–Shannon entropy in the limit of κ 0 . Since a deformed exponential probability density function (pdf) naturally induces the escort pdf [8] in general, the κ-deformed exponential pdf also leads to the κ-escort pdf. As a result, it is important to take into account the two different kinds of expectations: one is the κ-escort expectation, and the other is the standard expectation. Accordingly, the κ-entropy S κ , which is defined by the standard expectation, naturally induces the κ-escort entropy, which is expressed as the κ-escort expectation. While two of the authors (Tatsuaki Wada and Antonio M. Scarfone) studied the information geometric structures [13,16] of the κ-thermostatistics, the other author (Hiroshi Matsuzoe) showed that a deformed exponential family has two kinds of dualistic Hessian structures [17] in general. We here explore the information geometric structures concerning the κ-thermostatistics. Remarkably, as shown in this paper, there exist two different kinds of dualistic Hessian structures among the thermodynamic potentials in the κ-thermostatistics.
In the next section, we begin with a brief review of the geometric approach to thermodynamics and Callen’s thermostatistics [15]. Section 3 provides the preliminaries on the Hessian geometry concerning the information geometry based on the exponential family. It also provides the very basics of the κ-thermostatistics. In Section 4, we explain the dualistic structures of the Hessian geometries in the κ-thermostatistics. We explore the Hessian structure associated with the Legendre relations for the κ-entropy. We derive some non-trivial relations, which disappear in the standard limit of κ 0 . The final section is devoted to the conclusions.

2. Thermodynamics and Thermostatistics

Consider a thermal equilibrium system characterized by the entropy S as a state function of the internal energy U and volume V, i.e., in entropy representation S = S ( U , V ) . We assume that the thermal system has a fixed number of particles. As is well known, the first law of thermodynamics is expressed as:
d S = 1 T d U + P T d V ,
where T and P denote the temperature and the pressure of the thermal system, respectively. They are related by the relations:
1 T = S U V , P T = S V U .
Mathematically, these relations are necessary and sufficient conditions, so that the Pfaff equation d S ( U , V ) ( 1 / T ) d U ( P / T ) d V = 0 is an exact differential, and consequently, the entropy S ( U , V ) is a state function, as shown originally by Carathéodory [2]. Planck potential Ξ is given by:
Ξ 1 T , P T = S ( U , V ) 1 T U P T V ,
which is nothing but the total Legendre transform of S ( U , V ) .
For the sake of later convenience, instead of the concave function S ( U , V ) , we use the convex function S ( U , V ) , which is called negentropy, or negative entropy [18]. Introducing the set of the extensive variables η i , ( i = 1 , 2 ) with η 1 = U , η 2 = V , and the set of the intensive variables θ i , ( i = 1 , 2 ) with θ 1 = 1 / T , θ 2 = P / T , Relations (2) can be compactly expressed as:
θ i = i ( S ) , i = 1 , 2 ,
where i = / η i . The Legendre relation (3) becomes:
Ξ ( θ 1 , θ 2 ) = m = 1 2 θ m η m + S ( η 1 , η 2 ) ,
and the dual relation of (4) is readily obtained from (5) as:
η i = i Ξ , i = 1 , 2 .
where i = / θ i .
It is also known that the Maxwell relations in thermodynamics are due to the irrelevance of the order of differentiating a thermodynamic potential (an analytic function) with respect to two variables, For instance, for the negentropy S , the following Maxwell relation:
V 1 T = U P T
is equivalent to the relation:
2 1 ( S ) = 1 2 ( S ) .
The Hessian of the negentropy ( S ) can be considered as a symmetric metric tensor of a manifold with the thermodynamic variables η i as its coordinates,
( g R ) i j i j ( S ) ,
which is equivalent to the Ruppeiner metric [3]. The inverse matrix of ( g R ) i j is given by:
g i j R = i j Ξ .
In Callen’s thermostatistics [15], the concept of the equilibrium states in conventional thermal physics is extended to the “equilibrium states”, which are characterized as the states that maximize the disorder, or the measure of information. A well-known measure of information is the Gibbs–Shannon entropy S, which is expressed as the expectation of ln p ( x ; θ ) , i.e.,
S = E p ln p ( x ; θ ) .
Here and hereafter, E p · stands for the standard expectation with respect to a pdf p ( x ; θ ) , which is characterized by the parameter θ = ( θ 1 , θ 2 , , θ M ) with an appropriate degree of freedom M. Any extensive thermal quantity is considered as the expectation (or average) of the corresponding microscopic quantity, for instance the internal energy is given by:
U = d x p ( x ; T , P ) E ( x ) ,
where E ( x ) is the microscopic energy of a configuration x and p ( x ; T , P ) is a pdf depending on the intensive parameters T and P. Introducing the notation f i ( x ) for the microscopic quantity associated with η i , we can express the extensive thermal quantities as:
η i = d x p ( x ; θ ) f i ( x ) = E p f i ( x ) , i = 1 , 2 , . . . , M .
From the Legendre transformation (5) and Equation (13), we see that:
E p ln p ( x ; θ ) = S ( η ) = m θ m E p f m ( x ) Ξ ( θ ) = E p m θ m f m ( x ) Ξ ( θ ) .
We thus obtain that:
ln p ( x ; θ ) = m θ m f m ( x ) Ξ ( θ ) ,
and consequently, we see that the p ( x ; θ ) is an exponential pdf:
p ( x ; θ ) = exp m θ m f m ( x ) Ξ ( θ ) .
The quantity:
i θ ( x ) i ln p ( x ; θ ) , i = 1 , 2 , , M ,
is called the score function in statistics, and it has zero expectation, i.e.,
E p i θ ( x ) d x p ( x ; θ ) i ln p ( x ; θ ) = d x i p ( x ; θ ) = i E p 1 = 0 ,
which is due to the normalization E p 1 = 1 of any pdf p ( x ; θ ) . From this, we readily confirm Relation (6) as:
0 = E p i θ ( x ) = E p f i ( x ) i Ξ ( θ ) = η i i Ξ ( θ ) .
Let us introduce Fisher’s information matrix g i j F defined by:
g i j F ( θ ) E p i θ ( x ) j θ ( x ) . i , j = 1 , 2 , , M .
Differentiating both sides of Equation (18) with respect to θ, we obtain:
d x i p ( x ; θ ) j θ ( x ) = d x p ( x ; θ ) i j θ ( x ) .
Using this relation, the Fisher metric g F can be written equivalently in other different expressions:
(22) g i j F = d x i p ( x ; θ ) j θ ( x ) (23) = d x p ( x ; θ ) i j θ ( x ) (24) = d x 1 p ( x ; θ ) i p ( x ; θ ) j p ( x ; θ ) .
In particular, substituting Equation (15) into (23), we readily confirm that:
g i j F = i j Ξ ( θ ) = g i j R ,
that is this Fisher metric for the exponential pdf (16) is a Hessian matrix and coincides with the inverse matrix of Ruppeiner metric ( g R ) i j .

3. Preliminaries

In information geometry [6], a pair of dually-flat affine connections plays an essential role in the geometrical methods of statistical inference. A well-known dually-flat space is the statistical manifold of the exponential family, which can be naturally considered as a Hessian manifold.

3.1. Hessian Geometry

We here briefly review the basics of the Hessian manifold. For more details, please see [17]. Let M be a manifold, h be a positive definite metric and ( M , h ) be a Riemannian manifold. For an affine connection ∇, we can define the dual connection of ∇ associated with h by:
X h ( Y , Z ) = h ( X Y , Z ) + h ( Y , X Z ) ,
where X , Y and Z are vector fields on M . The affine connection ∇ is also the dual of . We say that ∇ is curvature free if the curvature tensor:
R ( X , Y ) Z X Y Z Y X Z [ X , Y ] Z ,
vanishes everywhere on M . Here, [ X , Y ] X Y Y X . The torsion tensor T is defined by:
T ( X , Y ) X Y Y X [ X , Y ] ,
and we say that ∇ is torsion free if T vanishes everywhere on M .
An affine connection ∇ is assumed to be torsion free in this study. If an affine connection ∇ is curvature free, we say that the ∇ is flat. In this case, there exists a coordinate system { θ i } on M locally, such that the connection coefficients { Γ i j k } of ∇ vanish on the coordinate neighborhood. Such a coordinate system { θ i } is called an affine coordinate system.
For a Riemannian manifold ( M , h ) and a flat affine connection ∇ on M , the set ( , h ) is called a Hessian structure on M if there exists, at least locally, a function Ψ, such that h = d Ψ . This is expressed, in the coordinate form, as:
h i j ( θ p ) = i j Ψ ( θ p ) ,
where θ p is the coordinate of an arbitrary point p on M .
It is known that for a Hessian manifold ( M , , h ) and the dual coordinate systems { θ i } for ∇ and { η i } for , there exists a pair of the potential functions Ψ and Ψ on M , such that:
Ψ ( θ p ) + Ψ * ( η p ) θ p · η p = 0 ,
θ i = i Ψ * ( η ) , η i = i Ψ ( θ ) ,
h i j = i j Ψ ( θ ) , h i j = i j Ψ ( η ) ,
where the matrix h i j of a Riemannian metric h ( θ ) is the inverse matrix h i j of h ( η ) , and vice versa. The potential functions Ψ ( θ ) and Ψ * ( η ) are Legendre dual to each other and are called θ- and η-potential functions, respectively. Note also that ( M , , h ) is a Hessian manifold associated with the potential function Ψ .
For the exponential pdf:
p ( x ; θ ) = exp m θ m f m ( x ) Ψ ( θ ) ,
it is well known that Fisher metric g F is expressed as the Hessian of the potential function, e.g.,:
g i j F ( θ ) = i j Ψ ( θ ) .
From Equation (33), we obtain
i θ ( x ) = i ln p ( x ; θ ) = f i ( x ) i Ψ ( θ ) .
Substituting this relation into Definition (20) and using η i = i Ψ ( θ ) , we see that:
g i j F ( θ ) = E p f i E p f i f j E p f j , i , j = 1 , 2 , , M ,
which is the covariance matrix characterizing the expectation of the fluctuations around the expectations E p f i . Physically, this means that the expectations of the relevant thermodynamic fluctuations characterize the metric g i j F of the statistical manifold M for the equilibrium thermodynamics. In addition, since g i j F = i η j , each component of g i j F describes a response function, which is the derivative of an extensive variable η j with respect to an intensive variable θ i . As a result, the physical interpretation of Relation (36) is given by the fluctuation-response relations [15,16] for an equilibrium thermal system.
The canonical divergence function [6] for the two points p and r on M can be defined by:
D ( p , r ) Ψ ( θ p ) + Ψ ( η r ) θ p · η r .
It is well known that for the exponential pdf, the canonical divergence coincides with the Kullback–Leibler (KL) divergence. In addition, for the exponential pdf p ( x ; θ ) and an arbitrary pdf r ( x ) , we have:
d x r ( x ) ln p ( x ; θ ) = d x r ( x ) m θ m f m ( x ) Ψ ( θ p ) = θ p · η r Ψ ( θ p ) .
Then, it follows that:
D ( p , r ) = Ψ ( η r ) θ p · η r Ψ ( θ p ) = d x r ( x ) ln r ( x ) ln p ( x ; θ ) = d x r ( x ) ln r ( x ) p ( x ; θ ) .
The dual affine connections ( e ) and ( m ) are induced from the Fisher metric. The Christoffel symbol Γ i j , k ( e ) of the first kind for the e-affine connection ( e ) and that Γ i j , k ( m ) for the m-affine connection ( m ) are defined so that the next relation holds: [6]:
i g j k F = Γ i j , k ( e ) + Γ i j , k ( m ) .
More specifically, they are explicitly given by:
Γ i j , k ( e ) d x k p ( x ; θ ) i j θ ( x ) = E p k θ i j θ ( x ) ,
Γ i j , k ( m ) d x i j p ( x ; θ ) k θ ( x ) = E p 1 p ( x ; θ ) i j p ( x ; θ ) k θ ( x ) ,
respectively.

3.2. κ-Thermostatistics

The κ-thermostatistics is a generalized thermostatistics [8] based on the κ-entropy S κ given by:
S κ d x p ( x ) ln κ p ( x ) = E p ln κ p ,
which mimics the Gibbs–Shannon entropy (11) by replacing the standard logarithm with the κ-logarithm. Here, the κ-logarithm ln κ x [10,11] is a deformed function of the standard logarithm ln x with a real parameter κ ( 1 , 1 ) .
ln κ x x κ x κ 2 κ = 1 κ sinh κ ln x ,
for x > 0 . Its inverse function is given by:
exp κ ( x ) κ x + 1 + κ 2 x 2 1 κ = exp 1 κ arcsinh κ x .
In the κ 0 limit, the κ-exponential and the κ-logarithm reduce to the standard exponential exp ( x ) and logarithm ln x , respectively.
We introduce another κ-deformed function:
u κ ( x ) x κ + x κ 2 = cosh κ ln x ,
which is, in a sense, the conjugate (or co-function) of ln κ x , as cos x is the co-function of sin x . In the κ 0 limit, this κ-deformed function reduces to the unit constant function u 0 ( x ) = 1 . Similar to the κ-entropy S κ being defined as the expectation of ln κ p ( x ) , we introduce the following function:
I κ d x p ( x ) u κ p ( x ) = E p u κ ( p ) ,
as the expectation of u κ ( p ( x ) ) . The κ-dependent constant α and λ are introduced so that they satisfy the following equations [13]:
d d x x ln κ x = λ ln κ x α = ln κ x + u κ ( x ) ,
d d x x u κ ( x ) = λ u κ x α = u κ ( x ) + κ 2 ln κ x ,
for any x > 0 . These equations for the α and λ can be derived [12] from the MaxEnt principle for the κ-entropy S κ , and the solutions are expressed as:
α = 1 κ 1 + κ 1 2 κ , λ = 1 κ 2 ,
which are related to each other according to:
α = exp κ 1 λ .
Note that in the standard limit of κ = 0 , the parameter α reduces to exp ( 1 ) , and Relation (48) reduces to the well-known form:
d d x x ln x = ln x + 1 .
In other words, Relation (48) is a κ-generalization of the standard Relation (52). In addition, Relation (49) is non-trivial unless κ = 0 , since it reduces to the trivial identity 1 = 1 when κ = 0 .

4. Dual Structures of the Hessian Geometries in the κ-Thermostatistics

In [16,19], we have derived the Legendre relations from the κ-deformed exponential pdf (see Equation (59)), which maximizes the κ-entropy S κ under the constraints:
η m = E p f m , m = 1 , 2 , , M ,
and the normalization of the pdf. Here, we follow the reverse order of the above derivation, i.e., starting from the Legendre relations, we derive the κ-deformed exponential pdf. We assume the Legendre relations for the θ- and η- potential functions Ψ κ ( θ ) and Ψ κ ( η ) :
Ψ κ ( θ ) = θ · η Ψ κ ( η ) ,
θ i = i Ψ κ ( η ) , η i = i Ψ κ ( θ )
with η m = E p f m and recognizing the potential functions as:
Ψ κ ( η ) = S κ ( η ) , Ψ κ ( θ ) = I κ ( θ ) + γ ( θ ) ,
Then, we can derive the κ-deformed exponential pdf as follows. Using the useful Identity (48), we see that:
E p λ ln κ p ( x ; θ ) α = E p ln κ p ( x ; θ ) + E p u κ ( p ( x ; θ ) = S κ ( η ) + I κ ( θ ) = Ψ κ ( η ) + Ψ κ ( θ ) γ ( θ ) = m = 1 M θ m E p f m γ ( θ ) = E p m = 1 M θ m f m ( x ) γ ( θ ) .
Comparing the both sides, we obtain that:
λ ln κ p ( x ; θ ) α = m = 1 M θ m f m ( x ) γ ( θ ) ,
from which the κ-deformed exponential pdf:
p ( x ; θ ) = α exp κ 1 λ m = 1 M θ m f m ( x ) γ ( θ ) ,
is derived. Note that unlike in the standard case in which a relevant pdf is exponential, the parameter θ i is not necessarily intensive and the variable η i is not necessarily extensive in general. In order to avoid misleading, we call θ i an external parameter, which characterize a state of the thermal systems described by the κ-deformed exponential pdf (59), and we call η i an expectation variable.
For a deformed exponential pdf, it is known [8] that the so-called escort pdf is naturally induced. We thus introduce the κ-escort pdf P ( x ; θ ) [13] with respect to p ( x ; θ ) by:
P ( x ; θ ) 1 U κ p ( x ; θ ) λ u κ p ( x ; θ ) α ,
where U κ is the normalization factor:
U κ d x p ( x ; θ ) λ u κ p ( x ; θ ) α ,
and the corresponding κ-escort expectation E P A of a function A ( x ) is defined by:
E P A d x P ( x ; θ ) A ( x ) .
Having described the basics concerning κ-thermostatistics, we now consider its Hessian geometry. The next theorem relates a generalized score function s ( x ) to the generalized pdf P ( x ) for which the expectation of s ( x ) becomes zero. This zero-expectation of a generalized score function s ( x ) is an important and useful property, which correctly leads to the Legendre relations between an expectation value η i and the relevant thermodynamic potential, as shown in (19) for the standard score function (17).
Theorem 1. 
For the general score function in the form:
s ( x ) = i Λ ( p ( x ) ) ,
with a given smooth differentiable functional Λ ( p ) of a pdf p ( x ) , the expectation of s ( x ) with respect to the P ( x ) becomes zero if we choose:
P ( x ) Λ 1 ( t ) t | t = Λ ( p ( x ) ) ,
where Λ 1 ( t ) denotes the inverse function of Λ ( t ) .
Proof. 
For any pdf p ( x ) , d x i p ( x ) = 0 because of the normalization d x p ( x ) = 1 . Then:
d x P ( x ) s θ ( x ) = 0 ,
if the condition:
P ( x ) i Λ ( p ( x ) ) = P ( x ) Λ ( p ) p i p ( x ) i p ( x ) ,
is satisfied. This means that:
P ( x ) 1 Λ ( p ) / p = Λ 1 ( t ) t | t = Λ ( p ( x ) ) .
Needless to say, an appropriate proportional factor is needed for the normalization of P ( x ) .  ☐
A well-known example is given by Λ ( p ) = θ ( x ) = ln p ( x ; θ ) , i.e., the score function of (17). In this case, P = p ( x ; θ ) , and Relation (18) is satisfied.
Now, let us introduce the κ-generalization θ ( κ ) of θ ( x ) :
θ ( κ ) λ ln κ p ( x ; θ ) α ,
which reduces to θ ( x ) + 1 in the limit of κ 0 . The inverse function of θ ( κ ) is:
( θ ( κ ) ) ( 1 ) ( t ) = α exp κ t λ ,
and by using the relation:
d d x exp κ ( x ) = exp κ ( x ) u κ exp κ ( x ) ,
we have:
( θ ( κ ) ) ( 1 ) ( t ) t | t = θ ( κ ) = p ( x ; θ ) λ u κ p ( x ; θ ) α P ( x ) ,
which is the κ-escort pdf Equation (60).
From Theorem 1, we see that the κ-score function i θ ( κ ) has zero κ-escort expectation:
E P i θ ( κ ) = 0 .
In addition, for the κ-exponential pdf (59), the κ-score function i θ ( κ ) becomes:
i θ ( κ ) = f i ( x ) i γ ( θ ) ,
and consequently, we have:
η i esc E P f i = i γ ( θ ) ,
where η i esc is the dual coordinate of θ i associated with the κ-escort expectations { E P f i } . Note also that the function γ ( θ ) is the θ-potential function associated with the κ-escort expectations { E P f i } . In this way, we have two different kinds of dual coordinates η i and η i esc for the same θ i coordinate. We also see that:
i E P θ κ 1 = i E P λ ln κ ( p ( x ; θ ) / α ) = i E P m θ m f m ( x ) γ = i m θ m E P f m γ = i m θ m η m e s c γ = θ i + m ( i θ m ) η m e s c i γ = θ i ,
where in the last step, we used:
i γ = m ( i θ m ) m γ = m ( i θ m ) η m e s c .
The Legendre relations concerning η esc are summarized as follows:
Ψ κ esc ( θ ) = γ ( θ ) + 1 , Ψ κ esc ( η esc ) = E P θ ( κ ) 1 ,
η i esc = E P f i = i γ ( θ ) , θ i = η i esc Ψ κ esc ( η esc ) ,
Ψ κ esc ( η esc ) = θ · η esc Ψ κ esc ( θ ) .
Of course, in the κ 0 limit, they reduce to the standard relations, respectively. Note that Ψ κ esc ( η esc ) is the κ-escort entropy, which is given by the κ-escort expectation.
Due to Equation (72), the κ-score function i θ ( κ ) has non-zero expectation:
E p i θ ( κ ) 0 ,
in other words, it is biased. We then introduce the bias correction term E p i θ ( κ ) as:
i θ ( κ ) E p i θ ( κ ) .
However, as we will show below, it is remarkable that the bias correction term is expressed in terms of the function I κ in Equation (47).
Theorem 2. 
For the κ-score function i θ ( κ ) with the κ-generalized representation θ ( κ ) of Equation (68), the bias correction term is:
E p i θ ( κ ) = i I κ ( θ ) ,
where I κ ( θ ) is the expectation of u κ p ( x ; θ ) .
Proof. 
The direct calculation shows that:
E p i θ ( κ ) = d x p ( x ; θ ) i λ ln κ p ( x ; θ ) α = d x p ( x ; θ ) λ u κ p ( x ; θ ) α p ( x ; θ ) i p ( x ; θ ) = d x λ u κ p ( x ; θ ) α i p ( x ; θ ) = i d x p ( x ; θ ) u κ ( p ( x ; θ ) ) = i I κ ( θ ) ,
where we used the useful identities (48) and (49).  ☐
We hence introduce the modified κ-representation:
˜ θ ( κ ) θ ( κ ) I κ ( θ ) ,
and the modified κ-score function given by:
i θ ( κ ) I κ ( θ ) = i ˜ θ ( κ ) ,
which of course, has zero expectation:
E p i ˜ θ ( κ ) = 0 ,
by construction. Note that the modified κ-representation ˜ θ ( κ ) reduces to the standard one θ ( x ) in the limit of κ 0 , because of lim κ 0 I κ = 1 .
With the help of Equation (55), we can derive the following relations:
˜ θ ( κ ) = m = 1 M θ m f m ( x ) γ I κ = m = 1 M θ m f m ( x ) Ψ κ ( θ ) ,
i ˜ θ ( κ ) = f i ( x ) i Ψ κ ( θ ) ,
i j ˜ θ ( κ ) = i j Ψ κ ( θ ) ,
and from Equations (86) and (88), we confirm Relation (55) as:
0 = E p i ˜ θ ( κ ) = E p f i i Ψ κ ( θ ) = η i i Ψ κ ( θ ) .
Now, taking the expectation of the both sides of Equation (73) and using (74) and (82), we obtain the important relation:
i I κ ( θ ) = E p i θ ( κ ) = E p f i ( x ) i γ ( θ ) = E p f i ( x ) E P f i ( x ) .
Thus, the θ-derivatives of the function I κ ( θ ) characterizes the difference between the standard and κ-escort expectations. This sheds light for understanding a physical role of the I κ function. Note that since lim κ 0 I κ ( θ ) = 1 , the difference of the both expectations disappears in the standard limit of κ = 0 .
We now consider the κ-generalized metric, which is the Hessian matrix of the κ-deformed θ-potential function:
g i j ( κ ) i j Ψ κ ( θ ) .
Accounting for Relation (55), we can rewrite Equation (92) as:
g i j ( κ ) = i η j = i E p f j = d x i p ( x ; θ ) f ( x ) ,
and taking into account the relation:
i p ( x ; θ ) = p ( x ; θ ) λ u κ ( p ( x ; θ ) α ) f i ( x ) i γ = U κ P ( x ; θ ) f i ( x ) i γ ,
we obtain:
g i j ( κ ) = i E p f j = d x i p ( x ; θ ) f j ( x ) = U κ d x P ( x ; θ ) f i ( x ) i γ f j ( x ) = U κ d x P ( x ; θ ) f i ( x ) E P f i f j ( x ) = U κ E P f i ( x ) E P f i f j ( x ) , = U κ E P ( f i E P f i ) ( f j E P f j ) ,
which states that the response function i E p f j associated with the expectation E p f j is related to the fluctuation associated with the κ-escort expectation. This is a κ-generalization of the standard fluctuation-response relation, as pointed out firstly by Naudts [8]. In the previous work [16], we applied the result (95) to a κ-generalization of the grand-canonical ensemble. We emphasized that the response functions for the standard expectations are related to the κ-escort expectations of the fluctuations around the κ-escort expectations.
Similarly, we next consider the κ-generalized escort metric, which is the Hessian matrix of the κ-escort θ-potential function Ψ κ esc ( θ ) :
g i j ( κ esc ) i j Ψ κ esc ( θ ) = i η j esc = i E P f j = d x i P ( x ; θ ) f ( x ) .
Taking the derivative of the normalization factor U κ of (61) with respect to θ i , and using Relations (48), (49) and (94), we obtain:
i U κ = d x p ( x ; θ ) u κ p ( x ; θ ) λ u κ p ( x ; θ ) α 3 f i ( x ) i γ ( θ ) .
Similar to Relation (95), which relates the metric g ( κ ) to the thermodynamic fluctuations associated with the κ-escort expectation, we can relate the metric g ( κ esc ) to a certain kind of thermodynamic fluctuation. To this end, based on Relation (97), we introduce the double-escort pdf P ˜ ( x ; θ ) defined by:
P ˜ ( x ; θ ) 1 U ˜ κ p ( x ; θ ) u κ p ( x ; θ ) λ u κ p ( x ; θ ) α 3 ,
which is the escort pdf of the κ-escort pdf (60), and U ˜ κ denotes the normalization factor:
U ˜ κ d x p ( x ; θ ) u κ p ( x ; θ ) λ u κ p ( x ; θ ) α 3 ,
The double-escort κ-expectation E ˜ P ˜ A of a function A ( x ) is defined by:
E ˜ P ˜ A d x P ˜ ( x ; θ ) A ( x ) .
By using the double-escort κ-expectation, Relation (97) is expressed as:
i U κ = U ˜ κ E ˜ P ˜ f i E P f i ,
which is similar to Relation (91), and we see that the η-derivatives of the normalization factor U κ characterize the difference between the double-escort κ-expectation and the κ-escort expectation.
By using the double-escort pdf, we obtain:
i P ( x ; θ ) = 1 U κ U ˜ κ P ˜ ( x ; θ ) f i ( x ) E P f i P ( x ; θ ) i U κ .
Substituting Relation (101) into this and after some calculations, we finally obtain that:
g i j ( κ esc ) = i E P f j = d x i P ( x ; θ ) f j ( x ) = U ˜ κ U κ E ˜ P ˜ ( f i E P f i ) ( f j E P f j ) ,
which is the κ-generalization of the fluctuation-response relation associated with the double-escort κ-expectations. To the best of our knowledge, this is the first report to show Relation (103) in the literature.
Next, similar to the representation θ ( κ ) , we consider the quantity:
ł θ ( κ ) λ u κ p ( x ; θ ) α ,
as the co-representation of θ ( κ ) . From Relation (58), we see that:
ł θ ( κ ) = λ 2 + κ 2 m θ m f m ( x ) γ ( θ ) 2 .
We think that this new quantity represents a certain kind of fluctuation characterized by the deformed parameter κ. The difference between the expectation of θ ( κ ) and that of ł θ ( κ ) is:
E p θ ( κ ) E p ł θ ( κ ) = E p m θ m f m ( x ) γ ( θ ) E p u κ p ( x ; θ ) + κ 2 ln κ p ( x ; θ ) = θ · η γ ( θ ) I κ κ 2 Ψ κ ( η ) = θ · η Ψ κ ( θ ) κ 2 Ψ κ ( η ) = ( 1 κ 2 ) Ψ κ ( η ) .
Note that this relation is non-trivial unless κ = 0 and in the limit of κ 0 Relation (106) reduces to the definition E p ln p ( x ; θ ) = Ψ ( η ) .
Taking the κ-escort expectation of (105), we see that:
E P ł θ ( κ ) = 1 U κ d x p ( x ; θ ) λ u κ p ( x ; θ ) α λ u κ p ( x ; θ ) α = 1 U κ d x p ( x ; θ ) = 1 U κ ,
which states that the normalization factor U κ of the κ-escort pdf characterizes the expectation of the above fluctuations. Next, taking derivative of ł θ ( κ ) with respect to η i , we have:
i ł θ ( κ ) = κ 2 m θ m f m ( x ) γ ( θ ) i m θ m f m ( x ) γ ( θ ) λ 2 + κ 2 m θ m f m ( x ) γ ( θ ) 2 = κ 2 λ ln κ p ( x ) α λ u κ p ( x ) α i θ ( κ ) .
Then, the expectation of the tangent vector i ł θ ( κ ) becomes:
E p i ł θ ( κ ) = d x p ( x ) i λ u κ p ( x ) α = d x p ( x ) κ 2 λ ln κ p ( x ) α p ( x ) i p ( x ) = κ 2 d x λ ln κ p ( x ) α i p ( x ) = κ 2 i d x p ( x ) ln κ p ( x ) = κ 2 i Ψ κ ( η ) = κ 2 θ i ,
which is the corresponding relation to (82).
Finally, we derive the canonical divergences for the two dualistic Hessian structures. For the κ-deformed exponential pdf p ( x ; θ ) and an arbitrary pdf r ( x ) , we have:
d x r ( x ) ln κ p ( x ; θ ) + d x r ( x ) u κ p ( x ; θ ) = d x r ( x ) λ ln κ p ( x ; θ ) α = d x r ( x ) m ( θ p ) m f m ( x ) γ ( θ p ) = θ p · η r γ ( θ p ) .
Then, the canonical divergence [13] associated with the potential functions Ψ κ ( θ ) and Ψ κ ( η ) becomes:
D ( κ ) ( p , r ) = Ψ κ ( η r ) θ p · η r Ψ κ ( θ p ) = d x r ( x ) ln κ r ( x ) ln κ p ( x ; θ ) u κ p ( x ; θ ) + I κ ( θ p ) = d x r ( x ) ln κ r ( x ) ln κ p ( x ; θ ) d x r ( x ) p ( x ; θ ) u κ p ( x ; θ ) ,
which reduces to the KL divergence (39) in the limit of κ 0 .
Similarly, for the κ-deformed exponential pdf p ( x ; θ ) and an arbitrary pdf r ( x ) , we have:
E R θ p ( κ ) = E R m ( θ p ) m f m ( x ) γ ( θ p ) = θ p · η r esc γ ( θ p ) ,
where E R [ ] denotes the κ-escort expectation with respect to r ( x ) . Then, the canonical divergence associated with the potential functions Ψ κ esc ( θ ) and ( Ψ esc ) κ ( η ) becomes:
D ( esc κ ) ( p , r ) = ( Ψ κ esc ) ( η r ) θ p · η r esc Ψ κ esc ( θ p ) = E P θ r ( κ ) 1 θ p · η r esc γ ( θ p ) 1 = E P θ r ( κ ) E R θ p ( κ ) = E P ln κ r ( x ) + u κ r ( x ) E R ln κ p ( x ; θ ) + u κ p ( x ; θ ) ,
which also reduces to the KL divergence Equation (39) in the limit of κ 0 .

5. Conclusions

We have studied the dualistic Hessian geometries among the thermodynamic potentials in the κ-thermostatistics. Since a deformed exponential pdf naturally induces the escort pdf [8] in general, the κ-deformed exponential pdf also induces the κ-escort pdf. Consequently, it is important to take into account both kinds of expectations: one is the κ-escort expectation, and the other is the standard expectation. The Legendre relations among the thermodynamic potentials concerning both expectations are explored, and we have found a remarkable feature that for the affine-coordinate θ, there exist the two different kinds (η and η esc ) of the dual affine-coordinates. The two different κ-deformed metrics g ( κ ) and g ( κ esc ) are related to the thermodynamic fluctuations (95) and (103), respectively. Particularly, in order to establish the new κ-generalization (103) of the fluctuation-response relation, we introduced the double-escort κ-expectation given in (100). We believe that these κ-generalizations of the fluctuation-response relation play important roles in a future study of a non-equilibrium thermodynamic system described in the κ-thermostatistics.
Further studies are necessary to understand the roles of the different kinds of the dual affine-coordinates in thermodynamic geometries concerning the deformed functions. In addition, since the independence of an exponential pdf plays a fundamental role in the equilibrium statistical physics and thermodynamics, it is interesting to further study the generalization of the independence on a deformed pdf [20] based on the results obtained in this study.

Acknowledgments

The first named author is partially supported by the Japan Society for the Promotion of Science (JSPS) Grants-in-Aid for Scientific Research (KAKENHI) Grant Number 25400188. The second named author is partially supported by the JSPS Grants-in-Aid for Scientific Research (KAKENHI) Grant Number 26108003 and 15K04842.

Author Contributions

Tatsuaki Wada designed the main part of the research with the help of the rest of authors and mainly wrote the manuscript. Hiroshi Matsuzoe and Antonio M. Scarfone commented on the manuscript at all stages. All authors equally performed the research and discussed the results. All authors have read and approved the final manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Gibbs, J.W. A Method of Geometrical Representation of the Thermodynamic Properties of Substances by Means of Surfaces. Trans. Conn. Acad. 1873, II, 382–404. [Google Scholar]
  2. Pogliani, L.; Berberan-Santos, M.N. Constantin Carathéodory and the axiomatic thermodynamics. J. Math. Chem. 2000, 28, 313–324. [Google Scholar] [CrossRef]
  3. Ruppeiner, G. Riemannian geometry in thermodynamic fluctuation theory. Rev. Mod. Phys. 1995, 67, 605–659. [Google Scholar] [CrossRef]
  4. Weinhold, F. Metric geometry of equilibrium thermodynamics, I-IV. J. Chem. Phys. 1975, 63, 2479–2501. [Google Scholar] [CrossRef]
  5. Weinhold, F. Metric geometry of equilibrium thermodynamics, V. J. Chem. Phys. 1976, 65, 559–564. [Google Scholar] [CrossRef]
  6. Amari, S.; Nagaoka, H. Methods of Information Geometry; American Mathematical Society: Providence, RI, USA, 2000. [Google Scholar]
  7. Tsallis, C. Introduction to Nonextensive Statistical Mechanics: Approaching a Complex World; Springer: New York, NY, USA, 2009. [Google Scholar]
  8. Naudts, J. Generalized Thermostatistics; Springer: Berlin, Germany, 2011. [Google Scholar]
  9. Kaniadakis, G.; Scarfone, A.M. A new one-parameter deformation of the exponential function. Physica A 2002, 305, 69–75. [Google Scholar] [CrossRef]
  10. Kaniadakis, G. Statistical mechanics in the context of special relativity. Phys. Rev. E 2002, 66, 056125. [Google Scholar] [CrossRef]
  11. Kaniadakis, G. Statistical mechanics in the context of special relativity II. Phys. Rev. E 2005, 72, 036108. [Google Scholar] [CrossRef]
  12. Kaniadakis, G. Maximum entropy principle and power-law tailed distributions. Eur. J. Phys. B 2009, 70, 3–13. [Google Scholar] [CrossRef]
  13. Scarfone, A.M.; Wada, T. Legendre structure of κ-thermostatistics revisited in the framework of information geometry. J. Phys. A Math. Theor. 2014, 47, 275002. [Google Scholar] [CrossRef]
  14. Kaniadakis, G. Theoretical foundations and mathematical formalism of the power-law tailed statistical distributions. Entropy 2015, 15, 3913–4010. [Google Scholar] [CrossRef]
  15. Callen, H.B. Thermodynamics; Wiley: New York, NY, USA, 1960. [Google Scholar]
  16. Wada, T.; Scarfone, A.M. Information geometry on the κ-thermostatistics. Entropy 2015, 17, 1204–1217. [Google Scholar] [CrossRef]
  17. Matsuzoe, H.; Henmi, M. Hessian structures and divergence functions on deformed exponential families. In Geometric Theory of Information, Signals and Communication Technology; Nielsen, F., Ed.; Springer: Berlin, Germany, 2014; pp. 57–80. [Google Scholar]
  18. Brillouin, L. Negentropy Principle of Information. J. Appl. Phys. 1953, 24, 1152–1163. [Google Scholar] [CrossRef]
  19. Scarfone, A.M.; Wada, T. Canonical partition function for anomalous systems described by the κ-entropy. Prof. Theor. Phys. Suppl. 2006, 162, 45–52. [Google Scholar] [CrossRef]
  20. Matsuzoe, H.; Wada, T. Deformed algebras and generalizations of independence on deformed exponential families. Entropy 2015, 17, 5729–5751. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Wada, T.; Matsuzoe, H.; Scarfone, A.M. Dualistic Hessian Structures Among the Thermodynamic Potentials in the κ-Thermostatistics. Entropy 2015, 17, 7213-7229. https://doi.org/10.3390/e17107213

AMA Style

Wada T, Matsuzoe H, Scarfone AM. Dualistic Hessian Structures Among the Thermodynamic Potentials in the κ-Thermostatistics. Entropy. 2015; 17(10):7213-7229. https://doi.org/10.3390/e17107213

Chicago/Turabian Style

Wada, Tatsuaki, Hiroshi Matsuzoe, and Antonio M. Scarfone. 2015. "Dualistic Hessian Structures Among the Thermodynamic Potentials in the κ-Thermostatistics" Entropy 17, no. 10: 7213-7229. https://doi.org/10.3390/e17107213

Article Metrics

Back to TopTop