-
Optimal transportation and pressure at zero temperature
Authors:
Jairo K. Mengue
Abstract:
Given two compact metric spaces $X$ and $Y$, a Lipschitz continuous cost function $c$ on $X \times Y$ and two probabilities $μ\in\mathcal{P}(X),\,ν\in\mathcal{P}(Y)$, we propose to study the Monge-Kantorovich problem and its duality from a zero temperature limit of a convex pressure function. We consider the entropy defined by $H(π) = -D_{KL}(π|μ\times ν)$, where $D_{KL}$ is the Kullback-Leibler d…
▽ More
Given two compact metric spaces $X$ and $Y$, a Lipschitz continuous cost function $c$ on $X \times Y$ and two probabilities $μ\in\mathcal{P}(X),\,ν\in\mathcal{P}(Y)$, we propose to study the Monge-Kantorovich problem and its duality from a zero temperature limit of a convex pressure function. We consider the entropy defined by $H(π) = -D_{KL}(π|μ\times ν)$, where $D_{KL}$ is the Kullback-Leibler divergence, and then the pressure defined by the variational principle \[P(βA) = \sup_{π\in Π(μ,ν)} \left[ \smallint βA\,dπ+ H(π)\right],\]where $β>0$ and $A=-c$. We will show that it admits a dual formulation and when $β\to+\infty$ we recover the solution for the usual Monge-Kantorovich problem and its Kantorovich duality. Such approach is similar to one which is well known in Thermodynamic Formalism and Ergodic Optimization, where $β$ is interpreted as the inverse of the temperature ($β= \frac{1}{T}$) and $β\to+\infty$ is interpreted as a zero temperature limit.
△ Less
Submitted 31 January, 2025;
originally announced January 2025.
-
Idempotent approach to level-2 variational principles in Thermodynamical Formalism
Authors:
A. O. Lopes,
J. K. Mengue,
E. R. Oliveira
Abstract:
In this work we introduce an idempotent pressure to level-2 functions and its associated density entropy. All this is related to idempotent pressure functions which is the natural concept that corresponds to the meaning of probability in the level-2 max-plus context. In this general framework the equilibrium states, maximizing the variational principle, are not unique. We investigate the connectio…
▽ More
In this work we introduce an idempotent pressure to level-2 functions and its associated density entropy. All this is related to idempotent pressure functions which is the natural concept that corresponds to the meaning of probability in the level-2 max-plus context. In this general framework the equilibrium states, maximizing the variational principle, are not unique. We investigate the connections with the general convex pressure introduced recently to level-1 functions by Biś, Carvalho, Mendes and Varandas. Our general setting contemplates the dynamical and not dynamical framework. We also study a characterization of the density entropy in order to get an idempotent pressure invariant by dynamical systems acting on probabilities; this is therefore a level-2 result. We are able to produce idempotent pressure functions at level-2 which are invariant by the dynamics of the pushforward map via a form of Ruelle operator.
△ Less
Submitted 27 September, 2024;
originally announced September 2024.
-
Large deviation for Gibbs probabilities at zero temperature and invariant idempotent probabilities for iterated function systems
Authors:
Jairo. K. Mengue,
Elismar R. Oliveira
Abstract:
We consider two compact metric spaces $J$ and $X$ and a uniform contractible iterated function system $\{φ_j: X \to X \, | \, j \in J \}$. For a Lipschitz continuous function $A$ on $J \times X$ and for each $β>0$ we consider the Gibbs probability $ρ_{_{βA}}$. Our goal is to study a large deviation principle for such family of probabilities as $β\to +\infty$ and its connections with idempotent pro…
▽ More
We consider two compact metric spaces $J$ and $X$ and a uniform contractible iterated function system $\{φ_j: X \to X \, | \, j \in J \}$. For a Lipschitz continuous function $A$ on $J \times X$ and for each $β>0$ we consider the Gibbs probability $ρ_{_{βA}}$. Our goal is to study a large deviation principle for such family of probabilities as $β\to +\infty$ and its connections with idempotent probabilities. In the non-place dependent case ($A(j,x)=A_j,\,\forall x\in X$) we will prove that $(ρ_{_{βA}})$ satisfy a LDP and $-I$ (where $I$ is the deviation function) is the density of the unique invariant idempotent probability for a mpIFS associated to $A$. In the place dependent case, we prove that, if $(ρ_{_{βA}})$ satisfy a LDP, then $-I$ is the density of an invariant idempotent probability. Such idempotent probabilities were recently characterized through the Mañé potential and Aubry set, therefore we will obtain an identical characterization for $-I$.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
On the selection of subaction and measure for perturbed potentials
Authors:
Renaud Leplaideur,
Jairo K Mengue
Abstract:
We prove that when the Aubry set for a Lipschitz continuous potential is a subshift of finite type, then the pressure function converges exponentially fast to its asymptote as the temperature goes to 0. The speed of convergence turns out to be the unique eigenvalue for the matrix whose entries are the costs between the different irreducible pieces of the Aubry set. For a special case of Walter po…
▽ More
We prove that when the Aubry set for a Lipschitz continuous potential is a subshift of finite type, then the pressure function converges exponentially fast to its asymptote as the temperature goes to 0. The speed of convergence turns out to be the unique eigenvalue for the matrix whose entries are the costs between the different irreducible pieces of the Aubry set. For a special case of Walter potential we show that pertubation of that potential that go faster to zero than the pressure do not change the selection, nor for the subaction, neither for the limit measure a zero temperature.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Invariant measures for place dependent idempotent iterated function systems
Authors:
Jairo K. Mengue,
Elismar R. Oliveira
Abstract:
We study the set of invariant idempotent probabilities for place dependent idempotent iterated function systems defined in compact metric spaces. Using well-known ideas from dynamical systems, such as the Mañé potential and the Aubry set, we provide a complete characterization of the densities of such idempotent probabilities. As an application, we provide an alternative formula for the attractor…
▽ More
We study the set of invariant idempotent probabilities for place dependent idempotent iterated function systems defined in compact metric spaces. Using well-known ideas from dynamical systems, such as the Mañé potential and the Aubry set, we provide a complete characterization of the densities of such idempotent probabilities. As an application, we provide an alternative formula for the attractor of a class of fuzzy iterated function systems.
△ Less
Submitted 17 April, 2024; v1 submitted 5 October, 2023;
originally announced October 2023.
-
The generalized IFS Bayesian method and an associated variational principle covering the classical and dynamical cases
Authors:
Artur O. Lopes,
Jairo. K. Mengue
Abstract:
We introduce a general IFS Bayesian method for getting posterior probabilities from prior probabilities, and also a generalized Bayes' rule, which will contemplate a dynamical, as well as a non-dynamical setting. Given a loss function ${l}$, we detail the prior and posterior items, their consequences and exhibit several examples. Taking $Θ$ as the set of parameters and $Y$ as the set of data (whic…
▽ More
We introduce a general IFS Bayesian method for getting posterior probabilities from prior probabilities, and also a generalized Bayes' rule, which will contemplate a dynamical, as well as a non-dynamical setting. Given a loss function ${l}$, we detail the prior and posterior items, their consequences and exhibit several examples. Taking $Θ$ as the set of parameters and $Y$ as the set of data (which usually provides {random samples}), a general IFS is a measurable map $τ:Θ\times Y \to Y$, which can be interpreted as a family of maps $τ_θ:Y\to Y,\,θ\inΘ$. The main inspiration for the results we will get here comes from a paper by Zellner (with no dynamics), where Bayes' rule is related to a principle of minimization of {information.} We will show that our IFS Bayesian method which produces posterior probabilities (which are associated to holonomic probabilities) is related to the optimal solution of a variational principle, somehow corresponding to the pressure in Thermodynamic Formalism, and also to the principle of minimization of information in Information Theory. Among other results, we present the prior dynamical elements and we derive the corresponding posterior elements via the Ruelle operator of Thermodynamic Formalism; getting in this way a form of dynamical Bayes' rule.
△ Less
Submitted 7 September, 2023; v1 submitted 2 December, 2022;
originally announced December 2022.
-
On information gain, Kullback-Leibler divergence, entropy production and the involution kernel
Authors:
Artur O. Lopes,
Jairo K. Mengue
Abstract:
It is well known that in Information Theory and Machine Learning the Kullback-Leibler divergence, which extends the concept of Shannon entropy, plays a fundamental role. Given an {\it a priori} probability kernel $\hatν$ and a probability $π$ on the measurable space $X\times Y$ we consider an appropriate definition of entropy of $π$ relative to $\hatν$, which is based on previous works. Using this…
▽ More
It is well known that in Information Theory and Machine Learning the Kullback-Leibler divergence, which extends the concept of Shannon entropy, plays a fundamental role. Given an {\it a priori} probability kernel $\hatν$ and a probability $π$ on the measurable space $X\times Y$ we consider an appropriate definition of entropy of $π$ relative to $\hatν$, which is based on previous works. Using this concept of entropy we obtain a natural definition of information gain for general measurable spaces which coincides with the mutual information given from the K-L divergence in the case $\hatν$ is identified with a probability $ν$ on $X$. This will be used to extend the meaning of specific information gain and dynamical entropy production to the model of thermodynamic formalism for symbolic dynamics over a compact alphabet (TFCA model). In this case, we show that the involution kernel is a natural tool for better understanding some important properties of entropy production.
△ Less
Submitted 3 June, 2021; v1 submitted 4 March, 2020;
originally announced March 2020.
-
Thermodynamic Formalism for Haar systems in Noncommutative Integration: transverse functions and entropy of transverse measures
Authors:
Artur O. Lopes,
Jairo K. Mengue
Abstract:
We consider here a class of groupoids obtained via an equivalence relation (the subgroupoids of pair groupoids). We generalize to Haar Systems in these groupoids some results related to entropy and pressure which are well known in Thermodynamic Formalism.
We introduce a transfer operator, where the equivalence relation (which defines the groupoid) plays the role of the dynamics and the correspon…
▽ More
We consider here a class of groupoids obtained via an equivalence relation (the subgroupoids of pair groupoids). We generalize to Haar Systems in these groupoids some results related to entropy and pressure which are well known in Thermodynamic Formalism.
We introduce a transfer operator, where the equivalence relation (which defines the groupoid) plays the role of the dynamics and the corresponding transverse function plays the role of the {\it a priori} probability. We also introduce the concept of invariant transverse probability and of entropy for an invariant transverse probability, as well as of pressure for transverse functions. Moreover, we explore the relation between quasi-invariant probabilities and transverse measures. Our results are on measurable category.
△ Less
Submitted 1 February, 2020; v1 submitted 22 May, 2019;
originally announced May 2019.
-
Quantum Spin probabilities at positive temperature are Hölder Gibbs probabilities
Authors:
Jader E. Brasil,
Artur O. Lopes,
Jairo K. Mengue,
Carlos G. Moreira
Abstract:
We consider 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 $ is self adjoint, and for positive temperature $T$ one can get a naturally defined stationary probability…
▽ More
We consider 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 $ is self adjoint, and for positive temperature $T$ one can get a naturally defined stationary probability $μ_T$ on the Bernoulli space $\{1,2\}^\mathbb{N}$.
The Jacobian of $μ_T$ can be expressed via a certain continued fraction expansion.
We will show that this probability is a Gibbs probability for a Hölder potential. Therefore, this probability is mixing for the shift map. For such probability $μ_T$ we will show the explicit deviation function for a certain class of functions.
When decreasing temperature we will be able to exhibit the explicit transition value $T_c$ where the set of values of the Jacobian of the Gibbs probability $μ_T$ changes from being a Cantor set to being an interval.
We also present some properties for quantum spin probabilities at zero temperature (for instance, the explicit value of the entropy).
△ Less
Submitted 16 May, 2018; v1 submitted 4 May, 2018;
originally announced May 2018.
-
Selection of calibrated subaction when temperature goes to zero in the discounted problem
Authors:
Renato Iturriaga,
Artur O. Lopes,
Jairo K. Mengue
Abstract:
Consider $T(x)= d \, x$ (mod 1) acting on $S^1$, a Lipschitz potential $A:S^1 \to \mathbb{R}$, $0<λ<1$ and the unique function $b_λ:S^1 \to \mathbb{R}$ satisfying $ b_λ(x) = \max_{T(y)=x} \{ λ\, b_λ(y) + A(y)\}.$
We will show that, when $λ\to 1$, the function $b_λ- \frac{m(A)}{1-λ}$ converges uniformly to the calibrated subaction $V(x) = \max_{μ\in \mathcal{ M}} \int S(y,x) \, d μ(y)$, where…
▽ More
Consider $T(x)= d \, x$ (mod 1) acting on $S^1$, a Lipschitz potential $A:S^1 \to \mathbb{R}$, $0<λ<1$ and the unique function $b_λ:S^1 \to \mathbb{R}$ satisfying $ b_λ(x) = \max_{T(y)=x} \{ λ\, b_λ(y) + A(y)\}.$
We will show that, when $λ\to 1$, the function $b_λ- \frac{m(A)}{1-λ}$ converges uniformly to the calibrated subaction $V(x) = \max_{μ\in \mathcal{ M}} \int S(y,x) \, d μ(y)$, where $S$ is the Mañe potential, $\mathcal{ M}$ is the set of invariant probabilities with support on the Aubry set and $m(A)= \sup_{μ\in \mathcal{M}} \int A\,dμ$.
For $β>0$ and $λ\in (0,1)$, there exists a unique fixed point $u_{λ,β} :S^1\to \mathbb{R}$ for the equation $e^{u_{λ,β}(x)} = \sum_{T(y)=x}e^{βA(y) +λu_{λ,β}(y)}$.
It is known that as $λ\to 1$ the family $e^{[u_{λ,β}- \sup u_{λ,β}]}$ converges uniformly to the main eigenfuntion $φ_β$ for the Ruelle operator associated to $βA$.
We consider $λ=λ(β)$, $β(1-λ(β))\to+\infty$ and $λ(β) \to 1$, as $β\to\infty$. Under these hypothesis we will show that $\frac{1}β(u_{λ,β}-\frac{P(βA)}{1-λ})$ converges uniformly to the above $V$, as $β\to \infty$.
The parameter $β$ represents the inverse of temperature in Statistical Mechanics and $β\to \infty$ means that we are considering that the temperature goes to zero. Under these conditions we get selection of subaction when $β\to \infty$.
△ Less
Submitted 24 April, 2018; v1 submitted 16 October, 2017;
originally announced October 2017.
-
A Large Deviation Principle for Gibbs States on Markov Shifts at Zero Temperature
Authors:
Rodrigo Bissacot,
Jairo K. Mengue,
Edgardo Pérez
Abstract:
Let $Σ_{A}(\mathbb{N})$ be a topologically mixing countable Markov shift with the BIP property over the alphabet $\mathbb{N}$ and $f: Σ_{A}(\mathbb{N}) \rightarrow \mathbb{R}$ a potential satisfying the Walters condition with finite Gurevich pressure. Under suitable hypotheses, we prove the existence of a Large Deviation Principle for the family $(μ_β)_{β> 0}$ where each $μ_β$ is the Gibbs measure…
▽ More
Let $Σ_{A}(\mathbb{N})$ be a topologically mixing countable Markov shift with the BIP property over the alphabet $\mathbb{N}$ and $f: Σ_{A}(\mathbb{N}) \rightarrow \mathbb{R}$ a potential satisfying the Walters condition with finite Gurevich pressure. Under suitable hypotheses, we prove the existence of a Large Deviation Principle for the family $(μ_β)_{β> 0}$ where each $μ_β$ is the Gibbs measure associated to the potential $βf$. Our main theorem generalizes from finite to countable alphabets and also to a larger class of potentials a previous result of A. Baraviera, A. O. Lopes and P. Thieullen.
△ Less
Submitted 22 December, 2016; v1 submitted 17 December, 2016;
originally announced December 2016.
-
Large deviations for equilibrium measures and selection of subaction
Authors:
Jairo K. Mengue
Abstract:
Given a Lipschitz function $f:\{1,...,d\}^\mathbb{N} \to \mathbb{R}$, for each $β>0$ we denote by $μ_β$ the equilibrium measure of $βf$ and by $h_β$ the main eigenfunction of the Ruelle Operator $L_{βf}$. Assuming that $\{μ_β\}_{β>0}$ satisfy a large deviation principle, we prove the existence of the uniform limit $V= \lim_{β\to\infty}\frac{1}β\log(h_β)$. Furthermore, the expression of the deviati…
▽ More
Given a Lipschitz function $f:\{1,...,d\}^\mathbb{N} \to \mathbb{R}$, for each $β>0$ we denote by $μ_β$ the equilibrium measure of $βf$ and by $h_β$ the main eigenfunction of the Ruelle Operator $L_{βf}$. Assuming that $\{μ_β\}_{β>0}$ satisfy a large deviation principle, we prove the existence of the uniform limit $V= \lim_{β\to\infty}\frac{1}β\log(h_β)$. Furthermore, the expression of the deviation function is determined by its values at the points of the union of the supports of maximizing measures. We study a class of potentials having two ergodic maximizing measures and prove that a L.D.P. is satisfied. The deviation function is explicitly exhibited and does not coincide with the one that appears in the paper by Baraviera-Lopes-Thieullen which considers the case of potentials having a unique maximizing measure.
△ Less
Submitted 15 March, 2017; v1 submitted 20 August, 2016;
originally announced August 2016.
-
Large Deviations for Quantum Spin probabilities at temperature zero
Authors:
Artur O. Lopes,
Jairo K. Mengue,
Joana Mohr,
Carlos G. Moreira
Abstract:
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 stati…
▽ More
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.
△ Less
Submitted 3 November, 2017; v1 submitted 6 May, 2015;
originally announced May 2015.
-
Duality results for Iterated Function Systems with a general family of branches
Authors:
Jairo K. Mengue,
Elismar R. Oliveira
Abstract:
For $X$, $Y$, $Z$ and $W$ compact metric spaces, consider two uniformly contractive IFS $\{τ_x: Z\to Z,\, x\in x\}$ and $\{τ_y:W\to W,\, y\in Y\}$. For a fixed $α\in \mathcal{P}(X)$ with $supp(α)=X$ we define the entropy of a holonomic measure $π\in \mathcal{P}(X\times Z)$ relative to $α$, the pressure of a continuous cost function $c(x,z)$ and show that for $c$ Lipschitz this pressure coincides w…
▽ More
For $X$, $Y$, $Z$ and $W$ compact metric spaces, consider two uniformly contractive IFS $\{τ_x: Z\to Z,\, x\in x\}$ and $\{τ_y:W\to W,\, y\in Y\}$. For a fixed $α\in \mathcal{P}(X)$ with $supp(α)=X$ we define the entropy of a holonomic measure $π\in \mathcal{P}(X\times Z)$ relative to $α$, the pressure of a continuous cost function $c(x,z)$ and show that for $c$ Lipschitz this pressure coincides with the spectral radius of the associated transfer operator. The same approach can be applied to the pair $Y,W$. For fixed probabilities $α\in \mathcal{P}(X)$ and $β\in \mathcal{P}(Y)$ with $supp(α)=X,\,supp(β)=Y$ we denote by $H_α(π), π\in Π(\cdot,\cdot,τ)$, the entropy of the $(X,Z)-$marginal of $π$ relative to $α$ and denote by $H_β(π)$, the entropy of the $(Y,W)-$marginal of $π$ relative to $β$. The marginal pressure of a continuous cost function $c \in C(X\times Y \times Z \times W)$ relative to $(α,β)$ will be defined by $P^{m}(c) = \sup_{π\inΠ(\cdot,\cdot,τ)} \int c\, dπ+ H_α(π) +H_β(π)$ and we will show the following duality result: \[\inf_{P^{m}(c -\varphi(x) -ψ(y))=0} \int \varphi(x)\,dμ+\int ψ(y)\,dν= \sup_{π\inΠ(μ,ν,τ)} \int c\, dπ+ H_α(π) +H_β(π).\] When $Z$ and $W$ have only one point and the entropy is unconsidered this equality can be rewritten as the Kantorovich Duality for compact spaces $X,Y$ and continuous cost $-c$: \[\inf_{c -\varphi(x) -ψ(y)\leq 0} \int \varphi(x)\,dμ+\int ψ(y)\,dν= \sup_{π\inΠ(μ,ν)} \int c\, dπ.\]
△ Less
Submitted 9 July, 2015; v1 submitted 30 April, 2014;
originally announced April 2014.
-
Entropy, Pressure and Duality for Gibbs plans in Ergodic Transport
Authors:
A. O. Lopes,
J. K. Mengue,
J. Mohr,
R. R. Souza
Abstract:
Let $X$ be a finite set and $Ω=\{1,...,d\}^{\mathbb{N}}$ be the Bernoulli space. Denote by $σ$ the shift map acting on $Ω$. For a fixed probability $μ$ on $X$ with supp($μ$)$=X$, define $Π(μ,σ)$ as the set of all Borel probabilities $π\in P(X\times Ω)$ such that the $x$-marginal of $π$ is $μ$ and the $y$-marginal of $π$ is $σ$-invariant. We consider a fixed Lipschitz cost function…
▽ More
Let $X$ be a finite set and $Ω=\{1,...,d\}^{\mathbb{N}}$ be the Bernoulli space. Denote by $σ$ the shift map acting on $Ω$. For a fixed probability $μ$ on $X$ with supp($μ$)$=X$, define $Π(μ,σ)$ as the set of all Borel probabilities $π\in P(X\times Ω)$ such that the $x$-marginal of $π$ is $μ$ and the $y$-marginal of $π$ is $σ$-invariant. We consider a fixed Lipschitz cost function $c: X \times Ω\to \mathbb{R}$ and an associated Ruelle operator. We introduce the concept of Gibbs plan, which is a probability on $X \times Ω$. Moreover, we define entropy, pressure and equilibrium plans. The study of equilibrium plans can be seen as a generalization of the optimal cost problem where the concept of entropy is introduced. We show that an equilibrium plan is a Gibbs plan. Our main result is a Kantorovich duality Theorem on this setting. The pressure plays an important role in the establishment of the notion of admissible pair. Finally, given a parameter $β$, which plays the role of the inverse of temperature, we consider equilibrium plans for $βc$ and its limit $π_\infty$, when $β\to \infty$, which is also known as ground state. We compare this with other previous results on Ergodic Transport in temperature zero.
△ Less
Submitted 3 March, 2014; v1 submitted 29 August, 2013;
originally announced August 2013.
-
Entropy and Variational Principle for one-dimensional Lattice Systems with a general a-priori probability: positive and zero temperature
Authors:
Artur O. Lopes,
Jairo K. Mengue,
Joana Mohr,
Rafael R. Souza
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 August, 2013; v1 submitted 11 October, 2012;
originally announced October 2012.
-
Duality Theorems in Ergodic Transport
Authors:
Artur O. Lopes,
Jairo K. Mengue
Abstract:
We analyze several problems of Optimal Transport Theory in the setting of Ergodic Theory. In a certain class of problems we consider questions in Ergodic Transport which are generalizations of the ones in Ergodic Optimization.
Another class of problems is the following: suppose $σ$ is the shift acting on Bernoulli space $X=\{0,1\}^\mathbb{N}$, and, consider a fixed continuous cost function…
▽ More
We analyze several problems of Optimal Transport Theory in the setting of Ergodic Theory. In a certain class of problems we consider questions in Ergodic Transport which are generalizations of the ones in Ergodic Optimization.
Another class of problems is the following: suppose $σ$ is the shift acting on Bernoulli space $X=\{0,1\}^\mathbb{N}$, and, consider a fixed continuous cost function $c:X \times X\to \mathbb{R}$. Denote by $Π$ the set of all Borel probabilities $π$ on $X\times X$, such that, both its $x$ and $y$ marginal are $σ$-invariant probabilities. We are interested in the optimal plan $π$ which minimizes $\int c d π$ among the probabilities on $Π$.
We show, among other things, the analogous Kantorovich Duality Theorem. We also analyze uniqueness of the optimal plan under generic assumptions on $c$. We investigate the existence of a dual pair of Lipschitz functions which realizes the present dual Kantorovich problem under the assumption that the cost is Lipschitz continuous. For continuous costs $c$ the corresponding results in the Classical Transport Theory and in Ergodic Transport Theory can be, eventually, different.
We also consider the problem of approximating the optimal plan $π$ by convex combinations of plans such that the support projects in periodic orbits.
△ Less
Submitted 25 January, 2012;
originally announced January 2012.
-
On the selection of subaction and measure for a subclass of potentials defined by P. Walters
Authors:
A. T. Baraviera,
A. O. Lopes,
J. K. Mengue
Abstract:
Suppose $σ$ is the shift acting on Bernoulli space $X=\{0,1\}^\mathbb{N}$, and, consider a fixed function $f:X \to \mathbb{R}$, under the Waters's conditions (defined in a paper in ETDS 2007). For each real value $t\geq 0$ we consider the Ruelle Operator $L_{tf}$. We are interested in the main eigenfunction $h_t$ of $L_{tf}$, and, the main eigenmeasure $ν_t$, for the dual operator $L_{tf}^*$, whic…
▽ More
Suppose $σ$ is the shift acting on Bernoulli space $X=\{0,1\}^\mathbb{N}$, and, consider a fixed function $f:X \to \mathbb{R}$, under the Waters's conditions (defined in a paper in ETDS 2007). For each real value $t\geq 0$ we consider the Ruelle Operator $L_{tf}$. We are interested in the main eigenfunction $h_t$ of $L_{tf}$, and, the main eigenmeasure $ν_t$, for the dual operator $L_{tf}^*$, which we consider normalized in such way $h_t(0^\infty)=1$, and, $\int h_t \,d\,ν_t=1, \forall t>0$. We denote $μ_t= h_t ν_t$ the Gibbs state for the potential $t\, f$. By selection of a subaction $V$, when the temperature goes to zero (or, $t\to \infty$), we mean the existence of the limit $$V:=\lim_{t\to\infty}\frac{1}{t}\log(h_{t}).$$
By selection of a measure $μ$, when the temperature goes to zero (or, $t\to \infty$), we mean the existence of the limit (in the weak$^*$ sense) $$μ:=\lim_{t\to\infty} μ_t.$$
We present a large family of non-trivial examples of $f$ where the selection of measure exists. These $f$ belong to a sub-class of potentials introduced by P. Walters. In this case, explicit expressions for the selected $V$ can be obtained for a certain large family of potentials.
△ Less
Submitted 27 June, 2011;
originally announced June 2011.
-
Selection of measure and a Large Deviation Principle for the general XY model
Authors:
Artur O. Lopes,
Jairo Mengue
Abstract:
We consider $(M,d)$ a connected and compact manifold and we denote by $X$ the Bernoulli space $M^{\mathbb{N}}$. The shift acting on $X$ is denoted by $σ$.
We analyze the general XY model, as presented in a recent paper by A. T. Baraviera, L. M. Cioletti, A. O. Lopes, J. Mohr and R. R. Souza. Denote the Gibbs measure by $μ_{c}:=h_{c}ν_{c}$, where $h_{c}$ is the eigenfunction, and, $ν_{c}$ is the…
▽ More
We consider $(M,d)$ a connected and compact manifold and we denote by $X$ the Bernoulli space $M^{\mathbb{N}}$. The shift acting on $X$ is denoted by $σ$.
We analyze the general XY model, as presented in a recent paper by A. T. Baraviera, L. M. Cioletti, A. O. Lopes, J. Mohr and R. R. Souza. Denote the Gibbs measure by $μ_{c}:=h_{c}ν_{c}$, where $h_{c}$ is the eigenfunction, and, $ν_{c}$ is the eigenmeasure of the Ruelle operator associated to $cf$. We are going to prove that any measure selected by $μ_{c}$, as $c\to +\infty$, is a maximizing measure for $f$. We also show, when the maximizing probability measure is unique, that it is true a Large Deviation Principle, with the deviation function $R_{+}^{\infty}=\sum_{j=0}^\infty R_{+} (σ^f)$, where $R_{+}:= β(f) + V\circσ- V - f$, and, $V$ is any calibrated subaction.
△ Less
Submitted 12 August, 2013; v1 submitted 15 June, 2011;
originally announced June 2011.
-
Zeta measures and Thermodynamic Formalism for temperature zero
Authors:
Artur O. Lopes,
Jairo K. Mengue
Abstract:
We address the analysis of the following problem: given a real Hölder potential $f$ defined on the Bernoulli space and $μ_f$ its equilibrium state, it is known that this shift-invariant probability can be weakly approximated by probabilities in periodic orbits associated to certain zeta functions. Given a Hölder function $f>0$ and a value $s$ such that $0<s<1$, we can associate a shift-invariant…
▽ More
We address the analysis of the following problem: given a real Hölder potential $f$ defined on the Bernoulli space and $μ_f$ its equilibrium state, it is known that this shift-invariant probability can be weakly approximated by probabilities in periodic orbits associated to certain zeta functions. Given a Hölder function $f>0$ and a value $s$ such that $0<s<1$, we can associate a shift-invariant probability $ν_{s}$ such that for each continuous function $k$ we have \[\int k dν_{s}=\frac{\sum_{n=1}^{\infty}\sum_{x\in Fix_{n}}e^{sf^{n}(x)-nP(f)}\frac{k^{n}(x)}{n}}{\sum_{n=1}^{\infty}\sum_{x\in Fix_{n}}e^{sf^{n}(x)-nP(f)}},\] where $P(f)$ is the pressure of $f$, $Fix_n$ is the set of solutions of $σ^n(x)=x$, for any $n\in \mathbb{N}$, and $f^{n}(x) = f(x) + f(σ(x)) + f(σ^2(x))+... + f(σ^{n-1} (x)).$ We call $ν_{s}$ a zeta probability for $f$ and $s$. It is known that $ν_s \to μ_{f}$, when $s \to 1$. We consider for each value $c$ the potential $c f$ and the corresponding equilibrium state $μ_{c f}$. What happens with $ν_{s}$ when $c$ goes to infinity and $s$ goes to one? This question is related to the problem of how to approximate the maximizing probability for $f$ by probabilities on periodic orbits. We study this question and also present here the deviation function $I$ and Large Deviation Principle for this limit $c\to \infty, s\to 1$. We will make an assumption: $\lim_{c\to \infty, s\to 1} c(1-s)= L>0$. We do not assume here the maximizing probability for $f$ is unique.
△ Less
Submitted 13 January, 2010; v1 submitted 23 December, 2009;
originally announced December 2009.
