Showing 1–38 of 38 results for author: Baladi, V

Thermodynamic formalism for piecewise expanding maps in finite dimension

Authors: Viviane Baladi, Roberto Castorrini

Abstract: We study weighted transfer operators associated to a piecewise expanding map on a compact manifold, and a piecewise Holder weight, acting on Sobolev spaces. We bound the essential spectral radius in terms of a topological pressure for a subadditive potential. Under a new small boundary pressure condition, we improve the estimate by establishing a variational principle for piecewise expanding maps… ▽ More We study weighted transfer operators associated to a piecewise expanding map on a compact manifold, and a piecewise Holder weight, acting on Sobolev spaces. We bound the essential spectral radius in terms of a topological pressure for a subadditive potential. Under a new small boundary pressure condition, we improve the estimate by establishing a variational principle for piecewise expanding maps and subadditive potentials. Version v2 is the electronic copy of the version to appear in DCDS △ Less

Submitted 3 March, 2024; v1 submitted 12 April, 2023; originally announced April 2023.

Comments: Version v2 is the electronic copy of the version to appear in DCDS

MSC Class: 37C30; 37C83

Journal ref: DCDS, Vol 44, Issue 8: 2169-2192 (2024)

A parameter ASIP for the quadratic family

Authors: Magnus Aspenberg, Viviane Baladi, Tomas Persson

Abstract: Consider the quadratic family $T_a(x) = a x (1 - x)$, for $x \in [0, 1]$ and mixing Collet--Eckmann (CE) parameters $a \in (2,4)$. For bounded $\varphi$, set $\tilde \varphi_{a} := \varphi - \int \varphi \, dμ_a$, with $μ_a$ the unique acim of $T_a$, and put $(σ_a (\varphi))^2 := \int \tilde \varphi_{a}^2 \, dμ_a + 2 \sum_{i>0} \int \tilde \varphi_{a} (\tilde \varphi_{a} \circ T^i_{a}) \, dμ_a$. F… ▽ More Consider the quadratic family $T_a(x) = a x (1 - x)$, for $x \in [0, 1]$ and mixing Collet--Eckmann (CE) parameters $a \in (2,4)$. For bounded $\varphi$, set $\tilde \varphi_{a} := \varphi - \int \varphi \, dμ_a$, with $μ_a$ the unique acim of $T_a$, and put $(σ_a (\varphi))^2 := \int \tilde \varphi_{a}^2 \, dμ_a + 2 \sum_{i>0} \int \tilde \varphi_{a} (\tilde \varphi_{a} \circ T^i_{a}) \, dμ_a$. For any transversal mixing Misiurewicz parameter $a_*$, we find a positive measure set $Ω_*$ of mixing CE parameters, containing $a_*$ as a Lebesgue density point, such that for any Hölder $\varphi$ with $σ_{a_*}(\varphi)\ne 0$, there exists $ε_\varphi >0$ such that, for normalised Lebesgue measure on $Ω_*\cap [a_*-ε_\varphi, a_*+ε_\varphi]$, the functions $ξ_i(a)=\tilde \varphi_a(T_a^{i+1}(1/2))/σ_a (\varphi)$ satisfy an almost sure invariance principle (ASIP) for any error exponent $γ>2/5$. (In particular, the Birkhoff sums satisfy this ASIP.) Our argument goes along the lines of Schnellmann's proof for piecewise expanding maps. We need to introduce a variant of Benedicks-Carleson parameter exclusion and to exploit fractional response and uniform exponential decay of correlations from a previous work of Baladi, Benedicks, and Schnellmann. △ Less

Submitted 4 June, 2024; v1 submitted 23 December, 2022; originally announced December 2022.

Comments: Version v2 is the electronic copy of the version to appear in ETDS

MSC Class: 37A10; 37A50; 37E05; 60F17

Journal ref: Ergod. Th. Dynam. Sys. 45 (2025) 663-703

Measure of maximal entropy for finite horizon Sinai billiard flows

Authors: Viviane Baladi, Jérôme Carrand, Mark Demers

Abstract: Using recent work of Carrand on equilibrium states for the billiard map, and bootstrapping via a "leapfrogging" method from a previous article of Baladi and Demers, we construct the unique measure of maximal entropy for two-dimensional finite horizon Sinai (dispersive) billiard flows (and show it is Bernoulli), assuming that the topological entropy of the flow is strictly larger than s_0 log 2 whe… ▽ More Using recent work of Carrand on equilibrium states for the billiard map, and bootstrapping via a "leapfrogging" method from a previous article of Baladi and Demers, we construct the unique measure of maximal entropy for two-dimensional finite horizon Sinai (dispersive) billiard flows (and show it is Bernoulli), assuming that the topological entropy of the flow is strictly larger than s_0 log 2 where 0<s_0<1 quantifies the recurrence to singularities. This bound holds in many examples (it is expected to hold generically). △ Less

Submitted 24 January, 2024; v1 submitted 2 September, 2022; originally announced September 2022.

Comments: Version v2 is the electronic copy of the version to appear in Ann. H. Lebesgue

MSC Class: Subjects: 37C83 (Primary) 37D35; 37C30; 37D40; 37B40 (Secondary)

Journal ref: Ann. H. Lebesgue 7 (2024) 727-747

Thermodynamic formalism for dispersing billiards

Authors: Viviane Baladi, Mark Demers

Abstract: For any finite horizon Sinai billiard map T on the two-torus, we find t_*>1 such that for each t in (0,t_*) there exists a unique equilibrium state $μ_t$ for $- t\log J^uT$, and $μ_t$ is T-adapted. (In particular, the SRB measure is the unique equilibrium state for $- \log J^uT$.) We show that $μ_t$ is exponentially mixing for Holder observables, and the pressure function… ▽ More For any finite horizon Sinai billiard map T on the two-torus, we find t_*>1 such that for each t in (0,t_*) there exists a unique equilibrium state $μ_t$ for $- t\log J^uT$, and $μ_t$ is T-adapted. (In particular, the SRB measure is the unique equilibrium state for $- \log J^uT$.) We show that $μ_t$ is exponentially mixing for Holder observables, and the pressure function $P(t)=\sup_μ\{h_μ-\int t\log J^uT d μ\}$ is analytic on (0,t_*). In addition, P(t) is strictly convex if and only if $\log J^uT$ is not $μ_t$ a.e. cohomologous to a constant, while, if there exist $t_a\ne t_b$ with $μ_{t_a}= μ_{t_b}$, then P(t) is affine on (0,t_*). An additional sparse recurrence condition gives $\lim_{t\to 0} P(t)=P(0)$. △ Less

Submitted 31 August, 2022; v1 submitted 23 September, 2020; originally announced September 2020.

Comments: Version v3 is the electronic copy of the published version in Journal of Modern Dynamics

MSC Class: 37C83 (Primary) 37D35; 37C30; 37A25; 46E35 (Secondary)

Journal ref: Journal of Modern Dynamics, vol 18, pp. 415-493 (2022)

Fractional susceptibility functions for the quadratic family: Misiurewicz-Thurston parameters

Authors: Viviane Baladi, Daniel Smania

Abstract: For the quadratic family, we define the two-variable ($η$ and $z$) fractional susceptibility function associated to a C^1 observable at a stochastic map. We also define an approximate, "frozen" fractional susceptibility function. If the parameter is Misiurewicz-Thurston, we show that the frozen susceptibility function has a pole at $z=1$ for generic observables if a "one-half" transversality condi… ▽ More For the quadratic family, we define the two-variable ($η$ and $z$) fractional susceptibility function associated to a C^1 observable at a stochastic map. We also define an approximate, "frozen" fractional susceptibility function. If the parameter is Misiurewicz-Thurston, we show that the frozen susceptibility function has a pole at $z=1$ for generic observables if a "one-half" transversality condition holds. We introduce "Whitney" fractional integrals and derivatives on suitable sets $Ω$. We formulate conjectures supported by our results on the frozen susceptibility function and numerical experiments. In particular, we expect that the fractional susceptibility function for $η=1/2$ is singular at $z=1$ for Collet-Eckmann maps and generic observables. We view this work as a step towards the resolution of the paradox that the classical susceptibility function is holomorphic at $z=1$ for Misiurewicz-Thurston maps, despite lack of linear response. △ Less

Submitted 24 November, 2023; v1 submitted 4 August, 2020; originally announced August 2020.

Comments: Versions v3-v4 contain the electronic copy of the published version in Comm Math Phys. 4 figures. Version v4 includes a 3-page long supplementary note

MSC Class: 37C30; 37C40; 37E05; 37A10

Journal ref: Communications in Mathematical Physics, Vol 385, pp 1957-2007 (2021)

On the fractional susceptibility function of piecewise expanding maps

Authors: M. Aspenberg, V. Baladi, J. Leppänen, T. Persson

Abstract: We associate to a perturbation $(f_t)$ of a (stably mixing) piecewise expanding unimodal map $f_0$ a two-variable fractional susceptibility function $Ψ_φ(η, z)$, depending also on a bounded observable $φ$. For fixed $η\in (0,1)$, we show that the function $Ψ_φ(η, z)$ is holomorphic in a disc $D_η\subset \mathbb{C}$ centered at zero of radius $>1$, and that $Ψ_φ(η, 1)$ is the Marchaud fractional de… ▽ More We associate to a perturbation $(f_t)$ of a (stably mixing) piecewise expanding unimodal map $f_0$ a two-variable fractional susceptibility function $Ψ_φ(η, z)$, depending also on a bounded observable $φ$. For fixed $η\in (0,1)$, we show that the function $Ψ_φ(η, z)$ is holomorphic in a disc $D_η\subset \mathbb{C}$ centered at zero of radius $>1$, and that $Ψ_φ(η, 1)$ is the Marchaud fractional derivative of order $η$ of the function $t\mapsto \mathcal{R}_φ(t):=\int φ(x)\, dμ_t$, at $t=0$, where $μ_t$ is the unique absolutely continuous invariant probability measure of $f_t$. In addition, we show that $Ψ_φ(η, z)$ admits a holomorphic extension to the domain $\{ (η, z) \in {\mathbb{C}}^2\mid 0<\Re η<1, \, z \in D_η\}$. Finally, if the perturbation $(f_t)$ is horizontal, we prove that $\lim_{η\to 1}Ψ_φ(η, 1)=\partial_t \mathcal{R}_φ(t)|_{t=0}$. △ Less

Submitted 17 August, 2022; v1 submitted 1 October, 2019; originally announced October 2019.

Comments: Version v2 is the electronic copy of the version published in DCDS

MSC Class: 37C30; 37C40; 37E05; 37A10

Journal ref: Discrete and Continuous Dynamical Systems 42 (2022) 679-706

There are no deviations for the ergodic averages of the Giulietti-Liverani horocycle flows on the two-torus

Authors: Viviane Baladi

Abstract: We show that the ergodic averages for the horocycle flow on the two-torus associated by Giulietti and Liverani to an Anosov diffeomorphism either grow linearly or are bounded, in other words there are no deviations. For this, we use topological invariance of the Artin-Mazur zeta function to exclude resonances outside of the open unit disc. Transfer operators acting on suitable spaces of anisotropi… ▽ More We show that the ergodic averages for the horocycle flow on the two-torus associated by Giulietti and Liverani to an Anosov diffeomorphism either grow linearly or are bounded, in other words there are no deviations. For this, we use topological invariance of the Artin-Mazur zeta function to exclude resonances outside of the open unit disc. Transfer operators acting on suitable spaces of anisotropic distributions and their Ruelle determinants are the key tools in the proof. As a bonus, we show that for any smooth Anosov diffeomorphism F on the two-torus, the correlations for the measure of maximal entropy and smooth observables decay with a rate strictly smaller than exp(-h_top(F)). We compare our results with related work of Forni. △ Less

Submitted 15 December, 2020; v1 submitted 8 July, 2019; originally announced July 2019.

Comments: Version v2 is the electronic copy of the version to appear ETDS. It contains the new reference to arXiv:2012.07481 by J. Carrand

MSC Class: 37D20 37C30 37A20 37A25

Journal ref: Ergodic Theory and Dynamical Systems (2021)

Horocycle averages on closed manifolds and transfer operators

Authors: Alexander Adam, Viviane Baladi

Abstract: We adapt to $C^r$ Anosov flows on compact manifolds a construction for $C^r$ discrete-time hyperbolic dynamics ($r>1$), obtaining anisotropic Banach or Hilbert spaces on which the resolvent of the generator of weighted transfer operators for the flow is quasi-compact. We apply this to study the ergodic integrals of the horocycle flows $h_ρ$ of $C^r$ codimension one mixing Anosov flows. In dimensio… ▽ More We adapt to $C^r$ Anosov flows on compact manifolds a construction for $C^r$ discrete-time hyperbolic dynamics ($r>1$), obtaining anisotropic Banach or Hilbert spaces on which the resolvent of the generator of weighted transfer operators for the flow is quasi-compact. We apply this to study the ergodic integrals of the horocycle flows $h_ρ$ of $C^r$ codimension one mixing Anosov flows. In dimension three, for any suitably bunched $C^3$ contact Anosov flow with orientable strong-stable distribution, we establish power-law convergence of the ergodic average. We thereby implement the program of Giulietti-Liverani in the "real-life setting" of geodesic flows in variable negative curvature, where nontrivial resonances exist. △ Less

Submitted 22 November, 2022; v1 submitted 11 September, 2018; originally announced September 2018.

Comments: Version v4 is the electronic copy of the published version in Tunisian J Math

MSC Class: Primary 37C30; Secondary 37C20; 37D20

Journal ref: Tunisian J. Math. 4 (2022) 387-441

On the Measure of Maximal Entropy for Finite Horizon Sinai Billiard Maps

Authors: Viviane Baladi, Mark Demers

Abstract: The Sinai billiard map $T$ on the two-torus, i.e., the periodic Lorentz gas, is a discontinuous map. Assuming finite horizon, we propose a definition $h_*$ for the topological entropy of $T$. We prove that $h_*$ is not smaller than the value given by the variational principle, and that it is equal to the definitions of Bowen using spanning or separating sets. Under a mild condition of sparse recur… ▽ More The Sinai billiard map $T$ on the two-torus, i.e., the periodic Lorentz gas, is a discontinuous map. Assuming finite horizon, we propose a definition $h_*$ for the topological entropy of $T$. We prove that $h_*$ is not smaller than the value given by the variational principle, and that it is equal to the definitions of Bowen using spanning or separating sets. Under a mild condition of sparse recurrence to the singularities, we get more: First, using a transfer operator acting on a space of anisotropic distributions, we construct an invariant probability measure $μ_*$ of maximal entropy for $T$ (i.e., $h_{μ_*}(T)=h_*$), we show that $μ_*$ has full support and is Bernoulli, and we prove that $μ_*$ is the unique measure of maximal entropy, and that it is different from the smooth invariant measure except if all non grazing periodic orbits have multiplier equal to $h_*$. Second, $h_*$ is equal to the Bowen--Pesin--Pitskel topological entropy of the restriction of $T$ to a non-compact domain of continuity. Last, applying results of Lima and Matheus, as upgraded by Buzzi, the map $T$ has at least $C e^{nh_*}$ periodic points of period $n$ for all large enough $n \in \mathbb{N}$. △ Less

Submitted 15 November, 2023; v1 submitted 6 July, 2018; originally announced July 2018.

Comments: 69 +1 pages, 3 Figures. Version v3 is the electronic copy of the published version. v4 contains a supplement describing minor typos

MSC Class: 37D50 (Primary) 37C30; 37B40; 37A25; 46E35; 47B38 (Secondary)

Journal ref: Journal of the American Mathematical Society, 2020

Characteristic functions as bounded multipliers on anisotropic spaces

Authors: Viviane Baladi

Abstract: We show that characteristic functions of domains with boundaries transversal to stable cones are bounded multipliers on a recently introduced scale $U^{t,s}_p$ of anisotropic Banach spaces, under the conditions -1+1/p<s<-t<0 and -(r-1)+t<s, with 1<p<infty. (Amended after comments from the referee and M. Jézéquel, January 10, 2018) We show that characteristic functions of domains with boundaries transversal to stable cones are bounded multipliers on a recently introduced scale $U^{t,s}_p$ of anisotropic Banach spaces, under the conditions -1+1/p<s<-t<0 and -(r-1)+t<s, with 1<p<infty. (Amended after comments from the referee and M. Jézéquel, January 10, 2018) △ Less

Submitted 11 January, 2018; v1 submitted 1 April, 2017; originally announced April 2017.

Comments: Amended after comments from the referee and M. Jézéquel, January 10, 2018

MSC Class: Primary: 37C30; Secondary: 37D20; 37D50; 46F10

The quest for the ultimate anisotropic Banach space

Authors: Viviane Baladi

Abstract: We present a new scale $U^{t,s}_p$ (with $s<-t<0$ and $1 \le p <\infty$) of anisotropic Banach spaces, defined via Paley-Littlewood, on which the transfer operator associated to a hyperbolic dynamical system has good spectral properties. When $p=1$ and $t$ is an integer, the spaces are analogous to the "geometric" spaces considered by Gouëzel and Liverani. When $p>1$ and $-1+1/p<s<-t<0<t<1/p$, the… ▽ More We present a new scale $U^{t,s}_p$ (with $s<-t<0$ and $1 \le p <\infty$) of anisotropic Banach spaces, defined via Paley-Littlewood, on which the transfer operator associated to a hyperbolic dynamical system has good spectral properties. When $p=1$ and $t$ is an integer, the spaces are analogous to the "geometric" spaces considered by Gouëzel and Liverani. When $p>1$ and $-1+1/p<s<-t<0<t<1/p$, the spaces are somewhat analogous to the geometric spaces considered by Demers and Liverani. In addition, just like for the "microlocal" spaces defined by Baladi-Tsujii, the spaces $U^{t,s}_p$ are amenable to the kneading approach of Milnor-Thurson to study dynamical determinants and zeta functions. In v2, following referees' reports, typos have been corrected (in particular (39) and (43)). Section 4 now includes a formal statement (Theorem 4.1) about the essential spectral radius if $d_s=1$ (its proof includes the content of Section 4.2 from v1). The Lasota-Yorke Lemma 4.2 (Lemma 4.1 in v1) includes the claim that $\cal M_b$ is compact. Version v3 contains an additional text "Corrections and complements" showing that s> t-(r-1) is needed in Section 4. △ Less

Submitted 11 January, 2018; v1 submitted 3 July, 2016; originally announced July 2016.

Comments: 31 pages, revised version following referees' reports, with Corrections and complements

MSC Class: 37D20; 37C30; 46F99

Journal ref: J. Stat. Phys. 166 525-557 (2017)

Linear and fractional response for the SRB measure of smooth hyperbolic attractors and discontinuous observables

Authors: Viviane Baladi, Tobias Kuna, Valerio Lucarini

Abstract: We consider a smooth one-parameter family $t \to f_t$ of diffeomorphisms with compact transitive Axiom A attractors. Our first result (corrected) is that for any function $G$ in the Sobolev space $H^r_p$, with $p>1$ and $0<r<1/p$, the map $R(t)$ sending $t$ to the average of $G$ with respect to the SRB measure of $f_t$ is $α$-Hölder continuous for all $α<r- |log \mathcal J|/(p|log ν_s|$) where… ▽ More We consider a smooth one-parameter family $t \to f_t$ of diffeomorphisms with compact transitive Axiom A attractors. Our first result (corrected) is that for any function $G$ in the Sobolev space $H^r_p$, with $p>1$ and $0<r<1/p$, the map $R(t)$ sending $t$ to the average of $G$ with respect to the SRB measure of $f_t$ is $α$-Hölder continuous for all $α<r- |log \mathcal J|/(p|log ν_s|$) where $\mathcal J\le 1$ is the strongest volume contraction and $ν_s<1$ is the weakest contraction. This applies to $θ(x)=h(x)Θ(g(x)-a)$ (for all $α<1- |log \mathcal J|/|log ν_s|$) for $h$ and $g$ smooth and $Θ$ the Heaviside function, if $a$ is not a critical value of $g$. Our second result says that for any such function so that, in addition, the intersection of the set of points $x$ so that $g(x)=a$ with the support of $h$ is foliated by "admissible stable leaves" of $f_t$, the map $R(t)$ is differentiable. (We provide distributional linear response and fluctuation-dissipation formulas for the derivative.) Obtaining linear response or fractional response for such observables is motivated by extreme-value theory. --- Second version, following the referee's comments: We explain better the cone choices around (2.4). Appendix A contains information on the Banach spaces. We added the paragraph containing (2.6) in the proof of Theorem 2.1. In the proof of Theorem 3.3, we do not need to introduce mollifiers. However, the new argument around (2.6) is not available here, so we must replace the pair $(u-1, |s-1|)$ by $(u-2, |s-2|)$. This is why we now assume that $h$ is $C^3$ and that $g$ and the foliations are $C^4$. --- Third version: We have added a corrigendum modifying the first result (Theorem 2.1). △ Less

Submitted 20 June, 2017; v1 submitted 31 March, 2016; originally announced March 2016.

MSC Class: 37C40; 37C30; 37D20

Journal ref: Nonlinearity 30 1204-1220 (2017)

Dynamical zeta functions

Authors: V. Baladi

Abstract: These are notes from a course given in Orsay in 2002 explaining carefully the Milnor-Thurston kneading determinant approach to dynamical zeta functions as interpreted by Baladi and Ruelle (Invent. Math. 1996). We make them available in view of the recent renewed interest in this approach. (see arXiv:1501.00294, The Milnor-Thurston determinant and the Ruelle transfer operator, HH Rugh, Comm. Math.… ▽ More These are notes from a course given in Orsay in 2002 explaining carefully the Milnor-Thurston kneading determinant approach to dynamical zeta functions as interpreted by Baladi and Ruelle (Invent. Math. 1996). We make them available in view of the recent renewed interest in this approach. (see arXiv:1501.00294, The Milnor-Thurston determinant and the Ruelle transfer operator, HH Rugh, Comm. Math. Phys. 342 (2016) 603-614, and arXiv:1407.5313, Kneading with weights, HH Rugh, Lei Tan, J. Fractal Geom. 2 (2015) 339-375) △ Less

Submitted 18 February, 2016; originally announced February 2016.

Linear response for intermittent maps

Authors: V. Baladi, M. Todd

Abstract: We consider the one parameter family $α\mapsto T_α$ ($α\in [0,1)$) of Pomeau-Manneville type interval maps $T_α(x)=x(1+2^αx^α)$ for $x \in [0,1/2)$ and $T_α(x)=2x-1$ for $x \in [1/2, 1]$, with the associated absolutely continuous invariant probability measure $μ_α$. For $α\in (0,1)$, Sarig and Gouëzel proved that the system mixes only polynomially with rate $n^{1-1/α}$ (in particular, there is no… ▽ More We consider the one parameter family $α\mapsto T_α$ ($α\in [0,1)$) of Pomeau-Manneville type interval maps $T_α(x)=x(1+2^αx^α)$ for $x \in [0,1/2)$ and $T_α(x)=2x-1$ for $x \in [1/2, 1]$, with the associated absolutely continuous invariant probability measure $μ_α$. For $α\in (0,1)$, Sarig and Gouëzel proved that the system mixes only polynomially with rate $n^{1-1/α}$ (in particular, there is no spectral gap). We show that for any $ψ\in L^q$, the map $α\to \int_0^1 ψ\, dμ_α$ is differentiable on $[0,1-1/q)$, and we give a (linear response) formula for the value of the derivative. This is the first time that a linear response formula for the SRB measure is obtained in the setting of slowly mixing dynamics. Our argument shows how cone techniques can be used in this context. For $α\ge 1/2$ we need the $n^{-1/α}$ decorrelation obtained by Gouëzel under additional conditions. △ Less

Submitted 16 February, 2016; v1 submitted 11 August, 2015; originally announced August 2015.

Comments: Minor typos corrected. To appear in Comm. Math. Phys

MSC Class: 37C40; 37C30; 37E05

Journal ref: Comm. Math. Phys. 347 (2016) 857-874

Exponential Decay of Correlations for Finite Horizon Sinai Billiard Flows

Authors: Viviane Baladi, Mark Demers, Carlangelo Liverani

Abstract: We prove exponential decay of correlations for the billiard flow associated with a two-dimensional finite horizon Lorentz Gas (i.e., the Sinai billiard flow with finite horizon). Along the way, we describe the spectrum of the generator of the corresponding semi-group L_t of transfer operators, i.e., the resonances of the Sinai billiard flow, on a suitable Banach space of anisotropic distributions.… ▽ More We prove exponential decay of correlations for the billiard flow associated with a two-dimensional finite horizon Lorentz Gas (i.e., the Sinai billiard flow with finite horizon). Along the way, we describe the spectrum of the generator of the corresponding semi-group L_t of transfer operators, i.e., the resonances of the Sinai billiard flow, on a suitable Banach space of anisotropic distributions. (Revised after referees' comments.) △ Less

Submitted 23 February, 2020; v1 submitted 9 June, 2015; originally announced June 2015.

Comments: v2: Revised version after referees' comments. (The homogeneity layers do not appear anymore in the def. of the norm.) The text published in Invent. Math. is v2, but has more pages (due to smaller margins in v2). v3: Contains an additional 2-page note correcting flaws found by M. Jezequel (L 3.2) and D. Thomine (L 4.6 and L 7.5)

MSC Class: 37D50 (Primary); 37C30; 37D20; 37E35; 46E35; 47B38 (Secondary)

Journal ref: Invent. Math. Vol 211, pages 39-177 (2018)

Linear response, or else

Authors: Viviane Baladi

Abstract: Consider a smooth one-parameter family t -> f_t of dynamical systems f_t, with |t|<epsilon. Assume that for all t (or for many t close to t=0) the map f_t admits a unique SRB invariant probability measure m_t. We say that linear response} holds if t -> m_t is differentiable at t=0 (possibly in the sense of Whitney), and if its derivative can be expressed as a function of f_0, m_0, and d_t f_t|_(t=… ▽ More Consider a smooth one-parameter family t -> f_t of dynamical systems f_t, with |t|<epsilon. Assume that for all t (or for many t close to t=0) the map f_t admits a unique SRB invariant probability measure m_t. We say that linear response} holds if t -> m_t is differentiable at t=0 (possibly in the sense of Whitney), and if its derivative can be expressed as a function of f_0, m_0, and d_t f_t|_(t=0). The goal of this note is to present to a general mathematical audience recent results and open problems in the theory of linear response for chaotic dynamical systems, possibly with bifurcations. △ Less

Submitted 13 August, 2014; originally announced August 2014.

Comments: ICM Seoul 2014 talk

MSC Class: 37C40 (Primary) 37D25; 37C30; 37E05 (Secondary)

Whitney-Holder continuity of the SRB measure for transversal families of smooth unimodal maps

Authors: Viviane Baladi, Michael Benedicks, Daniel Schnellmann

Abstract: We consider C^2 families t->f_t of C^4 nondegenerate unimodal maps. We study the absolutely continuous invariant probability (SRB) measure m_t of f_t, as a function of t on the set of Collet-Eckmann (CE) parameters: Upper bounds: Assuming existence of a transversal CE parameter, we find a positive measure set D of CE parameters, and, for each s in D, a subset D0 of D of polynomially recurrent pa… ▽ More We consider C^2 families t->f_t of C^4 nondegenerate unimodal maps. We study the absolutely continuous invariant probability (SRB) measure m_t of f_t, as a function of t on the set of Collet-Eckmann (CE) parameters: Upper bounds: Assuming existence of a transversal CE parameter, we find a positive measure set D of CE parameters, and, for each s in D, a subset D0 of D of polynomially recurrent parameters containing s as a Lebesgue density point, and constants C>1, G >4, so that, for every 1/2-Holder function A (of 1/2-Holder norm |A|) and all t in D0, |\int A dm_t -\int A dm_s| < C |A| |t-s|^{1/2} |log|t-s||^G (If f_t(x)=tx(1-x), the set D contains almost all CE parameters.) Lower bounds: Assuming existence of a transversal mixing Misiurewicz-Thurston parameter s, we find a set of CE parameters D' accumulating at s, a constant C >1, and an infinitely differentiable function B, so that for all t in D' C |t-s|^{1/2} > |\int B dm_t -\int B dm_s| > |t-s|^{1/2}/C △ Less

Submitted 8 March, 2013; v1 submitted 13 February, 2013; originally announced February 2013.

Comments: 52 pages, revised version with minor corrections

MSC Class: 37C40 (Primary) 37D25; 37C30; 37E05 (Secondary)

Corrigendum to "Linear response formula for piecewise expanding unimodal maps," Nonlinearity, 21 (2008) 677-711

Authors: Viviane Baladi, Daniel Smania

Abstract: The claim in Theorem 7.1 for dense postscritical orbits is that there exists a sequence tn (not for all sequences). The claim in Theorem 7.1 for dense postscritical orbits is that there exists a sequence tn (not for all sequences). △ Less

Submitted 24 May, 2012; originally announced May 2012.

Comments: Latex, 2 pages, to appear Nonlinearity

Natural boundary for the susceptibility function of generic piecewise expanding unimodal maps

Authors: Viviane Baladi, Stefano Marmi, David Sauzin

Abstract: We consider the susceptibility function Psi(z) of a piecewise expanding unimodal interval map f with unique acim mu, a perturbation X, and an observable phi. Combining previous results (deduced from spectral properties of Ruelle transfer operators) with recent work of Breuer-Simon (based on techniques from the spectral theory of Jacobi matrices and a classical paper of Agmon), we show that density… ▽ More We consider the susceptibility function Psi(z) of a piecewise expanding unimodal interval map f with unique acim mu, a perturbation X, and an observable phi. Combining previous results (deduced from spectral properties of Ruelle transfer operators) with recent work of Breuer-Simon (based on techniques from the spectral theory of Jacobi matrices and a classical paper of Agmon), we show that density of the postcritical orbit (a generic condition) implies that Psi(z) has a strong natural boundary on the unit circle. The Breuer-Simon method provides uncountably many candidates for the outer functions of Psi(z), associated to precritical orbits. If the perturbation X is horizontal, a generic condition (Birkhoff typicality of the postcritical orbit) implies that the nontangential limit of the Psi(z) as z tends to 1 exists and coincides with the derivative of the acim with respect to the map (linear response formula). Applying the Wiener-Wintner theorem, we study the singularity type of nontangential limits as z tends to e^{iω}. An additional LIL typicality assumption on the postcritical orbit gives stronger results. △ Less

Submitted 10 October, 2012; v1 submitted 23 May, 2012; originally announced May 2012.

Comments: LaTex, 23 pages, to appear ETDS

MSC Class: 37E05; 37C30; 30B30; 37C40; 37D20; 30D60

Journal ref: Ergod. Th. Dynam. Sys. 34 (2014) 777-800

Exponential decay of correlations for piecewise cone hyperbolic contact flows

Authors: Viviane Baladi, Carlangelo Liverani

Abstract: We prove exponential decay of correlations for a realistic model of piecewise hyperbolic flows preserving a contact form, in dimension three. This is the first time exponential decay of correlations is proved for continuous-time dynamics with singularities on a manifold. Our proof combines the second author's version of Dolgopyat's estimates for contact flows and the first author's work with Gouëz… ▽ More We prove exponential decay of correlations for a realistic model of piecewise hyperbolic flows preserving a contact form, in dimension three. This is the first time exponential decay of correlations is proved for continuous-time dynamics with singularities on a manifold. Our proof combines the second author's version of Dolgopyat's estimates for contact flows and the first author's work with Gouëzel on piecewise hyperbolic discrete-time dynamics. (Presentation revised.) △ Less

Submitted 15 March, 2012; v1 submitted 3 May, 2011; originally announced May 2011.

Comments: 76 pages, 4 figures included in LaTeX file

MSC Class: 37C30 (Primary) 37D20; 37D50; 37E35; 46E35; 47B38 (Secondary)

Correcting the proof of Theorem 3.2 and Corollary 5.2 in Almost sure rates of mixing for i.i.d. unimodal maps by V. Baladi, M. Benedicks, V. Maume-Deschamps, Ann. E.N.S. (2002)

Authors: V. Baladi, M. Benedicks, V. Maume-Deschamps

Abstract: In 2010, Weixiao Shen pointed out to us that the proof of Theorem 3.2 of our 2002 paper in Ann ENS was flawed, and he kindly provided an argument to fix this proof. (We do not make claims on the lower bounds for the stationary density anymore.) In 2017, Wael Bahsoun, Christopher Bose, and Marks Ruziboev pointed out to us that the proof of Corollary 5.2 in the same paper is flawed. We explain how t… ▽ More In 2010, Weixiao Shen pointed out to us that the proof of Theorem 3.2 of our 2002 paper in Ann ENS was flawed, and he kindly provided an argument to fix this proof. (We do not make claims on the lower bounds for the stationary density anymore.) In 2017, Wael Bahsoun, Christopher Bose, and Marks Ruziboev pointed out to us that the proof of Corollary 5.2 in the same paper is flawed. We explain how to recover Corollary 5.2 up to replacing the set $M'_q$ on p. 93 by a slightly smaller set (this does not affect the rest of the paper). △ Less

Submitted 7 July, 2017; v1 submitted 30 August, 2010; originally announced August 2010.

Comments: Corrigendum for Cor 5.2 concatenated with Corrigendum for Theorem 3.2

MSC Class: 37E05; 28D05; 37A25

Linear response for smooth deformations of generic nonuniformly hyperbolic unimodal maps

Authors: Viviane Baladi, Daniel Smania

Abstract: We consider C^2 families of C^4 unimodal maps f_t whose critical point is slowly recurrent, and we show that the unique absolutely continuous invariant measure of f_t depends differentiably on t, as a distribution of order 1. The proof uses transfer operators on towers whose level boundaries are mollified via smooth cutoff functions, in order to avoid artificial discontinuities. We give a new repr… ▽ More We consider C^2 families of C^4 unimodal maps f_t whose critical point is slowly recurrent, and we show that the unique absolutely continuous invariant measure of f_t depends differentiably on t, as a distribution of order 1. The proof uses transfer operators on towers whose level boundaries are mollified via smooth cutoff functions, in order to avoid artificial discontinuities. We give a new representation of the acim for a Benedicks-Carleson map f_t, in terms of a single smooth function and the inverse branches of f_t along the postcritical orbit. Along the way, we prove that the twisted cohomological equation v(x)=α(f (x)) - f'(x) α(x) has a continuous solution α, if f is Benedicks-Carleson and v is horizontal for f. In v3 we added a note containing 3 comments regarding minor typos. △ Less

Submitted 14 November, 2023; v1 submitted 29 March, 2010; originally announced March 2010.

Comments: v2: Typos corrected. Banach spaces (Prop 4.10, Prop 4.11, Lem 4.12, Appendix B, Section 6) cleaned up: H^1_1 Sobolev space replaces C^1 and BV, L^1 replaces C^0, and H^2_1 replaces C^2. Details added (e.g. Remark 4.9). The map f_0 is now C^4. 61 pages. v3: added 3 comments written in 2013 about minor typos

MSC Class: 37C40; 37C30; 37D25; 37E05

Journal ref: Ann. ENS 45 (2012) 861-926

Banach spaces for piecewise cone hyperbolic maps

Authors: Viviane Baladi, Sebastien Gouezel

Abstract: We consider piecewise cone hyperbolic systems satisfying a bunching condition and we obtain a bound on the essential spectral radius of the associated weighted transfer operators acting on anisotropic Sobolev spaces. The bunching condition is always satisfied in dimension two, and our results give a unifying treatment of the work of Demers-Liverani and our previous work. When the complexity is s… ▽ More We consider piecewise cone hyperbolic systems satisfying a bunching condition and we obtain a bound on the essential spectral radius of the associated weighted transfer operators acting on anisotropic Sobolev spaces. The bunching condition is always satisfied in dimension two, and our results give a unifying treatment of the work of Demers-Liverani and our previous work. When the complexity is subexponential, our bound implies a spectral gap for the transfer operator corresponding to the physical measures in many cases (for example if $T$ preserves volume, or if the stable dimension is equal to 1 and the unstable dimension is not zero). △ Less

Submitted 15 February, 2010; v1 submitted 8 July, 2009; originally announced July 2009.

Comments: 38 pages v2: weakened the transversality condition and added details on physical measures

Alternative proofs of linear response for piecewise expanding unimodal maps

Authors: Viviane Baladi, Daniel Smania

Abstract: We give two new proofs that the SRB measure of a C^2 path f_t of unimodal piecewise expanding C^3 maps is differentiable at 0 if f_t is tangent to the topological class of f_0. The arguments are more conceptual than the one in our previous paper, but require proving Holder continuity of the infinitesimal conjugacy (a new result, of independent interest) and using spaces of bounded p-variation. T… ▽ More We give two new proofs that the SRB measure of a C^2 path f_t of unimodal piecewise expanding C^3 maps is differentiable at 0 if f_t is tangent to the topological class of f_0. The arguments are more conceptual than the one in our previous paper, but require proving Holder continuity of the infinitesimal conjugacy (a new result, of independent interest) and using spaces of bounded p-variation. The first new proof gives differentiability of higher order if f_t is smooth enough and stays in the topological class of f_0 and if the observable smooth enough (a new result). In addition, this proof does not require any information on the decomposition of the SRB measure into regular and singular terms, making it potentially amenable to extensions to higher dimensions. The second new proof allows us to recover the linear response formula (i.e., the formula for the derivative at 0) obtained in our previous paper and gives additional information on this formula. △ Less

Submitted 23 March, 2008; originally announced March 2008.

MSC Class: 7C30; 37C40; 37E05

Analyticity of the SRB measure for holomorphic families of quadratic-like Collet-Eckmann maps

Authors: Viviane Baladi, Daniel Smania

Abstract: We show that if f_t is a holomorphic family of quadratic-like maps with all periodic orbits repelling so that for each real t the map f_t is a real Collet-Eckmann S-unimodal map then, writing m_t for the unique absolutely continuous invariant probability measure of f_t, the map t -> \int g dm_t is real analytic for any real analytic function g. We show that if f_t is a holomorphic family of quadratic-like maps with all periodic orbits repelling so that for each real t the map f_t is a real Collet-Eckmann S-unimodal map then, writing m_t for the unique absolutely continuous invariant probability measure of f_t, the map t -> \int g dm_t is real analytic for any real analytic function g. △ Less

Submitted 22 January, 2008; originally announced January 2008.

Comments: 7 pages

MSC Class: 37C40 (Primary); 37C30; 37D25; 37E05 (Secondary)

Good Banach spaces for piecewise hyperbolic maps via interpolation

Authors: Viviane Baladi, Sebastien Gouezel

Abstract: We introduce a weak transversality condition for piecewise C^{1+α} and piecewise hyperbolic maps which admit a C^{1+α} stable distribution. We show good bounds on the essential spectral radius of the associated transfer operators acting on classical anisotropic Sobolev spaces of Triebel-Lizorkin type. In many cases, we obtain a spectral gap from which we deduce the existence of finitely many phy… ▽ More We introduce a weak transversality condition for piecewise C^{1+α} and piecewise hyperbolic maps which admit a C^{1+α} stable distribution. We show good bounds on the essential spectral radius of the associated transfer operators acting on classical anisotropic Sobolev spaces of Triebel-Lizorkin type. In many cases, we obtain a spectral gap from which we deduce the existence of finitely many physical measures with basin of total measure. The analysis relies on standard techniques (in particular complex interpolation) and applies also to piecewise expanding maps and to Anosov diffeomorphisms, giving a unifying picture of several previous results. △ Less

Submitted 13 November, 2007; originally announced November 2007.

Comments: 34 p

Smooth deformations of piecewise expanding unimodal maps

Authors: Viviane Baladi, Daniel Smania

Abstract: In the space of C^k piecewise expanding unimodal maps, k>=1, we characterize the C^1 smooth families of maps where the topological dynamics does not change (the "smooth deformations") as the families tangent to a continuous distribution of codimension-one subspaces (the "horizontal" directions) in that space. Furthermore such codimension-one subspaces are defined as the kernels of an explicit cl… ▽ More In the space of C^k piecewise expanding unimodal maps, k>=1, we characterize the C^1 smooth families of maps where the topological dynamics does not change (the "smooth deformations") as the families tangent to a continuous distribution of codimension-one subspaces (the "horizontal" directions) in that space. Furthermore such codimension-one subspaces are defined as the kernels of an explicit class of linear functionals. As a consequence we show the existence of C^{k-1+Lip} deformations tangent to every given C^k horizontal direction, for k>=2. △ Less

Submitted 8 April, 2008; v1 submitted 9 October, 2007; originally announced October 2007.

Comments: 19 pages. Few misprints fixed. Minor improvements

MSC Class: 37C15; 37E05

Journal ref: Discrete and Continuous Dynamical Systems (DCDS-A), 23 (2009), 685 - 703

Linear response formula for piecewise expanding unimodal maps

Authors: V. Baladi, D. Smania

Abstract: The average R(t) of a smooth function with respect to the SRB measure of a smooth one-parameter family f_t of piecewise expanding interval maps is not always Lipschitz. We prove that if f_t is tangent to the topological class of f_0, then R(t) is differentiable at zero, and the derivative coincides with the resummation previously proposed by the first named author of the (a priori divergent) ser… ▽ More The average R(t) of a smooth function with respect to the SRB measure of a smooth one-parameter family f_t of piecewise expanding interval maps is not always Lipschitz. We prove that if f_t is tangent to the topological class of f_0, then R(t) is differentiable at zero, and the derivative coincides with the resummation previously proposed by the first named author of the (a priori divergent) series given by Ruelle's conjecture. △ Less

Submitted 19 October, 2007; v1 submitted 23 May, 2007; originally announced May 2007.

Comments: We added Theorem 7.1 which shows that the horizontality condition is necessary. The paper "Smooth deformations..." containing Thm 2.8 is now available on the arxiv; see also Corrigendum arXiv:1205.5468 (to appear Nonlinearity 2012)

MSC Class: 37C30; 37C40; 37E05

Journal ref: Nonlinearity, 21 (2008) 677-711

On the susceptibility function of piecewise expanding interval maps

Authors: Viviane Baladi

Abstract: We study the susceptibility function Psi(z) associated to the perturbation f_t=f+tX of a piecewise expanding interval map f. The analysis is based on a spectral description of transfer operators. It gives in particular sufficient conditions which guarantee that Psi(z) is holomorphic in a disc of larger than one. Although Psi(1) is the formal derivative of the SRB measure of f_t with respect to t… ▽ More We study the susceptibility function Psi(z) associated to the perturbation f_t=f+tX of a piecewise expanding interval map f. The analysis is based on a spectral description of transfer operators. It gives in particular sufficient conditions which guarantee that Psi(z) is holomorphic in a disc of larger than one. Although Psi(1) is the formal derivative of the SRB measure of f_t with respect to t, we present examples satisfying our conditions so that the SRB measure is not Lipschitz.*We propose a new version of Ruelle's conjectures.* In v2, we corrected a few minor mistakes and added Conjectures A-B and Remark 4.5. In v3, we corrected the perturbation (X(f(x)) instead of X(x)), in particular in the examples from Section 6. As a consequence, Psi(z) has a pole at z=1 for these examples. △ Less

Submitted 11 March, 2007; v1 submitted 29 December, 2006; originally announced December 2006.

Comments: To appear Comm. Math. Phys

MSC Class: 37C30; 37C40; 37E05

Dynamical determinants and spectrum for hyperbolic diffeomorphisms

Authors: Viviane Baladi, Masato Tsujii

Abstract: For smooth hyperbolic dynamical systems and smooth weights, we relate Ruelle transfer operators with dynamical Fredholm determinants and dynamical zeta functions: First, we establish bounds for the essential spectral radii of the transfer operator on new spaces of anisotropic distributions, improving our previous results. Then we give a new proof of Kitaev's lower bound for the radius of converg… ▽ More For smooth hyperbolic dynamical systems and smooth weights, we relate Ruelle transfer operators with dynamical Fredholm determinants and dynamical zeta functions: First, we establish bounds for the essential spectral radii of the transfer operator on new spaces of anisotropic distributions, improving our previous results. Then we give a new proof of Kitaev's lower bound for the radius of convergence of the dynamical Fredholm determinant. In addition we show that the zeroes of the determinant in the corresponding disc are in bijection with the eigenvalues of the transfer operator on our spaces of anisotropic distributions, closing a question which remained open for a decade. △ Less

Submitted 16 January, 2008; v1 submitted 18 June, 2006; originally announced June 2006.

Comments: 40 pages, no figures

MSC Class: 37C30; 37D20; 37A25

A local limit theorem with speed of convergence for Euclidean algorithms and diophantine costs

Authors: Viviane Baladi, Aïcha Hachemi

Abstract: For large $N$, we consider the ordinary continued fraction of $x=p/q$ with $1\le p\le q\le N$, or, equivalently, Euclid's gcd algorithm for two integers $1\le p\le q\le N$, putting the uniform distribution on the set of $p$ and $q$s. We study the distribution of the total cost of execution of the algorithm for an additive cost function $c$ on the set $\mathbb{Z}_+^*$ of possible digits, asymptot… ▽ More For large $N$, we consider the ordinary continued fraction of $x=p/q$ with $1\le p\le q\le N$, or, equivalently, Euclid's gcd algorithm for two integers $1\le p\le q\le N$, putting the uniform distribution on the set of $p$ and $q$s. We study the distribution of the total cost of execution of the algorithm for an additive cost function $c$ on the set $\mathbb{Z}_+^*$ of possible digits, asymptotically for $N\to\infty$. If $c$ is nonlattice and satisfies mild growth conditions, the local limit theorem was proved previously by the second named author. Introducing diophantine conditions on the cost, we are able to control the speed of convergence in the local limit theorem. We use previous estimates of the first author and Vallée, and we adapt to our setting bounds of Dolgopyat and Melbourne on transfer operators. Our diophantine condition is generic (with respect to Lebesgue measure). For smooth enough observables (depending on the diophantine condition) we attain the optimal speed. △ Less

Submitted 22 August, 2008; v1 submitted 14 April, 2006; originally announced April 2006.

Comments: Published in at http://dx.doi.org/10.1214/07-AIHP140 the Annales de l'Institut Henri Poincaré - Probabilités et Statistiques (http://www.imstat.org/aihp/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AIHP-AIHP140

Journal ref: Annales de l'Institut Henri Poincaré - Probabilités et Statistiques 2008, Vol. 44, No. 4, 749-770

Spectra of differentiable hyperbolic maps

Authors: Viviane Baladi, Masato Tsujii

Abstract: This note is about the spectral properties of transfer operators associated to smooth hyperbolic dynamics. In the first two sections (written in 2006), we state our new results relating such spectra with dynamical determinants, first announced at the conference ``Traces in Geometry, Number Theory and Quantum Fields" at the Max Planck Institute, Bonn, October 2005. In the last two sections, we gi… ▽ More This note is about the spectral properties of transfer operators associated to smooth hyperbolic dynamics. In the first two sections (written in 2006), we state our new results relating such spectra with dynamical determinants, first announced at the conference ``Traces in Geometry, Number Theory and Quantum Fields" at the Max Planck Institute, Bonn, October 2005. In the last two sections, we give a reader-friendly presentation of some key ideas in our work in the simplest possible settings, including a new proof of a result of Ruelle on expanding endomorphisms. (These last two sections are a revised version of the lecture notes given during the workshop ``Resonances and Periodic Orbits: Spectrum and Zeta functions in Quantum and Classical Chaos" at Institut Henri Poincaré, Paris, July 2005.) (Revised version, submitted for publication) △ Less

Submitted 16 March, 2006; v1 submitted 16 September, 2005; originally announced September 2005.

Comments: LaTeX

MSC Class: 37C30

Anisotropic Holder and Sobolev spaces for hyperbolic diffeomorphisms

Authors: Viviane Baladi, Masato Tsujii

Abstract: (Revised version, January 2006. S. Gouezel pointed out that, when 1<r<2, the proof in the previous version was incomplete. In fixing this gap, we simplified the argument in Section 6. In addition, there is a new appendix, with an alternative description of the norms. We also corrected a few minor flaws.) We study spectral properties of transfer operators for diffeomorphisms T on a Riemannian m… ▽ More (Revised version, January 2006. S. Gouezel pointed out that, when 1<r<2, the proof in the previous version was incomplete. In fixing this gap, we simplified the argument in Section 6. In addition, there is a new appendix, with an alternative description of the norms. We also corrected a few minor flaws.) We study spectral properties of transfer operators for diffeomorphisms T on a Riemannian manifold: Suppose that there is an isolated hyperbolic subset for T, with a compact isolating neighborhood V. We first introduce Banach spaces of distributions supported on V, which are anisotropic versions of the usual space of C^p functions C^p(V) and of the generalized Sobolev spaces W^{p,t}(V), respectively. Then we show that the transfer operators associated to T and a smooth weight extend boundedly to these spaces, and we give bounds on the essential spectral radii of such extensions in terms of hyperbolicity exponents. These bounds shed some light on those obtained by Kitaev for the radius of convergence of dynamical determinants. △ Less

Submitted 19 January, 2006; v1 submitted 1 May, 2005; originally announced May 2005.

Comments: LaTeX

MSC Class: 37C30

Anisotropic Sobolev spaces and dynamical transfer operators: C^infty foliations

Authors: Viviane Baladi

Abstract: We consider a smooth Anosov diffeomorphism with a smooth dynamical foliation. We show upper bounds on the essential spectral radius of its transfer operator acting on anisotropic Sobolev spaces. (Such bounds are related to the essential decorrelation rate for the SRB measure.) We compare our results to the estimates of Kitaev on the domain of holomorphy of dynamical Fredholm determinants for dif… ▽ More We consider a smooth Anosov diffeomorphism with a smooth dynamical foliation. We show upper bounds on the essential spectral radius of its transfer operator acting on anisotropic Sobolev spaces. (Such bounds are related to the essential decorrelation rate for the SRB measure.) We compare our results to the estimates of Kitaev on the domain of holomorphy of dynamical Fredholm determinants for differentiable dynamics. △ Less

Submitted 23 December, 2004; v1 submitted 31 August, 2004; originally announced August 2004.

Comments: Revised version. Technical points clarified. Statements for t=1 or infty suppressed

MSC Class: 37C30

Exponential decay of correlations for surface semi-flows without finite Markov partitions

Authors: V. Baladi, B. Vallee

Abstract: We extend Dolgopyat's bounds on iterated transfer operators to suspensions of interval maps with infinitely many intervals of monotonicity. We extend Dolgopyat's bounds on iterated transfer operators to suspensions of interval maps with infinitely many intervals of monotonicity. △ Less

Submitted 17 November, 2003; originally announced November 2003.

MSC Class: 37C30; 37D50; 37E35

A note on stretched exponential decay of correlations for the Viana-Alves map

Authors: V. Baladi, S. Gouezel

Abstract: In this brief note, we prove stretched exponential upper bounds for the correlation functions of the absolutely continuous invariant measure of the skew product studied by Viana and Alves. This improves the superpolynomial bounds obtained by Alves, Luzzatto, and Pinheiro. In this brief note, we prove stretched exponential upper bounds for the correlation functions of the absolutely continuous invariant measure of the skew product studied by Viana and Alves. This improves the superpolynomial bounds obtained by Alves, Luzzatto, and Pinheiro. △ Less

Submitted 12 November, 2003; originally announced November 2003.

MSC Class: 37A25; 37D25

Dynamical zeta functions for analytic surface diffeomorphisms with dominated splitting

Authors: Viviane Baladi, Enrique R. Pujals, Martin Sambarino

Abstract: We study the Ruelle dynamical determinant of a real analytic diffeomorphism on a compact surface, assuming that the tangent space over the nonwandering set admits a dominated splitting. Combining previous work of Pujals and Sambarino with methods introduced by Rugh, we show that the determinant is either entire or holomorphic in a (possibly multiply) slit plane. We study the Ruelle dynamical determinant of a real analytic diffeomorphism on a compact surface, assuming that the tangent space over the nonwandering set admits a dominated splitting. Combining previous work of Pujals and Sambarino with methods introduced by Rugh, we show that the determinant is either entire or holomorphic in a (possibly multiply) slit plane. △ Less

Submitted 29 August, 2003; v1 submitted 3 July, 2003; originally announced July 2003.

Comments: Revised version, some mistakes corrected (e.g. in Section 3)

MSC Class: 37C30; 37D30; 37E30

Kneading determinants and spectra of transfer operators in higher dimensions, the isotropic case

Authors: M. Baillif, V. Baladi

Abstract: Transfer operators M_k acting on k-forms in R^n are associated to smooth transversal local diffeomorphisms and compactly supported weight functions. A formal trace is defined by summing the product of the weight and the Lefschetz sign over all fixed points of all the diffeos. This yields a formal Ruelle-Lefschetz determinant Det^#(1-zM). We use the Milnor-Ruelle-Kitaev equality (recently proved… ▽ More Transfer operators M_k acting on k-forms in R^n are associated to smooth transversal local diffeomorphisms and compactly supported weight functions. A formal trace is defined by summing the product of the weight and the Lefschetz sign over all fixed points of all the diffeos. This yields a formal Ruelle-Lefschetz determinant Det^#(1-zM). We use the Milnor-Ruelle-Kitaev equality (recently proved by Baillif), which expressed Det^#(1-zM) as an alternated product of determinants of kneading operators,Det(1+D_k(z)), to relate zeroes and poles of the Ruelle-Lefschetz determinant to the spectra of the transfer operators M_k. As an application, we get a new proof of a theorem of Ruelle on smooth expanding dynamics. △ Less

Submitted 21 June, 2004; v1 submitted 21 November, 2002; originally announced November 2002.

Comments: This replaces the April 2004 version: a gap was fixed in Lemma 6 (regarding order of poles) and the Axioms corrected and generalised

MSC Class: 37C30