Let $({\mathbb X}, T)$ be a subshift of finite type equipped with the Gibbs measure $\nu $ and let f be a real-valued Hölder continuous function on ${\mathbb X}$ such that $\nu (f) = 0$. Consider the Birkhoff sums $S_n f = \sum _{k=0}^{n-1} f \circ T^{k}$, $n\geqslant 1$. For any $t \in {\mathbb R}$, denote by $\tau _t^f$ the first time when the sum $t+ S_n f$ leaves the positive half-line for some $n\geqslant 1$. By analogy with the case of random walks with independent and identically distributed increments, we study the asymptotic as $ n\to \infty $ of the probabilities $ \nu (x\in {\mathbb X}: \tau _t^f(x)>n) $ and $ {\nu (x\in {\mathbb X}: \tau _t^f(x)=n) }$. We also establish integral and local-type limit theorems for the sum $t+ S_n f(x)$ conditioned on the set $\{ x \in {\mathbb X}: \tau _t^f(x)>n \}.$

For a $C^1$ non-conformal repeller, this paper proves that there exists an ergodic measure of full Carathéodory singular dimension. For an average conformal hyperbolic set of a $C^1$ diffeomorphism, this paper constructs a Borel probability measure (with support strictly inside the repeller) of full Hausdorff dimension. If the average conformal hyperbolic set is of a $C^{1+\alpha }$ diffeomorphism, this paper shows that there exists an ergodic measure of maximal dimension.

We study local biholomorphisms with finite orbits in some neighborhood of the origin since they are intimately related to holomorphic foliations with closed leaves. We describe the structure of the set of periodic points in dimension 2. As a consequence we show that given a finite-orbits local biholomorphism F, in dimension 2, there exists an analytic curve passing through the origin and contained in the fixed-point set of some non-trivial iterate of $F.$ As an application we obtain that at least one eigenvalue of the linear part of F at the origin is a root of unity. Moreover, we show that such a result is sharp by exhibiting examples of finite-orbits local biholomorphisms such that exactly one of the eigenvalues is a root of unity. These examples are subtle since we show they cannot be embedded in one-parameter groups.

We show that a fibre-preserving self-diffeomorphism which has hyperbolic splittings along the fibres on a compact principal torus bundle is topologically conjugate to a map that is linear in the fibres.

We introduce a notion of sensitivity with respect to a continuous real-valued bounded map which provides a sufficient condition for a continuous transformation, acting on a Baire metric space, to exhibit a Baire generic subset of points with historic behavior (also known as irregular points). The applications of this criterion recover, and extend, several known theorems on the genericity of the irregular set, in addition to yielding a number of new results, including information on the irregular set of geodesic flows, in both negative and non-positive curvature, and semigroup actions.

In this paper, the turnpike property is established for a nonconvex optimal control problem in discrete time. The functional is defined by the notion of the ideal convergence and can be considered as an analogue of the terminal functional defined over infinite-time horizon. The turnpike property states that every optimal solution converges to some unique optimal stationary point in the sense of ideal convergence if the ideal is invariant under translations. This kind of convergence generalizes, for example, statistical convergence and convergence with respect to logarithmic density zero sets.

The manifold M is a Riemannian, boundaryless, and compact manifold with $\dim M\geq 2$, and f is a $C^{1+\beta }$ ($\kern0.3pt\beta>0$) diffeomorphism of M. $\varphi $ is a Hölder continuous potential on M. We construct an invariant and absolutely continuous family of measures (with transformation relations defined by $\varphi $), which sit on local unstable leaves. We present two main applications. First, given an ergodic homoclinic class $H_\chi (p)$, we prove that $\varphi $ admits a local equilibrium state on $H_\chi (p)$ if and only if $\varphi $ is ‘recurrent on $H_\chi (p)$’ (a condition tested by counting periodic points), and one of the leaf measures gives a positive measure to a set of positively recurrent hyperbolic points; and if an equilibrium measure exists, the said invariant and absolutely continuous family of measures constitute as its conditional measures. An immediate corollary is the local product structure of hyperbolic equilibrium states. Second, we prove a Ledrappier–Young property for hyperbolic equilibrium states: if $\varphi $ admits a conformal family of leaf measures and a hyperbolic local equilibrium state, then the leaf measures of the invariant family (respective to $\varphi $) are equivalent to the conformal measures (on a full measure set). This extends the celebrated result by Ledrappier and Young for hyperbolic Sinai–Ruelle–Bowen measures, which states that a hyperbolic equilibrium state of the geometric potential (with pressure zero) has conditional measures on local unstable leaves which are absolutely continuous with respect to the Riemannian volume of these leaves.

We discuss a metric description of the divergence of a (projectively) Anosov flow in dimension 3, in terms of its associated expansion rates and give metric and contact geometric characterizations of when a projectively Anosov flow is Anosov. We then study the symmetries that the existence of an invariant volume form yields on the geometry of an Anosov flow, from various viewpoints of the theory of contact hyperbolas, Reeb dynamics, and Liouville geometry, and give characterizations of when an Anosov flow is volume preserving, in terms of those theories. We finally use our study to show that the bi-contact surgery operations of Salmoiraghi [Surgery on Anosov flows using bi-contact geometry. Preprint, 2021, arXiv:2104.07109; and Goodman surgery and projectively Anosov flows. Preprint, 2022, arXiv:2202.01328] can be applied in an arbitrary small neighborhood of a periodic orbit of any Anosov flow. In particular, we conclude that the Goodman surgery of Anosov flows can be performed using the bi-contact surgery operations of Salmoiraghi [Goodman surgery and projectively Anosov flows. Preprint, 2022, arXiv:2202.01328].

Let $k\geq 2$ and $(X_{i}, \mathcal {T}_{i}), i=1,\ldots ,k$, be $\mathbb {Z}^{d}$-actions topological dynamical systems with $\mathcal {T}_i:=\{T_i^{\textbf {g}}:X_i{\rightarrow } X_i\}_{\textbf {g}\in \mathbb {Z}^{d}}$, where $d\in \mathbb {N}$ and $f\in C(X_{1})$. Assume that for each $1\leq i\leq k-1$, $(X_{i+1}, \mathcal {T}_{i+1})$ is a factor of $(X_{i}, \mathcal {T}_{i})$. In this paper, we introduce the weighted topological pressure $P^{\textbf {a}}(\mathcal {T}_{1},f)$ and weighted measure-theoretic entropy $h_{\mu }^{\textbf {a}}(\mathcal {T}_{1})$ for $\mathbb {Z}^{d}$-actions, and establish a weighted variational principle as

$$ \begin{align*} P^{\textbf{a}}(\mathcal{T}_{1},f)=\sup\bigg\{h_{\mu}^{\textbf{a}}(\mathcal{T}_{1})+\int_{X_{1}}f\,d\mu:\mu\in\mathcal{M}(X_{1}, \mathcal{T}_{1})\bigg\}. \end{align*} $$

This result not only generalizes some well-known variational principles about topological pressure for compact or non-compact sets, but also improves the variational principle for weighted topological pressure in [16] from $\mathbb {Z}_{+}$-action topological dynamical systems to $\mathbb {Z}^{d}$-actions topological dynamical systems.

For a pseudo-Anosov flow $\varphi $ without perfect fits on a closed $3$-manifold, Agol–Guéritaud produce a veering triangulation $\tau $ on the manifold M obtained by deleting the singular orbits of $\varphi $. We show that $\tau $ can be realized in M so that its 2-skeleton is positively transverse to $\varphi $, and that the combinatorially defined flow graph $\Phi $ embedded in M uniformly codes the orbits of $\varphi $ in a precise sense. Together with these facts, we use a modified version of the veering polynomial, previously introduced by the authors, to compute the growth rates of the closed orbits of $\varphi $ after cutting M along certain transverse surfaces, thereby generalizing the work of McMullen in the fibered setting. These results are new even in the case where the transverse surface represents a class in the boundary of a fibered cone of M. Our work can be used to study the flow $\varphi $ on the original closed manifold. Applications include counting growth rates of closed orbits after cutting along closed transverse surfaces, defining a continuous, convex entropy function on the ‘positive’ cone in $H^1$ of the cut-open manifold, and answering a question of Leininger about the closure of the set of all stretch factors arising as monodromies within a single fibered cone of a $3$-manifold. This last application connects to the study of endperiodic automorphisms of infinite-type surfaces and the growth rates of their periodic points.

We find generalized conformal measures and equilibrium states for random dynamics generated by Ruelle expanding maps, under which the dynamics exhibits exponential decay of correlations. This extends results by Baladi [Correlation spectrum of quenched and annealed equilibrium states for random expanding maps. Comm. Math. Phys. 186 (1997), 671–700] and Carvalho et al [Semigroup actions of expanding maps. J. Stat. Phys. 116(1) (2017), 114–136], where the randomness is driven by an independent and identically distributed process and the phase space is assumed to be compact. We give applications in the context of weighted non-autonomous iterated function systems, free semigroup actions and introduce a boundary of equilibria for not necessarily free semigroup actions.

We derive upper and lower bounds for the Assouad and lower dimensions of self-affine measures in $\mathbb {R}^d$ generated by diagonal matrices and satisfying suitable separation conditions. The upper and lower bounds always coincide for $d=2,3$, yielding precise explicit formulae for those dimensions. Moreover, there are easy-to-check conditions guaranteeing that the bounds coincide for $d \geqslant 4$. An interesting consequence of our results is that there can be a ‘dimension gap’ for such self-affine constructions, even in the plane. That is, we show that for some self-affine carpets of ‘Barański type’ the Assouad dimension of all associated self-affine measures strictly exceeds the Assouad dimension of the carpet by some fixed $\delta>0$ depending only on the carpet. We also provide examples of self-affine carpets of ‘Barański type’ where there is no dimension gap and in fact the Assouad dimension of the carpet is equal to the Assouad dimension of a carefully chosen self-affine measure.

We construct one-dimensional foliations which are subfoliations of two-dimensional foliations in $3$ -manifolds. The subfoliation is by quasigeodesics in each two-dimensional leaf, but it is not funnel: not all quasigeodesics share a common ideal point in most leaves.

We obtain conditions of uniform continuity for endomorphisms of free-abelian times free groups for the product metric defined by taking the prefix metric in each component and establish an equivalence between uniform continuity for this metric and the preservation of a coarse-median, a concept recently introduced by Fioravanti. Considering the extension of an endomorphism to the completion, we count the number of orbits for the action of the subgroup of fixed points (respectively periodic) points on the set of infinite fixed (respectively periodic) points. Finally, we study the dynamics of infinite points: for automorphisms and some endomorphisms, defined in a precise way, fitting a classification given by Delgado and Ventura, we prove that every infinite point is either periodic or wandering, which implies that the dynamics is asymptotically periodic.

For the family of double standard maps $f_{a,b}=2x+a+({b}/{\pi }) \sin 2\pi x \pmod {1}$ we investigate the structure of the space of parameters a when $b=1$ and when $b\in [0,1)$. In the first case the maps have a critical point, but for a set of parameters $E_1$ of positive Lebesgue measure there is an invariant absolutely continuous measure for $f_{a,1}$. In the second case there is an open non-empty set $E_b$ of parameters for which the map $f_{a,b}$ is expanding. We show that as $b\nearrow 1$, the set $E_b$ accumulates on many points of $E_1$ in a regular way from the measure point of view.

This is the first paper in a two-part series containing some results on dimension estimates for $C^1$ iterated function systems and repellers. In this part, we prove that the upper box-counting dimension of the attractor of any $C^1$ iterated function system (IFS) on ${\Bbb R}^d$ is bounded above by its singularity dimension, and the upper packing dimension of any ergodic invariant measure associated with this IFS is bounded above by its Lyapunov dimension. Similar results are obtained for the repellers for $C^1$ expanding maps on Riemannian manifolds.

We present several applications of the weak specification property and certain topological Markov properties, recently introduced by Barbieri, García-Ramos, and Li [Markovian properties of continuous group actions: algebraic actions, entropy and the homoclinic group. Adv. Math. 397 (2022), 52], and implied by the pseudo-orbit tracing property, for general expansive group actions on compact spaces. First we show that any expansive action of a countable amenable group on a compact metrizable space satisfying the weak specification and strong topological Markov properties satisfies the Moore property, that is, every surjective endomorphism of such dynamical system is pre-injective. This together with an earlier result of Li (where the strong topological Markov property is not needed) of the Myhill property [Garden of Eden and specification. Ergod. Th. & Dynam. Sys. 39 (2019), 3075–3088], which we also re-prove here, establishes the Garden of Eden theorem for all expansive actions of countable amenable groups on compact metrizable spaces satisfying the weak specification and strong topological Markov properties. We hint how to easily generalize this result even for uncountable amenable groups and general compact, not necessarily metrizable, spaces. Second, we generalize the recent result of Cohen [The large scale geometry of strongly aperiodic subshifts of finite type. Adv. Math. 308 (2017), 599–626] that any subshift of finite type of a finitely generated group having at least two ends has weakly periodic points. We show that every expansive action of such a group having a certain Markov topological property, again implied by the pseudo-orbit tracing property, has a weakly periodic point. If it has additionally the weak specification property, the set of such points is dense.

For any self-similar measure $\mu $ in $\mathbb {R}$ , we show that the distribution of $\mu $ is controlled by products of non-negative matrices governed by a finite or countable graph depending only on the iterated function system of similarities (IFS). This generalizes the net interval construction of Feng from the equicontractive finite-type case. When the measure satisfies the weak separation condition, we prove that this directed graph has a unique attractor. This allows us to verify the multifractal formalism for restrictions of $\mu $ to certain compact subsets of $\mathbb {R}$ , determined by the directed graph. When the measure satisfies the generalized finite-type condition with respect to an open interval, the directed graph is finite and we prove that if the multifractal formalism fails at some $q\in \mathbb {R}$ , there must be a cycle with no vertices in the attractor. As a direct application, we verify the complete multifractal formalism for an uncountable family of IFSs with exact overlaps and without logarithmically commensurable contraction ratios.

In 1991, Chicone and Jacobs showed the equivalence between the computation of the first-order Taylor developments of the Lyapunov constants and the developments of the first Melnikov function near a non-degenerate monodromic equilibrium point, in the study of limit cycles of small-amplitude bifurcating from a quadratic centre. We show that their proof is also valid for polynomial vector fields of any degree. This equivalence is used to provide a new lower bound for the local cyclicity of degree six polynomial vector fields, so $\mathcal {M}(6) \geq 44$. Moreover, we extend this equivalence to the piecewise polynomial class. Finally, we prove that $\mathcal {M}^{c}_{p}(4) \geq 43$ and $\mathcal {M}^{c}_{p}(5) \geq 65.$