-
Control, bi-stability and preference for chaos in time-dependent vaccination campaign
Authors:
Enrique C. Gabrick,
Eduardo L. Brugnago,
Ana L. R. de Moraes,
Paulo R. Protachevicz,
Sidney T. da Silva,
Fernando S. Borges,
Iberê L. Caldas,
Antonio M. Batista,
Jürgen Kurths
Abstract:
In this work, effects of constant and time-dependent vaccination rates on the Susceptible-Exposed-Infected-Recovered-Susceptible (SEIRS) seasonal model are studied. Computing the Lyapunov exponent, we show that typical complex structures, such as shrimps, emerge for given combinations of constant vaccination rate and another model parameter. In some specific cases, the constant vaccination does no…
▽ More
In this work, effects of constant and time-dependent vaccination rates on the Susceptible-Exposed-Infected-Recovered-Susceptible (SEIRS) seasonal model are studied. Computing the Lyapunov exponent, we show that typical complex structures, such as shrimps, emerge for given combinations of constant vaccination rate and another model parameter. In some specific cases, the constant vaccination does not act as a chaotic suppressor and chaotic bands can exist for high levels of vaccination (e.g., $> 0.95$). Moreover, we obtain linear and non-linear relationships between one control parameter and constant vaccination to establish a disease-free solution. We also verify that the total infected number does not change whether the dynamics is chaotic or periodic. The introduction of a time-dependent vaccine is made by the inclusion of a periodic function with a defined amplitude and frequency. For this case, we investigate the effects of different amplitudes and frequencies on chaotic attractors, yielding low, medium, and high seasonality degrees of contacts. Depending on the parameters of the time-dependent vaccination function, chaotic structures can be controlled and become periodic structures. For a given set of parameters, these structures are accessed mostly via crisis and in some cases via period-doubling. After that, we investigate how the time-dependent vaccine acts in bi-stable dynamics when chaotic and periodic attractors coexist. We identify that this kind of vaccination acts as a control by destroying almost all the periodic basins. We explain this by the fact that chaotic attractors exhibit more desirable characteristics for epidemics than periodic ones in a bi-stable state.
△ Less
Submitted 29 August, 2024;
originally announced September 2024.
-
Newton polyhedra and the integral closure of ideals on toric varieties
Authors:
Amanda S. Araújo,
Thaís M. Dalbelo,
Thiago da Silva
Abstract:
In this work, we extend Saia's results on the characterization of Newton non-degenerate ideals to the context of ideals in $O_{X(S)}$, where $X(S)$ is an affine toric variety defined by the semigroup $S\subset \mathbb{Z}^{n}_{+}$. We explore the relationship between the integral closure of ideals and the Newton polyhedron. We introduce and characterize non-degenerate ideals, showing that their int…
▽ More
In this work, we extend Saia's results on the characterization of Newton non-degenerate ideals to the context of ideals in $O_{X(S)}$, where $X(S)$ is an affine toric variety defined by the semigroup $S\subset \mathbb{Z}^{n}_{+}$. We explore the relationship between the integral closure of ideals and the Newton polyhedron. We introduce and characterize non-degenerate ideals, showing that their integral closure is generated by specific monomials related to the Newton polyhedron.
△ Less
Submitted 12 September, 2024;
originally announced September 2024.
-
Universality of scaled particle spectra in ultrarelativistic heavy-ion collisions
Authors:
Cicero D. Muncinelli,
Fernando G. Gardim,
David D. Chinellato,
Gabriel S. Denicol,
Andre V. Giannini,
Matthew Luzum,
Jorge Noronha,
Tiago Nunes da Silva,
Jun Takahashi,
Giorgio Torrieri
Abstract:
We propose a new observable derived from a centrality-dependent scaling of transverse particle spectra. By removing the global scales of total particle number and mean transverse momentum, we isolate the shape of the spectrum. In hydrodynamic simulations, while the multiplicity and mean transverse momentum fluctuate significantly, the scaled spectrum is found to be almost constant even at an event…
▽ More
We propose a new observable derived from a centrality-dependent scaling of transverse particle spectra. By removing the global scales of total particle number and mean transverse momentum, we isolate the shape of the spectrum. In hydrodynamic simulations, while the multiplicity and mean transverse momentum fluctuate significantly, the scaled spectrum is found to be almost constant even at an event-by-event level and after resonance decays. This universality survives when averaging over events in each centrality bin before scaling. We then investigate the presence of this scaling in experimental data from the ALICE collaboration in Pb-Pb, Xe-Xe, and p-Pb collisions. We find a remarkable universality in the experimentally observed scaled spectra at low transverse momentum, compatible with hydrodynamic predictions. The data show a minor breaking of universality at large transverse momentum and hints of evolution with the system size that are not seen in simulations. Our results motivate further theoretical and experimental investigations of this new observable to bring to light the collective and non-collective behavior encoded in the transverse particle spectrum of different collision systems.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
The PLATO Mission
Authors:
Heike Rauer,
Conny Aerts,
Juan Cabrera,
Magali Deleuil,
Anders Erikson,
Laurent Gizon,
Mariejo Goupil,
Ana Heras,
Jose Lorenzo-Alvarez,
Filippo Marliani,
Cesar Martin-Garcia,
J. Miguel Mas-Hesse,
Laurence O'Rourke,
Hugh Osborn,
Isabella Pagano,
Giampaolo Piotto,
Don Pollacco,
Roberto Ragazzoni,
Gavin Ramsay,
Stéphane Udry,
Thierry Appourchaux,
Willy Benz,
Alexis Brandeker,
Manuel Güdel,
Eduardo Janot-Pacheco
, et al. (801 additional authors not shown)
Abstract:
PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observati…
▽ More
PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observations from the ground, planets will be characterised for their radius, mass, and age with high accuracy (5 %, 10 %, 10 % for an Earth-Sun combination respectively). PLATO will provide us with a large-scale catalogue of well-characterised small planets up to intermediate orbital periods, relevant for a meaningful comparison to planet formation theories and to better understand planet evolution. It will make possible comparative exoplanetology to place our Solar System planets in a broader context. In parallel, PLATO will study (host) stars using asteroseismology, allowing us to determine the stellar properties with high accuracy, substantially enhancing our knowledge of stellar structure and evolution.
The payload instrument consists of 26 cameras with 12cm aperture each. For at least four years, the mission will perform high-precision photometric measurements. Here we review the science objectives, present PLATO's target samples and fields, provide an overview of expected core science performance as well as a description of the instrument and the mission profile at the beginning of the serial production of the flight cameras. PLATO is scheduled for a launch date end 2026. This overview therefore provides a summary of the mission to the community in preparation of the upcoming operational phases.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
Embarrassingly Parallel GFlowNets
Authors:
Tiago da Silva,
Luiz Max Carvalho,
Amauri Souza,
Samuel Kaski,
Diego Mesquita
Abstract:
GFlowNets are a promising alternative to MCMC sampling for discrete compositional random variables. Training GFlowNets requires repeated evaluations of the unnormalized target distribution or reward function. However, for large-scale posterior sampling, this may be prohibitive since it incurs traversing the data several times. Moreover, if the data are distributed across clients, employing standar…
▽ More
GFlowNets are a promising alternative to MCMC sampling for discrete compositional random variables. Training GFlowNets requires repeated evaluations of the unnormalized target distribution or reward function. However, for large-scale posterior sampling, this may be prohibitive since it incurs traversing the data several times. Moreover, if the data are distributed across clients, employing standard GFlowNets leads to intensive client-server communication. To alleviate both these issues, we propose embarrassingly parallel GFlowNet (EP-GFlowNet). EP-GFlowNet is a provably correct divide-and-conquer method to sample from product distributions of the form $R(\cdot) \propto R_1(\cdot) ... R_N(\cdot)$ -- e.g., in parallel or federated Bayes, where each $R_n$ is a local posterior defined on a data partition. First, in parallel, we train a local GFlowNet targeting each $R_n$ and send the resulting models to the server. Then, the server learns a global GFlowNet by enforcing our newly proposed \emph{aggregating balance} condition, requiring a single communication step. Importantly, EP-GFlowNets can also be applied to multi-objective optimization and model reuse. Our experiments illustrate the EP-GFlowNets's effectiveness on many tasks, including parallel Bayesian phylogenetics, multi-objective multiset, sequence generation, and federated Bayesian structure learning.
△ Less
Submitted 5 June, 2024;
originally announced June 2024.
-
Twitter should now be referred to as X: How academics, journals and publishers need to make the nomenclatural transition
Authors:
Jaime A. Teixeira da Silva,
Serhii Nazarovets
Abstract:
Here, we note how academics, journals and publishers should no longer refer to the social media platform Twitter as such, rather as X. Relying on Google Scholar, we found 16 examples of papers published in the last months of 2023 - essentially during the transition period between Twitter and X - that used Twitter and X, but in different ways. Unlike that transition period in which the binary Twitt…
▽ More
Here, we note how academics, journals and publishers should no longer refer to the social media platform Twitter as such, rather as X. Relying on Google Scholar, we found 16 examples of papers published in the last months of 2023 - essentially during the transition period between Twitter and X - that used Twitter and X, but in different ways. Unlike that transition period in which the binary Twitter/X could have been used in academic papers, we suggest that papers should no longer refer to Twitter as Twitter, but only as X, except for historical studies about that social media platform, because such use would be factually incorrect.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Non-extensive statistics in Au-Au collisions
Authors:
Juliana O. Costa,
Isabelle Aguiar,
Jadna L. Barauna,
Eugenio Megías,
Airton Deppman,
Tiago N. da Silva,
Débora P. Menezes
Abstract:
Particle production yields measured in central Au-Au collision at RHIC are obtained with free Fermi and Bose gases and also with a replacement of these statistics by non-extensive statistics. For the latter calculation, a set of different parameters was used with values of the Tsallis parameter $q$ chosen between 1.01 and 1.25, with 1.16 generating the best agreement with experimental data, an ind…
▽ More
Particle production yields measured in central Au-Au collision at RHIC are obtained with free Fermi and Bose gases and also with a replacement of these statistics by non-extensive statistics. For the latter calculation, a set of different parameters was used with values of the Tsallis parameter $q$ chosen between 1.01 and 1.25, with 1.16 generating the best agreement with experimental data, an indication that non-extensive statistics may be one of the underlying features in heavy ion-collisions.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
When climate variables improve the dengue forecasting: a machine learning approach
Authors:
Sidney T. da Silva,
Enrique C. Gabrick,
Paulo R. Protachevicz,
Kelly C. Iarosz,
Iberê L. Caldas,
Antonio M. Batista,
Jürgen Kurths
Abstract:
Dengue is a viral vector-borne infectious disease that affects many countries worldwide, infecting around 390 million people per year. The main outbreaks occur in subtropical and tropical countries. We study here the influence of climate on dengue in Natal (2016-2019), Brazil, Iquitos (2001-2012), Peru, and Barranquilla (2011-2016), Colombia. For the analysis and simulations, we apply Machine Lear…
▽ More
Dengue is a viral vector-borne infectious disease that affects many countries worldwide, infecting around 390 million people per year. The main outbreaks occur in subtropical and tropical countries. We study here the influence of climate on dengue in Natal (2016-2019), Brazil, Iquitos (2001-2012), Peru, and Barranquilla (2011-2016), Colombia. For the analysis and simulations, we apply Machine Learning (ML) techniques, especially the Random Forest (RF) algorithm. In addition, regarding a feature in the ML technique, we analyze three possibilities: only dengue cases (D); climate and dengue cases (CD); humidity and dengue cases (HD). Depending on the city, our results show that the climate data can improve or not the forecast. For instance, for Natal, D induces a better forecast. For Iquitos, it is better to use CD. Nonetheless, for Barranquilla, the forecast is better, when we include cases and humidity data. For Natal, when we use more than 64\% and less than 80\% of the time series for training, we obtain results with correlation coefficients ($r$) among 0.917 and 0.949 and mean absolute errors (MAE) among 57.783 and 71.768 for the D case in forecasting. The optimal range for Iquitos is obtained when 79\% up to 88\% of the time series is considered for training. For this case, the best case is CD, having a minimum $r$ equal to 0.850 and maximum 0.887, while values of MAE oscillate among 2.780 and 4.156. For Barranquilla, the optimal range occurs between 72\% until 82\% of length training. In this case, the better approach is HD, where the measures exhibit a minimum $r$ equal to 0.942 and a maximum 0.953, while the minimum and maximum MAE vary between 6.085 and 6.669. We show that the forecast of dengue cases is a challenging problem and climate variables do not always help. However, when we include the mentioned climate variables, the most important one is humidity.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
KIF: A Wikidata-Based Framework for Integrating Heterogeneous Knowledge Sources
Authors:
Guilherme Lima,
João M. B. Rodrigues,
Marcelo Machado,
Elton Soares,
Sandro R. Fiorini,
Raphael Thiago,
Leonardo G. Azevedo,
Viviane T. da Silva,
Renato Cerqueira
Abstract:
We present a Wikidata-based framework, called KIF, for virtually integrating heterogeneous knowledge sources. KIF is written in Python and is released as open-source. It leverages Wikidata's data model and vocabulary plus user-defined mappings to construct a unified view of the underlying sources while keeping track of the context and provenance of their statements. The underlying sources can be t…
▽ More
We present a Wikidata-based framework, called KIF, for virtually integrating heterogeneous knowledge sources. KIF is written in Python and is released as open-source. It leverages Wikidata's data model and vocabulary plus user-defined mappings to construct a unified view of the underlying sources while keeping track of the context and provenance of their statements. The underlying sources can be triplestores, relational databases, CSV files, etc., which may or may not use the vocabulary and RDF encoding of Wikidata. The end result is a virtual knowledge base which behaves like an "extended Wikidata" and which can be queried using a simple but expressive pattern language, defined in terms of Wikidata's data model. In this paper, we present the design and implementation of KIF, discuss how we have used it to solve a real integration problem in the domain of chemistry (involving Wikidata, PubChem, and IBM CIRCA), and present experimental results on the performance and overhead of KIF
△ Less
Submitted 24 July, 2024; v1 submitted 15 March, 2024;
originally announced March 2024.
-
Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking
Authors:
Janislley Oliveira de Sousa,
Bruno Carvalho de Farias,
Thales Araujo da Silva,
Eddie Batista de Lima Filho,
Lucas C. Cordeiro
Abstract:
Computer-based systems have solved several domain problems, including industrial, military, education, and wearable. Nevertheless, such arrangements need high-quality software to guarantee security and safety as both are mandatory for modern software products. We advocate that bounded model-checking techniques can efficiently detect vulnerabilities in general software systems. However, such an app…
▽ More
Computer-based systems have solved several domain problems, including industrial, military, education, and wearable. Nevertheless, such arrangements need high-quality software to guarantee security and safety as both are mandatory for modern software products. We advocate that bounded model-checking techniques can efficiently detect vulnerabilities in general software systems. However, such an approach struggles to scale up and verify extensive code bases. Consequently, we have developed and evaluated a methodology to verify large software systems using a state-of-the-art bounded model checker. In particular, we pre-process input source-code files and guide the respective model checker to explore them systematically. Moreover, the proposed scheme includes a function-wise prioritization strategy, which readily provides results for code entities according to a scale of importance. Experimental results using a real implementation of the proposed methodology show that it can efficiently verify large software systems. Besides, it presented low peak memory allocation when executed. We have evaluated our approach by verifying twelve popular open-source C projects, where we have found real software vulnerabilities that their developers confirmed.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
Causality violations in simulations of large and small heavy-ion collisions
Authors:
Renata Krupczak,
Tiago Nunes da Silva,
Thiago S. Domingues,
Matthew Luzum,
Gabriel S. Denicol,
Fernando G. Gardim,
Andre V. Giannini,
Mauricio N. Ferreira,
Mauricio Hippert,
Jorge Noronha,
David D. Chinellato,
Jun Takahashi
Abstract:
Heavy-ion collisions, such as Pb-Pb or p-Pb, produce extreme conditions in temperature and density that make the hadronic matter transition to a new state, called quark-gluon plasma (QGP). Simulations of heavy-ion collisions provide a way to improve our understanding of the QGP's properties. These simulations are composed of a hybrid description that results in final observables in agreement with…
▽ More
Heavy-ion collisions, such as Pb-Pb or p-Pb, produce extreme conditions in temperature and density that make the hadronic matter transition to a new state, called quark-gluon plasma (QGP). Simulations of heavy-ion collisions provide a way to improve our understanding of the QGP's properties. These simulations are composed of a hybrid description that results in final observables in agreement with accelerators like LHC and RHIC. However, recent works pointed out that these hydrodynamic simulations can display acausal behavior during the evolution in certain regions, indicating a deviation from a faithful representation of the underlying QCD dynamics. To pursue a better understanding of this problem and its consequences, this work simulated two different collision systems, Pb-Pb and p-Pb at $\sqrt{s_{NN}} = 5.02$ TeV. In this context, our results show that causality violation, even though always present, typically occurs on a small part of the system, quantified by the total energy fraction residing in the acausal region. In addition, the acausal behavior can be reduced with changes in the pre-hydrodynamic factors and the definition of the bulk-viscous relaxation time. Since these aspects are fairly arbitrary in current simulation models, without solid guidance from the underlying theory, it is reasonable to use the disturbing presence of acausal behavior in current simulations to guide improvements towards more realistic modeling. While this work does not solve the acausality problem, it sheds more light on this issue and also proposes a way to solve this problem in simulations of heavy-ion collisions.
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
Human-in-the-Loop Causal Discovery under Latent Confounding using Ancestral GFlowNets
Authors:
Tiago da Silva,
Eliezer Silva,
Adèle Ribeiro,
António Góis,
Dominik Heider,
Samuel Kaski,
Diego Mesquita
Abstract:
Structure learning is the crux of causal inference. Notably, causal discovery (CD) algorithms are brittle when data is scarce, possibly inferring imprecise causal relations that contradict expert knowledge -- especially when considering latent confounders. To aggravate the issue, most CD methods do not provide uncertainty estimates, making it hard for users to interpret results and improve the inf…
▽ More
Structure learning is the crux of causal inference. Notably, causal discovery (CD) algorithms are brittle when data is scarce, possibly inferring imprecise causal relations that contradict expert knowledge -- especially when considering latent confounders. To aggravate the issue, most CD methods do not provide uncertainty estimates, making it hard for users to interpret results and improve the inference process. Surprisingly, while CD is a human-centered affair, no works have focused on building methods that both 1) output uncertainty estimates that can be verified by experts and 2) interact with those experts to iteratively refine CD. To solve these issues, we start by proposing to sample (causal) ancestral graphs proportionally to a belief distribution based on a score function, such as the Bayesian information criterion (BIC), using generative flow networks. Then, we leverage the diversity in candidate graphs and introduce an optimal experimental design to iteratively probe the expert about the relations among variables, effectively reducing the uncertainty of our belief over ancestral graphs. Finally, we update our samples to incorporate human feedback via importance sampling. Importantly, our method does not require causal sufficiency (i.e., unobserved confounders may exist). Experiments with synthetic observational data show that our method can accurately sample from distributions over ancestral graphs and that we can greatly improve inference quality with human aid.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
A survey on relative Lipschitz saturation of algebras and its relation with radicial algebras
Authors:
Thiago da Silva,
Guilherme Schultz Netto
Abstract:
In this work, we introduce the concept of relative Lipschitz saturation, along with its key categorical and algebraic properties, and demonstrate how such a structure always gives rise to a radicial algebra.
In this work, we introduce the concept of relative Lipschitz saturation, along with its key categorical and algebraic properties, and demonstrate how such a structure always gives rise to a radicial algebra.
△ Less
Submitted 14 September, 2023;
originally announced September 2023.
-
Universally injective and integral contractions on relative Lipschitz saturation of algebras
Authors:
Thiago da Silva,
Maico Ribeiro
Abstract:
In this work, we obtain contraction results for a class of diagrams of ring morphisms which strictly includes the ones obtained by Lipman. Further, we present some applications on quotient and in the changing of the base ring in the saturation.
In this work, we obtain contraction results for a class of diagrams of ring morphisms which strictly includes the ones obtained by Lipman. Further, we present some applications on quotient and in the changing of the base ring in the saturation.
△ Less
Submitted 28 August, 2023;
originally announced August 2023.
-
Some remarks about $ρ$-regularity for real analytic maps
Authors:
Maico Ribeiro,
Ivan Santamaria,
Thiago da Silva
Abstract:
In this paper, we discuss the concept of $ρ$-regularity of analytic map germs and its close relationship with the existence of locally trivial smooth fibrations, known as the Milnor fibrations. The presence of a Thom regular stratification or the Milnor condition (b) at the origin, indicates the transversality of the fibers of the map G with respect to the levels of a function $ρ$, which guarantee…
▽ More
In this paper, we discuss the concept of $ρ$-regularity of analytic map germs and its close relationship with the existence of locally trivial smooth fibrations, known as the Milnor fibrations. The presence of a Thom regular stratification or the Milnor condition (b) at the origin, indicates the transversality of the fibers of the map G with respect to the levels of a function $ρ$, which guarantees $ρ$-regularity. Consequently, both conditions are crucial for the presence of open book structures and the Milnor fibrations. The work aims to provide a comprehensive overview of the main results concerning the existence of Thom regular stratifications and the Milnor condition (b) for germs of analytic maps. It presents strategies and criteria to identify and ensure these regularity conditions and discusses situations where they may not be satisfied. The goal is to understand the presence and limitations of these conditions in various contexts.
△ Less
Submitted 25 August, 2023;
originally announced August 2023.
-
The generic equivalence among the Lipschitz saturation of a sheaf of modules
Authors:
Terence Gaffney,
Thiago da Silva
Abstract:
In this work, we extend the concept of the Lipschitz saturation of an ideal to the context of modules in some different ways, and we prove they are generically equivalent.
In this work, we extend the concept of the Lipschitz saturation of an ideal to the context of modules in some different ways, and we prove they are generically equivalent.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
On the vibrational properties of transition metal doped ZnO: surface, defect, and bandgap engineering
Authors:
Viviane M. A. Lage,
Carlos Rodríguez-Fernández,
Felipe S. Vieira,
Rafael T. da Silva,
Maria Inês B. Bernardi,
Maurício M de Lima Jr.,
Andrés Cantarero,
Hugo B. de Carvalho
Abstract:
We present a comprehensive study on the structure and optical properties of Mn-and Co-doped ZnO samples prepared via solid-state reaction method with different dopant concentrations and atmospheres. The samples were structural and chemically characterized via X-ray diffraction, scanning electron microscopy, energy-dispersive X-ray spectroscopy, and X-ray excited photoelectron spectroscopy. The opt…
▽ More
We present a comprehensive study on the structure and optical properties of Mn-and Co-doped ZnO samples prepared via solid-state reaction method with different dopant concentrations and atmospheres. The samples were structural and chemically characterized via X-ray diffraction, scanning electron microscopy, energy-dispersive X-ray spectroscopy, and X-ray excited photoelectron spectroscopy. The optical characterization was performed via Raman, photoluminescence, and diffuse photoreflectance spectroscopies. Emphasis was done on the studies of their vibrational properties. The structural data confirm the incorporation of Mn and Co ions into the wurtzite ZnO lattice. It is demonstrated that the usual observed additional bands in the Raman spectrum of transitional metal (TM) doped ZnO are related to structural damage, deriving from the doping process, and surface effects. The promoted surface optical phonons (SOP) are of Fröhlich character and, together with the longitudinal optical (LO) polar phonons, are directly dependent on the ZnO electronic structure. The enhancement of SOP and LO modes with TM-doping is explained in terms of nonhomogeneous doping, with the dopants concentrating mainly on the surface of grains, and a resonance effect due to the decrease of the ZnO bandgap promoted by the introduction of the 3d TM levels within the ZnO bandgap. We also discuss the origin of the controversial vibrational mode commonly observed in the Mn-doped ZnO system. It is stated that the observation of the analyzed vibrational properties is a signature of substitutional doping of the ZnO structure with tuning of ZnO optical absorption into the visible range of the electromagnetic spectrum.
△ Less
Submitted 1 August, 2023;
originally announced August 2023.
-
On the Extremality of the Tensor Product of Quantum Channels
Authors:
James Miller S. T. da Silva
Abstract:
Completely positive and trace preserving (CPT) maps are important for Quantum Information Theory, because they describe a broad class of of transformations of quantum states. There are also two other related classes of maps, the unital completely positive (UCP) maps and the unital completely positive and trace preserving (UCPT) maps. For these three classes, the maps from a finite dimensional Hilb…
▽ More
Completely positive and trace preserving (CPT) maps are important for Quantum Information Theory, because they describe a broad class of of transformations of quantum states. There are also two other related classes of maps, the unital completely positive (UCP) maps and the unital completely positive and trace preserving (UCPT) maps. For these three classes, the maps from a finite dimensional Hilbert space $X$ to another one $Y$ is a compact convex set and, as such, it is the convex hull of its extreme points. The extreme points of these convex sets are yet not well understood. In this article we investigate the preservation of extremality under the tensor product. We prove that extremality is preserved for CPT or UCP maps, but for UCPT it is not always preserved.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Optics design and correction challenges for the high energy booster of FCC-ee
Authors:
Antoine Chance,
Barbara Dalena,
Tatiana Da Silva,
Ahmad Mashal,
Mauro Migliorati,
Adnan Ghribi,
Ali Rajabi,
Frank Zimmermann
Abstract:
One of the major upcoming challenges in particle physics is achieving precise measurements of the Z, W, and H bosons, as well as the top quark. To meet these targets, the next e\textsuperscript{+}e\textsuperscript{-} collider complex, FCC-ee, will need to achieve unprecedented luminosities. The FCC-IS European Study is investigating the feasibility of these challenges, with a cornerstone of the st…
▽ More
One of the major upcoming challenges in particle physics is achieving precise measurements of the Z, W, and H bosons, as well as the top quark. To meet these targets, the next e\textsuperscript{+}e\textsuperscript{-} collider complex, FCC-ee, will need to achieve unprecedented luminosities. The FCC-IS European Study is investigating the feasibility of these challenges, with a cornerstone of the study being the design and optimization of the high-energy booster (HEB). This paper provides an update on the status of the HEB of FCC-ee in light of recent developments in the injector and collider survey, as well as an overview of ongoing work on longitudinal stability and design robustness in relation to field, alignment, and diagnostics errors. Constraints and effects related to the design frequency of the accelerating cavities, as well as collective effects, are also highlighted. Lastly, the paper presents an investigation into an alternative arcs cell design.
△ Less
Submitted 4 April, 2023; v1 submitted 31 March, 2023;
originally announced April 2023.
-
Definition of tolerances and corrector strengths for the orbit control of the High-Energy Booster ring of the future electro-positron collider
Authors:
Barbara Dalena,
Tatiana Da Silva,
Antoine Chance,
Adnan Ghribi
Abstract:
After the discovery of the Higgs boson at the LHC, particle physics community is exploring and proposing next accelerators, to address the remaining open questions on the underlying mechanisms and constituents of the present universe. One of the studied possibilities is FCC (Future Circular Collider), a 100 km long collider at CERN. The feasibility study of this future proposed accelerator implies…
▽ More
After the discovery of the Higgs boson at the LHC, particle physics community is exploring and proposing next accelerators, to address the remaining open questions on the underlying mechanisms and constituents of the present universe. One of the studied possibilities is FCC (Future Circular Collider), a 100 km long collider at CERN. The feasibility study of this future proposed accelerator implies the definition of tolerances on magnets imperfections and of the strategies of correction in order to guarantee the target performances of the High Energy Booster ring. The efficiency of the correction scheme, used to control the orbit, directly bounds the corrector needs and magnet tolerances. Analytic formulae give a first estimation of the average rms value of the required linear correctors' strengths and of the allowed magnets misalignments and field quality along the entire ring. The distribution of the correctors along the ring is simulated in order to verify the quality of the residual orbit after the proposed correction strategy and compared with the analytical predictions. First specifications of the orbit correctors strength and tolerances for the alignment of the main elements of the ring are presented. The limits of the studied correction scheme and method are also discussed.
△ Less
Submitted 31 March, 2023;
originally announced March 2023.
-
GraphLED: A graph-based approach to process and visualise linked engineering documents
Authors:
Vanessa Telles da Silva,
Lucas de Angelo Martins Ribeiro,
Willian Borges de Lemos,
Sílvia Silva da Costa Botelho,
Nelson Lopes Duarte Filho,
Marcelo Rita Pias
Abstract:
The architecture, engineering and construction (AEC) sector extensively uses documents supporting product and process development. As part of this, organisations should handle big data of hundreds, or even thousands, of technical documents strongly linked together, including CAD design of industrial plants, equipment purchase orders, quality certificates, and part material analysis. However, analy…
▽ More
The architecture, engineering and construction (AEC) sector extensively uses documents supporting product and process development. As part of this, organisations should handle big data of hundreds, or even thousands, of technical documents strongly linked together, including CAD design of industrial plants, equipment purchase orders, quality certificates, and part material analysis. However, analysing such records is daunting for users because it gets complicated to sift through hundreds of documents to establish valuable relationships. This paper addresses how knowledge extracted from linked engineering documents contributes to industrial digitalisation under IT/OT convergence. The proposed GraphLED is a system tasked with data processing, graph-based modelling, and colourful visualisation of related documents. The graph-based approach ensures an improved understanding of linked information because the graph structure offers a promising tool to model the underlying data properties of engineering documents. Preliminary system validation indicates quality improvements are possible in the OCR-based data (85.9% of ambiguous text data removed). This work has the potential to benefit the industry by improving the reliability and resilience of industrial production systems through automated summaries of large quantities of documents and their linkage.
△ Less
Submitted 15 February, 2023;
originally announced February 2023.
-
Smallest drop of QGP: Thermodynamic properties in p-Pb collisions
Authors:
Fernando G. Gardim,
Renata Krupczak,
Tiago Nunes da Silva
Abstract:
The extreme conditions of temperature and density produced in ultrarelativistic collisions of heavy nuclei facilitate the formation of the most fundamental fluid in the universe, the deconfined phase of Quantum Chromodynamics called quark-gluon plasma. Despite the extensive experimental evidence collected over the past decade of its production in colliding systems such as Au-Au and Pb-Pb, establis…
▽ More
The extreme conditions of temperature and density produced in ultrarelativistic collisions of heavy nuclei facilitate the formation of the most fundamental fluid in the universe, the deconfined phase of Quantum Chromodynamics called quark-gluon plasma. Despite the extensive experimental evidence collected over the past decade of its production in colliding systems such as Au-Au and Pb-Pb, establishing quark-gluon plasma formation in the collision of smaller systems, such as p-Pb, remains an open question. In this study, we describe the evolution of matter formed in p-Pb collisions at 5.02 TeV using a state-of-the-art hybrid model based on viscous relativistic hydrodynamics. We investigate the thermodynamic properties of the medium and final state observables. Our findings are compared with experimental data and first-principles calculations derived from lattice quantum chromodynamics. The results support the formation of a collective phase of strongly interacting matter in high-multiplicity p-Pb collisions.
△ Less
Submitted 17 January, 2024; v1 submitted 22 December, 2022;
originally announced December 2022.
-
Pre-hydrodynamic evolution in large and small systems
Authors:
Tiago Nunes da Silva,
David D. Chinellato,
André V. Giannini,
Maurício N. Ferreira,
Gabriel S. Denicol,
Maurício Hippert,
Matthew Luzum,
Jorge Noronha,
Jun Takahashi
Abstract:
We extend our previous investigation of the effects of pre-hydrodynamic evolution on final-state observables in heavy-ion collisions to smaller systems. We use a state-of-the-art hybrid model for the numerical simulations with optimal parameters obtained from a previous Bayesian study. By studying p-Pb collisions, we find that the effects due to the assumption of a conformal evolution in the pre-h…
▽ More
We extend our previous investigation of the effects of pre-hydrodynamic evolution on final-state observables in heavy-ion collisions to smaller systems. We use a state-of-the-art hybrid model for the numerical simulations with optimal parameters obtained from a previous Bayesian study. By studying p-Pb collisions, we find that the effects due to the assumption of a conformal evolution in the pre-hydrodynamical stage are even more important in small systems. We also show that this effect depends on the time duration of the pre-equilibrium stage, which is further enhanced in small systems. Finally, we show that the recent proposal of a free-streaming with subluminal velocity for the pre-equilibrium stage, thus effectively breaking conformal invariance, can alleviate the contamination of final state observables. Our study further reinforces the need for moving beyond conformal approaches in pre-equilibrium dynamics modeling, especially when extracting transport coefficients from hybrid models in the high-precision era of heavy-ion collisions.
△ Less
Submitted 18 November, 2022;
originally announced November 2022.
-
Variable Attention Masking for Configurable Transformer Transducer Speech Recognition
Authors:
Pawel Swietojanski,
Stefan Braun,
Dogan Can,
Thiago Fraga da Silva,
Arnab Ghoshal,
Takaaki Hori,
Roger Hsiao,
Henry Mason,
Erik McDermott,
Honza Silovsky,
Ruchir Travadi,
Xiaodan Zhuang
Abstract:
This work studies the use of attention masking in transformer transducer based speech recognition for building a single configurable model for different deployment scenarios. We present a comprehensive set of experiments comparing fixed masking, where the same attention mask is applied at every frame, with chunked masking, where the attention mask for each frame is determined by chunk boundaries,…
▽ More
This work studies the use of attention masking in transformer transducer based speech recognition for building a single configurable model for different deployment scenarios. We present a comprehensive set of experiments comparing fixed masking, where the same attention mask is applied at every frame, with chunked masking, where the attention mask for each frame is determined by chunk boundaries, in terms of recognition accuracy and latency. We then explore the use of variable masking, where the attention masks are sampled from a target distribution at training time, to build models that can work in different configurations. Finally, we investigate how a single configurable model can be used to perform both first pass streaming recognition and second pass acoustic rescoring. Experiments show that chunked masking achieves a better accuracy vs latency trade-off compared to fixed masking, both with and without FastEmit. We also show that variable masking improves the accuracy by up to 8% relative in the acoustic re-scoring scenario.
△ Less
Submitted 18 April, 2023; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Optimizing Bilingual Neural Transducer with Synthetic Code-switching Text Generation
Authors:
Thien Nguyen,
Nathalie Tran,
Liuhui Deng,
Thiago Fraga da Silva,
Matthew Radzihovsky,
Roger Hsiao,
Henry Mason,
Stefan Braun,
Erik McDermott,
Dogan Can,
Pawel Swietojanski,
Lyan Verwimp,
Sibel Oyman,
Tresi Arvizo,
Honza Silovsky,
Arnab Ghoshal,
Mathieu Martel,
Bharat Ram Ambati,
Mohamed Ali
Abstract:
Code-switching describes the practice of using more than one language in the same sentence. In this study, we investigate how to optimize a neural transducer based bilingual automatic speech recognition (ASR) model for code-switching speech. Focusing on the scenario where the ASR model is trained without supervised code-switching data, we found that semi-supervised training and synthetic code-swit…
▽ More
Code-switching describes the practice of using more than one language in the same sentence. In this study, we investigate how to optimize a neural transducer based bilingual automatic speech recognition (ASR) model for code-switching speech. Focusing on the scenario where the ASR model is trained without supervised code-switching data, we found that semi-supervised training and synthetic code-switched data can improve the bilingual ASR system on code-switching speech. We analyze how each of the neural transducer's encoders contributes towards code-switching performance by measuring encoder-specific recall values, and evaluate our English/Mandarin system on the ASCEND data set. Our final system achieves 25% mixed error rate (MER) on the ASCEND English/Mandarin code-switching test set -- reducing the MER by 2.1% absolute compared to the previous literature -- while maintaining good accuracy on the monolingual test sets.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Item Matching using Text Description and Similarity Search
Authors:
Ana Paula Appel,
Anderson Luis de Paula Silva,
Adriana Reigota Silva,
Caique Dutra Santos,
Thiago Logo da Silva,
Rafael Poggi de Araujo,
Luiz Carlos Faray de Aquino
Abstract:
In this paper, we focus on the problem of item matching using only the description. Those specific items not only lack a unique code but also contain short text descriptions, making the item matching process difficult. Our goal is to compare products using only the description provided by the purchase process. Therefore, evaluating other characteristics and differences can uncover possible flaws d…
▽ More
In this paper, we focus on the problem of item matching using only the description. Those specific items not only lack a unique code but also contain short text descriptions, making the item matching process difficult. Our goal is to compare products using only the description provided by the purchase process. Therefore, evaluating other characteristics and differences can uncover possible flaws during the acquiring phase. However, the text of the items that we were working on was very small, with numbers due to the nature of the products and we have a limited amount of time to develop the solution which was 8 weeks. As result, we showed that working using a well-oriented methodology we were able to deliver a successful MVP and achieve the results expected with up to 55% match.
△ Less
Submitted 1 July, 2022; v1 submitted 28 June, 2022;
originally announced June 2022.
-
Algebraizability of the Logic of Quasi-N4-Lattices
Authors:
Clodomir Silva Lima Neto,
Thiago Nascimento da Silva,
Umberto Rivieccio
Abstract:
The class of quasi-N4-lattices (QN4-lattices) was introduced as a common generalization of quasi-Nelson algebras and N4-lattices, in such a way that N4-lattices are precisely the QN4-lattices satisfying the double negation law (~~x = x) and quasi-Nelson algebras are the QN4-lattices satisfying the explosive law (x ^ ~x) -> y = ((x ^ ~x) -> y) -> ((x ^ ~x) -> y). In this paper we introduce, via a H…
▽ More
The class of quasi-N4-lattices (QN4-lattices) was introduced as a common generalization of quasi-Nelson algebras and N4-lattices, in such a way that N4-lattices are precisely the QN4-lattices satisfying the double negation law (~~x = x) and quasi-Nelson algebras are the QN4-lattices satisfying the explosive law (x ^ ~x) -> y = ((x ^ ~x) -> y) -> ((x ^ ~x) -> y). In this paper we introduce, via a Hilbert-style presentation, a logic (L_QN4) whose algebraic semantics is a class of algebras that we show to be term-equivalent to QN4-lattices. The result is obtained by showing that the calculus introduced by us is algebraizable in the sense of Blok and Pigozzi, and its equivalent algebraic semantics is term-equivalent to the class of QN4-lattices. As a prospect for future investigation, we consider the question of how one could place L_QN4 within the family of relevance logics.
△ Less
Submitted 13 April, 2022;
originally announced April 2022.
-
Assessing the ultracentral flow puzzle in hydrodynamic modeling of heavy-ion collisions
Authors:
A. V. Giannini,
M. N. Ferreira,
M. Hippert,
D. D. Chinellato,
G. S. Denicol,
M. Luzum,
J. Noronha,
T. Nunes da Silva,
J. Takahashi
Abstract:
An outstanding problem in heavy-ion collisions is the inability for models to accurately describe ultra-central experimental flow data, despite that being precisely the regime where a hydrodynamic description should be most applicable. We reassess the status of this puzzle by computing the flow in ultra-central collisions obtained from multiple recent Bayesian models that were tuned to various obs…
▽ More
An outstanding problem in heavy-ion collisions is the inability for models to accurately describe ultra-central experimental flow data, despite that being precisely the regime where a hydrodynamic description should be most applicable. We reassess the status of this puzzle by computing the flow in ultra-central collisions obtained from multiple recent Bayesian models that were tuned to various observables in different collision systems at typical centralities. While central data can now be described with better accuracy than in previous calculations, tension with experimental observation remains and worsens as one goes to ultra-central collisions. Tuning the model parameters cannot remove this tension without destroying the fit at other centralities. As such, new elements are likely needed in the standard modeling of heavy-ion collisions.
△ Less
Submitted 25 April, 2023; v1 submitted 31 March, 2022;
originally announced March 2022.
-
A comprehensive study on the processing of Co:ZnO ceramics: defect chemistry engineering and grain growth kinetics
Authors:
R. T. da Silva,
J. M. Morbec,
G. Rahman,
H. B. de Carvalho
Abstract:
In this report we present a systematic study on the preparation of Co:ZnO ceramics via standard solid-state route from different Co precursors (Co3O4, CoO and metallic Co) and atmospheres (O2 and Ar). Particular emphasis was done on the defect chemistry engineering and on the sintering growth kinetics. First-principles calculations based on density functional theory were employed to determine the…
▽ More
In this report we present a systematic study on the preparation of Co:ZnO ceramics via standard solid-state route from different Co precursors (Co3O4, CoO and metallic Co) and atmospheres (O2 and Ar). Particular emphasis was done on the defect chemistry engineering and on the sintering growth kinetics. First-principles calculations based on density functional theory were employed to determine the formation energy of the main point defects in ZnO and Co:ZnO systems. Based on the theoretical results a set of chemical reactions was proposed. A detailed microstructural characterization was performed in order to determine the degree of Co incorporation into the ZnO lattice. The samples prepared in Ar atmosphere and from metallic Co presents the highest Co solubility limit (lower apparent Co incorporation activation energy) due to the incongruent ZnO decomposition. The determination of the parameters of the sintering growth kinetics reveals that Co3O4 is the best sintering additive in order to achieve higher densities in both sintering atmospheres. The results give evidences that the sintering in O2 is effective in promoting zinc vacancies in the ZnO structure, while the sintering in Ar promotes zinc interstitial defects. Our findings give valuable contribution to the understanding of the preparation of Co-doped ZnO ceramics and the sintering growth kinetics, what would allow to improve the state of the art on the processing of the material at both bulk and nanometric scales.
△ Less
Submitted 4 March, 2022;
originally announced March 2022.
-
Tsallis statistics and thermofractals: applications to high energy and hadron physics
Authors:
Eugenio Megias,
Evandro Andrade II,
Airton Deppman,
Arnaldo Gammal,
Debora P. Menezes,
Tiago Nunes da Silva,
Varese S. Timóteo
Abstract:
We study the applications of non-extensive Tsallis statistics to high energy and hadron physics. These applications include studies of $pp$ collisions, equation of state of QCD, as well as Bose-Einstein condensation. We also analyze the connections of Tsallis statistics with thermofractals, and address some of the conceptual aspects of the fractal approach, which are expressed in terms of the reno…
▽ More
We study the applications of non-extensive Tsallis statistics to high energy and hadron physics. These applications include studies of $pp$ collisions, equation of state of QCD, as well as Bose-Einstein condensation. We also analyze the connections of Tsallis statistics with thermofractals, and address some of the conceptual aspects of the fractal approach, which are expressed in terms of the renormalization group equation and the self-energy corrections to the parton mass. We associate these well-known concepts with the origins of the fractal structure in the quantum field theory.
△ Less
Submitted 21 January, 2022;
originally announced January 2022.
-
Thiophene-Furan oligomers: Beyond-DFT Study of Electronic and Optical Properties
Authors:
V. Alves-Bastos,
T. J. da Silva,
M. J. Caldas
Abstract:
Thiophene oligomers are an important class of organic materials for photovoltaic applications, owing to their unique optoelectronic properties. Recently it was suggested that incorporation of furan units to the thiophene chains, maintaining the chain structure, namely thienylfuran linear oligomers, can bring improvements to the final material. In this work, we present a theoretical study of thioph…
▽ More
Thiophene oligomers are an important class of organic materials for photovoltaic applications, owing to their unique optoelectronic properties. Recently it was suggested that incorporation of furan units to the thiophene chains, maintaining the chain structure, namely thienylfuran linear oligomers, can bring improvements to the final material. In this work, we present a theoretical study of thiophene, furan and thienylfuran short chains, up to 4 units. Structural and electronic properties were obtained using Hartree-Fock (HF) and Density Functional Theory (DFT) calculations plus beyond mean-field methodologies, specifically Second-order Möller-Plesset perturbation theory on HF (HF-MP2) and many-body perturbation theory by the G0W0 approximation on DFT (G0W0@DFT). The optical properties were calculated on top of G0W0@DFT data using the Bethe-Salpeter Equation. We investigate properties from the monomers T and F to tetramers with different sequencing of units TT, TF or FF, always bonded through the usual carbon atoms. As well known for the uniform oligothiophene chains, also here for any TT sequencing we find a torsion angle of $150^{\circ}$, while all other sequencing of units result planar, which can be relevant for film producing. Also we find that the first optical transitions for the oligomers reach a promising threshold of $\sim 3$ eV at the tetramer length, combined with ionization potentials around $\sim 7$ eV, which confirms the relevance of these organic compounds for photovoltaic applications.
△ Less
Submitted 28 October, 2021;
originally announced October 2021.
-
A mixture model for determining SARS-Cov-2 variant composition in pooled samples
Authors:
Renan Valieris,
Rodrigo Drummond,
Alexandre Defelicibus,
Emannuel Dias-Neto,
Rafael A. Rosales,
Israel Tojal da Silva
Abstract:
Despite of the fast development of highly effective vaccines to control the current COVID$-$19 pandemic, the unequal distribution and availability of these vaccines worldwide and the number of people infected in the world lead to the continuous emergence of SARS-CoV-2 (Severe Acute Respiratory Syndrome coronavirus 2) variants of concern. It is likely that real-time genomic surveillance will be con…
▽ More
Despite of the fast development of highly effective vaccines to control the current COVID$-$19 pandemic, the unequal distribution and availability of these vaccines worldwide and the number of people infected in the world lead to the continuous emergence of SARS-CoV-2 (Severe Acute Respiratory Syndrome coronavirus 2) variants of concern. It is likely that real-time genomic surveillance will be continuously needed as an unceasing monitoring tool, necessary to follow the spillover of the disease spread and the evolution of the virus. In this context, new genomic variants of SARS-CoV-2 that may emerge as a response to selective pressure, including variants refractory to current vaccines, makes genomic surveillance programs tools of utmost importance. Here propose a statistical model for the estimation of the relative frequencies of SARS-CoV-2 variants in pooled samples. This model is built by considering a previously defined selection of genomic polymorphisms that characterize SARS-CoV-2 variants. The methods described here support both raw sequencing reads for polymorphisms-based markers calling and predefined markers in the VCF format. Results obtained by using simulated data show that our method is quite effective in recovering the correct variant proportions. Further, results obtained by considering longitudinal data from wastewater samples of two locations in Switzerland agree well with those describing the epidemiological evolution of COVID-19 variants in clinical samples of these locations. Our results show that the described method can be a valuable tool for tracking the proportions of SARS-CoV-2 variants.
△ Less
Submitted 3 October, 2021;
originally announced October 2021.
-
Auxetic properties of a newly proposed $γ$-graphyne-like material
Authors:
Ricardo Paupitz,
Tales J. da Silva,
Marilia J. Caldas,
Douglas S. Galvão,
Alexandre F. Fonseca
Abstract:
In this work, we propose a new auxetic (negative Poisson's ratio values) structure, based on a $γ$-graphyne structure, here named $AγG$ $structure$. Graphynes are 2D carbon allotropes with phenylic rings connected by acetylenic groups. The A$γ$G structural/mechanical and electronic properties, as well as its thermal stability, were investigated using classical reactive and quantum molecular dynami…
▽ More
In this work, we propose a new auxetic (negative Poisson's ratio values) structure, based on a $γ$-graphyne structure, here named $AγG$ $structure$. Graphynes are 2D carbon allotropes with phenylic rings connected by acetylenic groups. The A$γ$G structural/mechanical and electronic properties, as well as its thermal stability, were investigated using classical reactive and quantum molecular dynamics simulations. We found that A$γ$G has a large bandgap of 2.48 eV and is thermally stable at a large range of temperatures. It presents a Young's modulus that is an order of magnitude smaller than that of graphene or $γ$-graphyne. The classical and quantum results are consistent and validate that the A$γ$G is auxetic, both when isolated (vacuum) and when deposited on a copper substrate. We believe that this is the densest auxetic structure belonging to the graphyne-like families.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Trajectory Modeling via Random Utility Inverse Reinforcement Learning
Authors:
Anselmo R. Pitombeira-Neto,
Helano P. Santos,
Ticiana L. Coelho da Silva,
José Antonio F. de Macedo
Abstract:
We consider the problem of modeling trajectories of drivers in a road network from the perspective of inverse reinforcement learning. Cars are detected by sensors placed on sparsely distributed points on the street network of a city. As rational agents, drivers are trying to maximize some reward function unknown to an external observer. We apply the concept of random utility from econometrics to m…
▽ More
We consider the problem of modeling trajectories of drivers in a road network from the perspective of inverse reinforcement learning. Cars are detected by sensors placed on sparsely distributed points on the street network of a city. As rational agents, drivers are trying to maximize some reward function unknown to an external observer. We apply the concept of random utility from econometrics to model the unknown reward function as a function of observed and unobserved features. In contrast to current inverse reinforcement learning approaches, we do not assume that agents act according to a stochastic policy; rather, we assume that agents act according to a deterministic optimal policy and show that randomness in data arises because the exact rewards are not fully observed by an external observer. We introduce the concept of extended state to cope with unobserved features and develop a Markov decision process formulation of drivers decisions. We present theoretical results which guarantee the existence of solutions and show that maximum entropy inverse reinforcement learning is a particular case of our approach. Finally, we illustrate Bayesian inference on model parameters through a case study with real trajectory data from a large city in Brazil.
△ Less
Submitted 10 January, 2023; v1 submitted 25 May, 2021;
originally announced May 2021.
-
An Open-Source Tool for Classification Models in Resource-Constrained Hardware
Authors:
Lucas Tsutsui da Silva,
Vinicius M. A. Souza,
Gustavo E. A. P. A. Batista
Abstract:
Applications that need to sense, measure, and gather real-time information from the environment frequently face three main restrictions: power consumption, cost, and lack of infrastructure. Most of the challenges imposed by these limitations can be better addressed by embedding Machine Learning (ML) classifiers in the hardware that senses the environment, creating smart sensors able to interpret t…
▽ More
Applications that need to sense, measure, and gather real-time information from the environment frequently face three main restrictions: power consumption, cost, and lack of infrastructure. Most of the challenges imposed by these limitations can be better addressed by embedding Machine Learning (ML) classifiers in the hardware that senses the environment, creating smart sensors able to interpret the low-level data stream. However, for this approach to be cost-effective, we need highly efficient classifiers suitable to execute in unresourceful hardware, such as low-power microcontrollers. In this paper, we present an open-source tool named EmbML - Embedded Machine Learning that implements a pipeline to develop classifiers for resource-constrained hardware. We describe its implementation details and provide a comprehensive analysis of its classifiers considering accuracy, classification time, and memory usage. Moreover, we compare the performance of its classifiers with classifiers produced by related tools to demonstrate that our tool provides a diverse set of classification algorithms that are both compact and accurate. Finally, we validate EmbML classifiers in a practical application of a smart sensor and trap for disease vector mosquitoes.
△ Less
Submitted 12 May, 2021;
originally announced May 2021.
-
Meteorological and human mobility data on predicting COVID-19 cases by a novel hybrid decomposition method with anomaly detection analysis: a case study in the capitals of Brazil
Authors:
Tiago Tiburcio da Silva,
Rodrigo Francisquini,
Mariá C. V. Nascimento
Abstract:
In 2020, Brazil was the leading country in COVID-19 cases in Latin America, and capital cities were the most severely affected by the outbreak. Climates vary in Brazil due to the territorial extension of the country, its relief, geography, and other factors. Since the most common COVID-19 symptoms are related to the respiratory system, many researchers have studied the correlation between the numb…
▽ More
In 2020, Brazil was the leading country in COVID-19 cases in Latin America, and capital cities were the most severely affected by the outbreak. Climates vary in Brazil due to the territorial extension of the country, its relief, geography, and other factors. Since the most common COVID-19 symptoms are related to the respiratory system, many researchers have studied the correlation between the number of COVID-19 cases with meteorological variables like temperature, humidity, rainfall, etc. Also, due to its high transmission rate, some researchers have analyzed the impact of human mobility on the dynamics of COVID-19 transmission. There is a dearth of literature that considers these two variables when predicting the spread of COVID-19 cases. In this paper, we analyzed the correlation between the number of COVID-19 cases and human mobility, and meteorological data in Brazilian capitals. We found that the correlation between such variables depends on the regions where the cities are located. We employed the variables with a significant correlation with COVID-19 cases to predict the number of COVID-19 infections in all Brazilian capitals and proposed a prediction method combining the Ensemble Empirical Mode Decomposition (EEMD) method with the Autoregressive Integrated Moving Average Exogenous inputs (ARIMAX) method, which we called EEMD-ARIMAX. After analyzing the results poor predictions were further investigated using a signal processing-based anomaly detection method. Computational tests showed that EEMD-ARIMAX achieved a forecast 26.73% better than ARIMAX. Moreover, an improvement of 30.69% in the average root mean squared error (RMSE) was noticed when applying the EEMD-ARIMAX method to the data normalized after the anomaly detection.
△ Less
Submitted 9 May, 2021;
originally announced May 2021.
-
The Lipschitz Saturation of a Module
Authors:
Terence Gaffney,
Thiago F. da Silva
Abstract:
In this work we extend the concept of the Lipschitz saturation of an ideal defined in [5] to the context of modules in some different ways, and we prove they are generically equivalent.
In this work we extend the concept of the Lipschitz saturation of an ideal defined in [5] to the context of modules in some different ways, and we prove they are generically equivalent.
△ Less
Submitted 22 December, 2020;
originally announced December 2020.
-
Charmonium decay in the C3P0 Model
Authors:
A. A. El-Hameed,
G. S. Hassan,
D. T. da Silva,
J. N. de Quadros,
D. Hadjimichef
Abstract:
In this work, we use the $C^3P_{\,0}$ model to calculate the decay widths of the low lying charmonium $J^{PC}=1^{--}$ states, nominally $J/ψ(1S)$ and $ψ(2S)$, in the following common channels: $ρ\,π$, $ω\,η$, $ω\,η^\prime$, $K^{\ast +}\,K^-$, $K^{\ast 0}\,\bar{K}^0$, $φ\,η$, $φ\,η^\prime$.
In this work, we use the $C^3P_{\,0}$ model to calculate the decay widths of the low lying charmonium $J^{PC}=1^{--}$ states, nominally $J/ψ(1S)$ and $ψ(2S)$, in the following common channels: $ρ\,π$, $ω\,η$, $ω\,η^\prime$, $K^{\ast +}\,K^-$, $K^{\ast 0}\,\bar{K}^0$, $φ\,η$, $φ\,η^\prime$.
△ Less
Submitted 12 November, 2020;
originally announced November 2020.
-
Effects of Reducing Heat Treatment on the Structural and the Magnetic Properties of Mn:ZnO Ceramics
Authors:
V. M. Almeida Lage,
R. T. da Silva,
A. Mesquita,
M. P. F. de Godoy,
X. Gratens,
d V. A. Chitta,
H. B. de Carvalho
Abstract:
Polycrystalline bulk Mn:ZnO ceramics with Mn nominal concentrations of 6, 11, 17 and 22 at.% were prepared trough solid-state reaction method and subjected to a heat treatment in reducing atmosphere (Ar (95%) and H2 (5%)). The samples were studied with particular emphasis on their compositions, structural, and magnetic properties. A detailed microstructural and chemical analysis confirms the Mn do…
▽ More
Polycrystalline bulk Mn:ZnO ceramics with Mn nominal concentrations of 6, 11, 17 and 22 at.% were prepared trough solid-state reaction method and subjected to a heat treatment in reducing atmosphere (Ar (95%) and H2 (5%)). The samples were studied with particular emphasis on their compositions, structural, and magnetic properties. A detailed microstructural and chemical analysis confirms the Mn doping of the wurtzite ZnO structure mainly at the surface of the ZnO grains. For the samples with higher Mn content, the secondary phases ZnMn2O4 and Mn1-xZnxO (Zn-doped MnO) were detected for the as prepared and the heat treated samples, respectively. The structural change of the secondary phases under heat treatment, from ZnMn2O4 to Mn1-xZnxO, confirms the effectiveness of the heat treatment in to reduce the valence of the metallic ions and in the formation of oxygen vacancies into the system. In spite of the induced defects, the magnetic analysis present only a paramagnetic behavior with an antiferromagnetic coupling between the Mn ions. In the context of the bound magnetic polaron theory, it is concluded that oxygen vacancies are not the necessary defect to promote the desired ferromagnetic order at room temperature.
△ Less
Submitted 30 September, 2020;
originally announced September 2020.
-
Analysis of the displacement of terrestrial mobile robots in corridors using paraconsistent annotated evidential logic eτ
Authors:
Flavio Amadeu Bernardini,
Marcia Terra da Silva,
Jair Minoro Abe,
Luiz Antonio de Lima,
Kanstantsin Miatluk
Abstract:
This article proposes an algorithm for a servo motor that controls the movement of an autonomous terrestrial mobile robot using Paraconsistent Logic. The design process of mechatronic systems guided the robot construction phases. The project intends to monitor the robot through its sensors that send positioning signals to the microcontroller. The signals are adjusted by an embedded technology inte…
▽ More
This article proposes an algorithm for a servo motor that controls the movement of an autonomous terrestrial mobile robot using Paraconsistent Logic. The design process of mechatronic systems guided the robot construction phases. The project intends to monitor the robot through its sensors that send positioning signals to the microcontroller. The signals are adjusted by an embedded technology interface maintained in the concepts of Paraconsistent Annotated Logic acting directly on the servo steering motor. The electric signals sent to the servo motor were analyzed, and it indicates that the algorithm paraconsistent can contribute to the increase of precision of movements of servo motors.
△ Less
Submitted 29 September, 2020;
originally announced September 2020.
-
Dynamics and Stability of Non-Smooth Dynamical Systems with Two Switches
Authors:
Guilherme Tavares da Silva,
Ricardo Miranda Martins
Abstract:
One of the most common hypotheses on the theory of non-smooth dynamical systems is a regular surface as switching manifold, at which case there is at least well-defined and established Filippov dynamics. However, systems with singular switching manifolds still lack such well-established dynamics, although present in many relevant models of phenomena where multiple switches or multiple abrupt chang…
▽ More
One of the most common hypotheses on the theory of non-smooth dynamical systems is a regular surface as switching manifold, at which case there is at least well-defined and established Filippov dynamics. However, systems with singular switching manifolds still lack such well-established dynamics, although present in many relevant models of phenomena where multiple switches or multiple abrupt changes occur. At this work, we leverage a methodology that, through blow-ups and singular perturbation, allows the extension of Filippov dynamics to the singular case. Specifically, tridimensional systems whose switching manifold consists of an algebraic manifold with transversal self-intersection are considered. This configuration, known as double discontinuity, represents systems with two switches and whose singular part consists of a straight line, where ordinary Filippov dynamics is not directly applicable. For the general, non-linear case, beyond defining the so-called fundamental dynamics over the singular part, general theorems on its qualitative behavior are provided. For the affine case, however, theorems fully describing the fundamental dynamics are obtained. Finally, this fine-grained control over the dynamics is leveraged to derive Peixoto like theorems characterizing semi-local structural stability.
△ Less
Submitted 27 May, 2021; v1 submitted 18 September, 2020;
originally announced September 2020.
-
Visual Explanation for Identification of the Brain Bases for Dyslexia on fMRI Data
Authors:
Laura Tomaz Da Silva,
Nathalia Bianchini Esper,
Duncan D. Ruiz,
Felipe Meneguzzi,
Augusto Buchweitz
Abstract:
Brain imaging of mental health, neurodevelopmental and learning disorders has coupled with machine learning to identify patients based only on their brain activation, and ultimately identify features that generalize from smaller samples of data to larger ones. However, the success of machine learning classification algorithms on neurofunctional data has been limited to more homogeneous data sets o…
▽ More
Brain imaging of mental health, neurodevelopmental and learning disorders has coupled with machine learning to identify patients based only on their brain activation, and ultimately identify features that generalize from smaller samples of data to larger ones. However, the success of machine learning classification algorithms on neurofunctional data has been limited to more homogeneous data sets of dozens of participants. More recently, larger brain imaging data sets have allowed for the application of deep learning techniques to classify brain states and clinical groups solely from neurofunctional features. Deep learning techniques provide helpful tools for classification in healthcare applications, including classification of structural 3D brain images. Recent approaches improved classification performance of larger functional brain imaging data sets, but they fail to provide diagnostic insights about the underlying conditions or provide an explanation from the neural features that informed the classification. We address this challenge by leveraging a number of network visualization techniques to show that, using such techniques in convolutional neural network layers responsible for learning high-level features, we are able to provide meaningful images for expert-backed insights into the condition being classified. Our results show not only accurate classification of developmental dyslexia from the brain imaging alone, but also provide automatic visualizations of the features involved that match contemporary neuroscientific knowledge, indicating that the visual explanations do help in unveiling the neurological bases of the disorder being classified.
△ Less
Submitted 17 July, 2020;
originally announced July 2020.
-
Probing the structure of the initial state of heavy-ion collisions with $p_T$-dependent flow fluctuations
Authors:
Maurício Hippert,
João Guilherme Prado Barbon,
David Dobrigkeit Chinellato,
Matthew Luzum,
Jorge Noronha,
Tiago Nunes da Silva,
Willian Matioli Serenone,
Jun Takahashi
Abstract:
The connection between initial-state geometry and anisotropic flow can be quantified through a well-established mapping between $p_T$-integrated flow harmonics and cumulants of the initial transverse energy distribution. In this paper we successfully extend this mapping to also include $p_T$-differential flow. In doing so, we find that subleading principal components of anisotropic flow can reveal…
▽ More
The connection between initial-state geometry and anisotropic flow can be quantified through a well-established mapping between $p_T$-integrated flow harmonics and cumulants of the initial transverse energy distribution. In this paper we successfully extend this mapping to also include $p_T$-differential flow. In doing so, we find that subleading principal components of anisotropic flow can reveal previously unobserved details of the hydrodynamic response, in both the linear and the nonlinear regimes. Most importantly, we show that they provide novel information on the small-scale structures present in the initial stage of relativistic heavy-ion collisions.
△ Less
Submitted 30 December, 2020; v1 submitted 23 June, 2020;
originally announced June 2020.
-
Pre-hydrodynamic evolution and its signatures in final-state heavy-ion observables
Authors:
Tiago Nunes da Silva,
David Chinellato,
Mauricio Hippert,
Willian Serenone,
Jun Takahashi,
Gabriel S. Denicol,
Matthew Luzum,
Jorge Noronha
Abstract:
We investigate the effects of pre-hydrodynamic evolution on final-state observables in heavy-ion collisions using state-of-the art event simulations coupled to different pre-hydrodynamic scenarios, which include the recently-developed effective kinetic transport theory evolution model KoMPoST. Flow observables are found to be insensitive to the details of pre-hydrodynamic evolution. The main effec…
▽ More
We investigate the effects of pre-hydrodynamic evolution on final-state observables in heavy-ion collisions using state-of-the art event simulations coupled to different pre-hydrodynamic scenarios, which include the recently-developed effective kinetic transport theory evolution model KoMPoST. Flow observables are found to be insensitive to the details of pre-hydrodynamic evolution. The main effect we observe is in the $p_T$ spectra, particularly the mean transverse momentum. However, at least part of this effect is a consequence of the underlying conformal invariance assumption currently present in such approaches, which is known to be violated in the temperature regime probed in heavy-ion collisions. This assumption of early time conformal invariance leads to an artificially large out-of-equilibrium bulk pressure when switching from (conformal) pre-hydrodynamic evolution to hydrodynamics (using the non-conformal QCD equation of state), which in turn increases the transverse momentum. Our study indicates that a consistent treatment of pre-hydrodynamic evolution in heavy-ion collisions requires the use of non-conformal models of early time dynamics.
△ Less
Submitted 3 June, 2020;
originally announced June 2020.
-
Anomaly Detection in Trajectory Data with Normalizing Flows
Authors:
Madson L. D. Dias,
César Lincoln C. Mattos,
Ticiana L. C. da Silva,
José Antônio F. de Macedo,
Wellington C. P. Silva
Abstract:
The task of detecting anomalous data patterns is as important in practical applications as challenging. In the context of spatial data, recognition of unexpected trajectories brings additional difficulties, such as high dimensionality and varying pattern lengths. We aim to tackle such a problem from a probability density estimation point of view, since it provides an unsupervised procedure to iden…
▽ More
The task of detecting anomalous data patterns is as important in practical applications as challenging. In the context of spatial data, recognition of unexpected trajectories brings additional difficulties, such as high dimensionality and varying pattern lengths. We aim to tackle such a problem from a probability density estimation point of view, since it provides an unsupervised procedure to identify out of distribution samples. More specifically, we pursue an approach based on normalizing flows, a recent framework that enables complex density estimation from data with neural networks. Our proposal computes exact model likelihood values, an important feature of normalizing flows, for each segment of the trajectory. Then, we aggregate the segments' likelihoods into a single coherent trajectory anomaly score. Such a strategy enables handling possibly large sequences with different lengths. We evaluate our methodology, named aggregated anomaly detection with normalizing flows (GRADINGS), using real world trajectory data and compare it with more traditional anomaly detection techniques. The promising results obtained in the performed computational experiments indicate the feasibility of the GRADINGS, specially the variant that considers autoregressive normalizing flows.
△ Less
Submitted 13 April, 2020;
originally announced April 2020.
-
A Multilingual Study of Multi-Sentence Compression using Word Vertex-Labeled Graphs and Integer Linear Programming
Authors:
Elvys Linhares Pontes,
Stéphane Huet,
Juan-Manuel Torres-Moreno,
Thiago G. da Silva,
Andréa Carneiro Linhares
Abstract:
Multi-Sentence Compression (MSC) aims to generate a short sentence with the key information from a cluster of similar sentences. MSC enables summarization and question-answering systems to generate outputs combining fully formed sentences from one or several documents. This paper describes an Integer Linear Programming method for MSC using a vertex-labeled graph to select different keywords, with…
▽ More
Multi-Sentence Compression (MSC) aims to generate a short sentence with the key information from a cluster of similar sentences. MSC enables summarization and question-answering systems to generate outputs combining fully formed sentences from one or several documents. This paper describes an Integer Linear Programming method for MSC using a vertex-labeled graph to select different keywords, with the goal of generating more informative sentences while maintaining their grammaticality. Our system is of good quality and outperforms the state of the art for evaluations led on news datasets in three languages: French, Portuguese and Spanish. We led both automatic and manual evaluations to determine the informativeness and the grammaticality of compressions for each dataset. In additional tests, which take advantage of the fact that the length of compressions can be modulated, we still improve ROUGE scores with shorter output sentences.
△ Less
Submitted 9 April, 2020;
originally announced April 2020.
-
Momentum-dependent flow fluctuations as a hydrodynamic response to initial geometry
Authors:
Maurício Hippert,
David Dobrigkeit Chinellato,
Matthew Luzum,
Jorge Noronha,
Tiago Nunes da Silva,
Jun Takahashi
Abstract:
We propose a redefinition of the principal component analysis (PCA) of anisotropic flow that makes it more directly connected to fluctuations of the initial geometry of the system. Then, using state-of-the-art hydrodynamic simulations, we make an explicit connection between flow fluctuations and a cumulant expansion of the initial transverse geometry. In particular, we show that the second princip…
▽ More
We propose a redefinition of the principal component analysis (PCA) of anisotropic flow that makes it more directly connected to fluctuations of the initial geometry of the system. Then, using state-of-the-art hydrodynamic simulations, we make an explicit connection between flow fluctuations and a cumulant expansion of the initial transverse geometry. In particular, we show that the second principal component of elliptic flow is generated by higher-order cumulants, and therefore probes smaller length scales of the initial state. With this information, it will be possible to put new constraints on properties of the early-time dynamics of a heavy-ion collision, including small-scale structure, as well as properties of the quark-gluon plasma.
△ Less
Submitted 2 March, 2020;
originally announced March 2020.
-
Strong decays of strange quarkonia in a corrected 3P0 model
Authors:
J. N. de Quadros,
D. T. da Silva,
M. L. L. da Silva,
D. Hadjimichef
Abstract:
Extensively applied to both light and heavy meson decay and standing as one of the most successful strong decay models is the $^{3}P_{0}$ model, in which $q\bar{q}$ pair production is the dominant mechanism. In this paper we evaluate strong decay amplitudes and partial widths of strange $S$ and $D$ state mesons, namely $ φ(1020)$, $φ(1680) $, $ φ(2050) $, $φ_1 (1850) $, $φ_2 (1850) $ and…
▽ More
Extensively applied to both light and heavy meson decay and standing as one of the most successful strong decay models is the $^{3}P_{0}$ model, in which $q\bar{q}$ pair production is the dominant mechanism. In this paper we evaluate strong decay amplitudes and partial widths of strange $S$ and $D$ state mesons, namely $ φ(1020)$, $φ(1680) $, $ φ(2050) $, $φ_1 (1850) $, $φ_2 (1850) $ and $ φ_3 (1850) $, in the bound-state corrected $^{3}P_{0}$ decay model (C$^{3}P_{0}$). The C$^{3}P_{0}$ model is obtained in the context of the Fock-Tani formalism, which is a mapping technique.
△ Less
Submitted 23 January, 2020;
originally announced January 2020.
-
Anisotropic Compact Stars in Rastall-Rainbow Gravity
Authors:
Clésio E. Mota,
Luis C. N. Santos,
Franciele M. da Silva,
Cesar V. Flores,
Tiago J. N. da Silva,
Débora P. Menezes
Abstract:
In this work, we have investigated anisotropic neutron stars in the framework of Rastall-Rainbow gravity. All our calculations were computed using the IU-FSU realistic equation of state (EoS), in which was considered two cases: standard nucleonic composition and the one with the eight lightest baryons. From the neutron star masses and radii obtained we conclude that anisotropic pressure has signif…
▽ More
In this work, we have investigated anisotropic neutron stars in the framework of Rastall-Rainbow gravity. All our calculations were computed using the IU-FSU realistic equation of state (EoS), in which was considered two cases: standard nucleonic composition and the one with the eight lightest baryons. From the neutron star masses and radii obtained we conclude that anisotropic pressure has significant consequences on the structure of stellar objects. In particular, when anisotropy is considered within the general relativity framework, it significantly modifies the maximum stellar mass. On the other hand, when Rastall-Rainbow gravity and anisotropy are simultaneously considered, they provide the best results for mass and radius values, including important astrophysical objects such as the LMXB NGC 6397 and the extremely massive pulsar millisecond MSP J0740 + 6620. Although the expected inclusion of hyperons in the nuclear model reproduces stellar masses smaller than those produced by standard nucleonic matter, we shown that the hyperon puzzle problem can be solved by including anisotropic effects on compact stars in the context of the Rastall-Rainbow gravity.
△ Less
Submitted 8 November, 2019;
originally announced November 2019.
-
Measuring Momentum-Dependent Flow Fluctuations in Heavy-Ion Collisions
Authors:
Mauricio Hippert,
David Dobrigkeit Chinellato,
Matthew Luzum,
Jorge Noronha,
Tiago Nunes da Silva,
Jun Takahashi
Abstract:
In heavy-ion collisions, momentum-dependent pair correlations can be characterized by a principal component analysis (PCA), in which subleading modes are expected to reveal new information on flow fluctuations. However, we find that, as currently measured, these modes can be dominated by multiplicity fluctuations, which serve as an unwanted background. Here, we propose new PCA observables that are…
▽ More
In heavy-ion collisions, momentum-dependent pair correlations can be characterized by a principal component analysis (PCA), in which subleading modes are expected to reveal new information on flow fluctuations. However, we find that, as currently measured, these modes can be dominated by multiplicity fluctuations, which serve as an unwanted background. Here, we propose new PCA observables that are robust against multiplicity fluctuations and isolate novel sources of flow fluctuations, thus being suited to provide fresh insight into the initial stages of the system at small length scales.
△ Less
Submitted 5 March, 2020; v1 submitted 20 June, 2019;
originally announced June 2019.