Abstract
For a classical system consisting of N-interacting identical particles in contact with a heat bath, we define the free energy from thermodynamic relations in equilibrium statistical mechanics. Concretely, the temperature dependence of the free energy is determined from the Gibbs-Helmholtz relation, and its volume dependence is determined from the condition that the quasi-static work in a volume change is equal to the free energy change. Now, we argue the free energy difference in a quasi-static decomposition of small thermodynamic systems. We can then determine the N dependence of the free energy, which includes the Gibbs factorial N! in addition to the phase space integration of the Gibbs–Boltzmann factor.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Suppose that a small thermodynamic system contacts with a heat bath of temperature T. For equilibrium cases, microscopic states obey a canonical distribution. Dynamical properties of the system are described by stochastic processes with the detailed balance condition or by projected dynamics of the system from the Hamiltonian dynamics of the total system containing the heat bath. The transition from an equilibrium state to another equilibrium state is caused by a time-dependent parameter. Even for small systems without the thermodynamic limit, thermodynamic concepts such as the first law and the second law are formulated together with incorporating fluctuation properties [1,2,3].
We study N-interacting identical particles whose Hamiltonian is given by \(H(\Gamma ;{{\mathcal {C}}})\) with a microscopic coordinate \(\Gamma \) and a set of parameters \({{\mathcal {C}}}\) describing a system configuration. A typical example of \({{\mathcal {C}}}\) is (V, N), which represents a condition that N particles are completely confined in a region of volume V. The equilibrium state is given by the canonical distribution
where \(\beta \equiv 1/(k_{\mathrm{B}}T)\) with the Boltzmann constant \(k_{\mathrm{B}}\) and the partition function \(Z(T,{{\mathcal {C}}})\) is given by
from the normalization condition \(\int d\Gamma \rho _\beta (\Gamma ;{{\mathcal {C}}})=1\). We then define the free energy \(F(T,{{\mathcal {C}}})\) of this system from the following two prerequisites. First, for any \({{\mathcal {C}}}_0\) and \({{\mathcal {C}}}_1\), the free energy difference \(F(T,{{\mathcal {C}}}_1)-F(T, {{\mathcal {C}}}_0)\) is equal to the quasi-static work from \({{\mathcal {C}}}_0\) to \({{\mathcal {C}}}_1\). Because the latter is expressed by the partition function, the first condition is expressed as
See Sec. 2.2 for the derivation. The second condition is that \(F(T,{{\mathcal {C}}})\) satisfies the Gibbs-Helmholtz relation:
where E is the expectation of \(H(\Gamma ;{{\mathcal {C}}})\). We emphasize that these prerequisites are standard in the thermodynamic definition of free energy.
As the simplest configuration, we consider the case where N-interacting identical particles are confined in a cuboid container of volume V. The partition function and the free energy of this system are denoted by Z(T, V, N) and F(T, V, N). It has been known that (3) and (4) lead to
with a function \(\bar{\phi }(N)\). See Sec. 2.2 for a review of the derivation. If we end the argument to this point, \(\bar{\phi }(N)\) remains an arbitrary function that is not observed in experiments. However, using (3) for a quasi-static decomposition process, we can derive
where \(c_0\) is an arbitrary constant. This is the main claim of this paper. Substituting (6) into (5), we obtain
The formula (7) has been explained in standard textbooks of statistical mechanics. If the system is described by quantum mechanics, the free energy is defined as
using the density matrix \(\hat{\rho }_\beta ({{\mathcal {C}}})\) with a Hamiltonian \({\hat{H}}({{\mathcal {C}}})\). For N-interacting identical particles, the classical limit of F leads to (7) with \(c_0= 3\log h\), where h is the Planck constant. However, when \(\hat{\rho }_\beta \) and \({\hat{H}}\) in (8) are replaced by \(\rho _\beta (\Gamma ;{{\mathcal {C}}})\) and \(H(\Gamma ;{{\mathcal {C}}})\), (8) becomes (7) without N!. From this fact, one may understand that N!, which we call the Gibbs factorial, comes from quantum mechanics. We understand that this interpretation is not logically correct, because it might be possible that the definition of F in (8) is not valid. There are several approaches characterizing the Gibbs factorial in classical systems [4,5,6,7,8,9,10]. Our argument stands on a general principle that thermodynamic quantities are defined by experimentally measurable quantities. That is, whether or not N! appears in the formula should be determined by thermodynamic considerations. This viewpoint has been repeatedly explained in the literature [4, 5].
To determine the functional form of \(\bar{\phi }(N)\) based on (3), one might be tempted to assume that a quasi-static decomposition process can be achieved by inserting a separating wall slowly. If the decomposition were possible without work as assumed in macroscopic thermodynamics, (3) could lead to
for any N and \(\lambda \) such that \(\lambda N\) is an integer. The combination of (5) with (9) gives
as shown in Sec. 2.3, where \(c_1\) is an arbitrary constant. Here, (10) is consistent with (6) when o(N) terms are ignored in the thermodynamic limit \(N \rightarrow \infty \) and \(V \rightarrow \infty \) with V/N fixed, while (10) is not equal to (6) for finite N cases. The correct statement is that (9) is valid only in the thermodynamic limit. Thus, the Gibbs factorial N! for macroscopic systems is understood by thermodynamic considerations, but (6) has not been derived from (3) for finite N cases.
The difference between (6) and (10) has been studied from the viewpoint of information thermodynamics [10]. Indeed, one can quickly insert a separating wall after measuring the particle number in the left region of the volume \(\lambda V\). Then, the free energy associated with measurement-and-feedback appears on the right-hand side of (9). The form of \(\bar{\phi }(N)\), taking account of this contribution, is found to be (6), not (10). This argument provides the operational foundation of (7). Therefore, the Gibbs factorial N! would be derived only from quasi-static works if the quasi-static process corresponding to the free energy obtained by measurement-and-feedback is constructed.
Concerning the last point, in Ref. [11], it is claimed that such a quasi-static process exists, but the process is not explicitly shown. In the present paper, we construct a quasi-static decomposition process using a special confining potential. We note that another decomposition process along the argument in Ref. [11] is also presented in Ref. [12].
Here, it should be noted that for a system consisting of identical particles, the symmetry of the Hamiltonian for any permutation of particle indexes plays an essential role in the calculation of the quasi-static work. In contrast, when two types of particles, A and B, are mixed, the Gibbs factorial becomes \(N_A!N_B!\), where \(N_A\) and \(N_B\) are the numbers of particles of type A and B, respectively. In addition to the quasi-static decomposition, the separation of different types of particles is conducted using a semi-permeable wall under the assumption that the semi-permeable wall can be prepared for any type described in the Hamiltonian.
The remainder of the paper is organized as follows. In Sec. 2, we describe the setup of our study. We then derive (3), (5), and (10) as a review. In Sec. 3, we derive the main result (6). In Sec. 4, we study binary mixtures and clarify how the Gibbs factorial is modified from simple systems. In Sec. 5, we briefly comment on the other approaches presented in Refs. [6,7,8,9]. We also consider quantum systems from the viewpoint of quasi-static decomposition.
2 Preliminaries
2.1 Setup
We study N-interacting particles confined in a cuboid region D with \(|D|=V\), where |D| represents the volume of the region D. Let \(({\varvec{r}}_i, {\varvec{p}}_i) \in {\mathbb {R}}^6\) be the position and momentum of i-th particle. The phase space coordinate \(\Gamma \) of the system is then given by
We assume the Hamiltonian of the system as
where \(V_{\mathrm{int}}\) represents a short-range interaction between two particles. For simplicity, we assume that there exists a microscopic length \(\xi \) such that \(V_{\mathrm{int}}(r)=0\) for \(r \ge \xi \).
To describe confinement of the N particles into the region D, we introduce a wall potential
with
which indicates the distance between a point \({\varvec{r}}\) and the region D. The parameter \(\kappa \) in (13) represents the strength of confinement. We express the total Hamiltonian as
The canonical distribution for this Hamiltonian is given by
with the partition function
In the hard wall limit \(\kappa \rightarrow \infty \), recalling \(|D|=V\), we have the standard partition function
where \(\chi ({{\mathcal {A}}})=1\) if \({{\mathcal {A}}}\) is true, otherwise \(\chi ({{\mathcal {A}}})=0\).
More generally, \(V_{\mathrm{con}}(\Gamma ;{{\mathcal {C}}})\) denotes a general confining potential described by a set of parameters \({{\mathcal {C}}}\). We then write
The canonical distribution and the partition function of this system are given by (1) and (2). Thermodynamic processes are described by time-dependence of \({{\mathcal {C}}}\) that describes a system configuration. In particular, for any \({{\mathcal {C}}}_0\) and \(\mathcal{C}_1\), a quasi-static process connecting them is represented by a one-parameter continuous family \({{\mathcal {C}}}_\alpha \), where \(0 \le \alpha \le 1\), which forms a path in the parameter space. The quasi-static work done in this process is defined by
2.2 Derivation of (3) and (5)
We substitute (1) into the right-hand side of (21), and then calculate it as
From the condition that the free energy difference is equal to \(W({{\mathcal {C}}}_0 \rightarrow {{\mathcal {C}}}_1)\), we obtain (3).
As a special case, we consider the system with a confining potential
Let \(F(T,{D,N,\kappa })\) be the free energy of the system. The formula (3) in this case becomes
for any regions \(D_0\) and \(D_1\). Taking the limit \(\kappa \rightarrow \infty \), we obtain
where \(|D_1|=V_1\) and \(|D_0|=V_0\). Note that the formula (3) cannot be directly applied to the system with \(\kappa \rightarrow \infty \) because we here always determine the change in free energy from quasi-static work and \(\partial H/\partial \alpha \) is not defined for the case \(\kappa \rightarrow \infty \). This is the reason why we need to pass (24) to get (25). Because the relation (25) holds for any \(V_0\) and \(V_1\), F(T, V, N) takes the form
where a functional form of \(\phi (T,N)\) is not determined yet.
Furthermore, the expectation of the energy is calculated as
The condition (4) is then expressed as
This equality with (26) becomes
which leads to
with a function \(\bar{\phi }(N)\). Substituting (30) into (26), we obtain (5).
2.3 Derivation of (10)
Let us derive (10), which is a consequence of the invalid assumption (9). Let \(H_{\mathrm{id}}(\Gamma ;D,N,\kappa )\) be the Hamiltonian of N-free particles confined in the same region D. The system corresponds to the ideal gas in thermodynamics. The partition function of the system is denoted by \(Z_{\mathrm{id}}(T,V,N)\). Here, putting \(\alpha \) in front of \(V_{\mathrm{int}}\) in (12), we change \(\alpha \) from \(\alpha =0\) to \(\alpha =1\) gradually. We then have a quasi-static process from \(H_{\mathrm{id}}(\Gamma ;D,N,\kappa )\) to \(H(\Gamma ;D,N,\kappa )\). Because the work done in the quasi-static process is equal to the free energy difference of the two systems, the relation
holds. By substituting (5) into (31), we obtain
This expression indicates that \(\bar{\phi }(N)\) is independent of \(H_0(\Gamma )\). Now, we can directly calculate \(Z_{\mathrm{id}}(T,V,N)\) as
We substitute (32) with (33) into (9) for \(F_{\mathrm{id}}\). We then have
Because this relation holds for any N and \(\lambda \) such that \(\lambda N\) is an integer, we obtain (10).
3 Derivation of the Main Result (6)
3.1 Outline
The key step in the derivation of (6) is to construct a quasi-static decomposition. We start with a description of the decomposed system. Let \(D^{\mathrm{L}}\) and \(D^{\mathrm{R}}\) be two cuboid regions separated by greater than the interaction length \(\xi \). By using a confining potential with a strength \(\kappa \), we attempt to construct a system where \(N^{\mathrm{L}}\) and \(N^{\mathrm{R}}\) particles are almost in \(D^{\mathrm{L}}\) and \(D^{\mathrm{R}}\), where \(N^{\mathrm{L}}+N^{\mathrm{R}}=N\) and \(|D^{\mathrm{L}}|=V^{\mathrm{L}}\) and \(|D^{\mathrm{R}}|=V^{\mathrm{R}}=V-V^{\mathrm{L}}\). Let \({{\mathcal {C}}}_1\) be a parameter set of the confining potential for the decomposed system, which is explicitly written as
We also express the confining potential given in (23) as \({{\mathcal {C}}}_0=(D,N,\kappa )\). The most important step is to find a continuous family of confining potentials \(V_{\mathrm{con}}(\Gamma ;\mathcal{C}_\alpha )\) with \(0 \le \alpha \le 1\) starting from (23). Here, it is assumed that a particular \(N^{\mathrm{L}}\)-particles cannot be selected by controlling a potential. This property is expressed by
with
for any \(\Gamma \) and \(\sigma \in P\), where P denotes a set of all permutations of \(\{1,2,\ldots , N\}\). If such a family of potentials \(V_{\mathrm{con}}(\Gamma ;{{\mathcal {C}}}_\alpha )\), \(0 \le \alpha \le 1\), is found, (3) can be applied to the quasi-static decomposition process represented by this \((\mathcal{C}_\alpha )_{\alpha =0}^1\). Then, we take the limit \(\kappa \rightarrow \infty \) for the obtained expression. The result is
where the numbers of particles in the regions \(D^{\mathrm{L}}\) and \(D^{\mathrm{R}}\) are fixed as \(N^{\mathrm{L}}\) and \(N^{\mathrm{R}}\). Because
we have only to calculate \(\log Z(T, {{\mathcal {C}}}_1)\). In the next section, by explicitly constructing the quasi-static decomposition, we calculate
Substituting (5), (39), and (40) into (38), we obtain
Because this holds for any N, \(N^{\mathrm{L}}\), and \(N^{\mathrm{R}}\), we conclude (6).
3.2 Derivation of (40)
Illustration of a decomposed system using the confining potential (42) (top) or (44) (bottom). \(N=6\), \(N^{\mathrm{L}}=4\), and \(N^{\mathrm{R}}=2\). Particles can move from one region to the other region when \(\kappa \) is finite, while only \(\Gamma \) satisfying \(V_{\mathrm{con}}=0\) can be realized in the limit \(\kappa \rightarrow \infty \)
We explicitly construct a confining potential for the decomposed system described by \({{\mathcal {C}}}_1\), where \(N^{\mathrm{L}}\) and \(N^{\mathrm{R}}\) particles are almost in \(D^{\mathrm{L}}\) and \(D^{\mathrm{R}}\). One may naively consider such a potential as
illustrated in the top side of Fig. 1. The confining potential (42) does not satisfy (36) with \(\alpha =1\). This means that if (42) were realized in a quasi-static process from (23), particles with index i satisfying \(1 \le i \le N^{\mathrm{L}}\) could be distinguished from the others. However, such distinguishment of identical particles is not allowed in the operation. Therefore, we have to look for a potential that is symmetric with respect to permutations of particle indexes.
Our approach is to consider a potential depending on the particle number in a specified region. For example, let us investigate
A phase space coordinate \(\Gamma \) satisfying \(V_\mathrm{con}(\Gamma ;D^{\mathrm{L}},N^{\mathrm{L}},\kappa )=0\) shows that at least \(N^{\mathrm{L}}\) particles are confined in the region \(D^{\mathrm{L}}\). It is obvious that \(V_\mathrm{con}(\Gamma ;D^{\mathrm{L}},N^{\mathrm{L}},\kappa )\) is symmetric with respect to permutations of the particle label because the minimization is taken over all permutations. However, owing to this property, the confining potential is not local.
Now, based on the potential (43), we consider a confining potential for the system configuration given by (35). As one example, we propose
Because \(D^{\mathrm{L}}\) and \(D^{\mathrm{R}}\) are separated by greater than the interaction length \(\xi \), a phase space coordinate \(\Gamma \) satisfying \(V_{\mathrm{con}}(\Gamma ;{{\mathcal {C}}}_1)=0\) shows that \(N^{\mathrm{L}}\) particles are confined in \(D^{\mathrm{L}}\) and \(N^{\mathrm{R}}=N-N^{\mathrm{L}}\) particles are confined in \(D^{\mathrm{R}}\), respectively, as displayed in the bottom side of Fig. 1. We here note that particles can move from one region to the other region when \(\kappa \) is finite. Therefore, all possible decompositions are observed in the time evolution.
Illustration of quasi-static decomposition described by the family of potentials (45). A sequence of particle configurations. \(N=8\), \(N^{\mathrm{L}}=5\), and \(N^{\mathrm{R}}=3\). The case \(\alpha =0\) is on the leftmost side, and the case \(\alpha =1\) on the rightmost side. \((D^{\mathrm{L}}_0,D^{\mathrm{R}}_0)=(D,D)\), \((D^{\mathrm{L}}_1,D^{\mathrm{R}}_1)=(D^{\mathrm{L}},D^{\mathrm{R}})\), and \(D^{\mathrm{L}}_{\alpha } \cap D^{\mathrm{R}}_{\alpha } \not =\phi , D\) for \(0< \alpha < 1\). \({{\hat{N}}}^{\mathrm{L}}\) and \({{\hat{N}}}^{\mathrm{R}}\) denotes the number of particles in the region \(D^{\mathrm{L}}_\alpha \) and \(D^{\mathrm{R}}_\alpha \), respectively. Note that \({{\hat{N}}}^{\mathrm{L}}\ge N^{\mathrm{L}}\) and \({{\hat{N}}}^{\mathrm{R}}\ge N^{\mathrm{R}}\) hold if and only if \(V_{\mathrm{con}}(\Gamma ;\mathcal{C}_\alpha )=0\)
Furthermore, we construct a quasi-static process from the parameter set \({{\mathcal {C}}}_0\) to \({{\mathcal {C}}}_1\). Let \(D^{\mathrm{L}}_\alpha \) and \(D^{\mathrm{R}}_\alpha \) (\(0\le \alpha \le 1\)) be a continuous family of regions satisfying \((D^{\mathrm{L}}_0,D^{\mathrm{R}}_0)=(D,D)\) and \((D^{\mathrm{L}}_1,D^{\mathrm{R}}_1)=(D^{\mathrm{L}},D^{\mathrm{R}})\). We then define
To see properties of the potential, we define \({{\hat{N}}}^{\mathrm{L}}\) and \({{\hat{N}}}^{\mathrm{R}}\) as the number of particles contained in \(D^{\mathrm{L}}_\alpha \) and \(D^{\mathrm{R}}_\alpha \) for a given microscopic coordinate \(\Gamma \). We then confirm that \({{\hat{N}}}^{\mathrm{L}}\ge N^{\mathrm{L}}\) and \({{\hat{N}}}^{\mathrm{R}}\ge N^{\mathrm{R}}\) hold if and only if \(V_{\mathrm{con}}(\Gamma ;{{\mathcal {C}}}_\alpha )=0\). Keeping this in mind, we find that (45) with \(\alpha =0\) is equivalent to (13), and thus (45) with \(0 \le \alpha \le 1\) represents the quasi-static decomposition, as illustrated in Fig. 2. We also note that (45) satisfies (36) for any permutation \(\sigma \).
Now, we calculate \(\lim _{\kappa \rightarrow \infty }Z(T, {{\mathcal {C}}}_1)\). For later convenience, we define the subset G of permutations P as
For a given phase-space coordinate \(\Gamma \) satisfying \(V_\mathrm{con}(\Gamma ;{{\mathcal {C}}}_1)=0\), there is a unique \(\sigma \in G\) such that \({\varvec{r}}_{\sigma (i)} \in D^{\mathrm{L}}\) for \(1\le i \le N^{\mathrm{L}}\) and \({\varvec{r}}_{\sigma (i)} \in D^{\mathrm{R}}\) for \(N^{\mathrm{L}}+1\le i \le N\). We express this \(\sigma \) as \(\sigma _\Gamma \) to see the \(\Gamma \) dependence explicitly. We then have
By substituting \(\sum _{\sigma \in G}\delta (\sigma , \sigma _\Gamma )=1\) into the right-hand side of (47), we rewrite it as
Here, using the symmetry property \(H_0(\Gamma )=H_0(\Gamma _\sigma )\) for any \(\sigma \in P\), (48) is further expressed as
Because
we obtain (40).
4 Free Energy of Binary Mixtures
In this section, we study a system consisting of two different types of particles, A and B, confined in the cuboid region D. Let \(\Gamma =(\Gamma ^A, \Gamma ^B)\) be a phase-space coordinate of the system, where
The Hamiltonian of the system is expressed as
with
Here, \(V_{\mathrm{int}}^{A/B}\) represents a short-range interaction between two particles with the same type A or B, and \(V_\mathrm{int}^{\mathrm{AB}}\) a short-range interaction between a particle of type A and a particle of type B. The system configuration that all the particles are confined in the region D is given by a confining potential
where \({{\mathcal {C}}}_0\) denotes this set of the parameters. The total Hamiltonian is denoted by \(H(\Gamma ;{{\mathcal {C}}}_0)\), which is equal to \(H_0(\Gamma )+ V_{\mathrm{con}}(\Gamma ; {{\mathcal {C}}}_0)\). We then define the partition function \(Z(T,V,N^A,N^B)\) by
By a similar argument for the derivation of (5), we find that the free energy \(F(T,V,N^A,N^B)\) of the binary mixture satisfies
with a function \(\bar{\phi }^{(2)}(N^A,N^B)\).
In order to determine \(\bar{\phi }^{(2)}(N^A,N^B)\), we consider a system configuration that particles of type A are in \(D^{\mathrm{L}}\), while particles of type B are in \(D^{\mathrm{R}}\), where \(D^{\mathrm{L}}\) and \(D^{\mathrm{R}}\) are separated by greater than the interaction length of particles. This configuration is described by a confining potential
Now, using \(D^{\mathrm{L}}_\alpha \) and \(D^{\mathrm{R}}_\alpha \) in the previous section, we can construct a quasi-static process parameterized by \(\mathcal{C}_\alpha \) as
which enforces all particles of type A (and B) to be confined in \(D^{\mathrm{L}}_{\alpha }\) (and \(D^{\mathrm{R}}_\alpha \)). This potential corresponds to a semi-permeable wall for any type of particles. Note that (61) is a standard one-body potential which is different from (45). The relation (3) for the quasi-static process \(({{\mathcal {C}}}_\alpha )_{\alpha =0}^1\) is written as
Here, from the result of the previous section, we have
where \(c_A\) and \(c_B\) are arbitrary constants. By substituting (59), (63), and (64) into (62), we obtain
Therefore, (59) with (65) becomes
The difference of (66) from (7) comes from the symmetry of the Hamiltonian for permutations. The assumption of the argument is that if the Hamiltonian is not invariant for the exchange of two particle indices, the two particles can be distinguished by the operation of a confining potential.
The arguments leading to (62), (63), and (64) imply that the free energy of binary mixtures can be calculated from works measured in numerical simulations or experiments. However, from a practical viewpoint, using the potential (44), which is necessary to obtain (63) and (64), may be impossible in experiments and is not efficient in numerical simulations. As shown in Ref. [10], the quasi-static decomposition can be replaced by the measurement-and-feedback with information thermodynamics. Furthermore, the expressions using other quasi-static works can be replaced by the Jarzynski relation [13], which turns out to be computationally efficient [10].
5 Concluding Remarks
We have derived (7) based on a quasi-static decomposition using the potential (44). Our argument stands on the view that free energy is defined by the measurement of thermodynamic quantities, that is, whether or not N! appears in the formula should be determined by thermodynamic considerations. This understanding was first presented over one hundred years ago [14]. As explained in Sec. 1, it is established that the Gibbs factorial for macroscopic systems is characterized by quasi-static works. The achievement in the present paper is that this known result can be extended to small thermodynamic systems by distinguishing \(\log N!\) and \(N\log N\). In closing, we briefly discuss other approaches to understand the Gibbs factorial.
In Refs. [6, 8], the partition function of a composite system of sub-systems with \((T,V^{\mathrm{L}},N^{\mathrm{L}})\) and \((T,V^{\mathrm{R}},N^{\mathrm{R}})\) is given as
See Eq. (2) in [6] and Eq. (6) in [8]. Although this takes the same form as (40), the left-hand side of (67) is not explicitly defined in Ref. [6]. The Hamiltonian of the composite system should involve a confining potential that is symmetric with respect to permutations of particle indexes. As shown in our paper, we require a special potential (44), but such an example is not illustrated in Ref. [6]. Concerning the last point, in Ref. [8], the composite system is prepared by making a small opening in the separating wall of the two sub-systems with the condition \(N^{\mathrm{L}}/N^{\mathrm{R}}=V^{\mathrm{L}}/V^{\mathrm{R}}\). However, in this case, \(N^{\mathrm{L}}\) fluctuates, and thus \(N^{\mathrm{L}}\) is not a fixed parameter. Nevertheless, (67) may be justified when the thermodynamic limit is taken, because \(N^{\mathrm{L}}/N\) takes the most probable value. Note that this argument cannot be applied to small thermodynamic systems.
As a slightly different approach, in Ref. [7], the thermodynamic function is defined by the probability of unconstrained thermodynamic variables. For example, in isolated systems, the probability is expressed in terms of thermodynamic entropy [15, 16]. For non-interacting particles in contact with a heat bath, the probability of the number of particles \(N^{\mathrm{L}}\) in a given region \(D^{\mathrm{L}}\) of the system is expressed as
where \({\tilde{Z}}\) is the normalization constant independent of \(N^{\mathrm{L}}\). Now, one may adopt (68) as a prerequisite for determining the free energy. Because \(P(N^{\mathrm{L}};T,V,N)\) is calculated from the canonical distribution, we find that (7) holds. The argument is easily generalized to N-interacting identical particles for macroscopic systems, which is the standard large deviation theory of thermodynamic systems [17]. Nevertheless, this approach cannot be used for small thermodynamic systems except for non-interacting particles.
As a generalization of (3), the Jarzynski relation can be used to determine the free energy from non-equilibrium works [13]. Then, when a non-equilibrium process without the corresponding time-reversed path is considered, the relation takes a modified form [18]. In Ref. [9], the free energy is argued using this modified Jarzynski relation with absolute irreversibility. Although the formal result of Eq. (6) in Ref. [9] is correct, the argument leading to the main result is limited to non-interacting particles. To prove their result for general cases, it is necessary to employ the quasi-static decomposition introduced in the present paper. We thus believe that the essence of the Gibbs factorial is in the quasi-static decomposition, not in the absolute irreversibility.
Finally, we consider quantum systems. Let \({\hat{H}}({{\mathcal {C}}})\) be a Hamiltonian for N-interacting identical particles in a system configuration described by \({{\mathcal {C}}}\). We define the partition function \(Z_{\mathrm{QM}}({{\mathcal {C}}})\) as
By repeating a similar argument in Sec. 3, we obtain
instead of (40). This result leads to
instead of (7). The free energy F defined by (8) is equivalent to (71) with \(c_0=0\). In our viewpoint, (8) should not be a starting point, but interpreted as the result from the prerequisites of free energy. Then, the free energy for both classical and quantum systems can be uniquely determined from the quasi-static works without any confusion, up to an additive constant proportional to N. The difference between (7) and (71) comes from the difference in distinguishability of microscopic states for N-identical particles. Although this is correct, the distinguishability of microscopic states plays no role in the argument determining the free energy. Rather, the most important issue here is whether or not particles are distinguished by operation of a confining potential.
References
Sekimoto, K.: Stochastic Energetics. Lect. Notes Phys., vol. 799. Springer-Verlag, Berlin (2010)
Seifert, U.: Stochastic thermodynamics, fluctuation theorems and molecular machines. Rep. Prog. Phys. 75, 126001 (2012)
Peliti, L., Pigolotti, S.: Stochastic Thermodynamics: An Introduction. Princeton University Press, Princeton (2021)
van Kampen, N.G.: The Gibbs Paradox, edited by W.E. Parry (Pergamon press, Oxford, 1984)
Jaynes, E.T.: Maximum Entropy and Bayesian Methods, edited by C. R. Smith, G.J. Erickson, and P.O. Neudorfer (Kluwer Academic, Holland, 1992)
Warren, P.B.: Combinatorial entropy and the statistical mechanics of polydispersity. Phys. Rev. Lett. 80, 1369–1372 (1998)
Swendsen, R.H.: Statistical mechanics of colloids and Boltzmann’s definition of the entropy. Am. J. Phys. 74, 187 (2006)
Frenkel, D.: Why colloidal systems can be described by statistical mechanics: some not very original comments on the Gibbs paradox. Mol. Phys. 112, 2325 (2014)
Murashita, Y., Ueda, M.: Gibbs paradox revisited from the fluctuation theorem with absolute irreversibility. Phys. Rev. Lett. 118, 060601 (2017)
Yoshida, A., Nakagawa, N.: Work relation for determining the mixing free energy of small-scale mixtures. Phys. Rev. Res. 4, 023119 (2022)
Horowitz, J.M., Parrondo, J.M.R.: Designing optimal discrete-feedback thermodynamic engines. New J. Phys. 13, 123019 (2011)
Tasaki, H.: The best answer to the puzzle of Gibbs about N!!: A note on the paper by Sasa, Hiura, Nakagawa, and Yoshida. arXiv:2206.05513
Jarzynski, C.: Nonequilibrium equality for free energy differences. Phys. Rev. Lett. 78, 2690–2693 (1997)
Ehrenfest, P., Trkal, V.: Ableitung des Dissoziationsgleichgewichtes aus der Quantentheorie und darauf beruhende Berechnung der chemischen Konstanten. Ann. Physik 65, 609 (1921)
Callen, H.B.: Thermodynamics and an Introduction to Thermostatistics, 2nd edn. Wiley, New York (1985)
Einstein, A.: The theory of the opalescence of homogeneous fluids and liquid mixtures near the critical state. Ann. Phys. 33, 1275 (1910)
Touchette, H.: The large deviation approach to statistical mechanics. Phys. Rep. 478, 1–69 (2009)
Murashita, Y., Funo, K., Ueda, M.: Nonequilibrium equalities in absolutely irreversible processes. Phys. Rev. E 90, 042110 (2014)
Acknowledgements
This work was supported by JSPS KAKENHI Grant Numbers JP19K03647, JP20K20425, JP22H01144, JP22J00337, and by JST, the establishment of university fellowships towards the creation of science technology innovation, Grant Number JPMJFS2105.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Conflict of interest
The authors have no financial or proprietary interests in any material discussed in this article.
Additional information
Communicated by Chris Jarzynski.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sasa, Si., Hiura, K., Nakagawa, N. et al. Quasi-static Decomposition and the Gibbs Factorial in Small Thermodynamic Systems. J Stat Phys 189, 31 (2022). https://doi.org/10.1007/s10955-022-02991-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10955-022-02991-7