Showing 1–46 of 46 results for author: K, G

Geometry, anomaly, topology, and transport in Weyl fermions

Authors: Azaz Ahmad, Gautham Varma K., Gargee Sharma

Abstract: Weyl fermions are one of the simplest objects that link ideas in geometry and topology to highenergy physics and condensed matter physics. Although the existence of Weyl fermions as elementary particles remains dubious, there is mounting evidence of their existence as quasiparticles in certain condensed matter systems. Such systems are termed Weyl semimetals (WSMs). Needless to say, WSMs have emer… ▽ More Weyl fermions are one of the simplest objects that link ideas in geometry and topology to highenergy physics and condensed matter physics. Although the existence of Weyl fermions as elementary particles remains dubious, there is mounting evidence of their existence as quasiparticles in certain condensed matter systems. Such systems are termed Weyl semimetals (WSMs). Needless to say, WSMs have emerged as a fascinating class of materials with unique electronic properties, offering a rich playground for both fundamental research and potential technological applications. This review examines recent advancements in understanding electron transport in Weyl semimetals (WSMs). We begin with a pedagogical introduction to the geometric and topological concepts critical to understanding quantum transport in Weyl fermions. We then explore chiral anomaly (CA), a defining feature of WSMs, and its impact on transport phenomena such as longitudinal magnetoconductance (LMC) and the planar Hall effect (PHE). The Maxwell-Boltzmann transport theory extended beyond the standard relaxation-time approximation is then discussed in the context of Weyl fermions, which is used to evaluate various transport properties. Attention is also given to the effects of strain-induced gauge fields and external magnetic fields in both time-reversal broken and inversion asymmetric inhomogeneous WSMs. The review synthesizes theoretical insights, experimental observations, and numerical simulations to provide a comprehensive understanding of the complex transport behaviors in WSMs, aiming to bridge the gap between theoretical predictions and experimental verification. △ Less

Submitted 3 June, 2024; originally announced June 2024.

Comments: Invited review. Comments welcome

UniDEC : Unified Dual Encoder and Classifier Training for Extreme Multi-Label Classification

Authors: Siddhant Kharbanda, Devaansh Gupta, Gururaj K, Pankaj Malhotra, Cho-Jui Hsieh, Rohit Babbar

Abstract: Extreme Multi-label Classification (XMC) involves predicting a subset of relevant labels from an extremely large label space, given an input query and labels with textual features. Models developed for this problem have conventionally used modular approach with (i) a Dual Encoder (DE) to embed the queries and label texts, (ii) a One-vs-All classifier to rerank the shortlisted labels mined through… ▽ More Extreme Multi-label Classification (XMC) involves predicting a subset of relevant labels from an extremely large label space, given an input query and labels with textual features. Models developed for this problem have conventionally used modular approach with (i) a Dual Encoder (DE) to embed the queries and label texts, (ii) a One-vs-All classifier to rerank the shortlisted labels mined through meta-classifier training. While such methods have shown empirical success, we observe two key uncharted aspects, (i) DE training typically uses only a single positive relation even for datasets which offer more, (ii) existing approaches fixate on using only OvA reduction of the multi-label problem. This work aims to explore these aspects by proposing UniDEC, a novel end-to-end trainable framework which trains the dual encoder and classifier in together in a unified fashion using a multi-class loss. For the choice of multi-class loss, the work proposes a novel pick-some-label (PSL) reduction of the multi-label problem with leverages multiple (in come cases, all) positives. The proposed framework achieves state-of-the-art results on a single GPU, while achieving on par results with respect to multi-GPU SOTA methods on various XML benchmark datasets, all while using 4-16x lesser compute and being practically scalable even beyond million label scale datasets. △ Less

Submitted 4 May, 2024; originally announced May 2024.

Mitigating Automotive Radar Interference using Onboard Intelligent Reflective Surface

Authors: Shree Prasad Maruthi, Karrthik G. K., Vijaya Krishna A., Mahbub Hassan, **hong Yuan

Abstract: The use of automotive radars is gaining popularity as a means to enhance a vehicle's sensing capabilities. However, these radars can suffer from interference caused by transmissions from other radars mounted on nearby vehicles. To address this issue, we investigate the use of an onboard intelligent reflective surface (IRS) to artificially increase a vehicle's effective radar cross section (RCS), o… ▽ More The use of automotive radars is gaining popularity as a means to enhance a vehicle's sensing capabilities. However, these radars can suffer from interference caused by transmissions from other radars mounted on nearby vehicles. To address this issue, we investigate the use of an onboard intelligent reflective surface (IRS) to artificially increase a vehicle's effective radar cross section (RCS), or its "electromagnetic visibility." Our proposed method utilizes the IRS's ability to form a coherent reflection of the incident radar waveform back towards the source radar, thereby improving radar performance under interference. We evaluated both passive and active IRS options. Passive IRS, which does not support reflection amplification, was found to be counter-productive and actually decreased the vehicle's effective RCS instead of enhancing it. In contrast, active IRS, which can amplify the reflection power of individual elements, effectively combats all types of automotive radar interference when the reflective elements are configured with a 15-35 dB reflection gain. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Comments: 7 pages, 9 Figures

CHC-COMP 2023: Competition Report

Authors: Emanuele De Angelis, Hari Govind V K

Abstract: CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, France, on April 23, 2023. This edition featured seven solvers (six competing and one hors concours) and six tracks, each of which dealing with a class o… ▽ More CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, France, on April 23, 2023. This edition featured seven solvers (six competing and one hors concours) and six tracks, each of which dealing with a class of clauses. This report describes the organization of CHC-COMP 2023 and presents its results. △ Less

Submitted 23 April, 2024; originally announced April 2024.

Comments: In Proceedings LSFA/HCVS 2023, arXiv:2404.13672

Journal ref: EPTCS 402, 2024, pp. 83-104

Thomson scattering diagnostics at the Globus M2 tokamak

Authors: Zhiltsov N. S., Kurskiev G. S., Tolstyakov S. Yu., Solovey V. A., Koval A. N., Aleksandrov S. E., Bazhenov A. N., Chernakov P. V., Filippov S. V., Gusev V. K., Khromov N. A., Kiselev E. O., Kornev A. F., Krikunov S. V., Makarov A. M., Minaev V. B., Miroshnikov I. V., Mukhin E. E., Novokhatsky A. N., Patrov M. I., Petrov Yu. V., Sakharov N. V., Schegolev. P. B., Telnova A. Yu., Tkachenko E. E. , et al. (3 additional authors not shown)

Abstract: The paper is devoted to the Thomson scattering (TS) diagnostics recently developed for the Globus-M2 spherical tokamak and prototy** the ITER divertor TS diagnostics. The distinctive features of the system are the use of spectrometers, acquisition system and lasers that meet the base requirements for ITER TS diagnostics. The paper describes the diagnostic system that allows precise measurements… ▽ More The paper is devoted to the Thomson scattering (TS) diagnostics recently developed for the Globus-M2 spherical tokamak and prototy** the ITER divertor TS diagnostics. The distinctive features of the system are the use of spectrometers, acquisition system and lasers that meet the base requirements for ITER TS diagnostics. The paper describes the diagnostic system that allows precise measurements of TS signals, as well as the results of the first measurements of electron temperature and density in both central region of the plasma column and scrape-off layer. The system provides measurements of electron temperature $T_{e}$ in the range of 5 eV to 5 keV and density $n_{e}$ in the range of $5{\cdot}10^{17}÷3.25{\cdot}10^{20} m^{-3}$. The use of two ITER-grade probing lasers of different wavelengths (Nd:YAG 1064.5 nm and Nd:YLF 1047.3 nm) allows reliable measurement of $T_{e}$ in multi-colour mode, i.e., assuming that spectral calibration is unknown. △ Less

Submitted 30 November, 2023; originally announced November 2023.

On Non Local Cahn Hilliard Brinkman System with Singular Potentials

Authors: Sheetal Dharmatti, Greeshma K

Abstract: This work concerns with the non-local Cahn Hilliard Brinkman system with singular potential for well-posedness. The results are obtained by approximating the singular potential by a sequence of regular potentials as well as introduction of a sequence of a mobility term to remove the blow-up and pass to the limit in both sequences to establish existence of a weak solution using Galerkin method. Fur… ▽ More This work concerns with the non-local Cahn Hilliard Brinkman system with singular potential for well-posedness. The results are obtained by approximating the singular potential by a sequence of regular potentials as well as introduction of a sequence of a mobility term to remove the blow-up and pass to the limit in both sequences to establish existence of a weak solution using Galerkin method. Further we prove the existence of a strong solution under higher regularity assumptions on the initial data and a uniqueness of the solution using weak strong uniqueness technique and continuous dependence of the solutions on the initial data. The existence and regularity results for solution to the non-local CHB system established in this paper are important step** stones to study the optimal control problem constrained by this system. △ Less

Submitted 8 November, 2023; originally announced November 2023.

MSC Class: 35D30; 35D35; 35Q35; 76S05; 76D99; 76T99 \\ 35D30; 35D35; 35Q35; 76S05; 76D99; 76T99 \\ 35D30; 35D35; 35Q35; 76S05; 76D99; 76T99

Magnetotransport in spin-orbit coupled noncentrosymmetric and Weyl metals

Authors: Gautham Varma K, Azaz Ahmad, Sumanta Tewari, G. Sharma

Abstract: Recently, chiral anomaly (CA) has been proposed to occur in spin-orbit coupled noncentrosymmetric metals (SOC-NCMs), motivating CA to be a Fermi surface property rather than a Weyl node property. Although the nature of the anomaly is similar in both SOC-NCMs and Weyl systems, here we point out significant fundamental differences between the two. We show that the different nature of the orbital mag… ▽ More Recently, chiral anomaly (CA) has been proposed to occur in spin-orbit coupled noncentrosymmetric metals (SOC-NCMs), motivating CA to be a Fermi surface property rather than a Weyl node property. Although the nature of the anomaly is similar in both SOC-NCMs and Weyl systems, here we point out significant fundamental differences between the two. We show that the different nature of the orbital magnetic moment (OMM) in the two systems leads to non-trivial consequences -- particularly the sign of the longitudinal magnetoconductance always remains positive in a SOC non-centrosymmetric metal, unlike a Weyl metal that displays either sign. Furthermore,we investigate the planar Hall effect and the geometrical contribution to the Hall effect in the two systems and point out significant differences in the two systems. We conduct our analysis for magnetic and non-magnetic impurities, making our study important in light of current and upcoming experiments in both SOC-NCMs and Weyl metals. △ Less

Submitted 30 October, 2023; originally announced October 2023.

Collective excitations of a hot QCD medium in a time dependent background magnetic field

Authors: Gowthama K K, Vinod Chandra

Abstract: Collective modes within a hot Quantum Chromodynamics (QCD) medium are obtained from the polarization tensor, considering both constant and time-varying electromagnetic fields. In both scenarios, five complex modes emerge, reliant on the wave vector ($k$), with electrical conductivity exerting significant influence. The impact of the modes on the energy loss of heavy quarks in the hot QCD medium wi… ▽ More Collective modes within a hot Quantum Chromodynamics (QCD) medium are obtained from the polarization tensor, considering both constant and time-varying electromagnetic fields. In both scenarios, five complex modes emerge, reliant on the wave vector ($k$), with electrical conductivity exerting significant influence. The impact of the modes on the energy loss of heavy quarks in the hot QCD medium with a background electromagnetic field has been studied by obtaining the induced electric field in terms of the polarization tensor while invoking Wong's equations. The findings are seen to be consistent with analogous approaches, reinforcing the significance of the results. △ Less

Submitted 13 September, 2023; originally announced September 2023.

Comments: 9 pages, 5 Figures

Polarization of spin-1/2 particles with effective spacetime dependent masses

Authors: Samapan Bhadury, Arpan Das, Wojciech Florkowski, Gowthama K. K., Radoslaw Ryblewski

Abstract: Semiclassical expansion of the Wigner function for spin-1/2 fermions having an effective spacetime-dependent mass is used to analyze spin-polarization effects. The existing framework is reformulated to obtain a differential equation directly connecting the particle spin tensor with the effective mass. It reflects the conservation of the total angular momentum in a system. In general, we find that… ▽ More Semiclassical expansion of the Wigner function for spin-1/2 fermions having an effective spacetime-dependent mass is used to analyze spin-polarization effects. The existing framework is reformulated to obtain a differential equation directly connecting the particle spin tensor with the effective mass. It reflects the conservation of the total angular momentum in a system. In general, we find that the gradients of mass act as a source of the spin polarization. Although this effect is absent for simple boost-invariant dynamics, an extension to non-boost-invariant systems displays a non-trivial dependence of the spin density on the mass indicating that the spin polarization effects may be intertwined with the phenomenon of chiral restoration. △ Less

Submitted 23 January, 2024; v1 submitted 23 July, 2023; originally announced July 2023.

Comments: 5 pages, 2 figures, matches with the published version Phys. Lett. B 849 (2024) 138464

Journal ref: Phys. Lett. B 849 (2024) 138464

Constraints on Self-Interacting dark matter from relaxed galaxy groups

Authors: Gopika K., Shantanu Desai

Abstract: Self-interacting dark matter (SIDM) has been proposed as an alternative to the standard collisionless cold dark matter to explain the diversity of galactic rotation curves and core-cusp problems seen at small scales. Here, we estimate the constraints on SIDM for a sample of 11 relaxed galaxy groups with X-ray observations from Chandra and XMM-Newton. We fit the dark matter density distribution to… ▽ More Self-interacting dark matter (SIDM) has been proposed as an alternative to the standard collisionless cold dark matter to explain the diversity of galactic rotation curves and core-cusp problems seen at small scales. Here, we estimate the constraints on SIDM for a sample of 11 relaxed galaxy groups with X-ray observations from Chandra and XMM-Newton. We fit the dark matter density distribution to the Einasto profile and use the estimated Einasto $α$ parameter to constrain the SIDM cross-section, based on the empirical relation between the two, which was obtained in Eckert et al (2022). We obtain a non-zero central estimate for the cross-section per unit mass ($σ/m$) for seven groups, with the most precise estimate obtained for NGC 5044, given by $σ/m=0.165 \pm 0.025~\rm{cm^2/g}$, for dark matter velocity dispersion of about 300 km/sec. For the remaining four groups, we obtain 95% c.l. upper limits on $σ/m < 0.16-6.61~\rm{cm^2/g}$ with dark matter velocity dispersions between 200-500 km/sec, with the most stringent limit for our sample obtained for the group MKW 4, given by $σ/m< 0.16~\rm{cm^2/g}$ for dark matter velocity dispersion of about 350 km/sec. △ Less

Submitted 11 July, 2023; originally announced July 2023.

Comments: 14 pages, 22 figures. Accepted in Phys. Dark Universe

Speculative SAT Modulo SAT

Authors: Hari Govind V K, Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel

Abstract: State-of-the-art model-checking algorithms like IC3/PDR are based on uni-directional modular SAT solving for finding and/or blocking counterexamples. Modular SAT solvers divide a SAT-query into multiple sub-queries, each solved by a separate SAT solver (called a module), and propagate information (lemmas, proof obligations, blocked clauses, etc.) between modules. While modular solving is key to IC… ▽ More State-of-the-art model-checking algorithms like IC3/PDR are based on uni-directional modular SAT solving for finding and/or blocking counterexamples. Modular SAT solvers divide a SAT-query into multiple sub-queries, each solved by a separate SAT solver (called a module), and propagate information (lemmas, proof obligations, blocked clauses, etc.) between modules. While modular solving is key to IC3/PDR, it is obviously not as effective as monolithic solving, especially when individual sub-queries are harder to solve than the combined query. This is partially addressed in SAT modulo SAT (SMS) by propagating unit literals back and forth between the modules and using information from one module to simplify the sub-query in another module as soon as possible (i.e., before the satisfiability of any sub-query is established). However, bi-directionality of SMS is limited because of the strict order between decisions and propagation -- only one module is allowed to make decisions, until its sub-query is SAT. In this paper, we propose a generalization of SMS, called SPEC SMS, that speculates decisions between modules. This makes it bi-directional -- decisions are made in multiple modules, and learned clauses are exchanged in both directions. We further extend DRUP proofs and interpolation, these are useful in model checking, to SPEC SMS. We have implemented SPEC SMS in Z3 and show that it performs exponentially better on a series of benchmarks that are provably hard for SMS. △ Less

Submitted 30 June, 2023; originally announced June 2023.

Fast Approximations of Quantifier Elimination

Authors: Isabel Garcia-Contreras, Hari Govind V K, Sharon Shoham, Arie Gurfinkel

Abstract: Quantifier elimination (qelim) is used in many automated reasoning tasks including program synthesis, exist-forall solving, quantified SMT, Model Checking, and solving Constrained Horn Clauses (CHCs). Exact qelim is computationally expensive. Hence, it is often approximated. For example, Z3 uses "light" pre-processing to reduce the number of quantified variables. CHC-solver Spacer uses model-based… ▽ More Quantifier elimination (qelim) is used in many automated reasoning tasks including program synthesis, exist-forall solving, quantified SMT, Model Checking, and solving Constrained Horn Clauses (CHCs). Exact qelim is computationally expensive. Hence, it is often approximated. For example, Z3 uses "light" pre-processing to reduce the number of quantified variables. CHC-solver Spacer uses model-based projection (MBP) to under-approximate qelim relative to a given model, and over-approximations of qelim can be used as abstractions. In this paper, we present the QEL framework for fast approximations of qelim. QEL provides a uniform interface for both quantifier reduction and model-based projection. QEL builds on the egraph data structure -- the core of the EUF decision procedure in SMT -- by casting quantifier reduction as a problem of choosing ground (i.e., variable-free) representatives for equivalence classes. We have used QEL to implement MBP for the theories of Arrays and Algebraic Data Types (ADTs). We integrated QEL and our new MBP in Z3 and evaluated it within several tasks that rely on quantifier approximations, outperforming state-of-the-art. △ Less

Submitted 16 June, 2023; originally announced June 2023.

Comments: Published at CAV 2023

Electromagnetic field of a charge asymptotically approaching spherically symmetric black hole

Authors: Komarov S. O., Gorbatsievich A. K., Vereshchagin G. V

Abstract: We consider a test charged particle falling onto a Schwarzschild black hole and evaluate its electromagnetic field. The Regge-Wheeler equation is solved analytically by approximating the potential barrier with Dirac delta function and rectangular barrier. We show that for asymptotically large time measured by a distant observer the electromagnetic field approaches the spherically symmetric electro… ▽ More We consider a test charged particle falling onto a Schwarzschild black hole and evaluate its electromagnetic field. The Regge-Wheeler equation is solved analytically by approximating the potential barrier with Dirac delta function and rectangular barrier. We show that for asymptotically large time measured by a distant observer the electromagnetic field approaches the spherically symmetric electrostatic field exponentially fast. This implies that in the region accessible to a distant observer the initial state of separated charge and Schwarzschild black hole becomes asymptotically indistinguishable from the Reisnner-Nordström solution. Implications of this result for models with plasma accretion on black holes are discussed.7 a △ Less

Submitted 29 May, 2023; originally announced May 2023.

Comments: 7 pages, 2 figures

Journal ref: Phys. Rev. D 108 (2023) 104056

Localisation of Mammographic masses by Greedy Backtracking of Activations in the Stacked Auto-Encoders

Authors: Shamna Pootheri, Govindan V K

Abstract: Mammographic image analysis requires accurate localisation of salient mammographic masses. In mammographic computer-aided diagnosis, mass or Region of Interest (ROI) is often marked by physicians and features are extracted from the marked ROI. In this paper, we present a novel mammographic mass localisation framework, based on the maximal class activations of the stacked auto-encoders. We hypothes… ▽ More Mammographic image analysis requires accurate localisation of salient mammographic masses. In mammographic computer-aided diagnosis, mass or Region of Interest (ROI) is often marked by physicians and features are extracted from the marked ROI. In this paper, we present a novel mammographic mass localisation framework, based on the maximal class activations of the stacked auto-encoders. We hypothesize that the image regions activating abnormal classes in mammographic images will be the breast masses which causes the anomaly. The experiment is conducted using randomly selected 200 mammographic images (100 normal and 100 abnormal) from IRMA mammographic dataset. Abnormal mass regions marked by an expert radiologist are used as the ground truth. The proposed method outperforms existing Deep Convolutional Neural Network (DCNN) based techniques in terms of salient region detection accuracy. The proposed greedy backtracking method is more efficient and does not require a vast number of labelled training images as in DCNN based method. Such automatic localisation method will assist physicians to make accurate decisions on biopsy recommendations and treatment evaluations. △ Less

Submitted 8 May, 2023; originally announced May 2023.

A test of invariance of dark matter halo surface density using multiwavelength mock galaxy catalogues

Authors: Gopika K., Shantanu Desai, Aseem Paranjape

Abstract: A large number of observations have shown that the dark matter halo surface density, given by the product of halo core radius and core density is nearly constant for a diverse suite of galaxies. Although this invariance of the halo surface density is violated at galaxy cluster and group scales, it is still an open question on whether the aforementioned constancy on galactic scales can be explained… ▽ More A large number of observations have shown that the dark matter halo surface density, given by the product of halo core radius and core density is nearly constant for a diverse suite of galaxies. Although this invariance of the halo surface density is violated at galaxy cluster and group scales, it is still an open question on whether the aforementioned constancy on galactic scales can be explained within $Λ$CDM. For this purpose, we probe the variation of halo surface density as a function of mass using multi-wavelength mock galaxy catalogs from $Λ$CDM simulations, where the adiabatic contraction of dark matter halos in the presence of baryons has been taken into account. We find that these baryonified $Λ$CDM halos were best fitted with a generalized-NFW profile, and the halo surface density from these halos has a degeneracy with respect to both the halo mass and the virial concentration. We find that the correlation with mass when averaged over concentration is consistent with a constant halo surface density. However, a power-law dependence as a function of halo mass also cannot be ruled out. △ Less

Submitted 26 May, 2023; v1 submitted 22 March, 2023; originally announced March 2023.

Comments: 10 pages, 11 figures. Accepted for publications in MNRAS

Exploring the substrate-driven morphological changes in Nd0.6Sr0.4MnO3 thin films

Authors: R S Mrinaleni, E P Amaladass, S Amirthapandian, A. T. Sathyanarayana, Jegadeesan P, Ganesan K, R M Sarguna, P. N. Rao, Pooja Gupta, T Geetha Kumary, S. K. Rai, Awadhesh Mani

Abstract: Manganite thin films are promising candidates for studying the strongly correlated electron systems. Understanding the growth-and morphology-driven changes in the physical properties of manganite thin films is vital for their applications in oxitronics. This work reports the morphological, structural, and electrical transport properties of nanostructured Nd0.6Sr0.4MnO3 (NSMO) thin films fabricated… ▽ More Manganite thin films are promising candidates for studying the strongly correlated electron systems. Understanding the growth-and morphology-driven changes in the physical properties of manganite thin films is vital for their applications in oxitronics. This work reports the morphological, structural, and electrical transport properties of nanostructured Nd0.6Sr0.4MnO3 (NSMO) thin films fabricated using the pulsed laser deposition technique. Scanning electron microscopy (SEM) imaging of the thin films revealed two prominent surface morphologies: a granular and a unique crossed-nano-rod-type morphology. From X-ray diffraction (XRD) and atomic force microscopy (AFM) analysis, we found that the observed nanostructures resulted from altered growth modes occurring on the terraced substrate surface. Furthermore, investigations on the electrical-transport properties of thin films revealed that the films with crossed-nano-rod type morphology showed a sharp resistive transition near the metal-to-insulator transition (MIT). An enhanced temperature coefficient of resistance (TCR) of up to one order of magnitude was also observed compared to the films with granular morphology. Such enhancement in TCR % by tuning the morphology makes these thin films promising candidates for develo** oxide-based temperature sensors and detectors. △ Less

Submitted 13 January, 2023; originally announced January 2023.

Comments: Main article : page 1-23 , Supplementary information: page 23-27

CHC-COMP 2022: Competition Report

Authors: Emanuele De Angelis, Hari Govind V K

Abstract: CHC-COMP 2022 is the fifth edition of the competition of solvers for Constrained Horn Clauses. The competition was run in March 2022; the results were presented at the 9th Workshop on Horn Clauses for Verification and Synthesis held in Munich, Germany, on April 3, 2022. This edition featured six solvers, and eight tracks consisting of sets of linear and nonlinear clauses with constraints over line… ▽ More CHC-COMP 2022 is the fifth edition of the competition of solvers for Constrained Horn Clauses. The competition was run in March 2022; the results were presented at the 9th Workshop on Horn Clauses for Verification and Synthesis held in Munich, Germany, on April 3, 2022. This edition featured six solvers, and eight tracks consisting of sets of linear and nonlinear clauses with constraints over linear integer arithmetic, linear real arithmetic, arrays, and algebraic data types. This report provides an overview of the organization behind the competition runs: it includes the technical details of the competition setup as well as presenting the results of the 2022 edition. △ Less

Submitted 22 November, 2022; originally announced November 2022.

Comments: In Proceedings HCVS/VPT 2022, arXiv:2211.10675. arXiv admin note: text overlap with arXiv:2109.04635, arXiv:2008.02939 by other authors

ACM Class: F.3.1

Journal ref: EPTCS 373, 2022, pp. 44-62

Unified Generative & Dense Retrieval for Query Rewriting in Sponsored Search

Authors: Akash Kumar Mohankumar, Bhargav Dodla, Gururaj K, Amit Singh

Abstract: Sponsored search is a key revenue source for search engines, where advertisers bid on keywords to target users or search queries of interest. However, finding relevant keywords for a given query is challenging due to the large and dynamic keyword space, ambiguous user/advertiser intents, and diverse possible topics and languages. In this work, we present a comprehensive comparison between two para… ▽ More Sponsored search is a key revenue source for search engines, where advertisers bid on keywords to target users or search queries of interest. However, finding relevant keywords for a given query is challenging due to the large and dynamic keyword space, ambiguous user/advertiser intents, and diverse possible topics and languages. In this work, we present a comprehensive comparison between two paradigms for online query rewriting: Generative (NLG) and Dense Retrieval (DR) methods. We observe that both methods offer complementary benefits that are additive. As a result, we show that around 40% of the high-quality keywords retrieved by the two approaches are unique and not retrieved by the other. To leverage the strengths of both methods, we propose CLOVER-Unity, a novel approach that unifies generative and dense retrieval methods in one single model. Through offline experiments, we show that the NLG and DR components of CLOVER-Unity consistently outperform individually trained NLG and DR models on public and internal benchmarks. Furthermore, we show that CLOVER-Unity achieves 9.8% higher good keyword density than the ensemble of two separate DR and NLG models while reducing computational costs by almost half. We conduct extensive online A/B experiments on Microsoft Bing in 140+ countries and achieve improved user engagement, with an average increase in total clicks by 0.89% and increased revenue by 1.27%. We also share our practical lessons and optimization tricks for deploying such unified models in production. △ Less

Submitted 3 June, 2023; v1 submitted 13 September, 2022; originally announced September 2022.

Comments: 7 pages, 4 figures and 6 tables

Dynamics of Hot QCD Matter -- Current Status and Developments

Authors: Santosh K. Das, Prabhakar Palni, Jhuma Sannigrahi, Jan-e Alam, Cho Win Aung, Yoshini Bailung, Debjani Banerjee, Gergely Gábor Barnaföldi, Subash Chandra Behera, Partha Pratim Bhaduri, Samapan Bhadury, Rajesh Biswas, Pritam Chakraborty, Vinod Chandra, Prottoy Das, Sadhana Dash, Saumen Datta, Sudipan De, Vaishnavi Desai, Suman Deb, Debarshi Dey, Jayanta Dey, Sabyasachi Ghosh, Najmul Haque, Mujeeb Hasan , et al. (42 additional authors not shown)

Abstract: The discovery and characterization of hot and dense QCD matter, known as Quark Gluon Plasma (QGP), remains the most international collaborative effort and synergy between theorists and experimentalists in modern nuclear physics to date. The experimentalists around the world not only collect an unprecedented amount of data in heavy-ion collisions, at Relativistic Heavy Ion Collider (RHIC), at Brook… ▽ More The discovery and characterization of hot and dense QCD matter, known as Quark Gluon Plasma (QGP), remains the most international collaborative effort and synergy between theorists and experimentalists in modern nuclear physics to date. The experimentalists around the world not only collect an unprecedented amount of data in heavy-ion collisions, at Relativistic Heavy Ion Collider (RHIC), at Brookhaven National Laboratory (BNL) in New York, USA, and the Large Hadron Collider (LHC), at CERN in Geneva, Switzerland but also analyze these data to unravel the mystery of this new phase of matter that filled a few microseconds old universe, just after the Big Bang. In the meantime, advancements in theoretical works and computing capability extend our wisdom about the hot-dense QCD matter and its dynamics through mathematical equations. The exchange of ideas between experimentalists and theoreticians is crucial for the progress of our knowledge. The motivation of this first conference named "HOT QCD Matter 2022" is to bring the community together to have a discourse on this topic. In this article, there are 36 sections discussing various topics in the field of relativistic heavy-ion collisions and related phenomena that cover a snapshot of the current experimental observations and theoretical progress. This article begins with the theoretical overview of relativistic spin-hydrodynamics in the presence of the external magnetic field, followed by the Lattice QCD results on heavy quarks in QGP, and finally, it ends with an overview of experiment results. △ Less

Submitted 29 August, 2022; originally announced August 2022.

Comments: Compilation of the contributions (148 pages) as presented in the `Hot QCD Matter 2022 conference', held from May 12 to 14, 2022, jointly organized by IIT Goa & Goa University, Goa, India

Journal ref: Int.J.Mod.Phys.E 31 (2022) 12, 2250097

NGAME: Negative Mining-aware Mini-batching for Extreme Classification

Authors: Kunal Dahiya, Nilesh Gupta, Deepak Saini, Akshay Soni, Yajun Wang, Kushal Dave, Jian Jiao, Gururaj K, Prasenjit Dey, Amit Singh, Deepesh Hada, Vidit Jain, Bhawna Paliwal, Anshul Mittal, Sonu Mehta, Ramachandran Ramjee, Sumeet Agarwal, Purushottam Kar, Manik Varma

Abstract: Extreme Classification (XC) seeks to tag data points with the most relevant subset of labels from an extremely large label set. Performing deep XC with dense, learnt representations for data points and labels has attracted much attention due to its superiority over earlier XC methods that used sparse, hand-crafted features. Negative mining techniques have emerged as a critical component of all dee… ▽ More Extreme Classification (XC) seeks to tag data points with the most relevant subset of labels from an extremely large label set. Performing deep XC with dense, learnt representations for data points and labels has attracted much attention due to its superiority over earlier XC methods that used sparse, hand-crafted features. Negative mining techniques have emerged as a critical component of all deep XC methods that allow them to scale to millions of labels. However, despite recent advances, training deep XC models with large encoder architectures such as transformers remains challenging. This paper identifies that memory overheads of popular negative mining techniques often force mini-batch sizes to remain small and slow training down. In response, this paper introduces NGAME, a light-weight mini-batch creation technique that offers provably accurate in-batch negative samples. This allows training with larger mini-batches offering significantly faster convergence and higher accuracies than existing negative sampling techniques. NGAME was found to be up to 16% more accurate than state-of-the-art methods on a wide array of benchmark datasets for extreme classification, as well as 3% more accurate at retrieving search engine queries in response to a user webpage visit to show personalized ads. In live A/B tests on a popular search engine, NGAME yielded up to 23% gains in click-through-rates. △ Less

Submitted 10 July, 2022; originally announced July 2022.

Thermal and thermoelectric responses of hot QCD medium in time-varying magnetic fields

Authors: Gowthama K K, Manu Kurian, Vinod Chandra

Abstract: The thermal response of the hot QCD matter has been studied in the presence of a time-varying magnetic field. The impact of magnetic field, its time dependence, and the collision aspects of the medium on thermal transport have been studied within the relativistic kinetic theory. The decay time of the magnetic field in the medium seems to have a strong dependence on thermal conductivity. The applic… ▽ More The thermal response of the hot QCD matter has been studied in the presence of a time-varying magnetic field. The impact of magnetic field, its time dependence, and the collision aspects of the medium on thermal transport have been studied within the relativistic kinetic theory. The decay time of the magnetic field in the medium seems to have a strong dependence on thermal conductivity. The applicability of the Wiedemann-Franz law for the QCD medium has been investigated in the presence of time-varying external electromagnetic fields. The phenomenological significance of thermal transport in heavy-ion collision experiments has also been investigated by relating the thermal conductivity to the elliptic flow through the Knudsen number. The investigations are extended to study the thermoelectric behavior of hot QCD medium and its dependence on the magnetic field. The time dependent magnetic field is observed to significantly influence the thermoelectric behavior of the medium. △ Less

Submitted 4 August, 2022; v1 submitted 28 May, 2022; originally announced May 2022.

Comments: 11 pages, 6 figures, The version accepted in PRD

Journal ref: Phys. Rev. D 106, 034008 (2022)

Bi-Phasic Quasistatic Brain Communication for Fully Untethered Connected Brain Implants

Authors: Baibhab Chatterjee, Mayukh Nath, Gaurav Kumar K, Shulan Xiao, Krishna Jayant, Shreyas Sen

Abstract: Wireless communication using electro-magnetic (EM) fields acts as the backbone for information exchange among wearable devices around the human body. However, for Implanted devices, EM fields incur high amount of absorption in the tissue, while alternative modes of transmission including ultrasound, optical and magneto-electric methods result in large amount of transduction losses due to conversio… ▽ More Wireless communication using electro-magnetic (EM) fields acts as the backbone for information exchange among wearable devices around the human body. However, for Implanted devices, EM fields incur high amount of absorption in the tissue, while alternative modes of transmission including ultrasound, optical and magneto-electric methods result in large amount of transduction losses due to conversion of one form of energy to another, thereby increasing the overall end-to-end energy loss. To solve the challenge of powering and communication in a brain implant with low end-end channel loss, we present Bi-Phasic Quasistatic Brain Communication (BP-QBC), achieving < 60dB worst-case end-to-end channel loss at a channel length of 55mm, by avoiding the transduction losses during field-modality conversion. BP-QBC utilizes dipole coupling based signal transmission within the brain tissue using differential excitation in the transmitter and differential signal pick-up at the receiver, and offers 41X lower power w.r.t. traditional Galvanic Human Body Communication at a carrier frequency of 1MHz, by blocking any DC current paths through the brain tissue. Since the electrical signal transfer through the human tissue is electro-quasistatic up to several 10's of MHz range, BP-QBC allows a scalable (bps-10Mbps) duty-cycled uplink from the implant to an external wearable. The power consumption in the BP-QBC TX is only 0.52uW at 1Mbps (with 1% duty cycling), which is within the range of harvested body-coupled power in the downlink from an external wearable to the brain implant. Furthermore, BP-QBC eliminates the need for sub-cranial repeaters, as it utilizes quasi-static electrical signals, thereby avoiding any transduction losses. Such low end-to-end channel loss with high data rates would find applications in neuroscience, brain-machine interfaces, electroceuticals and connected healthcare. △ Less

Submitted 4 July, 2023; v1 submitted 18 May, 2022; originally announced May 2022.

Comments: 22 pages

Bi-Sampling Approach to Classify Music Mood leveraging Raga-Rasa Association in Indian Classical Music

Authors: Mohan Rao B C, Vinayak Arkachaari, Harsha M N, Sushmitha M N, Gayathri Ramesh K K, Ullas M S, Pathi Mohan Rao, Sudha G, Narayana Darapaneni

Abstract: The impact of Music on the mood or emotion of the listener is a well-researched area in human psychology and behavioral science. In Indian classical music, ragas are the melodic structure that defines the various styles and forms of the music. Each raga has been found to evoke a specific emotion in the listener. With the advent of advanced capabilities of audio signal processing and the applicatio… ▽ More The impact of Music on the mood or emotion of the listener is a well-researched area in human psychology and behavioral science. In Indian classical music, ragas are the melodic structure that defines the various styles and forms of the music. Each raga has been found to evoke a specific emotion in the listener. With the advent of advanced capabilities of audio signal processing and the application of machine learning, the demand for intelligent music classifiers and recommenders has received increased attention, especially in the 'Music as a service' cloud applications. This paper explores a novel framework to leverage the raga-rasa association in Indian classical Music to build an intelligent classifier and its application in music recommendation system based on user's current mood and the mood they aspire to be in. △ Less

Submitted 13 March, 2022; originally announced March 2022.

Global optimization on a metric space with a graph and an application to PBVP

Authors: Abhik Digar, G. S. Raju K

Abstract: In this article we introduce a new type of cyclic contraction map** on a pair of subsets of a metric space with a graph and prove best proximity points results for the same. Also, we demonstrate that the number of such points is same with the number of connected subgraphs. Hereafter, we introduce a fixed point map** obtained from the aforesaid cyclic contraction and prove some fixed point theo… ▽ More In this article we introduce a new type of cyclic contraction map** on a pair of subsets of a metric space with a graph and prove best proximity points results for the same. Also, we demonstrate that the number of such points is same with the number of connected subgraphs. Hereafter, we introduce a fixed point map** obtained from the aforesaid cyclic contraction and prove some fixed point theorems which will be used to find a common solution for a system of periodic boundary value problems. Our results unify and subsume many existing results in the literature. △ Less

Submitted 8 December, 2021; originally announced December 2021.

MSC Class: 47H10; 34B15; 54H25

Electromagnetic response of hot QCD medium in the presence of background time-varying fields

Authors: Gowthama K K, Manu Kurian, Vinod Chandra

Abstract: The response of the hot QCD medium in the presence of external time dependent electromagnetic fields has been studied within the relativistic Boltzmann transport theory. The impact of the time dependence of the electromagnetic fields and collisional aspects of the medium to the induced electric and Hall current densities has been explored. The non-equilibrium momentum distribution of degrees of fr… ▽ More The response of the hot QCD medium in the presence of external time dependent electromagnetic fields has been studied within the relativistic Boltzmann transport theory. The impact of the time dependence of the electromagnetic fields and collisional aspects of the medium to the induced electric and Hall current densities has been explored. The non-equilibrium momentum distribution of degrees of freedom has been obtained in the presence of space-time varying electromagnetic fields. Further, the analysis has been extended to an anisotropic QCD medium while incorporating the in-medium interaction effects. It is observed that the electric charge transport is sensitive to the inhomogeneity of the fields and the momentum anisotropy of the QCD medium. △ Less

Submitted 15 August, 2021; originally announced August 2021.

Comments: 8 pages, 2 figures, two-column

Journal ref: Phys. Rev. D 104, 094037 (2021)

Interference-Aware Accurate Signal Recovery in sub-1 GHz UHF Band Reuse-1 Cellular OFDMA Downlinks

Authors: Abhay Mohan M V, Giridhar K

Abstract: Reuse-1 systems operating in the sub-1 GHz UHF band are limited by substantial co-channel interference (CCI). In such orthogonal frequency division multiple access (OFDMA) cellular systems, the inter-sector or inter-tower interference (ITI) makes accurate signal recovery quite challenging as sub-1 GHz bands only support single-input single-output (SISO) links. Interference-aware receiver algorithm… ▽ More Reuse-1 systems operating in the sub-1 GHz UHF band are limited by substantial co-channel interference (CCI). In such orthogonal frequency division multiple access (OFDMA) cellular systems, the inter-sector or inter-tower interference (ITI) makes accurate signal recovery quite challenging as sub-1 GHz bands only support single-input single-output (SISO) links. Interference-aware receiver algorithms are essential to mitigate the ITI in such low-frequency bands. Such algorithms enable ubiquitous mobile broadband access over the entire homeland, say with >95% geographical coverage with quality of service guarantees. One element of the interference-aware signal recovery is the least-squares-based joint channel estimation scheme that uses non-orthogonal pilot subcarriers. This estimator is then compared with a variant that uses orthogonal pilot subcarriers to bring out the advantage of this joint estimator. It is shown that the proposed joint estimator requires fewer pilots to be well-determined when compared to its under-determined orthogonal counterpart. Moreover, it is easy to implement and does not require any knowledge of channel statistics. This work also derives a compensation factor needed for the interference-aware detector in the presence of inter-carrier interference (ICI) originating from multiple transmitters. Simulation results show that the proposed joint channel estimator outperforms traditional estimators at moderate to high frequency selectivity. The proposed compensation factor to the joint detector is found to be essential for recovering the transmitted signal in the absence of phase-tracking pilots. △ Less

Submitted 15 November, 2022; v1 submitted 1 August, 2021; originally announced August 2021.

Comments: in IEEE Open Journal of the Communications Society, 2022

Journal ref: IEEE Open Journal of the Communications Society, 2022

Logical Characterization of Coherent Uninterpreted Programs

Authors: Hari Govind V K, Sharon Shoham, Arie Gurfinkel

Abstract: An uninterpreted program (UP) is a program whose semantics is defined over the theory of uninterpreted functions. This is a common abstraction used in equivalence checking, compiler optimization, and program verification. While simple, the model is sufficiently powerful to encode counter automata, and, hence, undecidable. Recently, a class of UP programs, called coherent, has been proposed and sho… ▽ More An uninterpreted program (UP) is a program whose semantics is defined over the theory of uninterpreted functions. This is a common abstraction used in equivalence checking, compiler optimization, and program verification. While simple, the model is sufficiently powerful to encode counter automata, and, hence, undecidable. Recently, a class of UP programs, called coherent, has been proposed and shown to be decidable. We provide an alternative, logical characterization, of this result. Specifically, we show that every coherent program is bisimilar to a finite state system. Moreover, an inductive invariant of a coherent program is representable by a formula whose terms are of depth at most 1. We also show that the original proof, via automata, only applies to programs over unary uninterpreted functions. While this work is purely theoretical, it suggests a novel abstraction that is complete for coherent programs but can be soundly used on arbitrary uninterpreted (and partially interpreted) programs. △ Less

Submitted 25 July, 2021; originally announced July 2021.

Comments: Accepted at FMCAD 2021

A test of constancy of dark matter halo surface density and radial acceleration relation in relaxed galaxy groups

Authors: Gopika K, Shantanu Desai

Abstract: The dark matter halo surface density, given by the product of the dark matter core radius ($r_c$) and core density ($ρ_c$) has been shown to be a constant for a wide range of isolated galaxy systems. Here, we carry out a test of this {\em ansatz} using a sample of 17 relaxed galaxy groups observed using Chandra and XMM-Newton, as an extension of our previous analysis with galaxy clusters. We find… ▽ More The dark matter halo surface density, given by the product of the dark matter core radius ($r_c$) and core density ($ρ_c$) has been shown to be a constant for a wide range of isolated galaxy systems. Here, we carry out a test of this {\em ansatz} using a sample of 17 relaxed galaxy groups observed using Chandra and XMM-Newton, as an extension of our previous analysis with galaxy clusters. We find that $ρ_c \propto r_c^{-1.35^{+0.16}_{-0.17}}$, with an intrinsic scatter of about 27.3%, which is about 1.5 times larger than that seen for galaxy clusters. Our results thereby indicate that the surface density is discrepant with respect to scale invariance by about 2$σ$, and its value is about four times greater than that for galaxies. Therefore, the elevated values of the halo surface density for groups and clusters indicate that the surface density cannot be a universal constant for all dark matter dominated systems. Furthermore, we also implement a test of the radial acceleration relation for this group sample. We find that the residual scatter in the radial acceleration relation is about 0.32 dex and a factor of three larger than that obtained using galaxy clusters. The acceleration scale which we obtain is in-between that seen for galaxies and clusters. △ Less

Submitted 24 August, 2021; v1 submitted 14 June, 2021; originally announced June 2021.

Comments: 11 pages, 8 figures. Accepted in Phys. Dark universe

OpenSerDes: An Open Source Process-Portable All-Digital Serial Link

Authors: Gaurav Kumar K, Baibhab Chatterjee, Shreyas Sen

Abstract: In the last decade, the growing influence of open source software has necessitated the need to reduce the abstraction levels in hardware design. Open source hardware significantly reduces the development time, increasing the probability of first-pass success and enable developers to optimize software solutions based on hardware features, thereby reducing the design costs. The recent introduction o… ▽ More In the last decade, the growing influence of open source software has necessitated the need to reduce the abstraction levels in hardware design. Open source hardware significantly reduces the development time, increasing the probability of first-pass success and enable developers to optimize software solutions based on hardware features, thereby reducing the design costs. The recent introduction of open source Process Development Kit (OpenPDK) by Skywater technologies in June 2020 has eliminated the barriers to Application-Specific Integrated Circuit (ASIC) design, which is otherwise considered expensive and not easily accessible. The OpenPDK is the first concrete step towards achieving the goal of open source circuit blocks that can be imported to reuse and modify in ASIC design. With process technologies scaling down for better performance, the need for entirely digital designs, which can be synthesized in any standard Automatic Place-and-Route (APR) tool, has increased considerably, for map** physical design to the new process technology. This work presents the first open source all-digital Serializer/Deserializer (SerDes) for multi-GHz serial links designed using Skywater OpenPDK 130nm process node. To ensure that the design is fully synthesizable, the SerDes uses CMOS inverter-based drivers at the Tx, while the Rx front end comprises a resistive feedback inverter as a sensing element, followed by sampling elements. A fully digital oversampling CDR at the Rx recovers the Tx clock for proper decoding of data bits. The physical design flow utilizes OpenLANE, which is an end-to-end tool for generating GDS from RTL. Virtuoso has been used for extracting parasitics for post-layout simulations, which exhibit the SerDes functionality at 2 Gbps for 34 dB channel loss while consuming 438 mW power. The GDS and netlist files of the SerDes are uploaded in a GitHub repository for public access. △ Less

Submitted 27 May, 2021; originally announced May 2021.

Comments: 6pages; Accepted and Presented in IEEE/ACM DATE 2021 conference

Raychaudhuri Equation,Geometrical Flows and Geometrical Entropy

Authors: Lawrence Paul Horwitz, Vishnu S Namboothiri, Gautham Varma K, Asher Yahalom, Yossi Strauss, Jacob Levitan

Abstract: Raychaudhuri equation is derived by assuming geometric flow in spacetime M of n+1 dimensions. The equation turns into a harmonic oscillator form under suitable transformations.Thereby a relation between geometrical entropy and mean geodesic deviation is established. This has a connection to chaos theory where the trajectories diverge exponentially. We discuss its application to cosmology and black… ▽ More Raychaudhuri equation is derived by assuming geometric flow in spacetime M of n+1 dimensions. The equation turns into a harmonic oscillator form under suitable transformations.Thereby a relation between geometrical entropy and mean geodesic deviation is established. This has a connection to chaos theory where the trajectories diverge exponentially. We discuss its application to cosmology and black holes. Thus we present a connection between chaos theory and general relativity. △ Less

Submitted 12 April, 2021; originally announced April 2021.

Testing a Prototype 1U CubeSat on a Stratospheric Balloon Flight

Authors: Akaash Srikanth, Bharat Chandra, Binukumar G Nair, Nirmal K, Margarita Safonova, Shanti Prabha, Rekhesh Mohan, Jayant Murthy, Ra**i G. K

Abstract: High-altitude balloon experiments are becoming very popular among universities and research institutes as they can be used for testing instruments eventually intended for space, and for simple astronomical observations of Solar System objects like the Moon, comets, and asteroids, difficult to observe from the ground due to atmosphere. Further, they are one of the best platforms for atmospheric stu… ▽ More High-altitude balloon experiments are becoming very popular among universities and research institutes as they can be used for testing instruments eventually intended for space, and for simple astronomical observations of Solar System objects like the Moon, comets, and asteroids, difficult to observe from the ground due to atmosphere. Further, they are one of the best platforms for atmospheric studies. In this experiment, we build a simple 1U CubeSat and, by flying it on a high-altitude balloon to an altitude of about 30 km, where the total payload weighted 4.9 kg and examine how some parameters, such as magnetic field, humidity, temperature or pressure, vary as a function of altitude. We also calibrate the magnetometer to remove the hard iron and soft iron errors. Such experiments and studies through a stratospheric balloon flights can also be used to study the performance of easily available commercial sensors in extreme conditions as well. We present the results of the first flight, which helped us study the functionality of the various sensors and electronics at low temperatures reaching about -40 degrees Celsius. Further the motion of the payload has been tracked throughout this flight. This experiment took place on 8 March 2020 from the CREST campus of the Indian Institute of Astrophysics, Bangalore. Using the results from this flight, we identify and rectify the errors to obtain better results from the subsequent flights. △ Less

Submitted 9 February, 2021; originally announced February 2021.

Response of a weakly magnetized hot QCD medium to inhomogeneous electric field

Authors: Gowthama K K, Manu Kurian, Vinod Chandra

Abstract: The electric charge transport in a weakly magnetized hot QCD medium has been investigated in the presence of an external inhomogeneous electric field. The current densities (electric and Hall)induced by the inhomogeneous electric field have been estimated in the regime where space-time inhomogeneity of the field is small so that the collisional effect in the medium cannot be neglected. The collisi… ▽ More The electric charge transport in a weakly magnetized hot QCD medium has been investigated in the presence of an external inhomogeneous electric field. The current densities (electric and Hall)induced by the inhomogeneous electric field have been estimated in the regime where space-time inhomogeneity of the field is small so that the collisional effect in the medium cannot be neglected. The collisional aspect of the medium has been captured by employing both relaxation time approximation and Bhatnagar-Gross-Krook collision kernel in the relativistic Boltzmann equation. The magnetic field, momentum anisotropy, and quark chemical potential dependences of the electric current and Hall current densities have been explored, and the impacts on the respective conductivities have been studied. The inhomogeneities of the field are seen to have sizable effects on the electromagnetic responses of the collisional medium. △ Less

Submitted 19 April, 2021; v1 submitted 13 December, 2020; originally announced December 2020.

Comments: 10 pages, 4 figures. Version accepted in Physical Review D

Journal ref: Phys. Rev. D 103, 074017 (2021)

Metal-polymer hybrid chemiresistive sensor for low concentration fast hydrogen detection

Authors: Christina E. Antony, Praveen S. G., Adithya Jayakumar, Gaana K., Akshay Yadav, Nikhil S. Sivakumar, Niranjan Kamath, Suma M. N., Vinayak B. Kamble, D. Jaiswal-Nagar

Abstract: Low concentration hydrogen gas detection is of paramount importance both in space applications as well as medical applications. It is also critically important for safe handling of hydrogen below the explosive limit. Here, we report a novel hybrid Pd metal-polymer chemiresistive sensor that can sense 0.5% hydrogen ($H_2$) gas in ambient conditions of temperature and pressure with the highest repor… ▽ More Low concentration hydrogen gas detection is of paramount importance both in space applications as well as medical applications. It is also critically important for safe handling of hydrogen below the explosive limit. Here, we report a novel hybrid Pd metal-polymer chemiresistive sensor that can sense 0.5% hydrogen ($H_2$) gas in ambient conditions of temperature and pressure with the highest reported sensitivity($\sim$30%) obtained earlier by a physical deposition technique, making it an extremely good sensor for real life low concentration hydrogen gas detection. The sensor is easy to fabricate and is also extremely cost-effective for commercial applications. The obtained hybrid chemiresistive sensor comprises palladium (Pd) nanocrystals bound by oxygen and nitrogen atoms of a stabilizer Polyvinylepyrollidone (PVP), grown on top of a selfassembled monolayer. The exceptional rise time-constant is proposed to arise from hydrogen loading at the (111) surface of the palladium nanocrystal which is a very fast process and subsequent fast diffusion of the H atoms from the surface into the bulk. An effort to increase the number of available sites by UV-ozone cleaning, resulted in a degradation of the sensing device due to the poisoning of the available sites by oxygen. △ Less

Submitted 15 November, 2020; originally announced November 2020.

Scaling relations for dark matter core density and radius from Chandra X-ray cluster sample

Authors: Gopika K., Shantanu Desai

Abstract: A large number of studies have found that the dark matter surface density, given by the product of the dark matter core radius ($r_c$) and core density ($ρ_c$) is approximately constant for a wide range of galaxy systems. However, there has been only one systematic study of this {\it ansatz} for galaxy clusters by Chan (arXiv:1403.4352), who found that the surface density for clusters is not const… ▽ More A large number of studies have found that the dark matter surface density, given by the product of the dark matter core radius ($r_c$) and core density ($ρ_c$) is approximately constant for a wide range of galaxy systems. However, there has been only one systematic study of this {\it ansatz} for galaxy clusters by Chan (arXiv:1403.4352), who found that the surface density for clusters is not constant and $ρ_c \sim r_c^{-1.46}$. We carry out this test for an X-ray sample of 12 relaxed clusters from Chandra observations, implementing the same procedure as Chan, but also accounting for the gas and star mass. We find that $ρ_c \propto r_c^{-1.08 \pm 0.055}$, with an intrinsic scatter of about 18%. Therefore, the dark matter surface density for our cluster data shows deviations from a constant value at only about 1.4$σ$. △ Less

Submitted 12 August, 2020; v1 submitted 22 June, 2020; originally announced June 2020.

Comments: 12 pages, 2 figues

Journal ref: Physics of the Dark Universe 30, 100707 (2020)

A Review of Link Aggregation Control Protocol (LACP) as a Link Redundancy in SDN Based Network Using Ryu-Controller

Authors: Ali Ibnun Nurhadi, Guntur Petrus B. K., Muhammad Firdaus, Raditya Muhammad

Abstract: A reliable network is an absolute requirement for telecommunication networks at this time. This is in line with the growing number of users who need a reliable and uninterrupted connection to the server. Link Aggregation is one of the techniques that can be used to provide a reliable network. Link Aggregation System combines two or more links into one logical link, which is characterized by the us… ▽ More A reliable network is an absolute requirement for telecommunication networks at this time. This is in line with the growing number of users who need a reliable and uninterrupted connection to the server. Link Aggregation is one of the techniques that can be used to provide a reliable network. Link Aggregation System combines two or more links into one logical link, which is characterized by the use of a single IP address. During the communication between host and server, whenever the used link is broken or terminated the other active link can act as redundancy to resume that communication. This mechanism is called link redundancy. This mechanism will not run without the existence of another mechanism that monitors the condition of the links, which is either connected or disconnected. That mechanism is called link monitoring. Link monitoring used in this simulation is the Media Independent Interface (MII). In this simulation, we used Ryu-Controller and mininet Simulator to test the reliability of Link Aggregation-based SDN (Software Defined Network). During the simulation, we analyzed failover performance and how the Link Aggregation distributes the connection across the links for every which comes from a different source. From the simulations, we confirmed that link redundancy, the same data rate for every connection, to some degree, worked as intended. △ Less

Submitted 23 May, 2020; originally announced May 2020.

Global Guidance for Local Generalization in Model Checking

Authors: Hari Govind V K, YuTing Chen, Sharon Shoham, Arie Gurfinkel

Abstract: SMT-based model checkers, especially IC3-style ones, are currently the most effective techniques for verification of infinite state systems. They infer global inductive invariants via local reasoning about a single step of the transition relation of a system, while employing SMT-based procedures, such as interpolation, to mitigate the limitations of local reasoning and allow for better generalizat… ▽ More SMT-based model checkers, especially IC3-style ones, are currently the most effective techniques for verification of infinite state systems. They infer global inductive invariants via local reasoning about a single step of the transition relation of a system, while employing SMT-based procedures, such as interpolation, to mitigate the limitations of local reasoning and allow for better generalization. Unfortunately, these mitigations intertwine model checking with heuristics of the underlying SMT-solver, negatively affecting stability of model checking. In this paper, we propose to tackle the limitations of locality in a systematic manner. We introduce explicit global guidance into the local reasoning performed by IC3-style algorithms. To this end, we extend the SMT-IC3 paradigm with three novel rules, designed to mitigate fundamental sources of failure that stem from locality. We instantiate these rules for the theory of Linear Integer Arithmetic and implement them on top of SPACER solver in Z3. Our empirical results show that GSPACER, SPACER extended with global guidance, is significantly more effective than both SPACER and sole global reasoning, and, furthermore, is insensitive to interpolation. △ Less

Submitted 27 May, 2020; originally announced May 2020.

Comments: Published in CAV 2020

Saha Ionization and Particle production in Rainbow Rindler Metric

Authors: Vishnu S Namboothiri, Gautham Varma K

Abstract: The energy of a particle in the Rainbow Rindler metric is derived using Hamilton's variational principle. Saha Ionization equation and Pair production in Rainbow Rindler metric have been investigated. Saha ionization equation and Pair production in Rainbow Rindler metric depend on corrected acceleration which is energy-dependent. This means energy ($E$) and metric tensor ($g_{μν}(E)$) depends on t… ▽ More The energy of a particle in the Rainbow Rindler metric is derived using Hamilton's variational principle. Saha Ionization equation and Pair production in Rainbow Rindler metric have been investigated. Saha ionization equation and Pair production in Rainbow Rindler metric depend on corrected acceleration which is energy-dependent. This means energy ($E$) and metric tensor ($g_{μν}(E)$) depends on the inertial observer. The physical implications of energy-dependent acceleration, observer-dependent(inertial) energy and metric tensor are discussed. On comparing the above results with that of Rindler metric we get the result obtained by Sanchari De and Somenath Chakarabarthy by applying the correspondence principle. △ Less

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

Comments: 8 pages

Computer Vision-based Accident Detection in Traffic Surveillance

Authors: Earnest Paul Ij**a, Dhananjai Chand, Savyasachi Gupta, Goutham K

Abstract: Computer vision-based accident detection through video surveillance has become a beneficial but daunting task. In this paper, a neoteric framework for detection of road accidents is proposed. The proposed framework capitalizes on Mask R-CNN for accurate object detection followed by an efficient centroid based object tracking algorithm for surveillance footage. The probability of an accident is det… ▽ More Computer vision-based accident detection through video surveillance has become a beneficial but daunting task. In this paper, a neoteric framework for detection of road accidents is proposed. The proposed framework capitalizes on Mask R-CNN for accurate object detection followed by an efficient centroid based object tracking algorithm for surveillance footage. The probability of an accident is determined based on speed and trajectory anomalies in a vehicle after an overlap with other vehicles. The proposed framework provides a robust method to achieve a high Detection Rate and a low False Alarm Rate on general road-traffic CCTV surveillance footage. This framework was evaluated on diverse conditions such as broad daylight, low visibility, rain, hail, and snow using the proposed dataset. This framework was found effective and paves the way to the development of general-purpose vehicular accident detection algorithms in real-time. △ Less

Submitted 22 November, 2019; originally announced November 2019.

Comments: Accepted in 10th ICCCNT 2019

Journal ref: 10th ICCCNT, 2019, pp. 1-6

Equip** SBMs with RBMs: An Explainable Approach for Analysis of Networks with Covariates

Authors: Shubham Gupta, Gururaj K., Ambedkar Dukkipati, Rui M. Castro

Abstract: Networks with node covariates offer two advantages to community detection methods, namely, (i) exploit covariates to improve the quality of communities, and more importantly, (ii) explain the discovered communities by identifying the relative importance of different covariates in them. Recent methods have almost exclusively focused on the first point above. However, the quantitative improvements o… ▽ More Networks with node covariates offer two advantages to community detection methods, namely, (i) exploit covariates to improve the quality of communities, and more importantly, (ii) explain the discovered communities by identifying the relative importance of different covariates in them. Recent methods have almost exclusively focused on the first point above. However, the quantitative improvements offered by them are often due to complex black-box models like deep neural networks at the expense of explainability. Approaches that focus on the second point are either domain-specific or have poor performance in practice. This paper proposes explainable, domain-independent statistical models for networks with node covariates that additionally offer good quantitative performance. Our models combine the strengths of Stochastic Block Models and Restricted Boltzmann Machines to provide interpretable insights about the communities. They support both pure and mixed community memberships. Besides providing explainability, our approach's main strength is that it does not explicitly assume a causal direction between community memberships and node covariates, making it applicable in diverse domains. We derive efficient inference procedures for our models, which can, in some cases, run in linear time in the number of nodes and edges. Experiments on several synthetic and real-world networks demonstrate that our models achieve close to state-of-the-art performance on community detection and link prediction tasks while also providing explanations for the discovered communities. △ Less

Submitted 5 April, 2021; v1 submitted 11 November, 2019; originally announced November 2019.

Interpolating Strong Induction

Authors: Hari Govind V K, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel

Abstract: The principle of strong induction, also known as k-induction is one of the first techniques for unbounded SAT-based Model Checking (SMC). While elegant and simple to apply, properties as such are rarely k-inductive and when they can be strengthened, there is no effective strategy to guess the depth of induction. It has been mostly displaced by techniques that compute inductive strengthenings based… ▽ More The principle of strong induction, also known as k-induction is one of the first techniques for unbounded SAT-based Model Checking (SMC). While elegant and simple to apply, properties as such are rarely k-inductive and when they can be strengthened, there is no effective strategy to guess the depth of induction. It has been mostly displaced by techniques that compute inductive strengthenings based on interpolation and property directed reachability (Pdr). In this paper, we present kAvy, an SMC algorithm that effectively uses k-induction to guide interpolation and Pdr-style inductive generalization. Unlike pure k-induction, kAvy uses Pdr-style generalization to compute and strengthen an inductive trace. Unlike pure Pdr, kAvy uses relative k-induction to construct an inductive invariant. The depth of induction is adjusted dynamically by minimizing a proof of unsatisfiability. We have implemented kAvy within the Avy Model Checker and evaluated it on HWMCC instances. Our results show that kAvy is more effective than both Avy and Pdr, and that using k-induction leads to faster running time and solving more instances. Further, on a class of benchmarks, called shift, kAvy is orders of magnitude faster than Avy, Pdr and k-induction. △ Less

Submitted 4 June, 2019; originally announced June 2019.

Comments: Accepted to CAV 19

Twin Sort Technique

Authors: Veeresh D, Thimmaraju S. N, Ravish G. K

Abstract: The objective behind the Twin Sort technique is to sort the list of unordered data elements efficiently and to allow efficient and simple arrangement of data elements within the data structure with optimization of comparisons and iterations in the sorting method. This sorting technique effectively terminates the iterations when there is no need of comparison if the elements are all sorted in betwe… ▽ More The objective behind the Twin Sort technique is to sort the list of unordered data elements efficiently and to allow efficient and simple arrangement of data elements within the data structure with optimization of comparisons and iterations in the sorting method. This sorting technique effectively terminates the iterations when there is no need of comparison if the elements are all sorted in between the iterations. Unlike Quick sort, Merge sorting technique, this new sorting technique is based on the iterative method of sorting elements within the data structure. So it will be advantageous for optimization of iterations when there is no need for sorting elements. Finally, the Twin Sort technique is more efficient and simple method of arranging elements within a data structure and it is easy to implement when comparing to the other sorting technique. By the introduction of optimization of comparison and iterations, it will never allow the arranging task on the ordered elements. △ Less

Submitted 22 October, 2017; originally announced October 2017.

Comments: core computer algorithm, 3 pages, conference

Journal ref: International Journal of Combined Research & Development October 2014

Modeling and Simulation of the Dynamics of the Quick Return Mechanism: A Bond Graph Approach

Authors: Anand Vaz, Thommen G K

Abstract: This paper applies the multibond graph approach for rigid multibody systems to model the dynamics of general spatial mechanisms. The commonly used quick return mechanism which comprises of revolute as well as prismatic joints has been chosen as a representative example to demonstrate the application of this technique and its resulting advantages. In this work, the links of the quick return mechani… ▽ More This paper applies the multibond graph approach for rigid multibody systems to model the dynamics of general spatial mechanisms. The commonly used quick return mechanism which comprises of revolute as well as prismatic joints has been chosen as a representative example to demonstrate the application of this technique and its resulting advantages. In this work, the links of the quick return mechanism are modeled as rigid bodies. The rigid links are then coupled at the joints based on the nature of constraint. This alternative method of formulation of system dynamics, using Bond Graphs, offers a rich set of features that include pictorial representation of the dynamics of translation and rotation for each link of the mechanism in the inertial frame, representation and handling of constraints at the joints, depiction of causality, obtaining dynamic reaction forces and moments at various locations in the mechanism and so on. Yet another advantage of this approach is that the coding for simulation can be carried out directly from the Bond Graph in an algorithmic manner, without deriving system equations. In this work, the program code for simulation is written in MATLAB. The vector and tensor operations are conveniently represented in MATLAB, resulting in a compact and optimized code. The simulation results are plotted and discussed in detail. △ Less

Submitted 22 May, 2017; originally announced May 2017.

Comments: Document prepared for National Conference on Industrial Problems on Machines and Mechanisms (2010), 8 pages, 19 Figures

Journal ref: Proceedings of 10th National Conference on Industrial Problems on Machines and Mechanisms (IPRoMM 2010), MNIT, Jaipur, Rajasthan, December 17-18,2010, paper No. IPRoMM 2010-34, p. 23-30

A Hot Companion to a Blue Straggler in NGC188 as Revealed by the Ultra-violet Imaging Telescope (UVIT) on ASTROSAT

Authors: Subramaniam Annapurni, Sindhu N., Tandon S. N., Rao N. Kameswara, Postma J., Cot'e Patrick, Hutchings J., Ghosh S. K., George K., Girish V., Mohan R., Murthy J., Sankarasubramanian K., Stalin C. S., Sutaria F., Mondal C., Sahu S.

Abstract: We present early results from the Ultra-Violet Imaging Telescope (UVIT) onboard the ASTROSAT observatory. We report the discovery of a hot companion associated with one of the blue straggler stars (BSSs) in the old open cluster, NGC188. Using fluxes measured in four filters in UVIT's Far-UV (FUV) channel, and two filters in the near-UV (NUV) channel, we have constructed the spectral energy distrib… ▽ More We present early results from the Ultra-Violet Imaging Telescope (UVIT) onboard the ASTROSAT observatory. We report the discovery of a hot companion associated with one of the blue straggler stars (BSSs) in the old open cluster, NGC188. Using fluxes measured in four filters in UVIT's Far-UV (FUV) channel, and two filters in the near-UV (NUV) channel, we have constructed the spectral energy distribution (SED) of the star WOCS-5885, after combining with flux measurements from GALEX, UIT, UVOT, SPITZER, WISE and several ground-based facilities. The resulting SED spans a wavelength range of 0.15~$μ$m to 7.8~$μ$m. This object is found to be one of the brightest FUV sources in the cluster. An analysis of the SED reveals the presence of two components. The cooler component is found to have a temperature of 6,000$\pm$150~K, confirming that it is a BSS. Assuming it to be a main-sequence star, we estimate its mass to be $\sim$ 1.1 - 1.2M$_\odot$. The hotter component, with an estimated temperature of 17,000$\pm$500~K, has a radius of $\sim$ 0.6R$_\odot$ and L $\sim$ 30L$_\odot$. Bigger and more luminous than a white dwarf, yet cooler than a sub-dwarf, we speculate that it is a post-AGB/HB star that has recently transferred its mass to the BSS, which is known to be a rapid rotator. This binary system, which is the first BSS with a post-AGB/HB companion identified in an open cluster, is an ideal laboratory to study the process of BSS formation via mass transfer. △ Less

Submitted 8 December, 2016; originally announced December 2016.

Comments: 6 pages, 3 figures, two tables, To appear in ApJ Letters

HellRank: A Hellinger-based Centrality Measure for Bipartite Social Networks

Authors: Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Elahe Ghalebi K., Radu Grosu, Ali Movaghar

Abstract: Measuring centrality in a social network, especially in bipartite mode, poses several challenges such as requirement of full knowledge of the network topology and lack of properly detection of top-k behavioral representative users. In this paper, to overcome the aforementioned challenging issues, we propose an accurate centrality measure, called HellRank, to identify central nodes in bipartite soc… ▽ More Measuring centrality in a social network, especially in bipartite mode, poses several challenges such as requirement of full knowledge of the network topology and lack of properly detection of top-k behavioral representative users. In this paper, to overcome the aforementioned challenging issues, we propose an accurate centrality measure, called HellRank, to identify central nodes in bipartite social networks. HellRank is based on the Hellinger distance between two nodes on the same side of a bipartite network. We theoretically analyze the impact of the Hellinger distance on a bipartite network and find an upper and lower bounds for this distance. The computation of HellRank centrality measure can be distributed by letting each node uses only local information on its immediate neighbors and therefore do not need a central entity to have full knowledge of the network topological structure. We experimentally evaluate performance of the HellRank measure in correlation with other centrality measures on real-world networks. The results show partial ranking similarity between the HellRank and the other conventional metrics according to the Kendall and Spearman rank correlation coefficient. △ Less

Submitted 17 March, 2017; v1 submitted 5 December, 2016; originally announced December 2016.

Journal ref: Soc. Netw. Anal. Min. (2017) 7: 22

Extracting Implicit Social Relation for Social Recommendation Techniques in User Rating Prediction

Authors: Seyed Mohammad Taheri, Hamidreza Mahyar, Mohammad Firouzi, Elahe Ghalebi K., Radu Grosu, Ali Movaghar

Abstract: Recommendation plays an increasingly important role in our daily lives. Recommender systems automatically suggest items to users that might be interesting for them. Recent studies illustrate that incorporating social trust in Matrix Factorization methods demonstrably improves accuracy of rating prediction. Such approaches mainly use the trust scores explicitly expressed by users. However, it is of… ▽ More Recommendation plays an increasingly important role in our daily lives. Recommender systems automatically suggest items to users that might be interesting for them. Recent studies illustrate that incorporating social trust in Matrix Factorization methods demonstrably improves accuracy of rating prediction. Such approaches mainly use the trust scores explicitly expressed by users. However, it is often challenging to have users provide explicit trust scores of each other. There exist quite a few works, which propose Trust Metrics to compute and predict trust scores between users based on their interactions. In this paper, first we present how social relation can be extracted from users' ratings to items by describing Hellinger distance between users in recommender systems. Then, we propose to incorporate the predicted trust scores into social matrix factorization models. By analyzing social relation extraction from three well-known real-world datasets, which both: trust and recommendation data available, we conclude that using the implicit social relation in social recommendation techniques has almost the same performance compared to the actual trust scores explicitly expressed by users. Hence, we build our method, called Hell-TrustSVD, on top of the state-of-the-art social recommendation technique to incorporate both the extracted implicit social relations and ratings given by users on the prediction of items for an active user. To the best of our knowledge, this is the first work to extend TrustSVD with extracted social trust information. The experimental results support the idea of employing implicit trust into matrix factorization whenever explicit trust is not available, can perform much better than the state-of-the-art approaches in user rating prediction. △ Less

Submitted 17 March, 2017; v1 submitted 5 December, 2016; originally announced December 2016.

Implementation of linear detection techniques to overcome channel effects in MIMO

Authors: Gopika K, M Mathurakani

Abstract: Spatial diversity technique enables improvement in quality and reliability of wireless link. Antenna diversity along with understanding effects of channel on transmitted signal and methods to overcome the channel impairment plays an important role in wireless communication where sharing of channel occurs between users. In this paper single input single output system (SISO) is compared with multipl… ▽ More Spatial diversity technique enables improvement in quality and reliability of wireless link. Antenna diversity along with understanding effects of channel on transmitted signal and methods to overcome the channel impairment plays an important role in wireless communication where sharing of channel occurs between users. In this paper single input single output system (SISO) is compared with multiple input multiple output system (MIMO) in terms of bit error rate performance. Bit error rate performance is also evaluated for MIMO with least squares (LS) and Minimum mean square error (MMSE) linear detection. Further analysis and simulation is done to understand the effect of channel imperfections on BER. △ Less

Submitted 10 May, 2016; originally announced May 2016.

Comments: 10 pages,7 figures, explanation for all figures given