-
The factorial growth of topological recursion
Authors:
Gaëtan Borot,
Bertrand Eynard,
Alessandro Giacchetto
Abstract:
We show that the $n$-point, genus-$g$ correlation functions of topological recursion on any regular spectral curve with simple ramifications grow at most like $(2g - 2 + n)!$ as $g \rightarrow \infty$, which is the expected growth rate. This provides, in particular, an upper bound for many curve counting problems in large genus and serves as a preliminary step for a resurgence analysis.
We show that the $n$-point, genus-$g$ correlation functions of topological recursion on any regular spectral curve with simple ramifications grow at most like $(2g - 2 + n)!$ as $g \rightarrow \infty$, which is the expected growth rate. This provides, in particular, an upper bound for many curve counting problems in large genus and serves as a preliminary step for a resurgence analysis.
△ Less
Submitted 22 October, 2024; v1 submitted 26 September, 2024;
originally announced September 2024.
-
Symmetries of F-cohomological field theories and F-topological recursion
Authors:
Gaëtan Borot,
Alessandro Giacchetto,
Giacomo Umer
Abstract:
We define F-topological recursion (F-TR) as a non-symmetric version of topological recursion, which associates a vector potential to some initial data. We describe the symmetries of the initial data for F-TR and show that, at the level of the vector potential, they include the F-Givental (non-linear) symmetries studied by Arsie, Buryak, Lorenzoni, and Rossi within the framework of F-manifolds. Add…
▽ More
We define F-topological recursion (F-TR) as a non-symmetric version of topological recursion, which associates a vector potential to some initial data. We describe the symmetries of the initial data for F-TR and show that, at the level of the vector potential, they include the F-Givental (non-linear) symmetries studied by Arsie, Buryak, Lorenzoni, and Rossi within the framework of F-manifolds. Additionally, we propose a spectral curve formulation of F-topological recursion. This allows us to extend the correspondence between semisimple cohomological field theories (CohFTs) and topological recursion, as established by Dunin-Barkowski, Orantin, Shadrin, and Spitz, to the F-world. In the absence of a full reconstruction theorem à la Teleman for F-CohFTs, this demonstrates that F-TR holds for the ancestor vector potential of a given F-CohFT if and only if it holds for some F-CohFT in its F-Givental orbit. We turn this into a useful statement by showing that the correlation functions of F-topological field theories (F-CohFTs of cohomological degree 0) are governed by F-TR. We apply these results to the extended 2-spin F-CohFT. Furthermore, we exhibit a large set of linear symmetries of F-CohFTs, which do not commute with the F-Givental action.
△ Less
Submitted 6 May, 2025; v1 submitted 10 June, 2024;
originally announced June 2024.
-
Whittaker vectors at finite energy scale, topological recursion and Hurwitz numbers
Authors:
Gaëtan Borot,
Nitin Kumar Chidambaram,
Giacomo Umer
Abstract:
We upgrade the results of Borot--Bouchard--Chidambaram--Creutzig to show that the Gaiotto vector in $\mathcal{N} = 2$ pure supersymmetric gauge theory admits an analytic continuation with respect to the energy scale (which can therefore be taken to be finite, instead of infinitesimal), and is computed by topological recursion on the (ramified) UV or Gaiotto spectral curve. This has a number of int…
▽ More
We upgrade the results of Borot--Bouchard--Chidambaram--Creutzig to show that the Gaiotto vector in $\mathcal{N} = 2$ pure supersymmetric gauge theory admits an analytic continuation with respect to the energy scale (which can therefore be taken to be finite, instead of infinitesimal), and is computed by topological recursion on the (ramified) UV or Gaiotto spectral curve. This has a number of interesting consequences for the Gaiotto vector: relations to intersection theory on $\overline{\mathcal{M}}_{g,n}$ in at least two different ways, Hurwitz numbers, quantum curves, and (almost complete) description of the correlators as analytic functions of $\hbar$ (instead of formal series). The same method is used to establish analogous results for the more general Whittaker vector constructed in the recent work of Chidambaram--Dolega--Osuga.
△ Less
Submitted 13 May, 2024; v1 submitted 25 March, 2024;
originally announced March 2024.
-
On ELSV-type formulae and relations between $Ω$-integrals via deformations of spectral curves
Authors:
Gaëtan Borot,
Maksim Karev,
Danilo Lewański
Abstract:
The general relation between Chekhov-Eynard-Orantin topological recursion and the intersection theory on the moduli space of curves, the deformation techniques in topological recursion, and the polynomiality properties with respect to deformation parameters can be combined to derive vanishing relations involving intersection indices of tautological classes. We apply this strategy to three differen…
▽ More
The general relation between Chekhov-Eynard-Orantin topological recursion and the intersection theory on the moduli space of curves, the deformation techniques in topological recursion, and the polynomiality properties with respect to deformation parameters can be combined to derive vanishing relations involving intersection indices of tautological classes. We apply this strategy to three different families of spectral curves and show they give vanishing relations for integrals involving $Ω$-classes. The first class of vanishing relations are genus-independent and generalises the vanishings found by Johnson-Pandharipande-Tseng, and by the authors jointly with Do and Moskovsky. The two other classes of vanishing relations are of a different nature and depend on the genus.
△ Less
Submitted 26 December, 2023;
originally announced December 2023.
-
Fay Identities of Pfaffian Type for Hyperelliptic Curves
Authors:
Gaëtan Borot,
Thomas Buc-d'Alché
Abstract:
We establish identities of Pfaffian type for the theta function associated with twice or half the period matrix of a hyperelliptic curve. They are implied by the large size asymptotic analysis of exact Pfaffian identities for expectation values of ratios of characteristic polynomials in ensembles of orthogonal or quaternionic self-dual random matrices. We show that they amount to identities for th…
▽ More
We establish identities of Pfaffian type for the theta function associated with twice or half the period matrix of a hyperelliptic curve. They are implied by the large size asymptotic analysis of exact Pfaffian identities for expectation values of ratios of characteristic polynomials in ensembles of orthogonal or quaternionic self-dual random matrices. We show that they amount to identities for the theta function with the period matrix of a hyperelliptic curve, and in this form we reprove them by direct geometric methods.
△ Less
Submitted 23 June, 2024; v1 submitted 19 December, 2023;
originally announced December 2023.
-
Taking limits in topological recursion
Authors:
Gaëtan Borot,
Vincent Bouchard,
Nitin Kumar Chidambaram,
Reinier Kramer,
Sergey Shadrin
Abstract:
When does topological recursion applied to a family of spectral curves commute with taking limits? This problem is subtle, especially when the ramification structure of the spectral curve changes at the limit point. We provide sufficient (straightforward-to-use) conditions for checking when the commutation with limits holds, thereby closing a gap in the literature where this compatibility has been…
▽ More
When does topological recursion applied to a family of spectral curves commute with taking limits? This problem is subtle, especially when the ramification structure of the spectral curve changes at the limit point. We provide sufficient (straightforward-to-use) conditions for checking when the commutation with limits holds, thereby closing a gap in the literature where this compatibility has been used several times without justification. This takes the form of a stronger result of analyticity of the topological recursion along suitable families. To tackle this question, we formalise the notion of global topological recursion and provide sufficient conditions for its equivalence with local topological recursion. The global version facilitates the study of analyticity and limits. For nondegenerate algebraic curves, we reformulate these conditions purely in terms of the structure of its underlying singularities. Finally, we apply this to study deformations of $ (r,s) $-spectral curves, spectral curves for weighted Hurwitz numbers, and provide several other examples and non-examples (where the commutation with limits fails).
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
A Note on BKP for the Kontsevich Matrix Model with Arbitrary Potential
Authors:
Gaëtan Borot,
Raimar Wulkenhaar
Abstract:
We exhibit the Kontsevich matrix model with arbitrary potential as a BKP tau-function with respect to polynomial deformations of the potential. The result can be equivalently formulated in terms of Cartan-Plücker relations of certain averages of Schur $Q$-function. The extension of a Pfaffian integration identity of de Bruijn to singular kernels is instrumental in the derivation of the result.
We exhibit the Kontsevich matrix model with arbitrary potential as a BKP tau-function with respect to polynomial deformations of the potential. The result can be equivalently formulated in terms of Cartan-Plücker relations of certain averages of Schur $Q$-function. The extension of a Pfaffian integration identity of de Bruijn to singular kernels is instrumental in the derivation of the result.
△ Less
Submitted 11 June, 2024; v1 submitted 2 June, 2023;
originally announced June 2023.
-
Functional relations for higher-order free cumulants
Authors:
Gaëtan Borot,
Séverin Charbonnier,
Elba Garcia-Failde,
Felix Leid,
Sergey Shadrin
Abstract:
We establish the functional relations between generating series of higher-order free cumulants and moments in higher-order free probability, solving an open problem posed fifteen years ago by Collins, Mingo, Śniady and Speicher. We propose an extension of free probability theory, which governs the all-order topological expansion in unitarily invariant matrix ensembles, with a corresponding notion…
▽ More
We establish the functional relations between generating series of higher-order free cumulants and moments in higher-order free probability, solving an open problem posed fifteen years ago by Collins, Mingo, Śniady and Speicher. We propose an extension of free probability theory, which governs the all-order topological expansion in unitarily invariant matrix ensembles, with a corresponding notion of free cumulants and give as well their relation to moments via functional relations. Our approach is based on the study of a master transformation involving double monotone Hurwitz numbers via semi-infinite wedge techniques, building on the recent advances of the last-named author with Bychkov, Dunin-Barkowski and Kazarian. We illustrate our formulas by computing the first few decaying terms of the correlation functions of an ensemble of spiked GUE matrices, going beyond the law of large numbers and the central limit theorem.
△ Less
Submitted 27 September, 2023; v1 submitted 22 December, 2021;
originally announced December 2021.
-
Topological recursion for fully simple maps from ciliated maps
Authors:
Gaëtan Borot,
Séverin Charbonnier,
Elba Garcia-Failde
Abstract:
Ordinary maps satisfy topological recursion for a certain spectral curve $(x, y)$. We solve a conjecture from arXiv:1710.07851 that claims that fully simple maps, which are maps with non self-intersecting disjoint boundaries, satisfy topological recursion for the exchanged spectral curve $(y, x)$, making use of the topological recursion for ciliated maps arXiv:2105.08035.
Ordinary maps satisfy topological recursion for a certain spectral curve $(x, y)$. We solve a conjecture from arXiv:1710.07851 that claims that fully simple maps, which are maps with non self-intersecting disjoint boundaries, satisfy topological recursion for the exchanged spectral curve $(y, x)$, making use of the topological recursion for ciliated maps arXiv:2105.08035.
△ Less
Submitted 16 June, 2021;
originally announced June 2021.
-
Whittaker vectors for $\mathcal{W}$-algebras from topological recursion
Authors:
Gaëtan Borot,
Vincent Bouchard,
Nitin Kumar Chidambaram,
Thomas Creutzig
Abstract:
We identify Whittaker vectors for $\mathcal{W}_k(\mathfrak{g})$-modules with partition functions of higher Airy structures. This implies that Gaiotto vectors, describing the fundamental class in the equivariant cohomology of a suitable compactification of the moduli space of $G$-bundles over $\mathbb{P}^2$ for $G$ a complex simple Lie group, can be computed by a non-commutative version of the Chek…
▽ More
We identify Whittaker vectors for $\mathcal{W}_k(\mathfrak{g})$-modules with partition functions of higher Airy structures. This implies that Gaiotto vectors, describing the fundamental class in the equivariant cohomology of a suitable compactification of the moduli space of $G$-bundles over $\mathbb{P}^2$ for $G$ a complex simple Lie group, can be computed by a non-commutative version of the Chekhov-Eynard-Orantin topological recursion. We formulate the connection to higher Airy structures for Gaiotto vectors of type A, B, C, and D, and explicitly construct the topological recursion for type A (at arbitrary level) and type B (at self-dual level). On the physics side, it means that the Nekrasov partition function for pure $\mathcal{N} = 2$ four-dimensional supersymmetric gauge theories can be accessed by topological recursion methods.
△ Less
Submitted 18 November, 2023; v1 submitted 9 April, 2021;
originally announced April 2021.
-
On the Kontsevich geometry of the combinatorial Teichmüller space
Authors:
Jørgen Ellegaard Andersen,
Gaëtan Borot,
Séverin Charbonnier,
Alessandro Giacchetto,
Danilo Lewański,
Campbell Wheeler
Abstract:
For bordered surfaces S, we develop a complete parallel between the geometry of the combinatorial Teichmüller space $T_S^{comb}$ equipped with Kontsevich symplectic form $ω_K$, and then the usual Weil-Petersson geometry of Teichmüller space $T_S$. The basis for this is an identification of $T_S^{comb}$ with a space of measured foliations with transverse boundary conditions. We equip $T_S^{comb}$ w…
▽ More
For bordered surfaces S, we develop a complete parallel between the geometry of the combinatorial Teichmüller space $T_S^{comb}$ equipped with Kontsevich symplectic form $ω_K$, and then the usual Weil-Petersson geometry of Teichmüller space $T_S$. The basis for this is an identification of $T_S^{comb}$ with a space of measured foliations with transverse boundary conditions. We equip $T_S^{comb}$ with an analog of the Fenchel-Nielsen coordinates (defined similarly as Dehn-Thurston coordinates) and show they are Darboux for $ω_K$ (analog of Wolpert formula). We then set up the geometric recursion of Andersen-Borot-Orantin to produce mapping class group invariants functions on $T_S^{comb}$ whose integration with respect to Kontsevich volume form satisfy topological recursion. Further we establish an analog of Mirzakhani-McShane identities, and provide applications to the study of the enumeration of multicurves with respect to combinatorial lengths and Masur-Veech volumes. The formalism allows us to provide uniform and completely geometric proofs of Witten's conjecture/Kontsevich theorem and Norbury's topological recursion for lattice point count in the combinatorial moduli space, parallel to Mirzakhani's proof of her recursion for Weil-Petersson volumes. We strengthen results of Mondello and Do on the convergence of hyperbolic geometry to combinatorial geometry along the rescaling flow, allowing us to flow systematically natural constructions on the usual Teichmüller space to their combinatorial analogue, such as a new derivation of the piecewise linear structure of $T_S^{comb}$ originally obtained in the work of Penner, as the limit under the flow of the smooth structure of $T_S$.
△ Less
Submitted 29 May, 2021; v1 submitted 22 October, 2020;
originally announced October 2020.
-
Higher Airy structures and topological recursion for singular spectral curves
Authors:
Gaëtan Borot,
Reinier Kramer,
Yannik Schüler
Abstract:
We give elements towards the classification of quantum Airy structures based on the $W(\mathfrak{gl}_r)$-algebras at self-dual level based on twisted modules of the Heisenberg VOA of $\mathfrak{gl}_r$ for twists by arbitrary elements of the Weyl group $\mathfrak{S}_{r}$. In particular, we construct a large class of such quantum Airy structures. We show that the system of linear ODEs forming the qu…
▽ More
We give elements towards the classification of quantum Airy structures based on the $W(\mathfrak{gl}_r)$-algebras at self-dual level based on twisted modules of the Heisenberg VOA of $\mathfrak{gl}_r$ for twists by arbitrary elements of the Weyl group $\mathfrak{S}_{r}$. In particular, we construct a large class of such quantum Airy structures. We show that the system of linear ODEs forming the quantum Airy structure and determining uniquely its partition function is equivalent to a topological recursion à la Chekhov-Eynard-Orantin on singular spectral curves. In particular, our work extends the definition of the Bouchard-Eynard topological recursion (valid for smooth curves) to a large class of singular curves, and indicates impossibilities to extend naively the definition to other types of singularities. We also discuss relations to intersection theory on moduli spaces of curves, giving a general ELSV-type representation for the topological recursion amplitudes on smooth curves, and formulate precise conjectures for application in open $r$-spin intersection theory.
△ Less
Submitted 9 August, 2022; v1 submitted 7 October, 2020;
originally announced October 2020.
-
Double Hurwitz numbers: polynomiality, topological recursion and intersection theory
Authors:
Gaëtan Borot,
Norman Do,
Maksim Karev,
Danilo Lewański,
Ellena Moskovsky
Abstract:
Double Hurwitz numbers enumerate branched covers of $\mathbb{CP}^1$ with prescribed ramification over two points and simple ramification elsewhere. In contrast to the single case, their underlying geometry is not well understood. In previous work by the second- and third-named authors, the double Hurwitz numbers were conjectured to satisfy a polynomiality structure and to be governed by the topolo…
▽ More
Double Hurwitz numbers enumerate branched covers of $\mathbb{CP}^1$ with prescribed ramification over two points and simple ramification elsewhere. In contrast to the single case, their underlying geometry is not well understood. In previous work by the second- and third-named authors, the double Hurwitz numbers were conjectured to satisfy a polynomiality structure and to be governed by the topological recursion, analogous to existing results concerning single Hurwitz numbers. In this paper, we resolve these conjectures by a careful analysis of the semi-infinite wedge representation for double Hurwitz numbers, by pushing further methods previously used for other Hurwitz problems. We deduce a preliminary version of an ELSV-like formula for double Hurwitz numbers, by deforming the Johnson-Pandharipande-Tseng formula for orbifold Hurwitz numbers and using properties of the topological recursion under variation of spectral curves. In the course of this analysis, we unveil certain vanishing properties of the Chiodo classes.
△ Less
Submitted 21 May, 2020; v1 submitted 31 January, 2020;
originally announced February 2020.
-
Topological recursion for Masur-Veech volumes
Authors:
Jørgen Ellegaard Andersen,
Gaëtan Borot,
Séverin Charbonnier,
Vincent Delecroix,
Alessandro Giacchetto,
Danilo Lewanski,
Campbell Wheeler
Abstract:
We study the Masur-Veech volumes $MV_{g,n}$ of the principal stratum of the moduli space of quadratic differentials of unit area on curves of genus $g$ with $n$ punctures. We show that the volumes $MV_{g,n}$ are the constant terms of a family of polynomials in $n$ variables governed by the topological recursion/Virasoro constraints. This is equivalent to a formula giving these polynomials as a sum…
▽ More
We study the Masur-Veech volumes $MV_{g,n}$ of the principal stratum of the moduli space of quadratic differentials of unit area on curves of genus $g$ with $n$ punctures. We show that the volumes $MV_{g,n}$ are the constant terms of a family of polynomials in $n$ variables governed by the topological recursion/Virasoro constraints. This is equivalent to a formula giving these polynomials as a sum over stable graphs, and retrieves a result of \cite{Delecroix} proved by combinatorial arguments. Our method is different: it relies on the geometric recursion and its application to statistics of hyperbolic lengths of multicurves developed in \cite{GRpaper}. We also obtain an expression of the area Siegel--Veech constants in terms of hyperbolic geometry. The topological recursion allows numerical computations of Masur--Veech volumes, and thus of area Siegel--Veech constants, for low $g$ and $n$, which leads us to propose conjectural formulas for low $g$ but all $n$. We also relate our polynomials to the asymptotic counting of square-tiled surfaces with large boundaries.
△ Less
Submitted 3 October, 2020; v1 submitted 24 May, 2019;
originally announced May 2019.
-
Loop equations for Gromov-Witten invariants of $\mathbb{P}^1$
Authors:
Gaëtan Borot,
Paul Norbury
Abstract:
We show that non-stationary Gromov-Witten invariants of $\mathbb{P}^1$ can be extracted from open periods of the Eynard-Orantin topological recursion correlators $ω_{g,n}$ whose Laurent series expansion at $\infty$ compute the stationary invariants. To do so, we overcome the technical difficulties to global loop equations for the spectral $x(z) = z + 1/z$ and $y(z) = \ln z$ from the local loop equ…
▽ More
We show that non-stationary Gromov-Witten invariants of $\mathbb{P}^1$ can be extracted from open periods of the Eynard-Orantin topological recursion correlators $ω_{g,n}$ whose Laurent series expansion at $\infty$ compute the stationary invariants. To do so, we overcome the technical difficulties to global loop equations for the spectral $x(z) = z + 1/z$ and $y(z) = \ln z$ from the local loop equations satisfied by the $ω_{g,n}$, and check these global loop equations are equivalent to the Virasoro constraints that are known to govern the full Gromov-Witten theory of $\mathbb{P}^1$.
△ Less
Submitted 23 August, 2019; v1 submitted 6 May, 2019;
originally announced May 2019.
-
Relating ordinary and fully simple maps via monotone Hurwitz numbers
Authors:
Gaëtan Borot,
Séverin Charbonnier,
Norman Do,
Elba Garcia-Failde
Abstract:
A direct relation between the enumeration of ordinary maps and that of fully simple maps first appeared in the work of the first and last authors. The relation is via monotone Hurwitz numbers and was originally proved using Weingarten calculus for matrix integrals. The goal of this paper is to present two independent proofs that are purely combinatorial and generalise in various directions, such a…
▽ More
A direct relation between the enumeration of ordinary maps and that of fully simple maps first appeared in the work of the first and last authors. The relation is via monotone Hurwitz numbers and was originally proved using Weingarten calculus for matrix integrals. The goal of this paper is to present two independent proofs that are purely combinatorial and generalise in various directions, such as to the setting of stuffed maps and hypermaps. The main motivation to understand the relation between ordinary and fully simple maps is the fact that it could shed light on fundamental, yet still not well-understood, problems in free probability and topological recursion.
△ Less
Submitted 3 April, 2019;
originally announced April 2019.
-
Higher Airy structures, W algebras and topological recursion
Authors:
Gaëtan Borot,
Vincent Bouchard,
Nitin K. Chidambaram,
Thomas Creutzig,
Dmitry Noshchenko
Abstract:
We define higher quantum Airy structures as generalizations of the Kontsevich-Soibelman quantum Airy structures by allowing differential operators of arbitrary order (instead of only quadratic). We construct many classes of examples of higher quantum Airy structures as modules of $\mathcal{W}(\mathfrak{g})$ algebras at self-dual level, with $\mathfrak{g}= \mathfrak{gl}_{N+1}$,…
▽ More
We define higher quantum Airy structures as generalizations of the Kontsevich-Soibelman quantum Airy structures by allowing differential operators of arbitrary order (instead of only quadratic). We construct many classes of examples of higher quantum Airy structures as modules of $\mathcal{W}(\mathfrak{g})$ algebras at self-dual level, with $\mathfrak{g}= \mathfrak{gl}_{N+1}$, $\mathfrak{so}_{2 N }$ or $\mathfrak{e}_N$. We discuss their enumerative geometric meaning in the context of (open and closed) intersection theory of the moduli space of curves and its variants. Some of these $\mathcal{W}$ constraints have already appeared in the literature, but we find many new ones. For $\mathfrak{gl}_{N+1}$ our result hinges on the description of previously unnoticed Lie subalgebras of the algebra of modes. As a consequence, we obtain a simple characterization of the spectral curves (with arbitrary ramification) for which the Bouchard-Eynard topological recursion gives symmetric $ω_{g,n}$s and is thus well defined. For all such cases, we show that the topological recursion is equivalent to $\mathcal{W}(\mathfrak{gl})$ constraints realized as higher quantum Airy structures, and obtain a Givental-like decomposition for the corresponding partition functions.
△ Less
Submitted 11 September, 2021; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Geometric recursion
Authors:
Jørgen Ellegaard Andersen,
Gaëtan Borot,
Nicolas Orantin
Abstract:
We propose a general theory for constructing functorial assignments $Σ\longmapsto Ω_Σ \in E(Σ)$ for a large class of functors $E$ from a certain category of bordered surfaces to a suitable target category of topological vector spaces. The construction proceeds by successive excisions of homotopy classes of embedded pairs of pants, and thus by induction on the Euler characteristic. We provide suffi…
▽ More
We propose a general theory for constructing functorial assignments $Σ\longmapsto Ω_Σ \in E(Σ)$ for a large class of functors $E$ from a certain category of bordered surfaces to a suitable target category of topological vector spaces. The construction proceeds by successive excisions of homotopy classes of embedded pairs of pants, and thus by induction on the Euler characteristic. We provide sufficient conditions to guarantee the infinite sums appearing in this construction converge. In particular, we can generate mapping class group invariant vectors $Ω_Σ \in E(Σ)$. The initial data for the recursion encode the cases when $Σ$ is a pair of pants or a torus with one boundary, as well as the "recursion kernels" used for glueing. We give this construction the name of Geometric Recursion. As a first application, we demonstrate that our formalism produce a large class of measurable functions on the moduli space of bordered Riemann surfaces. Under certain conditions, the functions produced by the geometric recursion can be integrated with respect to the Weil--Petersson measure on moduli spaces with fixed boundary lengths, and we show that the integrals satisfy a topological recursion generalizing the one of Eynard and Orantin. We establish a generalization of Mirzakhani--McShane identities, namely that multiplicative statistics of hyperbolic lengths of multicurves can be computed by the geometric recursion. As a corollary, we show that the systole function can be obtained from the geometric recursion. The theory has however a wider scope than functions on Teichmüller space, which will be explored in subsequent papers; one expects that many functorial objects in low-dimensional geometry could be constructed by variants of this geometric recursion.
△ Less
Submitted 18 November, 2023; v1 submitted 13 November, 2017;
originally announced November 2017.
-
Simple maps, Hurwitz numbers, and Topological Recursion
Authors:
Gaëtan Borot,
Elba Garcia-Failde
Abstract:
We introduce the notion of fully simple maps, which are maps with non self-intersecting disjoint boundaries. In contrast, maps where such a restriction is not imposed are called ordinary. We study in detail the combinatorics of fully simple maps with topology of a disk or a cylinder. We show that the generating series of simple disks is given by the functional inversion of the generating series of…
▽ More
We introduce the notion of fully simple maps, which are maps with non self-intersecting disjoint boundaries. In contrast, maps where such a restriction is not imposed are called ordinary. We study in detail the combinatorics of fully simple maps with topology of a disk or a cylinder. We show that the generating series of simple disks is given by the functional inversion of the generating series of ordinary disks. We also obtain an elegant formula for cylinders. These relations reproduce the relation between moments and free cumulants established by Collins et al. math.OA/0606431, and implement the symplectic transformation $x \leftrightarrow y$ on the spectral curve in the context of topological recursion. We conjecture that the generating series of fully simple maps are computed by the topological recursion after exchange of $x$ and $y$. We propose an argument to prove this statement conditionally to a mild version of symplectic invariance for the $1$-hermitian matrix model, which is believed to be true but has not been proved yet.
Our argument relies on an (unconditional) matrix model interpretation of fully simple maps, via the formal hermitian matrix model with external field. We also deduce a universal relation between generating series of fully simple maps and of ordinary maps, which involves double monotone Hurwitz numbers. In particular, (ordinary) maps without internal faces -- which are generated by the Gaussian Unitary Ensemble -- and with boundary perimeters $(λ_1,\ldots,λ_n)$ are strictly monotone double Hurwitz numbers with ramifications $λ$ above $\infty$ and $(2,\ldots,2)$ above $0$. Combining with a recent result of Dubrovin et al. math-ph/1612.02333, this implies an ELSV-like formula for these Hurwitz numbers.
△ Less
Submitted 20 December, 2018; v1 submitted 21 October, 2017;
originally announced October 2017.
-
Special cases of the orbifold version of Zvonkine's $r$-ELSV formula
Authors:
Gaëtan Borot,
Reinier Kramer,
Danilo Lewanski,
Alexandr Popolitov,
Sergey Shadrin
Abstract:
We prove the orbifold version of Zvonkine's $r$-ELSV formula in two special cases: the case of $r=2$ (complete $3$-cycles) for any genus $g\geq 0$ and the case of any $r\geq 1$ for genus $g=0$.
We prove the orbifold version of Zvonkine's $r$-ELSV formula in two special cases: the case of $r=2$ (complete $3$-cycles) for any genus $g\geq 0$ and the case of any $r\geq 1$ for genus $g=0$.
△ Less
Submitted 30 May, 2017;
originally announced May 2017.
-
Lecture notes on topological recursion and geometry
Authors:
Gaëtan Borot
Abstract:
These are lecture notes for a 4h mini-course held in Toulouse, May 9-12th, at the thematic school on "Quantum topology and geometry". The goal of these lectures is to (a) explain some incarnations, in the last ten years, of the idea of topological recursion: in two dimensional quantum field theories, in cohomological field theories, in the computation of Weil-Petersson volumes of the moduli space…
▽ More
These are lecture notes for a 4h mini-course held in Toulouse, May 9-12th, at the thematic school on "Quantum topology and geometry". The goal of these lectures is to (a) explain some incarnations, in the last ten years, of the idea of topological recursion: in two dimensional quantum field theories, in cohomological field theories, in the computation of Weil-Petersson volumes of the moduli space of curves; (b) relate them more specifically to Eynard-Orantin topological recursion (revisited from Kontsevich-Soibelman point of view based on quantum Airy structures).
△ Less
Submitted 28 May, 2017;
originally announced May 2017.
-
The ABCD of topological recursion
Authors:
Jorgen Ellegaard Andersen,
Gaëtan Borot,
Leonid O. Chekhov,
Nicolas Orantin
Abstract:
Kontsevich and Soibelman reformulated and slightly generalised the topological recursion of math-ph/0702045, seeing it as a quantization of certain quadratic Lagrangians in $T^*V$ for some vector space $V$. KS topological recursion is a procedure which takes as initial data a quantum Airy structure -- a family of at most quadratic differential operators on $V$ satisfying some axioms -- and gives a…
▽ More
Kontsevich and Soibelman reformulated and slightly generalised the topological recursion of math-ph/0702045, seeing it as a quantization of certain quadratic Lagrangians in $T^*V$ for some vector space $V$. KS topological recursion is a procedure which takes as initial data a quantum Airy structure -- a family of at most quadratic differential operators on $V$ satisfying some axioms -- and gives as outcome a formal series of functions in $V$ (the partition function) simultaneously annihilated by these operators. Finding and classifying quantum Airy structures modulo gauge group action, is by itself an interesting problem which we study here. We provide some elementary, Lie-algebraic tools to address this problem, and give some elements of classification for ${\rm dim}\,V = 2$. We also describe four more interesting classes of quantum Airy structures, coming from respectively Frobenius algebras (here we retrieve the 2d TQFT partition function as a special case), non-commutative Frobenius algebras, loop spaces of Frobenius algebras and a $\mathbb{Z}_{2}$-invariant version of the latter. This $\mathbb{Z}_{2}$-invariant version in the case of a semi-simple Frobenius algebra corresponds to the topological recursion of math-ph/0702045.
△ Less
Submitted 2 December, 2023; v1 submitted 9 March, 2017;
originally announced March 2017.
-
Nesting statistics in the $O(n)$ loop model on random maps of arbitrary topologies
Authors:
Gaëtan Borot,
Elba Garcia-Failde
Abstract:
We pursue the analysis of nesting statistics in the $O(n)$ loop model on random maps, initiated for maps with the topology of disks and cylinders in math-ph/1605.02239, here for arbitrary topologies. For this purpose we rely on the topological recursion results of math-ph/0910.5896 and math-ph/1303.5808 for the enumeration of maps in the $O(n)$ model. We characterize the generating series of maps…
▽ More
We pursue the analysis of nesting statistics in the $O(n)$ loop model on random maps, initiated for maps with the topology of disks and cylinders in math-ph/1605.02239, here for arbitrary topologies. For this purpose we rely on the topological recursion results of math-ph/0910.5896 and math-ph/1303.5808 for the enumeration of maps in the $O(n)$ model. We characterize the generating series of maps of genus $g$ with $k'$ marked points and $k$ boundaries and realizing a fixed nesting graph. These generating series are amenable to explicit computations in the loop model with bending energy on triangulations, and we characterize their behavior at criticality in the dense and in the dilute phase.
△ Less
Submitted 29 June, 2023; v1 submitted 7 September, 2016;
originally announced September 2016.
-
Nesting statistics in the O(n) loop model on random planar maps
Authors:
Gaëtan Borot,
Jérémie Bouttier,
Bertrand Duplantier
Abstract:
In the O(n) loop model on random planar maps, we study the depth - in terms of the number of levels of nesting - of the loop configuration, by means of analytic combinatorics. We focus on the 'refined' generating series of pointed disks or cylinders, which keep track of the number of loops separating the marked point from the boundary (for disks), or the two boundaries (for cylinders). For the gen…
▽ More
In the O(n) loop model on random planar maps, we study the depth - in terms of the number of levels of nesting - of the loop configuration, by means of analytic combinatorics. We focus on the 'refined' generating series of pointed disks or cylinders, which keep track of the number of loops separating the marked point from the boundary (for disks), or the two boundaries (for cylinders). For the general O(n) loop model, we show that these generating series satisfy functional relations obtained by a modification of those satisfied by the unrefined generating series. In a more specific O(n) model where loops cross only triangles and have a bending energy, we explicitly compute the refined generating series. We analyse their non generic critical behavior in the dense and dilute phases, and obtain the large deviations function of the nesting distribution, which is expected to be universal. Using the framework of Liouville quantum gravity (LQG), we show that a rigorous functional KPZ relation can be applied to the multifractal spectrum of extreme nesting in the conformal loop ensemble (CLE) in the Euclidean unit disk, as obtained by Miller, Watson and Wilson, or to its natural generalisation to the Riemann sphere. It allows us to recover the large deviations results obtained for the critical O(n) random planar map models. This offers, at the refined level of large deviations theory, a rigorous check of the fundamental fact that the universal scaling limits of random planar map models as weighted by partition functions of critical statistical models are given by LQG random surfaces decorated by independent CLEs.
△ Less
Submitted 29 December, 2023; v1 submitted 7 May, 2016;
originally announced May 2016.
-
Modular functors, cohomological field theories and topological recursion
Authors:
Jørgen Ellegaard Andersen,
Gaëtan Borot,
Nicolas Orantin
Abstract:
Given a topological modular functor $\mathcal{V}$ in the sense of Walker \cite{Walker}, we construct vector bundles over $\bar{\mathcal{M}}_{g,n}$, whose Chern classes define semi-simple cohomological field theories. This construction depends on a determination of the logarithm of the eigenvalues of the Dehn twist and central element actions. We show that the intersection of the Chern class with t…
▽ More
Given a topological modular functor $\mathcal{V}$ in the sense of Walker \cite{Walker}, we construct vector bundles over $\bar{\mathcal{M}}_{g,n}$, whose Chern classes define semi-simple cohomological field theories. This construction depends on a determination of the logarithm of the eigenvalues of the Dehn twist and central element actions. We show that the intersection of the Chern class with the $ψ$-classes in $\bar{\mathcal{M}}_{g,n}$ is computed by the topological recursion of \cite{EOFg}, for a local spectral curve that we describe. In particular, we show how the Verlinde formula for the dimensions $D_{\vecλ}(\mathbfΣ_{g,n}) = \dim \mathcal{V}_{\vecλ}(\mathbfΣ_{g,n})$ is retrieved from the topological recursion. We analyze the consequences of our result on two examples: modular functors associated to a finite group $G$ (for which $D_{\vecλ}(\mathbfΣ_{g,n})$ enumerates certain $G$-principle bundles over a genus $g$ surface with $n$ boundary conditions specified by $\vecλ$), and the modular functor obtained from Wess-Zumino-Witten conformal field theory associated to a simple, simply-connected Lie group $G$ (for which $\mathcal{V}_{\vecλ}(\mathbfΣ_{g,n})$ is the Verlinde bundle).
△ Less
Submitted 24 June, 2016; v1 submitted 4 September, 2015;
originally announced September 2015.
-
Chern-Simons theory on spherical Seifert manifolds, topological strings and integrable systems
Authors:
Gaetan Borot,
Andrea Brini
Abstract:
We consider the Gopakumar-Ooguri-Vafa correspondence, relating ${\rm U}(N)$ Chern-Simons theory at large $N$ to topological strings, in the context of spherical Seifert 3-manifolds. These are quotients $\mathbb{S}^Γ = Γ\backslash\mathbb{S}^3$ of the three-sphere by the free action of a finite isometry group. Guided by string theory dualities, we propose a large $N$ dual description in terms of bot…
▽ More
We consider the Gopakumar-Ooguri-Vafa correspondence, relating ${\rm U}(N)$ Chern-Simons theory at large $N$ to topological strings, in the context of spherical Seifert 3-manifolds. These are quotients $\mathbb{S}^Γ = Γ\backslash\mathbb{S}^3$ of the three-sphere by the free action of a finite isometry group. Guided by string theory dualities, we propose a large $N$ dual description in terms of both A- and B-twisted topological strings on (in general non-toric) local Calabi-Yau threefolds. The target space of the B-model theory is obtained from the spectral curve of Toda-type integrable systems constructed on the double Bruhat cells of the simply-laced group identified by the ADE label of $Γ$. Its mirror A-model theory is realized as the local Gromov-Witten theory of suitable ALE fibrations on $\mathbb{P}^1$, generalizing the results known for lens spaces. We propose an explicit construction of the family of target manifolds relevant for the correspondence, which we verify through a large $N$ analysis of the matrix model that expresses the contribution of the trivial flat connection to the Chern-Simons partition function. Mathematically, our results put forward an identification between the $1/N$ expansion of the $\mathrm{sl}_{N + 1}$ LMO invariant of $\mathbb{S}^Γ$ and a suitably restricted Gromov-Witten/Donaldson-Thomas partition function on the A-model dual Calabi-Yau. This $1/N$ expansion, as well as that of suitable generating series of perturbative quantum invariants of fiber knots in $\mathbb{S}^Γ$, is computed by the Eynard-Orantin topological recursion.
△ Less
Submitted 3 July, 2015; v1 submitted 23 June, 2015;
originally announced June 2015.
-
Blobbed topological recursion: properties and applications
Authors:
Gaëtan Borot,
Sergey Shadrin
Abstract:
We study the set of solutions $(ω_{g,n})_{g \geq 0,n \geq 1}$ of abstract loop equations. We prove that $ω_{g,n}$ is determined by its purely holomorphic part: this results in a decomposition that we call "blobbed topological recursion". This is a generalization of the theory of the topological recursion, in which the initial data $(ω_{0,1},ω_{0,2})$ is enriched by non-zero symmetric holomorphic f…
▽ More
We study the set of solutions $(ω_{g,n})_{g \geq 0,n \geq 1}$ of abstract loop equations. We prove that $ω_{g,n}$ is determined by its purely holomorphic part: this results in a decomposition that we call "blobbed topological recursion". This is a generalization of the theory of the topological recursion, in which the initial data $(ω_{0,1},ω_{0,2})$ is enriched by non-zero symmetric holomorphic forms in $n$ variables $(φ_{g,n})_{2g - 2 + n > 0}$. In particular, we establish for any solution of abstract loop equations: (1) a graphical representation of $ω_{g,n}$ in terms of $φ_{g,n}$; (2) a graphical representation of $ω_{g,n}$ in terms of intersection numbers on the moduli space of curves; (3) variational formulae under infinitesimal transformation of $φ_{g,n}$ ; (4) a definition for the free energies $ω_{g,0} = F_g$ respecting the variational formulae. We discuss in detail the application to the multi-trace matrix model and enumeration of stuffed maps.
△ Less
Submitted 18 February, 2015; v1 submitted 3 February, 2015;
originally announced February 2015.
-
Asymptotic expansion of a partition function related to the sinh-model
Authors:
G. Borot,
A. Guionnet,
K. K. Kozlowski
Abstract:
This paper develops a method to carry out the large-$N$ asymptotic analysis of a class of $N$-dimensional integrals arising in the context of the so-called quantum separation of variables method. We push further ideas developed in the context of random matrices of size $N$, but in the present problem, two scales $1/N^α$ and $1/N$ naturally occur. In our case, the equilibrium measure is $N^α$-depen…
▽ More
This paper develops a method to carry out the large-$N$ asymptotic analysis of a class of $N$-dimensional integrals arising in the context of the so-called quantum separation of variables method. We push further ideas developed in the context of random matrices of size $N$, but in the present problem, two scales $1/N^α$ and $1/N$ naturally occur. In our case, the equilibrium measure is $N^α$-dependent and characterised by means of the solution to a $2\times 2$ Riemann--Hilbert problem, whose large-$N$ behavior is analysed in detail. Combining these results with techniques of concentration of measures and an asymptotic analysis of the Schwinger-Dyson equations at the distributional level, we obtain the large-$N$ behavior of the free energy explicitly up to $o(1)$. The use of distributional Schwinger-Dyson is a novelty that allows us treating sufficiently differentiable interactions and the mixing of scales $1/N^α$ and $1/N$, thus waiving the analyticity assumptions often used in random matrix theory.
△ Less
Submitted 6 November, 2016; v1 submitted 24 December, 2014;
originally announced December 2014.
-
Root systems, spectral curves, and analysis of a Chern-Simons matrix model for Seifert fibered spaces
Authors:
Gaëtan Borot,
Bertrand Eynard,
Alexander Weiße
Abstract:
We study a class of scalar, linear, non-local Riemann-Hilbert problems (RHP) involving finite subgroups of PSL(2,C). We associate to such problems a (maybe infinite) root system and describe the relevance of the orbits of the Weyl group in the construction of its solutions. As an application, we study in detail the large N expansion of SU(N) or SO(N) or Sp(2N) Chern-Simons partition function Z_N(M…
▽ More
We study a class of scalar, linear, non-local Riemann-Hilbert problems (RHP) involving finite subgroups of PSL(2,C). We associate to such problems a (maybe infinite) root system and describe the relevance of the orbits of the Weyl group in the construction of its solutions. As an application, we study in detail the large N expansion of SU(N) or SO(N) or Sp(2N) Chern-Simons partition function Z_N(M) of 3-manifolds M that are either rational homology spheres or more generally Seifert fibered spaces. It has a matrix model-like representation, whose spectral curve can be characterized in terms of a RHP as above. When pi_1(M) is finite (i.e. for manifolds M that are quotients of \mathbb{S}_{3} by a finite isometry group of type ADE), the Weyl group associated to the RHP is finite and the spectral curve is algebraic and can be in principle computed. We then show that the large $N$ expansion of Z_N(M) is computed by the topological recursion. This has consequences for the analyticity properties of SU/SO/Sp perturbative invariants of knots along fibers in $M$.
△ Less
Submitted 16 July, 2014;
originally announced July 2014.
-
Large-N asymptotic expansion for mean field models with Coulomb gas interaction
Authors:
Gaëtan Borot,
Alice Guionnet,
Karol K. Kozlowski
Abstract:
We derive the large-N, all order asymptotic expansion for a system of N particles with mean-field interactions on top of a Coulomb repulsion at temperature 1/β, under the assumptions that the interactions are analytic, off-critical, and satisfy a local strict convexity assumption.
We derive the large-N, all order asymptotic expansion for a system of N particles with mean-field interactions on top of a Coulomb repulsion at temperature 1/β, under the assumptions that the interactions are analytic, off-critical, and satisfy a local strict convexity assumption.
△ Less
Submitted 8 February, 2014; v1 submitted 23 December, 2013;
originally announced December 2013.
-
Rational differential systems, loop equations, and application to the q-th reductions of KP
Authors:
Michel Bergère,
Gaëtan Borot,
Bertrand Eynard
Abstract:
To any solution of a linear system of differential equations, we associate a kernel, correlators satisfying a set of loop equations, and in presence of isomonodromic parameters, a Tau function. We then study their semiclassical expansion (WKB type expansion in powers of the weight hbar per derivative) of these quantities. When this expansion is of topological type (TT), the coefficients of expansi…
▽ More
To any solution of a linear system of differential equations, we associate a kernel, correlators satisfying a set of loop equations, and in presence of isomonodromic parameters, a Tau function. We then study their semiclassical expansion (WKB type expansion in powers of the weight hbar per derivative) of these quantities. When this expansion is of topological type (TT), the coefficients of expansions are computed by the topological recursion with initial data given by the semiclassical spectral curve of the linear system. This provides an efficient algorithm to compute them at least when the semiclassical spectral curve is of genus 0. TT is a non trivial property, and it is an open problem to find a criterion which guarantees it is satisfied. We prove TT and illustrate our construction for the linear systems associated to the q-th reductions of KP - which contain the (p,q) models as a specialization.
△ Less
Submitted 15 December, 2013;
originally announced December 2013.
-
Formal multidimensional integrals, stuffed maps, and topological recursion
Authors:
Gaëtan Borot
Abstract:
We show that the large N expansion in the multi-trace 1 formal hermitian matrix model is governed by the topological recursion of [Eynard and Orantin, 2007] with initial conditions. In terms of a 1d gas of eigenvalues, this model includes - on top of the squared Vandermonde - multilinear interactions of any order between the eigenvalues. In this problem, the initial data (W10,W20) of the topologic…
▽ More
We show that the large N expansion in the multi-trace 1 formal hermitian matrix model is governed by the topological recursion of [Eynard and Orantin, 2007] with initial conditions. In terms of a 1d gas of eigenvalues, this model includes - on top of the squared Vandermonde - multilinear interactions of any order between the eigenvalues. In this problem, the initial data (W10,W20) of the topological recursion is characterized: for W10, by a non-linear, non-local Riemann-Hilbert problem on a discontinuity locus to determine ; for W20, by a related but linear, non-local Riemann-Hilbert problem on the discontinuity locus. In combinatorics, this model enumerates discrete surfaces (maps) whose elementary 2-cells can have any topology - W10 being the generating series of disks and W20 that of cylinders. In particular, by substitution one may consider maps whose elementary cells are themselves maps, for which we propose the name "stuffed maps". In a sense, our results complete the program of the "moment method" initiated in the 90s to compute the formal 1/N in the one hermitian matrix model.
△ Less
Submitted 17 September, 2013; v1 submitted 18 July, 2013;
originally announced July 2013.
-
Abstract loop equations, topological recursion, and applications
Authors:
Gaëtan Borot,
Bertrand Eynard,
Nicolas Orantin
Abstract:
We formulate a notion of abstract loop equations, and show that their solution is provided by a topological recursion under some assumptions, in particular the result takes a universal form. The Schwinger-Dyson equation of the one and two hermitian matrix models, and of the O(n) model appear as special cases. We study applications to repulsive particles systems, and explain how our notion of loop…
▽ More
We formulate a notion of abstract loop equations, and show that their solution is provided by a topological recursion under some assumptions, in particular the result takes a universal form. The Schwinger-Dyson equation of the one and two hermitian matrix models, and of the O(n) model appear as special cases. We study applications to repulsive particles systems, and explain how our notion of loop equations are related to Virasoro constraints. Then, as a special case, we study in detail applications to enumeration problems in a general class of non-intersecting loop models on the random lattice of all topologies, to SU(N) Chern-Simons invariants of torus knots in the large N expansion. We also mention an application to Liouville theory on surfaces of positive genus.
△ Less
Submitted 22 March, 2013;
originally announced March 2013.
-
Asymptotic expansion of beta matrix models in the multi-cut regime
Authors:
Gaëtan Borot,
Alice Guionnet
Abstract:
We establish the asymptotic expansion in $β$ matrix models with a confining, off-critical potential, in the regime where the support of the equilibrium measure is a union of segments. We first address the case where the filling fractions of these segments are fixed, and show the existence of a $1/N$ expansion. We then study the asymptotics of the sum over the filling fractions, to obtain the full…
▽ More
We establish the asymptotic expansion in $β$ matrix models with a confining, off-critical potential, in the regime where the support of the equilibrium measure is a union of segments. We first address the case where the filling fractions of these segments are fixed, and show the existence of a $1/N$ expansion. We then study the asymptotics of the sum over the filling fractions, to obtain the full asymptotic expansion for the initial problem in the multi-cut regime. In particular, we identify the fluctuations of the linear statistics and show that they are approximated in law by the sum of a Gaussian random variable and an independent Gaussian discrete random variable with oscillating center. Fluctuations of filling fractions are also described by an oscillating discrete Gaussian random variable. We apply our results to study the all-order small dispersion asymptotics of solutions of the Toda chain associated with the one Hermitian matrix model ($β= 2$) as well as orthogonal ($β= 1$) and skew-orthogonal ($β= 4$) polynomials outside the bulk.
△ Less
Submitted 18 December, 2023; v1 submitted 5 March, 2013;
originally announced March 2013.
-
Loop models on random maps via nested loops: case of domain symmetry breaking and application to the Potts model
Authors:
G. Borot,
J. Bouttier,
E. Guitter
Abstract:
We use the nested loop approach to investigate loop models on random planar maps where the domains delimited by the loops are given two alternating colors, which can be assigned different local weights, hence allowing for an explicit Z_2 domain symmetry breaking. Each loop receives a non local weight n, as well as a local bending energy which controls loop turns. By a standard cluster construction…
▽ More
We use the nested loop approach to investigate loop models on random planar maps where the domains delimited by the loops are given two alternating colors, which can be assigned different local weights, hence allowing for an explicit Z_2 domain symmetry breaking. Each loop receives a non local weight n, as well as a local bending energy which controls loop turns. By a standard cluster construction that we review, the Q = n^2 Potts model on general random maps is mapped to a particular instance of this problem with domain-non-symmetric weights. We derive in full generality a set of coupled functional relations for a pair of generating series which encode the enumeration of loop configurations on maps with a boundary of a given color, and solve it by extending well-known complex analytic techniques. In the case where loops are fully-packed, we analyze in details the phase diagram of the model and derive exact equations for the position of its non-generic critical points. In particular, we underline that the critical Potts model on general random maps is not self-dual whenever Q \neq 1. In a model with domain-symmetric weights, we also show the possibility of a spontaneous domain symmetry breaking driven by the bending energy.
△ Less
Submitted 20 July, 2012;
originally announced July 2012.
-
All-order asymptotics of hyperbolic knot invariants from non-perturbative topological recursion of A-polynomials
Authors:
Gaëtan Borot,
Bertrand Eynard
Abstract:
We propose a conjecture to compute the all-order asymptotic expansion of the colored Jones polynomial of the complement of a hyperbolic knot, J_N(q = exp(2u/N)) when N goes to infinity. Our conjecture claims that the asymptotic expansion of the colored Jones polynomial is a the formal wave function of an integrable system whose semiclassical spectral curve S would be the SL_2(C) character variety…
▽ More
We propose a conjecture to compute the all-order asymptotic expansion of the colored Jones polynomial of the complement of a hyperbolic knot, J_N(q = exp(2u/N)) when N goes to infinity. Our conjecture claims that the asymptotic expansion of the colored Jones polynomial is a the formal wave function of an integrable system whose semiclassical spectral curve S would be the SL_2(C) character variety of the knot (the A-polynomial), and is formulated in the framework of the topological recursion. It takes as starting point the proposal made recently by Dijkgraaf, Fuji and Manabe (who kept only the perturbative part of the wave function, and found some discrepancies), but it also contains the non-perturbative parts, and solves the discrepancy problem. These non-perturbative corrections are derivatives of Theta functions associated to S, but the expansion is still in powers of 1/N due to the special properties of A-polynomials. We provide a detailed check for the figure-eight knot and the once-punctured torus bundle L^2R. We also present a heuristic argument inspired from the case of torus knots, for which knot invariants can be computed from a matrix model.
△ Less
Submitted 13 September, 2012; v1 submitted 10 May, 2012;
originally announced May 2012.
-
More on the O(n) model on random maps via nested loops: loops with bending energy
Authors:
G. Borot,
J. Bouttier,
E. Guitter
Abstract:
We continue our investigation of the nested loop approach to the O(n) model on random maps, by extending it to the case where loops may visit faces of arbitrary degree. This allows to express the partition function of the O(n) loop model as a specialization of the multivariate generating function of maps with controlled face degrees, where the face weights are determined by a fixed point condition…
▽ More
We continue our investigation of the nested loop approach to the O(n) model on random maps, by extending it to the case where loops may visit faces of arbitrary degree. This allows to express the partition function of the O(n) loop model as a specialization of the multivariate generating function of maps with controlled face degrees, where the face weights are determined by a fixed point condition. We deduce a functional equation for the resolvent of the model, involving some ring generating function describing the immediate vicinity of the loops. When the ring generating function has a single pole, the model is amenable to a full solution. Physically, such situation is realized upon considering loops visiting triangles only and further weighting these loops by some local bending energy. Our model interpolates between the two previously solved cases of triangulations without bending energy and quadrangulations with rigid loops. We analyze the phase diagram of our model in details and derive in particular the location of its non-generic critical points, which are in the universality classes of the dense and dilute O(n) model coupled to 2D quantum gravity. Similar techniques are also used to solve a twisting loop model on quadrangulations where loops are forced to make turns within each visited square. Along the way, we revisit the problem of maps with controlled, possibly unbounded, face degrees and give combinatorial derivations of the one-cut lemma and of the functional equation for the resolvent.
△ Less
Submitted 25 June, 2012; v1 submitted 24 February, 2012;
originally announced February 2012.
-
Right tail expansion of Tracy-Widom beta laws
Authors:
Gaëtan Borot,
Céline Nadal
Abstract:
Using loop equations, we compute the large deviation function of the maximum eigenvalue to the right of the spectrum in the Gaussian beta matrix ensembles, to all orders in 1/N. We then give a physical derivation of the all order asymptotic expansion of the right tail Tracy-Widom beta laws, for all positive beta, by studying the double scaling limit.
Using loop equations, we compute the large deviation function of the maximum eigenvalue to the right of the spectrum in the Gaussian beta matrix ensembles, to all orders in 1/N. We then give a physical derivation of the all order asymptotic expansion of the right tail Tracy-Widom beta laws, for all positive beta, by studying the double scaling limit.
△ Less
Submitted 11 November, 2011;
originally announced November 2011.
-
Geometry of Spectral Curves and All Order Dispersive Integrable System
Authors:
Gaëtan Borot,
Bertrand Eynard
Abstract:
We propose a definition for a Tau function and a spinor kernel (closely related to Baker-Akhiezer functions), where times parametrize slow (of order 1/N) deformations of an algebraic plane curve. This definition consists of a formal asymptotic series in powers of 1/N, where the coefficients involve theta functions whose phase is linear in N and therefore features generically fast oscillations when…
▽ More
We propose a definition for a Tau function and a spinor kernel (closely related to Baker-Akhiezer functions), where times parametrize slow (of order 1/N) deformations of an algebraic plane curve. This definition consists of a formal asymptotic series in powers of 1/N, where the coefficients involve theta functions whose phase is linear in N and therefore features generically fast oscillations when N is large. The large N limit of this construction coincides with the algebro-geometric solutions of the multi-KP equation, but where the underlying algebraic curve evolves according to Whitham equations. We check that our conjectural Tau function satisfies Hirota equations to the first two orders, and we conjecture that they hold to all orders. The Hirota equations are equivalent to a self-replication property for the spinor kernel. We analyze its consequences, namely the possibility of reconstructing order by order in 1/N an isomonodromic problem given by a Lax pair, and the relation between "correlators", the tau function and the spinor kernel. This construction is one more step towards a unified framework relating integrable hierarchies, topological recursion and enumerative geometry.
△ Less
Submitted 18 December, 2012; v1 submitted 21 October, 2011;
originally announced October 2011.
-
Purity distribution for generalized random Bures mixed states
Authors:
Gaëtan Borot,
Céline Nadal
Abstract:
We compute the distribution of the purity for random density matrices (i.e.random mixed states) in a large quantum system, distributed according to the Bures measure. The full distribution of the purity is computed using a mapping to random matrix theory and then a Coulomb gas method. We find three regimes that correspond to two phase transitions in the associated Coulomb gas. The first transition…
▽ More
We compute the distribution of the purity for random density matrices (i.e.random mixed states) in a large quantum system, distributed according to the Bures measure. The full distribution of the purity is computed using a mapping to random matrix theory and then a Coulomb gas method. We find three regimes that correspond to two phase transitions in the associated Coulomb gas. The first transition is characterized by an explosion of the third derivative on the left of the transition point. The second transition is of first order, it is characterized by the detachement of a single charge of the Coulomb gas. A key remark in this paper is that the random Bures states are closely related to the O(n) model for n=1. This actually led us to study "generalized Bures states" by keeping $n$ general instead of specializing to n=1.
△ Less
Submitted 17 October, 2011;
originally announced October 2011.
-
Quelques problèmes de géométrie énumérative, de matrices aléatoires, d'intégrabilité, étudiés via la géometrie des surfaces de Riemann
Authors:
Gaëtan Borot
Abstract:
Complex analysis is a powerful tool to study classical integrable systems, statistical physics on the random lattice, random matrix theory, topological string theory,... All these topics share certain relations, called "loop equations" or "Virasoro constraints". In the simplest case, the complete solution of those equations was found recently: it can be expressed in the framework of differential g…
▽ More
Complex analysis is a powerful tool to study classical integrable systems, statistical physics on the random lattice, random matrix theory, topological string theory,... All these topics share certain relations, called "loop equations" or "Virasoro constraints". In the simplest case, the complete solution of those equations was found recently: it can be expressed in the framework of differential geometry over a certain Riemann surface which depends on the problem : the "spectral curve". This thesis is a contribution to the development of these techniques, and to their applications. Keywords: random matrices, random maps, integrable systems, algebraic geometry, loop equations, topological recursion, Hurwitz numbers, Gromov-Witten invariants, Tracy-Widom laws, beta ensemble, large N asymptotics in random matrix theory.
△ Less
Submitted 7 October, 2011;
originally announced October 2011.
-
Asymptotic expansion of beta matrix models in the one-cut regime
Authors:
Gaëtan Borot,
Alice Guionnet
Abstract:
We prove the existence of a 1/N expansion to all orders in beta matrix models with a confining, off-critical potential corresponding to an equilibrium measure with a connected support. Thus, the coefficients of the expansion can be obtained recursively by the "topological recursion" of Chekhov and Eynard. Our method relies on the combination of a priori bounds on the correlators and the study of S…
▽ More
We prove the existence of a 1/N expansion to all orders in beta matrix models with a confining, off-critical potential corresponding to an equilibrium measure with a connected support. Thus, the coefficients of the expansion can be obtained recursively by the "topological recursion" of Chekhov and Eynard. Our method relies on the combination of a priori bounds on the correlators and the study of Schwinger-Dyson equations, thanks to the uses of classical complex analysis techniques. These a priori bounds can be derived following Boutet de Monvel, Pastur and Shcherbina, or for strictly convex potentials by using concentration of measure. Doing so, we extend the strategy of Guionnet and Maurel-Segala, from the hermitian models (beta = 2) and perturbative potentials, to general beta models. The existence of the first correction in 1/N has been considered previously by Johansson and more recently by Kriecherbauer and Shcherbina. Here, by taking similar hypotheses, we extend the result to all orders in 1/N.
△ Less
Submitted 12 November, 2012; v1 submitted 6 July, 2011;
originally announced July 2011.
-
A recursive approach to the O(n) model on random maps via nested loops
Authors:
G. Borot,
J. Bouttier,
E. Guitter
Abstract:
We consider the O(n) loop model on tetravalent maps and show how to rephrase it into a model of bipartite maps without loops. This follows from a combinatorial decomposition that consists in cutting the O(n) model configurations along their loops so that each elementary piece is a map that may have arbitrary even face degrees. In the induced statistics, these maps are drawn according to a Boltzman…
▽ More
We consider the O(n) loop model on tetravalent maps and show how to rephrase it into a model of bipartite maps without loops. This follows from a combinatorial decomposition that consists in cutting the O(n) model configurations along their loops so that each elementary piece is a map that may have arbitrary even face degrees. In the induced statistics, these maps are drawn according to a Boltzmann distribution whose parameters (the face weights) are determined by a fixed point condition. In particular, we show that the dense and dilute critical points of the O(n) model correspond to bipartite maps with large faces (i.e. whose degree distribution has a fat tail). The re-expression of the fixed point condition in terms of linear integral equations allows us to explore the phase diagram of the model. In particular, we determine this phase diagram exactly for the simplest version of the model where the loops are "rigid". Several generalizations of the model are discussed.
△ Less
Submitted 24 December, 2011; v1 submitted 1 June, 2011;
originally announced June 2011.
-
Tracy-Widom GUE law and symplectic invariants
Authors:
Gaetan Borot,
Bertrand Eynard
Abstract:
We establish the relation between two objects: an integrable system related to Painleve II equation, and the symplectic invariants of a certain plane curve Σ_{TW} describing the average eigenvalue density of a random hermitian matrix spectrum near a hard edge (a bound for its maximal eigenvalue). This explains directly how the Tracy-Widow law F_{GUE}, governing the distribution of the maximal eige…
▽ More
We establish the relation between two objects: an integrable system related to Painleve II equation, and the symplectic invariants of a certain plane curve Σ_{TW} describing the average eigenvalue density of a random hermitian matrix spectrum near a hard edge (a bound for its maximal eigenvalue). This explains directly how the Tracy-Widow law F_{GUE}, governing the distribution of the maximal eigenvalue in hermitian random matrices, can also be recovered from symplectic invariants.
△ Less
Submitted 22 November, 2010; v1 submitted 5 November, 2010;
originally announced November 2010.
-
Large deviations of the maximal eigenvalue of random matrices
Authors:
Gaëtan Borot,
Bertrand Eynard,
Satya N. Majumdar,
Céline Nadal
Abstract:
We present detailed computations of the 'at least finite' terms (three dominant orders) of the free energy in a one-cut matrix model with a hard edge a, in beta-ensembles, with any polynomial potential. beta is a positive number, so not restricted to the standard values beta = 1 (hermitian matrices), beta = 1/2 (symmetric matrices), beta = 2 (quaternionic self-dual matrices). This model allows to…
▽ More
We present detailed computations of the 'at least finite' terms (three dominant orders) of the free energy in a one-cut matrix model with a hard edge a, in beta-ensembles, with any polynomial potential. beta is a positive number, so not restricted to the standard values beta = 1 (hermitian matrices), beta = 1/2 (symmetric matrices), beta = 2 (quaternionic self-dual matrices). This model allows to study the statistic of the maximum eigenvalue of random matrices. We compute the large deviation function to the left of the expected maximum. We specialize our results to the gaussian beta-ensembles and check them numerically. Our method is based on general results and procedures already developed in the literature to solve the Pastur equations (also called "loop equations"). It allows to compute the left tail of the analog of Tracy-Widom laws for any beta, including the constant term.
△ Less
Submitted 7 October, 2011; v1 submitted 10 September, 2010;
originally announced September 2010.
-
Enumeration of maps with self avoiding loops and the O(n) model on random lattices of all topologies
Authors:
G. Borot,
B. Eynard
Abstract:
We compute the generating functions of a O(n) model (loop gas model) on a random lattice of any topology. On the disc and the cylinder, they were already known, and here we compute all the other topologies. We find that the generating functions (and the correlation functions of the lattice) obey the topological recursion, as usual in matrix models, i.e they are given by the symplectic invariants o…
▽ More
We compute the generating functions of a O(n) model (loop gas model) on a random lattice of any topology. On the disc and the cylinder, they were already known, and here we compute all the other topologies. We find that the generating functions (and the correlation functions of the lattice) obey the topological recursion, as usual in matrix models, i.e they are given by the symplectic invariants of their spectral curve.
△ Less
Submitted 1 June, 2011; v1 submitted 30 October, 2009;
originally announced October 2009.
-
A matrix model for simple Hurwitz numbers, and topological recursion
Authors:
G. Borot,
B. Eynard,
M. Mulase,
B. Safnuk
Abstract:
We introduce a new matrix model representation for the generating function of simple Hurwitz numbers. We calculate the spectral curve of the model and the associated symplectic invariants developed in [Eynard-Orantin]. As an application, we prove the conjecture proposed by Bouchard and Marino, relating Hurwitz numbers to the spectral invariants of the Lambert curve exp(x)=y exp(-y).
We introduce a new matrix model representation for the generating function of simple Hurwitz numbers. We calculate the spectral curve of the model and the associated symplectic invariants developed in [Eynard-Orantin]. As an application, we prove the conjecture proposed by Bouchard and Marino, relating Hurwitz numbers to the spectral invariants of the Lambert curve exp(x)=y exp(-y).
△ Less
Submitted 5 June, 2009;
originally announced June 2009.
