Quasisymmetric orbit-flexibility of multicritical circle maps

Two given orbits of a minimal circle homeomorphism f are said to be geometrically equivalent if there exists a quasisymmetric circle homeomorphism identifying both orbits and commuting with f. By a well-known theorem due to Herman and Yoccoz, if f is a smooth diffeomorphism with Diophantine rotation number, then any two orbits are geometrically equivalent. It follows from the a priori bounds of Herman and Świątek, that the same holds if f is a critical circle map with rotation number of bounded type. By contrast, we prove in the present paper that if f is a critical circle map whose rotation number belongs to a certain full Lebesgue measure set in $(0,1)$ , then the number of equivalence classes is uncountable (Theorem 1.1). The proof of this result relies on the ergodicity of a two-dimensional skew product over the Gauss map. As a by-product of our techniques, we construct topological conjugacies between multicritical circle maps which are not quasisymmetric, and we show that this phenomenon is abundant, both from the topological and measure-theoretical viewpoints (Theorems 1.6 and 1.8).

A Note on the Conjugacy Between Two Critical Circle Maps

We study a conjugacy between two critical circle homeomorphisms with irrational rotation number. Let fi, i = 1, 2 be a C3 circle homeomorphisms with critical point x(i) cr of the order 2mi + 1. We prove that if 2m1 + 1 ̸= 2m2 + 1, then conjugating between f1 and f2 is a singular function. Keywords: circle homeomorphism, critical point, conjugating map, rotation number, singular function

The thermodynamic formalism and exponents of singularity of invariant measure of circle maps with a single break

Let $T \in C^{2+ \varepsilon} (S^{1} \setminus \{x_{b} \})$, $\varepsilon> 0 $, be a circle homeomorphism with one break point $x_{b}$, at which $ T'(x) $ has a discontinuity of the first kind and both one-sided derivatives at the point $x_{b} $ are strictly positive. Assume that the rotation number $\rho_{T}$ is irrational and its decomposition into a continued fraction beginning from a certain place coincides with the golden mean, i.e., $\rho_{T}=[m_{1}, m_{2}, \ldots, m_{l}, \, m_{l + 1}, \ldots] $, $ m_{s} = 1$, $s> l> 0$. Since the rotation number is irrational, the map $ T $ is strictly ergodic, that is, possesses a unique probability invariant measure $\mu_{T}$. A.A. Dzhalilov and K.M. Khanin proved that the probability invariant measure $ \mu_{G} $ of any circle homeomorphism $ G \in C^{2+ \varepsilon} (S^{1} \setminus \{x_{b} \})$, $\varepsilon> 0$, with one break point $ x_{b} $ and the irrational rotation number $ \rho_{G} $ is singular with respect to the Lebesgue measure $ \lambda $ on the circle, i.e., there is a measurable subset of $ A \subset S^{1} $ such that $ \mu_ {G} (A) = 1 $ and $ \lambda (A) = 0$. We will construct a thermodynamic formalism for homeomorphisms $ T_{b} \in C^{2+ \varepsilon} (S^{1} \setminus \{x_{b} \})$, $\varepsilon> 0 $, with one break at the point $ x_{b} $ and rotation number equal to the golden mean, i.e., $ \rho_{T}:= \frac {\sqrt{5} -1}{2} $. Using the constructed thermodynamic formalism, we study the exponents of singularity of the invariant measure $ \mu_{T} $ of homeomorphism $ T $.

Quasi-symmetric conjugacy for circle maps with a flat interval

In this paper we study quasi-symmetric conjugations of ${\mathcal{C}}^{2}$ weakly order-preserving circle maps with a flat interval. Under the assumption that the maps have the same rotation number of bounded type and that bounded geometry holds, we construct a quasi-symmetric conjugation between their non-wandering sets. Further, this conjugation is extended to a quasi-symmetric circle homeomorphism. Our proof techniques hinge on real-dynamic methods, allowing us to construct the conjugation under general and natural assumptions.

On some generalizations of skew-shifts on

In this paper we investigate maps of the two-torus $\mathbb{T}^{2}$ of the form $T(x,y)=(x+\unicode[STIX]{x1D714},g(x)+f(y))$ for Diophantine $\unicode[STIX]{x1D714}\in \mathbb{T}$ and for a class of maps $f,g:\mathbb{T}\rightarrow \mathbb{T}$, where each $g$ is strictly monotone and of degree 2 and each $f$ is an orientation-preserving circle homeomorphism. For our class of $f$ and $g$, we show that $T$ is minimal and has exactly two invariant and ergodic Borel probability measures. Moreover, these measures are supported on two $T$-invariant graphs. One of the graphs is a strange non-chaotic attractor whose basin of attraction consists of (Lebesgue) almost all points in $\mathbb{T}^{2}$. Only a low-regularity assumption (Lipschitz) is needed on the maps $f$ and $g$, and the results are robust with respect to Lipschitz-small perturbations of $f$ and $g$.

A circle diffeomorphism with breaks that is absolutely continuously linearizable

In this paper we answer positively to a question of whether it is possible for a circle diffeomorphism with breaks to be smoothly conjugate to a rigid rotation in the case where its breaks are lying on pairwise distinct trajectories. An example constructed is a piecewise linear circle homeomorphism that has four break points lying on distinct trajectories and whose invariant measure is absolutely continuous with respect to the Lebesgue measure. The irrational rotation number for our example can be chosen to be a Roth number, but not of bounded type.

Limit drift

We study the problem of the existence of wild attractors for critical circle coverings with Fibonacci dynamics. This is known to be related to the drift for the corresponding fixed points of renormalization. The fixed point depends only on the order of the critical point$\ell$and its drift is a number$\unicode[STIX]{x1D717}(\ell )$which is finite for each finite$\ell$. We show that the limit$\unicode[STIX]{x1D717}(\infty ):=\lim _{\ell \rightarrow \infty }\unicode[STIX]{x1D717}(\ell )$exists and is finite. The finiteness of the limit is in a sharp contrast with the case of Fibonacci unimodal maps. Furthermore,$\unicode[STIX]{x1D717}(\infty )$is expressed as a contour integral in terms of the limit of the fixed points of renormalization when$\ell \rightarrow \infty$. There is a certain paradox here, since this dynamical limit is a circle homeomorphism with the golden mean rotation number whose own drift is$\infty$for topological reasons.

ANALYSIS OF INTERSPIKE-INTERVALS FOR THE GENERAL CLASS OF INTEGRATE-AND-FIRE MODELS WITH PERIODIC DRIVE

We study one-dimensional integrate-and-fire models of the general type x˙ = F(t, x) and analyze properties of the firing map which iterations recover consecutive spike timings. We impose very week constraints for the regularity of the function F(t, x), e.g. often it suffices to assume that F is continuous. If additionally F is periodic in t, using mathematical study of the displacement sequence of an orientation preserving circle homeomorphism, we provide a detailed description of the regularity properties of the sequence of interspike-intervals and behaviour of the interspike-interval distribution.