-
The corona of a fully convective star with a near-polar flare
Authors:
Ekaterina Ilin,
Katja Poppenhäger,
Beate Stelzer,
Desmond Dsouza
Abstract:
In 2020, the Transiting Exoplanet Survey Satellite (TESS) observed a rapidly rotating M7 dwarf, TIC 277539431, produce a flare at 81° latitude, the highest latitude flare located to date. This is in stark contrast to solar flares that occur much closer to the equator, typically below 30°. The mechanisms that allow flares at high latitudes to occur are poorly understood. We studied five Sectors of…
▽ More
In 2020, the Transiting Exoplanet Survey Satellite (TESS) observed a rapidly rotating M7 dwarf, TIC 277539431, produce a flare at 81° latitude, the highest latitude flare located to date. This is in stark contrast to solar flares that occur much closer to the equator, typically below 30°. The mechanisms that allow flares at high latitudes to occur are poorly understood. We studied five Sectors of TESS monitoring, and obtained 36 ks of XMM-Newton observations to investigate the coronal and flaring activity of TIC 277539431. From the observations, we infer the optical flare frequency distribution, flare loop sizes and magnetic field strengths, the soft X-ray flux, luminosity and coronal temperatures, as well as the energy, loop size and field strength of a large flare in the XMM-Newton observations. We find that TIC 277539431's corona does not differ significantly from other low mass stars on the canonical saturated activity branch with respect to coronal temperatures and flaring activity, but shows lower luminosity in soft X-ray emission by about an order of magnitude, consistent with other late M dwarfs. The lack of X-ray flux, the high latitude flare, the star's viewing geometry, and the otherwise typical stellar corona taken together can be explained by the migration of flux emergence to the poles in rapid rotators like TIC 277539431 that drain the star's equatorial regions of magnetic flux, but preserve its ability to produce powerful flares.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Aya Dataset: An Open-Access Collection for Multilingual Instruction Tuning
Authors:
Shivalika Singh,
Freddie Vargus,
Daniel Dsouza,
Börje F. Karlsson,
Abinaya Mahendiran,
Wei-Yin Ko,
Herumb Shandilya,
Jay Patel,
Deividas Mataciunas,
Laura OMahony,
Mike Zhang,
Ramith Hettiarachchi,
Joseph Wilson,
Marina Machado,
Luisa Souza Moura,
Dominik Krzemiński,
Hakimeh Fadaei,
Irem Ergün,
Ifeoma Okoh,
Aisha Alaagib,
Oshan Mudannayake,
Zaid Alyafeai,
Vu Minh Chien,
Sebastian Ruder,
Surya Guthikonda
, et al. (8 additional authors not shown)
Abstract:
Datasets are foundational to many breakthroughs in modern artificial intelligence. Many recent achievements in the space of natural language processing (NLP) can be attributed to the finetuning of pre-trained models on a diverse set of tasks that enables a large language model (LLM) to respond to instructions. Instruction fine-tuning (IFT) requires specifically constructed and annotated datasets.…
▽ More
Datasets are foundational to many breakthroughs in modern artificial intelligence. Many recent achievements in the space of natural language processing (NLP) can be attributed to the finetuning of pre-trained models on a diverse set of tasks that enables a large language model (LLM) to respond to instructions. Instruction fine-tuning (IFT) requires specifically constructed and annotated datasets. However, existing datasets are almost all in the English language. In this work, our primary goal is to bridge the language gap by building a human-curated instruction-following dataset spanning 65 languages. We worked with fluent speakers of languages from around the world to collect natural instances of instructions and completions. Furthermore, we create the most extensive multilingual collection to date, comprising 513 million instances through templating and translating existing datasets across 114 languages. In total, we contribute four key resources: we develop and open-source the Aya Annotation Platform, the Aya Dataset, the Aya Collection, and the Aya Evaluation Suite. The Aya initiative also serves as a valuable case study in participatory research, involving collaborators from 119 countries. We see this as a valuable framework for future research collaborations that aim to bridge gaps in resources.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
The first evidence of tidally induced activity in a brown dwarf-M dwarf pair: A Chandra study of the NLTT 41135/41136 system
Authors:
Nikoleta Ilić,
Katja Poppenhaeger,
Desmond Dsouza,
Scott J. Wolk,
Marcel A. Agüeros,
Beate Stelzer
Abstract:
The magnetic activity of low-mass stars changes as they age. The primary process decreasing the stellar activity level is the angular momentum loss via magnetized stellar wind. However, processes like tidal interactions between stars and their close companions may slow down the braking effect and the subsequent decrease of the activity level. Until now, the tidal impact of substellar objects like…
▽ More
The magnetic activity of low-mass stars changes as they age. The primary process decreasing the stellar activity level is the angular momentum loss via magnetized stellar wind. However, processes like tidal interactions between stars and their close companions may slow down the braking effect and the subsequent decrease of the activity level. Until now, the tidal impact of substellar objects like brown dwarfs on the evolution of their central stars has not been quantified. Here, we analyse the X-ray properties of NLTT 41135, an M dwarf tightly orbited by a brown dwarf, to determine the impact of tidal interactions between them. We find that NLTT 41135 is more than an order of magnitude brighter in the X-ray regime than its stellar companion NLTT 41136, also an M dwarf star, with whom it forms a wide binary system. To characterize the typical intrinsic activity scatter between coeval M dwarf stars, we analyse a control sample of 25 M dwarf wide binary systems, observed with XMM-Newton and Chandra telescopes and the eROSITA instrument onboard the Spectrum Röntgen Gamma satellite. The activity difference in the NLTT 41135/41136 system is a $3.44 σ$ outlier compared to the intrinsic activity scatter of the control systems. Therefore, the most convincing explanation for the observed activity discrepancy is tidal interactions between the M dwarf and its brown dwarf. This shows that tidal interactions between a star and a substellar companion can moderately alter the expected angular-momentum evolution of the star, making standard observational proxies for its age, such as X-ray emission, unreliable.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
Presburger-Definable Parameterized Typestates
Authors:
Ashish Mishra,
Deepak Dsouza,
Y. N. Srikant
Abstract:
Typestates are good at capturing dynamic states of a program as compared to normal types that can capture static structural properties of data and program. Although useful, typestates are suitable only for specifying and verifying program properties defined using finite-state abstractions. Many useful dynamic properties of programs are not finite-state definable. To address these issues, we introd…
▽ More
Typestates are good at capturing dynamic states of a program as compared to normal types that can capture static structural properties of data and program. Although useful, typestates are suitable only for specifying and verifying program properties defined using finite-state abstractions. Many useful dynamic properties of programs are not finite-state definable. To address these issues, we introduce parameterized typestates (p-typestates). p-typestates associate a logical property with each state of regular typestate, thereby allowing specification of properties beyond finite-state abstractions. We present a dependent type system to express and verify p-typestate properties and a typestate-oriented core programming language incorporating these dependent types. Automatic inductive type-checking of p-typestate properties usually requires a programmer to provide loop invariants as annotations. Here we propose a way to calculate loop invariants automatically, using loop acceleration techniques for Presburger definable transition systems. \keywords{Programming Languages, Typestates, Dependent Types, Non-Regular Program Properties, Verification, Loop Invariants}
△ Less
Submitted 23 December, 2017;
originally announced December 2017.
-
ROMANO: A Novel Overlay Lightweight Communication Protocol for Unified Control and Sensing of a Network of Robots
Authors:
Pradipta Ghosh,
Jason A. Tran,
Daniel Dsouza,
Nora Ayanian,
Bhaskar Krishnamachari
Abstract:
We present the Robotic Overlay coMmunicAtioN prOtocol (ROMANO), a lightweight, application layer overlay communication protocol for a unified sensing and control abstraction of a network of heterogeneous robots mainly consisting of low power, low-compute-capable robots. ROMANO is built to work in conjunction with the well-known MQ Telemetry Transport for Sensor Nodes (MQTT-SN) protocol, a lightwei…
▽ More
We present the Robotic Overlay coMmunicAtioN prOtocol (ROMANO), a lightweight, application layer overlay communication protocol for a unified sensing and control abstraction of a network of heterogeneous robots mainly consisting of low power, low-compute-capable robots. ROMANO is built to work in conjunction with the well-known MQ Telemetry Transport for Sensor Nodes (MQTT-SN) protocol, a lightweight publish-subscribe communication protocol for the Internet of Things and makes use its concept of "topics" to designate the addition and deletion of communication endpoints by changing the subscriptions of topics at each device. We also develop a portable implementation of ROMANO for low power IEEE 802.15.4 (Zigbee) radios and deployed it on a small testbed of commercially available, low-power, and low-compute-capable robots called Pololu 3pi robots. Based on a thorough analysis of the protocol on the real testbed, as a measure of throughput, we demonstrate that ROMANO can guarantee more than a $99.5\%$ message delivery ratio for a message generation rate up to 200 messages per second. The single hop delays in ROMANO are as low as 20ms with linear dependency on the number of robots connected. These delay numbers concur with typical delays in 802.15.4 networks and suggest that ROMANO does not introduce additional delays. Lastly, we implement four different multi-robot applications to demonstrate the scalability, adaptability, ease of integration, and reliability of ROMANO.
△ Less
Submitted 21 September, 2017;
originally announced September 2017.
