-
Validation of Rigorous Requirements Specifications and Document Automation with the ITLingo RSL Language
Authors:
Andre Rodrigues,
Alberto Rodrigues da Silva
Abstract:
Despite being an essential step in software development, writing requirements specifications is frequently performed in natural language, leading to issues like inconsistency, incompleteness, or ambiguity. The ITLingo initiative has introduced a requirements specification language named RSL to enhance the rigor and consistency of technical documentation. On the other hand, natural language process…
▽ More
Despite being an essential step in software development, writing requirements specifications is frequently performed in natural language, leading to issues like inconsistency, incompleteness, or ambiguity. The ITLingo initiative has introduced a requirements specification language named RSL to enhance the rigor and consistency of technical documentation. On the other hand, natural language processing (NLP) is a field that has been supporting the automatic analysis of requirements by hel** to detect issues that may be difficult to see during a manual review. Once the requirements specifications are validated, it is important to automate the generation of documents for these specifications to reduce manual work, reduce errors, and to produce documentation in multiple formats that are more easily reusable or recognized by the different stakeholders. This paper reviews existing research and tools in the fields of requirements validation and document automation. We propose to extend RSL with validation of specifications based on customized checks, and on linguistic rules dynamically defined in the RSL itself. In addition, we also propose the automatic generation of documents from these specifications to JSON, TXT, or other file formats using template files. We use a fictitious business information system to support the explanation and to demonstrate how these validation checks can assist in writing better requirements specifications and then generate documents in multiple formats based on them. Finally, we evaluate the usability of the proposed validation and document automation approach through a user session.
△ Less
Submitted 17 December, 2023;
originally announced December 2023.
-
Controlled Natural Languages for Specifying Business Intelligence Applications
Authors:
Pedro das Neves Rodrigues,
Alberto Rodrigues da Silva
Abstract:
This study examines the use of controlled natural languages (CNLs) to specify business intelligence (BI) application requirements. Two varieties of CNLs, CNL-BI and ITLingo ASL (ASL), were employed. A hypothetical BI application, MEDBuddy-BI, was developed for the National Health Service (NHS) to demonstrate how the languages can be used. MEDBuddy-BI leverages patient data, including interactions…
▽ More
This study examines the use of controlled natural languages (CNLs) to specify business intelligence (BI) application requirements. Two varieties of CNLs, CNL-BI and ITLingo ASL (ASL), were employed. A hypothetical BI application, MEDBuddy-BI, was developed for the National Health Service (NHS) to demonstrate how the languages can be used. MEDBuddy-BI leverages patient data, including interactions and appointments, to improve healthcare services. The research outlines the application of CNL-BI and ASL in BI. It details how these languages effectively describe complex data, user interfaces, and various BI application functions. Using the MEDBuddy-BI running example.
△ Less
Submitted 21 November, 2023; v1 submitted 20 November, 2023;
originally announced November 2023.
-
Communication-Constrained Multi-Robot Exploration with Intermittent Rendezvous
Authors:
Alysson Ribeiro da Silva,
Luiz Chaimowicz,
Thales Costa Silva,
Ani Hsieh
Abstract:
This paper deals with the Multi-robot Exploration (MRE) under communication constraints problem. We propose a novel intermittent rendezvous method that allows robots to explore an unknown environment while sharing maps at rendezvous locations through agreements. In our method, robots update the agreements to spread the rendezvous locations during the exploration and prioritize exploring unknown ar…
▽ More
This paper deals with the Multi-robot Exploration (MRE) under communication constraints problem. We propose a novel intermittent rendezvous method that allows robots to explore an unknown environment while sharing maps at rendezvous locations through agreements. In our method, robots update the agreements to spread the rendezvous locations during the exploration and prioritize exploring unknown areas near them. To generate the agreements automatically, we reduced the MRE to instances of the Job Shop Scheduling Problem (JSSP) and ensured intermittent communication through a temporal connectivity graph. We evaluate our method in simulation in various virtual urban environments and a Gazebo simulation using the Robot Operating System (ROS). Our results suggest that our method can be better than using relays or maintaining intermittent communication with a base station since we can explore faster without additional hardware to create a relay network.
△ Less
Submitted 9 May, 2024; v1 submitted 23 September, 2023;
originally announced September 2023.
-
Exploring the chemodynamics of metal-poor stellar populations
Authors:
André Rodrigo da Silva,
Rodolfo Smiljanic
Abstract:
Metal-poor stars are key for studying the formation and evolution of the Galaxy. Evidence of the early mergers that built up the Galaxy remains in the distributions of abundances, kinematics, and orbital parameters of its stars. Several substructures resulting from these mergers have been tentatively identified in the literature. We conduct a global analysis of the chemodynamic properties of metal…
▽ More
Metal-poor stars are key for studying the formation and evolution of the Galaxy. Evidence of the early mergers that built up the Galaxy remains in the distributions of abundances, kinematics, and orbital parameters of its stars. Several substructures resulting from these mergers have been tentatively identified in the literature. We conduct a global analysis of the chemodynamic properties of metal-poor stars. Our aim is to identify signs of accreted and in situ stars in different regions of the parameter space and to investigate their differences and similarities. We selected a sample of about 6600 metal-poor stars with [Fe/H] $\leq$ -0.8 from DR3 of the GALAH survey. We used unsupervised machine learning to separate stars in a parameter space made of two normalised orbital actions, plus [Fe/H] and [Mg/Fe], without additional a priori cuts on stellar properties. We divided the halo stars in four main groups. All groups exhibit a significant fraction of in situ contamination (ISC). Accreted stars of these groups have very similar chemical properties, except for those of the group of stars with very retrograde orbits. This points to at most two main sources of accreted stars in the current sample, the major one related to Gaia-Enceladus (GE) and the other possibly related to Thamnos and/or Sequoia. Stars of GE are r-process enriched at low metallicities, but a contribution of the s-process appears with increasing metallicity. A flat trend of [Eu/Mg] as a function of [Fe/H] suggests that only core collapse supernovae contributed to r-process elements in GE. To better characterise accreted stars in the low metallicity regime, high precision abundances and guidance from chemical evolution models are needed. It is possible that ISC in samples of accreted stars has been underestimated. This can have important consequences for attempts to estimate the properties of the original systems.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
CUBES: a UV spectrograph for the future
Authors:
S. Covino,
S. Cristiani,
J. M. Alcala',
S. H. P. Alencar,
S. A. Balashev,
B. Barbuy,
N. Bastian,
U. Battino,
L. Bissell,
P. Bristow,
A. Calcines,
G. Calderone,
P. Cambianica,
R. Carini,
B. Carter,
S. Cassisi,
B. V. Castilho,
G. Cescutti,
N. Christlieb,
R. Cirami,
R. Conzelmann,
I. Coretti,
R. Cooke,
G. Cremonese,
K. Cunha
, et al. (64 additional authors not shown)
Abstract:
In spite of the advent of extremely large telescopes in the UV/optical/NIR range, the current generation of 8-10m facilities is likely to remain competitive at ground-UV wavelengths for the foreseeable future. The Cassegrain U-Band Efficient Spectrograph (CUBES) has been designed to provide high-efficiency (>40%) observations in the near UV (305-400 nm requirement, 300-420 nm goal) at a spectral r…
▽ More
In spite of the advent of extremely large telescopes in the UV/optical/NIR range, the current generation of 8-10m facilities is likely to remain competitive at ground-UV wavelengths for the foreseeable future. The Cassegrain U-Band Efficient Spectrograph (CUBES) has been designed to provide high-efficiency (>40%) observations in the near UV (305-400 nm requirement, 300-420 nm goal) at a spectral resolving power of R>20,000, although a lower-resolution, sky-limited mode of R ~ 7,000 is also planned.
CUBES will offer new possibilities in many fields of astrophysics, providing access to key lines of stellar spectra: a tremendous diversity of iron-peak and heavy elements, lighter elements (in particular Beryllium) and light-element molecules (CO, CN, OH), as well as Balmer lines and the Balmer jump (particularly important for young stellar objects). The UV range is also critical in extragalactic studies: the circumgalactic medium of distant galaxies, the contribution of different types of sources to the cosmic UV background, the measurement of H2 and primordial Deuterium in a regime of relatively transparent intergalactic medium, and follow-up of explosive transients.
The CUBES project completed a Phase A conceptual design in June 2021 and has now entered the Phase B dedicated to detailed design and construction. First science operations are planned for 2028. In this paper, we briefly describe the CUBES project development and goals, the main science cases, the instrument design and the project organization and management.
△ Less
Submitted 24 December, 2022;
originally announced December 2022.
-
Data analysis and visualization techniques for project tracking: Experiences with the ITLingo-Cloud Platform
Authors:
Andre Nobre Barrocas,
Alberto Rodrigues da Silva,
Joao Paulo Saraiva
Abstract:
Considering the market's competitiveness and the complexity of organizations and projects, analyzing data is crucial to decision support on software development and project management processes. These practices are essential to increase performance, reduce costs and risks of failure, and guarantee the quality of results, kee** the work organized and controlled. ITLingo-Cloud is a multi-organizat…
▽ More
Considering the market's competitiveness and the complexity of organizations and projects, analyzing data is crucial to decision support on software development and project management processes. These practices are essential to increase performance, reduce costs and risks of failure, and guarantee the quality of results, kee** the work organized and controlled. ITLingo-Cloud is a multi-organization and multi-workspace collaborative platform to manage and analyze data that can support translating project performance knowledge into improved decision-making. This platform allows users to quickly set up their environment, manage workspaces and technical documentation, and analyze and observe statistics to aid both technical and business decisions. ITLingo-Cloud supports multiple technologies and languages, promotes data synchronization with templates and reusable libraries, as well as automation tasks, namely automatic data extraction, automatic validation, or document automation. The usability of ITLingo-Cloud was recently evaluated with two experiments and discussed with other related approaches.
△ Less
Submitted 23 November, 2022; v1 submitted 21 November, 2022;
originally announced November 2022.
-
Solving the Job Shop Scheduling Problem with Ant Colony Optimization
Authors:
Alysson Ribeiro da Silva
Abstract:
The Job Shop Schedule Problem (JSSP) refers to the ability of an agent to allocate tasks that should be executed in a specified time in a machine from a cluster. The task allocation can be achieved from several methods, however, this report it is explored the ability of the Ant Colony Optimization to generate feasible solutions for several JSSP instances. This proposal models the JSSP as a complet…
▽ More
The Job Shop Schedule Problem (JSSP) refers to the ability of an agent to allocate tasks that should be executed in a specified time in a machine from a cluster. The task allocation can be achieved from several methods, however, this report it is explored the ability of the Ant Colony Optimization to generate feasible solutions for several JSSP instances. This proposal models the JSSP as a complete graph since disjunct models can prevent the ACO from exploring all the search space. Several instances of the JSSP were used to evaluate the proposal. Results suggest that the algorithm can reach optimum solutions for easy and harder instances with a selection of parameters.
△ Less
Submitted 12 September, 2022;
originally announced September 2022.
-
Double Q-Learning for Citizen Relocation During Natural Hazards
Authors:
Alysson Ribeiro da Silva
Abstract:
Natural disasters can cause substantial negative socio-economic impacts around the world, due to mortality, relocation, rates, and reconstruction decisions. Robotics has been successfully applied to identify and rescue victims during the occurrence of a natural hazard. However, little effort has been taken to deploy solutions where an autonomous robot can save the life of a citizen by itself reloc…
▽ More
Natural disasters can cause substantial negative socio-economic impacts around the world, due to mortality, relocation, rates, and reconstruction decisions. Robotics has been successfully applied to identify and rescue victims during the occurrence of a natural hazard. However, little effort has been taken to deploy solutions where an autonomous robot can save the life of a citizen by itself relocating it, without the need to wait for a rescue team composed of humans. Reinforcement learning approaches can be used to deploy such a solution, however, one of the most famous algorithms to deploy it, the Q-learning, suffers from biased results generated when performing its learning routines. In this research a solution for citizen relocation based on Partially Observable Markov Decision Processes is adopted, where the capability of the Double Q-learning in relocating citizens during a natural hazard is evaluated under a proposed hazard simulation engine based on a grid world. The performance of the solution was measured as a success rate of a citizen relocation procedure, where the results show that the technique portrays a performance above 100% for easy scenarios and near 50% for hard ones.
△ Less
Submitted 12 September, 2022; v1 submitted 8 September, 2022;
originally announced September 2022.
-
Handcrafted Feature Selection Techniques for Pattern Recognition: A Survey
Authors:
Alysson Ribeiro da Silva,
Camila Guedes Silveira
Abstract:
The accuracy of a classifier, when performing Pattern recognition, is mostly tied to the quality and representativeness of the input feature vector. Feature Selection is a process that allows for representing information properly and may increase the accuracy of a classifier. This process is responsible for finding the best possible features, thus allowing us to identify to which class a pattern b…
▽ More
The accuracy of a classifier, when performing Pattern recognition, is mostly tied to the quality and representativeness of the input feature vector. Feature Selection is a process that allows for representing information properly and may increase the accuracy of a classifier. This process is responsible for finding the best possible features, thus allowing us to identify to which class a pattern belongs. Feature selection methods can be categorized as Filters, Wrappers, and Embed. This paper presents a survey on some Filters and Wrapper methods for handcrafted feature selection. Some discussions, with regard to the data structure, processing time, and ability to well represent a feature vector, are also provided in order to explicitly show how appropriate some methods are in order to perform feature selection. Therefore, the presented feature selection methods can be accurate and efficient if applied considering their positives and negatives, finding which one fits best the problem's domain may be the hardest task.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
The CUBES Science Case
Authors:
Chris Evans,
Stefano Cristiani,
Cyrielle Opitom,
Gabriele Cescutti,
Valentina D'Odorico,
Juan Manuel Alcalá,
Silvia H. P. Alencar,
Sergei Balashev,
Beatriz Barbuy,
Nate Bastian,
Umberto Battino,
Pamela Cambianica,
Roberta Carini,
Brad Carter,
Santi Cassisi,
Bruno Vaz Castilho,
Norbert Christlieb,
Ryan Cooke,
Stefano Covino,
Gabriele Cremonese,
Katia Cunha,
André R. da Silva,
Valerio D'Elia,
Annalisa De Cia,
Gayandhi De Silva
, et al. (29 additional authors not shown)
Abstract:
We introduce the scientific motivations for the development of the Cassegrain U-Band Efficient Spectrograph (CUBES) that is now in construction for the Very Large Telescope. The assembled cases span a broad range of contemporary topics across Solar System, Galactic and extragalactic astronomy, where observations are limited by the performance of current ground-based spectrographs shortwards of 400…
▽ More
We introduce the scientific motivations for the development of the Cassegrain U-Band Efficient Spectrograph (CUBES) that is now in construction for the Very Large Telescope. The assembled cases span a broad range of contemporary topics across Solar System, Galactic and extragalactic astronomy, where observations are limited by the performance of current ground-based spectrographs shortwards of 400nm. A brief background to each case is presented and specific technical requirements on the instrument design that flow-down from each case are identified. These were used as inputs to the CUBES design, that will provide a factor of ten gain in efficiency for astronomical spectroscopy over 300-405nm, at resolving powers of R~24,000 and ~7,000. We include performance estimates that demonstrate the ability of CUBES to observe sources that are up to three magnitudes fainter than currently possible at ground-ultraviolet wavelengths, and we place its predicted performance in the context of existing facillities.
△ Less
Submitted 30 September, 2022; v1 submitted 2 August, 2022;
originally announced August 2022.
-
CUBES, the Cassegrain U-Band Efficient Spectrograph
Authors:
S. Cristiani,
J. M. Alcalá,
S. H. P. Alencar,
S. A. Balashev,
N. Bastian,
B. Barbuy,
U. Battino,
A. Calcines,
G. Calderone,
P. Cambianica,
R. Carini,
B. Carter,
S. Cassisi,
B. V. Castilho,
G. Cescutti,
N. Christlieb,
R. Cirami,
I. Coretti,
R. Cooke,
S. Covino,
G. Cremonese,
K. Cunha,
G. Cupani,
A. R. da Silva,
V. De Caprio
, et al. (52 additional authors not shown)
Abstract:
In the era of Extremely Large Telescopes, the current generation of 8-10m facilities are likely to remain competitive at ground-UV wavelengths for the foreseeable future. The Cassegrain U-Band Efficient Spectrograph (CUBES) has been designed to provide high-efficiency (>40%) observations in the near UV (305-400 nm requirement, 300-420 nm goal) at a spectral resolving power of R>20,000 (with a lowe…
▽ More
In the era of Extremely Large Telescopes, the current generation of 8-10m facilities are likely to remain competitive at ground-UV wavelengths for the foreseeable future. The Cassegrain U-Band Efficient Spectrograph (CUBES) has been designed to provide high-efficiency (>40%) observations in the near UV (305-400 nm requirement, 300-420 nm goal) at a spectral resolving power of R>20,000 (with a lower-resolution, sky-limited mode of R ~ 7,000). With the design focusing on maximizing the instrument throughput (ensuring a Signal to Noise Ratio (SNR) ~20 per high-resolution element at 313 nm for U ~18.5 mag objects in 1h of observations), it will offer new possibilities in many fields of astrophysics, providing access to key lines of stellar spectra: a tremendous diversity of iron-peak and heavy elements, lighter elements (in particular Beryllium) and light-element molecules (CO, CN, OH), as well as Balmer lines and the Balmer jump (particularly important for young stellar objects). The UV range is also critical in extragalactic studies: the circumgalactic medium of distant galaxies, the contribution of different types of sources to the cosmic UV background, the measurement of H2 and primordial Deuterium in a regime of relatively transparent intergalactic medium, and follow-up of explosive transients. The CUBES project completed a Phase A conceptual design in June 2021 and has now entered the detailed design and construction phase. First science operations are planned for 2028.
△ Less
Submitted 2 August, 2022;
originally announced August 2022.
-
ITLingo Research Initiative in 2022
Authors:
Alberto Rodrigues da Silva
Abstract:
Several surveys and studies have noticed that cost, and quality problems result from mistakes that occurred in the early phases of the projects, for instance: poor definition of the project vision and respective value for the organization; misalignment between IT and business resources; failures in project management practices; or poor and low-quality technical documentation. These facts have emph…
▽ More
Several surveys and studies have noticed that cost, and quality problems result from mistakes that occurred in the early phases of the projects, for instance: poor definition of the project vision and respective value for the organization; misalignment between IT and business resources; failures in project management practices; or poor and low-quality technical documentation. These facts have emphasized the need for improving socio-technical disciplines such as project management, enterprise architecture, requirements engineering, or system design. These studies also noted the need to reduce the efforts involved in traditional development processes, for example, by automating some human-intensive and error-prone tasks. This article presents the scientific project we have conducted in these last years named "ITLingo". ITLingo is a research initiative that has proposed new languages, tools, and techniques to support users to improve such practices, mainly related to those disciplines. ITLingo users are IT engineers and managers in multiple roles like project managers, enterprise architects, business analysts, system architects, requirements engineers, or even system developers. The article describes the innovative nature of the activities carried out under the ITLingo umbrella and identifies future and open challenges.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
-
Detecting weak beryllium lines with CUBES
Authors:
Rodolfo Smiljanic,
Andre Rodrigo da Silva,
Riano E. Giribaldi
Abstract:
Beryllium is a light element with one single stable isotope, 9Be, which is a pure product of cosmic-ray spallation in the interstellar medium. Beryllium abundances in late-type stars can be used in studies about evolutionary mixing, Galactic chemical evolution, planet engulfment, and the formation of globular clusters. Some of these uses of Be abundances figure among the science cases of the Casse…
▽ More
Beryllium is a light element with one single stable isotope, 9Be, which is a pure product of cosmic-ray spallation in the interstellar medium. Beryllium abundances in late-type stars can be used in studies about evolutionary mixing, Galactic chemical evolution, planet engulfment, and the formation of globular clusters. Some of these uses of Be abundances figure among the science cases of the Cassegrain U-Band Efficient Spectrograph (CUBES), a new near-UV low- and medium-resolution spectrograph under development for the Very Large Telescope. Here, we report on a study about beryllium abundances in extremely metal-poor stars in the context of the phase A of CUBES. Our motivation is to understand the limits for the detection of weak lines in extremely metal-poor stars of low Be abundances. We analyze simulated CUBES observations, performed in medium-resolution mode, based on synthetic spectra for four mock stars with [Fe/H] \leq -3.0. We find that detecting the Be lines is possible in certain cases, but is very challenging and requires high signal-to-noise ratio. Depending on the atmospheric parameters of the target stars, and if signal-to-noise per pixel of about 400 can be achieved, it should be possible to detect Be abundances between log(Be/H) = -13.1 and -13.6, with a typical uncertainty of \pm 0.15 dex. Using CUBES, the required data for such studies can be obtained for stars that are fainter by two magnitudes with respect to what is possible with current instrumentation.
△ Less
Submitted 30 March, 2022;
originally announced March 2022.
-
Parameter Estimation for Grouped Data Using EM and MCEM Algorithms
Authors:
Zahra A. Shirazi,
João Pedro A. R. da Silva,
Camila P. E. de Souza
Abstract:
Nowadays, the confidentiality of data and information is of great importance for many companies and organizations. For this reason, they may prefer not to release exact data, but instead to grant researchers access to approximate data. For example, rather than providing the exact measurements of their clients, they may only provide researchers with grouped data, that is, the number of clients fall…
▽ More
Nowadays, the confidentiality of data and information is of great importance for many companies and organizations. For this reason, they may prefer not to release exact data, but instead to grant researchers access to approximate data. For example, rather than providing the exact measurements of their clients, they may only provide researchers with grouped data, that is, the number of clients falling in each of a set of non-overlap** measurement intervals. The challenge is to estimate the mean and variance structure of the hidden ungrouped data based on the observed grouped data. To tackle this problem, this work considers the exact observed data likelihood and applies the Expectation-Maximization (EM) and Monte-Carlo EM (MCEM) algorithms for cases where the hidden data follow a univariate, bivariate, or multivariate normal distribution. Simulation studies are conducted to evaluate the performance of the proposed EM and MCEM algorithms. The well-known Galton data set is considered as an application example.
△ Less
Submitted 22 December, 2021; v1 submitted 5 June, 2021;
originally announced June 2021.
-
Titans metal-poor reference stars. I. Accurate effective temperatures and surface gravities for dwarfs and subgiants from 3D non-LTE H$α$ profiles and Gaia parallaxes
Authors:
Riano E. Giribaldi,
André R. da Silva,
Rodolfo Smiljanic,
Deysi Cornejo Espinoza
Abstract:
Several large stellar spectroscopic surveys are producing overwhelming amounts of data that can be used for determining stellar atmospheric parameters and chemical abundances. Nonetheless, the accuracy achieved in the derived astrophysical parameters is still insufficient, mainly because of the paucity of adequate calibrators, particularly in the metal-poor regime ([Fe/H] $\leq -$1.0). Here, we in…
▽ More
Several large stellar spectroscopic surveys are producing overwhelming amounts of data that can be used for determining stellar atmospheric parameters and chemical abundances. Nonetheless, the accuracy achieved in the derived astrophysical parameters is still insufficient, mainly because of the paucity of adequate calibrators, particularly in the metal-poor regime ([Fe/H] $\leq -$1.0). Here, we introduce the Titans metal-poor reference stars: a sample of 41 dwarf and subgiant stars with accurate parameters. Effective temperatures (Teff) were derived by fitting observed H$α$ profiles with synthetic lines computed using 3D hydrodynamic NLTE models. Surface gravities (logg) were computed using evolutionary tracks and parallaxes from Gaia EDR3. The same methods recover the Teff values of the Gaia benchmark stars, which are mostly based on interferometric measurements, with a 1$σ$ dispersion of $\pm 50$ K. We assume this to be the accuracy of the H$α$ profiles computed from 3D non-LTE models for metal-poor dwarfs and subgiants. We achieved an internal precision typically between 30-40 K, these errors dominated by instrumental effects. The final total uncertainty for the Teff values of the Titans are thus estimated to be of the order of $1\%$. The typical error for logg is $\leq$ 0.04 dex. In addition, we identified a few members of Gaia-Enceladus, of Sequoia, and of the Helmi stream in our sample. These stars can pave the way for the accurate chemical characterization of these Galactic substructures. Using the Titans as reference, large stellar surveys will be able to improve the internal calibration of their astrophysical parameters. Ultimately, this sample will help users of data from Gaia and large surveys in reaching their goal of redefining our understanding of stars, stellar systems, and the Milky Way.
△ Less
Submitted 28 April, 2021;
originally announced April 2021.
-
Women in academia: a warning on selection bias in gender studies from the astronomical perspective
Authors:
M. L. L. Dantas,
E. Cameron,
Rafael S. de Souza,
A. R. da Silva,
A. L. Chies-Santos,
C. Heneka,
P. R. T. Coelho,
A. Ederoclite,
I. S. Beloto,
V. Branco,
Morgan S. Camargo,
V. M. Carvalho de Oliveira,
C. de Sá-Freitas,
G. Gonçalves,
T. A. Pacheco,
Isabel Rebollido
Abstract:
The recent paper by AlShebli et al. (2020) investigates the impact of mentorship in young scientists. Among their conclusions, they state that female protégés benefit more from male than female mentorship. We herein expose a critical flaw in their methodological design that is a common issue in Astronomy, namely "selection biases". An effect that if not treated properly may lead to unwarranted cau…
▽ More
The recent paper by AlShebli et al. (2020) investigates the impact of mentorship in young scientists. Among their conclusions, they state that female protégés benefit more from male than female mentorship. We herein expose a critical flaw in their methodological design that is a common issue in Astronomy, namely "selection biases". An effect that if not treated properly may lead to unwarranted causality claims. In their analysis, selection biases seem to be present in the response rate of their survey (8.35%), the choice of database, success criterion, and the overlook of the numerous drawbacks female researchers face in academia. We discuss these issues and their implications -- one of them being the potential increase in obstacles for women in academia. Finally, we reinforce the dangers of not considering selection bias effects in studies aimed at retrieving causal relations.
△ Less
Submitted 4 December, 2020;
originally announced December 2020.
-
Chemo-kinematic analysis of metal-poor stars with unsupervised machine learning
Authors:
André R. da Silva,
Rodolfo Smiljanic,
Riano E. Giribaldi
Abstract:
Metal-poor stars play an import role in the understanding of Galaxy formation and evolution. Evidence of the early mergers that built up the Galaxy might remain in the distributions of abundances, kinematics, and orbital parameters of the stars. In this work, we report on preliminary results of an on-going chemo-kinematic analysis of a sample of metal-poor ([Fe/H] $\leq$ -1.0) stars observed by th…
▽ More
Metal-poor stars play an import role in the understanding of Galaxy formation and evolution. Evidence of the early mergers that built up the Galaxy might remain in the distributions of abundances, kinematics, and orbital parameters of the stars. In this work, we report on preliminary results of an on-going chemo-kinematic analysis of a sample of metal-poor ([Fe/H] $\leq$ -1.0) stars observed by the GALAH spectroscopic survey. We explored the chemical and orbital data with unsupervised machine learning (hierarchical clustering, k-means cluster analysis and correlation matrices). Our final goal is to find an optimal way to separate different Galactic stellar populations and stellar groups originating from merging events, such as Gaia-Enceladus and Sequoia.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
A Software Architecture for Autonomous Vehicles: Team LRM-B Entry in the First CARLA Autonomous Driving Challenge
Authors:
Luis Alberto Rosero,
Iago Pacheco Gomes,
Júnior Anderson Rodrigues da Silva,
Tiago Cesar dos Santos,
Angelica Tiemi Mizuno Nakamura,
Jean Amaro,
Denis Fernando Wolf,
Fernando Santos Osório
Abstract:
The objective of the first CARLA autonomous driving challenge was to deploy autonomous driving systems to lead with complex traffic scenarios where all participants faced the same challenging traffic situations. According to the organizers, this competition emerges as a way to democratize and to accelerate the research and development of autonomous vehicles around the world using the CARLA simulat…
▽ More
The objective of the first CARLA autonomous driving challenge was to deploy autonomous driving systems to lead with complex traffic scenarios where all participants faced the same challenging traffic situations. According to the organizers, this competition emerges as a way to democratize and to accelerate the research and development of autonomous vehicles around the world using the CARLA simulator contributing to the development of the autonomous vehicle area. Therefore, this paper presents the architecture design for the navigation of an autonomous vehicle in a simulated urban environment that attempts to commit the least number of traffic infractions, which used as the baseline the original architecture of the platform for autonomous navigation CaRINA 2. Our agent traveled in simulated scenarios for several hours, demonstrating his capabilities, winning three out of the four tracks of the challenge, and being ranked second in the remaining track.
Our architecture was made towards meeting the requirements of CARLA Autonomous Driving Challenge and has components for obstacle detection using 3D point clouds, traffic signs detection and classification which employs Convolutional Neural Networks (CNN) and depth information, risk assessment with collision detection using short-term motion prediction, decision-making with Markov Decision Process (MDP), and control using Model Predictive Control (MPC).
△ Less
Submitted 23 October, 2020;
originally announced October 2020.
-
WASP-4 transit timing variation from a comprehensive set of 129 transits
Authors:
R. V. Baluev,
E. N. Sokov,
S. Hoyer,
C. Huitson,
José A. R. S. da Silva,
P. Evans,
I. A. Sokova,
C. R. Knight,
V. Sh. Shaidulin
Abstract:
We homogeneously reanalyse $124$ transit light curves for the WASP-4 b hot Jupiter. This set involved new observations secured in 2019 and nearly all observations mentioned in the literature, including high-accuracy GEMINI/GMOS transmission spectroscopy of 2011-2014 and TESS observations of 2018. The analysis confirmed a nonlinear TTV trend with $P/|\dot P|\sim (17-30)$ Myr (1-sigma range), implyi…
▽ More
We homogeneously reanalyse $124$ transit light curves for the WASP-4 b hot Jupiter. This set involved new observations secured in 2019 and nearly all observations mentioned in the literature, including high-accuracy GEMINI/GMOS transmission spectroscopy of 2011-2014 and TESS observations of 2018. The analysis confirmed a nonlinear TTV trend with $P/|\dot P|\sim (17-30)$ Myr (1-sigma range), implying only half of the initial decay rate estimation. The trend significance is at least $3.4$-sigma in the agressively conservative treatment. Possible radial acceleration due to unseen companions is not revealed in Doppler data covering seven years 2007-2014, and radial acceleration of $-15$ m s$^{-1}$yr$^{-1}$ reported in a recent preprint by another team is not confirmed. If present, it is a very nonlinear RV variation. Assuming that the entire TTV is tidal in nature, the tidal quality factor $Q_\star'\sim (4.5-8.5)\cdot 10^4$ does not reveal a convincing disagreement with available theory predictions.
△ Less
Submitted 20 April, 2020;
originally announced April 2020.
-
Multi-slice passband bSSFP fMRI at ultra-high field
Authors:
Olivier Reynaud,
Analina R. da Silva,
Rolf Gruetter,
Ileana O. Jelescu
Abstract:
Balanced steady-state free precession (bSSFP) can be used as an alternative to gradient-echo (GE) EPI for BOLD functional MRI when image distortions and signal drop-outs are severe such as at ultra-high field. However, 3D-bSSFP acquisitions have distinct drawbacks on either human or animal MR systems. On clinical scanners, 3D imaging is suboptimal for localized fMRI applications, and also results…
▽ More
Balanced steady-state free precession (bSSFP) can be used as an alternative to gradient-echo (GE) EPI for BOLD functional MRI when image distortions and signal drop-outs are severe such as at ultra-high field. However, 3D-bSSFP acquisitions have distinct drawbacks on either human or animal MR systems. On clinical scanners, 3D imaging is suboptimal for localized fMRI applications, and also results in distortions, blurring, and increased sensitivity to motion or physiological noise. On pre-clinical systems, 3D acquisitions have low temporal resolution due to limited acceleration options, while single slice offers insufficient coverage. The aim of the present study was to implement a multi-slice bSSFP acquisition with Cartesian read-out to obtain non-distorted BOLD fMRI activation maps in the human and rat brain at ultra-high field. We show that the bSSFP signal characteristics are preserved in a new pseudo-steady-state. In the human brain at 7 Tesla, we demonstrate that both task- and resting-state fMRI can be performed with 2D-bSSFP, with a temporal SNR that matches that of 3D-bSSFP, resulting in - at least - equal performance. In the rat brain at 14 Tesla, we show that the multi-slice bSSFP protocol has similar sensitivity to gradient-echo EPI for task fMRI, while benefitting from much reduced distortions and drop-outs. The advantages of passband bSSFP at 14 Tesla in comparison with GE-EPI are expected to be even more marked for mouse fMRI.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
Intra- and extra-axonal axial diffusivities in the white matter: which one is faster?
Authors:
Nicolas Kunz,
Analina R. da Silva,
Ileana O. Jelescu
Abstract:
A two-compartment model of diffusion in white matter, which accounts for intra- and extra-axonal spaces, is associated with two plausible mathematical scenarios: either the intra-axonal axial diffusivity is higher than the extra-axonal (Branch 1), or the opposite (Branch 2). This duality calls for an independent validation of compartment axial diffusivities, to determine which of the two cases hol…
▽ More
A two-compartment model of diffusion in white matter, which accounts for intra- and extra-axonal spaces, is associated with two plausible mathematical scenarios: either the intra-axonal axial diffusivity is higher than the extra-axonal (Branch 1), or the opposite (Branch 2). This duality calls for an independent validation of compartment axial diffusivities, to determine which of the two cases holds. The aim of the present study was to use an intracerebroventricular injection of a gadolinium-based contrast agent to selectively reduce the extracellular water signal in the rat brain, and compare diffusion metrics in the genu of the corpus callosum before and after gadolinium infusion. The diffusion metrics considered were diffusion and kurtosis tensor metrics, as well as compartment-specific estimates of the WMTI-Watson two-compartment model. A strong decrease in genu T1 and T2 relaxation times post-Gd was observed (p < 0.001), as well as an increase of 48% in radial kurtosis (p < 0.05), which implies that the relative fraction of extracellular water signal was selectively decreased. This was further supported by a significant increase in intra-axonal water fraction as estimated from the two-compartment model, for both branches (p < 0.01 for Branch 1, p < 0.05 for Branch 2). However, pre-Gd estimates of axon dispersion in Branch 1 agreed better with literature than those of Branch 2. Furthermore, comparison of post-Gd changes in diffusivity and dispersion between data and simulations further supported Branch 1 as the biologically plausible solution, i.e. the intra-axonal axial diffusivity is higher than the extra-axonal one. This result is fully consistent with other recent measurements of compartment axial diffusivities that used entirely different approaches, such as diffusion tensor encoding.
△ Less
Submitted 3 May, 2018; v1 submitted 1 May, 2018;
originally announced May 2018.
-
Existence of multi-peak solutions for a class of quasilinear problems in Orlicz-Sobolev spaces
Authors:
Claudianor O. Alves,
Ailton R. da Silva
Abstract:
The aim of this work is to establish the existence of multi-peak solutions for the following class of quasilinear problems \[ - \mbox{div}\big(ε^{2}φ(ε|\nabla u|)\nabla u\big) + V(x)φ(| u|)u = f(u)\quad \mbox{in} \quad \mathbb{R}^{N}, \] where $ε$ is a positive parameter, $ N\geq 2$, $V, f$ are continuous functions satisfying some technical conditions and $φ$ is a $C^{1}$-function.
The aim of this work is to establish the existence of multi-peak solutions for the following class of quasilinear problems \[ - \mbox{div}\big(ε^{2}φ(ε|\nabla u|)\nabla u\big) + V(x)φ(| u|)u = f(u)\quad \mbox{in} \quad \mathbb{R}^{N}, \] where $ε$ is a positive parameter, $ N\geq 2$, $V, f$ are continuous functions satisfying some technical conditions and $φ$ is a $C^{1}$-function.
△ Less
Submitted 12 August, 2016;
originally announced August 2016.
-
The nature of extremely red galaxies in the local universe
Authors:
L. Sodré Jr.,
A. Ribeiro da Silva,
W. A. Santos
Abstract:
We investigate the nature of extremely red galaxies (ERGs), objects whose colours are redder than those found in the red sequence present in colour-magnitude diagrams of galaxies. We selected from the Sloan Digital Sky Survey Data Release 7 a volume-limited sample of such galaxies in the redshift interval 0.010 < z < 0.030, brighter than M_r = -17.8 (magnitudes dereddened, corrected for the Milky…
▽ More
We investigate the nature of extremely red galaxies (ERGs), objects whose colours are redder than those found in the red sequence present in colour-magnitude diagrams of galaxies. We selected from the Sloan Digital Sky Survey Data Release 7 a volume-limited sample of such galaxies in the redshift interval 0.010 < z < 0.030, brighter than M_r = -17.8 (magnitudes dereddened, corrected for the Milky Way extinction) and with (g-r) colours larger than those of galaxies in the red sequence. This sample contains 416 ERGs, which were classified visually. Our classification was cross-checked with other classifications available in the literature. We found from our visual classification that the majority of objects in our sample are edge-on spirals (73%). Other spirals correspond to 13%, whereas elliptical galaxies comprise only 11% of the objects. After comparing the morphological mix and the distributions of Hα/Hβand axial ratios of ERGs and objects in the red sequence, we suggest that dust, more than stellar population effects, is the driver of the red colours found in these extremely red galaxies.
△ Less
Submitted 27 June, 2013;
originally announced June 2013.
-
On the finite spectral triple of an almost-commutative geometry
Authors:
F. J. Vanhecke,
A. R. da Silva,
C. Sigaud
Abstract:
In this short communication, we examine the relevance of the signature of the space-time metric in the construction of the product of a pseudo-Riemannian spectral triple with a finite triple describing the internal geometry. We obtain arguments favouring the appearance of SU(2) and U(1) as gauge groups in the standard model.
In this short communication, we examine the relevance of the signature of the space-time metric in the construction of the product of a pseudo-Riemannian spectral triple with a finite triple describing the internal geometry. We obtain arguments favouring the appearance of SU(2) and U(1) as gauge groups in the standard model.
△ Less
Submitted 19 September, 2012; v1 submitted 22 November, 2010;
originally announced November 2010.
-
Can quantum mechanics fool the cosmic censor?
Authors:
G. E. A. Matsas,
M. Richartz,
A. Saa,
A. R. R. da Silva,
D. A. T. Vanzella
Abstract:
We revisit the mechanism for violating the weak cosmic-censorship conjecture (WCCC) by overspinning a nearly-extreme charged black hole. The mechanism consists of an incoming massless neutral scalar particle, with low energy and large angular momentum, tunneling into the hole. We investigate the effect of the large angular momentum of the incoming particle on the background geometry and address…
▽ More
We revisit the mechanism for violating the weak cosmic-censorship conjecture (WCCC) by overspinning a nearly-extreme charged black hole. The mechanism consists of an incoming massless neutral scalar particle, with low energy and large angular momentum, tunneling into the hole. We investigate the effect of the large angular momentum of the incoming particle on the background geometry and address recent claims that such a back-reaction would invalidate the mechanism. We show that the large angular momentum of the incident particle does not constitute an obvious impediment to the success of the overspinning quantum mechanism, although the induced back-reaction turns out to be essential to restoring the validity of the WCCC in the classical regime. These results seem to endorse the view that the "cosmic censor" may be oblivious to processes involving quantum effects.
△ Less
Submitted 7 May, 2009;
originally announced May 2009.
-
Scalar radiation emitted from a rotating source around a Reissner-Nordstrom black hole
Authors:
Luis C. B. Crispino,
Andre R. R. da Silva,
George E. A. Matsas
Abstract:
We investigate the radiation emitted from a scalar source in circular orbit around a Reissner-Nordstrom black hole. Particle and energy emission rates are analytically calculated in the low- and high-frequency regimes and shown to be in full agreement with a numerical calculation. Our investigation is connected with the recent discussion on the validity of the cosmic censorship conjecture in the…
▽ More
We investigate the radiation emitted from a scalar source in circular orbit around a Reissner-Nordstrom black hole. Particle and energy emission rates are analytically calculated in the low- and high-frequency regimes and shown to be in full agreement with a numerical calculation. Our investigation is connected with the recent discussion on the validity of the cosmic censorship conjecture in the quantum realm.
△ Less
Submitted 9 June, 2008;
originally announced June 2008.
-
Modified symplectic structures in cotangent bundles of Lie groups
Authors:
F. J. Vanhecke,
C. Sigaud,
A. R. da Silva
Abstract:
In earlier work (*) we studied an extension of the canonical symplectic structure in the cotangent bundle of an affine space ${\cal Q}={\bf R}^N$, by additional terms implying the Poisson non-commutativity of both configuration and momentum variables. In this article, we claim that such an extension can be done consistently when ${\cal Q}$ is a Lie group $G$. -- (*) : F.J.Vanhecke, C.Sigaud and…
▽ More
In earlier work (*) we studied an extension of the canonical symplectic structure in the cotangent bundle of an affine space ${\cal Q}={\bf R}^N$, by additional terms implying the Poisson non-commutativity of both configuration and momentum variables. In this article, we claim that such an extension can be done consistently when ${\cal Q}$ is a Lie group $G$. -- (*) : F.J.Vanhecke, C.Sigaud and A.R.da Silva, arXiv:math-phys/0502003 and Braz.J.Phys.{\bf 36},no IB,194(2006)
△ Less
Submitted 8 April, 2008;
originally announced April 2008.
-
Overspinning a nearly extreme charged black hole via a quantum tunneling process
Authors:
George E. A. Matsas,
André R. R. da Silva
Abstract:
We examine a nearly extreme macroscopic Reissner-Nordstrom black hole in the context of semi-classical gravity. The absorption rate associated with the quantum tunneling process of scalar particles whereby this black hole can acquire enough angular momentum to violate the weak cosmic censorship conjecture is shown to be nonzero.
We examine a nearly extreme macroscopic Reissner-Nordstrom black hole in the context of semi-classical gravity. The absorption rate associated with the quantum tunneling process of scalar particles whereby this black hole can acquire enough angular momentum to violate the weak cosmic censorship conjecture is shown to be nonzero.
△ Less
Submitted 4 October, 2007; v1 submitted 21 June, 2007;
originally announced June 2007.
-
Symmetries in Non Commutative Configuration space
Authors:
F. J. Vanhecke,
C. Sigaud,
A. R. da Silva
Abstract:
Extending earlier work(*), we examine the deformation of the canonical symplectic structure in a cotangent bundle $T^\star(\Q)$ by additional terms implying the Poisson non-commutativity of both configuration and momentum variables. In this short note, we claim this can be done consistently when $\Q$ is a Lie group. -- (*) F.J.Vanhecke, C.Sigaud and A.R.da Silva, arXiv:math-phys/0502003(2005) an…
▽ More
Extending earlier work(*), we examine the deformation of the canonical symplectic structure in a cotangent bundle $T^\star(\Q)$ by additional terms implying the Poisson non-commutativity of both configuration and momentum variables. In this short note, we claim this can be done consistently when $\Q$ is a Lie group. -- (*) F.J.Vanhecke, C.Sigaud and A.R.da Silva, arXiv:math-phys/0502003(2005) and Braz.J.Phys.{\bf 36},no IB,194(2006)
△ Less
Submitted 5 October, 2006;
originally announced October 2006.
-
New thought experiment to test the generalized second law of thermodynamics
Authors:
George E. A. Matsas,
Andre R. Rocha da Silva
Abstract:
We propose an extension of the original thought experiment proposed by Geroch, which sparked much of the actual debate and interest on black hole thermodynamics, and show that the generalized second law of thermodynamics is in compliance with it.
We propose an extension of the original thought experiment proposed by Geroch, which sparked much of the actual debate and interest on black hole thermodynamics, and show that the generalized second law of thermodynamics is in compliance with it.
△ Less
Submitted 4 May, 2005; v1 submitted 2 May, 2005;
originally announced May 2005.
-
Noncommutative configuration space. Classical and quantum mechanical aspects
Authors:
F. J. Vanhecke,
C. Sigaud,
A. R. da Silva
Abstract:
In this work we examine noncommutativity of position coordinates in classical symplectic mechanics and its quantisation. In coordinates $\{q^i,p_k\}$ the canonical symplectic two-form is $ω_0=dq^i\wedge dp_i$. It is well known in symplectic mechanics {\bf\cite{Souriau,Abraham,Guillemin}} that the interaction of a charged particle with a magnetic field can be described in a Hamiltonian formalism…
▽ More
In this work we examine noncommutativity of position coordinates in classical symplectic mechanics and its quantisation. In coordinates $\{q^i,p_k\}$ the canonical symplectic two-form is $ω_0=dq^i\wedge dp_i$. It is well known in symplectic mechanics {\bf\cite{Souriau,Abraham,Guillemin}} that the interaction of a charged particle with a magnetic field can be described in a Hamiltonian formalism without a choice of a potential. This is done by means of a modified symplectic two-form $ω=ω_0-e\F$, where $e$ is the charge and the (time-independent) magnetic field $\F$ is closed: $\dif\F=0$. With this symplectic structure, the canonical momentum variables acquire non-vanishing Poisson brackets: $\{p_k,p_l\} = e F_{kl}(q)$. Similarly a closed two-form in $p$-space $\G$ may be introduced. Such a {\it dual magnetic field} $\G$ interacts with the particle's {\it dual charge} $r$. A new modified symplectic two-form $ω=ω_0-e\F+r\G$ is then defined. Now, both $p$- and $q$-variables will cease to Poisson commute and upon quantisation they become noncommuting operators. In the particular case of a linear phase space ${\bf R}^{2N}$, it makes sense to consider constant $\F$ and $\G$ fields. It is then possible to define, by a linear transformation, global Darboux coordinates: $\{ξ^i,π_k\}= {δ^i}_k$. These can then be quantised in the usual way $[\hatξ^i,\hatπ_k]=i\hbar {δ^i}_k$. The case of a quadratic potential is examined with some detail when $N$ equals 2 and 3.
△ Less
Submitted 13 June, 2005; v1 submitted 1 February, 2005;
originally announced February 2005.
-
Classical Principal Fibre Bundles from a Quantum Group Viewpoint
Authors:
F. J. Vanhecke,
C. Sigaud,
A. R. da Silva
Abstract:
In this short article we review how the classical theory of principal fibre bundles (PFB) transcribes in an algebraic formalism. In this dual formulation, a PFB is given by a right co-module algebra ${\cal P}$ over a Hopf algebra ${\cal H}$ with a map** $Δ_R:{\cal P}\to{\cal P}\otimes{\cal H}$. In our case ${\cal P}$ is the (commutative) C*-algebra of complex-valued continuous functions on the…
▽ More
In this short article we review how the classical theory of principal fibre bundles (PFB) transcribes in an algebraic formalism. In this dual formulation, a PFB is given by a right co-module algebra ${\cal P}$ over a Hopf algebra ${\cal H}$ with a map** $Δ_R:{\cal P}\to{\cal P}\otimes{\cal H}$. In our case ${\cal P}$ is the (commutative) C*-algebra of complex-valued continuous functions on the total space P and ${\cal H}$ is the Hopf algebra of complex-valued functions on the structure group G. These underlying spaces are endowed with a topology only. The subalgebra ${\cal B}$ of $Δ_R$-invariant elements is identified with the algebra of complex-valued functions on the base space B. In order to define horizontal one-forms, a differential calculus is needed. Since no a priori differential structure is assumed, we use the calculus of the universal differential envelope $Ω^\bullet({\cal P})$ which can be defined on any unital algebra. A connection on the PFB is then defined by a splitting of the universal one-forms as a direct sum of horizontal and vertical subspaces : $Ω^1({\cal P})=Γ_{hor}\oplusΓ_{ver}$. In case of a strong connection in a trivial PFB, the general expression and gauge transformation of the connection one-form and the curvature two-form are given. A locally trivial PFB can be constructed through a gluing procedure of a cover of the algebra ${\cal P}$ (see this meeting's poster session P112, where examples are given).
△ Less
Submitted 5 December, 2003;
originally announced December 2003.
-
Connes-Lott model building on the two-sphere
Authors:
J. A. Mignaco,
C. Sigaud,
A. R. da Silva,
F. J. Vanhecke
Abstract:
In this work we examine generalized Connes-Lott models on the two-sphere. The Hilbert space of the continuum spectral triple is taken as the space of sections of a twisted spinor bundle, allowing for nontrivial topological structure (magnetic monopoles). The finitely generated projective module over the full algebra is also taken as topologically non-trivial, which is possible over $S^2$. We als…
▽ More
In this work we examine generalized Connes-Lott models on the two-sphere. The Hilbert space of the continuum spectral triple is taken as the space of sections of a twisted spinor bundle, allowing for nontrivial topological structure (magnetic monopoles). The finitely generated projective module over the full algebra is also taken as topologically non-trivial, which is possible over $S^2$. We also construct a real spectral triple enlarging this Hilbert space to include "particle" and "anti-particle" fields.
△ Less
Submitted 26 April, 1999;
originally announced April 1999.
-
The Connes-Lott program on the sphere
Authors:
J. A. Mignaco,
C. Sigaud,
A. R. da Silva,
F. J. Vanhecke
Abstract:
We describe the classical Schwinger model as a study of the projective modules over the algebra of complex-valued functions on the sphere. On these modules, classified by $π_2(S^2)$, we construct hermitian connections with values in the universal differential envelope which leads us to the Schwinger model on the sphere. The Connes-Lott program is then applied using the Hilbert space of complexif…
▽ More
We describe the classical Schwinger model as a study of the projective modules over the algebra of complex-valued functions on the sphere. On these modules, classified by $π_2(S^2)$, we construct hermitian connections with values in the universal differential envelope which leads us to the Schwinger model on the sphere. The Connes-Lott program is then applied using the Hilbert space of complexified inhomogeneous forms with its Atiyah-Kaehler structure. It splits in two minimal left ideals of the Clifford algebra preserved by the Dirac-Kaehler operator D=i(d-delta). The induced representation of the universal differential envelope, in order to recover its differential structure, is divided by the unwanted differential ideal and the obtained quotient is the usual complexified de Rham exterior algebra over the sphere with Clifford action on the "spinors" of the Hilbert space. The subsequent steps of the Connes-Lott program allow to define a matter action, and the field action is obtained using the Dixmier trace which reduces to the integral of the curvature squared.
△ Less
Submitted 8 November, 1996;
originally announced November 1996.