Showing 1–30 of 30 results for author: Mahanta, S

DiffEx: Explaining a Classifier with Diffusion Models to Identify Microscopic Cellular Variations

Authors: Anis Bourou, Saranga Kingkor Mahanta, Thomas Boyer, Valérie Mezger, Auguste Genovesio

Abstract: In recent years, deep learning models have been extensively applied to biological data across various modalities. Discriminative deep learning models have excelled at classifying images into categories (e.g., healthy versus diseased, treated versus untreated). However, these models are often perceived as black boxes due to their complexity and lack of interpretability, limiting their application i… ▽ More In recent years, deep learning models have been extensively applied to biological data across various modalities. Discriminative deep learning models have excelled at classifying images into categories (e.g., healthy versus diseased, treated versus untreated). However, these models are often perceived as black boxes due to their complexity and lack of interpretability, limiting their application in real-world biological contexts. In biological research, explainability is essential: understanding classifier decisions and identifying subtle differences between conditions are critical for elucidating the effects of treatments, disease progression, and biological processes. To address this challenge, we propose DiffEx, a method for generating visually interpretable attributes to explain classifiers and identify microscopic cellular variations between different conditions. We demonstrate the effectiveness of DiffEx in explaining classifiers trained on natural and biological images. Furthermore, we use DiffEx to uncover phenotypic differences within microscopy datasets. By offering insights into cellular variations through classifier explanations, DiffEx has the potential to advance the understanding of diseases and aid drug discovery by identifying novel biomarkers. △ Less

Submitted 12 February, 2025; originally announced February 2025.

Capping layer dependent anti-correlation between magnetic damping and spin-orbital to charge conversion

Authors: Antarjami Sahoo, Swayang Priya Mahanta, Subhankar Bedanta

Abstract: The magnetic Gilbert damping and spin-orbital to charge interconversion phenomenon play vital role in controlling the modern spintronics device performances. Though the ferromagnets (FMs) and heavy metals (HMs) are considered to be the key components of the future spin-orbit torque magnetic random access memory (SOT-MRAM) devices, recently the integration of lighter materials with low intrinsic sp… ▽ More The magnetic Gilbert damping and spin-orbital to charge interconversion phenomenon play vital role in controlling the modern spintronics device performances. Though the ferromagnets (FMs) and heavy metals (HMs) are considered to be the key components of the future spin-orbit torque magnetic random access memory (SOT-MRAM) devices, recently the integration of lighter materials with low intrinsic spin-orbit coupling (SOC) in spintronics devices has proven to be noteworthy. Here we demonstrate the efficient control of magnetization dynamics of $β$-W/CoFeB bilayer when capped by low SOC organic and inorganic layers. The C$_{60}$ capping layer (CL) significantly enhances the magnetization relaxation process compared to the CuO$_x$ in $β$-W/CoFeB/CL heterostructures, while the static magnetic properties remain in-different irrespective of the nature of CL. Interestingly, the spin-orbital to charge conversion phenomenon is found to be enhanced for $β$-W/CoFeB/CuO$_x$ stacking compared to the $β$-W/CoFeB/C$_{60}$ heterostructure, signifying the anti-correlation between the magnetic damping and spin-orbital to charge conversion. The results are interpreted by the interfacial phenomena, like the orbital Rashba effect, two-magnon scattering, and interfacial spin memory loss. Our detailed experimental investigations shed light on the importance of low SOC materials in effectively tuning the magnetization dynamics for the development of future power efficient spintronics devices. △ Less

Submitted 3 November, 2024; originally announced November 2024.

Efficient spin to charge conversion and spin memory loss mitigation in oriented $\text{RuO}_2$ films

Authors: Abhisek Mishra, Kshitij Singh Rathore, Swayang Priya Mahanta, Subhankar Bedanta

Abstract: $\text{RuO}_2$, a transition metal oxide, is attracting attention in spintronics for its unique altermagnetic properties, which influence spin currents. Its ability to produce large spin-orbit torques and spin Hall effects is key for energy-efficient magnetic memory and logic devices. Additionally, the tunable thickness and crystallinity of $\text{RuO}_2… ▽ More $\text{RuO}_2$, a transition metal oxide, is attracting attention in spintronics for its unique altermagnetic properties, which influence spin currents. Its ability to produce large spin-orbit torques and spin Hall effects is key for energy-efficient magnetic memory and logic devices. Additionally, the tunable thickness and crystallinity of $\text{RuO}_2$ thin films optimize torque efficiency for low-power switching. Spin pumping, a versatile method for investigating spin dynamics in $\text{RuO}_2$ thin films, has garnered considerable interest because of its straightforward, non-invasive and uncomplicated approach to addressing impedance mismatch and direct measurement of spintronic parameters. Here we present a systematic and detailed analysis on the efficient spin to charge conversion in (110)-oriented $\text{RuO}_2$ films with amorphous CoFeB as spin source. The spin Hall angle, and spin diffusion length were estimated to be 0.14 $\pm$ 0.01 and 4.58 $\pm$ 0.40 nm, respectively. The spin Hall conductivity of 998.89 $\pm$ 58.23 $\hbar \cdot \frac{Ω^{-1} \, \text{cm}^{-1}}{e}$ has been estimated which is theoretically predicted to be of the similar order. The interfacial spin transparency has been achieved to be 90%. We have shown that the spin memory loss at the $\text{RuO}_2$/CoFeB interface is 15%, which is very small. △ Less

Submitted 18 August, 2024; originally announced August 2024.

Deciphering Assamese Vowel Harmony with Featural InfoWaveGAN

Authors: Sneha Ray Barman, Shakuntala Mahanta, Neeraj Kumar Sharma

Abstract: Traditional approaches for understanding phonological learning have predominantly relied on curated text data. Although insightful, such approaches limit the knowledge captured in textual representations of the spoken language. To overcome this limitation, we investigate the potential of the Featural InfoWaveGAN model to learn iterative long-distance vowel harmony using raw speech data. We focus o… ▽ More Traditional approaches for understanding phonological learning have predominantly relied on curated text data. Although insightful, such approaches limit the knowledge captured in textual representations of the spoken language. To overcome this limitation, we investigate the potential of the Featural InfoWaveGAN model to learn iterative long-distance vowel harmony using raw speech data. We focus on Assamese, a language known for its phonologically regressive and word-bound vowel harmony. We demonstrate that the model is adept at grasping the intricacies of Assamese phonotactics, particularly iterative long-distance harmony with regressive directionality. It also produced non-iterative illicit forms resembling speech errors during human language acquisition. Our statistical analysis reveals a preference for a specific [+high,+ATR] vowel as a trigger across novel items, indicative of feature learning. More data and control could improve model proficiency, contrasting the universality of learning. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Comments: to be included in the Interspeech Proceedings

Spinterface Mediated Magnetic Properties of Co20Fe60B20/Alq3 Heterostructures

Authors: Swayang Priya Mahanta, Antarjami Sahoo, Sagarika Nayak, T. P. A. Hase, Del Atkinson, Subhankar Bedanta

Abstract: Organic semiconductors (OSCs) are suitable materials for spintronics applications as they form a spinterface when placed next to a ferromagnet, which in turn leads to novel functionalities. The evolution of spinterface can tune the global magnetic anisotropy, magnetization reversal, magnetization dynamics, etc. Planar tris-(8-hydroxyquinoline)aluminum (Alq3) OSC has shown tremendous potential for… ▽ More Organic semiconductors (OSCs) are suitable materials for spintronics applications as they form a spinterface when placed next to a ferromagnet, which in turn leads to novel functionalities. The evolution of spinterface can tune the global magnetic anisotropy, magnetization reversal, magnetization dynamics, etc. Planar tris-(8-hydroxyquinoline)aluminum (Alq3) OSC has shown tremendous potential for spintronics applications, thanks to its efficient spin-polarized current transport ability. Here, we establish the spinterface when the Alq3 molecules are deposited on amorphous ferromagnet Co20Fe60B20(CFB). The $π$-d hybridization in CFB/Alq3 enhances the coercive field and significantly modifies the shape and size of the magnetic domains. A $\sim$100% increase in uniaxial anisotropic energies and a reduction in magnetic damping are also evident owing to the strong interfacial hybridization. △ Less

Submitted 31 December, 2023; originally announced January 2024.

Molecular Hybridization Induced Antidamping and Sizable Enhanced Spin-to-Charge Conversion in Co20Fe60B20/$β$-W/C60 Heterostructures

Authors: Antarjami Sahoo, Aritra Mukhopadhyaya, Swayang Priya Mahanta, Md. Ehesan Ali, Subhankar Bedanta

Abstract: Development of power efficient spintronics devices has been the compelling need in the post-CMOS technology era. The effective tunability of spin-orbit-coupling (SOC) in bulk and at the interfaces of hybrid materials stacking is a prerequisite for scaling down the dimension and power consumption of these devices. In this work, we demonstrate the strong chemisorption of C60 molecules when grown on… ▽ More Development of power efficient spintronics devices has been the compelling need in the post-CMOS technology era. The effective tunability of spin-orbit-coupling (SOC) in bulk and at the interfaces of hybrid materials stacking is a prerequisite for scaling down the dimension and power consumption of these devices. In this work, we demonstrate the strong chemisorption of C60 molecules when grown on the high SOC $β$-W layer. The parent CFB/$β$-W bilayer exhibits large spin-to-charge interconversion efficiency, which can be ascribed to the interfacial SOC observed at the Ferromagnet/Heavy metal interface. Further, the adsorption of C60 molecules on $β$-W reduces the effective Gilbert damping by $\sim$15% in the CFB/$β$-W/C60 heterostructures. The anti-damping is accompanied by a gigantic $\sim$115% enhancement in the spin-pumping induced output voltage owing to the molecular hybridization. The non-collinear Density Functional Theory calculations confirm the long-range enhancement of SOC of $β$-W upon the chemisorption of C60 molecules, which in turn can also enhance the SOC at the CFB/$β$-W interface in CFB/$β$-W/C60 heterostructures. The combined amplification of bulk as well interfacial SOC upon molecular hybridization stabilizes the anti-damping and enhanced spin-to-charge conversion, which can pave the way for the fabrication of power efficient spintronics devices. △ Less

Submitted 31 December, 2023; originally announced January 2024.

Explainable artificial intelligence for Healthcare applications using Random Forest Classifier with LIME and SHAP

Authors: Mrutyunjaya Panda, Soumya Ranjan Mahanta

Abstract: With the advances in computationally efficient artificial Intelligence (AI) techniques and their numerous applications in our everyday life, there is a pressing need to understand the computational details hidden in black box AI techniques such as most popular machine learning and deep learning techniques; through more detailed explanations. The origin of explainable AI (xAI) is coined from these… ▽ More With the advances in computationally efficient artificial Intelligence (AI) techniques and their numerous applications in our everyday life, there is a pressing need to understand the computational details hidden in black box AI techniques such as most popular machine learning and deep learning techniques; through more detailed explanations. The origin of explainable AI (xAI) is coined from these challenges and recently gained more attention by the researchers by adding explainability comprehensively in traditional AI systems. This leads to develop an appropriate framework for successful applications of xAI in real life scenarios with respect to innovations, risk mitigation, ethical issues and logical values to the users. In this book chapter, an in-depth analysis of several xAI frameworks and methods including LIME (Local Interpretable Model-agnostic Explanations) and SHAP (SHapley Additive exPlanations) are provided. Random Forest Classifier as black box AI is used on a publicly available Diabetes symptoms dataset with LIME and SHAP for better interpretations. The results obtained are interesting in terms of transparency, valid and trustworthiness in diabetes disease prediction. △ Less

Submitted 9 November, 2023; originally announced November 2023.

Comments: Chapter-6: Accepted Book Chapter in: Transparent, Interpretable and Explainable AI Systems, BK Tripathy & Hari Seetha (Editors), CRC Press, May 2023

On The Generalisation of Henstock-Kurzweil Fourier Transform

Authors: S. Mahanta, S. Ray

Abstract: In this paper, a generalised integral called the Laplace integral is defined on unbounded intervals, and some of its properties, including necessary and sufficient condition for differentiating under the integral sign, are discussed. It is also shown that this integral is more general than the Henstock-Kurzweil integral. Finally, the Fourier transform is defined using the Laplace integral, and its… ▽ More In this paper, a generalised integral called the Laplace integral is defined on unbounded intervals, and some of its properties, including necessary and sufficient condition for differentiating under the integral sign, are discussed. It is also shown that this integral is more general than the Henstock-Kurzweil integral. Finally, the Fourier transform is defined using the Laplace integral, and its well-known properties are established. △ Less

Submitted 21 February, 2022; originally announced February 2022.

Comments: 14 pages

MSC Class: 42A38; 26A39

COVID-19 Diagnosis from Cough Acoustics using ConvNets and Data Augmentation

Authors: Saranga Kingkor Mahanta, Darsh Kaushik, Shubham Jain, Hoang Van Truong, Koushik Guha

Abstract: With the periodic rise and fall of COVID-19 and countries being inflicted by its waves, an efficient, economic, and effortless diagnosis procedure for the virus has been the utmost need of the hour. COVID-19 positive individuals may even be asymptomatic making the diagnosis difficult, but amongst the infected subjects, the asymptomatic ones need not be entirely free of symptoms caused by the virus… ▽ More With the periodic rise and fall of COVID-19 and countries being inflicted by its waves, an efficient, economic, and effortless diagnosis procedure for the virus has been the utmost need of the hour. COVID-19 positive individuals may even be asymptomatic making the diagnosis difficult, but amongst the infected subjects, the asymptomatic ones need not be entirely free of symptoms caused by the virus. They might not show any observable symptoms like the symptomatic subjects, but they may differ from uninfected ones in the way they cough. These differences in the coughing sounds are minute and indiscernible to the human ear, however, these can be captured using machine learning-based statistical models. In this paper, we present a deep learning approach to analyze the acoustic dataset provided in Track 1 of the DiCOVA 2021 Challenge containing cough sound recordings belonging to both COVID-19 positive and negative examples. To perform the classification on the sound recordings as belonging to a COVID-19 positive or negative examples, we propose a ConvNet model. Our model achieved an AUC score percentage of 72.23 on the blind test set provided by the same for an unbiased evaluation of the models. The ConvNet model incorporated with Data Augmentation further increased the AUC-ROC percentage from 72.23 to 87.07. It also outperformed the DiCOVA 2021 Challenge's baseline model by 23% thus, claiming the top position on the DiCOVA 2021 Challenge leaderboard. This paper proposes the use of Mel frequency cepstral coefficients as the feature input for the proposed model. △ Less

Submitted 3 May, 2022; v1 submitted 12 October, 2021; originally announced October 2021.

Comments: DiCOVA, top 1st, This work has been submitted to the IEEE for possible publication

A Generalised Continuous Primitive Integral and Some of Its Applications

Authors: S. Mahanta, S. Ray

Abstract: Using the Laplace derivative a Perron type integral, the Laplace integral, is defined. Moreover, it is shown that this integral includes Perron integral and to show that the inclusion is proper, an example of a function is constructed, which is Laplace integrable but not Perron integrable. Properties of integrals such as fundamental theorem of calculus, Hake's theorem, integration by parts, conver… ▽ More Using the Laplace derivative a Perron type integral, the Laplace integral, is defined. Moreover, it is shown that this integral includes Perron integral and to show that the inclusion is proper, an example of a function is constructed, which is Laplace integrable but not Perron integrable. Properties of integrals such as fundamental theorem of calculus, Hake's theorem, integration by parts, convergence theorems, mean value theorems, the integral remainder form of Taylor's theorem with an estimation of the remainder, are established. It turns out that concerning the Alexiewicz's norm, the space of all Laplace integrable functions is incomplete and contains the set of all polynomials densely. Applications are shown to Poisson integral, a system of generalised ordinary differential equations and higher-order generalised ordinary differential equation. △ Less

Submitted 7 June, 2021; originally announced June 2021.

Comments: 23 pages

MSC Class: 26A39 (Primary) 26A27; 34A06 (Secondary)

Deep Neural Network for Musical Instrument Recognition using MFCCs

Authors: Saranga Kingkor Mahanta, Abdullah Faiz Ur Rahman Khilji, Partha Pakray

Abstract: The task of efficient automatic music classification is of vital importance and forms the basis for various advanced applications of AI in the musical domain. Musical instrument recognition is the task of instrument identification by virtue of its audio. This audio, also termed as the sound vibrations are leveraged by the model to match with the instrument classes. In this paper, we use an artific… ▽ More The task of efficient automatic music classification is of vital importance and forms the basis for various advanced applications of AI in the musical domain. Musical instrument recognition is the task of instrument identification by virtue of its audio. This audio, also termed as the sound vibrations are leveraged by the model to match with the instrument classes. In this paper, we use an artificial neural network (ANN) model that was trained to perform classification on twenty different classes of musical instruments. Here we use use only the mel-frequency cepstral coefficients (MFCCs) of the audio data. Our proposed model trains on the full London philharmonic orchestra dataset which contains twenty classes of instruments belonging to the four families viz. woodwinds, brass, percussion, and strings. Based on experimental results our model achieves state-of-the-art accuracy on the same. △ Less

Submitted 5 May, 2021; v1 submitted 3 May, 2021; originally announced May 2021.

Comments: Was suggested to upload on a later date

Journal ref: Computacion y Sistemas, Vol 25, No 2 (2021): 25(2) 2021

Model structure on projective systems of $C^*$-algebras and bivariant homology theories

Authors: Ilan Barnea, Michael Joachim, Snigdhayan Mahanta

Abstract: Using the machinery of weak fibration categories due to Schlank and the first author, we construct a convenient model structure on the pro-category of separable $C^*$-algebras $\mathrm{Pro}(\mathtt{SC^*})$. The opposite of this model category models the $\infty$-category of pointed noncommutative spaces $\mathtt{N}\mathcal{S_*}$ defined by the third author. Our model structure on… ▽ More Using the machinery of weak fibration categories due to Schlank and the first author, we construct a convenient model structure on the pro-category of separable $C^*$-algebras $\mathrm{Pro}(\mathtt{SC^*})$. The opposite of this model category models the $\infty$-category of pointed noncommutative spaces $\mathtt{N}\mathcal{S_*}$ defined by the third author. Our model structure on $\mathrm{Pro}(\mathtt{SC^*})$ extends the well-known category of fibrant objects structure on $\mathtt{SC^*}$. We show that the pro-category $\mathrm{Pro}(\mathtt{SC^*})$ also contains, as a full coreflective subcategory, the category of pro-$C^*$-algebras that are cofiltered limits of separable $C^*$-algebras. By stabilizing our model category we produce a general model categorical formalism for triangulated and bivariant homology theories of $C^*$-algebras (or, more generally, that of pointed noncommutative spaces), whose stable $\infty$-categorical counterparts were constructed earlier by the third author. Finally, we use our model structure to develop a bivariant $\mathrm{K}$-theory for all projective systems of separable $C^*$-algebras generalizing the construction of Bonkat and show that our theory naturally agrees with that of Bonkat under some reasonable assumptions. △ Less

Submitted 30 January, 2017; v1 submitted 18 August, 2015; originally announced August 2015.

Comments: 47 pages; v2 revised according to referee's comments (to appear in New York J. Math.)

MSC Class: 46L85; 46L80; 18E30; 18G55; 55P42; 55N15

Journal ref: New York J. Math., 23, 383-439, 2017

Higher nonunital Quillen K'-theory, KK-dualities and applications to topological $\mathbb{T}$-dualities

Authors: Snigdhayan Mahanta

Abstract: Quillen introduced a new $K'_0$-theory of nonunital rings and showed that, under some assumptions (weaker than the existence of unity), this new theory agrees with the usual algebraic $K^{alg}_0$-theory. For a field $k$ of characteristic $0$, we introduce higher nonunital $K$-theory of $k$-algebras, denoted $KQ$, which extends Quillen's original definition of the $K'_0$ functor. We show that the… ▽ More Quillen introduced a new $K'_0$-theory of nonunital rings and showed that, under some assumptions (weaker than the existence of unity), this new theory agrees with the usual algebraic $K^{alg}_0$-theory. For a field $k$ of characteristic $0$, we introduce higher nonunital $K$-theory of $k$-algebras, denoted $KQ$, which extends Quillen's original definition of the $K'_0$ functor. We show that the $KQ$-theory is Morita invariant and satisfies excision connectively, in a suitable sense, on the category of idempotent $k$-algebras. Using these two properties we show that the $KQ$-theory agrees with the topological $K$-theory of stable $C^*$-algebras. The machinery enables us to produce a DG categorical formalism of topological homological $\mathbb{T}$-duality using bivariant $K$-theory classes. A connection with strong deformations of $C^*$-algebras and some other potential applications to topological field theories are discussed towards the end. △ Less

Submitted 22 March, 2015; originally announced March 2015.

Comments: 24 pages, the manuscript of an article published in 2011. arXiv admin note: text overlap with arXiv:0906.5400

MSC Class: 19Dxx; 46L85; 58B34; 57R56

Journal ref: J. Geom. Phys., 61 (5), 875-889, 2011

$C^*$-algebraic drawings of dendroidal sets

Authors: Snigdhayan Mahanta

Abstract: In recent years the theory of dendroidal sets has emerged as an important framework for higher algebra. In this article we introduce the concept of a $C^*$-algebraic drawing of a dendroidal set. It depicts a dendroidal set as an object in the category of presheaves on $C^*$-algebras. We show that the construction is functorial and, in fact, it is the left adjoint of a Quillen adjunction between co… ▽ More In recent years the theory of dendroidal sets has emerged as an important framework for higher algebra. In this article we introduce the concept of a $C^*$-algebraic drawing of a dendroidal set. It depicts a dendroidal set as an object in the category of presheaves on $C^*$-algebras. We show that the construction is functorial and, in fact, it is the left adjoint of a Quillen adjunction between combinatorial model categories. We use this construction to produce a bridge between the two prominent paradigms of noncommutative geometry via adjunctions of presentable $\infty$-categories, which is the primary motivation behind this article. As a consequence we obtain a single mechanism to construct bivariant homology theories in both paradigms. We propose a (conjectural) roadmap to harmonize algebraic and analytic (or topological) bivariant K-theory. Finally, a method to analyse graph algebras in terms of trees is sketched. △ Less

Submitted 25 May, 2019; v1 submitted 23 January, 2015; originally announced January 2015.

Comments: 28 pages; v2 expanded version with some improvements; v3 revised and added references; v4 some changes according to the suggestions of the referees (to appear in Algebr. Geom. Topol.)

MSC Class: 46L85; 55P48; 55U10; 18D50; 46L87

Journal ref: Algebr. Geom. Topol. 19 (2019) 1171-1206

Colocalizations of noncommutative spectra and bootstrap categories

Authors: Snigdhayan Mahanta

Abstract: We construct a compactly generated and closed symmetric monoidal stable $\infty$-category $\mathtt{NSp'}$ and show that $\mathtt{hNSp'}^{op}$ contains the suspension stable homotopy category of separable $C^*$-algebras $\mathtt{ΣHo^{C^*}}$ constructed by Cuntz-Meyer-Rosenberg as a fully faithful triangulated subcategory. Then we construct two colocalizations of $\mathtt{NSp'}$, namely,… ▽ More We construct a compactly generated and closed symmetric monoidal stable $\infty$-category $\mathtt{NSp'}$ and show that $\mathtt{hNSp'}^{op}$ contains the suspension stable homotopy category of separable $C^*$-algebras $\mathtt{ΣHo^{C^*}}$ constructed by Cuntz-Meyer-Rosenberg as a fully faithful triangulated subcategory. Then we construct two colocalizations of $\mathtt{NSp'}$, namely, $\mathtt{NSp'}[\mathbb{K}^{-1}]$ and $\mathtt{NSp'}[\mathcal{Z}^{-1}]$, both of which are shown to be compactly generated and closed symmetric monoidal. We prove that Kasparov $KK$-category of separable $C^*$-algebras sits inside the homotopy category of $\mathtt{KK_\infty} := \mathtt{NSp'}[\mathbb{K}^{-1}]^{op}$ as a fully faithful triangulated subcategory. Hence $\mathtt{KK_\infty}$ should be viewed as the stable $\infty$-categorical incarnation of Kasparov $KK$-category for arbitrary pointed noncommutative spaces (including nonseparable $C^*$-algebras). As an application we find that the bootstrap category in $\mathtt{hNSp'}[\mathbb{K}^{-1}]$ admits a completely algebraic description. We also construct a $K$-theoretic bootstrap category in $\mathtt{hKK_\infty}$ that extends the construction of the UCT class by Rosenberg-Schochet. Motivated by the algebraization problem we finally analyse a couple of equivalence relations on separable $C^*$-algebras that are introduced via the bootstrap categories in various colocalizations of $\mathtt{NSp'}$. △ Less

Submitted 4 August, 2015; v1 submitted 29 December, 2014; originally announced December 2014.

Comments: 23 pages; v2 introduction rewritten and some other revisions, v3 revised according to referee's comments (to appear in Advances in Mathematics)

MSC Class: 19Dxx; 46L85; 55Nxx; 55P42; 46L35

Journal ref: Adv. Math., 285, 72-100, 2015

Symmetric monoidal noncommutative spectra, strongly self-absorbing $C^*$-algebras, and bivariant homology

Authors: Snigdhayan Mahanta

Abstract: Continuing our project on noncommutative (stable) homotopy we construct symmetric monoidal $\infty$-categorical models for separable $C^*$-algebras $\mathtt{SC^*_\infty}$ and noncommutative spectra $\mathtt{NSp}$ using the framework of Higher Algebra due to Lurie. We study smashing (co)localizations of $\mathtt{SC^*_\infty}$ and $\mathtt{NSp}$ with respect to strongly self-absorbing $C^*$-algebras… ▽ More Continuing our project on noncommutative (stable) homotopy we construct symmetric monoidal $\infty$-categorical models for separable $C^*$-algebras $\mathtt{SC^*_\infty}$ and noncommutative spectra $\mathtt{NSp}$ using the framework of Higher Algebra due to Lurie. We study smashing (co)localizations of $\mathtt{SC^*_\infty}$ and $\mathtt{NSp}$ with respect to strongly self-absorbing $C^*$-algebras. We analyse the homotopy categories of the localizations of $\mathtt{SC^*_\infty}$ and give universal characterizations thereof. We construct a stable $\infty$-categorical model for bivariant connective E-theory and compute the connective E-theory groups of $\mathcal{O}_\infty$-stable $C^*$-algebras. We also introduce and study the nonconnective version of Quillen's nonunital K'-theory in the framework of stable $\infty$-categories. This is done in order to promote our earlier result relating topological $\mathbb{T}$-duality to noncommutative motives to the $\infty$-categorical setup. Finally, we carry out some computations in the case of stable and $\mathcal{O}_\infty$-stable $C^*$-algebras. △ Less

Submitted 28 January, 2016; v1 submitted 17 March, 2014; originally announced March 2014.

Comments: 26 pages; v2 revised in accordance with arXiv:1412.8370, corrections in Sections 3 and 4; v3 minor changes, to appear in J. Noncommut. Geom

MSC Class: 19Dxx; 46L85; 46L80; 55Nxx; 55P42

Journal ref: J. Noncommut. Geom., 10 (4), 1269-1301, 2016

Algebraic K-theory, K-regularity, and T-duality of $\mathcal{O}_\infty$-stable $C^*$-algebras

Authors: Snigdhayan Mahanta

Abstract: We develop an algebraic formalism for topological $\mathbb{T}$-duality. More precisely, we show that topological $\mathbb{T}$-duality actually induces an isomorphism between noncommutative motives that in turn implements the well-known isomorphism between twisted K-theories (up to a shift). In order to establish this result we model topological K-theory by algebraic K-theory. We also construct an… ▽ More We develop an algebraic formalism for topological $\mathbb{T}$-duality. More precisely, we show that topological $\mathbb{T}$-duality actually induces an isomorphism between noncommutative motives that in turn implements the well-known isomorphism between twisted K-theories (up to a shift). In order to establish this result we model topological K-theory by algebraic K-theory. We also construct an $E_\infty$-operad starting from any strongly self-absorbing $C^*$-algebra $\mathcal{D}$. Then we show that there is a functorial topological K-theory symmetric spectrum construction ${\bf K}_Σ^{top}(-)$ on the category of separable $C^*$-algebras, such that ${\bf K}_Σ^{top}(\mathcal{D})$ is an algebra over this operad; moreover, ${\bf K}_Σ^{top}(A\hat{\otimes}\mathcal{D})$ is a module over this algebra. Along the way we obtain a new symmetric spectra valued functorial model for the (connective) topological K-theory of $C^*$-algebras. We also show that $\mathcal{O}_\infty$-stable $C^*$-algebras are K-regular providing evidence for a conjecture of Rosenberg. We conclude with an explicit description of the algebraic K-theory of $ax+b$-semigroup $C^*$-algebras coming from number theory and that of $\mathcal{O}_\infty$-stabilized noncommutative tori. △ Less

Submitted 14 May, 2015; v1 submitted 19 November, 2013; originally announced November 2013.

Comments: 18 pages, Dedicated to Professor Marc A. Rieffel on his 75th birthday; v2 added a section on T-duality; v3 added a new section on strongly self-absorbing operads and reorganised the original material; v4 section 1 expanded and a few corrections in section 3; v5 journal reference, DOI, and a bibitem added

MSC Class: 46L85; 19Dxx; 46L80; 57R56

Journal ref: Math. Phys. Anal. Geom. 18 (2015), no. 1, 18:12

On the Generating Hypothesis in Noncommutative Stable Homotopy

Authors: Snigdhayan Mahanta

Abstract: Freyd's Generating Hypothesis is an important problem in topology with deep structural consequences for finite stable homotopy. Due to its complexity some recent work has examined analogous questions in various other triangulated categories. In this short note we analyze the question in noncommutative stable homotopy, which is a canonical generalization of finite stable homotopy. Along the way we… ▽ More Freyd's Generating Hypothesis is an important problem in topology with deep structural consequences for finite stable homotopy. Due to its complexity some recent work has examined analogous questions in various other triangulated categories. In this short note we analyze the question in noncommutative stable homotopy, which is a canonical generalization of finite stable homotopy. Along the way we also discuss Spanier--Whitehead duality in this extended setup. △ Less

Submitted 5 April, 2017; v1 submitted 8 February, 2013; originally announced February 2013.

Comments: 6 pages; v2 added a Section on Matrix Generating Hypothesis; v3 included Spanier--Whitehead duality discussion and removed some unnecessary material, to appear in Math. Scand; v4 updated references and metadata

MSC Class: 46L85; 55P42

Journal ref: Math. Scand., 116 (2), 301-308, 2015

Noncommutative stable homotopy and stable infinity categories

Authors: Snigdhayan Mahanta

Abstract: The noncommutative stable homotopy category $\mathtt{NSH}$ is a triangulated category that is the universal receptacle for triangulated homology theories on separable $C^*$-algebras. We show that the triangulated category $\mathtt{NSH}$ is topological as defined by Schwede using the formalism of (stable) infinity categories. More precisely, we construct a stable presentable infinity category of no… ▽ More The noncommutative stable homotopy category $\mathtt{NSH}$ is a triangulated category that is the universal receptacle for triangulated homology theories on separable $C^*$-algebras. We show that the triangulated category $\mathtt{NSH}$ is topological as defined by Schwede using the formalism of (stable) infinity categories. More precisely, we construct a stable presentable infinity category of noncommutative spectra and show that $\mathtt{NSH}^{op}$ sits inside its homotopy category as a full triangulated subcategory, from which the above result can be deduced. We also introduce a presentable infinity category of noncommutative pointed spaces that subsumes $C^*$-algebras and define the noncommutative stable (co)homotopy groups of such noncommutative spaces generalizing earlier definitions for separable $C^*$-algebras. The triangulated homotopy category of noncommutative spectra admits (co)products and satisfies Brown representability. These properties enable us to analyse neatly the behaviour of the noncommutative stable (co)homotopy groups with respect to certain (co)limits. Along the way we obtain infinity categorical models for some well-known bivariant homology theories like $\mathrm{KK}$-theory, $\mathrm{E}$-theory, and connective $\mathrm{E}$-theory via suitable (co)localizations. The stable infinity category of noncommutative spectra can also be used to produce new examples of generalized (co)homology theories for noncommutative spaces. △ Less

Submitted 4 June, 2017; v1 submitted 28 November, 2012; originally announced November 2012.

Comments: 26 pages; v2 major revision with some improved results, a mistake in matrix homotopy computation removed, title slightly changed (extended); v3 discussion of semigroup C*-algebras removed and made a part of arXiv:1403.4130, Section 3 rewritten accordingly and the title shortened to reflect the changes; v4 final revision incorporating the referee's corrections; v5 added/updated appendix/references

Report number: ESI preprint 2394 MSC Class: 46Lxx; 18E30; 18G30

Journal ref: J. Topol. Anal., 7 (1), 135-165, 2015

Continuous homotopy invariance of bivariant local cyclic homology for σ-C^*-algebras

Authors: Snigdhayan Mahanta

Abstract: We establish the continuous homotopy invariance of bivariant local cyclic homology on the category of all σ-C^*-algebras. The argument relies vitally on an isomorphism between the smooth and continuous cylinder constructions using a technical criterion due to Meyer. As a consequence we compute the local cyclic homology of the infinite sphere. We establish the continuous homotopy invariance of bivariant local cyclic homology on the category of all σ-C^*-algebras. The argument relies vitally on an isomorphism between the smooth and continuous cylinder constructions using a technical criterion due to Meyer. As a consequence we compute the local cyclic homology of the infinite sphere. △ Less

Submitted 11 September, 2012; v1 submitted 6 February, 2012; originally announced February 2012.

Comments: 6 pages; some material added following the referee's suggestions

MSC Class: 46L80; 46L85

$\mathrm{G}$-theory of $\mathbb{F}_1$-algebras I: the equivariant Nishida problem

Authors: Snigdhayan Mahanta

Abstract: We develop a version of $\mathrm{G}$-theory for an $\mathbb{F}_1$-algebra (i.e., the $\mathrm{K}$-theory of pointed $G$-sets for a pointed monoid $G$) and establish its first properties. We construct a Cartan assembly map to compare the Chu--Morava $\mathrm{K}$-theory for finite pointed groups with our $\mathrm{G}$-theory. We compute the $\mathrm{G}$-theory groups for finite pointed groups in term… ▽ More We develop a version of $\mathrm{G}$-theory for an $\mathbb{F}_1$-algebra (i.e., the $\mathrm{K}$-theory of pointed $G$-sets for a pointed monoid $G$) and establish its first properties. We construct a Cartan assembly map to compare the Chu--Morava $\mathrm{K}$-theory for finite pointed groups with our $\mathrm{G}$-theory. We compute the $\mathrm{G}$-theory groups for finite pointed groups in terms of stable homotopy of some classifying spaces. We introduce certain Loday--Whitehead groups over $\mathbb{F}_1$ that admit functorial maps into classical Whitehead groups under some reasonable hypotheses. We initiate a conjectural formalism using combinatorial Grayson operations to address the Equivariant Nishida Problem - it asks whether $\mathbb{S}^G$ admits operations that endow $\oplus_nπ_{2n}(\mathbb{S}^G)$ with a pre-$λ$-ring structure, where $G$ is a finite group and $\mathbb{S}^G$ is the $G$-fixed point spectrum of the equivariant sphere spectrum. △ Less

Submitted 11 February, 2017; v1 submitted 27 October, 2011; originally announced October 2011.

Comments: 27 pages; v2 introduction rewritten, references added; v3 revised according to the referee's comments (to appear in J. Homotopy Relat. Struct.); v4 section numbers and the title changed according to the published (online) version

MSC Class: 20Mxx; 19Dxx; 55Pxx

Journal ref: J. Homotopy Relat. Struct. 12 (4), 901-930, 2017

Assembly maps with coefficients in topological algebras and the integral K-theoretic Novikov conjecture

Authors: Snigdhayan Mahanta

Abstract: We prove that any countable discrete and torsion free subgroup of a general linear group over an arbitrary field or a similar subgroup of an almost connected Lie group satisfies the integral algebraic K-theoretic (split) Novikov conjecture over \cpt and §, where \cpt denotes the C^*-algebra of compact operators and §denotes the algebra of Schatten class operators. We introduce assembly maps with f… ▽ More We prove that any countable discrete and torsion free subgroup of a general linear group over an arbitrary field or a similar subgroup of an almost connected Lie group satisfies the integral algebraic K-theoretic (split) Novikov conjecture over \cpt and §, where \cpt denotes the C^*-algebra of compact operators and §denotes the algebra of Schatten class operators. We introduce assembly maps with finite coefficients and under an additional hypothesis, we prove that such a group also satisfies the algebraic K-theoretic Novikov conjecture over \bar{\mathbb{Q}} and \mathbb{C} with finite coefficients. For all torsion free Gromov hyperbolic groups G, we demonstrate that the canonical algebra homomorphism \cpt[G]\map C^*_r(G)\hat{\otimes}\cpt induces an isomorphism between their algebraic K-theory groups. △ Less

Submitted 20 June, 2013; v1 submitted 12 July, 2011; originally announced July 2011.

Comments: v2 Exposition improved; one lemma and grant acknowledgement added; v3 some terminology changed and details added, Theorems 4.5 and 4.7 in v3 need an extra hypothesis; v4 abridged version accepted for publication in JHRS

MSC Class: 19D50; 19K35; 46L80

Journal ref: J. Homotopy Relat. Struct., 9 (2), 299-315, 2014

Twisted K-theory, K-homology and bivariant Chern-Connes type character of some infinite dimensional spaces

Authors: Snigdhayan Mahanta

Abstract: We study the twisted K-theory and K-homology of some infinite dimensional spaces, like SU(\infty), in the bivariant setting. Using a general procedure due to Cuntz we construct a bivariant K-theory on the category of separable σ-C^*-algebras that generalizes both twisted K-theory and K-homology of (locally) compact spaces. We construct a bivariant Chern--Connes type character taking values in biva… ▽ More We study the twisted K-theory and K-homology of some infinite dimensional spaces, like SU(\infty), in the bivariant setting. Using a general procedure due to Cuntz we construct a bivariant K-theory on the category of separable σ-C^*-algebras that generalizes both twisted K-theory and K-homology of (locally) compact spaces. We construct a bivariant Chern--Connes type character taking values in bivariant local cyclic homology. We analyse the structure of the dual Chern--Connes character from (analytic) K-homology to local cyclic cohomology under some reasonable hypotheses. We also investigate the twisted periodic cyclic homology via locally convex algebras and the local cyclic homology via C^*-algebras (in the compact case). △ Less

Submitted 14 July, 2013; v1 submitted 25 April, 2011; originally announced April 2011.

Comments: v2. 32 pages, acknowledgements added and some minor changes made (including the title); v3. 34 pages, some changes following the referee's suggestions; v4. references updated, exposition improved, to appear in Kyoto J. Math

MSC Class: 19D55; 19K35; 46L85; 46L87

Journal ref: Kyoto J. Math. 54, no. 3 (2014), 597-640

Operator algebra quantum homogeneous spaces of universal gauge groups

Authors: Snigdhayan Mahanta, Varghese Mathai

Abstract: In this paper, we quantize universal gauge groups such as SU(\infty), as well as their homogeneous spaces, in the sigma-C*-algebra setting. More precisely, we propose concise definitions of sigma-C*-quantum groups and sigma-C*-quantum homogeneous spaces and explain these concepts here. At the same time, we put these definitions in the mathematical context of countably compactly generated spaces as… ▽ More In this paper, we quantize universal gauge groups such as SU(\infty), as well as their homogeneous spaces, in the sigma-C*-algebra setting. More precisely, we propose concise definitions of sigma-C*-quantum groups and sigma-C*-quantum homogeneous spaces and explain these concepts here. At the same time, we put these definitions in the mathematical context of countably compactly generated spaces as well as C*-compact quantum groups and homogeneous spaces. We also study the representable K-theory of these spaces and compute it for the quantum homogeneous spaces associated to the universal gauge group SU(\infty). △ Less

Submitted 26 January, 2011; v1 submitted 29 December, 2010; originally announced December 2010.

Comments: 14 pages. Merged with [arXiv:1011.1073]

MSC Class: 46L80; 58B32; 58B34; 46L65

Journal ref: Lett.Math.Phys.97:263-277,2011

Operator algebra quantum groups of universal gauge groups

Authors: Snigdhayan Mahanta, Varghese Mathai

Abstract: In this paper, we quantize universal gauge groups such as SU(\infty), in the sigma-C*-algebra setting. More precisely, we propose a concise definition of sigma-C*-quantum groups and explain the concept here. At the same time, we put this definition in the mathematical context of countably compactly generated groups as well as C*-compact quantum groups. In this paper, we quantize universal gauge groups such as SU(\infty), in the sigma-C*-algebra setting. More precisely, we propose a concise definition of sigma-C*-quantum groups and explain the concept here. At the same time, we put this definition in the mathematical context of countably compactly generated groups as well as C*-compact quantum groups. △ Less

Submitted 26 January, 2011; v1 submitted 4 November, 2010; originally announced November 2010.

Comments: 5 pages, latex2e. Merged with [arXiv:1012.5893]

MSC Class: 58B32; 58B34; 46L65

Noncommutative correspondence categories, simplicial sets and pro $C^*$-algebras

Authors: Snigdhayan Mahanta

Abstract: We show that a $KK$-equivalence between two unital $C^*$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a $\mathbf{K}_*$-equivalence, where $\mathbf{K}_*$ is Waldhausen's $K$-theory. We discuss some connections with strong deformations of $C^*$-algebras and homological dualities. Motivated by a construction of Cuntz we associate a… ▽ More We show that a $KK$-equivalence between two unital $C^*$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a $\mathbf{K}_*$-equivalence, where $\mathbf{K}_*$ is Waldhausen's $K$-theory. We discuss some connections with strong deformations of $C^*$-algebras and homological dualities. Motivated by a construction of Cuntz we associate a pro $C^*$-algebra to any simplicial set. We show that this construction is functorial with respect to proper maps of simplicial sets, that we define, and also respects proper homotopy equivalences. We propose to develop a noncommutative proper homotopy theory in the context of topological algebras. △ Less

Submitted 4 July, 2009; v1 submitted 30 June, 2009; originally announced June 2009.

Comments: A brief discussion on homological $\mathbb{T}$-dualities added. Original material revised and made more concise. Still 24 pages

MSC Class: 18E30;19K35;55P57

Noncommutative Geometry in the Framework of Differential Graded Categories

Authors: Snigdhayan Mahanta

Abstract: In this survey article we discuss a framework of noncommutative geometry with differential graded categories as models for spaces. We outline a construction of the category of noncommutative spaces and also include a discussion on noncommutative motives. We propose a motivic measure with values in a motivic ring. This enables us to introduce certain zeta functions of noncommutative spaces. In this survey article we discuss a framework of noncommutative geometry with differential graded categories as models for spaces. We outline a construction of the category of noncommutative spaces and also include a discussion on noncommutative motives. We propose a motivic measure with values in a motivic ring. This enables us to introduce certain zeta functions of noncommutative spaces. △ Less

Submitted 26 May, 2008; v1 submitted 12 May, 2008; originally announced May 2008.

Comments: 19 pages. Minor corrections and one reference added; to appear in the proceedings volume of AGAQ Istanbul, 2006

Journal ref: Arithmetic and Geometry Around Quantization, Progr. Math., 279, 253-275, 2010

Noncommutative tori and the Riemann-Hilbert correspondence

Authors: Snigdhayan Mahanta, Walter D. van Suijlekom

Abstract: We study the interplay between noncommutative tori and noncommutative elliptic curves through a category of equivariant differential modules on $\mathbb{C}^*$. We functorially relate this category to the category of holomorphic vector bundles on noncommutative tori as introduced by Polishchuk and Schwarz and study the induced map between the corresponding K-theories. In addition, there is a forg… ▽ More We study the interplay between noncommutative tori and noncommutative elliptic curves through a category of equivariant differential modules on $\mathbb{C}^*$. We functorially relate this category to the category of holomorphic vector bundles on noncommutative tori as introduced by Polishchuk and Schwarz and study the induced map between the corresponding K-theories. In addition, there is a forgetful functor to the category of noncommutative elliptic curves of Soibelman and Vologodsky, as well as a forgetful functor to the category of vector bundles on $\mathbb{C}^*$ with regular singular connections. The category that we consider has the nice property of being a Tannakian category, hence it is equivalent to the category of representations of an affine group scheme. Via an equivariant version of the Riemann-Hilbert correspondence we determine this group scheme to be (the algebraic hull of) $\mathbb{Z}^2$. We also obtain a full subcategory of the category of holomorphic bundles of the noncommutative torus, which is equivalent to the category of representations of $\mathbb{Z}$. This group is the proposed topological fundamental group of the noncommutative torus (understood as a degenerate elliptic curve) and we study Nori's notion of étale fundamental group in this context. △ Less

Submitted 29 October, 2008; v1 submitted 8 May, 2007; originally announced May 2007.

Comments: 22 pages with major revisions. Some preliminary material removed. Section 4 on the étale fundamental group of noncommutative tori is entirely new. References changed accordingly, to appear in JNCG

MSC Class: 58B34; 34M50 (Primary) 14A22; 32L05 (Secondary)

Journal ref: J. Noncommut. Geom., 3, 261-287, 2009

Lecture Notes on Noncommutative Algebraic Geometry and Noncommutative Tori

Authors: Snigdhayan Mahanta

Abstract: The first part of these notes gives an introduction to noncommutative projective geometry after Artin--Zhang. The second part provides an overview of the work of Polishchuk that reconciles noncommutative two-tori having real multiplication with the Artin--Zhang setting. The first part of these notes gives an introduction to noncommutative projective geometry after Artin--Zhang. The second part provides an overview of the work of Polishchuk that reconciles noncommutative two-tori having real multiplication with the Artin--Zhang setting. △ Less

Submitted 2 April, 2017; v1 submitted 1 October, 2006; originally announced October 2006.

Comments: Final version - exposition improved; a proof of the derived equivalence added (Prop. 3.8). To appear in the proceedings volume of the "International Workshop on Noncommutative Geometry", IPM, Tehran 2005

MSC Class: 14A22; 18E15; 18E25

Journal ref: An Invitation to Noncommutative Geometry, World Sci. Publ., 355-382, 2008

On some approaches towards non-commutative algebraic geometry

Authors: Snigdhayan Mahanta

Abstract: The works of R. Descartes, I. M. Gelfand and A. Grothendieck have convinced us that commutative rings should be thought of as rings of functions on some appropriate (commutative) spaces. If we try to push this notion forward we reach the realm of Non-commutative Geometry. The confluence of ideas comes here mainly from three seemingly disparate sources, namely, quantum physics, operator algebras… ▽ More The works of R. Descartes, I. M. Gelfand and A. Grothendieck have convinced us that commutative rings should be thought of as rings of functions on some appropriate (commutative) spaces. If we try to push this notion forward we reach the realm of Non-commutative Geometry. The confluence of ideas comes here mainly from three seemingly disparate sources, namely, quantum physics, operator algebras (Connes-style) and algebraic geometry. Following the title of the article, an effort has been made to provide an overview of the third point of view. Since na\" ive efforts to generalize commutative algebraic geometry fail, one goes to the root of the problem and tries to work things out "categorically". This makes the approach a little bit abstract but not abstruse. However, an honest confession must be made at the outset - this write-up is very far from being definitive; hopefully it will provide glimpses of some interesting developments at least. △ Less

Submitted 1 November, 2006; v1 submitted 11 January, 2005; originally announced January 2005.

Comments: 55 pages, some revisions made, misprints removed and references added