-
Unveiling Assumptions: Exploring the Decisions of AI Chatbots and Human Testers
Authors:
Francisco Gomes de Oliveira Neto
Abstract:
The integration of Large Language Models (LLMs) and chatbots introduces new challenges and opportunities for decision-making in software testing. Decision-making relies on a variety of information, including code, requirements specifications, and other software artifacts that are often unclear or exist solely in the developer's mind. To fill in the gaps left by unclear information, we often rely o…
▽ More
The integration of Large Language Models (LLMs) and chatbots introduces new challenges and opportunities for decision-making in software testing. Decision-making relies on a variety of information, including code, requirements specifications, and other software artifacts that are often unclear or exist solely in the developer's mind. To fill in the gaps left by unclear information, we often rely on assumptions, intuition, or previous experiences to make decisions. This paper explores the potential of LLM-based chatbots like Bard, Copilot, and ChatGPT, to support software testers in test decisions such as prioritizing test cases effectively. We investigate whether LLM-based chatbots and human testers share similar "assumptions" or intuition in prohibitive testing scenarios where exhaustive execution of test cases is often impractical. Preliminary results from a survey of 127 testers indicate a preference for diverse test scenarios, with a significant majority (96%) favoring dissimilar test sets. Interestingly, two out of four chatbots mirrored this preference, aligning with human intuition, while the others opted for similar test scenarios, chosen by only 3.9% of testers. Our initial insights suggest a promising avenue within the context of enhancing the collaborative dynamics between testers and chatbots.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
From Human-to-Human to Human-to-Bot Conversations in Software Engineering
Authors:
Ranim Khojah,
Francisco Gomes de Oliveira Neto,
Philipp Leitner
Abstract:
Software developers use natural language to interact not only with other humans, but increasingly also with chatbots. These interactions have different properties and flow differently based on what goal the developer wants to achieve and who they interact with. In this paper, we aim to understand the dynamics of conversations that occur during modern software development after the integration of A…
▽ More
Software developers use natural language to interact not only with other humans, but increasingly also with chatbots. These interactions have different properties and flow differently based on what goal the developer wants to achieve and who they interact with. In this paper, we aim to understand the dynamics of conversations that occur during modern software development after the integration of AI and chatbots, enabling a deeper recognition of the advantages and disadvantages of including chatbot interactions in addition to human conversations in collaborative work. We compile existing conversation attributes with humans and NLU-based chatbots and adapt them to the context of software development. Then, we extend the comparison to include LLM-powered chatbots based on an observational study. We present similarities and differences between human-to-human and human-to-bot conversations, also distinguishing between NLU- and LLM-based chatbots. Furthermore, we discuss how understanding the differences among the conversation styles guides the developer on how to shape their expectations from a conversation and consequently support the communication within a software team. We conclude that the recent conversation styles that we observe with LLM-chatbots can not replace conversations with humans due to certain attributes regarding social aspects despite their ability to support productivity and decrease the developers' mental load.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Breaking Barriers: Investigating the Sense of Belonging Among Women and Non-Binary Students in Software Engineering
Authors:
Lina Boman,
Jonatan Andersson,
Francisco Gomes de Oliveira Neto
Abstract:
Women in computing were among the first programmers in the early 20th century and were substantial contributors to the industry. Today, men dominate the software engineering industry. Research and data show that women are far less likely to pursue a career in this industry, and those that do are less likely than men to stay in it. Reasons for women and other underrepresented minorities to leave th…
▽ More
Women in computing were among the first programmers in the early 20th century and were substantial contributors to the industry. Today, men dominate the software engineering industry. Research and data show that women are far less likely to pursue a career in this industry, and those that do are less likely than men to stay in it. Reasons for women and other underrepresented minorities to leave the industry are a lack of opportunities for growth and advancement, unfair treatment and workplace culture. This research explores how the potential to cultivate or uphold an industry unfavourable to women and non-binary individuals manifests in software engineering education at the university level. For this purpose, the study includes surveys and interviews. We use gender name perception as a survey instrument, and the results show small differences in perceptions of software engineering students based on their gender. Particularly, the survey respondents anchor the values of the male software engineer (Hans) to a variety of technical and non-technical skills, while the same description for a female software engineer (Hanna) is anchored mainly by her managerial skills. With interviews with women and non-binary students, we gain insight on the main barriers to their sense of ambient belonging. The collected data shows that some known barriers from the literature such as tokenism, and stereotype threat, do still exist. However, we find positive factors such as role models and encouragement that strengthen the sense of belonging among these students.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Beyond Code Generation: An Observational Study of ChatGPT Usage in Software Engineering Practice
Authors:
Ranim Khojah,
Mazen Mohamad,
Philipp Leitner,
Francisco Gomes de Oliveira Neto
Abstract:
Large Language Models (LLMs) are frequently discussed in academia and the general public as support tools for virtually any use case that relies on the production of text, including software engineering. Currently there is much debate, but little empirical evidence, regarding the practical usefulness of LLM-based tools such as ChatGPT for engineers in industry. We conduct an observational study of…
▽ More
Large Language Models (LLMs) are frequently discussed in academia and the general public as support tools for virtually any use case that relies on the production of text, including software engineering. Currently there is much debate, but little empirical evidence, regarding the practical usefulness of LLM-based tools such as ChatGPT for engineers in industry. We conduct an observational study of 24 professional software engineers who have been using ChatGPT over a period of one week in their jobs, and qualitatively analyse their dialogues with the chatbot as well as their overall experience (as captured by an exit survey). We find that, rather than expecting ChatGPT to generate ready-to-use software artifacts (e.g., code), practitioners more often use ChatGPT to receive guidance on how to solve their tasks or learn about a topic in more abstract terms. We also propose a theoretical framework for how (i) purpose of the interaction, (ii) internal factors (e.g., the user's personality), and (iii) external factors (e.g., company policy) together shape the experience (in terms of perceived usefulness and trust). We envision that our framework can be used by future research to further the academic discussion on LLM usage by software engineering practitioners, and to serve as a reference point for the design of future empirical LLM research in this domain.
△ Less
Submitted 21 May, 2024; v1 submitted 23 April, 2024;
originally announced April 2024.
-
SLS-BRD: A system-level approach to seeking generalised feedback Nash equilibria
Authors:
Otacilio B. L. Neto,
Michela Mulas,
Francesco Corona
Abstract:
This work proposes a policy learning algorithm for seeking generalised feedback Nash equilibria in $N_P$-players non-cooperative dynamic games. We consider linear-quadratic games with stochastic dynamics and design a best-response dynamics in which players update and communicate a parametrisation of their state-feedback policies. Our approach leverages the System Level Synthesis framework to formu…
▽ More
This work proposes a policy learning algorithm for seeking generalised feedback Nash equilibria in $N_P$-players non-cooperative dynamic games. We consider linear-quadratic games with stochastic dynamics and design a best-response dynamics in which players update and communicate a parametrisation of their state-feedback policies. Our approach leverages the System Level Synthesis framework to formulate each player's update rule as the solution to a tractable robust optimisation problem. Under certain conditions, rates of convergence to a feedback Nash equilibrium can be established. The algorithm is showcased in exemplary problems ranging from the decentralised control of unstable systems to competition in oligopolistic markets.
△ Less
Submitted 4 June, 2024; v1 submitted 4 April, 2024;
originally announced April 2024.
-
Efficient erasure of quantum information beyond Landauer's limit
Authors:
Carlos Octavio A. Ribeiro Neto,
Bertúlio de Lima Bernardo
Abstract:
Landauer's principle sets a fundamental limit on the heat dissipated when one classical bit of information is erased from a memory, therefore establishing a direct link between information theory and thermodynamics. However, with the advent of quantum technologies, the question of whether there is a strategy to overcome the principle naturally emerges. In this work, we present a quantum channel wh…
▽ More
Landauer's principle sets a fundamental limit on the heat dissipated when one classical bit of information is erased from a memory, therefore establishing a direct link between information theory and thermodynamics. However, with the advent of quantum technologies, the question of whether there is a strategy to overcome the principle naturally emerges. In this work, we present a quantum channel which erases any qubit state with unit probability, and is capable of operating beyond Landauer's limit. The method is based only on unitary operations, and requires that a non-energetic degree of freedom of the thermal reservoir be preselected into a pure state before interacting with the qubit memory. The violation of the Landauer bound is verified when the reservoir temperature is above a given limit temperature, which can be well below room temperature.
△ Less
Submitted 24 February, 2024;
originally announced February 2024.
-
Nanomechanically Induced Transparency
Authors:
E. C. Diniz,
O. P. de Sá Neto
Abstract:
In this paper, we investigate a nanomechanically induced transparency (NIT) effects that arises from the coupling of a nanoelectromechanical system and a trapped ion. By confining the ion in mesoscopic traps and capacitively coupling it with a nanoelectromechanical system suspended as electrodes, the research is intricately focussed on the implications of including the ion's degrees of freedom. Th…
▽ More
In this paper, we investigate a nanomechanically induced transparency (NIT) effects that arises from the coupling of a nanoelectromechanical system and a trapped ion. By confining the ion in mesoscopic traps and capacitively coupling it with a nanoelectromechanical system suspended as electrodes, the research is intricately focussed on the implications of including the ion's degrees of freedom. The Lamb--Dicke approximation is crucial to understanding the effects of phonon exchange with electronic qubits and revealing transparency phenomena in this unique coupling. The results underline the importance of the Lamb--Dicke approximation in modelling the effects of transparency windows in nanoelectromechanical systems.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
A model-based framework for controlling activated sludge plants
Authors:
Otacilio B. L. Neto,
Michela Mulas,
Francesco Corona
Abstract:
This work presents a general framework for the advanced control of a common class of activated sludge plants (ASPs). Based on a dynamic model of the process and plant sensors and actuators, we design and configure a highly customisable Output Model-Predictive Controller (Output MPC) for the flexible operation of ASPs as water resource recovery facilities. The controller consists of a i) Moving-Hor…
▽ More
This work presents a general framework for the advanced control of a common class of activated sludge plants (ASPs). Based on a dynamic model of the process and plant sensors and actuators, we design and configure a highly customisable Output Model-Predictive Controller (Output MPC) for the flexible operation of ASPs as water resource recovery facilities. The controller consists of a i) Moving-Horizon Estimator for determining the state of the process, from plant measurements, and ii) a Model-Predictive Controller for determining the optimal actions to attain high-level operational goals. The Output MPC can be configured to satisfy the technological limits of the plant equipment, as well as operational desiderata defined by plant personnel. We consider exemplary problems and show that the framework is able to control ASPs for tasks of practical relevance, ranging from wastewater treatment subject to normative limits, to the production of an effluent with varying nitrogen content, and energy recovery.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
Block particle filters for state estimation of stochastic reaction-diffusion systems
Authors:
Augusto Magalhães,
Otacílio B. L. Neto,
Francesco Corona
Abstract:
In this work, we consider a differential description of the evolution of the state of a reaction-diffusion system under environmental fluctuations. We are interested in estimating the state of the system when only partial observations are available. To describe how observations and states are related, we combine multiplicative noise-driven dynamics with an observation model. More specifically, we…
▽ More
In this work, we consider a differential description of the evolution of the state of a reaction-diffusion system under environmental fluctuations. We are interested in estimating the state of the system when only partial observations are available. To describe how observations and states are related, we combine multiplicative noise-driven dynamics with an observation model. More specifically, we ensure that the observations are subjected to error in the form of additive noise. We focus on the state estimation of a Belousov-Zhabotinskii chemical reaction. We simulate a reaction conducted in a quasi-two-dimensional physical domain, such as on the surface of a Petri dish. We aim at reconstructing the emerging chemical patterns based on noisy spectral observations. For this task, we consider a finite difference representation on the spatial domain, where nodes are chosen according to observation sites. We approximate the solution to this state estimation problem with the Block particle filter, a sequential Monte Carlo method capable of addressing the associated high-dimensionality of this state-space representation.
△ Less
Submitted 7 April, 2023;
originally announced April 2023.
-
Unveiling the Markovian to non-Markovian transition with quantum collision models
Authors:
Willames F. Magalhães,
Carlos O. A. Ribeiro Neto,
Bertúlio de Lima Bernardo
Abstract:
The concept of non-Markovianity in open quantum systems is traditionally associated with the existence of information backflows from the environment to the system. Meanwhile, the mechanisms through which such backflows emerge are still a subject of debate. In this work, we use collision models to study memory effects in the dynamics of a qubit system in contact with a thermal bath made up of few a…
▽ More
The concept of non-Markovianity in open quantum systems is traditionally associated with the existence of information backflows from the environment to the system. Meanwhile, the mechanisms through which such backflows emerge are still a subject of debate. In this work, we use collision models to study memory effects in the dynamics of a qubit system in contact with a thermal bath made up of few ancillas, in which system-ancilla and ancilla-ancilla interactions are considered. In the single-ancilla limit case, we show that the system-bath information flow exhibits an interesting mixture of chaotic and regular oscillatory behavior, which depends on the interaction probabilities. In parallel, our results clearly indicate that the information backflows decrease when new ancillas are added to the bath, which sheds light on the nature of the Markovian to non-Markovian transition.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Automated Black-Box Boundary Value Detection
Authors:
Felix Dobslaw,
Robert Feldt,
Francisco de Oliveira Neto
Abstract:
The input domain of software systems can typically be divided into sub-domains for which the outputs are similar. To ensure high quality it is critical to test the software on the boundaries between these sub-domains. Consequently, boundary value analysis and testing has been part of the toolbox of software testers for long and is typically taught early to students. However, despite its many argue…
▽ More
The input domain of software systems can typically be divided into sub-domains for which the outputs are similar. To ensure high quality it is critical to test the software on the boundaries between these sub-domains. Consequently, boundary value analysis and testing has been part of the toolbox of software testers for long and is typically taught early to students. However, despite its many argued benefits, boundary value analysis for a given specification or piece of software is typically described in abstract terms which allow for variation in how testers apply it.
Here we propose an automated, black-box boundary value detection method to support software testers in systematic boundary value analysis with consistent results. The method builds on a metric to quantify the level of boundariness of test inputs: the program derivative. By coupling it with search algorithms we find and rank pairs of inputs as good boundary candidates, i.e. inputs close together but with outputs far apart. We implement our AutoBVA approach and evaluate it on a curated dataset of example programs. Our results indicate that even with a simple and generic program derivative variant in combination with broad sampling over the input space, interesting boundary candidates can be identified.
△ Less
Submitted 19 July, 2022;
originally announced July 2022.
-
Automated Support for Unit Test Generation: A Tutorial Book Chapter
Authors:
Afonso Fontes,
Gregory Gay,
Francisco Gomes de Oliveira Neto,
Robert Feldt
Abstract:
Unit testing is a stage of testing where the smallest segment of code that can be tested in isolation from the rest of the system - often a class - is tested. Unit tests are typically written as executable code, often in a format provided by a unit testing framework such as pytest for Python.
Creating unit tests is a time and effort-intensive process with many repetitive, manual elements. To ill…
▽ More
Unit testing is a stage of testing where the smallest segment of code that can be tested in isolation from the rest of the system - often a class - is tested. Unit tests are typically written as executable code, often in a format provided by a unit testing framework such as pytest for Python.
Creating unit tests is a time and effort-intensive process with many repetitive, manual elements. To illustrate how AI can support unit testing, this chapter introduces the concept of search-based unit test generation. This technique frames the selection of test input as an optimization problem - we seek a set of test cases that meet some measurable goal of a tester - and unleashes powerful metaheuristic search algorithms to identify the best possible test cases within a restricted timeframe. This chapter introduces two algorithms that can generate pytest-formatted unit tests, tuned towards coverage of source code statements. The chapter concludes by discussing more advanced concepts and gives pointers to further reading for how artificial intelligence can support developers and testers when unit testing software.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
Strong surjections from two-complexes with odd order top-cohomology onto the projective plane
Authors:
Marcio C. Fenille,
Daciberg L. Gonçalves,
Oziride M. Neto
Abstract:
Given a finite and connected two-dimensional $CW$-complex $K$ with fundamental group $Π$ and second integer cohomology group $H^2(K;\mathbb{Z})$ finite of odd order, we prove that: (1) for each local integer coefficient system $α:Π\to{\rm Aut}(\mathbb{Z})$ over $K$, the corresponding twisted cohomology group $H^2(K;_α\!\mathbb{Z})$ is finite of odd order, we say order $\mathbb{C}^{\ast}(α)$, and t…
▽ More
Given a finite and connected two-dimensional $CW$-complex $K$ with fundamental group $Π$ and second integer cohomology group $H^2(K;\mathbb{Z})$ finite of odd order, we prove that: (1) for each local integer coefficient system $α:Π\to{\rm Aut}(\mathbb{Z})$ over $K$, the corresponding twisted cohomology group $H^2(K;_α\!\mathbb{Z})$ is finite of odd order, we say order $\mathbb{C}^{\ast}(α)$, and there exists a natural function -- which resemble that one defined by the twisted degree -- from the set $[K;\mathbb{R}P^2]_α^{\ast}$ of the based homotopy classes of based maps inducing $α$ on $π_1$ into $H^2(K;_α\!\mathbb{Z})$, which is a bijection; (2) the set $[K;\mathbb{R}P^2]_α$ of the (free) homotopy classes of based maps inducing $α$ on $π_1$ is finite of order $\mathbb{C}(α)=(\mathbb{C}^{\ast}(α)+1)/2$; (3) all but one of the homotopy classes $[f]\in[K;\mathbb{R}P^2]_α$ are strongly surjective, and they are characterized by the non-nullity of the induced homomorphism $f^{\ast}:H^2(\mathbb{R}P^2;_{\varrho}\!\mathbb{Z})\to H^2(K;_α\!\mathbb{Z})$, where $\varrho$ is the nontrivial local integer coefficient system over the projective plane. Also some calculations of the groups $H^2(K;_α\!\mathbb{Z})$ are provided for several two-complexes $K$ and actions $α$, allowing to compare $H^2(K;\mathbb{Z})$ and $H^2(K;_α\!\mathbb{Z})$ for nontrivial $α$.
△ Less
Submitted 11 October, 2021;
originally announced October 2021.
-
Parameter estimation in an anisotropic expanding spacetime
Authors:
O. P. de Sá Neto,
I. G. da Paz,
P. R. S. Carvalho,
H. A. S. Costa
Abstract:
In this work, we investigate how the anisotropy affects the cosmological parameters estimation. Here the anisotropy is incorporated as a small gravitational disturbance. We calculate the Fisher information for both cosmological parameters $ε$ (expansion volume) and $ρ$ (expansion rate), and we show that the anisotropy introduces oscillations in the Fisher information spectrum. This implies that th…
▽ More
In this work, we investigate how the anisotropy affects the cosmological parameters estimation. Here the anisotropy is incorporated as a small gravitational disturbance. We calculate the Fisher information for both cosmological parameters $ε$ (expansion volume) and $ρ$ (expansion rate), and we show that the anisotropy introduces oscillations in the Fisher information spectrum. This implies that the estimation of the cosmological parameters is sensible to the direction of the momentum $k$ of particles. In addition, we observe that for small values of the momentum $k$ there is a substantial difference between the Fisher information spectrum for the minimum and conformal couplings.
△ Less
Submitted 16 September, 2021;
originally announced September 2021.
-
Temperature estimation of an entangled pair of trapped ions
Authors:
O. P. de Sá Neto,
H. A. S. Costa,
G. A. Prataviera,
M. C. de Oliveira
Abstract:
We apply estimation theory to a system formed by two interacting trapped ions. By using the Fisher matrix formalism, we introduce a simple scheme for estimation of the temperature of the longitudinal vibrational modes of the ions. We use the ions interaction to effectively infer the temperature of the individual ions, by optimising the interaction time evolution and by measuring only over one of t…
▽ More
We apply estimation theory to a system formed by two interacting trapped ions. By using the Fisher matrix formalism, we introduce a simple scheme for estimation of the temperature of the longitudinal vibrational modes of the ions. We use the ions interaction to effectively infer the temperature of the individual ions, by optimising the interaction time evolution and by measuring only over one of the ions. We also investigate the effect of a non-thermal reservoir over the inference approach. The non-classicality of one of the ions vibrational modes, introduced due to a squeezed thermal reservoir, improves the indirect inference of the individual temperatures.
△ Less
Submitted 10 September, 2021;
originally announced September 2021.
-
On the Computation of Hierarchical Control results for One-Dimensional Transmission Line
Authors:
Pitágoras P. de Carvalho,
Olímpio P. de Sá Neto
Abstract:
In this paper, motivated by a physics problem, we investigate some numerical and computational aspects for the problem of hierarchical controllability in a one-dimensional wave equation in domains with a moving boundary. Some controls act in part of the boundary and define a strategy of equilibrium between them, considering a leader control and a follower. Thus, we introduced the concept of hierar…
▽ More
In this paper, motivated by a physics problem, we investigate some numerical and computational aspects for the problem of hierarchical controllability in a one-dimensional wave equation in domains with a moving boundary. Some controls act in part of the boundary and define a strategy of equilibrium between them, considering a leader control and a follower. Thus, we introduced the concept of hierarchical control to solve the problem and mapped the Stackelberg Strategy between these controls. A total discretization of the problem is presented for a numerical evaluation in spaces of finite dimension, an algorithm for evaluation of the problem is presented as the combination of finite element method (FEM) and finite difference method (FDM). The algorithm efficiency and computational results are illustrated for some experiments using the softwares Freefem++ and MatLab.
△ Less
Submitted 4 August, 2021;
originally announced August 2021.
-
A Squeezed Vacuum State Laser with Zero Diffusion
Authors:
F. de Oliveira Neto,
G. D. de Moraes Neto,
M. H. Y. Moussa
Abstract:
We propose a method for building a squeezed vacuum state laser with zero diffusion, which results from the introduction of the reservoir engineering technique into the laser theory. As well as the reservoir engineering, our squeezed vacuum laser demands the construction of an effective atom-field interaction. And by building an isomorphism between the cavity field operators in the effective and th…
▽ More
We propose a method for building a squeezed vacuum state laser with zero diffusion, which results from the introduction of the reservoir engineering technique into the laser theory. As well as the reservoir engineering, our squeezed vacuum laser demands the construction of an effective atom-field interaction. And by building an isomorphism between the cavity field operators in the effective and the Jaynes-Cummings Hamiltonians, we derive the equations of our effective laser directly from the conventional laser theory. Our method, which is less susceptible to errors than reservoir engineering, can be extended for the construction of other nonclassical state lasers, and our squeezed vacuum laser can contribute to the newly emerging field of gravitational interferometry.
△ Less
Submitted 18 June, 2021;
originally announced June 2021.
-
A Workbench for Testing and Simulation Faults in Three-phase Electric Motors with Intelligent Electronic Device and Microcontrolled System
Authors:
Giovanni Faria,
Michel Fernandes Peres,
Osmar Moreira da Silva Neto,
Jefferson Rodrigo Schuertz,
Edson Leonardo dos Santos,
Carlos Alexandre Gouvea da Silva
Abstract:
Electric motors can be damaged or operate improperly from a possible set of failures. Such failures are related to high or very low voltage and current levels, phase loss or blocked rotor. Therefore, it is important to protect these equipments through appropriate mechanisms. Alternatively, a workbench can simulate detectable failures related to the engines, allowing to change parameters, in which…
▽ More
Electric motors can be damaged or operate improperly from a possible set of failures. Such failures are related to high or very low voltage and current levels, phase loss or blocked rotor. Therefore, it is important to protect these equipments through appropriate mechanisms. Alternatively, a workbench can simulate detectable failures related to the engines, allowing to change parameters, in which maintenance operators are able to identify the results of these changes. This work presents the development of a workbench as a tool for testing electrical machines and drives. The workbench is based on the Arduino programming platform (microcontroller system), in which it checks the functioning of electric motors under the condition of failures that may occur in this engine. Motor protections are carried out through an Intelligent Electronic Device (IED), which are popularly known as intelligent relays. The results show the development of a workbench that can test and identify several faults in a small three-phase motor.
△ Less
Submitted 21 November, 2020;
originally announced November 2020.
-
Using mutation testing to measure behavioural test diversity
Authors:
Francisco Gomes de Oliveira Neto,
Felix Dobslaw,
Robert Feldt
Abstract:
Diversity has been proposed as a key criterion to improve testing effectiveness and efficiency.It can be used to optimise large test repositories but also to visualise test maintenance issues and raise practitioners' awareness about waste in test artefacts and processes. Even though these diversity-based testing techniques aim to exercise diverse behavior in the system under test (SUT), the divers…
▽ More
Diversity has been proposed as a key criterion to improve testing effectiveness and efficiency.It can be used to optimise large test repositories but also to visualise test maintenance issues and raise practitioners' awareness about waste in test artefacts and processes. Even though these diversity-based testing techniques aim to exercise diverse behavior in the system under test (SUT), the diversity has mainly been measured on and between artefacts (e.g., inputs, outputs or test scripts). Here, we introduce a family of measures to capture behavioural diversity (b-div) of test cases by comparing their executions and failure outcomes. Using failure information to capture the SUT behaviour has been shown to improve effectiveness of history-based test prioritisation approaches. However, history-based techniques require reliable test execution logs which are often not available or can be difficult to obtain due to flaky tests, scarcity of test executions, etc. To be generally applicable we instead propose to use mutation testing to measure behavioral diversity by running the set of test cases on various mutated versions of the SUT. Concretely, we propose two specific b-div measures (based on accuracy and Matthew's correlation coefficient, respectively) and compare them with artefact-based diversity (a-div) for prioritising the test suites of 6 different open-source projects. Our results show that our b-div measures outperform a-div and random selection in all of the studied projects. The improvement is substantial with an average increase in average percentage of faults detected (APFD) of between 19% to 31% depending on the size of the subset of prioritised tests.
△ Less
Submitted 18 October, 2020;
originally announced October 2020.
-
Charge Localization and Hop** in a Topologically Engineered GNR
Authors:
Marcelo Lopes Pereira Junior,
Pedro Henrique de Oliveira Neto,
Demetrio Antonio da Silva Filho,
Leonardo Evaristo de Sousa,
Geraldo Magela e Silva,
Luiz Antonio Ribeiro Junior
Abstract:
Graphene nanoribbons (GNRs) are promising two-dimensional materials with various technological applications, in particular for the armchair GNR families that have a semiconductor character. Recently, methods that allowed for the control of GNR's topology have been developed, resulting in the production of nanoribbons composed of alternating segments of two distinct armchair GNR families (7 and 9-A…
▽ More
Graphene nanoribbons (GNRs) are promising two-dimensional materials with various technological applications, in particular for the armchair GNR families that have a semiconductor character. Recently, methods that allowed for the control of GNR's topology have been developed, resulting in the production of nanoribbons composed of alternating segments of two distinct armchair GNR families (7 and 9-AGNRs) connected in heterojunctions. This GNR displays two topological bands that lie between the valence and conduction bands that effectively modulates the nanoribbon bandgap. Here, we employ a two-dimensional extension of the Su-Schrieffer-Heeger model to study morphological and electronic properties of this new material in both neutral and charged states. Results demonstrate that charge injection in this system results in the formation of polarons that localize strictly in the 9-AGNRs segments of the system and whose mobility is highly impaired by the system's topology. We further show polaron displacement by means of hop** between 9-AGNR portions of the system, suggesting this mechanism for charge transport in this material.
△ Less
Submitted 21 July, 2020;
originally announced July 2020.
-
Quantum coherence and speed limit in the mean-field Dicke model of superradiance
Authors:
D. Z. Rossatto,
D. P. Pires,
F. M. de Paula,
O. P. de Sá Neto
Abstract:
Dicke superrandiance is a cooperative phenomenon which arises from the collective coupling of an ensemble of atoms to the electromagnetic radiation. Here we discuss the quantifying of quantum coherence for the Dicke model of superradiance in the mean-field approximation. We found the single-atom $l_1$-norm of coherence is given by the square root of the normalized average intensity of radiation em…
▽ More
Dicke superrandiance is a cooperative phenomenon which arises from the collective coupling of an ensemble of atoms to the electromagnetic radiation. Here we discuss the quantifying of quantum coherence for the Dicke model of superradiance in the mean-field approximation. We found the single-atom $l_1$-norm of coherence is given by the square root of the normalized average intensity of radiation emitted by the superradiant system. This validates quantum coherence as a useful figure of merit towards the understanding of superradiance phenomenon in the mean-field approach. In particular, this result suggests probing the single-atom coherence through the radiation intensity in superradiant systems, which might be useful in experimental realizations where is unfeasible to address atoms individually. Furthermore, given the nonlinear unitary dynamics of the time-dependent single-atom state that effectively describes the system of $N$ atoms, we analyze the quantum speed limit time and its interplay with the $l_1$-norm of coherence. We verify the quantum coherence speeds up the evolution of the superradiant system, i.e., the more coherence stored on the single-atom state, the faster the evolution. These findings unveil the role played by quantum coherence in superradiant systems, which in turn could be of interest for communities of both condensed matter physics and quantum optics.
△ Less
Submitted 16 November, 2020; v1 submitted 6 July, 2020;
originally announced July 2020.
-
AI Feynman 2.0: Pareto-optimal symbolic regression exploiting graph modularity
Authors:
Silviu-Marian Udrescu,
Andrew Tan,
Jiahai Feng,
Orisvaldo Neto,
Tailin Wu,
Max Tegmark
Abstract:
We present an improved method for symbolic regression that seeks to fit data to formulas that are Pareto-optimal, in the sense of having the best accuracy for a given complexity. It improves on the previous state-of-the-art by typically being orders of magnitude more robust toward noise and bad data, and also by discovering many formulas that stumped previous methods. We develop a method for disco…
▽ More
We present an improved method for symbolic regression that seeks to fit data to formulas that are Pareto-optimal, in the sense of having the best accuracy for a given complexity. It improves on the previous state-of-the-art by typically being orders of magnitude more robust toward noise and bad data, and also by discovering many formulas that stumped previous methods. We develop a method for discovering generalized symmetries (arbitrary modularity in the computational graph of a formula) from gradient properties of a neural network fit. We use normalizing flows to generalize our symbolic regression method to probability distributions from which we only have samples, and employ statistical hypothesis testing to accelerate robust brute-force search.
△ Less
Submitted 16 December, 2020; v1 submitted 18 June, 2020;
originally announced June 2020.
-
An Empirical Study of Bots in Software Development -- Characteristics and Challenges from a Practitioner's Perspective
Authors:
Linda Erlenhov,
Francisco Gomes de Oliveira Neto,
Philipp Leitner
Abstract:
Software engineering bots - automated tools that handle tedious tasks - are increasingly used by industrial and open source projects to improve developer productivity. Current research in this area is held back by a lack of consensus of what software engineering bots (DevBots) actually are, what characteristics distinguish them from other tools, and what benefits and challenges are associated with…
▽ More
Software engineering bots - automated tools that handle tedious tasks - are increasingly used by industrial and open source projects to improve developer productivity. Current research in this area is held back by a lack of consensus of what software engineering bots (DevBots) actually are, what characteristics distinguish them from other tools, and what benefits and challenges are associated with DevBot usage. In this paper we report on a mixed-method empirical study of DevBot usage in industrial practice. We report on findings from interviewing 21 and surveying a total of 111 developers. We identify three different personas among DevBot users (focusing on autonomy, chat interfaces, and "smartness"), each with different definitions of what a DevBot is, why developers use them, and what they struggle with. We conclude that future DevBot research should situate their work within our framework, to clearly identify what type of bot the work targets, and what advantages practitioners can expect. Further, we find that there currently is a lack of general purpose "smart" bots that go beyond simple automation tools or chat interfaces. This is problematic, as we have seen that such bots, if available, can have a transformative effect on the projects that use them.
△ Less
Submitted 29 October, 2020; v1 submitted 28 May, 2020;
originally announced May 2020.
-
Mathematical model of COVID-19 intervention scenarios for Sao Paulo- Brazil
Authors:
Osmar Pinto Neto,
Jose Clark Reis,
Ana Carolina Brisola Brizzi,
Gustavo Jose Zambrano,
Joabe Marcos de Souza,
Wellington Amorim Pedroso,
Rodrigo Cunha de Mello Pedreiro,
Bruno de Matos Brizzi,
Ellysson Oliveira Abinader,
Deanna M. Kennedy,
Renato Amaro Zangaro
Abstract:
An epidemiological compartmental model was used to simulate social distancing strategies to contain the COVID-19 pandemic and prevent a second wave in Sao Paulo, Brazil. Optimization using genetic algorithm was used to determine the optimal solutions. Our results suggest the best-case strategy for Sao Paulo is to maintain or increase the current magnitude of social distancing for at least 60 more…
▽ More
An epidemiological compartmental model was used to simulate social distancing strategies to contain the COVID-19 pandemic and prevent a second wave in Sao Paulo, Brazil. Optimization using genetic algorithm was used to determine the optimal solutions. Our results suggest the best-case strategy for Sao Paulo is to maintain or increase the current magnitude of social distancing for at least 60 more days and increase the current levels of personal protection behaviors by a minimum of 10% (e.g., wearing facemasks, proper hand hygiene and avoid agglomeration). Followed by a long-term oscillatory level of social distancing with a step**-down approach every 80 days over a period of two years with continued protective behavior.
△ Less
Submitted 18 May, 2020;
originally announced May 2020.
-
Challenges and guidelines on designing test cases for test bots
Authors:
Linda Erlenhov,
Francisco Gomes de Oliveira Neto,
Martin Chukaleski,
Samer Daknache
Abstract:
Test bots are automated testing tools that autonomously and periodically run a set of test cases that check whether the system under test meets the requirements set forth by the customer. The automation decreases the amount of time a development team spends on testing. As development projects become larger, it is important to focus on improving the test bots by designing more effective test cases…
▽ More
Test bots are automated testing tools that autonomously and periodically run a set of test cases that check whether the system under test meets the requirements set forth by the customer. The automation decreases the amount of time a development team spends on testing. As development projects become larger, it is important to focus on improving the test bots by designing more effective test cases because otherwise time and usage costs can increase greatly and misleading conclusions from test results might be drawn, such as false positives in the test execution. However, literature currently lacks insights on how test case design affects the effectiveness of test bots. This paper uses a case study approach to investigate those effects by identifying challenges in designing tests for test bots. Our results include guidelines for test design schema for such bots that support practitioners in overcoming the challenges mentioned by participants during our study.
△ Less
Submitted 21 April, 2020;
originally announced April 2020.
-
Boundary Value Exploration for Software Analysis
Authors:
Felix Dobslaw,
Francisco Gomes de Oliveira Neto,
Robert Feldt
Abstract:
For software to be reliable and resilient, it is widely accepted that tests must be created and maintained alongside the software itself. One safeguard from vulnerabilities and failures in code is to ensure correct behavior on the boundaries between the input space sub-domains. So-called boundary value analysis (BVA) and boundary value testing (BVT) techniques aim to exercise those boundaries and…
▽ More
For software to be reliable and resilient, it is widely accepted that tests must be created and maintained alongside the software itself. One safeguard from vulnerabilities and failures in code is to ensure correct behavior on the boundaries between the input space sub-domains. So-called boundary value analysis (BVA) and boundary value testing (BVT) techniques aim to exercise those boundaries and increase test effectiveness. However, the concepts of BVA and BVT themselves are not generally well defined, and it is not clear how to identify relevant sub-domains, and thus the boundaries delineating them, given a specification. This has limited adoption and hindered automation. We clarify BVA and BVT and introduce Boundary Value Exploration (BVE) to describe techniques that support them by hel** to detect and identify boundary inputs. Additionally, we propose two concrete BVE techniques based on information-theoretic distance functions: (i) an algorithm for boundary detection and (ii) the usage of software visualization to explore the behavior of the software under test and identify its boundary behavior. As an initial evaluation, we apply these techniques on a much used and well-tested date handling library. Our results reveal questionable behavior at boundaries highlighted by our techniques. In conclusion, we argue that the boundary value exploration that our techniques enable is a step towards automated boundary value analysis and testing, fostering their wider use and improving test effectiveness and efficiency.
△ Less
Submitted 12 October, 2020; v1 submitted 18 January, 2020;
originally announced January 2020.
-
An introduction to quantum measurements with a historical motivation
Authors:
Leonardo Andreta de Castro,
Olímpio Pereira de Sá Neto,
Carlos Alexandre Brasil
Abstract:
We provide an introduction to the theory of quantum measurements that is centered on the pivotal role played by John von Neumann's model. This introduction is accessible to students and researchers from outside the field of foundations of quantum mechanics and presented within a historical context. We first explain the origins and the meaning of the measurement problem in quantum theory, and why i…
▽ More
We provide an introduction to the theory of quantum measurements that is centered on the pivotal role played by John von Neumann's model. This introduction is accessible to students and researchers from outside the field of foundations of quantum mechanics and presented within a historical context. We first explain the origins and the meaning of the measurement problem in quantum theory, and why it is not present in classical physics. We perform a chronological review of the quantization of action and explain how this led to successive restrictions on what could be measured in atomic phenomena, until the consolidation of the orthodox interpretation of quantum mechanics. The clear separation between quantum system and classical apparatus that causes these restrictions is subverted in von Neumann's paradigmatic model of quantum measurements, a subject whose concepts we explain, while also providing the mathematical tools necessary to apply it to new problems. We show how this model was important in discussing the interpretations of quantum mechanics and how it is still relevant in modern applications. In particular, we explain in detail how it can be used to describe weak measurements and the surprising results they entail. We also discuss the limitations of von Neumann's model of measurements, and explain how they can be overcome with POVMs and Kraus operators. We provide the mathematical tools necessary to work with these generalized measurements and to derive master equations from them. Finally, we demonstrate how these can be applied in research problems by calculating the Quantum Zeno Effect.
△ Less
Submitted 11 August, 2019;
originally announced August 2019.
-
Estimating Return on Investment for GUI Test Automation Tools
Authors:
Felix Dobslaw,
Robert Feldt,
David Michaelsson,
Patrick Haar,
Francisco G. de Oliveira Neto,
Richard Torkar
Abstract:
Automated graphical user interface (GUI) tests can reduce manual testing activities and increase test frequency. This motivates the conversion of manual test cases into automated GUI tests. However, it is not clear whether such automation is cost-effective given that GUI automation scripts add to the code base and demand maintenance as a system evolves. In this paper, we introduce a method for est…
▽ More
Automated graphical user interface (GUI) tests can reduce manual testing activities and increase test frequency. This motivates the conversion of manual test cases into automated GUI tests. However, it is not clear whether such automation is cost-effective given that GUI automation scripts add to the code base and demand maintenance as a system evolves. In this paper, we introduce a method for estimating maintenance cost and Return on Investment (ROI) for Automated GUI Testing (AGT). The method utilizes the existing source code change history and can be used for evaluation also of other testing or quality assurance automation technologies. We evaluate the method for a real-world, industrial software system and compare two fundamentally different AGT tools, namely Selenium and EyeAutomate, to estimate and compare their ROI. We also report on their defect-finding capabilities and usability. The quantitative data is complemented by interviews with employees at the case company. The method was successfully applied and estimated maintenance cost and ROI for both tools are reported. Overall, the study supports earlier results showing that implementation time is the leading cost for introducing AGT. The findings further suggest that while EyeAutomate tests are significantly faster to implement, Selenium tests require more of a programming background but less maintenance.
△ Less
Submitted 1 November, 2019; v1 submitted 8 July, 2019;
originally announced July 2019.
-
Moduli Spaces of Germs of Semiquasihomogeneous Legendrian Curves
Authors:
Marco Silva Mendes,
Orlando Neto
Abstract:
We construct a moduli space for Legendrian curves singularities which are contactomorphic-equivalent and equisingular through a contact analogue of the Kodaira-Spencer map for curve singularities. We focus on the specific case of Legendrian curves which are the conormal of a plane curve with one Puiseux pair.
We construct a moduli space for Legendrian curves singularities which are contactomorphic-equivalent and equisingular through a contact analogue of the Kodaira-Spencer map for curve singularities. We focus on the specific case of Legendrian curves which are the conormal of a plane curve with one Puiseux pair.
△ Less
Submitted 20 February, 2019;
originally announced February 2019.
-
Equisingular Deformations of Legendrian Curves
Authors:
Ana Rita Martins,
Marco Silva Mendes,
Orlando Neto
Abstract:
We construct equisingular semiuniversal deformations of Legendrian curves.
We construct equisingular semiuniversal deformations of Legendrian curves.
△ Less
Submitted 20 February, 2019;
originally announced February 2019.
-
A Method to Assess and Argue for Practical Significance in Software Engineering
Authors:
Richard Torkar,
Carlo A. Furia,
Robert Feldt,
Francisco Gomes de Oliveira Neto,
Lucas Gren,
Per Lenberg,
Neil A. Ernst
Abstract:
A key goal of empirical research in software engineering is to assess practical significance, which answers whether the observed effects of some compared treatments show a relevant difference in practice in realistic scenarios. Even though plenty of standard techniques exist to assess statistical significance, connecting it to practical significance is not straightforward or routinely done; indeed…
▽ More
A key goal of empirical research in software engineering is to assess practical significance, which answers whether the observed effects of some compared treatments show a relevant difference in practice in realistic scenarios. Even though plenty of standard techniques exist to assess statistical significance, connecting it to practical significance is not straightforward or routinely done; indeed, only a few empirical studies in software engineering assess practical significance in a principled and systematic way.
In this paper, we argue that Bayesian data analysis provides suitable tools to assess practical significance rigorously. We demonstrate our claims in a case study comparing different test techniques. The case study's data was previously analyzed (Afzal et al., 2015) using standard techniques focusing on statistical significance. Here, we build a multilevel model of the same data, which we fit and validate using Bayesian techniques. Our method is to apply cumulative prospect theory on top of the statistical model to quantitatively connect our statistical analysis output to a practically meaningful context. This is then the basis both for assessing and arguing for practical significance.
Our study demonstrates that Bayesian analysis provides a technically rigorous yet practical framework for empirical software engineering. A substantial side effect is that any uncertainty in the underlying data will be propagated through the statistical model, and its effects on practical significance are made clear.
Thus, in combination with cumulative prospect theory, Bayesian analysis supports seamlessly assessing practical significance in an empirical software engineering context, thus potentially clarifying and extending the relevance of research for practitioners.
△ Less
Submitted 25 December, 2020; v1 submitted 26 September, 2018;
originally announced September 2018.
-
Visualizing test diversity to support test optimisation
Authors:
Francisco Gomes de Oliveira Neto,
Robert Feldt,
Linda Erlenhov,
José Benardi de Souza Nunes
Abstract:
Diversity has been used as an effective criteria to optimise test suites for cost-effective testing. Particularly, diversity-based (alternatively referred to as similarity-based) techniques have the benefit of being generic and applicable across different Systems Under Test (SUT), and have been used to automatically select or prioritise large sets of test cases. However, it is a challenge to feedb…
▽ More
Diversity has been used as an effective criteria to optimise test suites for cost-effective testing. Particularly, diversity-based (alternatively referred to as similarity-based) techniques have the benefit of being generic and applicable across different Systems Under Test (SUT), and have been used to automatically select or prioritise large sets of test cases. However, it is a challenge to feedback diversity information to developers and testers since results are typically many-dimensional. Furthermore, the generality of diversity-based approaches makes it harder to choose when and where to apply them. In this paper we address these challenges by investigating: i) what are the trade-off in using different sources of diversity (e.g., diversity of test requirements or test scripts) to optimise large test suites, and ii) how visualisation of test diversity data can assist testers for test optimisation and improvement. We perform a case study on three industrial projects and present quantitative results on the fault detection capabilities and redundancy levels of different sets of test cases. Our key result is that test similarity maps, based on pair-wise diversity calculations, helped industrial practitioners identify issues with their test repositories and decide on actions to improve. We conclude that the visualisation of diversity information can assist testers in their maintenance and optimisation activities.
△ Less
Submitted 17 July, 2018; v1 submitted 15 July, 2018;
originally announced July 2018.
-
A Testability Analysis Framework for Non-Functional Properties
Authors:
Michael Felderer,
Bogdan Marculescu,
Francisco Gomes de Oliveira Neto,
Robert Feldt,
Richard Torkar
Abstract:
This paper presents background, the basic steps and an example for a testability analysis framework for non-functional properties.
This paper presents background, the basic steps and an example for a testability analysis framework for non-functional properties.
△ Less
Submitted 20 February, 2018;
originally announced February 2018.
-
Ways of Applying Artificial Intelligence in Software Engineering
Authors:
Robert Feldt,
Francisco G. de Oliveira Neto,
Richard Torkar
Abstract:
As Artificial Intelligence (AI) techniques have become more powerful and easier to use they are increasingly deployed as key components of modern software systems. While this enables new functionality and often allows better adaptation to user needs it also creates additional problems for software engineers and exposes companies to new risks. Some work has been done to better understand the intera…
▽ More
As Artificial Intelligence (AI) techniques have become more powerful and easier to use they are increasingly deployed as key components of modern software systems. While this enables new functionality and often allows better adaptation to user needs it also creates additional problems for software engineers and exposes companies to new risks. Some work has been done to better understand the interaction between Software Engineering and AI but we lack methods to classify ways of applying AI in software systems and to analyse and understand the risks this poses. Only by doing so can we devise tools and solutions to help mitigate them. This paper presents the AI in SE Application Levels (AI-SEAL) taxonomy that categorises applications according to their point of AI application, the type of AI technology used and the automation level allowed. We show the usefulness of this taxonomy by classifying 15 papers from previous editions of the RAISE workshop. Results show that the taxonomy allows classification of distinct AI applications and provides insights concerning the risks associated with them. We argue that this will be important for companies in deciding how to apply AI in their software applications and to create strategies for its use.
△ Less
Submitted 7 February, 2018; v1 submitted 6 February, 2018;
originally announced February 2018.
-
Evolution of statistical analysis in empirical software engineering research: Current state and steps forward
Authors:
Francisco Gomes de Oliveira Neto,
Richard Torkar,
Robert Feldt,
Lucas Gren,
Carlo A. Furia,
Ziwei Huang
Abstract:
Software engineering research is evolving and papers are increasingly based on empirical data from a multitude of sources, using statistical tests to determine if and to what degree empirical evidence supports their hypotheses. To investigate the practices and trends of statistical analysis in empirical software engineering (ESE), this paper presents a review of a large pool of papers from top-ran…
▽ More
Software engineering research is evolving and papers are increasingly based on empirical data from a multitude of sources, using statistical tests to determine if and to what degree empirical evidence supports their hypotheses. To investigate the practices and trends of statistical analysis in empirical software engineering (ESE), this paper presents a review of a large pool of papers from top-ranked software engineering journals. First, we manually reviewed 161 papers and in the second phase of our method, we conducted a more extensive semi-automatic classification of papers spanning the years 2001--2015 and 5,196 papers. Results from both review steps was used to: i) identify and analyze the predominant practices in ESE (e.g., using t-test or ANOVA), as well as relevant trends in usage of specific statistical methods (e.g., nonparametric tests and effect size measures) and, ii) develop a conceptual model for a statistical analysis workflow with suggestions on how to apply different statistical methods as well as guidelines to avoid pitfalls. Lastly, we confirm existing claims that current ESE practices lack a standard to report practical significance of results. We illustrate how practical significance can be discussed in terms of both the statistical analysis and in the practitioner's context.
△ Less
Submitted 10 July, 2019; v1 submitted 3 June, 2017;
originally announced June 2017.
-
Optimal Categorical Attribute Transformation for Granularity Change in Relational Databases for Binary Decision Problems in Educational Data Mining
Authors:
Paulo J. L. Adeodato,
Fábio C. Pereira,
Rosalvo F. Oliveira Neto
Abstract:
This paper presents an approach for transforming data granularity in hierarchical databases for binary decision problems by applying regression to categorical attributes at the lower grain levels. Attributes from a lower hierarchy entity in the relational database have their information content optimized through regression on the categories histogram trained on a small exclusive labelled sample, i…
▽ More
This paper presents an approach for transforming data granularity in hierarchical databases for binary decision problems by applying regression to categorical attributes at the lower grain levels. Attributes from a lower hierarchy entity in the relational database have their information content optimized through regression on the categories histogram trained on a small exclusive labelled sample, instead of the usual mode category of the distribution. The paper validates the approach on a binary decision task for assessing the quality of secondary schools focusing on how logistic regression transforms the students and teachers attributes into school attributes. Experiments were carried out on Brazilian schools public datasets via 10-fold cross-validation comparison of the ranking score produced also by logistic regression. The proposed approach achieved higher performance than the usual distribution mode transformation and equal to the expert weighing approach measured by the maximum Kolmogorov-Smirnov distance and the area under the ROC curve at 0.01 significance level.
△ Less
Submitted 28 February, 2017;
originally announced February 2017.
-
Cancellations for Circle-valued Morse Functions via Spectral Sequences
Authors:
Dahisy V. S. Lima,
Ketty A. de Rezende,
Mariana R. da Silveira,
Oziride M. Neto
Abstract:
In this article, a spectral sequence analysis of a filtered Novikov complex $(\mathcal{N}_{\ast}(f),Δ)$ over $\mathbb{Z}((t))$ is developed with the goal of obtaining results relating the algebraic and dynamical settings. Specifically, the unfolding of a spectral sequence of $(\mathcal{N}_{\ast}(f),Δ)$ and the cancellation of its modules is associated to a one parameter family of circle valued Mor…
▽ More
In this article, a spectral sequence analysis of a filtered Novikov complex $(\mathcal{N}_{\ast}(f),Δ)$ over $\mathbb{Z}((t))$ is developed with the goal of obtaining results relating the algebraic and dynamical settings. Specifically, the unfolding of a spectral sequence of $(\mathcal{N}_{\ast}(f),Δ)$ and the cancellation of its modules is associated to a one parameter family of circle valued Morse functions on a surface and the dynamical cancellations of its critical points. The data of a spectral sequence computed for $(\mathcal{N}_{\ast}(f),Δ)$ is encoded in a family of matrices $Δ^r$ produced by the Spectral Sequence Swee** Algorithm (SSSA), which has as its initial input the differential $Δ$. As one turns the pages of the spectral sequence, differentials which are isomorphisms produce cancellation of pairs of modules. Corresponding to these cancellations, a family of circle-valued Morse functions $f^r$ is obtained by successively removing the corresponding pairs of critical points of $f$. We also keep track of all dynamical information on the birth and death of connecting orbits between consecutive critical points, as well as periodic orbits that arise within a family of negative gradient flows associated to $f^r$.
△ Less
Submitted 26 October, 2016;
originally announced October 2016.
-
Deformations of Legendrian Curves
Authors:
Marco Silva Mendes,
Orlando Neto
Abstract:
We construct versal and equimultiple versal deformations of the parametrization of a Legendrian curve.
We construct versal and equimultiple versal deformations of the parametrization of a Legendrian curve.
△ Less
Submitted 11 July, 2016;
originally announced July 2016.
-
A Simple Scheme for Quantum Non Demolition of Phonons Number of the Nanoelectromechanics Systems
Authors:
F. R. de S. Nunes,
J. J. I. de Souza,
D. A. Souza,
R. C. Viana,
O. P. de Sá Neto
Abstract:
In this work we describe a scheme to perform a continuous over time quantum non demolition (QND) mea- surement of the number of phonons of a nanoelectromechanical system (NEMS). Our scheme also allows us to describe the statistics of the number of phonons.
In this work we describe a scheme to perform a continuous over time quantum non demolition (QND) mea- surement of the number of phonons of a nanoelectromechanical system (NEMS). Our scheme also allows us to describe the statistics of the number of phonons.
△ Less
Submitted 14 January, 2016;
originally announced January 2016.
-
Limits of Tangents of Surfaces
Authors:
Joao Cabral,
Orlando Neto
Abstract:
We compute the limit of tangents of an arbitrary surface. We obtain as a byproduct an embedded version of Jung's desingularization theorem for surface singularities with finite limits of tangents.
We compute the limit of tangents of an arbitrary surface. We obtain as a byproduct an embedded version of Jung's desingularization theorem for surface singularities with finite limits of tangents.
△ Less
Submitted 25 November, 2015;
originally announced November 2015.
-
Desingularization of Legendrian Surfaces
Authors:
Antonio Araujo,
Joao Cabral,
Orlando Neto
Abstract:
In this paper we prove a desingularization theorem for Legendrian surfaces that are the conormal of a quasi-ordinary hypersurface.
In this paper we prove a desingularization theorem for Legendrian surfaces that are the conormal of a quasi-ordinary hypersurface.
△ Less
Submitted 30 October, 2015;
originally announced October 2015.
-
Quantum simulation of the Anderson Hamiltonian with an array of coupled nanoresonators: delocalization and thermalization effects
Authors:
J. Lozada-Vera,
A. Carrillo,
O. P. de Sá Neto,
J. Khatibi Moqadam,
M. D. LaHaye,
M. C. de Oliveira
Abstract:
The possibility of using nanoelectromechanical systems as a simulation tool for quantum many-body effects is explored. It is demonstrated that an array of electrostatically coupled nanoresonators can effectively simulate the Bose-Hubbard model without interactions, corresponding in the single-phonon regime to the Anderson tight-binding model. Employing a density matrix formalism for the system cou…
▽ More
The possibility of using nanoelectromechanical systems as a simulation tool for quantum many-body effects is explored. It is demonstrated that an array of electrostatically coupled nanoresonators can effectively simulate the Bose-Hubbard model without interactions, corresponding in the single-phonon regime to the Anderson tight-binding model. Employing a density matrix formalism for the system coupled to a bosonic thermal bath, we study the interplay between disorder and thermalization, focusing on the delocalization process. It is found that the phonon population remains localized for a long time at low enough temperatures; with increasing temperatures the localization is rapidly lost due to thermal pum** of excitations into the array, producing in the equilibrium a fully thermalized system. Finally, we consider a possible experimental design to measure the phonon population in the array by means of a superconducting transmon qubit coupled to individual nanoresonators. We also consider the possibility of using the proposed quantum simulator for realizing continuous-time quantum walks.
△ Less
Submitted 30 May, 2016; v1 submitted 27 August, 2015;
originally announced August 2015.
-
Temperature Measurement and Phonon Number Statistics of a Nanoelectromechanical Resonator
Authors:
O. P. de Sá Neto,
M. C. de Oliveira,
G. J. Milburn
Abstract:
Measuring thermodynamic quantities can be easy or not, depending on the system that is being studied. For a macroscopic object, measuring temperatures can be as simple as measuring how much a column of mercury rises when in contact with the object. At the small scale of quantum electromechanical systems, such simple methods are not available and invariably detection processes disturb the system st…
▽ More
Measuring thermodynamic quantities can be easy or not, depending on the system that is being studied. For a macroscopic object, measuring temperatures can be as simple as measuring how much a column of mercury rises when in contact with the object. At the small scale of quantum electromechanical systems, such simple methods are not available and invariably detection processes disturb the system state. Here we propose a method for measuring the temperature on a suspended semiconductor membrane clamped at both ends. In this method, the membrane is mediating a capacitive coupling between two transmission line resonators (TLR). The first TLR has a strong dispersion, that is, its decaying rate is larger than its drive, and its role is to pump in a pulsed way the interaction between the membrane and the second TLR. By averaging the pulsed measurements of the quadrature of the second TLR we show how the temperature of the membrane can be determined. Moreover the statistical description of the state of the membrane, which is directly accessed in this approach is significantly improved by the addition of a Josephson Junction coupled to the second TLR.
△ Less
Submitted 7 August, 2015;
originally announced August 2015.
-
The 12 prophets dataset
Authors:
J. Rodrigues,
M. Gazziro,
N. Goncalves,
O. Neto,
Y. Fernandes,
A. Gimenes,
C. Alegre,
R. Assis
Abstract:
The "Ajeijadinho 3D" project is an initiative supported by the University of São Paulo (Museum of Science and Dean of Culture and Extension), which involves the 3D digitization of art works of Brazilian sculptor Antonio Francisco Lisboa, better known as Aleijadinho. The project made use of advanced acquisition and processing of 3D meshes for preservation and dissemination of the cultural heritage.…
▽ More
The "Ajeijadinho 3D" project is an initiative supported by the University of São Paulo (Museum of Science and Dean of Culture and Extension), which involves the 3D digitization of art works of Brazilian sculptor Antonio Francisco Lisboa, better known as Aleijadinho. The project made use of advanced acquisition and processing of 3D meshes for preservation and dissemination of the cultural heritage. The dissemination occurs through a Web portal, so that the population has the opportunity to meet the art works in detail using 3D visualization and interaction. The portal address is http://www.aleijadinho3d.icmc.usp.br. The 3D acquisitions were conducted over a week at the end of July 2013 in the cities of Ouro Preto, MG, Brazil and Congonhas do Campo, MG, Brazil. The scanning was done with a special equipment supplied by company Leica Geosystems, which allowed the work to take place at distances between 10 and 30 meters, defining a non-invasive procedure, simplified logistics, and without the need for preparation or isolation of the sites. In Ouro Preto, we digitized the churches of Francisco of Assis, Our Lady of Carmo, and Our Lady of Mercy; in Congonhas do Campo we scanned the entire Sanctuary of Bom Jesus de Matosinhos and his 12 prophets. Once scanned, the art works went through a long process of preparation, which required careful handling of meshes done by experts from the University of São Paulo in partnership with company Imprimate.
△ Less
Submitted 19 June, 2015;
originally announced June 2015.
-
Rigid Local Systems and Weighted Homogeneous Curves
Authors:
Orlando Neto,
Pedro C. Silva
Abstract:
We introduce a notion of rigid local system on the comple- ment of a plane curve $Y$, which relies on a canonical Waldhausen de- composition of the Milnor sphere associated to $Y$. We show that when $Y$ is weigthed homogeneous this notion is deeply related to the classical notion of rigidity on the Riemann sphere. We construct large families of rigid local systems on the complement of weighted hom…
▽ More
We introduce a notion of rigid local system on the comple- ment of a plane curve $Y$, which relies on a canonical Waldhausen de- composition of the Milnor sphere associated to $Y$. We show that when $Y$ is weigthed homogeneous this notion is deeply related to the classical notion of rigidity on the Riemann sphere. We construct large families of rigid local systems on the complement of weighted homogeneous plane curves and show that the corresponding $D$-modules are generated by `special' multivalued holomorphic functions.
△ Less
Submitted 13 September, 2014;
originally announced September 2014.
-
On the Resolution Graph of a Plane Curve
Authors:
Joao Cabral,
Orlando Neto,
Pedro C. Silva
Abstract:
We show that the resolution graph of a plane curve singularity admits a canonical decomposition into elementary graphs.
We show that the resolution graph of a plane curve singularity admits a canonical decomposition into elementary graphs.
△ Less
Submitted 13 September, 2014;
originally announced September 2014.
-
Smale flows on $\mathbb{S}^2\times\mathbb{S}^1$
Authors:
Ketty A. de Rezende,
Guido G. E. Ledesma,
Oziride M. Neto
Abstract:
In this paper, we use abstract Lyapunov graphs as a combinatorial tool to obtain a complete classification of Smale flows on $\mathbb{S}^2\times\mathbb{S}^1$. This classification gives necessary and sufficient conditions that must be satisfied by an abstract Lyapunov graph in order for it to be associated to a Smale flow on $\mathbb{S}^2\times\mathbb{S}^1$.
In this paper, we use abstract Lyapunov graphs as a combinatorial tool to obtain a complete classification of Smale flows on $\mathbb{S}^2\times\mathbb{S}^1$. This classification gives necessary and sufficient conditions that must be satisfied by an abstract Lyapunov graph in order for it to be associated to a Smale flow on $\mathbb{S}^2\times\mathbb{S}^1$.
△ Less
Submitted 22 December, 2014; v1 submitted 23 July, 2014;
originally announced July 2014.
-
Capacitive Coupling of Two Transmission Line Resonators Mediated by the Phonon Number of a Nanoelectromechanical Oscillator
Authors:
O. P. de Sá Neto,
M. C. de Oliveira,
F. Nicacio,
G. J. Milburn
Abstract:
Detection of quantum features in mechanical systems at the nanoscale constitutes a challenging task, given the weak interaction with other elements and the available technics. Here we describe how the interaction between two monomodal transmission-line resonators (TLRs) mediated by vibrations of a nano-electromechanical oscillator can be described. This scheme is then employed for quantum non-demo…
▽ More
Detection of quantum features in mechanical systems at the nanoscale constitutes a challenging task, given the weak interaction with other elements and the available technics. Here we describe how the interaction between two monomodal transmission-line resonators (TLRs) mediated by vibrations of a nano-electromechanical oscillator can be described. This scheme is then employed for quantum non-demolition detection of the number of phonons in the nano-electromechanical oscillator through a direct current measurement in the output of one of the TLRs. For that to be possible an undepleted field inside one of the TLR works as a amplifier for the interaction between the mechanical resonator and the remaining TLR. We also show how how the non-classical nature of this system can be used for generation of tripartite entanglement and conditioned mechanical coherent superposition states, which may be further explored for detection processes.
△ Less
Submitted 5 May, 2014;
originally announced May 2014.
-
Hybrid Qubit gates in circuit QED: A scheme for quantum bit encoding and information processing
Authors:
O. P. de Sa Neto,
M. C. de Oliveira
Abstract:
Solid state superconducting devices coupled to coplanar transmission lines offer an exquisite architecture for quantum optical phenomena probing as well as for quantum computation implementation, being the object of intense theoretical and experimental investigation lately. In appropriate conditions the transmission line radiation modes can get strongly coupled to a superconducting device with onl…
▽ More
Solid state superconducting devices coupled to coplanar transmission lines offer an exquisite architecture for quantum optical phenomena probing as well as for quantum computation implementation, being the object of intense theoretical and experimental investigation lately. In appropriate conditions the transmission line radiation modes can get strongly coupled to a superconducting device with only two levels -for that reason called artificial atom or qubit. Employing this system we propose a hybrid two-quantum bit gate encoding involving quantum electromagnetic field qubit states prepared in a coplanar transmission line capacitively coupled to a single charge qubit. Since dissipative effects are more drastic in the solid state qubit than in the field one, it can be employed for storage of information, whose efficiency against the action of an ohmic bath show that this encoding can be readily implemented with present day technology. We extend the investigation to generate entanglement between several solid state qubits and the field qubit through the action of external classical magnetic pulses.
△ Less
Submitted 6 October, 2011;
originally announced October 2011.
-
Generation of Superposition States and Charge-Qubit Relaxation Probing in a Circuit
Authors:
O. P. de Sa Neto,
M. C. de Oliveira,
A. O. Caldeira
Abstract:
We demonstrate how a superposition of coherent states can be generated for a microwave field inside a coplanar transmission line coupled to a single superconducting charge qubit, with the addition of a single classical magnetic pulse for chir** of the qubit transition frequency. We show how the qubit dephasing induces decoherence on the field superposition state, and how it can be probed by the…
▽ More
We demonstrate how a superposition of coherent states can be generated for a microwave field inside a coplanar transmission line coupled to a single superconducting charge qubit, with the addition of a single classical magnetic pulse for chir** of the qubit transition frequency. We show how the qubit dephasing induces decoherence on the field superposition state, and how it can be probed by the qubit charge detection. The character of the charge qubit relaxation process itself is imprinted in the field state decoherence profile.
△ Less
Submitted 27 April, 2011;
originally announced April 2011.