arXiv subjects

Samuel Lelièvre

Publications and source records attributed to Samuel Lelièvre.

13 recordsLinked to original sources

arXiv2024

Periodic paths on the pentagon, double pentagon and golden L

We give a tree structure on the set of all periodic directions on the golden L, which gives an associated tree structure on the set of periodic directions for the pentagon billiard table and double pentagon surface. We use this to give the periods of periodic directions on the pentagon and double pentagon. We also show examples of many periodic billiard trajectories on the pentagon, which are strikingly beautiful, and we describe some of their properties. Finally, we give conjectures and future directions based on experimental computer evidence.

math.DS↗

arXiv2021

Hyperbolic Staircases: Periodic Paths on $2g+1$-gons

The study of polygonal billiards, particularly those in the regular pentagon, has been the subject of two recent papers. One of these papers approaches the problem of discovering the periodic trajectories on the pentagon by identifying slopes of periodic directions with points in the Poincaré disk generated by hyperbolic isometric transformations. The other approach, coming from the other paper, transforms the double pentagon into a rectilinear translation surface called the 'golden L', where periodic directions are generated by a set of matrices associated with this surface in a special way. We connect and unify these two approaches, and use our unification of these results to generalize them to arbitrary $2g+1$-sided regular polygons.

math.DS↗

arXiv2017

Diffusion for the periodic wind-tree model

The periodic wind-tree model is an infinite billiard in the plane with identical rectangular scatterers disposed at each integer point. We prove that independently of the size of the scatterers, generically with respect to the angle, the polynomial diffusion rate in this billiard is 2/3.

math.DS↗

arXiv2016

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach

OpenDreamKit --- "Open Digital Research Environment Toolkit for the Advancement of Mathematics" --- is an H2020 EU Research Infrastructure project that aims at supporting, over the period 2015--2019, the ecosystem of open-source mathematical software systems. From that, OpenDreamKit will deliver a flexible toolkit enabling research groups to set up Virtual Research Environments, customised to meet the varied needs of research projects in pure mathematics and applications. An important step in the OpenDreamKit endeavor is to foster the interoperability between a variety of systems, ranging from computer algebra systems over mathematical databases to front-ends. This is the mission of the integration work package (WP6). We report on experiments and future plans with the \emph{Math-in-the-Middle} approach. This information architecture consists in a central mathematical ontology that documents the domain and fixes a joint vocabulary, combined with specifications of the functionalities of the various systems. Interaction between systems can then be enriched by pivoting off this information architecture.

cs.MS↗

arXiv2016

The Lagrange spectrum of some square-tiled surfaces

Lagrange spectra have been defined for closed submanifolds of the moduli space of translation surfaces which are invariant under the action of SL(2,R). We consider the closed orbit generated by a specific covering of degree 7 of the standard torus, which is an element of the stratum H(2). We give an explicit formula for the values in the spectrum, in terms of a cocycle over the classical continued fraction. Differently from the classical case of the modular surface, where the lowest part of the Lagrange spectrum is discrete, we find an isolated minimum, and a set with a rich structure right above it.

math.DS↗

arXiv2014

A sharper threshold for random groups at density one-half

In the density model of random groups, we consider presentations with any fixed number m of generators and many random relators of length l, sending l to infinity. If d is a "density" parameter measuring the rate of exponential growth of the number of relators compared to the length of relators, then many group-theoretic properties become generically true or generically false at different values of d. The signature theorem for this density model is a phase transition from triviality to hyperbolicity: for d < 1/2, random groups are a.a.s. infinite hyperbolic, while for d > 1/2, random groups are a.a.s. order one or two. We study random groups at the density threshold d = 1/2. Kozma had found that trivial groups are generic for a range of growth rates at d = 1/2; we show that infinite hyperbolic groups are generic in a different range. (We include an exposition of Kozma's previously unpublished argument, with slightly improved results, for completeness.)

math.GR↗

arXiv2011

The geometry of spheres in free abelian groups

We study word metrics on Z^d by developing tools that are fine enough to measure dependence on the generating set. We obtain counting and distribution results for the words of length n. With this, we show that counting measure on spheres always converges to a limit measure on a limit shape (strongly, in an appropriate sense). The existence of a limit measure is quite strong-even virtually abelian groups need not satisfy these kinds of asymptotic formulas. Using the limit measure, we can reduce probabilistic questions about word metrics to problems in convex geometry of Euclidean space. As an application, we give asymptotics for the spherical growth function with respect to any generating set, as well as statistics for other "size-like" functions.

math.GR↗

arXiv2011

Statistical hyperbolicity in groups

In this paper, we introduce a geometric statistic called the "sprawl" of a group with respect to a generating set, based on the average distance in the word metric between pairs of words of equal length. The sprawl quantifies a certain obstruction to hyperbolicity. Group presentations with maximum sprawl (i.e., without this obstruction) are called statistically hyperbolic. We first relate sprawl to curvature and show that nonelementary hyperbolic groups are statistically hyperbolic, then give some results for products, for Diestel-Leader graphs and lamplighter groups. In free abelian groups, the word metrics asymptotically approach norms induced by convex polytopes, causing the study of sprawl to reduce to a problem in convex geometry. We present an algorithm that computes sprawl exactly for any generating set, thus quantifying the failure of various presentations of Z^d to be hyperbolic. This leads to a conjecture about the extreme values, with a connection to the classic Mahler conjecture.

math.GR↗

arXiv2007

Multi-geodesic tessellations, fractional Dehn twists and uniformization of algebraic curves

Identifying parallel sides of a collection of Euclidean polygons yields a flat surface with cone points of angles multiples of 2 pi, naturally a compact Riemann surface but also an algebraic curve, and a hyperbolic surface. In general two different metrics on a surface have no geodesic arcs in common, but in special cases the surface is decomposed into polygons geodesic for both the flat and the hyperbolic metric. This is the case for certain surfaces which are translation and half-turn tiled by an Euclidean rectangle. We explore them in this paper. Their multi-geodesic tessellation provides a mechanical way to reconstruct a Fuchsian group for them; allows to describe their Teichmueller disk in terms of Fenchel-Nielsen coordinates; allows for an interpretation in terms of fractional Dehn twists of the natural PSL_2(Z) action on the PSL_2(R)-orbit of such surfaces. In many cases the tiling by rectangles allows to recover an equation for the corresponding algebraic curve, providing a bridge between the algebraic equation and the hyperbolic structure deduced from the multi-geodesic tessellation; in other words solving the uniformization problem for such curves. In fact it also gives a scheme to do uniformization for infinitely many families of curves. We also discuss some number theoretic aspects.

math.GT↗

arXiv2006

Orbitwise countings in H(2) and quasimodular forms

We prove formulae for the countings by orbit of square-tiled surfaces of genus two with one singularity. These formulae were conjectured by Hubert & Lelièvre. We show that these countings admit quasimodular forms as generating functions.

math.GT↗

arXiv2004

Prime arithmetic Teichmuller discs in H(2)

It is well-known that Teichmuller discs that pass through "integer points'' of the moduli space of abelian differentials are very special: they are closed complex geodesics. However, the structure of these special Teichmuller discs is mostly unexplored: their number, genus, area, cusps, etc. We prove that in genus two all translation surfaces in H(2) tiled by a prime number n > 3 of squares fall into exactly two Teichmuller discs, only one of them with elliptic points, and that the genus of these discs has a cubic growth rate in n.

math.GT↗

arXiv2004

Noncongruence subgroups in H(2)

We study the congruence problem for subgroups of the modular group that appear as Veech groups of square-tiled surfaces in the minimal stratum of abelian differentials of genus two.

math.GT↗

arXiv2002

Veech surfaces associated with rational billiards

A nice trick for studying the billiard flow in a rational polygon is to unfold the polygon along the trajectories. This gives rise to a translation or half-translation surface tiled by the original polygon, or equivalently an Abelian or quadratic differential. Veech surfaces are a special class of translation surfaces with a large group of affine automorphisms, and interesting dynamical properties. The first examples of Veech surfaces came from rational billiards. We first present the mathematical objects and fix some vocabulary and notation. Then we review known results about Veech surfaces arising from rational billiards. The interested reader will find annex tables on the author's web page.

math.GT↗