Publications (31)
Scope-Bounded Reachability in Valence Systems
Aneesh K. Shetty, S. Krishna, Georg Zetzsche
Multi-pushdown systems are a standard model for concurrent recursive programs, but they have an undecidable reachability problem. Therefore, there have been several proposals to un…
Augmented Superfield Approach to Gauge-invariant Massive 2-Form Theory
R. Kumar, S. Krishna
We discuss the complete sets of the off-shell nilpotent (i.e. s^2_{(a)b} = 0) and absolutely anticommuting (i.e. s_b s_{ab} + s_{ab} s_b = 0) Becchi-Rouet-Stora-Tyutin (BRST) (s_b)…
A novel observation in the BRST approach to a free spinning relativistic particle
S. Krishna, D. Shukla, R. P. Malik
For the newly proposed coupled (but equivalent) Lagrangians for the supersymmetric (SUSY) system of a one (0 + 1)-dimensional spinning relativistic particle, we derive the Noether…
N= 4 Supersymmetric Quantum Mechanical Model: Novel Symmetries
S. Krishna
We discuss a set of novel discrete symmetry transformations of the N = 4 supersymmetric quantum mechanical model of a charged particle moving on a sphere in the background of Dirac…
Knowledge Compilation for Boolean Functional Synthesis
S. Akshay, Jatin Arora, Supratik Chakraborty +3
Given a Boolean formula F(X,Y), where X is a vector of outputs and Y is a vector of inputs, the Boolean functional synthesis problem requires us to compute a Skolem function vector…
Verifying Sequential Consistency under Bounded Preemptions
R. Govind, S. Krishna, Sanchari Sil +1
Gibbons and Korach studied a fundamental problem in 1997: given an observed sequence of reads and writes of a multi-threaded program, does there exist an interleaving which is sequ…
Planetary Nebulae with Ultra-Violet Imaging Telescope (UVIT): Far Ultra-violet halo around the Bow Tie nebula (NGC 40)
N. Kameswara Rao, F. Sutaria, J. Murthy +3
Context. NGC 40 is a planetary nebula with diffuse X-ray emission, suggesting an interaction of the high speed wind from WC8 central star (CS) with the nebula. It shows strong Civ…
General N = 2 Supersymmetric Quantum Mechanical Model: Supervariable Approach to its Off-Shell Nilpotent Symmetries
S. Krishna, A. Shukla, R. P. Malik
Using the supersymmetric (SUSY) invariant restrictions on the (anti-)chiral supervariables, we derive the off-shell nilpotent symmetries of the general one (0 + 1)-dimensional N =…
Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions
Diego Figueira, S. Krishna, Om Swostik Mishra +1
The problem of checking whether a recursive query can be rewritten as query without recursion is a fundamental reasoning task, known as the boundedness problem. Here we study the b…
Supersymmetrization of horizontality condition: nilpotent symmetries for a free spinning relativistic particle
A. Shukla, S. Krishna, R. P. Malik
We derive the off-shell nilpotent and absolutely anticommuting Becchi-Rouet-Stora-Tyutin (BRST) and anti-BRST symmetry transformations for a supersymmetric system of a free spinnin…
Effective Sextic Superpotential and violation in NMSGUT
Charanjit S. Aulakh, Ram Lal Awasthi, S. Krishna
We list operators of the superpotential of the effective MSSM that emerges from the NMSGUT up to sextic degree. We give illustrative expressions for the coefficients in terms of NM…
A Massive Field-Theoretic Model for Hodge Theory
S. Krishna, R. Kumar, R. P. Malik
Within the framework of Becchi-Rouet-Stora-Tyutin (BRST) formalism, we show that the four -dimensional (4D) massive Abelian 2-form gauge theory (without any interaction with…
Planetary Nebulae with UVIT II: Revelations from FUV vision of Butterfly Nebula NGC 6302
N. Kameswara Rao, O. De Marco, S. Krishna +4
The high excitation planetary nebula, NGC 6302, has been imaged in two far-ultraviolet (FUV) filters, F169M (Sapphire; λ: 1608 à ) and F172M (Silica; λ: 1…
Tests of Dynamical Scaling in 3-D Spinodal Decomposition
S. I. Jury, P. Bladon, S. Krishna +1
We simulate late-stage coarsening of a 3-D symmetric binary fluid. With reduced units l,t (with scales set by viscosity, density and surface tension) our data extends two decades i…
Midinfrared Semiconductor Photonics - A Roadmap
J. R. Meyer, I. Vurgaftman, S. -Q. Yu +56
Semiconductor photonic devices operating in the midwave infrared (mid-IR, which we roughly define here as wavelengths spanning 3 to 14 microns) uniquely address a wide range of cur…
A Free N = 2 Supersymmetric System: Novel Symmetries
S. Krishna, R. P. Malik
We discuss a set of novel discrete symmetries of a free N = 2 supersymmetric (SUSY) quantum mechanical system which is the limiting case of a widely-studied interacting SUSY model…
Oscillations and temporal signalling in cells
G. Tiana, S. Krishna, S. Pigolotti +2
The development of new techniques to quantitatively measure gene expression in cells has shed light on a number of systems that display oscillations in protein concentration. Here…
Nilpotent and absolutely anticommuting symmetries in the Freedman-Townsend model: augmented superfield formalism
A. Shukla, S. Krishna, R. P. Malik
We derive the off-shell nilpotent and absolutely anticommuting Becchi-Rouet-Stora-Tyutin (BRST) and anti-BRST symmetry transformations, corresponding to the (1-form) Yang-Mills (YM…
Augmented Superfield Approach to Nilpotent Symmetries in the Modified Version of 2D Proca Theory
A. Shukla, S. Krishna, R. P. Malik
We derive the complete set of off-shell nilpotent and absolutely anticommuting Becchi-Rouet-Stora-Tyutin (BRST), anti-BRST and (anti-)co-BRST symmetry transformations for all the f…
GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
Soham Chakraborty, S. Krishna, Andreas Pavlogiannis +1
GPU computing is embracing weak memory concurrency for performance improvement. However, compared to CPUs, modern GPUs provide more fine-grained concurrency features such as scopes…
Supervariable approach to nilpotent symmetries of a couple of N = 2 supersymmetric quantum mechanical models
S. Krishna, A. Shukla, R. P. Malik
We derive the on-shell as well as off-shell nilpotent supersymmetric (SUSY) symmetry transformations for the N = 2 SUSY quantum mechanical model of a one (0 + 1)-dimensional (1D) f…
Novel symmetries in an interacting N = 2 supersymmetric quantum mechanical model
S. Krishna, D. Shukla, R. P. Malik
We demonstrate the existence of a set of novel discrete symmetry transformations in the case of an interacting N = 2 supersymmetric quantum mechanical model of a system of an elect…
Containment of Simple Regular Path Queries
Diego Figueira, Adwait Godbole, S. Krishna +3
Testing containment of queries is a fundamental reasoning task in knowledge representation. We study here the containment problem for Conjunctive Regular Path Queries (CRPQs), a na…
Abelian p-Form (p = 1, 2, 3) Gauge Theories as the Field Theoretic Models for the Hodge Theory
R. Kumar, S. Krishna, A. Shukla +1
Taking the simple examples of an Abelian 1-form gauge theory in two (1 + 1)-dimensions, a 2-form gauge theory in four (3 + 1)-dimensions and a 3-form gauge theory in six (5 + 1)-di…
Communicating Timed Processes with Perfect Timed Channels
Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna
We introduce the model of communicating timed automata (CTA) that extends the classical models of finite-state processes communicating through FIFO perfect channels and timed autom…
Comments on the dual-BRST symmetry
S. Krishna, A. Shukla, R. P. Malik
In view of a raging controversy on the topic of dual-Becchi-Rouet-Stora-Tyutin (dual-BRST/co-BRST) and anti-co-BRST symmetry transformations in the context of four (3+1)-dimensiona…
Topologically massive non-Abelian theory: superfield formalism
S. Krishna, A. Shukla, R. P. Malik
We apply the well-established techniques of geometrical superfield approach to Becchi-Rouet-Stora-Tyutin (BRST) formalism in the context of four (3 + 1)-dimensional (4D) dynamical…
Dual-BRST symmetry: 6D Abelian 3-form gauge theory
R. Kumar, S. Krishna, A. Shukla +1
Within the framework of Becchi-Rouet-Stora-Tyutin (BRST) formalism, we demonstrate the existence of the novel off-shell nilpotent (anti-)dual-BRST symmetries in the context of a si…
Synthesis of Computable Regular Functions of Infinite Words
V. Dave, E. Filiot, S. Krishna +1
Regular functions from infinite words to infinite words can be equivalently specified by MSO-transducers, streaming -string transducers as well as deterministic two-way transdu…
N = 2 SUSY symmetries for a moving charged particle under influence of a magnetic field: Supervariable approach
S. Krishna, R. P. Malik
We exploit the supersymmetric invariant restrictions (SUSYIRs) on the supervariables to derive the nilpotent N = 2 SUSY transformations for the supersymmetric quantum mechanical mo…
Complexity of Consistency Testing for the Release-Acquire Semantics
R. Govind, S. Krishna, Sanchari Sil +1
In a seminal work, Gibbons and Korach studied the complexity of deciding whether an observed sequence of reads and writes of a multi-threaded program admits a sequentially consiste…