Source author record

Siddhartha Gadgil

Siddhartha Gadgil appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

10works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

10 published item(s)

preprint2022arXiv

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

Consider a random word $X^n=(X_1,\ldots ,X_n)$ in an alphabet consisting of $4$ letters, with the letters viewed either as $A$, $U$, $G$ and $C$ (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)$ of unpaired bases in an optimal RNA secondary structure (with only Watson-Crick bonds and no pseudo-knots) converges to a constant $λ_2$ with $0<λ_2<1$ as $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$, but we derive upper and lower bounds for it. In terms of free groups, $ρ(n)$ is the ratio of the length of the shortest word representing $X$ in the generating set consisting of conjugates of generators and their inverses to the word length of $X$ 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 $\langleα_1,\dots,α_k\rangle$, $k\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 $(\cdot,T,\equiv, 1,σ,\barσ)$, with $\cdot$ a 2-function, $T$ 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 $b$ in 1, $σ$, $\bs$ and $T$, and knots represented by terms $b_1$ and $b_2$ are equivalent if and only if $b_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 $N$ we obtain a probability distribution on $N\times N$ distance matrices by considering the distances between pairs of points in a sample consisting of $N$ 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.