in theoretical astrophysics the steady increase in computational power has sparked a proportional interest and progress in the study of large - scale structure formation . in particular , as @xmath0-body simulations of cold dark matter halos have become more detailed , several
universal  properties have emerged .
we highlight three important characteristics .
firstly , numerous cosmological studies ( e.g. * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
* ) revealed similar density profiles over several orders of magnitude in halo mass , with a central cusp and an a @xmath7 falloff at large radii .
these generalized nfw models can be described by a general 3-parameter family , referred to as the zhao models ( or @xmath8-models ) @xcite .
they are defined by the density @xmath9 or in terms of the logarithmic slope , @xmath10 although in recent years alternative profiles based on the srsic law have produced equally good results @xcite , the generalized nfw models remain very popular and successful to represent dark matter halos .
a second relation was found by @xcite .
these authors identified that the quantity @xmath11 , which has become known as the pseudo phase - space density , behaves as a power law over 2 - 3 orders of magnitude in radius inside the virial radius , @xmath12 other studies ( e.g. * ? ? ?
* ; * ? ? ?
* ) have confirmed the scale - free nature of @xmath13 , and their results indicate that its slope lies in the range @xmath14 .
this property is remarkable since the density @xmath15 nor the velocity dispersion @xmath16 separately show a power - law behavior .
finally , the velocity anisotropy profiles @xmath4 of dark matter systems also evolve toward a similar shape , steepening gradually from isotropic in the center to radially anisotropic in the outer regions .
@xcite suggest a nearly linear relation between the logarithmic density slope @xmath17 and the velocity anisotropy profile , based on various types of equilibrated simulations .
they proposed the @xmath2 relation @xmath18    several theoretical studies have been made to investigate whether solutions of the jeans equation exist that encompass the observed properties of dark matter halos .
in particular , @xcite investigated the anisotropic jeans equation constrained by a slightly different form of the pseudo phase - space density , namely @xmath19 with @xmath20 the radial velocity dispersion .
they found a special solution , namely an analytical self - consistent potential - density pair of the form ( [ zhao ] ) with an anisotropy profile @xmath21 that also has an exactly linear @xmath2 relation ( in other words , @xmath22 and @xmath23 ) .
as these jeans models satisfy the three universal relations mentioned above , we can consider them as representative models for realistic dark matter halos .
the goal of this paper is to take the analytical study of dark matter systems a step further , i.e.  to look for full dynamical models that encompass the universal properties found in @xmath0-body simulations . in concreto
we will look for phase - space distribution functions ( dfs ) @xmath24 that self - consistently generate the required density , potential , and anisotropy profiles encountered in dark matter halos .
such dynamical models would provide a very useful complementary approach to gain insight into the structure of dark matter halos .
we shall focus on spherical models , for which a dynamical description simplifies substantially as in this case the df can be expressed as a function @xmath25 of the binding energy and the angular momentum . but even if we limit ourselves to the spherical case , it is not straightforward to obtain such dynamical models .
a simple approach is to solve the jeans equation and approximate the velocity dispersion profiles by a multivariate gaussian @xcite .
@xcite demonstrated however that these systems are far from equilibrium , thus losing their initial dynamical structure as they evolve to non - gaussian velocity distributions in subsequent @xmath0-body simulations .
we therefore need the tools to derive full self - consistent equilibrium models , governed by dfs with a sufficiently general velocity anisotropy profile .
simple analytical models are found for only a few special cases , such as the plummer , hernquist , isochrone , and @xmath26-models , none of which are able to describe realistic dark matter halos . for general potential - density pairs , @xcite and @xcite provided an algorithm to construct dynamical models with a specific velocity anisotropy profile of the form ( [ betagen ] ) , with @xmath27 , @xmath28 and @xmath29 , leaving @xmath30 as a free parameter .
while the osipkov - merritt method has been widely adopted ( e.g. * ? ? ?
* ; * ? ? ?
* ) , comparison with simulations shows that such anisotropy profiles are too steep to describe dark matter @xcite .
halos are not completely radial at infinity ( i.e.  @xmath31 ) and the linear @xmath2 relation can only be realized with a lower transition rate @xmath32 . on a dynamical note ,
the associated dfs are of the form @xmath33 with @xmath34 , creating an unphysical cut - off boundary for orbits with @xmath35 .
hence , the osipkov - merritt framework is too limited to generate realistic dark matter systems , and a more extensive method is needed .
recently , @xcite presented an interesting approach to generate dynamical models for potential - density pairs with a more general anisotropy profile .
they proposed to express the df as a separable function of the form @xmath36 where @xmath37 is a double power - law function with three parameters @xmath5 , @xmath6 , and @xmath38 .
once their values have been determined , the function @xmath39 is derived from the observed density profile by a numerical inversion .
this technique yields a three - parameter anisotropy profile that resembles eq .
( [ betagen ] ) , where @xmath38 has a similar role as @xmath30 , and a fixed transition rate @xmath40 . in this manner
, the authors were able to construct models with an nfw density with velocity dispersion profiles that agreed with their dark matter simulations .
in this paper , we present a technique that enables us to obtain dynamical models with exactly the four - parameter anisotropy profile  ( [ betagen ] ) .
we demonstrated in a previous paper how this can be achieved , by postulating a separable parameterized form of the so - called augmented density , which provides an equivalent description of a dynamical system .
in certain special cases the transformation from the augmented density to the df is analytically tractable .
we were thus able to derive a family of dfs for the generalized plummer models ( also called @xmath41-models or veltmann models , @xcite ) with a linear @xmath2 relation .
since the generalized plummer potential - density pairs form a special class of the zhao models  ( [ zhao ] ) , we will now demonstrate that this result is a first step toward more representative dark matter profiles .
in particular , we seek a family of dfs for the dehnen - mclaughlin systems , because of their unique property to satisfy a universal density , a power law @xmath42 , and a linear @xmath2 relation .
we use a quadratic programming technique @xcite to build dfs as a linear combination of base functions of the form derived in . in this manner , we demonstrate that it is indeed possible to generate full dynamical models for the dehnen - mclaughlin jeans models , thus providing dfs that encompass the observed properties of dark matter halos .    our paper is organized as follows . in section  [ preliminaries.sec ]
we describe the notion of a dynamical model and we briefly summarize the main aspects of the dehnen - mclaughlin halos .
next we outline our modeling technique in section  [ modeling.sec ] : we explain the quadratic programming algorithm and we recapitulate the functions that we derived in . with these components , we can build a library to apply the qp - method to the dehnen - mclaughlin halos . in section  [ results.sec ]
we present our results for a set of systems with different velocity anisotropy profiles , and we discuss the moments , phase - space dfs , and energy and angular momentum distributions for these models .
finally , we formulate our conclusions in section  [ conclusions.sec ] .
the dynamical structure of a gravitational equilibrium system is completely determined by the df @xmath24 , which describes the probability distribution of particles in six - dimensional phase space .
a dynamical model is only physical if its df is non - negative everywhere . in the case of spherical symmetry
, this df can be written as a function @xmath25 of two isolating integrals , namely the binding energy and the angular momentum @xmath43 with @xmath44 the transverse velocity , and @xmath45 the positive binding potential .
for circular orbits the integrals of motion can be written in function of the radius @xmath46 , @xmath47 which can be solved to obtain @xmath48 and @xmath49 .
all dynamical properties can be derived from the df , such as the anisotropic velocity moments @xmath50 with @xmath51 the total mass .
if the system is self - consistent , then the density @xmath52 is connected to the potential via the poisson equation @xmath53 furthermore , the second - order moments determine the radial and tangential velocity dispersions @xmath54 and @xmath55 , and the velocity anisotropy profile @xmath56 a df is only fully determined when all velocity moments  ( [ momdf ] ) are known @xcite . however , it is already far from trivial to obtain _ any _ non - negative df that adequately generates a given density @xmath15 and anisotropy profile @xmath4 . in this paper , we will focus our attention to one specific family of halos , namely the dehnen - mclaughlin jeans models , and we demonstrate that a family of dfs can indeed be constructed for these systems .      in the context of theoretical dark matter studies ,
the model derived by @xcite is of particular interest .
we summarize their main results in this section . instead of fitting a parameterized density profile to @xmath0-body simulations , they investigated the solution space of the jeans equation to search for models that explicitly obey the power - law behavior of the pseudo phase - space density . with the extra condition of a linear @xmath2 relation they found a critical solution that satisfies the condition @xmath57 with @xmath58 a scale radius
in the remainder of this paper , we adopt the common value @xmath59 and use the notation @xmath19 .
dehnen & mclaughlin derived for this case the exponent @xmath60 with @xmath5 the central velocity anisotropy .
the corresponding potential - density pair is fully analytical , given by @xmath61 where @xmath62 , @xmath63 is the incomplete beta function and @xmath64 the density can be equivalently written in terms of the slope @xmath17 , which has the same elegant form as the velocity anisotropy profile @xmath4 @xmath65 finally , the authors derived the corresponding velocity dispersions @xmath66 eqs .
( [ pseudodens])-([sigmatdehnen ] ) characterize the dehnen - mclaughlin models ; we refer to their paper for more details .
these systems are determined by five parameters : the exponent @xmath67 in the pseudo phase - space density , two scaling constants i.e.  the total mass @xmath68 and the scale radius @xmath58 , and the asymptotic anisotropy parameters @xmath5 and @xmath6 .
the authors also noted the remarkable property that the shape of the density profile ( and hence the gravitational potential ) only depends on @xmath5 and not on @xmath6 .
while the dehnen - mclaughlin jeans models are derived from theoretical considerations , they also fit adequately galaxy - sized and certain cluster - sized halos generated by @xmath0-body simulations @xcite . but as mentioned in the previous section , the density and velocity dispersions alone do not determine the complete dynamical state of dark matter systems .
we therefore aim to incorporate these profiles into self - consistent dynamical models , described by non - negative dfs .
to find dfs that describe the dehnen - mclaughlin jeans models , we adopt the mathematical framework that we derived in .
these tools enabled us to construct a family of components with the anisotropy profile  ( [ betagen ] ) , by means of the powerful augmented density concept .
we summarize these results , and we demonstrate how to build a linear combination of these components using a quadratic programming ( qp ) technique @xcite . in this manner , we can fit a dynamical model to a given halo .      since our dynamical models have to reproduce the moments  ( [ rhodehnen ] ) , ( [ sigmardehnen ] ) and ( [ sigmatdehnen ] ) , we first seek dfs that are specifically designed for this task .
this can be done by introducing the augmented densities @xmath69 @xcite , which extend the densities to explicit functions of both the radius and the gravitational potential . like the df
, the augmented density uniquely determines the dynamical state of a spherical equilibrium system .
both functions are connected by the relation @xmath70 if we define that all functions are zero when their arguments lie outside their physical bounds , we can use the laplace - mellin transforms @xmath71 with the inverse transforms @xmath72 combining these expressions with ( [ augdens ] ) , we obtain @xmath73 interchanging the integrals yields the formal relation @xmath74 the main strength of the augmented density formalism is the ability to impose very specific conditions on these functions , to obtain our objective .
more precisely , we demonstrated in that separable functions of the form @xmath75 are particularly interesting , since in this case @xmath76 is directly related to the velocity anisotropy profile , @xmath77 with this formalism it is therefore at least formally possible to generate a df for a dynamical system with a given potential @xmath45 , density @xmath15 , and velocity anisotropy profile @xmath4 .
if we postulate an anisotropy profile of the form ( [ betagen ] ) , the modeling procedure reduces to the computation of @xmath78 such that @xmath79 with @xmath80 and @xmath81 evidently , the exact solution @xmath78 is generally of numerical form , except for a few special cases .
this creates a problem to recover the df from the augmented density , because a direct inversion of the laplace - mellin transformation in ( [ rhodf ] ) is in general numerically unstable @xcite .
indeed , the double integration in ( [ augdens ] ) smooths features in @xmath25 and the inversion procedure of determining @xmath25 from @xmath69 has the delicate job of unsmoothing the information contained in @xmath69 .
consequently , a direct inversion can only be performed safely for sufficiently simple forms of @xmath78 .
we therefore take an alternative approach . instead of solving ( [ rhoisrho ] )
directly , we will approximate the given density profile by a linear combination of simple base functions @xmath82 for which the laplace - mellin inversions are analytical .
the corresponding df is then simply the same linear combination of the associated base dfs @xmath83 , resulting in an analytically tractable function .
this can be achieved by a least squares fit to a set of density data points , defining a quadratic programming problem in the unknown coefficients .
various authors have successfully used a similar modeling technique @xcite . a qp - algorithm , suited for this task ,
has been developed in our department @xcite , which we outline in the following section .
consider a given potential @xmath45 , an anisotropy profile @xmath4 of the form ( [ betagen ] ) and a set of @xmath84 density data points @xmath85 , @xmath86 .
to model these data , we first construct a library of @xmath87 base functions @xmath88 with @xmath89 sufficiently simple to compute the associated distributions @xmath83 . from these components
, we can extract the corresponding values @xmath90 our aim is now to construct a linear combination of @xmath0 components from this library that provides an adequate fit to the given data .
such a fit can be obtained in a statistically meaningful way by minimizing the quantity @xmath91 which is a quadratic function of the coefficients @xmath92 , consequently defining a quadratic programming problem .
the data points are given equal weights by setting the constants @xmath93 .
to find such a set , we use an iterative algorithm @xcite . with this method , a set of components is successively built in @xmath0 steps . in the first step ,
@xmath87 @xmath94-minimizations are performed using in turn each component of the library .
the base function that yields the lowest @xmath94-value ( hereafter denoted @xmath95 ) is retained as the first element of our best - fitting set , with corresponding coefficient @xmath96 . in each next iteration ,
the functions in this set are preserved , while the coefficients are allowed to vary .
the set is subsequently extended by adding the component from the library that yields the most improvement of the fit , minimizing over all coefficients . in other words , suppose we have obtained the best - fitting set of @xmath97 base functions , with indices @xmath98 .
then , we add in turn the remaining @xmath99 components from the library , and calculate the @xmath0 coefficients for each combination by means of the @xmath94-minimizations @xmath100 from these @xmath99 values , we determine the best fit @xmath101 and add the base function with index @xmath102 to the best - fitting set , denoting @xmath103 . by renaming the indices of this set , we thus obtain a linear combination of @xmath0 base functions @xmath104 with coefficients @xmath92 and a goodness of fit @xmath105 .
the corresponding df is then simply @xmath106 the qp - algorithm allows additional linear constraints on the coefficients .
in particular , we impose upper and lower boundaries @xmath107 these constraints are not necessary , but they greatly reduce the computational cost in the calculation of the df . the reason for this is straightforward : if the components are computed with numerical errors @xmath108 then the total numerical error of the df is @xmath109 the higher the absolute values of the coefficients @xmath110 , the smaller the errors @xmath108 need to be to obtain a given @xmath111 , which increases the computational time .
sensible boundary values ( [ qp4 ] ) enable efficient calculations of the df , while maintaining satisfactory fits .
the resulting df also needs to be physical , i.e.  non - negative everywhere in phase space .
we found that all our dfs automatically satisfy this condition without imposing explicit constraints .
this procedure has several advantages .
the resulting df remains analytically tractable , which also simplifies the computation of all the moments of this dynamical model .
furthermore , only a limited number of data points are required , rather than the entire density profile .
the same algorithm can also be applied to data extracted from simulations or observations , and a variety of different moments besides the density can be used in the fitting procedure .    finally ,
since all components have a priori the desired @xmath4 , their linear combination will automatically generate the same anisotropy profile .
this is a very significant benefit . indeed
, practice has shown that it is particularly difficult to construct radially anisotropic systems from base functions that are too simple ( such as fricke components , @xcite ) with different constant anisotropies . in that case an additional fitting is required to the second - order moments . but
more importantly , because radial orbits influence the density both at small and large radii , the summation of components with different anisotropies results into a delicate fine - tuning to obtain adequate fits to both the density and the velocity anisotropy .
these problems are avoided if the components already have the correct anisotropy profile , and although it is more intricate to design such functions , this approach greatly reduces the complexity of the quadratic programming procedure .
we are now left with the construction of a library of adequate base functions @xmath104 .
the success of our modeling is largely determined by this library . as stated above
, the components have to generate the anisotropy profile ( [ betagen ] ) , while being sufficiently simple to retrieve the corresponding dfs @xmath83 from eq .
( [ rhodf ] ) .
in addition , the subsequent densities @xmath112 need to be able to reproduce the specific characteristics of the given data to obtain a satisfactory fit . in the particular case of the dehnen - mclaughlin halos ( [ rhodehnen ] ) , this implies that the components should incorporate the central density cusp and the asymptotic density slope at large radii , using the given potential ( [ psidehnen ] ) . in
we derived a family of base functions that meet all these requirements .
consider the family of augmented densities @xmath113 where @xmath114 are normalization constants such that @xmath115 and @xmath116 denotes the depth of the ( finite ) potential well , @xmath117 .
the normalization constants are chosen such that the sum of the coefficients of a good fit should approximate the total mass of the input data , i.e.  @xmath118 .
apart from the four fixed parameters that determine the anisotropy profile  ( [ betadehnen ] ) , the @xmath78-part of these functions contains three additional free parameters @xmath119 , @xmath120 and @xmath121 , which respectively determine the asymptotic behavior at infinity , the inner slope , and the transition rate between these two regions .
they satisfy the conditions @xmath122 , @xmath123 and @xmath124 .
all other dynamical properties can be calculated from these augmented densities .
the augmented higher - order moments are derived in appendix  [ augmom.sec ] , and we demonstrated in the appendices of that for these @xmath125 the inverse laplace - mellin transforms can be performed analytically in eq .
( [ rhodf ] ) .
the corresponding distribution functions can be expressed as a series of fox @xmath126-functions @xcite : @xmath127          \left(-\frac{\beta_0}{\delta},\frac{1}{\delta}\right ) &          \left(0,1\right )        \end{hmatrix }      \right.\!\ !
\right ) , \label{dffoxh}\end{aligned}\ ] ] which can be written as a double series @xmath128 where we used the auxiliary notation @xmath129 the double summation @xmath130 can be computed by changing the indices to @xmath131 , so that the inner summation becomes a finite sum of @xmath132 terms for each value of @xmath133 ; the index @xmath133 is increased until the total sum alters by less than a required numerical error @xmath108 . due to the double summation
, the computational time is an inverse quadratic function of @xmath108 .
we proved in that these base dfs are continuous and non - negative everywhere in physical phase space .
moreover , we showed that they generate exactly the generalized plummer potential - density pairs @xcite @xmath134 with a linear @xmath2 relation .
since these systems are closely related to the dehnen - mclaughlin halos , this is a promising result for the success of the quadratic programming routine .
the fortran source code with the df base functions and the augmented moments is available on request .
every given dehnen - mclaughlin halo requires a specific component library .
in particular , the parameters @xmath119 , @xmath120 are constrained by the potential . if we examine the asymptotic behavior of the dehnen - mclaughlin potential  ( [ psidehnen ] ) in more detail , we find @xmath135 introducing these asymptotic expansions in the expression  ( [ rhofam ] ) we find for the inner and outer slopes of the density @xmath136 evidently , the parameters @xmath119 stipulate the density slope at large radii . because the models fall as @xmath137 , no components can be used in the fitting routine that fall less rapidly . using eq .
( [ gammadehneni ] ) , this puts a boundary on the @xmath119 , @xmath138 conversely , the density slope at small radii depends on the parameters @xmath120 .
the density diverges toward the center as @xmath139 , and we can not use components in the fitting routine that have a steeper slope . thus we obtain from eq .
( [ gammadehnen0 ] ) @xmath140 so if a fit to a halo has at least one component with parameter @xmath141 and one with @xmath142 , this fit has the same slope as the given density at small and large radii .
finally , the parameters @xmath121 have a similar role as @xmath143 , in the sense that they control the transition rate between the inner and outer density slopes .
their value can be chosen freely , but we found that excellent results are obtained with a single fixed value @xmath144 for all components .
this is the same choice as the generalized plummer models in .
it also simplifies the computation of the dfs  ( [ dfbase1])-([dfbase2 ] ) , and it further facilitates the fitting process , leaving only @xmath119 and @xmath120 as free parameters .
crrrrrrrrrr    @xmath145 & @xmath146 & @xmath147 & @xmath148 & @xmath149 & @xmath150 & @xmath151 & @xmath152 & @xmath153 & @xmath154 & @xmath155 + @xmath114 & @xmath156 & @xmath157 & @xmath158 & @xmath159 & @xmath160 & @xmath161 & @xmath162 & @xmath163 & @xmath164 & @xmath165 + @xmath119 & @xmath166 & @xmath167 & @xmath168 & @xmath167 & @xmath169 & @xmath167 & @xmath170 & @xmath167 & @xmath167 & @xmath168 + @xmath120 & @xmath171 & @xmath171 & @xmath172 & @xmath173 & @xmath171 & @xmath174 & @xmath171 & @xmath175 & @xmath172 & @xmath171 + @xmath176 & @xmath177 & @xmath178 & @xmath179 & @xmath180 & @xmath181 & @xmath182 & @xmath183 & @xmath184 & @xmath185 & @xmath186 +    @xmath145 & @xmath187 & @xmath188 & @xmath189 & @xmath190 & @xmath191 & @xmath192 & @xmath193 & @xmath194 & @xmath195 & @xmath196 + @xmath114 & @xmath197 & @xmath198 & @xmath199 & @xmath200 & @xmath201 & @xmath202 & @xmath203 & @xmath204 & @xmath205 & @xmath206 + @xmath119 & @xmath166 & @xmath207 & @xmath167 & @xmath167 & @xmath167 & @xmath207 & @xmath207 & @xmath167 & @xmath167 & @xmath169 + @xmath120 & @xmath171 & @xmath172 & @xmath171 & @xmath173 & @xmath172 & @xmath171 & @xmath173 & @xmath208 & @xmath174 & @xmath171 + @xmath176 & @xmath209 & @xmath210 & @xmath211 & @xmath212 & @xmath213 & @xmath214 & @xmath215 & @xmath216 & @xmath185 & @xmath217 +    @xmath145 & @xmath218 & @xmath219 & @xmath220 & @xmath221 & @xmath222 & @xmath223 & @xmath224 & @xmath225 & @xmath226 & @xmath227 + @xmath114 & @xmath228 & @xmath229 & @xmath230 & @xmath231 & @xmath232 & @xmath233 & @xmath234 & @xmath235 & @xmath236 & @xmath237 + @xmath119 & @xmath166 & @xmath238 & @xmath239 & @xmath239 & @xmath238 & @xmath240 & @xmath239 & @xmath166 & @xmath239 & @xmath166 + @xmath120 & @xmath171 & @xmath172 & @xmath171 & @xmath173 & @xmath171 & @xmath171 & @xmath175 & @xmath174 & @xmath174 & @xmath173 + @xmath176 & @xmath209 & @xmath241 & @xmath242 & @xmath212 & @xmath243 & @xmath244 & @xmath184 & @xmath245 & @xmath246 & @xmath247 +    @xmath145 & @xmath248 & @xmath249 & @xmath250 & @xmath251 & @xmath252 & @xmath253 & @xmath254 & @xmath255 & @xmath256 & @xmath257 + @xmath114 & @xmath258 & @xmath259 & @xmath260 & @xmath261 & @xmath156 & @xmath262 & @xmath263 & @xmath264 & @xmath265 & @xmath266 + @xmath119 & @xmath267 & @xmath268 & @xmath239 & @xmath239 & @xmath268 & @xmath268 & @xmath240 & @xmath267 & @xmath240 & @xmath240 + @xmath120 & @xmath171 & @xmath172 & @xmath171 & @xmath173 & @xmath171 & @xmath173 & @xmath171 & @xmath173 & @xmath175 & @xmath208 + @xmath176 & @xmath177 & @xmath269 & @xmath270 & @xmath271 & @xmath272 & @xmath273 & @xmath245 & @xmath215 & @xmath274 & @xmath275 +    @xmath145 & @xmath276 & @xmath277 & @xmath165 & @xmath278 & @xmath279 & @xmath280 & @xmath281 & @xmath282 & @xmath283 & @xmath284 + @xmath114 & @xmath285 & @xmath286 & @xmath287 & @xmath288 & @xmath289 & @xmath290 & @xmath291 & @xmath292 & @xmath293 & @xmath294 + @xmath119 & @xmath295 & @xmath296 & @xmath239 & @xmath239 & @xmath296 & @xmath296 & @xmath170 & @xmath295 & @xmath296 & @xmath296 + @xmath120 & @xmath171 & @xmath172 & @xmath171 & @xmath173 & @xmath171 & @xmath174 & @xmath175 & @xmath175 & @xmath173 & @xmath208 + @xmath176 & @xmath297 & @xmath298 & @xmath299 & @xmath300 & @xmath301 & @xmath302 & @xmath303 & @xmath304 & @xmath305 & @xmath247 +    @xmath145 & @xmath306 & @xmath307 & @xmath308 & @xmath309 & @xmath310 & @xmath311 & @xmath312 & @xmath313 & @xmath314 & @xmath315 + @xmath114 & @xmath316 & @xmath317 & @xmath318 & @xmath319 & @xmath320 & @xmath321 & @xmath322 & @xmath323 & @xmath324 & @xmath325 + @xmath119 & @xmath326 & @xmath170 & @xmath326 & @xmath326 & @xmath239 & @xmath240 & @xmath326 & @xmath170 & @xmath170 & @xmath295 + @xmath120 & @xmath171 & @xmath171 & @xmath173 & @xmath175 & @xmath171 & @xmath172 & @xmath174 & @xmath173 & @xmath172 & @xmath208 + @xmath176 & @xmath327 & @xmath328 & @xmath329 & @xmath330 & @xmath331 & @xmath273 & @xmath245 & @xmath332 & @xmath333 & @xmath334 +
now that we have derived the necessary mathematical tools , we can present the results for the dehnen - mclaughlin halos . without loss of generality , we can work in dimensionless units @xmath335 , and we limit ourselves to @xmath59 . consequently , the models are determined by the anisotropy parameters @xmath5 and @xmath6 . although we are able to generate models with arbitrary values for these parameters , realistic dark matter halos are nearly isotopic near the center and radially anisotropic at large radii , so that we concentrate on six representative models with @xmath27 and @xmath336 , 0.2 , 0.4 , 0.6 , 0.8 , 1 .
we verified that the modeling procedure works equally well for models with non - zero values of @xmath5 .
finally , it is evident from eq .
( [ etadehnen ] ) that @xmath27 sets the parameters @xmath337 .
as we demonstrated above , the very specific form of the base functions ( [ rhofam ] ) simplifies our qp - algorithm considerably for these models . only the parameters @xmath119 and @xmath120 remain to construct a library of components , and
we have found that only 30 components are sufficient to yield excellent fits .
the parameters @xmath119 take five values , ranging from @xmath338 to 10 or 12 , depending on the model .
the parameters @xmath120 take six values from @xmath339 to @xmath340 .
we list these values for each model in the headers of table  [ models.tbl ] .
we extract @xmath341 values of the density  ( [ rhodehnen ] ) at radii @xmath342 , distributed logarithmically between and , that serve as input data @xmath85 in each qp - procedure .
evidently , this range is much larger than the virialized region in @xmath0-body simulations .
this larger range is therefore not intended to be realistic , but rather to demonstrate that our models are accurate to arbitrary distances .
furthermore , this makes it possible to create discrete equilibrium systems from the dfs , by means of monte carlo simulators , that trace very closely the dehnen - mclaughlin halos . after calculating the densities  ( [ rhofam ] ) of every library component at these radii @xmath343
, we can perform the qp - algorithm for the six values of @xmath6 , constructing iteratively the best - fitting linear combination  ( [ qpbest ] ) of @xmath0 components with additional constraints of the form ( [ qp4 ] ) , @xmath344    we show the results for the six models in table  [ models.tbl ]
. the columns list the components of the fits .
every @xmath345 denotes the goodness of fit of the best linear combination of the components in columns @xmath346 to @xmath0 .
each component is determined by the parameters @xmath119 , and @xmath120 , which in turn define the normalization constants @xmath114 from eq .
( [ normalize ] ) .
the coefficients are only given for the final fit with 10 components , i.e.  @xmath145 .
it can be checked that for each model @xmath347 indicating excellent fits . combining this result with eqs .
( [ qpacc ] ) and ( [ qp4b ] ) , it can be seen that if @xmath348 , the numerical errors of the base functions @xmath108 need at most be a factor @xmath349 smaller than a given error @xmath350 , allowing efficient computations of the df with sufficient accuracy .
the resulting @xmath345 for each model are also displayed in fig .
[ f1.eps ] . evidently , @xmath348 components are more than sufficient to obtain very accurate dynamical models . as an example , fig .
[ f2.eps ] shows the 10 individual components of the qp - model with @xmath351 .
although this fit has the highest @xmath352 of our set , its total density is a very close approximation to the given data over the entire range in radius .
[ f3.eps ] displays several moments for our six models , with 10 components .
the top row shows the density @xmath15 , the pseudo phase - space density @xmath42 , and the @xmath2 relation . below each graph
, we calculated the residual errors between the qp - fits and the theoretical curves , i.e.  for each profile @xmath353
we have @xmath354 as can be seen , the relative errors on the densities are less than @xmath355 along 7 orders of magnitude in radius , and the exact asymptotic slopes of the models ensure excellent fits even beyond this range . the power - law trend of @xmath42 and the @xmath2 relations are also reproduced very accurately with errors @xmath356 .
note that the small offset between the pseudo phase - space density profiles for the different models is due to the dependence of @xmath20 on @xmath6 .    in the central row , we display the velocity dispersion profiles @xmath20 , @xmath357 , and the anisotropies @xmath4 .
it is striking that , while the dispersion data were not used in the fit , the deviations of these moments from the theoretical values are even smaller , less than @xmath358 .
evidently , since the models have the anisotropies  ( [ betadehnen ] ) by construction , the @xmath4 profiles are exact , without errors .
note also that all tangential velocity dispersion profiles @xmath357 intersect at a common radius @xmath359 .
while the density and dispersions are defined by the dehnen - mclaughlin halos , the higher - order moments are determined by the qp - models .
the fourth - order moments ( see appendix  [ augmom.sec ] ) allow us to derive the radial and tangential kurtosis , @xmath360 and the fourth - order anisotropy @xmath361 interestingly , as a result of the separable form of the augmented densities , we find that the @xmath362 profiles are only a function of the @xmath4 , @xmath363 these profiles are shown in the bottom row of fig .  [ f3.eps ] . the kurtosis values describe the non - gaussianity of the velocity distributions at a certain radius .
our radial kurtosis values are very large in the center , which indicates that the @xmath364-distributions are very peaked ( leptokurtic ) at small radii .
the @xmath365 curves decrease rapidly as a function of radius : they reach zero at radii between 0.26 - 0.36 and become negative at larger radii , leading to flat - topped ( platykurtic ) radial velocity distributions .
this behavior is in accordance with @xmath0-body simulations @xcite . clearly , the value of @xmath6 has little influence on the radial kurtosis , as in the case of @xmath42 .
in contrast , the tangential kurtosis @xmath366 curves do depend significantly on @xmath6 .
all @xmath367-distributions are highly peaked at small radii .
for @xmath368 the tangential kurtosis decreases to slightly negative values , i.e.  at larger radii the tangential velocity distributions become slightly flat - topped .
models with @xmath369 have nearly gaussian @xmath367-distributions for @xmath370 .
if @xmath371 , the @xmath366 profiles reach a minimum value and increase again for larger radii .
the six top panels of fig .
[ f4.eps ] show the distribution functions @xmath25 of our radially anisotropic systems with @xmath27 and @xmath372 , expressed as logarithmic isoprobability contours and a logarithmic color gradient in the integral space , with @xmath373 scaled to @xmath49 , denoting the angular momentum of a circular orbit with energy @xmath374 .
all models are clearly physical , i.e.  the dfs are non - negative everywhere .
this means that the dehnen - mclaughlin jeans models can actually be realized by full dynamical models .
moreover , contrary to the osipkov - merritt models , these functions fill the entire integral space . in the isotropic case , the contours are horizontal ( no dependence on angular momentum ) , and their orientation alters gradually with increasing @xmath6 in an intuitive way , as orbits with high eccentricities ( i.e.  low angular momentum ) become more abundant .
the dfs describe the probability distributions of particles in phase space , but not in the integral space .
it is more physically meaningful to consider the true orbital distributions @xmath375 with the so - called  density of states
function @xmath376 where @xmath377 and @xmath378 are the pericenter and apocenter of an orbit with energy @xmath374 and angular momentum @xmath373 .
in other words , the functions @xmath379 express the likelihood of an orbit with energy @xmath374 and scaled angular momentum @xmath380 .
the results are displayed in the bottom panels of fig .
[ f4.eps ] as logarithmic isoprobability contours and a logarithmic color gradient in the integral space . for high binding energies ,
all orbital distributions contain increasing probabilities toward circular orbits ( high angular momentum ) .
for low binding energies , i.e.  at large radii , the abundance of orbits with low angular momentum gradually increases from the isotropic case to models with high values of @xmath6 .
we conclude the discussion of our dehnen - mclaughlin dfs with an analysis of the marginal distributions .
the differential energy and angular momentum distributions are the integrals of the orbital distributions , @xmath381 with @xmath382 these curves are displayed in fig .
[ f5.eps ] .
the differential energy distributions are all monotonously decreasing functions of @xmath374 .
it is striking that these profiles are almost identical , regardless of the anisotropy @xmath6 .
this result reinforces previous dynamical studies @xcite , and suggests that @xmath15 , @xmath42 and @xmath365 are linked to a universal differential energy distribution , independent of @xmath6 , caused by the same physical processes .
in contrast , the angular momentum distributions depend on @xmath6 , most notably for high radial anisotropies . for increasing values of @xmath6 , the fraction of orbits with low angular momentum increases .
@xcite proposed a universal form for the integrated angular momentum distribution in dark matter halos @xmath383 .
alternatively , @xcite found a differential distribution @xmath384 our models indicate a similar profile , with @xmath385 , although the functions  ( [ angularss ] ) fall steeper than ours as @xmath373 increases .
in this paper we presented a set of anisotropic distribution functions @xmath25 for the dehnen - mclaughlin jeans models .
we constructed these dfs as a linear combination of base functions , which we fitted to the halo density by means of a quadratic programming algorithm .
the base functions were specifically designed for this task , derived from a separable augmented density that generates exactly the general four - parameter velocity anisotropy profiles  ( [ betagen ] ) .
we demonstrated that the resulting fits are very accurate , from the center to large radii , far beyond the range of @xmath0-body simulations .
this method has several advantages .
the dfs can be written as a sum of a double series , without numerical integrations or inversions .
consequently , the dfs and all subsequent moments can be computed with high accuracy .
moreover , the advanced form of the base functions makes the qp - fitting very fast , requiring only a small number of library components .    in this manner ,
we have constructed a family of dynamical models that incorporate the observed features in @xmath0-body simulations .
we summarize their properties :    1 .
the models a priori have the universal properties encountered in @xmath0-body studies of dark matter halos , which formed the building bricks of the jeans models by @xcite : they generate a universal density profile , a power - law pseudo phase - space density @xmath42 , four - parameter velocity anisotropy profiles with arbitrary values of @xmath5 and @xmath6 , and a linear @xmath2 relation . in particular , we analyzed six models that are isotropic in the center and radially anisotropic at large radii .
the dfs are physical , i.e.  they are non - negative over the entire phase space .
this means that the dehnen - mclaughlin jeans models can actually be realized by self - consistent dynamical systems .
in addition , the dfs are continuous and smooth functions and , contrary to the popular osipkov - merritt models , they fill the entire accessible phase space .
the energy distributions are monotonously decreasing functions , and like the radial kurtosis profiles , these functions are nearly independent of @xmath6 .
this suggests that @xmath15 , @xmath42 , @xmath365 , and @xmath386 have a universal form , caused by the same physical processes .
in addition , we have also been able to generate dynamical models with a non - linear @xmath2 relation , i.e.  @xmath387 and @xmath388 , albeit with higher @xmath345 values . from these successful results for the dehnen - mclaughlin halos
, we expect equally adequate fits for other zhao models , such as the nfw halos .
other profiles , such as the srsic - type densities , might require a modified family of base functions .
such a systematic study could unravel more hitherto hidden properties of dark matter halos , and the various connections between these characteristics .
our set of dynamical models is not only useful for a purely theoretical analysis .
the dfs can also serve to generate initial conditions with monte carlo simulators ( e.g. * ? ? ?
* ; * ? ? ?
* ) to investigate the physical processes within these equilibrium models by means of controlled numerical @xmath0-body simulations .
finally , our algorithm and base functions can be used in other dynamical studies , using different data moments than the density .
this could lead to a significant improvement in the dynamical modeling of observed stellar systems , such as clusters of galaxies .
in a spherical dynamical model , the anisotropic velocity moments of the df are @xmath389 using the augmented density formalism , these moments can be calculated as @xmath390 , with @xmath391      { { \mathrm{d}}}\psi',\ ] ] where @xmath392 denotes the @xmath393th differentiation with respect to @xmath394 . applying this to our base functions  ( [ rhofam ] )
, we obtain for the augmented second - order moments @xmath395 with @xmath396 , and @xmath397 the augmented fourth - order moments have the form @xmath398 ,    \label{mu40fam}\nonumber\\    \\    \tilde\mu_{22,i}(\psi , r )    & = &    2\left(1-\beta(r){\vphantom{1 ^ 1_1}}\right)\,\tilde\mu_{40,i}(\psi , r ) ,    \label{mu22fam }    \\    \tilde\mu_{04,i}(\psi , r )    & = &    \frac{2}{3}\left[{\vphantom{\frac{1}{1}}}\left(1-\beta(r){\vphantom{1 ^ 1_1}}\right)\left(2-\beta(r){\vphantom{1 ^ 1_1}}\right )      - \frac{1}{\beta_\delta }      \left(\beta_0-\beta(r){\vphantom{1 ^ 1_1}}\right )      \left(\beta_\infty-\beta(r){\vphantom{1 ^ 1_1}}\right )    \right]\,\tilde\mu_{40,i}(\psi , r ) .
\label{mu04fam}\end{aligned}\ ] ] the true velocity moments are connected with the anisotropic velocity moments through the relation @xmath399 so that @xmath400 finally , the fourth - order anisotropy profile can be derived by combining eqs .
( [ mu04fam ] ) , ( [ mu400 ] ) and ( [ mu040 ] ) , @xmath401


in statistical mechanics , thermodynamic laws are recovered at the level of ensemble averages .
the past decade has brought new insights into nonequilibrium statistical mechanics due to the discovery of various types of fluctuation relations valid arbitrarily far from equilibrium @xcite .
these relations identify , at the level of the single realization of a statistical ensemble , the `` trajectory entropy '' which upon ensemble averaging reproduce the thermodynamic entropy .
they therefore quantify the statistical significance of nonthermodynamic behaviors which can become significant in small systems @xcite .
various experimental verifications of these fts have been reported @xcite .
+ in this paper , we consider an open system , described by a master equation ( me ) , exchanging matter and energy with multiple reservoirs . the system can be externally driven by varying its energies or the different temperature or chemical potentials of the reservoirs .
there are three mechanisms for bringing such a system out of equilibrium : preparing it in a nonequilibrium state , externally driving it , or putting it in contact with multiple reservoirs at different temperatures or chemical potentials thus breaking the detailed balance condition ( dbc ) .
we show that each of these mechanism makes a distinct contribution to the total entropy production ( ep ) generated by the nonequilibrium dynamics of the system .
the two first contributions are nonzero only if the system is not in its steady state and are therefore called nonadiabatic .
the third contribution is equal to the ep for slow transformation during which the system remains in a steady - state and is therefore called adiabatic .
we derive three fts , for the total ep and its nonadiabatic and adiabatic contribution and show that they lead to exact inequalities valid arbitrary far from equilibrium .
previously derived fts are recovered by considering specific types of nonequilibrium transformations .
steady state fts @xcite are obtained for systems maintained in a nonequilibrium steady state ( ness ) between reservoirs with different thermodynamic properties .
the jarzynski or crooks type fts @xcite are derived for systems initially at equilibrium with a single reservoir which are externally driven out of equilibrium by an external force .
the hatano - sasa ft @xcite is recovered for externally driven systems initially in a ness with multiple reservoirs .
+ to calculate the statistical properties of the various contributions to the total ep and to demonstrate the fts , we extend the generating function ( gf ) method @xcite to driven open systems .
apart from providing clear proofs of the various fts , this method is useful for simulations because it does not require to explicitly generate the stochastic trajectories .
some additional insight is provided by using an alternative derivation of the fts similar to the crooks derivation @xcite , where the total ep and its nonadiabatic part can be identified in terms of forward - backward trajectory probabilities . by doing so
, we connect the trajectory approach previously used for driven closed systems @xcite with the gf approach used for steady state systems @xcite .
+ we propose to experimentally test these new fts in a driven single orbital quantum dot where the various entropy probability distributions can be measured by the full electron counting statistics which keeps track of the four possible types of electron transfer ( in and out of the dot through either lead ) .
such measurements of the bidirectional counting statistics have become feasible recently @xcite .
we calculate the entropy probability distributions , analyze their behavior as the driving is varied between the sudden and the adiabatic limits , and verify the validity of the fts . + in section [ mastereq ] we present our stochastic model and in section [ entropy ] we describe the various contributions to the total ep generated during a nonequilibrium transformation and the inequalities that these contributions satisfy . in section [ trajectory ] , we define the various trajectory entropies which upon ensemble averaging give the various contributions to the ep .
we then present the gf formalism used to calculate the statistical properties of these trajectory entropies . in section [ ft ] , we derive the various fts and the implied inequalities .
alternative derivations of fts in terms of forward - backward trajectories are given in appendix [ fttrajectory ] . by considering specific nonequilibrium transformations ,
we recover most of the previously derived fts . finally in section [ qd ] , we apply our results to the full counting statistics of electrons in a driven quantum dot .
conclusions are drawn in section [ conclusions ] .
we consider an externally driven open system exchanging particles and energy with multiple reservoirs .
each state @xmath0 of the system has a given energy @xmath1 and @xmath2 particles .
the total number of states @xmath0 is finite and equal to @xmath3 .
the probability to find the system in a state @xmath0 at time @xmath4 is denoted by @xmath5 .
the evolution of this probability is described by the me @xmath6 where the rate matrix satisfies @xmath7 we assume that if a transition from @xmath0 to @xmath8 can occur , the reversed transition from @xmath8 to @xmath0 can also occur .
various parameters , such as the energies @xmath1 of the system or the chemical potential @xmath9 and the temperature @xmath10 of the @xmath11 reservoir can be varied in time externally according to a known protocol .
this is described by the dependence of the rate matrix on several time - dependent parameters @xmath12 .
if the transition rates are kept constant , the system will eventually reach the unique steady state solution @xmath13 which satisfies @xmath14 @xcite .
+ the transition rates will be expressed as sums of contributions from different reservoirs @xmath11 @xmath15 each satisfying @xmath16 \bigg\ }   \;. \label{aaaad}\end{aligned}\ ] ]    if all reservoirs have the same thermodynamic properties ( temperature @xmath17 and chemical potential @xmath18 ) , the steady state distribution coincide with the equilibrium distribution @xmath19 which satisfies the detailed balanced condition ( dbc ) @xmath20 as a consequence of ( [ aaaad ] ) and ( [ aaaae ] ) , the equilibrium distribution then assumes the grand canonical form @xmath21}}{\xi(\lambda ) } \label{aaaac}\;,\end{aligned}\ ] ] where @xmath22 is the grand canonical partition function .
however , in the general case where the reservoirs have different @xmath23 and @xmath24 , the dbc does not hold and @xmath13 is a ness .
we introduce the probability flux due to matter or energy exchange between the system and the @xmath11 reservoir during transitions between state @xmath0 and @xmath8 @xmath25 we can rewrite eq . ( [ aaaaa ] ) as @xmath26 at steady state as well as at equilibrium , we have that @xmath27 .
however , for a ness state @xmath28 , whereas at equilibrium @xmath29 .
the _ gibbs entropy _ of the system is a state function defined as @xmath30 using ( [ aaaaa ] ) and ( [ aaaaarate ] ) , the _ system ep _ reads @xmath31 this can be partitioned as @xcite @xmath32 with the _ total ep _ @xmath33 and the _ reservoir ep _ ( also called medium entropy or entropy flow ) @xmath34 we note that @xmath35 follows from @xmath36 if @xmath37 and @xmath38 for @xmath39 ( if @xmath40 the log in zero ) , by using the fact that @xmath41 and @xmath42 .
@xmath43 is the contribution to @xmath44 coming from the changes in the system probability distribution and @xmath45 is the contribution coming from matter and energy exchange processes between the system and its reservoirs .
+ we further separate the reservoir ep into two components @xcite @xmath46 with the _ excess ep _ @xmath47 and the _ adiabatic ep _ ( also called housekeeping entropy @xcite ) @xmath48 the positivity of ( [ baaaf ] ) follows from the same reason as ( [ baaac ] ) .
if a transformation is done very slowly , the system remains at all times in the steady state distribution @xmath49 .
such a transformation is called adiabatic .
we then have @xmath50 and @xmath51 .
we also notice that @xmath52 when the dbc is satisfied .
+ we next define the state function quantity @xmath53 which is obviously zero when the system is at steady state . when considering a transformation between steady states , @xmath54 .
we call @xmath55 the _ boundary ep _ ( the terminology will be explain shortly ) and separate it in two parts @xmath56 where the _ nonadiabatic ep _ is @xmath57 and the _ driving ep _ is @xmath58 with @xmath59 the positivity of ( [ baaah ] ) is again shown in the same way as for ( [ baaac ] ) and ( [ baaaf ] ) . if no external driving acts on the system , @xmath60 is time independent and from ( [ baaajb ] ) , @xmath61 . for an adiabatic transformations , since @xmath49 , from ( [ baaaha ] ) and ( [ baaah ] )
, we see that @xmath62 as well as @xmath63 . from ( [ baaahb ] ) , this also means that @xmath61 .
therefore , @xmath64 only for nonadiabatic driving . using ( [ baaah ] ) with ( [ baaaab ] ) and ( [ baaag ] )
, we find @xmath65 it is clear from the last equality why we call @xmath66 the nonadiabatic ep .
the inequality @xmath67 which follows from the first line is a generalization of the `` second law of steady state thermodynamics ''
@xcite derived for transitions between steady states .
we next summarize our results @xmath68 the total ep is always positive and can be separated into two positive contributions , adiabatic ( which are nonzero only when the dbc is violated ) and nonadiabatic effects .
the latter can be due to a nonadiabatic external driving acting on the system or to the fact that one considers transformation during which the system is initially or finally not in a steady state .
we therefore have a minimum ep principle stating that the total ep for arbitrary nonequilibrium transformations takes its minimal value if the transformation is done adiabatically ( very slowly ) .
the equality sign in ( [ baaai ] ) is satisfied for adiabatic transformations which occur at equilibrium .
the equality sign in ( [ baaak ] ) holds for adiabatic transformations . the equality sign in ( [ baaaj ] )
only occurs when the dbc is satisfied .
the evolution described by the me can be represented by an ensemble of stochastic trajectories involving instantaneous jumps between states .
this will allow us to define fluctuating ( trajectory ) entropies .
+      we denote a trajectory taken by the system between @xmath69 and @xmath70 by @xmath71 . at @xmath69
the system is in @xmath72 , and stays there until it jumps at @xmath73 to @xmath74 , _ etc .
_ , jumps at @xmath75 from @xmath76 to @xmath77 and stays in @xmath77 until @xmath70 [ see fig .
[ figtraj ] ] .
@xmath78 is the total number of jumps during this trajectory .
+    we next introduce various type of trajectory entropy production ( tep ) .
we will see at the end of this section that when ensemble averaged , these correspond to the various ep defined in section [ entropy ] . + the _ trajectory gibbs entropy _ is defined as @xmath79 \equiv - \ln p_{m_{(\tau)}}(t ) \ ; , \label{trajentr_aaaaa}\end{aligned}\ ] ] where @xmath80 represents the value of @xmath81 along the trajectory @xmath82 .
the _ system tep _ is given by @xmath83 =   -\frac{\dot{p}_{m}(t)}{p_{m}(t ) } \bigg\vert_{m_{(\tau ) } }   + \sum_{j=1}^{n } \delta(t-\tau_j ) \ln   \frac{p_{m_{j-1}}(\tau_{j})}{p_{m_{j}}(\tau_{j } ) } \;. \label{trajentr_aaaab}\end{aligned}\ ] ] the first term represents the smooth changes of @xmath84 $ ] along the horizontal segments of the trajectory on fig .
[ figtraj ] during which the system is in a well defined state .
these changes are only due to the time dependence of the probability to be on a given state .
the notation @xmath85 means that the @xmath0 in the expression changes depending on which horizontal segment along the trajectory one considers .
the second term represents the discrete changes of @xmath84 $ ] along the vertical segments of the trajectory .
these changes are singular and only due to the change in the system state .
+ separating the trajectory system tep similarly as the system ep in section [ entropy ] , we get @xmath86 = \dot{s}[m_{(\tau)},t ] + \dot{s}_r[m_{(\tau)},t ]   \label{trajentr_aaaac}\;,\end{aligned}\ ] ] where the _ total tep _ is @xmath86 & \equiv & -\frac{\dot{p}_{m}(t)}{p_{m}(t ) } \bigg\vert_{m_{(\tau ) } }   \label{trajentr_aaaaf}\\ & & \hspace{-0.5cm}+\sum_{j=1}^{n } \delta(t-\tau_j ) \ln   \frac{w_{m_{j},m_{j-1}}^{(\nu_j)}(\lambda_{\tau_j } ) p_{m_{j-1}}(\tau_{j } ) } { w_{m_{j-1},m_{j}}^{(\nu_j)}(\lambda_{\tau_j } ) p_{m_{j}}(\tau_{j } ) } \nonumber\;,\end{aligned}\ ] ] and the _ reservoir tep _
@xmath87 \equiv \sum_{j=1}^{n } \delta(t-\tau_j ) \ln   \frac{w_{m_{j},m_{j-1}}^{(\nu_j)}(\lambda_{\tau_j } ) } { w_{m_{j-1},m_{j}}^{(\nu_j)}(\lambda_{\tau_j } ) } \;. \label{trajentr_aaaag}\end{aligned}\ ] ]    we further separate the reservoir tep into @xmath88 = \dot{s}_{a}[m_{(\tau)},t ] + \dot{s}_{ex}[m_{(\tau)},t ]   \label{trajentr_aaaad}\;,\end{aligned}\ ] ] with the _ adiabatic tep _
@xmath89 \equiv   \sum_{j=1}^{n } \delta(t-\tau_j ) \ln   \frac{w_{m_{j},m_{j-1}}^{(\nu_j)}(\lambda_{\tau_j } )   p_{m_{j-1}}^{\rm st}(\lambda_{\tau_{j } } ) } { w_{m_{j-1},m_{j}}^{(\nu_j)}(\lambda_{\tau_j } )   p_{m_{j}}^{\rm st}(\lambda_{\tau_{j } } ) } \ ; , \label{trajentr_aaaah}\end{aligned}\ ] ] and the _ excess tep _
@xmath90 \equiv   \sum_{j=1}^{n } \delta(t-\tau_j ) \ln   \frac{p_{m_{j}}^{\rm st}(\lambda_{\tau_{j } } ) } { p_{m_{j-1}}^{\rm st}(\lambda_{\tau_{j } } ) } \;. \label{trajentr_aaaai}\end{aligned}\ ] ] the _ nonadiabatic tep _
@xmath91 & \equiv &   -\frac{\dot{p}_{m}(t)}{p_{m}(t ) } \bigg\vert_{m_{(\tau ) } }   \label{trajentr_aaaaj}\\ & & + \sum_{j=1}^{n } \delta(t-\tau_j ) \ln   \frac{p_{m_{j-1}}(\tau_{j } ) p_{m_{j}}^{\rm st}(\lambda_{\tau_{j } } ) } { p_{m_{j-1}}^{\rm st}(\lambda_{\tau_{j } } ) p_{m_{j}}(\tau_{j } ) }   \nonumber\end{aligned}\ ] ] is made of the sum of two terms @xmath91 \equiv \dot{s}_d [ m_{(\tau)},t ] + \dot{s}_{b}[m_{(\tau)},t ]   \label{trajentr_aaaaja } \end{aligned}\ ] ] the _ boundary tep _
@xmath92 & \equiv &   -\frac{\dot{p}_{m}(t)}{p_{m}(t ) } \bigg\vert_{m_{(\tau ) } }   - \dot{\lambda}_{t } \frac{\partial \phi_{m_{(\tau)}}(\lambda_{t})}{\partial \lambda_{t } }   \label{trajentr_aaaajb}\\ & & + \sum_{j=1}^{n } \delta(t-\tau_j ) \ln   \frac{p_{m_{j-1}}(\tau_{j } ) p_{m_{j}}^{\rm st}(\lambda_{\tau_{j } } ) } { p_{m_{j-1}}^{\rm st}(\lambda_{\tau_{j } } ) p_{m_{j}}(\tau_{j } ) } \ ; , \nonumber \end{aligned}\ ] ] and the _ driving tep _ @xmath93 & \equiv &   \dot{\lambda}_{t } \frac{\partial \phi_{m_{(\tau)}}(\lambda_{t})}{\partial \lambda_{t } }   \nonumber \;.\end{aligned}\ ] ] as in section [ entropy ] , since @xmath91 = \dot{s } [ m_{(\tau)},t ] + \dot{s}_{ex}[m_{(\tau)},t ]   \label{trajentr_aaaae}\;,\end{aligned}\ ] ] we get @xmath86 = \dot{s}_{na}[m_{(\tau)},t ] + \dot{s}_{a}[m_{(\tau)},t ]   \label{trajentr_aaaacb } \;.\end{aligned}\ ] ]    we generically denote these tep by @xmath94 $ ] .
the change of @xmath94 $ ] along a trajectory @xmath82 of length @xmath95 is given by @xmath96 & = & \int_{0}^{t } dt \dot{a}[m_{(\tau)},t ] \label{trajaveaaaaag } \;.\end{aligned}\ ] ] notice that @xmath97 $ ] and @xmath98 $ ] are state function tep @xmath99 = \ln \frac{p_{m_0}(0)}{p_{m_n}(t ) }   = s_{m_n}(t ) - s_{m_0}(0 ) \ ; , \label{caaaj}\end{aligned}\ ] ] where @xmath100 , and @xmath101 & = & \big(s_{m_n}(t)-\phi_{m_n}(\lambda_{t})\big ) \label{caaajb } \\ & & \hspace{1.5cm}- \big(s_{m_0}(0)-\phi_{m_0}(\lambda_{0})\big )   \;.\nonumber\end{aligned}\ ] ] the other tep are path functions . +      using ( [ aaaad ] ) , the reservoir tep can be expressed as @xmath102= \label{trajentr_aaaagb}\\ & & \hspace{0.5cm}-\sum_{\nu } \beta_{\nu}(\lambda_{t } )   \bigg ( i_{heat}^{(\nu)}[m_{(\tau)},t ] - \mu_{\nu}(\lambda_{t } )   i_{mat}^{(\nu)}[m_{(\tau)},t ] \bigg)\;,\nonumber\end{aligned}\ ] ] where the heat current between the @xmath11 reservoir and the system is @xmath103 = \sum_{j=1}^{n } \delta_{\nu,\nu_j}(t-\tau_j )   \big ( \epsilon_{m_{j}}(\lambda_{\tau_j})-\epsilon_{m_{j-1}}(\lambda_{\tau_j } ) \big )   \label{heatcurr}\end{aligned}\ ] ] and the matter current between the @xmath11 reservoir and the system @xmath104 = \sum_{j=1}^{n } \delta_{\nu,\nu_j}(t-\tau_j )   \big(n_{m_{j}}-n_{m_{j-1}}\big ) \;. \label{mattercurr}\end{aligned}\ ] ] the currents are positive if the system energy ( matter ) increases .
@xmath105 is a dirac distribution centered at time @xmath106 only if the transition is due to the reservoir @xmath107 .
otherwise it is zero .
we thus confirm that the reservoir ep is the entropy associated to system - reservoir exchange processes .
+ we assume that the parametric time dependence of the energies , temperatures and chemical potentials is known .
except in degenerate cases for which two different transitions between states have the same energy difference and number of particle difference , the trajectory of the system can be uniquely determined by measuring the heat and matter currents between the system and the reservoirs
. the system steady state probability distribution can be calculated by recording the steady state currents for sufficiently long times for different values of the energies , temperatures or chemical potentials .
the driven system probability distribution can in principle be calculated by reproducing the measurement of the currents multiple times .
all trajectory entropies containing the logarithm of the transition rates can be expressed in term of a combination of the reservoir ep ( directly measurable via current ) and other trajectory entropies which can be expressed in term of the system probability distribution ( actual or steady state ) .
therefore , provided the current measurements can be repeated often enough to get a good statistics , all the trajectory entropies are in principle measurable .
the gf formalism allows to compute the probability distributions and all statistical properties of the tep without having to generate the trajectories themselves .
it further provides a direct means for proving the fts .
+ the gf associated with the changes of @xmath94 $ ] along a trajectory is given by @xmath108\ } } \rangle } \label{trajaveaaaaah } \;,\end{aligned}\ ] ] where @xmath109 denotes an average over all possible trajectories .
the probability that the system follows a trajectory with the constraint @xmath110 $ ] at time @xmath4 , can be obtained from the gf using @xmath111 \rangle } \label{trajaveaaaaai}\\   & = & \frac{1}{2 \pi } \int_{-\infty}^{\infty }   d\gamma { { \rm e}}^{-{{\rm i}}\gamma \delta a } g({{\rm i}}\gamma , t ) \nonumber \;.\end{aligned}\ ] ] by inverting ( [ trajaveaaaaai ] ) , we get @xmath112 the moments of the distribution are given by derivatives of the gf @xmath113 \rangle } = \left .
\frac{\partial^k g(\gamma , t ) } { \partial \gamma^k } \right|_{\gamma=0 } \label{trajaveaaaaak }   \ ; , \ ; \ \
k=1,2,\cdots \;.\end{aligned}\ ] ]    in order to compute the gf , we recast it in the form @xmath114 where @xmath115\ } } \rangle}_m   \label{trajaveaaaaalb } \end{aligned}\ ] ] is the product of the probability to find the system in state @xmath0 at time @xmath4 multiplied by the expectation value of @xmath116\}}$ ] conditional on the system being in state @xmath0 at time @xmath4 . since @xmath117=0 $ ] for a trajectory of length @xmath69 ,
we have @xmath118 . we also have @xmath119 and @xmath120 .
+ the time derivative of ( [ trajaveaaaaal ] ) gives @xmath121 where @xmath122 depends on the tep of interest .
below , we will derive equations of motion for the @xmath123 s associated to the various tep .
the generating function associated with a state function tep @xmath117=a_{m}(t)-a_{n}(0)$ ] like @xmath124 $ ] or @xmath125 $ ] may be straightforwardly obtained using ( [ trajaveaaaaal ] ) with ( [ trajaveaaaaalb ] ) .
we get @xmath126      @xmath127 $ ] acquires an amount @xmath128 each time a transition from a state @xmath8 to @xmath0 occurs and it remains constant along a given state @xmath0 of the system .
this means that @xmath129\ } } \rangle}_{m ' }   \nonumber \;,\end{aligned}\ ] ] which using ( [ trajaveaaaaalb ] ) can be rewritten @xmath130      each time a transition along the system trajectory occurs , @xmath131 $ ] acquires an amount @xmath132 . similarly to the excess entropy , we get @xmath133 this equation has been used in the study of steady state fts @xcite .
+ in ( [ trajentr_aaaagb ] ) , we expressed the reservoir tep in terms of currents . the time integrated individual currents
give the heat and matter transfer between the @xmath11 reservoir and the system @xmath134=\int_{0}^{t}dt ' i_{heat}^{(\nu)}[m_{(\tau)},t']$ ] and @xmath135=\int_{0}^{t}dt ' i_{mat}^{(\nu)}[m_{(\tau)},t']$ ] .
their statistics can be calculated using @xmath136 where @xmath137 is a vector who s elements are the different @xmath138 s and @xmath139 s .
the gf calculated from ( [ genaaaagcurr ] ) is therefore associated with the join probability distribution for having a certain heat and matter transfer with each reservoir .      each time a transition along the system trajectory occurs ,
@xmath140 $ ] acquires an amount @xmath141 .
we therefore get @xmath142      each time a transition along the system trajectory occurs , @xmath143 $ ] acquires an amount @xmath144 .
in addition it also changes by an amount @xmath145 during an infinitesimally small time on a given state @xmath0 of the system .
combining the two , we have @xmath146      like the total tep , @xmath147 $ ] acquires an amount @xmath148 each time a transition from a states @xmath8 to @xmath0 occurs , and also changes by an amount @xmath145 during an infinitesimally small time on a given state @xmath0 .
this gives @xmath149      since @xmath150 $ ] exclusively accumulates along the segments of the system trajectory , we get @xmath151    it follows from ( [ trajaveaaaaak ] ) that the average change of a tep is obtained from its gf by differentiation with respect to @xmath152 at @xmath153 . by differentiating the gf evolution equations of this section one recover the evolution equation for the eps of section [ entropy ] .
the eps are therefore the ensemble average of the teps introduced in this section @xmath154 \rangle}$ ] and @xmath155 \rangle}$ ] .
we can easily verify that @xmath156 is the solution of the evolution equations ( [ genaaaak ] ) and ( [ genaaaan ] ) .
it immediately follows from probability conservation and ( [ trajaveaaaaao ] ) that @xmath157 .
summing both side of ( [ genaaaai ] ) over @xmath0 , we also verify that @xmath158 . because @xmath159 , @xmath160 where @xmath161 .
therefore , we find that @xmath162 . using ( [ trajaveaaaaah ] ) , this results in the three fts @xmath163 \ } } \rangle}=1 \ ; , \label{fti}\\ & & { \langle \exp{\{- \delta s_{na}[m_{(\tau)},t ] \ } } \rangle}=1 \ ; , \label{ftx}\\ & & { \langle \exp{\{- \delta s_{a}[m_{(\tau)},t ] \ } } \rangle}=1 \;. \label{fthk}\end{aligned}\ ] ] these fts hold irrespective of the initial condition and the type of driving . using jensen s inequality @xmath164
, they imply the inequalities ( [ baaai])-([baaaj ] )
( [ fti ] ) is the generalization to open systems of the integral ft for the tep obtained earlier for closed systems @xcite .
the tep ( [ trajentr_aaaaf ] ) needs to specify which reservoir is responsible for the transitions occurring along the trajectory ( by labeling the rates with reservoir index ) .
this point , made earlier for open system at steady state @xcite , is generalized here for driven systems with an arbitrary initial condition .
( [ ftx ] ) will be shown in next section to reduce to the integral hatano - sasa ft @xcite for systems initially in a steady state .
( [ fthk ] ) generalizes the integral ft for the adiabatic entropy @xcite previously derived for closed system initially in a steady state . + some additional insights can be gained by an alternative proof of the fts ( [ fti ] ) and ( [ ftx ] ) which use a forward - backward trajectory picture of the dynamics .
this is given for completeness in appendix [ fttrajectory ] .
we consider a system initially ( t=0 ) at steady state and subjected to an external driving force between @xmath165 and @xmath166 . for @xmath167 , the system remains in the steady state corresponding to @xmath168 .
the time protocol of @xmath12 during the driving @xmath169 is arbitrary . if @xmath170 is the characteristic transient time needed for the system to reach a steady state from an arbitrary distribution , for @xmath171 , the system is in the new steady state corresponding to @xmath172 .
the system is measured between @xmath69 and @xmath70 .
we restrict our analysis to cases where the system is at steady state at @xmath69 and the driving starts at least a time @xmath170 after the measurement started : @xmath173 .
+ we use the braket notation where @xmath174 is the probability vector with components @xmath5 and @xmath175 denotes the rate matrix .
@xmath176 denotes a vector with all components equal to one .
the me ( [ aaaaa ] ) now reads @xmath177 the generating function for the reservoir ep ( [ genaaaag ] ) for @xmath178 evolves according to the adjoint equation of ( [ vecme ] ) @xmath179 the initial condition of ( [ vecme ] ) and ( [ vecmead ] ) is @xmath180 .
the formal solution of ( [ vecmead ] ) for @xmath181 before the driving starts reads @xmath182 we now insert a closure relation in term of right and left eigenvectors of the adjoint rate matrix between the evolution operator and the initial condition . because the rate matrix and its adjoint have the same eigenvalues ( all negative and one zero ) , for @xmath183 , only the right and left eigenvector associated with the zero eigenvalue survive .
since the right [ left ] eigenvector of @xmath184 is @xmath176 [ @xmath185 , we get for @xmath183 @xmath186 for longer times , even when the system starts to be driven , @xmath176 remains invariant under the time evolution operator as can be seen using ( [ aaaaarate ] ) in ( [ vecmead ] ) .
we get @xmath187 where @xmath188 is the total number of states .
this implies the following integral ft for the reservoir tep @xmath189 \ } } \rangle } = m \sum_{m=1}^{m } \big ( p^{\rm st}_m ( \lambda_{t_{di } } ) \big)^2 \geq 1 \;. \label{ssaaaai}\end{aligned}\ ] ] the equality on the l.h.s ( r.h.s ) is satisfied if @xmath190 ( @xmath191 ) .
jensen s inequality implies @xmath192 .
note that since @xmath97 $ ] is a state function , it is easily verified that @xmath193 \ } } \rangle } \label{ssaaaaj } \;.\end{aligned}\ ] ]      we assume that the driving starts at the same time or later as the measurement ( @xmath194 ) . we define @xmath195 .
+ we have pointed out at the end of section [ entropy ] that for transitions between steady states @xmath196 , so that @xmath197 we used the fact that @xmath198 starts ( stops ) evolving at @xmath199 ( @xmath200 ) .
the same is true at the trajectory level , since from ( [ caaajb ] ) we have @xmath201=0 $ ] and therefore @xmath202 = \delta s_d[m_{(\tau)},t ' ] \ ; , \label{caaana}\end{aligned}\ ] ] where @xmath203 & \equiv & \sum_{j=0}^{n }   \ln   \frac{p_{m_{j}}^{\rm st}(\lambda_{\tau_j } ) } { p_{m_{j}}^{\rm st}(\lambda_{\tau_{j+1}})}\label{caaav}\\ & = & \sum_{j=0}^{n } \big ( \phi_{m_{j}}(\lambda_{\tau_{j+1 } } )   - \phi_{m_{j}}(\lambda_{\tau_{j } } ) \big ) \nonumber \\ & = & \int_{0}^{t ' } dt \dot{\lambda}_{t }   \frac{\partial \phi_{m_{(\tau)}}(\lambda_{t})}{\partial \lambda_{t } }   \nonumber \\ & = & \int_{t_{di}}^{t_{df } } dt \dot{\lambda}_{t }   \frac{\partial \phi_{m_{(\tau)}}(\lambda_{t})}{\partial \lambda_{t } }   \nonumber \;.\end{aligned}\ ] ] the integrand in the third line contributes only during the time intervals between jumps provided the driving is changing .
therefore if without loss of generality we choose the measurement time such that @xmath204 ( if @xmath205 one can redefine @xmath200 as equal to @xmath95 ) , @xmath206=\delta s_d[m_{(\tau)},t']$ ] .
this means that for a transition between steady states , the ft ( [ ftx ] ) reduces to the hatano - sasa ft @xcite @xmath207 \ } } \rangle}=1 \label{fty } \;.
\end{aligned}\ ] ] alternatively , ( [ fty ] ) can be proved from ( [ genaaaad ] ) by showing that when @xmath178 , @xmath208 is solution of ( [ genaaaad ] ) .
the ft ( [ fty ] ) holds for an arbitrary driving protocol .
let us consider the two extremes .
( infinitely slow ) driving , the inequality in ( [ caaanaa ] ) becomes an equality . in the other extreme of a _ sudden _
driving , where @xmath209 and @xmath210 , @xmath211 = \phi_{m_0}(\lambda_{t_{df } } ) - \phi_{m_0}(\lambda_{t_{di } } )   \label{caabj } \end{aligned}\ ] ] becomes a state function and its average takes the simple form @xmath212 using ( [ trajentr_aaaae ] ) with ( [ caaana ] ) , and since @xmath213 = \phi_{m_t}(\lambda_{t_{df } } ) - \phi_{m_0}(\lambda_{t_{di } } ) \ ; , \label{caabi}\end{aligned}\ ] ] we find that @xmath214 = \phi_{m_0}(\lambda_{t_{df}})- \phi_{m_t}(\lambda_{t_{df } } )   \label{caabk}\end{aligned}\ ] ] also becomes a state function and its average becomes @xmath215      for a system coupled to a single reservoir ( or multiple reservoirs with identical thermodynamical properties ) , the dbc ( [ aaaae ] ) is satisfied .
a non - driven system in an arbitrary state will reach after some transient time @xmath216 the equilibrium grand canonical distribution ( [ aaaac ] ) .
we again choose @xmath195 and @xmath204 .
from the tep of section [ trajectory ] , we find in this case @xmath217 & = & 0 \label{daaaab } \\
\delta s_{r}[m_{(\tau)},t ' ] & = & \delta s_{ex}[m_{(\tau)},t ' ] \nonumber\\ \delta s_{tot}[m_{(\tau)},t ' ] & = & \delta s_{na}[m_{(\tau)},t ' ] \;.\nonumber\end{aligned}\ ] ] the two ft ( [ fti ] ) and ( [ ftx ] ) become identical and the ft ( [ fthk ] ) becomes trivial . using ( [ aaaac ] ) , we also find that eq .
( [ caaanb ] ) becomes @xmath218 where @xmath219 is the thermodynamic grand canonical potential .
+ we next consider transitions between equilibrium states , so that the procedure is the same as in [ hssub ] but with the dbc ( [ aaaae ] ) now satisfied .
we therefore have @xmath220=\delta s_d[m_{(\tau)},t']$ ] .
the driving implies externally modulating the system energies , the chemical potential or the temperature of the reservoir .
+ when driving the system energy , using ( [ caaav ] ) and ( [ daaaa ] ) , we find @xmath211 = \delta s_d[m_{(\tau)},t ' ]   = \beta w[m_{(\tau ) } ] - \beta \delta \omega \label{daaab}\end{aligned}\ ] ] where the work is given by @xmath221 = \int_{t_{di}}^{t_{df } }   dt \dot{\epsilon}_{m_{(\tau)}}(\lambda_t)$ ] and @xmath222-\omega[\epsilon(t_{di})]$ ] .
both ft , ( [ fti ] ) and ( [ ftx ] ) , lead to the same jarzynski relation @xcite @xmath223}\ } \rangle } = \exp{\{-\beta \delta \omega \ } } \;. \label{daaad}\end{aligned}\ ] ]    when driving the reservoir chemical potential , eq .
( [ caaav ] ) and ( [ daaaa ] ) give @xmath211 = \delta s_d[m_{(\tau)},t ' ]   = \beta \tilde{w}[m_{(\tau ) } ] - \beta \delta \omega \label{daaaf } \end{aligned}\ ] ] where @xmath224 = -\int_{t_{di}}^{t_{df } } dt \dot{\mu } n_{m_{(\tau)}}$ ] and @xmath225-\omega[\mu(t_{di})]$ ] .
both ft , ( [ fti ] ) and ( [ ftx ] ) , now lead to @xmath226 \ } } \rangle } = \exp{\{-\beta \delta \omega \ } } \;. \label{daaah}\end{aligned}\ ] ]    the case where reservoir temperature is driven can be calculated similarly .
driving the reservoir temperature using ( [ aaaac ] ) , eq . ( [ caaanb ] ) becomes @xmath227 eq .
( [ caaav ] ) gives @xmath228 & = & \int_{0}^{t } d\tau \dot{\lambda}_{\tau } \frac{\partial \beta(\lambda_{\tau})}{\partial \lambda_{\tau } }   \big ( \epsilon_{m_{(\tau ) } } - \mu n_{m_{(\tau ) } } \big ) \label{daaaj}\\ & & - \big ( \beta(\lambda_{t } ) \omega ( \lambda_{t } )   - \beta(\lambda_{0 } ) \omega ( \lambda_{0 } ) \big ) \;. \nonumber\end{aligned}\ ] ] using ( [ caaba ] ) , we get @xmath229      in a ness , the relations of section [ trajectory ] give @xmath230&=&\delta s_d[m_{(\tau)},t]=0 \label{ssaaaaa}\\ \delta s [ m_{(\tau)},t]&= & -\delta s_{ex}[m_{(\tau)},t ] \nonumber\\ \delta s_{tot } [ m_{(\tau)},t]&= & \delta s_{a}[m_{(\tau)},t ] \nonumber \;.\end{aligned}\ ] ] furthermore , since @xmath231 , we get @xmath232 we shall rewrite the gf evolution equation for the reservoir tep ( [ genaaaag ] ) in the bracket notation @xmath233 so that @xmath234 where @xmath176 is a vector with all elements equal to one . since from ( [ genaaaag ] ) the generator has the property @xmath235 , its eigenvalues have the symmetry @xmath236 .
furthermore , since @xmath237 is a positive matrix , the frobenious - perron theorem @xcite ensures that all eigenvalues are negative or zero and that the left and the right eigenvectors , @xmath238 and @xmath239 , associated with the largest eigenvalue @xmath240 exist . adopting the normalization @xmath241
, we find for long times @xmath242 and that @xmath243 this means that the cumulant generating function @xmath244 satisfies the symmetry @xmath245 using the theory of large fluctuations this symmetry implies the detailed steady state ft @xcite @xmath246 where @xmath247 is the probability for a trajectory of the system to produce a reservoir tep equal to @xmath248 .
+ @xmath249 $ ] grows in average with time because it depends on the number of jumps along the trajectory .
@xmath124 $ ] is bounded .
the ft ( [ ssaaaah ] ) can therefore be viewed as a consequence of the detailed ft for @xmath250 derived in ( [ caaap ] ) .
the long time limit is needed in order to neglect the contribution from @xmath124 $ ] to @xmath251 $ ] .
+ the ft ( [ ssaaaai ] ) remains valid at steady state .
fts for currents can also be derived @xcite .
we have seen in section [ measure ] that the various entropies can be calculated by measuring the different currents between the system and the reservoirs .
the counting statistics of electrons through quantum dots has recently raised considerable theoretical @xcite as well as experimental @xcite interest .
the single electrons entering and exiting a quantum dot connected to two leads can be measured .
one can therefore calculate all currents , deduce the system trajectories and calculate the various trajectory entropies presented earlier .
+ we will analyze the probability distribution for the various trajectory entropies in a single level quantum dot of energy @xmath252 connected to two leads with different chemical potentials @xmath253 , where @xmath254 .
we neglect spin so that the dot can either be empty @xmath255 or filled @xmath256 .
the me is of the form ( [ aaaaa ] ) @xcite @xmath257 where @xmath258 the coefficients @xmath259 characterize the coupling between the dot and the lead @xmath11 with fermi distribution @xmath260 . if @xmath261 , @xmath262=[{\rm energy}]=[{\rm time}^{-1}]$ ] . by renormalizing energies by @xmath252 , all parameters of our model
become dimensionless .
the steady state distribution of the system is @xmath263 and the steady state currents are given by @xmath264 we switch the chemical potential of the left lead @xmath265 using the protocol @xmath266 while holding the right lead chemical potential fixed @xmath267 .
we can therefore calculate all the trajectory entropies probability distributions using the gf method described in section [ statprop ] .
we solve numerically the evolution equations for the @xmath268 s associated with the different entropies for different values of @xmath152 with the initial condition @xmath269 . after calculating the @xmath270 s using ( [ trajaveaaaaal ] )
, the probability distribution is obtained by a numerical inverse fourier transform ( [ trajaveaaaaai ] ) . in all calculations we used @xmath271 , @xmath272 , @xmath273 and @xmath274 . + we start by analyzing the different contributions to the ep as defined in section [ entropy ] for the @xmath275 protocol shown in fig .
( [ aver])a . + the system is initially in a nonequilibrium distribution different from the steady state .
the solution of the me ( [ yaaaa ] ) as well as its steady state solution are displayed in fig .
[ aver]b . between @xmath69 and @xmath276 ,
@xmath277 is essentially constant and the system undergoes an exponential relaxation to the steady state . between @xmath276 and @xmath278
, @xmath277 changes from @xmath279 to @xmath280 fast enough for the system distribution to start differing again from the instantaneous steady state distribution ( adiabatic solution ) .
after @xmath278 , @xmath277 remains constant and the system again undergoes a transient relaxation to the new steady state corresponding to @xmath280 .
[ aver]c shows the time dependent ep @xmath281 and its adiabatic @xmath282 and nonadiabatic contribution @xmath283 . as predicted , these three quantities are always positive [ see ( [ baaai])-([baaaj ] ) ] . we also demonstrate that @xmath283 only contributes when nonadiabatic effects are significant i.e. when the actual probability distribution is different from the steady state one [ @xmath284 .
@xmath285 only once at @xmath286 , when @xmath287 and the dbc is satisfied . otherwise the dbc is broken and @xmath288 . in fig .
[ aver]d , we present the two contributions to the nonadiabatic ep @xmath283 , the driving ep @xmath289 and the boundary ep @xmath290 [ see ( [ baaak ] ) ] .
the driving ep @xmath289 only contributes when @xmath277 changes in time .
one can also guess that @xmath291 due to the fact that the change of boundary ep during an interval between two steady state is zero .
@xmath292 because the system is initially not in a steady state .
[ aver]e shows the alternative partitioning of the nonadiabatic ep into the system ep @xmath293 and the excess ep @xmath294 [ see ( [ baaakk ] ) ] .
finally the splitting of the total ep in the reservoir ep and the system ep [ see ( [ baaab ] ) ] is shown in fig .
we see that at steady state @xmath295 so that @xmath296 .
+ we next study the statistical properties of the different tep for transitions between steady states .
the probability distributions are obtained using the gf method presented in section [ statprop ] .
the five driving protocols used to change @xmath275 from @xmath279 to @xmath280 are presented in fig .
[ profilefig ] .
they range from sudden switch in ( i ) to slow ( adiabatic ) switch in ( v ) .
the system is always initially in the steady state corresponding to @xmath279
. we will consider measurements which end when the system reaches its new steady state at @xmath280 .
different measurement times are represented by a , b , c , d .
[ ps ] , we display @xmath297 . since @xmath298 is a state function , @xmath297 is the same for the various protocol .
because we consider a two level system , @xmath298 can only take four possible values which correspond to the four possible change in the system state between its initial and final condition .
the transitions @xmath299 and @xmath300 are much more probable because the probability to initially find the system in the empty state @xmath255 is much higher ( @xmath301 ) than finding it in the filled state @xmath256 ( @xmath302 ) .
the transition @xmath299 is more probable than @xmath300 because the system has a final probability @xmath303 to be in its empty state and @xmath304 to be in its filled state .
+ in the left column of fig .
[ psexpsd ] , we depict @xmath305 . here
@xmath306 so that @xmath307 [ see ( [ baaahb ] ) ] .
all curves ( i)-(v ) satisfy the ft ( [ ftx ] ) . for the sudden switch ( i )
, @xmath308 becomes a state function which only depends on the initial state of the system [ see ( [ caabj ] ) ] .
@xmath308 can therefore take two possible values corresponding to the empty @xmath255 or filled @xmath256 orbital with a respective probability @xmath301 or @xmath302 .
when the driving speed slows down in ( ii ) the peaks are broadened . in the adiabatic limit ( v ) , @xmath305 becomes a broad distribution with zero average . in the right column of fig .
[ psexpsd ] , we depict @xmath309 . for sudden switch ( i ) , @xmath310 turn to a state function which only depends on the final steady state distribution [ see ( [ caabk ] ) ] .
it is clear from ( [ caabk ] ) that the transitions @xmath299 and @xmath311 leads to @xmath312 and @xmath313 and @xmath300 to the same @xmath310 with opposite sign .
the probabilities to observe these transitions follow from the fact that the system is initially more likely to be in @xmath255 ( prob @xmath301 ) than in @xmath256 .
the probability for the final state @xmath255 ( @xmath256 ) is @xmath303 ( @xmath304 ) .
therefore the most likely transition is @xmath299 followed from @xmath300 . as the driving speed slows down like in ( ii ) , the peaks get broadened .
since @xmath314 [ see ( [ baaakk ] ) ] and since in the adiabatic switch limit ( v ) @xmath305 is centered around zero , @xmath309 ( v ) has the same peak structure as @xmath315 [ see fig .
[ ps ] ] , but broadened by @xmath308 . + in fig .
[ pse ] , we display @xmath316 for different measurement times and protocols .
plots with same driving but different measurement times [ ( i)a and ( ii)d or ( ii)a and ( ii)d or ( iii)b and ( iii)d ] show the evolution of @xmath316 in the final steady state . the plots
( ii)-(v ) satisfy the ft ( [ ssaaaai ] ) which for our parameters imply @xmath317 .
the ft is not satisfied for ( i ) because the driving starts at the same time as the measurement [ see section [ fte ] ] . to understand the structure of @xmath316 , we time integrate ( [ trajentr_aaaagb ] ) and use the fact that in our model the heat current is proportional to the matter current between the @xmath11 reservoir and the system @xmath318 where @xmath319 we get @xmath320 in the sudden switch limit ( i )
, we get @xmath321 where @xmath322 is the net number of electron transferred from the reservoir @xmath11 to the system between @xmath255 and @xmath4 . this explains why @xmath323 in ( i ) only take discrete value which are multiples of each other .
the distance between the peaks of @xmath324 observed in ( i ) is due to the right lead only @xmath325 because our parameters are such that @xmath326 .
the new peaks which appear in ( ii ) with a spacing @xmath327 are due to the fact that the driving starts some time after the measurement so that @xmath328 also contributes . as the driving speed slows down ( iii)-(v )
, the discrete structure broadens and @xmath323 can take continuous values .
[ psa ] , we display @xmath329 .
all curves satisfy the ft ( [ fthk ] ) .
the verification ( not shown ) is best done on the gf ( @xmath330 ) because the numerical accuracy of the tail of the distribution is not sufficient .
the peak structure of @xmath331 can be understood from @xmath332 and @xmath309 because @xmath333 .
this is particularly clear for the sudden switch ( i ) where the possible values of the entropies are strongly restricted .
indeed , in ( i ) each peak of @xmath332 is split in three smaller peaks which have the same structure as @xmath309 . as the speed of the driving decreases ( ii)-(v ) , the peak structure disappears .
[ psi ] , we show @xmath334 .
all curves satisfy the ft ( [ fti ] ) [ verification was done on the gf ( not shown ) ] .
the structure of @xmath334 can be understood using @xmath332 and @xmath297 because @xmath335 .
this is clear for the sudden switch ( i ) where the peaks of @xmath332 are split in smaller peaks which have the structure of @xmath297 .
for a driven open system in contact with multiple reservoirs and described by a master equation , we have proposed a partitioning of the trajectory entropy production into two parts .
one contributes when the system is not in its steady state and contains two contributions due to the external driving and the deviation from steady state in the initial and final probability distribution of the system .
the second part comes from breaking of the detailed balance condition by the multiple reservoirs and becomes equal to the total entropy production when the system remains in its steady state all throughout the nonequilibrium process .
both parts as well as the total entropy production satisfy an general integral fluctuation theorem which imposes positivity on their ensemble average .
this partitioning also provides a simple way to identify which part of the entropy production contributes during a specific type of nonequilibrium process [ see fig .
[ shema ] ] .
previously derived integral fluctuation theorems can be recovered from our three general fluctuation theorems and in addition we derived a new integral fluctuation theorem for the part of the entropy production due to exchange processes between the system and its reservoirs ( reservoir entropy production ) .
our results strictly apply to systems described by a master equation ( [ aaaaa ] ) . however , as has often be the case for previous fluctuation relations , one could expect similar results to hold for other types of dynamics . for electron transport trough a single level quantum dot between two reservoir with time dependent chemical potentials , we have simulated and analyzed in detail the probability distributions of the various trajectory entropies and showed how they can be measured in electron counting statistics experiments .
the support of the national science foundation ( grant no . che-0446555 ) and nirt ( grant no . eec 0303389 ) is gratefully acknowledged .
m. e. is partially supported by the fnrs belgium ( collaborateur scientifique ) .
we show that the ft ( [ fti ] ) and ( [ ftx ] ) have an interesting interpretation in term of the ratio of the probability of a forward dynamics generating a given trajectory and the probability of the time - reversed trajectory during some backward dynamics .
this is an alternative to the gf approach which connects the detailed form to the integral form of the fts .
+ the forward dynamics is described by the me ( [ aaaaa ] ) .
we introduce the probability ( in trajectory space ) @xmath336 $ ] that the system follows a trajectory @xmath82 @xmath337 & = & p_{m_0}(0 ) \bigg [ \prod_{j=1}^{n }   \label{caaaa}\\ & & \hspace{-2 cm }   \exp{\bigg(\int_{\tau_{j-1}}^{\tau_{j } } d\tau '   w_{m_{j-1},m_{j-1}}(\lambda_{\tau ' } ) \bigg ) }   w_{m_{j},m_{j-1}}^{(\nu_{j})}(\lambda_{\tau_j } ) \bigg ] \nonumber   \\&&\hspace{0 cm } \exp{\big(\int_{\tau_{n}}^{t } d\tau ' w_{m_{n},m_{n}}(\lambda_{\tau ' } ) \big ) } \;.\nonumber\end{aligned}\ ] ] the @xmath338 factors in this expression represent the probability that the system undergoes a given transition whereas the exponentials describe the probability for the system to remain in a given state between two successive jumps .
summation over all possible trajectories will be denoted by @xmath339 .
it consists of time - ordered integrations over the @xmath78 time variables @xmath340 from @xmath255 to @xmath95 ( this gives the probability of having a path with @xmath78 transitions ) and then summing over all possible @xmath78 from @xmath255 to @xmath341 .
normalization in trajectory - space implies that @xmath342 = 1 $ ] .
+ the backward dynamics is described on the time interval @xmath343 $ ] by the me @xmath344 where the new rate matrix @xmath345 satisfies @xmath346 .
we require that the parametric time dependence ( via the driving protocol @xmath347 ) of the rate matrix in eq .
( [ caaab ] ) is time - reversed compared that of eq .
( [ aaaaa ] ) and that the diagonal part of the rate matrix in eq .
( [ aaaaa ] ) and ( [ caaab ] ) is the same @xmath348 this still leaves room for different choices of @xmath345 .
we will later specify two choice of @xmath349 [ ( [ caaaoa ] ) and ( [ caaax ] ) ] that will result in two fts . + we define the time - reversed trajectory of @xmath82 by @xmath350 @xmath351 .
the probability @xmath352 $ ] that the system described by ( [ caaab ] ) follows the time - reversed trajectory @xmath353 is given by @xmath354 & = &   \tilde{p}_{m_n}(0 ) \bigg [ \prod_{j=1}^{n }   \label{caaac }   \\&&\hspace{-1.5 cm }   \exp{\bigg(\int_{t-\tau_{n - j+2}}^{t-\tau_{n - j+1 } } d\tau '   \tilde{w}_{m_{n - j+1},m_{n - j+1}}(\lambda_{t-\tau ' } ) \bigg ) }   \nonumber \\&&\hspace{2 cm } \tilde{w}_{m_{n - j},m_{n - j+1}}^{(\nu_{n - j+1 } ) } ( \lambda_{t-\tau_{n - j+1 } } ) \bigg ]   \nonumber \\&&\hspace{1 cm } \exp{\big(\int_{t-\tau_{1}}^{t } d\tau '   \tilde{w}_{m_{0},m_{0}}(\lambda_{t-\tau ' } ) \big ) } \;,\nonumber\end{aligned}\ ] ] where @xmath355 .
normalization in the reverse path ensemble implies @xmath356 = 1 $ ] .
+ we consider the ratio of the two probabilities ( [ caaaa ] ) and ( [ caaac ] ) , @xmath357 & \equiv &   \ln \frac{{\cal p}[m_{(\tau)}]}{\tilde{{\cal p}}[\bar{m}_{(\tau ) } ] }   \label{caaad } \;.\end{aligned}\ ] ] due to ( [ caaaba ] ) , the contributions from the exponentials ( which represent the probabilities to remain on a given state ) in ( [ caaad ] ) cancel , so that @xmath357= \ln \frac{p_{m_0}(0)}{\tilde{p}_{m_n}(0 ) } + \sum_{j=1}^{n } \ln \frac{w_{m_{j},m_{j-1}}^{(\nu_{j})}(\lambda_{\tau_j } ) } { \tilde{w}_{m_{j-1},m_{j}}^{(\nu_{j})}(\lambda_{\tau_{j } } ) }   \;.\label{caaae}\end{aligned}\ ] ] we can partition ( [ caaae ] ) in the form @xmath357 & = & \ln \frac{p_{m_0}(0)}{\tilde{p}_{m_n}(0 ) } + \sum_{j=1}^{n } \ln \frac{p_{m_{j}}^{\rm st}(\lambda_{\tau_j } ) } { p_{m_{j-1}}^{\rm st}(\lambda_{\tau_j } ) }   \label{caaaf}\\ & & + \bigg(\sum_{j=1}^{n }   \ln \frac{p_{m_{j-1}}^{\rm st}(\lambda_{\tau_j } )   w_{m_{j},m_{j-1}}^{(\nu_{j})}(\lambda_{\tau_j } ) } { p_{m_{j}}^{\rm st}(\lambda_{\tau_j } )   \tilde{w}_{m_{j-1},m_{j}}^{(\nu_{j})}(\lambda_{\tau_{j}})}\bigg ) \;. \nonumber\end{aligned}\ ] ] we assume for the moment that @xmath358 $ ] can be expressed exclusively in terms of quantities of the dynamics ( [ aaaaa ] ) i.e. a recipe has to be provided to express the tilde quantities in ( [ caaae ] ) [ @xmath359 and @xmath360 in terms of non - tilde quantities . + in analogy with ( [ caaad ] ) , we define @xmath361 \equiv \ln \frac{\tilde{{\cal p}}[\bar{m}_{(\tau ) } ] } { { \cal p}[m_{(\tau ) } ] } \label{caaag}\end{aligned}\ ] ] for the tilde dynamics .
the previous recipe also implies that @xmath362 $ ] can be exclusively expressed in terms of quantities of the tilde dynamics ( [ caaab ] ) .
( [ caaad ] ) together with ( [ caaag ] ) implies that @xmath358=-\tilde{r}[\bar{m}_{(\tau)}]$ ] .
+ the probability @xmath363 to observe a trajectory such that @xmath358=r$ ] during the forward dynamics is related to the probability @xmath364 to observe a trajectory such that @xmath362=-r$ ] during the backward dynamics @xmath365 \delta(r - r[m_{(\tau ) } ] )   \label{caaah}\\ & = & \sum_{m_{(\tau ) } } \tilde{{\cal p}}[\bar{m}_{(\tau ) } ]   { { \rm e}}^{r[m_{(\tau ) } ] } \delta(r - r[m_{(\tau ) } ] ) \nonumber \\ & = & { { \rm e}}^{r } \sum_{m_{(\tau ) } } \tilde{{\cal p}}[\bar{m}_{(\tau ) } ]   \delta(r - r[m_{(\tau)}])\nonumber \\ & = & { { \rm e}}^{r } \sum_{\bar{m}_{(\tau ) } } \tilde{{\cal p}}[\bar{m}_{(\tau ) } ]   \delta(r+\tilde{r}[\bar{m}_{(\tau ) } ] ) \nonumber \\ & = & { { \rm e}}^{r } \tilde{{\rm p}}(-r ) \nonumber \;.\end{aligned}\ ] ] by integrating @xmath366 over @xmath367 , we get @xmath368 } \rangle}=1 \label{caaai } \;.\end{aligned}\ ] ] it follows from jensen s inequality @xmath164 , that @xmath369   \rangle } \geq 0 $ ] .
+ we now make a first choice of @xmath370 in the backward dynamics ( [ caaab ] ) @xmath371 in this case the backward dynamics is identical to the original one , except that the driving protocol is time reversed . if we also choose the initial conditions of the backward dynamics to be the final conditions of the forward dynamics @xmath372 , using ( [ caaae ] ) and ( [ trajentr_aaaaf ] ) , we find @xmath357 = \delta s_{tot } [ m_{(\tau)},t ] \;.
\label{caaao}\end{aligned}\ ] ] the ft ( [ fti ] ) previously derived using gfs now follows from eq .
( [ caaai ] ) . using ( [ caaah ] ) , we also get the detailed form of the ft @xmath373    we now make a second choices of @xmath370 in ( [ caaab ] ) @xmath374 in the theory of mes , ( [ caaab ] ) with ( [ caaax ] ) is called the time reversal me of ( [ aaaaa ] ) @xcite .
we again choose the initial condition of the tilde dynamics to be the final conditions of the original dynamics @xmath372 . using ( [ caaaf ] ) with ( [ caaax ] ) and ( [ trajentr_aaaaj ] ) ,
we get @xmath357 = \delta s_{na}[m_{(\tau)},t ] \;. \label{caaay}\end{aligned}\ ] ] the previously derived ft ( [ ftx ] ) follows now from ( [ caaai ] ) . from eq .
( [ caaah ] ) we find the detailed form of the ft @xmath375 we can interpret the change in the total tep during the @xmath255 to @xmath95 time interval as the logarithm of the ( forward ) probability that the driven system follows a given trajectory divided by the backward probability that the system , initially in the final probability distribution of the forward evolution , and driven in a time reversed way compared to the forward evolution , follows the time - reversed trajectory .
+ the nonadiabatic tep is interpreted as the logarithm of the ( forward ) probability that the driven system follows a given trajectory divided by the backward probability that the system , initially in the final probability distribution of the forward evolution , and described by the time - reversed me , follows the time - reversed trajectory .
+ it should be noted that the backward me ( [ caaab ] ) with ( [ caaax ] ) is different from the backward me ( [ caaab ] ) with ( [ caaaoa ] ) only for systems interacting with multiple reservoirs which break the dbc . only in this case
( [ fti ] ) is different from ( [ ftx ] ) .