-
Friedlin-Wentzell solutions of discrete Hamilton Jacobi equations
Authors:
Michele Aleandri,
Davide Gabrielli,
Giulia Pallotta
Abstract:
We consider a sequence of finite irreducible Markov chains with exponentially small transition rates: the transition graph is a fixed, finite, strongly connected directed graph; the transition rates decay exponentially on a paramenter N with a given rate that varies from edge to edge. The stationary equation uniquely identifies the invariant measure for each N, but at exponential scale in the limi…
▽ More
We consider a sequence of finite irreducible Markov chains with exponentially small transition rates: the transition graph is a fixed, finite, strongly connected directed graph; the transition rates decay exponentially on a paramenter N with a given rate that varies from edge to edge. The stationary equation uniquely identifies the invariant measure for each N, but at exponential scale in the limit as N goes to infinity reduces to a discrete equation for the large deviation rate functional of the invariant measure, that in general has not an unique solution. In analogy with the continuous case of diffusions, we call such equation a discrete Hamilton-Jacobi equation. Likewise in the continuous case we introduce a notion of viscosity supersolutions and viscosity subsolutions and give a detailed geometric characterization of the solutions in terms of special faces of the polyedron of Lipschitz functions on the transition graph. This parallels the weak KAM theory in a purely discrete setting. We identify also a special vanishing viscosity solution obtained in the limit from the combinatorial representation of the invariant measure given by the matrix tree theorem. This gives a selection principle on the set of solutions to the discrete Hamilton Jacobi equation obtained by the Friedlin and Wentzell minimal arborescences construction; this enlights and parallels what happens in the continuous setting.
△ Less
Submitted 21 January, 2025;
originally announced January 2025.
-
Current fluctuations for the boundary-driven zero-range process on graphs: microscopic versus macroscopic approach and a theory of non-reversible resistor-like networks
Authors:
Davide Gabrielli,
Rosemary J. Harris
Abstract:
We compute the joint large deviation rate functional in the limit of large time for the current flowing through the edges of a finite graph for a boundary-driven zero-range dynamics. This generalizes one-dimensional results previously obtained with different approaches \cite{BDGJL1,HRS}; our alternative techniques illuminate various connections and complementary perspectives. In particular, we her…
▽ More
We compute the joint large deviation rate functional in the limit of large time for the current flowing through the edges of a finite graph for a boundary-driven zero-range dynamics. This generalizes one-dimensional results previously obtained with different approaches \cite{BDGJL1,HRS}; our alternative techniques illuminate various connections and complementary perspectives. In particular, we here use a variational approach to derive the rate functional by contraction from a level 2.5 large deviation rate functional. We perform an exact minimization and finally obtain the rate functional as a variational problem involving a superposition of cost functions for each edge. The contributions from different edges are not independent since they are related by the values of a potential function on the nodes of the graph. The rate functional on the graph is a microscopic version of the continuous rate functional predicted by the macroscopic fluctuation theory \cite{MFT}, and we indeed show a convergence in the scaling limit. If we split the graph into two connected regions by a cutset and are interested just in the current flowing through the cutset, we find that the result is the same as that of an effective system composed of only one effective edge (as happens at macroscopic level and is expected also for other models \cite{Cap}). The characteristics of this effective edge are related to the ``capacities'' of the graph and can be obtained by a reduction using elementary transformations as in electrical networks; specifically, we treat components in parallel, in series, and in $N$-star configurations (reduced to effective complete $N$-graphs). Our reduction procedure is directly related to the reduction to the trace process \cite{L} and, since the dynamics is in general not reversible, it is also closely connected to the theory of non-reversible electrical networks in \cite{B}.
△ Less
Submitted 2 September, 2024;
originally announced September 2024.
-
Hidden temperature in the KMP model
Authors:
Anna De Masi,
Pablo A. Ferrari,
Davide Gabrielli
Abstract:
In the Kipnis Marchioro Presutti (KMP) model a positive energy $ζ_i$ is associated with each vertex $i$ of a finite graph with a boundary. When a Poisson clock rings at an edge $ij$ with energies $ζ_i,ζ_j$, those values are substituted by $U(ζ_i+ζ_j)$ and $(1-U)(ζ_i+ζ_j)$, respectively, where $U$ is a uniform random variable in $(0,1)$. A value $T_j\ge 0$ is fixed at each boundary vertex $j$. The…
▽ More
In the Kipnis Marchioro Presutti (KMP) model a positive energy $ζ_i$ is associated with each vertex $i$ of a finite graph with a boundary. When a Poisson clock rings at an edge $ij$ with energies $ζ_i,ζ_j$, those values are substituted by $U(ζ_i+ζ_j)$ and $(1-U)(ζ_i+ζ_j)$, respectively, where $U$ is a uniform random variable in $(0,1)$. A value $T_j\ge 0$ is fixed at each boundary vertex $j$. The dynamics is defined in such way that the resulting Markov process $ζ(t)$, satisfies that $ζ_j(t)$ is exponential with mean $T_j$, for each boundary vertex $j$, for all $t$. We show that the invariant measure is the distribution of a vector $ζ$ with coordinates $ζ_i=T_i X_i$, where $X_i$ are iid exponential$(1)$ random variables, the law of $T$ is the invariant measure for an opinion random averaging/gossip model with the same boundary conditions of $ζ$, and the vectors $X$ and $T$ are independent. The result confirms a conjecture based on the large deviations of the model. When the graph is one-dimensional, we bound the correlations of the invariant measure and perform the hydrostatic limit. We show that the empirical measure of a configuration chosen with the invariant measure converges to the linear interpolation of the boundary values.
△ Less
Submitted 3 June, 2024; v1 submitted 2 October, 2023;
originally announced October 2023.
-
On a class of solvable stationary non equilibrium states for mass exchange models
Authors:
Monia Capanna,
Davide Gabrielli,
Dimitrios Tsagkarogiannis
Abstract:
We consider a family of models having an arbitrary positive amount of mass on each site and randomly exchanging an arbitrary amount of mass with nearest neighbor sites. We restrict to the case of diffusive models. We identify a class of reversible models for which the product invariant measure is known and the gradient condition is satisfied so that we can explicitly compute the transport coeffici…
▽ More
We consider a family of models having an arbitrary positive amount of mass on each site and randomly exchanging an arbitrary amount of mass with nearest neighbor sites. We restrict to the case of diffusive models. We identify a class of reversible models for which the product invariant measure is known and the gradient condition is satisfied so that we can explicitly compute the transport coefficients associated to the diffusive hydrodynamic rescaling. Based on the Macroscopic Fluctuation Theory \cite{mft} we have that the large deviations rate functional for a stationary non equilibrium state can be computed solving a Hamilton-Jacobi equation depending only on the transport coefficients and the details of the boundary sources. Thus, we are able to identify a class of models having transport coefficients for which the Hamilton-Jacobi equation can indeed be solved. We give a complete characterization in the case of generalized zero range models and discuss several other cases. For the generalized zero range models we identify a class of discrete models that, modulo trivial extensions, coincides with the class discussed in \cite{FG} and a class of continuous dynamics that coincides with the class in \cite{FFG}. Along the discussion we obtain a complete characterization of reversible misanthrope processes solving the discrete equations in \cite{CC}.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Solvable stationary non equilibrium states
Authors:
Gioia Carinci,
Chiara Franceschini,
Davide Gabrielli,
Cristian Giardinà,
Dimitrios Tsagkarogiannis
Abstract:
We consider the one dimensional boundary driven harmonic model and its continuous version, both introduced in \cite{FGK}. By combining duality and integrability the authors of \cite{FG} obtained the invariant measures in a combinatorial representation. Here we give an integral representation of the invariant measures which turns out to be a convex combination of inhomogeneous product of geometric…
▽ More
We consider the one dimensional boundary driven harmonic model and its continuous version, both introduced in \cite{FGK}. By combining duality and integrability the authors of \cite{FG} obtained the invariant measures in a combinatorial representation. Here we give an integral representation of the invariant measures which turns out to be a convex combination of inhomogeneous product of geometric distributions for the discrete model and a convex combination of inhomogeneous product of exponential distributions for the continuous one. The mean values of the geometric and of the exponential variables are distributed according to the order statistics of i.i.d. uniform random variables on a suitable interval fixed by the boundary sources. The result is obtained solving exactly the stationary condition written in terms of the joint generating function. The method has an interest in itself and can be generalized to study other models. We briefly discuss some applications.
△ Less
Submitted 8 January, 2024; v1 submitted 6 July, 2023;
originally announced July 2023.
-
Large deviations for diffusions: Donsker-Varadhan meet Freidlin-Wentzell
Authors:
Lorenzo Bertini,
Davide Gabrielli,
Claudio Landim
Abstract:
We consider a diffusion process on $\mathbb R^n$ and prove a large deviation principle for the empirical process in the joint limit in which the time window diverges and the noise vanishes. The corresponding rate function is given by the expectation of the Freidlin-Wentzell functional per unit of time. As an application of this result, we obtain a variational representation of the rate function fo…
▽ More
We consider a diffusion process on $\mathbb R^n$ and prove a large deviation principle for the empirical process in the joint limit in which the time window diverges and the noise vanishes. The corresponding rate function is given by the expectation of the Freidlin-Wentzell functional per unit of time. As an application of this result, we obtain a variational representation of the rate function for the Gallavotti-Cohen observable in the small noise and large time limits.
△ Less
Submitted 29 May, 2023; v1 submitted 4 November, 2022;
originally announced November 2022.
-
Metastable $Γ$-expansion of finite state Markov chains level two large deviations rate functions
Authors:
L. Bertini,
D. Gabrielli,
C. Landim
Abstract:
We examine two analytical characterisation of the metastable behavior of a Markov chain. The first one expressed in terms of its transition probabilities, and the second one in terms of its large deviations rate functional.
Consider a sequence of continuous-time Markov chains $(X^{(n)}_t:t\ge 0)$ evolving on a fixed finite state space $V$. Under a hypothesis on the jump rates, we prove the exist…
▽ More
We examine two analytical characterisation of the metastable behavior of a Markov chain. The first one expressed in terms of its transition probabilities, and the second one in terms of its large deviations rate functional.
Consider a sequence of continuous-time Markov chains $(X^{(n)}_t:t\ge 0)$ evolving on a fixed finite state space $V$. Under a hypothesis on the jump rates, we prove the existence of times-scales $θ^{(p)}_n$ and probability measures with disjoint supports $π^{(p)}_j$, $j\in S_p$, $1\le p \le q$, such that (a) $θ^{(1)}_n \to \infty$, $θ^{(k+1)}_n/θ^{(k)}_n \to \infty$, (b) for all $p$, $x\in V$, $t>0$, starting from $x$, the distribution of $X^{(n)}_{t θ^{(p)}_n}$ converges, as $n\to\infty$, to a convex combination of the probability measures $π^{(p)}_j$. The weights of the convex combination naturally depend on $x$ and $t$.
Let $I_n$ be the level two large deviations rate functional for $X^{(n)}_t$, as $t\to\infty$. Under the same hypothesis on the jump rates and assuming, furthermore, that the process is reversible, we prove that $I_n$ can be written as $I_n = I^{(0)} \,+\, \sum_{1\le p\le q} (1/θ^{(p)}_n) \, I^{(p)}$ for some rate functionals $I^{(p)}$ which take finite values only at convex combinations of the measures $π^{(p)}_j$: $I^{(p)}(μ) < \infty$ if, and only if, $μ= \sum_{j\in S_p} ω_j\, π^{(p)}_j$ for some probability measure $ω$ in $S_p$.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
Concurrent Donsker-Varadhan and hydrodynamical large deviations
Authors:
Lorenzo Bertini,
Davide Gabrielli,
Claudio Landim
Abstract:
We consider the weakly asymmetric exclusion process on the $d$-dimensional torus. We prove a large deviations principle for the time averaged empirical density and current in the joint limit in which both the time interval and the number of particles diverge. This result is obtained both by analyzing the variational convergence, as the number of particles diverges, of the Donsker-Varadhan function…
▽ More
We consider the weakly asymmetric exclusion process on the $d$-dimensional torus. We prove a large deviations principle for the time averaged empirical density and current in the joint limit in which both the time interval and the number of particles diverge. This result is obtained both by analyzing the variational convergence, as the number of particles diverges, of the Donsker-Varadhan functional for the empirical process and by considering the large time behavior of the hydrodynamical rate function. The large deviations asymptotic of the time averaged current is then deduced by contraction principle. The structure of the minimizers of this variational problem corresponds to the possible occurrence of dynamical phase transitions.
△ Less
Submitted 10 November, 2021;
originally announced November 2021.
-
Hydrodynamic limit of an exclusion process with vorticity
Authors:
Leonardo De Carlo,
Davide Gabrielli,
Patrícia Gonçalves
Abstract:
We construct a non reversible exclusion process with Bernoulli product invariant measure and having, in the diffusive hydrodynamic scaling, a non symmetric diffusion matrix, that can be explicitly computed. The antisymmetric part does not affect the evolution of the density but it is relevant for the evolution of the current. Switching on a weak external field we obtain a symmetric mobility matrix…
▽ More
We construct a non reversible exclusion process with Bernoulli product invariant measure and having, in the diffusive hydrodynamic scaling, a non symmetric diffusion matrix, that can be explicitly computed. The antisymmetric part does not affect the evolution of the density but it is relevant for the evolution of the current. Switching on a weak external field we obtain a symmetric mobility matrix that is related just to the symmetric part of the diffusion matrix by an Einstein relation. We argue that this fact is typical within a class of generalized gradient models. We consider for simplicity the model in dimension $d=2$, but a similar behavior can be also obtained in higher dimensions.
△ Less
Submitted 30 March, 2022; v1 submitted 16 September, 2021;
originally announced September 2021.
-
A combinatorial representation for the invariant measure of diffusion processes on metric graphs
Authors:
Michele Aleandri,
Matteo Colangeli,
Davide Gabrielli
Abstract:
We give a generalization to a continuous setting of the classic Markov chain tree Theorem. In particular, we consider an irreducible diffusion process on a metric graph. The unique invariant measure has an atomic component on the vertices and an absolutely continuous part on the edges. We show that the corresponding density at $x$ can be represented by a normalized superposition of the weights ass…
▽ More
We give a generalization to a continuous setting of the classic Markov chain tree Theorem. In particular, we consider an irreducible diffusion process on a metric graph. The unique invariant measure has an atomic component on the vertices and an absolutely continuous part on the edges. We show that the corresponding density at $x$ can be represented by a normalized superposition of the weights associated to metric arborescences oriented toward the point $x$. The weight of each oriented metric arborescence is obtained by the exponential of integrals of the form $\int\frac{b}{σ^2}$ along the oriented edges time a weight for each node determined by the local orientation of the arborescence around the node time the inverse of the diffusion coefficient at $x$. The metric arborescences are obtained cutting the original metric graph along some edges.
△ Less
Submitted 3 February, 2020;
originally announced February 2020.
-
Box-ball system: soliton and tree decomposition of excursions
Authors:
Pablo A Ferrari,
Davide Gabrielli
Abstract:
We review combinatorial properties of solitons of the Box-Ball system introduced by Takahashi and Satsuma in 1990. Starting with several definitions of the system, we describe ways to identify solitons and review a proof of the conservation of the solitons under the dynamics. Ferrari, Nguyen, Rolla and Wang 2018 proposed a soliton decomposition of a configuration into a family of vectors, one for…
▽ More
We review combinatorial properties of solitons of the Box-Ball system introduced by Takahashi and Satsuma in 1990. Starting with several definitions of the system, we describe ways to identify solitons and review a proof of the conservation of the solitons under the dynamics. Ferrari, Nguyen, Rolla and Wang 2018 proposed a soliton decomposition of a configuration into a family of vectors, one for each soliton size. Based on this decompositions, the authors have proposed a family of measures on the set of excursions which induces invariant distributions for the Box-Ball System. In this paper, we propose a new soliton decomposition which is equivalent to a branch decomposition of the tree associated to the excursion, see Le Gall 2005. A ball configuration distributed as independent Bernoulli variables of parameter $λ<1/2$ is in correspondence with a simple random walk with negative drift $2λ-1$ and infinitely many excursions over the local minima. In this case the authors have proven that the soliton decomposition of the walk consists on independent double-infinite vectors of iid geometric random variables. We show that this property is shared by the branch decomposition of the excursion trees of the random walk and discuss a corresponding construction of a Geometric branching process with independent but not identically distributed Geometric random variables.
△ Less
Submitted 2 May, 2020; v1 submitted 14 June, 2019;
originally announced June 2019.
-
BBS invariant measures with independent soliton components
Authors:
Pablo A. Ferrari,
Davide Gabrielli
Abstract:
The Box-Ball System (BBS) is a one-dimensional cellular automaton in $\{0,1\}^\Z$ introduced by Takahashi and Satsuma \cite{TS}, who also identified conserved sequences called \emph{solitons}. Integers are called boxes and a ball configuration indicates the boxes occupied by balls. For each integer $k\ge1$, a $k$-soliton consists of $k$ boxes occupied by balls and $k$ empty boxes (not necessarily…
▽ More
The Box-Ball System (BBS) is a one-dimensional cellular automaton in $\{0,1\}^\Z$ introduced by Takahashi and Satsuma \cite{TS}, who also identified conserved sequences called \emph{solitons}. Integers are called boxes and a ball configuration indicates the boxes occupied by balls. For each integer $k\ge1$, a $k$-soliton consists of $k$ boxes occupied by balls and $k$ empty boxes (not necessarily consecutive). Ferrari, Nguyen, Rolla and Wang \cite{FNRW} define the $k$-slots of a configuration as the places where $k$-solitons can be inserted. Labeling the $k$-slots with integer numbers, they define the $k$-component of a configuration as the array $\{ζ_k(j)\}_{j\in \mathbb Z}$ of elements of $\Z_{\ge0}$ giving the number $ζ_k(j)$ of $k$-solitons appended to $k$-slot $j\in \mathbb Z$. They also show that if the Palm transform of a translation invariant distribution $μ$ has independent soliton components, then $μ$ is invariant for the automaton. We show that for each $λ\in[0,1/2)$ the Palm transform of a product Bernoulli measure with parameter $λ$ has independent soliton components and that its $k$-component is a product measure of geometric random variables with parameter $1-q_k(λ)$, an explicit function of $λ$. The construction is used to describe a large family of invariant measures with independent components under the Palm transformation, including Markov measures.
△ Less
Submitted 8 November, 2019; v1 submitted 6 December, 2018;
originally announced December 2018.
-
A unifying picture of generalized thermodynamic uncertainty relations
Authors:
A. C. Barato,
R. Chetrite,
A. Faggionato,
D. Gabrielli
Abstract:
The thermodynamic uncertainty relation is a universal trade-off relation connecting the precision of a current with the average dissipation at large times. For continuous time Markov chains (also called Markov jump processes) this relation is valid in the time-homogeneous case, while it fails in the time-periodic case. The latter is relevant for the study of several small thermodynamic systems. We…
▽ More
The thermodynamic uncertainty relation is a universal trade-off relation connecting the precision of a current with the average dissipation at large times. For continuous time Markov chains (also called Markov jump processes) this relation is valid in the time-homogeneous case, while it fails in the time-periodic case. The latter is relevant for the study of several small thermodynamic systems. We consider here a time-periodic Markov chain with continuous time and a broad class of functionals of stochastic trajectories, which are general linear combinations of the empirical flow and the empirical density. Inspired by the analysis done in our previous work [1], we provide general methods to get local quadratic bounds for large deviations, which lead to universal lower bounds on the ratio of the diffusion coefficient to the squared average value in terms of suitable universal rates, independent of the empirical functional. These bounds are called "generalized thermodynamic uncertainty relations" (GTUR's), being generalized versions of the thermodynamic uncertainty relation to the time-periodic case and to functionals which are more general than currents. Previously, GTUR's in the time-periodic case have been obtained in [1, 27, 42]. Here we recover the GTUR's in [1, 27] and produce new ones, leading to even stronger bounds and also to new trade-off relations for time-homogeneous systems. Moreover, we generalize to arbitrary protocols the GTUR obtained in [42] for time-symmetric protocols. We also generalize to the time-periodic case the GTUR obtained in [19] for the so called dynamical activity, and provide a new GTUR which, in the time-homogeneous case, is stronger than the one in [19]. The unifying picture is completed with a comprehensive comparison between the different GTUR's.
△ Less
Submitted 28 October, 2018;
originally announced October 2018.
-
Bounds on current fluctuations in periodically driven systems
Authors:
Andre C Barato,
Raphael Chetrite,
Alessandra Faggionato,
Davide Gabrielli
Abstract:
Small nonequilibrium systems in contact with a heat bath can be analyzed with the framework of stochastic thermodynamics. In such systems, fluctuations, which are not negligible, follow universal relations such as the fluctuation theorem. More recently, it has been found that, for nonequilibrium stationary states, the full spectrum of fluctuations of any thermodynamic current is bounded by the ave…
▽ More
Small nonequilibrium systems in contact with a heat bath can be analyzed with the framework of stochastic thermodynamics. In such systems, fluctuations, which are not negligible, follow universal relations such as the fluctuation theorem. More recently, it has been found that, for nonequilibrium stationary states, the full spectrum of fluctuations of any thermodynamic current is bounded by the average rate of entropy production and the average current. However, this bound does not apply to periodically driven systems, such as heat engines driven by periodic variation of the temperature and artificial molecular pumps driven by an external protocol. We obtain a universal bound on current fluctuations for periodically driven systems. This bound is a generalization of the known bound for stationary states. In general, the average rate that bounds fluctuations in periodically driven systems is different from the rate of entropy production. We also obtain a local bound on fluctuations that leads to a trade-off relation between speed and precision in periodically driven systems, which constitutes a generalization to periodically driven systems of the so called thermodynamic uncertainty relation. From a technical perspective, our results are obtained with the use of a recently developed theory for 2.5 large deviations for Markov jump processes with time-periodic transition rates.
△ Less
Submitted 25 October, 2018; v1 submitted 20 June, 2018;
originally announced June 2018.
-
Level 2.5 large deviations for continuous time Markov chains with time periodic rates
Authors:
L. Bertini,
R. Chetrite,
A. Faggionato,
D. Gabrielli
Abstract:
We consider an irreducible continuous time Markov chain on a finite state space and with time periodic jump rates and prove the joint large deviation principle for the empirical measure and flow and the joint large deviation principle for the empirical measure and current. By contraction we get the large deviation principle of three types of entropy production flow. We derive some Gallavotti-Cohen…
▽ More
We consider an irreducible continuous time Markov chain on a finite state space and with time periodic jump rates and prove the joint large deviation principle for the empirical measure and flow and the joint large deviation principle for the empirical measure and current. By contraction we get the large deviation principle of three types of entropy production flow. We derive some Gallavotti-Cohen duality relations and discuss some applications.
△ Less
Submitted 11 June, 2018; v1 submitted 22 October, 2017;
originally announced October 2017.
-
Flows, currents, and cycles for Markov Chains: large deviation asymptotics
Authors:
L. Bertini,
A. Faggionato,
D. Gabrielli
Abstract:
We consider a continuous time Markov chain on a countable state space. We prove a joint large deviation principle (LDP) of the empirical measure and current in the limit of large time interval. The proof is based on results on the joint large deviations of the empirical measure and flow obtained in \cite{BFG}. By improving such results we also show, under additional assumptions, that the LDP holds…
▽ More
We consider a continuous time Markov chain on a countable state space. We prove a joint large deviation principle (LDP) of the empirical measure and current in the limit of large time interval. The proof is based on results on the joint large deviations of the empirical measure and flow obtained in \cite{BFG}. By improving such results we also show, under additional assumptions, that the LDP holds with the strong L^1 topology on the space of currents. We deduce a general version of the Gallavotti-Cohen (GC) symmetry for the current field and show that it implies the so-called fluctuation theorem for the GC functional. We also analyze the large deviation properties of generalized empirical currents associated to a fundamental basis in the cycle space, which, as we show, are given by the first class homological coefficients in the graph underlying the Markov chain. Finally, we discuss in detail some examples.
△ Less
Submitted 23 August, 2014;
originally announced August 2014.
-
Stochastic monotonicity from an Eulerian viewpoint
Authors:
Davide Gabrielli,
Ida Germana Minelli
Abstract:
Stochastic monotonicity is a well known partial order relation between probability measures defined on the same partially ordered set. Strassen Theorem establishes equivalence between stochastic monotonicity and the existence of a coupling compatible with respect to the partial order. We consider the case of a countable set and introduce the class of \emph{finitely decomposable flows} on a directe…
▽ More
Stochastic monotonicity is a well known partial order relation between probability measures defined on the same partially ordered set. Strassen Theorem establishes equivalence between stochastic monotonicity and the existence of a coupling compatible with respect to the partial order. We consider the case of a countable set and introduce the class of \emph{finitely decomposable flows} on a directed acyclic graph associated to the partial order. We show that a probability measure stochastically dominates another probability measure if and only if there exists a finitely decomposable flow having divergence given by the difference of the two measures. We illustrate the result with some examples. In fluid theory the Lagrangian description follows the trajectories of the particles while the Eulerian one observes the local flow. A coupling gives a Lagrangian description of the transference plan of mass while a flow gives an Eulerian one
△ Less
Submitted 30 July, 2017; v1 submitted 15 March, 2014;
originally announced March 2014.
-
From level 2.5 to level 2 large deviations for continuous time Markov chains
Authors:
L. Bertini,
A. Faggionato,
D. Gabrielli
Abstract:
We recover the Donsker-Varadhan large deviations principle (LDP) for the empirical measure of a continuous time Markov chain on a countable (finite or infinite) state space from the joint LDP for the empirical measure and the empirical flow proved in [2].
We recover the Donsker-Varadhan large deviations principle (LDP) for the empirical measure of a continuous time Markov chain on a countable (finite or infinite) state space from the joint LDP for the empirical measure and the empirical flow proved in [2].
△ Less
Submitted 31 December, 2012;
originally announced December 2012.
-
Large deviations of the empirical flow for continuous time Markov chains
Authors:
Lorenzo Bertini,
Alessandra Faggionato,
Davide Gabrielli
Abstract:
We consider a continuous time Markov chain on a countable state space and prove a joint large deviation principle for the empirical measure and the empirical flow, which accounts for the total number of jumps between pairs of states. We give a direct proof using tilting and an indirect one by contraction from the empirical process.
We consider a continuous time Markov chain on a countable state space and prove a joint large deviation principle for the empirical measure and the empirical flow, which accounts for the total number of jumps between pairs of states. We give a direct proof using tilting and an indirect one by contraction from the empirical process.
△ Less
Submitted 15 January, 2015; v1 submitted 6 October, 2012;
originally announced October 2012.
-
Which random walks are cyclic?
Authors:
Davide Gabrielli,
Carla Valente
Abstract:
A cyclic random walk is a random walk whose transition probabilities/rates can be written as a superposition of the empirical measures of a family of finite cycles. This identifies a convex set of models. We discuss the problem of characterization of cyclic random walks in some special cases showing that it is related to several remarkable and classical results. In particular we introduce the noti…
▽ More
A cyclic random walk is a random walk whose transition probabilities/rates can be written as a superposition of the empirical measures of a family of finite cycles. This identifies a convex set of models. We discuss the problem of characterization of cyclic random walks in some special cases showing that it is related to several remarkable and classical results. In particular we introduce the notion of balanced measure and show that a translation invariant random walk on $\mathbb Z^d$ is cyclic if and only if its transition probability is balanced. The characterization of the extremal elements is obtained using the Carathéodory's Theorem of convex analysis. We then show that a random walk on a finite set is cyclic if and only if at every vertex the outgoing flux of the transition graph is equal to the ingoing flux. The extremal elements are characterized by the Birkhoff-Von-Neumann Theorem. Finally we consider the discrete torus and discuss when the cyclic decomposition can be done using only homotopically trivial cycles or elementary cycles associated to edges and two dimensional faces. While in one dimension this is equivalent to require some geometric properties of a discrete vector field associated to the transition rates, in two dimension this is not the case. In particular we give a simple characterization of the polyhedron of the rates admitting a cyclic decomposition with elementary cycles. The proof is based on a discrete Hodge decomposition, elementary homological algebra and the Helly's Theorem of convex analysis. Finally we discuss a natural discretization procedure of smooth divergence free continuous vector fields and an application to random walks in random environments.
△ Less
Submitted 18 April, 2012; v1 submitted 26 July, 2011;
originally announced July 2011.
-
Large deviation principles for nongradient weakly asymmetric stochastic lattice gases
Authors:
Lorenzo Bertini,
Alessandra Faggionato,
Davide Gabrielli
Abstract:
We consider a lattice gas on the discrete d-dimensional torus $(\mathbb{Z}/N\mathbb{Z})^d$ with a generic translation invariant, finite range interaction satisfying a uniform strong mixing condition. The lattice gas performs a Kawasaki dynamics in the presence of a weak external field E/N. We show that, under diffusive rescaling, the hydrodynamic behavior of the lattice gas is described by a nonli…
▽ More
We consider a lattice gas on the discrete d-dimensional torus $(\mathbb{Z}/N\mathbb{Z})^d$ with a generic translation invariant, finite range interaction satisfying a uniform strong mixing condition. The lattice gas performs a Kawasaki dynamics in the presence of a weak external field E/N. We show that, under diffusive rescaling, the hydrodynamic behavior of the lattice gas is described by a nonlinear driven diffusion equation. We then prove the associated dynamical large deviation principle. Under suitable assumptions on the external field (e.g., E constant), we finally analyze the variational problem defining the quasi-potential and characterize the optimal exit trajectory. From these results we deduce the asymptotic behavior of the stationary measures of the stochastic lattice gas, which are not explicitly known. In particular, when the external field E is constant, we prove a stationary large deviation principle for the empirical density and show that the rate function does not depend on E.
△ Less
Submitted 12 February, 2013; v1 submitted 4 November, 2010;
originally announced November 2010.
-
Action functional and quasi-potential for the Burgers equation in a bounded interval
Authors:
Lorenzo Bertini,
Alberto De Sole,
Davide Gabrielli,
Giovanni Jona-Lasinio,
Claudio Landim
Abstract:
Consider the viscous Burgers equation $u_t + f(u)_x = ε\, u_{xx}$ on the interval $[0,1]$ with the inhomogeneous Dirichlet boundary conditions $u(t,0) = ρ_0$, $u(t,1) = ρ_1$. The flux $f$ is the function $f(u)= u(1-u)$, $ε>0$ is the viscosity, and the boundary data satisfy $0<ρ_0<ρ_1<1$. We examine the quasi-potential corresponding to an action functional, arising from non-equilibrium statistica…
▽ More
Consider the viscous Burgers equation $u_t + f(u)_x = ε\, u_{xx}$ on the interval $[0,1]$ with the inhomogeneous Dirichlet boundary conditions $u(t,0) = ρ_0$, $u(t,1) = ρ_1$. The flux $f$ is the function $f(u)= u(1-u)$, $ε>0$ is the viscosity, and the boundary data satisfy $0<ρ_0<ρ_1<1$. We examine the quasi-potential corresponding to an action functional, arising from non-equilibrium statistical mechanical models, associated to the above equation. We provide a static variational formula for the quasi-potential and characterize the optimal paths for the dynamical problem. In contrast with previous cases, for small enough viscosity, the variational problem defining the quasi potential admits more than one minimizer. This phenomenon is interpreted as a non-equilibrium phase transition and corresponds to points where the super-differential of the quasi-potential is not a singleton.
△ Less
Submitted 13 April, 2010;
originally announced April 2010.
-
A representation formula for large deviations rate functionals of invariant measures on the one dimensional torus
Authors:
A. Faggionato,
D. Gabrielli
Abstract:
We consider a generic diffusion on the 1D torus and give a simple representation formula for the large deviation rate functional of its invariant probability measure, in the limit of vanishing noise. Previously, this rate functional had been characterized by M.I. Freidlin and A.D.\ Wentzell as solution of a rather complex optimization problem. We discuss this last problem in full generality and sh…
▽ More
We consider a generic diffusion on the 1D torus and give a simple representation formula for the large deviation rate functional of its invariant probability measure, in the limit of vanishing noise. Previously, this rate functional had been characterized by M.I. Freidlin and A.D.\ Wentzell as solution of a rather complex optimization problem. We discuss this last problem in full generality and show that it leads to our formula. We express the rate functional by means of a geometric transformation that, with a Maxwell-like construction, creates flat regions.
We then consider piecewise deterministic Markov processes on the 1D torus and show that the corresponding large deviation rate functional for the stationary distribution is obtained by applying the same transformation. Inspired by this, we prove a universality result showing that the transformation generates viscosity solution of stationary Hamilton--Jacobi equation associated to any Hamiltonian $H$ satisfying suitable weak conditions.
△ Less
Submitted 11 October, 2010; v1 submitted 28 January, 2010;
originally announced January 2010.
-
Stationarity, time--reversal and fluctuation theory for a class of piecewise deterministic Markov processes
Authors:
Alessandra Faggionato,
Davide Gabrielli,
Marco Ribezzi Crivellari
Abstract:
We consider a class of stochastic dynamical systems, called piecewise deterministic Markov processes, with states $(x, \s)\in Ø\times \G$, $Ø$ being a region in $\bbR^d$ or the $d$--dimensional torus, $\G$ being a finite set. The continuous variable $x$ follows a piecewise deterministic dynamics, the discrete variable $\s$ evolves by a stochastic jump dynamics and the two resulting evolutions ar…
▽ More
We consider a class of stochastic dynamical systems, called piecewise deterministic Markov processes, with states $(x, \s)\in Ø\times \G$, $Ø$ being a region in $\bbR^d$ or the $d$--dimensional torus, $\G$ being a finite set. The continuous variable $x$ follows a piecewise deterministic dynamics, the discrete variable $\s$ evolves by a stochastic jump dynamics and the two resulting evolutions are fully--coupled. We study stationarity, reversibility and time--reversal symmetries of the process. Increasing the frequency of the $\s$--jumps, we show that the system behaves asymptotically as deterministic and we investigate the structure of fluctuations (i.e. deviations from the asymptotic behavior), recovering in a non Markovian frame results obtained by Bertini et al. \cite{BDGJL1, BDGJL2, BDGJL3, BDGJL4}, in the context of Markovian stochastic interacting particle systems. Finally, we discuss a Gallavotti--Cohen--type symmetry relation with involution map different from time--reversal. For several examples the above results are recovered by explicit computations.
△ Less
Submitted 24 February, 2009;
originally announced February 2009.
-
Averaging and large deviation principles for fully-coupled piecewise deterministic Markov processes and applications to molecular motors
Authors:
A. Faggionato,
D. Gabrielli,
M. Ribezzi Crivellari
Abstract:
We consider Piecewise Deterministic Markov Processes (PDMPs) with a finite set of discrete states. In the regime of fast jumps between discrete states, we prove a law of large number and a large deviation principle. In the regime of fast and slow jumps, we analyze a coarse-grained process associated to the original one and prove its convergence to a new PDMP with effective force fields and jump…
▽ More
We consider Piecewise Deterministic Markov Processes (PDMPs) with a finite set of discrete states. In the regime of fast jumps between discrete states, we prove a law of large number and a large deviation principle. In the regime of fast and slow jumps, we analyze a coarse-grained process associated to the original one and prove its convergence to a new PDMP with effective force fields and jump rates. In all the above cases, the continuous variables evolve slowly according to ODEs.
Finally, we discuss some applications related to the mechanochemical cycle of macromolecules, including strained--dependent power--stroke molecular motors. Our analysis covers the case of fully--coupled slow and fast motions.
△ Less
Submitted 16 September, 2008; v1 submitted 13 August, 2008;
originally announced August 2008.
-
Strong asymmetric limit of the quasi-potential of the boundary driven weakly asymmetric exclusion process
Authors:
Lorenzo Bertini,
Davide Gabrielli,
Claudio Landim
Abstract:
We consider the weakly asymmetric exclusion process on a bounded interval with particles reservoirs at the endpoints. The hydrodynamic limit for the empirical density, obtained in the diffusive scaling, is given by the viscous Burgers equation with Dirichlet boundary conditions. In the case in which the bulk asymmetry is in the same direction as the drift due to the boundary reservoirs, we prove…
▽ More
We consider the weakly asymmetric exclusion process on a bounded interval with particles reservoirs at the endpoints. The hydrodynamic limit for the empirical density, obtained in the diffusive scaling, is given by the viscous Burgers equation with Dirichlet boundary conditions. In the case in which the bulk asymmetry is in the same direction as the drift due to the boundary reservoirs, we prove that the quasi-potential can be expressed in terms of the solution to a one-dimensional boundary value problem which has been introduced by Enaud and Derrida \cite{de}. We consider the strong asymmetric limit of the quasi-potential and recover the functional derived by Derrida, Lebowitz, and Speer \cite{DLS3} for the asymmetric exclusion process.
△ Less
Submitted 13 June, 2008;
originally announced June 2008.
-
From combinatorics to large deviations for the invariant measures of some multiclass particle systems
Authors:
Davide Gabrielli
Abstract:
We prove large deviation principles (LDP) for the invariant measures of the multiclass totally asymmetric simple exclusion process (TASEP) and the multiclass Hammersely-Aldous-Diaconis (HAD) process on a torus. The proof is based on a combinatorial representation of the measures in terms of a \emph{collapsing procedure} introduced in \cite{A} for the 2-class TASEP and then generalized in \cite{F…
▽ More
We prove large deviation principles (LDP) for the invariant measures of the multiclass totally asymmetric simple exclusion process (TASEP) and the multiclass Hammersely-Aldous-Diaconis (HAD) process on a torus. The proof is based on a combinatorial representation of the measures in terms of a \emph{collapsing procedure} introduced in \cite{A} for the 2-class TASEP and then generalized in \cite{FM1}, \cite{FM2} and \cite{FM3} to the multiclass TASEP and the multiclass HAD process. The rate functionals are written in terms of variational problems that we solve in the cases of 2-class processes.
△ Less
Submitted 27 January, 2008;
originally announced January 2008.
-
Large deviation approach to non equilibrium processes in stochastic lattice gases
Authors:
L. Bertini,
A. De Sole,
D. Gabrielli,
G. Jona-Lasinio,
C. Landim
Abstract:
We present a review of recent work on the statistical mechanics of non equilibrium processes based on the analysis of large deviations properties of microscopic systems. Stochastic lattice gases are non trivial models of such phenomena and can be studied rigorously providing a source of challenging mathematical problems. In this way, some principles of wide validity have been obtained leading to…
▽ More
We present a review of recent work on the statistical mechanics of non equilibrium processes based on the analysis of large deviations properties of microscopic systems. Stochastic lattice gases are non trivial models of such phenomena and can be studied rigorously providing a source of challenging mathematical problems. In this way, some principles of wide validity have been obtained leading to interesting physical consequences.
△ Less
Submitted 24 February, 2006;
originally announced February 2006.
-
Large deviations of the empirical current in interacting particle systems
Authors:
L. Bertini,
A. De Sole,
D. Gabrielli,
G. Jona-Lasinio,
C. Landim
Abstract:
We study current fluctuations in lattice gases in the hydrodynamic scaling limit. More precisely, we prove a large deviation principle for the empirical current in the symmetric simple exclusion process with rate functional I. We then estimate the asymptotic probability of a fluctuation of the average current over a large time interval and show that the corresponding rate function can be obtaine…
▽ More
We study current fluctuations in lattice gases in the hydrodynamic scaling limit. More precisely, we prove a large deviation principle for the empirical current in the symmetric simple exclusion process with rate functional I. We then estimate the asymptotic probability of a fluctuation of the average current over a large time interval and show that the corresponding rate function can be obtained by solving a variational problem for the functional I. For the symmetric simple exclusion process the minimizer is time independent so that this variational problem can be reduced to a time independent one. On the other hand, for other models the minimizer is time dependent. This phenomenon is naturally interpreted as a dynamical phase transition.
△ Less
Submitted 16 December, 2005;
originally announced December 2005.
-
Large deviations for empirical entropies of Gibbsian sources
Authors:
J. -R. Chazottes,
D. Gabrielli
Abstract:
The entropy of an ergodic finite-alphabet process can be computed from a single typical sample path x_1^n using the entropy of the k-block empirical probability and letting k grow with $n$ roughly like log n. We further assume that the distribution of the process is a g-measure; g-measures form a large class of Gibbs measures. We prove large deviation principles for conditional, non-conditional…
▽ More
The entropy of an ergodic finite-alphabet process can be computed from a single typical sample path x_1^n using the entropy of the k-block empirical probability and letting k grow with $n$ roughly like log n. We further assume that the distribution of the process is a g-measure; g-measures form a large class of Gibbs measures. We prove large deviation principles for conditional, non-conditional and relative k(n)-block empirical entropies.
△ Less
Submitted 17 June, 2005; v1 submitted 4 June, 2004;
originally announced June 2004.
-
Fluctuations of the Empirical Entropies of a Chain of Infinite Order
Authors:
D. Gabrielli,
A. Galves,
D. Guiol
Abstract:
This paper addresses the question of the fluctuations of the empirical entropy of a chain of infinite order. We assume that the chain takes values on a finite alphabet and loses memory exponentially fast. We consider two possible definitions for the empirical entropy, both based on the empirical distribution of cylinders with length clog(n), where n is the size of the sample and c is a suitable…
▽ More
This paper addresses the question of the fluctuations of the empirical entropy of a chain of infinite order. We assume that the chain takes values on a finite alphabet and loses memory exponentially fast. We consider two possible definitions for the empirical entropy, both based on the empirical distribution of cylinders with length clog(n), where n is the size of the sample and c is a suitable constant. The first one is the conditional entropy of the empirical distribution, given a past with length growing logarithmically with the size of the sample. The second one is the rescaled entropy of the empirical distribution of the cylinders of size growing logarithmically with the size of the sample. We prove a central limit theorem for the first one. We also prove that the second one does not have Gaussian fluctuations. This solves a problem formulated in Iosifescu (1965).
△ Less
Submitted 17 December, 2003; v1 submitted 25 August, 2003;
originally announced August 2003.
