arXiv subjects

Joana Mohr

Publications and source records attributed to Joana Mohr.

11 recordsLinked to original sources

arXiv2019

An Ergodic Theorem on Ergodic Transport

Here we present an ergodic theorem which adapts a Theorem by J. Elton to the classical thermodynamical formalism and to ergodic transport. First, we discuss how Elton's theorem can be used to characterise Gibbs measures for expanding maps. Such characterisation will be done by constructing a stochastic process, defined by a iterated function system (IFS), whose empirical measure converges to the Gibbs measure, in the sense that the mean of any test function evaluated in the outcomes of this stochastic process converges to the integral of such test function with respect to the Gibbs measure. In this way we present a stochastic algorithm that compute integrals of functions. After this, we turn our attention to ergodic transport: given two sets $X$ and $Ω$, a measure $μ$ on $X$ and a dynamics $T$ on $Ω$, we consider the set of probability measures on $X \times Ω$ whose projections on the second coordinate are $T$-invariant, while the projections on the first coordinate are $μ$. Such measures are called transport plans. We call Gibbs plan any transport plan that maximizes a pressure functional that is defined by a potential function added to an entropy term. As in the classical thermodynamical formalism case, we adapt Elton's theorem to define a stochastic process (using a IFS) whose empirical measures converges to the Gibbs plan. We provide examples and show explicitly calculations in the case where $X$ has two elements and the cost function depends on the two first coordinates of $Ω$.

math.DS↗

arXiv2018

Product type potential on the $X\,Y$ model: selection of maximizing probability and a large deviation principle

Given an interval $[a,b]$ the associated $X\,Y$ model is the space $Ω=[a,b]^\mathbb{N}$ with an a priori probability $ν$ on the state space $[a,b]$. We will present here the case of the product type potential on the $X\,Y$ model and in this setting we can show the explicit expression of the equilibrium probability. We will also consider questions about Ergodic Optimization, maximizing probabilities, subactions and we will show selection of a maximizing probability, when temperature goes to zero. Finally we show a large deviation principle when temperature goes to zero and we present an explicit expression for the deviation function.

math.DS↗

arXiv2017

Large Deviations for Quantum Spin probabilities at temperature zero

We consider certain self-adjoint observables for the KMS state associated to the Hamiltonian $H= σ^x \otimes σ^x$ over the quantum spin lattice $\mathbb{C}^2 \otimes \mathbb{C}^2 \otimes \mathbb{C}^2 \otimes ...$. For a fixed observable of the form $L \otimes L \otimes L \otimes ...$, where $L:\mathbb{C}^2 \to \mathbb{C}^2 $, and for the zero temperature limit one can get a naturally defined stationary probability $μ$ on the Bernoulli space $\{1,2\}^\mathbb{N}$. This probability is ergodic but it is not mixing for the shift map. It is not a Gibbs state for a continuous normalized potential but its Jacobian assume only two values almost everywhere. Anyway, for such probability $μ$ we can show that a Large Deviation Principle is true for a certain class of functions. The result is derived by showing the explicit form of the free energy which is differentiable.

math.DS↗

arXiv2016

Semiclassical limits, Lagrangian states and coboundary equations

Assume that $f$ is a continuous transformation $f:S^1 \to S^1$. We consider here the cases where $f$ is either the transformation $f(z)=z^2$ or $f$ is a smooth diffeomorphism of the circle $S^1$. Consider a fixed continuous potential $τ:S^1=[0,1) \to \mathbb{R}$, $ν\in \mathbb{R}$ and $φ:S^1 \to \mathbb{C}$ (a quantum state). The transformation $\hat F_ν$ acting on $φ:S^1 \to \mathbb{C}$, $\hat F_ν(φ) = ϕ$, defined by $\displaystyle ϕ(z) = \hat F_ν (φ(z)) = φ(f(z))e^{iντ(z)}$ describes a discrete time dynamical evolution of the quantum state $φ$. Given $S: \mathbb{R}\to \mathbb{R}$ we define the Lagrangian state $$φ_{x}^S(z) = \sum_{k\in\mathbb{Z}} e^{\frac{iS (z-k)}{\hbar}} e^{-\frac{(z-k-x)^2}{4\hbar}}.$$ In this case $\hat F_ν(φ_{x}^S(z)) = \sum_{k\in\mathbb{Z}}e^{\frac{iS (f(z)-k)}{\hbar}}e^{-\frac{(f(z)-k-x)^2}{4\hbar}}e^{iντ(z)}$. Under suitable conditions on $S$ the micro-support of $φ^S_x (z)$, when $\hbar \to 0$, is $(x,S'(x))$. One of meanings of the semiclassical limit in Quantum Mechanics is to take $ν=\frac{1}{\hbar}$ and $\hbar \to 0$. We address the question of finding $S$ such that $φ^S_x$ satisfies the property: $ \forall x$, we have that $\hat{F}_ν(φ^S_x)$ has micro-support on the graph of $y\to S'(y)$ (which is the micro-support of $φ^S_x$). In other words: which $S$ is such that $\hat{F}_ν$ leaves the micro-support of $φ^S_x$ invariant? This is related to a coboundary equation for $τ$, twist conditions and the boundary of the fat attractor.

math.DS↗

arXiv2013

Entropy and Variational Principle for one-dimensional Lattice Systems with a general a-priori probability: positive and zero temperature

We generalize several results of the classical theory of Thermodynamic Formalism by considering a compact metric space $M$ as the state space. We analyze the shift acting on $M^\mathbb{N}$ and consider a general a-priori probability for defining the Transfer (Ruelle) operator. We study potentials $A$ which can depend on the infinite set of coordinates in $M^\mathbb{N}.$ We define entropy and by its very nature it is always a nonpositive number. The concepts of entropy and transfer operator are linked. If M is not a finite set there exist Gibbs states with arbitrary negative value of entropy. Invariant probabilities with support in a fixed point will have entropy equal to minus infinity. In the case $M=S^1$, and the a-priori measure is Lebesgue $dx$, the infinite product of $dx$ on $(S^1)^\mathbb{N}$ will have zero entropy. We analyze the Pressure problem for a Hölder potential $A$ and its relation with eigenfunctions and eigenprobabilities of the Ruelle operator. Among other things we analyze the case where temperature goes to zero and we show some selection results. Our general setting can be adapted in order to analyze the Thermodynamic Formalism for the Bernoulli space with countable infinite symbols. Moreover, the so called XY model also fits under our setting. In this last case M is the unitary circle $S^1$. We explore the differentiable structure of $(S^1)^\mathbb{N}$ by considering potentials which are of class $C^1$ and we show some properties of the corresponding main eigenfunctions.

math.DS↗

arXiv2012

Continuous time finite state mean field games

In this paper we consider symmetric games where a large number of players can be in any one of d states. We derive a limiting mean field model and characterize its main properties. This mean field limit is a system of coupled ordinary differential equations with initial-terminal data. For this mean field problem we prove a trend to equilibrium theorem, that is convergence, in an appropriate limit, to stationary solutions. Then we study the $N+1$-player problem, which the mean field model attempts to approximate. Our main result is the convergence as $N\to \infty$ of the mean field model and an estimate of the rate of convergence. We end the paper with some further examples for potential mean field games.

math.OC↗

arXiv2011

Wigner measures and the semi-classical limit to the Aubry-Mather measure

In this paper we investigate the asymptotic behavior of the semi-classical limit of Wigner measures defined on the tangent bundle of the one-dimensional torus. In particular we show the convergence of Wigner measures to the Mather measure on the tangent bundle, for energy levels above the minimum of the effective Hamiltonian. The Wigner measures $μ_h$ we consider are associated to $ψ_h,$ a distinguished critical solution of the Evans' quantum action given by $ψ_h=a_h\,e^{i\frac{u_h}h}$, with $a_h(x)=e^{\frac{v^*_h(x)-v_h(x)}{2h}}$, $u_h(x)=P\cdot x+\frac{v^*_h(x)+v_h(x)}{2},$ and $v_h,v^*_h$ satisfying the equations -\frac{h\, Δv_h}{2}+ 1/2 \, | P + D v_h \,|^2 + V &= \bar{H}_h(P), \frac{h\, Δv_h^*}{2}+ 1/2 \, | P + D v_h^* \,|^2 + V &= \bar{H}_h(P), where the constant $\bar{H}_h(P)$ is the $h$ effective potential and $x$ is on the torus. L.\ C.\ Evans considered limit measures $|ψ_h|^2$ in $\mathbb{T}^n$, when $h\to 0$, for any $n\geq 1$. We consider the limit measures on the phase space $\mathbb{T}^n\times\mathbb{R}^n$, for $n=1$, and, in addition, we obtain rigorous asymptotic expansions for the functions $v_h$, and $v^*_h$, when $h\to 0$.

math.DS↗

arXiv2011

Mean field limit of a continuous time finite state game

Mean field games is a recent area of study introduced by Lions and Lasry in a series of seminal papers in 2006. Mean field games model situations of competition between large number of rational agents that play non-cooperative dynamic games under certain symmetry assumptions. They key step is to develop a mean field model, in a similar way that what is done in statistical physics in order to construct a mathematically tractable model. A main question that arises in the study of such mean field problems is the rigorous justification of the mean field models by a limiting procedure. In this paper we consider the mean field limit of two-state Markov decision problem as the number of players $N\to \infty$. First we establish the existence and uniqueness of a symmetric partial information Markov perfect equilibrium. Then we derive a mean field model and characterize its main properties. This mean field limit is a system of coupled ordinary differential equations with initial-terminal data. Our main result is the convergence as $N\to \infty$ of the $N$ player game to the mean field model and an estimate of the rate of convergence.

math.OC↗

arXiv2009

Discrete mean field games

In this paper we study a mean field model for discrete time, finite number of states, dynamic games. These models arise in situations that involve a very large number of agents moving from state to state according to certain optimality criteria. The mean field approach for optimal control and differential games (continuous state and time) was introduced by Lasry and Lions. Here we consider a discrete version of the problem. Our setting is the following: we assume that there is a very large number of identical agents which can be in a finite number of states. Because the number of agents is very large, we assume the mean field hypothesis, that is, that the only relevant information for the global evolution is the fraction $π^n_i$ of players in each state $i$ at time $n$. The agents look for minimizing a running cost, which depends on $π$, plus a terminal cost $V^N$. In contrast with optimal control, where usually only the terminal cost $V^N$ is necessary to solve the problem, in mean-field games both the initial distribution of agents $π^0$ and the terminal cost $V^N$ are necessary to determine the solutions, that is, the distribution of players $π^n$ and value function $V^n$, for $0\leq n\leq N$. Because both initial and terminal data needs to be specified, we call this problem the initial-terminal value problem. Existence of solutions is non-trivial. Nevertheless, following the ideas of Lasry and Lions, we were able to establish existence and uniqueness, both for the stationary and for the initial-terminal value problems. In the last part of the paper we prove the main result of the paper, namely the exponential convergence to a stationary solution of $(π^0, V^0)$, as $N\to \infty$, for the initial-terminal value problem with (fixed) data $π^{-N}$ and $V^N$.

math.OC↗

arXiv2009

Negative Entropy, Zero temperature and stationary Markov Chains on the interval

We analyze some properties of maximizing stationary Markov probabilities on the Bernoulli space $[0,1]^\mathbb{N}$, More precisely, we consider ergodic optimization for a continuous potential $A$, where $A: [0,1]^\mathbb{N}\to \mathbb{R}$ which depends only on the two first coordinates. We are interested in finding stationary Markov probabilities $μ_\infty$ on $ [0,1]^\mathbb{N}$ that maximize the value $ \int A d μ,$ among all stationary Markov probabilities $μ$ on $[0,1]^\mathbb{N}$. This problem correspond in Statistical Mechanics to the zero temperature case for the interaction described by the potential $A$. The main purpose of this paper is to show, under the hypothesis of uniqueness of the maximizing probability, a Large Deviation Principle for a family of absolutely continuous Markov probabilities $μ_β$ which weakly converges to $μ_\infty$. The probabilities $μ_β$ are obtained via an information we get from a Perron operator and they satisfy a variational principle similar to the pressure. Under the hypothesis of $A$ being $C^2$ and the twist condition, that is, $\frac{\partial^2 A}{\partial_x \partial_y} (x,y) \neq 0$, for all $(x,y) \in [0,1]^2$, we show the graph property.

math.DS↗

arXiv2008

The Mather measure and a Large Deviation Principle for the Entropy Penalized Method

We present a large deviation principle for the entropy penalized Mather problem when the Lagrangian L is generic (in this case the Mather measure $μ$ is unique and the support of $μ$ is the Aubry set). Consider, for each value of $ε$ and h, the entropy penalized Mather problem $\min \{\int_{\tn\times\rn} L(x,v)dμ(x,v)+εS[μ]\},$ where the entropy S is given by $S[μ]=\int_{\tn\times\rn}μ(x,v)\ln\frac{μ(x,v)}{\int_{\rn}μ(x,w)dw}dxdv,$ and the minimization is performed over the space of probability densities $μ(x,v)$ that satisfy the holonomy constraint It follows from D. Gomes and E. Valdinoci that there exists a minimizing measure $μ_{ε, h}$ which converges to the Mather measure $μ$. We show a LDP $\lim_{ε,h\to0} ε\ln μ_{ε,h}(A),$ where $A\subset \mathbb{T}^N\times\mathbb{R}^N$. The deviation function I is given by $I(x,v)= L(x,v)+\nablaϕ_0(x)(v)-\bar{H}_{0},$ where $ϕ_0$ is the unique viscosity solution for L.

math.DS↗