Source author record

Siddhartha Gadgil

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

10works
8topics
4close collaborators

Published work

10 publications

preprint2022arXiv

Random words in free groups, non-crossing matchings and RNA secondary structures

Consider a random word Xn=(X1,…,Xn)X^n=(X_1,\ldots ,X_n) in an alphabet consisting of 44 letters, with the letters viewed either as AA, UU, GG and CC (i.e., nucleotides in an RNA sequence) or αα, αˉ\barα, ββ and βˉ\barβ (i.e., generators of the free group ⟨α,β⟩\langleα,β\rangle and their inverses). We show that the expected fraction ρ(n)ρ(n) of unpaired bases in an optimal RNA secondary structure (with only Watson-Crick bonds and no pseudo-knots) converges to a constant λ2λ_2 with 0<λ2<10<λ_2<1 as n→∞n\to\infty. Thus, a positive proportion of the bases of a random RNA string do not form hydrogen bonds. We do not know the exact value of λ2λ_2, but we derive upper and lower bounds for it. In terms of free groups, ρ(n)ρ(n) is the ratio of the length of the shortest word representing XX in the generating set consisting of conjugates of generators and their inverses to the word length of XX with respect to the standard generators and their inverses. Thus for a typical word the word length in the (infinite) generating set consisting of the conjugates of standard generators grows linearly with the word length in the standard generators. In fact, we show that a similar result holds for all non-abelian finitely generated free groups ⟨α1,…,αk⟩\langleα_1,\dots,α_k\rangle, k≥2k\geq 2.

preprint2015arXiv

Compactness theorems for the spaces of distance measure spaces and Riemann surface laminations

In this paper, we give a generalisation of Gromov's compactness theorem for metric spaces, more precisely, we give a compactness theorem for the space of distance measure spaces equipped with a \emph{generalised Gromov-Hausdorff-Levi-Prokhorov distance}. Using this result we prove that the Deligne-Mumford compactification is the completion of the moduli space of Riemann surfaces under the generalised Gromov-Hausdorff-Levi-Prokhorov distance. Further we prove a compactness theorem for the space of Riemann surface laminations.

preprint2014arXiv

The Goldman bracket determines intersection numbers for surfaces and orbifolds

In the mid eighties Goldman proved an embedded curve could be isotoped to not intersect a closed geodesic if and only if their Lie bracket (as defined in that work) vanished. Goldman asked for a topological proof and about extensions of the conclusion to curves with self-intersection. Turaev, in the late eighties, asked about characterizing simple closed curves algebraically, in terms of the same Lie structure. We show how the Goldman bracket answers these questions for all finite type surfaces. In fact we count self-intersection numbers and mutual intersection numbers for all finite type orientable orbifolds in terms of a new Lie bracket operation, extending Goldman's. The arguments are purely topological, or based on elementary ideas from hyperbolic geometry. These results are intended to be used to recognize hyperbolic and Seifert vertices and the gluing graph in the geometrization of three manifolds. The recognition is based on the structure of the String Topology bracket of three manifolds.

preprint2012arXiv

Knots, Braids and First Order Logic

Determining when two knots are equivalent (more precisely isotopic) is a fundamental problem in topology. Here we formulate this problem in terms of Predicate Calculus, using the formulation of knots in terms of braids and some basic topological results. Concretely, Knot theory is formulated in terms of a language with signature (⋅,T,≡,1,σ,σˉ)(\cdot,T,\equiv, 1,σ,\barσ), with ⋅\cdot a 2-function, TT a 1-function, ≡\equiv a 2-predicate and 1, σσ and σˉ\barσ constants. We describe a finite set of axioms making the language into a (first order) theory. We show that every knot can be represented by a term bb in 1, σσ, $\bs$ and TT, and knots represented by terms b1b_1 and b2b_2 are equivalent if and only if b1≡b2b_1\equiv b_2. Our formulation gives a rich class of problems in First Order Logic that are important in Mathematics.

preprint2011arXiv

Lipschitz correspondence between metric measure spaces and random distance matrices

Given a metric space with a Borel probability measure, for each integer NN we obtain a probability distribution on N×NN\times N distance matrices by considering the distances between pairs of points in a sample consisting of NN points chosen indepenedently from the metric space with respect to the given measure. We show that this gives an asymptotically bi-Lipschitz relation between metric measure spaces and the corresponding distance matrices. This is an effective version of a result of Vershik that metric measure spaces are determined by associated distributions on infinite random matrices.

preprint2010arXiv

A triangulation of a homotopy-Deligne-Mumford compactification of the Moduli of curves

We construct a triangulation of a compactification of the Moduli space of a surface with at least one puncture that is closely related to the Deligne-Mumford compactification. Specifically, there is a surjective map from the compactification we construct to the Deligne-Mumford compactification so that the inverse image of each point is contractible. In particular our compactification is homotopy equivalent to the Deligne-Mumford compactification.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.