Searcharxiv⌕ Search

arXiv subjects

Michele Triestino

Publications and source records attributed to Michele Triestino.

24 records · Page 2Linked to original sources
arXiv2018

Hyperbolicity as an obstruction to smoothability for one-dimensional actions

Ghys and Sergiescu proved in the $80$s that Thompson's group $T$, and hence $F$, admits actions by $C^{\infty}$ diffeomorphisms of the circle . They proved that the standard actions of these groups are topologically conjugate to a group of $C^\infty$ diffeomorphisms. Monod defined a family of groups of piecewise projective homeomorphisms, and Lodha-Moore defined finitely presentable groups of piecewise projective homeomorphisms. These groups are of particular interest because they are nonamenable and contain no free subgroup. In contrast to the result of Ghys-Sergiescu, we prove that the groups of Monod and Lodha-Moore are not topologically conjugate to a group of $C^1$ diffeomorphisms. Furthermore, we show that the group of Lodha-Moore has no nonabelian $C^1$ action on the interval. We also show that many Monod's groups $H(A)$, for instance when $A$ is such that $\mathsf{PSL}(2,A)$ contains a rational homothety $x\mapsto \tfrac{p}{q}x$, do not admit a $C^1$ action on the interval. The obstruction comes from the existence of hyperbolic fixed points for $C^1$ actions. With slightly different techniques, we also show that some groups of piecewise affine homeomorphisms of the interval or the circle are not smoothable.

math.GR↗
arXiv2017

Ping-pong configurations and circular orders on free groups

We discuss actions of free groups on the circle with "ping-pong" dynamics; these are dynamics determined by a finite amount of combinatorial data, analogous to Schottky domains or Markov partitions. Using this, we show that the free group $F_n$ admits an isolated circular order if and only if n is even, in stark contrast with the case for linear orders. This answers a question from (Mann, Rivas, 2016). Inspired by work of Alvarez, Barrientos, Filimonov, Kleptsyn, Malicet, Menino and Triestino, we also exhibit examples of "exotic" isolated points in the space of all circular orders on $F_2$. Analogous results are obtained for linear orders on the groups $F_n \times \mathbb{Z}$.

math.GR↗
arXiv2016

Cut-off method for endogeny of recursive tree processes

Given a solution to a recursive distributional equation, a natural (and non-trivial) question is whether the corresponding recursive tree process is endogenous. That is, whether the random environment almost surely defines the tree process. We propose a new method of proving endogeny, which applies to various processes. As explicit examples, we establish endogeny of the random metrics on non-pivotal hierarchical graphs defined by multiplicative cascades and of mean-field optimization problems as the mean-field matching and travelling salesman problems in pseudo-dimension q>1.

math.PR↗
arXiv2015

Stationary random metrics on hierarchical graphs via $(\min,+)$-type recursive distributional equations

This paper is inspired by the problem of understanding in a mathematical sense the Liouville quantum gravity on surfaces. Here we show how to define a stationary random metric on self-similar spaces which are the limit of nice finite graphs: these are the so-called hierarchical graphs. They possess a well-defined level structure and any level is built using a simple recursion. Stopping the construction at any finite level, we have a discrete random metric space when we set the edges to have random length (using a multiplicative cascade with fixed law $m$). We introduce a tool, the cut-off process, by means of which one finds that renormalizing the sequence of metrics by an exponential factor, they converge in law to a non-trivial metric on the limit space. Such limit law is stationary, in the sense that glueing together a certain number of copies of the random limit space, according to the combinatorics of the brick graph, the obtained random metric has the same law when rescaled by a random factor of law $m$. In other words, the stationary random metric is the solution of a distributional equation. When the measure $m$ has continuous positive density on $\mathbf{R}_+$, the stationary law is unique up to rescaling and any other distribution tends to a rescaled stationary law under the iterations of the hierarchical transformation. We also investigate topological and geometric properties of the random space when $m$ is $\log$-normal, detecting a phase transition influenced by the branching random walk associated to the multiplicative cascade.

math.PR↗
arXiv2014

Généricité au sens probabiliste dans les difféomorphismes du cercle

What kind of dynamics do we observe in general on the circle? It depends somehow on the interpretation of "in general". Everything is quite well understood in the topological (Baire) setting, but what about the probabilistic sense? The main problem is that on an infinite dimensional group there is no analogue of the Lebesgue measure, in a strict sense. There are however some analogues, quite natural and easy to define: the Malliavin-Shavgulidze measures provide an example and constitute the main character of this text. The first results show that there is no actual disagreement of general features of the dynamics in the topological and probabilistic frames: it is the realm of hyperbolicity! The most interesting questions remain however unanswered... This work, coming out from the author's Ph.D. thesis, constitutes an opportunity to review interesting results in mathematical topics that could interact more often: stochastic processes and one-dimensional dynamics. After an introductory overview, the following three chapters are a pedagogical summary of classical results about measure theory on topological groups, Brownian Motion, theory of circle diffeomorphisms. Then we present the construction of the Malliavin-Shavgulidze measures on the space of interval and circle $C^1$ diffeomorphisms, and discuss their key property of quasi-invariance. The last chapter is devoted to the study of dynamical features of a random Malliavin-Shavgulidze diffeomorphism.

math.DS↗