Showing 1–17 of 17 results for author: Teyssier, L

Sharp character bounds and cutoff profiles for symmetric groups

Authors: Sam Olesker-Taylor, Lucas Teyssier, Paul Thévenin

Abstract: We develop a flexible technique to estimate the characters of symmetric groups, via the Murnaghan--Nakayama rule, the Larsen--Shalev character bounds, the Naruse hook length formula, and appropriate diagram slicings. This allows us to prove sharp character bounds as well as asymptotic equivalents for characters of low-level representations. We also prove an optimal uniform character bound. As a re… ▽ More We develop a flexible technique to estimate the characters of symmetric groups, via the Murnaghan--Nakayama rule, the Larsen--Shalev character bounds, the Naruse hook length formula, and appropriate diagram slicings. This allows us to prove sharp character bounds as well as asymptotic equivalents for characters of low-level representations. We also prove an optimal uniform character bound. As a result, we prove under a mild condition on the support size that random walks on symmetric groups generated by a conjugacy class exhibit a total variation and $L^2$ cutoff and find their cutoff profiles. △ Less

Submitted 16 March, 2025; originally announced March 2025.

Comments: 65 pages, comments welcome!

MSC Class: 20C30 (Primary) 60J10; 05E10 (Secondary)

Characters of symmetric groups: sharp bounds on virtual degrees and the Witten zeta function

Authors: Lucas Teyssier, Paul Thévenin

Abstract: We prove sharp bounds on the virtual degrees introduced by Larsen and Shalev. This leads to improved bounds on characters of symmetric groups. We then sharpen bounds of Liebeck and Shalev concerning the Witten zeta function. Our main application is a characterization of the fixed-point free conjugacy classes whose associated random walk mixes in 2 steps. We prove sharp bounds on the virtual degrees introduced by Larsen and Shalev. This leads to improved bounds on characters of symmetric groups. We then sharpen bounds of Liebeck and Shalev concerning the Witten zeta function. Our main application is a characterization of the fixed-point free conjugacy classes whose associated random walk mixes in 2 steps. △ Less

Submitted 24 April, 2025; v1 submitted 6 November, 2024; originally announced November 2024.

Comments: v3: 50 pages, 12 figures. More general bounds and an application to random maps were added. v2: 44 pages, 12 figures. We added character bounds in function of the number of cycles and two applications. v1: 37 pages, 11 figures. Comments welcome!

MSC Class: 20C30; 60J10; 05E10

Analytic normal forms for planar resonant saddle vector fields

Authors: Loïc Teyssier

Abstract: We give essentially unique ``normal forms'' for germs of a holomorphic vector field of the complex plane in the neighborhood of an isolated singularity which is a p:q resonant-saddle. Hence each vector field of that type is conjugate, by a germ of a biholomorphic map at the singularity, to a preferred element of an explicit family of vector fields. These model vector fields are polynomial in the r… ▽ More We give essentially unique ``normal forms'' for germs of a holomorphic vector field of the complex plane in the neighborhood of an isolated singularity which is a p:q resonant-saddle. Hence each vector field of that type is conjugate, by a germ of a biholomorphic map at the singularity, to a preferred element of an explicit family of vector fields. These model vector fields are polynomial in the resonant monomial.Abstract. This work is a followup of a similar result obtained for parabolic diffeomorphisms which are tangent to the identity, and solves the long standing problem of finding explicit local analytic models for resonant saddle vector fields. △ Less

Submitted 8 December, 2022; originally announced December 2022.

On the universality of fluctuations for the cover time

Authors: Nathanaël Berestycki, Jonathan Hermon, Lucas Teyssier

Abstract: We consider random walks on finite vertex-transitive graphs $Γ$ of bounded degree. We find a simple geometric condition which characterises the cover time fluctuations: the suitably normalised cover time converges to a standard Gumbel variable if and only if $\mathrm{Diam}(Γ)^2 = o(n/\log n)$, where $n = |Γ|$. We prove that this condition is furthermore equivalent to the decorrelation of the uncov… ▽ More We consider random walks on finite vertex-transitive graphs $Γ$ of bounded degree. We find a simple geometric condition which characterises the cover time fluctuations: the suitably normalised cover time converges to a standard Gumbel variable if and only if $\mathrm{Diam}(Γ)^2 = o(n/\log n)$, where $n = |Γ|$. We prove that this condition is furthermore equivalent to the decorrelation of the uncovered set. The arguments rely on recent breakthroughs by Tessera and Tointon on finitary versions of Gromov's theorem on groups of polynomial growth, which we leverage into strong heat kernel bounds, and refined quantitative estimates on Aldous and Brown's exponential approximation of hitting times, which are of independent interest. △ Less

Submitted 21 March, 2023; v1 submitted 4 February, 2022; originally announced February 2022.

Comments: v3: 70 pages. The main theorem has been considerably strengthened: we now show that the diameter condition is necessary *and* sufficient for convergence of the rescaled cover time to a Gumbel distribution, and is also equivalent to the decorrelation (in the total variation sense) of the uncovered set. The presentation has also been thoroughly revised and streamlined. v2: 58 pages

Rigidity of saddle loops

Authors: Daniel Panazzolo, Maja Resman, Loïc Teyssier

Abstract: A saddle loop is a germ of a holomorphic foliation near a homoclinic saddle connection. We prove that they are classied by their Poincar{é} rst-return map. We also prove that they are formally rigid when the Poincar{é} map is multivalued. Finally, we provide a list of all analytic classes of Liouville-integrable saddle loops. A saddle loop is a germ of a holomorphic foliation near a homoclinic saddle connection. We prove that they are classied by their Poincar{é} rst-return map. We also prove that they are formally rigid when the Poincar{é} map is multivalued. Finally, we provide a list of all analytic classes of Liouville-integrable saddle loops. △ Less

Submitted 30 December, 2021; originally announced December 2021.

Cutoff profiles for quantum Lévy processes and quantum random transpositions

Authors: Amaury Freslon, Lucas Teyssier, Simeng Wang

Abstract: We consider a natural analogue of Brownian motion on free orthogonal quantum groups and prove that it exhibits a cutoff at time $N\ln(N)$. Then, we study the induced classical process on the real line and compute its atoms and density. This enables us to find the cutoff profile, which involves free Poisson distributions and the semi-circle law. We prove similar results for quantum permutations and… ▽ More We consider a natural analogue of Brownian motion on free orthogonal quantum groups and prove that it exhibits a cutoff at time $N\ln(N)$. Then, we study the induced classical process on the real line and compute its atoms and density. This enables us to find the cutoff profile, which involves free Poisson distributions and the semi-circle law. We prove similar results for quantum permutations and quantum random transpositions. △ Less

Submitted 4 January, 2021; v1 submitted 7 October, 2020; originally announced October 2020.

Comments: 29 pages. The new version contains several improvements of the main results

MSC Class: 46L53; 60G10; 20G42

Spherical normal forms for germs of parabolic line biholomorphisms

Authors: Loïc Teyssier

Abstract: We address the inverse problem for holomorphic germs of a tangent-to-identity mapping of the complex line near a fixed point. We provide a preferred (family of) parabolic map $Δ$ realizing a given Birkhoff--{É}calle-Voronin modulus $ψ$ and prove its uniqueness in the functional class we introduce. The germ is the time-1 map of a Gevrey formal vector field admitting meromorphic sums on a pair of in… ▽ More We address the inverse problem for holomorphic germs of a tangent-to-identity mapping of the complex line near a fixed point. We provide a preferred (family of) parabolic map $Δ$ realizing a given Birkhoff--{É}calle-Voronin modulus $ψ$ and prove its uniqueness in the functional class we introduce. The germ is the time-1 map of a Gevrey formal vector field admitting meromorphic sums on a pair of infinite sectors covering the Riemann sphere. For that reason, the analytic continuation of $Δ$ is a multivalued map admitting finitely many branch points with finite monodromy. In particular $Δ$ is holomorphic and injective on an open slit sphere containing 0 (the initial fixed point) and $\infty$, where sits the companion parabolic point under the involution $\frac{-1}{\id}$. It turns out that the Birkhoff--{É}calle-Voronin modulus of the parabolic germ at $\infty$ is the inverse $ψ^{\circ-1}$ of that at 0. △ Less

Submitted 28 September, 2020; originally announced September 2020.

Limit profile for random transpositions

Authors: Lucas Teyssier

Abstract: We present an improved version of Diaconis' upper bound lemma, which is used to compute the limiting value of the distance to stationarity. We then apply it to random transpositions studied by Diaconis and Shahshahani. We present an improved version of Diaconis' upper bound lemma, which is used to compute the limiting value of the distance to stationarity. We then apply it to random transpositions studied by Diaconis and Shahshahani. △ Less

Submitted 21 May, 2019; originally announced May 2019.

Analytic normal forms and inverse problems for unfoldings of 2-dimensional saddle-nodes with analytic center manifold

Authors: C. Rousseau, Loïc Jean Dit Teyssier

Abstract: We give normal forms for generic k-dimensional parametric families $(Z_\varepsilon)_\varepsilon$ of germs of holomorphic vector fields near $0\in\mathbb{C}^2$ unfolding a saddle-node singularity $Z_0$, under the condition that there exists a family of invariant analytic curves unfolding the weak separatrix of $Z_0$. These normal forms provide a moduli space for these parametric families. In our fo… ▽ More We give normal forms for generic k-dimensional parametric families $(Z_\varepsilon)_\varepsilon$ of germs of holomorphic vector fields near $0\in\mathbb{C}^2$ unfolding a saddle-node singularity $Z_0$, under the condition that there exists a family of invariant analytic curves unfolding the weak separatrix of $Z_0$. These normal forms provide a moduli space for these parametric families. In our former 2008 paper, a modulus of a family was given as the unfolding of the Martinet-Ramis modulus, but the realization part was missing. We solve the realization problem in that partial case and show the equivalence between the two presentations of the moduli space. Finally, we completely characterize the families which have a modulus depending analytically on the parameter. We provide an application of the result in the field of non-linear, parameterized differential Galois theory. △ Less

Submitted 11 October, 2018; originally announced October 2018.

Comments: Annales Scientifiques de l'{É}cole Normale Sup{é}rieure, Elsevier Masson, In press

Meromorphic infinitesimal affine actions of the plane

Authors: Loïc Jean Dit Teyssier

Abstract: We study complex Lie algebras spanned by pairs \left(Z,Y\right) of germs of a meromorphic vector field of the complex plane satisfying \left[Z,Y\right]=δY for some δ\in\ww C . This topic relates to Liouville-integrability of the differential equation induced by the foliation underlying Z . We give a direct geometric proof of a result by M. Berthier and F. Touzet characterizing germs of a foliation… ▽ More We study complex Lie algebras spanned by pairs \left(Z,Y\right) of germs of a meromorphic vector field of the complex plane satisfying \left[Z,Y\right]=δY for some δ\in\ww C . This topic relates to Liouville-integrability of the differential equation induced by the foliation underlying Z . We give a direct geometric proof of a result by M. Berthier and F. Touzet characterizing germs of a foliation admitting a first-integral in a Liouvillian extension of the standard differential field. In so doing we study transverse and tangential rigidity properties when Z is holomorphic and its linear part is not nilpotent. A second part of the article is devoted to computing the Galois-Malgrange groupoid of meromorphic Z . △ Less

Submitted 12 December, 2013; originally announced December 2013.

Comments: 31 pages

Analyticity in spaces of convergent power series and applications

Authors: Loïc Teyssier

Abstract: We study the analytic structure of the space of germs of an analytic function at the origin of \ww C^{\times m} , namely the space \germ{\mathbf{z}} where \mathbf{z}=\left(z\_{1},\cdots,z\_{m}\right) , equipped with a convenient locally convex topology. We are particularly interested in studying the properties of analytic sets of \germ{\mathbf{z}} as defined by the vanishing locus of analytic maps… ▽ More We study the analytic structure of the space of germs of an analytic function at the origin of \ww C^{\times m} , namely the space \germ{\mathbf{z}} where \mathbf{z}=\left(z\_{1},\cdots,z\_{m}\right) , equipped with a convenient locally convex topology. We are particularly interested in studying the properties of analytic sets of \germ{\mathbf{z}} as defined by the vanishing locus of analytic maps. While we notice that \germ{\mathbf{z}} is not Baire we also prove it enjoys the analytic Baire property: the countable union of proper analytic sets of \germ{\mathbf{z}} has empty interior. This property underlies a quite natural notion of a generic property of \germ{\mathbf{z}} , for which we prove some dynamics-related theorems. We also initiate a program to tackle the task of characterizing glocal objects in some situations. △ Less

Submitted 27 May, 2015; v1 submitted 29 August, 2013; originally announced August 2013.

Journal ref: Moscow mathematical journal, 2015, pp.65

Analytic normal forms for convergent saddle-node vector fields

Authors: Reinhard Schäfke, Loïc Jean Dit Teyssier

Abstract: We give unique analytic "normal forms" for germs of a holomorphic vector field of the complex plane in the neighborhood of an isolated singularity of saddle-node type having a convergent formal separatrix. We specifically address the problem of computing the normal form explicitly. We give unique analytic "normal forms" for germs of a holomorphic vector field of the complex plane in the neighborhood of an isolated singularity of saddle-node type having a convergent formal separatrix. We specifically address the problem of computing the normal form explicitly. △ Less

Submitted 26 July, 2013; v1 submitted 10 July, 2013; originally announced July 2013.

Comments: 31p

Germes de feuilletages présentables du plan complexe

Authors: Loïc Teyssier

Abstract: Let F be a germ of a singular foliation of the complex plane. Assuming that F is a generalized curve D. Marin and J.-F. Mattei proved the incompressibility of the foliation in a neighborhood from which a finite set of analytic curves is removed. We show in the present work that this hypothesis cannot be eluded by building examples of foliations, reduced after one blow-up, for which the property do… ▽ More Let F be a germ of a singular foliation of the complex plane. Assuming that F is a generalized curve D. Marin and J.-F. Mattei proved the incompressibility of the foliation in a neighborhood from which a finite set of analytic curves is removed. We show in the present work that this hypothesis cannot be eluded by building examples of foliations, reduced after one blow-up, for which the property does not hold. Even if we manage to prove that the individual saddle-node foliation is incompressible, their leaves not retracting tangentially on the boundary of the domain of definition forbids a generalization of Marin--Mattei's construction. We finally characterize those foliations for which the construction of Marin--Mattei's monodromy can be carried out. △ Less

Submitted 26 November, 2013; v1 submitted 12 March, 2013; originally announced March 2013.

Extending to the complex line Dulac's corner maps of non-degenerate planar singularities

Authors: Loïc Teyssier

Abstract: We study the complex Dulac map for a holomorphic foliation of the complex plane, near a non-degenerate singularity (both eigenvalues of the linearization are nonzero) with two separatrices. Following the well-known results of Y. Il'yashenko we provide a geometric approach allowing to study the whole maximal domain of (geometric) definition of the Dulac map. In particular its topology and the regul… ▽ More We study the complex Dulac map for a holomorphic foliation of the complex plane, near a non-degenerate singularity (both eigenvalues of the linearization are nonzero) with two separatrices. Following the well-known results of Y. Il'yashenko we provide a geometric approach allowing to study the whole maximal domain of (geometric) definition of the Dulac map. In particular its topology and the regularity of its boundary are completely described. We also study the order of magnitude of the first non-trivial term of its asymptotic expansion and show how to compute it using path integrals supported in the leaves of the linearized foliation. Explicit bounds on the remainder are given. We perform similarly the study of the Dulac time spent around the singularity. All results are formulated in a unified framework taking no heed to the usual dynamical discrimination (i.e. no matter whether the singularity is formally orbitally linearizable or not and regardless of the arithmetic of the eigenvalues ratio). △ Less

Submitted 28 August, 2015; v1 submitted 8 January, 2013; originally announced January 2013.

An example of a topologically non-rigid foliation of the complex projective plane

Authors: Loïc Teyssier

Abstract: We give here an explicit example of an algebraic family of foliations of CP^{2} which is topologically trivial but not analytically trivial. This example underlines the necessity of some assumptions in Y. Ilyashenko's rigidity theorem. We give here an explicit example of an algebraic family of foliations of CP^{2} which is topologically trivial but not analytically trivial. This example underlines the necessity of some assumptions in Y. Ilyashenko's rigidity theorem. △ Less

Submitted 12 November, 2012; v1 submitted 12 October, 2009; originally announced October 2009.

Comments: 10p

Journal ref: International Mathematics Research Notices 2011, 18 (2011) 4089-4104

Existence of non-algebraic singularities of differential equation

Authors: Yohann Genzmer, Loïc Teyssier

Abstract: An algebraizable singularity is a germ of a singular holomorphic foliation which can be defined in some appropriate local chart by a differential equation with algebraic coefficients. We show that there exists at least countably many saddle-node singularities of the complex plane that are not algebraizable. An algebraizable singularity is a germ of a singular holomorphic foliation which can be defined in some appropriate local chart by a differential equation with algebraic coefficients. We show that there exists at least countably many saddle-node singularities of the complex plane that are not algebraizable. △ Less

Submitted 31 May, 2010; v1 submitted 17 February, 2009; originally announced February 2009.

Comments: 11 pages

Journal ref: Journal of Differential Equations 248, 5 (2010) 1256-1267

Analytical moduli for unfoldings of saddle-node vector fields

Authors: Christiane Rousseau, Loïc Teyssier

Abstract: In this paper we consider germs of k-parameter generic families of analytic 2-dimensional vector fields unfolding a saddle-node of codimension k and we give a complete modulus of analytic classification under orbital equivalence and a complete modulus of analytic classification under conjugacy. The modulus is an unfolding of the corresponding modulus for the vector field with the saddle-node. Th… ▽ More In this paper we consider germs of k-parameter generic families of analytic 2-dimensional vector fields unfolding a saddle-node of codimension k and we give a complete modulus of analytic classification under orbital equivalence and a complete modulus of analytic classification under conjugacy. The modulus is an unfolding of the corresponding modulus for the vector field with the saddle-node. The point of view is to compare the family with a "model family" via an equivalence (conjugacy) over canonical sectors. This is done by studying the asymptotic homology of the leaves and its consequences for solutions of the cohomological equation. △ Less

Submitted 3 September, 2007; v1 submitted 8 February, 2007; originally announced February 2007.

Comments: 58 pages

MSC Class: 4A20; 34A26; 34C20