User michele triestino - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T08:21:46Z http://mathoverflow.net/feeds/user/6513 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/127385/orbits-of-thompsons-group/127388#127388 Answer by Michele Triestino for Orbits of Thompson's group Michele Triestino 2013-04-12T17:41:34Z 2013-04-12T17:41:34Z <p>If you mean Thompson's $F$, please, specify the action on the circle.</p> <p>If you mean Thompson's group $[F,F]$, the answer is yes, as it acts on the interval.</p> <p>I think you are talking about Thompson's group $T$, and its dynamics on the circle was well described by Ghys and Sergiescu in</p> <p><em><a href="http://www.umpa.ens-lyon.fr/~ghys/reviews/896095.pdf" rel="nofollow">Sur un groupe remarquable de difféomorphismes du cercle.</a></em></p> <p>The answer to your question is however rather trivial : the group contains every dyadic rotation, which act minimally on the circle. So every finite orbite must be dense, which is impossible.</p> http://mathoverflow.net/questions/116366/numerical-calculation-of-arnold-tongue/116374#116374 Answer by Michele Triestino for Numerical calculation of Arnold tongue Michele Triestino 2012-12-14T14:07:32Z 2013-03-19T12:18:20Z <p>There is a good way to compute rotation number of a circle homeomorphism (this was the way Poincaré thinked of it): you calculate the rotation number buy its continued fraction in a direct way.</p> <p>You start from a point $x$ and $f(x)$: this gives you a decomposition of the circle into points that are on the right side of $x$ (in $]x,f(x)[$) and points which are on its left side (in $]f(x),x[$). You look at $f^2(x)$ and you write $R$ if it is on the right side of $x$, $L$ otherwise. Iteranting $f$ you find a sequence of $R$'s and $L$'s. If you get $LLLLR$, for example, you record 4 (this is the number of $L$'s) and you approximate the rotation number of $f$ by $1/4$.</p> <p>Renormalizing $f$, you iterate this process finding $\rho=[0,a_1,a_2,\ldots,a_k]$.</p> <p>I won't be more precise here.</p> <p>Every detail is very well explained in de Melo &amp; van Strien's <a href="http://www2.warwick.ac.uk/fac/sci/maths/people/staff/sebastian_van_strien/demelo-strien.pdf" rel="nofollow"><em>One-Dimensional Dynamics</em></a>, section I.1.</p> <p>You can find a paper by Bruin (<a href="http://www.ams.org/mathscinet/search/publdoc.html?arg3=&amp;co4=AND&amp;co5=AND&amp;co6=AND&amp;co7=AND&amp;dr=all&amp;pg4=AUCN&amp;pg5=TI&amp;pg6=PC&amp;pg7=ALLF&amp;pg8=ET&amp;r=1&amp;review_format=html&amp;s4=bruin&amp;s5=numerical%20determination&amp;s6=&amp;s7=&amp;s8=All&amp;vfpref=html&amp;yearRangeFirst=&amp;yearRangeSecond=&amp;yrop=eq" rel="nofollow"><em>Numerical determination of the continued fraction expansion of the rotation number</em></a>) in which he compares different methods on Arnold tongues.</p> <p>EDIT[update]: Recently, I wrote for myself some <a href="http://www.sagemath.org/" rel="nofollow">sage</a> lines implementing the algorithm I described you. This is my second version, now working for rational numbers too : I was originally interested only in irrational rotation numbers (comments are welcome to improve it!).</p> <pre><code>L=8 #length for cf-expansion, depending on your computer, 8 or 9 suggested for a try run A=100000 #maximum size of single element of the sequence def partfrac(x): return x-floor(x) ##### computing rational approximations given continued fraction expansion # input b=a continued fraction expansion # input l=L length of computed expansion def rational_approximation(b,l): p=[0,1] q=[1,b[1]] for i in range(1,l+1): p.append(b[i+1]*p[i]+p[i-1]) q.append(b[i+1]*q[i]+q[i-1]) return simplify(p[l+1]/q[l+1]) #computing rotation number of a given circle map f def rotation(f): a=[0] orbit=[] orbit.append(partfrac(f(0))) if orbit[0]==0 : print 'map with a fixed point' return 0 def shift(x): #set f(0) as the origin + 1 if partfrac(x)&gt;orbit[0]: return partfrac(x)-1 return partfrac(x) def first_return(p,pre_p,y): x=shift(f(y)) while x&lt;pre_p or x&gt;p: x=shift(f(x)) return x a.append(1) x=orbit[0] if shift(f(orbit[0]))==0: print 'map with periodic point of order 2' return 1/2 if shift(f(orbit[0]))&lt;0: while shift(f(x))&lt;0: a[1]=a[1]+1 x = shift(f(x)) if a[1]&gt;A: print 'approximatively 0' return 0 if shift(f(x))==0: print 'periodic point' a[1]=a[1]+1 return 1/a[1] orbit.append(shift(x)) z = shift(f(x)) a.append(0) while z&gt;0: y = z z = first_return(shift(orbit[0]),shift(orbit[1]),z) a[2]=a[2]+1 if a[2]&gt;A: print 'approximatively rational' return 1/a[1] if z==0: print 'periodic point' a[2]=a[2]+1 return rational_approximation(a,1) orbit.append(y) if shift(f(orbit[0]))&gt;0: def shift(y): #set f(0) as the origin if partfrac(y)&gt;=orbit[0]: return partfrac(y)-1 return partfrac(y) orbit.append(orbit[0]-1) a.append(0) while shift(f(x))&gt;0: a[2] = a[2] + 1 x = shift(f(x)) if a[2]&gt;A: print 'approximatively rational' return 1/a[1] if shift(f(x))==0: print 'periodic point' a[2]=a[2]+1 return rational_approximation(a,1) orbit.append(shift(x)) z = shift(f(x)) for i in range(1,L): a.append(0) if shift(orbit[i+1])&lt;shift(orbit[i]): while z&gt;0: y = z z = first_return(shift(orbit[i]),shift(orbit[i+1]),z) a[i+2]=a[i+2]+1 if a[i+2]&gt;A: print 'approximatively rational' return rational_approximation(a,i) if z==0: print 'periodic point' a[i+2]=a[i+2]+1 return rational_approximation(a,i+1) if shift(orbit[i+1])&gt;shift(orbit[i]): while z&lt;0: y = z z = first_return(shift(orbit[i+1]),shift(orbit[i]),z) a[i+2]=a[i+2]+1 if a[i+2]&gt;A: print 'approximatively rational' return rational_approximation(a,i) if z==0: print 'periodic point' a[i+2]=a[i+2]+1 return rational_approximation(a,i+1) orbit.append(y) print a return rational_approximation(a,L) </code></pre> http://mathoverflow.net/questions/31716/counting-n-k-forests-of-binary-trees Counting $(n,k)$-forests of binary trees Michele Triestino 2010-07-13T15:21:52Z 2011-05-16T07:36:40Z <p>Given $k,n\in\mathbf{N}$ with $n\ge k$, define the set $\mathcal{F}(k,n)$ of $(k,n)$-forests of binary rooted trees (where a $(k,n)$-forest is a collection of $k$ rooted trees, which have a totality of $n$ leaves).</p> <p>My aim is to count the cardinality of $\mathcal{F}(k,n)$.</p> <p>For example it is well known that $|\mathcal{F}(1,n+1)|$ is given by the $n$-th Catalan number $c_n=\frac{1}{n+1}{{2n}\choose{n}}$.</p> <p>Using generating functions (and something like Maple), we have an explicit way to obtain any $f_{k,n}:=|\mathcal{F}(k,n)|$: if $C(z)$ denotes the generating function of $c_n$, then the $n-k$-th coefficient of $C(z)^k$ is exactly $f_{k,n}$.</p> <p>Isn't there any explicit formula for such numbers?</p> <p>Is there an asymptotic estimate and is it a good one?</p> http://mathoverflow.net/questions/59140/good-probability-measues-on-s1-reprented-by-a-kernel/59153#59153 Answer by Michele Triestino for Good probability measues on $S^1$ reprented by a kernel Michele Triestino 2011-03-22T08:45:47Z 2011-03-22T08:45:47Z <p>Perhaps this is not exactly what you are expecting, but it is anyway interesting.</p> <p>In topological dynamics, when you have a compact group $\Gamma$ acting on the circle with Haar measure $dg$, you define a $\Gamma$-invariant probability measure on $S^1$ by the formula $$\mu(A):=\int_\Gamma Leb(gA)dg$$ where $A$ is any Borel subset of $S^1$ and $Leb$ denotes the Lebesgue measure on the circle.</p> <p>This is an easy exercise, but if you want to find more, one possible reference is Navas' survey on <a href="http://arxiv.org/abs/math/0607481" rel="nofollow">Groups of circle diffeomorphisms</a></p> http://mathoverflow.net/questions/52302/how-about-this-book-topological-methods-in-group-theory/52308#52308 Answer by Michele Triestino for How about this book Topological Methods in Group Theory Michele Triestino 2011-01-17T12:22:04Z 2011-01-17T12:22:04Z <p>I can just review the first half of the book. In order, the short introduction of general topology is too short, a good reference would have been preferable. For the following, the theory of CW complexes requires a tough notation and technicalities in proofs and definitions. Furthermore, proofs are not so easy to read, since Geoghegan uses frequently expressions like "using Theorem 3.14.5 we get that..." so you are obliged to jump back many many times.</p> <p>Though, I've found this book pretty good. The spirit is always geometric and you can find a good amount of interesting results of the last three decades.</p> http://mathoverflow.net/questions/26821/is-thompsons-group-f-amenable/52307#52307 Answer by Michele Triestino for Is Thompson's Group F amenable? Michele Triestino 2011-01-17T11:58:53Z 2011-01-17T11:58:53Z <p>Shavgulidze's back.</p> <p>A new "proof" is now on the <a href="http://arxiv.org/abs/1101.2888" rel="nofollow">arxiv</a>.</p> <p>The first part contains what was correct in the previous preprint. In the last 5 pages he tries to give a suitable proof for the group $F$. The point is always the same: he looks for a good density on the space of partitions of the interval. The style is always the same: a few pages full of maths, with no explication.</p> http://mathoverflow.net/questions/44326/most-memorable-titles/44376#44376 Answer by Michele Triestino for Most memorable titles Michele Triestino 2010-10-31T20:40:35Z 2010-10-31T20:40:35Z <p><a href="http://arxiv.org/abs/1003.4494" rel="nofollow">A Midsummer Knot's Dream</a>, by Allison Henrich, Noël MacNaughton, Sneha Narayan, Oliver Pechenik, Robert Silversmith, Jennifer Townsend</p> <p>It is quite funny to read</p> http://mathoverflow.net/questions/38701/which-group-does-not-satisfy-the-tits-alternative/38708#38708 Answer by Michele Triestino for Which group does not satisfy the Tits alternative? Michele Triestino 2010-09-14T16:22:18Z 2010-09-27T09:06:58Z <p>There are also the <a href="http://en.wikipedia.org/wiki/Burnside_group" rel="nofollow">Burnside's groups</a> $B(m,n)$ for $n\ge 665$ odd: they are of exponential growth and have the law $x^n=1$ so that they cannot contain any free subgroup on two generators. The fact that they are not solvable follows by the theorem of Rosenblatt:</p> <p>"A f.g. solvable group is of exponential growth if and only if it contains a free sub-semigroup on two generators."</p> <p>You can find details on paragraphs VII.C.27/28 of Pierre de la Harpe's book <em>"Topics in Geometric Group Theory"</em> (Chicago Lectures in Mathematics, 2000)</p> http://mathoverflow.net/questions/39415/burnsides-lemma-and-geometry Burnside's Lemma and Geometry Michele Triestino 2010-09-20T18:32:26Z 2010-09-20T19:07:28Z <p>I think one of the most interesting results in Elementary Group Theory is the so-called "<a href="http://en.wikipedia.org/wiki/Burnside%27s_lemma" rel="nofollow">Burnside's Lemma</a>", counting the numbers of orbits of a (finite) group action.</p> <p>I wonder if there is any (interesting) application in Elementary Geometry (I mean Euclidean, hyperbolic or elliptic geometry).</p> <p>Searching on Google, I've found the article "<a href="http://users.wpi.edu/~bservat/strippat.pdf" rel="nofollow">Applying Burnside’s lemma to a one-dimensional Escher problem</a>" by T. Pisanski, but it sounds to me rather a combinatorial result.</p> http://mathoverflow.net/questions/31690/examples-of-non-diffeomorphic-smooth-manifolds-with-diffeomorphic-tangent-bundle Examples of non-diffeomorphic smooth manifolds with diffeomorphic tangent bundle Michele Triestino 2010-07-13T12:06:58Z 2010-07-14T14:44:27Z <p>Given a smooth manifold $M$, we define the differentiable structure on $TM$ in the usual way.</p> <p>I would like to know examples of two smooth manifolds which are non-diffeomorphic, but their tangent bundles are.</p> <p>Which is the smallest dimension in which one can find such examples?</p> <p>What if I ask the same question for $k$ pairwise non-diffeomorphic manifolds?</p> <p>Can we have $k=\infty$?</p> http://mathoverflow.net/questions/127799/recurrence-and-transience-of-cocycle-over-a-dynamical-system Comment by Michele Triestino Michele Triestino 2013-04-17T08:29:12Z 2013-04-17T08:29:12Z Classical Gottschalk-Hedlund's Theorem (see Theorem 2.9.4 in Katok-Hasselblatt) tells you that if you have a recurrent point then your cocycle is a coboundary: $\phi_n(x)=u(T^n(x))-u(x)$, with $u$ continuous function on $X$. http://mathoverflow.net/questions/118185/where-should-i-learn-about-immersion-theory Comment by Michele Triestino Michele Triestino 2013-03-09T12:19:25Z 2013-03-09T12:19:25Z You can also give a look on Vincent Borelli's page <a href="http://math.univ-lyon1.fr/~borrelli/Enseignement.html" rel="nofollow">math.univ-lyon1.fr/~borrelli/Enseignement.html</a> But every material is in French! http://mathoverflow.net/questions/120236/interesting-examples-of-minimal-action-on-torus Comment by Michele Triestino Michele Triestino 2013-01-30T12:24:30Z 2013-01-30T12:24:30Z When considering the one-dimensional torus, you have lots of interesting examples. The firsts coming to my mind are Fuchsian groups (of first kind) or the action of Thompson's group $G$. In the differentiable world there are many beautiful results and conjectures, as you can read in a paper by Deroin, Klepstyn and Navas (<a href="http://arxiv.org/pdf/0806.1974.pdf" rel="nofollow">arxiv.org/pdf/0806.1974.pdf</a>) http://mathoverflow.net/questions/105907/why-is-the-physical-space-equivalent-to-mathbbr3 Comment by Michele Triestino Michele Triestino 2012-08-30T07:25:09Z 2012-08-30T07:25:09Z Maybe I would add the word &quot;locally&quot;... and from a mathematical point of view, I would say that $\mathbb{R}$ is not only an algebraic construction (that would maybe be true for algebraic numbers), but you are strongly considering it's topology. http://mathoverflow.net/questions/39415/burnsides-lemma-and-geometry Comment by Michele Triestino Michele Triestino 2012-02-02T17:39:53Z 2012-02-02T17:39:53Z @Marty Thank you for your comment, that's why I wrote &quot;so-called&quot; http://mathoverflow.net/questions/59265/pi-nf0-implies-f-simeq-ast-h-nf0-implies-f-simeq-ast Comment by Michele Triestino Michele Triestino 2011-03-23T08:14:44Z 2011-03-23T08:14:44Z I think you ask $\pi_n(f)=0$ for any $n$, isn't it? http://mathoverflow.net/questions/40120/existence-of-finite-index-torsion-free-subgroups-of-hyperbolic-groups Comment by Michele Triestino Michele Triestino 2010-09-27T10:47:41Z 2010-09-27T10:47:41Z Gromov gave an example of a f.g. infinite torsion group acting on a space of nonpositive curvature in &#167;4.5C of Mikhail Gromov, Hyperbolic groups. Essays in group theory, 75--263, Math. Sci. Res. Inst. Publ., 8, Springer, New York, 1987 http://mathoverflow.net/questions/40040/a-question-about-open-subsets-of-hilbert-space Comment by Michele Triestino Michele Triestino 2010-09-26T17:56:46Z 2010-09-26T17:56:46Z Evidently, I was thinking of a real vector space.. Are you interested in complex Hilbert spaces? http://mathoverflow.net/questions/40040/a-question-about-open-subsets-of-hilbert-space Comment by Michele Triestino Michele Triestino 2010-09-26T17:50:33Z 2010-09-26T17:50:33Z Just a few questions: Why do you put so strict hypothesis (i.e. separability and Hilbert)? What about the finite-dimesional case (dim&gt;1)? What about Banach spaces? And if we remove completeness? http://mathoverflow.net/questions/39955/lateral-surface-area-of-a-region Comment by Michele Triestino Michele Triestino 2010-09-25T16:09:13Z 2010-09-25T16:09:13Z This is not the more appropriate place where to post such a question. Please, post it in <a href="http://math.stackexchange.com/" rel="nofollow">math.stackexchange.com</a> http://mathoverflow.net/questions/39907/the-vector-field-of-a-given-flow/39915#39915 Comment by Michele Triestino Michele Triestino 2010-09-24T23:41:43Z 2010-09-24T23:41:43Z That's really astonishing me.. I was thinking of a negative answer, since the exponential map $\mathrm{Vect}(S^1)\longrightarrow\mathrm{Diff}(S^1)$ is not locally surjective (see J. Milnor &quot;Remarks on infinite-dimensional Lie groups&quot;). So the key point is exactly the conjugation you have shown! http://mathoverflow.net/questions/39885/what-spaces-have-well-known-horofunctions Comment by Michele Triestino Michele Triestino 2010-09-24T19:17:17Z 2010-09-24T19:17:17Z and yet another silly question: does the same conclusion of my previous comment hold for discrete spaces (I'm thinking of graphs, trees actually)? http://mathoverflow.net/questions/39885/what-spaces-have-well-known-horofunctions Comment by Michele Triestino Michele Triestino 2010-09-24T18:54:30Z 2010-09-24T18:54:30Z Hi Pablo! Just to see if I've got something.. If X is compact there are no horofunctions, are there? http://mathoverflow.net/questions/39881/classification-of-p-groups-of-order-pn-with-rank-n-1 Comment by Michele Triestino Michele Triestino 2010-09-24T18:41:23Z 2010-09-24T18:41:23Z Maybe you are interested in this <a href="http://en.wikipedia.org/wiki/Extra_special_group" rel="nofollow">en.wikipedia.org/wiki/Extra_special_group</a> http://mathoverflow.net/questions/39831/why-is-the-string-group-not-a-lie-group Comment by Michele Triestino Michele Triestino 2010-09-24T07:48:17Z 2010-09-24T07:48:17Z thank you! you are right