Showing 1–48 of 48 results for author: Varadarajan, S

A Parallel Ensemble of Metaheuristic Solvers for the Traveling Salesman Problem

Authors: Swetha Varadarajan, Darrell Whitley

Abstract: The travelling salesman problem (TSP) is one of the well-studied NP-hard problems in the literature. The state-of-the art inexact TSP solvers are the Lin-Kernighan-Helsgaun (LKH) heuristic and Edge Assembly crossover (EAX). A recent study suggests that EAX with restart mechanisms perform well on a wide range of TSP instances. However, this study is limited to 2,000 city problems. We study for prob… ▽ More The travelling salesman problem (TSP) is one of the well-studied NP-hard problems in the literature. The state-of-the art inexact TSP solvers are the Lin-Kernighan-Helsgaun (LKH) heuristic and Edge Assembly crossover (EAX). A recent study suggests that EAX with restart mechanisms perform well on a wide range of TSP instances. However, this study is limited to 2,000 city problems. We study for problems ranging from 2,000 to 85,900. We see that the performance of the solver varies with the type of the problem. However, combining these solvers in an ensemble setup, we are able to outperform the individual solver's performance. We see the ensemble setup as an efficient way to make use of the abundance of compute resources. In addition to EAX and LKH, we use several versions of the hybrid of EAX and Mixing Genetic Algorithm (MGA). A hybrid of MGA and EAX is known to solve some hard problems. We see that the ensemble of the hybrid version outperforms the state-of-the-art solvers on problems larger than 10,000 cities. △ Less

Submitted 13 September, 2023; v1 submitted 13 August, 2023; originally announced August 2023.

Comments: Plan not to publish the article

Harish-Chandra highest weight representations of semisimple Lie algebras and Lie groups

Authors: R. Fioresi, V. S. Varadarajan

Abstract: In this expository paper we describe the theory of Harish-Chandra highest weight representations and their explicit geometric realizations. In this expository paper we describe the theory of Harish-Chandra highest weight representations and their explicit geometric realizations. △ Less

Submitted 30 August, 2022; originally announced August 2022.

DesCert: Design for Certification

Authors: Natarajan Shankar, Devesh Bhatt, Michael Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren

Abstract: The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) program is to "automate the evaluation of software assurance evidence to enable certifiers to determine rapidly that system risk is acceptable." As part of this program, the DesCert project focuses on the assurance-driven development of new software. The DesCert team consists of SRI International, Honeywell Research, and the U… ▽ More The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) program is to "automate the evaluation of software assurance evidence to enable certifiers to determine rapidly that system risk is acceptable." As part of this program, the DesCert project focuses on the assurance-driven development of new software. The DesCert team consists of SRI International, Honeywell Research, and the University of Washington. We have adopted a formal, tool-based approach to the construction of software artifacts that are supported by rigorous evidence. The DesCert workflow integrates evidence generation into a design process that goes from requirements capture and analysis to the decomposition of the high-level software requirements into architecture properties and software components with assertional contracts, and on to software that can be analyzed both dynamically and statically. The generated evidence is organized by means of an assurance ontology and integrated into the RACK knowledge base. △ Less

Submitted 28 March, 2022; originally announced March 2022.

Comments: 142 pages, 63 figures

Report number: SRI-CSL-2022-1 MSC Class: 68N30 ACM Class: D.2.1; D.2.2; D.2.3; D.2.4; D.2.10; D.2.11

Semi-supervised Learning for Dense Object Detection in Retail Scenes

Authors: Jaydeep Chauhan, Srikrishna Varadarajan, Muktabh Mayank Srivastava

Abstract: Retail scenes usually contain densely packed high number of objects in each image. Standard object detection techniques use fully supervised training methodology. This is highly costly as annotating a large dense retail object detection dataset involves an order of magnitude more effort compared to standard datasets. Hence, we propose semi-supervised learning to effectively use the large amount of… ▽ More Retail scenes usually contain densely packed high number of objects in each image. Standard object detection techniques use fully supervised training methodology. This is highly costly as annotating a large dense retail object detection dataset involves an order of magnitude more effort compared to standard datasets. Hence, we propose semi-supervised learning to effectively use the large amount of unlabeled data available in the retail domain. We adapt a popular self supervised method called noisy student initially proposed for object classification to the task of dense object detection. We show that using unlabeled data with the noisy student training methodology, we can improve the state of the art on precise detection of objects in densely packed retail scenes. We also show that performance of the model increases as you increase the amount of unlabeled data. △ Less

Submitted 5 July, 2021; originally announced July 2021.

Unitary Harish-Chandra representations of real supergroups

Authors: C. Carmeli, R. Fioresi, V. S. Varadarajan

Abstract: We give conditions for unitarizability of Harish-Chandra super modules for Lie supergroups and superalgebras. We give conditions for unitarizability of Harish-Chandra super modules for Lie supergroups and superalgebras. △ Less

Submitted 30 March, 2021; originally announced March 2021.

MSC Class: 17B10; 17B15; 22D10

Commonsense Visual Sensemaking for Autonomous Driving: On Generalised Neurosymbolic Online Abduction Integrating Vision and Semantics

Authors: Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan

Abstract: We demonstrate the need and potential of systematically integrated vision and semantics solutions for visual sensemaking in the backdrop of autonomous driving. A general neurosymbolic method for online visual sensemaking using answer set programming (ASP) is systematically formalised and fully implemented. The method integrates state of the art in visual computing, and is developed as a modular fr… ▽ More We demonstrate the need and potential of systematically integrated vision and semantics solutions for visual sensemaking in the backdrop of autonomous driving. A general neurosymbolic method for online visual sensemaking using answer set programming (ASP) is systematically formalised and fully implemented. The method integrates state of the art in visual computing, and is developed as a modular framework that is generally usable within hybrid architectures for realtime perception and control. We evaluate and demonstrate with community established benchmarks KITTIMOD, MOT-2017, and MOT-2020. As use-case, we focus on the significance of human-centred visual sensemaking -- e.g., involving semantic representation and explainability, question-answering, commonsense interpolation -- in safety-critical autonomous driving situations. The developed neurosymbolic framework is domain-independent, with the case of autonomous driving designed to serve as an exemplar for online visual sensemaking in diverse cognitive interaction settings in the backdrop of select human-centred AI technology design considerations. Keywords: Cognitive Vision, Deep Semantics, Declarative Spatial Reasoning, Knowledge Representation and Reasoning, Commonsense Reasoning, Visual Abduction, Answer Set Programming, Autonomous Driving, Human-Centred Computing and Design, Standardisation in Driving Technology, Spatial Cognition and AI. △ Less

Submitted 28 December, 2020; originally announced December 2020.

Comments: This is a preprint / review version of an accepted contribution to be published as part of the Artificial Intelligence Journal (AIJ).? The article is an extended version of an IJCAI 2019 publication [74, arXiv:1906.00107]

Benchmark for Generic Product Detection: A Low Data Baseline for Dense Object Detection

Authors: Srikrishna Varadarajan, Sonaal Kant, Muktabh Mayank Srivastava

Abstract: Object detection in densely packed scenes is a new area where standard object detectors fail to train well. Dense object detectors like RetinaNet trained on large and dense datasets show great performance. We train a standard object detector on a small, normally packed dataset with data augmentation techniques. This dataset is 265 times smaller than the standard dataset, in terms of number of anno… ▽ More Object detection in densely packed scenes is a new area where standard object detectors fail to train well. Dense object detectors like RetinaNet trained on large and dense datasets show great performance. We train a standard object detector on a small, normally packed dataset with data augmentation techniques. This dataset is 265 times smaller than the standard dataset, in terms of number of annotations. This low data baseline achieves satisfactory results (mAP=0.56) at standard IoU of 0.5. We also create a varied benchmark for generic SKU product detection by providing full annotations for multiple public datasets. It can be accessed at https://github.com/ParallelDots/generic-sku-detection-benchmark. We hope that this benchmark helps in building robust detectors that perform reliably across different settings in the wild. △ Less

Submitted 8 January, 2020; v1 submitted 19 December, 2019; originally announced December 2019.

Comments: corrected a mistake in evaluation; added more comparisons

Out of Sight But Not Out of Mind: An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving

Authors: Jakob Suchan, Mehul Bhatt, Srikrishna Varadarajan

Abstract: We demonstrate the need and potential of systematically integrated vision and semantics} solutions for visual sensemaking (in the backdrop of autonomous driving). A general method for online visual sensemaking using answer set programming is systematically formalised and fully implemented. The method integrates state of the art in (deep learning based) visual computing, and is developed as a modul… ▽ More We demonstrate the need and potential of systematically integrated vision and semantics} solutions for visual sensemaking (in the backdrop of autonomous driving). A general method for online visual sensemaking using answer set programming is systematically formalised and fully implemented. The method integrates state of the art in (deep learning based) visual computing, and is developed as a modular framework usable within hybrid architectures for perception & control. We evaluate and demo with community established benchmarks KITTIMOD and MOT. As use-case, we focus on the significance of human-centred visual sensemaking ---e.g., semantic representation and explainability, question-answering, commonsense interpolation--- in safety-critical autonomous driving situations. △ Less

Submitted 31 May, 2019; originally announced June 2019.

Comments: IJCAI 2019: the 28th International Joint Conference on Artificial Intelligence (IJCAI) 2019, August 10 - 16, Macao. (Preprint / to appear)

Srishti Dhar Chatterji (1935-2017): In Memoriam

Authors: V. S. Varadarajan, Robert C. Dalang

Abstract: This article discusses the life and work of Professor Srishti Dhar Chatterji, who passed away on September 28, 2017, in Lausanne, Switzerland, most suddenly and unexpectedly, after a very brief illness. Complete bibliographical information is included This article discusses the life and work of Professor Srishti Dhar Chatterji, who passed away on September 28, 2017, in Lausanne, Switzerland, most suddenly and unexpectedly, after a very brief illness. Complete bibliographical information is included △ Less

Submitted 27 September, 2018; originally announced October 2018.

Comments: 31 pages, 3 figures

MSC Class: primary 01A70; secondary 60-03

Multidomain Document Layout Understanding using Few Shot Object Detection

Authors: Pranaydeep Singh, Srikrishna Varadarajan, Ankit Narayan Singh, Muktabh Mayank Srivastava

Abstract: We try to address the problem of document layout understanding using a simple algorithm which generalizes across multiple domains while training on just few examples per domain. We approach this problem via supervised object detection method and propose a methodology to overcome the requirement of large datasets. We use the concept of transfer learning by pre-training our object detector on a simp… ▽ More We try to address the problem of document layout understanding using a simple algorithm which generalizes across multiple domains while training on just few examples per domain. We approach this problem via supervised object detection method and propose a methodology to overcome the requirement of large datasets. We use the concept of transfer learning by pre-training our object detector on a simple artificial (source) dataset and fine-tuning it on a tiny domain specific (target) dataset. We show that this methodology works for multiple domains with training samples as less as 10 documents. We demonstrate the effect of each component of the methodology in the end result and show the superiority of this methodology over simple object detectors. △ Less

Submitted 22 August, 2018; originally announced August 2018.

Weakly Supervised Object Localization on grocery shelves using simple FCN and Synthetic Dataset

Authors: Srikrishna Varadarajan, Muktabh Mayank Srivastava

Abstract: We propose a weakly supervised method using two algorithms to predict object bounding boxes given only an image classification dataset. First algorithm is a simple Fully Convolutional Network (FCN) trained to classify object instances. We use the property of FCN to return a mask for images larger than training images to get a primary output segmentation mask during test time by passing an image py… ▽ More We propose a weakly supervised method using two algorithms to predict object bounding boxes given only an image classification dataset. First algorithm is a simple Fully Convolutional Network (FCN) trained to classify object instances. We use the property of FCN to return a mask for images larger than training images to get a primary output segmentation mask during test time by passing an image pyramid to it. We enhance the FCN output mask into final output bounding boxes by a Convolutional Encoder-Decoder (ConvAE) viz. the second algorithm. ConvAE is trained to localize objects on an artificially generated dataset of output segmentation masks. We demonstrate the effectiveness of this method in localizing objects in grocery shelves where annotating data for object detection is hard due to variety of objects. This method can be extended to any problem domain where collecting images of objects is easy and annotating their coordinates is hard. △ Less

Submitted 9 January, 2019; v1 submitted 19 March, 2018; originally announced March 2018.

Comments: Published at The Indian Conference on Computer Vision, Graphics and Image Processing (ICVGIP) 2018. ( https://cvit.iiit.ac.in/icvgip18/ )

Abstraction, Composition and Contracts: A Sheaf Theoretic Approach

Authors: Alberto Speranzon, David I. Spivak, Srivatsan Varadarajan

Abstract: Complex systems of systems (SoS) are characterized by multiple interconnected subsystems. Typically, each subsystem is designed and analyzed using methodologies and formalisms that are specific to the particular subsystem model of computation considered --- Petri nets, continuous time ODEs, nondeterministic automata, to name a few. When interconnecting subsystems, a designer needs to choose, based… ▽ More Complex systems of systems (SoS) are characterized by multiple interconnected subsystems. Typically, each subsystem is designed and analyzed using methodologies and formalisms that are specific to the particular subsystem model of computation considered --- Petri nets, continuous time ODEs, nondeterministic automata, to name a few. When interconnecting subsystems, a designer needs to choose, based on the specific subsystems models, a common abstraction framework to analyze the composition. In this paper we introduce a new framework for abstraction, composition and analysis of SoS that builds on results and methods developed in sheaf theory, category theory and topos theory. In particular, we will be modeling behaviors of systems using sheaves, leverage category theoretic methods to define wiring diagrams and formalize composition and, by establishing a connection with topos theory, define a formal (intuitionistic/constructive) logic with a sound sheaf semantics △ Less

Submitted 8 February, 2018; originally announced February 2018.

Super Bundles

Authors: C. Carmeli, R. Fioresi, V. S. Varadarajan

Abstract: In this paper we give a brief account of the main aspects of the theory of associated and principal super bundles. As an application, we review the Borel-Weil-Bott Theorem in the super setting, and some results on projective embeddings of homogeneous spaces. In this paper we give a brief account of the main aspects of the theory of associated and principal super bundles. As an application, we review the Borel-Weil-Bott Theorem in the super setting, and some results on projective embeddings of homogeneous spaces. △ Less

Submitted 20 February, 2019; v1 submitted 19 January, 2018; originally announced January 2018.

Comments: arXiv admin note: text overlap with arXiv:1511.01420

Detection of Tooth caries in Bitewing Radiographs using Deep Learning

Authors: Muktabh Mayank Srivastava, Pratyush Kumar, Lalit Pradhan, Srikrishna Varadarajan

Abstract: We develop a Computer Aided Diagnosis (CAD) system, which enhances the performance of dentists in detecting wide range of dental caries. The CAD System achieves this by acting as a second opinion for the dentists with way higher sensitivity on the task of detecting cavities than the dentists themselves. We develop annotated dataset of more than 3000 bitewing radiographs and utilize it for developi… ▽ More We develop a Computer Aided Diagnosis (CAD) system, which enhances the performance of dentists in detecting wide range of dental caries. The CAD System achieves this by acting as a second opinion for the dentists with way higher sensitivity on the task of detecting cavities than the dentists themselves. We develop annotated dataset of more than 3000 bitewing radiographs and utilize it for develo** a system for automated diagnosis of dental caries. Our system consists of a deep fully convolutional neural network (FCNN) consisting 100+ layers, which is trained to mark caries on bitewing radiographs. We have compared the performance of our proposed system with three certified dentists for marking dental caries. We exceed the average performance of the dentists in both recall (sensitivity) and F1-Score (agreement with truth) by a very large margin. Working example of our system is shown in Figure 1. △ Less

Submitted 23 November, 2017; v1 submitted 20 November, 2017; originally announced November 2017.

Comments: Accepted at NIPS 2017 workshop on Machine Learning for Health (NIPS 2017 ML4H)

Anatomical labeling of brain CT scan anomalies using multi-context nearest neighbor relation networks

Authors: Srikrishna Varadarajan, Muktabh Mayank Srivastava, Monika Grewal, Pulkit Kumar

Abstract: This work is an endeavor to develop a deep learning methodology for automated anatomical labeling of a given region of interest (ROI) in brain computed tomography (CT) scans. We combine both local and global context to obtain a representation of the ROI. We then use Relation Networks (RNs) to predict the corresponding anatomy of the ROI based on its relationship score for each class. Further, we p… ▽ More This work is an endeavor to develop a deep learning methodology for automated anatomical labeling of a given region of interest (ROI) in brain computed tomography (CT) scans. We combine both local and global context to obtain a representation of the ROI. We then use Relation Networks (RNs) to predict the corresponding anatomy of the ROI based on its relationship score for each class. Further, we propose a novel strategy employing nearest neighbors approach for training RNs. We train RNs to learn the relationship of the target ROI with the joint representation of its nearest neighbors in each class instead of all data-points in each class. The proposed strategy leads to better training of RNs along with increased performance as compared to training baseline RN network. △ Less

Submitted 22 January, 2018; v1 submitted 25 October, 2017; originally announced October 2017.

Comments: Accepted as a one page abstract at IEEE International Symposium on Biomedical Imaging (ISBI), 2018

RADNET: Radiologist Level Accuracy using Deep Learning for HEMORRHAGE detection in CT Scans

Authors: Monika Grewal, Muktabh Mayank Srivastava, Pulkit Kumar, Srikrishna Varadarajan

Abstract: We describe a deep learning approach for automated brain hemorrhage detection from computed tomography (CT) scans. Our model emulates the procedure followed by radiologists to analyse a 3D CT scan in real-world. Similar to radiologists, the model sifts through 2D cross-sectional slices while paying close attention to potential hemorrhagic regions. Further, the model utilizes 3D context from neighb… ▽ More We describe a deep learning approach for automated brain hemorrhage detection from computed tomography (CT) scans. Our model emulates the procedure followed by radiologists to analyse a 3D CT scan in real-world. Similar to radiologists, the model sifts through 2D cross-sectional slices while paying close attention to potential hemorrhagic regions. Further, the model utilizes 3D context from neighboring slices to improve predictions at each slice and subsequently, aggregates the slice-level predictions to provide diagnosis at CT level. We refer to our proposed approach as Recurrent Attention DenseNet (RADnet) as it employs original DenseNet architecture along with adding the components of attention for slice level predictions and recurrent neural network layer for incorporating 3D context. The real-world performance of RADnet has been benchmarked against independent analysis performed by three senior radiologists for 77 brain CTs. RADnet demonstrates 81.82% hemorrhage prediction accuracy at CT level that is comparable to radiologists. Further, RADnet achieves higher recall than two of the three radiologists, which is remarkable. △ Less

Submitted 3 January, 2018; v1 submitted 13 October, 2017; originally announced October 2017.

Comments: Accepted at IEEE Symposium on Biomedical Imaging (ISBI) 2018 as conference paper

A Greedy Part Assignment Algorithm for Real-time Multi-person 2D Pose Estimation

Authors: Srenivas Varadarajan, Parual Datta, Omesh Tickoo

Abstract: Human pose-estimation in a multi-person image involves detection of various body parts and grou** them into individual person clusters. While the former task is challenging due to mutual occlusions, the combinatorial complexity of the latter task is very high. We propose a greedy part assignment algorithm that exploits the inherent structure of the human body to achieve a lower complexity, compa… ▽ More Human pose-estimation in a multi-person image involves detection of various body parts and grou** them into individual person clusters. While the former task is challenging due to mutual occlusions, the combinatorial complexity of the latter task is very high. We propose a greedy part assignment algorithm that exploits the inherent structure of the human body to achieve a lower complexity, compared to any of the prior published works. This is accomplished by (i) reducing the number of part-candidates using the estimated number of people in the image, (ii) doing a greedy sequential assignment of part-classes, following the kinematic chain from head to ankle (iii) doing a greedy assignment of parts in each part-class set, to person-clusters (iv) limiting the candidate person clusters to the most proximal clusters using human anthropometric data and (v) using only a specific subset of pre-assigned parts for establishing pairwise structural constraints. We show that, these steps result in a sparse body parts relationship graph and reduces the complexity. We also propose methods for improving the accuracy of pose-estimation by (i) spawning person-clusters from any unassigned significant body part and (ii) suppressing hallucinated parts. On the MPII multi-person pose database, pose-estimation using the proposed method takes only 0.14 seconds per image. We show that, our proposed algorithm, by using a large spatial and structural context, achieves the state-of-the-art accuracy on both MPII and WAF multi-person pose datasets, demonstrating the robustness of our approach. △ Less

Submitted 30 August, 2017; originally announced August 2017.

Temperedness of measures defined by polynomial equations over local fields

Authors: David W. Taylor, V. S. Varadarajan, Jukka T. Virtanen, David E. Weisbart

Abstract: We investigate the asymptotic growth of the canonical measures on the fibers of morphisms between vector spaces over local fields of arbitrary characteristic. For non-archimedean local fields we use a version of the Łojasiewicz inequality (\cite{lojasiewicz1959}, \cite{hormander1958division}) which follows from Greenberg \cite{greenberg1966rational}, \cite{bollaerts1990estimate}, together with the… ▽ More We investigate the asymptotic growth of the canonical measures on the fibers of morphisms between vector spaces over local fields of arbitrary characteristic. For non-archimedean local fields we use a version of the Łojasiewicz inequality (\cite{lojasiewicz1959}, \cite{hormander1958division}) which follows from Greenberg \cite{greenberg1966rational}, \cite{bollaerts1990estimate}, together with the theory of the Brauer group of local fields to construct definite forms of arbitrarily high degree, and to transfer questions at infinity to questions near the origin. We then use these to generalize results of H{ö}rmander \cite{hormander1958division} on estimating the growth of polynomials at infinity in terms of the distance to their zero loci. Specifically, when a fiber corresponds to a non-critical value which is stable, i.e. remains non-critical under small perturbations, we show that the canonical measure on the fiber is tempered, which generalizes results of Igusa and Raghavan \cite{igusa1978lectures}, and Virtanen and Weisbart \cite{virtanen2014elementary}. △ Less

Submitted 20 November, 2016; v1 submitted 26 October, 2016; originally announced October 2016.

Comments: Paper read in New Trends in Mathematics and Physics, Conference held in Moscow, Russia, on October 7 2016

Highest weight Harish-Chandra supermodules and their geometric realizations

Authors: C. Carmeli, R. Fioresi, V. S. Varadarajan

Abstract: In this paper we discuss the highest weight $\frak k_r$-finite representations of the pair $(\frak g_r,\frak k_r)$ consisting of $\frak g_r$, a real form of a complex basic Lie superalgebra of classical type $\frak g$ (${\frak g}\neq A(n,n)$), and the maximal compact subalgebra $\frak k_r$ of $\frak g_{r,0}$, together with their geometric global realizations. These representations occur, as in the… ▽ More In this paper we discuss the highest weight $\frak k_r$-finite representations of the pair $(\frak g_r,\frak k_r)$ consisting of $\frak g_r$, a real form of a complex basic Lie superalgebra of classical type $\frak g$ (${\frak g}\neq A(n,n)$), and the maximal compact subalgebra $\frak k_r$ of $\frak g_{r,0}$, together with their geometric global realizations. These representations occur, as in the ordinary setting, in the superspaces of sections of holomorphic super vector bundles on the associated Hermitian superspaces $G_r/K_r$. △ Less

Submitted 14 February, 2020; v1 submitted 4 November, 2015; originally announced November 2015.

Comments: This article contains of part of the material originally posted as arXiv:1503.03828 and arXiv:1511.01420. The rest of the material was posted as arXiv:1801.07181 and will also appear in an enlarged version as subsequent posting

Does normal pupil diameter differences in population underlie the color selection of the #dress?

Authors: Kavita Vemuri, Kulvinder Bisla, SaiKrishna Mulpuru, Srinivasa Varadarajan

Abstract: The fundamental question that arises from the color composition of the #dress is: 'What are the phenomena that underlie the individual differences in colors reported given all other conditions like light and device for display being identical?'. The main color camps are blue/black (b/b) and white/gold (w/g) and a survey of 384 participants showed near equal distribution. We looked at pupil size di… ▽ More The fundamental question that arises from the color composition of the #dress is: 'What are the phenomena that underlie the individual differences in colors reported given all other conditions like light and device for display being identical?'. The main color camps are blue/black (b/b) and white/gold (w/g) and a survey of 384 participants showed near equal distribution. We looked at pupil size differences in the sample population of 53 from the two groups plus a group who switched (w/g to b/b). Our results show that w/g and switch population had significantly ( w/g <b/b, p-value = 0.0086) lower pupil size than b/b camp. A standard infinity focus experiment was then conducted on 18 participants from each group to check if there is bimodality in the population and we again found statistically significant difference (w/g < b/b , p-value = 0.0132). Six participants, half from the w/g camp, were administered dilation drops that increased the pupil size by 3-4mm to check if increase in retinal illuminance will trigger a change in color in the w/g group, but the participants did not report a switch. The results suggest a population difference in normal pupil-size in the three groups. △ Less

Submitted 25 November, 2015; v1 submitted 31 July, 2015; originally announced July 2015.

Comments: 6 pages, 4 figures

Highest weight Harish-Chandra supermodules and their geometric realizations. I. The infinitesimal theory

Authors: C. Carmeli, R. Fioresi, V. S. Varadarajan

Abstract: In this series of papers we want to discuss the highest weight ${\frak k}_r$-finite representations of the pair $({\frak g}_r,{\frak k}_r)$ consisting of ${\frak g}_r$, a real form of a complex basic Lie superalgebra of classical type ${\frak g}$ (${\frak g}\neq A(n,n)$), and the maximal compact subalgebra ${\frak k}_r$ of ${\frak} g_{r,0}$. These representations will be concretely realized thro… ▽ More In this series of papers we want to discuss the highest weight ${\frak k}_r$-finite representations of the pair $({\frak g}_r,{\frak k}_r)$ consisting of ${\frak g}_r$, a real form of a complex basic Lie superalgebra of classical type ${\frak g}$ (${\frak g}\neq A(n,n)$), and the maximal compact subalgebra ${\frak k}_r$ of ${\frak} g_{r,0}$. These representations will be concretely realized through spaces of sections of holomorphic vector bundles on the associated Hermitian superspaces. In this part we shall discuss only the infinitesimal theory of the pair $({\frak g}_r, {\frak k}_r)$. We treat the global theory in subsequent papers of the series. △ Less

Submitted 6 September, 2018; v1 submitted 12 March, 2015; originally announced March 2015.

Comments: The material in this paper appears in the replacement of arXiv:1511.01420

The Robust Digital Image Watermarking using Quantization and Fuzzy Logic Approach in DWT Domain

Authors: Nallagarla Ramamurthy, S. Varadarajan

Abstract: In this paper a novel approach to embed watermark into the host image using quantization with the help of Dynamic Fuzzy Inference System (DFIS) is proposed. The cover image is decomposed up to 3- levels using quantization and Discrete Wavelet Transform (DWT). A bitmap of size 64x64 pixels is embedded into the host image using DFIS rule base. The DFIS is utilized to generate the watermark weighting… ▽ More In this paper a novel approach to embed watermark into the host image using quantization with the help of Dynamic Fuzzy Inference System (DFIS) is proposed. The cover image is decomposed up to 3- levels using quantization and Discrete Wavelet Transform (DWT). A bitmap of size 64x64 pixels is embedded into the host image using DFIS rule base. The DFIS is utilized to generate the watermark weighting function to embed the imperceptible watermark. The implemented watermarking algorithm is imperceptible and robust to some normal attacks such as JPEG Compression, salt&pepper noise, median filtering, rotation and crop**. Keywords: Watermark, Quantization, Dynamic Fuzzy Inference System, Imperceptible, Robust, JPEG Compression, Crop**. △ Less

Submitted 18 February, 2013; originally announced February 2013.

Comments: 7 pages, 11 figures, IJCSN Journal

Report number: IJCSN-2012-1-5-13

Regional Consistency: Programmability and Performance for Non-Cache-Coherent Systems

Authors: Bharath Ramesh, Calvin J. Ribbens, Srinidhi Varadarajan

Abstract: Parallel programmers face the often irreconcilable goals of programmability and performance. HPC systems use distributed memory for scalability, thereby sacrificing the programmability advantages of shared memory programming models. Furthermore, the rapid adoption of heterogeneous architectures, often with non-cache-coherent memory systems, has further increased the challenge of supporting shared… ▽ More Parallel programmers face the often irreconcilable goals of programmability and performance. HPC systems use distributed memory for scalability, thereby sacrificing the programmability advantages of shared memory programming models. Furthermore, the rapid adoption of heterogeneous architectures, often with non-cache-coherent memory systems, has further increased the challenge of supporting shared memory programming models. Our primary objective is to define a memory consistency model that presents the familiar thread-based shared memory programming model, but allows good application performance on non-cache-coherent systems, including distributed memory clusters and accelerator-based systems. We propose regional consistency (RegC), a new consistency model that achieves this objective. Results on up to 256 processors for representative benchmarks demonstrate the potential of RegC in the context of our prototype distributed shared memory system. △ Less

Submitted 18 January, 2013; originally announced January 2013.

Comments: 8 pages, 7 figures, 1 table; as submitted to CCGRID 2013

Structure, classification, and conformal symmetry of elementary particles over non-archimedean space-time

Authors: V. S. Varadarajan, Jukka T. Virtanen

Abstract: It is well known that at distances shorter than Planck length, no length measurements are possible. The Volovich hypothesis asserts that at sub-Planckian distances and times, spacetime itself has a non-Archimedean geometry. We discuss the structure of elementary particles, their classification, and their conformal symmetry under this hypothesis. Specifically, we investigate the projective repres… ▽ More It is well known that at distances shorter than Planck length, no length measurements are possible. The Volovich hypothesis asserts that at sub-Planckian distances and times, spacetime itself has a non-Archimedean geometry. We discuss the structure of elementary particles, their classification, and their conformal symmetry under this hypothesis. Specifically, we investigate the projective representations of the $p$-adic Poincaré and Galilean groups, using a new variant of the Mackey machine for projective unitary representations of semidirect products of locally compact and second countable (lcsc) groups. We construct the conformal spacetime over $p$-adic fields and discuss the imbedding of the $p$-adic Poincaré group into the $p$-adic conformal group. Finally, we show that the massive and so called eventually masssive particles of the Poincaré group do not have conformal symmetry. The whole picture bears a close resemblance to what happens over the field of real numbers, but with some significant variations. △ Less

Submitted 30 January, 2010; originally announced February 2010.

MSC Class: 22E50; 22E70; 20C35; 81R05

Structure, classifcation, and conformal symmetry, of elementary particles over non-archimedean space-time

Authors: V. S. Varadarajan, J. Virtanen

Abstract: It is known that no length or time measurements are possible in sub-Planckian regions of spacetime. The Volovich hypothesis postulates that the micro-geometry of spacetime may therefore be assumed to be non-archimedean. In this letter, the consequences of this hypothesis for the structure, classification, and conformal symmetry of elementary particles, when spacetime is a flat space over a non-a… ▽ More It is known that no length or time measurements are possible in sub-Planckian regions of spacetime. The Volovich hypothesis postulates that the micro-geometry of spacetime may therefore be assumed to be non-archimedean. In this letter, the consequences of this hypothesis for the structure, classification, and conformal symmetry of elementary particles, when spacetime is a flat space over a non-archimedean field such as the $p$-adic numbers, is explored. Both the Poincaré and Galilean groups are treated. The results are based on a new variant of the Mackey machine for projective unitary representations of semidirect product groups which are locally compact and second countable. Conformal spacetime is constructed over $p$-adic fields and the impossibility of conformal symmetry of massive and eventually massive particles is proved. △ Less

Submitted 8 May, 2009; originally announced May 2009.

Journal ref: Lett.Math.Phys.89:171-182,2009

ScALPEL: A Scalable Adaptive Lightweight Performance Evaluation Library for application performance monitoring

Authors: Hari K. Pyla, Bharath Ramesh, Calvin J. Ribbens, Srinidhi Varadarajan

Abstract: As supercomputers continue to grow in scale and capabilities, it is becoming increasingly difficult to isolate processor and system level causes of performance degradation. Over the last several years, a significant number of performance analysis and monitoring tools have been built/proposed. However, these tools suffer from several important shortcomings, particularly in distributed environment… ▽ More As supercomputers continue to grow in scale and capabilities, it is becoming increasingly difficult to isolate processor and system level causes of performance degradation. Over the last several years, a significant number of performance analysis and monitoring tools have been built/proposed. However, these tools suffer from several important shortcomings, particularly in distributed environments. In this paper we present ScALPEL, a Scalable Adaptive Lightweight Performance Evaluation Library for application performance monitoring at the functional level. Our approach provides several distinct advantages. First, ScALPEL is portable across a wide variety of architectures, and its ability to selectively monitor functions presents low run-time overhead, enabling its use for large-scale production applications. Second, it is run-time configurable, enabling both dynamic selection of functions to profile as well as events of interest on a per function basis. Third, our approach is transparent in that it requires no source code modifications. Finally, ScALPEL is implemented as a pluggable unit by reusing existing performance monitoring frameworks such as Perfmon and PAPI and extending them to support both sequential and MPI applications. △ Less

Submitted 27 February, 2009; originally announced March 2009.

Comments: 10 pages, 4 figures, 2 tables

Airy functions over local fields

Authors: Rahul N. Fernandez, V. S. Varadarajan, David Weisbart

Abstract: Airy integrals are very classical but in recent years they have been generalized to higher dimensions and these generalizations have proved to be very useful in studying the topology of the moduli spaces of curves. We study a natural generalization of these integrals when the ground field is a non-archimedean local field such as the field of p-adic numbers. We prove that the p-adic Airy integral… ▽ More Airy integrals are very classical but in recent years they have been generalized to higher dimensions and these generalizations have proved to be very useful in studying the topology of the moduli spaces of curves. We study a natural generalization of these integrals when the ground field is a non-archimedean local field such as the field of p-adic numbers. We prove that the p-adic Airy integrals are locally constant functions of moderate growth and present evidence that the Airy integrals associated to compact p-adic Lie groups also have these properties. △ Less

Submitted 28 February, 2009; v1 submitted 1 January, 2009; originally announced January 2009.

Comments: Minor changes

Airy Functions for Compact Lie Groups

Authors: Rahul N. Fernandez, V. S. Varadarajan

Abstract: The classical Airy function has been generalised by Kontsevich to a function of a matrix argument, which is an integral over the space of (skew) hermitian matrices of a unitary-invariant exponential kernel. In this paper, the Kontsevich integral is generalised to integrals over the Lie algebra of an arbitrary connected compact Lie group, using exponential kernels invariant under the group. The (… ▽ More The classical Airy function has been generalised by Kontsevich to a function of a matrix argument, which is an integral over the space of (skew) hermitian matrices of a unitary-invariant exponential kernel. In this paper, the Kontsevich integral is generalised to integrals over the Lie algebra of an arbitrary connected compact Lie group, using exponential kernels invariant under the group. The (real) polynomial defining this kernel is said to have the Airy property if the integral defines a function of moderate growth. A general sufficient criterion for a polynomial to have the Airy property is given. It is shown that an invariant polynomial on the Lie algebra has the Airy property if its restriction to a Cartan subalgebra has the Airy property. This result is used to evaluate these invariant integrals completely and explicitly on the hermitian matrices, obtaining formulae that contain those of Kontsevich as special cases. △ Less

Submitted 21 July, 2007; originally announced July 2007.

Comments: 32 pages, 1 figure

On the characterization of isotropic Gaussian fields on homogeneous spaces of compact groups

Authors: P. Baldi, D. Marinucci, V. S. Varadarajan

Abstract: Let T be a random field invariant under the action of a compact group G We give conditions ensuring that independence of the random Fourier coefficients is equivalent to Gaussianity. As a consequence, in general it is not possible to simulate a non-Gaussian invariant random field through its Fourier expansion using independent coefficients. Let T be a random field invariant under the action of a compact group G We give conditions ensuring that independence of the random Fourier coefficients is equivalent to Gaussianity. As a consequence, in general it is not possible to simulate a non-Gaussian invariant random field through its Fourier expansion using independent coefficients. △ Less

Submitted 12 April, 2007; originally announced April 2007.

MSC Class: 60B15; 60E05; 43A30

Journal ref: Electronic Communications in Probability, 12, pp.291-302, (2007)

User-level DSM System for Modern High-Performance Interconnection Networks

Authors: Bharath Ramesh, Srinidhi Varadarajan

Abstract: In this paper, we introduce a new user-level DSM system which has the ability to directly interact with underlying interconnection networks. The DSM system provides the application programmer a flexible API to program parallel applications either using shared memory semantics over physically distributed memory or to use an efficient remote memory demand paging technique. We also introduce a new… ▽ More In this paper, we introduce a new user-level DSM system which has the ability to directly interact with underlying interconnection networks. The DSM system provides the application programmer a flexible API to program parallel applications either using shared memory semantics over physically distributed memory or to use an efficient remote memory demand paging technique. We also introduce a new time slice based memory consistency protocol which is used by the DSM system. We present preliminary results from our implementation on a small Opteron Linux cluster interconnected over Myrinet. △ Less

Submitted 22 March, 2007; originally announced March 2007.

Comments: 6 pages, 5 figures

ACM Class: C.2.4; D.1.3; D.4.2

Special geometry for arbitrary signatures

Authors: M. A. Lledo, O. Macia, A. Van Proeyen, V. S. Varadarajan

Abstract: In this paper we generalize special geometry to arbitrary signatures in target space. We formulate the definitions in a precise mathematical setting and give a translation to the coordinate formalism used in physics. For the projective case, we first discuss in detail projective Kaehler manifolds, appearing in N=1 supergravity. We develop a new point of view based on the intrinsic construction o… ▽ More In this paper we generalize special geometry to arbitrary signatures in target space. We formulate the definitions in a precise mathematical setting and give a translation to the coordinate formalism used in physics. For the projective case, we first discuss in detail projective Kaehler manifolds, appearing in N=1 supergravity. We develop a new point of view based on the intrinsic construction of the line bundle. The topological properties are then derived and the Levi-Civita connection in the projective manifold is obtained as a particular projection of a Levi-Civita connection in a `mother' manifold with one extra complex dimension. The origin of this approach is in the superconformal formalism of physics, which is also explained in detail. Finally, we specialize these results to projective special Kaehler manifolds and provide explicit examples with different choices of signature. △ Less

Submitted 12 January, 2010; v1 submitted 19 December, 2006; originally announced December 2006.

Comments: LaTeX, 83 pages; v2: typos corrected, version to be published in Handbook of pseudo-Riemannian Geometry and Supersymmetry, IRMA Lectures in Mathematics and Theoretical Physics

Report number: KUL-TF-06/34, IFIC/06-29, FTUV-06/1216

The Minkowski and conformal superspaces

Authors: R. Fioresi, M. A. Lledo, V. S. Varadarajan

Abstract: We define complex Minkowski superspace in 4 dimensions as the big cell inside a complex flag supermanifold. The complex conformal supergroup acts naturally on this super flag, allowing us to interpret it as the conformal compactification of complex Minkowski superspace. We then consider real Minkowski superspace as a suitable real form of the complex version. Our methods are group theoretic, b… ▽ More We define complex Minkowski superspace in 4 dimensions as the big cell inside a complex flag supermanifold. The complex conformal supergroup acts naturally on this super flag, allowing us to interpret it as the conformal compactification of complex Minkowski superspace. We then consider real Minkowski superspace as a suitable real form of the complex version. Our methods are group theoretic, based on the real conformal supergroup and its Lie superalgebra. △ Less

Submitted 14 June, 2007; v1 submitted 28 September, 2006; originally announced September 2006.

Comments: AMS LaTeX, 44 pages

Report number: IFIC/06-28, FTUV-05/0928

Journal ref: J.Math.Phys.48:113505,2007

Language Support for Optional Functionality

Authors: Joy Mukherjee, Srinidhi Varadarajan

Abstract: We recommend a programming construct - availability check - for programs that need to automatically adjust to presence or absence of segments of code. The idea is to check the existence of a valid definition before a function call is invoked. The syntax is that of a simple 'if' statement. The vision is to enable customization of application functionality through addition or removal of optional c… ▽ More We recommend a programming construct - availability check - for programs that need to automatically adjust to presence or absence of segments of code. The idea is to check the existence of a valid definition before a function call is invoked. The syntax is that of a simple 'if' statement. The vision is to enable customization of application functionality through addition or removal of optional components, but without requiring complete re-building. Focus is on C-like compiled procedural languages and UNIX-based systems. Essentially, our approach attempts to combine the flexibility of dynamic libraries with the usability of utility (dependency) libraries. We outline the benefits over prevalent strategies mainly in terms of development complexity, crudely measured as lesser lines of code. We also allude to performance and flexibility facets. A Preliminary implementation and figures from early experimental evaluation are presented. △ Less

Submitted 5 March, 2006; originally announced March 2006.

Comments: 6 pages, 8 figures

A Model Based Approach to Reachability Routing

Authors: Leland Smith, Muthukumar Thirunavukkarasu, Srinidhi Varadarajan, Naren Ramakrishnan

Abstract: Current directions in network routing research have not kept pace with the latest developments in network architectures, such as peer-to-peer networks, sensor networks, ad-hoc wireless networks, and overlay networks. A common characteristic among all of these new technologies is the presence of highly dynamic network topologies. Currently deployed single-path routing protocols cannot adequately… ▽ More Current directions in network routing research have not kept pace with the latest developments in network architectures, such as peer-to-peer networks, sensor networks, ad-hoc wireless networks, and overlay networks. A common characteristic among all of these new technologies is the presence of highly dynamic network topologies. Currently deployed single-path routing protocols cannot adequately cope with this dynamism, and existing multi-path algorithms make trade-offs which lead to less than optimal performance on these networks. This drives the need for routing protocols designed with the unique characteristics of these networks in mind. In this paper we propose the notion of reachability routing as a solution to the challenges posed by routing on such dynamic networks. In particular, our formulation of reachability routing provides cost-sensitive multi-path forwarding along with loop avoidance within the confines of the Internet Protocol (IP) architecture. This is achieved through the application of reinforcement learning within a probabilistic routing framework. Following an explanation of our design decisions and a description of the algorithm, we provide an evaluation of the performance of the algorithm on a variety of network topologies. The results show consistently superior performance compared to other reinforcement learning based routing algorithms. △ Less

Submitted 14 November, 2005; originally announced November 2005.

Comments: In submission to IEEE Journal on Selected Areas of Communication

ACM Class: C.2.2; I.2.11

Unitary representations of super Lie groups and applications to the classification and multiplet structure of super particles

Authors: C. Carmeli, G. Cassinelli, A. Toigo, V. S. Varadarajan

Abstract: It is well known that the category of super Lie groups (SLG) is equivalent to the category of super Harish-Chandra pairs (SHCP). Using this equivalence, we define the category of unitary representations (UR's) of a super Lie group. We give an extension of the classical inducing construction and Mackey imprimitivity theorem to this setting. We use our results to classify the irreducible unitary r… ▽ More It is well known that the category of super Lie groups (SLG) is equivalent to the category of super Harish-Chandra pairs (SHCP). Using this equivalence, we define the category of unitary representations (UR's) of a super Lie group. We give an extension of the classical inducing construction and Mackey imprimitivity theorem to this setting. We use our results to classify the irreducible unitary representations of semidirect products of super translation groups by classical Lie groups, in particular of the super Poincaré groups in arbitrary dimension. Finally we compare our results with those in the physical literature on the structure and classification of super multiplets. △ Less

Submitted 1 July, 2005; v1 submitted 10 January, 2005; originally announced January 2005.

Comments: 55 pages LaTeX, some corrections added after comments by Prof. Pierre Deligne

Journal ref: Commun.Math.Phys. 263 (2006) 217-258

Models for the irreducible representation of a Heisenberg group

Authors: T. Digernes, V. S. Varadarajan

Abstract: In its most general formulation a quantum kinematical system is described by a Heisenberg group; the "configuration space" in this case corresponds to a maximal isotropic subgroup. We study irreducible models for Heisenberg groups based on compact maximal isotropic subgroups. It is shown that if the Heisenberg group is 2-regular, but the subgroup is not, the "vacuum sector" of the irreducible re… ▽ More In its most general formulation a quantum kinematical system is described by a Heisenberg group; the "configuration space" in this case corresponds to a maximal isotropic subgroup. We study irreducible models for Heisenberg groups based on compact maximal isotropic subgroups. It is shown that if the Heisenberg group is 2-regular, but the subgroup is not, the "vacuum sector" of the irreducible representation exhibits a fermionic structure. This will be the case, for instance, in a quantum mechanical model based on the 2-adic numbers with a suitably chosen isotropic subgroup. The formulation in terms of Heisenberg groups allows a uniform treatment of p-adic quantum systems for all primes p, and includes the possibility of treating adelic systems. △ Less

Submitted 23 September, 2004; v1 submitted 17 September, 2004; originally announced September 2004.

Comments: 14 pages, 1 figure. To be published in "Infinite Dimensional Analysis, Quantum Probability and Related Topics" (IDAQP). Added 2 references

MSC Class: 81R99 (Primary) 20K10; 20K35 (Secondary)

Journal ref: "Infinite Dimensional Analysis, Quantum Probability and Related Topics", Volume 7, no. 4, December 2004, 527-546.

On the deformation quantization of affine algebraic varieties

Authors: R. Fioresi, M. A. Lledo, V. S. Varadarajan

Abstract: We compute an explicit algebraic deformation quantization for an affine Poisson variety described by an ideal in a polynomial ring, and inheriting its Poisson structure from the ambient space. We compute an explicit algebraic deformation quantization for an affine Poisson variety described by an ideal in a polynomial ring, and inheriting its Poisson structure from the ambient space. △ Less

Submitted 9 June, 2004; originally announced June 2004.

Comments: AMS-LaTeX, 20 pages

Report number: IFIC/04-24, FTUV-04/0521

Journal ref: Int.J.Math. 16 (2005) 419-436

Supporting Out-of-turn Interactions in a Multimodal Web Interface

Authors: Atul Shenoy, Naren Ramakrishnan, Manuel A. Perez-Quinones, Srinidhi Varadarajan

Abstract: Multimodal interfaces are becoming increasingly important with the advent of mobile devices, accessibility considerations, and novel software technologies that combine diverse interaction media. This article investigates systems support for web browsing in a multimodal interface. Specifically, we outline the design and implementation of a software framework that integrates hyperlink and speech m… ▽ More Multimodal interfaces are becoming increasingly important with the advent of mobile devices, accessibility considerations, and novel software technologies that combine diverse interaction media. This article investigates systems support for web browsing in a multimodal interface. Specifically, we outline the design and implementation of a software framework that integrates hyperlink and speech modes of interaction. Instead of viewing speech as merely an alternative interaction medium, the framework uses it to support out-of-turn interaction, providing a flexibility of information access not possible with hyperlinks alone. This approach enables the creation of websites that adapt to the needs of users, yet permits the designer fine-grained control over what interactions to support. Design methodology, implementation details, and two case studies are presented. △ Less

Submitted 4 July, 2003; originally announced July 2003.

ACM Class: H.5

Novel Runtime Systems Support for Adaptive Compositional Modeling on the Grid

Authors: Srinidhi Varadarajan, Naren Ramakrishnan

Abstract: Grid infrastructures and computing environments have progressed significantly in the past few years. The vision of truly seamless Grid usage relies on runtime systems support that is cognizant of the operational issues underlying grid computations and, at the same time, is flexible enough to accommodate diverse application scenarios. This paper addresses the twin aspects of Grid infrastructure a… ▽ More Grid infrastructures and computing environments have progressed significantly in the past few years. The vision of truly seamless Grid usage relies on runtime systems support that is cognizant of the operational issues underlying grid computations and, at the same time, is flexible enough to accommodate diverse application scenarios. This paper addresses the twin aspects of Grid infrastructure and application support through a novel combination of two computational technologies: Weaves - a source-language independent parallel runtime compositional framework that operates through reverse-analysis of compiled object files, and runtime recommender systems that aid in dynamic knowledge-based application composition. Domain-specific adaptivity is exploited through a novel compositional system that supports runtime recommendation of code modules and a sophisticated checkpointing and runtime migration solution that can be transparently deployed over Grid infrastructures. A core set of "adaptivity schemas" are provided as templates for adaptive composition of large-scale scientific computations. Implementation issues, motivating application contexts, and preliminary results are described. △ Less

Submitted 20 January, 2003; originally announced January 2003.

ACM Class: D.4.1; I.6

The Weaves Reconfigurable Programming Framework

Authors: Srinidhi Varadarajan

Abstract: This research proposes a language independent intra-process framework for object based composition of unmodified code modules. Intuitively, the two major programming models, threads and processes, can be considered as extremes along a sharing axis. Multiple threads through a process share all global state, whereas instances of a process (or independent processes) share no global state. Weaves pr… ▽ More This research proposes a language independent intra-process framework for object based composition of unmodified code modules. Intuitively, the two major programming models, threads and processes, can be considered as extremes along a sharing axis. Multiple threads through a process share all global state, whereas instances of a process (or independent processes) share no global state. Weaves provide the generalized framework that allows arbitrary (selective) sharing of state between multiple control flows through a process. The Weaves framework supports multiple independent components in a single process, with flexible state sharing and scheduling, all of which is achieved without requiring any modification to existing code bases. Furthermore, the framework allows dynamic instantiation of code modules and control flows through them. In effect, weaves create intra-process modules (similar to objects in OOP) from code written in any language. The Weaves paradigm allows objects to be arbitrarily shared, it is a true superset of both processes as well as threads, with code sharing and fast context switching time similar to threads. Weaves does not require any special support from either the language or application code, practically any code can be weaved. Weaves also include support for fast automatic checkpointing and recovery with no application support. This paper presents the elements of the Weaves framework and results from our implementation that works by reverse-analyzing source-code independent ELF object files. The current implementation has been validated over Sweep3D, a benchmark for 3D discrete ordinates neutron transport [Koch et al., 1992], and a user-level port of the Linux 2.4 family kernel TCP/IP protocol stack. △ Less

Submitted 30 October, 2002; originally announced October 2002.

Comments: To be submitted to ACM TOCS

ACM Class: D.2.11 D.2.12 D.1.3 D.3.2 D.3.4

Reinforcing Reachable Routes

Authors: Srinidhi Varadarajan, Naren Ramakrishnan

Abstract: This paper studies the evaluation of routing algorithms from the perspective of reachability routing, where the goal is to determine all paths between a sender and a receiver. Reachability routing is becoming relevant with the changing dynamics of the Internet and the emergence of low-bandwidth wireless/ad-hoc networks. We make the case for reinforcement learning as the framework of choice to re… ▽ More This paper studies the evaluation of routing algorithms from the perspective of reachability routing, where the goal is to determine all paths between a sender and a receiver. Reachability routing is becoming relevant with the changing dynamics of the Internet and the emergence of low-bandwidth wireless/ad-hoc networks. We make the case for reinforcement learning as the framework of choice to realize reachability routing, within the confines of the current Internet infrastructure. The setting of the reinforcement learning problem offers several advantages, including loop resolution, multi-path forwarding capability, cost-sensitive routing, and minimizing state overhead, while maintaining the incremental spirit of current backbone routing algorithms. We identify research issues in reinforcement learning applied to the reachability routing problem to achieve a fluid and robust backbone routing framework. The paper is targeted toward practitioners seeking to implement a reachability routing algorithm. △ Less

Submitted 20 July, 2002; originally announced July 2002.

ACM Class: C.2.2; I.2.6

Weaves: A Novel Direct Code Execution Interface for Parallel High Performance Scientific Codes

Authors: Srinidhi Varadarajan, Joy Mukherjee, Naren Ramakrishnan

Abstract: Scientific codes are increasingly being used in compositional settings, especially problem solving environments (PSEs). Typical compositional modeling frameworks require significant buy-in, in the form of commitment to a particular style of programming (e.g., distributed object components). While this solution is feasible for newer generations of component-based scientific codes, large legacy co… ▽ More Scientific codes are increasingly being used in compositional settings, especially problem solving environments (PSEs). Typical compositional modeling frameworks require significant buy-in, in the form of commitment to a particular style of programming (e.g., distributed object components). While this solution is feasible for newer generations of component-based scientific codes, large legacy code bases present a veritable software engineering nightmare. We introduce Weaves a novel framework that enables modeling, composition, direct code execution, performance characterization, adaptation, and control of unmodified high performance scientific codes. Weaves is an efficient generalized framework for parallel compositional modeling that is a proper superset of the threads and processes models of programming. In this paper, our focus is on the transparent code execution interface enabled by Weaves. We identify design constraints, their impact on implementation alternatives, configuration scenarios, and present results from a prototype implementation on Intel x86 architectures. △ Less

Submitted 3 May, 2002; originally announced May 2002.

ACM Class: D.4.1; I.6

Spinor Algebras and Extended Superconformal Algebras

Authors: M. A. Lledo, V. S. Varadarajan

Abstract: We consider supersymmetry algebras in arbitrary spacetime dimension and signature. Minimal and maximal superalgebras are given for single and extended supersymmetry. It is seen that the supersymmetric extensions are uniquely determined by the properties of the spinor representation, which depend on the dimension $D$ mod 8 and the signature $|ρ|$ mod 8 of spacetime. We consider supersymmetry algebras in arbitrary spacetime dimension and signature. Minimal and maximal superalgebras are given for single and extended supersymmetry. It is seen that the supersymmetric extensions are uniquely determined by the properties of the spinor representation, which depend on the dimension $D$ mod 8 and the signature $|ρ|$ mod 8 of spacetime. △ Less

Submitted 12 November, 2001; originally announced November 2001.

Comments: Talks presented by the authors at the "Second International Symposium on Quantum Theory and Symmetries", Cracow 2001. LaTeX, 10 pages

Spinor Algebras

Authors: R. D'Auria, S. Ferrara, M. A. Lledó, V. S. Varadarajan

Abstract: We consider supersymmetry algebras in space-times with arbitrary signature and minimal number of spinor generators. The interrelation between super Poincaré and super conformal algebras is elucidated. Minimal super conformal algebras are seen to have as bosonic part a classical semimisimple algebra naturally associated to the spin group. This algebra, the Spin$(s,t)$-algebra, depends both on the… ▽ More We consider supersymmetry algebras in space-times with arbitrary signature and minimal number of spinor generators. The interrelation between super Poincaré and super conformal algebras is elucidated. Minimal super conformal algebras are seen to have as bosonic part a classical semimisimple algebra naturally associated to the spin group. This algebra, the Spin$(s,t)$-algebra, depends both on the dimension and on the signature of space time. We also consider maximal super conformal algebras, which are classified by the orthosymplectic algebras. △ Less

Submitted 21 February, 2001; v1 submitted 16 October, 2000; originally announced October 2000.

Comments: References added, misprints corrected. Version to appear in the Journal of Geometry and Physics

Report number: CERN-TH/2000-260

Journal ref: J.Geom.Phys. 40 (2001) 101-128

On the concept of EPR states and their structure

Authors: Richard Arens, V. S. Varadarajan

Abstract: In this paper the notion of an EPR state for the composite S of two quantum systems S1, S2, relative to S2 and a set O of bounded observables of S2, is introduced in the spirit of classical examples of Einstein-Podolsky-Rosen and Bohm. We restrict ourselves mostly to EPR states of finite norm. The main results are contained in Theorem 3,4,5,6 in section III and imply that if the EPR states of fi… ▽ More In this paper the notion of an EPR state for the composite S of two quantum systems S1, S2, relative to S2 and a set O of bounded observables of S2, is introduced in the spirit of classical examples of Einstein-Podolsky-Rosen and Bohm. We restrict ourselves mostly to EPR states of finite norm. The main results are contained in Theorem 3,4,5,6 in section III and imply that if the EPR states of finite norm relative to (S2, O) exist, then the elements of O have discrete probability distributions and the Von Neuman algebra generated by O is essentially inbeddable inside S1 by an antiunitary map. The EPR states then correspond to the different imbeddings and certain additional parameters, and are explicitely given by formulae which generalize the famous example of Bohm. If O generates all bounded observables, S2 must be of finite dimension and can be imbedded inside S1 by an antiunitary map, and the EPR states relative to S2 are then in canonical bijection with the different imbeddings of S2 inside S1; moreover they are given by formulae which are exactly those of the generalized Bohm states. The notion of EPR states of infinite norm is also explored and it is shown that the original state of Einstein-Podolsky-Rosen can be realized as a renormalized limit of EPR states of finite quantum systems considered by Weyl, Schwinger and many others. Finally, a family of states of infinite norm generalizing the Einstein-Podolsky-Rosen example is explicitly given. △ Less

Submitted 15 October, 1999; v1 submitted 14 October, 1999; originally announced October 1999.

Comments: Plain TeX, 22 pages

Journal ref: Journal of Mathematical Physics, vol. 41, n. 2 (2000) 638.

SU(2) Poisson-Lie T duality

Authors: M. A. Lledo, V. S. V. Varadarajan

Abstract: Poisson-Lie target space duality is a framework where duality transformations are properly defined. In this letter we investigate the pair of sigma models defined by the double SO(3,1) in the Iwasawa decomposition. Poisson-Lie target space duality is a framework where duality transformations are properly defined. In this letter we investigate the pair of sigma models defined by the double SO(3,1) in the Iwasawa decomposition. △ Less

Submitted 26 March, 1998; v1 submitted 20 March, 1998; originally announced March 1998.

Comments: 12 pages, 1 figure

Report number: UCLA/98/TEP/12

Journal ref: Lett.Math.Phys. 45 (1998) 247-257

Remarks on Some Applications of Skorokhod Space in Quantum Mechanics

Authors: V. S. Varadarajan

Abstract: This paper discusses the role of the Skorokhod space and the convergence of probability measures on it in some recent studies of the foundations of quantum mechanics, both in the conventional setting over the real number field and in the more speculative one of nonarchimedean local fields. This paper discusses the role of the Skorokhod space and the convergence of probability measures on it in some recent studies of the foundations of quantum mechanics, both in the conventional setting over the real number field and in the more speculative one of nonarchimedean local fields. △ Less

Submitted 2 April, 1997; originally announced April 1997.

Comments: Plain TeX

Path integrals for a class of p-adic Schr"odinger equations

Authors: V. S. Varadarajan

Abstract: The theme of doing quantum mechanics on all abelian groups goes back to Schwinger and Weyl. If the group is a vector space of finite dimension over a non-archimedean locally compact division ring, it is of interest to examine the structure of dynamical systems defined by Hamiltonians analogous to those encountered over the field of real numbers. In this letter a path integral formula for the ima… ▽ More The theme of doing quantum mechanics on all abelian groups goes back to Schwinger and Weyl. If the group is a vector space of finite dimension over a non-archimedean locally compact division ring, it is of interest to examine the structure of dynamical systems defined by Hamiltonians analogous to those encountered over the field of real numbers. In this letter a path integral formula for the imaginary time propagators of these Hamiltonians is derived. △ Less

Submitted 21 February, 1997; originally announced February 1997.

Comments: TeX; to appear in Lett. Math. Phys. 1997

Journal ref: Lett.Math.Phys. 39 (1997) 97-106