Showing 1–26 of 26 results for author: Bourque, F

The space of immersed polygons

Authors: Maxime Fortier Bourque

Abstract: We use the Schwarz-Christoffel formula to show that for every $n\geq 3$, the space of labelled immersed $n$-gons in the plane up to similarity is homeomorphic to $\mathbb{R}^{2n-4}$. We then prove that all immersed triangles, quadrilaterals, and pentagons are embedded, from which it follows that the space of labelled simple $n$-gons up to similarity is homeomorphic to $\mathbb{R}^{2n-4}$ if… ▽ More We use the Schwarz-Christoffel formula to show that for every $n\geq 3$, the space of labelled immersed $n$-gons in the plane up to similarity is homeomorphic to $\mathbb{R}^{2n-4}$. We then prove that all immersed triangles, quadrilaterals, and pentagons are embedded, from which it follows that the space of labelled simple $n$-gons up to similarity is homeomorphic to $\mathbb{R}^{2n-4}$ if $n\in \{3,4,5\}$. This was first shown by Gonzáles and López-López for $n=4$ and conjectured to be true for every $n\geq 5$ by González and Sedano-Mendoza. △ Less

Submitted 13 June, 2024; v1 submitted 4 June, 2024; originally announced June 2024.

Comments: v1: 7 pages, 2 figures. v2: fixed some typos

The extremal length systole of the cube punctured at its vertices

Authors: Samuel Dobchies, Maxime Fortier Bourque

Abstract: We prove that the extremal length systole of the cube punctured at its vertices is realized by the 12 curves surrounding its edges and give a characterization of the corresponding quadratic differentials, allowing us to estimate its value to high precision. The proof uses a mixture of exact calculations done using branched covers and elliptic integrals, together with estimates obtained using eithe… ▽ More We prove that the extremal length systole of the cube punctured at its vertices is realized by the 12 curves surrounding its edges and give a characterization of the corresponding quadratic differentials, allowing us to estimate its value to high precision. The proof uses a mixture of exact calculations done using branched covers and elliptic integrals, together with estimates obtained using either the geometry of geodesic trajectories on the cube or explicit conformal maps. △ Less

Submitted 30 March, 2024; originally announced April 2024.

Comments: 38 pages, 5 figures

Two counterexamples to a conjecture of Colin de Verdière on multiplicity

Authors: Maxime Fortier Bourque, Émile Gruda-Mediavilla, Bram Petri, Mathieu Pineault

Abstract: We exhibit closed hyperbolic surfaces of genus $10$ and $17$ such that the multiplicity of the first nonzero eigenvalue of their Laplacian is larger than the maximum conjectured by Yves Colin de Verdière in 1986. In order to determine these multiplicities, we apply the twisted Selberg trace formula to the representations induced by the isometry groups of these surfaces on corresponding triangle gr… ▽ More We exhibit closed hyperbolic surfaces of genus $10$ and $17$ such that the multiplicity of the first nonzero eigenvalue of their Laplacian is larger than the maximum conjectured by Yves Colin de Verdière in 1986. In order to determine these multiplicities, we apply the twisted Selberg trace formula to the representations induced by the isometry groups of these surfaces on corresponding triangle groups. △ Less

Submitted 6 December, 2023; originally announced December 2023.

Comments: 20 pages, 3 figures, 3 ancillary files

Failure of the well-rounded retract for Outer space and Teichmüller space

Authors: Maxime Fortier Bourque

Abstract: The well-rounded retract for $\mathrm{SL}_n(\mathbb{Z})$ is defined as the set of flat tori of unit volume and dimension $n$ whose systoles generate a finite-index subgroup in homology. This set forms an equivariant spine of minimal dimension for the space of flat tori. For both the Outer space $X_n$ of metric graphs of rank $n$ and the Teichmüller space $\mathcal{T}_g$ of closed hyperbolic surf… ▽ More The well-rounded retract for $\mathrm{SL}_n(\mathbb{Z})$ is defined as the set of flat tori of unit volume and dimension $n$ whose systoles generate a finite-index subgroup in homology. This set forms an equivariant spine of minimal dimension for the space of flat tori. For both the Outer space $X_n$ of metric graphs of rank $n$ and the Teichmüller space $\mathcal{T}_g$ of closed hyperbolic surfaces of genus $g$, we show that the literal analogue of the well-rounded retract does not contain an equivariant spine. We also prove that the sets of graphs whose systoles fill either topologically or geometrically (two analogues of a set proposed as a spine for $\mathcal{T}_g$ by Thurston) are spines for $X_n$ but that their dimension is larger than the virtual cohomological dimension of $\mathrm{Out}(F_n)$ in general. △ Less

Submitted 18 October, 2023; v1 submitted 14 March, 2023; originally announced March 2023.

Comments: v1: 8 pages. v2: Clarified that the Teichmüller space result is with respect to the extended map** class group. v3: Modified the proof to work for the map** class group too. v4: Modified terminology and made minor corrections

Linear programming bounds for hyperbolic surfaces

Authors: Maxime Fortier Bourque, Bram Petri

Abstract: We adapt linear programming methods from sphere packings to closed hyperbolic surfaces and obtain new upper bounds on their systole, their kissing number, the first positive eigenvalue of their Laplacian, the multiplicity of their first eigenvalue, and their number of small eigenvalues. Apart from a few exceptions, the resulting bounds are the current best known both in low genus and as the genus… ▽ More We adapt linear programming methods from sphere packings to closed hyperbolic surfaces and obtain new upper bounds on their systole, their kissing number, the first positive eigenvalue of their Laplacian, the multiplicity of their first eigenvalue, and their number of small eigenvalues. Apart from a few exceptions, the resulting bounds are the current best known both in low genus and as the genus tends to infinity. Our methods also provide lower bounds on the systole (achieved in genus $2$ to $7$, $14$, and $17$) that are sufficient for surfaces to have a spectral gap larger than $1/4$. △ Less

Submitted 13 March, 2023; v1 submitted 5 February, 2023; originally announced February 2023.

Comments: v1: 53 pages, 6 plots, 7 tables, 20 ancillary files. v2: corrected a mistake in one of the ancillary files, which changed some values in Table 3 and Figure 1(c)

The dimension of Thurston's spine

Authors: Maxime Fortier Bourque

Abstract: We show that for every $\varepsilon>0$, there exists some $g\geq 2$ such that the set of closed hyperbolic surfaces of genus $g$ whose systoles fill has dimension at least $(5-\varepsilon) g$. In particular, the dimension of this set -- proposed as a spine for moduli space by Thurston -- is larger than the virtual cohomological dimension of the map** class group. We show that for every $\varepsilon>0$, there exists some $g\geq 2$ such that the set of closed hyperbolic surfaces of genus $g$ whose systoles fill has dimension at least $(5-\varepsilon) g$. In particular, the dimension of this set -- proposed as a spine for moduli space by Thurston -- is larger than the virtual cohomological dimension of the map** class group. △ Less

Submitted 18 October, 2023; v1 submitted 16 November, 2022; originally announced November 2022.

Comments: Updated to published version

Journal ref: Int. Math. Res. Not. IMRN (2023), rnad211

The Klein quartic maximizes the multiplicity of the first positive eigenvalue of the Laplacian

Authors: Maxime Fortier Bourque, Bram Petri

Abstract: We prove that Klein quartic maximizes the multiplicity of the first positive eigenvalue of the Laplacian among all closed hyperbolic surfaces of genus $3$, with multiplicity equal to $8$. We also obtain partial results in genus $2$, where we find that the maximum multiplicity is between $3$ and $6$. Along the way, we show that for every $g\geq 2$, there exists some $δ_g>0$ such that the multiplici… ▽ More We prove that Klein quartic maximizes the multiplicity of the first positive eigenvalue of the Laplacian among all closed hyperbolic surfaces of genus $3$, with multiplicity equal to $8$. We also obtain partial results in genus $2$, where we find that the maximum multiplicity is between $3$ and $6$. Along the way, we show that for every $g\geq 2$, there exists some $δ_g>0$ such that the multiplicity of any eigenvalue of the Laplacian on a closed hyperbolic surface of genus $g$ in the interval $[0,1/4+δ_g]$ is at most $2g-1$ despite the fact that this interval can contain arbitrarily many eigenvalues. This extends a result of Otal to a larger interval but with a weaker bound, which nevertheless improves upon the general upper bound of Sévennec. △ Less

Submitted 10 August, 2023; v1 submitted 29 November, 2021; originally announced November 2021.

Comments: v1: 28 pages, 2 figures, Sage worksheets for computer-assisted proofs available under ancillary files. v2: Minor corrections made to some ancillary files and the proofs of Propositions 5.5 and 5.6. v3: Small correction made to subsection 5.1. To appear in Journal of Differential Geometry

The extremal length systole of the Bolza surface

Authors: Maxime Fortier Bourque, Dídac Martínez-Granado, Franco Vargas Pallete

Abstract: We prove that the extremal length systole of genus two surfaces attains a strict local maximum at the Bolza surface, where it takes the value $\sqrt{2}$. We prove that the extremal length systole of genus two surfaces attains a strict local maximum at the Bolza surface, where it takes the value $\sqrt{2}$. △ Less

Submitted 21 May, 2021; v1 submitted 9 May, 2021; originally announced May 2021.

Comments: 39 pages, 11 figures

A divergent horocycle in the horofunction compactification of the Teichmüller metric

Authors: Maxime Fortier Bourque

Abstract: We give an example of a horocycle in the Teichmüller space of the five-times-punctured sphere that does not converge in the Gardiner--Masur compactification, or equivalently in the horofunction compactification of the Teichmüller metric. As an intermediate step, we exhibit a simple closed curve whose extremal length is periodic but not constant along the horocycle. The example lifts to any Teichmü… ▽ More We give an example of a horocycle in the Teichmüller space of the five-times-punctured sphere that does not converge in the Gardiner--Masur compactification, or equivalently in the horofunction compactification of the Teichmüller metric. As an intermediate step, we exhibit a simple closed curve whose extremal length is periodic but not constant along the horocycle. The example lifts to any Teichmüller space of complex dimension greater than one via covering constructions. △ Less

Submitted 9 December, 2019; v1 submitted 23 November, 2019; originally announced November 2019.

Comments: 16 pages, 2 figures

Kissing numbers of regular graphs

Authors: Maxime Fortier Bourque, Bram Petri

Abstract: We prove a sharp upper bound on the number of shortest cycles contained inside any connected graph in terms of its number of vertices, girth, and maximal degree. Equality holds only for Moore graphs, which gives a new characterization of these graphs. In the case of regular graphs, our result improves an inequality of Teo and Koh. We also show that a subsequence of the Ramanujan graphs of Lubotzky… ▽ More We prove a sharp upper bound on the number of shortest cycles contained inside any connected graph in terms of its number of vertices, girth, and maximal degree. Equality holds only for Moore graphs, which gives a new characterization of these graphs. In the case of regular graphs, our result improves an inequality of Teo and Koh. We also show that a subsequence of the Ramanujan graphs of Lubotzky-Phillips-Sarnak have super-linear kissing numbers. △ Less

Submitted 27 September, 2019; originally announced September 2019.

Comments: 17 pages, 1 figure

Kissing numbers of closed hyperbolic manifolds

Authors: Maxime Fortier Bourque, Bram Petri

Abstract: We prove an upper bound for the number of shortest closed geodesics in a closed hyperbolic manifold of any dimension in terms of its volume and systole, generalizing a theorem of Parlier for surfaces. We also obtain bounds on the number of primitive closed geodesics with length in a given interval that are uniform for all closed hyperbolic manifolds with bounded geometry. The proofs rely on the Se… ▽ More We prove an upper bound for the number of shortest closed geodesics in a closed hyperbolic manifold of any dimension in terms of its volume and systole, generalizing a theorem of Parlier for surfaces. We also obtain bounds on the number of primitive closed geodesics with length in a given interval that are uniform for all closed hyperbolic manifolds with bounded geometry. The proofs rely on the Selberg trace formula. △ Less

Submitted 27 May, 2019; originally announced May 2019.

Comments: 16 pages

Hyperbolic surfaces with sublinearly many systoles that fill

Authors: Maxime Fortier Bourque

Abstract: For any $\varepsilon>0$, we construct a closed hyperbolic surface of genus $g=g(\varepsilon)$ with a set of at most $\varepsilon g$ systoles that fill, meaning that each component of the complement of their union is contractible. This surface is also a critical point of index at most $\varepsilon g$ for the systole function, disproving the lower bound of $2g-1$ posited by Schmutz Schaller. For any $\varepsilon>0$, we construct a closed hyperbolic surface of genus $g=g(\varepsilon)$ with a set of at most $\varepsilon g$ systoles that fill, meaning that each component of the complement of their union is contractible. This surface is also a critical point of index at most $\varepsilon g$ for the systole function, disproving the lower bound of $2g-1$ posited by Schmutz Schaller. △ Less

Submitted 7 October, 2019; v1 submitted 3 April, 2019; originally announced April 2019.

Comments: 19 pages, 1 figure. To appear in Commentarii Mathematici Helvetici

Local maxima of the systole function

Authors: Maxime Fortier Bourque, Kasra Rafi

Abstract: We construct infinite families of closed hyperbolic surfaces that are local maxima for the systole function on their respective moduli spaces. The systole takes values along a linearly divergent sequence $(L_n)_{n\geq 1}$ at these local maxima. The only surface corresponding to $L_1\approx 3.057$ is the Bolza surface in genus $2$. For every genus $g\geq 13$, we obtain either one or two local maxim… ▽ More We construct infinite families of closed hyperbolic surfaces that are local maxima for the systole function on their respective moduli spaces. The systole takes values along a linearly divergent sequence $(L_n)_{n\geq 1}$ at these local maxima. The only surface corresponding to $L_1\approx 3.057$ is the Bolza surface in genus $2$. For every genus $g\geq 13$, we obtain either one or two local maxima in $\mathcal{M}_g$ whose systoles have length $L_2\approx 5.909$. For each $n\geq 3$, there is an arithmetic sequence of genera $(g_k)_{k\geq 1}$ such that the number of local maxima of the systole function in $\mathcal{M}_{g_k}$ at height $L_n$ grows super-exponentially in $g_k$. In particular, level sets of the systole function can have an arbitrarily large number of connected components. Many of the surfaces we construct have trivial automorphism group, and are the first examples of local maxima with this property. △ Less

Submitted 16 September, 2018; v1 submitted 22 July, 2018; originally announced July 2018.

Comments: 39 pages, 19 figures

Study of Silicon Photomultiplier Performance in External Electric Fields

Authors: X. L. Sun, T. Tolba, G. F. Cao, P. Lv, L. J. Wen, A. Odian, F. Vachon, A. Alamre, J. B. Albert, G. Anton, I. J. Arnquist, I. Badhrees, P. S. Barbeau, D. Beck, V. Belov, T. Bhatta, F. Bourque, J. P. Brodsky, E. Brown, T. Brunner, A. Burenkov, L. Cao, W. R. Cen, C. Chambers, S. A. Charlebois , et al. (127 additional authors not shown)

Abstract: We report on the performance of silicon photomultiplier (SiPM) light sensors operating in electric field strength up to 30 kV/cm and at a temperature of 149K, relative to their performance in the absence of an external electric field. The SiPM devices used in this study show stable gain, photon detection efficiency, and rates of correlated pulses, when exposed to external fields, within the estima… ▽ More We report on the performance of silicon photomultiplier (SiPM) light sensors operating in electric field strength up to 30 kV/cm and at a temperature of 149K, relative to their performance in the absence of an external electric field. The SiPM devices used in this study show stable gain, photon detection efficiency, and rates of correlated pulses, when exposed to external fields, within the estimated uncertainties. No observable physical damage to the bulk or surface of the devices was caused by the exposure. △ Less

Submitted 9 July, 2018; originally announced July 2018.

Comments: 16 pages, 12 figures, 2 tables and two conferences (INPC2016 and TIPP2017)

Imaging individual barium atoms in solid xenon for barium tagging in nEXO

Authors: C. Chambers, T. Walton, D. Fairbank, A. Craycraft, D. R. Yahne, J. Todd, A. Iverson, W. Fairbank, A. Alamare, J. B. Albert, G. Anton, I. J. Arnquist, I. Badhrees, P. S. Barbeau, D. Beck, V. Belov, T. Bhatta, F. Bourque, J. P. Brodsky, E. Brown, T. Brunner, A. Burenkov, G. F. Cao, L. Cao, W. R. Cen , et al. (126 additional authors not shown)

Abstract: The search for neutrinoless double beta decay probes the fundamental properties of neutrinos, including whether or not the neutrino and antineutrino are distinct. Double beta detectors are large and expensive, so background reduction is essential for extracting the highest sensitivity. The identification, or 'tagging', of the $^{136}$Ba daughter atom from double beta decay of $^{136}$Xe provides a… ▽ More The search for neutrinoless double beta decay probes the fundamental properties of neutrinos, including whether or not the neutrino and antineutrino are distinct. Double beta detectors are large and expensive, so background reduction is essential for extracting the highest sensitivity. The identification, or 'tagging', of the $^{136}$Ba daughter atom from double beta decay of $^{136}$Xe provides a technique for eliminating backgrounds in the nEXO neutrinoless double beta decay experiment. The tagging scheme studied in this work utilizes a cryogenic probe to trap the barium atom in solid xenon, where the barium atom is tagged via fluorescence imaging in the solid xenon matrix. Here we demonstrate imaging and counting of individual atoms of barium in solid xenon by scanning a focused laser across a solid xenon matrix deposited on a sapphire window. When the laser sits on an individual atom, the fluorescence persists for $\sim$30~s before drop** abruptly to the background level, a clear confirmation of one-atom imaging. No barium fluorescence persists following evaporation of a barium deposit to a limit of $\leq$0.16\%. This is the first time that single atoms have been imaged in solid noble element. It establishes the basic principle of a barium tagging technique for nEXO. △ Less

Submitted 12 December, 2018; v1 submitted 27 June, 2018; originally announced June 2018.

nEXO Pre-Conceptual Design Report

Authors: nEXO Collaboration, S. Al Kharusi, A. Alamre, J. B. Albert, M. Alfaris, G. Anton, I. J. Arnquist, I. Badhrees, P. S. Barbeau, D. Beck, V. Belov, T. Bhatta, F. Bourque, J. P. Brodsky, E. Brown, T. Brunner, A. Burenkov, G. F. Cao, L. Cao, W. R. Cen, C. Chambers, S. A. Charlebois, M. Chiu, B. Cleveland, R. Conley , et al. (149 additional authors not shown)

Abstract: The projected performance and detector configuration of nEXO are described in this pre-Conceptual Design Report (pCDR). nEXO is a tonne-scale neutrinoless double beta ($0νββ$) decay search in $^{136}$Xe, based on the ultra-low background liquid xenon technology validated by EXO-200. With $\simeq$ 5000 kg of xenon enriched to 90% in the isotope 136, nEXO has a projected half-life sensitivity of app… ▽ More The projected performance and detector configuration of nEXO are described in this pre-Conceptual Design Report (pCDR). nEXO is a tonne-scale neutrinoless double beta ($0νββ$) decay search in $^{136}$Xe, based on the ultra-low background liquid xenon technology validated by EXO-200. With $\simeq$ 5000 kg of xenon enriched to 90% in the isotope 136, nEXO has a projected half-life sensitivity of approximately $10^{28}$ years. This represents an improvement in sensitivity of about two orders of magnitude with respect to current results. Based on the experience gained from EXO-200 and the effectiveness of xenon purification techniques, we expect the background to be dominated by external sources of radiation. The sensitivity increase is, therefore, entirely derived from the increase of active mass in a monolithic and homogeneous detector, along with some technical advances perfected in the course of a dedicated R&D program. Hence the risk which is inherent to the construction of a large, ultra-low background detector is reduced, as the intrinsic radioactive contamination requirements are generally not beyond those demonstrated with the present generation $0νββ$ decay experiments. Indeed, most of the required materials have been already assayed or reasonable estimates of their properties are at hand. The details described herein represent the base design of the detector configuration as of early 2018. Where potential design improvements are possible, alternatives are discussed. This design for nEXO presents a compelling path towards a next generation search for $0νββ$, with a substantial possibility to discover physics beyond the Standard Model. △ Less

Submitted 13 August, 2018; v1 submitted 28 May, 2018; originally announced May 2018.

Comments: 182 pages, minor revisions

Characterization of an Ionization Readout Tile for nEXO

Authors: nEXO Collaboration, M. Jewell, A. Schubert, W. R. Cen, J. Dalmasson, R. DeVoe, L. Fabris, G. Gratta, A. Jamil, G. Li, A. Odian, M. Patel, A. Pocar, D. Qiu, Q. Wang, L. J. Wen, J. B. Albert, G. Anton, I. J. Arnquist, I. Badhrees, P. Barbeau, D. Beck, V. Belov, F. Bourque, J. P. Brodsky , et al. (120 additional authors not shown)

Abstract: A new design for the anode of a time projection chamber, consisting of a charge-detecting "tile", is investigated for use in large scale liquid xenon detectors. The tile is produced by depositing 60 orthogonal metal charge-collecting strips, 3~mm wide, on a 10~\si{\cm} $\times$ 10~\si{\cm} fused-silica wafer. These charge tiles may be employed by large detectors, such as the proposed tonne-scale n… ▽ More A new design for the anode of a time projection chamber, consisting of a charge-detecting "tile", is investigated for use in large scale liquid xenon detectors. The tile is produced by depositing 60 orthogonal metal charge-collecting strips, 3~mm wide, on a 10~\si{\cm} $\times$ 10~\si{\cm} fused-silica wafer. These charge tiles may be employed by large detectors, such as the proposed tonne-scale nEXO experiment to search for neutrinoless double-beta decay. Modular by design, an array of tiles can cover a sizable area. The width of each strip is small compared to the size of the tile, so a Frisch grid is not required. A grid-less, tiled anode design is beneficial for an experiment such as nEXO, where a wire tensioning support structure and Frisch grid might contribute radioactive backgrounds and would have to be designed to accommodate cycling to cryogenic temperatures. The segmented anode also reduces some degeneracies in signal reconstruction that arise in large-area crossed-wire time projection chambers. A prototype tile was tested in a cell containing liquid xenon. Very good agreement is achieved between the measured ionization spectrum of a $^{207}$Bi source and simulations that include the microphysics of recombination in xenon and a detailed modeling of the electrostatic field of the detector. An energy resolution $σ/E$=5.5\% is observed at 570~\si{keV}, comparable to the best intrinsic ionization-only resolution reported in literature for liquid xenon at 936~V/\si{cm}. △ Less

Submitted 19 January, 2018; v1 submitted 13 October, 2017; originally announced October 2017.

Comments: 18 pages, 13 figures, as published

Journal ref: 2018 JINST 13 P01006

Sensitivity and discovery potential of the proposed nEXO experiment to neutrinoless double beta decay

Authors: nEXO Collaboration, J. B. Albert, G. Anton, I. J. Arnquist, I. Badhrees, P. S. Barbeau, D. Beck, V. Belov, F. Bourque, J. P. Brodsky, E. Brown, T. Brunner, A. Burenkov, G. F. Cao, L. Cao, W. R. Cen, C. Chambers, S. A. Charlebois, M. Chiu, B. Cleveland, M. Coon, M. Côté, A. Craycraft, W. Cree, J. Dalmasson , et al. (121 additional authors not shown)

Abstract: The next-generation Enriched Xenon Observatory (nEXO) is a proposed experiment to search for neutrinoless double beta ($0νββ$) decay in $^{136}$Xe with a target half-life sensitivity of approximately $10^{28}$ years using $5\times10^3$ kg of isotopically enriched liquid-xenon in a time projection chamber. This improvement of two orders of magnitude in sensitivity over current limits is obtained by… ▽ More The next-generation Enriched Xenon Observatory (nEXO) is a proposed experiment to search for neutrinoless double beta ($0νββ$) decay in $^{136}$Xe with a target half-life sensitivity of approximately $10^{28}$ years using $5\times10^3$ kg of isotopically enriched liquid-xenon in a time projection chamber. This improvement of two orders of magnitude in sensitivity over current limits is obtained by a significant increase of the $^{136}$Xe mass, the monolithic and homogeneous configuration of the active medium, and the multi-parameter measurements of the interactions enabled by the time projection chamber. The detector concept and anticipated performance are presented based upon demonstrated realizable background rates. △ Less

Submitted 19 October, 2018; v1 submitted 13 October, 2017; originally announced October 2017.

Comments: v2 as published

Report number: LLNL-JRNL-737682

Journal ref: Phys. Rev. C 97, 065503 (2018)

Toy Teichmüller spaces of real dimension 2: the pentagon and the punctured triangle

Authors: Yudong Chen, Roman Chernov, Marco Flores, Maxime Fortier Bourque, Seewoo Lee, Bowen Yang

Abstract: We study two $2$-dimensional Teichmüller spaces of surfaces with boundary and marked points, namely, the pentagon and the punctured triangle. We show that their geometry is quite different from Teichmüller spaces of closed surfaces. Indeed, both spaces are exhausted by regular convex geodesic polygons with a fixed number of sides, and their geodesics diverge at most linearly. We study two $2$-dimensional Teichmüller spaces of surfaces with boundary and marked points, namely, the pentagon and the punctured triangle. We show that their geometry is quite different from Teichmüller spaces of closed surfaces. Indeed, both spaces are exhausted by regular convex geodesic polygons with a fixed number of sides, and their geodesics diverge at most linearly. △ Less

Submitted 13 April, 2017; originally announced April 2017.

Comments: 35 pages, 18 figures

MSC Class: 30F60; 32G15

Journal ref: Geom. Dedicata 197 (2018), 193-227

Non-convex balls in the Teichmüller metric

Authors: Maxime Fortier Bourque, Kasra Rafi

Abstract: We prove that the Teichmüller space of surfaces of genus $\mathbf{g}$ with $\mathbf{p}$ punctures contains balls which are not convex in the Teichmüller metric whenever $3\mathbf{g}-3+\mathbf{p} > 1$. We prove that the Teichmüller space of surfaces of genus $\mathbf{g}$ with $\mathbf{p}$ punctures contains balls which are not convex in the Teichmüller metric whenever $3\mathbf{g}-3+\mathbf{p} > 1$. △ Less

Submitted 29 August, 2017; v1 submitted 16 June, 2016; originally announced June 2016.

Comments: 34 pages, 6 figures

MSC Class: 30F60

Journal ref: J. Differential Geom. 110 (2018), 379-412

The holomorphic couch theorem

Authors: Maxime Fortier Bourque

Abstract: We prove that if two conformal embeddings between Riemann surfaces with finite topology are homotopic, then they are isotopic through conformal embeddings. Furthermore, we show that the space of all conformal embeddings in a given homotopy class deformation retracts into a point, a circle, a torus, or the unit tangent bundle of the codomain, depending on the induced homomorphism on fundamental gro… ▽ More We prove that if two conformal embeddings between Riemann surfaces with finite topology are homotopic, then they are isotopic through conformal embeddings. Furthermore, we show that the space of all conformal embeddings in a given homotopy class deformation retracts into a point, a circle, a torus, or the unit tangent bundle of the codomain, depending on the induced homomorphism on fundamental groups. Quadratic differentials play a central role in the proof. △ Less

Submitted 15 September, 2017; v1 submitted 18 March, 2015; originally announced March 2015.

Comments: 70 pages, 13 figures. Sections 4 and 8 modified following referee's report

MSC Class: 30F60; 30C75; 32H02

Journal ref: Invent. Math. 212 (2018), 319-406

The converse of the Schwarz Lemma is false

Authors: Maxime Fortier Bourque

Abstract: Let $h:X \to Y$ be a homeomorphism between hyperbolic surfaces with finite topology. If $h$ is homotopic to a holomorphic map, then every closed geodesic in $X$ is at least as long as the corresponding geodesic in $Y$, by the Schwarz Lemma. The converse holds trivially when $X$ and $Y$ are disks or annuli, and it holds when $X$ and $Y$ are closed surfaces by a theorem of W. Thurston. We prove that… ▽ More Let $h:X \to Y$ be a homeomorphism between hyperbolic surfaces with finite topology. If $h$ is homotopic to a holomorphic map, then every closed geodesic in $X$ is at least as long as the corresponding geodesic in $Y$, by the Schwarz Lemma. The converse holds trivially when $X$ and $Y$ are disks or annuli, and it holds when $X$ and $Y$ are closed surfaces by a theorem of W. Thurston. We prove that the converse is false in all other cases, strengthening a result of Masumoto. △ Less

Submitted 3 September, 2015; v1 submitted 21 November, 2014; originally announced November 2014.

Comments: 8 pages, 2 figures

MSC Class: 30F45; 30F60; 32G15

Journal ref: Ann. Acad. Sci. Fenn. Math. 41 (2016), 235-241

Conformal grafting and convergence of Fenchel-Nielsen twist coordinates

Authors: Maxime Fortier Bourque

Abstract: We cut a hyperbolic surface of finite area along some analytic simple closed curves, and glue in cylinders of varying moduli. We prove that as the moduli of the glued cylinders go to infinity, the Fenchel-Nielsen twist coordinates for the resulting surface around those cylinders converge. We cut a hyperbolic surface of finite area along some analytic simple closed curves, and glue in cylinders of varying moduli. We prove that as the moduli of the glued cylinders go to infinity, the Fenchel-Nielsen twist coordinates for the resulting surface around those cylinders converge. △ Less

Submitted 23 September, 2014; v1 submitted 31 August, 2014; originally announced September 2014.

Comments: 18 pages, 4 figures

MSC Class: 30F60 (Primary) 30F45 (Secondary

Journal ref: Conform. Geom. Dyn. 19 (2015), 1-18

Finitely connected domains, Rational maps and Ahlfors functions

Authors: Maxime Fortier Bourque, Malik Younsi

Abstract: Using Ahlfors functions, Grunsky maps and the Bell representation theorem, we show that a certain subset of the rational maps of degree $n$ forms a trivial bundle over the moduli space of non-degenerate $n$-connected domains with one marked tangent vector with fiber the $n$-fold symmetric product of the circle. A consequence is that the set of rational Ahlfors functions of degree $n$ forms a close… ▽ More Using Ahlfors functions, Grunsky maps and the Bell representation theorem, we show that a certain subset of the rational maps of degree $n$ forms a trivial bundle over the moduli space of non-degenerate $n$-connected domains with one marked tangent vector with fiber the $n$-fold symmetric product of the circle. A consequence is that the set of rational Ahlfors functions of degree $n$ forms a closed embedded submanifold inside the space of rational maps of degree $n$. As an application, we show the existence of rational Ahlfors functions with non-positive residues, resolving a question left open in a previous paper by the authors. △ Less

Submitted 11 September, 2013; originally announced September 2013.

Comments: 20 pages

MSC Class: primary 32G15; secondary 26C15

Rational Ahlfors Functions

Authors: Maxime Fortier Bourque, Malik Younsi

Abstract: We study a problem of Jeong and Taniguchi asking to find all rational maps which are Ahlfors functions. We prove that the rational Ahlfors functions of degree two are characterized by having positive residues at their poles. We then show that this characterization does not generalize to higher degrees, with the help of a numerical method for the computation of analytic capacity. We also provide ex… ▽ More We study a problem of Jeong and Taniguchi asking to find all rational maps which are Ahlfors functions. We prove that the rational Ahlfors functions of degree two are characterized by having positive residues at their poles. We then show that this characterization does not generalize to higher degrees, with the help of a numerical method for the computation of analytic capacity. We also provide examples of rational Ahlfors functions in all degrees. △ Less

Submitted 6 June, 2014; v1 submitted 18 July, 2013; originally announced July 2013.

Comments: 26 pages, 6 figures, to appear in Constructive Approximation

MSC Class: primary 30C85; 30C20; secondary 30F10; 65E05

Journal ref: Constr. Approx. 41 (2015), no. 1, 157-183

Optimal Sensor Configurations for Rectangular Target Dectection

Authors: François-Alex Bourque, Bao U. Nguyen

Abstract: Optimal search strategies where targets are observed at several different angles are found. Targets are assumed to exhibit rectangular symmetry and have a uniformly-distributed orientation. By rectangular symmetry, it is meant that one side of a target is the mirror image of its opposite side. Finding an optimal solution is generally a hard problem. Fortunately, symmetry principles allow analytica… ▽ More Optimal search strategies where targets are observed at several different angles are found. Targets are assumed to exhibit rectangular symmetry and have a uniformly-distributed orientation. By rectangular symmetry, it is meant that one side of a target is the mirror image of its opposite side. Finding an optimal solution is generally a hard problem. Fortunately, symmetry principles allow analytical and intuitive solutions to be found. One such optimal search strategy consists of choosing n angles evenly separated on the half-circle and leads to a lower bound of the probability of not detecting targets. As no prior knowledge of the target orientation is required, such search strategies are also robust, a desirable feature in search and detection missions. △ Less

Submitted 3 June, 2011; originally announced June 2011.

Comments: 6 pages, 2 figures