Counting curves with bounded intersection
This paper counts curves, and multicurves, on hyperbolic surfaces, providing explicit upper bounds that depend polynomially on length and exponentially in terms of an upper bound on self-intersection.
arXiv subjects
Publications and source records attributed to Hugo Parlier.
This paper counts curves, and multicurves, on hyperbolic surfaces, providing explicit upper bounds that depend polynomially on length and exponentially in terms of an upper bound on self-intersection.
Given a surface of genus $g \geq 2$, its inf spectrum is the ordered multiset of inf lengths of curves on the surface, the infimum being over all hyperbolic metrics. We show that the inf spectrum has exponential growth with coefficients that only depend on g, improving the earlier double exponential upper bound. The proof involves developing a number of tools including the process of "thickening" a surface and the notion of model surfaces. These tools may be of independent interest.
By a celebrated result of Birman and Series, the set of simple complete geodesics form a nowhere dense subset of a hyperbolic surface. We show that a segment of finite length is in a (small) neighborhood of this set if it can be "extended simply" in both directions for long enough. We deduce that, for large enough genus $g$, there exist surfaces with a Birman-Series set that is roughly $\frac{1}{g^{\sfrac{2}{3}}}$-dense.
This article describes our experiences in mathematical outreach over the past decade. We talk about specific activities, but also general principles that we've learned along the way.
Let $X$ be a closed hyperbolic surface. We prove that the number of topological types of primitive closed geodesics of length at most $L$ is asymptotic to \[ \frac{1}{|\Isom(X)|}\frac{e^L}{2L}. \] as $L$ grows. Thus Huber's asymptotic remains unchanged after quotienting by topological type, up to the finite symmetry factor coming from the isometry group of $X$.
Hyperbolic surfaces are a fundamental object in mathematics and play an increasingly important role in computational geometry and topology. A key ingredient in the design of efficient algorithms on such surfaces is the availability of a geometric discretization of controlled complexity. In this paper, we present the first algorithm for constructing e-nets on hyperbolic surfaces starting from a fundamental polygon representation. Our approach is based on Delaunay refinement and relies on maintaining Delaunay triangulations through edge flips. The size of an e-net cannot be bounded solely as a function of the genus because of the presence of arbitrarily long collars around short geodesics. To overcome this difficulty, we introduce the notion of a pseudo e-net, which decomposes the surface into e-thin cylinders together with a Delaunay triangulation over an e-net of the remaining thick part. As applications, we obtain algorithms for computing the length spectrum of an e-thick hyperbolic surface and for computing the systole from a pseudo log(sqrt(2))-net. These results demonstrate that Delaunay-based discretizations provide a practical and versatile framework for algorithmic computations on hyperbolic surfaces.
This article introduces and studies the entropy spectrum of a hyperbolic surface, that is the set of entropies of its subsurfaces. The main results are that the entropy spectrum is a reverse well-ordered multiset, with finite multiplicities, and that there is a quantifiable gap around the value $1$. This gap comes from a counting result on the number of non-filling geodesics which in turn comes from explicit estimates on the number of curves on surfaces with boundary in terms of geometric data. The geometric data includes lengths of boundary geodesics and so-called boundary width, which measures maximal distance to the boundary but can also be interpreted in terms of the topology of the surface and the systole.
This paper is about closed hyperbolic surface amalgams with a focus on the growth of the number of closed geodesics. As in the case of surfaces, we show that topological and volume entropies coincide, but we show stark differences in how they behave according to geometric data with upper and lower bounds on the number of closed geodesics which depend on the length of the systole and the length of the pasting curves. In particular, we show that the entropy can increase exponentially in terms of the pasting length in the absence of a lower bound on the systole.
We determine the crossing number of polynomial size curve systems on standard surfaces, in terms of the genus, up to high precision.
This article gives a short proof that all ideal polygons admit a short orthogeodesic decomposition. Specifically, all $n$-gons admit an orthogeodesic decomposition with orthogeodesics all of length at most $\sim 2 \log(n)$, and this is roughly optimal.
We establish graded versions of Bridgeman's dilogarithm identity for hyperbolic cone surfaces, including surfaces with only cusps and cone points, and provide applications to the study of orthogeodesics.
Mathematics is often perceived as difficult or inaccessible, yet meaningful engagement can arise in unexpected places. In this article we describe a multi-year exploration of mathematical outreach through games, puzzles, exhibitions, and artistic activities. Starting from a small science festival exhibit, our work developed into a broad collection of experiences showcased at game festivals, museums, and the World Expos in Dubai (2021/2022) and Osaka (2025). We discuss the principles that shaped these activities -- simplicity, atmosphere, mediation, and progressive depth -- and how mathematical ideas from topology, geometry, and logic can be incorporated into playful and creative formats. The story illustrates how low-threshold engagement and carefully designed experiences can open doors to research-level mathematics for audiences of all ages and backgrounds.
This article describes a project called ReShape in which we created and designed a crowdsourced art initiative, inspired and powered by mathematics.
We study crossing numbers for systoles of congruence surfaces. Taken as a family of curves on a family of surfaces, we show that the growth rate of their intersection is optimally small among all sets of curves of the same cardinality lying on the same topological surface.
We identify a condition that prevents a hyperbolic space from being quasi-isometric to the curve complex of any non-sporadic surface. Our result applies to several hyperbolic complexes, including arc complexes, disk complexes, non-separating curve complexes, (hyperbolic) pants complexes, and to free splitting complexes of free groups.
We show a generalization of the crossing lemma for multi-graphs drawn on orientable surfaces in which pairs of edges are assumed to be drawn by non-homotopic simple arcs which pairwise cross at most $k$ times.
In this paper, we provide upper and lower bounds on the crossing numbers of dense graphs on surfaces, which match up to constant factors. First, we prove that if $G$ is a dense enough graph with $m$ edges and $Σ$ is a surface of genus $g$, then any drawing of $G$ on $Σ$ incurs at least $Ω\left(\frac{m^2}{g} \log ^2 g\right)$ crossings. The poly-logarithmic factor in this lower bound is new even in the case of complete graphs and disproves a conjecture of Shahrokhi, Székely and Vrt'o from 1996. Then we prove a geometric converse to this lower bound: we provide an explicit family of hyperbolic surfaces such that for any graph $G$, sampling the vertices uniformly at random on this surface and connecting them with shortest paths yields $O\left(\frac{m^2}{g} \log ^2 g\right)$ crossings in expectation.
We study the order of lengths of closed geodesics on hyperbolic surfaces. Our first main result is that the order of lengths of curves determine a point in Teichmüller space. In an opposite direction, we identify classes of curves whose order never changes, independently of the choice of hyperbolic metric. We use this result to identify short curves with small intersections on pairs of pants.