Showing 1–50 of 300 results for author: Ferreira, J

Jet formation in post-AGB binaries: Confronting cold magnetohydrodynamic disc wind wind models with observations

Authors: Toon De Prins, Hans Van Winckel, Jonathan Ferreira, Olivier Verhamme, Devika Kamath, Nathan Zimniak, Jonathan Jacquemin-Ide

Abstract: Aims: We consider cold self-similar magnetohydrodynamic (MHD) disc wind solutions to describe jets that are launched from the circumcompanion accretion discs in post-AGB binaries. Resulting predictions are matched to observations for five different post-AGB binaries. This both tests the physical validity of the MHD disc wind paradigm and reveals the accretion disc properties. Results: Many of the… ▽ More Aims: We consider cold self-similar magnetohydrodynamic (MHD) disc wind solutions to describe jets that are launched from the circumcompanion accretion discs in post-AGB binaries. Resulting predictions are matched to observations for five different post-AGB binaries. This both tests the physical validity of the MHD disc wind paradigm and reveals the accretion disc properties. Results: Many of the time-series' properties are reproduced well by the models, though systematic mismatches, such as overestimated rotation, remain. Four targets imply accretion discs that reach close to the secondary's stellar surface, while one is fitted with an unrealistically large inner radius of about 20 stellar radii. Some fits imply inner disc temperatures over 10 000 K, seemingly discrepant with a previous observational estimate from H band interferometry. This estimate is, however, shown to be biased. Fitted mass-accretion rates range from about 10^-6 to 10^-3 solar masses per year. Relative to the jets launched from young stellar objects (YSOs), all targets prefer winds with higher ejection efficiencies, lower magnetizations and thicker discs. Conclusions: Our models show that current cold MHD disc wind solutions can explain many of the jet-related Balmer alpha features seen in post-AGB binaries, though systematic discrepancies remain. This includes, but is not limited to, overestimated rotation and underestimated post-AGB circumbinary disc lifetimes. The consideration of thicker discs and the inclusion of irradiation from the post-AGB primary, leading to warm magnetothermal wind launching, might alleviate these. △ Less

Submitted 18 June, 2024; v1 submitted 13 June, 2024; originally announced June 2024.

Comments: Accepted for publication in Astronomy & Astrophysics. 21 pages, 9 figures. Final language edits applied

Shortcuts to adiabaticity designed via time-rescaling follow the same transitionless route

Authors: J. L. Montenegro Ferreira, Ângelo F. da Silva França, Alexandre Rosas, Bertúlio de Lima Bernardo

Abstract: Time-rescaling (TR) has been recently proposed as a method to engineer fast processes, also known as shortcuts to adiabaticity (STA), which enables the coherent control of quantum systems beyond the adiabatic regime [B. L. Bernardo, Phys. Rev. Res. 2, 013133 (2020)]. The method provides the Hamiltonians that generate the fast processes without requiring information about the instantaneous eigensta… ▽ More Time-rescaling (TR) has been recently proposed as a method to engineer fast processes, also known as shortcuts to adiabaticity (STA), which enables the coherent control of quantum systems beyond the adiabatic regime [B. L. Bernardo, Phys. Rev. Res. 2, 013133 (2020)]. The method provides the Hamiltonians that generate the fast processes without requiring information about the instantaneous eigenstates of a reference protocol, whereas experimental implementations dismiss additional coupling fields when compared with adiabatic protocols. Here, we revisit the technique and show that the obtained fast dynamics are transitionless, similar to the ones designed via the famous counterdiabatic (CD) approach. We also show that the time evolution of the STA found via TR relates to that of the reference adiabatic protocol by a simple reparametrization of time. To illustrate our findings, we studied the problem of speeding up the stimulated Raman adiabatic passage (STIRAP) and found out that TR revealed quantum dynamics more robust to parameter variations than those provided by the CD technique. Our results shed new light on the application of TR in the control of larger quantum systems. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: 9 pages, 6 figures

CoqPyt: Proof Navigation in Python in the Era of LLMs

Authors: Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First

Abstract: Proof assistants enable users to develop machine-checked proofs regarding software-related properties. Unfortunately, the interactive nature of these proof assistants imposes most of the proof burden on the user, making formal verification a complex, and time-consuming endeavor. Recent automation techniques based on neural methods address this issue, but require good programmatic support for colle… ▽ More Proof assistants enable users to develop machine-checked proofs regarding software-related properties. Unfortunately, the interactive nature of these proof assistants imposes most of the proof burden on the user, making formal verification a complex, and time-consuming endeavor. Recent automation techniques based on neural methods address this issue, but require good programmatic support for collecting data and interacting with proof assistants. This paper presents CoqPyt, a Python tool for interacting with the Coq proof assistant. CoqPyt improves on other Coq-related tools by providing novel features, such as the extraction of rich premise data. We expect our work to aid development of tools and techniques, especially LLM-based, designed for proof synthesis and repair. A video describing and demonstrating CoqPyt is available at: https://youtu.be/fk74o0rePM8. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Comments: Accepted to FSE '24 Demonstrations Track

How do annotations affect Java code readability?

Authors: Eduardo Guerra, Everaldo Gomes, Jeferson Ferreira, Igor Wiese, Phyllipe Lima, Marco Gerosa, Paulo Meirelles

Abstract: Context: Code annotations have gained widespread popularity in programming languages, offering developers the ability to attach metadata to code elements to define custom behaviors. Many modern frameworks and APIs use annotations to keep integration less verbose and located nearer to the corresponding code element. Despite these advantages, practitioners' anecdotal evidence suggests that annotatio… ▽ More Context: Code annotations have gained widespread popularity in programming languages, offering developers the ability to attach metadata to code elements to define custom behaviors. Many modern frameworks and APIs use annotations to keep integration less verbose and located nearer to the corresponding code element. Despite these advantages, practitioners' anecdotal evidence suggests that annotations might negatively affect code readability. Objective: To better understand this effect, this paper systematically investigates the relationship between code annotations and code readability. Method: In a survey with software developers (n=332), we present 15 pairs of Java code snippets with and without code annotations. These pairs were designed considering five categories of annotation used in real-world Java frameworks and APIs. Survey participants selected the code snippet they considered more readable for each pair and answered an open question about how annotations affect the code's readability. Results: Preferences were scattered for all categories of annotation usage, revealing no consensus among participants. The answers were spread even when segregated by participants' programming or annotation-related experience. Nevertheless, some participants showed a consistent preference in favor or against annotations across all categories, which may indicate a personal preference. Our qualitative analysis of the open-ended questions revealed that participants often praise annotation impacts on design, maintainability, and productivity but expressed contrasting views on understandability and code clarity. Conclusions: Software developers and API designers can consider our results when deciding whether to use annotations, equipped with the insight that developers express contrasting views of the annotations' impact on code readability. △ Less

Submitted 26 April, 2024; originally announced April 2024.

Comments: Accepted to Empirical Software Engineering (EMSE) Journal

Optimization of resources for digital radio transmission over IBOC FM through max-min fairness

Authors: Mónica Rico Martínez, Juan Carlos Vesga Ferreira, Joel Carroll Vargas, María Consuelo Rodríguez Niño, Andrés Alejandro Diaz Toro, William Alexander Cuevas Carrero

Abstract: The equitable distribution of resources in a network is a complex process, considering that not all nodes have the same requirements, and the In-Band On-Channel (IBOC) hybrid transmission system is no exception. The IBOC system utilizes a hybrid in-band transmission to simultaneously broadcast analog and digital audio over the FM band. This article proposes the use of a Max-Min Fairness (MMF) algo… ▽ More The equitable distribution of resources in a network is a complex process, considering that not all nodes have the same requirements, and the In-Band On-Channel (IBOC) hybrid transmission system is no exception. The IBOC system utilizes a hybrid in-band transmission to simultaneously broadcast analog and digital audio over the FM band. This article proposes the use of a Max-Min Fairness (MMF) algorithm, with a strategy to optimize resource allocation for IBOC FM transmission in a multiservice scenario. Additionally, the MMF algorithm offers low computational complexity for implementation in low-cost embedded systems, aiming to achieve fair resource distribution and provide adequate Quality of Service (QoS) levels for each node in the RF network, considering channel conditions and traffic types. The article explores a scenario under saturated traffic conditions to assess the optimization capabilities of the MMF algorithm under well-defined traffic and channel conditions. The evaluation process yielded highly favorable results, indicating that theMMF algorithm can be considered a viable alternative for bandwidth optimization in digital broadcasting over IBOC on FM with 95% confidence, and it holds potential for implementation in other digital broadcasting system. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: 10 pages, 3 table

Impact of the disk magnetization on MHD disk wind signature

Authors: Sudeb Ranjan Datta, Susmita Chakravorty, Jonathan Ferreira, Pierre-Olivier Petrucci, Timothy R Kallman, Jonatan Jacquemin-Ide, Nathan Zimniak, Joern Wilms, Stefano Bianchi, Maxime Parra, Maïca Clavel

Abstract: Observation of blue-shifted X-ray absorption lines indicates the presence of wind from the accretion disk in X-ray binaries. Magnetohydrodynamic (MHD) driving is one of the possible wind launching mechanisms. Recent theoretical development makes magnetic accretion-ejection self-similar solutions much more generalized, and wind can be launched even at much lower magnetization compared to equipartit… ▽ More Observation of blue-shifted X-ray absorption lines indicates the presence of wind from the accretion disk in X-ray binaries. Magnetohydrodynamic (MHD) driving is one of the possible wind launching mechanisms. Recent theoretical development makes magnetic accretion-ejection self-similar solutions much more generalized, and wind can be launched even at much lower magnetization compared to equipartition value, which was the only possibility beforehand. Here, we model the transmitted spectra through MHD driven photoionized wind - models which have different values of magnetizations. We investigate the possibility of detecting absorption lines by the upcoming instruments XRISM and Athena. Attempts are made to find the robustness of the method of fitting asymmetric line profiles by multiple Gaussians. We use photoionization code XSTAR to simulate the transmitted model spectra. Fake observed spectra are finally produced by convolving model spectra with instruments' responses. Since the line asymmetries are apparent in the convolved spectra as well, this can be used as an observable diagnostic to fit for, in future XRISM and Athena spectra. We demonstrate some amount of rigor in assessing the equivalent widths of the major absorption lines, including the Fe XXVI Ly$α$ doublets which can be clearly distinguished in the superior quality, future high resolution spectra. Disk magnetization becomes another crucial MHD variable that can significantly alter the absorption line profiles. Low magnetization pure MHD outflow models are dense enough to be observed by the existing or upcoming instruments. Thus these models become simpler alternatives to MHD-thermal models. Fitting with multiple Gaussians is a promising method to handle asymmetric line profiles, as well as the Fe XXVI Ly$α$ doublets. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Comments: 17 pages (including 4 pages of Appendix), 13 figures, Accepted for publication in A&A

Journal ref: A&A 687, A2 (2024)

ALMA view of the L1448-mm protostellar system on disk scales: CH$_3$OH and H$^{13}$CN as new disk wind tracers

Authors: P. Nazari, B. Tabone, A. Ahmadi, S. Cabrit, E. F. van Dishoeck, C. Codella, J. Ferreira, L. Podio, Ł. Tychoniec, M. L. van Gelder

Abstract: Protostellar disks are known to accrete, however, the exact mechanism that extracts the angular momentum and drives accretion in the low-ionization "dead" region of the disk is under debate. In recent years, magneto-hydrodynamic (MHD) disk winds have become a popular solution. Yet, observations of these winds require both high spatial resolution (${\sim}10$s au) and high sensitivity, which has res… ▽ More Protostellar disks are known to accrete, however, the exact mechanism that extracts the angular momentum and drives accretion in the low-ionization "dead" region of the disk is under debate. In recent years, magneto-hydrodynamic (MHD) disk winds have become a popular solution. Yet, observations of these winds require both high spatial resolution (${\sim}10$s au) and high sensitivity, which has resulted in only a handful of MHD disk wind candidates so far. In this work we present high angular resolution (${\sim}30$ au) ALMA observations of the emblematic L1448-mm protostellar system and find suggestive evidence for an MHD disk wind. The disk seen in dust continuum (${\sim}0.9$ mm) has a radius of ${\sim}23$ au. Rotating infall signatures in H$^{13}$CO$^+$ indicate a central mass of $0.4\pm 0.1$ M$_\odot$ and a centrifugal radius similar to the dust disk radius. Above the disk, we unveil rotation signatures in the outflow traced by H$^{13}$CN, CH$_3$OH, and SO lines and find a kinematical structure consistent with theoretical predictions for MHD disk winds. This is the first detection of an MHD disk wind candidate in H$^{13}$CN and CH$_3$OH. The wind launching region estimated from cold MHD wind theory extends out to the disk edge. The magnetic lever arm parameter would be $λ_φ \simeq 1.7$, in line with recent non-ideal MHD disk models. The estimated mass-loss rate is ${\sim}4$ times the protostellar accretion rate ($\dot{M}_{\rm acc} \simeq 2 \times 10^{-6} M_{\odot}/yr$) and suggests that the rotating wind could carry enough angular momentum to drive disk accretion. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Comments: Accepted for publication in A&A

Journal ref: A&A 686, A201 (2024)

Making Sense of Knowledge Intensive Processes: an Oil & Gas Industry Scenario

Authors: Juliana Jansen Ferreira, Vinícius Segura, Ana Fucs, Rogério de Paula

Abstract: Sensemaking is a constant and ongoing process by which people associate meaning to experiences. It can be an individual process, known as abduction, or a group process by which people give meaning to collective experiences. The sensemaking of a group is influenced by the abduction process of each person about the experience. Every collaborative process needs some level of sensemaking to show resul… ▽ More Sensemaking is a constant and ongoing process by which people associate meaning to experiences. It can be an individual process, known as abduction, or a group process by which people give meaning to collective experiences. The sensemaking of a group is influenced by the abduction process of each person about the experience. Every collaborative process needs some level of sensemaking to show results. For a knowledge intensive process, sensemaking is central and related to most of its tasks. We present findings from a fieldwork executed in knowledge intensive process from the Oil and Gas industry. Our findings indicated that different types of knowledge can be combined to compose the result of a sensemaking process (e.g. decision, the need for more discussion, etc.). This paper presents an initial set of knowledge types that can be combined to compose the result of the sensemaking of a collaborative decision making process. We also discuss ideas for using systems powered by Artificial Intelligence to support sensemaking processes. △ Less

Submitted 31 January, 2024; originally announced January 2024.

Comments: 9 pages. This paper was presented at the Sensemaking in a Senseless World workshop during the 2018 ACM CHI Conference on Human Factors in Computing Systems

Magnetically driven winds from accretion disks in post-asymptotic giant branch binaries

Authors: Olivier Verhamme, Jacques Kluska, Jonathan Ferreira, Dylan Bollen, Toon De Prins, Devika Kamath, Hans Van Winckel

Abstract: Context. Jets are commonly detected in post-asymptotic giant branch (post-AGB) binaries and originate from an accretion process onto the companion of the post-AGB primary. These jets are revealed by high-resolution spectral time series. Aims. This paper is part of a series. In this work, we move away from our previous parametric modelling and include a self-similar wind model that allows the physi… ▽ More Context. Jets are commonly detected in post-asymptotic giant branch (post-AGB) binaries and originate from an accretion process onto the companion of the post-AGB primary. These jets are revealed by high-resolution spectral time series. Aims. This paper is part of a series. In this work, we move away from our previous parametric modelling and include a self-similar wind model that allows the physical properties of post-AGB binaries to be characterised. This model describes magnetically driven jets from a thin accretion disk threaded by a large-scale, near equipartition vertical field. Methods. We expanded our methodology in order to simulate the high-resolution dynamic spectra coming from the obscuration of the primary by the jets launched by the companion. We present the framework to exploit the self-similar jet models for post-AGB binaries. We performed a parameter study to investigate the impact of different parameters (inclination, accretion rate, inner and outer launching radius) on the synthetic spectra. Results. We successfully included the physical jet models into our framework. The synthetic spectra have a very similar orbital phase coverage and absorption strengths as the observational data. The magnetohydrodynamic (MHD) jet models provide a good representation of the actual jet creation process in these evolved binaries. Challenges remain, however, as the needed high-accretion rate would induce accretion disks that are too hot in comparison to the data. Moreover, the rotational signature of the models is not detected in the observations. In future research, we will explore models with a higher disk ejection efficiency and even lower magnetisation in order to solve some of the remaining discrepancies between the observed and synthetic dynamic spectra. △ Less

Submitted 29 January, 2024; originally announced January 2024.

Contract Usage and Evolution in Android Mobile Applications

Authors: David R. Ferreira, Alexandra Mendes, João F. Ferreira

Abstract: Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. Previous research has demonstrated the value of contracts in traditional software development contexts. However, the adoption and impact of contracts in the context of mobile application development, particularly of Android applications, remain unexplored.… ▽ More Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. Previous research has demonstrated the value of contracts in traditional software development contexts. However, the adoption and impact of contracts in the context of mobile application development, particularly of Android applications, remain unexplored. To address this, we present the first large-scale empirical study on the presence and use of contracts in Android applications, written in Java or Kotlin. We consider different types of contract elements divided into five categories: conditional runtime exceptions, APIs, annotations, assertions, and other. We analyzed 2,390 Android applications from the F-Droid repository and processed more than 51,749 KLOC to determine 1) how and to what extent contracts are used, 2) how contract usage evolves, and 3) whether contracts are used safely in the context of program evolution and inheritance. Our findings include: 1) although most applications do not specify contracts, annotation-based approaches are the most popular among practitioners; 2) applications that use contracts continue to use them in later versions, but the number of methods increases at a higher rate than the number of contracts; and 3) there are many potentially unsafe specification changes when applications evolve and in subty** relationships, which indicates a lack of specification stability. Our findings show that it would be desirable to have libraries that standardize contract specifications in Java and Kotlin, and tools that aid practitioners in writing stronger contracts and in detecting contract violations in the context of program evolution and inheritance. △ Less

Submitted 25 January, 2024; originally announced January 2024.

Enabling Seamless Data Security, Consensus, and Trading in Vehicular Networks

Authors: Emanuel Vieira, João Almeida, Joaquim Ferreira, Paulo C. Bartolomeu

Abstract: Cooperative driving is an emerging paradigm to enhance the safety and efficiency of autonomous vehicles. To ensure successful cooperation, road users must reach a consensus for making collective decisions, while recording vehicular data to analyze and address failures related to such agreements. This data has the potential to provide valuable insights into various vehicular events, while also pote… ▽ More Cooperative driving is an emerging paradigm to enhance the safety and efficiency of autonomous vehicles. To ensure successful cooperation, road users must reach a consensus for making collective decisions, while recording vehicular data to analyze and address failures related to such agreements. This data has the potential to provide valuable insights into various vehicular events, while also potentially improving accountability measures. Furthermore, vehicles may benefit from the ability to negotiate and trade services among themselves, adding value to the cooperative driving framework. However, the majority of proposed systems aiming to ensure data security, consensus, or service trading, lack efficient and thoroughly validated mechanisms that consider the distinctive characteristics of vehicular networks. These limitations are amplified by a dependency on the centralized support provided by the infrastructure. Furthermore, corresponding mechanisms must diligently address security concerns, especially regarding potential malicious or misbehaving nodes, while also considering inherent constraints of the wireless medium. We introduce the Verifiable Event Extension (VEE), an applicational extension designed for Intelligent Transportation System (ITS) messages. The VEE operates seamlessly with any existing standardized vehicular communications protocol, addressing crucial aspects of data security, consensus, and trading with minimal overhead. To achieve this, we employ blockchain techniques, Byzantine fault tolerance (BFT) consensus protocols, and cryptocurrency-based mechanics. To assess our proposal's feasibility and lightweight nature, we employed a hardware-in-the-loop setup for analysis. Experimental results demonstrate the viability and efficiency of the VEE extension in overcoming the challenges posed by the distributed and opportunistic nature of wireless vehicular communications. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Magnetic control of Weyl nodes and wave packets in three-dimensional warped semimetals

Authors: Bruno Focassio, Gabriel R. Schleder, Adalberto Fazzio, Rodrigo B. Capaz, Pedro V. Lopes, Jaime Ferreira, Carsten Enderlein, Marcello B. Silva Neto

Abstract: We investigate the topological phase transitions driven by band war** and a transverse magnetic field, for three-dimensional Weyl semimetals. First, we use the Chern number as a mathematical tool to derive the topological phase diagram. Next, we associate each of the topological sectors to a given angular momentum state of a rotating wave packet. Then we show how the position of the Weyl nodes c… ▽ More We investigate the topological phase transitions driven by band war** and a transverse magnetic field, for three-dimensional Weyl semimetals. First, we use the Chern number as a mathematical tool to derive the topological phase diagram. Next, we associate each of the topological sectors to a given angular momentum state of a rotating wave packet. Then we show how the position of the Weyl nodes can be manipulated by a transverse external magnetic field that ultimately quenches the wave packet rotation, first partially and then completely, thus resulting in a sequence of field-induced topological phase transitions. Finally, we calculate the current-induced magnetization and the anomalous Hall conductivity of a prototypical warped Weyl material. Both observables reflect the topological transitions associated with the wave packet rotation and can help to identify the elusive 3D quantum anomalous Hall effect in three-dimensional, warped Weyl materials. △ Less

Submitted 11 January, 2024; originally announced January 2024.

Comments: 6 pages, 5 figures

Phase transitions and scale invariance in topological Anderson insulators

Authors: Bryan D. Assunção, Gerson J. Ferreira, Caio H. Lewenkopf

Abstract: We investigate disordered-driven transitions between trivial and topological insulator (TI) phases in two-dimensional (2D) systems. Our study primarily focuses on the BHZ model with Anderson disorder, while other standard 2DTI models exhibit equivalent features. The analysis is based on the local Chern marker (LCM), a local quantity that allows for the characterization of topological transitions i… ▽ More We investigate disordered-driven transitions between trivial and topological insulator (TI) phases in two-dimensional (2D) systems. Our study primarily focuses on the BHZ model with Anderson disorder, while other standard 2DTI models exhibit equivalent features. The analysis is based on the local Chern marker (LCM), a local quantity that allows for the characterization of topological transitions in finite and disordered systems. Our simulations indicate that disorder-driven trivial to topological insulator transitions are nicely characterized by $\mathcal{C}_0$, the disorder averaged LCM near the central cell of the system. We show that $\mathcal{C}_0$ is characterized by a single-parameter scaling, namely, $\mathcal{C}_0(M, W, L) \equiv \mathcal{C}_0(z)$ with $z = [W^μ-W_c^μ(M)]L$, where $M$ is the Dirac mass, $W$ is the disorder strength and $L$ is the system size, while $W_c(M) \propto \sqrt{M}$ and $μ\approx 2$ stand for the critical disorder strength and critical exponent, respectively. Our numerical results are in agreement with a theoretical prediction based on a first-order Born approximation (1BA) analysis. These observations lead us to speculate that the universal scaling function we have found is rather general for amorphous and disorder-driven topological phase transitions. △ Less

Submitted 2 May, 2024; v1 submitted 5 January, 2024; originally announced January 2024.

Comments: 7 pages, 4 figures, and a supplemental material with 7 pages, 4 figures

Journal ref: Phys. Rev. B 109, L201102 (2024)

Leveraging Large Language Models to Boost Dafny's Developers Productivity

Authors: Álvaro Silva, Alexandra Mendes, João F. Ferreira

Abstract: This research idea paper proposes leveraging Large Language Models (LLMs) to enhance the productivity of Dafny developers. Although the use of verification-aware languages, such as Dafny, has increased considerably in the last decade, these are still not widely adopted. Often the cost of using such languages is too high, due to the level of expertise required from the developers and challenges tha… ▽ More This research idea paper proposes leveraging Large Language Models (LLMs) to enhance the productivity of Dafny developers. Although the use of verification-aware languages, such as Dafny, has increased considerably in the last decade, these are still not widely adopted. Often the cost of using such languages is too high, due to the level of expertise required from the developers and challenges that they often face when trying to prove a program correct. Even though Dafny automates a lot of the verification process, sometimes there are steps that are too complex for Dafny to perform on its own. One such case is that of missing lemmas, i.e. Dafny is unable to prove a result without being given further help in the form of a theorem that can assist it in the proof of the step. In this paper, we describe preliminary work on a new Dafny plugin that leverages LLMs to assist developers by generating suggestions for relevant lemmas that Dafny is unable to discover and use. Moreover, for the lemmas that cannot be proved automatically, the plugin also attempts to provide accompanying calculational proofs. We also discuss ideas for future work by describing a research agenda on using LLMs to increase the adoption of verification-aware languages in general, by increasing developers productivity and by reducing the level of expertise required for crafting formal specifications and proving program properties. △ Less

Submitted 1 January, 2024; originally announced January 2024.

Soft computing for the posterior of a new matrix t graphical network

Authors: J. Pillay, A. Bekker, J. T. Ferreira, M. Arashi

Abstract: Modelling noisy data in a network context remains an unavoidable obstacle; fortunately, random matrix theory may comprehensively describe network environments effectively. Thus it necessitates the probabilistic characterisation of these networks (and accompanying noisy data) using matrix variate models. Denoising network data using a Bayes approach is not common in surveyed literature. This paper… ▽ More Modelling noisy data in a network context remains an unavoidable obstacle; fortunately, random matrix theory may comprehensively describe network environments effectively. Thus it necessitates the probabilistic characterisation of these networks (and accompanying noisy data) using matrix variate models. Denoising network data using a Bayes approach is not common in surveyed literature. This paper adopts the Bayesian viewpoint and introduces a new matrix variate t-model in a prior sense by relying on the matrix variate gamma distribution for the noise process, following the Gaussian graphical network for the cases when the normality assumption is violated. From a statistical learning viewpoint, such a theoretical consideration indubitably benefits the real-world comprehension of structures causing noisy data with network-based attributes as part of machine learning in data science. A full structural learning procedure is provided for calculating and approximating the resulting posterior of interest to assess the considered model's network centrality measures. Experiments with synthetic and real-world stock price data are performed not only to validate the proposed algorithm's capabilities but also to show that this model has wider flexibility than originally implied in Billio et al. (2021). △ Less

Submitted 1 December, 2023; originally announced December 2023.

Comments: 25 pages, 9 figures

Quantum Brownian motion induced by a scalar field in Einstein's universe

Authors: E. J. B. Ferreira, H. F. Santana Mota

Abstract: The Brownian motion of a point particle induced by quantum vacuum fluctuations of a massless real scalar field in Einstein's universe is studied. By assuming the small displacement condition, the dispersion in the momentum and position of a point particle coupled to the massless scalar field are obtained. As a consequence of the homogeneity and isotropy properties of the Einstein's Universe, we fi… ▽ More The Brownian motion of a point particle induced by quantum vacuum fluctuations of a massless real scalar field in Einstein's universe is studied. By assuming the small displacement condition, the dispersion in the momentum and position of a point particle coupled to the massless scalar field are obtained. As a consequence of the homogeneity and isotropy properties of the Einstein's Universe, we find that all components of these physical observables are identical. We also examine divergent behaviors associated to the physical momentum and position dispersions, which we attribute to the $R^1\times S^3$ compact topology of the spacetime. Finally, based on the small displacement condition assumed, we analyze the limit of validity of our investigation. △ Less

Submitted 8 April, 2024; v1 submitted 27 November, 2023; originally announced November 2023.

Comments: 16 pages, 2 Figures, 2 Tables. Version accepted for publication in EPJC

The HIBEAM program: search for neutron oscillations at the ESS

Authors: V. Santoro, D. Milstead, P. Fierlinger, W. M. Snow, J. Barrow, M. Bartis, P. Bentley, L. Björk, G. Brooijmans, N. de la Cour, D. D. Di Julio, K. Dunne, H. Eriksson, M. J. Ferreira, U. Friman-Gayer, M. Holl, Y. Kamyshkov, E. Kemp, M. Kickulies, R. Kolevatov, H. T. Johansson, B. Jönsson, W. Lejon, J. I. Marquez Damian, B. Meirose , et al. (13 additional authors not shown)

Abstract: With the construction of the European Spallation Source, a remarkable opportunity has emerged to conduct high sensitivity searches for neutron oscillations, including a first search for thirty years for free neutrons converting to antineutrons. Furthermore, searches can be made for transitions of neutrons and antineutrons to sterile neutron states. Upgrades to the ESS infrastructure allow an impro… ▽ More With the construction of the European Spallation Source, a remarkable opportunity has emerged to conduct high sensitivity searches for neutron oscillations, including a first search for thirty years for free neutrons converting to antineutrons. Furthermore, searches can be made for transitions of neutrons and antineutrons to sterile neutron states. Upgrades to the ESS infrastructure allow an improved HIBEAM design that would provide an increase in sensitivity by an order of magnitude compared to previous work. The HIBEAM program focuses on processes that violate baryon number by one or two units. The observation of a process satisfying one of the Sakharov conditions addresses the open question of the origin of the matter-antimatter asymmetry in the Universe. Sterile neutron states would belong to a `dark' sector of particles which may explain dark matter. As electrically neutral, meta-stable objects that can be copiously produced and studied, neutrons represent an attractive portal to a `dark' sector. The HIBEAM instrument can also be utilised for other purposes such as direct searches for ultralight axion dark matter. This paper describes the capability, design, infrastructure, and potential of the HIBEAM program. This includes a dedicated beamline, neutron optical system, magnetic shielding and control, and detectors for neutrons and antineutrons. △ Less

Submitted 24 April, 2024; v1 submitted 14 November, 2023; originally announced November 2023.

Comments: 58 pages, 23 figures

Energetic Particle Tracing in Optimized Quasisymmetric Stellarator Equilibria

Authors: P. A. Figueiredo, R. Jorge, J. Ferreira, P. Rodrigues

Abstract: Recent developments in the design of magnetic confinement fusion devices have allowed the construction of exceptionally optimized stellarator configurations. The near-axis expansion in particular has proven to enable the construction of magnetic configurations with good confinement properties while taking only a fraction of the usual computation time to generate optimized magnetic equilibria. Howe… ▽ More Recent developments in the design of magnetic confinement fusion devices have allowed the construction of exceptionally optimized stellarator configurations. The near-axis expansion in particular has proven to enable the construction of magnetic configurations with good confinement properties while taking only a fraction of the usual computation time to generate optimized magnetic equilibria. However, not much is known about the overall features of fast-particle orbits computed in such analytical, yet simplified, equilibria when compared to those originating from accurate equilibrium solutions. This work aims to assess and demonstrate the potential of the near-axis expansion to provide accurate information on particle orbits and to compute loss fractions in moderate to high aspect ratios. The configurations used here are all scaled to fusion-relevant parameters and approximate quasisymmetry in various degrees. This allows us to understand how deviations from quasisymmetry affect particle orbits and what are their effects on the estimation of the loss fraction. Guiding-center trajectories of fusion-born alpha particles are traced using gyronimo and SIMPLE codes under the NEAT framework, showing good numerical agreement. Discrepancies between near-axis and MHD fields have minor effects on passing particles but significant effects on trapped particles, especially in quasihelically symmetric magnetic fields. Effective expressions were found for estimating orbit widths and passing-trapped separatrix in quasisymmetric near-axis fields. Loss fractions agree in the prompt losses regime but diverge afterward. △ Less

Submitted 15 April, 2024; v1 submitted 13 November, 2023; originally announced November 2023.

Comments: 25 pages, 15 figures

Journal ref: Journal of Plasma Physics, 90(2), 905900207 (2024)

Preserving your skies since 1988 -- Committee on Radio Astronomy Frequencies (CRAF) -- Periodic Review 2011-2021

Authors: Committee on Radio Astronomy Frequencies, Benjamin Winkel, Simon Garrington, Francesco Colomer, Waleed Madkour, Agnieszka Slowikowska, Pietro Bolli, Michael Lindqvist, José Antonio López-Pérez, Leif Morten Tangen, Ivan Thomas, Peter Thomasson, Roel Witvers, Joe McCauley, Marta Bautista, Miguel Bergano, Vladislavs Bezrukovs, Fabio Giovanardi, Hayo Hase, Karel Jiricka, Gyula I. G. Józsa, Juha Kallunki, Christophe Marqué, Derek McKay, Axel Murk , et al. (21 additional authors not shown)

Abstract: The Committee on Radio Astronomy Frequencies (CRAF) is an Expert Committee of the European Science Foundation. It aims to provide a cost-effective single voice on frequency protection issues for European radio astronomy observatories and research institutes, achieving a significantly greater impact than that achievable by individual national institutions. By working together, European observatorie… ▽ More The Committee on Radio Astronomy Frequencies (CRAF) is an Expert Committee of the European Science Foundation. It aims to provide a cost-effective single voice on frequency protection issues for European radio astronomy observatories and research institutes, achieving a significantly greater impact than that achievable by individual national institutions. By working together, European observatories and institutes can profit from synergy effects, cover many more topics, and learn from each other. CRAF was founded in 1988 and has since then been engaged with the International Telecommunication Union (ITU), in particular its Radiocommunication Sector (ITU-R), and the European Conference of Postal and Telecommunications Administrations (CEPT) and its European Communications Committee (ECC). This is the self-evaluation report prepared by CRAF for its periodic review of the years 2011-2021. △ Less

Submitted 20 October, 2023; originally announced October 2023.

Comments: 75 pages

Is the public goods game a chaotic system?

Authors: D. Bazeia, M. J. B. Ferreira, B. F. de Oliveira

Abstract: This work deals with the time evolution of the Hamming distance density for the public goods game. We consider distinct possibilities for this game, which are exactly described by a function called $q$-exponential, that represents a deformation of the usual exponential function parametrized by $q$, suggesting that the system belongs to the class of weakly-chaotic systems when $q < 1$. These possib… ▽ More This work deals with the time evolution of the Hamming distance density for the public goods game. We consider distinct possibilities for this game, which are exactly described by a function called $q$-exponential, that represents a deformation of the usual exponential function parametrized by $q$, suggesting that the system belongs to the class of weakly-chaotic systems when $q < 1$. These possibilities are related to the amount of players allowed in each game. △ Less

Submitted 16 October, 2023; originally announced October 2023.

Comments: 7 pages, 10 figures

Journal ref: EPL 144 (2023) 11007

HighNESS Conceptual Design Report: Volume I

Authors: V. Santoro, O. Abou El Kheir, D. Acharya, M. Akhyani, K. H. Andersen, J. Barrow, P. Bentley, M. Bernasconi, M. Bertelsen, Y. Bessler, A. Bianchi, G. Brooijmans, L. Broussard, T. Brys, M. Busi, D. Campi, A. Chambon, J. Chen, V. Czamler, P. Deen, D. D. DiJulio, E. Dian, L. Draskovits, K. Dunne, M. El Barbari , et al. (65 additional authors not shown)

Abstract: The European Spallation Source, currently under construction in Lund, Sweden, is a multidisciplinary international laboratory. Once completed to full specifications, it will operate the world's most powerful pulsed neutron source. Supported by a 3 million Euro Research and Innovation Action within the EU Horizon 2020 program, a design study (HighNESS) has been completed to develop a second neutron… ▽ More The European Spallation Source, currently under construction in Lund, Sweden, is a multidisciplinary international laboratory. Once completed to full specifications, it will operate the world's most powerful pulsed neutron source. Supported by a 3 million Euro Research and Innovation Action within the EU Horizon 2020 program, a design study (HighNESS) has been completed to develop a second neutron source located below the spallation target. Compared to the first source, designed for high cold and thermal brightness, the new source has been optimized to deliver higher intensity, and a shift to longer wavelengths in the spectral regions of cold (CN, 2--20\,Å), very cold (VCN, 10--120\,Å), and ultracold (UCN, ${>}\,{500}$\,Å) neutrons. The second source comprises a large liquid deuterium moderator designed to produce CN and support secondary VCN and UCN sources. Various options have been explored in the proposed designs, aiming for world-leading performance in neutronics. These designs will enable the development of several new instrument concepts and facilitate the implementation of a high-sensitivity neutron-antineutron oscillation experiment (NNBAR). This document serves as the Conceptual Design Report for the HighNESS project, representing its final deliverable. △ Less

Submitted 28 May, 2024; v1 submitted 29 September, 2023; originally announced September 2023.

Comments: 269 pages, 255 figures. Volume I of the final deliverable of the HighNESS Project (HORIZON 2020 grant agreement ID: 951782)

Simultaneous mm/X-ray intraday variability in the radio-quiet AGN MCG+08-11-11

Authors: P. O. Petrucci, V. Piétu, E. Behar, M. Clavel, S. Bianchi, G. Henri, S. Barnier, S. Chen, J. Ferreira, J. Malzac, R. Belmont, S. Corbel, M. Coriat

Abstract: Most of the Active Galactic Nuclei (AGN) are radio-quiet (RQ) and, differently from radio-loud (RL) AGN, do not show signature of large-scale and powerful jets. The physical origin of their radio emission remains then broadly unclear. The observation of flat/inverted radio spectra at GHz frequencies seems to support however the presence of an unresolved synchrotron self-absorbed region in the clos… ▽ More Most of the Active Galactic Nuclei (AGN) are radio-quiet (RQ) and, differently from radio-loud (RL) AGN, do not show signature of large-scale and powerful jets. The physical origin of their radio emission remains then broadly unclear. The observation of flat/inverted radio spectra at GHz frequencies seems to support however the presence of an unresolved synchrotron self-absorbed region in the close environment of the supermassive black hole. Its size could be as small as that of the X-ray corona. Since synchrotron self absorption decreases strongly with frequency, these sources need to be observed in the millimetric (mm) domain. We report here a 12h simultaneous mm-X-ray observation of the RQ AGN MCG+08-11-11 by NOEMA and NuSTAR. The mm flux shows a weak but clear increase along the pointing with a fractional variability of $2.0\pm0.1$\%. The 3-10 keV flux of NuSTAR also increases and shows a fractional variability of $7.0\pm1.5$\%. A structure function analysis shows a local maximum in the mm light curve corresponding to 2-3\% of variability on timescale of $\sim2\times10^4$ seconds (100-300 $R_g$ light crossing time). Assuming an optically thick mm emitting medium, this translates into an upper limit of its size of $\sim$1300 $R_g$. The observation of fast variability in radio-mm and X-ray wavelengths, as well as a similar variability trend, well support the mm emission to be emitted by a region close, and potentially related to, the X-ray corona like an outflow/weak jet. △ Less

Submitted 4 September, 2023; originally announced September 2023.

Comments: Accepted in A&A Letters. 5 pages main text, 3 pages of appendices, 12 figures

A Study on Hyperparameters Configurations for an Efficient Human Activity Recognition System

Authors: Paulo J. S. Ferreira, João Mendes Moreira, João M. P. Cardoso

Abstract: Human Activity Recognition (HAR) has been a popular research field due to the widespread of devices with sensors and computational power (e.g., smartphones and smartwatches). Applications for HAR systems have been extensively researched in recent literature, mainly due to the benefits of improving quality of life in areas like health and fitness monitoring. However, since persons have different mo… ▽ More Human Activity Recognition (HAR) has been a popular research field due to the widespread of devices with sensors and computational power (e.g., smartphones and smartwatches). Applications for HAR systems have been extensively researched in recent literature, mainly due to the benefits of improving quality of life in areas like health and fitness monitoring. However, since persons have different motion patterns when performing physical activities, a HAR system must adapt to user characteristics to maintain or improve accuracy. Mobile devices, such as smartphones, used to implement HAR systems, have limited resources (e.g., battery life). They also have difficulty adapting to the device's constraints to work efficiently for long periods. In this work, we present a kNN-based HAR system and an extensive study of the influence of hyperparameters (window size, overlap, distance function, and the value of k) and parameters (sampling frequency) on the system accuracy, energy consumption, and inference time. We also study how hyperparameter configurations affect the model's user and activity performance. Experimental results show that adapting the hyperparameters makes it possible to adjust the system's behavior to the user, the device, and the target service. These results motivate the development of a HAR system capable of automatically adapting the hyperparameters for the user, the device, and the service. △ Less

Submitted 25 August, 2023; originally announced August 2023.

Quantum state tomography of photon's polarization and path degrees of freedom

Authors: J. L. Montenegro Ferreira, B. de Lima Bernardo

Abstract: Quantum state tomography (QST), the process through which the density matrix of a quantum system is characterized from measurements of specific observables, is a fundamental pillar in the fields of quantum information and computation. In this work, we propose a simple QST method to reconstruct the density matrix of two qubits encoded in the polarization and path degrees of freedom of a single phot… ▽ More Quantum state tomography (QST), the process through which the density matrix of a quantum system is characterized from measurements of specific observables, is a fundamental pillar in the fields of quantum information and computation. In this work, we propose a simple QST method to reconstruct the density matrix of two qubits encoded in the polarization and path degrees of freedom of a single photon, which can be realized with a single linear-optical setup. We demonstrate that the density matrix can be fully described in terms of the Stokes parameters related to the two possibles paths of the photon, together with a quantum version of the two-point Stokes parameters introduced here. Our findings put forward photonic circuits for the investigation of the dynamics of open quantum systems. △ Less

Submitted 26 January, 2024; v1 submitted 24 August, 2023; originally announced August 2023.

Comments: 6 pages, 2 figures

Polyglot Code Smell Detection for Infrastructure as Code with GLITCH

Authors: Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes

Abstract: This paper presents GLITCH, a new technology-agnostic framework that enables automated polyglot code smell detection for Infrastructure as Code scripts. GLITCH uses an intermediate representation on which different code smell detectors can be defined. It currently supports the detection of nine security smells and nine design & implementation smells in scripts written in Ansible, Chef, Docker, Pup… ▽ More This paper presents GLITCH, a new technology-agnostic framework that enables automated polyglot code smell detection for Infrastructure as Code scripts. GLITCH uses an intermediate representation on which different code smell detectors can be defined. It currently supports the detection of nine security smells and nine design & implementation smells in scripts written in Ansible, Chef, Docker, Puppet, or Terraform. Studies conducted with GLITCH not only show that GLITCH can reduce the effort of writing code smell analyses for multiple IaC technologies, but also that it has higher precision and recall than current state-of-the-art tools. A video describing and demonstrating GLITCH is available at: https://youtu.be/E4RhCcZjWbk △ Less

Submitted 18 August, 2023; originally announced August 2023.

A large topographic feature on the surface of the trans-Neptunian object (307261) 2002 MS$_4$ measured from stellar occultations

Authors: F. L. Rommel, F. Braga-Ribas, J. L. Ortiz, B. Sicardy, P. Santos-Sanz, J. Desmars, J. I. B. Camargo, R. Vieira-Martins, M. Assafin, B. E. Morgado, R. C. Boufleur, G. Benedetti-Rossi, A. R. Gomes-Júnior, E. Fernández-Valenzuela, B. J. Holler, D. Souami, R. Duffard, G. Margoti, M. Vara-Lubiano, J. Lecacheux, J. L. Plouvier, N. Morales, A. Maury, J. Fabrega, P. Ceravolo , et al. (179 additional authors not shown)

Abstract: This work aims at constraining the size, shape, and geometric albedo of the dwarf planet candidate 2002 MS4 through the analysis of nine stellar occultation events. Using multichord detection, we also studied the object's topography by analyzing the obtained limb and the residuals between observed chords and the best-fitted ellipse. We predicted and organized the observational campaigns of nine st… ▽ More This work aims at constraining the size, shape, and geometric albedo of the dwarf planet candidate 2002 MS4 through the analysis of nine stellar occultation events. Using multichord detection, we also studied the object's topography by analyzing the obtained limb and the residuals between observed chords and the best-fitted ellipse. We predicted and organized the observational campaigns of nine stellar occultations by 2002 MS4 between 2019 and 2022, resulting in two single-chord events, four double-chord detections, and three events with three to up to sixty-one positive chords. Using 13 selected chords from the 8 August 2020 event, we determined the global elliptical limb of 2002 MS4. The best-fitted ellipse, combined with the object's rotational information from the literature, constrains the object's size, shape, and albedo. Additionally, we developed a new method to characterize topography features on the object's limb. The global limb has a semi-major axis of 412 $\pm$ 10 km, a semi-minor axis of 385 $\pm$ 17 km, and the position angle of the minor axis is 121 $^\circ$ $\pm$ 16$^\circ$. From this instantaneous limb, we obtained 2002 MS4's geometric albedo and the projected area-equivalent diameter. Significant deviations from the fitted ellipse in the northernmost limb are detected from multiple sites highlighting three distinct topographic features: one 11 km depth depression followed by a 25$^{+4}_{-5}$ km height elevation next to a crater-like depression with an extension of 322 $\pm$ 39 km and 45.1 $\pm$ 1.5 km deep. Our results present an object that is $\approx$138 km smaller in diameter than derived from thermal data, possibly indicating the presence of a so-far unknown satellite. However, within the error bars, the geometric albedo in the V-band agrees with the results published in the literature, even with the radiometric-derived albedo. △ Less

Submitted 23 August, 2023; v1 submitted 15 August, 2023; originally announced August 2023.

Journal ref: A&A 678, A167 (2023)

Charge-Spin Conversion in Two-Subband Quantum Wells with Conventional and Unconventional Rashba Spin-Orbit Coupling

Authors: Gerson J. Ferreira, Boyu Wang, Jiyong Fu, Roberto Raimondi

Abstract: The reciprocal interconversion between spin polarization and charge current (CSC) is the focus of intensive theoretical and experimental investigation in spintronics research. Its physical origin stems from the Rashba spin-orbit coupling (SOC) induced by the breaking of the structure inversion symmetry. The steady-state interconversion efficiency is the result of the non-trivial spin textures of t… ▽ More The reciprocal interconversion between spin polarization and charge current (CSC) is the focus of intensive theoretical and experimental investigation in spintronics research. Its physical origin stems from the Rashba spin-orbit coupling (SOC) induced by the breaking of the structure inversion symmetry. The steady-state interconversion efficiency is the result of the non-trivial spin textures of the electric-field distorted Fermi surface. Its full understanding and evaluation requires the consideration of disorder-induced relaxation effects in the presence of spin-orbit induced band splitting. In this paper the additional effect of the orbital degree of freedom is analyzed in a two-subband quantum well with both conventional and unconventional Rashba SOC in the presence of disorder impurity scattering. The latter is treated at the level of the Born approximation in the Green's function self-energy and with the inclusion of vertex corrections in the linear response functions for the charge current and the spin polarization. By explicitly considering the symmetry properties of the Hamiltonian the matrix structure of the correlation functions is shown to decompose in independent blocks of symmetry-related physical observables. We find that the inclusion of vertex corrections is important for the correct estimate of the CSC efficiency, which also depends on the position of the Fermi level. We also find that the relative sign of the Rashba SOC in the two subbands plays a key role in determining the behavior of the CSC. Finally, we point out how the two-subband model compares with the standard single-band two-dimensional electron gas. △ Less

Submitted 29 July, 2023; originally announced July 2023.

Comments: 21 pages, 9 figures, To be Presented to Spintronics XVI, San Diego, August 2023

Exact description of transport and non-reciprocity in monitored quantum devices

Authors: João Ferreira, Tony **, Jochen Mannhart, Thierry Giamarchi, Michele Filippone

Abstract: We study non-interacting fermionic systems undergoing continuous monitoring and driven by biased reservoirs. Averaging over the measurement outcomes, we derive exact formulas for the particle and heat flows in the system. We show that these currents feature competing elastic and inelastic components, which depend non-trivially on the monitoring strength $γ$. We highlight that monitor-induced inela… ▽ More We study non-interacting fermionic systems undergoing continuous monitoring and driven by biased reservoirs. Averaging over the measurement outcomes, we derive exact formulas for the particle and heat flows in the system. We show that these currents feature competing elastic and inelastic components, which depend non-trivially on the monitoring strength $γ$. We highlight that monitor-induced inelastic processes lead to non-reciprocal currents, allowing to extract work from measurements without active feedback control. We illustrate our formalism with two distinct monitoring schemes providing measurement-induced power or cooling.~Optimal performances are found for values of the monitoring strength $γ$ which are hard to address with perturbative approaches. △ Less

Submitted 28 June, 2023; originally announced June 2023.

Comments: 15 pages, 5 figures

Journal ref: Phys. Rev. Lett. 132, 136301 (2024) -Editors' Suggestion

Testing $Λ$-Free f(Q) Cosmology

Authors: José Ferreira, Tiago Barreiro, José P. Mimoso, Nelson J. Nunes

Abstract: We study a model of Symmetric Teleparallel gravity that is able to account for the current accelerated expansion of the universe without the need for dark energy component. We investigate this model by making use of dynamical system analysis techniques to identify the regions of the parameter space with viable cosmologies and constrain it using type Ia supernova (SnIa), cosmic microwave background… ▽ More We study a model of Symmetric Teleparallel gravity that is able to account for the current accelerated expansion of the universe without the need for dark energy component. We investigate this model by making use of dynamical system analysis techniques to identify the regions of the parameter space with viable cosmologies and constrain it using type Ia supernova (SnIa), cosmic microwave background (CMB) data and make forecasts using standard siren (SS) events. We conclude that this model is disfavored with respect to $Λ$CDM and forthcoming standard siren events can be decisive in testing the viability of the model. △ Less

Submitted 25 September, 2023; v1 submitted 16 June, 2023; originally announced June 2023.

Comments: 9 pages, 3 figures, version 2 revision

Stability of cycles and survival in a Jungle Game with four species

Authors: Sofia B. S. D. Castro, Ana M. J. Ferreira, Isabel S. Labouriau

Abstract: The Jungle Game is used in population dynamics to describe cyclic competition among species that interact via a food chain. The dynamics of the Jungle Game supports a heteroclinic network whose cycles represent coexisting species. The stability of all heteroclinic cycles in the network for the Jungle Game with four species determines that only three species coexist in the long-run, interacting und… ▽ More The Jungle Game is used in population dynamics to describe cyclic competition among species that interact via a food chain. The dynamics of the Jungle Game supports a heteroclinic network whose cycles represent coexisting species. The stability of all heteroclinic cycles in the network for the Jungle Game with four species determines that only three species coexist in the long-run, interacting under cyclic dominance as a Rock-Paper-Scissors Game. This is in stark contrast with other interactions involving four species, such as cyclic interaction and intraguild predation. We use the Jungle Game with four species to determine the success of a fourth species invading a population of Rock-Paper-Scissors players. △ Less

Submitted 14 January, 2024; v1 submitted 16 June, 2023; originally announced June 2023.

MSC Class: 34C37; 34A34; 37C75; 91A22; 92D25

DFT2kp: effective kp models from ab-initio data

Authors: João Victor V. Cassiano, Augusto L. Araújo, Paulo E. Faria Junior, Gerson J. Ferreira

Abstract: The $\mathbf{k}\cdot\mathbf{p}$ method, combined with group theory, is an efficient approach to obtain the low energy effective Hamiltonians of crystalline materials. Although the Hamiltonian coefficients are written as matrix elements of the generalized momentum operator $\mathbfπ=\mathbf{p}+\mathbf{p}_{\rm SOC}$ (including spin-orbit coupling corrections), their numerical values must be determin… ▽ More The $\mathbf{k}\cdot\mathbf{p}$ method, combined with group theory, is an efficient approach to obtain the low energy effective Hamiltonians of crystalline materials. Although the Hamiltonian coefficients are written as matrix elements of the generalized momentum operator $\mathbfπ=\mathbf{p}+\mathbf{p}_{\rm SOC}$ (including spin-orbit coupling corrections), their numerical values must be determined from outside sources, such as experiments or ab initio methods. Here, we develop a code to explicitly calculate the Kane (linear in crystal momentum) and Luttinger (quadratic in crystal momentum) parameters of $\mathbf{k}\cdot\mathbf{p}$ effective Hamiltonians directly from ab initio wavefunctions provided by Quantum ESPRESSO. Additionally, the code analyzes the symmetry transformations of the wavefunctions to optimize the final Hamiltonian. This is an optional step in the code, where it numerically finds the unitary transformation $U$ that rotates the basis towards an optimal symmetry-adapted representation informed by the user. Throughout the paper, we present the methodology in detail and illustrate the capabilities of the code applying it to a selection of relevant materials. Particularly, we show a "hands-on" example of how to run the code for graphene (with and without spin-orbit coupling). The code is open source and available at https://gitlab.com/dft2kp/dft2kp. △ Less

Submitted 7 February, 2024; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: 28 pages, 8 figures

Journal ref: SciPost Phys. Codebases 25 (2024)

SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts

Authors: Monika di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer

Abstract: Smart contracts are blockchain programs that often handle valuable assets. Writing secure smart contracts is far from trivial, and any vulnerability may lead to significant financial losses. To support developers in identifying and eliminating vulnerabilities, methods and tools for the automated analysis have been proposed. However, the lack of commonly accepted benchmark suites and performance me… ▽ More Smart contracts are blockchain programs that often handle valuable assets. Writing secure smart contracts is far from trivial, and any vulnerability may lead to significant financial losses. To support developers in identifying and eliminating vulnerabilities, methods and tools for the automated analysis have been proposed. However, the lack of commonly accepted benchmark suites and performance metrics makes it difficult to compare and evaluate such tools. Moreover, the tools are heterogeneous in their interfaces and reports as well as their runtime requirements, and installing several tools is time-consuming. In this paper, we present SmartBugs 2.0, a modular execution framework. It provides a uniform interface to 19 tools aimed at smart contract analysis and accepts both Solidity source code and EVM bytecode as input. After describing its architecture, we highlight the features of the framework. We evaluate the framework via its reception by the community and illustrate its scalability by describing its role in a study involving 3.25 million analyses. △ Less

Submitted 8 June, 2023; originally announced June 2023.

The jet emitting disk standard accretion disk model applied to the active galactic nuclei ultra violet Xray correlation

Authors: Samuel Barnier, Pierre-Olivier Petrucci, Jonathan Ferreira, Gregoire Marcel

Abstract: The non linear correlation between the UV and X-ray emission observed in Active Galactic Nuclei remains a puzzling question that challenged accretion models. While the UV emission originates from the cold disk, the X-ray emission is emitted by a hot corona whose physical characteristics and geometry are still highly debated. The Jet Emitting Disk - Standard Accretion Disk (JED-SAD) is a spectral m… ▽ More The non linear correlation between the UV and X-ray emission observed in Active Galactic Nuclei remains a puzzling question that challenged accretion models. While the UV emission originates from the cold disk, the X-ray emission is emitted by a hot corona whose physical characteristics and geometry are still highly debated. The Jet Emitting Disk - Standard Accretion Disk (JED-SAD) is a spectral model stemming from self similar accretion-ejection solutions. It is composed of an inner highly magnetized and hot accretion flow launching jets, the JED, and an outer SAD. The model has been successfully applied to X-ray binaries outbursts. The AGN UV X-ray correlation represent another essential test for the JED-SAD model. We use multiple AGN samples to explore the parameter space and identify the regions able to reproduce the observations. In this first paper, we show that JED-SAD model is able to reproduce the UV--X-ray correlation. △ Less

Submitted 23 May, 2023; originally announced May 2023.

Comments: XMM-Newton 2022 conference: Black Hole accretion under the X-ray microscope (June 2022, ESAC, Madrid), proceeding

Journal ref: Astronomische Nachrichten, Volume 344, Issue 4, Special Issue, Black Hole accretion under the Xray microscope, May 2023

An ultrafast outflow in the black hole candidate MAXI J1810-222?

Authors: M. Del Santo, C. Pinto, A. Marino, A. D'Aì, P. -O. Petrucci, J. Malzac, J. Ferreira, F. Pintore, S. E. Motta, T. D. Russell, A. Segreto, A. Sanna

Abstract: The transient X-ray source MAXI J1810-222 was discovered in 2018 and has been active ever since. A long combined radio and X-ray monitoring campaign was performed with ATCA and Swift respectively. It has been proposed that MAXI J1810-222 is a relatively distant black hole X-ray binary, albeit showing a very peculiar outburst behaviour. Here, we report on the spectral study of this source making us… ▽ More The transient X-ray source MAXI J1810-222 was discovered in 2018 and has been active ever since. A long combined radio and X-ray monitoring campaign was performed with ATCA and Swift respectively. It has been proposed that MAXI J1810-222 is a relatively distant black hole X-ray binary, albeit showing a very peculiar outburst behaviour. Here, we report on the spectral study of this source making use of a large sample of NICER observations performed between 2019 February and 2020 September. We detected a strong spectral absorption feature at $\sim$1 keV, which we have characterised with a physical photoionisation model. Via a deep scan of the parameters space, we obtained evidence for a spectral-state dependent outflow, with mildly relativistic speeds. In particular, the soft and intermediate states point to a hot plasma outflowing at 0.05-0.15 $c$. This speeds rule-out thermal winds and, hence, they suggest that such outflows could be radiation pressure or (most likely) magnetically-driven winds. Our results are crucial to test current theoretical models of wind formation in X-ray binaries. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Comments: 6 pages, 10 figures, accepted for publication in MNRAS Letter

Human-AI Co-Creation Approach to Find Forever Chemicals Replacements

Authors: Juliana Jansen Ferreira, Vinícius Segura, Joana G. R. Souza, Gabriel D. J. Barbosa, João Gallas, Renato Cerqueira, Dmitry Zubarev

Abstract: Generative models are a powerful tool in AI for material discovery. We are designing a software framework that supports a human-AI co-creation process to accelerate finding replacements for the ``forever chemicals''-- chemicals that enable our modern lives, but are harmful to the environment and the human health. Our approach combines AI capabilities with the domain-specific tacit knowledge of sub… ▽ More Generative models are a powerful tool in AI for material discovery. We are designing a software framework that supports a human-AI co-creation process to accelerate finding replacements for the ``forever chemicals''-- chemicals that enable our modern lives, but are harmful to the environment and the human health. Our approach combines AI capabilities with the domain-specific tacit knowledge of subject matter experts to accelerate the material discovery. Our co-creation process starts with the interaction between the subject matter experts and a generative model that can generate new molecule designs. In this position paper, we discuss our hypothesis that these subject matter experts can benefit from a more iterative interaction with the generative model, asking for smaller samples and ``guiding'' the exploration of the discovery space with their knowledge. △ Less

Submitted 11 April, 2023; originally announced April 2023.

Comments: 5 pages, Generative AI and HCI (GenAICHI) Workshop at CHI 23 (ACM CHI Conference on Human Factors in Computing Systems)

MUFIN: Improving Neural Repair Models with Back-Translation

Authors: André Silva, João F. Ferreira, He Ye, Martin Monperrus

Abstract: Automated program repair is the task of automatically repairing software bugs. A promising direction in this field is self-supervised learning, a learning paradigm in which repair models are trained without commits representing pairs of bug/fix. In self-supervised neural program repair, those bug/fix pairs are generated in some ways. The main problem is to generate interesting and diverse pairs th… ▽ More Automated program repair is the task of automatically repairing software bugs. A promising direction in this field is self-supervised learning, a learning paradigm in which repair models are trained without commits representing pairs of bug/fix. In self-supervised neural program repair, those bug/fix pairs are generated in some ways. The main problem is to generate interesting and diverse pairs that maximize the effectiveness of training. As a contribution to this problem, we propose to use back-translation, a technique coming from neural machine translation. We devise and implement MUFIN, a back-translation training technique for program repair, with specifically designed code critics to select high-quality training samples. Our results show that MUFIN's back-translation loop generates valuable training samples in a fully automated, self-supervised manner, generating more than half-a-million pairs of bug/fix. The code critic design is key because of a fundamental trade-off between how restrictive a critic is and how many samples are available for optimization during back-translation. △ Less

Submitted 5 April, 2023; originally announced April 2023.

Constraining f(Q) Cosmology with Standard Sirens

Authors: José Ferreira

Abstract: In this dissertation, we study two cosmological models based on $f(Q)$ gravity. We resort to mock catalogs of standard siren (SS) events to see whether data from future gravitational wave (GWs) observatories will be able to distinguish these models from $Λ$CDM. The first model is the most general $f(Q)$ formulation that replicates a $Λ$CDM background, with deviations appearing only at the pertur… ▽ More In this dissertation, we study two cosmological models based on $f(Q)$ gravity. We resort to mock catalogs of standard siren (SS) events to see whether data from future gravitational wave (GWs) observatories will be able to distinguish these models from $Λ$CDM. The first model is the most general $f(Q)$ formulation that replicates a $Λ$CDM background, with deviations appearing only at the perturbative level. It has one additional free parameter compared to $Λ$CDM, $α$, which when set to zero falls back to $Λ$CDM. We show that LIGO-Virgo is unable to constrain $α$, due to the high error and low redshift of the measurements, whereas LISA and the ET will, with the ET outperforming LISA. The catalogs for both LISA and LIGO-Virgo show non-negligible statistical fluctuations, where we consider three representative catalogs (the best, median and worst), whereas for the ET, only a single catalog is considered, as the number of events is large enough for statistical fluctuations to be neglected. The best LISA catalog is the one with more low redshift events, while the worst LISA catalog features fewer low redshift events. Additionally, if we are to observe a bad LISA catalog, we can rely on data from LIGO-Virgo to improve the quality of the constrains, bringing it closer to a median LISA catalog. The second model attempts to replace dark energy by making use of a specific form of the function $f(Q)$. We study this model resorting to dynamical system techniques to show the regions in parameter space with viable cosmologies. Using model selection criteria, we show that no number of SS events is, by itself, able to tell this model and $Λ$CDM apart. We then show that if we add current type Ia Supernova (SnIa) data, tensions in this model arise when compared to the constrains set by the SS events. △ Less

Submitted 22 March, 2023; originally announced March 2023.

Comments: 58 pages, 25 figures

Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study

Authors: Monika di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer

Abstract: Blockchain programs (also known as smart contracts) manage valuable assets like cryptocurrencies and tokens, and implement protocols in domains like decentralized finance (DeFi) and supply-chain management. These types of applications require a high level of security that is hard to achieve due to the transparency of public blockchains. Numerous tools support developers and auditors in the task of… ▽ More Blockchain programs (also known as smart contracts) manage valuable assets like cryptocurrencies and tokens, and implement protocols in domains like decentralized finance (DeFi) and supply-chain management. These types of applications require a high level of security that is hard to achieve due to the transparency of public blockchains. Numerous tools support developers and auditors in the task of detecting weaknesses. As a young technology, blockchains and utilities evolve fast, making it challenging for tools and developers to keep up with the pace. In this work, we study the robustness of code analysis tools and the evolution of weakness detection on a dataset representing six years of blockchain activity. We focus on Ethereum as the crypto ecosystem with the largest number of developers and deployed programs. We investigate the behavior of single tools as well as the agreement of several tools addressing similar weaknesses. Our study is the first that is based on the entire body of deployed bytecode on Ethereum's main chain. We achieve this coverage by considering bytecodes as equivalent if they share the same skeleton. The skeleton of a bytecode is obtained by omitting functionally irrelevant parts. This reduces the 48 million contracts deployed on Ethereum up to January 2022 to 248328 contracts with distinct skeletons. For bulk execution, we utilize the open-source framework SmartBugs that facilitates the analysis of Solidity smart contracts, and enhance it to accept also bytecode as the only input. Moreover, we integrate six further tools for bytecode analysis. The execution of the 12 tools included in our study on the dataset took 30 CPU years. While the tools report a total of 1307486 potential weaknesses, we observe a decrease in reported weaknesses over time, as well as a degradation of tools to varying degrees. △ Less

Submitted 7 November, 2023; v1 submitted 18 March, 2023; originally announced March 2023.

Software-based security approach for networked embedded devices

Authors: José Ferreira, Alan Oliveira, André Souto, José Cecílio

Abstract: As the Internet of Things (IoT) continues to expand, data security has become increasingly important for ensuring privacy and safety, especially given the sensitive and, sometimes, critical nature of the data handled by IoT devices. There exist hardware-based trusted execution environments used to protect data, but they are not compatible with low-cost devices that lack hardware-assisted security… ▽ More As the Internet of Things (IoT) continues to expand, data security has become increasingly important for ensuring privacy and safety, especially given the sensitive and, sometimes, critical nature of the data handled by IoT devices. There exist hardware-based trusted execution environments used to protect data, but they are not compatible with low-cost devices that lack hardware-assisted security features. The research in this paper presents software-based protection and encryption mechanisms explicitly designed for embedded devices. The proposed architecture is designed to work with low-cost, low-end devices without requiring the usual changes on the underlying hardware. It protects against hardware attacks and supports runtime updates, enabling devices to write data in protected memory. The proposed solution is an alternative data security approach for low-cost IoT devices without compromising performance or functionality. Our work underscores the importance of develo** secure and cost-effective solutions for protecting data in the context of IoT. △ Less

Submitted 14 March, 2023; originally announced March 2023.

Comments: 4

Continuously Reliable Detection of New-Normal Misinformation: Semantic Masking and Contrastive Smoothing in High-Density Latent Regions

Authors: Abhijit Suprem, Joao Eduardo Ferreira, Calton Pu

Abstract: Toxic misinformation campaigns have caused significant societal harm, e.g., affecting elections and COVID-19 information awareness. Unfortunately, despite successes of (gold standard) retrospective studies of misinformation that confirmed their harmful effects after the fact, they arrive too late for timely intervention and reduction of such harm. By design, misinformation evades retrospective cla… ▽ More Toxic misinformation campaigns have caused significant societal harm, e.g., affecting elections and COVID-19 information awareness. Unfortunately, despite successes of (gold standard) retrospective studies of misinformation that confirmed their harmful effects after the fact, they arrive too late for timely intervention and reduction of such harm. By design, misinformation evades retrospective classifiers by exploiting two properties we call new-normal: (1) never-seen-before novelty that cause inescapable generalization challenges for previous classifiers, and (2) massive but short campaigns that end before they can be manually annotated for new classifier training. To tackle these challenges, we propose UFIT, which combines two techniques: semantic masking of strong signal keywords to reduce overfitting, and intra-proxy smoothness regularization of high-density regions in the latent space to improve reliability and maintain accuracy. Evaluation of UFIT on public new-normal misinformation data shows over 30% improvement over existing approaches on future (and unseen) campaigns. To the best of our knowledge, UFIT is the first successful effort to achieve such high level of generalization on new-normal misinformation data with minimal concession (1 to 5%) of accuracy compared to oracles trained with full knowledge of all campaigns. △ Less

Submitted 19 January, 2023; originally announced January 2023.

RedBit: An End-to-End Flexible Framework for Evaluating the Accuracy of Quantized CNNs

Authors: André Santos, João Dinis Ferreira, Onur Mutlu, Gabriel Falcao

Abstract: In recent years, Convolutional Neural Networks (CNNs) have become the standard class of deep neural network for image processing, classification and segmentation tasks. However, the large strides in accuracy obtained by CNNs have been derived from increasing the complexity of network topologies, which incurs sizeable performance and energy penalties in the training and inference of CNNs. Many rece… ▽ More In recent years, Convolutional Neural Networks (CNNs) have become the standard class of deep neural network for image processing, classification and segmentation tasks. However, the large strides in accuracy obtained by CNNs have been derived from increasing the complexity of network topologies, which incurs sizeable performance and energy penalties in the training and inference of CNNs. Many recent works have validated the effectiveness of parameter quantization, which consists in reducing the bit width of the network's parameters, to enable the attainment of considerable performance and energy efficiency gains without significantly compromising accuracy. However, it is difficult to compare the relative effectiveness of different quantization methods. To address this problem, we introduce RedBit, an open-source framework that provides a transparent, extensible and easy-to-use interface to evaluate the effectiveness of different algorithms and parameter configurations on network accuracy. We use RedBit to perform a comprehensive survey of five state-of-the-art quantization methods applied to the MNIST, CIFAR-10 and ImageNet datasets. We evaluate a total of 2300 individual bit width combinations, independently tuning the width of the network's weight and input activation parameters, from 32 bits down to 1 bit (e.g., 8/8, 2/2, 1/32, 1/1, for weights/activations). Upwards of 20000 hours of computing time in a pool of state-of-the-art GPUs were used to generate all the results in this paper. For 1-bit quantization, the accuracy losses for the MNIST, CIFAR-10 and ImageNet datasets range between [0.26%, 0.79%], [9.74%, 32.96%] and [10.86%, 47.36%] top-1, respectively. We actively encourage the reader to download the source code and experiment with RedBit, and to submit their own observed results to our public repository, available at https://github.com/IT-Coimbra/RedBit. △ Less

Submitted 15 January, 2023; originally announced January 2023.

Comments: 17 pages, 4 figures, 14 tables

Quantum Brownian motion induced by an inhomogeneous tridimensional space and a $S^1\times R^3$ topological space-time

Authors: Éwerton J. B. Ferreira, Eliza M. B. Guedes, Herondy F. Santana Mota

Abstract: In this paper we investigate the Quantum Brownian motion of a point particle induced by quantum vacuum fluctuations of a massless scalar field in (3 + 1)-dimensional Minkowski spacetime with distinct conditions (Dirichlet, Neumann, mixed and quasiperiodic). The modes of the field are confined and compactified to a finite length region, which consequently provides a natural measure scale for the sy… ▽ More In this paper we investigate the Quantum Brownian motion of a point particle induced by quantum vacuum fluctuations of a massless scalar field in (3 + 1)-dimensional Minkowski spacetime with distinct conditions (Dirichlet, Neumann, mixed and quasiperiodic). The modes of the field are confined and compactified to a finite length region, which consequently provides a natural measure scale for the system. Useful expressions for the Wightman function have been obtained, which allow us to calculate analytical expressions for the velocity dispersion in all condition cases considered. We also obtain expressions for the velocity dispersion in the short and late time regimes. Finally, we exhibit some graphs in order to show the behavior of the velocity dispersions, discussing important divergencies that are present in our results. △ Less

Submitted 11 April, 2023; v1 submitted 14 January, 2023; originally announced January 2023.

Comments: 32 pages, 9 figures, version accepted for publication in JHEP

Hedgehog orbital texture in p-type tellurium and the antisymmetric nonreciprocal Hall response

Authors: Gabriele Maruggi, Jaime Ferreira, Elisa Baggio-Saitovitch, Carsten Enderlein, Marcello B. Silva Neto

Abstract: Tellurium is a gyrotropic, p-type Weyl semiconductor with remarkable electronic, optical, and transport properties. It has been argued that some of these properties might stem from Weyl nodes at crossing points in the band structure, and their nontrivial topological textures. However, Weyl nodes in time-reversal invariant semiconductors are split up in energy, rather than in momentum, and located… ▽ More Tellurium is a gyrotropic, p-type Weyl semiconductor with remarkable electronic, optical, and transport properties. It has been argued that some of these properties might stem from Weyl nodes at crossing points in the band structure, and their nontrivial topological textures. However, Weyl nodes in time-reversal invariant semiconductors are split up in energy, rather than in momentum, and located deep below (far above) the top (bottom) of the valence (conduction) band, challenging such an interpretation. Here, instead, we use a 4-band kp Hamiltonian for $p-$type tellurium to show how the k-dependent spin-orbit interaction mixes up the top two (Weyl node free) and bottom two (Weyl node containing) valence bands, generating a 3D hedgehog orbital magnetic texture at the uppermost valence band, accessible to transport already at the lowest do**. Hedgehog textures are important signatures of Weyl fermion physics in general and in the context of condensed matter physics arise form the carriers' wave packet rotation being locked to their propagation wavevector. For spatially dispersive media, such an induced hedgehog texture/carrier rotation stabilizes two novel, nonreciprocal and antisymmetric components to the Hall transport within different weak-localization (antilocalization) relaxation regimes: the anomalous and planar Hall effects, usually forbidden by time reversal symmetry. Our AC magnetotransport measurements on Sn-doped tellurium confirm the theoretical predictions and our work demonstrates how Weyl signatures generally appear in transport on enantiomorphic materials with natural optical activity. △ Less

Submitted 7 December, 2022; originally announced December 2022.

Comments: 12 pages and 8 figures

Time-Aware Datasets are Adaptive Knowledgebases for the New Normal

Authors: Abhijit Suprem, Sanjyot Vaidya, Joao Eduardo Ferreira, Calton Pu

Abstract: Recent advances in text classification and knowledge capture in language models have relied on availability of large-scale text datasets. However, language models are trained on static snapshots of knowledge and are limited when that knowledge evolves. This is especially critical for misinformation detection, where new types of misinformation continuously appear, replacing old campaigns. We propos… ▽ More Recent advances in text classification and knowledge capture in language models have relied on availability of large-scale text datasets. However, language models are trained on static snapshots of knowledge and are limited when that knowledge evolves. This is especially critical for misinformation detection, where new types of misinformation continuously appear, replacing old campaigns. We propose time-aware misinformation datasets to capture time-critical phenomena. In this paper, we first present evidence of evolving misinformation and show that incorporating even simple time-awareness significantly improves classifier accuracy. Second, we present COVID-TAD, a large-scale COVID-19 misinformation da-taset spanning 25 months. It is the first large-scale misinformation dataset that contains multiple snapshots of a datastream and is orders of magnitude bigger than related misinformation datasets. We describe the collection and labeling pro-cess, as well as preliminary experiments. △ Less

Submitted 22 November, 2022; originally announced November 2022.

Particle Physics at the European Spallation Source

Authors: H. Abele, A. Alekou, A. Algora, K. Andersen, S. Baessler, L. Barron-Palos, J. Barrow, E. Baussan, P. Bentley, Z. Berezhiani, Y. Bessler, A. K. Bhattacharyya, A. Bianchi, J. Bijnens, C. Blanco, N. Blaskovic Kraljevic, M. Blennow, K. Bodek, M. Bogomilov, C. Bohm, B. Bolling, E. Bouquerel, G. Brooijmans, L. J. Broussard, O. Buchan , et al. (154 additional authors not shown)

Abstract: Presently under construction in Lund, Sweden, the European Spallation Source (ESS) will be the world's brightest neutron source. As such, it has the potential for a particle physics program with a unique reach and which is complementary to that available at other facilities. This paper describes proposed particle physics activities for the ESS. These encompass the exploitation of both the neutrons… ▽ More Presently under construction in Lund, Sweden, the European Spallation Source (ESS) will be the world's brightest neutron source. As such, it has the potential for a particle physics program with a unique reach and which is complementary to that available at other facilities. This paper describes proposed particle physics activities for the ESS. These encompass the exploitation of both the neutrons and neutrinos produced at the ESS for high precision (sensitivity) measurements (searches). △ Less

Submitted 30 January, 2024; v1 submitted 18 November, 2022; originally announced November 2022.

Comments: 121 pages, updated version after referee comments

ATEAM: Knowledge Integration from Federated Datasets for Vehicle Feature Extraction using Annotation Team of Experts

Authors: Abhijit Suprem, Purva Singh, Suma Cherkadi, Sanjyot Vaidya, Joao Eduardo Ferreira, Calton Pu

Abstract: The vehicle recognition area, including vehicle make-model recognition (VMMR), re-id, tracking, and parts-detection, has made significant progress in recent years, driven by several large-scale datasets for each task. These datasets are often non-overlap**, with different label schemas for each task: VMMR focuses on make and model, while re-id focuses on vehicle ID. It is promising to combine th… ▽ More The vehicle recognition area, including vehicle make-model recognition (VMMR), re-id, tracking, and parts-detection, has made significant progress in recent years, driven by several large-scale datasets for each task. These datasets are often non-overlap**, with different label schemas for each task: VMMR focuses on make and model, while re-id focuses on vehicle ID. It is promising to combine these datasets to take advantage of knowledge across datasets as well as increased training data; however, dataset integration is challenging due to the domain gap problem. This paper proposes ATEAM, an annotation team-of-experts to perform cross-dataset labeling and integration of disjoint annotation schemas. ATEAM uses diverse experts, each trained on datasets that contain an annotation schema, to transfer knowledge to datasets without that annotation. Using ATEAM, we integrated several common vehicle recognition datasets into a Knowledge Integrated Dataset (KID). We evaluate ATEAM and KID for vehicle recognition problems and show that our integrated dataset can help off-the-shelf models achieve excellent accuracy on VMMR and vehicle re-id with no changes to model architectures. We achieve mAP of 0.83 on VeRi, and accuracy of 0.97 on CompCars. We have released both the dataset and the ATEAM framework for public use. △ Less

Submitted 16 November, 2022; originally announced November 2022.

Comments: ATEAM for Vehicle Classification and Re-ID

EdnaML: A Declarative API and Framework for Reproducible Deep Learning

Authors: Abhijit Suprem, Sanjyot Vaidya, Avinash Venugopal, Joao Eduardo Ferreira, Calton Pu

Abstract: Machine Learning has become the bedrock of recent advances in text, image, video, and audio processing and generation. Most production systems deal with several models during deployment and training, each with a variety of tuned hyperparameters. Furthermore, data collection and processing aspects of ML pipelines are receiving increasing interest due to their importance in creating sustainable high… ▽ More Machine Learning has become the bedrock of recent advances in text, image, video, and audio processing and generation. Most production systems deal with several models during deployment and training, each with a variety of tuned hyperparameters. Furthermore, data collection and processing aspects of ML pipelines are receiving increasing interest due to their importance in creating sustainable high-quality classifiers. We present EdnaML, a framework with a declarative API for reproducible deep learning. EdnaML provides low-level building blocks that can be composed manually, as well as a high-level pipeline orchestration API to automate data collection, data processing, classifier training, classifier deployment, and model monitoring. Our layered API allows users to manage ML pipelines at high-level component abstractions, while providing flexibility to modify any part of it through the building blocks. We present several examples of ML pipelines with EdnaML, including a large-scale fake news labeling and classification system with six sub-pipelines managed by EdnaML. △ Less

Submitted 12 November, 2022; originally announced November 2022.

Toward Human-AI Co-creation to Accelerate Material Discovery

Authors: Dmitry Zubarev, Carlos Raoni Mendes, Emilio Vital Brazil, Renato Cerqueira, Kristin Schmidt, Vinicius Segura, Juliana Jansen Ferreira, Dan Sanders

Abstract: There is an increasing need in our society to achieve faster advances in Science to tackle urgent problems, such as climate changes, environmental hazards, sustainable energy systems, pandemics, among others. In certain domains like chemistry, scientific discovery carries the extra burden of assessing risks of the proposed novel solutions before moving to the experimental stage. Despite several re… ▽ More There is an increasing need in our society to achieve faster advances in Science to tackle urgent problems, such as climate changes, environmental hazards, sustainable energy systems, pandemics, among others. In certain domains like chemistry, scientific discovery carries the extra burden of assessing risks of the proposed novel solutions before moving to the experimental stage. Despite several recent advances in Machine Learning and AI to address some of these challenges, there is still a gap in technologies to support end-to-end discovery applications, integrating the myriad of available technologies into a coherent, orchestrated, yet flexible discovery process. Such applications need to handle complex knowledge management at scale, enabling knowledge consumption and production in a timely and efficient way for subject matter experts (SMEs). Furthermore, the discovery of novel functional materials strongly relies on the development of exploration strategies in the chemical space. For instance, generative models have gained attention within the scientific community due to their ability to generate enormous volumes of novel molecules across material domains. These models exhibit extreme creativity that often translates in low viability of the generated candidates. In this work, we propose a workbench framework that aims at enabling the human-AI co-creation to reduce the time until the first discovery and the opportunity costs involved. This framework relies on a knowledge base with domain and process knowledge, and user-interaction components to acquire knowledge and advise the SMEs. Currently,the framework supports four main activities: generative modeling, dataset triage, molecule adjudication, and risk assessment. △ Less

Submitted 5 November, 2022; originally announced November 2022.

Comments: 9 pages, 5 figures, NeurIPS 2022 WS: AI4Science

Map**s preserving sum of triple products on $\ast $-algebras

Authors: João Carlos da Motta Ferreira, Maria das Graças Bruno Marietto

Abstract: Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective map**s $Φ:\mathcal{A}\rightarrow \mathcal{B}$ preserving sum of triple products $α_{1} ab^{*}c+α_{2} acb^{*}+α_{3} b^{*}ac +α_{4} cab^{*}+α_{5} b^{*}ca+α_{6} cb^{*}a,$ where the scalars $\{α_{k}\}_{k=1}^{6}$ are complex… ▽ More Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective map**s $Φ:\mathcal{A}\rightarrow \mathcal{B}$ preserving sum of triple products $α_{1} ab^{*}c+α_{2} acb^{*}+α_{3} b^{*}ac +α_{4} cab^{*}+α_{5} b^{*}ca+α_{6} cb^{*}a,$ where the scalars $\{α_{k}\}_{k=1}^{6}$ are complex numbers satisfying some conditions. Applications of obtained results are given. △ Less

Submitted 13 September, 2022; originally announced November 2022.

An instrumented baffle for the Advanced Virgo Input Mode Cleaner End Mirror

Authors: M. Andres-Carcasona, O. Ballester, O. Blanch, J. Campos, G. Caneva, L. Cardiel, M. Cavalli-Sforza, P. Chiggiato, A. Chiummo, J. A. Ferreira, J. M. Illa, C. Karathanasis, M. Kolstein, M. Martinez, A. Macquet, A. Menendez-Vazquez, Ll. M. Mir, J. Mundet, A. Pasqualetti, O. Piccinni, C. Pio, A. Romero-Rodriguez, D. Serrano, V. Dattilo

Abstract: A novel instrumented baffle surrounding the suspended end mirror in the input mode cleaner cavity of the Virgo interferometer was installed in spring 2021. Since then, the device has been regularly operated in the experiment and the obtained results indicate a good agreement with simulations of the stray light inside the optical cavity. The baffle will operate in the upcoming O4 observation run, s… ▽ More A novel instrumented baffle surrounding the suspended end mirror in the input mode cleaner cavity of the Virgo interferometer was installed in spring 2021. Since then, the device has been regularly operated in the experiment and the obtained results indicate a good agreement with simulations of the stray light inside the optical cavity. The baffle will operate in the upcoming O4 observation run, serving as a demonstrator of the technology designed to instrument the baffles in front of the main mirrors in time for O5. In this paper we present a detailed description of the baffle design, including mechanics, front-end electronics, data acquisition, as well as optical and vacuum tests, calibration and installation procedures, and performance results. △ Less

Submitted 16 June, 2023; v1 submitted 27 October, 2022; originally announced October 2022.

Comments: 12 pages, 21 figures, 3 tables, to be submitted to PRD