9 citations · 28 across the 29 of their papers we have counts for
32 papers
The Goldman bracket characterizes homeomorphisms between non-compact surfaces
Sumanta Das, Siddhartha Gadgil, Ajay Kumar Nair
We show that a homotopy equivalence between two non-compact orientable surfaces is homotopic to a homeomorphism if and only if it preserves the Goldman bracket, provided our surfac…
Towards a Mathematics Formalisation Assistant using Large Language Models
Ayush Agrawal, Siddhartha Gadgil, Navin Goyal +2
Mathematics formalisation is the task of writing mathematics (i.e., definitions, theorem statements, proofs) in natural language, as found in books and papers, into a formal langua…
Surfaces of infinite-type are non-Hopfian
Sumanta Das, Siddhartha Gadgil
We show that finite-type surfaces are characterized by a topological analog of the Hopf property. Namely, an oriented surface is of finite-type if and only if every proper map…
Random words in free groups, non-crossing matchings and RNA secondary structures
Siddhartha Gadgil, Manjunath Krishnapur
Consider a random word in an alphabet consisting of letters, with the letters viewed either as , , and (i.e., nucleotides in an RNA sequen…
Homogeneous length functions on Groups: Intertwined computer & human proofs
Siddhartha Gadgil
We describe a case of an interplay between human and computer proving which played a role in the discovery of an interesting mathematical result. The unusual feature of the use of…
Homogeneous length functions on groups
D. H. J. Polymath
A pseudo-length function defined on an arbitrary group is a map obeying , the symmetry property $\ell(x^{-1}) = \e…