Showing 1–50 of 57 results for author: Oprocha, P

Conundrums for continuous Lebesgue measure-preserving interval maps

Authors: Jozef Bobok, Jernej Činč, Piotr Oprocha, Serge Troubetzkoy

Abstract: We consider continuous maps of the interval which preserve the Lebesgue measure. Except for the identity map or $1 - \id$ all such maps have topological entropy at least $\log2/2$ and generically they have infinite topological entropy. In this article we show that thegeneric map has zero measure-theoretic entropy. This implies that there are dramatic differences in the topological versus metric… ▽ More We consider continuous maps of the interval which preserve the Lebesgue measure. Except for the identity map or $1 - \id$ all such maps have topological entropy at least $\log2/2$ and generically they have infinite topological entropy. In this article we show that thegeneric map has zero measure-theoretic entropy. This implies that there are dramatic differences in the topological versus metric behavior both for injectivity as well as for the structure of thelevel sets of generic maps. △ Less

Submitted 16 May, 2024; originally announced May 2024.

Graphs with tranches: consequences for topology and dynamics

Authors: Michał Kowalewski, Piotr Oprocha

Abstract: In this paper we compare quasi graphs and generalized $\sin(1/x)$-type continua - two classes that generalize topological graphs and contain the Warsaw circle as a non-trivial element. We show that neither class is the subset of the other, provide the characterization and present illustrative examples. We unify both approaches by considering the class of tranched graphs, connect it with objects fo… ▽ More In this paper we compare quasi graphs and generalized $\sin(1/x)$-type continua - two classes that generalize topological graphs and contain the Warsaw circle as a non-trivial element. We show that neither class is the subset of the other, provide the characterization and present illustrative examples. We unify both approaches by considering the class of tranched graphs, connect it with objects found in literature and describe how the topological structure of its elements restricts possible dynamics. △ Less

Submitted 8 May, 2024; originally announced May 2024.

MSC Class: 54E45; 54F15; 37B45 (Primary) 54G15; 37B02 (Secondary)

Interval maps with dense periodicity

Authors: Jozef Bobok, Jernej {Č}in{č}, Piotr Oprocha, Serge Troubetzkoy

Abstract: We consider the class of interval maps with dense set of periodic points CP and its closure Cl(CP) equipped with the metric of uniform convergence. Besides studying basic topological properties and density results in the spaces CP and Cl(CP) we prove that Cl(CP) is dynamically characterized as the set of interval maps for which every point is chain-recurrent. Furthermore, we prove that a strong to… ▽ More We consider the class of interval maps with dense set of periodic points CP and its closure Cl(CP) equipped with the metric of uniform convergence. Besides studying basic topological properties and density results in the spaces CP and Cl(CP) we prove that Cl(CP) is dynamically characterized as the set of interval maps for which every point is chain-recurrent. Furthermore, we prove that a strong topological expansion property called topological exactness (or leo property) is attained on the open dense set of maps in CP and on a residual set in Cl(CP). Moreover, we show that every second category set in CP and Cl(CP) is rich in a sense that it contains uncountably many conjugacy classes. An analogous conclusion also holds in the setting of interval maps preserving any fixed non-atomic probability measure with full support. Finally, we give a detailed description of the structure of periodic points of generic maps in CP and Cl(CP) and show that generic maps in CP and Cl(CP) satisfy the shadowing property. △ Less

Submitted 4 July, 2024; v1 submitted 8 February, 2024; originally announced February 2024.

Comments: The main change is an improved corollary 5.10

Various questions around finitely positively expansive dynamical systems

Authors: Silvère Gangloff, Pierre Guillon, Piotr Oprocha

Abstract: It is well-known that when a positively expansive dynamical system is invertible then its underlying space is finite. C.Morales has introduced a decade ago a natural way to generalize positive expansiveness, by introducing other properties that he called positive $n$-expansiveness, for all $n \ge 1$, positive $1$-expansiveness being identical to positive expansiveness. Contrary to positive expansi… ▽ More It is well-known that when a positively expansive dynamical system is invertible then its underlying space is finite. C.Morales has introduced a decade ago a natural way to generalize positive expansiveness, by introducing other properties that he called positive $n$-expansiveness, for all $n \ge 1$, positive $1$-expansiveness being identical to positive expansiveness. Contrary to positive expansiveness, positive $n$-expansiveness for $n>1$ does not enforce that the space is finite when the system is invertible. In the present paper we call finitely positively expansive dynamical systems as the ones which are positively $n$-expansive for some integer $n$, and prove several results on this class of systems. In particular, the well-known result quoted above is true if we add the constraint of shadowing property, while it is not if this property is replaced with minimality. Furthermore, finitely positively expansive systems cannot occur on certain topological spaces such as the interval, when the system is assumed to be invertible finite positive expansiveness implies zero topological entropy. Overall we show that the class of finitely positively expansive dynamical systems is quite rich and leave several questions open for further research. △ Less

Submitted 26 October, 2023; originally announced October 2023.

Parameterized family of annular homeomorphisms with pseudo-circle attractors

Authors: Jernej Činč, Piotr Oprocha

Abstract: In this paper we construct a paramaterized family of annular homeomorphisms with Birkhoff-like rotational attractors that vary continuously with the parameter, are all homeomorphic to the pseudo-circle, display interesting boundary dynamics and furthermore preserve the induced Lebesgue measure from the circle. Namely, in the constructed family of attractors the outer prime ends rotation number var… ▽ More In this paper we construct a paramaterized family of annular homeomorphisms with Birkhoff-like rotational attractors that vary continuously with the parameter, are all homeomorphic to the pseudo-circle, display interesting boundary dynamics and furthermore preserve the induced Lebesgue measure from the circle. Namely, in the constructed family of attractors the outer prime ends rotation number vary continuously with the parameter through the interval $[0,1/2]$. This, in particular, answers a question from [J. London Math. Soc. (2) {\bf 102} (2020), 557--579]. To show main results of the paper we first prove a result of an independent interest, that Lebesgue-measure preserving circle maps generically satisfy the crookedness condition which implies that generically the inverse limits of Lebesgue measure-preserving circle maps are hereditarily indecomposable. For degree one circle maps, this implies that the generic inverse limit in this context is the R.H. Bing's pseudo-circle. △ Less

Submitted 10 May, 2023; originally announced May 2023.

MSC Class: Primary 37E10; 37E30; 37B45; 37C20; Secondary 37A10; 37C15; 37E45

A note on home-product-minimality

Authors: J. P. Boroński, Magdalena Foryś-Krawiec, Piotr Oprocha

Abstract: A compact space $Y$ is called homeo-product-minimal if given any minimal system $(X,T)$, it admits a homeomorphism $S:Y\to Y$, such that the product system $(X\times Y,T\times S)$ is minimal. We show that a large class of cofrontiers is homeo-product-minimal. This class contains R. H. Bing's pseudo-circle, answering a question of Dirbák, Snoha and Špitalský from [Minimal direct products, Trans. Am… ▽ More A compact space $Y$ is called homeo-product-minimal if given any minimal system $(X,T)$, it admits a homeomorphism $S:Y\to Y$, such that the product system $(X\times Y,T\times S)$ is minimal. We show that a large class of cofrontiers is homeo-product-minimal. This class contains R. H. Bing's pseudo-circle, answering a question of Dirbák, Snoha and Špitalský from [Minimal direct products, Trans. Amer. Math. Soc. 375 (2022)]. △ Less

Submitted 22 April, 2023; originally announced April 2023.

Continuous Lebesgue measure-preserving maps on one-dimensional manifolds: a survey

Authors: Jozef Bobok, Jernej Činč, Piotr Oprocha, Serge Troubetzkoy

Abstract: We survey the current state-of-the-art about the dynamical behavior of continuous Lebesgue measure-preserving maps on one-dimensional manifolds. We survey the current state-of-the-art about the dynamical behavior of continuous Lebesgue measure-preserving maps on one-dimensional manifolds. △ Less

Submitted 31 March, 2023; originally announced March 2023.

Short-range and long-range order: a transition in block-gluing behavior in Hom shifts

Authors: Silvere Gangloff, Benjamin Hellouin de Menibus, Piotr Oprocha

Abstract: Hom shifts form a class of multidimensional shifts of finite type (SFT) and consist of colorings of the grid Z2 where adjacent colours must be neighbors in a fixed finite undirected simple graph G. This class includes several important statistical physics models such as the hard square model. The gluing gap measures how far any two square patterns of size n can be glued, which can be seen as a mea… ▽ More Hom shifts form a class of multidimensional shifts of finite type (SFT) and consist of colorings of the grid Z2 where adjacent colours must be neighbors in a fixed finite undirected simple graph G. This class includes several important statistical physics models such as the hard square model. The gluing gap measures how far any two square patterns of size n can be glued, which can be seen as a measure of the range of order, and affects the possibility to compute the entropy (or free energy per site) of a shift. This motivates a study of the possible behaviors of the gluing gap. The class of Hom shifts has the interest that mixing type properties can be formulated in terms of algebraic graph theory, which has received a lot of attention recently. Improving some former work of N. Chandgotia and B. Marcus, we prove that the gluing gap either depends linearly on n or is dominated by log(n). We also find a Hom shift with gap Θ(log(n)), infirming a conjecture formulated by R. Pavlov and M. Schraudner. The physical interest of these results is to better understand the transition from short-range to long-range order (respectively sublogarithmic and linear gluing gap), which is reflected in whether some parameter, the square cover, is finite or infinite. △ Less

Submitted 25 January, 2024; v1 submitted 8 November, 2022; originally announced November 2022.

Metric mean dimension of irregular sets for maps with shadowing

Authors: Magdalena Foryś-Krawiec, Piotr Oprocha

Abstract: We study the metric mean dimension of $Φ$-irregular set $I_Φ(f)$ in dynamical systems with the shadowing property. In particular we prove that for dynamical systems with shadowing containing a chain recurrent class $Y$, the values of topological entropy together with the values of lower and upper metric mean dimension of the set $I_Φ(f)\cap B(Y,\varepsilon)\cap CR(f)$ are bounded from below by the… ▽ More We study the metric mean dimension of $Φ$-irregular set $I_Φ(f)$ in dynamical systems with the shadowing property. In particular we prove that for dynamical systems with shadowing containing a chain recurrent class $Y$, the values of topological entropy together with the values of lower and upper metric mean dimension of the set $I_Φ(f)\cap B(Y,\varepsilon)\cap CR(f)$ are bounded from below by the respective values for class $Y$. △ Less

Submitted 3 January, 2024; v1 submitted 7 November, 2022; originally announced November 2022.

Are generic dynamical properties stable under composition with rotations?

Authors: Jozef Bobok, Jernej Činč, Piotr Oprocha, Serge Troubetzkoy

Abstract: In this paper we provide a detailed topological and measure-theoretic study of Lebesgue measure-preserving circle maps that are rotated with inner and outer rotations which are independent of each other. In particular, we analyze the stability of the locally eventually onto and measure-theoretic mixing properties. In this paper we provide a detailed topological and measure-theoretic study of Lebesgue measure-preserving circle maps that are rotated with inner and outer rotations which are independent of each other. In particular, we analyze the stability of the locally eventually onto and measure-theoretic mixing properties. △ Less

Submitted 14 July, 2022; originally announced July 2022.

MSC Class: 37E05; 37C20

On automatic calibration of the SIRD epidemiological model for COVID-19 data in Poland

Authors: Piotr Błaszczyk, Konrad Klimczak, Adam Mahdi, Piotr Oprocha, Paweł Potorski, Paweł Przybyłowicz, Michał Sobieraj

Abstract: We propose a novel methodology for estimating the epidemiological parameters of a modified SIRD model (acronym of Susceptible, Infected, Recovered and Deceased individuals) and perform a short-term forecast of SARS-CoV-2 virus spread. We mainly focus on forecasting number of deceased. The procedure was tested on reported data for Poland. For some short-time intervals we performed numerical test in… ▽ More We propose a novel methodology for estimating the epidemiological parameters of a modified SIRD model (acronym of Susceptible, Infected, Recovered and Deceased individuals) and perform a short-term forecast of SARS-CoV-2 virus spread. We mainly focus on forecasting number of deceased. The procedure was tested on reported data for Poland. For some short-time intervals we performed numerical test investigating stability of parameter estimates in the proposed approach. Numerical experiments confirm the effectiveness of short-term forecasts (up to 2 weeks) and stability of the method. To improve their performance (i.e. computation time) GPU architecture was used in computations. △ Less

Submitted 26 April, 2022; originally announced April 2022.

Comments: 17 pages, 7 figures

MSC Class: 92-10; 92D30; 62F10; 65L05

Graph maps with zero topological entropy and sequence entropy pairs

Authors: Jian Li, Xianjuan Liang, Piotr Oprocha

Abstract: We show that graph map with zero topological entropy is Li-Yorke chaotic if and only if it has an NS-pair (a pair of non-separable points containing in a same solenoidal $ω$-limit set), and a non-diagonal pair is an NS-pair if and only if it is an IN-pair if and only if it is an IT-pair. This completes characterization of zero topological sequence entropy for graph maps. We show that graph map with zero topological entropy is Li-Yorke chaotic if and only if it has an NS-pair (a pair of non-separable points containing in a same solenoidal $ω$-limit set), and a non-diagonal pair is an NS-pair if and only if it is an IN-pair if and only if it is an IT-pair. This completes characterization of zero topological sequence entropy for graph maps. △ Less

Submitted 15 August, 2021; originally announced August 2021.

Comments: 14 pages. Published online in Proc. Amer. Math. Soc

MSC Class: 37E10; 37B40; 54H15

Journal ref: Proc. Amer. Math. Soc. 149 (2021), no. 11, 4757-4770

Multiorders in amenable group actions

Authors: Tomasz Downarowicz, Piotr Oprocha, Mateusz Więcek, Guohua Zhang

Abstract: The paper offers a thorough study of multiorders and their applications to measure-preserving actions of countable amenable groups. By a~{\em multiorder} on a~countable group we mean any probability measure $ν$ on the collection $\tilde{\mathcal{O}}$ of linear orders of type $\mathbb Z$ on $G$, invariant under the natural action of $G$ on such orders. Every free measure-preserving $G$-action… ▽ More The paper offers a thorough study of multiorders and their applications to measure-preserving actions of countable amenable groups. By a~{\em multiorder} on a~countable group we mean any probability measure $ν$ on the collection $\tilde{\mathcal{O}}$ of linear orders of type $\mathbb Z$ on $G$, invariant under the natural action of $G$ on such orders. Every free measure-preserving $G$-action $(X,μ,G)$ has a~multiorder $(\tilde{\mathcal{O}},ν,G)$ as a factor and has the same orbits as the $\mathbb Z$-action $(X,μ,S)$, where $S$ is the \emph{successor map} determined by the multiorder factor. Moreover, the sub-sigma-algebra $Σ_{\tilde{\mathcal{O}}}$ associated with the multiorder factor is invariant under $S$, which makes the corresponding $\mathbb Z$-action $(\tilde{\mathcal{O}},ν,\tilde S)$ a factor of $(X,μ,S)$. We prove that the entropy of any $G$-process generated by a finite partition of $X$, conditional with respect to $Σ_{\tilde{\mathcal{O}}}$, is preserved by the orbit equivalence with $(X,μ,S)$. Furthermore, this entropy can be computed in terms of the so-called random past, by a formula analogous to $ h(μ,T,\mathcal P)=H(μ,\mathcal P|\mathcal{P}^-)$ known for $\mathbb Z$-actions. The above fact is then applied to prove a variant of a result by Rudolph and Weiss. The original theorem states that orbit equivalence between free actions of countable amenable groups preserves conditional entropy with respect to a~sub-sigma-algebra $Σ$, as soon as the ``orbit change'' is measurable with respect to $Σ$. In our variant, we replace the measurability assumption by a~simpler one: $Σ$ should be invariant under both actions and the actions on the resulting factor should be free. In conclusion we provide a characterization of the Pinsker sigma-algebra of any $G$-process in terms of an appropriately defined remote past arising from a multiorder. △ Less

Submitted 6 April, 2023; v1 submitted 6 August, 2021; originally announced August 2021.

Comments: 36 pages, 2 figures, Changes: slightly changed formulation and proof of Theorem 7.4, some remarks added

MSC Class: 37A15; 37A35 (Primary); 43A07 (Secondary)

Parametrized family of pseudo-arc attractors: physical measures and prime end rotations

Authors: Jernej Činč, Piotr Oprocha

Abstract: The main goal of this paper is to study topological and measure-theoretic properties of an intriguing family of strange planar attractors. Building towards these results, we first show that any generic Lebesgue measure preserving map $f$ generates the pseudo-arc as inverse limit with $f$ as a single bonding map. These maps can be realized as attractors of disc homeomorphisms in such a way that the… ▽ More The main goal of this paper is to study topological and measure-theoretic properties of an intriguing family of strange planar attractors. Building towards these results, we first show that any generic Lebesgue measure preserving map $f$ generates the pseudo-arc as inverse limit with $f$ as a single bonding map. These maps can be realized as attractors of disc homeomorphisms in such a way that the attractors vary continuously (in Hausdorff distance on the disc) with the change of bonding map as a parameter. Furthermore, for generic Lebesgue measure preserving maps $f$ the background Oxtoby-Ulam measures induced by Lebesgue measure for $f$ on the interval are physical on the disc and in addition there is a dense set of maps $f$ defining a unique physical measure. Moreover, the family of physical measures on the attractors varies continuously in the weak* topology; i.e. the parametrized family is statistically stable. We also find an arc in the generic Lebesgue measure preserving set of maps and construct a family of disk homeomorphisms parametrized by this arc which induces a continuously varying family of pseudo-arc attractors with prime ends rotation numbers varying continuously in $[0,1/2]$. It follows that there are uncountably many dynamically non-equivalent embeddings of the pseudo-arc in this family of attractors. △ Less

Submitted 26 January, 2022; v1 submitted 21 July, 2021; originally announced July 2021.

Comments: Updated version accepted for publication in Proceedings of the London Mathematical Society

MSC Class: 37E05; 37E20; 37E30; 37B45; 37A10; 37C75

On the structure of $α$-limit sets of backward trajectories for graph maps

Authors: Magdalena Foryś-Krawiec, Jana Hantáková, Piotr Oprocha

Abstract: In the paper we study what sets can be obtained as $α$-limit sets of backward trajectories in graph maps. We show that in the case of mixing maps, all those $α$-limit sets are $ω$-limit sets and for all but finitely many points $x$, we can obtain every $ω$-limits set as the $α$-limit set of a backward trajectory starting in $x$. For zero entropy maps, every $α$-limit set of a backward trajectory i… ▽ More In the paper we study what sets can be obtained as $α$-limit sets of backward trajectories in graph maps. We show that in the case of mixing maps, all those $α$-limit sets are $ω$-limit sets and for all but finitely many points $x$, we can obtain every $ω$-limits set as the $α$-limit set of a backward trajectory starting in $x$. For zero entropy maps, every $α$-limit set of a backward trajectory is a minimal set. In the case of maps with positive entropy, we obtain a partial characterization which is very close to complete picture of the possible situations. △ Less

Submitted 16 July, 2021; v1 submitted 10 June, 2021; originally announced June 2021.

Journal ref: Discrete and Continuous Dynamical Systems (2021)

Beyond $0$ and $\infty$: A solution to the Barge Entropy Conjecture

Authors: J. P. Boroński, J. Činč, P. Oprocha

Abstract: We prove the entropy conjecture of M. Barge from 1989: for every $r\in [0,\infty]$ there exists a pseudo-arc homeomorphism $h$, whose topological entropy is $r$. Until now all pseudo-arc homeomorphisms with known entropy have had entropy $0$ or $\infty$. We prove the entropy conjecture of M. Barge from 1989: for every $r\in [0,\infty]$ there exists a pseudo-arc homeomorphism $h$, whose topological entropy is $r$. Until now all pseudo-arc homeomorphisms with known entropy have had entropy $0$ or $\infty$. △ Less

Submitted 16 December, 2022; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: Appendix by G. Kozlowski

MSC Class: 37A35

A Cantor dynamical system is slow if and only if all its finite orbits are attracting

Authors: Silvère Gangloff, Piotr Oprocha

Abstract: In this paper, we completely solve the problem when a Cantor dynamical system $(X,f)$ can be embedded in $\mathbb{R}$ with vanishing derivative everywhere. For this purpose, we construct a refining sequence of marked clopen partitions of $X$ which is adapted to a dynamical system of this kind. It turns out that there is a huge class of such systems. In this paper, we completely solve the problem when a Cantor dynamical system $(X,f)$ can be embedded in $\mathbb{R}$ with vanishing derivative everywhere. For this purpose, we construct a refining sequence of marked clopen partitions of $X$ which is adapted to a dynamical system of this kind. It turns out that there is a huge class of such systems. △ Less

Submitted 13 December, 2021; v1 submitted 17 May, 2021; originally announced May 2021.

S-limit shadowing is generic for continuous Lebesgue measure preserving circle maps

Authors: Jozef Bobok, Jernej Činč, Piotr Oprocha, Serge Troubetzkoy

Abstract: In this paper we show that generic continuous Lebesgue measure preserving circle maps have the s-limit shadowing property. In addition we obtain that s-limit shadowing is a generic property also for continuous circle maps. In particular, this implies that classical shadowing, periodic shadowing and limit shadowing are generic in these two settings as well. In this paper we show that generic continuous Lebesgue measure preserving circle maps have the s-limit shadowing property. In addition we obtain that s-limit shadowing is a generic property also for continuous circle maps. In particular, this implies that classical shadowing, periodic shadowing and limit shadowing are generic in these two settings as well. △ Less

Submitted 8 April, 2021; originally announced April 2021.

Dendrites and measures with discrete spectrum

Authors: Magdalena Foryś-Krawiec, Jana Hantáková, Jiří Kupka, Piotr Oprocha, Samuel Roth

Abstract: We are interested in dendrites for which all invariant measures of zero-entropy map**s have discrete spectrum, and we prove that this holds when the closure of the endpoint set of the dendrite is countable. This solves an open question which was around for awhile, almost completing the characterization of dendrites with this property. We are interested in dendrites for which all invariant measures of zero-entropy map**s have discrete spectrum, and we prove that this holds when the closure of the endpoint set of the dendrite is countable. This solves an open question which was around for awhile, almost completing the characterization of dendrites with this property. △ Less

Submitted 10 June, 2021; v1 submitted 3 April, 2021; originally announced April 2021.

Renormalization in Lorenz maps -- completely invariant sets and periodic orbits

Authors: Łukasz Cholewa, Piotr Oprocha

Abstract: The paper deals with dynamics of expanding Lorenz maps, which appear in a natural way as Poincarè maps in geometric models of well-known Lorenz attractor. Using both analytical and symbolic approaches, we study connections between periodic points, completely invariant sets and renormalizations. We show that some renormalizations may be connected with completely invariant sets while some others don… ▽ More The paper deals with dynamics of expanding Lorenz maps, which appear in a natural way as Poincarè maps in geometric models of well-known Lorenz attractor. Using both analytical and symbolic approaches, we study connections between periodic points, completely invariant sets and renormalizations. We show that some renormalizations may be connected with completely invariant sets while some others don't. We provide an algorithm to detect the renormalizations that can be recovered from completely invariant sets. Furthermore, we discuss the importance of distinguish one-side and double-side preimage. This way we provide a better insight into the structure of renormalizations in Lorenz maps. These relations remained unnoticed in the literature, therefore we are correcting some gaps existing in the literature, improving and completing to some extent the description of possible dynamics in this important field of study. △ Less

Submitted 1 April, 2024; v1 submitted 31 March, 2021; originally announced April 2021.

Comments: 34 pages, 4 figures

MSC Class: 37E05; 37B05; 37E20

Periodic points and shadowing property for generic Lebesgue measure preserving interval maps

Authors: Jernej Činč, Jozef Bobok, Piotr Oprocha, Serge Troubetzkoy

Abstract: We show that for the generic continuous maps of the interval and circle which preserve the Lebesgue measure it holds for each k $\ge$ 1 that the set of periodic points of period k is a Cantor set of Hausdorff dimension zero and of upper box dimension one. Furthermore, building on this result, we show that there is a dense collection of transitive Lebesgue measure preserving interval map whose peri… ▽ More We show that for the generic continuous maps of the interval and circle which preserve the Lebesgue measure it holds for each k $\ge$ 1 that the set of periodic points of period k is a Cantor set of Hausdorff dimension zero and of upper box dimension one. Furthermore, building on this result, we show that there is a dense collection of transitive Lebesgue measure preserving interval map whose periodic points have full Lebesgue measure and whose periodic points of period k have positive measure for each k $\ge$ 1. Finally, we show that the generic continuous maps of the interval which preserve the Lebesgue measure satisfy the shadowing and periodic shadowing property. △ Less

Submitted 9 April, 2021; v1 submitted 26 March, 2021; originally announced March 2021.

Comments: Several typos corrected and historical remarks updated

On mathematical aspects of evolution of dislocation density in metallic materials

Authors: Natalia Czyżewska, Jan Kusiak, Paweł Morkisz, Piotr Oprocha, Maciej Pietrzyk, Paweł Przybyłowicz, Łukasz Rauch, Danuta Szeliga

Abstract: This paper deals with the solution of delay differential equations describing evolution of dislocation density in metallic materials. Hardening, restoration, and recrystallization characterizing the evolution of dislocation populations provide the essential equation of the model. The last term transforms ordinary differential equation (ODE) into delay differential equation (DDE) with strong (in ge… ▽ More This paper deals with the solution of delay differential equations describing evolution of dislocation density in metallic materials. Hardening, restoration, and recrystallization characterizing the evolution of dislocation populations provide the essential equation of the model. The last term transforms ordinary differential equation (ODE) into delay differential equation (DDE) with strong (in general, Hölder) nonlinearity. We prove upper error bounds for the explicit Euler method, under the assumption that the right-hand side function is Hölder continuous and monotone which allows us to compare accuracy of other numerical methods in our model (e.g. Runge-Kutta), in particular when explicit formulas for solutions are not known. Finally, we test the above results in simulations of real industrial process. △ Less

Submitted 17 November, 2020; originally announced November 2020.

On entropy of $Φ$-irregular and $Φ$-level sets in maps with the shadowing property

Authors: Magdalena Foryś-Krawiec, Jiri Kupka, Piotr Oprocha, Xuentin Tian

Abstract: We study the properties of $Φ$-irregular sets (sets of points for which the Birkhoff average diverges) in dynamical systems with the shadowing property. We estimate the topological entropy of $Φ$-irregular set in terms of entropy on chain recurrent classes and prove that $Φ$-irregular sets of full entropy are typical. We also consider $Φ$-level sets (sets of points whose Birkhoff average is in a s… ▽ More We study the properties of $Φ$-irregular sets (sets of points for which the Birkhoff average diverges) in dynamical systems with the shadowing property. We estimate the topological entropy of $Φ$-irregular set in terms of entropy on chain recurrent classes and prove that $Φ$-irregular sets of full entropy are typical. We also consider $Φ$-level sets (sets of points whose Birkhoff average is in a specified interval), relating entropy they carry with the entropy of some ergodic measures. Finally, we study the problem of large deviations considering the level sets with respect to reference measures. △ Less

Submitted 18 September, 2019; originally announced September 2019.

All minimal Cantor systems are slow

Authors: J. P. Boroński, J. Kupka, P. Oprocha

Abstract: We show that every (invertible, or noninvertible) minimal Cantor system embeds in $\mathbb{R}$ with vanishing derivative everywhere. We also study relations between local shrinking and periodic points. We show that every (invertible, or noninvertible) minimal Cantor system embeds in $\mathbb{R}$ with vanishing derivative everywhere. We also study relations between local shrinking and periodic points. △ Less

Submitted 25 May, 2019; v1 submitted 27 February, 2019; originally announced February 2019.

MSC Class: 37B05

Minimal non-invertible maps on the pseudo-circle

Authors: Jan P. Boronski, Judy Kennedy, Xiao-Chuan Liu, Piotr Oprocha

Abstract: In this article, we show that R.H. Bing's pseudo-circle admits a minimal non-invertible map. This resolves a problem raised by Bruin, Kolyada and Snoha in the negative. The main tool is the Denjoy-Rees technique, further developed by Béguin-Crovisier-Le Roux, combined with detailed study into the structure of the pseudo-circle. In this article, we show that R.H. Bing's pseudo-circle admits a minimal non-invertible map. This resolves a problem raised by Bruin, Kolyada and Snoha in the negative. The main tool is the Denjoy-Rees technique, further developed by Béguin-Crovisier-Le Roux, combined with detailed study into the structure of the pseudo-circle. △ Less

Submitted 4 November, 2019; v1 submitted 17 October, 2018; originally announced October 2018.

MSC Class: 37

$ω$-chaos without infinite LY-scrambled set on Gehman dendrite

Authors: Tomasz Drwięga, Piotr Oprocha

Abstract: We answer the last question left open in [Z.~Kočan, \emph{Chaos on one-dimensional compact metric spaces}, Internat. J. Bifur. Chaos Appl. Sci. Engrg. \textbf{22}, article id: 1250259 (2012)] which asks whether there is a relation between an infinite LY-scrambled set and $ω$-chaos for dendrite maps. We construct a continuous self-map of a dendrite without an infinite LY-scrambled set but containin… ▽ More We answer the last question left open in [Z.~Kočan, \emph{Chaos on one-dimensional compact metric spaces}, Internat. J. Bifur. Chaos Appl. Sci. Engrg. \textbf{22}, article id: 1250259 (2012)] which asks whether there is a relation between an infinite LY-scrambled set and $ω$-chaos for dendrite maps. We construct a continuous self-map of a dendrite without an infinite LY-scrambled set but containing an uncountable $ω$-scrambled set. △ Less

Submitted 6 October, 2018; originally announced October 2018.

Quasi-graphs, zero entropy and measures with discrete spectrum

Authors: Jian Li, Piotr Oprocha, Guohua Zhang

Abstract: In this paper, we study dynamics of maps on quasi-graphs characterizing their invariant measures. In particular, we prove that every invariant measure of quasi-graph map with zero topological entropy has discrete spectrum. Additionally, we obtain an analog of Llibre-Misiurewicz's result relating positive topological entropy with existence of topological horseshoes. We also study dynamics on dend… ▽ More In this paper, we study dynamics of maps on quasi-graphs characterizing their invariant measures. In particular, we prove that every invariant measure of quasi-graph map with zero topological entropy has discrete spectrum. Additionally, we obtain an analog of Llibre-Misiurewicz's result relating positive topological entropy with existence of topological horseshoes. We also study dynamics on dendrites and show that if a continuous map on a dendrite, whose set of all endpoints is closed and has only finitely many accumulation points, has zero topological entropy, then every invariant measure supported on an orbit closure has discrete spectrum. △ Less

Submitted 26 January, 2021; v1 submitted 14 September, 2018; originally announced September 2018.

Comments: 20 pages, 2 figures; substantial revision; previous title "On dynamics of quasi-graph maps"

MSC Class: 37E25; 37B40; 37B05

Journal ref: Nonlinearity 35 (2022), no. 3, 1360-1379

On dynamics of graph maps with zero topological entropy

Authors: Jian Li, Piotr Oprocha, Yini Yang, Tiaoying Zeng

Abstract: We explore the dynamics of graph maps with zero topological entropy. It is shown that a continuous map $f$ on a topological graph $G$ has zero topological entropy if and only if it is locally mean equicontinuous, that is the dynamics on each orbit closure is mean equicontinuous. As an application, we show that Sarnak's Möbius Disjointness Conjecture is true for graph maps with zero topological ent… ▽ More We explore the dynamics of graph maps with zero topological entropy. It is shown that a continuous map $f$ on a topological graph $G$ has zero topological entropy if and only if it is locally mean equicontinuous, that is the dynamics on each orbit closure is mean equicontinuous. As an application, we show that Sarnak's Möbius Disjointness Conjecture is true for graph maps with zero topological entropy. We also extend several results known in interval dynamics to graph maps. We show that a graph map has zero topological entropy if and only if there is no $3$-scrambled tuple if and only if the proximal relation is an equivalence relation; a graph map has no scrambled pairs if and only if it is null if and only if it is tame. △ Less

Submitted 8 November, 2017; v1 submitted 3 November, 2017; originally announced November 2017.

Comments: 15 pages, updated version, add some references

MSC Class: 37E25; 37B40; 37B05

Journal ref: Nonlinearity 30 (2017): 4260--4276

Corrigendum to "Syndetically proximal pairs" [J. Math. Anal. Appl. 379 (2011) 656--663]

Authors: Jian Li, T. K. Subrahmonian Moothathu, Piotr Oprocha

Abstract: We give a counterexample to Theorem 9 in [T.K. Subrahmonian Moothathu, Syndetically proximal pairs, J. Math. Anal. Appl. 379 (2011) 656--663]. We also provide sufficient conditions for the conclusion of Theorem 9 to hold. We give a counterexample to Theorem 9 in [T.K. Subrahmonian Moothathu, Syndetically proximal pairs, J. Math. Anal. Appl. 379 (2011) 656--663]. We also provide sufficient conditions for the conclusion of Theorem 9 to hold. △ Less

Submitted 20 July, 2017; originally announced July 2017.

Comments: 4 pages

MSC Class: 37E05

Journal ref: J. Math. Anal. Appl. 459 (2018), no. 1, 614--617

Edrei's Conjecture revisited

Authors: Jan P. Boronski, Jiri Kupka, Piotr Oprocha

Abstract: Motivated by a recent result of Ciesielski and Jasinski we study periodic point free Cantor systems that are conjugate to systems with vanishing derivative everywhere, and more generally locally radially shrinking maps. Our study uncovers a whole spectrum of dynamical behaviors attainable for such systems, providing new counterexamples to the Conjecture of Edrei from 1952, first disproved by Willi… ▽ More Motivated by a recent result of Ciesielski and Jasinski we study periodic point free Cantor systems that are conjugate to systems with vanishing derivative everywhere, and more generally locally radially shrinking maps. Our study uncovers a whole spectrum of dynamical behaviors attainable for such systems, providing new counterexamples to the Conjecture of Edrei from 1952, first disproved by Williams in 1954. △ Less

Submitted 12 April, 2017; v1 submitted 6 March, 2017; originally announced March 2017.

Shadowing, asymptotic shadowing and s-limit shadowing

Authors: Chris Good, Piotr Oprocha, Mate Puljiz

Abstract: We study three notions of shadowing: classical shadowing, limit (or asymptotic) shadowing, and s-limit shadowing. We show that classical and s-limit shadowing coincide for tent maps and, more generally, for piecewise linear interval maps with constant slopes, and are further equivalent to the linking property introduced by Chen in 1991. We also construct a system which exhibits shadowing but not… ▽ More We study three notions of shadowing: classical shadowing, limit (or asymptotic) shadowing, and s-limit shadowing. We show that classical and s-limit shadowing coincide for tent maps and, more generally, for piecewise linear interval maps with constant slopes, and are further equivalent to the linking property introduced by Chen in 1991. We also construct a system which exhibits shadowing but not limit shadowing, and we study how shadowing properties transfer to maximal transitive subsystems and inverse limits (sometimes called natural extensions). Where practicable, we show that our results are best possible by means of examples. △ Less

Submitted 3 January, 2019; v1 submitted 19 January, 2017; originally announced January 2017.

Comments: 28 pages, 4 figures

MSC Class: 37E05 (Primary); 37C50; 37B10; 54H20; 26A18 (Secondary)

Journal ref: Fund. Math. 244 (2019), no. 3, 287-312

A compact minimal space $Y$ such that its square $Y\times Y$ is not minimal

Authors: J. P. Boronski, Alex Clark, P. Oprocha

Abstract: The following well known open problem is answered in the negative: Given two compact spaces $X$ and $Y$ that admit minimal homeomorphisms, must the Cartesian product $X\times Y$ admit a minimal homeomorphism as well? A key element of our construction is an inverse limit approach inspired by combination of a technique of Aarts & Oversteegen and the construction of Slovak spaces by Downarowicz & Sno… ▽ More The following well known open problem is answered in the negative: Given two compact spaces $X$ and $Y$ that admit minimal homeomorphisms, must the Cartesian product $X\times Y$ admit a minimal homeomorphism as well? A key element of our construction is an inverse limit approach inspired by combination of a technique of Aarts & Oversteegen and the construction of Slovak spaces by Downarowicz & Snoha & Tywoniuk. This approach allows us also to prove the following result. Let $φ\colon M\times\mathbb{R}\to M$ be a continuous, aperiodic minimal flow on the compact, finite--dimensional metric space $M$. Then there is a generic choice of parameters $c\in\mathbb{R}$, such that the homeomorphism $h(x)=φ(x,c)$ admits a noninvertible minimal map $f\colon M\to M$ as an almost 1-1 extension. △ Less

Submitted 15 December, 2017; v1 submitted 29 December, 2016; originally announced December 2016.

Comments: Theorem 3.6 is added, where it is shown that minimal spaces without minimal squares can appear as minimal sets of torus homeomorphisms homotopic to the identity

MSC Class: 37B05; 37B45

Properties of invariant measures in dynamical systems with the shadowing property

Authors: Jian Li, Piotr Oprocha

Abstract: For dynamical systems with the shadowing property, we provide a method of approximation of invariant measures by ergodic measures supported on odometers and their almost 1-1 extensions. For a topologically transitive system with the shadowing property, we show that ergodic measures supported on odometers are dense in the space of invariant measures, and then ergodic measures are generic in the spa… ▽ More For dynamical systems with the shadowing property, we provide a method of approximation of invariant measures by ergodic measures supported on odometers and their almost 1-1 extensions. For a topologically transitive system with the shadowing property, we show that ergodic measures supported on odometers are dense in the space of invariant measures, and then ergodic measures are generic in the space of invariant measures. We also show that for every $c\geq 0$ and $\varepsilon>0$ the collection of ergodic measures (supported on almost 1-1 extensions of odometers) with entropy between $c$ and $c + \varepsilon$ is dense in the space of invariant measures with entropy at least $c$. Moreover, if in addition the entropy function is upper semi-continuous, then for every $c\geq 0$ ergodic measures with entropy $c$ are generic in the space of invariant measures with entropy at least $c$. △ Less

Submitted 2 November, 2016; originally announced November 2016.

Comments: 32 pages, 2 figures. To appear in Erg. Th. & Dyn. Sys

MSC Class: 37B40; 37B05; 37C50

Journal ref: Ergodic Theory Dynam. Systems, 38 (2018), no. 6, 2257--2294

New exotic minimal sets from pseudo-suspensions of Cantor systems

Authors: J. P. Boroński, Alex Clark, P. Oprocha

Abstract: We develop a technique, pseudo-suspension, that applies to invariant sets of homeomorphisms of a class of annulus homeomorphisms we describe, Handel-Anosov-Katok (HAK) homeomorphisms, that generalize the homeomorphism first described by Handel. Given a HAK homeomorphism and a homeomorphism of the Cantor set, the pseudo-suspension yields a homeomorphism of a new space that admits a homeomorphism th… ▽ More We develop a technique, pseudo-suspension, that applies to invariant sets of homeomorphisms of a class of annulus homeomorphisms we describe, Handel-Anosov-Katok (HAK) homeomorphisms, that generalize the homeomorphism first described by Handel. Given a HAK homeomorphism and a homeomorphism of the Cantor set, the pseudo-suspension yields a homeomorphism of a new space that admits a homeomorphism that combines features of both of the original homeomorphisms. This allows us to answer a well known open question by providing examples of hereditarily indecomposable continua that admit homeomorphisms of intermediate complexity. Additionally, we show that such examples occur as minimal sets of volume preserving smooth diffeomorphisms of 4-dimensional manifolds. We also use our techniques to exhibit the first examples of minimal, uniformly rigid and weakly mixing homeomorphisms in dimension $1$, and these can also be realized as invariant sets of smooth diffeomorphisms of a 4-manifold. Until now the only known examples of spaces that admit minimal, uniformly rigid and weakly mixing homeomorphisms were modifications of those given by Glasner and Maon in dimension at least $2$. △ Less

Submitted 28 September, 2016; originally announced September 2016.

MSC Class: 37B40; 37B45; 37C70

Mixing completely scrambled system exists

Authors: Jan P. Boroński, Jiří Kupka, Piotr Oprocha

Abstract: We prove that there exists a topologically mixing homeomorphism which is completely scrambled. We also prove that for any integer $n\geq 1$ there is a continuum of topological dimension $n$ supporting a transitive completely scrambled homeomorphism, and $n$-dimensional compactum supporting a weakly mixing completely scrambled homeomorphism. This solves a 15 year old open problem. We prove that there exists a topologically mixing homeomorphism which is completely scrambled. We also prove that for any integer $n\geq 1$ there is a continuum of topological dimension $n$ supporting a transitive completely scrambled homeomorphism, and $n$-dimensional compactum supporting a weakly mixing completely scrambled homeomorphism. This solves a 15 year old open problem. △ Less

Submitted 27 January, 2017; v1 submitted 6 September, 2016; originally announced September 2016.

Comments: To appear in Ergodic Theory and Dynamical Systems

Generic Points for Dynamical Systems with Average Shadowing

Authors: Dominik Kwietniak, Martha Łącka, Piotr Oprocha

Abstract: It is proved that to every invariant measure of a compact dynamical system one can associate a certain asymptotic pseudo orbit such that any point asymptotically tracing in average that pseudo orbit is generic for the measure. It follows that the asymptotic average shadowing property implies that every invariant measure has a generic point. The proof is based on the properties of the Besicovitch p… ▽ More It is proved that to every invariant measure of a compact dynamical system one can associate a certain asymptotic pseudo orbit such that any point asymptotically tracing in average that pseudo orbit is generic for the measure. It follows that the asymptotic average shadowing property implies that every invariant measure has a generic point. The proof is based on the properties of the Besicovitch pseudometric DB which are of independent interest. It is proved among the other things that the set of generic points of ergodic measures is a closed set with respect to DB. It is also showed that the weak specification property implies the average asymptotic shadowing property thus the theory presented generalizes most known results on the existence of generic points for arbitrary invariant measures. △ Less

Submitted 9 October, 2016; v1 submitted 13 March, 2016; originally announced March 2016.

MSC Class: 37A05; 37B05; 37B10

On dynamics of the Sierpiński carpet

Authors: Jan P. Boroński, P. Oprocha

Abstract: We prove that the Sierpiński curve admits a homeomorphism with strong mixing properties. We also prove that the constructed example does not have Bowen's specification property. We prove that the Sierpiński curve admits a homeomorphism with strong mixing properties. We also prove that the constructed example does not have Bowen's specification property. △ Less

Submitted 28 November, 2017; v1 submitted 10 November, 2015; originally announced November 2015.

Comments: revised version

MSC Class: 37B45; 54F15; 54H50

On the irregular points for systems with the shadowing property

Authors: Yiwei Dong, Piotr Oprocha, Xueting Tian

Abstract: We prove that when $f$ is a continuous selfmap acting on compact metric space $(X,d)$ which satisfies the shadowing property, then the set of irregular points (i.e. points with divergent Birkhoff averages) has full entropy. Using this fact we prove that in the class of $C^0$-generic maps on manifolds, we can only observe (in the sense of Lebesgue measure) points with convergant Birkhoff averages… ▽ More We prove that when $f$ is a continuous selfmap acting on compact metric space $(X,d)$ which satisfies the shadowing property, then the set of irregular points (i.e. points with divergent Birkhoff averages) has full entropy. Using this fact we prove that in the class of $C^0$-generic maps on manifolds, we can only observe (in the sense of Lebesgue measure) points with convergant Birkhoff averages. In particular, the time average of atomic measures along orbit of such points converges to some SRB-like measure in the weak$^*$ topology. Moreover, such points carry zero entropy. In contrast, irregular points are non-observable but carry infinite entropy. △ Less

Submitted 5 February, 2017; v1 submitted 23 October, 2015; originally announced October 2015.

When all closed subsets are recurrent?

Authors: Jie Li, Piotr Oprocha, Xiangdong Ye, Ruifeng Zhang

Abstract: In the paper we study relations of rigidity, equicontinuity and pointwise recurrence between a t.d.s. $(X,T)$ and the t.d.s. $(K(X),T_K)$ induced on the hyperspace $K(X)$ of all compact subsets of $X$, and provide some characterizations. Among other examples, we construct a minimal, non-equicontinuous, distal and uniformly rigid t.d.s. and a t.d.s. which has dense small periodic sets but does no… ▽ More In the paper we study relations of rigidity, equicontinuity and pointwise recurrence between a t.d.s. $(X,T)$ and the t.d.s. $(K(X),T_K)$ induced on the hyperspace $K(X)$ of all compact subsets of $X$, and provide some characterizations. Among other examples, we construct a minimal, non-equicontinuous, distal and uniformly rigid t.d.s. and a t.d.s. which has dense small periodic sets but does not have dense distal points, solving that way open questions existing in the literature. △ Less

Submitted 30 April, 2015; originally announced April 2015.

Comments: 30 pages

MSC Class: 54B20; 54H20; 37B20; 37B40

A panorama of specification-like properties and their consequences

Authors: Dominik Kwietniak, Martha Łącka, Piotr Oprocha

Abstract: We offer an overview of the specification property, its relatives and their consequences. We examine relations between specification-like properties and such notions as: mixing, entropy, the structure of the simplex of invariant measures, and various types of the shadowing property. We pay special attention to these connections in the context of symbolic dynamics. We offer an overview of the specification property, its relatives and their consequences. We examine relations between specification-like properties and such notions as: mixing, entropy, the structure of the simplex of invariant measures, and various types of the shadowing property. We pay special attention to these connections in the context of symbolic dynamics. △ Less

Submitted 26 May, 2015; v1 submitted 25 March, 2015; originally announced March 2015.

Comments: 29 pages, 1 diagram, to appear in Contemporary Mathematics

MSC Class: 37B05 (primary); 37A35; 37B10; 37B40; 37D20 (secondary)

Mixing properties in coded systems

Authors: Jeremias Epperlein, Dominik Kwietniak, Piotr Oprocha

Abstract: We show that topological mixing, weak mixing and total transitivity are equivalent for coded systems. We provide an example of a mixing coded system which cannot be approximated by any increasing sequence of mixing shifts of finite type, has only periodic points of even period and each set of its generators consists of blocks of even length. We prove that such an example cannot be a synchronized s… ▽ More We show that topological mixing, weak mixing and total transitivity are equivalent for coded systems. We provide an example of a mixing coded system which cannot be approximated by any increasing sequence of mixing shifts of finite type, has only periodic points of even period and each set of its generators consists of blocks of even length. We prove that such an example cannot be a synchronized system. We also show that a mixing coded systems has the strong property $P$. △ Less

Submitted 10 March, 2015; originally announced March 2015.

MSC Class: 37B10; 37B20

Multi-recurrence and van der Waerden systems

Authors: Dominik Kwietniak, Jian Li, Piotr Oprocha, Xiangdong Ye

Abstract: We explore recurrence properties arising from dynamical approach to combinatorial problems like the van der Waerden Theorem. We describe relations between these properties, study their consequences for dynamics, and demonstrate connections to combinatorial problems. In particular, we present a measure-theoretical analog of a result of Glasner on multi-transitivity in topological weakly mixing mini… ▽ More We explore recurrence properties arising from dynamical approach to combinatorial problems like the van der Waerden Theorem. We describe relations between these properties, study their consequences for dynamics, and demonstrate connections to combinatorial problems. In particular, we present a measure-theoretical analog of a result of Glasner on multi-transitivity in topological weakly mixing minimal maps. We also obtain a dynamical proof of the existence of a C-set with zero Banach density. △ Less

Submitted 2 September, 2016; v1 submitted 7 January, 2015; originally announced January 2015.

Comments: 29 pages. Small changes during the proofing stage

MSC Class: 37B20; 37B05; 37A25; 05D10

Journal ref: Science China Mathematics, January 2017, Volume 60, Issue 1, pp 59-82

On entropy of dynamical systems with almost specification

Authors: Dominik Kwietniak, Piotr Oprocha, Michał Rams

Abstract: We construct a family of shift spaces with almost specification and multiple measures of maximal entropy. This answers a question from Climenhaga and Thompson [Israel J. Math. 192 (2012), no. 2, 785--817]. Elaborating on our examples we also prove that some sufficient conditions for every subshift factor of a shift space to be intrinsically ergodic given by Climenhaga and Thompson are in some sens… ▽ More We construct a family of shift spaces with almost specification and multiple measures of maximal entropy. This answers a question from Climenhaga and Thompson [Israel J. Math. 192 (2012), no. 2, 785--817]. Elaborating on our examples we also prove that some sufficient conditions for every subshift factor of a shift space to be intrinsically ergodic given by Climenhaga and Thompson are in some sense best possible, moreover, the weak specification property neither implies intrinsic ergodicity, nor follows from almost specification. We also construct a dynamical system with the weak specification property, which does not have the almost specification property. We prove that the minimal points are dense in the support of any invariant measure of a system with the almost specification property. Furthermore, if a system with almost specification has an invariant measure with non-trivial support, then it also has uniform positive entropy over the support of any invariant measure and can not be minimal. △ Less

Submitted 7 November, 2014; originally announced November 2014.

MSC Class: 37B40 (primary); 37A35; 37B05; 37D45 (secondary)

Invariant scrambled sets, uniform rigidity and weak mixing

Authors: Magdalena Foryś, Wen Huang, Jian Li, Piotr Oprocha

Abstract: We show that for a non-trivial transitive dynamical system, it has a dense Mycielski invariant strongly scrambled set if and only if it has a fixed point, and it has a dense Mycielski invariant $δ$-scrambled set for some $δ>0$ if and only if it has a fixed point and not uniformly rigid. We also provide two methods for the construction of completely scrambled systems which are weakly mixing, proxim… ▽ More We show that for a non-trivial transitive dynamical system, it has a dense Mycielski invariant strongly scrambled set if and only if it has a fixed point, and it has a dense Mycielski invariant $δ$-scrambled set for some $δ>0$ if and only if it has a fixed point and not uniformly rigid. We also provide two methods for the construction of completely scrambled systems which are weakly mixing, proximal and uniformly rigid. △ Less

Submitted 27 October, 2014; originally announced October 2014.

Comments: 17 pages, to appear in Israel Journal of Mathematics

MSC Class: 54H20; 37B05; 37B20

Journal ref: Israel J. Math., 211 (2016), no.1, 447--472

On "observable" Li-Yorke tuples for interval maps

Authors: Henk Bruin, Piotr Oprocha

Abstract: In this paper we study the set of Li-Yorke $d$-tuples and its $d$-dimensional Lebesgue measure for interval maps $T\colon [0,1] \to [0,1]$. If a topologically mixing $T$ preserves an absolutely continuous probability measure 9with respect to Lebesgue), then the $d$-tuples have Lebesgue full measure, but if $T$ preserves an infinite absolutely continuous measure, the situation becomes more interest… ▽ More In this paper we study the set of Li-Yorke $d$-tuples and its $d$-dimensional Lebesgue measure for interval maps $T\colon [0,1] \to [0,1]$. If a topologically mixing $T$ preserves an absolutely continuous probability measure 9with respect to Lebesgue), then the $d$-tuples have Lebesgue full measure, but if $T$ preserves an infinite absolutely continuous measure, the situation becomes more interesting. Taking the family of Manneville-Pomeau maps as example, we show that for any $d \ge 2$, it is possible that the set of Li-Yorke $d$-tuples has full Lebesgue measure, but the set of Li-Yorke $d+1$-tuples has zero Lebesgue measure. △ Less

Submitted 23 June, 2014; originally announced June 2014.

MSC Class: 37E05

On various definitions of shadowing with average error in tracing

Authors: Xinxing Wu, Piotr Oprocha, Guanrong Chen

Abstract: In this paper we present a systematic study of shadowing properties with average error in tracing such as (asymptotic) average shadowing, $\underline{d}$-shadowing, $\overline{d}$-shadowing and almost specification. As the main tools we provide a few equivalent characterizations of the average shadowing property, which also partly apply to other notions of shadowing. We prove that almost specifica… ▽ More In this paper we present a systematic study of shadowing properties with average error in tracing such as (asymptotic) average shadowing, $\underline{d}$-shadowing, $\overline{d}$-shadowing and almost specification. As the main tools we provide a few equivalent characterizations of the average shadowing property, which also partly apply to other notions of shadowing. We prove that almost specification on the whole space induces this property on the measure center. Next, we show that always (e.g. without assumption that the map is onto) almost specification implies asymptotic average shadowing, which in turn implies the average shadowing property and consequently also $\underline{d}$-shadowing and $\overline{d}$-shadowing. Finally, we study connections among sensitivity, transitivity, equicontinuity and (average) shadowing. △ Less

Submitted 23 June, 2014; originally announced June 2014.

MSC Class: 37B05

Periodic points and transitivity on dendrites

Authors: Gerardo Acosta, Rodrigo Hernández-Gutiérrez, Issam Naghmouchi, Piotr Oprocha

Abstract: We study relations between transitivity, mixing and periodic points on dendrites. We prove that when there is a point with dense orbit which is not an endpoint, then periodic points are dense and there is a terminal periodic decomposition (we provide an example of a dynamical system on a dendrite with dense endpoints satisfying this assumption). We also show that it may happen that all periodic po… ▽ More We study relations between transitivity, mixing and periodic points on dendrites. We prove that when there is a point with dense orbit which is not an endpoint, then periodic points are dense and there is a terminal periodic decomposition (we provide an example of a dynamical system on a dendrite with dense endpoints satisfying this assumption). We also show that it may happen that all periodic points except one (and points with dense orbit) are contained in the (dense) set of endpoints. It may also happen that dynamical system is transitive but there is a unique periodic point, which in fact is the unique fixed point. We also prove that on almost meshed-continua (a class of continua containing topological graphs and dendrites with closed or countable set of endpoints), periodic points are dense if and only if they are dense for the map induced on the hyperspace of all nonempty compact subsets. △ Less

Submitted 28 December, 2013; originally announced December 2013.

Comments: 21 pages, 2 figures

MSC Class: 37E99; 37B20; 37B45

Journal ref: Ergodic Theory Dyn. Syst. (2017), 37, 2017-2033

Shadowing property, weak mixing and regular recurrence

Authors: Jian Li, Piotr Oprocha

Abstract: We show that a non-wandering dynamical system with the shadowing property is either equicontinuous or has positive entropy and that in this context uniformly positive entropy is equivalent to weak mixing. We also show that weak mixing together with the shadowing property imply the specification property with a special kind of regularity in tracing (a weaker version of periodic specification proper… ▽ More We show that a non-wandering dynamical system with the shadowing property is either equicontinuous or has positive entropy and that in this context uniformly positive entropy is equivalent to weak mixing. We also show that weak mixing together with the shadowing property imply the specification property with a special kind of regularity in tracing (a weaker version of periodic specification property). This in turn implies that the set of ergodic measures supported on the closures of orbits of regularly recurrent points is dense in the space of all invariant measures (in particular, invariant measures in such a system form the Poulsen simplex, up to an affine homeomorphism). △ Less

Submitted 12 November, 2013; v1 submitted 3 November, 2013; originally announced November 2013.

Comments: 18 pages, minor changes, to appear in J. Dyn. Diff. Eq

MSC Class: 37B05; 37C50; 37B40

Journal ref: Journal of Dynamics and Differential Equations: Volume 25, Issue 4 (2013), Page 1233-1249

On almost specification and average shadowing properties

Authors: Marcin Kulczycki, Dominik Kwietniak, Piotr Oprocha

Abstract: In this paper we study relations between almost specification property, asymptotic average shadowing property and average shadowing property for dynamical systems on compact metric spaces. We show implications between these properties and relate them to other important notions such as shadowing, transitivity, invariant measures, etc. We provide examples that compactness is a necessary condition fo… ▽ More In this paper we study relations between almost specification property, asymptotic average shadowing property and average shadowing property for dynamical systems on compact metric spaces. We show implications between these properties and relate them to other important notions such as shadowing, transitivity, invariant measures, etc. We provide examples that compactness is a necessary condition for these implications to hold. As a consequence of our methodology we also obtain a proof that limit shadowing in chain transitive systems implies shadowing. △ Less

Submitted 29 June, 2013; originally announced July 2013.

Comments: 2 figures

MSC Class: 37B05 (primary); 34D05; 37D45 (secondary)

Journal ref: Fund. Math. 224 (2014), 241-278

Factor maps and invariant distributional chaos

Authors: Magdalena Foryś, Piotr Oprocha, Paweł Wilczyński

Abstract: The main aim of this article is to show that maps with specification property have invariant distributionally scrambled sets and that this kind of scrambled set can be transferred from factor to extension under finite-to-one factor maps. This solves some open questions in the literature of the topic. We also show how our method can be applied in practice, taking as example Poincaré map of time-p… ▽ More The main aim of this article is to show that maps with specification property have invariant distributionally scrambled sets and that this kind of scrambled set can be transferred from factor to extension under finite-to-one factor maps. This solves some open questions in the literature of the topic. We also show how our method can be applied in practice, taking as example Poincaré map of time-periodic nonautonomous planar differential equation $$ \dot{z}=v(t,z)=(1+e^{iκt}\abs{z}^2)\z^3 -N $$ where $κ$ and $N$ are sufficiently small positive real numbers. △ Less

Submitted 10 September, 2012; originally announced September 2012.

MSC Class: 37B05