On discrete surfaces : Enumerative geometry, matrix models and universality classes via topological recursion

The main objects under consideration in this thesis are called maps, a certain class of graphs embedded on surfaces. We approach our study of these objects from different perspectives, namely bijective combinatorics, matrix models and analysis of critical behaviors. Our problems have a powerful relatively recent tool in common, which is the so-called topological recursion introduced by Chekhov, Eynard and Orantin around 2007. Further understanding general properties of this procedure also constitutes a motivation for us. 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 combinatorial relation between fully simple and ordinary 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 (first and second order) correlation moments and free cumulants established by Collins--Mingo--'Sniady--Speicher in the setting of free probability, and implement the exchange transformation $x leftrightarrow y$ on the spectral curve in the context of topological recursion. These interesting features motivated us to investigate fully simple maps, which turned out to be interesting combinatorial objects by themselves. We then propose a combinatorial interpretation of the still not well understood exchange symplectic transformation of the topological recursion. We provide a matrix model interpretation for 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 $(lambda_1,ldots,lambda_n)$ are strictly monotone double Hurwitz numbers with ramifications $lambda$ above $infty$ and $(2,ldots,2)$ above $0$. Combining with a recent result of Dubrovin--Liu--Yang--Zhang, this implies an ELSV-like formula for these Hurwitz numbers. Later, we consider ordinary maps endowed with a so-called $O(mathsf{n})$ loop model, which is a classical model in statistical physics. We consider a probability measure on these objects, thus providing a notion of randomness, and our goal is to determine which shapes are more likely to occur regarding the nesting properties of the loops decorating the maps. In this context, we call volume the number of vertices of the map and we want to study the limiting objects when the volume becomes arbitrarily large, which can be done by studying the generating series at dominant singularities. An important motivation comes from the conjecture that the geometry of large random maps is universal. We pursue the analysis of nesting statistics in the $O(mathsf{n})$ loop model on random maps of arbitrary topologies in the presence of large and small boundaries, which was initiated for maps with the topology of disks and cylinders by Borot--Bouttier--Duplantier. For this purpose we rely on topological recursion results for the enumeration of maps in the $O(mathsf{n})$ model. We characterize the generating series of maps of genus $g$ with $k$ boundaries and~$k'$ marked points which realize a fixed nesting graph, which is associated to every map endowed with loops and encodes the information regarding non-separating loops, which are the non-contractible ones on the complement of the marked elements. These generating series are amenable to explicit computations in the so-called loop model with bending energy on triangulations, and we characterize their behavior at criticality in the dense and in the dilute phases, which are the two universality classes characteristic of the $O(mathsf{n})$ loop model. We extract interesting qualitative conclusions, e.g., which nesting graphs are more probable to occur. We also argue how this analysis can be generalized to other problems in enumerative geometry satisfying the topological recursion, and apply our method to study the fully simple maps introduced in the first part of the thesis

Parallel algorithms for solvable permutation groups

AbstractA number of basic problems involving solvable and nilpotent permutation groups are shown to have fast parallel solutions. Testing solvability is in NC as well as, for solvable groups, finding order, testing membership, finding centralizers, finding centers, finding the derived series and finding a composition series. Additionally, for nilpotent groups, one can, in NC, find a central composition series, and find pointwise stabilizers of sets. The latter is applied to an instance of graph isomorphism. A useful tool is the observation that the problem of finding the smallest subspace containing a given set of vectors and closed under a given set of linear transformations (all over a small field) belongs to NC

Quantum geometry and quantum algorithms

Motivated by algorithmic problems arising in quantum field theories whose dynamical variables are geometric in nature, we provide a quantum algorithm that efficiently approximates the colored Jones polynomial. The construction is based on the complete solution of Chern-Simons topological quantum field theory and its connection to Wess-Zumino-Witten conformal field theory. The colored Jones polynomial is expressed as the expectation value of the evolution of the q-deformed spin-network quantum automaton. A quantum circuit is constructed capable of simulating the automaton and hence of computing such expectation value. The latter is efficiently approximated using a standard sampling procedure in quantum computation.Comment: Submitted to J. Phys. A: Math-Gen, for the special issue ``The Quantum Universe'' in honor of G. C. Ghirard

LIPIcs, Volume 258, SoCG 2023, Complete Volume

LIPIcs, Volume 258, SoCG 2023, Complete Volum

Advances in Rule-based Modeling: Compartments, Energy, and Hybrid Simulation, with Application to Sepsis and Cell Signaling

Biological systems are commonly modeled as reaction networks, which describe the system at the resolution of biochemical species. Cellular systems, however, are governed by events at a finer scale: local interactions among macromolecular domains. The multi-domain structure of macromolecules, combined with the local nature of interactions, can lead to a combinatorial explosion that pushes reaction network methods to their limits. As an alternative, rule-based models (RBMs) describe the domain-based structure and local interactions found in biological systems. Molecular complexes are represented by graphs: functional domains as vertices, macromolecules as groupings of vertices, and molecular bonding as edges. Reaction rules, which describe classes of reactions, govern local modifications to molecular graphs, such as binding, post-translational modification, and degradation. RBMs can be transformed to equivalent reaction networks and simulated by differential or stochastic methods, or simulated directly with a network-free approach that avoids the problem of combinatorial complexity. Although RBMs and network-free methods resolve many problems in systems modeling, challenges remain. I address three challenges here: (i) managing model complexity due to cooperative interactions, (ii) representing biochemical systems in the compartmental setting of cells and organisms, and (iii) reducing the memory burden of large-scale network-free simulations. First, I present a general theory of energy-based modeling within the BioNetGen framework. Free energy is computed under a pattern-based formalism, and contextual variations within reaction classes are enumerated automatically. Next, I extend the BioNetGen language to permit description of compartmentalized biochemical systems, with treatment of volumes, surfaces and transport. Finally, a hybrid particle/population method is developed to reduce memory requirements of network-free simulations. All methods are implemented and available as part of BioNetGen. The remainder of this work presents an application to sepsis and inflammation. A multi-organ model of peritoneal infection and systemic inflammation is constructed and calibrated to experiment. Extra-corporeal blood purification, a potential treatment for sepsis, is explored in silico. Model simulations demonstrate that removal of blood cytokines and chemokines is a sufficient mechanism for improved survival in sepsis. However, differences between model predictions and the latest experimental data suggest directions for further exploration

Multicoloured Random Graphs: Constructions and Symmetry

This is a research monograph on constructions of and group actions on countable homogeneous graphs, concentrating particularly on the simple random graph and its edge-coloured variants. We study various aspects of the graphs, but the emphasis is on understanding those groups that are supported by these graphs together with links with other structures such as lattices, topologies and filters, rings and algebras, metric spaces, sets and models, Moufang loops and monoids. The large amount of background material included serves as an introduction to the theories that are used to produce the new results. The large number of references should help in making this a resource for anyone interested in beginning research in this or allied fields.Comment: Index added in v2. This is the first of 3 documents; the other 2 will appear in physic

Triangulations

The earliest work in topology was often based on explicit combinatorial models – usually triangulations – for the spaces being studied. Although algebraic methods in topology gradually replaced combinatorial ones in the mid-1900s, the emergence of computers later revitalized the study of triangulations. By now there are several distinct mathematical communities actively doing work on different aspects of triangulations. The goal of this workshop was to bring the researchers from these various communities together to stimulate interaction and to benefit from the exchange of ideas and methods