Showing 1–50 of 307 results for author: Lima, J

Carroll-Field-Jackiw term in a massless Rarita-Schwinger model

Authors: M. Gomes, J. G. Lima, T. Mariz, J. R. Nascimento, A. Yu. Petrov

Abstract: We consider the massless Rarita-Schwinger (RS) LV QED. In this theory, we introduce the gauge fixing to obtain the propagator for the RS field, and calculate the Carroll-Field-Jackiw term, which turns out to be finite and ambiguous, and only in one calculation scheme, based on the nonlinear gauge framework, the gauge independence of the result is achieved. We consider the massless Rarita-Schwinger (RS) LV QED. In this theory, we introduce the gauge fixing to obtain the propagator for the RS field, and calculate the Carroll-Field-Jackiw term, which turns out to be finite and ambiguous, and only in one calculation scheme, based on the nonlinear gauge framework, the gauge independence of the result is achieved. △ Less

Submitted 2 October, 2024; originally announced October 2024.

Comments: 15 pages

Count2Multiply: Reliable In-memory High-Radix Counting

Authors: João Paulo Cardoso de Lima, Benjamin Franklin Morris III, Asif Ali Khan, Jeronimo Castrillon, Alex K. Jones

Abstract: Big data processing has exposed the limits of compute-centric hardware acceleration due to the memory-to-processor bandwidth bottleneck. Consequently, there has been a shift towards memory-centric architectures, leveraging substantial compute parallelism by processing using the memory elements directly. Computing-in-memory (CIM) proposals for both conventional and emerging memory technologies ofte… ▽ More Big data processing has exposed the limits of compute-centric hardware acceleration due to the memory-to-processor bandwidth bottleneck. Consequently, there has been a shift towards memory-centric architectures, leveraging substantial compute parallelism by processing using the memory elements directly. Computing-in-memory (CIM) proposals for both conventional and emerging memory technologies often target massively parallel operations. However, current CIM solutions face significant challenges. For emerging data-intensive applications, such as advanced machine learning techniques and bioinformatics, where matrix multiplication is a key primitive, memristor crossbars suffer from limited write endurance and expensive write operations. In contrast, while DRAM-based solutions have successfully demonstrated multiplication using additions, they remain prohibitively slow. This paper introduces Count2Multiply, a technology-agnostic digital-CIM method for performing integer-binary and integer-integer matrix multiplications using high-radix, massively parallel counting implemented with bitwise logic operations. In addition, Count2Multiply is designed with fault tolerance in mind and leverages traditional scalable row-wise error correction codes, such as Hamming and BCH codes, to protect against the high error rates of existing CIM designs. We demonstrate Count2Multiply with a detailed application to CIM in conventional DRAM due to its ubiquity and high endurance. We also explore the acceleration potential of racetrack memories due to their shifting properties, which are natural for Count2Multiply, and their high endurance. Compared to the state-of-the-art in-DRAM method, Count2Multiply achieves up to 10x speedup, 3.8x higher GOPS/Watt, and 1.4x higher GOPS/area, while the RTM counterpart offers gains of 10x, 57x, and 3.8x. △ Less

Submitted 16 September, 2024; originally announced September 2024.

Comments: 14 pages

A $Δ$-evaluation function for column permutation problems

Authors: Júnior R. Lima, Viníicius Gandra M. Santos, Marco Antonio M. Carvalho

Abstract: In this study, a new $Δ$-evaluation method is introduced for solving a column permutation problem defined on a sparse binary matrix with the consecutive ones property. This problem models various $\mathcal{NP}$-hard problems in graph theory and industrial manufacturing contexts. The computational experiments compare the processing time of the $Δ$-evaluation method with two other methods used in we… ▽ More In this study, a new $Δ$-evaluation method is introduced for solving a column permutation problem defined on a sparse binary matrix with the consecutive ones property. This problem models various $\mathcal{NP}$-hard problems in graph theory and industrial manufacturing contexts. The computational experiments compare the processing time of the $Δ$-evaluation method with two other methods used in well-known local search procedures. The study considers a comprehensive set of instances of well-known problems, such as Gate Matrix Layout and Minimization of Open Stacks. The proposed evaluation method is generally competitive and particularly useful for large and dense instances. It can be easily integrated into local search and metaheuristic algorithms to improve solutions without significantly increasing processing time. △ Less

Submitted 7 September, 2024; originally announced September 2024.

Comments: technical report

MSC Class: 90 ACM Class: J.6

Quantum percolation on Lieb Lattices

Authors: W. S. Oliveira, J. Pimentel de Lima, Raimundo R. dos Santos

Abstract: We theoretically investigate the quantum percolation problem on Lieb lattices in two and three dimensions. We study the statistics of the energy levels through random matrix theory, and determine the level spacing distributions, which, with the aid of finite-size scaling theory, allows us to obtain accurate estimates for site- and bond percolation thresholds and critical exponents. Our numerical i… ▽ More We theoretically investigate the quantum percolation problem on Lieb lattices in two and three dimensions. We study the statistics of the energy levels through random matrix theory, and determine the level spacing distributions, which, with the aid of finite-size scaling theory, allows us to obtain accurate estimates for site- and bond percolation thresholds and critical exponents. Our numerical investigation supports a localized-delocalized transition at finite threshold, which decreases as the average coordination number increases. The precise determination of the localization length exponent enables us to claim that quantum site- and bond-percolation problems on Lieb lattices belong to the same universality class, with $ν$ decreasing with lattice dimensionality, $d$, similarly to the classical percolation problem. In addition, we verify that, in three dimensions, quantum percolation on Lieb lattices belongs to the same universality class as the Anderson impurity model. △ Less

Submitted 6 September, 2024; originally announced September 2024.

Topological characterization of modified Kane-Mele-Rashba models via local spin Chern marker

Authors: Sebastião dos Anjos Sousa Júnior, Marcus V. de S. Ferraz, José P. de Lima, Tarik P. Cysne

Abstract: In this work, we use the local spin Chern marker (LSCM) recently introduced by Baù and Marrazzo [Phys. Rev. B 110, 054203 (2024)] to analyze the topology of the ground-state electronic wave functions in a finite honeycomb lattice flake described by three distinct models. The models considered here are characterized by strong Rashba spin-orbit interaction, which leads to non-conservation of the spi… ▽ More In this work, we use the local spin Chern marker (LSCM) recently introduced by Baù and Marrazzo [Phys. Rev. B 110, 054203 (2024)] to analyze the topology of the ground-state electronic wave functions in a finite honeycomb lattice flake described by three distinct models. The models considered here are characterized by strong Rashba spin-orbit interaction, which leads to non-conservation of the spin operator, i.e., $[\mathcal{H},\hat{s}_z]\neq 0$. The three spin-orbit couplings associated with the topological aspects of the models are: 1) Standard Kane-Mele coupling, 2) Sublattice-dependent Kane-Mele coupling, and 3) In-plane ($\hat{s}_y$) polarized Kane-Mele coupling. These couplings occur in graphene grown on suitable substrates and are relevant for modeling its van der Waals heterostructures. A particular topological phase diagram characterizes each of these spin-orbit interactions, and our calculations of LSCM successfully capture its general features. We also performed a detailed analysis of the spectral properties of the energy and valence-projected spin matrix eigenvalues, which shows that both exhibit a gap that protects the marker. Our results expand the applicability of the spin Chern number method to a class of Hamiltonians with experimental relevance and may contribute to future research on the real-space topology of realistic materials. △ Less

Submitted 3 September, 2024; originally announced September 2024.

From de Sitter to de Sitter: A Thermal Approach to Running Vacuum Cosmology and the Non-Canonical Scalar Field Description

Authors: P. E. M. Almeida, R. C. Santos, J. A. S. Lima

Abstract: The entire classical cosmological history between two extreme de Sitter vacuum solutions is discussed based on Einstein's equations and non-equilibrium thermodynamics. The initial non-singular de Sitter state is characterised by a very high energy scale which is equal or smaller than the reduced Planck mass. It is structurally unstable and all the continuous created matter, energy and entropy of t… ▽ More The entire classical cosmological history between two extreme de Sitter vacuum solutions is discussed based on Einstein's equations and non-equilibrium thermodynamics. The initial non-singular de Sitter state is characterised by a very high energy scale which is equal or smaller than the reduced Planck mass. It is structurally unstable and all the continuous created matter, energy and entropy of the material component comes from the irreversible flow powered by the primeval vacuum energy density. The analytical expression describing the running vacuum is obtained from the thermal approach. It opens a new perspective to solve the old puzzles and current observational challenges plaguing the cosmic concordance model driven by a rigid vacuum. Such a scenario is also modelled through a non-canonical scalar field. It is demonstrated that the resulting scalar field model is shown to be step by step a faithful analytical representation of the thermal running vacuum cosmology. △ Less

Submitted 29 August, 2024; originally announced August 2024.

Comments: 12 pages, 3 figures

Superadiabatic Landau-Zener transitions

Authors: Jonas R. F. Lima, Guido Burkard

Abstract: The transition dynamics of two-state systems with time-dependent energy levels, first considered by Landau, Zener, Majorana, and Stückelberg, is one of the basic models in quantum physics and has been used to describe various physical systems. We propose here a generalization of the Landau-Zener (LZ) problem characterized by distinct paths of the instantaneous eigenstates as the system evolves in… ▽ More The transition dynamics of two-state systems with time-dependent energy levels, first considered by Landau, Zener, Majorana, and Stückelberg, is one of the basic models in quantum physics and has been used to describe various physical systems. We propose here a generalization of the Landau-Zener (LZ) problem characterized by distinct paths of the instantaneous eigenstates as the system evolves in time, while keeping the instantaneous eigenenergies exactly as in the standard LZ model. We show that these paths play an essential role in the transition probability $P$ between the two states, and can lead to superadiabatic transitions, i.e., to a substantial reduction of $P$. As an instructive extreme case, we identify an unconditionally adiabatic regime with $P=0$ no matter how fast the system evolves in time and regardless of the energy gap between the two levels at the anticrossing point. On the other hand, large $P$ occur even in the absence of any anticrossing point. These phenomena can be explained by observing the rotation of the instantaneous eigenvectors on the Bloch sphere. The superadiabatic LZ model can describe valley transition dynamics during charge and spin shuttling in semiconductor quantum dots. △ Less

Submitted 6 August, 2024; originally announced August 2024.

Comments: 6 pages, 3 figures

Impact of dark energy on the structure of neutron stars: The vacuum case

Authors: L. F. Araujo, J. A. S. Lima, G. Lugones

Abstract: The potential role of a cosmic vacuum dark component in the properties of neutron stars is investigated. It is assumed that the static, spherically symmetric distribution of matter within neutron stars is supported by two distinct components: ordinary matter and a vacuum fluid. For normal matter we use a set of state-of-the-art nuclear matter equations of state, each grounded in nuclear physics ex… ▽ More The potential role of a cosmic vacuum dark component in the properties of neutron stars is investigated. It is assumed that the static, spherically symmetric distribution of matter within neutron stars is supported by two distinct components: ordinary matter and a vacuum fluid. For normal matter we use a set of state-of-the-art nuclear matter equations of state, each grounded in nuclear physics experiments. The vacuum energy component is inhomogeneously distributed within the star and obeys the standard equation of state ($p_v = -ε_v$). This is characterized by an energy density fraction $y = ε_m/ (ε_m + ε_v)$, which we model as either a constant or radius-dependent. Our findings reveal that the inclusion of vacuum energy significantly affects the mass-radius relationships in neutron stars, influencing both the maximum achievable masses and the qualitative form of these relationships. Some constraints from current multimessenger observational data limiting the amount of vacuum energy within neutron stars are also discussed. △ Less

Submitted 2 August, 2024; originally announced August 2024.

Comments: 13 pages, 5 figures

Investigating Benefits and Limitations of Migrating to a Micro-Frontends Architecture

Authors: Fabio Antunes, Maria Julia Dias Lima, Marco Antônio Pereira Araújo, Davide Taibi, Marcos Kalinowski

Abstract: [Context] The adoption of micro-frontends architectures has gained traction as a promising approach to enhance modularity, scalability, and maintainability of web applications. [Goal] The primary aim of this research is to investigate the benefits and limitations of migrating a real-world application to a micro-frontends architecture from the perspective of the developers. [Method] Based on the ac… ▽ More [Context] The adoption of micro-frontends architectures has gained traction as a promising approach to enhance modularity, scalability, and maintainability of web applications. [Goal] The primary aim of this research is to investigate the benefits and limitations of migrating a real-world application to a micro-frontends architecture from the perspective of the developers. [Method] Based on the action research approach, after diagnosis and planning, we applied an intervention of migrating the target web application to a micro-frontends architecture. Thereafter, the migration was evaluated in a workshop involving the remaining developers responsible for maintaining the application. During the workshop, these developers were presented with the migrated architecture, conducted a simple maintenance task, discussed benefits and limitations in a focus group to gather insights, and answered a questionnaire on the acceptance of the technology. [Results] Developers' perceptions gathered during the focus group reinforce the benefits and limitations reported in the literature. Key benefits included enhanced flexibility in technology choices, scalability of development teams, and gradual migration of technologies. However, the increased complexity of the architecture raised concerns among developers, particularly in dependency and environment management, debugging, and integration testing. [Conclusions] While micro-frontends represent a promising technology, unresolved issues still limit their broader applicability. Developers generally perceived the architecture as useful and moderately easy to use but hesitated to adopt it. △ Less

Submitted 22 July, 2024; originally announced July 2024.

Towards Effective Collaboration between Software Engineers and Data Scientists developing Machine Learning-Enabled Systems

Authors: Gabriel Busquim, Allysson Allex Araújo, Maria Julia Lima, Marcos Kalinowski

Abstract: Incorporating Machine Learning (ML) into existing systems is a demand that has grown among several organizations. However, the development of ML-enabled systems encompasses several social and technical challenges, which must be addressed by actors with different fields of expertise working together. This paper has the objective of understanding how to enhance the collaboration between two key acto… ▽ More Incorporating Machine Learning (ML) into existing systems is a demand that has grown among several organizations. However, the development of ML-enabled systems encompasses several social and technical challenges, which must be addressed by actors with different fields of expertise working together. This paper has the objective of understanding how to enhance the collaboration between two key actors in building these systems: software engineers and data scientists. We conducted two focus group sessions with experienced data scientists and software engineers working on real-world ML-enabled systems to assess the relevance of different recommendations for specific technical tasks. Our research has found that collaboration between these actors is important for effectively developing ML-enabled systems, especially when defining data access and ML model deployment. Participants provided concrete examples of how recommendations depicted in the literature can benefit collaboration during different tasks. For example, defining clear responsibilities for each team member and creating concise documentation can improve communication and overall performance. Our study contributes to a better understanding of how to foster effective collaboration between software engineers and data scientists creating ML-enabled systems. △ Less

Submitted 22 July, 2024; originally announced July 2024.

Hilbert-Kunz multiplicity of fiber products and idealization rings

Authors: Victor H. Jorge-Pérez, Paulo D. C. Martins, J. A. Lima

Abstract: The main purpose of this paper is to provide formulas for the Hilbert-Kunz multiplicity of fiber products and idealization rings. We calculate the Hilbert-Kunz multiplicity of a fiber product $R \times_T S$, with $R$, $S$ and $T$ being Noetherian local rings with common characteristic and residue field. Inspired by a work of Strazzanti and Armengou we calculate the Hilbert-Kunz multiplicity of an… ▽ More The main purpose of this paper is to provide formulas for the Hilbert-Kunz multiplicity of fiber products and idealization rings. We calculate the Hilbert-Kunz multiplicity of a fiber product $R \times_T S$, with $R$, $S$ and $T$ being Noetherian local rings with common characteristic and residue field. Inspired by a work of Strazzanti and Armengou we calculate the Hilbert-Kunz multiplicity of an idealization ring $R \ltimes M$, where $M$ is a finite $R$-module. We explore certain examples and structural consequences and obtain some bounds for the Hilbert-Kunz multiplicity. △ Less

Submitted 5 June, 2024; v1 submitted 23 May, 2024; originally announced May 2024.

Comments: 16 pages - Comments are welcome!

MSC Class: 13D40; 13H15; 13H05

Symbiotic stars in X-rays IV: XMM-Newton, Swift and TESS observations

Authors: Isabel J. Lima, G. Juan M. Luna, Koji Mukai, Alexandre S. Oliveira, Jennifer L. Sokoloski, Fred Walter, Natalia Palivanas, Natalia E. Nuñez, Rafael R. Souza, Rosana A. N. Araujo

Abstract: White dwarf symbiotic binaries are detected in X-rays with luminosities in the range of 10$^{30}$ to 10$^{34}$ lumcgs. Their X-ray emission arises either from the accretion disk boundary layer, from a region where the winds from both components collide or from nuclear burning on the white dwarf surface. In our continuous effort to identify X-ray emitting symbiotic stars, we studied four systems us… ▽ More White dwarf symbiotic binaries are detected in X-rays with luminosities in the range of 10$^{30}$ to 10$^{34}$ lumcgs. Their X-ray emission arises either from the accretion disk boundary layer, from a region where the winds from both components collide or from nuclear burning on the white dwarf surface. In our continuous effort to identify X-ray emitting symbiotic stars, we studied four systems using observations from the Neil Gehrels Swift Observatory and XMM-Newton satellites in X-rays and from TESS in the optical. The X-ray spectra were fit with absorbed optically thin thermal plasma models, either single- or multitemperature with kT $<$ 8 keV for all targets. Based on the characteristics of their X-ray spectra, we classified BD Cam as possible $β$-type, V1261 Ori and CD -27 8661 as $δ$-type, and confirmed NQ Gem as $β$/$δ$-type. The $δ$-type X-ray emission most likely arise in the boundary layer of the accretion disk, while in the case of BD Cam, its mostly-soft emission originates from shocks, possibly between the red giant and WD/disk winds. In general, we have found that the observed X-ray emission is powered by accretion at a low accretion rate of about 10$^{-11}$ M$_{\odot}$ yr$^{-1}$. The low ratio of X-ray to optical luminosities, however indicates that the accretion-disk boundary layer is mostly optically thick and tends to emit in the far or extreme UV. The detection of flickering in optical data provides evidence of the existence of an accretion disk. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Comments: 20 pages, 11 figures and 7 tables, accepted for publication in the Astronomy & Astrophysics

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.

Comments: 10 pages and 10 figures. arXiv admin note: substantial text overlap with arXiv:2110.01054

Journal ref: Journal of Statistical Physics (2024) 77:191

Analyzing Male Domestic Violence through Exploratory Data Analysis and Explainable Machine Learning Insights

Authors: Md Abrar Jahin, Saleh Akram Naife, Fatema Tuj Johora Lima, M. F. Mridha, Jungpil Shin

Abstract: Domestic violence, which is often perceived as a gendered issue among female victims, has gained increasing attention in recent years. Despite this focus, male victims of domestic abuse remain primarily overlooked, particularly in Bangladesh. Our study represents a pioneering exploration of the underexplored realm of male domestic violence (MDV) within the Bangladeshi context, shedding light on it… ▽ More Domestic violence, which is often perceived as a gendered issue among female victims, has gained increasing attention in recent years. Despite this focus, male victims of domestic abuse remain primarily overlooked, particularly in Bangladesh. Our study represents a pioneering exploration of the underexplored realm of male domestic violence (MDV) within the Bangladeshi context, shedding light on its prevalence, patterns, and underlying factors. Existing literature predominantly emphasizes female victimization in domestic violence scenarios, leading to an absence of research on male victims. We collected data from the major cities of Bangladesh and conducted exploratory data analysis to understand the underlying dynamics. We implemented 11 traditional machine learning models with default and optimized hyperparameters, 2 deep learning, and 4 ensemble models. Despite various approaches, CatBoost has emerged as the top performer due to its native support for categorical features, efficient handling of missing values, and robust regularization techniques, achieving 76% accuracy. In contrast, other models achieved accuracy rates in the range of 58-75%. The eXplainable AI techniques, SHAP and LIME, were employed to gain insights into the decision-making of black-box machine learning models. By shedding light on this topic and identifying factors associated with domestic abuse, the study contributes to identifying groups of people vulnerable to MDV, raising awareness, and informing policies and interventions aimed at reducing MDV. Our findings challenge the prevailing notion that domestic abuse primarily affects women, thus emphasizing the need for tailored interventions and support systems for male victims. ML techniques enhance the analysis and understanding of the data, providing valuable insights for developing effective strategies to combat this pressing social issue. △ Less

Submitted 22 March, 2024; originally announced March 2024.

On the Gluing of germs of complex analytic spaces, Betti numbers and their structure

Authors: T. H. Freitas, J. A. Lima

Abstract: In this paper we introduce new classes of gluing of complex analytic spaces germs, called weakly large, large and strongly large. We give a description of their Poincaré series and, as applications, we give numerical criteria to determine when these classes of gluing of germs of complex analytic spaces are smooth, singular, complete intersections and Gorenstein in terms of their Betti numbers. In… ▽ More In this paper we introduce new classes of gluing of complex analytic spaces germs, called weakly large, large and strongly large. We give a description of their Poincaré series and, as applications, we give numerical criteria to determine when these classes of gluing of germs of complex analytic spaces are smooth, singular, complete intersections and Gorenstein in terms of their Betti numbers. In particular, we show that the gluing of the same germ of complex analytic space along of any subspace is always a singular germ. △ Less

Submitted 20 February, 2024; originally announced February 2024.

On General fiber product rings, Poincaré series and their structure

Authors: T. H. Freitas, J. A. Lima

Abstract: The present paper deals with the investigation of the structure of general fiber product rings $R\times_TS$, where $R$, $S$ and $T$ are local rings with common residue field. We show that the Poincaré series of any $R$-module over the fiber product ring $R\times_TS$ is bounded by a rational function. In addition, we give a description of ${\rm depth}(R\times_TS)$, which is an open problem in this… ▽ More The present paper deals with the investigation of the structure of general fiber product rings $R\times_TS$, where $R$, $S$ and $T$ are local rings with common residue field. We show that the Poincaré series of any $R$-module over the fiber product ring $R\times_TS$ is bounded by a rational function. In addition, we give a description of ${\rm depth}(R\times_TS)$, which is an open problem in this theory. As a biproduct, using the characterization of the Betti numbers over $R\times_TS$ obtained, we provide certain cases of the Cohen-Macaulayness of $R\times_TS$ and, in particular, we show that $R\times_TS$ is always non-regular. Some positive answers for the Buchsbaum-Eisenbud-Horrocks and Total rank conjectures over $R\times_TS$ are also established. △ Less

Submitted 27 June, 2024; v1 submitted 19 February, 2024; originally announced February 2024.

Comments: Comments and suggestions are welcome

MSC Class: 13D02

On Betti numbers for symmetric powers of modules

Authors: V. H. Jorge-Pérez, J. A. Lima

Abstract: Let $M$ be a finitely generated module over a local ring $(R,\mathfrak{m})$. By $\mathcal{S}_j(M)$, we denote the $j$th symmetric power of $M$ ($j$th graded component of the symmetric algebra $\mathcal{S}_R(M)$). The purpose of this paper is to investigate the minimal free resolutions $\mathcal{S}_j(M)$ as $R$-module for each $j\geq 2$ and determine the Betti numbers of $\mathcal{S}_j(M)$ in terms… ▽ More Let $M$ be a finitely generated module over a local ring $(R,\mathfrak{m})$. By $\mathcal{S}_j(M)$, we denote the $j$th symmetric power of $M$ ($j$th graded component of the symmetric algebra $\mathcal{S}_R(M)$). The purpose of this paper is to investigate the minimal free resolutions $\mathcal{S}_j(M)$ as $R$-module for each $j\geq 2$ and determine the Betti numbers of $\mathcal{S}_j(M)$ in terms of the Betti numbers of $M$. This has some applications, for example for linear type ideals $I$, we obtain formulas of the Betti numbers $I^j$ in terms of the Betti numbers of $I$. In addition, we establish upper and lower bounds of Betti numbers of $\mathcal{S}_j(M)$ in terms of Betti numbers of $M$. In particular, obtain some applications of the famous Buchsbaum-Eisenbud-Horrocks conjecture. △ Less

Submitted 14 February, 2024; originally announced February 2024.

On the Interaction between Software Engineers and Data Scientists when building Machine Learning-Enabled Systems

Authors: Gabriel Busquim, Hugo Villamizar, Maria Julia Lima, Marcos Kalinowski

Abstract: In recent years, Machine Learning (ML) components have been increasingly integrated into the core systems of organizations. Engineering such systems presents various challenges from both a theoretical and practical perspective. One of the key challenges is the effective interaction between actors with different backgrounds who need to work closely together, such as software engineers and data scie… ▽ More In recent years, Machine Learning (ML) components have been increasingly integrated into the core systems of organizations. Engineering such systems presents various challenges from both a theoretical and practical perspective. One of the key challenges is the effective interaction between actors with different backgrounds who need to work closely together, such as software engineers and data scientists. This paper presents an exploratory case study to understand the current interaction and collaboration dynamics between these roles in ML projects. We conducted semi-structured interviews with four practitioners with experience in software engineering and data science of a large ML-enabled system project and analyzed the data using reflexive thematic analysis. Our findings reveal several challenges that can hinder collaboration between software engineers and data scientists, including differences in technical expertise, unclear definitions of each role's duties, and the lack of documents that support the specification of the ML-enabled system. We also indicate potential solutions to address these challenges, such as fostering a collaborative culture, encouraging team communication, and producing concise system documentation. This study contributes to understanding the complex dynamics between software engineers and data scientists in ML projects and provides insights for improving collaboration and communication in this context. We encourage future studies investigating this interaction in other projects. △ Less

Submitted 7 February, 2024; originally announced February 2024.

The Landscape of Compute-near-memory and Compute-in-memory: A Research and Commercial Overview

Authors: Asif Ali Khan, João Paulo C. De Lima, Hamid Farzaneh, Jeronimo Castrillon

Abstract: In today's data-centric world, where data fuels numerous application domains, with machine learning at the forefront, handling the enormous volume of data efficiently in terms of time and energy presents a formidable challenge. Conventional computing systems and accelerators are continually being pushed to their limits to stay competitive. In this context, computing near-memory (CNM) and computing… ▽ More In today's data-centric world, where data fuels numerous application domains, with machine learning at the forefront, handling the enormous volume of data efficiently in terms of time and energy presents a formidable challenge. Conventional computing systems and accelerators are continually being pushed to their limits to stay competitive. In this context, computing near-memory (CNM) and computing-in-memory (CIM) have emerged as potentially game-changing paradigms. This survey introduces the basics of CNM and CIM architectures, including their underlying technologies and working principles. We focus particularly on CIM and CNM architectures that have either been prototyped or commercialized. While surveying the evolving CIM and CNM landscape in academia and industry, we discuss the potential benefits in terms of performance, energy, and cost, along with the challenges associated with these cutting-edge computing paradigms. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Full-Stack Optimization for CAM-Only DNN Inference

Authors: João Paulo C. de Lima, Asif Ali Khan, Luigi Carro, Jeronimo Castrillon

Abstract: The accuracy of neural networks has greatly improved across various domains over the past years. Their ever-increasing complexity, however, leads to prohibitively high energy demands and latency in von Neumann systems. Several computing-in-memory (CIM) systems have recently been proposed to overcome this, but trade-offs involving accuracy, hardware reliability, and scalability for large models rem… ▽ More The accuracy of neural networks has greatly improved across various domains over the past years. Their ever-increasing complexity, however, leads to prohibitively high energy demands and latency in von Neumann systems. Several computing-in-memory (CIM) systems have recently been proposed to overcome this, but trade-offs involving accuracy, hardware reliability, and scalability for large models remain a challenge. Additionally, for some CIM designs, the activation movement still requires considerable time and energy. This paper explores the combination of algorithmic optimizations for ternary weight neural networks and associative processors (APs) implemented using racetrack memory (RTM). We propose a novel compilation flow to optimize convolutions on APs by reducing their arithmetic intensity. By leveraging the benefits of RTM-based APs, this approach substantially reduces data transfers within the memory while addressing accuracy, energy efficiency, and reliability concerns. Concretely, our solution improves the energy efficiency of ResNet-18 inference on ImageNet by 7.5x compared to crossbar in-memory accelerators while retaining software accuracy. △ Less

Submitted 23 January, 2024; originally announced January 2024.

Comments: To be presented at DATE24

Bar Properties as a Function of Wavelength: A Local Baseline with S4G for High-Redshift Studies

Authors: Karín Menéndez-Delmestre, Thiago S. Gonçalves, Kartik Sheth, Tomás Düringer Jacques de Lima, Taehyun Kim, Dimitri A. Gadotti, Eva Schinnerer, E. Athanassoula, Albert Bosma, Debra Meloy Elmegreen, Johan H. Knapen, Rubens E. G. Machado, Heikki Salo

Abstract: The redshift evolution of bars is an important signpost of the dynamic maturity of disk galaxies. To characterize the intrinsic evolution safe from band-shifting effects, it is necessary to gauge how bar properties vary locally as a function of wavelength. We investigate bar properties in 16 nearby galaxies from the Spitzer Survey of Stellar Structure in Galaxies (S4G) at ultraviolet, optical and… ▽ More The redshift evolution of bars is an important signpost of the dynamic maturity of disk galaxies. To characterize the intrinsic evolution safe from band-shifting effects, it is necessary to gauge how bar properties vary locally as a function of wavelength. We investigate bar properties in 16 nearby galaxies from the Spitzer Survey of Stellar Structure in Galaxies (S4G) at ultraviolet, optical and mid-infrared wavebands. Based on the ellipticity and position angle profiles from fitting elliptical isophotes to the two-dimensional light distribution, we find that both bar length and ellipticity - the latter often used as a proxy for bar strength - increase at bluer wavebands. Bars are 9% longer in the B-band than at 3.6 um. Their ellipticity increases typically by 8% in the B-band, with a significant fraction (>40%) displaying an increase up to 35%. We attribute the increase in bar length to the presence of star forming knots at the end of bars: these regions are brighter in bluer bands, stretching the bar signature further out. The increase in bar ellipticity could be driven by the apparent bulge size: the bulge is less prominent at bluer bands, allowing for thinner ellipses within the bar region. Alternatively, it could be due to younger stellar populations associated to the bar. The resulting effect is that bars appear longer and thinner at bluer wavebands. This indicates that band-shifting effects are significant and need to be corrected for high-redshift studies to reliably gauge any intrinsic evolution of the bar properties with redshift. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Comments: Accepted to MNRAS

The contact binary system TYC 7275-1968-1 as seen by optical, UV and X-ray observations

Authors: Isabel J. Lima, Ana C. Mattiuci, G. Juan M. Luna, Alexandre S. Oliveira, Claudia V. Rodrigues, Natalia Palivanas, Natalia E. Nunez

Abstract: We present an analysis of publicly available X-ray and optical observations of TYC 7275-1968-1, a contact binary, red nova progenitor candidate. The long optical time series of ASAS-SN, SuperWASP, CRTS, GAIA, ASAS-3, and TESS enabled us to improve its orbital period to 0.3828071 $\pm$ 0.0000026 d. We show the presence of an X-ray and UV source associated with TYC 7275-1968-1 from Neil Gehrels Swif… ▽ More We present an analysis of publicly available X-ray and optical observations of TYC 7275-1968-1, a contact binary, red nova progenitor candidate. The long optical time series of ASAS-SN, SuperWASP, CRTS, GAIA, ASAS-3, and TESS enabled us to improve its orbital period to 0.3828071 $\pm$ 0.0000026 d. We show the presence of an X-ray and UV source associated with TYC 7275-1968-1 from Neil Gehrels Swift Observatory, that was previously assumed to be the counterpart of CD -36 8436 (V1044 Cen), a symbiotic star located 22 arcsec from the red nova candidate. The X-ray data indicate the presence of a region with a temperature of $kT$ = 0.8$^{+0.9}_{-0.1}$ keV and a luminosity of 1.4$^{+0.1}_{-0.2}$ $\times$ 10$^{31}$ erg s $^{-1}$ in the range 0.3 - 10 keV. The detection of X-rays and modulated UV emission suggests that both components of the binary are chromospherically active. △ Less

Submitted 30 October, 2023; originally announced October 2023.

Comments: 18 pages, 9 figures, 3 tables, accepted for publication in the New Astronomy

Valley splitting depending on the size and location of a silicon quantum dot

Authors: Jonas R. F. Lima, Guido Burkard

Abstract: The valley splitting (VS) of a silicon quantum dot plays an important role for the performance and scalability of silicon spin qubits. In this work we investigate the VS of a SiGe/Si/SiGe heterostructure as a function of the size and location of the silicon quantum dot. We use the effective mass approach to describe a realistic system, which takes into account concentration fluctuations at the Si/… ▽ More The valley splitting (VS) of a silicon quantum dot plays an important role for the performance and scalability of silicon spin qubits. In this work we investigate the VS of a SiGe/Si/SiGe heterostructure as a function of the size and location of the silicon quantum dot. We use the effective mass approach to describe a realistic system, which takes into account concentration fluctuations at the Si/SiGe interfaces and also the interface roughness. We predict that the size of the quantum dot is an important parameter for the enhancement of the VS and it can also induce a transition between the disorder-dominated to deterministic-enhanced regimes. Analyzing how the VS changes when we move the quantum dot in a specific direction, we obtain that the size of the quantum dot can be used to reduce the variability of the VS, which is relevant for charge/spin shuttling. △ Less

Submitted 26 October, 2023; originally announced October 2023.

Journal ref: Phys. Rev. Materials 8, 036202 (2024)

The orbital period of the nova V1674 Her as observed with TESS

Authors: G. J. M. Luna, I. J. Lima, M. Orio

Abstract: Nova Her 2021 was observed with TESS 12.62 days after its most recent outburst in June 12.537 2021. This cataclysmic variable belongs to the intermediate polar class, with an spin period of $\sim$501 s and orbital period of 0.1529 days. During TESS observations of Sector 40, the orbital period of 0.1529(1) days is detected significantly 17 days after the onset of the outburst. A modulation, of unk… ▽ More Nova Her 2021 was observed with TESS 12.62 days after its most recent outburst in June 12.537 2021. This cataclysmic variable belongs to the intermediate polar class, with an spin period of $\sim$501 s and orbital period of 0.1529 days. During TESS observations of Sector 40, the orbital period of 0.1529(1) days is detected significantly 17 days after the onset of the outburst. A modulation, of unknown origin, with a period of $\sim$0.537 days is present in the data from day 13 until day 17. △ Less

Submitted 3 October, 2023; originally announced October 2023.

Comments: Presented on the 65th Meeting of the Asociacion Argentina de Astronomia in September 2023. Will be submitted to the BAAA soon

The 2021 mutual phenomena involving the Galilean satellites of Jupiter and the inner satellite Thebe

Authors: L. M. Catani, M. Assafin, B. E. Morgado, S. Santos-Filho, F. Braga-Ribas, R. Vieira-Martins, J. Arcas-Silva, A. C. Milone, I. J. Lima, R. B. Botelho

Abstract: Astrometric studies and orbital modeling of planetary moons have contributed significantly to advancing our understanding of their orbital dynamics. These studies require precise positions measured over extended periods. In this paper, we present the results of the 2021 Brazilian Jovian mutual phenomena campaign. The data correspond to eight events between Galilean satellites, in addition to a rar… ▽ More Astrometric studies and orbital modeling of planetary moons have contributed significantly to advancing our understanding of their orbital dynamics. These studies require precise positions measured over extended periods. In this paper, we present the results of the 2021 Brazilian Jovian mutual phenomena campaign. The data correspond to eight events between Galilean satellites, in addition to a rare eclipse of Thebe, an inner satellite, totaling nine events. A geometric model along with the DE440/JUP365 ephemerides was used to reproduce the events and simulate the light curves. A Monte Carlo method and chi-squared statistics were used to fit the simulated light curves to the observations. The reflectance model adopted for our simulations was the complete version of the Oren-Nayer model. The average uncertainty of the relative positions of the Galilean satellites was 5 mas (15 km) and for the inner Thebe satellite 32 mas (96 km). The seven mutual events (nine independent observations) here analyzed represent and addition of 17% events (10% light curves) with respect to the PHEMU21 international campaign. Furthermore, our result of Thebe eclipse is only the second measurement published to date. Our results contribute to the ephemeris database, being fundamental to improving satellite orbits and thus minimizing their uncertainties. △ Less

Submitted 1 October, 2023; originally announced October 2023.

Comments: 10 pages, 5 figures

A Formalized Extension of the Substitution Lemma in Coq

Authors: Maria J. D. Lima, Flávio L. C. de Moura

Abstract: The substitution lemma is a renowned theorem within the realm of lambda-calculus theory and concerns the interactional behaviour of the metasubstitution operation. In this work, we augment the lambda-calculus's grammar with an uninterpreted explicit substitution operator, which allows the use of our framework for different calculi with explicit substitutions. Our primary contribution lies in verif… ▽ More The substitution lemma is a renowned theorem within the realm of lambda-calculus theory and concerns the interactional behaviour of the metasubstitution operation. In this work, we augment the lambda-calculus's grammar with an uninterpreted explicit substitution operator, which allows the use of our framework for different calculi with explicit substitutions. Our primary contribution lies in verifying that, despite these modifications, the substitution lemma continues to remain valid. This confirmation was achieved using the Coq proof assistant. Our formalization methodology employs a nominal approach, which provides a direct implementation of the alpha-equivalence concept. The strategy involved in variable renaming within the proofs presents a challenge, specially on ensuring an exploration of the implications of our extension to the grammar of the lambda-calculus. △ Less

Submitted 24 September, 2023; originally announced September 2023.

Comments: In Proceedings FROM 2023, arXiv:2309.12959

Journal ref: EPTCS 389, 2023, pp. 80-95

C4CAM: A Compiler for CAM-based In-memory Accelerators

Authors: Hamid Farzaneh, João Paulo Cardoso de Lima, Mengyuan Li, Asif Ali Khan, Xiaobo Sharon Hu, Jeronimo Castrillon

Abstract: Machine learning and data analytics applications increasingly suffer from the high latency and energy consumption of conventional von Neumann architectures. Recently, several in-memory and near-memory systems have been proposed to remove this von Neumann bottleneck. Platforms based on content-addressable memories (CAMs) are particularly interesting due to their efficient support for the search-bas… ▽ More Machine learning and data analytics applications increasingly suffer from the high latency and energy consumption of conventional von Neumann architectures. Recently, several in-memory and near-memory systems have been proposed to remove this von Neumann bottleneck. Platforms based on content-addressable memories (CAMs) are particularly interesting due to their efficient support for the search-based operations that form the foundation for many applications, including K-nearest neighbors (KNN), high-dimensional computing (HDC), recommender systems, and one-shot learning among others. Today, these platforms are designed by hand and can only be programmed with low-level code, accessible only to hardware experts. In this paper, we introduce C4CAM, the first compiler framework to quickly explore CAM configurations and to seamlessly generate code from high-level TorchScript code. C4CAM employs a hierarchy of abstractions that progressively lowers programs, allowing code transformations at the most suitable abstraction level. Depending on the type and technology, CAM arrays exhibit varying latencies and power profiles. Our framework allows analyzing the impact of such differences in terms of system-level performance and energy consumption, and thus supports designers in selecting appropriate designs for a given application. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Comments: 10 pages, 9 figures

Non-Abelian Carroll-Field-Jackiw term term in a Rarita-Schwinger model

Authors: M. Gomes, J. G. Lima, T. Mariz, J. R. Nascimento, A. Yu. Petrov

Abstract: In this paper, we demonstrate the possibility of generating a non-Abelian Carroll-Field-Jackiw (CFJ) term in the theory of a non-Abelian gauge field coupled to a spin-3/2 field in the presence of the constant axial vector field. Applying two regularization schemes, we prove that this term is finite and ambiguous, particularly vanishing within the 't Hooft-Veltman scheme. In this paper, we demonstrate the possibility of generating a non-Abelian Carroll-Field-Jackiw (CFJ) term in the theory of a non-Abelian gauge field coupled to a spin-3/2 field in the presence of the constant axial vector field. Applying two regularization schemes, we prove that this term is finite and ambiguous, particularly vanishing within the 't Hooft-Veltman scheme. △ Less

Submitted 30 August, 2023; originally announced August 2023.

Comments: 11 pages

Journal ref: Phys. Lett. B845, 138141 (2023)

Toward unlabeled multi-view 3D pedestrian detection by generalizable AI: techniques and performance analysis

Authors: João Paulo Lima, Diego Thomas, Hideaki Uchiyama, Veronica Teichrieb

Abstract: We unveil how generalizable AI can be used to improve multi-view 3D pedestrian detection in unlabeled target scenes. One way to increase generalization to new scenes is to automatically label target data, which can then be used for training a detector model. In this context, we investigate two approaches for automatically labeling target data: pseudo-labeling using a supervised detector and automa… ▽ More We unveil how generalizable AI can be used to improve multi-view 3D pedestrian detection in unlabeled target scenes. One way to increase generalization to new scenes is to automatically label target data, which can then be used for training a detector model. In this context, we investigate two approaches for automatically labeling target data: pseudo-labeling using a supervised detector and automatic labeling using an untrained detector (that can be applied out of the box without any training). We adopt a training framework for optimizing detector models using automatic labeling procedures. This framework encompasses different training sets/modes and multi-round automatic labeling strategies. We conduct our analyses on the publicly-available WILDTRACK and MultiviewX datasets. We show that, by using the automatic labeling approach based on an untrained detector, we can obtain superior results than directly using the untrained detector or a detector trained with an existing labeled source dataset. It achieved a MODA about 4% and 1% better than the best existing unlabeled method when using WILDTRACK and MultiviewX as target datasets, respectively. △ Less

Submitted 8 August, 2023; originally announced August 2023.

Comments: Accepted to SIBGRAPI 2023

Metallic-insulator phase transitions in the extended Harper model

Authors: João Chakrian, Marcelo L. Lyra, Jonas R. F. Lima

Abstract: In this work we investigate the transport properties of non-relativistic quantum particles on incommensurate multilayered structures with the thicknesses $w_n$ of the layers following an extended Harper model given by $w_n = w_0 |\cos(πa n^ν)|$. For the normal incidence case, which means an one-dimensional system, we obtained that for a specific range of energy, it is possible to see a metallic-in… ▽ More In this work we investigate the transport properties of non-relativistic quantum particles on incommensurate multilayered structures with the thicknesses $w_n$ of the layers following an extended Harper model given by $w_n = w_0 |\cos(πa n^ν)|$. For the normal incidence case, which means an one-dimensional system, we obtained that for a specific range of energy, it is possible to see a metallic-insulator transition with the exponent $ν$. A metallic phase is supported for $ν<1$. We also obtained that for the specific value $ν=1$ there is an alternation between metallic and insulator phases as we change the disorder strength $w_0$. When we integrate out all incidence angles, which means a two-dimensional system, the metallic-insulator transition can be seen for much larger range of energy compared to the normal incidence case. △ Less

Submitted 25 April, 2023; originally announced April 2023.

Journal ref: Physica E 158 (2024) 115887

SoftED: Metrics for Soft Evaluation of Time Series Event Detection

Authors: Rebecca Salles, Janio Lima, Rafaelli Coutinho, Esther Pacitti, Florent Masseglia, Reza Akbarinia, Chao Chen, Jonathan Garibaldi, Fabio Porto, Eduardo Ogasawara

Abstract: Time series event detection methods are evaluated mainly by standard classification metrics that focus solely on detection accuracy. However, inaccuracy in detecting an event can often result from its preceding or delayed effects reflected in neighboring detections. These detections are valuable to trigger necessary actions or help mitigate unwelcome consequences. In this context, current metrics… ▽ More Time series event detection methods are evaluated mainly by standard classification metrics that focus solely on detection accuracy. However, inaccuracy in detecting an event can often result from its preceding or delayed effects reflected in neighboring detections. These detections are valuable to trigger necessary actions or help mitigate unwelcome consequences. In this context, current metrics are insufficient and inadequate for the context of event detection. There is a demand for metrics that incorporate both the concept of time and temporal tolerance for neighboring detections. This paper introduces SoftED metrics, a new set of metrics designed for soft evaluating event detection methods. They enable the evaluation of both detection accuracy and the degree to which their detections represent events. They improved event detection evaluation by associating events and their representative detections, incorporating temporal tolerance in over 36\% of experiments compared to the usual classification metrics. SoftED metrics were validated by domain specialists that indicated their contribution to detection evaluation and method selection. △ Less

Submitted 29 May, 2024; v1 submitted 1 April, 2023; originally announced April 2023.

Comments: 19 pages

Interface and electromagnetic effects in the valley splitting of Si quantum dots

Authors: Jonas R. F. Lima, Guido Burkard

Abstract: The performance and scalability of silicon spin qubits depend directly on the value of the conduction band valley splitting. In this work, we investigate the influence of electromagnetic fields and the interface width on the valley splitting of a quantum dot in a Si/SiGe heterostructure. We propose a new three-dimensional theoretical model within the effective mass theory for the calculation of th… ▽ More The performance and scalability of silicon spin qubits depend directly on the value of the conduction band valley splitting. In this work, we investigate the influence of electromagnetic fields and the interface width on the valley splitting of a quantum dot in a Si/SiGe heterostructure. We propose a new three-dimensional theoretical model within the effective mass theory for the calculation of the valley splitting in such heterostructures that takes into account the concentration fluctuation at the interfaces and the lateral confinement. With this model, we predict that the electric field is an important parameter for valley splitting engineering, since it can shift the probability distribution away from small valley splittings for some interface widths. We also obtain a critical softness of the interfaces in the heterostructure, above which the best option for spin qubits is to consider an interface as wide as possible. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Journal ref: Mater. Quantum. Technol. 3 025004 (2023)

Gravitational Matter Creation, Multi-fluid Cosmology and Kinetic Theory

Authors: S. R. G. Trevisani, J. A. S. Lima

Abstract: A macroscopic and kinetic relativistic description for a decoupled multi-fluid cosmology endowed with gravitationally induced particle production of all components is proposed. The temperature law for each decoupled particle species is also kinetically derived. The present approach points to the possibility of an exact (semi-classical) quantum-gravitational kinetic treatment by incorporating back… ▽ More A macroscopic and kinetic relativistic description for a decoupled multi-fluid cosmology endowed with gravitationally induced particle production of all components is proposed. The temperature law for each decoupled particle species is also kinetically derived. The present approach points to the possibility of an exact (semi-classical) quantum-gravitational kinetic treatment by incorporating back reaction effects for an arbitrary set of dominant decoupled components. As an illustration we show that a cosmology driven by creation of cold dark matter and baryons (without dark energy) evolves like $Λ$CDM. However, the complete physical emulation is broken when photon creation is added to the mixture thereby pointing to a crucial test in the future. The present analysis also open up a new window to investigate the Supernova-CMB tension on the values of $H_0$, as well as the $S_8$ tension since creation of all components changes slightly the CMB results and the expansion history both at early and late times. Finally, it is also argued that cross-correlations between CMB temperature maps and the Sunyaev-Zeldovich effect may provide a crucial and accurate test confronting extended CCDM and $Λ$CDM models. △ Less

Submitted 3 March, 2023; originally announced March 2023.

Comments: 16 pages, 1 figure, accepted for publication in European Physical Journal C

Can the Universe decelerate in the future?

Authors: A. A. Escobal, J. F. Jesus, S. H. Pereira, J. A. S. Lima

Abstract: The possibility of an expanding decelerating Universe in the distant future is investigated in the context of a quintessence scalar field cosmology. Such a conceivable evolution is tested against SNe Ia and $H(z)$ cosmic chronometers data, and also through a model independent method based on Gaussian Processes. The scalar field model is an extension of the exponential Ratra-Peebles (RP) quintessen… ▽ More The possibility of an expanding decelerating Universe in the distant future is investigated in the context of a quintessence scalar field cosmology. Such a conceivable evolution is tested against SNe Ia and $H(z)$ cosmic chronometers data, and also through a model independent method based on Gaussian Processes. The scalar field model is an extension of the exponential Ratra-Peebles (RP) quintessential cosmology whose potential now depends on a pair of parameters ($α, λ)$ and predicts a decelerated expansion in the future. Different from RP approach the $α$ parameter allows for a decelerating cosmology in the future thereby frustrating the inevitable evolution for a de Sitter Cosmology as predicted by the cosmic concordance model ($Λ$CDM). The statistical model analysis is updated with the most recent SNe Ia and $H(z)$ data thereby obtaining $H_0 = 68.6\pm3.7$ km/s/Mpc, $Ω_{\Phi0} = 0.735^{+0.083}_{-0.069} $, $α< 6.56$ and $λ< 0.879 $ (at $2σ$ c.l.). It is also found that the extended RP model allows for a future deceleration both for $H(z)$ and SNe Ia data. In the (model-independent) Gaussian Processes analysis, however, future deceleration is allowed only in the case of $H(z)$ data. △ Less

Submitted 20 December, 2023; v1 submitted 3 February, 2023; originally announced February 2023.

Comments: 10 pages, 5 figures. Accepted for publication in Physical Review D

Journal ref: Phys. Rev. D 109, 023514 (2024)

Wave transmission and its universal fluctuations in one-dimensional systems with Lévy-like disorder: Schrödinger, Klein-Gordon and Dirac equations

Authors: Anderson L. R. Barbosa, Jonas R. F. Lima, Luiz Felipe C. Pereira

Abstract: We investigate the propagation of waves in one-dimensional systems with Lévy-type disorder. We perform a complete analysis of non-relativistic and relativistic wave transmission submitted to potential barriers whose width, separation or both follow Lévy distributions characterized by an exponent $0 < α<1$. For the first two cases, where one of the parameters is fixed, non-relativistic and relativi… ▽ More We investigate the propagation of waves in one-dimensional systems with Lévy-type disorder. We perform a complete analysis of non-relativistic and relativistic wave transmission submitted to potential barriers whose width, separation or both follow Lévy distributions characterized by an exponent $0 < α<1$. For the first two cases, where one of the parameters is fixed, non-relativistic and relativistic waves present anomalous localization, $\langle T \rangle \propto L^{-α}$. However, for the latter case, in which both parameters follow a Lévy distribution, non-relativistic and relativistic waves present a transition between anomalous and standard localization as the incidence energy increases relative to the barrier height. Moreover, we obtain the localization diagram delimiting anomalous and standard localization regimes, in terms of incidence angle and energy. Finally, we verify that transmission fluctuations, characterized by its standard deviation, are universal, independent of barrier architecture, wave equation type, incidence energy and angle, further extending earlier studies on electronic localization. △ Less

Submitted 17 October, 2022; originally announced October 2022.

Comments: Accepted for publication as a Regular Article in Physical Review E

Journal ref: Phys. Rev. E 106, 054127 (2022)

Bi-ordering almost-direct products of (reduced) free groups

Authors: Oscar Ocampo, Juliana Roberta Theodoro de Lima

Abstract: In this paper, we show that almost-direct products of (reduced) free groups admit (reduced) Magnus ordering. Besides the application is already used to to well known groups, we use the main result to give an ordering of some subgroups of the automorphism group of free groups and also to give an ordering of pure monomial braid groups. In this paper, we show that almost-direct products of (reduced) free groups admit (reduced) Magnus ordering. Besides the application is already used to to well known groups, we use the main result to give an ordering of some subgroups of the automorphism group of free groups and also to give an ordering of pure monomial braid groups. △ Less

Submitted 10 September, 2022; originally announced September 2022.

Comments: 10 pages

MSC Class: 20F60; 20F36

Nonradial and nonpolytropic astrophysical outflows. XI. Simulations of the circumstellar environment of RY Tau

Authors: C. Sauty, R. M. G. de Albuquerque, V. Cayatte, J. J. G. Lima, J. F. Gameiro

Abstract: Context. There are recent observational evidences that RY Tau may present two different outflow stages, a quiescent one and a more active one. We try to model that phenomenon. Aims. We have performed new 2.5D magneto-hydrodynamical simulations of the possible accretion-outflow environment of RY Tau based on analytical solutions to reduce the relaxation time. Methods. We used as initial conditions… ▽ More Context. There are recent observational evidences that RY Tau may present two different outflow stages, a quiescent one and a more active one. We try to model that phenomenon. Aims. We have performed new 2.5D magneto-hydrodynamical simulations of the possible accretion-outflow environment of RY Tau based on analytical solutions to reduce the relaxation time. Methods. We used as initial conditions the analytical self-similar solution we used to model the RY Tau micro jet. In the closed field line region of the magnetosphere we have reversed the direction of the flow and increased the accretion rate by increasing the density and the velocity. We have also implemented the heating rate and adjusted it according to the velocity of the flow. The accretion disk is treated as a boundary condition. Results. The simulations show that the stellar jet and the accreting magnetosphere attain a steady state in only a few stellar rotations, confirming the robustness and stability of self-similar solutions. Additionally, two types of behavior were observed similar to the one observed in RY Tau. Either the steady stellar outflow and magnetospheric inflow are separated by a low static force free region or the interaction between the stellar jet and the magnetospheric accretion creates coronal episodic mass ejections originating from the disk and bouncing back onto the star. Conclusions. The ratio of mass loss rate to mass accretion rate that coincides with the change of behaviour observed in RY Tau, lays within the range of ratios that have been measured during the period of the micro jet initial analysis. △ Less

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

Comments: 14 pages, 10 figures, accepted for publication in Astronomy and Astrophysics

Journal ref: A&A 664, A176 (2022)

An exact sequence for generalized string links over surfaces

Authors: Juliana Roberta Theodoro de Lima

Abstract: In this work we extend Goldberg result \cite{Goldberg} for generalized string links over closed, connected and orientable surfaces of genus $g \geq 1$, i.e., different from the sphere (up to link-homotopy). In this work we extend Goldberg result \cite{Goldberg} for generalized string links over closed, connected and orientable surfaces of genus $g \geq 1$, i.e., different from the sphere (up to link-homotopy). △ Less

Submitted 15 May, 2022; originally announced May 2022.

Comments: 10 pages, 9 figures, waiting for submission at LAJM- Latin American Journal of Mathematics. arXiv admin note: text overlap with arXiv:1811.02006

MSC Class: 55P10; 55P50; 55Q05; 55Q52; 57K10; 57M05; 57K20; 57N37

Transport Equation for Small Systems and Nonadditive Entropy

Authors: Eugenio Megias, Jose A. S. Lima, Airton Deppman

Abstract: The nonadditive entropy introduced by Tsallis in 1988 has been used in different fields and generalizes the Boltzmann entropy extending the possibilities of application of the statistical methods developed in the context of Mechanics. Here we investigate one of the last points of the theory that still are under discussion: the source term of the nonextensive transport equation. Based on a simple s… ▽ More The nonadditive entropy introduced by Tsallis in 1988 has been used in different fields and generalizes the Boltzmann entropy extending the possibilities of application of the statistical methods developed in the context of Mechanics. Here we investigate one of the last points of the theory that still are under discussion: the source term of the nonextensive transport equation. Based on a simple system, we show that the nonadditivity is a direct consequence of the phase space topology, and derive the source term that leads to the nonextensive transport equation. △ Less

Submitted 10 May, 2022; originally announced May 2022.

Comments: 8 pages

Journal ref: Mathematics 2022, 10, 1625

Generalized statistics: applications to data inverse problems with outlier-resistance

Authors: João V. T. de Lima, Sérgio Luiz E. F. da Silva, João M. de Araújo, Gilberto Corso, Gustavo Z. dos Santos Lima

Abstract: The conventional approach to data-driven inversion framework is based on Gaussian statistics that presents serious difficulties, especially in the presence of outliers in the measurements. In this work, we present maximum likelihood estimators associated with generalized Gaussian distributions in the context of Rényi, Tsallis and Kaniadakis statistics. In this regard, we analytically analyse the o… ▽ More The conventional approach to data-driven inversion framework is based on Gaussian statistics that presents serious difficulties, especially in the presence of outliers in the measurements. In this work, we present maximum likelihood estimators associated with generalized Gaussian distributions in the context of Rényi, Tsallis and Kaniadakis statistics. In this regard, we analytically analyse the outlier-resistance of each proposal through the so-called influence function. In this way, we formulate inverse problems by constructing objective functions linked to the maximum likelihood estimators. To demonstrate the robustness of the generalized methodologies, we consider an important geophysical inverse problem with high noisy data with spikes. The results reveal that the best data inversion performance occurs when the entropic index from each generalized statistic is associated with objective functions proportional to the inverse of the error amplitude. We argue that in such a limit the three approaches are resistant to outliers and are also equivalent, which suggests a lower computational cost for the inversion process due to the reduction of numerical simulations to be performed and the fast convergence of the optimization process. △ Less

Submitted 28 January, 2022; originally announced January 2022.

Comments: 17 pages, 14 figures

A simple light-trapping device from a hyperbolic metamaterial on a catenoid

Authors: Frankbelson dos Santos Azevedo, José Diêgo M. de Lima, Antônio de Pádua Santos, Tiago A. E. Ferreira, Fernando Moraes

Abstract: By using both ray and wave optics, we show that a simple device which consists on a film of hyperbolic metamaterial on the surface of a catenoid can be used to trap light. From the study of the trajectories, we observe a tendency for the light rays to wrap, and eventually be trapped, around the neck of the device. The wave equation appears to have an effective attractive potential, and their solut… ▽ More By using both ray and wave optics, we show that a simple device which consists on a film of hyperbolic metamaterial on the surface of a catenoid can be used to trap light. From the study of the trajectories, we observe a tendency for the light rays to wrap, and eventually be trapped, around the neck of the device. The wave equation appears to have an effective attractive potential, and their solutions confirm the bound states suggested by the trajectories. The relevant equations are solved numerically using neural networks. △ Less

Submitted 28 December, 2021; originally announced December 2021.

Comments: 5 pages, 4 figures

Tolman-Ehrenfest-Klein Law in non-Riemannian geometries

Authors: J. A. S. Lima, J. Santos

Abstract: Heat always flows from hotter to a colder temperature until thermal equilibrium be finally restored in agreement with the usual (zeroth, first and second) laws of thermodynamics. However, Tolman and Ehrenfest demonstrated that the relation between inertia and weight uniting all forms of energy in the framework of general relativity implies that the standard equilibrium condition is violated in ord… ▽ More Heat always flows from hotter to a colder temperature until thermal equilibrium be finally restored in agreement with the usual (zeroth, first and second) laws of thermodynamics. However, Tolman and Ehrenfest demonstrated that the relation between inertia and weight uniting all forms of energy in the framework of general relativity implies that the standard equilibrium condition is violated in order to maintain the validity of the first and second law of thermodynamics. Here we demonstrate that the thermal equilibrium condition for a static self-gravitating fluid, besides being violated, is also heavily dependent on the underlying spacetime geometry (whether Riemannian or non-Riemannian). As a particular example, a new equilibrium condition is deduced for a large class of Weyl and f(R) type gravity theories. Such results suggest that experiments based on the foundations of the heat theory (thermal sector) may also be used for confronting gravity theories and prospect the intrinsic geometric nature of the spacetime structure. △ Less

Submitted 22 December, 2021; originally announced December 2021.

Comments: 5 pages, no figures. Accepted for publication in Physical Review D

Unsupervised machine learning approaches to the $q$-state Potts model

Authors: Andrea Tirelli, Danyella O. Carvalho, Lucas A. Oliveira, J. P. Lima, Natanael C. Costa, Raimundo R. dos Santos

Abstract: In this paper with study phase transitions of the $q$-state Potts model, through a number of unsupervised machine learning techniques, namely Principal Component Analysis (PCA), $k$-means clustering, Uniform Manifold Approximation and Projection (UMAP), and Topological Data Analysis (TDA). Even though in all cases we are able to retrieve the correct critical temperatures $T_c(q)$, for $q = 3, 4$ a… ▽ More In this paper with study phase transitions of the $q$-state Potts model, through a number of unsupervised machine learning techniques, namely Principal Component Analysis (PCA), $k$-means clustering, Uniform Manifold Approximation and Projection (UMAP), and Topological Data Analysis (TDA). Even though in all cases we are able to retrieve the correct critical temperatures $T_c(q)$, for $q = 3, 4$ and $5$, results show that non-linear methods as UMAP and TDA are less dependent on finite size effects, while still being able to distinguish between first and second order phase transitions. This study may be considered as a benchmark for the use of different unsupervised machine learning algorithms in the investigation of phase transitions. △ Less

Submitted 18 March, 2022; v1 submitted 13 December, 2021; originally announced December 2021.

Comments: Added computation of critical exponents; exposition improved

Deep Learning Analysis of Cardiac MRI in Legacy Datasets: Multi-Ethnic Study of Atherosclerosis

Authors: Avan Suinesiaputra, Charlene A Mauger, Bharath Ambale-Venkatesh, David A Bluemke, Josefine Dam Gade, Kathleen Gilbert, Mark Janse, Line Sofie Hald, Conrad Werkhoven, Colin Wu, Joao A Lima, Alistair A Young

Abstract: The shape and motion of the heart provide essential clues to understanding the mechanisms of cardiovascular disease. With the advent of large-scale cardiac imaging data, statistical atlases become a powerful tool to provide automated and precise quantification of the status of patient-specific heart geometry with respect to reference populations. The Multi-Ethnic Study of Atherosclerosis (MESA), b… ▽ More The shape and motion of the heart provide essential clues to understanding the mechanisms of cardiovascular disease. With the advent of large-scale cardiac imaging data, statistical atlases become a powerful tool to provide automated and precise quantification of the status of patient-specific heart geometry with respect to reference populations. The Multi-Ethnic Study of Atherosclerosis (MESA), begun in 2000, was the first large cohort study to incorporate cardiovascular MRI in over 5000 participants, and there is now a wealth of follow-up data over 20 years. Building a machine learning based automated analysis is necessary to extract the additional imaging information necessary for expanding original manual analyses. However, machine learning tools trained on MRI datasets with different pulse sequences fail on such legacy datasets. Here, we describe an automated atlas construction pipeline using deep learning methods applied to the legacy cardiac MRI data in MESA. For detection of anatomical cardiac landmark points, a modified VGGNet convolutional neural network architecture was used in conjunction with a transfer learning sequence between two-chamber, four-chamber, and short-axis MRI views. A U-Net architecture was used for detection of the endocardial and epicardial boundaries in short axis images. Both network architectures resulted in good segmentation and landmark detection accuracies compared with inter-observer variations. Statistical relationships with common risk factors were similar between atlases derived from automated vs manual annotations. The automated atlas can be employed in future studies to examine the relationships between cardiac morphology and future events. △ Less

Submitted 28 October, 2021; originally announced October 2021.

Percolation on Lieb lattices

Authors: W. S. Oliveira, J. Pimentel de Lima, Natanael C. Costa, R. R. dos Santos

Abstract: We study site- and bond-percolation on a class of lattices referred to as Lieb lattices. In two dimensions the Lieb lattice (LL) is also known as the decorated square lattice, or as the CuO$_2$ lattice; in three dimensions it can be generalized to a layered Lieb lattice (LLL) or to a perovskite lattice (PL). Emergent electronic phenomena, such as topological states and ferrimagnetism, have been pr… ▽ More We study site- and bond-percolation on a class of lattices referred to as Lieb lattices. In two dimensions the Lieb lattice (LL) is also known as the decorated square lattice, or as the CuO$_2$ lattice; in three dimensions it can be generalized to a layered Lieb lattice (LLL) or to a perovskite lattice (PL). Emergent electronic phenomena, such as topological states and ferrimagnetism, have been predicted to occur in these systems, which may be realized in optical lattices as well as in solid state. Since the study of the interplay between quantum fluctuations and disorder in these systems requires the availability of accurate estimates of geometrical critical parameters, such as percolation thresholds and correlation length exponents, here we use Monte Carlo simulations to obtain these data for Lieb lattices when a site (or bond) is present with probability $p$. We have found that the thresholds satisfy a mean-field (Bethe lattice) trend, namely that the critical concentration, $p_c$, increases as the average coordination number decreases; our estimates for the correlation length exponent are in line with the expectation that there is no change in the universality class. △ Less

Submitted 23 September, 2021; originally announced September 2021.

Comments: 5 pages, 5 figures

Thermofractals and the Nonextensive Finite Ideal Gas

Authors: A. Deppman, J. A. S. Lima

Abstract: The underlying connection between the degrees of freedom of a system and its nonextensive thermodynamic behavior is addressed. The problem is handled by starting from a thermodynamical system with fractal structure and its analytical reduction to a finite ideal gas. In the limit where the thermofractal has no internal structure, it is found that it reproduces the basic properties of a nonextensive… ▽ More The underlying connection between the degrees of freedom of a system and its nonextensive thermodynamic behavior is addressed. The problem is handled by starting from a thermodynamical system with fractal structure and its analytical reduction to a finite ideal gas. In the limit where the thermofractal has no internal structure, it is found that it reproduces the basic properties of a nonextensive ideal gas with a finite number of particles as recently discussed (Lima \& Deppman, Phys. Rev. E 101, 040102(R) 2020). In particular, the entropic $q$-index is calculated in terms of the number of particles both for the nonrelativistic and relativistic cases. In light of such results, the possible nonadditivity or additivity of the entropic structures are also critically analysed and new expressions to the entropy (per particle) for a composed system of thermofractals and its limiting case are derived. △ Less

Submitted 16 September, 2021; originally announced September 2021.

Comments: 6 pages, no figures

The two-dimensional $t$-$t^{\prime}$ Holstein model

Authors: Maykon V. Araújo, José P. de Lima, Sandro Sorella, Natanael C. Costa

Abstract: The competition and interplay between charge-density wave and superconductivity have become a central subject for quasi-2D compounds. Some of these materials, such as the transition-metal dichalcogenides, exhibit strong electron-phonon coupling, an interaction that may favor both phases, depending on the external parameters, such as hydrostatic pressure. In view of this, here we analyze the single… ▽ More The competition and interplay between charge-density wave and superconductivity have become a central subject for quasi-2D compounds. Some of these materials, such as the transition-metal dichalcogenides, exhibit strong electron-phonon coupling, an interaction that may favor both phases, depending on the external parameters, such as hydrostatic pressure. In view of this, here we analyze the single-band $t$-$t^{\prime}$ Holstein model in the square lattice, adding a next-nearest neighbor hopping $t^{\prime}$ in order to play the role of the external pressure. To this end, we perform unbiased quantum Monte Carlo simulations with an efficient inversion sampling technique appropriately devised for this model. Such a methodology drastically reduces the autocorrelation time, and increases the efficiency of the Monte Carlo approach. By investigating the charge-charge correlation functions, we obtain the behavior of the critical temperature as a function of $t^{\prime}$, and from compressibility analysis, we show that a first-order metal-to-insulator phase transition occurs. We also provide a low-temperature phase diagram for the model. △ Less

Submitted 9 September, 2021; originally announced September 2021.

Comments: 8 pages, 5 figures

Diffusive Majority Vote Model

Authors: J. R. S. Lima, F. W. S. Lima, T. F. A. Alves, G. A. Alves, A. Macedo-Filho

Abstract: We define a stochastic reaction-diffusion process that describes a consensus formation in a non-sedentary population. The process is a diffusive version of the Majority Vote model, where the state update follows two stages: in the first stage, spins are allowed to hop to neighbor nodes with different probabilities for the respective spin orientation, and in the second stage, the spins in the same… ▽ More We define a stochastic reaction-diffusion process that describes a consensus formation in a non-sedentary population. The process is a diffusive version of the Majority Vote model, where the state update follows two stages: in the first stage, spins are allowed to hop to neighbor nodes with different probabilities for the respective spin orientation, and in the second stage, the spins in the same node can change its values according to the majority vote update rule. The model presents a consensus formation phase when concentration is greater than a threshold value, and a paramagnetic phase on the converse for equal diffusion probabilities, i.e., maintaining the inversion symmetry. The threshold vanishes for unequal diffusion probabilities, which means that the system has a consensus state for all values of population densities. The stationary collective opinion is dominated by the individuals that diffuse more. △ Less

Submitted 27 August, 2021; originally announced August 2021.

Comments: 13 pages, 6 figures

The transverse field XY model on the diamond chain

Authors: Sérgio Mikael V. S. Rosa, José Pimentel de Lima, Natanael C. Costa, Lindberg Lima Gonçalves

Abstract: We consider the $s=1/2$ transverse field $XY$ model on the frustrated diamond chain, considering anisotropic exchange parameters between nearest-neighbor spins. To this end, we employ three different methodologies: mean-field approximations, and state-of-the-art exact diagonalizations (ED), and density matrix renormalization group (DMRG) simulations. Within a mean-field theory, the Hamiltonian is… ▽ More We consider the $s=1/2$ transverse field $XY$ model on the frustrated diamond chain, considering anisotropic exchange parameters between nearest-neighbor spins. To this end, we employ three different methodologies: mean-field approximations, and state-of-the-art exact diagonalizations (ED), and density matrix renormalization group (DMRG) simulations. Within a mean-field theory, the Hamiltonian is fermionized by introducing the Jordan-Wigner transformation, and the interacting (many-body) terms are approximated to single-particle ones by a Hartree-Fock approach. We analyze the behavior of the induced and spontaneous magnetization as functions of the external field, investigating the magnetic properties at the ground state, and at finite temperatures. Interestingly, the mean-field results are in reasonable agreement with the ED and DMRG ones, in particular for the distorted chain, or at an intermediate/large spin anisotropy parameter. As our key results, we present phase diagrams anisotropy $\times$ magnetic field at zero temperature, discussing the emergence of phases and their quantum critical points. Finally, our analysis at finite temperature provides a range of parameters in which an unusual behavior of the induced magnetization occurs -- with it increasing as a function of temperature. This work presents a \textit{global} picture of the XY model on the diamond chain, which may be useful to understand features of magnetism in more complex geometries. △ Less

Submitted 9 August, 2021; originally announced August 2021.

Comments: 10 pages, 9 figures

Breaking the degeneracy in magnetic cataclysmic variable X-ray spectral modeling using X-ray light curves

Authors: Diogo Belloni, Claudia V. Rodrigues, Matthias R. Schreiber, Manuel Castro, Joaquim E. R. Costa, Takayuki Hayashi, Isabel J. Lima, Gerardo J. M. Luna, Murilo Martins, Alexandre S. Oliveira, Steven G. Parsons, Karleyne M. G. Silva, Paulo E. Stecchini, Teresa J. Stuchi, Monica Zorotovic

Abstract: We present an analysis of mock X-ray spectra and light curves of magnetic cataclysmic variables using an upgraded version of the 3D CYCLOPS code. This 3D representation of the accretion flow allows us to properly model total and partial occultation of the post-shock region by the white dwarf as well as the modulation of the X-ray light curves due to the phase-dependent extinction of the pre-shock… ▽ More We present an analysis of mock X-ray spectra and light curves of magnetic cataclysmic variables using an upgraded version of the 3D CYCLOPS code. This 3D representation of the accretion flow allows us to properly model total and partial occultation of the post-shock region by the white dwarf as well as the modulation of the X-ray light curves due to the phase-dependent extinction of the pre-shock region. We carried out detailed post-shock region modeling in a four-dimensional parameter space by varying the white dwarf mass and magnetic field strength as well as the magnetosphere radius and the specific accretion rate. To calculate the post-shock region temperature and density profiles, we assumed equipartition between ions and electrons, took into account the white dwarf gravitational potential, the finite size of the magnetosphere and a dipole-like magnetic field geometry, and considered cooling by both bremsstrahlung and cyclotron radiative processes. By investigating the impact of the parameters on the resulting X-ray continuum spectra, we show that there is an inevitable degeneracy in the four-dimensional parameter space investigated here, which compromises X-ray continuum spectral fitting strategies and can lead to incorrect parameter estimates. However, the inclusion of X-ray light curves in different energy ranges can break this degeneracy, and it therefore remains, in principle, possible to use X-ray data to derive fundamental parameters of magnetic cataclysmic variables, which represents an essential step toward understanding their formation and evolution. △ Less

Submitted 22 July, 2021; originally announced July 2021.

Comments: 42 pages, accepted for publication in The Astrophysical Journal Supplement Series