-
A Three-groups Non-local Model for Combining Heterogeneous Data Sources to Identify Genes Associated with Parkinson's Disease
Authors:
Troy P. Wixson,
Benjamin A. Shaby,
Daisy L. Philtron,
International Parkinson Disease Genomics Consortium,
Leandro A. Lima,
Stacia K. Wyman,
Julia A. Kaye,
Steven Finkbeiner
Abstract:
We seek to identify genes involved in Parkinson's Disease (PD) by combining information across different experiment types. Each experiment, taken individually, may contain too little information to distinguish some important genes from incidental ones. However, when experiments are combined using the proposed statistical framework, additional power emerges. The fundamental building block of the fa…
▽ More
We seek to identify genes involved in Parkinson's Disease (PD) by combining information across different experiment types. Each experiment, taken individually, may contain too little information to distinguish some important genes from incidental ones. However, when experiments are combined using the proposed statistical framework, additional power emerges. The fundamental building block of the family of statistical models that we propose is a hierarchical three-group mixture of distributions. Each gene is modeled probabilistically as belonging to either a null group that is unassociated with PD, a deleterious group, or a beneficial group. This three-group formalism has two key features. By apportioning prior probability of group assignments with a Dirichlet distribution, the resultant posterior group probabilities automatically account for the multiplicity inherent in analyzing many genes simultaneously. By building models for experimental outcomes conditionally on the group labels, any number of data modalities may be combined in a single coherent probability model, allowing information sharing across experiment types. These two features result in parsimonious inference with few false positives, while simultaneously enhancing power to detect signals. Simulations show that our three-groups approach performs at least as well as commonly-used tools for GWAS and RNA-seq, and in some cases it performs better. We apply our proposed approach to publicly-available GWAS and RNA-seq datasets, discovering novel genes that are potential therapeutic targets.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
ST-Gait++: Leveraging spatio-temporal convolutions for gait-based emotion recognition on videos
Authors:
Maria Luísa Lima,
Willams de Lima Costa,
Estefania Talavera Martinez,
Veronica Teichrieb
Abstract:
Emotion recognition is relevant for human behaviour understanding, where facial expression and speech recognition have been widely explored by the computer vision community. Literature in the field of behavioural psychology indicates that gait, described as the way a person walks, is an additional indicator of emotions. In this work, we propose a deep framework for emotion recognition through the…
▽ More
Emotion recognition is relevant for human behaviour understanding, where facial expression and speech recognition have been widely explored by the computer vision community. Literature in the field of behavioural psychology indicates that gait, described as the way a person walks, is an additional indicator of emotions. In this work, we propose a deep framework for emotion recognition through the analysis of gait. More specifically, our model is composed of a sequence of spatial-temporal Graph Convolutional Networks that produce a robust skeleton-based representation for the task of emotion classification. We evaluate our proposed framework on the E-Gait dataset, composed of a total of 2177 samples. The results obtained represent an improvement of approximately 5% in accuracy compared to the state of the art. In addition, during training we observed a faster convergence of our model compared to the state-of-the-art methodologies.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Under-Canopy Navigation using Aerial Lidar Maps
Authors:
Lucas Carvalho de Lima,
Nicholas Lawrance,
Kasra Khosoussi,
Paulo Borges,
Michael Bruenig
Abstract:
Autonomous navigation in unstructured natural environments poses a significant challenge. In goal navigation tasks without prior information, the limited look-ahead of onboard sensors utilised by robots compromises path efficiency. We propose a novel approach that leverages an above-the-canopy aerial map for improved ground robot navigation. Our system utilises aerial lidar scans to create a 3D pr…
▽ More
Autonomous navigation in unstructured natural environments poses a significant challenge. In goal navigation tasks without prior information, the limited look-ahead of onboard sensors utilised by robots compromises path efficiency. We propose a novel approach that leverages an above-the-canopy aerial map for improved ground robot navigation. Our system utilises aerial lidar scans to create a 3D probabilistic occupancy map, uniquely incorporating the uncertainty in the aerial vehicle's trajectory for improved accuracy. Novel path planning cost functions are introduced, combining path length with obstruction risk estimated from the probabilistic map. The D-Star Lite algorithm then calculates an optimal (minimum-cost) path to the goal. This system also allows for dynamic replanning upon encountering unforeseen obstacles on the ground. Extensive experiments and ablation studies in simulated and real forests demonstrate the effectiveness of our system.
△ Less
Submitted 18 June, 2024; v1 submitted 5 April, 2024;
originally announced April 2024.
-
Convergence of Iterative Quadratic Programming for Robust Fixed-Endpoint Transfer of Bilinear Systems
Authors:
Luke S. Baker,
Andre Luiz P. de Lima,
Anatoly Zlotnik,
Jr-Shin Li
Abstract:
We present a computational method for open-loop minimum-norm control synthesis for fixed-endpoint transfer of bilinear ensemble systems that are indexed by two continuously varying parameters. We suppose that one ensemble parameter scales the homogeneous, linear part of the dynamics, and the second parameter scales the effect of the applied control inputs on the inhomogeneous, bilinear dynamics. T…
▽ More
We present a computational method for open-loop minimum-norm control synthesis for fixed-endpoint transfer of bilinear ensemble systems that are indexed by two continuously varying parameters. We suppose that one ensemble parameter scales the homogeneous, linear part of the dynamics, and the second parameter scales the effect of the applied control inputs on the inhomogeneous, bilinear dynamics. This class of dynamical systems is motivated by robust quantum control pulse synthesis, where the ensemble parameters correspond to uncertainty in the free Hamiltonian and inhomogeneity in the control Hamiltonian, respectively. Our computational method is based on polynomial approximation of the ensemble state in parameter space and discretization of the evolution equations in the time domain using a product of matrix exponentials corresponding to zero-order hold controls over the time intervals. The dynamics are successively linearized about control and trajectory iterates to formulate a sequence of quadratic programs for computing perturbations to the control that successively improve the objective until the iteration converges. We use a two-stage computation to first ensure transfer to the desired terminal state, and then minimize the norm of the control function. The method is demonstrated for the canonical uniform transfer problem for the Bloch system that appears in nuclear magnetic resonance, as well as the matter-wave splitting problem for the Raman-Nath system that appears in ultra-cold atom interferometry.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Critical behavior of the stochastic SIR model on random bond-diluted lattices
Authors:
Carlos Handrey A. Ferraz,
José Luiz S. Lima
Abstract:
In this paper, we investigate the impact of bond-dilution disorder on the critical behavior of the stochastic SIR model. Monte Carlo simulations were conducted using square lattices with first- and second-nearest neighbor interactions. Quenched bond-diluted lattice disorder was introduced into the systems, allowing them to evolve over time. By employing percolation theory and finite-size scaling a…
▽ More
In this paper, we investigate the impact of bond-dilution disorder on the critical behavior of the stochastic SIR model. Monte Carlo simulations were conducted using square lattices with first- and second-nearest neighbor interactions. Quenched bond-diluted lattice disorder was introduced into the systems, allowing them to evolve over time. By employing percolation theory and finite-size scaling analysis, we estimate both the critical threshold and leading critical exponent ratios of the model for different bond-dilution rates ($p$). An examination of the average size of the percolating cluster and the size distribution of non-percolating clusters of recovered individuals was performed to ascertain the universality class of the model. The simulation results strongly indicate that the present model belongs to a new universality class distinct from that of 2D dynamical percolation, depending on the specific $p$ value under consideration.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Location of Zeros of Holomorphic Functions
Authors:
Leonardo de Lima
Abstract:
In this article, various results will be demonstrated that enable the delimitation of a zero-free region for holomorphic functions on a set $K$, studying the behavior of their imaginary or real part on the boundary of $K$. These findings contribute to a deeper understanding of the distribution of zeros, shedding light on the intricate nature of holomorphic functions within the specified set.
In this article, various results will be demonstrated that enable the delimitation of a zero-free region for holomorphic functions on a set $K$, studying the behavior of their imaginary or real part on the boundary of $K$. These findings contribute to a deeper understanding of the distribution of zeros, shedding light on the intricate nature of holomorphic functions within the specified set.
△ Less
Submitted 1 January, 2024;
originally announced March 2024.
-
The property $(E_A)$ and local spectral theory
Authors:
Elvis Aponte,
Lourival Lima,
José Sanabria
Abstract:
In this paper, we introduce and study the spectral property $(E_A)$. This property means that the difference between the approximate point spectrum and the upper semi-Fredholm spectrum coincides with the difference between the approximate point spectrum and the upper semi-Weyl spectrum. Together with local spectral theory, we explore the behavior of this property under certain topological conditio…
▽ More
In this paper, we introduce and study the spectral property $(E_A)$. This property means that the difference between the approximate point spectrum and the upper semi-Fredholm spectrum coincides with the difference between the approximate point spectrum and the upper semi-Weyl spectrum. Together with local spectral theory, we explore the behavior of this property under certain topological conditions and derive characterizations for the operators that verify it. Furthermore, we establish sufficient conditions that guarantee that a bounded linear operator verifies the property $(E_A)$.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
Separating symmetric polynomials over finite fields
Authors:
Artem Lopatin,
Pedro Antonio Muniz Martins,
Lael Viana Lima
Abstract:
The set $S(n)$ of all elementary symmetric polynomials in $n$ variables is a minimal generating set for the algebra of symmetric polynomials in $n$ variables, but over a finite field ${\mathbb F}_q$ the set $S(n)$ is not a minimal separating set for symmetric polynomials in general. We determined when $S(n)$ is a minimal separating set for the algebra of symmetric polynomials having the least poss…
▽ More
The set $S(n)$ of all elementary symmetric polynomials in $n$ variables is a minimal generating set for the algebra of symmetric polynomials in $n$ variables, but over a finite field ${\mathbb F}_q$ the set $S(n)$ is not a minimal separating set for symmetric polynomials in general. We determined when $S(n)$ is a minimal separating set for the algebra of symmetric polynomials having the least possible number of elements.
△ Less
Submitted 26 May, 2024; v1 submitted 6 January, 2024;
originally announced January 2024.
-
Skin cancer diagnosis using NIR spectroscopy data of skin lesions in vivo using machine learning algorithms
Authors:
Flavio P. Loss,
Pedro H. da Cunha,
Matheus B. Rocha,
Madson Poltronieri Zanoni,
Leandro M. de Lima,
Isadora Tavares Nascimento,
Isabella Rezende,
Tania R. P. Canuto,
Luciana de Paula Vieira,
Renan Rossoni,
Maria C. S. Santos,
Patricia Lyra Frasson,
Wanderson Romão,
Paulo R. Filgueiras,
Renato A. Krohling
Abstract:
Skin lesions are classified in benign or malignant. Among the malignant, melanoma is a very aggressive cancer and the major cause of deaths. So, early diagnosis of skin cancer is very desired. In the last few years, there is a growing interest in computer aided diagnostic (CAD) using most image and clinical data of the lesion. These sources of information present limitations due to their inability…
▽ More
Skin lesions are classified in benign or malignant. Among the malignant, melanoma is a very aggressive cancer and the major cause of deaths. So, early diagnosis of skin cancer is very desired. In the last few years, there is a growing interest in computer aided diagnostic (CAD) using most image and clinical data of the lesion. These sources of information present limitations due to their inability to provide information of the molecular structure of the lesion. NIR spectroscopy may provide an alternative source of information to automated CAD of skin lesions. The most commonly used techniques and classification algorithms used in spectroscopy are Principal Component Analysis (PCA), Partial Least Squares - Discriminant Analysis (PLS-DA), and Support Vector Machines (SVM). Nonetheless, there is a growing interest in applying the modern techniques of machine and deep learning (MDL) to spectroscopy. One of the main limitations to apply MDL to spectroscopy is the lack of public datasets. Since there is no public dataset of NIR spectral data to skin lesions, as far as we know, an effort has been made and a new dataset named NIR-SC-UFES, has been collected, annotated and analyzed generating the gold-standard for classification of NIR spectral data to skin cancer. Next, the machine learning algorithms XGBoost, CatBoost, LightGBM, 1D-convolutional neural network (1D-CNN) were investigated to classify cancer and non-cancer skin lesions. Experimental results indicate the best performance obtained by LightGBM with pre-processing using standard normal variate (SNV), feature extraction providing values of 0.839 for balanced accuracy, 0.851 for recall, 0.852 for precision, and 0.850 for F-score. The obtained results indicate the first steps in CAD of skin lesions aiming the automated triage of patients with skin lesions in vivo using NIR spectral data.
△ Less
Submitted 2 January, 2024;
originally announced January 2024.
-
Asymptotic shape for subadditve processes on groups of polynomial growth
Authors:
Cristian F. Coletti,
Lucas R. de Lima
Abstract:
This study delves into the exploration of the limiting shape theorem for subadditive processes on finitely generated groups with polynomial growth, commonly referred to as virtually nilpotent groups. Investigating the algebraic structures underlying these processes, we present a generalized form of the asymptotic shape theorem within this framework. Extending subadditive ergodic theory in this con…
▽ More
This study delves into the exploration of the limiting shape theorem for subadditive processes on finitely generated groups with polynomial growth, commonly referred to as virtually nilpotent groups. Investigating the algebraic structures underlying these processes, we present a generalized form of the asymptotic shape theorem within this framework. Extending subadditive ergodic theory in this context, we consider processes which exhibit both at most and at least linear random growth. We conclude with applications and illustrative examples.
△ Less
Submitted 25 April, 2024; v1 submitted 12 December, 2023;
originally announced December 2023.
-
TODD-Graphene: A Novel Porous 2D Carbon Allotrope for High-Performance Lithium-Ion Batteries
Authors:
E. J. A. Santos,
K. A. L. Lima,
L. A. Ribeiro Junior
Abstract:
The class of 2D carbon allotropes has garnered significant attention due to its exceptional optoelectronic and mechanical properties, crucial for diverse device applications, such as energy storage. This study employs density functional theory calculations, ab initio molecular dynamics (AIMD), and classical reactive (ReaxFF) molecular dynamics (MD) simulations to introduce TODD-Graphene, a novel 2…
▽ More
The class of 2D carbon allotropes has garnered significant attention due to its exceptional optoelectronic and mechanical properties, crucial for diverse device applications, such as energy storage. This study employs density functional theory calculations, ab initio molecular dynamics (AIMD), and classical reactive (ReaxFF) molecular dynamics (MD) simulations to introduce TODD-Graphene, a novel 2D planar carbon allotrope with a porous structure composed of 3-8-10-12 carbon rings. TODD-G exhibits intrinsic metallic properties with low formation energy and demonstrates exceptional dynamic, thermal, and mechanical stability. Calculations reveal a high theoretical capacity for adsorbing Li atoms by showing a low average diffusion barrier of 0.83 eV and a metallic framework boasting excellent conductivity, emerging as a promising anode material for lithium-ion batteries. We also calculated the charge carrier mobility for electrons and holes in TOOD-G, and the values surpassed the graphene ones. Classical reactive MD simulation results suggested its structural integrity with no bond reconstructions at 1800 K.
△ Less
Submitted 17 November, 2023;
originally announced November 2023.
-
Unveiling a Novel Silicene-Like Material: A DFT Study on Pentahexoctite-Silicon and Its Optoelectronic Characteristics
Authors:
K. A. L. Lima,
L. A. Ribeiro
Abstract:
Silicon-based two-dimensional (2D) materials, including well-known silicene, have garnered considerable attention due to their potential in advanced electronic and optoelectronic applications. Here, we introduce a novel 2D silicon variant, pentahexoctite silicon (PH-Si), inspired by the unique structural attributes of pentahexoctite carbon. By using state-of-the-art density functional theory (DFT)…
▽ More
Silicon-based two-dimensional (2D) materials, including well-known silicene, have garnered considerable attention due to their potential in advanced electronic and optoelectronic applications. Here, we introduce a novel 2D silicon variant, pentahexoctite silicon (PH-Si), inspired by the unique structural attributes of pentahexoctite carbon. By using state-of-the-art density functional theory (DFT) calculations and ab initio molecular dynamics (AIMD) simulations, we investigated the fundamental optoelectronic traits of PH-Si. Our findings unveil that PH-Si boasts promising electronic properties characterized by anisotropic conductance and metallic behavior along specific directions. We also examine its structural and dynamic stability through phonon calculations and AIMD simulations. PH-Si structural stability was also confirmed by its low formation energy of -3.62 eV. The material exhibits substantial optical absorption in visible (Vis) and ultraviolet (UV) spectral regions, positioning it as a potential Vis-UV detector and absorber. Additionally, we assess its crucial mechanical attributes, encompassing elastic stiffness constants, Young's modulus (ranging from 5 to 40 GPa), and a Poisson ratio of 0.8, collectively offering valuable insights into its mechanical performance.
△ Less
Submitted 31 October, 2023;
originally announced November 2023.
-
A Central Limit Theorem for intransitive dice
Authors:
Luis G. Coelho,
Tertuliano Franco,
Lael V. Lima,
João P. C. de Paula,
João V. A. Pimenta,
Guilherme L. F. Silva,
Daniel Ungaretti
Abstract:
Intransive dice $D^{(1)}, \ldots, D^{(\ell)}$ are dice such that $D^{(1)}$ has advantage with respect to $D^{(2)}$, dice $D^{(2)}$ has advantage with respect to $D^{(3)}$ and so on, up to $D^{(\ell)}$, which has advantage over $D^{(1)}$. In this twofold work, we present: first, (deterministic) results on existence of general intransitive dice. Second and mainly, a central limit theorem for the vec…
▽ More
Intransive dice $D^{(1)}, \ldots, D^{(\ell)}$ are dice such that $D^{(1)}$ has advantage with respect to $D^{(2)}$, dice $D^{(2)}$ has advantage with respect to $D^{(3)}$ and so on, up to $D^{(\ell)}$, which has advantage over $D^{(1)}$. In this twofold work, we present: first, (deterministic) results on existence of general intransitive dice. Second and mainly, a central limit theorem for the vector of normalized victories of a die against the next one in the list when the faces of a die are i.i.d.\ random variables and all dice are independent, but different dice may have distinct distributions associated to, as well as they may have distinct number of faces. From this central limit theorem we derive a criteria to assure that the asymptotic probability of observing intransitive dice is null, which applies for many cases, including all continuous distributions and many discrete ones.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
Software Testing and Code Refactoring: A Survey with Practitioners
Authors:
Danilo Leandro Lima,
Ronnie de Souza Santos,
Guilherme Pires Garcia,
Sildemir S. da Silva,
Cesar Franca,
Luiz Fernando Capretz
Abstract:
Nowadays, software testing professionals are commonly required to develop coding skills to work on test automation. One essential skill required from those who code is the ability to implement code refactoring, a valued quality aspect of software development; however, software developers usually encounter obstacles in successfully applying this practice. In this scenario, the present study aims to…
▽ More
Nowadays, software testing professionals are commonly required to develop coding skills to work on test automation. One essential skill required from those who code is the ability to implement code refactoring, a valued quality aspect of software development; however, software developers usually encounter obstacles in successfully applying this practice. In this scenario, the present study aims to explore how software testing professionals (e.g., software testers, test engineers, test analysts, and software QAs) deal with code refactoring to understand the benefits and limitations of this practice in the context of software testing. We followed the guidelines to conduct surveys in software engineering and applied three sampling techniques, namely convenience sampling, purposive sampling, and snowballing sampling, to collect data from testing professionals. We received answers from 80 individuals reporting their experience refactoring the code of automated tests. We concluded that in the context of software testing, refactoring offers several benefits, such as supporting the maintenance of automated tests and improving the performance of the testing team. However, practitioners might encounter barriers in effectively implementing this practice, in particular, the lack of interest from managers and leaders. Our study raises discussions on the importance of having testing professionals implement refactoring in the code of automated tests, allowing them to improve their coding abilities.
△ Less
Submitted 2 October, 2023;
originally announced October 2023.
-
Optimal Ensemble Control of Matter-Wave Splitting in Bose-Einstein Condensates
Authors:
Andre Luiz P. de Lima,
Andrew K. Harter,
Michael J. Martin,
Anatoly Zlotnik
Abstract:
We present a framework for designing optimal optical pulses for the matter-wave splitting of a Bose-Einstein Condensate (BEC) under the influence of experimental inhomogeneities, so that the sample is transferred from an initial rest position into a singular higher diffraction order. To represent the evolution of the population of atoms, the Schroedinger's equation is reinterpreted as a parameteri…
▽ More
We present a framework for designing optimal optical pulses for the matter-wave splitting of a Bose-Einstein Condensate (BEC) under the influence of experimental inhomogeneities, so that the sample is transferred from an initial rest position into a singular higher diffraction order. To represent the evolution of the population of atoms, the Schroedinger's equation is reinterpreted as a parameterized ensemble of dynamical units that are disparately impacted by the beam light-shift potential in a continuous manner. The derived infinite-dimensional coupled Raman-Nath equations are truncated to a finite system of diffraction levels, and we suppose that the parameter that defines the inhomogeneity in the control applied to the ensemble system is restricted to a compact interval. We first design baseline square pulse sequences for the excitation of BEC beam-splitter states following a previous study, subject to dynamic constraints for either a nominal system assuming no inhomogeneity or for several samples of the uncertain parameter. We then approximate the continuum state-space of the ensemble of dynamics using a spectral approach based on Legendre moments, which is truncated at a finite order. Control functions that steer the BEC system from an equivalent rest position to a desired final excitation are designed using a constrained optimal control approach developed for handling nonlinear dynamics. This representation results in a minimal dimension of the computational problem and is shown to be highly robust to inhomogeneity in comparison to the baseline approach. Our method accomplishes the BEC-splitting state transfer for each subsystem in the ensemble, and is promising for precise excitation in experimental settings where robustness to environmental and intrinsic noise is paramount.
△ Less
Submitted 28 February, 2024; v1 submitted 15 September, 2023;
originally announced September 2023.
-
Predicting Psi-BN: computational insights into its mechanical, electronic, and optical characteristics
Authors:
F. F. Monteiro,
K. A. L. Lima,
L. A. Ribeiro Junior
Abstract:
Computational materials are pivotal in advancing our understanding of distinct material classes and their properties, offering valuable insights in predicting novel structures and complementing experimental approaches. In this context, Psi-graphene is a stable two-dimensional carbon allotrope composed of 5-6-7 carbon rings theoretically predicted recently. Using density functional theory (DFT) cal…
▽ More
Computational materials are pivotal in advancing our understanding of distinct material classes and their properties, offering valuable insights in predicting novel structures and complementing experimental approaches. In this context, Psi-graphene is a stable two-dimensional carbon allotrope composed of 5-6-7 carbon rings theoretically predicted recently. Using density functional theory (DFT) calculations, we explored its boron nitride counterpart's mechanical, electronic, and optical characteristics (Psi-BN). Our results indicate that Psi-BN possesses a band gap of 4.59 eV at the HSE06 level. Phonon calculations and ab initio molecular dynamics simulations demonstrated that this material has excellent structural and dynamic stability. Moreover, its formation energy is -7.48 eV. Psi-BN exhibited strong ultraviolet activity, suggesting its potential as an efficient UV collector. Furthermore, we determined critical mechanical properties of Psi-BN, such as the elastic stiffness constants, Young's modulus (250-300 GPa), and Poisson ratio (0.7), providing valuable insights into its mechanical behavior.
△ Less
Submitted 10 October, 2023; v1 submitted 24 August, 2023;
originally announced August 2023.
-
The Perspective of Software Professionals on Algorithmic Racism
Authors:
Ronnie de Souza Santos,
Luiz Fernando de Lima,
Cleyton Magalhaes
Abstract:
Context. Algorithmic racism is the term used to describe the behavior of technological solutions that constrains users based on their ethnicity. Lately, various data-driven software systems have been reported to discriminate against Black people, either for the use of biased data sets or due to the prejudice propagated by software professionals in their code. As a result, Black people are experien…
▽ More
Context. Algorithmic racism is the term used to describe the behavior of technological solutions that constrains users based on their ethnicity. Lately, various data-driven software systems have been reported to discriminate against Black people, either for the use of biased data sets or due to the prejudice propagated by software professionals in their code. As a result, Black people are experiencing disadvantages in accessing technology-based services, such as housing, banking, and law enforcement. Goal. This study aims to explore algorithmic racism from the perspective of software professionals. Method. A survey questionnaire was applied to explore the understanding of software practitioners on algorithmic racism, and data analysis was conducted using descriptive statistics and coding techniques. Results. We obtained answers from a sample of 73 software professionals discussing their understanding and perspectives on algorithmic racism in software development. Our results demonstrate that the effects of algorithmic racism are well-known among practitioners. However, there is no consensus on how the problem can be effectively addressed in software engineering. In this paper, some solutions to the problem are proposed based on the professionals' narratives. Conclusion. Combining technical and social strategies, including training on structural racism for software professionals, is the most promising way to address the algorithmic racism problem and its effects on the software solutions delivered to our society.
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
A DFT Study on the Mechanical, Electronic, Thermodynamic, and Optical Properties of GaN and AlN Counterparts of Biphenylene Network
Authors:
Kleuton Antunes Lopes Lima,
Luiz Antonio Ribeiro Junior
Abstract:
The biphenylene network (BPN) is a notable achievement in recent fabrication endeavors for conceiving new 2D materials. The stability of its boron nitride counterpart, BN-BPN, has been confirmed through numerical investigations. In this study, we conducted a density functional theory (DFT) analysis to examine the mechanical, electronic, thermodynamic, and optical properties of two other group-III…
▽ More
The biphenylene network (BPN) is a notable achievement in recent fabrication endeavors for conceiving new 2D materials. The stability of its boron nitride counterpart, BN-BPN, has been confirmed through numerical investigations. In this study, we conducted a density functional theory (DFT) analysis to examine the mechanical, electronic, thermodynamic, and optical properties of two other group-III counterparts of BPN: gallium nitride (BPN-GaN) and aluminum nitride (BPN-AlN). Our findings reveal that the band gap values for BPN-GaN and BPN-AlN are 2.3 eV and 3.2 eV, respectively, at the HSE06 level. At the GGA/PBE level, we found band gap values of 1.8 eV and 2.3 eV for BPN-GaN and BPN-AlN, respectively. Phonon calculations and ab initio molecular dynamics (AIMD) simulations suggest that BPN-AlN has good structural and dynamic stabilities. On the other hand, BPN-GaN displayed negative phonon frequencies, suggesting potential instability. Nevertheless, results from AIMD simulations point to its structural integrity with no bond reconstructions at 1000 K. These materials exhibit noteworthy UV activity, presenting promising prospects as UV collectors. The thermodynamic properties reveal that the heat capacity of both BPN-AlN and BPN-GaN increases with temperature, eventually reaching the Dulong-Petit limit at around 800 K. We also performed calculations to determine the elastic stiffness constants, Young's modulus, and Poisson ratio for both BPN-GaN and BPN-AlN, providing valuable insights into their mechanical properties.
△ Less
Submitted 10 October, 2023; v1 submitted 20 June, 2023;
originally announced June 2023.
-
A harmonic level set proof of a positive mass theorem
Authors:
Rondinelle Batista,
Levi Lopes de Lima
Abstract:
We provide a harmonic level set proof of the positive mass theorem for asymptotically flat $3$-manifolds with a non-compact boundary first established by Almaraz-Barbosa-de Lima.
We provide a harmonic level set proof of the positive mass theorem for asymptotically flat $3$-manifolds with a non-compact boundary first established by Almaraz-Barbosa-de Lima.
△ Less
Submitted 15 June, 2023;
originally announced June 2023.
-
Algorithms for the Bin Packing Problem with Scenarios
Authors:
Yulle G. F. Borges,
Vinícius L. de Lima,
Flávio K. Miyazawa,
Lehilton L. C. Pedrosa,
Thiago A. de Queiroz,
Rafael C. S. Schouery
Abstract:
This paper presents theoretical and practical results for the bin packing problem with scenarios, a generalization of the classical bin packing problem which considers the presence of uncertain scenarios, of which only one is realized. For this problem, we propose an absolute approximation algorithm whose ratio is bounded by the square root of the number of scenarios times the approximation ratio…
▽ More
This paper presents theoretical and practical results for the bin packing problem with scenarios, a generalization of the classical bin packing problem which considers the presence of uncertain scenarios, of which only one is realized. For this problem, we propose an absolute approximation algorithm whose ratio is bounded by the square root of the number of scenarios times the approximation ratio for an algorithm for the vector bin packing problem. We also show how an asymptotic polynomial-time approximation scheme is derived when the number of scenarios is constant. As a practical study of the problem, we present a branch-and-price algorithm to solve an exponential model and a variable neighborhood search heuristic. To speed up the convergence of the exact algorithm, we also consider lower bounds based on dual feasible functions. Results of these algorithms show the competence of the branch-and-price in obtaining optimal solutions for about 59% of the instances considered, while the combined heuristic and branch-and-price optimally solved 62% of the instances considered.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Unveiling the CO2 Adsorption Capabilities of Biphenylene Network Monolayers through DFT Calculations
Authors:
K. A. Lopes Lima,
L. A. Ribeiro Junior
Abstract:
Nanomaterial synthesis and characterization advancements have led to the discovery of new carbon allotropes, such as the biphenylene network (BPN). BPN consists of four-, six-, and eight-membered rings of sp2-hybridized carbon atoms. Here, we employ density functional theory (DFT) calculations to investigate the CO2 adsorption capabilities in pristine and vacancy-endowed BPN monolayers. Our findin…
▽ More
Nanomaterial synthesis and characterization advancements have led to the discovery of new carbon allotropes, such as the biphenylene network (BPN). BPN consists of four-, six-, and eight-membered rings of sp2-hybridized carbon atoms. Here, we employ density functional theory (DFT) calculations to investigate the CO2 adsorption capabilities in pristine and vacancy-endowed BPN monolayers. Our findings indicate that BPN lattices with a single-atom vacancy exhibit higher CO2 adsorption energies than pristine BPN. Unlike other 2D carbon allotropes, BPN does not exhibit precise CO2 sensing and selectivity by altering its band structure configuration. In pristine lattices, CO2 molecules are physisorbed in the eight-membered rings, while defective regions of vacancy-endowed lattices enable chemisorption of CO2. Regarding CO2 physisorption, the recovery time values are minimal, suggesting a rapid interaction between BPN and this molecule, with negligible relaxation time required to alter the electronic properties of BPN lattices.
△ Less
Submitted 19 May, 2023;
originally announced May 2023.
-
Magnetism and metal-insulator transitions in the anisotropic kagome lattice
Authors:
Lucas O. Lima,
Andressa R. Medeiros-Silva,
Raimundo R. dos Santos,
Thereza Paiva,
Natanael C. Costa
Abstract:
The interest in the physical properties of kagome lattices has risen considerably. In addition to the synthesis of new materials, the possibility of realizing ultracold atoms on an optical kagome lattice (KL) raises interesting issues. For instance, by considering the Hubbard model on an anisotropic KL, with a hop** $t^\prime$ along one of the directions, one is able to interpolate between the L…
▽ More
The interest in the physical properties of kagome lattices has risen considerably. In addition to the synthesis of new materials, the possibility of realizing ultracold atoms on an optical kagome lattice (KL) raises interesting issues. For instance, by considering the Hubbard model on an anisotropic KL, with a hop** $t^\prime$ along one of the directions, one is able to interpolate between the Lieb lattice ($t^\prime=0$) and the isotropic KL ($t^\prime=t$). The ground state of the former is a ferrimagnetic insulator for any on-site repulsion, $U$, while the latter displays a transition between a paramagnetic metal and a Mott insulator. One may thus consider $t^\prime$ as a parameter controlling the degree of magnetic frustration in the system. By means of extensive quantum Monte Carlo simulations, we have examined magnetic and transport properties as $t^\prime$ varies between these limits in order to set up a phase diagram in the $(U/t, t^\prime/t)$ parameter space. As an auxiliary response, analysis of the average sign of the fermionic determinant provides consistent predictions for critical points in the phase diagram. We observe a metal-insulator transition occurring at some critical point $U_c^\text{M}(t^\prime)$, which increases monotonically with $ t^\prime $, from the unfrustrated lattice limit. In addition, we have found that the boundary between the ferrimagnetic insulator and the Mott insulator rises sharply with $t^\prime$.
△ Less
Submitted 24 April, 2023;
originally announced April 2023.
-
Algebraic and Geometric Characterizations Related to the Quantization Problem of the $C_{2,8}$ Channel
Authors:
Anderson José de Oliveira,
Giuliano Gadioli La Guardia,
Reginaldo Palazzo Jr.,
Clarice Dias de Albuquerque,
Cátia Regina de Oliveira Quilles Queiroz,
Leandro Bezerra de Lima,
Vandenberg Lopes Vieira
Abstract:
In this paper, we consider the steps to be followed in the analysis and interpretation of the quantization problem related to the $C_{2,8}$ channel, where the Fuchsian differential equations, the generators of the Fuchsian groups, and the tessellations associated with the cases $g=2$ and $g=3$, related to the hyperbolic case, are determined. In order to obtain these results, it is necessary to det…
▽ More
In this paper, we consider the steps to be followed in the analysis and interpretation of the quantization problem related to the $C_{2,8}$ channel, where the Fuchsian differential equations, the generators of the Fuchsian groups, and the tessellations associated with the cases $g=2$ and $g=3$, related to the hyperbolic case, are determined. In order to obtain these results, it is necessary to determine the genus $g$ of each surface on which this channel may be embedded. After that, the procedure is to determine the algebraic structure (Fuchsian group generators) associated with the fundamental region of each surface. To achieve this goal, an associated linear second-order Fuchsian differential equation whose linearly independent solutions provide the generators of this Fuchsian group is devised. In addition, the tessellations associated with each analyzed case are identified. These structures are identified in four situations, divided into two cases $(g=2$ and $g=3)$, obtaining, therefore, both algebraic and geometric characterizations associated with quantizing the $C_{2,8}$ channel.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
Einstein-Yang-Mills fields in conformally compact manifolds
Authors:
Levi Lopes de Lima
Abstract:
We study the deformation theory of Einstein-Yang-Mills fields over conformally compact, asymptotically locally hyperbolic manifolds. We prove that if an Einstein-Yang-Mills field $(g_0,ω_0)$ is trivial (which means that $g_0$ is Poincaré-Einstein and $ω_0$ is a flat connection on a principal bundle over the underlying manifold) and non-degenerate in the appropriate sense then any sufficiently smal…
▽ More
We study the deformation theory of Einstein-Yang-Mills fields over conformally compact, asymptotically locally hyperbolic manifolds. We prove that if an Einstein-Yang-Mills field $(g_0,ω_0)$ is trivial (which means that $g_0$ is Poincaré-Einstein and $ω_0$ is a flat connection on a principal bundle over the underlying manifold) and non-degenerate in the appropriate sense then any sufficiently small perturbation of its boundary data at infinity may be realized as the boundary data of some Einstein-Yang-Mills field. This result is obtained as an application of the $0$-calculus of Mazzeo and Melrose and may be viewed as a natural extension of previous results by Graham-Lee, Lee and Usula.
△ Less
Submitted 31 July, 2023; v1 submitted 11 April, 2023;
originally announced April 2023.
-
Positive and Negative Square Energies of Graphs
Authors:
Aida Abiad,
Leonardo de Lima,
Dheer Noal Desai,
Krystal Guo,
Leslie Hogben,
Jose Madrid
Abstract:
The energy of a graph $G$ is the sum of the absolute values of the eigenvalues of the adjacency matrix of $G$. Let $s^+(G), s^-(G)$ denote the sum of the squares of the positive and negative eigenvalues of $G$, respectively. It was conjectured by [Elphick, Farber, Goldberg, Wocjan, Discrete Math. (2016)] that if $G$ is a connected graph of order $n$, then $s^+(G)\geq n-1$ and $s^-(G) \geq n-1$. In…
▽ More
The energy of a graph $G$ is the sum of the absolute values of the eigenvalues of the adjacency matrix of $G$. Let $s^+(G), s^-(G)$ denote the sum of the squares of the positive and negative eigenvalues of $G$, respectively. It was conjectured by [Elphick, Farber, Goldberg, Wocjan, Discrete Math. (2016)] that if $G$ is a connected graph of order $n$, then $s^+(G)\geq n-1$ and $s^-(G) \geq n-1$. In this paper, we show partial results towards this conjecture. In particular, numerous structural results that may help in proving the conjecture are derived, including the effect of various graph operations. These are then used to establish the conjecture for several graph classes, including graphs with certain fraction of positive eigenvalues and unicyclic graphs.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
On the Importance of Three-Body Decays of Vector-Like Quarks
Authors:
Carlos Bautista,
Leonardo de Lima,
Ricardo D. Matheus,
Aurore Savoy-Navarro
Abstract:
It is a common feature of vector-like extensions of the electroweak sector to have near degenerate states, such as electroweak doublets. In simplified models, it is usually assumed that these have decay widths saturated by two-body channels. As a consequence, experimental searches can be done focusing on only one of the states of the doublet. Taking as an example case the light exotic electroweak…
▽ More
It is a common feature of vector-like extensions of the electroweak sector to have near degenerate states, such as electroweak doublets. In simplified models, it is usually assumed that these have decay widths saturated by two-body channels. As a consequence, experimental searches can be done focusing on only one of the states of the doublet. Taking as an example case the light exotic electroweak doublet present in the Minimal Composite Higgs Model, we show that including three-body decays in the pair production process makes this separation unfeasible, since both states of the doublet will be present and contribute significantly to the signal. In addition, by recasting present searches in multileptonic channels, with a simplified cut-and-count analysis, a relevant increase in discovery reach or exclusion potential is obtained; this indeed motivates a more detailed analysis. This study shows how an inclusive search strategy, taking into account both the near degeneracy and the presence of three-body decays, will have greater discovery power and be more natural from a model building perspective.
△ Less
Submitted 15 March, 2023;
originally announced March 2023.
-
The TESS Triple-9 Catalog II: a new set of 999 uniformly-vetted exoplanet candidates
Authors:
Christian Magliano,
Veselin Kostov,
Luca Cacciapuoti,
Giovanni Covone,
Laura Inno,
Stefano Fiscale,
Marc Kuchner,
Elisa V. Quintana,
Ryan Salik,
Vito Saggese,
John M. Yablonsky,
Aline U. Fornear,
Michiharu Hyogo,
Marco Z. Di Fraia,
Hugo A. Durantini Luca,
Julien S. de Lambilly,
Fabrizio Oliva,
Isabella Pagano,
Riccardo M. Ienco,
Lucas T. de Lima,
Marc Andrés-Carcasona,
Francesco Gallo,
Sovan Acharya
Abstract:
The Transiting Exoplanet Survey Satellite (TESS) mission is providing the scientific community with millions of light curves of stars spread across the whole sky. Since 2018 the telescope has detected thousands of planet candidates that need to be meticulously scrutinized before being considered amenable targets for follow-up programs. We present the second catalog of the Plant Patrol citizen scie…
▽ More
The Transiting Exoplanet Survey Satellite (TESS) mission is providing the scientific community with millions of light curves of stars spread across the whole sky. Since 2018 the telescope has detected thousands of planet candidates that need to be meticulously scrutinized before being considered amenable targets for follow-up programs. We present the second catalog of the Plant Patrol citizen science project containing 999 uniformly-vetted exoplanet candidates within the TESS ExoFOP archive. The catalog was produced by fully exploiting the power of the Citizen Science Planet Patrol project. We vetted TESS Objects of Interest (TOIs) based on the results of Discovery And Vetting of Exoplanets DAVE pipeline. We also implemented the Automatic Disposition Generator, a custom procedure aimed at generating the final classification for each TOI that was vetted by at least three vetters. The majority of the candidates in our catalog, $752$ TOIs, passed the vetting process and were labelled as planet candidates. We ruled out $142$ candidates as false positives and flagged $105$ as potential false positives. Our final dispositions and comments for all the planet candidates are provided as a publicly available supplementary table.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
On the Mechanical, Electronic, and Optical Properties of 8-16-4 Graphyne: A 2D Carbon Allotrope with Dirac Cones
Authors:
Raphael M. Tromer,
Marcelo L. Pereira Junior,
Kleuton A. L. Lima,
Alexandre F. Fonseca,
Luciano R. da Silva,
Douglas S. Galvao,
Luiz A. Ribeiro Junior
Abstract:
Due to the success achieved by graphene, several 2D carbon-based allotropes were theoretically predicted and experimentally synthesized. We used density functional theory and reactive molecular dynamics simulations to investigate the mechanical, structural, electronic, and optical properties of 8-16-4 Graphyne. The results showed that this material exhibits good dynamical and thermal stabilities.…
▽ More
Due to the success achieved by graphene, several 2D carbon-based allotropes were theoretically predicted and experimentally synthesized. We used density functional theory and reactive molecular dynamics simulations to investigate the mechanical, structural, electronic, and optical properties of 8-16-4 Graphyne. The results showed that this material exhibits good dynamical and thermal stabilities. Its formation energy and elastic moduli are -8.57 eV/atom and 262.37 GPa, respectively. This graphyne analogue is a semi-metal and presents two Dirac cones in its band structure. Moreover, it is transparent, and its intense optical activity is limited to the infrared region. Remarkably, the band structure of 8-16-4 Graphyne remains practically unchanged at even moderate strain regimes. As far as we know, this is the first 2D carbon allotrope to exhibit this behavior.
△ Less
Submitted 3 March, 2023; v1 submitted 16 February, 2023;
originally announced February 2023.
-
The scalar curvature in wedge spaces: existence and obstructions
Authors:
Levi Lopes de Lima
Abstract:
We study the scalar curvature of incomplete wedge metrics in certain stratified spaces with a single singular stratum (wedge spaces). Building upon several well established technical tools for this category of spaces (the corresponding Yamabe, elliptic and index theories) we provide existence and obstruction results for such metrics under suitable positivity assumptions on the underlying geometry.…
▽ More
We study the scalar curvature of incomplete wedge metrics in certain stratified spaces with a single singular stratum (wedge spaces). Building upon several well established technical tools for this category of spaces (the corresponding Yamabe, elliptic and index theories) we provide existence and obstruction results for such metrics under suitable positivity assumptions on the underlying geometry. This is meant to be a follow-up to a previous paper of ours (AGAG, 2022), where the case of spaces with an isolated conical singularity was considered.
△ Less
Submitted 18 April, 2023; v1 submitted 12 January, 2023;
originally announced January 2023.
-
Geometric decomposition of flows generated by rough path differential equations
Authors:
Pedro Catuogno,
Lourival Lima,
Paulo Ruffino
Abstract:
Whenever an Itô-Wentsel type of formula holds for composition of flows of a certain differential dynamics, there exists locally a decomposition of the corresponding flow according to complementary distributions (or foliations, in the case of integrability of these distributions). Many examples have been proved in distinct context of dynamics: Stratonovich stochastic equations, Lévy driven noise, l…
▽ More
Whenever an Itô-Wentsel type of formula holds for composition of flows of a certain differential dynamics, there exists locally a decomposition of the corresponding flow according to complementary distributions (or foliations, in the case of integrability of these distributions). Many examples have been proved in distinct context of dynamics: Stratonovich stochastic equations, Lévy driven noise, low regularity $α$-Hölder control functions ($ α\in (1/2,1]$), see e.g. [6], [7], [20], [21]. Here we present the proof of this categorical property: we illustrate with the $α$-Hölder rough path, $α\in (1/3, 1/2]$ using the Itô-Wentsel formula in this context proved in [5]. Different from the previous approaches, here however, instead of using an intrinsic rough path calculus on manifolds, the manifold has to be embedded in an Euclidean space. A cascade decomposition is also shown when we have multiple lower dimensional directions which span the whole space. As application, the linear case is treated in details: the cascade decomposition provides a row factorization of all matrices which allow real logarithm.
△ Less
Submitted 17 December, 2022;
originally announced December 2022.
-
Infinite-dimensional genetic and evolution algebras generated by Gibbs measures
Authors:
Cristian F. Coletti,
Lucas R. de Lima,
Denis A. Luiz
Abstract:
Genetic and evolution algebras arise naturally from applied probability and stochastic processes. Gibbs measures describe interacting systems commonly studied in thermodynamics and statistical mechanics with applications in several fields. Here, we consider that the algebras are determined by configurations of finite spins on a countable set with their associated Gibbs distributions. The model pre…
▽ More
Genetic and evolution algebras arise naturally from applied probability and stochastic processes. Gibbs measures describe interacting systems commonly studied in thermodynamics and statistical mechanics with applications in several fields. Here, we consider that the algebras are determined by configurations of finite spins on a countable set with their associated Gibbs distributions. The model preserves properties of the finite-dimensional Gibbs algebras found in the literature and extend their results. We introduce infertility in the genetic dynamics when the configurations differ macroscopically. It induces a decomposition of the algebra into a direct sum of fertile ideals with genetic realization.
The proposed infinite-dimensional algebras are commutative, non-associative, with uncountable basis and zero divisors. The properties of Gibbs measures allow us to deal with the difficulties arising from the algebraic structure and obtain the results presented in this article.
△ Less
Submitted 22 April, 2024; v1 submitted 13 December, 2022;
originally announced December 2022.
-
Principled Multi-Aspect Evaluation Measures of Rankings
Authors:
Maria Maistro,
Lucas Chaves Lima,
Jakob Grue Simonsen,
Christina Lioma
Abstract:
Information Retrieval evaluation has traditionally focused on defining principled ways of assessing the relevance of a ranked list of documents with respect to a query. Several methods extend this type of evaluation beyond relevance, making it possible to evaluate different aspects of a document ranking (e.g., relevance, usefulness, or credibility) using a single measure (multi-aspect evaluation).…
▽ More
Information Retrieval evaluation has traditionally focused on defining principled ways of assessing the relevance of a ranked list of documents with respect to a query. Several methods extend this type of evaluation beyond relevance, making it possible to evaluate different aspects of a document ranking (e.g., relevance, usefulness, or credibility) using a single measure (multi-aspect evaluation). However, these methods either are (i) tailor-made for specific aspects and do not extend to other types or numbers of aspects, or (ii) have theoretical anomalies, e.g. assign maximum score to a ranking where all documents are labelled with the lowest grade with respect to all aspects (e.g., not relevant, not credible, etc.).
We present a theoretically principled multi-aspect evaluation method that can be used for any number, and any type, of aspects. A thorough empirical evaluation using up to 5 aspects and a total of 425 runs officially submitted to 10 TREC tracks shows that our method is more discriminative than the state-of-the-art and overcomes theoretical limitations of the state-of-the-art.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
On graphs with eigenvectors in $\{1, -1, 0\}$ and the max $k$-cut problem
Authors:
Jorge Alencar,
Leonardo de Lima,
Vladimir Nikiforov
Abstract:
In this paper, we characterize all graphs with eigenvectors of the signless Laplacian and adjacency matrices with components equal to $\{- 1, 0, 1\}.$ We extend the graph parameter max $k$-cut to square matrices and prove a general sharp upper bound, which implies upper bounds on the max $k$-cut of a graph using the smallest signless Laplacian eigenvalue, the smallest adjacency eigenvalue, and the…
▽ More
In this paper, we characterize all graphs with eigenvectors of the signless Laplacian and adjacency matrices with components equal to $\{- 1, 0, 1\}.$ We extend the graph parameter max $k$-cut to square matrices and prove a general sharp upper bound, which implies upper bounds on the max $k$-cut of a graph using the smallest signless Laplacian eigenvalue, the smallest adjacency eigenvalue, and the largest Laplacian eigenvalue of the graph. In addition, we construct infinite families of extremal graphs for the obtained upper bounds.
△ Less
Submitted 25 November, 2022;
originally announced November 2022.
-
Heuristic Algorithm for Univariate Stratification Problem
Authors:
José Brito,
Gustavo Semaan,
Leonardo de Lima,
Augusto Fadel
Abstract:
In sampling theory, stratification corresponds to a technique used in surveys, which allows segmenting a population into homogeneous subpopulations (strata) to produce statistics with a higher level of precision. In particular, this article proposes a heuristic to solve the univariate stratification problem - widely studied in the literature. One of its versions sets the number of strata and the p…
▽ More
In sampling theory, stratification corresponds to a technique used in surveys, which allows segmenting a population into homogeneous subpopulations (strata) to produce statistics with a higher level of precision. In particular, this article proposes a heuristic to solve the univariate stratification problem - widely studied in the literature. One of its versions sets the number of strata and the precision level and seeks to determine the limits that define such strata to minimize the sample size allocated to the strata. A heuristic-based on a stochastic optimization method and an exact optimization method was developed to achieve this goal. The performance of this heuristic was evaluated through computational experiments, considering its application in various populations used in other works in the literature, based on 20 scenarios that combine different numbers of strata and levels of precision. From the analysis of the obtained results, it is possible to verify that the heuristic had a performance superior to four algorithms in the literature in more than 94% of the cases, particularly concerning the known algorithms of Kozak and Lavallee-Hidiroglou.
△ Less
Submitted 19 November, 2022;
originally announced November 2022.
-
Multilayer Perceptron-based Surrogate Models for Finite Element Analysis
Authors:
Lawson Oliveira Lima,
Julien Rosenberger,
Esteban Antier,
Frederic Magoules
Abstract:
Many Partial Differential Equations (PDEs) do not have analytical solution, and can only be solved by numerical methods. In this context, Physics-Informed Neural Networks (PINN) have become important in the last decades, since it uses a neural network and physical conditions to approximate any functions. This paper focuses on hypertuning of a PINN, used to solve a PDE. The behavior of the approxim…
▽ More
Many Partial Differential Equations (PDEs) do not have analytical solution, and can only be solved by numerical methods. In this context, Physics-Informed Neural Networks (PINN) have become important in the last decades, since it uses a neural network and physical conditions to approximate any functions. This paper focuses on hypertuning of a PINN, used to solve a PDE. The behavior of the approximated solution when we change the learning rate or the activation function (sigmoid, hyperbolic tangent, GELU, ReLU and ELU) is here analyzed. A comparative study is done to determine the best characteristics in the problem, as well as to find a learning rate that allows fast and satisfactory learning. GELU and hyperbolic tangent activation functions exhibit better performance than other activation functions. A suitable choice of the learning rate results in higher accuracy and faster convergence.
△ Less
Submitted 17 November, 2022;
originally announced November 2022.
-
Breakdown of topological protection due to non-magnetic edge disorder in two-dimensional materials in the Quantum Spin Hall phase
Authors:
Leandro R. F. Lima,
Caio Lewenkopf
Abstract:
We study the suppression of the conductance quantization in quantum spin Hall systems by a combined effect of electronic interactions and edge disorder, that is ubiquitous in exfoliated and CVD grown 2D materials. We show that the interplay between the electronic localized states due to edge defects and electron-electron interactions gives rise to local magnetic moments, that break time-reversal s…
▽ More
We study the suppression of the conductance quantization in quantum spin Hall systems by a combined effect of electronic interactions and edge disorder, that is ubiquitous in exfoliated and CVD grown 2D materials. We show that the interplay between the electronic localized states due to edge defects and electron-electron interactions gives rise to local magnetic moments, that break time-reversal symmetry and the topological protection of the edge states in 2D topological systems. Our results suggest that edge disorder leads to small deviations of a perfect quantized conductance in short samples and to a strong conductance suppression in long ones. Our analysis is based on on the Kane-Mele model, an unrestricted Hubbard mean field Hamiltonian and on a self-consistent recursive Green's functions technique to calculate the transport quantities.
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
-
Bounding the sum of the largest signless Laplacian eigenvalues of a graph
Authors:
Aida Abiad,
Leonardo de Lima,
Sina Kalantarzadeh,
Mona Mohammadi,
Carla Oliveira
Abstract:
We show several sharp upper and lower bounds for the sum of the largest eigenvalues of the signless Laplacian matrix. These bounds improve and extend previously known bounds.
We show several sharp upper and lower bounds for the sum of the largest eigenvalues of the signless Laplacian matrix. These bounds improve and extend previously known bounds.
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
-
The quantum scale invariance in graphene-like quantum electrodynamics
Authors:
O. M. Del Cima,
D. H. T. Franco,
L. S. Lima,
E. S. Miranda
Abstract:
The ultraviolet and infrared finiteness of a parity-even massless planar quantum electrodynamics mimics the scale invariance in graphene.
The ultraviolet and infrared finiteness of a parity-even massless planar quantum electrodynamics mimics the scale invariance in graphene.
△ Less
Submitted 21 September, 2022;
originally announced September 2022.
-
Map** properties of geometric elliptic operators in conformally conical spaces: an introduction with examples
Authors:
Levi Lopes de Lima
Abstract:
In this largely expository note, we discuss the map** properties of the Laplacian (and other geometric elliptic operators) in spaces with an isolated conical singularity following the approach developed by B.-W. Schulze and collaborators. Our presentation aims at illustrating the versatility of these results by describing how certain representative (and seemingly disparate) applications in Geome…
▽ More
In this largely expository note, we discuss the map** properties of the Laplacian (and other geometric elliptic operators) in spaces with an isolated conical singularity following the approach developed by B.-W. Schulze and collaborators. Our presentation aims at illustrating the versatility of these results by describing how certain representative (and seemingly disparate) applications in Geometric Analysis follow from a common setup.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
Rigidity of non-compact static domains in hyperbolic space via positive mass theorems
Authors:
Sergio Almaraz,
Levi Lopes de Lima
Abstract:
We single out a notion of staticity which applies to any domain in hyperbolic space whose boundary is a non-compact totally umbilical hypersurface. For (time-symmetric) initial data sets modeled at infinity on any of these latter examples, we formulate and prove a positive mass theorem in the spin category under natural dominant energy conditions (both in the interior and along the boundary) whose…
▽ More
We single out a notion of staticity which applies to any domain in hyperbolic space whose boundary is a non-compact totally umbilical hypersurface. For (time-symmetric) initial data sets modeled at infinity on any of these latter examples, we formulate and prove a positive mass theorem in the spin category under natural dominant energy conditions (both in the interior and along the boundary) whose rigidity statement retrieves, among other things, a sharper version of a recent result by Souam to the effect that no such hypersurface admits a compactly supported deformation kee** the original lower bound on the mean curvature. A key ingredient in our approach is the consideration of a family of elliptic boundary conditions on spinors interpolating between chirality and MIT bag boundary conditions.
△ Less
Submitted 12 November, 2022; v1 submitted 20 June, 2022;
originally announced June 2022.
-
Exploring Advances in Transformers and CNN for Skin Lesion Diagnosis on Small Datasets
Authors:
Leandro M. de Lima,
Renato A. Krohling
Abstract:
Skin cancer is one of the most common types of cancer in the world. Different computer-aided diagnosis systems have been proposed to tackle skin lesion diagnosis, most of them based in deep convolutional neural networks. However, recent advances in computer vision achieved state-of-art results in many tasks, notably Transformer-based networks. We explore and evaluate advances in computer vision ar…
▽ More
Skin cancer is one of the most common types of cancer in the world. Different computer-aided diagnosis systems have been proposed to tackle skin lesion diagnosis, most of them based in deep convolutional neural networks. However, recent advances in computer vision achieved state-of-art results in many tasks, notably Transformer-based networks. We explore and evaluate advances in computer vision architectures, training methods and multimodal feature fusion for skin lesion diagnosis task. Experiments show that PiT ($0.800 \pm 0.006$), CoaT ($0.780 \pm 0.024$) and ViT ($0.771 \pm 0.018$) backbone models with MetaBlock fusion achieved state-of-art results for balanced accuracy metric in PAD-UFES-20 dataset.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
Geometric aspects of Young Integral: decomposition of flows
Authors:
Lourival Lima,
Paulo Ruffino,
Pedro Catuogno
Abstract:
In this paper we study geometric aspects of dynamics generated by Young differential equations (YDE) driven by $α$-Hölder trajectories with $α\in (1/2, 1)$. We present a number of properties and geometrical constructions on this low regularity context: Young Itô geometrical formula, horizontal lift in principal fibre bundles, parallel transport, covariant derivative, development and anti-developme…
▽ More
In this paper we study geometric aspects of dynamics generated by Young differential equations (YDE) driven by $α$-Hölder trajectories with $α\in (1/2, 1)$. We present a number of properties and geometrical constructions on this low regularity context: Young Itô geometrical formula, horizontal lift in principal fibre bundles, parallel transport, covariant derivative, development and anti-development, among others. Our main application here is a geometrical decomposition of flows generated by YDEs according to diffeomorphisms generated by complementary distributions (integrable or not). The proof of existence of this decomposition is based on an Young Itô-Kunita formula for $α$-H{ö}lder paths proved by Castrequini and Catuogno (Chaos Solitons Fractals, 2022).
△ Less
Submitted 7 April, 2022;
originally announced April 2022.
-
The spectrum consistency of fractional quantum Hall effect model
Authors:
O. M. Del Cima,
L. S. Lima,
E. S. Miranda
Abstract:
The spectrum consistency of the three fermion family $U(1)\times U(1)$ quantum electrodynamics in three space-time dimensions, proposed by Kaplan and Sen [Phys. Rev. Lett. 124 (2020) 131601], is analyzed.
The spectrum consistency of the three fermion family $U(1)\times U(1)$ quantum electrodynamics in three space-time dimensions, proposed by Kaplan and Sen [Phys. Rev. Lett. 124 (2020) 131601], is analyzed.
△ Less
Submitted 5 April, 2022;
originally announced April 2022.
-
The TESS Triple-9 Catalog: 999 uniformly vetted candidate exoplanets
Authors:
Luca Cacciapuoti,
Veselin B. Kostov,
Marc Kuchner,
Elisa V. Quintana,
Knicole D. Colón,
Jonathan Brande,
Susan E. Mullally,
Quadry Chance,
Jessie L. Christiansen,
John P. Ahlers,
Marco Z. Di Fraia,
Hugo A. Durantini Luca,
Riccardo M. Ienco,
Francesco Gallo,
Lucas T. de Lima,
Michiharu Hyogo,
Marc Andrés-Carcasona,
Aline U. Fornear,
Julien S. de Lambilly,
Ryan Salik,
John M. Yablonsky,
Shaun Wallace,
Sovan Acharya
Abstract:
The Transiting Exoplanet Survey Satellite (TESS) has detected thousands of exoplanet candidates since 2018, most of which have yet to be confirmed. A key step in the confirmation process of these candidates is ruling out false positives through vetting. Vetting also eases the burden on follow-up observations, provides input for demographics studies, and facilitates training machine learning algori…
▽ More
The Transiting Exoplanet Survey Satellite (TESS) has detected thousands of exoplanet candidates since 2018, most of which have yet to be confirmed. A key step in the confirmation process of these candidates is ruling out false positives through vetting. Vetting also eases the burden on follow-up observations, provides input for demographics studies, and facilitates training machine learning algorithms. Here we present the TESS Triple-9 (TT9) catalog -- a uniformly-vetted catalog containing dispositions for 999 exoplanet candidates listed on ExoFOP-TESS, known as TESS Objects of Interest (TOIs). The TT9 was produced using the Discovery And Vetting of Exoplanets pipeline, DAVE, and utilizing the power of citizen science as part of the Planet Patrol project. More than 70% of the TOIs listed in the TT9 pass our diagnostic tests, and are thus marked as true planetary candidates. We flagged 144 candidates as false positives, and identified 146 as potential false positives. At the time of writing, the TT9 catalog contains ~20% of the entire ExoFOP-TESS TOIs list, demonstrates the synergy between automated tools and citizen science, and represents the first stage of our efforts to vet all TOIs. The DAVE generated results are publicly available on ExoFOP-TESS.
△ Less
Submitted 29 March, 2022;
originally announced March 2022.
-
Perspectives on risk prioritization of data center vulnerabilities using rank aggregation and multi-objective optimization
Authors:
Bruno Grisci,
Gabriela Kuhn,
Felipe Colombelli,
Vítor Matter,
Leomar Lima,
Karine Heinen,
Mauricio Pegoraro,
Marcio Borges,
Sandro Rigo,
Jorge Barbosa,
Rodrigo da Rosa Righi,
Cristiano André da Costa,
Gabriel de Oliveira Ramos
Abstract:
Nowadays, data has become an invaluable asset to entities and companies, and kee** it secure represents a major challenge. Data centers are responsible for storing data provided by software applications. Nevertheless, the number of vulnerabilities has been increasing every day. Managing such vulnerabilities is essential for building a reliable and secure network environment. Releasing patches to…
▽ More
Nowadays, data has become an invaluable asset to entities and companies, and kee** it secure represents a major challenge. Data centers are responsible for storing data provided by software applications. Nevertheless, the number of vulnerabilities has been increasing every day. Managing such vulnerabilities is essential for building a reliable and secure network environment. Releasing patches to fix security flaws in software is a common practice to handle these vulnerabilities. However, prioritization becomes crucial for organizations with an increasing number of vulnerabilities since time and resources to fix them are usually limited. This review intends to present a survey of vulnerability ranking techniques and promote a discussion on how multi-objective optimization could benefit the management of vulnerabilities risk prioritization. The state-of-the-art approaches for risk prioritization were reviewed, intending to develop an effective model for ranking vulnerabilities in data centers. The main contribution of this work is to point out multi-objective optimization as a not commonly explored but promising strategy to prioritize vulnerabilities, enabling better time management and increasing security.
△ Less
Submitted 12 February, 2022;
originally announced February 2022.
-
A visualization tool for data analysis on higher education dropout: a case study at UFES
Authors:
Pedro P. Ladeira,
Leandro M. de Lima,
Renato A. Krohling
Abstract:
Through the analysis of cultural, socioeconomic and academic performance aspects it is possible to map the profile of the students and their motivations to drop out. This article aims to create a computational tool for data visualization that allows drawing the profile of students to support educational institutions managers in the definition of dropout avoidance policies. We present a method to t…
▽ More
Through the analysis of cultural, socioeconomic and academic performance aspects it is possible to map the profile of the students and their motivations to drop out. This article aims to create a computational tool for data visualization that allows drawing the profile of students to support educational institutions managers in the definition of dropout avoidance policies. We present a method to treat data collected by higher education institutions over the years, analyze them to understand the dropout and provide that information to the university and the general public. Eight questions were proposed to clarify the dropout from the Federal University of Espírito Santo, Brazil. The questions were answered through the dashboard that helps to understand the causes of dropout. It is expected that this tool can be used by others educational institutions to draw student profiles contributing to possible resolution of the problem.
△ Less
Submitted 29 January, 2022;
originally announced January 2022.
-
LegalNLP -- Natural Language Processing methods for the Brazilian Legal Language
Authors:
Felipe Maia Polo,
Gabriel Caiaffa Floriano Mendonça,
Kauê Capellato J. Parreira,
Lucka Gianvechio,
Peterson Cordeiro,
Jonathan Batista Ferreira,
Leticia Maria Paz de Lima,
Antônio Carlos do Amaral Maia,
Renato Vicente
Abstract:
We present and make available pre-trained language models (Phraser, Word2Vec, Doc2Vec, FastText, and BERT) for the Brazilian legal language, a Python package with functions to facilitate their use, and a set of demonstrations/tutorials containing some applications involving them. Given that our material is built upon legal texts coming from several Brazilian courts, this initiative is extremely he…
▽ More
We present and make available pre-trained language models (Phraser, Word2Vec, Doc2Vec, FastText, and BERT) for the Brazilian legal language, a Python package with functions to facilitate their use, and a set of demonstrations/tutorials containing some applications involving them. Given that our material is built upon legal texts coming from several Brazilian courts, this initiative is extremely helpful for the Brazilian legal field, which lacks other open and specific tools and language models. Our main objective is to catalyze the use of natural language processing tools for legal texts analysis by the Brazilian industry, government, and academia, providing the necessary tools and accessible material.
△ Less
Submitted 5 October, 2021;
originally announced October 2021.
-
Topic Model Robustness to Automatic Speech Recognition Errors in Podcast Transcripts
Authors:
Raluca Alexandra Fetic,
Mikkel Jordahn,
Lucas Chaves Lima,
Rasmus Arpe Fogh Egebæk,
Martin Carsten Nielsen,
Benjamin Biering,
Lars Kai Hansen
Abstract:
For a multilingual podcast streaming service, it is critical to be able to deliver relevant content to all users independent of language. Podcast content relevance is conventionally determined using various metadata sources. However, with the increasing quality of speech recognition in many languages, utilizing automatic transcriptions to provide better content recommendations becomes possible. In…
▽ More
For a multilingual podcast streaming service, it is critical to be able to deliver relevant content to all users independent of language. Podcast content relevance is conventionally determined using various metadata sources. However, with the increasing quality of speech recognition in many languages, utilizing automatic transcriptions to provide better content recommendations becomes possible. In this work, we explore the robustness of a Latent Dirichlet Allocation topic model when applied to transcripts created by an automatic speech recognition engine. Specifically, we explore how increasing transcription noise influences topics obtained from transcriptions in Danish; a low resource language. First, we observe a baseline of cosine similarity scores between topic embeddings from automatic transcriptions and the descriptions of the podcasts written by the podcast creators. We then observe how the cosine similarities decrease as transcription noise increases and conclude that even when automatic speech recognition transcripts are erroneous, it is still possible to obtain high-quality topic embeddings from the transcriptions.
△ Less
Submitted 25 September, 2021;
originally announced September 2021.
-
Limiting shape for First-Passage Percolation models on Random Geometric Graphs
Authors:
Cristian F. Coletti,
Lucas R. de Lima,
Alexander Hinsen,
Benedikt Jahnel,
Daniel Valesin
Abstract:
Let a random geometric graph be defined in the supercritical regime for the existence of a unique infinite connected component in Euclidean space. Consider the first-passage percolation model with independent and identically distributed random variables on the random infinite connected component. We provide sufficient conditions for the existence of the asymptotic shape and we show that the shape…
▽ More
Let a random geometric graph be defined in the supercritical regime for the existence of a unique infinite connected component in Euclidean space. Consider the first-passage percolation model with independent and identically distributed random variables on the random infinite connected component. We provide sufficient conditions for the existence of the asymptotic shape and we show that the shape is an Euclidean ball. We give some examples exhibiting the result for Bernoulli percolation and the Richardson model. For the Richardson model we further show that it converges weakly to a nonstandard branching process in the joint limit of large intensities and slow passage times.
△ Less
Submitted 10 January, 2023; v1 submitted 16 September, 2021;
originally announced September 2021.
-
Seebeck and Nernst effects in topological insulator: the case of strained HgTe
Authors:
Francisco J. Peña,
Oscar Negrete,
Ning Ma,
Patricio Vargas,
Mario Reis,
Leandro R. F. Lima
Abstract:
We theoretically study the thermoelectric transport properties of strained HgTe in the topological insulator phase. We developed a model for the system using a Dirac Hamiltonian including the effect of strain induced by the interface between HgTe and the CdTe substrate. The conductivity tensor was explored assuming the electrons are scattered by charge impurities, while the thermopower tensor was…
▽ More
We theoretically study the thermoelectric transport properties of strained HgTe in the topological insulator phase. We developed a model for the system using a Dirac Hamiltonian including the effect of strain induced by the interface between HgTe and the CdTe substrate. The conductivity tensor was explored assuming the electrons are scattered by charge impurities, while the thermopower tensor was addressed using the Mott relation. Seebeck and Nernst responses exhibit remarkable enhancements in comparison with other two-dimensional Dirac materials, such as graphene, germanane, prosphorene and stanene. The intensity of these termoeletric responses, their dependencies with the external perpendicular magnetic field and temperature are also addressed.
△ Less
Submitted 12 July, 2021;
originally announced July 2021.