-
Existence of ACIM for Piecewise Expanding $C^{1+\varepsilon}$ maps
Authors:
Aparna Rajput,
Paweł Góra
Abstract:
In this paper, we establish Lasota-Yorke inequality for the Frobenius-Perron Operator of a piecewise expanding $C^{1+\varepsilon}$ map of an interval. By adapting this inequality to satisfy the assumptions of the Ionescu-Tulcea and Marinescu ergodic theorem \cite{ionescu1950}, we demonstrate the existence of an absolutely continuous invariant measure (ACIM) for the map. Furthermore, we prove the q…
▽ More
In this paper, we establish Lasota-Yorke inequality for the Frobenius-Perron Operator of a piecewise expanding $C^{1+\varepsilon}$ map of an interval. By adapting this inequality to satisfy the assumptions of the Ionescu-Tulcea and Marinescu ergodic theorem \cite{ionescu1950}, we demonstrate the existence of an absolutely continuous invariant measure (ACIM) for the map. Furthermore, we prove the quasi-compactness of the Frobenius-Perron operator induced by the map. Additionally, we explore significant properties of the system, including weak mixing and exponential decay of correlations.
△ Less
Submitted 11 September, 2024; v1 submitted 9 September, 2024;
originally announced September 2024.
-
Quasi-compactness of Frobenius-Perron Operator for Piecewise Convex Maps with Countable Branches
Authors:
Pawel Gora,
Aparna Rajput
Abstract:
In this paper, we prove the quasi-compactness of the Frobenius-Perron operator for a piecewise convex map $τ$ with a countably infinite number of branches on the interval $I=[0,1]$. We establish that for high enough $n$ iterates of $τ$, $τ^n$ are piecewise expanding. Using the Lasota-Yorke Inequality derived from references \cite{hofbauer1982} and \cite{keller1985}, adapted to meet the assumptions…
▽ More
In this paper, we prove the quasi-compactness of the Frobenius-Perron operator for a piecewise convex map $τ$ with a countably infinite number of branches on the interval $I=[0,1]$. We establish that for high enough $n$ iterates of $τ$, $τ^n$ are piecewise expanding. Using the Lasota-Yorke Inequality derived from references \cite{hofbauer1982} and \cite{keller1985}, adapted to meet the assumptions of the Ionescu-Tulcea and Marinescu ergodic theorem, we demonstrate the existence of absolutely continuous invariant measure (ACIM) $μ$ for $τ$, the exactness of the dynamical system $(I, τ,μ)$ and the quasi-compactness of Frobenius-Perron operator $P_τ$ induced by $τ$. The last fact implies a multitude of strong ergodic properties of $τ$.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
Ulam's method for computing stationary densities of invariant measures for piecewise convex maps with countably infinite number of branches
Authors:
Md Shafiqul Islam,
Paweł Góra,
A H M Mahbubur Rahman
Abstract:
Let $τ: I=[0, 1]\to [0, 1]$ be a piecewise convex map with countably infinite number of branches. In \cite{GIR}, the existence of absolutely continuous invariant measure (ACIM) $μ$ for $τ$ and the exactness of the system $(τ, μ)$ has been proven. In this paper, we develop an Ulam method for approximation of $f^*$, the density of ACIM $μ$. We construct a sequence $\{τ_n\}_{n=1}^\infty$ of maps…
▽ More
Let $τ: I=[0, 1]\to [0, 1]$ be a piecewise convex map with countably infinite number of branches. In \cite{GIR}, the existence of absolutely continuous invariant measure (ACIM) $μ$ for $τ$ and the exactness of the system $(τ, μ)$ has been proven. In this paper, we develop an Ulam method for approximation of $f^*$, the density of ACIM $μ$. We construct a sequence $\{τ_n\}_{n=1}^\infty$ of maps $τ_n: I\to I$ s. t. $τ_n$ has a finite number of branches and the sequence $τ_n$ converges to $τ$ almost uniformly. Using supremum norms and Lasota-Yorke type inequalities, we prove the existence of ACIMs $μ_n$ for $τ_n$ with the densities $f_n$. For a fixed $n$, we apply Ulam's method with $k$ subintervals to $τ_n$ and compute approximations $f_{n,k}$ of $f_n$. We prove that $f_{n,k}\to f^*$ as $n\to \infty, k\to \infty,$ both a.e. and in $L^1$. We provide examples of piecewise convex maps $τ$ with countably infinite number of branches, their approximations $τ_n$ with finite number of branches and for increasing values of parameter $k$ show the errors $\|f^*-f_{n,k}\|_1$.
△ Less
Submitted 4 May, 2024;
originally announced May 2024.
-
A Payne-Whitham model of urban traffic networks in the presence of traffic lights and its application to traffic optimisation
Authors:
Mauritz Cartier van Dissel,
Paweł Gora,
Dragoş Manea
Abstract:
Urban road transport is a major civilisational and economic challenge, affecting the quality of life and economic activity. Addressing these challenges requires a multidisciplinary approach and sustainable urban planning strategies to mitigate the negative effects of traffic in cities. In this paper, we introduce an extension of one of the most popular macroscopic traffic simulation models, the Pa…
▽ More
Urban road transport is a major civilisational and economic challenge, affecting the quality of life and economic activity. Addressing these challenges requires a multidisciplinary approach and sustainable urban planning strategies to mitigate the negative effects of traffic in cities. In this paper, we introduce an extension of one of the most popular macroscopic traffic simulation models, the Payne-Whitham model. We investigate how this model, originally designed to model highway traffic on straight road segments, can be adapted to more realistic conditions with arbitrary road network graphs and multiple intersections with traffic signals. Furthermore, we showcase the practical application of this extension in experiments aimed at optimising traffic signal settings. For computational reasons, these experiments involve the adoption of surrogate models for approximating our extended Payne-Whitham model, and subsequently, we utilise the Differential Evolution optimization algorithm, resulting in the identification of traffic signal settings that enhance the average speed of cars and decrease the total length of queues, thereby facilitating smoother traffic flow.
△ Less
Submitted 19 July, 2024; v1 submitted 9 January, 2024;
originally announced January 2024.
-
An Extreme Metastable Model for Quantum Measurement
Authors:
Abraham Boyarsky,
Paweł\ Góra,
Zhenyang Li
Abstract:
Quantum experiments are observed as probability density functions. We often encounter multi-peaked densities which we model in this paper by a metastable dynamical system. The dynamics can be regarded in a thought experiment where a mouse is in either one of two disjoint traps which possess little outlets. The mouse spends most of its time in one or the other trap, and once in awhile makes its way…
▽ More
Quantum experiments are observed as probability density functions. We often encounter multi-peaked densities which we model in this paper by a metastable dynamical system. The dynamics can be regarded in a thought experiment where a mouse is in either one of two disjoint traps which possess little outlets. The mouse spends most of its time in one or the other trap, and once in awhile makes its way to the other trap. Hence, a bi-peaked density function. When the experiment is observed - such as a light shone on the traps - the mouse stays in one trap. This measurement process results in a single peaked density that, we prove, can be modelled by the metastable process selecting an extreme density function, which is single peaked.
△ Less
Submitted 17 December, 2019;
originally announced December 2019.
-
Absolutely Continuous Invariant measures for non-autonomous dynamical systems
Authors:
Pawel Gora,
Abraham Boyarsky,
Christopher Keefe
Abstract:
We consider the non autonomous dynamical system $\{τ_{n}\},$ where $τ_{n}$ is a continuous map $X\rightarrow X,$ and $X$ is a compact metric space. We assume that $\{τ_{n}\}$ converges uniformly to $τ.$ The inheritance of chaotic properties as well as topological entropy by $τ$ from the sequence $\{τ_{n}\}$ has been studied in \cite{Can1, Can2, Li,Ste,Zhu}. In \cite{You} the generalization of SRB\…
▽ More
We consider the non autonomous dynamical system $\{τ_{n}\},$ where $τ_{n}$ is a continuous map $X\rightarrow X,$ and $X$ is a compact metric space. We assume that $\{τ_{n}\}$ converges uniformly to $τ.$ The inheritance of chaotic properties as well as topological entropy by $τ$ from the sequence $\{τ_{n}\}$ has been studied in \cite{Can1, Can2, Li,Ste,Zhu}. In \cite{You} the generalization of SRB\ measures to non-autonomous systems has been considered. In this paper we study absolutely continuous invariant measures (acim) for non autonomous systems. After generalizing the Krylov-Bogoliubov Theorem \cite{KB} and Straube's Theorem \cite{Str} to the non autonomous setting, we prove that under certain conditions the limit map $τ$ of a non autonomous sequence of maps $\{τ_n\}$ with acims has an acim.
△ Less
Submitted 28 August, 2019;
originally announced August 2019.
-
Singular SRB measures for a non 1--1 map of the unit square
Authors:
Pawel Góra,
Abraham Boyarsky,
Zhenyang Li
Abstract:
We consider a map of the unit square which is not 1--1, such as the memory map studied in \cite{MwM1}. Memory maps are defined as follows: $x_{n+1}=M_α(x_{n-1},x_{n})=τ(α\cdot x_{n}+(1-α)\cdot x_{n-1}),$ where $τ$ is a one-dimensional map on $I=[0,1]$ and $0<α<1$ determines how much memory is being used. In this paper we let $τ$ to be the symmetric tent map. To study the dynamics of $M_α$, we cons…
▽ More
We consider a map of the unit square which is not 1--1, such as the memory map studied in \cite{MwM1}. Memory maps are defined as follows: $x_{n+1}=M_α(x_{n-1},x_{n})=τ(α\cdot x_{n}+(1-α)\cdot x_{n-1}),$ where $τ$ is a one-dimensional map on $I=[0,1]$ and $0<α<1$ determines how much memory is being used. In this paper we let $τ$ to be the symmetric tent map. To study the dynamics of $M_α$, we consider the two-dimensional map $$ G_{α}:[x_{n-1},x_{n}]\mapsto [x_{n},τ(α\cdot x_{n}+(1-α)\cdot x_{n-1})]\, .$$ The map $G_α$ for $α\in(0,3/4]$ was studied in \cite{MwM1}. In this paper we prove that for $α\in(3/4,1)$ the map $G_α$ admits a singular Sinai-Ruelle-Bowen measure. We do this by applying Rychlik's results for the Lozi map. However, unlike the Lozi map, the maps $G_α$ are not invertible which creates complications that we are able to overcome.
△ Less
Submitted 6 July, 2016;
originally announced July 2016.
-
Statistical and Deterministic Dynamics of Maps with Memory
Authors:
Paweł Góra,
Abraham Boyarsky,
Zhenyang Li,
Harald Proppe
Abstract:
We consider a dynamical system to have memory if it remembers the current state as well as the state before that. The dynamics is defined as follows: $x_{n+1}=T_α(x_{n-1},x_{n})=τ(α\cdot x_{n}+(1-α)\cdot x_{n-1}),$ where $τ$ is a one-dimensional map on $I=[0,1]$ and $0<α<1$ determines how much memory is being used. $T_α$ does not define a dynamical system since it maps $U=I\times I$ into $I$. In t…
▽ More
We consider a dynamical system to have memory if it remembers the current state as well as the state before that. The dynamics is defined as follows: $x_{n+1}=T_α(x_{n-1},x_{n})=τ(α\cdot x_{n}+(1-α)\cdot x_{n-1}),$ where $τ$ is a one-dimensional map on $I=[0,1]$ and $0<α<1$ determines how much memory is being used. $T_α$ does not define a dynamical system since it maps $U=I\times I$ into $I$. In this note we let $τ$ to be the symmetric tent map. We shall prove that for $0<α<0.46,$ the orbits of $\{x_{n}\}$ are described statistically by an absolutely continuous invariant measure (acim) in two dimensions. As $α$ approaches $0.5 $ from below, that is, as we approach a balance between the memory state and the present state, the support of the acims become thinner until at $α=0.5$, all points have period 3 or eventually possess period 3. For $0.5<α<0.75$, we have a global attractor: for all starting points in $U$ except $(0,0)$, the orbits are attracted to the fixed point $(2/3,2/3).$ At $α=0.75,$ we have slightly more complicated periodic behavior.
△ Less
Submitted 24 April, 2016;
originally announced April 2016.
-
Toward A Mathematical Holographic Principle
Authors:
Paweł Góra,
Zhenyang Li,
Abraham Boyarsky,
Harald Proppe
Abstract:
In work started in [17] and continued in this paper our objective is to study selectors of multivalued functions which have interesting dynamical properties, such as possessing absolutely continuous invariant measures. We specify the graph of a multivalued function by means of lower and upper boundary maps $τ_{1}$ and $τ_{2}.$ On these boundary maps we define a position dependent random map…
▽ More
In work started in [17] and continued in this paper our objective is to study selectors of multivalued functions which have interesting dynamical properties, such as possessing absolutely continuous invariant measures. We specify the graph of a multivalued function by means of lower and upper boundary maps $τ_{1}$ and $τ_{2}.$ On these boundary maps we define a position dependent random map $R_{p}=\{τ_{1},τ_{2};p,1-p\},$ which, at each time step, moves the point $x$ to $τ_{1}(x)$ with probability $p(x)$ and to $τ_{2}(x)$ with probability $1-p(x)$. Under general conditions, for each choice of $p$, $R_{p}$ possesses an absolutely continuous invariant measure with invariant density $f_{p}.$ Let $\boldsymbolτ$ be a selector which has invariant density function $f.$ One of our objectives is to study conditions under which $p(x)$ exists such that $R_{p}$ has $f$ as its invariant density function. When this is the case, the long term statistical dynamical behavior of a selector can be represented by the long term statistical behavior of a random map on the boundaries of $G.$ We refer to such a result as a mathematical holographic principle. We present examples and study the relationship between the invariant densities attainable by classes of selectors and the random maps based on the boundaries and show that, under certain conditions, the extreme points of the invariant densities for selectors are achieved by bang-bang random maps, that is, random maps for which $p(x)\in \{0,1\}.$
△ Less
Submitted 29 April, 2014;
originally announced April 2014.
-
Selections and their Absolutely Continuous Invariant Measures
Authors:
A. Boyarsky,
P. Góra,
Zh. Li
Abstract:
Let $I=[0,1]$ and consider disjoint closed regions $G_{1},....,G_{n}$ in $% I\times I$ and subintervals $I_{1},......,I_{n},$ such that $G_{i}$ projects onto $I_{i.}$ We define the lower and upper maps $τ_{1},$ $τ_{2}$ by the lower and upper boundaries of $G_{i},i=1,....,n,$ respectively. We assume $τ_{1}$, $τ_{2}$ to be piecewise monotonic and preserving continuous invariant measures $μ_{1}$ and…
▽ More
Let $I=[0,1]$ and consider disjoint closed regions $G_{1},....,G_{n}$ in $% I\times I$ and subintervals $I_{1},......,I_{n},$ such that $G_{i}$ projects onto $I_{i.}$ We define the lower and upper maps $τ_{1},$ $τ_{2}$ by the lower and upper boundaries of $G_{i},i=1,....,n,$ respectively. We assume $τ_{1}$, $τ_{2}$ to be piecewise monotonic and preserving continuous invariant measures $μ_{1}$ and $μ_{2}$, respectively. Let $% F^{(1)}$ and $F^{(2)}$ be the distribution functions of $μ_{1}$ and $μ_{2}.$ The main results shows that for any convex combination $F$ of $% F^{(1)} $ and $F^{(2)}$ we can find a map $η$ with values between the graphs of $τ_{1}$ and $τ_{2}$ (that is, a selection) such that $F$ is the $η$-invariant distribution function. Examples are presented. We also study the relationship of the dynamics of multi-valued maps to random maps.
△ Less
Submitted 23 September, 2013;
originally announced September 2013.
-
Instability of Isolated Spectrum for W-shaped Maps
Authors:
Zhenyang Li,
Paweł Góra
Abstract:
In this note we consider $W$-shaped map $W_0=W_{s_1,s_2}$ with $\frac {1}{s_1}+\frac {1}{s_2}=1$ and show that eigenvalue 1 is not stable. We do this in a constructive way. For each perturbing map $W_a$ we show the existence of the "second" eigenvalue $λ_a$, such that $λ_a\to 1$, as $a\to 0$, which proves instability of isolated spectrum of $W_0$. At the same time, the existence of second eigenval…
▽ More
In this note we consider $W$-shaped map $W_0=W_{s_1,s_2}$ with $\frac {1}{s_1}+\frac {1}{s_2}=1$ and show that eigenvalue 1 is not stable. We do this in a constructive way. For each perturbing map $W_a$ we show the existence of the "second" eigenvalue $λ_a$, such that $λ_a\to 1$, as $a\to 0$, which proves instability of isolated spectrum of $W_0$. At the same time, the existence of second eigenvalues close to 1 causes the maps $W_a$ behave in a metastable way. They have two almost invariant sets and the system spends long periods of consecutive iterations in each of them with infrequent jumps from one to the other.
△ Less
Submitted 16 October, 2011;
originally announced October 2011.
-
SRB Measures For Certain Markov Processes
Authors:
Wael Bahsoun,
Pawel Gora
Abstract:
We study Markov processes generated by iterated function systems (IFS). The constituent maps of the IFS are monotonic transformations of the interval. We first obtain an upper bound on the number of SRB (Sinai-Ruelle-Bowen) measures for the IFS. Then, when all the constituent maps have common fixed points at 0 and 1, theorems are given to analyze properties of the ergodic invariant measures…
▽ More
We study Markov processes generated by iterated function systems (IFS). The constituent maps of the IFS are monotonic transformations of the interval. We first obtain an upper bound on the number of SRB (Sinai-Ruelle-Bowen) measures for the IFS. Then, when all the constituent maps have common fixed points at 0 and 1, theorems are given to analyze properties of the ergodic invariant measures $δ_0$ and $δ_1$. In particular, sufficient conditions for $δ_0$ and/or $δ_1$ to be, or not to be, SRB measures are given. We apply some of our results to asset market games.
△ Less
Submitted 30 December, 2009; v1 submitted 20 July, 2009;
originally announced July 2009.
-
Eventually Expanding Maps
Authors:
Peyman Eslami,
Pawel Gora
Abstract:
In this paper we show that the piecewise linear map f(x) = px for x in [0,1/p], and sx-s/p for x in (1/p,1], p > 1, 0 < s < 1 which has an expanding, onto branch and a contracting branch is eventually piecewise expanding and exact.
In this paper we show that the piecewise linear map f(x) = px for x in [0,1/p], and sx-s/p for x in (1/p,1], p > 1, 0 < s < 1 which has an expanding, onto branch and a contracting branch is eventually piecewise expanding and exact.
△ Less
Submitted 17 August, 2011; v1 submitted 29 July, 2008;
originally announced July 2008.
