-
A criterion on the free energy for log-Sobolev inequalities in mean-field particle systems
Authors:
R. Bauerschmidt,
T. Bodineau,
B. Dagallier
Abstract:
For a class of mean-field particle systems, we formulate a criterion in terms of the free energy that implies uniform bounds on the log-Sobolev constant of the associated Langevin dynamics. For certain double-well potentials with quadratic interaction, the criterion holds up to the critical temperature of the model, and we also obtain precise asymptotics on the decay of the log-Sobolev constant wh…
▽ More
For a class of mean-field particle systems, we formulate a criterion in terms of the free energy that implies uniform bounds on the log-Sobolev constant of the associated Langevin dynamics. For certain double-well potentials with quadratic interaction, the criterion holds up to the critical temperature of the model, and we also obtain precise asymptotics on the decay of the log-Sobolev constant when approaching the critical point. The criterion also applies to ``diluted'' mean-field models defined on sufficiently dense, possibly random graphs. We further generalize the criterion to non-quadratic interactions that admit a mode decomposition. The mode decomposition is different from the scale decomposition of the Polchinski flow we used for short-range spin systems.
△ Less
Submitted 31 March, 2025;
originally announced March 2025.
-
Kawasaki dynamics beyond the uniqueness threshold
Authors:
Roland Bauerschmidt,
Thierry Bodineau,
Benoit Dagallier
Abstract:
Glauber dynamics of the Ising model on a random regular graph is known to mix fast below the tree uniqueness threshold and exponentially slowly above it. We show that Kawasaki dynamics of the canonical ferromagnetic Ising model on a random $d$-regular graph mixes fast beyond the tree uniqueness threshold when $d$ is large enough (and conjecture that it mixes fast up to the tree reconstruction thre…
▽ More
Glauber dynamics of the Ising model on a random regular graph is known to mix fast below the tree uniqueness threshold and exponentially slowly above it. We show that Kawasaki dynamics of the canonical ferromagnetic Ising model on a random $d$-regular graph mixes fast beyond the tree uniqueness threshold when $d$ is large enough (and conjecture that it mixes fast up to the tree reconstruction threshold for all $d\geq 3$). This result follows from a more general spectral condition for (modified) log-Sobolev inequalities for conservative dynamics of Ising models. The proof of this condition in fact extends to perturbations of distributions with log-concave generating polynomial.
△ Less
Submitted 8 May, 2024; v1 submitted 6 October, 2023;
originally announced October 2023.
-
Stochastic dynamics and the Polchinski equation: an introduction
Authors:
Roland Bauerschmidt,
Thierry Bodineau,
Benoit Dagallier
Abstract:
This introduction surveys a renormalisation group perspective on log-Sobolev inequalities and related properties of stochastic dynamics. We also explain the relationship of this approach to related recent and less recent developments such as Eldan's stochastic localisation and the Föllmer process, the Boué--Dupuis variational formula and the Barashkov--Gubinelli approach, the transportation of mea…
▽ More
This introduction surveys a renormalisation group perspective on log-Sobolev inequalities and related properties of stochastic dynamics. We also explain the relationship of this approach to related recent and less recent developments such as Eldan's stochastic localisation and the Föllmer process, the Boué--Dupuis variational formula and the Barashkov--Gubinelli approach, the transportation of measure perspective, and the classical analogues of these ideas for Hamilton--Jacobi equations which arise in mean-field limits.
△ Less
Submitted 23 April, 2024; v1 submitted 14 July, 2023;
originally announced July 2023.
-
Large deviations for out of equilibrium correlations in the symmetric simple exclusion process
Authors:
Thierry Bodineau,
Benoit Dagallier
Abstract:
For finite size Markov chains, the Donsker-Varadhan theory fully describes the large deviations of the time averaged empirical measure. We are interested in the extension of the Donsker-Varadhan theory for a large size non-equilibrium system: the one-dimensional symmetric simple exclusion process connected with reservoirs at different densities. The Donsker-Varadhan functional encodes a variety of…
▽ More
For finite size Markov chains, the Donsker-Varadhan theory fully describes the large deviations of the time averaged empirical measure. We are interested in the extension of the Donsker-Varadhan theory for a large size non-equilibrium system: the one-dimensional symmetric simple exclusion process connected with reservoirs at different densities. The Donsker-Varadhan functional encodes a variety of scales depending on the observable of interest. In this paper, we focus on the time-averaged two point correlations and investigate the large deviations from the steady state behaviour. To control two point correlations out of equilibrium, the key input is the construction of a simple approximation to the invariant measure. This approximation is quantitative in time and space as estimated through relative entropy bounds building on the work of Jara and Menezes arXiv:1810.09526.
△ Less
Submitted 2 May, 2024; v1 submitted 22 December, 2022;
originally announced December 2022.
-
Dynamics of dilute gases at equilibrium: from the atomistic description to fluctuating hydrodynamics
Authors:
Thierry Bodineau,
Isabelle Gallagher,
Laure Saint-Raymond,
Sergio Simonella
Abstract:
We derive linear fluctuating hydrodynamics as the low density limit of a deterministic system of particles at equilibrium. The proof builds upon previous results of the authors where the asymptotics of the covariance of the fluctuation field is obtained, and on the proof of the Wick rule for the fluctuation field.
We derive linear fluctuating hydrodynamics as the low density limit of a deterministic system of particles at equilibrium. The proof builds upon previous results of the authors where the asymptotics of the covariance of the fluctuation field is obtained, and on the proof of the Wick rule for the fluctuation field.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Cluster expansion for a dilute hard sphere gas dynamics
Authors:
Thierry Bodineau,
Isabelle Gallagher,
Laure Saint-Raymond,
Sergio Simonella
Abstract:
In [7], a cluster expansion method has been developed to study the fluctuations of the hard sphere dynamics around the Boltzmann equation. This method provides a precise control on the exponential moments of the empirical measure, from which the fluctuating Boltzmann equation and large deviation estimates have been deduced. The cluster expansion in [7] was implemented at the level of the BBGKY hie…
▽ More
In [7], a cluster expansion method has been developed to study the fluctuations of the hard sphere dynamics around the Boltzmann equation. This method provides a precise control on the exponential moments of the empirical measure, from which the fluctuating Boltzmann equation and large deviation estimates have been deduced. The cluster expansion in [7] was implemented at the level of the BBGKY hierarchy, which is a standard tool to investigate the deterministic dynamics [11]. In this paper, we introduce an alternative approach, in which the cluster expansion is applied directly on real trajectories of the particle system. This offers a fresh perspective on the study of the hard sphere dynamics in the low density limit, allowing to recover the results obtained in [7], and also to describe the actual clustering of particle trajectories.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
Dynamics of dilute gases: a statistical approach
Authors:
Thierry Bodineau,
Isabelle Gallagher,
Laure Saint-Raymond,
Sergio Simonella
Abstract:
The evolution of a gas can be described by different models depending on the observation scale. A natural question, raised by Hilbert in his sixth problem, is whether these models provide consistent predictions. In particular, for rarefied gases, it is expected that continuum laws of kinetic theory can be obtained directly from molecular dynamics governed by the fundamental principles of mechanics…
▽ More
The evolution of a gas can be described by different models depending on the observation scale. A natural question, raised by Hilbert in his sixth problem, is whether these models provide consistent predictions. In particular, for rarefied gases, it is expected that continuum laws of kinetic theory can be obtained directly from molecular dynamics governed by the fundamental principles of mechanics. In the case of hard sphere gases, Lanford showed that the Boltzmann equation emerges as the law of large numbers in the low density limit, at least for very short times. The goal of this survey is to present recent progress in the understanding of this limiting process, providing a complete statistical description.
△ Less
Submitted 7 March, 2022; v1 submitted 25 January, 2022;
originally announced January 2022.
-
Long-time derivation at equilibrium of the fluctuating Boltzmann equation
Authors:
Thierry Bodineau,
Isabelle Gallagher,
Laure Saint-Raymond,
Sergio Simonella
Abstract:
We study a hard sphere gas at equilibrium, and prove that in the low density limit, the fluctuations converge to a Gaussian process governed by the fluctuating Boltzmann equation. This result holds for arbitrarily long times. The method of proof builds upon the weak convergence method introduced in the companion paper [8] which is improved by considering clusters of pseudo-trajectories as in [7…
▽ More
We study a hard sphere gas at equilibrium, and prove that in the low density limit, the fluctuations converge to a Gaussian process governed by the fluctuating Boltzmann equation. This result holds for arbitrarily long times. The method of proof builds upon the weak convergence method introduced in the companion paper [8] which is improved by considering clusters of pseudo-trajectories as in [7].
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
Long-time correlations for a hard-sphere gas at equilibrium
Authors:
Thierry Bodineau,
Isabelle Gallagher,
Laure Saint-Raymond,
Sergio Simonella
Abstract:
It has been known since Lanford [19] that the dynamics of a hard sphere gas is described in the low density limit by the Boltzmann equation, at least for short times. The classical strategy of proof fails for longer times, even close to equilibrium. In this paper, we introduce a duality method coupled with a pruning argument to prove that the covariance of the fluctuations around equilibrium is go…
▽ More
It has been known since Lanford [19] that the dynamics of a hard sphere gas is described in the low density limit by the Boltzmann equation, at least for short times. The classical strategy of proof fails for longer times, even close to equilibrium. In this paper, we introduce a duality method coupled with a pruning argument to prove that the covariance of the fluctuations around equilibrium is governed by the linearized Boltzmann equation globally in time (including in diffusive regimes). This method is much more robust and simple than the one devised in [4] which was specific to the 2D case.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
Statistical dynamics of a hard sphere gas: fluctuating Boltzmann equation and large deviations
Authors:
Thierry Bodineau,
Isabelle Gallagher,
Laure Saint-Raymond,
Sergio Simonella
Abstract:
We present a mathematical theory of dynamical fluctuations for the hard sphere gas in the Boltzmann-Grad limit. We prove that: (1) fluctuations of the empirical measure from the solution of the Boltzmann equation, scaled with the square root of the average number of particles, converge to a Gaussian process driven by the fluctuating Boltzmann equation, as predicted in [67]; (2) large deviations ar…
▽ More
We present a mathematical theory of dynamical fluctuations for the hard sphere gas in the Boltzmann-Grad limit. We prove that: (1) fluctuations of the empirical measure from the solution of the Boltzmann equation, scaled with the square root of the average number of particles, converge to a Gaussian process driven by the fluctuating Boltzmann equation, as predicted in [67]; (2) large deviations are exponentially small in the average number of particles and are characterized, under regularity assumptions, by a large deviation functional as previously obtained in [61] for dynamics with stochastic collisions. The results are valid away from thermal equilibrium, but only for short times. Our strategy is based on uniform a priori bounds on the cumulant generating function, characterizing the fine structure of the small correlations.
△ Less
Submitted 25 August, 2022; v1 submitted 24 August, 2020;
originally announced August 2020.
-
Fluctuation theory in the Boltzmann--Grad limit
Authors:
Thierry Bodineau,
Isabelle Gallagher,
Laure Saint-Raymond,
Sergio Simonella
Abstract:
We develop a rigorous theory of hard-sphere dynamics in the kinetic regime, away from thermal equilibrium. In the low density limit, the empirical density obeys a law of large numbers and the dynamics is governed by the Boltzmann equation. Deviations from this behaviour are described by dynamical correlations, which can be fully characterized for short times. This provides both a fluctuating Bolt…
▽ More
We develop a rigorous theory of hard-sphere dynamics in the kinetic regime, away from thermal equilibrium. In the low density limit, the empirical density obeys a law of large numbers and the dynamics is governed by the Boltzmann equation. Deviations from this behaviour are described by dynamical correlations, which can be fully characterized for short times. This provides both a fluctuating Boltzmann equation and large deviation asymptotics.
△ Less
Submitted 1 April, 2020;
originally announced April 2020.
-
A microscopic view on the Fourier law
Authors:
Thierry Bodineau,
Isabelle Gallagher,
Laure Saint-Raymond
Abstract:
The Fourier law of heat conduction describes heat diffusion in macroscopic systems. This physical law has been experimentally tested for a large class of physical systems. A natural question is to know whether it can be derived from the microscopic models using the fundamental laws of mechanics.
The Fourier law of heat conduction describes heat diffusion in macroscopic systems. This physical law has been experimentally tested for a large class of physical systems. A natural question is to know whether it can be derived from the microscopic models using the fundamental laws of mechanics.
△ Less
Submitted 9 December, 2019;
originally announced December 2019.
-
Log-Sobolev inequality for the continuum sine-Gordon model
Authors:
Roland Bauerschmidt,
Thierry Bodineau
Abstract:
We derive a multiscale generalisation of the Bakry--Émery criterion for a measure to satisfy a Log-Sobolev inequality. Our criterion relies on the control of an associated PDE well known in renormalisation theory: the Polchinski equation. It implies the usual Bakry--Émery criterion, but we show that it remains effective for measures which are far from log-concave. Indeed, using our criterion, we p…
▽ More
We derive a multiscale generalisation of the Bakry--Émery criterion for a measure to satisfy a Log-Sobolev inequality. Our criterion relies on the control of an associated PDE well known in renormalisation theory: the Polchinski equation. It implies the usual Bakry--Émery criterion, but we show that it remains effective for measures which are far from log-concave. Indeed, using our criterion, we prove that the massive continuum Sine-Gordon model with $β< 6π$ satisfies asymptotically optimal Log-Sobolev inequalities for Glauber and Kawasaki dynamics. These dynamics can be seen as singular SPDEs recently constructed via regularity structures, but our results are independent of this theory.
△ Less
Submitted 31 March, 2020; v1 submitted 29 July, 2019;
originally announced July 2019.
-
Spectral gap critical exponent for Glauber dynamics of hierarchical spin models
Authors:
Roland Bauerschmidt,
Thierry Bodineau
Abstract:
We develop a renormalisation group approach to deriving the asymptotics of the spectral gap of the generator of Glauber type dynamics of spin systems with strong correlations (at and near a critical point). In our approach, we derive a spectral gap inequality for the measure recursively in terms of spectral gap inequalities for a sequence of renormalised measures. We apply our method to hierarchic…
▽ More
We develop a renormalisation group approach to deriving the asymptotics of the spectral gap of the generator of Glauber type dynamics of spin systems with strong correlations (at and near a critical point). In our approach, we derive a spectral gap inequality for the measure recursively in terms of spectral gap inequalities for a sequence of renormalised measures. We apply our method to hierarchical versions of the $4$-dimensional $n$-component $|\varphi|^4$ model at the critical point and its approach from the high temperature side, and of the $2$-dimensional Sine-Gordon and the Discrete Gaussian models in the rough phase (Kosterlitz--Thouless phase). For these models, we show that the spectral gap decays polynomially like the spectral gap of the dynamics of a free field (with a logarithmic correction for the $|\varphi|^4$ model), the scaling limit of these models in equilibrium.
△ Less
Submitted 10 July, 2019; v1 submitted 6 September, 2018;
originally announced September 2018.
-
A very simple proof of the LSI for high temperature spin systems
Authors:
Roland Bauerschmidt,
Thierry Bodineau
Abstract:
We present a very simple proof that the $O(n)$ model satisfies a uniform logarithmic Sobolev inequality (LSI) if the positive definite coupling matrix has largest eigenvalue less than $n$. This condition applies in particular to the SK spin glass model at inverse temperature $β< 1/4$. It is the first result of rapid relaxation for the SK model and requires significant cancellations between the fer…
▽ More
We present a very simple proof that the $O(n)$ model satisfies a uniform logarithmic Sobolev inequality (LSI) if the positive definite coupling matrix has largest eigenvalue less than $n$. This condition applies in particular to the SK spin glass model at inverse temperature $β< 1/4$. It is the first result of rapid relaxation for the SK model and requires significant cancellations between the ferromagnetic and anti-ferromagnetic spin couplings that cannot be obtained by existing methods to prove Log-Sobolev inequalities. The proof also applies to more general bounded and unbounded spin systems. It uses a single step of zero range renormalisation and Bakry--Emery theory for the renormalised measure.
△ Less
Submitted 31 January, 2018; v1 submitted 11 December, 2017;
originally announced December 2017.
-
Derivation of an ornstein-uhlenbeck process for a massive particle in a rarified gas of particles
Authors:
Thierry Bodineau,
Isabelle Gallagher,
Laure Saint-Raymond
Abstract:
We consider the statistical motion of a convex rigid body in a gas of N smaller (spherical) atoms close to thermodynamic equilibrium. Because the rigid body is much bigger and heavier, it undergoes a lot of collisions leading to small deflections. We prove that its velocity is described, in a suitable limit, by an Ornstein-Uhlenbeck process. The strategy of proof relies on Lanford's arguments [17]…
▽ More
We consider the statistical motion of a convex rigid body in a gas of N smaller (spherical) atoms close to thermodynamic equilibrium. Because the rigid body is much bigger and heavier, it undergoes a lot of collisions leading to small deflections. We prove that its velocity is described, in a suitable limit, by an Ornstein-Uhlenbeck process. The strategy of proof relies on Lanford's arguments [17] together with the pruning procedure from [3] to reach diffusive times, much larger than the mean free time. Furthermore, we need to introduce a modified dynamics to avoid pathological collisions of atoms with the rigid body: these collisions, due to the geometry of the rigid body, require developing a new type of trajectory analysis.
△ Less
Submitted 4 October, 2017;
originally announced October 2017.
-
One-sided convergence in the Boltzmann-Grad limit
Authors:
Thierry Bodineau,
Isabelle Gallagher,
Laure Saint-Raymond,
Sergio Simonella
Abstract:
We review various contributions on the fundamental work of Lanford deriving the Boltzmann equation from hard-sphere dynamics in the low density limit. We focus especially on the assumptions made on the initial data and on how they encode irreversibility. The impossibility to reverse time in the Boltzmann equation (expressed for instance by Boltzmann's H-theorem) is related to the lack of convergen…
▽ More
We review various contributions on the fundamental work of Lanford deriving the Boltzmann equation from hard-sphere dynamics in the low density limit. We focus especially on the assumptions made on the initial data and on how they encode irreversibility. The impossibility to reverse time in the Boltzmann equation (expressed for instance by Boltzmann's H-theorem) is related to the lack of convergence of higher order marginals on some singular sets. Explicit counterexamples single out the microscopic sets where the initial data should converge in order to produce the Boltzmann dynamics.
△ Less
Submitted 12 December, 2016;
originally announced December 2016.
-
Quantitative estimates for the flux of TASEP with dilute site disorder
Authors:
Christophe Bahadoran,
T. Bodineau
Abstract:
We prove that the flux function of the totally asymmetric simple exclusion process (TASEP) with site disorder exhibits a flat segment for sufficiently dilute disorder. For high dilution, we obtain an accurate description of the flux. The result is established undera decay assumption of the maximum current in finite boxes, which is implied in particular by a sufficiently slow power tail assumption…
▽ More
We prove that the flux function of the totally asymmetric simple exclusion process (TASEP) with site disorder exhibits a flat segment for sufficiently dilute disorder. For high dilution, we obtain an accurate description of the flux. The result is established undera decay assumption of the maximum current in finite boxes, which is implied in particular by a sufficiently slow power tail assumption on the disorder distribution near its minimum. To circumvent the absence of explicit invariant measures, we use an original renormalization procedure and some ideas inspired by homogenization.
△ Less
Submitted 11 December, 2017; v1 submitted 22 February, 2016;
originally announced February 2016.
-
From hard sphere dynamics to the Stokes-Fourier equations: An $L^2$ analysis of the Boltzmann-Grad limit
Authors:
Thierry Bodineau,
Isabelle Gallagher,
Laure Saint-Raymond
Abstract:
We derive the linear acoustic and Stokes-Fourier equations as the limiting dynamics of a system of N hard spheres of diameter $ε$ in two space dimensions, when N $\rightarrow$ $\infty$, $ε$ $\rightarrow$ 0, N $ε$ = $α$ $\rightarrow$ $\infty$, using the linearized Boltzmann equation as an intermediate step. Our proof is based on Lanford's strategy [18], and on the pruning procedure developed in [5]…
▽ More
We derive the linear acoustic and Stokes-Fourier equations as the limiting dynamics of a system of N hard spheres of diameter $ε$ in two space dimensions, when N $\rightarrow$ $\infty$, $ε$ $\rightarrow$ 0, N $ε$ = $α$ $\rightarrow$ $\infty$, using the linearized Boltzmann equation as an intermediate step. Our proof is based on Lanford's strategy [18], and on the pruning procedure developed in [5] to improve the convergence time to all kinetic times with a quantitative control which allows us to reach also hydrodynamic time scales. The main novelty here is that uniform L 2 a pri-ori estimates combined with a subtle symmetry argument provide a weak version of chaos, in the form of a cumulant expansion describing the asymptotic decorrelation between the particles. A refined geometric analysis of recollisions is also required in order to discard the possibility of multiple recollisions.
△ Less
Submitted 20 October, 2016; v1 submitted 10 November, 2015;
originally announced November 2015.
-
Limite de diffusion linéaire pour un système déterministe de sphères dures
Authors:
Thierry Bodineau,
Isabelle Gallagher,
Laure Saint-Raymond
Abstract:
We provide a rigorous derivation of the brownian motion as the hydrodynamic limit of a deterministic system of hard-spheres as the number of particles $N$ goes to infinity and their diameter $\varepsilon$ simultaneously goes to $0,$ in the fast relaxation limit $N\varepsilon^{d-1}\to \infty $ (with a suitable scaling of the observation time and length). As suggested by Hilbert in his sixth problem…
▽ More
We provide a rigorous derivation of the brownian motion as the hydrodynamic limit of a deterministic system of hard-spheres as the number of particles $N$ goes to infinity and their diameter $\varepsilon$ simultaneously goes to $0,$ in the fast relaxation limit $N\varepsilon^{d-1}\to \infty $ (with a suitable scaling of the observation time and length). As suggested by Hilbert in his sixth problem, we use Boltzmann's kinetic theory as an intermediate level of description for the gas close to global equilibrium. Our proof relies on the fundamental ideas of Lanford. The main novelty is the detailed study of the branching process, leading to explicit estimates on pathological collision trees.
△ Less
Submitted 23 February, 2015; v1 submitted 18 February, 2014;
originally announced February 2014.
-
Interface motion in random media
Authors:
Thierry Bodineau,
Augusto Teixeira
Abstract:
We study the pinning phase transition for discrete surface dynamics in random environments. A renormalization procedure is devised to prove that the interface moves with positive velocity under a finite size condition. This condition is then checked for different examples of microscopic dynamics to illustrate the flexibility of the method. We show in our examples the existence of a phase transitio…
▽ More
We study the pinning phase transition for discrete surface dynamics in random environments. A renormalization procedure is devised to prove that the interface moves with positive velocity under a finite size condition. This condition is then checked for different examples of microscopic dynamics to illustrate the flexibility of the method. We show in our examples the existence of a phase transition for various models, including high dimensional interfaces, dependent environments and environments with arbitrarily deep obstacles. Finally, our ballisticity criterion is proved to be valid up to the critical threshold for a Lipschitz interface model.
△ Less
Submitted 20 November, 2013;
originally announced November 2013.
-
Lyapunov functionals for boundary-driven nonlinear drift-diffusions
Authors:
T. Bodineau,
J. L. Lebowitz,
C. Mouhot,
C. Villani
Abstract:
We exhibit a large class of Lyapunov functionals for nonlinear drift-diffusion equations with non-homogeneous Dirichlet boundary conditions. These are generalizations of large deviation functionals for underlying stochastic many-particle systems, the zero range process and the Ginzburg-Landau dynamics, which we describe briefly. As an application, we prove linear inequalities between such an entro…
▽ More
We exhibit a large class of Lyapunov functionals for nonlinear drift-diffusion equations with non-homogeneous Dirichlet boundary conditions. These are generalizations of large deviation functionals for underlying stochastic many-particle systems, the zero range process and the Ginzburg-Landau dynamics, which we describe briefly. As an application, we prove linear inequalities between such an entropy-like functional and its entropy production functional for the boundary-driven porous medium equation in a bounded domain with positive Dirichlet conditions: this implies exponential rates of relaxation related to the first Dirichlet eigenvalue of the domain. We also derive Lyapunov functions for systems of nonlinear diffusion equations, and for nonlinear Markov processes with non-reversible stationary measures.
△ Less
Submitted 31 May, 2013;
originally announced May 2013.
-
The Brownian motion as the limit of a deterministic system of hard-spheres
Authors:
Thierry Bodineau,
Isabelle Gallagher,
Laure Saint-Raymond
Abstract:
We provide a rigorous derivation of the brownian motion as the limit of a deterministic system of hard-spheres as the number of particles $N$ goes to infinity and their diameter $\varepsilon$ simultaneously goes to $0$, in the fast relaxation limit $α= N\varepsilon^{d-1}\to \infty $ (with a suitable diffusive scaling of the observation time). As suggested by Hilbert in his sixth problem, we rely o…
▽ More
We provide a rigorous derivation of the brownian motion as the limit of a deterministic system of hard-spheres as the number of particles $N$ goes to infinity and their diameter $\varepsilon$ simultaneously goes to $0$, in the fast relaxation limit $α= N\varepsilon^{d-1}\to \infty $ (with a suitable diffusive scaling of the observation time). As suggested by Hilbert in his sixth problem, we rely on a kinetic formulation as an intermediate level of description between the microscopic and the fluid descriptions: we use indeed the linear Boltzmann equation to describe one tagged particle in a gas close to global equilibrium. Our proof is based on the fundamental ideas of Lanford. The main novelty here is the detailed study of the branching process, leading to explicit estimates on pathological collision trees.
△ Less
Submitted 3 March, 2015; v1 submitted 15 May, 2013;
originally announced May 2013.
-
Metastability in the dilute Ising model
Authors:
T. Bodineau,
B. Graham,
M. Wouts
Abstract:
Consider Glauber dynamics for the Ising model on the hypercubic lattice with a positive magnetic field. Starting from the minus configuration, the system initially settles into a metastable state with negative magnetization. Slowly the system relaxes to a stable state with positive magnetization. Schonmann and Shlosman showed that in the two dimensional case the relaxation time is a simple functio…
▽ More
Consider Glauber dynamics for the Ising model on the hypercubic lattice with a positive magnetic field. Starting from the minus configuration, the system initially settles into a metastable state with negative magnetization. Slowly the system relaxes to a stable state with positive magnetization. Schonmann and Shlosman showed that in the two dimensional case the relaxation time is a simple function of the energy required to create a critical Wulff droplet.
The dilute Ising model is obtained from the regular Ising model by deleting a fraction of the edges of the underlying graph. In this paper we show that even an arbitrarily small dilution can dramatically reduce the relaxation time. This is because of a catalyst effect---rare regions of high dilution speed up the transition from minus phase to plus phase.
△ Less
Submitted 2 September, 2011;
originally announced September 2011.
-
Activity phase transition for constrained dynamics
Authors:
Thierry Bodineau,
Cristina Toninelli
Abstract:
We consider two cases of kinetically constrained models, namely East and FA-1f models. The object of interest of our work is the activity A(t) defined as the total number of configuration changes in the interval [0,t] for the dynamics on a finite domain. It has been shown in [GJLPDW1,GJLPDW2] that the large deviations of the activity exhibit a non-equilibirum phase transition in the thermodynamic…
▽ More
We consider two cases of kinetically constrained models, namely East and FA-1f models. The object of interest of our work is the activity A(t) defined as the total number of configuration changes in the interval [0,t] for the dynamics on a finite domain. It has been shown in [GJLPDW1,GJLPDW2] that the large deviations of the activity exhibit a non-equilibirum phase transition in the thermodynamic limit and that reducing the activity is more likely than increasing it due to a blocking mechanism induced by the constraints. In this paper, we study the finite size effects around this first order phase transition and analyze the phase coexistence between the active and inactive dynamical phases in dimension 1. In higher dimensions, we show that the finite size effects are also determined by the dimension and the choice of boundary conditions.
△ Less
Submitted 10 January, 2011;
originally announced January 2011.
-
Large deviations of the empirical currents for a boundary driven reaction diffusion model
Authors:
T. Bodineau,
M. Lagouge
Abstract:
We derive a large deviation principle for the empirical currents of lattice gas dynamics which combine a fast stirring mechanism (Symmetric Simple Exclusion Process) and creation/annihilation mechanisms (Glauber dynamics). Previous results on the density large deviations can be recovered from this general large deviation principle. The contribution of external driving forces due to reservoirs at t…
▽ More
We derive a large deviation principle for the empirical currents of lattice gas dynamics which combine a fast stirring mechanism (Symmetric Simple Exclusion Process) and creation/annihilation mechanisms (Glauber dynamics). Previous results on the density large deviations can be recovered from this general large deviation principle. The contribution of external driving forces due to reservoirs at the boundary of the system is also taken into account.
△ Less
Submitted 2 September, 2010;
originally announced September 2010.
-
Helffer-Sjostrand representation for conservative dynamics
Authors:
T. Bodineau,
B. Graham
Abstract:
We consider a Helffer-Sjostrand representation for the correlations in canonical Gibbs measures with convex interactions under conservative Ginzburg-Landau dynamics. We investigate the rate of relaxation to equilibrium.
We consider a Helffer-Sjostrand representation for the correlations in canonical Gibbs measures with convex interactions under conservative Ginzburg-Landau dynamics. We investigate the rate of relaxation to equilibrium.
△ Less
Submitted 29 June, 2010;
originally announced June 2010.
-
Copolymers at selective interfaces: new bounds on the phase diagram
Authors:
T. Bodineau,
G. Giacomin,
H. Lacoin,
F. Toninelli
Abstract:
We investigate the phase diagram of disordered copolymers at the interface between two selective solvents, and in particular its weak-coupling behavior, encoded in the slope $m_c$ of the critical line at the origin. In mathematical terms, the partition function of such a model does not depend on all the details of the Markov chain that models the polymer, but only on the time elapsed between suc…
▽ More
We investigate the phase diagram of disordered copolymers at the interface between two selective solvents, and in particular its weak-coupling behavior, encoded in the slope $m_c$ of the critical line at the origin. In mathematical terms, the partition function of such a model does not depend on all the details of the Markov chain that models the polymer, but only on the time elapsed between successive returns to zero and on whether the walk is in the upper or lower half plane between such returns. This observation leads to a natural generalization of the model, in terms of arbitrary laws of return times: the most interesting case being the one of return times with power law tails (with exponent 1+alpha, alpha=1/2 in the case of the symmetric random walk). The main results we present here are:
1. The improvement of the known result 1/(1+alpha) smaller or equal to m_c smaller or equal to 1, as soon as alpha >1 for what concerns the upper bound, and down to alpha = 0.65 for the lower bound.
2. A proof of the fact that the critical curve lies strictly below the critical curve of the annealed model for every non-zero value of the coupling parameter.
We also provide an argument that rigorously shows the strong dependence of the phase diagram on the details of the return probability (and not only on the tail behavior). Lower bounds are obtained by exhibiting a new localization strategy, while upper bounds are based on estimates of non-integer moments of the partition function.
△ Less
Submitted 1 June, 2008; v1 submitted 12 March, 2008;
originally announced March 2008.
-
Large deviations of lattice Hamiltonian dynamics coupled to stochastic thermostats
Authors:
T. Bodineau,
R. Lefevere
Abstract:
We discuss the Donsker-Varadhan theory of large deviations in the framework of Hamiltonian systems thermostated by a Gaussian stochastic coupling. We derive a general formula for the Donsker-Varadhan large deviation functional for dynamics which satisfy natural properties under time reversal. Next, we discuss the characterization of the stationary state as the solution of a variational principle…
▽ More
We discuss the Donsker-Varadhan theory of large deviations in the framework of Hamiltonian systems thermostated by a Gaussian stochastic coupling. We derive a general formula for the Donsker-Varadhan large deviation functional for dynamics which satisfy natural properties under time reversal. Next, we discuss the characterization of the stationary state as the solution of a variational principle and its relation to the minimum entropy production principle. Finally, we compute the large deviation functional of the current in the case of a harmonic chain thermostated by a Gaussian stochastic coupling.
△ Less
Submitted 15 July, 2008; v1 submitted 8 February, 2008;
originally announced February 2008.
-
Current large deviations for Asymmetric Exclusion Processes with open boundaries
Authors:
T. Bodineau,
B. Derrida
Abstract:
We study the large deviation functional of the current for the Weakly Asymmetric Simple Exclusion Process in contact with two reservoirs.We compare this functional in the large drift limit to the one of the Totally Asymmetric Simple Exclusion Process, in particular to the Jensen-Varadhan functional. Conjectures for generalizing the Jensen-Varadhan functional to open systems are also stated.
We study the large deviation functional of the current for the Weakly Asymmetric Simple Exclusion Process in contact with two reservoirs.We compare this functional in the large drift limit to the one of the Totally Asymmetric Simple Exclusion Process, in particular to the Jensen-Varadhan functional. Conjectures for generalizing the Jensen-Varadhan functional to open systems are also stated.
△ Less
Submitted 7 September, 2005;
originally announced September 2005.
-
A universality property for last-passage percolation paths close to the axis
Authors:
Thierry Bodineau,
James B. Martin
Abstract:
We consider a last-passage directed percolation model in $Z_+^2$, with i.i.d. weights whose common distribution has a finite $(2+p)$th moment. We study the fluctuations of the passage time from the origin to the point $\big(n,n^{\lfloor a \rfloor}\big)$. We show that, for suitable $a$ (depending on $p$), this quantity, appropriately scaled, converges in distribution as $n\to\infty$ to the Tracy-…
▽ More
We consider a last-passage directed percolation model in $Z_+^2$, with i.i.d. weights whose common distribution has a finite $(2+p)$th moment. We study the fluctuations of the passage time from the origin to the point $\big(n,n^{\lfloor a \rfloor}\big)$. We show that, for suitable $a$ (depending on $p$), this quantity, appropriately scaled, converges in distribution as $n\to\infty$ to the Tracy-Widom distribution, irrespective of the underlying weight distribution. The argument uses a coupling to a Brownian directed percolation problem and the strong approximation of Komlós, Major and Tusnády.
△ Less
Submitted 3 October, 2004;
originally announced October 2004.
-
Translation invariant Gibbs states for the Ising model
Authors:
T. Bodineau
Abstract:
We prove that all the translation invariant Gibbs states of the Ising model are a linear combination of the pure phases $μ^+,μ^-$ in the phase transition regime. This implies that the average magnetization is continuous in the phase transition regime ($β> β_c$). Furthermore, combined with previous results on the slab percolation threshold this shows the validity of Pisztora's coarse graining up…
▽ More
We prove that all the translation invariant Gibbs states of the Ising model are a linear combination of the pure phases $μ^+,μ^-$ in the phase transition regime. This implies that the average magnetization is continuous in the phase transition regime ($β> β_c$). Furthermore, combined with previous results on the slab percolation threshold this shows the validity of Pisztora's coarse graining up to the critical temperature.
△ Less
Submitted 6 September, 2004;
originally announced September 2004.
-
3D crystal: how flat its flat facets are?
Authors:
Thierry Bodineau,
Roberto H. Schonmann,
Senya Shlosman
Abstract:
We investigate the hypothesis that the (random) crystal of the $(-)$-phase inside the $(+)$-phase of the 3D canonical Ising model has flat facets. We argue that it might need to be weakened, due to the possibility of formation of extra monolayer on a facet. We then prove this weaker hypothesis for the Solid-On-Solid model.
We investigate the hypothesis that the (random) crystal of the $(-)$-phase inside the $(+)$-phase of the 3D canonical Ising model has flat facets. We argue that it might need to be weakened, due to the possibility of formation of extra monolayer on a facet. We then prove this weaker hypothesis for the Solid-On-Solid model.
△ Less
Submitted 6 January, 2004;
originally announced January 2004.
-
Slab percolation for the Ising model
Authors:
Thierry Bodineau
Abstract:
For the FK representation of the Ising model, we prove that the slab percolation threshold coincides with the critical temperature in any dimension larger or equal to three.
For the FK representation of the Ising model, we prove that the slab percolation threshold coincides with the critical temperature in any dimension larger or equal to three.
△ Less
Submitted 18 September, 2003;
originally announced September 2003.
-
Some New Results on the Kinetic Ising Model in a Pure Phase
Authors:
T. Bodineau,
F. Martinelli
Abstract:
We consider a general class of Glauber dynamics reversible with respect to the standard Ising model in $\bbZ^d$ with zero external field and inverse temperature $\gb$ strictly larger than the critical value $\gb_c$ in dimension 2 or the so called ``slab threshold'' $\hat \b_c$ in dimension $d \geq 3$. We first prove that the inverse spectral gap in a large cube of side $N$ with plus boundary con…
▽ More
We consider a general class of Glauber dynamics reversible with respect to the standard Ising model in $\bbZ^d$ with zero external field and inverse temperature $\gb$ strictly larger than the critical value $\gb_c$ in dimension 2 or the so called ``slab threshold'' $\hat \b_c$ in dimension $d \geq 3$. We first prove that the inverse spectral gap in a large cube of side $N$ with plus boundary conditions is, apart from logarithmic corrections, larger than $N$ in $d=2$ while the logarithmic Sobolev constant is instead larger than $N^2$ in any dimension. Such a result substantially improves over all the previous existing bounds and agrees with a similar computations obtained in the framework of a one dimensional toy model based on mean curvature motion. The proof, based on a suggestion made by H.T. Yau some years ago, explicitly constructs a subtle test function which forces a large droplet of the minus phase inside the plus phase. The relevant bounds for general $d\ge 2$ are then obtained via a careful use of the recent $\bbL^1$--approach to the Wulff construction. Finally we prove that in $d=2$ the probability that two independent initial configurations, distributed according to the infinite volume plus phase and evolving under any coupling, agree at the origin at time $t$ is bounded from below by a stretched exponential $\exp(-\sqrt{t})$, again apart from logarithmic corrections. Such a result should be considered as a first step toward a rigorous proof that, as conjectured by Fisher and Huse some years ago, the equilibrium time auto-correlation of the spin at the origin decays as a stretched exponential in $d=2$.
△ Less
Submitted 8 February, 2002;
originally announced February 2002.
-
Winterbottom Construction for Finite Range Ferromagnetic Models: An L_1 Approach
Authors:
T. Bodineau,
D. Ioffe,
Y. Velenik
Abstract:
We provide a rigorous microscopic derivation of the thermodynamic description of equilibrium crystal shapes in the presence of a substrate, first studied by Winterbottom. We consider finite range ferromagnetic Ising models with pair interactions in dimensions greater or equal to 3, and model the substrate by a finite-range boundary magnetic field acting on the spins close to the bottom wall of t…
▽ More
We provide a rigorous microscopic derivation of the thermodynamic description of equilibrium crystal shapes in the presence of a substrate, first studied by Winterbottom. We consider finite range ferromagnetic Ising models with pair interactions in dimensions greater or equal to 3, and model the substrate by a finite-range boundary magnetic field acting on the spins close to the bottom wall of the box.
△ Less
Submitted 22 January, 2001;
originally announced January 2001.
-
Rigorous Probabilistic Analysis of Equilibrium Crystal Shapes
Authors:
T. Bodineau,
D. Ioffe,
Y. Velenik
Abstract:
The rigorous microscopic theory of equilibrium crystal shapes has made enormous progress during the last decade. We review here the main results which have been obtained, both in two and higher dimensions. In particular, we describe how the phenomenological Wulff and Winterbottom constructions can be derived from the microscopic description provided by the equilibrium statistical mechanics of la…
▽ More
The rigorous microscopic theory of equilibrium crystal shapes has made enormous progress during the last decade. We review here the main results which have been obtained, both in two and higher dimensions. In particular, we describe how the phenomenological Wulff and Winterbottom constructions can be derived from the microscopic description provided by the equilibrium statistical mechanics of lattice gases. We focus on the main conceptual issues and describe the central ideas of the existing approaches.
△ Less
Submitted 15 November, 1999;
originally announced November 1999.
