The free energy due to the vacuum fluctuations of matter fields on a classical gravitational background is discussed. It is shown explicitly how this energy is calculated for a non-minimally coupled scalar field in an arbitrary gravitational background, using the heat kernel method. The treatment of (self-)interacting fields of higher spin is outlined, using a meanfield approximation to the gau...

We propose a system of nonlinear integral equations (NLIE), which gives the free energy of the osp(1|2s) integrable spin chain at finite temperatures. In contrast with usual thermodynamic Bethe ansatz equations, our new NLIE contain only a finite number of unknown functions. On deriving NLIE, we use our osp(1|2s) version of the T system and the quantum transfer matrix method. Based on our NLIE,...

The bond percolation problem is studied by the Monte Carlo method on a two-dimensional square lattice of 2 X lo6 bonds. Through the inclusion of a ghost field h, we obtain the generating function (the percolation analogue of the Gibbs free energy), percolation probability (the analogue of the spontaneous magnetisation), and mean cluster size (‘isothermal susceptibility’) as functions of two ‘th...

The emergence and stability of superstructured cylindrical phases in frustrated ABC linear triblock copolymers are investigated by the self-consistent field theory. Our results reveal that the complex single/double/triple helices-on-cylinder phases are formed when the straight cylinders-on-cylinder and rings-oncylinder phases are frustrated due to packing constraints. A free energy comparison i...

Extracting facts from software source code forms the foundation for any software analysis. Experience shows, however, that extracting facts from programs written in a wide range of programming and application languages is labour-intensive and error-prone. We present DeFacto, a new technique for fact extraction. It amounts to annotating the context-free grammar of a language of interest with fac...

Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we provide a much simpler and much more direct proof of this result using a tableau decision method involving goal-directed rules. The decision procedure also provides the essential part of the bisimulation relation betwe...

We examine the performance of free-energy perturbation methods when applied to compute the chemical potential of the Lennard–Jones model by Monte Carlo simulation. We emphasize the accuracy and precision of various implementations of the methodology, particularly in the context of the relative effectiveness of ‘insertion’ vs. ‘deletion’ approaches. The study is limited to a single state point a...

This paper is devoted to the Hartree-Fock model with temperature in the euclidean space. For large classes of free energy functionals, minimizers are obtained as long as the total charge of the system does not exceed a threshold which depends on the temperature. The usual Hartree-Fock model is recovered in the zero temperature limit. An orbital stability result for the Cauchy problem is deduced...

We prove a uniform Poincaré-like estimate of the relative free energy by the dissipation rate for implicit Euler, finite volume discretized reaction-diffusion systems. This result is proven indirectly and ensures the exponential decay of the relative free energy with a unified decay rate for admissible finite volume meshes.