Showing 1–41 of 41 results for author: Gadgil, S

Data Alignment for Zero-Shot Concept Generation in Dermatology AI

Authors: Soham Gadgil, Mahtab Bigverdi

Abstract: AI in dermatology is evolving at a rapid pace but the major limitation to training trustworthy classifiers is the scarcity of data with ground-truth concept level labels, which are meta-labels semantically meaningful to humans. Foundation models like CLIP providing zero-shot capabilities can help alleviate this challenge by leveraging vast amounts of image-caption pairs available on the internet.… ▽ More AI in dermatology is evolving at a rapid pace but the major limitation to training trustworthy classifiers is the scarcity of data with ground-truth concept level labels, which are meta-labels semantically meaningful to humans. Foundation models like CLIP providing zero-shot capabilities can help alleviate this challenge by leveraging vast amounts of image-caption pairs available on the internet. CLIP can be fine-tuned using domain specific image-caption pairs to improve classification performance. However, CLIP's pre-training data is not well-aligned with the medical jargon that clinicians use to perform diagnoses. The development of large language models (LLMs) in recent years has led to the possibility of leveraging the expressive nature of these models to generate rich text. Our goal is to use these models to generate caption text that aligns well with both the clinical lexicon and with the natural human language used in CLIP's pre-training data. Starting with captions used for images in PubMed articles, we extend them by passing the raw captions through an LLM fine-tuned on the field's several textbooks. We find that using captions generated by an expressive fine-tuned LLM like GPT-3.5 improves downstream zero-shot concept classification performance. △ Less

Submitted 19 April, 2024; originally announced April 2024.

Classification for everyone : Building geography agnostic models for fairer recognition

Authors: Akshat **dal, Shreya Singh, Soham Gadgil

Abstract: In this paper, we analyze different methods to mitigate inherent geographical biases present in state of the art image classification models. We first quantitatively present this bias in two datasets - The Dollar Street Dataset and ImageNet, using images with location information. We then present different methods which can be employed to reduce this bias. Finally, we analyze the effectiveness of… ▽ More In this paper, we analyze different methods to mitigate inherent geographical biases present in state of the art image classification models. We first quantitatively present this bias in two datasets - The Dollar Street Dataset and ImageNet, using images with location information. We then present different methods which can be employed to reduce this bias. Finally, we analyze the effectiveness of the different techniques on making these models more robust to geographical locations of the images. △ Less

Submitted 2 April, 2024; v1 submitted 5 December, 2023; originally announced December 2023.

Comments: typos corrected, references added

The Goldman bracket characterizes homeomorphisms between non-compact surfaces

Authors: Sumanta Das, Siddhartha Gadgil, Ajay Kumar Nair

Abstract: 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 surfaces are neither the plane nor the punctured plane. 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 surfaces are neither the plane nor the punctured plane. △ Less

Submitted 14 May, 2024; v1 submitted 6 July, 2023; originally announced July 2023.

Comments: to appear in Algebraic and Geometric Topology

MSC Class: 57K20

Estimating Conditional Mutual Information for Dynamic Feature Selection

Authors: Soham Gadgil, Ian Covert, Su-In Lee

Abstract: Dynamic feature selection, where we sequentially query features to make accurate predictions with a minimal budget, is a promising paradigm to reduce feature acquisition costs and provide transparency into a model's predictions. The problem is challenging, however, as it requires both predicting with arbitrary feature sets and learning a policy to identify valuable selections. Here, we take an inf… ▽ More Dynamic feature selection, where we sequentially query features to make accurate predictions with a minimal budget, is a promising paradigm to reduce feature acquisition costs and provide transparency into a model's predictions. The problem is challenging, however, as it requires both predicting with arbitrary feature sets and learning a policy to identify valuable selections. Here, we take an information-theoretic perspective and prioritize features based on their mutual information with the response variable. The main challenge is implementing this policy, and we design a new approach that estimates the mutual information in a discriminative rather than generative fashion. Building on our approach, we then introduce several further improvements: allowing variable feature budgets across samples, enabling non-uniform feature costs, incorporating prior information, and exploring modern architectures to handle partial inputs. Our experiments show that our method provides consistent gains over recent methods across a variety of datasets. △ Less

Submitted 6 October, 2023; v1 submitted 5 June, 2023; originally announced June 2023.

Towards a Mathematics Formalisation Assistant using Large Language Models

Authors: Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, Ashvni Narayanan, Anand Tadipatri

Abstract: 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 language that can then be checked for correctness by a program. It is a thriving activity today, however formalisation remains cumbersome. In this paper, we explore the abilities of a large language model (Codex) to help with… ▽ More 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 language that can then be checked for correctness by a program. It is a thriving activity today, however formalisation remains cumbersome. In this paper, we explore the abilities of a large language model (Codex) to help with formalisation in the Lean theorem prover. We find that with careful input-dependent prompt selection and postprocessing, Codex is able to formalise short mathematical statements at undergrad level with nearly 75\% accuracy for $120$ theorem statements. For proofs quantitative analysis is infeasible and we undertake a detailed case study. We choose a diverse set of $13$ theorems at undergrad level with proofs that fit in two-three paragraphs. We show that with a new prompting strategy Codex can formalise these proofs in natural language with at least one out of twelve Codex completion being easy to repair into a complete proof. This is surprising as essentially no aligned data exists for formalised mathematics, particularly for proofs. These results suggest that large language models are a promising avenue towards fully or partially automating formalisation. △ Less

Submitted 14 November, 2022; originally announced November 2022.

Surfaces of infinite-type are non-Hopfian

Authors: Sumanta Das, Siddhartha Gadgil

Abstract: 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 $f\colonΣ\to Σ$ of degree one is homotopic to a homeomorphism. 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 $f\colonΣ\to Σ$ of degree one is homotopic to a homeomorphism. △ Less

Submitted 6 June, 2023; v1 submitted 7 October, 2022; originally announced October 2022.

Comments: 8 pages, 4 figures. v2: incorporates the referee's comments, accepted in the Comptes Rendus Mathématique

MSC Class: 57K20 (Primary); 55S37 (Secondary)

CheXseg: Combining Expert Annotations with DNN-generated Saliency Maps for X-ray Segmentation

Authors: Soham Gadgil, Mark Endo, Emily Wen, Andrew Y. Ng, Pranav Rajpurkar

Abstract: Medical image segmentation models are typically supervised by expert annotations at the pixel-level, which can be expensive to acquire. In this work, we propose a method that combines the high quality of pixel-level expert annotations with the scale of coarse DNN-generated saliency maps for training multi-label semantic segmentation models. We demonstrate the application of our semi-supervised met… ▽ More Medical image segmentation models are typically supervised by expert annotations at the pixel-level, which can be expensive to acquire. In this work, we propose a method that combines the high quality of pixel-level expert annotations with the scale of coarse DNN-generated saliency maps for training multi-label semantic segmentation models. We demonstrate the application of our semi-supervised method, which we call CheXseg, on multi-label chest X-ray interpretation. We find that CheXseg improves upon the performance (mIoU) of fully-supervised methods that use only pixel-level expert annotations by 9.7% and weakly-supervised methods that use only DNN-generated saliency maps by 73.1%. Our best method is able to match radiologist agreement on three out of ten pathologies and reduces the overall performance gap by 57.2% as compared to weakly-supervised methods. △ Less

Submitted 17 May, 2021; v1 submitted 20 February, 2021; originally announced February 2021.

Comments: Accepted to Medical Imaging with Deep Learning (MIDL) Conference 2021

Solving The Lunar Lander Problem under Uncertainty using Reinforcement Learning

Authors: Soham Gadgil, Yunfeng Xin, Chengzhe Xu

Abstract: Reinforcement Learning (RL) is an area of machine learning concerned with enabling an agent to navigate an environment with uncertainty in order to maximize some notion of cumulative long-term reward. In this paper, we implement and analyze two different RL techniques, Sarsa and Deep QLearning, on OpenAI Gym's LunarLander-v2 environment. We then introduce additional uncertainty to the original pro… ▽ More Reinforcement Learning (RL) is an area of machine learning concerned with enabling an agent to navigate an environment with uncertainty in order to maximize some notion of cumulative long-term reward. In this paper, we implement and analyze two different RL techniques, Sarsa and Deep QLearning, on OpenAI Gym's LunarLander-v2 environment. We then introduce additional uncertainty to the original problem to test the robustness of the mentioned techniques. With our best models, we are able to achieve average rewards of 170+ with the Sarsa agent and 200+ with the Deep Q-Learning agent on the original problem. We also show that these techniques are able to overcome the additional uncertainities and achieve positive average rewards of 100+ with both agents. We then perform a comparative analysis of the two techniques to conclude which agent peforms better. △ Less

Submitted 23 November, 2020; originally announced November 2020.

Journal ref: SoutheastCon 2020

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

Authors: Siddhartha Gadgil, Manjunath Krishnapur

Abstract: 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 on… ▽ More 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$. △ Less

Submitted 19 January, 2022; v1 submitted 23 July, 2020; originally announced July 2020.

Comments: new results giving stationary distribution of a Markov chain from a greedy algorithm and corresponding explicit bounds; 19 pages

MSC Class: 20F12; 20F65

Spatio-Temporal Graph Convolution for Resting-State fMRI Analysis

Authors: Soham Gadgil, Qingyu Zhao, Adolf Pfefferbaum, Edith V. Sullivan, Ehsan Adeli, Kilian M. Pohl

Abstract: The Blood-Oxygen-Level-Dependent (BOLD) signal of resting-state fMRI (rs-fMRI) records the temporal dynamics of intrinsic functional networks in the brain. However, existing deep learning methods applied to rs-fMRI either neglect the functional dependency between different brain regions in a network or discard the information in the temporal dynamics of brain activity. To overcome those shortcomin… ▽ More The Blood-Oxygen-Level-Dependent (BOLD) signal of resting-state fMRI (rs-fMRI) records the temporal dynamics of intrinsic functional networks in the brain. However, existing deep learning methods applied to rs-fMRI either neglect the functional dependency between different brain regions in a network or discard the information in the temporal dynamics of brain activity. To overcome those shortcomings, we propose to formulate functional connectivity networks within the context of spatio-temporal graphs. We train a spatio-temporal graph convolutional network (ST-GCN) on short sub-sequences of the BOLD time series to model the non-stationary nature of functional connectivity. Simultaneously, the model learns the importance of graph edges within ST-GCN to gain insight into the functional connectivities contributing to the prediction. In analyzing the rs-fMRI of the Human Connectome Project (HCP, N=1,091) and the National Consortium on Alcohol and Neurodevelopment in Adolescence (NCANDA, N=773), ST-GCN is significantly more accurate than common approaches in predicting gender and age based on BOLD signals. Furthermore, the brain regions and functional connections significantly contributing to the predictions of our model are important markers according to the neuroscience literature. △ Less

Submitted 28 June, 2021; v1 submitted 23 March, 2020; originally announced March 2020.

Homogeneous length functions on Groups: Intertwined computer & human proofs

Authors: Siddhartha Gadgil

Abstract: 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 computers here was that a computer generated but human readable proof was read, understood, generalized and abstracted by mathematicians to obtain the key lemma in an interesting mathematical result. 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 computers here was that a computer generated but human readable proof was read, understood, generalized and abstracted by mathematicians to obtain the key lemma in an interesting mathematical result. △ Less

Submitted 10 April, 2019; originally announced April 2019.

Comments: to appear in Journal of Automated Reasoning

MSC Class: 03B15 (primary); 20F12; 20F65 (secondary)

Performance and Energy Conservation of 3GPP IFOM Protocol for Dual Connectivity in Heterogeneous LTE-WLAN Network

Authors: Shubhada Gadgil, Shashi Ranjan, Abhay Karandikar

Abstract: For the 5th Generation (5G) networks, Third Generation Partnership Project (3GPP) is considering standardization of various solutions for traffic aggregation using licensed and unlicensed spectrum, to meet the rising data demands. IP Flow Mobility (IFOM) is a multi access connectivity solution/protocol standardized by the Internet Engineering Task force (IETF) and 3GPP in Release 10. It enables co… ▽ More For the 5th Generation (5G) networks, Third Generation Partnership Project (3GPP) is considering standardization of various solutions for traffic aggregation using licensed and unlicensed spectrum, to meet the rising data demands. IP Flow Mobility (IFOM) is a multi access connectivity solution/protocol standardized by the Internet Engineering Task force (IETF) and 3GPP in Release 10. It enables concurrent access for an User Equipment (UE) to Heterogeneous Networks (HetNets) such as Long Term Evolution (LTE) and IEEE 802.11 Wireless Local Area Network (WLAN). IFOM enabled UEs have multiple interfaces to connect to HetNets. They can have concurrent flows with different traffic types over these networks and can seamlessly switch the flows from one network to the other. In this paper, we focus on two objectives. First is to investigate the performance parameters e.g. throughput, latency, tunnelling overhead, packet loss, energy cost etc. of IFOM enabled UEs (IeUs) in HetNets of LTE and WLAN. We have proposed a novel mechanism to maximize the throughput of IeUs achieving a significant throughput gain with low latency for the IeUs. We have explored further and observed a throughput energy trade off for low data rate flows. To address this, we also propose a smart energy efficient and throughput optimization algorithm for the IeUs, resulting in a substantial reduction in energy cost, while maintaining the high throughput at lower latency and satisfying the Quality of Service (QoS) requirements of the IeUs. △ Less

Submitted 28 March, 2019; originally announced March 2019.

Comments: 12 pages, 15 figures, journal

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

Authors: Divakaran Divakaran, Siddhartha Gadgil

Abstract: 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 generali… ▽ More 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. △ Less

Submitted 20 October, 2015; originally announced October 2015.

Comments: 53 pages, 13 figures

MSC Class: 51F99 (Primary); 57R30; 30F60 (Secondary)

Graphs of Systoles on hyperbolic surfaces

Authors: Bidyut Sanki, Siddhartha Gadgil

Abstract: Given a hyperbolic surface, the set of all closed geodesics whose length is minimal form a graph on the surface, in fact a so-called fat graph, which we call the systolic graph. We study which fat graphs are systolic graphs for some surface (we call these admissible). There is a natural necessary condition on such graphs, which we call combinatorial admissibility. Our first main result is that t… ▽ More Given a hyperbolic surface, the set of all closed geodesics whose length is minimal form a graph on the surface, in fact a so-called fat graph, which we call the systolic graph. We study which fat graphs are systolic graphs for some surface (we call these admissible). There is a natural necessary condition on such graphs, which we call combinatorial admissibility. Our first main result is that this condition is also sufficient. It follows that a sub-graph of an admissible graph is admissible. Our second major result is that there are infinitely many minimal non-admissible fat graphs (in contrast, for instance, to the classical result that there are only two minimal non-planar graphs). △ Less

Submitted 19 April, 2017; v1 submitted 6 March, 2015; originally announced March 2015.

Comments: 18 pages, 4 figures, There are some changes including the title. To appear in J. Topol. Anal

Intelligent City Traffic Management and Public Transportation System

Authors: Snehal Mulay, Chinmay Dhekne, Rucha Bapat, Tanmay Budukh, Soham Gadgil

Abstract: Intelligent Transportation System in case of cities is controlling traffic congestion and regulating the traffic flow. This paper presents three modules that will help in managing city traffic issues and ultimately gives advanced development in transportation system. First module, Congestion Detection and Management will provide user real time information about congestion on the road towards his d… ▽ More Intelligent Transportation System in case of cities is controlling traffic congestion and regulating the traffic flow. This paper presents three modules that will help in managing city traffic issues and ultimately gives advanced development in transportation system. First module, Congestion Detection and Management will provide user real time information about congestion on the road towards his destination, Second module, Intelligent Public Transport System will provide user real time public transport information,i.e, local buses, and the third module, Signal Synchronization will help in controlling congestion at signals, with real time adjustments of signal timers according to the congestion. All the information that user is getting about the traffic or public transportation will be provided on users day to day device that is mobile through Android application or SMS. Moreover, communication can also be done via Website for Clients having internet access. And all these modules will be fully automated without any human intervention at server side. △ Less

Submitted 21 October, 2013; originally announced October 2013.

Journal ref: IJCSI International Journal of Computer Science Issues, Vol. 10, Issue 3, No 1, May 2013 ISSN (Print): 1694-0814 | ISSN (Online): 1694-0784 Reference: IJCSI-10-3-1-46-50

Knots, Braids and First Order Logic

Authors: Siddhartha Gadgil, T. V. H. Prathamesh

Abstract: 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-f… ▽ More 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. △ Less

Submitted 17 September, 2012; originally announced September 2012.

Comments: 12 pages; 9 figures

The Goldman bracket determines intersection numbers for surfaces and orbifolds

Authors: Moira Chas, Siddhartha Gadgil

Abstract: 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… ▽ More 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. △ Less

Submitted 15 March, 2014; v1 submitted 4 September, 2012; originally announced September 2012.

MSC Class: 57M50 (Primary)

Journal ref: Algebr. Geom. Topol. 16 (2016) 2813-2838

Relative Symplectic Caps, 4-Genus And Fibered Knots

Authors: Siddhartha Gadgil, Dheeraj Kulkarni

Abstract: We prove relative versions of the symplectic cap** theorem and sufficiency of Giroux's criterion for Stein fillability and use these to study the 4-genus of knots. We prove relative versions of the symplectic cap** theorem and sufficiency of Giroux's criterion for Stein fillability and use these to study the 4-genus of knots. △ Less

Submitted 27 October, 2013; v1 submitted 22 March, 2012; originally announced March 2012.

Comments: Sign error in (symplectic) convexity criterion for disk bundles is fixed

Lipschitz correspondence between metric measure spaces and random distance matrices

Authors: Siddhartha Gadgil, Manjunath Krishnapur

Abstract: 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 measur… ▽ More 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. △ Less

Submitted 28 October, 2011; originally announced October 2011.

Comments: 15 pages

The Goldman bracket characterizes homeomorphisms

Authors: Siddhartha Gadgil

Abstract: We show that a homotopy equivalence between compact, connected, oriented surfaces with non-empty boundary is homotopic to a homeomorphism if and only if it commutes with the Goldman bracket. We show that a homotopy equivalence between compact, connected, oriented surfaces with non-empty boundary is homotopic to a homeomorphism if and only if it commutes with the Goldman bracket. △ Less

Submitted 6 November, 2011; v1 submitted 7 September, 2011; originally announced September 2011.

Comments: references added; to appear in Comptes rendus - Mathématique

MSC Class: 57M99 (Primary) 17B99 (Secondary)

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

Authors: Siddhartha Gadgil

Abstract: 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 e… ▽ More 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. △ Less

Submitted 9 April, 2010; originally announced April 2010.

Comments: 10 pages

MSC Class: 57M99; 32G15

Surfaces of bounded mean curvature in Riemannian manifolds

Authors: Siddartha Gadgil, Harish Seshadri

Abstract: Consider a sequence of closed, orientable surfaces of fixed genus $g$ in a Riemannian manifold $M$ with uniform upper bounds on mean curvature and area. We show that on passing to a subsequence and choosing appropriate parametrisations, the inclusion maps converge in $C^0$ to a map from a surface of genus $g$ to $M$. We also show that, on passing to a further subsequence, the distance function… ▽ More Consider a sequence of closed, orientable surfaces of fixed genus $g$ in a Riemannian manifold $M$ with uniform upper bounds on mean curvature and area. We show that on passing to a subsequence and choosing appropriate parametrisations, the inclusion maps converge in $C^0$ to a map from a surface of genus $g$ to $M$. We also show that, on passing to a further subsequence, the distance functions corresponding to pullback metrics converge to a pseudo-metric of fractal dimension two. As a corollary, we obtain a purely geometric result. Namely, we show that bounds on the mean curvature, area and genus of a surface $F\subset M$ together with bounds on the geometry of $M$ give an upper bound on the diameter of $F$. Our proof is modelled on Gromov's compactness theorem for $J$-holomorphic curves. △ Less

Submitted 12 November, 2008; originally announced November 2008.

Comments: 26 pages

MSC Class: 53C21

A chain complex and Quadrilaterals for normal surfaces

Authors: Siddhartha Gadgil, Tejas Kalelkar

Abstract: We interpret a normal surface in a (singular) three-manifold in terms of the homology of a chain complex. This allows us to study the relation between normal surfaces and their quadrilateral co-ordinates. Specifically, we give a proof of an (unpublished) observation independently given by Casson and Rubinstein saying that quadrilaterals determine a normal surface up to vertex linking spheres. We… ▽ More We interpret a normal surface in a (singular) three-manifold in terms of the homology of a chain complex. This allows us to study the relation between normal surfaces and their quadrilateral co-ordinates. Specifically, we give a proof of an (unpublished) observation independently given by Casson and Rubinstein saying that quadrilaterals determine a normal surface up to vertex linking spheres. We also characterise the quadrilateral coordinates that correspond to a normal surface in a (possibly ideal) triangulation. △ Less

Submitted 2 October, 2008; originally announced October 2008.

Comments: 7 pages, 1 figure

MSC Class: 57Q35 (Primary)

Watson-Crick pairing, the Heisenberg group and Milnor invariants

Authors: Siddhartha Gadgil

Abstract: We study the secondary structure of RNA determined by Watson-Crick pairing without pseudo-knots using Milnor invariants of links. We focus on the first non-trivial invariant, which we call the Heisenberg invariant. The Heisenberg invariant, which is an integer, can be interpreted in terms of the Heisenberg group as well as in terms of lattice paths. We show that the Heisenberg invariant gives… ▽ More We study the secondary structure of RNA determined by Watson-Crick pairing without pseudo-knots using Milnor invariants of links. We focus on the first non-trivial invariant, which we call the Heisenberg invariant. The Heisenberg invariant, which is an integer, can be interpreted in terms of the Heisenberg group as well as in terms of lattice paths. We show that the Heisenberg invariant gives a lower bound on the number of unpaired bases in an RNA secondary structure. We also show that the Heisenberg invariant can predict \emph{allosteric structures} for RNA. Namely, if the Heisenberg invariant is large, then there are widely separated local maxima (i.e., allosteric structures) for the number of Watson-Crick pairs found. △ Less

Submitted 18 September, 2008; originally announced September 2008.

Comments: 18 pages; to appear in Journal of Mathematical Biology

Algebraic and Geometric intersection numbers for free groups

Authors: Siddhartha Gadgil, Suhas Pandit

Abstract: We show that the algebraic intersection number of Scott and Swarup for splittings of free groups coincides with the geometric intersection number for the sphere complex of the connected sum of copies of $S^2\times S^1$. We show that the algebraic intersection number of Scott and Swarup for splittings of free groups coincides with the geometric intersection number for the sphere complex of the connected sum of copies of $S^2\times S^1$. △ Less

Submitted 18 September, 2008; originally announced September 2008.

Comments: 7 pages

MSC Class: 57M05 (Primary) 57M07; 20E06 (Secondary)

Incompressibility and Least-Area surfaces

Authors: Siddhartha Gadgil

Abstract: We show that if $F$ is a smooth, closed, orientable surface embedded in a closed, orientable 3-manifold $M$ such that for each Riemannian metric $g$ on $M$, $F$ is isotopic to a least-area surface $F(g)$, then $F$ is incompressible. We show that if $F$ is a smooth, closed, orientable surface embedded in a closed, orientable 3-manifold $M$ such that for each Riemannian metric $g$ on $M$, $F$ is isotopic to a least-area surface $F(g)$, then $F$ is incompressible. △ Less

Submitted 18 September, 2008; originally announced September 2008.

Comments: 6 pages

MSC Class: 57N10; 53A10

Journal ref: Expo. Math. 26 (2008), no. 1, 93--98

Degree-one maps, surgery and four-manifolds

Authors: Siddhartha Gadgil

Abstract: We give a description of degree-one maps between closed, oriented 3-manifolds in terms of surgery. Namely, we show that there is a degree-one map from a closed, oriented 3-manifold $M$ to a closed, oriented 3-manifold $N$ if and only if $M$ can be obtained from $N$ by surgery about a link in $N$ each of whose components is an unknot. We use this to interpret the existence of degree-one maps be… ▽ More We give a description of degree-one maps between closed, oriented 3-manifolds in terms of surgery. Namely, we show that there is a degree-one map from a closed, oriented 3-manifold $M$ to a closed, oriented 3-manifold $N$ if and only if $M$ can be obtained from $N$ by surgery about a link in $N$ each of whose components is an unknot. We use this to interpret the existence of degree-one maps between closed 3-manifolds in terms of smooth 4-manifolds. More precisely, we show that there is a degree-one map from $M$ to $N$ if and only if there is a smooth embedding of $M$ in $W=(N\times I)#_n \bar{\C P^2}#_m {\C P^2}$, for some $m\geq 0$, $n\geq 0$ which separates the boundary components of $W$. This is motivated by the relation to topological field theories, in particular the invariants of Ozsvath and Szabo. △ Less

Submitted 18 September, 2008; originally announced September 2008.

Comments: 11 pages

MSC Class: 57N10; 57N13; 57M27

Journal ref: Bull. Lond. Math. Soc. 39 (2007), no. 3, 419--424

On the topology of manifolds with positive isotropic curvature

Authors: Siddartha Gadgil, Harish Seshadri

Abstract: We show that a closed orientable Riemannian $n$-manifold, $n \ge 5$, with positive isotropic curvature and free fundamental group is homeomorphic to the connected sum of copies of $S^{n-1} \times S^1$. We show that a closed orientable Riemannian $n$-manifold, $n \ge 5$, with positive isotropic curvature and free fundamental group is homeomorphic to the connected sum of copies of $S^{n-1} \times S^1$. △ Less

Submitted 15 October, 2008; v1 submitted 15 January, 2008; originally announced January 2008.

Comments: 5 Pages. To appear in Proc. of AMS

Homeomorphisms and the homology of non-orientable surfaces

Authors: Siddhartha Gadgil, Dishant Pancholi

Abstract: We show that, for a closed non-orientable surface $F$, an automorphism of $H_1(F,\Z)$ is induced by a homeomorphism of $F$ if and only if it preserves the (mod 2) intersection pairing. We shall also prove the corresponding result for punctured surfaces. We show that, for a closed non-orientable surface $F$, an automorphism of $H_1(F,\Z)$ is induced by a homeomorphism of $F$ if and only if it preserves the (mod 2) intersection pairing. We shall also prove the corresponding result for punctured surfaces. △ Less

Submitted 27 July, 2006; originally announced July 2006.

MSC Class: 57N05

Embedded spheres in S^2\times S^1#...#S^2\times S^1

Authors: Siddhartha Gadgil

Abstract: We give an algorithm to decide which elements of pi_2(S^2\times S^1#...#S^2\times S^1) can be represented by embedded spheres. Such spheres correspond to splittings of the free group on k generators. Equivalently our algorithm decides whether, for a handlebody N, an element in pi_2(N,\partial N) can be represented by an embedded disc. We also give an algorithm to decide when classes in… ▽ More We give an algorithm to decide which elements of pi_2(S^2\times S^1#...#S^2\times S^1) can be represented by embedded spheres. Such spheres correspond to splittings of the free group on k generators. Equivalently our algorithm decides whether, for a handlebody N, an element in pi_2(N,\partial N) can be represented by an embedded disc. We also give an algorithm to decide when classes in $π_2(S^2\times S^1#...#S^2\times S^1)$ can be represented by disjoint embedded spheres. We introduce the splitting complex of a free group which is analogous to the complex of curves of a surface. We show that the splitting complex of the free group on k generators embeds in the complex of curves of a surface of genus $k$ as a quasi-convex subset. △ Less

Submitted 4 October, 2004; originally announced October 2004.

Comments: 8 pages

MSC Class: 57M05 ; 57M07; 20E06

Open manifolds, Ozsvath-Szabo invariants and Exotic R^4's

Authors: Siddhartha Gadgil

Abstract: We construct an invariant of open four-manifolds using the Heegaard Floer theory of Ozsvath and Szabo. We show that there is a manifold X homeomorphic to R^4 for which the invariant is non-trivial, showing that X is an exotic R^4. We construct an invariant of open four-manifolds using the Heegaard Floer theory of Ozsvath and Szabo. We show that there is a manifold X homeomorphic to R^4 for which the invariant is non-trivial, showing that X is an exotic R^4. △ Less

Submitted 17 July, 2009; v1 submitted 27 August, 2004; originally announced August 2004.

Comments: 9 pages, major revisions; to appear in Expositiones Mathematicae

MSC Class: 57R58; 53D35; 57M27; 57N10

Limits of functions and elliptic operators

Authors: Siddhartha Gadgil

Abstract: We show that a subspace $S$ of the space of real analytical functions on a manifold that satisfies certain regularity properties is contained in the set of solutions of a linear elliptic differential equation. The regularity properties are that $S$ is closed in $L^2(M)$ and that if a sequence of functions $f_n$ in $S$ converges in $L^2(M)$, then so do the partial derivatives of the functions… ▽ More We show that a subspace $S$ of the space of real analytical functions on a manifold that satisfies certain regularity properties is contained in the set of solutions of a linear elliptic differential equation. The regularity properties are that $S$ is closed in $L^2(M)$ and that if a sequence of functions $f_n$ in $S$ converges in $L^2(M)$, then so do the partial derivatives of the functions $f_n$. △ Less

Submitted 28 June, 2004; originally announced June 2004.

Comments: 6 pages, no figures, no tables

MSC Class: 58J05; 32C05

Journal ref: Proc. Indian Acad. Sci. (Math. Sci.), Vol. 114, No. 2, May 2004, pp. 153-158

Heegaard Floer theory and property P

Authors: Siddhartha Gadgil

Abstract: This paper has been withdrawn due to an error in the proof. The paper implicitly assumed that every homotopically trivial knot is related to the unknot by negative crossings, which is false (as was pointed out to the author by Peter Ozsvath). This paper has been withdrawn due to an error in the proof. The paper implicitly assumed that every homotopically trivial knot is related to the unknot by negative crossings, which is false (as was pointed out to the author by Peter Ozsvath). △ Less

Submitted 27 May, 2004; v1 submitted 20 May, 2004; originally announced May 2004.

Comments: This paper has been withdrawn

MSC Class: 57M

The derived series and virtual Betti numbers

Authors: Siddhartha Gadgil

Abstract: The virtual Betti number conjecture states that any hyperbolic three-manifold has a finite cover with positive first Betti number. We show that this would follow if it were known that the derived series of the fundamental group $G$ of a hyperbolic three-manifold satisfies a certain stability property. The stability property is the statement that if all the quotients $G^i/G^{i+1}$ of the derived… ▽ More The virtual Betti number conjecture states that any hyperbolic three-manifold has a finite cover with positive first Betti number. We show that this would follow if it were known that the derived series of the fundamental group $G$ of a hyperbolic three-manifold satisfies a certain stability property. The stability property is the statement that if all the quotients $G^i/G^{i+1}$ of the derived series $G^i$ of $G$ are finite, then the derived series stabilises. The proof involves basic facts regarding finite group actions on homology spheres. △ Less

Submitted 25 June, 2003; originally announced June 2003.

Comments: 2 pages

MSC Class: 57M05; 57M10 ; 57M60

Contact Structures on elliptic 3-manifolds

Authors: Siddhartha Gadgil

Abstract: We show that an oriented elliptic 3-manifold admits a universally tight positive contact structure iff the corresponding group of deck transformations on $S^3$ preserves a standard contact structure pointwise. We also relate univerally tight contact structures on 3-manifolds covered by $S^3$ to the exceptional isomorphism $SO(4)=(SU(2)\times SU(2))/{\pm 1}$. The main tool used is equivariant… ▽ More We show that an oriented elliptic 3-manifold admits a universally tight positive contact structure iff the corresponding group of deck transformations on $S^3$ preserves a standard contact structure pointwise. We also relate univerally tight contact structures on 3-manifolds covered by $S^3$ to the exceptional isomorphism $SO(4)=(SU(2)\times SU(2))/{\pm 1}$. The main tool used is equivariant framings of 3-manifolds. △ Less

Submitted 29 August, 2002; v1 submitted 24 December, 2001; originally announced December 2001.

Comments: 10 pages; to appear in the Proceedings of the AMS

MSC Class: 57M50; 53C15

A proof of a homeomorphism theorem of Waldhausen

Authors: Siddhartha Gadgil, Gadde A. Swarup

Abstract: We give a short proof of Waldhausen's homeomorphism theorem for orientable Haken 3-manifolds. We give a short proof of Waldhausen's homeomorphism theorem for orientable Haken 3-manifolds. △ Less

Submitted 16 August, 2001; originally announced August 2001.

Comments: 2 pages

On the Andrews-Curtis conjecture and algorithms from topology

Authors: Siddhartha Gadgil

Abstract: We relate the Andrews-Curtis conjecture to the triviality problem for balanced presentations of groups using algorithms from 3-manifold topology. Implementing this algorithm could lead to counterexamples to the Andrews-Curtis conjecture. We relate the Andrews-Curtis conjecture to the triviality problem for balanced presentations of groups using algorithms from 3-manifold topology. Implementing this algorithm could lead to counterexamples to the Andrews-Curtis conjecture. △ Less

Submitted 7 August, 2001; originally announced August 2001.

Comments: 12 pages, 7 figures

MSC Class: 20F05; 57M07

Topological geodesics and virtual rigidity

Authors: Louis Funar, Siddhartha Gadgil

Abstract: We introduce the notion of a topological geodesic in a 3-manifold. Under suitable hypotheses on the fundamental group, for instance word-hyperbolicity, topological geodesics are shown to have the useful properties of, and play the same role in several applications as, geodesics in negatively curved spaces. This permits us to obtain virtual rigidity results for 3-manifolds. We introduce the notion of a topological geodesic in a 3-manifold. Under suitable hypotheses on the fundamental group, for instance word-hyperbolicity, topological geodesics are shown to have the useful properties of, and play the same role in several applications as, geodesics in negatively curved spaces. This permits us to obtain virtual rigidity results for 3-manifolds. △ Less

Submitted 19 June, 2001; originally announced June 2001.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol1/agt-1-18.abs.html

MSC Class: 57M10; 20F67; 57M50

Journal ref: Algebr. Geom. Topol. 1 (2001) 369-380

Equivariant framings, lens spaces and Contact structures

Authors: Siddhartha Gadgil

Abstract: We construct a simple topological invariant of certain 3-manifolds, including quotients of the 3-sphere by finite groups, based on the fact that the tangent bundle of an orientable 3-manifold is trivialisable. This invariant is strong enough to yield the classification of lens spaces of odd, prime order. We also use properties of this invariant to show that there is an oriented 3-manifold with n… ▽ More We construct a simple topological invariant of certain 3-manifolds, including quotients of the 3-sphere by finite groups, based on the fact that the tangent bundle of an orientable 3-manifold is trivialisable. This invariant is strong enough to yield the classification of lens spaces of odd, prime order. We also use properties of this invariant to show that there is an oriented 3-manifold with no universally tight contact structure. We generalise and sharpen this invariant to an invariant of a finite covering of a 3-manifold. △ Less

Submitted 24 December, 2001; v1 submitted 27 March, 2001; originally announced March 2001.

Comments: 10 pages, to appear in the Pacific Journal of Mathematics

MSC Class: 57M60; 57M27

On the geometric simple connectivity of open manifolds

Authors: Louis Funar, Siddhartha Gadgil

Abstract: One proves that there exists an obstruction to an open simply connected $n$-manifold of dimension $n\geq 5$ being geometrically simply connected. In particular there exist uncountably many simply connected $n$-manifolds which are not w.g.s.c. One proves that for $n\neq 4$ an $n$-manifold proper homotopy equivalent to a w.g.s.c. polyhedron is w.g.s.c. (for $n=4$ it is only end compressible). We a… ▽ More One proves that there exists an obstruction to an open simply connected $n$-manifold of dimension $n\geq 5$ being geometrically simply connected. In particular there exist uncountably many simply connected $n$-manifolds which are not w.g.s.c. One proves that for $n\neq 4$ an $n$-manifold proper homotopy equivalent to a w.g.s.c. polyhedron is w.g.s.c. (for $n=4$ it is only end compressible). We analyze further the case $n=4$ and Poénaru's conjecture. △ Less

Submitted 28 January, 2004; v1 submitted 1 June, 2000; originally announced June 2000.

Comments: 48 pages, one eps figure, to appear IMRN

MSC Class: 57R65; 57Q35; 57M35

Journal ref: I.M.R.N., no.24, 2004, 1193-1248.

Cobordisms and Reidemeister torsions of homotopy lens spaces

Authors: Siddhartha Gadgil

Abstract: We show that any 3-dimensional homotopy lens space M^3 that is simple-homotopy equivalent to a lens space L(p,q) is topologically s-cobordant to the lens space. It follows that M has the same multi-signature as L(p,q) and the action of π_1(M) on the universal cover of M embeds in an orthogonal action on S^7. We show that any 3-dimensional homotopy lens space M^3 that is simple-homotopy equivalent to a lens space L(p,q) is topologically s-cobordant to the lens space. It follows that M has the same multi-signature as L(p,q) and the action of π_1(M) on the universal cover of M embeds in an orthogonal action on S^7. △ Less

Submitted 7 March, 2001; v1 submitted 4 May, 2000; originally announced May 2000.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol5/paper4.abs.html

MSC Class: 57M60; 57N70; 57R65; 57R80

Journal ref: Geom. Topol. 5 (2001) 109-125