Showing 1–47 of 47 results for author: Soares, G

Matrices with Hyperbolical Krein Space Numerical Range

Authors: N. Bebiano, R. Lemos, G. Soares

Abstract: This paper is devoted to matrices with hyperbolical Krein space numerical range. This shape characterizes the 2-by-2 case and persists for certain classes of matrices, independently of their size. Ne\-cessary and sufficient conditions for low dimensional tridiagonal matrices to have this shape are obtained only involving the matrix entries This paper is devoted to matrices with hyperbolical Krein space numerical range. This shape characterizes the 2-by-2 case and persists for certain classes of matrices, independently of their size. Ne\-cessary and sufficient conditions for low dimensional tridiagonal matrices to have this shape are obtained only involving the matrix entries △ Less

Submitted 4 July, 2024; v1 submitted 3 July, 2024; originally announced July 2024.

METAREFLECTION: Learning Instructions for Language Agents using Past Reflections

Authors: Priyanshu Gupta, Shashank Kirtania, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Sherry Shi, Gustavo Soares

Abstract: Despite the popularity of Large Language Models (LLMs), crafting specific prompts for LLMs to perform particular tasks remains challenging. Users often engage in multiple conversational turns with an LLM-based agent to accomplish their intended task. Recent studies have demonstrated that linguistic feedback, in the form of self-reflections generated by the model, can work as reinforcement during t… ▽ More Despite the popularity of Large Language Models (LLMs), crafting specific prompts for LLMs to perform particular tasks remains challenging. Users often engage in multiple conversational turns with an LLM-based agent to accomplish their intended task. Recent studies have demonstrated that linguistic feedback, in the form of self-reflections generated by the model, can work as reinforcement during these conversations, thus enabling quicker convergence to the desired outcome. Motivated by these findings, we introduce METAREFLECTION, a novel technique that learns general prompt instructions for a specific domain from individual self-reflections gathered during a training phase. We evaluate our technique in two domains: Infrastructure as Code (IAC) vulnerability detection and question-answering (QA) using REACT and COT. Our results demonstrate a notable improvement, with METARELECTION outperforming GPT-4 by 16.82% (IAC), 31.33% (COT), and 15.42% (REACT), underscoring the potential of METAREFLECTION as a viable method for enhancing the efficiency of LLMs. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Modelling stochastic fluctuations in relativistic kinetic theory

Authors: Gabriel Soares Rocha, Lorenzo Gavassino, Nicki Mullins

Abstract: Using the information current, we develop a Lorentz-covariant framework for modeling equilibrium fluctuations in relativistic kinetic theory in the grand-canonical ensemble. The resulting stochastic theory is proven to be causal and covariantly stable, and its predictions do not depend on the choice of spacetime foliation used to define the grand-canonical probabilities. As expected, in a box cont… ▽ More Using the information current, we develop a Lorentz-covariant framework for modeling equilibrium fluctuations in relativistic kinetic theory in the grand-canonical ensemble. The resulting stochastic theory is proven to be causal and covariantly stable, and its predictions do not depend on the choice of spacetime foliation used to define the grand-canonical probabilities. As expected, in a box containing $N{>}5$ particles, Boltzmann's molecular chaos postulate is broken with (almost exact) probability $N^{-1/2}$, leading to a breakdown of the Boltzmann equation in small systems. We also verify that, in ultrarelativistic gases, transient hydrodynamics already accounts for at least 80% of the equilibrium fluctuations of the stress-energy tensor at a given time. Finally, we compute the correlators at non-equal times for two selected collision kernels: That of a chemically active diluted solution, and that of ultrarelativistic scalar particles self-interacting via a quartic potential. For the former, we compute the density-density correlators analytically in real space, and dehydrodynamization of the stochastic theory is proven to occur whenever the mean free path diverges at high energy. △ Less

Submitted 17 May, 2024; originally announced May 2024.

Comments: 36 pages, 8 figures

Analytical insights into the interplay of momentum, multiplicity and the speed of sound in heavy-ion collisions

Authors: Gabriel Soares Rocha, Lorenzo Gavassino, Mayank Singh, Jean-François Paquet

Abstract: We introduce a minimal model of ultracentral heavy-ion collisions to study the relation between the speed of sound of the produced plasma and the final particles' energy and multiplicity. We discuss how the particles' multiplicity $N_{\textrm{tot}}$ and average energy $E_{\textrm{tot}}/N_{\textrm{tot}}$ is related to the speed of sound $c_s$ by… ▽ More We introduce a minimal model of ultracentral heavy-ion collisions to study the relation between the speed of sound of the produced plasma and the final particles' energy and multiplicity. We discuss how the particles' multiplicity $N_{\textrm{tot}}$ and average energy $E_{\textrm{tot}}/N_{\textrm{tot}}$ is related to the speed of sound $c_s$ by $c_s^2=d \ln (E_{\textrm{tot}}/N_{\textrm{tot}})/d\ln N_{\textrm{tot}}$ if the fluid is inviscid, its speed of sound is constant and all final particles can be measured. We show that finite rapidity cuts on the particles' multiplicity $N$ and energy $E$ introduce corrections between $c_s^2$ and $d \ln (E/N)/d\ln N$ that depend on the system's lifetime. We study analytically these deviations with the Gubser hydrodynamic solution, finding that, for ultrarelativistic bosons, they scale as the ratio of the freezeout temperature $T_{\mathrm{FO}}$ over the maximum initial temperature of the fluid $T_{0}$; the non-thermodynamic aspect of these corrections is highlighted through their dependence on the system's initial conditions. △ Less

Submitted 16 May, 2024; originally announced May 2024.

Comments: 21 pages, 8 figures

The Quasar Catalogue for S-PLUS DR4 (QuCatS) and the estimation of photometric redshifts

Authors: L. Nakazono, R. R. Valença, G. Soares, R. Izbicki, Ž. Ivezić, E. V. R. Lima, N. S. T. Hirata, L. Sodré Jr., R. Overzier, F. Almeida-Fernandes, G. B. Oliveira Schwarz, W. Schoenell, A. Kanaan, T. Ribeiro, C. Mendes de Oliveira

Abstract: The advent of massive broad-band photometric surveys enabled photometric redshift estimates for unprecedented numbers of galaxies and quasars. These estimates can be improved using better algorithms or by obtaining complementary data such as narrow-band photometry, and broad-band photometry over an extended wavelength range. We investigate the impact of both approaches on photometric redshifts for… ▽ More The advent of massive broad-band photometric surveys enabled photometric redshift estimates for unprecedented numbers of galaxies and quasars. These estimates can be improved using better algorithms or by obtaining complementary data such as narrow-band photometry, and broad-band photometry over an extended wavelength range. We investigate the impact of both approaches on photometric redshifts for quasars using data from S-PLUS DR4, GALEX DR6/7, and unWISE in three machine learning methods: Random Forest (RF), FlexCoDE, and Bayesian Mixture Density Network (BMDN). Including narrow-band photometry improves the root-mean-square error by 11% in comparison to a model trained with only broad-band photometry. Narrow-band information only provided an improvement of 3.8% when GALEX and WISE colours were included. Thus narrow bands play a more important role for objects that do not have GALEX or WISE counterparts, which respectively makes 92% and 25% of S-PLUS data considered here. Nevertheless, the inclusion of narrow-band information provided better estimates of the probability density functions obtained with FlexCoDE and BMDN. We publicly release a value-added catalogue of photometrically-selected quasars with the photo-z predictions from all methods studied here. The catalogue provided with this work covers the S-PLUS DR4 area (~3000deg$^2$), containing 645 980, 244 912, 144 991 sources with the probability of being a quasar higher than, 80%, 90%, 95% up to r < 21.3 and good photometry quality in the detection image. More quasar candidates can be retrieved from the S-PLUS database by considering less restrictive selection criteria. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Comments: Accepted to MNRAS

Branch-cut in the shear-stress response function of massless $λ\varphi^4$ with Boltzmann statistics

Authors: Gabriel S. Rocha, Isabella Danhoni, Kevin Ingles, Gabriel S. Denicol, Jorge Noronha

Abstract: Using an analytical result for the eigensystem of the linearized collision term for a classical system of massless scalar particles with quartic self-interactions, we show that the shear-stress linear response function possesses a branch-cut singularity that covers the whole positive imaginary semi-axis. This is demonstrated in two ways: (1) by truncating the exact, infinite linear system of linea… ▽ More Using an analytical result for the eigensystem of the linearized collision term for a classical system of massless scalar particles with quartic self-interactions, we show that the shear-stress linear response function possesses a branch-cut singularity that covers the whole positive imaginary semi-axis. This is demonstrated in two ways: (1) by truncating the exact, infinite linear system of linear equations for the rank-two tensor modes, which reveals the cut touching the origin; and (2) by employing the Trotterization techniques to invert the linear response problem. The former shows that the first pole tends towards the origin and the average separation between consecutive poles tends towards zero as power laws in the dimension of the basis. The latter allows one to obtain the response function in closed form in terms of Tricomi hypergeometrical functions, which possess a branch-cut on the above-mentioned semi-axis. This suggests that the presence of a cut along the imaginary frequency axis of the shear stress correlator, inferred from previous numerical analyses of weakly coupled scalar $λ\varphi^4$ theories, does not arise due to quantum statistics but instead emerges from the fundamental properties of this system's interactions. △ Less

Submitted 6 April, 2024; originally announced April 2024.

Comments: 18 pages, 3 figures

Transport coefficients of transient hydrodynamics for the hadron-resonance gas and thermal-mass quasiparticle models

Authors: Gabriel S. Rocha, Gabriel S. Denicol

Abstract: We calculate all transport coefficients of second order transient hydrodynamics in two effective kinetic theory models: a hadron-resonance gas and a quasiparticle model with thermal masses tuned to reproduce QCD thermodynamics. We compare the corresponding results with calculations for an ultrarelativistic single-component gas, that are widely employed in hydrodynamic simulations of heavy ion coll… ▽ More We calculate all transport coefficients of second order transient hydrodynamics in two effective kinetic theory models: a hadron-resonance gas and a quasiparticle model with thermal masses tuned to reproduce QCD thermodynamics. We compare the corresponding results with calculations for an ultrarelativistic single-component gas, that are widely employed in hydrodynamic simulations of heavy ion collisions. We find that both of these effective models display a qualitatively different normalized bulk viscosity, when compared to the calculation for the single-component gas. Indeed, $ζ/[τ_Π(\varepsilon_{0} + P_{0})] \simeq 16.91(1/3-c_{s}^{2})^{2}$, for the hadron-resonance gas model, and $ζ/[τ_Π(\varepsilon_{0} + P_{0})] \simeq 5 (1/3-c_{s}^{2})$ for the quasiparticle model. Differences are also observed for many second-order transport coefficients, specially those related to the bulk viscous pressure. The transport coefficients derived are shown to be consistent with fundamental linear stability and causality conditions. △ Less

Submitted 10 February, 2024; originally announced February 2024.

Comments: 21 pages, 5 figures

Exploring Interaction Patterns for Debugging: Enhancing Conversational Capabilities of AI-assistants

Authors: Bhavya Chopra, Yasharth Bajpai, Param Biyani, Gustavo Soares, Arjun Radhakrishna, Chris Parnin, Sumit Gulwani

Abstract: The widespread availability of Large Language Models (LLMs) within Integrated Development Environments (IDEs) has led to their speedy adoption. Conversational interactions with LLMs enable programmers to obtain natural language explanations for various software development tasks. However, LLMs often leap to action without sufficient context, giving rise to implicit assumptions and inaccurate respo… ▽ More The widespread availability of Large Language Models (LLMs) within Integrated Development Environments (IDEs) has led to their speedy adoption. Conversational interactions with LLMs enable programmers to obtain natural language explanations for various software development tasks. However, LLMs often leap to action without sufficient context, giving rise to implicit assumptions and inaccurate responses. Conversations between developers and LLMs are primarily structured as question-answer pairs, where the developer is responsible for asking the the right questions and sustaining conversations across multiple turns. In this paper, we draw inspiration from interaction patterns and conversation analysis -- to design Robin, an enhanced conversational AI-assistant for debugging. Through a within-subjects user study with 12 industry professionals, we find that equipping the LLM to -- (1) leverage the insert expansion interaction pattern, (2) facilitate turn-taking, and (3) utilize debugging workflows -- leads to lowered conversation barriers, effective fault localization, and 5x improvement in bug resolution rates. △ Less

Submitted 9 February, 2024; originally announced February 2024.

Comments: 7 pages, 4 figures, 2 tables

Building Your Own Product Copilot: Challenges, Opportunities, and Needs

Authors: Chris Parnin, Gustavo Soares, Rahul Pandita, Sumit Gulwani, Jessica Rich, Austin Z. Henley

Abstract: A race is underway to embed advanced AI capabilities into products. These product copilots enable users to ask questions in natural language and receive relevant responses that are specific to the user's context. In fact, virtually every large technology company is looking to add these capabilities to their software products. However, for most software engineers, this is often their first encounte… ▽ More A race is underway to embed advanced AI capabilities into products. These product copilots enable users to ask questions in natural language and receive relevant responses that are specific to the user's context. In fact, virtually every large technology company is looking to add these capabilities to their software products. However, for most software engineers, this is often their first encounter with integrating AI-powered technology. Furthermore, software engineering processes and tools have not caught up with the challenges and scale involved with building AI-powered applications. In this work, we present the findings of an interview study with 26 professional software engineers responsible for building product copilots at various companies. From our interviews, we found pain points at every step of the engineering process and the challenges that strained existing development practices. We then conducted group brainstorming sessions to collaborative on opportunities and tool designs for the broader software engineering community. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Comments: 11 pages

Theories of Relativistic Dissipative Fluid Dynamics

Authors: Gabriel S. Rocha, David Wagner, Gabriel S. Denicol, Jorge Noronha, Dirk H. Rischke

Abstract: Relativistic dissipative fluid dynamics finds widespread applications in high-energy nuclear physics and astrophysics. However, formulating a causal and stable theory of relativistic dissipative fluid dynamics is far from trivial; efforts to accomplish this reach back more than 50 years. In this review, we give an overview of the field and attempt a comparative assessment of (at least most of) the… ▽ More Relativistic dissipative fluid dynamics finds widespread applications in high-energy nuclear physics and astrophysics. However, formulating a causal and stable theory of relativistic dissipative fluid dynamics is far from trivial; efforts to accomplish this reach back more than 50 years. In this review, we give an overview of the field and attempt a comparative assessment of (at least most of) the theories for relativistic dissipative fluid dynamics proposed until today and used in applications. △ Less

Submitted 25 November, 2023; originally announced November 2023.

Comments: 73 pages, no figures, invited review for journal "Entropy"

Hydrodynamic theories for a system of weakly self-interacting classical ultra-relativistic scalar particles: causality and stability

Authors: Caio V. P. de Brito, Gabriel S. Rocha, Gabriel S. Denicol

Abstract: We investigate the causality and stability of three different relativistic dissipative fluid-dynamical formulations emerging from a system of classical, ultra-relativistic scalar particles self-interacting via a quartic potential. For this particular interaction, all transport coefficients of Navier-Stokes, Bemfica-Disconzi-Noronha-Kovtun and second-order transient theories can be computed in anal… ▽ More We investigate the causality and stability of three different relativistic dissipative fluid-dynamical formulations emerging from a system of classical, ultra-relativistic scalar particles self-interacting via a quartic potential. For this particular interaction, all transport coefficients of Navier-Stokes, Bemfica-Disconzi-Noronha-Kovtun and second-order transient theories can be computed in analytical form. We first show that Navier-Stokes theory is acausal and unstable regardless of the matching conditions. On the other hand, BDNK theory can be linearly causal and stable for a particular set of matching choices that does not contain the so-called exotic Eckart prescription. In particular, using the Liénard-Chipart criterion, we obtain a set of sufficient conditions that guarantee the stability of the theory. Last, second-order transient hydrodynamic theory in Landau matching is shown to be linearly causal and stable. △ Less

Submitted 13 November, 2023; originally announced November 2023.

Comments: 21 pages, 5 figures

Automating Human Tutor-Style Programming Feedback: Leveraging GPT-4 Tutor Model for Hint Generation and GPT-3.5 Student Model for Hint Validation

Authors: Tung Phung, Victor-Alexandru Pădurean, Anjali Singh, Christopher Brooks, José Cambronero, Sumit Gulwani, Adish Singla, Gustavo Soares

Abstract: Generative AI and large language models hold great promise in enhancing programming education by automatically generating individualized feedback for students. We investigate the role of generative AI models in providing human tutor-style programming hints to help students resolve errors in their buggy programs. Recent works have benchmarked state-of-the-art models for various feedback generation… ▽ More Generative AI and large language models hold great promise in enhancing programming education by automatically generating individualized feedback for students. We investigate the role of generative AI models in providing human tutor-style programming hints to help students resolve errors in their buggy programs. Recent works have benchmarked state-of-the-art models for various feedback generation scenarios; however, their overall quality is still inferior to human tutors and not yet ready for real-world deployment. In this paper, we seek to push the limits of generative AI models toward providing high-quality programming hints and develop a novel technique, GPT4Hints-GPT3.5Val. As a first step, our technique leverages GPT-4 as a ``tutor'' model to generate hints -- it boosts the generative quality by using symbolic information of failing test cases and fixes in prompts. As a next step, our technique leverages GPT-3.5, a weaker model, as a ``student'' model to further validate the hint quality -- it performs an automatic quality validation by simulating the potential utility of providing this feedback. We show the efficacy of our technique via extensive evaluation using three real-world datasets of Python programs covering a variety of concepts ranging from basic algorithms to regular expressions and data analysis using pandas library. △ Less

Submitted 21 December, 2023; v1 submitted 5 October, 2023; originally announced October 2023.

Comments: Published in Learning Analytics and Knowledge Conference (LAK) 2024

Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors

Authors: Tung Phung, Victor-Alexandru Pădurean, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares

Abstract: Generative AI and large language models hold great promise in enhancing computing education by powering next-generation educational technologies for introductory programming. Recent works have studied these models for different scenarios relevant to programming education; however, these works are limited for several reasons, as they typically consider already outdated models or only specific scena… ▽ More Generative AI and large language models hold great promise in enhancing computing education by powering next-generation educational technologies for introductory programming. Recent works have studied these models for different scenarios relevant to programming education; however, these works are limited for several reasons, as they typically consider already outdated models or only specific scenario(s). Consequently, there is a lack of a systematic study that benchmarks state-of-the-art models for a comprehensive set of programming education scenarios. In our work, we systematically evaluate two models, ChatGPT (based on GPT-3.5) and GPT-4, and compare their performance with human tutors for a variety of scenarios. We evaluate using five introductory Python programming problems and real-world buggy programs from an online platform, and assess performance using expert-based annotations. Our results show that GPT-4 drastically outperforms ChatGPT (based on GPT-3.5) and comes close to human tutors' performance for several scenarios. These results also highlight settings where GPT-4 still struggles, providing exciting future directions on developing techniques to improve the performance of these models. △ Less

Submitted 31 July, 2023; v1 submitted 29 June, 2023; originally announced June 2023.

Comments: This article is a full version of the poster (extended abstract) from ICER'23

Metallic nanoparticles-decorated NdxY1-xAl3(BO3)4 sub-micrometric particles to enhance anti-Stokes excitation performance

Authors: Eloísa G. Hilário, Tatiana Habib, Célio V. T. Maciel, Rodrigo F. da Silva, Daniel F. Luz, Gabriela S. Soares, Bruno Caillier, Carlos Jacinto, Lauro J. Q. Maia, José Maurício A. Caiut, André L. Moura

Abstract: In the anti-Stokes excitation of trivalent rare-earth ions (RE3+), the excitation photons energy is smaller than that of a given absorption transition, and the energy mismatch can be compensated by phonons annihilation from the host lattice. Since the phonon occupation number increases with temperature, heating the system generally increases the efficiency of anti-Stokes excitation. Here, we explo… ▽ More In the anti-Stokes excitation of trivalent rare-earth ions (RE3+), the excitation photons energy is smaller than that of a given absorption transition, and the energy mismatch can be compensated by phonons annihilation from the host lattice. Since the phonon occupation number increases with temperature, heating the system generally increases the efficiency of anti-Stokes excitation. Here, we exploited the intrinsic heating associated with light-to-heat conversion in the interaction of excitation laser light with metallic nanoparticles (Ag or Au) on the surface of submicrometric particles of NdxY1.00-xAl3(BO3)4 (x = 0.10, 0.20, and 1.00) in order to enhance the efficiency of the anti-Stokes excitation at 1064 nm. Several upconversion emissions are observed from 600 nm to 880 nm, the most intense being at 750 nm due to the Nd3+ transition {4F7/2, 4S3/2} - 4I9/2. Giant enhancements are demonstrated, when compared to undecorated NdxY1.00-xAl3(BO3)4 particles. The present results can be expanded to other luminescent materials as well as excitation wavelengths. △ Less

Submitted 20 June, 2023; originally announced June 2023.

Hydrodynamic theories for a system of weakly self-interacting classical ultra-relativistic scalar particles: microscopic derivations and attractors

Authors: Gabriel S. Rocha, Caio V. P. de Brito, Gabriel S. Denicol

Abstract: We derive and investigate several hydrodynamic formalisms that emerge from a system of classical, ultra-relativistic scalar particles self-interacting via a quartic potential. The specific form of the total cross-section enables the analytical computation of all transport coefficients that appear in Navier-Stokes (NS), Bemfica-Disconzi-Noronha-Kovtun (BDNK), and second-order transient hydrodynamic… ▽ More We derive and investigate several hydrodynamic formalisms that emerge from a system of classical, ultra-relativistic scalar particles self-interacting via a quartic potential. The specific form of the total cross-section enables the analytical computation of all transport coefficients that appear in Navier-Stokes (NS), Bemfica-Disconzi-Noronha-Kovtun (BDNK), and second-order transient hydrodynamic theories. We solve all these formalisms in a Bjorken flow scenario and show that NS and BDNK theories display unphysical features when gradients become sufficiently large. This implies that these hydrodynamic approaches may not be suitable to describe the early stages of heavy ion collisions. △ Less

Submitted 12 June, 2023; originally announced June 2023.

Comments: 30 pages, 8 figures

GrACE: Generation using Associated Code Edits

Authors: Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

Abstract: Developers expend a significant amount of time in editing code for a variety of reasons such as bug fixing or adding new features. Designing effective methods to predict code edits has been an active yet challenging area of research due to the diversity of code edits and the difficulty of capturing the developer intent. In this work, we address these challenges by endowing pre-trained large langua… ▽ More Developers expend a significant amount of time in editing code for a variety of reasons such as bug fixing or adding new features. Designing effective methods to predict code edits has been an active yet challenging area of research due to the diversity of code edits and the difficulty of capturing the developer intent. In this work, we address these challenges by endowing pre-trained large language models (LLMs) of code with the knowledge of prior, relevant edits. The generative capability of the LLMs helps address the diversity in code changes and conditioning code generation on prior edits helps capture the latent developer intent. We evaluate two well-known LLMs, Codex and CodeT5, in zero-shot and fine-tuning settings respectively. In our experiments with two datasets, the knowledge of prior edits boosts the performance of the LLMs significantly and enables them to generate 29% and 54% more correctly edited code in top-1 suggestions relative to the current state-of-the-art symbolic and neural approaches, respectively. △ Less

Submitted 20 September, 2023; v1 submitted 23 May, 2023; originally announced May 2023.

Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models

Authors: Tung Phung, José Cambronero, Sumit Gulwani, Tobias Kohn, Rupak Majumdar, Adish Singla, Gustavo Soares

Abstract: Large language models (LLMs), such as Codex, hold great promise in enhancing programming education by automatically generating feedback for students. We investigate using LLMs to generate feedback for fixing syntax errors in Python programs, a key scenario in introductory programming. More concretely, given a student's buggy program, our goal is to generate feedback comprising a fixed program alon… ▽ More Large language models (LLMs), such as Codex, hold great promise in enhancing programming education by automatically generating feedback for students. We investigate using LLMs to generate feedback for fixing syntax errors in Python programs, a key scenario in introductory programming. More concretely, given a student's buggy program, our goal is to generate feedback comprising a fixed program along with a natural language explanation describing the errors/fixes, inspired by how a human tutor would give feedback. While using LLMs is promising, the critical challenge is to ensure high precision in the generated feedback, which is imperative before deploying such technology in classrooms. The main research question we study is: Can we develop LLMs-based feedback generation techniques with a tunable precision parameter, giving educators quality control over the feedback that students receive? To this end, we introduce PyFiXV, our technique to generate high-precision feedback powered by Codex. The key idea behind PyFiXV is to use a novel run-time validation mechanism to decide whether the generated feedback is suitable for sharing with the student; notably, this validation mechanism also provides a precision knob to educators. We perform an extensive evaluation using two real-world datasets of Python programs with syntax errors and show the efficacy of PyFiXV in generating high-precision feedback. △ Less

Submitted 28 April, 2023; v1 submitted 24 January, 2023; originally announced February 2023.

Comments: Published in International Conference on Educational Data Mining (EDM) 2023

Energy-looping and photon-avalanche-like phenomena in NdxY1.00-xAl3(BO3)4 powders excited at 1064 nm

Authors: Rodrigo F. da Silva, Daniel F. Luz, Célio V. T. Maciel, Emanuel P. Santos, Gabriela Soares, Lauro J. Q. Maia, Carlos Jacinto, André L. Moura

Abstract: We investigate the role of the Nd3+ content on the PA characteristics in NdxY1.00-xAl3(BO3)4 particles with x ranging from 0.05 to 1.00. It is known that the replacement of Y3 by Nd3+ into the YAl3(BO3)4 crystalline structure can introduce strong modifications of the lattice properties as well as in the photoluminescence characteristics, such as luminescence concentration quenching and broadening… ▽ More We investigate the role of the Nd3+ content on the PA characteristics in NdxY1.00-xAl3(BO3)4 particles with x ranging from 0.05 to 1.00. It is known that the replacement of Y3 by Nd3+ into the YAl3(BO3)4 crystalline structure can introduce strong modifications of the lattice properties as well as in the photoluminescence characteristics, such as luminescence concentration quenching and broadening of spectral lines. Despite that, we observe, for low x (<= 0.20) an energy-looping preceding the PA-like that ensues for x >= 0.40. It is associated to the proximity among the Nd3+ ions, fundamental to the electric dipole-electric dipole interaction responsible for the Nd3+ energy transfer [4F3/2, 4I9/2] - [4I15/2, 4I15/2]. We discuss the present results focusing on emerging technologies with development of ultra-sensitive thermal sensors, and super-resolution imaging thanks to the giant nonlinearities in the input-output power dependences. △ Less

Submitted 28 November, 2022; originally announced November 2022.

Community Report from the Biosignatures Standards of Evidence Workshop

Authors: Victoria Meadows, Heather Graham, Victor Abrahamsson, Zach Adam, Elena Amador-French, Giada Arney, Laurie Barge, Erica Barlow, Anamaria Berea, Maitrayee Bose, Dina Bower, Marjorie Chan, Jim Cleaves, Andrea Corpolongo, Miles Currie, Shawn Domagal-Goldman, Chuanfei Dong, Jennifer Eigenbrode, Allison Enright, Thomas J. Fauchez, Martin Fisk, Matthew Fricke, Yuka Fujii, Andrew Gangidine, Eftal Gezer , et al. (50 additional authors not shown)

Abstract: The search for life beyond the Earth is the overarching goal of the NASA Astrobiology Program, and it underpins the science of missions that explore the environments of Solar System planets and exoplanets. However, the detection of extraterrestrial life, in our Solar System and beyond, is sufficiently challenging that it is likely that multiple measurements and approaches, spanning disciplines and… ▽ More The search for life beyond the Earth is the overarching goal of the NASA Astrobiology Program, and it underpins the science of missions that explore the environments of Solar System planets and exoplanets. However, the detection of extraterrestrial life, in our Solar System and beyond, is sufficiently challenging that it is likely that multiple measurements and approaches, spanning disciplines and missions, will be needed to make a convincing claim. Life detection will therefore not be an instantaneous process, and it is unlikely to be unambiguous-yet it is a high-stakes scientific achievement that will garner an enormous amount of public interest. Current and upcoming research efforts and missions aimed at detecting past and extant life could be supported by a consensus framework to plan for, assess and discuss life detection claims (c.f. Green et al., 2021). Such a framework could help increase the robustness of biosignature detection and interpretation, and improve communication with the scientific community and the public. In response to this need, and the call to the community to develop a confidence scale for standards of evidence for biosignature detection (Green et al., 2021), a community-organized workshop was held on July 19-22, 2021. The meeting was designed in a fully virtual (flipped) format. Preparatory materials including readings, instructional videos and activities were made available prior to the workshop, allowing the workshop schedule to be fully dedicated to active community discussion and prompted writing sessions. To maximize global interaction, the discussion components of the workshop were held during business hours in three different time zones, Asia/Pacific, European and US, with daily information hand-off between group organizers. △ Less

Submitted 8 December, 2022; v1 submitted 25 October, 2022; originally announced October 2022.

Comments: 86 pages, 14 figures, workshop report

Beyond the shortest path: the path length index as a distribution

Authors: Leonardo B. L. Santos, Luiz Max Carvalho, Giovanni G. Soares, Leonardo N. Ferreira, Igor M. Sokolov

Abstract: The traditional complex network approach considers only the shortest paths from one node to another, not taking into account several other possible paths. This limitation is significant, for example, in urban mobility studies. In this short report, as the first steps, we present an exhaustive approach to address that problem and show we can go beyond the shortest path, but we do not need to go so… ▽ More The traditional complex network approach considers only the shortest paths from one node to another, not taking into account several other possible paths. This limitation is significant, for example, in urban mobility studies. In this short report, as the first steps, we present an exhaustive approach to address that problem and show we can go beyond the shortest path, but we do not need to go so far: we present an interactive procedure and an early stop possibility. After presenting some fundamental concepts in graph theory, we presented an analytical solution for the problem of counting the number of possible paths between two nodes in complete graphs, and a depth-limited approach to get all possible paths between each pair of nodes in a general graph (an NP-hard problem). We do not collapse the distribution of path lengths between a pair of nodes into a scalar number, we look at the distribution itself - taking all paths up to a pre-defined path length (considering a truncated distribution), and show the impact of that approach on the most straightforward distance-based graph index: the walk/path length. △ Less

Submitted 6 October, 2022; originally announced October 2022.

Repairing Bugs in Python Assignments Using Large Language Models

Authors: Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen

Abstract: Students often make mistakes on their introductory programming assignments as part of their learning process. Unfortunately, providing custom repairs for these mistakes can require a substantial amount of time and effort from class instructors. Automated program repair (APR) techniques can be used to synthesize such fixes. Prior work has explored the use of symbolic and neural techniques for APR i… ▽ More Students often make mistakes on their introductory programming assignments as part of their learning process. Unfortunately, providing custom repairs for these mistakes can require a substantial amount of time and effort from class instructors. Automated program repair (APR) techniques can be used to synthesize such fixes. Prior work has explored the use of symbolic and neural techniques for APR in the education domain. Both types of approaches require either substantial engineering efforts or large amounts of data and training. We propose to use a large language model trained on code, such as Codex, to build an APR system -- MMAPR -- for introductory Python programming assignments. Our system can fix both syntactic and semantic mistakes by combining multi-modal prompts, iterative querying, test-case-based selection of few-shots, and program chunking. We evaluate MMAPR on 286 real student programs and compare to a baseline built by combining a state-of-the-art Python syntax repair engine, BIFI, and state-of-the-art Python semantic repair engine for student assignments, Refactory. We find that MMAPR can fix more programs and produce smaller patches on average. △ Less

Submitted 29 September, 2022; originally announced September 2022.

Prompt Emission of Gamma-Ray Bursts in the High-density Environment of Active Galactic Nuclei Accretion Disks

Authors: Davide Lazzati, Gustavo Soares, Rosalba Perna

Abstract: Long and short gamma-ray bursts are traditionally associated with galactic environments, where circumburst densities are small or moderate (few to hundreds of protons per cubic cm). However, both are also expected to occur in the disks of Active Galactic Nuclei, where the ambient medium density can be much larger. In this work we study, via semi-analytical methods, the propagation of the GRB outfl… ▽ More Long and short gamma-ray bursts are traditionally associated with galactic environments, where circumburst densities are small or moderate (few to hundreds of protons per cubic cm). However, both are also expected to occur in the disks of Active Galactic Nuclei, where the ambient medium density can be much larger. In this work we study, via semi-analytical methods, the propagation of the GRB outflow, its interaction with the external material, and the ensuing prompt radiation. In particular, we focus on the case in which the external shock develops early in the evolution, at a radius that is smaller than the internal shock one. We find that bursts in such high density environments are likely characterized by a single, long emission episode that is due to the superposition of individual pulses, with a characteristic hard to soft evolution irrespective of the light curve luminosity. While multi-pulse light curves are not impossible, they would require the central engine to go dormant for a long time before re-igniting. In addition, short GRB engines would produce bursts with prompt duration that would exceed the canonical 2 s separation threshold and would likely be incorrectly classified as long events, even though they would not be accompanied by a simultaneous supernova. Finally, these events have a large dynamical efficiency which would produce a bright prompt emission followed by a somewhat dim afterglow. △ Less

Submitted 28 September, 2022; originally announced September 2022.

Comments: 9 pages, 5 figures, under review for AAS Journals

Propagation of a realistic magnetar jet through binary neutron star merger medium and implications for short gamma-ray bursts

Authors: Gustavo Soares, Pablo Bosch, Davide Lazzati, Philipp Mösta

Abstract: The origin of short gamma-ray bursts (sGRBs) is associated with outflows powered by the remnant of a binary neutron star merger. This remnant can be either a black hole or a highly magnetized, fastly spinning neutron star, also known as a magnetar. Here, we present the results of two relativistic magnetohydrodynamical (RMHD) simulations aimed at investigating the large-scale dynamics and propagati… ▽ More The origin of short gamma-ray bursts (sGRBs) is associated with outflows powered by the remnant of a binary neutron star merger. This remnant can be either a black hole or a highly magnetized, fastly spinning neutron star, also known as a magnetar. Here, we present the results of two relativistic magnetohydrodynamical (RMHD) simulations aimed at investigating the large-scale dynamics and propagation of magnetar collimated outflows through the medium surrounding the remnant. The first simulation evolves a realistic jet by injecting external simulation data, while the second evolves an analytical model jet with similar properties for comparison. We find that both outflows remain collimated and successfully emerge through the static medium surrounding the remnant. However, they fail to attain relativistic velocities and only reach a mean maximum speed of ~0.7c for the realistic jet, and ~0.6c for the analytical jet. We also find that the realistic jet has a much more complex structure. The lack of highly relativistic speeds, that makes these jets unsuitable as short GRB sources, is due to numerical limitations and not general to all possible magnetar outflows. A jet like the one we study, however, could give rise to or augment a blue kilonova component. In addition, it would make the propagation of a relativistic jet easier, should one be launched after the neutron star collapses into a black hole. △ Less

Submitted 29 June, 2023; v1 submitted 15 September, 2022; originally announced September 2022.

Comments: 11 pages, 7 figures, accepted to ApJ

Overwatch: Learning Patterns in Code Edit Sequences

Authors: Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari

Abstract: Integrated Development Environments (IDEs) provide tool support to automate many source code editing tasks. Traditionally, IDEs use only the spatial context, i.e., the location where the developer is editing, to generate candidate edit recommendations. However, spatial context alone is often not sufficient to confidently predict the developer's next edit, and thus IDEs generate many suggestions at… ▽ More Integrated Development Environments (IDEs) provide tool support to automate many source code editing tasks. Traditionally, IDEs use only the spatial context, i.e., the location where the developer is editing, to generate candidate edit recommendations. However, spatial context alone is often not sufficient to confidently predict the developer's next edit, and thus IDEs generate many suggestions at a location. Therefore, IDEs generally do not actively offer suggestions and instead, the developer is usually required to click on a specific icon or menu and then select from a large list of potential suggestions. As a consequence, developers often miss the opportunity to use the tool support because they are not aware it exists or forget to use it. To better understand common patterns in developer behavior and produce better edit recommendations, we can additionally use the temporal context, i.e., the edits that a developer was recently performing. To enable edit recommendations based on temporal context, we present Overwatch, a novel technique for learning edit sequence patterns from traces of developers' edits performed in an IDE. Our experiments show that Overwatch has 78% precision and that Overwatch not only completed edits when developers missed the opportunity to use the IDE tool support but also predicted new edits that have no tool support in the IDE. △ Less

Submitted 25 July, 2022; originally announced July 2022.

Comments: 25 pages, 7 Figures, 4 Algorithms, 3 Tables

Novel relaxation time approximation: a consistent calculation of transport coefficients with QCD-inspired relaxation times

Authors: Gabriel S. Rocha, Gabriel S. Denicol, Maurício N. Ferreira, Jorge Noronha

Abstract: We use a novel formulation of the relaxation time approximation to consistently calculate the bulk and shear viscosity coefficients using QCD-inspired energy-dependent relaxation times and phenomenological thermal masses obtained from fits to lattice QCD thermodynamics. The matching conditions are conveniently chosen to simplify the computations. We use a novel formulation of the relaxation time approximation to consistently calculate the bulk and shear viscosity coefficients using QCD-inspired energy-dependent relaxation times and phenomenological thermal masses obtained from fits to lattice QCD thermodynamics. The matching conditions are conveniently chosen to simplify the computations. △ Less

Submitted 22 July, 2022; originally announced July 2022.

Comments: Proceedings for the XXIXth International Conference on Ultra-relativistic Nucleus-Nucleus Collisions (Quark Matter 2022). 6 pages, 1 figure

Perturbative approaches in relativistic kinetic theory and the emergence of first-order hydrodynamics

Authors: Gabriel S. Rocha, Gabriel S. Denicol, Jorge Noronha

Abstract: Hydrodynamics can be formulated in terms of a perturbative series in derivatives of the temperature, chemical potential, and flow velocity around an equilibrium state. Different formulations for this series have been proposed over the years, which consequently led to the development of various hydrodynamic theories. In this work, we discuss the relativistic generalizations of the perturbative expa… ▽ More Hydrodynamics can be formulated in terms of a perturbative series in derivatives of the temperature, chemical potential, and flow velocity around an equilibrium state. Different formulations for this series have been proposed over the years, which consequently led to the development of various hydrodynamic theories. In this work, we discuss the relativistic generalizations of the perturbative expansions put forward by Chapman and Enskog, and Hilbert, using general matching conditions in kinetic theory. This allows us to describe, in a comprehensive way, how different out-of-equilibrium definitions for the hydrodynamic fields affect the development of the hydrodynamic perturbative series. We provide a perturbative method for systematically deriving the hydrodynamic formulation recently proposed by Bemfica, Disconzi, Noronha, and Kovtun (BDNK) from relativistic kinetic theory. The various transport coefficients that appear in BDNK (at first-order) are explicitly computed using a new formulation of the relaxation time approximation for the Boltzmann equation. Assuming Bjorken flow, we also determine the hydrodynamic attractors of BDNK theory and compare the overall hydrodynamic evolution obtained using this formulation with that generated by the Israel-Stewart equations of motion and also kinetic theory. △ Less

Submitted 2 August, 2022; v1 submitted 29 April, 2022; originally announced May 2022.

Comments: 36 pages, 8 figures

Flood risk map from hydrological and mobility data: a case study in São Paulo (Brazil)

Authors: Lívia Rodrigues Tomás, Giovanni Guarnieri Soares, Aurelienne A. S. Jorge, Jeferson Feitosa Mendes, Vander L. S. Freitas, Leonardo B. L. Santos

Abstract: Cities increasingly face flood risk primarily due to extensive changes of the natural land cover to built-up areas with impervious surfaces. In urban areas, flood impacts come mainly from road interruption. This paper proposes an urban flood risk map from hydrological and mobility data, considering the megacity of São Paulo, Brazil, as a case study. We estimate the flood susceptibility through the… ▽ More Cities increasingly face flood risk primarily due to extensive changes of the natural land cover to built-up areas with impervious surfaces. In urban areas, flood impacts come mainly from road interruption. This paper proposes an urban flood risk map from hydrological and mobility data, considering the megacity of São Paulo, Brazil, as a case study. We estimate the flood susceptibility through the Height Above the Nearest Drainage algorithm; and the potential impact through the exposure and vulnerability components. We aggregate all variables into a regular grid and then classify the cells of each component into three classes: Moderate, High, and Very High. All components, except the flood susceptibility, have few cells in the Very High class. The flood susceptibility component reflects the presence of watercourses, and it has a strong influence on the location of those cells classified as Very High. △ Less

Submitted 10 April, 2022; originally announced April 2022.

Comments: 22 pages, 20 figures

Transport coefficients of quasi-particle models within a new relaxation time approximation of the Boltzmann equation

Authors: Gabriel S. Rocha, Maurício N. Ferreira, Gabriel S. Denicol, Jorge Noronha

Abstract: We investigate the transport properties of a kinetic theory model that is tuned to describe the thermodynamic properties of QCD at zero chemical potential using a new formulation of the relaxation time approximation. In contrast to previous approaches, the latter is constructed to preserve the fundamental properties of the collision term of the Boltzmann equation for any energy-dependence of the r… ▽ More We investigate the transport properties of a kinetic theory model that is tuned to describe the thermodynamic properties of QCD at zero chemical potential using a new formulation of the relaxation time approximation. In contrast to previous approaches, the latter is constructed to preserve the fundamental properties of the collision term of the Boltzmann equation for any energy-dependence of the relaxation time. A novel choice of matching conditions is implemented to ensure that the background mean-field depends only on the temperature even when the system is out of equilibrium. We provide a consistent analysis of how the transport coefficients of relativistic Navier-Stokes theory vary with the energy dependence of the relaxation time. We also show that the entropy production of this theory is consistent with the second law of thermodynamics and verify that it is independent of the matching conditions employed. We used this fact to calculate the matching independent combination of transport coefficients. △ Less

Submitted 10 August, 2022; v1 submitted 29 March, 2022; originally announced March 2022.

Comments: 15 pages, 8 figures

Synchromesh: Reliable code generation from pre-trained language models

Authors: Gabriel Poesia, Oleksandr Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani

Abstract: Large pre-trained language models have been used to generate code,providing a flexible interface for synthesizing programs from natural language specifications. However, they often violate syntactic and semantic rules of their output language, limiting their practical usability. In this paper, we propose Synchromesh: a framework for substantially improving the reliability of pre-trained models for… ▽ More Large pre-trained language models have been used to generate code,providing a flexible interface for synthesizing programs from natural language specifications. However, they often violate syntactic and semantic rules of their output language, limiting their practical usability. In this paper, we propose Synchromesh: a framework for substantially improving the reliability of pre-trained models for code generation. Synchromesh comprises two components. First, it retrieves few-shot examples from a training bank using Target Similarity Tuning (TST), a novel method for semantic example selection. TST learns to recognize utterances that describe similar target programs despite differences in surface natural language features. Then, Synchromesh feeds the examples to a pre-trained language model and samples programs using Constrained Semantic Decoding (CSD): a general framework for constraining the output to a set of valid programs in the target language. CSD leverages constraints on partial outputs to sample complete correct programs, and needs neither re-training nor fine-tuning of the language model. We evaluate our methods by synthesizing code from natural language descriptions using GPT-3 and Codex in three real-world languages: SQL queries, Vega-Lite visualizations and SMCalFlow programs. These domains showcase rich constraints that CSD is able to enforce, including syntax, scope, typing rules, and contextual logic. We observe substantial complementary gains from CSD and TST in prediction accuracy and in effectively preventing run-time errors. △ Less

Submitted 26 January, 2022; originally announced January 2022.

Comments: 10 pages, 9 additional pages of Appendix

Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis

Authors: Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

Abstract: Multi-modal program synthesis refers to the task of synthesizing programs (code) from their specification given in different forms, such as a combination of natural language and examples. Examples provide a precise but incomplete specification, and natural language provides an ambiguous but more "complete" task description. Machine-learned pre-trained models (PTMs) are adept at handling ambiguous… ▽ More Multi-modal program synthesis refers to the task of synthesizing programs (code) from their specification given in different forms, such as a combination of natural language and examples. Examples provide a precise but incomplete specification, and natural language provides an ambiguous but more "complete" task description. Machine-learned pre-trained models (PTMs) are adept at handling ambiguous natural language, but struggle with generating syntactically and semantically precise code. Program synthesis techniques can generate correct code, often even from incomplete but precise specifications, such as examples, but they are unable to work with the ambiguity of natural languages. We present an approach that combines PTMs with component-based synthesis (CBS): PTMs are used to generate candidates programs from the natural language description of the task, which are then used to guide the CBS procedure to find the program that matches the precise examples-based specification. We use our combination approach to instantiate multi-modal synthesis systems for two programming domains: the domain of regular expressions and the domain of CSS selectors. Our evaluation demonstrates the effectiveness of our domain-agnostic approach in comparison to a state-of-the-art specialized system, and the generality of our approach in providing multi-modal program synthesis from natural language and examples in different programming domains. △ Less

Submitted 3 September, 2021; originally announced September 2021.

Comments: To be published in OOPSLA 2021

Dynamics of antiproton plasma in a time-dependent harmonic trap

Authors: Luiz Gustavo F. Soares, Fernando Haas

Abstract: An antiproton plasma confined in a quasi-1D device is described in terms of a self-consistent fluid formulation using a variational approach. Unlike previous treatments, the use of the time-dependent variational method allows to retain the thermal and Coulomb effects. A certain Ansatz is proposed for the number density and fluid velocity fields, which reduces the problem essentially to ordinary no… ▽ More An antiproton plasma confined in a quasi-1D device is described in terms of a self-consistent fluid formulation using a variational approach. Unlike previous treatments, the use of the time-dependent variational method allows to retain the thermal and Coulomb effects. A certain Ansatz is proposed for the number density and fluid velocity fields, which reduces the problem essentially to ordinary nonlinear differential equations. In adiabatic cooling, the frequency of the trap potential is slowly decreased. An adiabatic equation of state is assumed for closure. The numerical simulation of the nonlinear dynamics is performed, for realistic parameters. △ Less

Submitted 21 June, 2021; originally announced June 2021.

Computational Infrared Spectroscopy of 958 Phosphorus-bearing Molecules

Authors: Juan C. Zapata Trujilo, Anna-Maree Syme, Keiran N. Rowell, Brendan P. Burns, Ebubekir S. Clark, Maire N. Gorman, Lorrie S. D. Jacob, Panayioti Kapodistrias, David J. Kedziora, Felix A. R. Lempriere, Chris Medcraft, Jensen O'Sullivan, Evan G. Robertson, Georgia G. Soares, Luke Steller, Bronwyn L. Teece, Chenoa D. Tremblay, Clara Sousa-Silva, Laura K. McKemmish

Abstract: Phosphine is now well established as a biosignature, which has risen to prominence with its recent tentative detection on Venus. To follow up this discovery and related future exoplanet biosignature detections, it is important to spectroscopically detect the presence of phosphorus-bearing atmospheric molecules that could be involved in the chemical networks producing, destroying or reacting with p… ▽ More Phosphine is now well established as a biosignature, which has risen to prominence with its recent tentative detection on Venus. To follow up this discovery and related future exoplanet biosignature detections, it is important to spectroscopically detect the presence of phosphorus-bearing atmospheric molecules that could be involved in the chemical networks producing, destroying or reacting with phosphine. We start by enumerating phosphorus-bearing molecules (P-molecules) that could potentially be detected spectroscopically in planetary atmospheres and collecting all available spectral data. Gaseous P-molecules are rare, with speciation information scarce. Very few molecules have high accuracy spectral data from experiment or theory; instead, the best available data is from the RASCALL approach and obtained using functional group theory. Here, we present a high-throughput approach utilising established computational quantum chemistry methods (CQC) to produce a database of approximate infrared spectra for 958 P-molecules. These data are of interest for astronomy and astrochemistry (importantly identifying potential ambiguities in molecular assignments), improving RASCALL's underlying data, big data spectral analysis and future machine learning applications. However, this data will probably not be sufficiently accurate for secure experimental detections of specific molecules within complex gaseous mixtures in laboratory or astronomy settings. △ Less

Submitted 18 May, 2021; originally announced May 2021.

Comments: 36 pages, 10 figures

Journal ref: Zapata Trujillo, Juan C., et al. "Computational Infrared Spectroscopy of 958 Phosphorus-Bearing Molecules." Frontiers in Astronomy and Space Sciences 8 (2021): 43

Vulnerability analysis in Complex Networks under a Flood Risk Reduction point of view

Authors: Leonardo B. L. Santos, Giovanni G. Soares, Tanishq Garg, Aurelienne A. S. Jorge, Luciana R. Londe, Regina T. Reani, Roberta B. Bacelar, Carlos E. S. Oliveira, Vander L. S. Freitas, Igor M. Sokolov

Abstract: The measurement and mapping of transportation network vulnerability to natural hazards constitute subjects of global interest, especially due to climate change, and for a sustainable development agenda. During a flood, some elements of a transportation network can be affected, causing loss of life of people and damage to vehicles, streets/roads, and other logistics services, sometimes with severe… ▽ More The measurement and mapping of transportation network vulnerability to natural hazards constitute subjects of global interest, especially due to climate change, and for a sustainable development agenda. During a flood, some elements of a transportation network can be affected, causing loss of life of people and damage to vehicles, streets/roads, and other logistics services, sometimes with severe economic impacts. The Network Science approach may offer a valuable perspective considering one type of vulnerability related to network type critical infrastructures: the topological vulnerability. The topological vulnerability index associated with an element is defined as the reduction in the network's average efficiency due to the removal of the set of edges related to that element. We present a topological vulnerability index analysis for the highways in the state of Santa Catarina, Brazil, and produce a map considering that index and the areas susceptible to urban floods and landslides. The risk knowledge, combining hazard and vulnerability, is the first pillar of an Early Warning System, and represent an important tool for stakeholders from the transportation sector in a disaster risk reduction agenda. △ Less

Submitted 24 February, 2023; v1 submitted 21 December, 2020; originally announced December 2020.

MSC Class: 68U99

Measuring interfacial Dzyaloshinskii-Moriya interaction in ultra-thin magnetic films

Authors: Michaela Kuepferling, Arianna Casiraghi, Gabriel Soares, Gianfranco Durin, Felipe Garcia-Sanchez, Liu Chen, Christian H. Back, Christopher H. Marrows, Silvia Tacchi, Giovanni Carlotti

Abstract: The Dzyaloshinskii-Moriya interaction (DMI), being one of the origins of chiral magnetism, is currently attracting considerable attention in the research community focusing on applied magnetism and spintronics. For future applications, an accurate measurement of its strength is indispensable. Here we present a review of the state-of-the-art of measuring the coefficient of the Dzyaloshinskii-Moriya… ▽ More The Dzyaloshinskii-Moriya interaction (DMI), being one of the origins of chiral magnetism, is currently attracting considerable attention in the research community focusing on applied magnetism and spintronics. For future applications, an accurate measurement of its strength is indispensable. Here we present a review of the state-of-the-art of measuring the coefficient of the Dzyaloshinskii-Moriya interaction, the DMI constant $D$, focusing on systems where the interaction arises from the interface between two materials (i.e. interfacial DMI). We give an overview of the experimental techniques as well as their theoretical background and models for the quantification of the DMI constant. The measurement techniques are divided into three categories: a) domain wall-based measurements, b) spin wave-based measurements and c) spin-orbit torque-based measurements. We analyze the advantages and disadvantages of each method and compare $D$ values at different interfaces. The review aims to obtain a better understanding of the applicability of the different techniques to various stacks and of the origin of apparent disagreements among literature values. △ Less

Submitted 22 March, 2022; v1 submitted 24 September, 2020; originally announced September 2020.

Comments: 60 pages, 29 figures; Version 3

Jet efficiencies and black hole spins in jetted quasars

Authors: Gustavo Soares, Rodrigo Nemmen

Abstract: The mechanisms responsible for the production of relativistic jets from supermassive black holes (SMBHs) accreting at near-Eddington rates are not well-understood. Simple theoretical expectations indicate that SMBHs in quasars accrete via thin discs which should produce at most very weak jets. This is contradicted by observations of powerful jets in flat-spectrum radio quasars (FSRQs). We use gamm… ▽ More The mechanisms responsible for the production of relativistic jets from supermassive black holes (SMBHs) accreting at near-Eddington rates are not well-understood. Simple theoretical expectations indicate that SMBHs in quasars accrete via thin discs which should produce at most very weak jets. This is contradicted by observations of powerful jets in flat-spectrum radio quasars (FSRQs). We use gamma-ray luminosities observed with the \emph{fermi} Large Area Telescope as a proxy of the jet power for a population of 154 FSRQs. Assuming typical quasar accretion rates and using black hole mass measurements from a variety of methods, we find a mean jet production efficiency of about 10 per cent for FSRQs, with values as high as 222 per cent. We find that this is consistent with FSRQs hosting moderately thin, magnetically arrested accretion discs around rapidly spinning black holes (BHs). Modeling our observations using general relativistic magnetohydrodynamic (GRMHD) simulations of jets from thin discs, we find an average lower limit of $a_* = 0.59$ for the SMBH spins of FSRQs, with tendency for the spins to decrease as the black hole mass increases. Our results are consistent with the merger-driven evolution of SMBHs. 3 per cent of the sample cannot be explained by current GRMHD models of jet production from Kerr BHs due to the high efficiencies. Along the way, we find a correlation between BH masses and $L_γ$ which may be an useful mass estimator in blazar gamma-ray studies. △ Less

Submitted 1 May, 2020; originally announced May 2020.

Comments: 12 pages, 13 figures, MNRAS (accepted)

A comparison of two different mechanisms for deterministic spin orbit torque magnetization switching

Authors: F. Garcia-Sanchez, G. Soares, M. Pasquale

Abstract: In this article we analyze by modeling two possible mechanisms for magnetization switching using spin orbit torques, which have been reported to cause field-free deterministic switching in experiments. Here we compare the field-free magnetization switching due to a tilt of the anisotropy direction against the use of an antiferromagnetic bias field. Simple results obtained analytically show that a… ▽ More In this article we analyze by modeling two possible mechanisms for magnetization switching using spin orbit torques, which have been reported to cause field-free deterministic switching in experiments. Here we compare the field-free magnetization switching due to a tilt of the anisotropy direction against the use of an antiferromagnetic bias field. Simple results obtained analytically show that a bias field not only causes the magnetization reversal but also reduces the corresponding energy barrier. The critical current required for magnetization switching is analyzed on the basis of a macrospin model. It is shown that although the field-free deterministic switching caused by a tilt of the anisotropy is more robust than the bias field in the development of memory elements, a compromise between requirements has to be adopted when selecting the parameters for specific applications. △ Less

Submitted 11 March, 2020; originally announced March 2020.

Learning Quick Fixes from Code Repositories

Authors: Reudismam Rolim, Gustavo Soares, Rohit Gheyi, Titus Barik, Loris D'Antoni

Abstract: Code analyzers such as Error Prone and FindBugs detect code patterns symptomatic of bugs, performance issues, or bad style. These tools express patterns as quick fixes that detect and rewrite unwanted code. However, it is difficult to come up with new quick fixes and decide which ones are useful and frequently appear in real code. We propose to rely on the collective wisdom of programmers and lear… ▽ More Code analyzers such as Error Prone and FindBugs detect code patterns symptomatic of bugs, performance issues, or bad style. These tools express patterns as quick fixes that detect and rewrite unwanted code. However, it is difficult to come up with new quick fixes and decide which ones are useful and frequently appear in real code. We propose to rely on the collective wisdom of programmers and learn quick fixes from revision histories in software repositories. We present REVISAR, a tool for discovering common Java edit patterns in code repositories. Given code repositories and their revision histories, REVISAR (i) identifies code edits from revisions and (ii) clusters edits into sets that can be described using an edit pattern. The designers of code analyzers can then inspect the patterns and add the corresponding quick fixes to their tools. We ran REVISAR on nine popular GitHub projects, and it discovered 89 useful edit patterns that appeared in 3 or more projects. Moreover, 64% of the discovered patterns did not appear in existing tools. We then conducted a survey with 164 programmers from 124 projects and found that programmers significantly preferred eight out of the nine of the discovered patterns. Finally, we submitted 16 pull requests applying our patterns to 9 projects and, at the time of the writing, programmers accepted 6 (60%) of them. The results of this work aid toolsmiths in discovering quick fixes and making informed decisions about which quick fixes to prioritize based on patterns programmers actually apply in practice. △ Less

Submitted 7 September, 2018; v1 submitted 10 March, 2018; originally announced March 2018.

Comments: 12 pages

Brunella-Khanedani-Suwa variational residues for invariant currents

Authors: Mauricio Corrêa, Arturo Fernández-Pérez, Marcio G. Soares

Abstract: In this work we prove a Brunella-Khanedani-Suwa variational type residue theorem for currents invariant by holomorphic foliations. As a consequence, we give conditions for the leaves of a singular holomorphic foliation to accumulate in the intersection of the singular set of the foliation with the support of an invariant current. In this work we prove a Brunella-Khanedani-Suwa variational type residue theorem for currents invariant by holomorphic foliations. As a consequence, we give conditions for the leaves of a singular holomorphic foliation to accumulate in the intersection of the singular set of the foliation with the support of an invariant current. △ Less

Submitted 25 February, 2018; originally announced February 2018.

Comments: To Israel Vainsencher on the occasion of his 70th birthday

DES Science Portal: Creating Science-Ready Catalogs

Authors: Angelo Fausti Neto, Luiz da Costa, Aurelio Carnero Rosell, Julia Gschwend, Ricardo Ogando, Flavia Sobreira, Marcio Maia, Basilio Santiago, Rogerio Rosenfeld, Cristiano Singulani, Lucas Nunes, Carlos Adean, Riccardo Campisano, Rafael Brito, Guilherme Soares, Glauber C. Vila-Verde, Tim Abbott, Filipe Abdalla, Sahar Allam, Aurélien Benoit-Lévy, David Brooks, Elizabeth Buckley-Geer, Diego Capozzi, Matias Carrasco Kind, Jorge Carretero , et al. (33 additional authors not shown)

Abstract: We present a novel approach for creating science-ready catalogs through a software infrastructure developed for the Dark Energy Survey (DES). We integrate the data products released by the DES Data Management and additional products created by the DES collaboration in an environment known as DES Science Portal. Each step involved in the creation of a science-ready catalog is recorded in a relation… ▽ More We present a novel approach for creating science-ready catalogs through a software infrastructure developed for the Dark Energy Survey (DES). We integrate the data products released by the DES Data Management and additional products created by the DES collaboration in an environment known as DES Science Portal. Each step involved in the creation of a science-ready catalog is recorded in a relational database and can be recovered at any time. We describe how the DES Science Portal automates the creation and characterization of lightweight catalogs for DES Year 1 Annual Release, and show its flexibility in creating multiple catalogs with different inputs and configurations. Finally, we discuss the advantages of this infrastructure for large surveys such as DES and the Large Synoptic Survey Telescope. The capability of creating science-ready catalogs efficiently and with full control of the inputs and configurations used is an important asset for supporting science analysis using data from large astronomical surveys. △ Less

Submitted 28 May, 2018; v1 submitted 18 August, 2017; originally announced August 2017.

Comments: The second paper of the series about the DES Science Portal, submitted to the Astronomy & Computing journal. It shows the infrastructure to create science-ready catalogs from DES photometric data and ancillary maps. This is the version accepted by the journal

Journal ref: 2018A&C....24...52F

TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences

Authors: Ryo Suzuki, Gustavo Soares, Andrew Head, Elena Glassman, Ruan Reis, Melina Mongiovi, Loris D'Antoni, Bjoern Hartmann

Abstract: Recent advances in program synthesis offer means to automatically debug student submissions and generate personalized feedback in massive programming classrooms. When automatically generating feedback for programming assignments, a key challenge is designing pedagogically useful hints that are as effective as the manual feedback given by teachers. Through an analysis of teachers' hint-giving pract… ▽ More Recent advances in program synthesis offer means to automatically debug student submissions and generate personalized feedback in massive programming classrooms. When automatically generating feedback for programming assignments, a key challenge is designing pedagogically useful hints that are as effective as the manual feedback given by teachers. Through an analysis of teachers' hint-giving practices in 132 online Q&A posts, we establish three design guidelines that an effective feedback design should follow. Based on these guidelines, we develop a feedback system that leverages both program synthesis and visualization techniques. Our system compares the dynamic code execution of both incorrect and fixed code and highlights how the error leads to a difference in behavior and where the incorrect code trace diverges from the expected solution. Results from our study suggest that our system enables students to detect and fix bugs that are not caught by students using another existing visual debugging tool. △ Less

Submitted 12 August, 2017; originally announced August 2017.

Comments: VL/HCC 2017

ACM Class: H.5.2

Learning Syntactic Program Transformations from Examples

Authors: Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjoern Hartmann

Abstract: IDEs, such as Visual Studio, automate common transformations, such as Rename and Extract Method refactorings. However, extending these catalogs of transformations is complex and time-consuming. A similar phenomenon appears in intelligent tutoring systems where instructors have to write cumbersome code transformations that describe "common faults" to fix similar student submissions to programming a… ▽ More IDEs, such as Visual Studio, automate common transformations, such as Rename and Extract Method refactorings. However, extending these catalogs of transformations is complex and time-consuming. A similar phenomenon appears in intelligent tutoring systems where instructors have to write cumbersome code transformations that describe "common faults" to fix similar student submissions to programming assignments. We present REFAZER, a technique for automatically generating program transformations. REFAZER builds on the observation that code edits performed by developers can be used as examples for learning transformations. Example edits may share the same structure but involve different variables and subexpressions, which must be generalized in a transformation at the right level of abstraction. To learn transformations, REFAZER leverages state-of-the-art programming-by-example methodology using the following key components: (a) a novel domain-specific language (DSL) for describing program transformations, (b) domain-specific deductive algorithms for synthesizing transformations in the DSL, and (c) functions for ranking the synthesized transformations. We instantiate and evaluate REFAZER in two domains. First, given examples of edits used by students to fix incorrect programming assignment submissions, we learn transformations that can fix other students' submissions with similar faults. In our evaluation conducted on 4 programming tasks performed by 720 students, our technique helped to fix incorrect submissions for 87% of the students. In the second domain, we use repetitive edits applied by developers to the same project to synthesize a program transformation that applies these edits to other locations in the code. In our evaluation conducted on 59 scenarios of repetitive edits taken from 3 C# open-source projects, REFAZER learns the intended program transformation in 83% of the cases. △ Less

Submitted 31 August, 2016; originally announced August 2016.

A Bott type residue formula on complex orbifolds

Authors: Maurício Corrêa, A. M. Rodríguez, Marcio G. Soares

Abstract: We prove residual formulas for vector fields defined on compact complex orbifolds with isolated singularities and give some applications of these on weighted projective spaces. We prove residual formulas for vector fields defined on compact complex orbifolds with isolated singularities and give some applications of these on weighted projective spaces. △ Less

Submitted 1 July, 2015; v1 submitted 17 December, 2014; originally announced December 2014.

Comments: To appear in International Mathematics Research Notices. To J. Seade on the occasion of his 60th birthday

Hypersurfaces Invariant by Pfaff Equations

Authors: Maurício Corrêa Jr, Luis G. Maza, Marcio G. Soares

Abstract: We present results expressing conditions for the existence of meromorphic first integrals for Pfaff equations of arbitrary codimension, integrable or not, on complex manifolds. These results are in the same vein as previous ones by J-P. Jouanolou and E. Ghys. We also prove an enumerative result counting the number of hypersurfaces invariant by a projective holomorphic foliation with split tangent… ▽ More We present results expressing conditions for the existence of meromorphic first integrals for Pfaff equations of arbitrary codimension, integrable or not, on complex manifolds. These results are in the same vein as previous ones by J-P. Jouanolou and E. Ghys. We also prove an enumerative result counting the number of hypersurfaces invariant by a projective holomorphic foliation with split tangent sheaf. △ Less

Submitted 29 August, 2014; v1 submitted 14 August, 2013; originally announced August 2013.

Comments: 18 pages in Communications in Contemporary Mathematics, 2014

MSC Class: 58A17; 57R30; 32S65

Inequalities for characteristic numbers of flags of distributions and foliations

Authors: Maurício Corrêa JR, Marcio G. Soares

Abstract: We prove inequalities relating the degrees of holomorphic distributions and of holomorphic foliations forming a flag on $\mathbb{P}^n$. Such inequalities are inspired by the so called Poincaré problem for foliations. We prove inequalities relating the degrees of holomorphic distributions and of holomorphic foliations forming a flag on $\mathbb{P}^n$. Such inequalities are inspired by the so called Poincaré problem for foliations. △ Less

Submitted 11 February, 2013; v1 submitted 9 October, 2011; originally announced October 2011.

Comments: Several minor clarifications and corrections

MSC Class: 32S65; 37F75; 58A1

Solution Poisson-Boltzmann equation: Application in the Human Neuron Membrane

Authors: M. A. G. Soares, F. A. O. Cruz, C. M. Cortez

Abstract: With already demonstrated in previous work the equations that describe the space dependence of the electric potential are determined by the solution of the equation of Poisson-Boltzmann. In this work we consider these solutions for the membrane of the human neuron, using a model simplified for this structure considering the distribution of electrolytes in each side of the membrane, as well as th… ▽ More With already demonstrated in previous work the equations that describe the space dependence of the electric potential are determined by the solution of the equation of Poisson-Boltzmann. In this work we consider these solutions for the membrane of the human neuron, using a model simplified for this structure considering the distribution of electrolytes in each side of the membrane, as well as the effect of glycocalyx and the lipidic bilayer. It was assumed that on both sides of the membrane the charges are homogeneously distributed and that the potential depends only on coordinate z. △ Less

Submitted 29 September, 2008; v1 submitted 22 September, 2008; originally announced September 2008.

Comments: 8 pages, 2 figures

Computation of Power Loss in Likelihood Ratio Tests for Probability Densities Extended by Lehmann Alternatives

Authors: Lucas Gallindo Martins Soares

Abstract: We compute the loss of power in likelihood ratio tests when we test the original parameter of a probability density extended by the first Lehmann alternative. We compute the loss of power in likelihood ratio tests when we test the original parameter of a probability density extended by the first Lehmann alternative. △ Less

Submitted 11 April, 2007; v1 submitted 5 April, 2007; originally announced April 2007.

Comments: 6 pages, one figure; Corrected minor typographic errors (pay special attention to one in equation 4)

MSC Class: 62B10;62F03;62E10

Projective varieties invariant by one-dimensional foliations

Authors: Marcio G. Soares

Abstract: This work concerns the problem of relating characteristic numbers of one-dimensional holomorphic foliations of P^n to those of algebraic varieties invariant by them. More precisely: if M is a connected complex manifold, a one-dimensional holomorphic foliation F of M is a morphism Φ:L -> TM where L is a holomorphic line bundle on M. The singular set of F is the analytic subvariety sing(F) = {p :… ▽ More This work concerns the problem of relating characteristic numbers of one-dimensional holomorphic foliations of P^n to those of algebraic varieties invariant by them. More precisely: if M is a connected complex manifold, a one-dimensional holomorphic foliation F of M is a morphism Φ:L -> TM where L is a holomorphic line bundle on M. The singular set of F is the analytic subvariety sing(F) = {p : Φ(p)=0} and the leaves of F are the leaves of the nonsingular foliation induced by F on M-sing(F). If M is P^n then, since line bundles over P^n are classified by the Chern class c_1(L) in H^2(P^n,Z) = Z, one-dimensional holomorphic foliations F of P^n are given by morphisms Phi:O(1-d) -> TP^n with d >= 0, d in Z, which we call the degree of F. We will use the notation F^d for such a foliation. Suppose now i:V -> P^n is an irreducible algebraic variety invariant by F^d in such a way that the pull-back i^*(F^d) of F^d to V has a finite set of points as the singular set. The problem we address is the relation between d and the degree of V. △ Less

Submitted 31 August, 2000; originally announced September 2000.

Comments: 14 pages, published version, abstract added in migration

Report number: Annals migration 4-2001

Journal ref: Ann. of Math. (2) 152 (2000), no. 2, 369-382