-
The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks
Authors:
Ashwin Prasad Shivarpatna Venkatesh,
Samkutty Sabu,
Amir M. Mir,
Sofia Reis,
Eric Bodden
Abstract:
The application of Large Language Models (LLMs) in software engineering, particularly in static analysis tasks, represents a paradigm shift in the field. In this paper, we investigate the role that current LLMs can play in improving callgraph analysis and type inference for Python programs. Using the PyCG, HeaderGen, and TypeEvalPy micro-benchmarks, we evaluate 26 LLMs, including OpenAI's GPT seri…
▽ More
The application of Large Language Models (LLMs) in software engineering, particularly in static analysis tasks, represents a paradigm shift in the field. In this paper, we investigate the role that current LLMs can play in improving callgraph analysis and type inference for Python programs. Using the PyCG, HeaderGen, and TypeEvalPy micro-benchmarks, we evaluate 26 LLMs, including OpenAI's GPT series and open-source models such as LLaMA. Our study reveals that LLMs show promising results in type inference, demonstrating higher accuracy than traditional methods, yet they exhibit limitations in callgraph analysis. This contrast emphasizes the need for specialized fine-tuning of LLMs to better suit specific static analysis tasks. Our findings provide a foundation for further research towards integrating LLMs for static analysis tasks.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
Dephasing Enabled Fast Charging of Quantum Batteries
Authors:
Rahul Shastri,
Chao Jiang,
Guo-Hua Xu,
B. Prasanna Venkatesh,
Gentaro Watanabe
Abstract:
We propose and analyze a universal method to obtain fast charging of a quantum battery by a driven charger system using controlled, pure dephasing of the charger. While the battery displays coherent underdamped oscillations of energy for weak charger dephasing, the quantum Zeno freezing of the charger energy at high dephasing suppresses the rate of transfer of energy to the battery. Choosing an op…
▽ More
We propose and analyze a universal method to obtain fast charging of a quantum battery by a driven charger system using controlled, pure dephasing of the charger. While the battery displays coherent underdamped oscillations of energy for weak charger dephasing, the quantum Zeno freezing of the charger energy at high dephasing suppresses the rate of transfer of energy to the battery. Choosing an optimum dephasing rate between the regimes leads to a fast charging of the battery. We illustrate our results with the charger and battery modeled by either two-level systems or harmonic oscillators. Apart from the fast charging, the dephasing also renders the charging performance more robust to detuning between the charger, drive, and battery frequencies for the two-level systems case.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Hidden Gems in the Rough: Computational Notebooks as an Uncharted Oasis for IDEs
Authors:
Sergey Titov,
Konstantin Grotov,
Ashwin Prasad S. Venkatesh
Abstract:
In this paper, we outline potential ways for the further development of computational notebooks in Integrated Development Environments (IDEs). We discuss notebooks integration with IDEs, focusing on three main areas: facilitating experimentation, adding collaborative features, and improving code comprehension. We propose that better support of notebooks will not only benefit the notebooks, but als…
▽ More
In this paper, we outline potential ways for the further development of computational notebooks in Integrated Development Environments (IDEs). We discuss notebooks integration with IDEs, focusing on three main areas: facilitating experimentation, adding collaborative features, and improving code comprehension. We propose that better support of notebooks will not only benefit the notebooks, but also enhance IDEs by supporting new development processes native to notebooks. In conclusion, we suggest that adapting IDEs for more experimentation-oriented notebook processes will prepare them for the future of AI-powered programming.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
An Unobtrusive and Lightweight Ear-worn System for Continuous Epileptic Seizure Detection
Authors:
Abdul Aziz,
Nhat Pham,
Neel Vora,
Cody Reynolds,
Jaime Lehnen,
Pooja Venkatesh,
Zhuoran Yao,
Jay Harvey,
Tam Vu,
Kan Ding,
Phuc Nguyen
Abstract:
Epilepsy is one of the most common neurological diseases globally, affecting around 50 million people worldwide. Fortunately, up to 70 percent of people with epilepsy could live seizure-free if properly diagnosed and treated, and a reliable technique to monitor the onset of seizures could improve the quality of life of patients who are constantly facing the fear of random seizure attacks. The scal…
▽ More
Epilepsy is one of the most common neurological diseases globally, affecting around 50 million people worldwide. Fortunately, up to 70 percent of people with epilepsy could live seizure-free if properly diagnosed and treated, and a reliable technique to monitor the onset of seizures could improve the quality of life of patients who are constantly facing the fear of random seizure attacks. The scalp-based EEG test, despite being the gold standard for diagnosing epilepsy, is costly, necessitates hospitalization, demands skilled professionals for operation, and is discomforting for users. In this paper, we propose EarSD, a novel lightweight, unobtrusive, and socially acceptable ear-worn system to detect epileptic seizure onsets by measuring the physiological signals from behind the user's ears. EarSD includes an integrated custom-built sensing, computing, and communication PCB to collect and amplify the signals of interest, remove the noises caused by motion artifacts and environmental impacts, and stream the data wirelessly to the computer or mobile phone nearby, where data are uploaded to the host computer for further processing. We conducted both in-lab and in-hospital experiments with epileptic seizure patients who were hospitalized for seizure studies. The preliminary results confirm that EarSD can detect seizures with up to 95.3 percent accuracy by just using classical machine learning algorithms.
△ Less
Submitted 1 January, 2024;
originally announced January 2024.
-
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
Authors:
Ashwin Prasad Shivarpatna Venkatesh,
Samkutty Sabu,
Jiawei Wang,
Amir M. Mir,
Li Li,
Eric Bodden
Abstract:
In light of the growing interest in type inference research for Python, both researchers and practitioners require a standardized process to assess the performance of various type inference techniques. This paper introduces TypeEvalPy, a comprehensive micro-benchmarking framework for evaluating type inference tools. TypeEvalPy contains 154 code snippets with 845 type annotations across 18 categori…
▽ More
In light of the growing interest in type inference research for Python, both researchers and practitioners require a standardized process to assess the performance of various type inference techniques. This paper introduces TypeEvalPy, a comprehensive micro-benchmarking framework for evaluating type inference tools. TypeEvalPy contains 154 code snippets with 845 type annotations across 18 categories that target various Python features. The framework manages the execution of containerized tools, transforms inferred types into a standardized format, and produces meaningful metrics for assessment. Through our analysis, we compare the performance of six type inference tools, highlighting their strengths and limitations. Our findings provide a foundation for further research and optimization in the domain of Python type inference.
△ Less
Submitted 2 January, 2024; v1 submitted 28 December, 2023;
originally announced December 2023.
-
Controlling Work Output and Coherence in Finite Time Quantum Otto Engines Through Monitoring
Authors:
Rahul Shastri,
B. Prasanna Venkatesh
Abstract:
We examine the role of diagnostic quantum measurements on the work statistics of a finite-time quantum Otto heat engine operated in the steady-state. We consider three pointer-based measurement schemes that differ in the number of system-pointer interactions and pointer measurements. We show that the coherence of the working substance and the work output of the engine can be controlled by tuning t…
▽ More
We examine the role of diagnostic quantum measurements on the work statistics of a finite-time quantum Otto heat engine operated in the steady-state. We consider three pointer-based measurement schemes that differ in the number of system-pointer interactions and pointer measurements. We show that the coherence of the working substance and the work output of the engine can be controlled by tuning the monitoring measurements. Moreover, for a working substance consisting of a two-level system we show that while all three schemes reproduce the predictions of the cycle without any monitoring for the average work in the limit of infinitely weak measurement, only two of the schemes can reproduce the two-point projective measurement results in the limit of strong measurement.
△ Less
Submitted 26 August, 2023;
originally announced August 2023.
-
Gaussian Partial Information Decomposition: Bias Correction and Application to High-dimensional Data
Authors:
Praveen Venkatesh,
Corbett Bennett,
Sam Gale,
Tamina K. Ramirez,
Greggory Heller,
Severine Durand,
Shawn Olsen,
Stefan Mihalas
Abstract:
Recent advances in neuroscientific experimental techniques have enabled us to simultaneously record the activity of thousands of neurons across multiple brain regions. This has led to a growing need for computational tools capable of analyzing how task-relevant information is represented and communicated between several brain regions. Partial information decompositions (PIDs) have emerged as one s…
▽ More
Recent advances in neuroscientific experimental techniques have enabled us to simultaneously record the activity of thousands of neurons across multiple brain regions. This has led to a growing need for computational tools capable of analyzing how task-relevant information is represented and communicated between several brain regions. Partial information decompositions (PIDs) have emerged as one such tool, quantifying how much unique, redundant and synergistic information two or more brain regions carry about a task-relevant message. However, computing PIDs is computationally challenging in practice, and statistical issues such as the bias and variance of estimates remain largely unexplored. In this paper, we propose a new method for efficiently computing and estimating a PID definition on multivariate Gaussian distributions. We show empirically that our method satisfies an intuitive additivity property, and recovers the ground truth in a battery of canonical examples, even at high dimensionality. We also propose and evaluate, for the first time, a method to correct the bias in PID estimates at finite sample sizes. Finally, we demonstrate that our Gaussian PID effectively characterizes inter-areal interactions in the mouse brain, revealing higher redundancy between visual areas when a stimulus is behaviorally relevant.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
Capturing and Interpreting Unique Information
Authors:
Praveen Venkatesh,
Keerthana Gurushankar,
Gabriel Schamberg
Abstract:
Partial information decompositions (PIDs), which quantify information interactions between three or more variables in terms of uniqueness, redundancy and synergy, are gaining traction in many application domains. However, our understanding of the operational interpretations of PIDs is still incomplete for many popular PID definitions. In this paper, we discuss the operational interpretations of un…
▽ More
Partial information decompositions (PIDs), which quantify information interactions between three or more variables in terms of uniqueness, redundancy and synergy, are gaining traction in many application domains. However, our understanding of the operational interpretations of PIDs is still incomplete for many popular PID definitions. In this paper, we discuss the operational interpretations of unique information through the lens of two well-known PID definitions. We reexamine an interpretation from statistical decision theory showing how unique information upper bounds the risk in a decision problem. We then explore a new connection between the two PIDs, which allows us to develop an informal but appealing interpretation, and generalize the PID definitions using a common Lagrangian formulation. Finally, we provide a new PID definition that is able to capture the information that is unique. We also show that it has a straightforward interpretation and examine its properties.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
Static Analysis Driven Enhancements for Comprehension in Machine Learning Notebooks
Authors:
Ashwin Prasad Shivarpatna Venkatesh,
Samkutty Sabu,
Mouli Chekkapalli,
Jiawei Wang,
Li Li,
Eric Bodden
Abstract:
Jupyter notebooks enable developers to interleave code snippets with rich-text and in-line visualizations. Data scientists use Jupyter notebook as the de-facto standard for creating and sharing machine-learning based solutions, primarily written in Python. Recent studies have demonstrated, however, that a large portion of Jupyter notebooks available on public platforms are undocumented and lacks a…
▽ More
Jupyter notebooks enable developers to interleave code snippets with rich-text and in-line visualizations. Data scientists use Jupyter notebook as the de-facto standard for creating and sharing machine-learning based solutions, primarily written in Python. Recent studies have demonstrated, however, that a large portion of Jupyter notebooks available on public platforms are undocumented and lacks a narrative structure. This reduces the readability of these notebooks. To address this shortcoming, this paper presents HeaderGen, a novel tool-based approach that automatically annotates code cells with categorical markdown headers based on a taxonomy of ML operations, and classifies and displays function calls according to this taxonomy. For this functionality to be realized, HeaderGen enhances an existing call graph analysis in PyCG. To improve precision, HeaderGen extends PyCG's analysis with support for handling external library code and flow-sensitivity. The former is realized by facilitating the resolution of function return-types. The evaluation on 15 real-world Jupyter notebooks from Kaggle shows that HeaderGen's underlying call graph analysis yields high accuracy (95.6% precision and 95.3% recall). This is because HeaderGen can resolve return-types of external libraries where existing type inference tools such as pytype (by Google), pyright (by Microsoft), and Jedi fall short. The header generation has a precision of 85.7% and a recall rate of 92.8%. In a user study, HeaderGen helps participants finish comprehension and navigation tasks faster. To further evaluate the type inference capability of tools, we introduce TypeEvalPy, a framework for evaluating type inference tools with a micro-benchmark containing 154 code snippets and 845 type annotations. Our comparative analysis on four tools revealed that HeaderGen outperforms other tools in exact matches with the ground truth.
△ Less
Submitted 11 June, 2024; v1 submitted 11 January, 2023;
originally announced January 2023.
-
Robust and Explainable Identification of Logical Fallacies in Natural Language Arguments
Authors:
Zhivar Sourati,
Vishnu Priya Prasanna Venkatesh,
Darshan Deshpande,
Himanshu Rawlani,
Filip Ilievski,
Hông-Ân Sandlin,
Alain Mermoud
Abstract:
The spread of misinformation, propaganda, and flawed argumentation has been amplified in the Internet era. Given the volume of data and the subtlety of identifying violations of argumentation norms, supporting information analytics tasks, like content moderation, with trustworthy methods that can identify logical fallacies is essential. In this paper, we formalize prior theoretical work on logical…
▽ More
The spread of misinformation, propaganda, and flawed argumentation has been amplified in the Internet era. Given the volume of data and the subtlety of identifying violations of argumentation norms, supporting information analytics tasks, like content moderation, with trustworthy methods that can identify logical fallacies is essential. In this paper, we formalize prior theoretical work on logical fallacies into a comprehensive three-stage evaluation framework of detection, coarse-grained, and fine-grained classification. We adapt existing evaluation datasets for each stage of the evaluation. We employ three families of robust and explainable methods based on prototype reasoning, instance-based reasoning, and knowledge injection. The methods combine language models with background knowledge and explainable mechanisms. Moreover, we address data sparsity with strategies for data augmentation and curriculum learning. Our three-stage framework natively consolidates prior datasets and methods from existing tasks, like propaganda detection, serving as an overarching evaluation testbed. We extensively evaluate these methods on our datasets, focusing on their robustness and explainability. Our results provide insight into the strengths and weaknesses of the methods on different components and fallacy classes, indicating that fallacy identification is a challenging task that may require specialized forms of reasoning to capture various classes. We share our open-source code and data on GitHub to support further work on logical fallacy identification.
△ Less
Submitted 25 September, 2023; v1 submitted 12 December, 2022;
originally announced December 2022.
-
Extracting Unique Information Through Markov Relations
Authors:
Keerthana Gurushankar,
Praveen Venkatesh,
Pulkit Grover
Abstract:
We propose two new measures for extracting the unique information in $X$ and not $Y$ about a message $M$, when $X, Y$ and $M$ are joint random variables with a given joint distribution. We take a Markov based approach, motivated by questions in fair machine learning, and inspired by similar Markov-based optimization problems that have been used in the Information Bottleneck and Common Information…
▽ More
We propose two new measures for extracting the unique information in $X$ and not $Y$ about a message $M$, when $X, Y$ and $M$ are joint random variables with a given joint distribution. We take a Markov based approach, motivated by questions in fair machine learning, and inspired by similar Markov-based optimization problems that have been used in the Information Bottleneck and Common Information frameworks. We obtain a complete characterization of our definitions in the Gaussian case (namely, when $X, Y$ and $M$ are jointly Gaussian), under the assumption of Gaussian optimality. We also examine the consistency of our definitions with the partial information decomposition (PID) framework, and show that these Markov based definitions achieve non-negativity, but not symmetry, within the PID framework.
△ Less
Submitted 26 October, 2022;
originally announced October 2022.
-
Study of bounds on non-equilibrium fluctuations for asymmetrically driven quantum Otto engine
Authors:
Sandipan Mohanta,
Madhumita Saha,
B. Prasanna Venkatesh,
Bijay Kumar Agarwalla
Abstract:
For a four-stroke asymmetrically driven quantum Otto engine with working medium modeled by a single qubit, we study the bounds on non-equilibrium fluctuations of work and heat. We find strict relations between the fluctuations of work and individual heat for hot and cold reservoirs in arbitrary operational regimes. Focusing on the engine regime, we show that the ratio of non-equilibrium fluctuatio…
▽ More
For a four-stroke asymmetrically driven quantum Otto engine with working medium modeled by a single qubit, we study the bounds on non-equilibrium fluctuations of work and heat. We find strict relations between the fluctuations of work and individual heat for hot and cold reservoirs in arbitrary operational regimes. Focusing on the engine regime, we show that the ratio of non-equilibrium fluctuations of output work to input heat from the hot reservoir is both upper and lower bounded. As a consequence, we establish hierarchical relation between the relative fluctuations of work and heat for both cold and hot reservoirs and further make a connection with the thermodynamic uncertainty relations. We discuss the fate of these bounds also in the refrigerator regime. The reported bounds, for such asymmetrically driven engines, emerge once both the time-forward and the corresponding reversed cycles of the engine are considered on an equal footing. We also extend our study and report bounds for a parametrically driven harmonic oscillator Otto engine.
△ Less
Submitted 23 June, 2023; v1 submitted 11 August, 2022;
originally announced August 2022.
-
Crystalline Phases of Laser-Driven Dipolar Bose-Einstein Condensates
Authors:
Chinmayee Mishra,
Stefan Ostermann,
Farokh Mivehvar,
B. Prasanna Venkatesh
Abstract:
Although crystallization is a ubiquitous phenomenon in nature, crystal formation and melting still remain fascinating processes with several open questions yet to be addressed. In this work, we study the emergent crystallization of a laser-driven dipolar Bose-Einstein condensate due to the interplay between long-range magnetic and effectively infinite-range light-induced interactions. The competit…
▽ More
Although crystallization is a ubiquitous phenomenon in nature, crystal formation and melting still remain fascinating processes with several open questions yet to be addressed. In this work, we study the emergent crystallization of a laser-driven dipolar Bose-Einstein condensate due to the interplay between long-range magnetic and effectively infinite-range light-induced interactions. The competition between these two interactions results in a collective excitation spectrum with two roton minima that introduce two different length scales at which crystalline order can emerge. In addition to the formation of regular crystals with simple periodic patterns due to the softening of one of the rotons, we find that both rotons can also soften simultaneously, resulting in the formation of exotic, complex periodic or aperiodic density patterns. We also demonstrate dynamic state-preparation schemes for achieving all the found crystalline ground states for experimentally relevant and feasible parameter regimes
△ Less
Submitted 8 March, 2023; v1 submitted 4 July, 2022;
originally announced July 2022.
-
Quantifying Feature Contributions to Overall Disparity Using Information Theory
Authors:
Sanghamitra Dutta,
Praveen Venkatesh,
Pulkit Grover
Abstract:
When a machine-learning algorithm makes biased decisions, it can be helpful to understand the sources of disparity to explain why the bias exists. Towards this, we examine the problem of quantifying the contribution of each individual feature to the observed disparity. If we have access to the decision-making model, one potential approach (inspired from intervention-based approaches in explainabil…
▽ More
When a machine-learning algorithm makes biased decisions, it can be helpful to understand the sources of disparity to explain why the bias exists. Towards this, we examine the problem of quantifying the contribution of each individual feature to the observed disparity. If we have access to the decision-making model, one potential approach (inspired from intervention-based approaches in explainability literature) is to vary each individual feature (while kee** the others fixed) and use the resulting change in disparity to quantify its contribution. However, we may not have access to the model or be able to test/audit its outputs for individually varying features. Furthermore, the decision may not always be a deterministic function of the input features (e.g., with human-in-the-loop). For these situations, we might need to explain contributions using purely distributional (i.e., observational) techniques, rather than interventional. We ask the question: what is the "potential" contribution of each individual feature to the observed disparity in the decisions when the exact decision-making mechanism is not accessible? We first provide canonical examples (thought experiments) that help illustrate the difference between distributional and interventional approaches to explaining contributions, and when either is better suited. When unable to intervene on the inputs, we quantify the "redundant" statistical dependency about the protected attribute that is present in both the final decision and an individual feature, by leveraging a body of work in information theory called Partial Information Decomposition. We also perform a simple case study to show how this technique could be applied to quantify contributions.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
-
Optimization of Asymmetric Quantum Otto Engine Cycles
Authors:
Rahul Shastri,
B. Prasanna Venkatesh
Abstract:
We consider the optimization of the work output and fluctuations of a finite-time quantum Otto heat engine cycle consisting of compression and expansion work strokes of unequal duration. The asymmetry of the cycle is characterized by a parameter $r_u$ giving the ratio of the times for the compression and expansion work strokes. For such an asymmetric quantum Otto engine cycle, with working substan…
▽ More
We consider the optimization of the work output and fluctuations of a finite-time quantum Otto heat engine cycle consisting of compression and expansion work strokes of unequal duration. The asymmetry of the cycle is characterized by a parameter $r_u$ giving the ratio of the times for the compression and expansion work strokes. For such an asymmetric quantum Otto engine cycle, with working substance chosen as a harmonic oscillator or a two-level system, we find that the optimal values of $r_u$ maximising the work output and the reliability (defined as the ratio of average work output to its standard deviation) shows discontinuities as a function of the total time taken for the cycle. Moreover we identify cycles of some specific duration where both the work output and the reliability take their largest values for the same value of the asymmetry parameter $r_u$.
△ Less
Submitted 10 April, 2022;
originally announced April 2022.
-
Quantum transport in quasi-periodic lattice systems in presence of Büttiker probes
Authors:
Madhumita Saha,
B. Prasanna Venkatesh,
Bijay Kumar Agarwalla
Abstract:
Quasi-periodic lattice systems offer diverse transport properties. In this work, we investigate the environment induced effects on transport properties for quasi-periodic systems, namely the one-dimensional Aubry-André-Harper (AAH) lattice chain and its generalized version (GAAH) by considering the Büttiker probe approach. We first consider voltage probe situation and study the electrical conducta…
▽ More
Quasi-periodic lattice systems offer diverse transport properties. In this work, we investigate the environment induced effects on transport properties for quasi-periodic systems, namely the one-dimensional Aubry-André-Harper (AAH) lattice chain and its generalized version (GAAH) by considering the Büttiker probe approach. We first consider voltage probe situation and study the electrical conductance properties in the linear response regime. At zero temperature, we observe enhancement in conductance at all the no-transport regimes, located both inside and outside of the band of the original system, for small probe coupling strength $γ$ with a power-law scaling $γ^4$. Whereas, for large probe coupling strengths, the conductance at all Fermi energies is the same and decays as a power-law with scaling $1/γ^4$. This particular scaling survives even in the finite-temperature limit. Interestingly, this scaling result is different from the one recently predicted following the local Lindblad master equation approach. The transport eventually becomes diffusive for all energy ranges and in all regimes of the original model for a sufficiently strong coupling with the probes. We further extend our study and consider voltage-temperature probes to analyze the thermoelectric performance of the chain in terms of the figure of merit. We also demonstrate the validity of two recently obtained bounds on thermoelectric efficiency that are tighter than the seminal Carnot bound and express the same in terms of the Onsager's transport coefficients.
△ Less
Submitted 4 April, 2022; v1 submitted 28 February, 2022;
originally announced February 2022.
-
Two-stroke Quantum Measurement Heat Engine
Authors:
M. Sahnawaz Alam,
B. Prasanna Venkatesh
Abstract:
We propose and analyze the theoretical model for a two-stroke quantum heat engine with one of the heat baths replaced by a non-selective quantum measurement. We show that the engine's invariant reference state depends on whether the cycle is monitored or unmonitored via diagnostic measurements to determine the engine's work output. We explore in detail the average work output and fluctuations of t…
▽ More
We propose and analyze the theoretical model for a two-stroke quantum heat engine with one of the heat baths replaced by a non-selective quantum measurement. We show that the engine's invariant reference state depends on whether the cycle is monitored or unmonitored via diagnostic measurements to determine the engine's work output. We explore in detail the average work output and fluctuations of the proposed heat engine for the monitored and unmonitored cases. We also identify unitary work strokes for which the invariant states can support coherences in the energy basis leading to differing predictions for the average energy change during the unitary work strokes and the average work from the standard two-projective measurement approach.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
-
Fast and Real-time End to End Control in Autonomous Racing Cars Through Representation Learning
Authors:
Praveen Venkatesh,
Rwik Rana,
Harish PM
Abstract:
The challenges presented in an autonomous racing situation are distinct from those faced in regular autonomous driving and require faster end-to-end algorithms and consideration of a longer horizon in determining optimal current actions kee** in mind upcoming maneuvers and situations. In this paper, we propose an end-to-end method for autonomous racing that takes in as inputs video information f…
▽ More
The challenges presented in an autonomous racing situation are distinct from those faced in regular autonomous driving and require faster end-to-end algorithms and consideration of a longer horizon in determining optimal current actions kee** in mind upcoming maneuvers and situations. In this paper, we propose an end-to-end method for autonomous racing that takes in as inputs video information from an onboard camera and determines final steering and throttle control actions. We use the following split to construct such a method (1) learning a low dimensional representation of the scene, (2) pre-generating the optimal trajectory for the given scene, and (3) tracking the predicted trajectory using a classical control method. In learning a low-dimensional representation of the scene, we use intermediate representations with a novel unsupervised trajectory planner to generate expert trajectories, and hence utilize them to directly predict race lines from a given front-facing input image. Thus, the proposed algorithm employs the best of two worlds - the robustness of learning-based approaches to perception and the accuracy of optimization-based approaches for trajectory generation in an end-to-end learning-based framework. We deploy and demonstrate our framework on CARLA, a photorealistic simulator for testing self-driving cars in realistic environments.
△ Less
Submitted 30 November, 2021;
originally announced November 2021.
-
Learning by Cheating : An End-to-End Zero Shot Framework for Autonomous Drone Navigation
Authors:
Praveen Venkatesh,
Viraj Shah,
Vrutik Shah,
Yash Kamble,
Joycee Mekie
Abstract:
This paper proposes a novel framework for autonomous drone navigation through a cluttered environment. Control policies are learnt in a low-level environment during training and are applied to a complex environment during inference. The controller learnt in the training environment is tricked into believing that the robot is still in the training environment when it is actually navigating in a mor…
▽ More
This paper proposes a novel framework for autonomous drone navigation through a cluttered environment. Control policies are learnt in a low-level environment during training and are applied to a complex environment during inference. The controller learnt in the training environment is tricked into believing that the robot is still in the training environment when it is actually navigating in a more complex environment. The framework presented in this paper can be adapted to reuse simple policies in more complex tasks. We also show that the framework can be used as an interpretation tool for reinforcement learning algorithms.
△ Less
Submitted 11 November, 2021;
originally announced November 2021.
-
Can Information Flows Suggest Targets for Interventions in Neural Circuits?
Authors:
Praveen Venkatesh,
Sanghamitra Dutta,
Neil Mehta,
Pulkit Grover
Abstract:
Motivated by neuroscientific and clinical applications, we empirically examine whether observational measures of information flow can suggest interventions. We do so by performing experiments on artificial neural networks in the context of fairness in machine learning, where the goal is to induce fairness in the system through interventions. Using our recently developed $M$-information flow framew…
▽ More
Motivated by neuroscientific and clinical applications, we empirically examine whether observational measures of information flow can suggest interventions. We do so by performing experiments on artificial neural networks in the context of fairness in machine learning, where the goal is to induce fairness in the system through interventions. Using our recently developed $M$-information flow framework, we measure the flow of information about the true label (responsible for accuracy, and hence desirable), and separately, the flow of information about a protected attribute (responsible for bias, and hence undesirable) on the edges of a trained neural network. We then compare the flow magnitudes against the effect of intervening on those edges by pruning. We show that pruning edges that carry larger information flows about the protected attribute reduces bias at the output to a greater extent. This demonstrates that $M$-information flow can meaningfully suggest targets for interventions, answering the title's question in the affirmative. We also evaluate bias-accuracy tradeoffs for different intervention strategies, to analyze how one might use estimates of desirable and undesirable information flows (here, accuracy and bias flows) to inform interventions that preserve the former while reducing the latter.
△ Less
Submitted 9 November, 2021;
originally announced November 2021.
-
Interpretable Directed Diversity: Leveraging Model Explanations for Iterative Crowd Ideation
Authors:
Yunlong Wang,
Priyadarshini Venkatesh,
Brian Y. Lim
Abstract:
Feedback in creativity support tools can help crowdworkers to improve their ideations. However, current feedback methods require human assessment from facilitators or peers. This is not scalable to large crowds. We propose Interpretable Directed Diversity to automatically predict ideation quality and diversity scores, and provide AI explanations - Attribution, Contrastive Attribution, and Counterf…
▽ More
Feedback in creativity support tools can help crowdworkers to improve their ideations. However, current feedback methods require human assessment from facilitators or peers. This is not scalable to large crowds. We propose Interpretable Directed Diversity to automatically predict ideation quality and diversity scores, and provide AI explanations - Attribution, Contrastive Attribution, and Counterfactual Suggestions - to feedback on why ideations were scored (low), and how to get higher scores. These explanations provide multi-faceted feedback as users iteratively improve their ideations. We conducted formative and controlled user studies to understand the usage and usefulness of explanations to improve ideation diversity and quality. Users appreciated that explanation feedback helped focus their efforts and provided directions for improvement. This resulted in explanations improving diversity compared to no feedback or feedback with scores only. Hence, our approach opens opportunities for explainable AI towards scalable and rich feedback for iterative crowd ideation and creativity support tools.
△ Less
Submitted 28 March, 2022; v1 submitted 21 September, 2021;
originally announced September 2021.
-
Analysis and Control of a Planar Quadrotor
Authors:
Praveen Venkatesh,
Sanket Vadhvana,
Varun Jain
Abstract:
In this paper, we model the planar motion of a quadcopter, and develop a linear model of the same. We perform stability analysis of the open loop system and develop a PD controller for its position control. We compare the closed loop response between the linear and non linear systems using the controller developed for the linear system. We also perform stability analysis for the linear and non lin…
▽ More
In this paper, we model the planar motion of a quadcopter, and develop a linear model of the same. We perform stability analysis of the open loop system and develop a PD controller for its position control. We compare the closed loop response between the linear and non linear systems using the controller developed for the linear system. We also perform stability analysis for the linear and non linear systems, and compare the PD controller with modern deep neural methods based on reinforcement learning actor-critic networks.
△ Less
Submitted 29 June, 2021;
originally announced June 2021.
-
Memory Guided Road Detection
Authors:
Praveen Venkatesh,
Rwik Rana,
Varun Jain
Abstract:
In self driving car applications, there is a requirement to predict the location of the lane given an input RGB front facing image. In this paper, we propose an architecture that allows us to increase the speed and robustness of road detection without a large hit in accuracy by introducing an underlying shared feature space that is propagated over time, which serves as a flowing dynamic memory. By…
▽ More
In self driving car applications, there is a requirement to predict the location of the lane given an input RGB front facing image. In this paper, we propose an architecture that allows us to increase the speed and robustness of road detection without a large hit in accuracy by introducing an underlying shared feature space that is propagated over time, which serves as a flowing dynamic memory. By utilizing the gist of previous frames, we train the network to predict the current road with a greater accuracy and lesser deviation from previous frames.
△ Less
Submitted 27 June, 2021;
originally announced June 2021.
-
Partial Information Decomposition via Deficiency for Multivariate Gaussians
Authors:
Praveen Venkatesh,
Gabriel Schamberg
Abstract:
Bivariate partial information decompositions (PIDs) characterize how the information in a "message" random variable is decomposed between two "constituent" random variables in terms of unique, redundant and synergistic information components. These components are a function of the joint distribution of the three variables, and are typically defined using an optimization over the space of all possi…
▽ More
Bivariate partial information decompositions (PIDs) characterize how the information in a "message" random variable is decomposed between two "constituent" random variables in terms of unique, redundant and synergistic information components. These components are a function of the joint distribution of the three variables, and are typically defined using an optimization over the space of all possible joint distributions. This makes it computationally challenging to compute PIDs in practice and restricts their use to low-dimensional random vectors. To ease this burden, we consider the case of jointly Gaussian random vectors in this paper. This case was previously examined by Barrett (2015), who showed that certain operationally well-motivated PIDs reduce to a closed form expression for scalar messages. Here, we show that Barrett's result does not extend to vector messages in general, and characterize the set of multivariate Gaussian distributions that reduce to closed-form. Then, for all other multivariate Gaussian distributions, we propose a convex optimization framework for approximately computing a specific PID definition based on the statistical concept of deficiency. Using simplifying assumptions specific to the Gaussian case, we provide an efficient algorithm to approximately compute the bivariate PID for multivariate Gaussian variables with tens or even hundreds of dimensions. We also theoretically and empirically justify the goodness of this approximation.
△ Less
Submitted 28 November, 2022; v1 submitted 3 May, 2021;
originally announced May 2021.
-
Read-out of Quasi-periodic Systems using Qubits
Authors:
Madhumita Saha,
Bijay Kumar Agarwalla,
B. Prasanna Venkatesh
Abstract:
We develop a theoretical scheme to perform a read-out of the properties of a quasi-periodic system by coupling it to one or two qubits. We show that the decoherence dynamics of a single qubit coupled via a pure dephasing type term to a 1D quasi-periodic system with a potential given by the André-Aubry-Harper (AAH) model and its generalized versions (GAAH model) is sensitive to the nature of the si…
▽ More
We develop a theoretical scheme to perform a read-out of the properties of a quasi-periodic system by coupling it to one or two qubits. We show that the decoherence dynamics of a single qubit coupled via a pure dephasing type term to a 1D quasi-periodic system with a potential given by the André-Aubry-Harper (AAH) model and its generalized versions (GAAH model) is sensitive to the nature of the single particle eigenstates (SPEs). More specifically, we can use the non-markovianity of the qubit dynamics as quantified by the backflow of information to clearly distinguish the localized, delocalized, and mixed regimes with a mobility edge of the AAH and GAAH model and evidence the transition between them. By attaching two qubits at distinct sites of the system, we demonstrate that the transport property of the quasi-periodic system is encoded in the scaling of the threshold time to develop correlations between the qubits with the distance between the qubits. This scaling can also be used to distinguish and infer different regimes of transport such as ballistic, diffusive and no transport engendered by SPEs that are delocalized, critical and localized respectively. When there is a mobility edge allowing the coexistence of different kinds of SPEs in the spectrum, such as the coexistence of localized and delocalized states in the GAAH models, we find that the transport behaviour and the scaling of the threshold time with qubit separation is governed by the fastest spreading states.
△ Less
Submitted 6 April, 2022; v1 submitted 27 September, 2020;
originally announced September 2020.
-
Fairness Under Feature Exemptions: Counterfactual and Observational Measures
Authors:
Sanghamitra Dutta,
Praveen Venkatesh,
Piotr Mardziel,
Anupam Datta,
Pulkit Grover
Abstract:
With the growing use of ML in highly consequential domains, quantifying disparity with respect to protected attributes, e.g., gender, race, etc., is important. While quantifying disparity is essential, sometimes the needs of an occupation may require the use of certain features that are critical in a way that any disparity that can be explained by them might need to be exempted. E.g., in hiring a…
▽ More
With the growing use of ML in highly consequential domains, quantifying disparity with respect to protected attributes, e.g., gender, race, etc., is important. While quantifying disparity is essential, sometimes the needs of an occupation may require the use of certain features that are critical in a way that any disparity that can be explained by them might need to be exempted. E.g., in hiring a software engineer for a safety-critical application, coding-skills may be weighed strongly, whereas name, zip code, or reference letters may be used only to the extent that they do not add disparity. In this work, we propose an information-theoretic decomposition of the total disparity (a quantification inspired from counterfactual fairness) into two components: a non-exempt component which quantifies the part that cannot be accounted for by the critical features, and an exempt component that quantifies the remaining disparity. This decomposition allows one to check if the disparity arose purely due to the critical features (inspired from the business necessity defense of disparate impact law) and also enables selective removal of the non-exempt component if desired. We arrive at this decomposition through canonical examples that lead to a set of desirable properties (axioms) that a measure of non-exempt disparity should satisfy. Our proposed measure satisfies all of them. Our quantification bridges ideas of causality, Simpson's paradox, and a body of work from information theory called Partial Information Decomposition. We also obtain an impossibility result showing that no observational measure can satisfy all the desirable properties, leading us to relax our goals and examine observational measures that satisfy only some of them. We perform case studies to show how one can audit/train models while reducing non-exempt disparity.
△ Less
Submitted 6 August, 2021; v1 submitted 14 June, 2020;
originally announced June 2020.
-
IoTRepair: Systematically Addressing Device Faults in Commodity IoT (Extended Paper)
Authors:
Michael Norris,
Berkay Celik,
Patrick McDaniel,
Gang Tan,
Prasanna Venkatesh,
Shulin Zhao,
Anand Sivasubramaniam
Abstract:
IoT devices are decentralized and deployed in un-stable environments, which causes them to be prone to various kinds of faults, such as device failure and network disruption. Yet, current IoT platforms require programmers to handle faults manually, a complex and error-prone task. In this paper, we present IoTRepair, a fault-handling system for IoT that (1)integrates a fault identification module t…
▽ More
IoT devices are decentralized and deployed in un-stable environments, which causes them to be prone to various kinds of faults, such as device failure and network disruption. Yet, current IoT platforms require programmers to handle faults manually, a complex and error-prone task. In this paper, we present IoTRepair, a fault-handling system for IoT that (1)integrates a fault identification module to track faulty devices,(2) provides a library of fault-handling functions for effectively handling different fault types, (3) provides a fault handler on top of the library for autonomous IoT fault handling, with user and developer configuration as input. Through an evaluation in a simulated lab environment and with various fault injectio nmethods,IoTRepair is compared with current fault-handling solutions. The fault handler reduces the incorrect states on average 50.01%, which corresponds to less unsafe and insecure device states. Overall, through a systematic design of an IoT fault handler, we provide users flexibility and convenience in handling complex IoT fault handling, allowing safer IoT environments.
△ Less
Submitted 17 February, 2020;
originally announced February 2020.
-
Security Implications Of Compiler Optimizations On Cryptography -- A Review
Authors:
A. P. Shivarpatna Venkatesh,
A. Bhat Handadi,
M. Mory
Abstract:
When implementing secure software, developers must ensure certain requirements, such as the erasure of secret data after its use and execution in real time. Such requirements are not explicitly captured by the C language and could potentially be violated by compiler optimizations. As a result, developers typically use indirect methods to hide their code's semantics from the compiler and avoid unwa…
▽ More
When implementing secure software, developers must ensure certain requirements, such as the erasure of secret data after its use and execution in real time. Such requirements are not explicitly captured by the C language and could potentially be violated by compiler optimizations. As a result, developers typically use indirect methods to hide their code's semantics from the compiler and avoid unwanted optimizations. However, such workarounds are not permanent solutions, as increasingly efficient compiler optimization causes code that was considered secure in the past now vulnerable. This paper is a literature review of (1) the security complications caused by compiler optimizations, (2) approaches used by developers to mitigate optimization problems, and (3) recent academic efforts towards enabling security engineers to communicate implicit security requirements to the compiler. In addition, we present a short study of six cryptographic libraries and how they approach the issue of ensuring security requirements. With this paper, we highlight the need for software developers and compiler designers to work together in order to design efficient systems for writing secure software.
△ Less
Submitted 4 July, 2019;
originally announced July 2019.
-
Quantum Statistical Enhancement of the Collective Performance of Multiple Bosonic Engines
Authors:
Gentaro Watanabe,
B. Prasanna Venkatesh,
Peter Talkner,
Myung-Joong Hwang,
Adolfo del Campo
Abstract:
We consider an ensemble of indistinguishable quantum machines and show that quantum statistical effects can give rise to a genuine quantum enhancement of the collective thermodynamic performance. When multiple indistinguishable bosonic work resources are coupled to an external system, the internal energy change of the external system exhibits an enhancement arising from permutation symmetry in the…
▽ More
We consider an ensemble of indistinguishable quantum machines and show that quantum statistical effects can give rise to a genuine quantum enhancement of the collective thermodynamic performance. When multiple indistinguishable bosonic work resources are coupled to an external system, the internal energy change of the external system exhibits an enhancement arising from permutation symmetry in the ensemble, which is absent when the latter consists of distinguishable work resources.
△ Less
Submitted 28 May, 2020; v1 submitted 16 April, 2019;
originally announced April 2019.
-
Information Flow in Computational Systems
Authors:
Praveen Venkatesh,
Sanghamitra Dutta,
Pulkit Grover
Abstract:
We develop a theoretical framework for defining and identifying flows of information in computational systems. Here, a computational system is assumed to be a directed graph, with "clocked" nodes that send transmissions to each other along the edges of the graph at discrete points in time. We are interested in a definition that captures the dynamic flow of information about a specific message, and…
▽ More
We develop a theoretical framework for defining and identifying flows of information in computational systems. Here, a computational system is assumed to be a directed graph, with "clocked" nodes that send transmissions to each other along the edges of the graph at discrete points in time. We are interested in a definition that captures the dynamic flow of information about a specific message, and which guarantees an unbroken "information path" between appropriately defined inputs and outputs in the directed graph. Prior measures, including those based on Granger Causality and Directed Information, fail to provide clear assumptions and guarantees about when they correctly reflect information flow about a message. We take a systematic approach---iterating through candidate definitions and counterexamples---to arrive at a definition for information flow that is based on conditional mutual information, and which satisfies desirable properties, including the existence of information paths. Finally, we describe how information flow might be detected in a noiseless setting, and provide an algorithm to identify information paths on the time-unrolled graph of a computational system.
△ Less
Submitted 2 March, 2020; v1 submitted 6 February, 2019;
originally announced February 2019.
-
Generalized energy measurements and quantum work compatible with fluctuation theorems
Authors:
Kosuke Ito,
Peter Talkner,
B. Prasanna Venkatesh,
Gentaro Watanabe
Abstract:
The probability densities of work that can be exerted on a quantum system initially staying in thermal equilibrium are constrained by the fluctuation relations of Jarzynski and Crooks, when the work is determined by two projective energy measurements. We investigate the question whether these fluctuation relations may still hold if one employs generalized energy measurements rather than projective…
▽ More
The probability densities of work that can be exerted on a quantum system initially staying in thermal equilibrium are constrained by the fluctuation relations of Jarzynski and Crooks, when the work is determined by two projective energy measurements. We investigate the question whether these fluctuation relations may still hold if one employs generalized energy measurements rather than projective ones. Restricting ourselves to a class of universal measurements which are independent of several details of the system on which the work is done, we find sets of necessary and sufficient conditions for the Jarzynski equality and the Crooks relation. The Jarzynski equality requires perfect accuracy for the initial measurement, while the final one can be erroneous. On the other hand, the Crooks relation can only tolerate a depolarizing channel as a deviation from the projective measurement for systems with a finite dimensional Hilbert space. For a separable infinite-dimensional space only projective measurements are compatible with the Crooks relation. The results we have obtained significantly extend those of [Venkatesh, Watanabe, and Talkner, New J. Phys. 16, 015032 (2014)] as well as avoid some errors present there.
△ Less
Submitted 18 March, 2019; v1 submitted 18 December, 2018;
originally announced December 2018.
-
Testing Changes in Communities for the Stochastic Block Model
Authors:
Aditya Gangrade,
Praveen Venkatesh,
Bobak Nazer,
Venkatesh Saligrama
Abstract:
We propose and analyze the problems of \textit{community goodness-of-fit and two-sample testing} for stochastic block models (SBM), where changes arise due to modification in community memberships of nodes. Motivated by practical applications, we consider the challenging sparse regime, where expected node degrees are constant, and the inter-community mean degree ($b$) scales proportionally to intr…
▽ More
We propose and analyze the problems of \textit{community goodness-of-fit and two-sample testing} for stochastic block models (SBM), where changes arise due to modification in community memberships of nodes. Motivated by practical applications, we consider the challenging sparse regime, where expected node degrees are constant, and the inter-community mean degree ($b$) scales proportionally to intra-community mean degree ($a$). Prior work has sharply characterized partial or full community recovery in terms of a "signal-to-noise ratio" ($\mathrm{SNR}$) based on $a$ and $b$. For both problems, we propose computationally-efficient tests that can succeed far beyond the regime where recovery of community membership is even possible. Overall, for large changes, $s \gg \sqrt{n}$, we need only $\mathrm{SNR}= O(1)$ whereas a naïve test based on community recovery with $O(s)$ errors requires $\mathrm{SNR}= Θ(\log n)$. Conversely, in the small change regime, $s \ll \sqrt{n}$, via an information-theoretic lower bound, we show that, surprisingly, no algorithm can do better than the naïve algorithm that first estimates the community up to $O(s)$ errors and then detects changes. We validate these phenomena numerically on SBMs and on real-world datasets as well as Markov Random Fields where we only observe node data rather than the existence of links.
△ Less
Submitted 30 October, 2019; v1 submitted 29 November, 2018;
originally announced December 2018.
-
HUMBI: A Large Multiview Dataset of Human Body Expressions
Authors:
Zhixuan Yu,
Jae Shin Yoon,
In Kyu Lee,
Prashanth Venkatesh,
Jaesik Park,
Jihun Yu,
Hyun Soo Park
Abstract:
This paper presents a new large multiview dataset called HUMBI for human body expressions with natural clothing. The goal of HUMBI is to facilitate modeling view-specific appearance and geometry of gaze, face, hand, body, and garment from assorted people. 107 synchronized HD cameras are used to capture 772 distinctive subjects across gender, ethnicity, age, and physical condition. With the multivi…
▽ More
This paper presents a new large multiview dataset called HUMBI for human body expressions with natural clothing. The goal of HUMBI is to facilitate modeling view-specific appearance and geometry of gaze, face, hand, body, and garment from assorted people. 107 synchronized HD cameras are used to capture 772 distinctive subjects across gender, ethnicity, age, and physical condition. With the multiview image streams, we reconstruct high fidelity body expressions using 3D mesh models, which allows representing view-specific appearance using their canonical atlas. We demonstrate that HUMBI is highly effective in learning and reconstructing a complete human model and is complementary to the existing datasets of human body expressions with limited views and subjects such as MPII-Gaze, Multi-PIE, Human3.6M, and Panoptic Studio datasets.
△ Less
Submitted 22 May, 2020; v1 submitted 1 December, 2018;
originally announced December 2018.
-
Collective effects in Casimir-Polder forces
Authors:
Kanupriya Sinha,
B. Prasanna Venkatesh,
Pierre Meystre
Abstract:
We study cooperative phenomena in the fluctuation-induced forces between a surface and a system of neutral two-level quantum emitters prepared in a coherent collective state, showing that the total Casimir-Polder force on the emitters can be modified via their mutual correlations. Particularly, we find that a collection of emitters prepared in a super- or subradiant state experiences an enhanced o…
▽ More
We study cooperative phenomena in the fluctuation-induced forces between a surface and a system of neutral two-level quantum emitters prepared in a coherent collective state, showing that the total Casimir-Polder force on the emitters can be modified via their mutual correlations. Particularly, we find that a collection of emitters prepared in a super- or subradiant state experiences an enhanced or suppressed collective vacuum-induced force, respectively. The collective nature of dispersion forces can be understood as resulting from the interference between the different processes contributing to the surface-modified resonant dipole-dipole interaction. Such cooperative fluctuation forces depend singularly on the surface response at the resonance frequency of the emitters, thus being easily maneuverable. Our results demonstrate the potential of collective phenomena as a new tool to selectively tailor vacuum forces.
△ Less
Submitted 10 March, 2018; v1 submitted 2 March, 2018;
originally announced March 2018.
-
Bistability in a Mesoscopic Josephson Junction Array Resonator
Authors:
P. R. Muppalla,
O. Gargiulo,
S. I. Mirzaei,
B. Prasanna Venkatesh,
M. L. Juan,
L. Grünhaupt,
I. M. Pop,
G. Kirchmair
Abstract:
We present an experimental investigation of stochastic switching of a bistable Josephson junctions array resonator with a resonance frequency in the GHz range. As the device is in the regime where the anharmonicity is on the order of the linewidth, the bistability appears for a pump strength of only a few photons. We measure the dynamics of the bistability by continuously observing the jumps betwe…
▽ More
We present an experimental investigation of stochastic switching of a bistable Josephson junctions array resonator with a resonance frequency in the GHz range. As the device is in the regime where the anharmonicity is on the order of the linewidth, the bistability appears for a pump strength of only a few photons. We measure the dynamics of the bistability by continuously observing the jumps between the two metastable states, which occur with a rate ranging from a few Hz down to a few mHz. The switching rate strongly depends on the pump strength, readout strength and the temperature, following Kramer's law. The interplay between nonlinearity and coupling, in this little explored regime, could provide a new resource for nondemolition measurements, single photon switches or even elements for autonomous quantum error correction.
△ Less
Submitted 26 June, 2017; v1 submitted 13 June, 2017;
originally announced June 2017.
-
Design and implementation of dynamic logic gates and R-S flip-flop using quasiperiodically driven Murali-Lakshmanan-Chua circuit
Authors:
P. R. Venkatesh,
A. Venkatesan,
M. Lakshmanan
Abstract:
We report the propagation of a square wave signal in a quasi-periodically driven Murali-Lakshmanan-Chua (QPDMLC) circuit system. It is observed that signal propagation is possible only above a certain threshold strength of the square wave or digital signal and all the values above the threshold amplitude are termed as 'region of signal propagation'. Then, we extend this region of signal propagatio…
▽ More
We report the propagation of a square wave signal in a quasi-periodically driven Murali-Lakshmanan-Chua (QPDMLC) circuit system. It is observed that signal propagation is possible only above a certain threshold strength of the square wave or digital signal and all the values above the threshold amplitude are termed as 'region of signal propagation'. Then, we extend this region of signal propagation to perform various logical operations like AND/NAND/OR/NOR and hence it is also designated as the 'region of logical operation'. Based on this region, we propose implementing the dynamic logic gates, namely AND/NAND/OR/NOR, which can be decided by the asymmetrical input square waves without altering the system parameters. Further, we show that a single QPDMLC system will produce simultaneously two outputs which are complementary to each other. As a result, a single QPDMLC system yields either AND as well as NAND or OR as well as NOR gates simultaneously. Then we combine the corresponding two QPDMLC systems in a cross-coupled way and report that its dynamics mimics that of fundamental R-S flip-flop circuit. All these phenomena have been explained with analytical solutions of the circuit equations characterizing the system and finally the results are compared with the corresponding numerical and experimental analysis.
△ Less
Submitted 25 May, 2017;
originally announced May 2017.
-
Cooperative Effects in Closely Packed Quantum Emitters with Collective Dephasing
Authors:
B. Prasanna Venkatesh,
M. L. Juan,
O. Romero-Isart
Abstract:
In a closely packed ensemble of quantum emitters, cooperative effects are typically suppressed due to the dephasing induced by the dipole-dipole interactions. Here, we show that by adding sufficiently strong collective dephasing cooperative effects can be restored. In particular, we show that the dipole force on a closely packed ensemble of strongly driven two-level quantum emitters, which collect…
▽ More
In a closely packed ensemble of quantum emitters, cooperative effects are typically suppressed due to the dephasing induced by the dipole-dipole interactions. Here, we show that by adding sufficiently strong collective dephasing cooperative effects can be restored. In particular, we show that the dipole force on a closely packed ensemble of strongly driven two-level quantum emitters, which collectively dephase, is enhanced in comparison to the dipole force on an independent non-interacting ensemble. Our results are relevant to solid state systems with embedded quantum emitters such as colour centers in diamond and superconducting qubits in microwave cavities and waveguides.
△ Less
Submitted 20 January, 2018; v1 submitted 22 May, 2017;
originally announced May 2017.
-
Quantum Performance of Thermal Machines over Many Cycles
Authors:
Gentaro Watanabe,
B. Prasanna Venkatesh,
Peter Talkner,
Adolfo del Campo
Abstract:
The performance of quantum heat engines is generally based on the analysis of a single cycle. We challenge this approach by showing that the total work performed by a quantum engine need not be proportional to the number of cycles. Furthermore, optimizing the engine over multiple cycles leads to the identification of scenarios with a quantum enhancement. We demonstrate our findings with a quantum…
▽ More
The performance of quantum heat engines is generally based on the analysis of a single cycle. We challenge this approach by showing that the total work performed by a quantum engine need not be proportional to the number of cycles. Furthermore, optimizing the engine over multiple cycles leads to the identification of scenarios with a quantum enhancement. We demonstrate our findings with a quantum Otto engine based on a two-level system as the working substance that supplies power to an external oscillator.
△ Less
Submitted 7 February, 2017; v1 submitted 16 December, 2016;
originally announced December 2016.
-
Non-destructive monitoring of Bloch oscillations in an optical cavity
Authors:
H. Keßler,
J. Klinder,
B. P. Venkatesh,
Ch. Georges,
A. Hemmerich
Abstract:
Bloch oscillations are a hallmark of coherent wave dynamics in periodic potentials. They occur as the response of quantum mechanical particles in a lattice if a weak force is applied. In optical lattices with their perfect periodic structure they can be readily observed and employed as a quantum mechanical force sensor, for example, for precise measurements of the gravitational acceleration. Howev…
▽ More
Bloch oscillations are a hallmark of coherent wave dynamics in periodic potentials. They occur as the response of quantum mechanical particles in a lattice if a weak force is applied. In optical lattices with their perfect periodic structure they can be readily observed and employed as a quantum mechanical force sensor, for example, for precise measurements of the gravitational acceleration. However, the destructive character of the measurement process in previous experimental implementations poses serious limitations for the precision of such measurements. In this article we show that the use of an optical cavity operating in the regime of strong cooperative coupling allows one to directly monitor Bloch oscillations of a cloud of cold atoms in the light leaking out of the cavity. Hence, with a single atomic sample the Bloch oscillation dynamics can be mapped out, while in previous experiments, each data point required the preparation of a new atom cloud. The use of a cavity-based monitor should greatly improve the precision of Bloch oscillation measurements for metrological purposes.
△ Less
Submitted 27 June, 2016;
originally announced June 2016.
-
Nonlinear Phenomena of Ultracold Atomic Gases in Optical Lattices: Emergence of Novel Features in Extended States
Authors:
Gentaro Watanabe,
B. Prasanna Venkatesh,
Raka Dasgupta
Abstract:
The system of a cold atomic gas in an optical lattice is governed by two factors: nonlinearity originating from the interparticle interaction, and the periodicity of the system set by the lattice. The high level of controllability associated with such an arrangement allows for the study of the competition and interplay between these two, and gives rise to a whole range of interesting and rich nonl…
▽ More
The system of a cold atomic gas in an optical lattice is governed by two factors: nonlinearity originating from the interparticle interaction, and the periodicity of the system set by the lattice. The high level of controllability associated with such an arrangement allows for the study of the competition and interplay between these two, and gives rise to a whole range of interesting and rich nonlinear effects. This review covers the basic idea and overview of such nonlinear phenomena, especially those corresponding to extended states. This includes "swallowtail" loop structures of the energy band, Bloch states with multiple periodicity, and those in "nonlinear lattices", i.e., systems with the nonlinear interaction term itself being a periodic function in space.
△ Less
Submitted 8 May, 2016; v1 submitted 29 March, 2016;
originally announced March 2016.
-
Attraction-induced dynamical stability of a Bose-Einstein condensate in a nonlinear lattice
Authors:
Raka Dasgupta,
B. Prasanna Venkatesh,
Gentaro Watanabe
Abstract:
We study multiple-period Bloch states of a Bose-Einstein condensate with spatially periodic interactomic interaction. Solving the Gross-Pitaevskii equation for the continuum model, and also using a simplified discrete version of it, we investigate the energy-band structures and the corresponding stability properties. We observe a new "attraction-induced dynamical stability" mechanism caused by the…
▽ More
We study multiple-period Bloch states of a Bose-Einstein condensate with spatially periodic interactomic interaction. Solving the Gross-Pitaevskii equation for the continuum model, and also using a simplified discrete version of it, we investigate the energy-band structures and the corresponding stability properties. We observe a new "attraction-induced dynamical stability" mechanism caused by the localization of the density distribution in the attractive domains of the system and the isolation of these higher-density regions. This makes the superfluid stable near the zone boundary, and also enhances the stability of higher-periodic states if the nonlinear interaction strength is sufficiently high.
△ Less
Submitted 6 July, 2016; v1 submitted 24 March, 2016;
originally announced March 2016.
-
On-chip quantum interference of a superconducting microsphere
Authors:
H. Pino,
J. Prat-Camps,
K. Sinha,
B. P. Venkatesh,
O. Romero-Isart
Abstract:
We propose and analyze an all-magnetic scheme to perform a Young's double slit experiment with a micron-sized superconducting sphere of mass $\gtrsim {10}^{13}$ amu. We show that its center of mass could be prepared in a spatial quantum superposition state with an extent of the order of half a micrometer. The scheme is based on magnetically levitating the sphere above a superconducting chip and le…
▽ More
We propose and analyze an all-magnetic scheme to perform a Young's double slit experiment with a micron-sized superconducting sphere of mass $\gtrsim {10}^{13}$ amu. We show that its center of mass could be prepared in a spatial quantum superposition state with an extent of the order of half a micrometer. The scheme is based on magnetically levitating the sphere above a superconducting chip and letting it skate through a static magnetic potential landscape where it interacts for short intervals with quantum circuits. In this way, a protocol for fast quantum interferometry using quantum magnetomechanics is passively implemented. Such a table-top earth-based quantum experiment would operate in a parameter regime where gravitational energy scales become relevant. In particular, we show that the faint parameter-free gravitationally-induced decoherence collapse model, proposed by Diósi and Penrose, could be unambiguously falsified.
△ Less
Submitted 25 January, 2018; v1 submitted 4 March, 2016;
originally announced March 2016.
-
An optomechanical elevator: Transport of a Bloch oscillating Bose-Einstein condensate up and down an optical lattice by cavity sideband amplification and cooling
Authors:
B. Prasanna Venkatesh,
D. H. J. O'Dell,
J. Goldwin
Abstract:
We analyze the optomechanics of an atomic Bose-Einstein condensate interacting with the optical lattice inside a laser-pumped optical cavity and subject to a uniform bias force such as gravity. An atomic wave packet in a tilted lattice undergoes Bloch oscillations; in a cavity the backaction of the atoms on the light leads to a time-dependent modulation of the intracavity lattice at the Bloch freq…
▽ More
We analyze the optomechanics of an atomic Bose-Einstein condensate interacting with the optical lattice inside a laser-pumped optical cavity and subject to a uniform bias force such as gravity. An atomic wave packet in a tilted lattice undergoes Bloch oscillations; in a cavity the backaction of the atoms on the light leads to a time-dependent modulation of the intracavity lattice at the Bloch frequency. When the Bloch frequency is on the order of the cavity dam** rate we find transport of the atoms either up or down the lattice. The transport dynamics can be interpreted as a manifestation of dynamical backaction-induced sideband dam**/amplification of the optomechanical Bloch oscillator. Depending on the sign of the pump-cavity detuning, atoms are transported either with or against the bias force accompanied by an up- or down-conversion of the frequency of the pump laser light. We also evaluate the prospects for using the optomechanical Bloch oscillator to make continuous measurements of forces by reading out the Bloch frequency. In this context we establish the significant result that the optical spring effect is absent and the Bloch frequency is not modified by the backaction.
△ Less
Submitted 4 February, 2016; v1 submitted 26 November, 2015;
originally announced November 2015.
-
Emergent Universality in Nonequilibrium Processes of Critical Systems
Authors:
Danh-Tai Hoang,
B. Prasanna Venkatesh,
Seungju Han,
Junghyo Jo,
Gentaro Watanabe,
Mahn-Soo Choi
Abstract:
We examine the Jarzynski equality for a quenching process across the critical point of second-order phase transitions, where absolute irreversibility and the effect of finite-sampling of the initial equilibrium distribution arise on an equal footing. We consider the Ising model as a prototypical example for spontaneous symmetry breaking and take into account the finite sampling issue by introducin…
▽ More
We examine the Jarzynski equality for a quenching process across the critical point of second-order phase transitions, where absolute irreversibility and the effect of finite-sampling of the initial equilibrium distribution arise on an equal footing. We consider the Ising model as a prototypical example for spontaneous symmetry breaking and take into account the finite sampling issue by introducing a tolerance parameter. For a given tolerance parameter, the deviation from the Jarzynski equality depends onthe reduced coupling constant and the system size. In this work, we show that the deviation from the Jarzynski equality exhibits a universal scaling behavior inherited from the critical scaling laws of second-order phase transitions.
△ Less
Submitted 10 August, 2015;
originally announced August 2015.
-
Quantum fluctuation theorems and power measurements
Authors:
B. Prasanna Venkatesh,
Gentaro Watanabe,
Peter Talkner
Abstract:
Work in the paradigm of the quantum fluctuation theorems of Crooks and Jarzynski is determined by projective measurements of energy at the beginning and end of the force protocol. In analogy to classical systems, we consider an alternative definition of work given by the integral of the supplied power determined by integrating up the results of repeated measurements of the instantaneous power duri…
▽ More
Work in the paradigm of the quantum fluctuation theorems of Crooks and Jarzynski is determined by projective measurements of energy at the beginning and end of the force protocol. In analogy to classical systems, we consider an alternative definition of work given by the integral of the supplied power determined by integrating up the results of repeated measurements of the instantaneous power during the force protocol. We observe that such a definition of work, in spite of taking account of the process dependence, has different possible values and statistics from the work determined by the conventional two energy measurement approach (TEMA). In the limit of many projective measurements of power, the system's dynamics is frozen in the power measurement basis due to the quantum Zeno effect leading to statistics only trivially dependent on the force protocol. In general the Jarzynski relation is not satisfied except for the case when the instantaneous power operator commutes with the total Hamiltonian at all times. We also consider properties of the joint statistics of power-based definition of work and TEMA work in protocols where both values are determined. This allows us to quantify their correlations. Relaxing the projective measurement condition, weak continuous measurements of power are considered within the stochastic master equation formalism. Even in this scenario the power-based work statistics is in general not able to reproduce qualitative features of the TEMA work statistics.
△ Less
Submitted 3 August, 2015; v1 submitted 11 March, 2015;
originally announced March 2015.
-
Generalized energy measurements and modified transient quantum fluctuation theorems
Authors:
Gentaro Watanabe,
B. Prasanna Venkatesh,
Peter Talkner
Abstract:
Determining the work which is supplied to a system by an external agent, provides a crucial step in any experimental realization of transient fluctuation relations. This, however, poses a problem for quantum systems, where the standard procedure requires the projective measurement of energy at the beginning and the end of the protocol. Unfortunately, projective measurements, which are preferable f…
▽ More
Determining the work which is supplied to a system by an external agent, provides a crucial step in any experimental realization of transient fluctuation relations. This, however, poses a problem for quantum systems, where the standard procedure requires the projective measurement of energy at the beginning and the end of the protocol. Unfortunately, projective measurements, which are preferable from the point of view of theory, seem to be difficult to implement experimentally. We demonstrate that, when using a particular type of generalized energy measurements, the resulting work statistics is simply related to that of projective measurements. This relation between the two work statistics entails the existence of modified transient fluctuation relations. The modifications are exclusively determined by the errors incurred in the generalized energy measurements. They are universal in the sense that they do not depend on the force protocol. Particularly simple expressions for the modified Crooks relation and Jarzynski equality are found for Gaussian energy measurements. These can be obtained by a sequence of sufficiently many generalized measurements which need not be Gaussian. In accordance with the central limit theorem, this leads to an effective error reduction in the individual measurements, and even yields a projective measurement in the limit of infinite repetitions.
△ Less
Submitted 14 May, 2014; v1 submitted 23 February, 2014;
originally announced February 2014.
-
Backaction-Driven Transport of Bloch Oscillating Atoms in Ring Cavities
Authors:
J. Goldwin,
B. Prasanna Venkatesh,
D. H. J. O'Dell
Abstract:
We predict that an atomic Bose-Einstein condensate strongly coupled to an intracavity optical lattice can undergo resonant tunneling and directed transport when a constant and uniform bias force is applied. The bias force induces Bloch oscillations, causing amplitude and phase modulation of the lattice which resonantly modifies the site-to-site tunneling. For the right choice of parameters a net a…
▽ More
We predict that an atomic Bose-Einstein condensate strongly coupled to an intracavity optical lattice can undergo resonant tunneling and directed transport when a constant and uniform bias force is applied. The bias force induces Bloch oscillations, causing amplitude and phase modulation of the lattice which resonantly modifies the site-to-site tunneling. For the right choice of parameters a net atomic current is generated. The transport velocity can be oriented oppositely to the bias force, with its amplitude and direction controlled by the detuning between the pump laser and the cavity. The transport can also be enhanced through imbalanced pum** of the two counter-propagating running wave cavity modes. Our results add to the cold atoms quantum simulation toolbox, with implications for quantum sensing and metrology.
△ Less
Submitted 19 August, 2014; v1 submitted 19 February, 2014;
originally announced February 2014.
-
Quantum fluctuation theorems and generalized measurements during the force protocol
Authors:
Gentaro Watanabe,
B. Prasanna Venkatesh,
Peter Talkner,
Michele Campisi,
Peter Hänggi
Abstract:
Generalized measurements of an observable performed on a quantum system during a force protocol are investigated and conditions that guarantee the validity of the Jarzynski equality and the Crooks relation are formulated. In agreement with previous studies by Campisi {\it et al.} [M. Campisi, P. Talkner, and P. Hänggi, Phys. Rev. Lett. {\bf 105}, 140601 (2010); Phys. Rev. E {\bf 83}, 041114 (2011)…
▽ More
Generalized measurements of an observable performed on a quantum system during a force protocol are investigated and conditions that guarantee the validity of the Jarzynski equality and the Crooks relation are formulated. In agreement with previous studies by Campisi {\it et al.} [M. Campisi, P. Talkner, and P. Hänggi, Phys. Rev. Lett. {\bf 105}, 140601 (2010); Phys. Rev. E {\bf 83}, 041114 (2011)], we find that these fluctuation relations are satisfied for projective measurements; however, for generalized measurements special conditions on the operators determining the measurements need to be met. For the Jarzynski equality to hold, the measurement operators of the forward protocol must be normalized in a particular way. The Crooks relation additionally entails that the backward and forward measurement operators depend on each other. Yet, quite some freedom is left as to how the two sets of operators are interrelated. This ambiguity is removed if one considers selective measurements, which are specified by a {\it joint} probability density function of work and measurement results of the considered observable. We find that the respective forward and backward joint probabilities satisfy the Crooks relation only if the measurement operators of the forward and backward protocols are the time-reversed adjoints of each other. In this case, the work probability density function {\it conditioned} on the measurement result satisfies a modified Crooks relation. The modification appears as a protocol-dependent factor that can be expressed by the information gained by the measurements during the forward and backward protocols. Finally, detailed fluctuation theorems with an arbitrary number of intervening measurements are obtained.
△ Less
Submitted 13 March, 2014; v1 submitted 26 December, 2013;
originally announced December 2013.
-
Transient quantum fluctuation theorems and generalized measurements
Authors:
B. Prasanna Venkatesh,
Gentaro Watanabe,
Peter Talkner
Abstract:
The transient quantum fluctuation theorems of Crooks and Jarzynski restrict and relate the statistics of work performed in forward and backward forcing protocols. So far these theorems have been obtained under the assumption that the work is determined by projective measurements at the end and the beginning of each run of the protocols. We found that one can replace these projective measurements o…
▽ More
The transient quantum fluctuation theorems of Crooks and Jarzynski restrict and relate the statistics of work performed in forward and backward forcing protocols. So far these theorems have been obtained under the assumption that the work is determined by projective measurements at the end and the beginning of each run of the protocols. We found that one can replace these projective measurements only by special error-free generalized energy measurements with pairs of tailored, protocol-dependent post-measurement states that satisfy detailed balance-like relations. For other generalized measurements, the Crooks relation is typically not satisfied. For the validity of the Jarzynski equality, it is sufficient that the measurements are error-free and the post-measurement states form a complete orthonormal set of elements in the Hilbert space of the considered system. We illustrate our results by the example of a two-level system for different generalized measurements.
△ Less
Submitted 8 November, 2013; v1 submitted 16 September, 2013;
originally announced September 2013.
-
Bloch Oscillations of Cold Atoms in a Cavity: Effects of Quantum Noise
Authors:
B. Prasanna Venkatesh,
D. H. J. O'Dell
Abstract:
We extend our theory of Bloch oscillations of cold atoms inside an optical cavity [ Venkatesh et al. Phys. Rev. A 80 063834 (2009)] to include the effects of quantum noise arising from coupling to external modes. The noise acts as a form of quantum measurement backaction by perturbing the coupled dynamics of the atoms and the light. We take it into account by solving the Heisenberg-Langevin equati…
▽ More
We extend our theory of Bloch oscillations of cold atoms inside an optical cavity [ Venkatesh et al. Phys. Rev. A 80 063834 (2009)] to include the effects of quantum noise arising from coupling to external modes. The noise acts as a form of quantum measurement backaction by perturbing the coupled dynamics of the atoms and the light. We take it into account by solving the Heisenberg-Langevin equations for linearized fluctuations about the atomic and optical mean fields and examine how this influences the signal-to-noise ratio of a measurement of external forces using this system. In particular, we investigate the effects of changing the number of atoms, the intracavity lattice depth, and the atom-light coupling strength, and show how resonances between the Bloch oscillation dynamics and the quasiparticle spectrum have a strong influence on the signal-to-noise ratio, as well as heating effects. One of the hurdles we overcome in this paper is the proper treatment of fluctuations about time-dependent mean fields in the context of cold-atom cavity QED.
△ Less
Submitted 30 July, 2013; v1 submitted 14 December, 2012;
originally announced December 2012.