Source author record

Davide Ravotti

Davide Ravotti appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.DS math.LO

Catalog footprint

What is connected

3works

2topics

2close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Asymptotics and limit theorems for horocycle ergodic integrals à la Ratner

We apply a method inspired by Ratner's work on quantitative mixing for the geodesic flow (Ergod. Theory Dyn. Syst., 1987) and developed by Burger (Duke Math. J., 1990) to study ergodic integrals for horocycle flows. We derive an explicit asymptotic expansion for horocycle averages, recovering a celebrated result by Flaminio and Forni (Duke Math. J., 2003), and we show that the coefficients in the asymptotic expansion are Hölder continuous with respect to the base point. Furthermore, we provide short and streamlined proofs of the spatial limit theorems of Bufetov and Forni (Ann. Sci. Éc. Norm. Supér., 2014) and, in an appendix by Emilio Corso, of a temporal limit theorem by Dolgopyat and Sarig (J. Stat. Phys., 2017).

preprint2020arXiv

Polynomial 3-mixing for smooth time-changes of horocycle flows

Let $(h_t)_{t\in \mathbb{R}}$ be the horocycle flow acting on $(M,μ)=(Γ\backslash \text{SL}(2,\mathbb{R}),μ)$, where $Γ$ is a co-compact lattice in $\text{SL}(2,\mathbb{R})$ and $μ$ is the homogeneous probability measure locally given by the Haar measure on $\text{SL}(2,\mathbb{R})$. Let $τ\in W^6(M)$ be a strictly positive function and let $μ^τ$ be the measure equivalent to $μ$ with density $τ$. We consider the time changed flow $(h_t^τ)_{t\in \mathbb{R}}$ and we show that there exists $γ=γ(M,τ)>0$ and a constant $C>0$ such that for any $ f_0, f_1, f_2\in W^6(M)$ and for all $0=t_0<t_1<t_2$, we have $$\ \left|\int_M \prod_{i=0}^{2} f_i\circ h^τ_{t_i} d μ^τ-\prod_{i=0}^{2}\int_M f_i d μ^τ\right|\leq C \left(\prod_{i=0}^{2} \|f_i\|_6\right) \left(\min_{0\leq i<j\leq 2} |t_i-t_j|\right)^{-γ}.$$ With the same techniques, we establish polynomial mixing of all orders under the additional assumption of $τ$ being fully supported on the discrete series.

preprint2013arXiv

Measures induced by units

The half-open real unit interval (0,1] is closed under the ordinary multiplication and its residuum. The corresponding infinite-valued propositional logic has as its equivalent algebraic semantics the equational class of cancellative hoops. Fixing a strong unit in a cancellative hoop -equivalently, in the enveloping lattice-ordered abelian group- amounts to fixing a gauge scale for falsity. In this paper we show that any strong unit in a finitely presented cancellative hoop H induces naturally (i.e., in a representation-independent way) an automorphism-invariant positive normalized linear functional on H. Since H is representable as a uniformly dense set of continuous functions on its maximal spectrum, such functionals -in this context usually called states- amount to automorphism-invariant finite Borel measures on the spectrum. Different choices for the unit may be algebraically unrelated (e.g., they may lie in different orbits under the automorphism group of H), but our second main result shows that the corresponding measures are always absolutely continuous w.r.t. each other, and provides an explicit expression for the reciprocal density.