-
Tactile Aware Dynamic Obstacle Avoidance in Crowded Environment with Deep Reinforcement Learning
Authors:
Yung Chuen Ng,
Qi Wen,
Lim,
Chun Ye Tan,
Zhen Hao Gan,
Meng Yee,
Chuah
Abstract:
Mobile robots operating in crowded environments require the ability to navigate among humans and surrounding obstacles efficiently while adhering to safety standards and socially compliant mannerisms. This scale of the robot navigation problem may be classified as both a local path planning and trajectory optimization problem. This work presents an array of force sensors that act as a tactile laye…
▽ More
Mobile robots operating in crowded environments require the ability to navigate among humans and surrounding obstacles efficiently while adhering to safety standards and socially compliant mannerisms. This scale of the robot navigation problem may be classified as both a local path planning and trajectory optimization problem. This work presents an array of force sensors that act as a tactile layer to complement the use of a LiDAR for the purpose of inducing awareness of contact with any surrounding objects within immediate vicinity of a mobile robot undetected by LiDARs. By incorporating the tactile layer, the robot can take more risks in its movements and possibly go right up to an obstacle or wall, and gently squeeze past it. In addition, we built up a simulation platform via Pybullet which integrates Robot Operating System (ROS) and reinforcement learning (RL) together. A touch-aware neural network model was trained on it to create an RL-based local path planner for dynamic obstacle avoidance. Our proposed method was demonstrated successfully on an omni-directional mobile robot who was able to navigate in a crowded environment with high agility and versatility in movement, while not being overly sensitive to nearby obstacles-not-in-contact.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Explainable Facial Expression Recognition for People with Intellectual Disabilities
Authors:
Silvia Ramis Guarinos,
Cristina Manresa Yee,
Jose Maria Buades Rubio,
Francesc Xavier Gaya-Morey
Abstract:
Facial expression recognition plays an important role in human behaviour, communication, and interaction. Recent neural networks have demonstrated to perform well at its automatic recognition, with different explainability techniques available to make them more transparent. In this work, we propose a facial expression recognition study for people with intellectual disabilities that would be integr…
▽ More
Facial expression recognition plays an important role in human behaviour, communication, and interaction. Recent neural networks have demonstrated to perform well at its automatic recognition, with different explainability techniques available to make them more transparent. In this work, we propose a facial expression recognition study for people with intellectual disabilities that would be integrated into a social robot. We train two well-known neural networks with five databases of facial expressions and test them with two databases containing people with and without intellectual disabilities. Finally, we study in which regions the models focus to perceive a particular expression using two different explainability techniques: LIME and RISE, assessing the differences when used on images containing disabled and non-disabled people.
△ Less
Submitted 19 May, 2024;
originally announced May 2024.
-
Automated facial recognition system using deep learning for pain assessment in adults with cerebral palsy
Authors:
Álvaro Sabater-Gárriz,
F. Xavier Gaya-Morey,
José María Buades-Rubio,
Cristina Manresa Yee,
Pedro Montoya,
Inmaculada Riquelme
Abstract:
Background: Pain assessment in individuals with neurological conditions, especially those with limited self-report ability and altered facial expressions, presents challenges. Existing measures, relying on direct observation by caregivers, lack sensitivity and specificity. In cerebral palsy, pain is a common comorbidity and a reliable evaluation protocol is crucial. Thus, having an automatic syste…
▽ More
Background: Pain assessment in individuals with neurological conditions, especially those with limited self-report ability and altered facial expressions, presents challenges. Existing measures, relying on direct observation by caregivers, lack sensitivity and specificity. In cerebral palsy, pain is a common comorbidity and a reliable evaluation protocol is crucial. Thus, having an automatic system that recognizes facial expressions could be of enormous help when diagnosing pain in this type of patient.
Objectives: 1) to build a dataset of facial pain expressions in individuals with cerebral palsy, and 2) to develop an automated facial recognition system based on deep learning for pain assessment addressed to this population.
Methods: Ten neural networks were trained on three pain image databases, including the UNBC-McMaster Shoulder Pain Expression Archive Database, the Multimodal Intensity Pain Dataset, and the Delaware Pain Database. Additionally, a curated dataset (CPPAIN) was created, consisting of 109 preprocessed facial pain expression images from individuals with cerebral palsy, categorized by two physiotherapists using the Facial Action Coding System observational scale.
Results: InceptionV3 exhibited promising performance on the CP-PAIN dataset, achieving an accuracy of 62.67% and an F1 score of 61.12%. Explainable artificial intelligence techniques revealed consistent essential features for pain identification across models.
Conclusion: This study demonstrates the potential of deep learning models for robust pain detection in populations with neurological conditions and communication disabilities. The creation of a larger dataset specific to cerebral palsy would further enhance model accuracy, offering a valuable tool for discerning subtle and idiosyncratic pain expressions. The insights gained could extend to other complex neurological conditions.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Mahalanobis-Aware Training for Out-of-Distribution Detection
Authors:
Connor Mclaughlin,
Jason Matterer,
Michael Yee
Abstract:
While deep learning models have seen widespread success in controlled environments, there are still barriers to their adoption in open-world settings. One critical task for safe deployment is the detection of anomalous or out-of-distribution samples that may require human intervention. In this work, we present a novel loss function and recipe for training networks with improved density-based out-o…
▽ More
While deep learning models have seen widespread success in controlled environments, there are still barriers to their adoption in open-world settings. One critical task for safe deployment is the detection of anomalous or out-of-distribution samples that may require human intervention. In this work, we present a novel loss function and recipe for training networks with improved density-based out-of-distribution sensitivity. We demonstrate the effectiveness of our method on CIFAR-10, notably reducing the false-positive rate of the relative Mahalanobis distance method on far-OOD tasks by over 50%.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
Type Prediction With Program Decomposition and Fill-in-the-Type Training
Authors:
Federico Cassano,
Ming-Ho Yee,
Noah Shinn,
Arjun Guha,
Steven Holtzen
Abstract:
TypeScript and Python are two programming languages that support optional type annotations, which are useful but tedious to introduce and maintain. This has motivated automated type prediction: given an untyped program, produce a well-typed output program. Large language models (LLMs) are promising for type prediction, but there are challenges: fill-in-the-middle performs poorly, programs may not…
▽ More
TypeScript and Python are two programming languages that support optional type annotations, which are useful but tedious to introduce and maintain. This has motivated automated type prediction: given an untyped program, produce a well-typed output program. Large language models (LLMs) are promising for type prediction, but there are challenges: fill-in-the-middle performs poorly, programs may not fit into the context window, generated types may not type check, and it is difficult to measure how well-typed the output program is. We address these challenges by building OpenTau, a search-based approach for type prediction that leverages large language models. We propose a new metric for type prediction quality, give a tree-based program decomposition that searches a space of generated types, and present fill-in-the-type fine-tuning for LLMs. We evaluate our work with a new dataset for TypeScript type prediction, and show that 47.4% of files type check (14.5% absolute improvement) with an overall rate of 3.3 type errors per file. All code, data, and models are available at: https://github.com/GammaTauAI/opentau.
△ Less
Submitted 25 May, 2023;
originally announced May 2023.
-
StarCoder: may the source be with you!
Authors:
Raymond Li,
Loubna Ben Allal,
Yangtian Zi,
Niklas Muennighoff,
Denis Kocetkov,
Chenghao Mou,
Marc Marone,
Christopher Akiki,
Jia Li,
Jenny Chim,
Qian Liu,
Evgenii Zheltonozhskii,
Terry Yue Zhuo,
Thomas Wang,
Olivier Dehaene,
Mishig Davaadorj,
Joel Lamy-Poirier,
João Monteiro,
Oleh Shliazhko,
Nicolas Gontier,
Nicholas Meade,
Armel Zebaze,
Ming-Ho Yee,
Logesh Kumar Umapathi,
Jian Zhu
, et al. (42 additional authors not shown)
Abstract:
The BigCode community, an open-scientific collaboration working on the responsible development of Large Language Models for Code (Code LLMs), introduces StarCoder and StarCoderBase: 15.5B parameter models with 8K context length, infilling capabilities and fast large-batch inference enabled by multi-query attention. StarCoderBase is trained on 1 trillion tokens sourced from The Stack, a large colle…
▽ More
The BigCode community, an open-scientific collaboration working on the responsible development of Large Language Models for Code (Code LLMs), introduces StarCoder and StarCoderBase: 15.5B parameter models with 8K context length, infilling capabilities and fast large-batch inference enabled by multi-query attention. StarCoderBase is trained on 1 trillion tokens sourced from The Stack, a large collection of permissively licensed GitHub repositories with inspection tools and an opt-out process. We fine-tuned StarCoderBase on 35B Python tokens, resulting in the creation of StarCoder. We perform the most comprehensive evaluation of Code LLMs to date and show that StarCoderBase outperforms every open Code LLM that supports multiple programming languages and matches or outperforms the OpenAI code-cushman-001 model. Furthermore, StarCoder outperforms every model that is fine-tuned on Python, can be prompted to achieve 40\% pass@1 on HumanEval, and still retains its performance on other programming languages. We take several important steps towards a safe open-access model release, including an improved PII redaction pipeline and a novel attribution tracing tool, and make the StarCoder models publicly available under a more commercially viable version of the Open Responsible AI Model license.
△ Less
Submitted 13 December, 2023; v1 submitted 9 May, 2023;
originally announced May 2023.
-
Graphical distances & inertia
Authors:
Jeffrey Cheng,
Ian Malcolm Johnson McInnis,
Matthew Yee
Abstract:
We study the inertia of distance matrices of weighted graphs. Our novel congruence-based proof of the inertia of weighted trees extends to a proof for the inertia of weighted unicyclic graphs whose cycle is a triangle. Partial results are given on the inertia of other rationally weighted unicylic graphs.
We study the inertia of distance matrices of weighted graphs. Our novel congruence-based proof of the inertia of weighted trees extends to a proof for the inertia of weighted unicyclic graphs whose cycle is a triangle. Partial results are given on the inertia of other rationally weighted unicylic graphs.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
Isometric embedding and spectral constraints for weighted graph metrics
Authors:
Jeffrey Cheng,
Ian Malcolm Johnson McInnis,
Matthew Yee
Abstract:
A weighted graph $φG$ encodes a finite metric space $D_{φG}$. When is $D$ totally decomposable? When does it embed in $\ell_1$ space? When does its representing matrix have $\leq 1$ positive eigenvalue? We give useful lemmata and prove that these questions can be answered without examining $φ$ if and only if $G$ has no $K_{2,3}$ minor. We also prove results toward the following conjecture.…
▽ More
A weighted graph $φG$ encodes a finite metric space $D_{φG}$. When is $D$ totally decomposable? When does it embed in $\ell_1$ space? When does its representing matrix have $\leq 1$ positive eigenvalue? We give useful lemmata and prove that these questions can be answered without examining $φ$ if and only if $G$ has no $K_{2,3}$ minor. We also prove results toward the following conjecture. $D_{φG}$ has $\leq n$ positive eigenvalues for all $φ$, if and only if $G$ has no $K_{2,3,...,3}$ minor, with $n$ threes.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
Do Machine Learning Models Produce TypeScript Types That Type Check?
Authors:
Ming-Ho Yee,
Arjun Guha
Abstract:
Type migration is the process of adding types to untyped code to gain assurance at compile time. TypeScript and other gradual type systems facilitate type migration by allowing programmers to start with imprecise types and gradually strengthen them. However, adding types is a manual effort and several migrations on large, industry codebases have been reported to have taken several years. In the re…
▽ More
Type migration is the process of adding types to untyped code to gain assurance at compile time. TypeScript and other gradual type systems facilitate type migration by allowing programmers to start with imprecise types and gradually strengthen them. However, adding types is a manual effort and several migrations on large, industry codebases have been reported to have taken several years. In the research community, there has been significant interest in using machine learning to automate TypeScript type migration. Existing machine learning models report a high degree of accuracy in predicting individual TypeScript type annotations. However, in this paper we argue that accuracy can be misleading, and we should address a different question: can an automatic type migration tool produce code that passes the TypeScript type checker?
We present TypeWeaver, a TypeScript type migration tool that can be used with an arbitrary type prediction model. We evaluate TypeWeaver with three models from the literature: DeepTyper, a recurrent neural network; LambdaNet, a graph neural network; and InCoder, a general-purpose, multi-language transformer that supports fill-in-the-middle tasks. Our tool automates several steps that are necessary for using a type prediction model, (1) importing types for a project's dependencies; (2) migrating JavaScript modules to TypeScript notation; (3) inserting predicted type annotations into the program to produce TypeScript when needed; and (4) rejecting non-type predictions when needed.
We evaluate TypeWeaver on a dataset of 513 JavaScript packages, including packages that have never been typed before. With the best type prediction model, we find that only 21% of packages type check, but more encouragingly, 69% of files type check successfully.
△ Less
Submitted 11 July, 2023; v1 submitted 23 February, 2023;
originally announced February 2023.
-
Navigation with Tactile Sensor for Natural Human-Robot Interaction
Authors:
Zhen Hao Gan,
Yangwei You,
Meng Yee,
Chuah
Abstract:
Tactile sensors have been introduced to a wide range of robotic tasks such as robot manipulation to mimic the sense of human touch. However, there has only been a few works that integrate tactile sensing into robot navigation. This paper describes a navigation system which allows robots to operate in crowded human-dense environments and behave with socially acceptable reactions by utilizing semant…
▽ More
Tactile sensors have been introduced to a wide range of robotic tasks such as robot manipulation to mimic the sense of human touch. However, there has only been a few works that integrate tactile sensing into robot navigation. This paper describes a navigation system which allows robots to operate in crowded human-dense environments and behave with socially acceptable reactions by utilizing semantic and force information collected by embedded tactile sensors, RGB-D camera and LiDAR. Compliance control is implemented based on artificial potential fields considering not only laser scan but also force reading from tactile sensors which promises a fast and reliable response to any possible collision. In contrast to cameras, LiDAR and other non-contact sensors, tactile sensors can directly interact with humans and can be used to accept social cues akin to natural human behavior under the same situation. Furthermore, leveraging semantic segmentation from vision module, the robot is able to identify and, therefore assign varying social cost to different groups of humans enabling for socially conscious path planning. At the end of this paper, the proposed control strategy was validated successfully by testing several scenarios on an omni-directional robot in real world.
△ Less
Submitted 23 November, 2022;
originally announced November 2022.
-
Real-time Digital Double Framework to Predict Collapsible Terrains for Legged Robots
Authors:
Garen Haddeler,
Hari P. Palanivelu,
Yung Chuen Ng,
Fabien Colonnier,
Albertus H. Adiwahono,
Zhibin Li,
Chee-Meng Chew,
Meng Yee,
Chuah
Abstract:
Inspired by the digital twinning systems, a novel real-time digital double framework is developed to enhance robot perception of the terrain conditions. Based on the very same physical model and motion control, this work exploits the use of such simulated digital double synchronized with a real robot to capture and extract discrepancy information between the two systems, which provides high dimens…
▽ More
Inspired by the digital twinning systems, a novel real-time digital double framework is developed to enhance robot perception of the terrain conditions. Based on the very same physical model and motion control, this work exploits the use of such simulated digital double synchronized with a real robot to capture and extract discrepancy information between the two systems, which provides high dimensional cues in multiple physical quantities to represent differences between the modelled and the real world. Soft, non-rigid terrains cause common failures in legged locomotion, whereby visual perception solely is insufficient in estimating such physical properties of terrains. We used digital double to develop the estimation of the collapsibility, which addressed this issue through physical interactions during dynamic walking. The discrepancy in sensory measurements between the real robot and its digital double are used as input of a learning-based algorithm for terrain collapsibility analysis. Although trained only in simulation, the learned model can perform collapsibility estimation successfully in both simulation and real world. Our evaluation of results showed the generalization to different scenarios and the advantages of the digital double to reliably detect nuances in ground conditions.
△ Less
Submitted 20 September, 2022;
originally announced September 2022.
-
Traversability analysis with vision and terrain probing for safe legged robot navigation
Authors:
Garen Haddeler,
Meng Yee,
Chuah,
Yangwei You,
Jianle Chan,
Albertus H. Adiwahono,
Wei Yun Yau,
Chee-Meng Chew
Abstract:
Inspired by human behavior when traveling over unknown terrain, this study proposes the use of probing strategies and integrates them into a traversability analysis framework to address safe navigation on unknown rough terrain. Our framework integrates collapsibility information into our existing traversability analysis, as vision and geometric information alone could be misled by unpredictable no…
▽ More
Inspired by human behavior when traveling over unknown terrain, this study proposes the use of probing strategies and integrates them into a traversability analysis framework to address safe navigation on unknown rough terrain. Our framework integrates collapsibility information into our existing traversability analysis, as vision and geometric information alone could be misled by unpredictable non-rigid terrains such as soft soil, bush area, or water puddles. With the new traversability analysis framework, our robot has a more comprehensive assessment of unpredictable terrain, which is critical for its safety in outdoor environments. The pipeline first identifies the terrain's geometric and semantic properties using an RGB-D camera and desired probing locations on questionable terrains. These regions are probed using a force sensor to determine the risk of terrain collapsing when the robot steps over it. This risk is formulated as a collapsibility metric, which estimates an unpredictable region's ground collapsibility. Thereafter, the collapsibility metric, together with geometric and semantic spatial data, is combined and analyzed to produce global and local traversability grid maps. These traversability grid maps tell the robot whether it is safe to step over different regions of the map. The grid maps are then utilized to generate optimal paths for the robot to safely navigate to its goal. Our approach has been successfully verified on a quadrupedal robot in both simulation and real-world experiments.
△ Less
Submitted 1 September, 2022;
originally announced September 2022.
-
MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation
Authors:
Federico Cassano,
John Gouwar,
Daniel Nguyen,
Sydney Nguyen,
Luna Phipps-Costin,
Donald Pinckney,
Ming-Ho Yee,
Yangtian Zi,
Carolyn Jane Anderson,
Molly Q Feldman,
Arjun Guha,
Michael Greenberg,
Abhinav Jangda
Abstract:
Large language models have demonstrated the ability to generate both natural language and programming language text. Such models open up the possibility of multi-language code generation: could code generation models generalize knowledge from one language to another? Although contemporary code generation models can generate semantically correct Python code, little is known about their abilities wi…
▽ More
Large language models have demonstrated the ability to generate both natural language and programming language text. Such models open up the possibility of multi-language code generation: could code generation models generalize knowledge from one language to another? Although contemporary code generation models can generate semantically correct Python code, little is known about their abilities with other languages. We propose MultiPL-E, a system for translating unit test-driven code generation benchmarks to new languages. We create the first massively multilingual code generation benchmark by using MultiPL-E to translate two popular Python code generation benchmarks to 18 additional programming languages.
We use MultiPL-E to extend the HumanEval benchmark and MBPP benchmark to 18 languages that encompass a range of programming paradigms and popularity. Using these new parallel benchmarks, we evaluate the multi-language performance of three state-of-the-art code generation models: Codex, CodeGen, and InCoder. We find that Codex matches or even exceeds its performance on Python for several other languages. The range of programming languages represented in MultiPL-E allow us to explore the impact of language frequency and language features on model performance. Finally, the MultiPL-E approach of compiling code generation benchmarks to new programming languages is both scalable and extensible, making it straightforward to evaluate new models, benchmarks, and languages.
△ Less
Submitted 19 December, 2022; v1 submitted 17 August, 2022;
originally announced August 2022.
-
Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models
Authors:
Aarohi Srivastava,
Abhinav Rastogi,
Abhishek Rao,
Abu Awal Md Shoeb,
Abubakar Abid,
Adam Fisch,
Adam R. Brown,
Adam Santoro,
Aditya Gupta,
Adrià Garriga-Alonso,
Agnieszka Kluska,
Aitor Lewkowycz,
Akshat Agarwal,
Alethea Power,
Alex Ray,
Alex Warstadt,
Alexander W. Kocurek,
Ali Safaya,
Ali Tazarv,
Alice Xiang,
Alicia Parrish,
Allen Nie,
Aman Hussain,
Amanda Askell,
Amanda Dsouza
, et al. (426 additional authors not shown)
Abstract:
Language models demonstrate both quantitative improvement and new qualitative capabilities with increasing scale. Despite their potentially transformative impact, these new capabilities are as yet poorly characterized. In order to inform future research, prepare for disruptive new model capabilities, and ameliorate socially harmful effects, it is vital that we understand the present and near-futur…
▽ More
Language models demonstrate both quantitative improvement and new qualitative capabilities with increasing scale. Despite their potentially transformative impact, these new capabilities are as yet poorly characterized. In order to inform future research, prepare for disruptive new model capabilities, and ameliorate socially harmful effects, it is vital that we understand the present and near-future capabilities and limitations of language models. To address this challenge, we introduce the Beyond the Imitation Game benchmark (BIG-bench). BIG-bench currently consists of 204 tasks, contributed by 450 authors across 132 institutions. Task topics are diverse, drawing problems from linguistics, childhood development, math, common-sense reasoning, biology, physics, social bias, software development, and beyond. BIG-bench focuses on tasks that are believed to be beyond the capabilities of current language models. We evaluate the behavior of OpenAI's GPT models, Google-internal dense transformer architectures, and Switch-style sparse transformers on BIG-bench, across model sizes spanning millions to hundreds of billions of parameters. In addition, a team of human expert raters performed all tasks in order to provide a strong baseline. Findings include: model performance and calibration both improve with scale, but are poor in absolute terms (and when compared with rater performance); performance is remarkably similar across model classes, though with benefits from sparsity; tasks that improve gradually and predictably commonly involve a large knowledge or memorization component, whereas tasks that exhibit "breakthrough" behavior at a critical scale often involve multiple steps or components, or brittle metrics; social bias typically increases with scale in settings with ambiguous context, but this can be improved with prompting.
△ Less
Submitted 12 June, 2023; v1 submitted 9 June, 2022;
originally announced June 2022.
-
Fourier-Based Augmentations for Improved Robustness and Uncertainty Calibration
Authors:
Ryan Soklaski,
Michael Yee,
Theodoros Tsiligkaridis
Abstract:
Diverse data augmentation strategies are a natural approach to improving robustness in computer vision models against unforeseen shifts in data distribution. However, the ability to tailor such strategies to inoculate a model against specific classes of corruptions or attacks -- without incurring substantial losses in robustness against other classes of corruptions -- remains elusive. In this work…
▽ More
Diverse data augmentation strategies are a natural approach to improving robustness in computer vision models against unforeseen shifts in data distribution. However, the ability to tailor such strategies to inoculate a model against specific classes of corruptions or attacks -- without incurring substantial losses in robustness against other classes of corruptions -- remains elusive. In this work, we successfully harden a model against Fourier-based attacks, while producing superior-to-AugMix accuracy and calibration results on both the CIFAR-10-C and CIFAR-100-C datasets; classification error is reduced by over ten percentage points for some high-severity noise and digital-type corruptions. We achieve this by incorporating Fourier-basis perturbations in the AugMix image-augmentation framework. Thus we demonstrate that the AugMix framework can be tailored to effectively target particular distribution shifts, while boosting overall model robustness.
△ Less
Submitted 24 February, 2022;
originally announced February 2022.
-
Tools and Practices for Responsible AI Engineering
Authors:
Ryan Soklaski,
Justin Goodwin,
Olivia Brown,
Michael Yee,
Jason Matterer
Abstract:
Responsible Artificial Intelligence (AI) - the practice of developing, evaluating, and maintaining accurate AI systems that also exhibit essential properties such as robustness and explainability - represents a multifaceted challenge that often stretches standard machine learning tooling, frameworks, and testing methods beyond their limits. In this paper, we present two new software libraries - hy…
▽ More
Responsible Artificial Intelligence (AI) - the practice of developing, evaluating, and maintaining accurate AI systems that also exhibit essential properties such as robustness and explainability - represents a multifaceted challenge that often stretches standard machine learning tooling, frameworks, and testing methods beyond their limits. In this paper, we present two new software libraries - hydra-zen and the rAI-toolbox - that address critical needs for responsible AI engineering. hydra-zen dramatically simplifies the process of making complex AI applications configurable, and their behaviors reproducible. The rAI-toolbox is designed to enable methods for evaluating and enhancing the robustness of AI-models in a way that is scalable and that composes naturally with other popular ML frameworks. We describe the design principles and methodologies that make these tools effective, including the use of property-based testing to bolster the reliability of the tools themselves. Finally, we demonstrate the composability and flexibility of the tools by showing how various use cases from adversarial robustness and explainable AI can be concisely implemented with familiar APIs.
△ Less
Submitted 14 January, 2022;
originally announced January 2022.
-
Improving Learning-to-Defer Algorithms Through Fine-Tuning
Authors:
Naveen Raman,
Michael Yee
Abstract:
The ubiquity of AI leads to situations where humans and AI work together, creating the need for learning-to-defer algorithms that determine how to partition tasks between AI and humans. We work to improve learning-to-defer algorithms when paired with specific individuals by incorporating two fine-tuning algorithms and testing their efficacy using both synthetic and image datasets. We find that fin…
▽ More
The ubiquity of AI leads to situations where humans and AI work together, creating the need for learning-to-defer algorithms that determine how to partition tasks between AI and humans. We work to improve learning-to-defer algorithms when paired with specific individuals by incorporating two fine-tuning algorithms and testing their efficacy using both synthetic and image datasets. We find that fine-tuning can pick up on simple human skill patterns, but struggles with nuance, and we suggest future work that uses robust semi-supervised to improve learning.
△ Less
Submitted 18 December, 2021;
originally announced December 2021.
-
NL-Augmenter: A Framework for Task-Sensitive Natural Language Augmentation
Authors:
Kaustubh D. Dhole,
Varun Gangal,
Sebastian Gehrmann,
Aadesh Gupta,
Zhenhao Li,
Saad Mahamood,
Abinaya Mahendiran,
Simon Mille,
Ashish Shrivastava,
Samson Tan,
Tongshuang Wu,
Jascha Sohl-Dickstein,
Jinho D. Choi,
Eduard Hovy,
Ondrej Dusek,
Sebastian Ruder,
Sajant Anand,
Nagender Aneja,
Rabin Banjade,
Lisa Barthe,
Hanna Behnke,
Ian Berlot-Attwell,
Connor Boyle,
Caroline Brun,
Marco Antonio Sobrevilla Cabezudo
, et al. (101 additional authors not shown)
Abstract:
Data augmentation is an important component in the robustness evaluation of models in natural language processing (NLP) and in enhancing the diversity of the data they are trained on. In this paper, we present NL-Augmenter, a new participatory Python-based natural language augmentation framework which supports the creation of both transformations (modifications to the data) and filters (data split…
▽ More
Data augmentation is an important component in the robustness evaluation of models in natural language processing (NLP) and in enhancing the diversity of the data they are trained on. In this paper, we present NL-Augmenter, a new participatory Python-based natural language augmentation framework which supports the creation of both transformations (modifications to the data) and filters (data splits according to specific features). We describe the framework and an initial set of 117 transformations and 23 filters for a variety of natural language tasks. We demonstrate the efficacy of NL-Augmenter by using several of its transformations to analyze the robustness of popular natural language models. The infrastructure, datacards and robustness analysis results are available publicly on the NL-Augmenter repository (https://github.com/GEM-benchmark/NL-Augmenter).
△ Less
Submitted 11 October, 2022; v1 submitted 5 December, 2021;
originally announced December 2021.
-
Precise Dataflow Analysis of Event-Driven Applications
Authors:
Ming-Ho Yee,
Ayaz Badouraly,
Ondřej Lhoták,
Frank Tip,
Jan Vitek
Abstract:
Event-driven programming is widely used for implementing user interfaces, web applications, and non-blocking I/O. An event-driven program is organized as a collection of event handlers whose execution is triggered by events. Traditional static analysis techniques are unable to reason precisely about event-driven code because they conservatively assume that event handlers may execute in any order.…
▽ More
Event-driven programming is widely used for implementing user interfaces, web applications, and non-blocking I/O. An event-driven program is organized as a collection of event handlers whose execution is triggered by events. Traditional static analysis techniques are unable to reason precisely about event-driven code because they conservatively assume that event handlers may execute in any order. This paper proposes an automatic transformation from Interprocedural Finite Distributive Subset (IFDS) problems to Interprocedural Distributed Environment (IDE) problems as a general solution to obtain precise static analysis of event-driven applications; problems in both forms can be solved by existing implementations. Our contribution is to show how to improve analysis precision by automatically enriching the former with information about the state of event handlers to filter out infeasible paths. We prove the correctness of our transformation and report on experiments with a proof-of-concept implementation for a subset of JavaScript.
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
-
R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments
Authors:
Olivier Flückiger,
Guido Chari,
Jan Ječmen,
Ming-Ho Yee,
Jakob Hain,
Jan Vitek
Abstract:
The R programming language combines a number of features considered hard to analyze and implement efficiently: dynamic typing, reflection, lazy evaluation, vectorized primitive types, first-class closures, and extensive use of native code. Additionally, variable scopes are reified at runtime as first-class environments. The combination of these features renders most static program analysis techniq…
▽ More
The R programming language combines a number of features considered hard to analyze and implement efficiently: dynamic typing, reflection, lazy evaluation, vectorized primitive types, first-class closures, and extensive use of native code. Additionally, variable scopes are reified at runtime as first-class environments. The combination of these features renders most static program analysis techniques impractical, and thus, compiler optimizations based on them ineffective. We present our work on PIR, an intermediate representation with explicit support for first-class environments and effectful lazy evaluation. We describe two dataflow analyses on PIR: the first enables reasoning about variables and their environments, and the second infers where arguments are evaluated. Leveraging their results, we show how to elide environment creation and inline functions.
△ Less
Submitted 5 September, 2019; v1 submitted 11 July, 2019;
originally announced July 2019.
-
Consistency between ARPES and STM measurements on SmB$_6$
Authors:
Christian E. Matt,
Harris Pirie,
Anjan Soumyanarayanan,
Michael M. Yee,
Yang He,
Daniel T. Larson,
Wendel S. Paz,
J. J. Palacios,
M. H. Hamidian,
Jennifer E. Hoffman
Abstract:
Strongly correlated topological surface states are promising platforms for next-generation quantum applications, but they remain elusive in real materials. The correlated Kondo insulator SmB$_6$ is one of the most promising candidates, with theoretically predicted heavy Dirac surface states supported by transport and scanning tunneling microscopy (STM) experiments. However, a puzzling discrepancy…
▽ More
Strongly correlated topological surface states are promising platforms for next-generation quantum applications, but they remain elusive in real materials. The correlated Kondo insulator SmB$_6$ is one of the most promising candidates, with theoretically predicted heavy Dirac surface states supported by transport and scanning tunneling microscopy (STM) experiments. However, a puzzling discrepancy appears between STM and angle-resolved photoemission (ARPES) experiments on SmB$_6$. Although ARPES detects spin-textured surface states, their velocity is an order of magnitude higher than expected, while the Dirac point -- the hallmark of any topological system -- can only be inferred deep within the bulk valence band. A significant challenge is that SmB$_6$ lacks a natural cleavage plane, resulting in ordered surface domains limited to 10s of nanometers. Here we use STM to show that surface band bending can shift energy features by 10s of meV between domains. Starting from our STM spectra, we simulate the full spectral function as an average over multiple domains with different surface potentials. Our simulation shows excellent agreement with ARPES data, and thus resolves the apparent discrepancy between large-area measurements that average over multiple band-shifted domains and atomically-resolved measurements within a single domain.
△ Less
Submitted 16 May, 2020; v1 submitted 31 October, 2018;
originally announced October 2018.
-
Imaging emergent heavy Dirac fermions of a topological Kondo insulator
Authors:
Harris Pirie,
Yu Liu,
A. Soumyanarayanan,
Pengcheng Chen,
Yang He,
M. M. Yee,
P. F. S. Rosa,
J. D. Thompson,
Dae-Jeong Kim,
Z. Fisk,
Xiangfeng Wang,
J. Paglione,
Dirk K. Morr,
M. H. Hamidian,
Jennifer E. Hoffman
Abstract:
Kondo insulators are primary candidates in the search for strongly correlated topological quantum phases, which may host topological order, fractionalization, and non-Abelian statistics. Within some Kondo insulators, the hybridization gap is predicted to protect a nontrivial topological invariant and to harbor emergent heavy Dirac fermion surface modes. We use high-energy-resolution spectroscopic…
▽ More
Kondo insulators are primary candidates in the search for strongly correlated topological quantum phases, which may host topological order, fractionalization, and non-Abelian statistics. Within some Kondo insulators, the hybridization gap is predicted to protect a nontrivial topological invariant and to harbor emergent heavy Dirac fermion surface modes. We use high-energy-resolution spectroscopic imaging in real and momentum space on the Kondo insulator, SmB$_6$. On cooling through $T^*_Δ\approx$ 35 K we observe the opening of an insulating gap that expands to $Δ\approx$ 10 meV at 2 K. Within the gap, we image the formation of linearly dispersing surface states with effective masses reaching $m^* = (410\pm20)m_e$. We thus demonstrate existence of a strongly correlated topological Kondo insulator phase hosting the heaviest known Dirac fermions.
△ Less
Submitted 31 October, 2018;
originally announced October 2018.
-
Correctness of Speculative Optimizations with Dynamic Deoptimization
Authors:
Olivier Flückiger,
Gabriel Scherer,
Ming-Ho Yee,
Aviral Goel,
Amal Ahmed,
Jan Vitek
Abstract:
High-performance dynamic language implementations make heavy use of speculative optimizations to achieve speeds close to statically compiled languages. These optimizations are typically performed by a just-in-time compiler that generates code under a set of assumptions about the state of the program and its environment. In certain cases, a program may execute code compiled under assumptions that a…
▽ More
High-performance dynamic language implementations make heavy use of speculative optimizations to achieve speeds close to statically compiled languages. These optimizations are typically performed by a just-in-time compiler that generates code under a set of assumptions about the state of the program and its environment. In certain cases, a program may execute code compiled under assumptions that are no longer valid. The implementation must then deoptimize the program on-the-fly; this entails finding semantically equivalent code that does not rely on invalid assumptions, translating program state to that expected by the target code, and transferring control. This paper looks at the interaction between optimization and deoptimization, and shows that reasoning about speculation is surprisingly easy when assumptions are made explicit in the program representation. This insight is demonstrated on a compiler intermediate representation, named \sourir, modeled after the high-level representation for a dynamic language. Traditional compiler optimizations such constant folding, dead code elimination, and function inlining are shown to be correct in the presence of assumptions. Furthermore, the paper establishes the correctness of compiler transformations specific to deoptimization: namely unrestricted deoptimization, predicate hoisting, and assume composition.
△ Less
Submitted 15 November, 2017; v1 submitted 8 November, 2017;
originally announced November 2017.
-
Spin-Polarized Quantum Well States on Bi$_{2-x}$Fe$_x$Se$_3$
Authors:
Michael M. Yee,
Z. -H. Zhu,
Anjan Soumyanarayanan,
Yang He,
Can-Li Song,
Ekaterina Pomjakushina,
Zaher Salman,
Amit Kanigel,
Kouji Segawa,
Yoichi Ando,
Jennifer E. Hoffman
Abstract:
Low temperature scanning tunneling microscopy is used to image the doped topological insulator Bi$_{2-x}$Fe$_x$Se$_3$. Interstitial Fe defects allow the detection of quasiparticle interference (QPI), and the reconstruction of the empty state band structure. Quantitative comparison between measured data and density functional theory calculations reveals the unexpected coexistence of quantum well st…
▽ More
Low temperature scanning tunneling microscopy is used to image the doped topological insulator Bi$_{2-x}$Fe$_x$Se$_3$. Interstitial Fe defects allow the detection of quasiparticle interference (QPI), and the reconstruction of the empty state band structure. Quantitative comparison between measured data and density functional theory calculations reveals the unexpected coexistence of quantum well states (QWS) with topological surface states (TSS) on the atomically clean surface of Bi$_{2-x}$Fe$_x$Se$_3$. Spectroscopic measurements quantify the breakdown of linear dispersion due to hexagonal warping. Nonetheless, both QWS and TSS remain spin-polarized and protected from backscattering to almost 1 eV above the Dirac point, suggesting their utility for spin-based applications.
△ Less
Submitted 22 January, 2015;
originally announced January 2015.
-
Charge order driven by Fermi-arc instability in Bi2201
Authors:
R. Comin,
A. Frano,
M. M. Yee,
Y. Yoshida,
H. Eisaki,
E. Schierle,
E. Weschke,
R. Sutarto,
F. He,
A. Soumyanarayanan,
Yang He,
M. Le Tacon,
I. S. Elfimov,
J. E. Hoffman,
G. A. Sawatzky,
B. Keimer,
A. Damascelli
Abstract:
The understanding of the origin of superconductivity in cuprates has been hindered by the apparent diversity of intertwining electronic orders in these materials. We combined resonant x-ray scattering (REXS), scanning-tunneling microscopy (STM), and angle-resolved photoemission spectroscopy (ARPES) to observe a charge order that appears consistently in surface and bulk, and in momentum and real sp…
▽ More
The understanding of the origin of superconductivity in cuprates has been hindered by the apparent diversity of intertwining electronic orders in these materials. We combined resonant x-ray scattering (REXS), scanning-tunneling microscopy (STM), and angle-resolved photoemission spectroscopy (ARPES) to observe a charge order that appears consistently in surface and bulk, and in momentum and real space within one cuprate family, Bi2201. The observed wave vectors rule out simple antinodal nesting in the single-particle limit but match well with a phenomenological model of a many-body instability of the Fermi arcs. Combined with earlier observations of electronic order in other cuprate families, these findings suggest the existence of a generic charge-ordered state in underdoped cuprates and uncover its intimate connection to the pseudogap regime.
△ Less
Submitted 23 January, 2014; v1 submitted 4 December, 2013;
originally announced December 2013.
-
Imaging the Nanoscale Band Structure of Topological Sb
Authors:
Anjan Soumyanarayanan,
Michael M. Yee,
Yang He,
Hsin Lin,
Dillon R. Gardner,
Arun Bansil,
Young S. Lee,
Jennifer E. Hoffman
Abstract:
Many promising building blocks of future electronic technology - including non-stoichiometric compounds, strongly correlated oxides, and strained or patterned films - are inhomogeneous on the nanometer length scale. Exploiting the inhomogeneity of such materials to design next-generation nanodevices requires a band structure probe with nanoscale spatial resolution. To address this demand, we repor…
▽ More
Many promising building blocks of future electronic technology - including non-stoichiometric compounds, strongly correlated oxides, and strained or patterned films - are inhomogeneous on the nanometer length scale. Exploiting the inhomogeneity of such materials to design next-generation nanodevices requires a band structure probe with nanoscale spatial resolution. To address this demand, we report the first simultaneous observation and quantitative reconciliation of two candidate probes - Landau level spectroscopy and quasiparticle interference imaging - which we employ here to reconstruct the multi-component surface state band structure of the topological semimetal antimony(Sb). We thus establish the technique of band structure tunneling microscopy (BSTM), whose unique advantages include nanoscale access to non-rigid band structure deformation, empty state dispersion, and magnetic field dependent states. We use BSTM to elucidate the relationship between bulk conductivity and surface state robustness in topological materials, and to quantify essential metrics for spintronics applications.
△ Less
Submitted 7 November, 2013;
originally announced November 2013.
-
Imaging the Kondo Insulating Gap on SmB6
Authors:
Michael M. Yee,
Yang He,
Anjan Soumyanarayanan,
Dae-Jeong Kim,
Zachary Fisk,
Jennifer E. Hoffman
Abstract:
Topological insulators host spin-polarized surface states which robustly span the band gap and hold promise for novel applications. Recent theoretical predictions have suggested that topologically protected surface states may similarly span the hybridization gap in some strongly correlated heavy fermion materials, particularly SmB6. However, the process by which the Sm 4f electrons hybridize with…
▽ More
Topological insulators host spin-polarized surface states which robustly span the band gap and hold promise for novel applications. Recent theoretical predictions have suggested that topologically protected surface states may similarly span the hybridization gap in some strongly correlated heavy fermion materials, particularly SmB6. However, the process by which the Sm 4f electrons hybridize with the 5d electrons on the surface of SmB6, and the expected Fermi-level gap in the density of states out of which the predicted topological surface states must arise, have not been directly measured. We use scanning tunneling microscopy to conduct the first atomic resolution spectroscopic study of the cleaved surface of SmB6, and to reveal a robust hybridization gap which universally spans the Fermi level on four distinct surface morphologies despite shifts in the f band energy. Using a cotunneling model, we separate the density of states of the hybridized bands from which the predicted topological surface states must be disentangled. On all surfaces we observe residual spectral weight spanning the hybridization gap down to the lowest T, which is consistent with a topological surface state.
△ Less
Submitted 27 August, 2013; v1 submitted 5 August, 2013;
originally announced August 2013.
-
Fermi Surface and Pseudogap Evolution in a Cuprate Superconductor
Authors:
Yang He,
Yi Yin,
M. Zech,
Anjan Soumyanarayanan,
Michael M. Yee,
Tess Williams,
M. C. Boyer,
Kamalesh Chatterjee,
W. D. Wise,
I. Zeljkovic,
Takeshi Kondo,
T. Takeuchi,
H. Ikuta,
Peter Mistark,
Robert S. Markiewicz,
Arun Bansil,
Subir Sachdev,
E. W. Hudson,
Jennifer. E. Hoffman
Abstract:
The unclear relationship between cuprate superconductivity and the pseudogap state remains an impediment to understanding the high transition temperature (Tc) superconducting mechanism. Here we employ magnetic-field-dependent scanning tunneling microscopy to provide phase-sensitive proof that d-wave superconductivity coexists with the pseudogap on the antinodal Fermi surface of an overdoped cuprat…
▽ More
The unclear relationship between cuprate superconductivity and the pseudogap state remains an impediment to understanding the high transition temperature (Tc) superconducting mechanism. Here we employ magnetic-field-dependent scanning tunneling microscopy to provide phase-sensitive proof that d-wave superconductivity coexists with the pseudogap on the antinodal Fermi surface of an overdoped cuprate. Furthermore, by tracking the hole doping (p) dependence of the quasiparticle interference pattern within a single Bi-based cuprate family, we observe a Fermi surface reconstruction slightly below optimal doping, indicating a zero-field quantum phase transition in notable proximity to the maximum superconducting Tc. Surprisingly, this major reorganization of the system's underlying electronic structure has no effect on the smoothly evolving pseudogap.
△ Less
Submitted 21 May, 2014; v1 submitted 13 May, 2013;
originally announced May 2013.
-
A quantum phase transition from triangular to stripe charge order in NbSe$_{2}$
Authors:
Anjan Soumyanarayanan,
Michael M. Yee,
Yang He,
Jasper van Wezel,
D. J. Rahn,
K. Rossnagel,
E. W. Hudson,
M. R. Norman,
Jennifer E. Hoffman
Abstract:
The competition between proximate electronic phases produces a complex phenomenology in strongly correlated systems. In particular, fluctuations associated with periodic charge or spin modulations, known as density waves, may lead to exotic superconductivity in several correlated materials. However, density waves have been difficult to isolate in the presence of chemical disorder, and the suspecte…
▽ More
The competition between proximate electronic phases produces a complex phenomenology in strongly correlated systems. In particular, fluctuations associated with periodic charge or spin modulations, known as density waves, may lead to exotic superconductivity in several correlated materials. However, density waves have been difficult to isolate in the presence of chemical disorder, and the suspected causal link between competing density wave orders and high temperature superconductivity is not understood. Here we use scanning tunneling microscopy to image a previously unknown unidirectional (stripe) charge density wave (CDW) smoothly interfacing with the familiar tri-directional (triangular) CDW on the surface of the stoichiometric superconductor NbSe$_2$. Our low temperature measurements rule out thermal fluctuations, and point to local strain as the tuning parameter for this quantum phase transition. We use this discovery to resolve two longstanding debates about the anomalous spectroscopic gap and the role of Fermi surface nesting in the CDW phase of NbSe$_2$. Our results highlight the importance of local strain in governing phase transitions and competing phenomena, and suggest a new direction of inquiry for resolving similarly longstanding debates in cuprate superconductors and other strongly correlated materials.
△ Less
Submitted 17 December, 2012;
originally announced December 2012.
-
Dopant Clustering, Electronic Inhomogeneity, and Vortex Pinning in Iron-Based Superconductors
Authors:
Can-Li Song,
Yi Yin,
Martin Zech,
Tess Williams,
Michael Yee,
Gen-Fu Chen,
Jian-Lin Luo,
Nan-Lin Wang,
Eric. W. Hudson,
Jennifer. E. Hoffman
Abstract:
We use scanning tunneling microscopy to map the surface structure, nanoscale electronic inhomogeneity, and vitreous vortex phase in the hole-doped superconductor Sr$_{0.75}$K$_{0.25}$Fe$_2$As$_2$ with $T_c$=32 K. We find the low-$T$ cleaved surface is dominated by a half-Sr/K termination with $1\times 2$ ordering and ubiquitous superconducting gap, while patches of gapless, unreconstructed As term…
▽ More
We use scanning tunneling microscopy to map the surface structure, nanoscale electronic inhomogeneity, and vitreous vortex phase in the hole-doped superconductor Sr$_{0.75}$K$_{0.25}$Fe$_2$As$_2$ with $T_c$=32 K. We find the low-$T$ cleaved surface is dominated by a half-Sr/K termination with $1\times 2$ ordering and ubiquitous superconducting gap, while patches of gapless, unreconstructed As termination appear rarely. The superconducting gap varies by $σ/\barΔ$=16% on a $\sim$3 nm length scale, with average $2\barΔ/k_B T_c=3.6$ in the weak coupling limit. The vortex core size provides a measure of the superconducting coherence length $ξ$=2.3 nm. We quantify the vortex lattice correlation length at 9 T in comparison to several iron-based superconductors. The comparison leads us to suggest the importance of dopant size mismatch as a cause of dopant clustering, electronic inhomogeneity, and strong vortex pinning.
△ Less
Submitted 2 July, 2013; v1 submitted 13 December, 2012;
originally announced December 2012.
-
Atomistic modeling of the electrostatic and transport properties of a simplified nanoscale field effect transistor
Authors:
Li-Na Zhao,
Xue-Feng Wang,
Zhen-Hua Yao,
Zhu-Feng Hou,
Marcus Yee,
Xing Zhou,
Shi-Huan Lin,
Teck-Seng Lee
Abstract:
A first-principle model is proposed to study the electrostatic properties of a double-gated silicon slab of nano scale in the framework of density functional theory. The applied gate voltage is approximated as a variation of the electrostatic potential on the boundary of the supercell enclosing the system. With the electron density estimated by the real space Green's functions, efficient multigr…
▽ More
A first-principle model is proposed to study the electrostatic properties of a double-gated silicon slab of nano scale in the framework of density functional theory. The applied gate voltage is approximated as a variation of the electrostatic potential on the boundary of the supercell enclosing the system. With the electron density estimated by the real space Green's functions, efficient multigrid and fast Fourier Poisson solvers are employed to calculate the electrostatic potential from the charge density. In the representation of localized SIESTA linear combination of atomic orbitals, the Kohn-Sham equation is established and solved self-consistently for the wavefunction of the system in the local density approximation. The transmission for ballistic transport across the atomic silicon slab at small bias is calculated. The charge distribution and electrostatic potential profile in the silicon slab versus the gate voltage are then analyzed with the help of the equivalent capacitive model. Quantum confinement and short gate effects are observed and discussed.
△ Less
Submitted 29 November, 2008;
originally announced December 2008.
-
Duality Symmetry in Kaluza-Klein $n+D+d$ Dimensional Cosmological Model
Authors:
J. A. Nieto,
M. P. Ryan,
O. Velarde,
C. M. Yee
Abstract:
It is shown that, with the only exception of $n=2$, the Einstein-Hilbert action in $n+D+d$ dimensions, with $n$ times, is invariant under the duality transformation $a\to \frac{1}{a}$ and $b\to \frac{1}{b}$, where $a$ is a Friedmann-Robertson-Walker scale factor in $D$ dimensions and $b$ a Brans-Dicke scalar field in $d$ dimensions respectively. We investigate the $2+D+d$ dimensional cosmologica…
▽ More
It is shown that, with the only exception of $n=2$, the Einstein-Hilbert action in $n+D+d$ dimensions, with $n$ times, is invariant under the duality transformation $a\to \frac{1}{a}$ and $b\to \frac{1}{b}$, where $a$ is a Friedmann-Robertson-Walker scale factor in $D$ dimensions and $b$ a Brans-Dicke scalar field in $d$ dimensions respectively. We investigate the $2+D+d$ dimensional cosmological model in some detail.
△ Less
Submitted 4 February, 2004; v1 submitted 21 January, 2004;
originally announced January 2004.
-
p-Brane Action from Gravi-Dilaton Effective Action
Authors:
J. A. Nieto,
C. M. Yee
Abstract:
Using a special ansatz for the metric, by straightforward computation we prove that gravi-dilaton effective action in higher dimensions is reduced to the p-brane action. The dual symmetry of the generic type $%a\longleftrightarrow \frac 1a$ is an important symmetry of the reduced action.
Using a special ansatz for the metric, by straightforward computation we prove that gravi-dilaton effective action in higher dimensions is reduced to the p-brane action. The dual symmetry of the generic type $%a\longleftrightarrow \frac 1a$ is an important symmetry of the reduced action.
△ Less
Submitted 19 September, 2000; v1 submitted 1 August, 2000;
originally announced August 2000.