Showing 1–50 of 283 results for author: Lima, C

Impact of stratified rotation on the moment of inertia of neutron stars

Authors: Jonas P. Pereira, Tulio Ottoni, Jaziel G. Coelho, Jorge A. Rueda, Rafael C. R. de Lima

Abstract: Rigid (Uniform) rotation is usually assumed when investigating the properties of mature neutron stars (NSs). Although it simplifies their description, it is an assumption because we cannot observe the NS's innermost parts. Here, we analyze the structure of NSs in the simple case of ''almost rigidity,'' where the innermost and outermost parts rotate with different angular velocities. This is motiva… ▽ More Rigid (Uniform) rotation is usually assumed when investigating the properties of mature neutron stars (NSs). Although it simplifies their description, it is an assumption because we cannot observe the NS's innermost parts. Here, we analyze the structure of NSs in the simple case of ''almost rigidity,'' where the innermost and outermost parts rotate with different angular velocities. This is motivated by the possibility of NSs having superfluid interiors, phase transitions, and angular momentum transfer during accretion processes. We show that, in general relativity, the relative difference in angular velocity between different parts of an NS induces a change in the moment of inertia compared to that of rigid rotation. The relative change depends nonlinearly on where the angular velocity jump occurs inside the NS. For the same observed angular velocity in both configurations, if the jump location is close to the star's surface-which is possible in central compact objects (CCOs) and accreting stars-the relative change in the moment of inertia is close to that of the angular velocity (which is expected due to total angular momentum aspects). If the jump occurs deep within the NS, for instance, due to phase transitions or superfluidity, smaller relative changes in the moment of inertia are observed; we found that if it is at a radial distance smaller than approximately $40\%$ of the star's radius, the relative changes are negligible. Additionally, we outline the relevance of systematic uncertainties that nonrigidity could have on some NS observables, such as radius, ellipticity, and the rotational energy budget of pulsars, which could explain the X-ray luminosity of some sources. Finally, we also show that non-rigidity weakens the universal $I$-Love-$Q$ relations. △ Less

Submitted 17 October, 2024; originally announced October 2024.

Comments: 12 pages, 5 figures. Accepted for publication in PRD

Online 6DoF Pose Estimation in Forests using Cross-View Factor Graph Optimisation and Deep Learned Re-localisation

Authors: Lucas Carvalho de Lima, Ethan Griffiths, Maryam Haghighat, Simon Denman, Clinton Fookes, Paulo Borges, Michael Brünig, Milad Ramezani

Abstract: This paper presents a novel approach for robust global localisation and 6DoF pose estimation of ground robots in forest environments by leveraging cross-view factor graph optimisation and deep-learned re-localisation. The proposed method addresses the challenges of aligning aerial and ground data for pose estimation, which is crucial for accurate point-to-point navigation in GPS-denied environment… ▽ More This paper presents a novel approach for robust global localisation and 6DoF pose estimation of ground robots in forest environments by leveraging cross-view factor graph optimisation and deep-learned re-localisation. The proposed method addresses the challenges of aligning aerial and ground data for pose estimation, which is crucial for accurate point-to-point navigation in GPS-denied environments. By integrating information from both perspectives into a factor graph framework, our approach effectively estimates the robot's global position and orientation. We validate the performance of our method through extensive experiments in diverse forest scenarios, demonstrating its superiority over existing baselines in terms of accuracy and robustness in these challenging environments. Experimental results show that our proposed localisation system can achieve drift-free localisation with bounded positioning errors, ensuring reliable and safe robot navigation under canopies. △ Less

Submitted 25 September, 2024; originally announced September 2024.

Comments: 7 pages, 4 figures, Submitted to ICRA2025

Is the real two-Higgs-doublet model consistent?

Authors: Carlos Henrique de Lima, Heather E. Logan

Abstract: We provide strong evidence that the widely-studied real two-Higgs-doublet model is inconsistent under renormalization due to quark-induced divergent CP violation (CPV). We identify the necessary ingredients for the CPV to enter the renormalization-group equations based on symmetry proprieties of the divergent diagrams. We demonstrate that while these ingredients are present starting at six loops,… ▽ More We provide strong evidence that the widely-studied real two-Higgs-doublet model is inconsistent under renormalization due to quark-induced divergent CP violation (CPV). We identify the necessary ingredients for the CPV to enter the renormalization-group equations based on symmetry proprieties of the divergent diagrams. We demonstrate that while these ingredients are present starting at six loops, the divergent CPV is zero at that order due to approximate symmetries. We show that these symmetries are broken at seven loops and determine the parameter dependence of the resulting divergent CPV. △ Less

Submitted 16 September, 2024; originally announced September 2024.

Comments: 6 pages, 5 figures, submitted to PRL

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

Reentrant topological phase in half-Heusler compounds

Authors: Augusto L. Araújo, Felipe Crasto de Lima, Adalberto Fazzio

Abstract: Half-Heusler compounds are known for their various compositions and multifunctional properties including topological phases. In this study, we investigate the topological classification of this class of materials based on the ordering of the $Γ_6$, $Γ_8$ states, and a previously overlooked $Γ_6^*$ state, during an adiabatic expansion process. Using first-principles calculations based on density fu… ▽ More Half-Heusler compounds are known for their various compositions and multifunctional properties including topological phases. In this study, we investigate the topological classification of this class of materials based on the ordering of the $Γ_6$, $Γ_8$ states, and a previously overlooked $Γ_6^*$ state, during an adiabatic expansion process. Using first-principles calculations based on density functional theory, we observed that the non-trivial topology is governed by a three-band mechanism. We provide a simple model derived from $k\cdot p$ Hamiltonian that interprets the topological phase in half-Heusler systems. Additionally, we explore the robustness of the topological phase under tension and a new perspective on the topological nature of half-Heusler compounds. △ Less

Submitted 2 September, 2024; originally announced September 2024.

The Sign of Gauge-Higgs Couplings at Future Lepton Colliders

Authors: Carlos Henrique de Lima, Douglas Tuckler

Abstract: This work investigates the capability of future lepton colliders to determine the sign of the gauge-Higgs coupling through the vector boson fusion (VBF) $Zh$ process. This channel offers a model-independent way to probe the sign of the gauge-Higgs coupling. Its sensitivity to interference effects and universal coupling with new physics makes it particularly effective. We show that a high-energy le… ▽ More This work investigates the capability of future lepton colliders to determine the sign of the gauge-Higgs coupling through the vector boson fusion (VBF) $Zh$ process. This channel offers a model-independent way to probe the sign of the gauge-Higgs coupling. Its sensitivity to interference effects and universal coupling with new physics makes it particularly effective. We show that a high-energy lepton collider such as CLIC can fully determine the sign of the gauge-Higgs coupling in a model-independent way and with high-confidence. △ Less

Submitted 26 August, 2024; originally announced August 2024.

Comments: 7 pages, 4 figures

Interplay between topology and interactions in superconducting chains

Authors: A. C. P. Lima, M. S. Figueira, Mucio A. Continentino

Abstract: Most studies of non-trivial topological systems are carried out in non-interacting models that admit an exact solution. This raises the question, to which extent the consideration of electronic correlations, present in real systems, modify these results. Exact solutions of correlated electronic systems with non-trivial topological properties, although fundamental are scarce. Among the non-interact… ▽ More Most studies of non-trivial topological systems are carried out in non-interacting models that admit an exact solution. This raises the question, to which extent the consideration of electronic correlations, present in real systems, modify these results. Exact solutions of correlated electronic systems with non-trivial topological properties, although fundamental are scarce. Among the non-interacting soluble models, we single out the Kitaev p-wave superconducting chain. It plays a crucial role in clarifying the appearance of emergent quasi-particles, the Majorana modes, associated with non-trivial topological properties. Given the relevance of this model, it would be extremely useful if it can be extended to include correlations and still remain solvable. In this work we investigate a superconducting Kitaev chain that interacts through a Falicov-Kimball Hamiltonian with a background of localized electrons. For some relevant values of the parameters of this extended model solutions can be obtained, which allows for a detailed study of the interplay between electronic correlations and non-trivial topological behavior. Besides, the random occupation of the chain by the local moments brings the new interesting effects associated with disorder. △ Less

Submitted 26 August, 2024; originally announced August 2024.

Comments: 9 figures, 10 pages

Barchan-barchan dune repulsion investigated at the grain scale

Authors: Nicolao Cerqueira Lima, Willian Righi Assis, Carlos Azael Alvarez, Erick de Moraes Franklin

Abstract: Barchans are eolian dunes of crescent shape found on Earth, Mars and other celestial bodies. Among the different types of barchan-barchan interaction, there is one, known as chasing, in which the dunes remain close but without touching each other. In this paper, we investigate the origins of this barchan-barchan dune repulsion by carrying out grain-scale numerical computations in which a pair of g… ▽ More Barchans are eolian dunes of crescent shape found on Earth, Mars and other celestial bodies. Among the different types of barchan-barchan interaction, there is one, known as chasing, in which the dunes remain close but without touching each other. In this paper, we investigate the origins of this barchan-barchan dune repulsion by carrying out grain-scale numerical computations in which a pair of granular heaps is deformed by the fluid flow into barchan dunes that interact with each other. In our simulations, data such as position, velocity and resultant force are computed for each individual particle at each time step, allowing us to measure details of both the fluid and grains that explain the repulsion. We show the trajectories of grains, time-average resultant forces, and mass balances for each dune, and that the downstream barchan shrinks faster than the upstream one, keeping, thus, a relatively high velocity although in the wake of the upstream barchan. In its turn, this fast shrinkage is caused by the flow disturbance, which induces higher erosion on the downstream barchan and its circumvention by grains leaving the upstream dune. Our results help explaining the mechanisms behind the distribution of barchans in dune fields found on Earth and Mars. △ Less

Submitted 14 August, 2024; originally announced August 2024.

Comments: An edited version of this paper was published by AGU. Copyright (2024) American Geophysical Union. Lima, N.C., Assis, W.R., Alvarez, C.A., Franklin, E.M., Barchan-barchan dune repulsion investigated at the grain scale. Journal of Geophysical Research: Earth Surface, 129, e2024JF007741, 2024. To view the published open abstract, go to https://doi.org/10.1029/2024JF007741

Journal ref: Journal of Geophysical Research: Earth Surface, 129, e2024JF007741, 2024

Kinks and double-kinks in generalized $φ^{4n}$-and $φ^{8n}$-models

Authors: F. C. E. Lima, R. Casana, C. A. S. Almeida

Abstract: Examining the $φ^{4n}$ and $φ^{8n}$ models within a two-dimensional framework in flat spacetime and embracing a theory with unconventional kinetic terms, one investigates the emergence of compactified double kinks/antikinks. We restrict our study to field configurations with minimal energy profiles, i.e., fields with Bogomolnyi-Prasad-Sommerfield (BPS) properties. To accomplish our goal, we adopt… ▽ More Examining the $φ^{4n}$ and $φ^{8n}$ models within a two-dimensional framework in flat spacetime and embracing a theory with unconventional kinetic terms, one investigates the emergence of compactified double kinks/antikinks. We restrict our study to field configurations with minimal energy profiles, i.e., fields with Bogomolnyi-Prasad-Sommerfield (BPS) properties. To accomplish our goal, we adopt non-polynomial functions as generalizing terms, namely, hyperbolic sine and cosine functions. These functions manifest potential minima at $φ=0$ in the BPS bound, facilitating the emergence of double-kinks (and double-antikinks). Moreover, as these functions are modified, the double kinks/antikinks may acquire profiles similar to configurations of fields resembling double compactons/anti-compactons. △ Less

Submitted 8 August, 2024; originally announced August 2024.

Comments: 20 pages, 14 captioned figures

On the asymmetric non-canonical braneworld in five dimensions

Authors: F. C. E. Lima, F. M. Belchior, C. A. S. Almeida, P. K. Sahoo

Abstract: Revisiting Einstein's gravitational theory, we build a five-dimensional braneworld. Within this framework, one announces the appearance of symmetric and asymmetric domain walls. Furthermore, it examines the emergent four-dimensional gravity from a theory with non-canonical dynamics. Exploring the physical and mathematical aspects, e.g., brane's energy density and the Kaluza-Klein (KK) spectrum, on… ▽ More Revisiting Einstein's gravitational theory, we build a five-dimensional braneworld. Within this framework, one announces the appearance of symmetric and asymmetric domain walls. Furthermore, it examines the emergent four-dimensional gravity from a theory with non-canonical dynamics. Exploring the physical and mathematical aspects, e.g., brane's energy density and the Kaluza-Klein (KK) spectrum, one verifies that brane splitting is absent in the canonical and non-canonical theories. Additionally, we note the localization of the four-dimensional fluctuation projection on the 3-branes, which ensures the theory's stability. Thereby, one can conclude that the behavior of gravitational perturbations of the domain wall maintains a profile similar to a stable and non-localizable tower of massive modes. In contrast, within the brane core, the matter sector generates new barriers and potential wells, resulting in massive modes with approximately symmetric amplitudes. However, the non-canonical dynamics generate massive modes with asymmetric amplitudes far from the 3-brane. △ Less

Submitted 22 September, 2024; v1 submitted 19 July, 2024; originally announced July 2024.

Comments: 16 pages, 9 captioned figures. Version with new figures and discussions. The updated version is to match the one to appear in EPJP

Journal ref: The European Physical Journal Plus, 139 (9) (2024) 845

On the singular position-dependent mass

Authors: F. C. E. Lima, F. M. Belchior, C. A. S. Almeida

Abstract: Revisiting the issue associated with Position-Dependent Mass (PDM), we reaffirm that the appropriate framework for addressing a generic PDM is the symmetrization proposed by BenDaniel and Duke. To accomplish this result adopts the effective mass Hamiltonian proposed by von Roos, corrected by a symmetrized kinematic term. After verifying the appropriate ordering to approach the PDM issue, one inves… ▽ More Revisiting the issue associated with Position-Dependent Mass (PDM), we reaffirm that the appropriate framework for addressing a generic PDM is the symmetrization proposed by BenDaniel and Duke. To accomplish this result adopts the effective mass Hamiltonian proposed by von Roos, corrected by a symmetrized kinematic term. After verifying the appropriate ordering to approach the PDM issue, one investigates a crystalline lattice with a defect described by a singular PDM. The singular mass profile proves intriguing as it yields an atom's cluster in the neighborhood of the singularity. Considering that a restoring force acts on the atoms, one notes that the confluent Heun function describes the quantum states. Furthermore, one highlights that when the effective mass distribution tends to a constant profile, we recover a system similar to the harmonic oscillator. △ Less

Submitted 9 June, 2024; originally announced June 2024.

Comments: 14 pages, 5 captioned figures

Static boson stars in the Einstein-Friedberg-Lee-Sirlin theory and their astrophysical images

Authors: Pedro L. Brito de Sá, Haroldo C. D. Lima Jr., Carlos A. R. Herdeiro, Luís C. B. Crispino

Abstract: We investigate the static boson star solutions in the so-called Einstein-Friedberg-Lee-Sirlin (E-FLS) theory, performing a complete analysis of the solution space in this model. We study the phenomenological aspects of E-FLS stars, for instance, by investigating the timelike and null geodesics with an emphasis on the analysis of circular timelike orbits and light rings. In order to study the astro… ▽ More We investigate the static boson star solutions in the so-called Einstein-Friedberg-Lee-Sirlin (E-FLS) theory, performing a complete analysis of the solution space in this model. We study the phenomenological aspects of E-FLS stars, for instance, by investigating the timelike and null geodesics with an emphasis on the analysis of circular timelike orbits and light rings. In order to study the astrophysical signatures of such stars, their images were obtained considering them surrounded by a geometrically thin accretion disk. Our results comprise two different models of accretion disks, namely the optically thin and thick disk models. We present a selection of our findings for the astrophysical images of E-FLS stars and discuss their relevance as a possible black hole mimicker. △ Less

Submitted 4 June, 2024; originally announced June 2024.

Comments: 16 pages, 13 figures

Unraveling the Spin-to-Charge Current Conversion Mechanism and Charge Transfer Dynamics at Interface of Graphene/WS$_2$ Heterostructures at Room Temperature

Authors: Rafael O. Cunha, Yunier Garcia-Basabe, Dunieskys G. Larrude, Matheus Gamino, Erika N. Lima, Felipe Crasto de Lima, Adalberto Fazzio, Sergio M. Rezende, Antonio Azevedo, Joaquim B. S. Mendes

Abstract: We report experimental investigations of spin-to-charge current conversion and charge transfer dynamics (CT) at the interface of graphene/WS$_2$ van der Waals heterostructure. Pure spin current was produced by the spin precession in the microwave-driven ferromagnetic resonance of a permalloy film (Py-Ni$_{81}$Fe$_{19}$) and injected into the graphene/WS$_2$ heterostructure through the spin pumping… ▽ More We report experimental investigations of spin-to-charge current conversion and charge transfer dynamics (CT) at the interface of graphene/WS$_2$ van der Waals heterostructure. Pure spin current was produced by the spin precession in the microwave-driven ferromagnetic resonance of a permalloy film (Py-Ni$_{81}$Fe$_{19}$) and injected into the graphene/WS$_2$ heterostructure through the spin pumping process. The observed spin-to-charge current conversion in the heterostructure is attributed to inverse Rashba-Edelstein effect (IREE) at the graphene/WS$_2$ interface. Interfacial CT dynamics in this heterostructure was investigated based on the framework of core-hole-clock (CHC) approach. The results obtained from spin pumping and CHC studies show that the spin-to-charge current conversion and charge transfer process are more efficient in the graphene/WS$_2$ heterostructure compared to isolated WS2 and graphene films. The results show that the presence of WS$_2$ flakes improves the current conversion efficiency. These experimental results are corroborated by density functional theory (DFT) calculations, which reveal (i) Rashba spin-orbit splitting of graphene orbitals and (ii) electronic coupling between graphene and WS$_2$ orbitals. This study provides valuable insights for optimizing the design and performance of spintronic devices. △ Less

Submitted 28 May, 2024; originally announced May 2024.

Comments: 25 pages, 7 figures

Exploring Topological Transport in Pt$_2$HgSe$_3$ Nanoribbons: Insights for Spintronic Device Integration

Authors: Rafael L. H. Freire, F. Crasto de Lima, Roberto H. Miwa, A. Fazzio

Abstract: The discovery of the quantum spin Hall effect led to the exploration of the electronic transport for spintronic devices. Here, we theoretically investigated the electronic conductance in large-gap realistic quantum spin Hall system, Pt$_2$HgSe$_3$ nanoribbons. By an ab initio approach, we found that the edge states present a penetration depth of about $0.9$\,{nm}, which is much smaller than those… ▽ More The discovery of the quantum spin Hall effect led to the exploration of the electronic transport for spintronic devices. Here, we theoretically investigated the electronic conductance in large-gap realistic quantum spin Hall system, Pt$_2$HgSe$_3$ nanoribbons. By an ab initio approach, we found that the edge states present a penetration depth of about $0.9$\,{nm}, which is much smaller than those predicted in other 2D topological systems. Thus, suggesting that Pt$_2$HgSe$_3$ allows the exploitation of topological transport properties in narrow ribbons. Using non-equilibrium Green's functions calculations, we have examined the electron conductivity upon the presence of Se\,$\leftrightarrow$\,Hg antistructure defects randomly distributed in the Pt$_2$HgSe$_3$ scattering region. By considering scattering lengths up to $109$\,nm, we found localization lengths that can surpass $μ$m sizes for narrow nanoribbons ($<9$\,nm). These findings can contribute to further understanding the behavior of topological insulators under realistic conditions and their integration within electronic, spintronic devices. △ Less

Submitted 10 May, 2024; originally announced May 2024.

Journal ref: Phys. Rev. B 110, 035111 (2024)

Physical aspects of the deformation of $\mathbb{Z}_2$ kinks in a generalized $φ^4$ model

Authors: F. C. E. Lima, C. A. S. Almeida, Rodolfo Casana

Abstract: We study a generalized $φ^4$ model that gives rise to BPS kink/antikink configurations with compacton-like profiles. One observes that the positive parameter controlling the generalizing function promotes an infinity degenerescence of the BPS solutions. We then use the Differential Configurational Complexity technique to distinguish the degenerate configurations, which allows us to obtain the para… ▽ More We study a generalized $φ^4$ model that gives rise to BPS kink/antikink configurations with compacton-like profiles. One observes that the positive parameter controlling the generalizing function promotes an infinity degenerescence of the BPS solutions. We then use the Differential Configurational Complexity technique to distinguish the degenerate configurations, which allows us to obtain the parameter values providing the most likely field profiles. Besides, the analysis of the excitation spectrum of the model shows the existence of translational and vibrational modes. Thus, the emergence of bound states of solitons (bions) and resonance phenomena is guaranteed when analyzing the scattering of kink/antikink structures. In this way, one notes that depending on the initial velocity, the collision can be inelastic or quasi-elastic, even in the case of compacton-like configurations. △ Less

Submitted 31 May, 2024; v1 submitted 20 April, 2024; originally announced April 2024.

Comments: 24 pages, 16 captioned figures. Version with a new figure and reorganized text

Influence of new states in searches for negative gauge-Higgs couplings

Authors: Carlos Henrique de Lima, Daniel Stolarski

Abstract: In this work, we explore how constraints based on interference effects for the negative gauge-Higgs coupling scenario are affected by new physics. Models that achieve this wrong-sign gauge-Higgs coupling inevitably have new charged Higgs states. These states affect the interpretation of interference effects. We recast the ATLAS analysis for VBF $Wh$, showing that the previously excluded negative g… ▽ More In this work, we explore how constraints based on interference effects for the negative gauge-Higgs coupling scenario are affected by new physics. Models that achieve this wrong-sign gauge-Higgs coupling inevitably have new charged Higgs states. These states affect the interpretation of interference effects. We recast the ATLAS analysis for VBF $Wh$, showing that the previously excluded negative gauge-Higgs coupling scenario is still experimentally viable for charged Higgs masses below $370$~GeV. We show that it is possible to weaken this bound further with mild tuning in the parameter space. We discuss how to further constrain the wrong-sign gauge-Higgs coupling hypothesis and point out the potential of VBF $Zh$ to exclude this scenario in a model-independent way. △ Less

Submitted 9 October, 2024; v1 submitted 16 April, 2024; originally announced April 2024.

Comments: 14 pages, 8 figures. Extended dicussion, conclusions unchanged

The complexity of convexity number and percolation time in the cycle convexity

Authors: Carlos V. G. C. Lima, Thiago Marcilon, Pedro Paulo de Medeiros

Abstract: The subject of graph convexity is well explored in the literature, the so-called interval convexities above all. In this work, we explore the cycle convexity, an interval convexity whose interval function is $I(S) = S \cup \{u \mid G[S \cup \{u\}]$ has a cycle containing $u\}$. In this convexity, we prove that determine whether the convexity number of a graph $G$ is at least $k$ is \NP-complete an… ▽ More The subject of graph convexity is well explored in the literature, the so-called interval convexities above all. In this work, we explore the cycle convexity, an interval convexity whose interval function is $I(S) = S \cup \{u \mid G[S \cup \{u\}]$ has a cycle containing $u\}$. In this convexity, we prove that determine whether the convexity number of a graph $G$ is at least $k$ is \NP-complete and \W[1]-hard when parameterized by the size of the solution when $G$ is a thick spider, but polynomial when $G$ is an extended $P_4$-laden graph. We also prove that determining whether the percolation time of a graph is at least $k$ is \NP-complete even for fixed $k \geq 9$, but polynomial for cacti or for fixed $k\leq2$. △ Less

Submitted 6 May, 2024; v1 submitted 14 April, 2024; originally announced April 2024.

Properties of a Majorana fermion ensemble with exciton-like mass

Authors: L. E. S. Machado, F. C. E. Lima, C. A. S. Almeida

Abstract: Considering the relativistic scenario, we dedicate our study to the relativistic quantum description of one-dimensional Majorana fermions. Thus, we focus on aspects related to exciton-like particles. Seeking to reach our purpose, one analyzes the relativistic quantum mechanical system characterized by an effective mass distribution. In this context, we adopt an exciton-like position-dependent mass… ▽ More Considering the relativistic scenario, we dedicate our study to the relativistic quantum description of one-dimensional Majorana fermions. Thus, we focus on aspects related to exciton-like particles. Seeking to reach our purpose, one analyzes the relativistic quantum mechanical system characterized by an effective mass distribution. In this context, we adopt an exciton-like position-dependent mass without impurity, i.e., without electromagnetic interactions. From this perspective, one notes results of noteworthy interest as consequences of the theory adopted. For instance, we highlight that, even without interaction, exciton-like Majorana fermions manifest theoretically bound states. Also, we construct a Majorana fermion ensemble with effective mass immersed in a thermal reservoir. That allows for a thorough investigation of the thermodynamic properties of the system. Among the thermodynamic characteristics studied in the canonical ensemble, we focus on the Helmholtz free energy, mean energy, entropy, and heat capacity. The numerical results obtained for these thermodynamic properties corroborate the validity of the Dulong-Petit law for our system. △ Less

Submitted 8 April, 2024; originally announced April 2024.

Comments: 17 pages, 5 captioned figures

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.

Comments: To appear in IEEE Robotics and Automation Letters (RA-L) 2024

Can CP be conserved in the two-Higgs-doublet model?

Authors: Carlos Henrique de Lima, Heather E. Logan

Abstract: We study the conditions under which the CP violation in the quark mixing matrix can leak into the scalar potential of the real two-Higgs-doublet model (2HDM) via divergent radiative corrections, thereby spoiling the renormalizability of the model. We show that any contributing diagram must involve 12 Yukawa-coupling insertions and a factor of the $U(1)_{PQ}$-breaking scalar potential parameter… ▽ More We study the conditions under which the CP violation in the quark mixing matrix can leak into the scalar potential of the real two-Higgs-doublet model (2HDM) via divergent radiative corrections, thereby spoiling the renormalizability of the model. We show that any contributing diagram must involve 12 Yukawa-coupling insertions and a factor of the $U(1)_{PQ}$-breaking scalar potential parameter $λ_5$, thereby requiring at least six loops; this also implies that the 2HDM with only softly-broken $U(1)_{PQ}$ is safe from divergent leaks of CP violation to all orders. We demonstrate that additional symmetries of the six-loop diagrams in the type I and II 2HDMs guarantee that all of the divergent CP-violating contributions cancel at this order. We also show that these symmetries are violated at seven loops and enumerate the classes of diagrams that can contribute to CP-violating divergences, providing evidence that the real 2HDM is theoretically inconsistent starting at the seven-loop level. △ Less

Submitted 25 March, 2024; originally announced March 2024.

Comments: 27 pages, 14 figures

Hybrid Active Teaching Methodology for Learning Development: A Self-assessment Case Study Report in Computer Engineering

Authors: Renan Lima Baima, Tiago Miguel Barao Caetano, Ana Carolina Oliveira Lima, Emilia Oliveira Lima Leal, Tiago Miguel Pereira Candeias, Silvia Maria Dias Pedro Rebouças

Abstract: The primary objective is to emphasize the merits of active methodologies and cross-disciplinary curricula in Requirement Engineering. This direction promises a holistic and applied trajectory for Computer Engineering education, supported by the outcomes of our case study, where artifact-centric learning proved effective, with 73% of students achieving the highest grade. Self-assessments further co… ▽ More The primary objective is to emphasize the merits of active methodologies and cross-disciplinary curricula in Requirement Engineering. This direction promises a holistic and applied trajectory for Computer Engineering education, supported by the outcomes of our case study, where artifact-centric learning proved effective, with 73% of students achieving the highest grade. Self-assessments further corroborated academic excellence, emphasizing students' engagement in skill enhancement and knowledge acquisition. △ Less

Submitted 8 February, 2024; originally announced February 2024.

Comments: 3 pages, 2 figures, accepted for conference (SAC24)

ACM Class: D.2.1; D.2.2; K.3.1; K.3.2

Role of seeding in the generation of polarization squeezed light by atomic Kerr medium

Authors: Eduardo C. Lima, Breno Marques, Marcelo Martinelli, Luciano S. Cruz

Abstract: Quantum state production and characterization are fundamental elements for many quantum technological applications. In this work, we studied the generation of polarization quantum states by interacting light with a Kerr medium and the dependency of the outcome on orthogonal polarization seedlings. Starting from %Our experimental apparatus is based on coherent states produced by Ti:Sapphire laser,… ▽ More Quantum state production and characterization are fundamental elements for many quantum technological applications. In this work, we studied the generation of polarization quantum states by interacting light with a Kerr medium and the dependency of the outcome on orthogonal polarization seedlings. Starting from %Our experimental apparatus is based on coherent states produced by Ti:Sapphire laser, interaction with a $^{87}$Rb warm vapor cell led to noise compression of $-5.2\pm 0.5$ dB ($6.4\pm 0.6$ dB after correction of the detection quantum efficiency). △ Less

Submitted 1 August, 2024; v1 submitted 6 February, 2024; originally announced February 2024.

Journal ref: Phys. Rev A. 110, 023704 (2024)

Resonant helical multi-edge transport in Sierpiński carpets

Authors: M. A. Toloza Sandoval, A. L. Araújo, F. Crasto de Lima, A. Fazzio

Abstract: In recent years, synthesis and experimental research of fractalized materials has evolved in a paradigmatic crossover with topological phases of matter. We present here a theoretical investigation of the helical edge transport in Sierpinski carpets (SCs), combining the Bernevig-Hughes-Zhang (BHZ) model and the Landauer approach. Starting from a pristine two-dimensional topological insulator (2DTI)… ▽ More In recent years, synthesis and experimental research of fractalized materials has evolved in a paradigmatic crossover with topological phases of matter. We present here a theoretical investigation of the helical edge transport in Sierpinski carpets (SCs), combining the Bernevig-Hughes-Zhang (BHZ) model and the Landauer approach. Starting from a pristine two-dimensional topological insulator (2DTI), according to the BHZ model, our results reveal resonant transport modes when the SC fractal generation reaches the same scale as the space discretization; these modes are analyzed within a contour plot mapping of the local spin-polarized currents, shown spanned and assisted by inner-edge channels. From such a deeply fractalized SC building block, we introduce a rich tapestry formed by superior SC hierarchies, enlightening intricate patterns and unique fingerprints that offer valuable insights into how helical edge transport occurs in these fractal dimensions. △ Less

Submitted 29 January, 2024; originally announced January 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

How do machines learn? Evaluating the AIcon2abs method

Authors: Rubens Lacerda Queiroz, Cabral Lima, Fabio Ferrentini Sampaio, Priscila Machado Vieira Lima

Abstract: This paper evaluates AI from concrete to Abstract (AIcon2abs), a recently proposed method that enables awareness among the general public on machine learning. Such is possible due to the use of WiSARD, an easily understandable machine learning mechanism, thus requiring little effort and no technical background from the target users. WiSARD is adherent to digital computing; training consists of wri… ▽ More This paper evaluates AI from concrete to Abstract (AIcon2abs), a recently proposed method that enables awareness among the general public on machine learning. Such is possible due to the use of WiSARD, an easily understandable machine learning mechanism, thus requiring little effort and no technical background from the target users. WiSARD is adherent to digital computing; training consists of writing to RAM-type memories, and classification consists of reading from these memories. The model enables easy visualization and understanding of training and classification tasks' internal realization through ludic activities. Furthermore, the WiSARD model does not require an Internet connection for training and classification, and it can learn from a few or one example. WiSARD can also create "mental images" of what it has learned so far, evidencing key features pertaining to a given class. The AIcon2abs method's effectiveness was assessed through the evaluation of a remote course with a workload of approximately 6 hours. It was completed by thirty-four Brazilian subjects: 5 children between 8 and 11 years old; 5 adolescents between 12 and 17 years old; and 24 adults between 21 and 72 years old. The collected data was analyzed from two perspectives: (i) from the perspective of a pre-experiment (of a mixed methods nature) and (ii) from a phenomenological perspective (of a qualitative nature). AIcon2abs was well-rated by almost 100% of the research subjects, and the data collected revealed quite satisfactory results concerning the intended outcomes. This research has been approved by the CEP/HUCFF/FM/UFRJ Human Research Ethics Committee. △ Less

Submitted 24 July, 2024; v1 submitted 14 January, 2024; originally announced January 2024.

Comments: 1- New wording for AIcon2abs construction and contingency heuristics. 2- Inclusion of figure 16: AIcon2abs construction heuristic; and figure 17: AIcon2abs contingency heuristic

ACM Class: K.4.0; K.3.0

Heat kernel coefficients for massive gravity

Authors: Renata Ferrero, Markus B. Fröb, William C. C. Lima

Abstract: We compute the heat kernel coefficients that are needed for the regularization and renormalization of massive gravity. Starting from the Stueckelberg action for massive gravity, we determine the propagators of the different fields (massive tensor, vector and scalar) in a general linear covariant gauge depending on four free gauge parameters. We then compute the non-minimal heat kernel coefficients… ▽ More We compute the heat kernel coefficients that are needed for the regularization and renormalization of massive gravity. Starting from the Stueckelberg action for massive gravity, we determine the propagators of the different fields (massive tensor, vector and scalar) in a general linear covariant gauge depending on four free gauge parameters. We then compute the non-minimal heat kernel coefficients for all the components of the scalar, vector and tensor sector, and employ these coefficients to regularize the propagators of all the different fields of massive gravity. We also study the massless limit and discuss the appearance of the van Dam-Veltman-Zakharov discontinuity. In the course of the computation, we derive new identities relating the heat kernel coefficients of different field sectors, both massive and massless. △ Less

Submitted 5 August, 2024; v1 submitted 17 December, 2023; originally announced December 2023.

Comments: 54 pages, long formulas. Close to published version. Includes a Mathematica notebook as supplementary material

Journal ref: J. Math. Phys. 65 (2024) 082301

Universal definition of the non-conformal trace anomaly

Authors: Renata Ferrero, Sebastián A. Franchino-Viñas, Markus B. Fröb, William C. C. Lima

Abstract: We show that there exists a generalized, universal notion of the trace anomaly for theories which are not conformally invariant at the classical level. The definition is suitable for any regularization scheme and clearly states to what extent the classical equations of motion should be used, thus resolving existing controversies surrounding previous proposals. Additionally, we exhibit the link bet… ▽ More We show that there exists a generalized, universal notion of the trace anomaly for theories which are not conformally invariant at the classical level. The definition is suitable for any regularization scheme and clearly states to what extent the classical equations of motion should be used, thus resolving existing controversies surrounding previous proposals. Additionally, we exhibit the link between our definition of the anomaly and the functional Jacobian arising from a Weyl transformation. △ Less

Submitted 15 February, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Comments: 10 pages. Two comments added. Matches the published version

Report number: MITP-23-042

Electrobaryonic axion: hair of neutron stars

Authors: Yang Bai, Carlos Henrique de Lima

Abstract: Axion-like particles are predicted in many physics scenarios beyond the Standard Model (SM). Their interactions with SM particles may arise from the triangle anomaly of the associated global symmetry, along with other SM global and gauge symmetries, including anomalies with the global baryon number and electromagnetic gauge symmetries. We initiate the phenomenological study of the corresponding ``… ▽ More Axion-like particles are predicted in many physics scenarios beyond the Standard Model (SM). Their interactions with SM particles may arise from the triangle anomaly of the associated global symmetry, along with other SM global and gauge symmetries, including anomalies with the global baryon number and electromagnetic gauge symmetries. We initiate the phenomenological study of the corresponding ``electrobaryonic axion", a particle that couples with both the baryon chemical potential and the electromagnetic field. Neutron stars, particularly magnetars, possessing high baryon density and strong magnetic fields, can naturally develop a thin axion hair around their surface. In this study, we calculate this phenomenon, considering the effects of neutron star rotation and general relativity. For axion particles lighter than the neutron star rotation frequency, the anomalous interaction can also induce the emission of axion particles from the neutron star. This emission, in the light axion regime, can have a significant contribution to the neutron star cooling rate. △ Less

Submitted 1 May, 2024; v1 submitted 30 November, 2023; originally announced November 2023.

Comments: 21p. Accepted for publication in JHEP

Impact craters formed by spinning granular projectiles

Authors: Douglas Daniel de Carvalho, Nicolao Cerqueira Lima, Erick de Moraes Franklin

Abstract: Craters formed by the impact of agglomerated materials are commonly observed in nature, such as asteroids colliding with planets and moons. In this paper, we investigate how the projectile spin and cohesion lead to different crater shapes. For that, we carried out DEM (discrete element method) computations of spinning granular projectiles impacting onto cohesionless grains, for different bonding s… ▽ More Craters formed by the impact of agglomerated materials are commonly observed in nature, such as asteroids colliding with planets and moons. In this paper, we investigate how the projectile spin and cohesion lead to different crater shapes. For that, we carried out DEM (discrete element method) computations of spinning granular projectiles impacting onto cohesionless grains, for different bonding stresses, initial spins and initial heights. We found that, as the bonding stresses decrease and the initial spin increases, the projectile's grains spread farther from the collision point, and, in consequence, the crater shape becomes flatter, with peaks around the rim and in the center of craters. Our results shed light on the dispersion of the projectile's material and the different shapes of craters found on Earth and other planetary environments. △ Less

Submitted 25 November, 2023; originally announced November 2023.

Comments: Accepted manuscript for Physical Review E, 108, 054904, (2023)

Journal ref: Physical Review E, 108, 054904, (2023)

Design of spin-orbital-textures in ferromagnetic/topological insulator interfaces

Authors: A. L. Araújo, F. Crasto de Lima, C. H. Lewenkopf, A. Fazzio

Abstract: Spin-orbital textures in topological insulators due to the spin locking with the electron momentum, play an important role in spintronic phenomena that arise from the interplay between charge and spin degrees of freedom. We have explored interfaces between a ferromagnetic system (CrI$_3$) and a topological insulator (Bi$_2$Se$_3$) that allow the manipulation of spin-orbital textures. Within an {\i… ▽ More Spin-orbital textures in topological insulators due to the spin locking with the electron momentum, play an important role in spintronic phenomena that arise from the interplay between charge and spin degrees of freedom. We have explored interfaces between a ferromagnetic system (CrI$_3$) and a topological insulator (Bi$_2$Se$_3$) that allow the manipulation of spin-orbital textures. Within an {\it ab initio} approach we have extracted the spin-orbital-textures dependence of experimentally achievable interface designs. The presence of the ferromagnetic system introduces anisotropic transport of the electronic spin and charge. From a parameterized Hamiltonian model we capture the anisotropic backscattering behavior, showing its extension to other ferromagnetic/topological insulator interfaces. We verified that the van der Waals TI/MI interface is an excellent platform for controlling the spin degree of freedom arising from topological states, providing a rich family of unconventional spin texture configurations. △ Less

Submitted 18 November, 2023; originally announced November 2023.

Journal ref: Phys. Rev. B 109, 085142 (2024)

Semiclassical gravity beyond coherent states

Authors: Shahnewaz Ahmed, Caroline Lima, Eduardo Martín-Martínez

Abstract: We show that it is possible to still use semiclassical gravity together with quantum field theory beyond the regimes where the field state is coherent. In particular, we identify families of cat states (superposition of almost-distinguishable coherent states that have very non-classical features) for which the gravitational backreaction can be modeled by semiclassical gravity. We show that it is possible to still use semiclassical gravity together with quantum field theory beyond the regimes where the field state is coherent. In particular, we identify families of cat states (superposition of almost-distinguishable coherent states that have very non-classical features) for which the gravitational backreaction can be modeled by semiclassical gravity. △ Less

Submitted 24 October, 2023; originally announced October 2023.

Comments: 9 pages, 1 Appendix. RevTeX 4.2

Journal ref: J. High Energ. Phys. 2024, 1 (2024)

Quantifying the visual impact of wind farm lights on the nocturnal landscape

Authors: Salvador Bará, Raul C. Lima

Abstract: Wind farm lights are a conspicuous feature in the nocturnal landscape. Their presence is a source of light pollution for residents and the environment, severely disrupting in some places the aesthetic, cultural, and scientific values of the pristine starry skies. In this work we present a simple model for quantifying the visual impact of individual wind turbine lights, based on the comparison of t… ▽ More Wind farm lights are a conspicuous feature in the nocturnal landscape. Their presence is a source of light pollution for residents and the environment, severely disrupting in some places the aesthetic, cultural, and scientific values of the pristine starry skies. In this work we present a simple model for quantifying the visual impact of individual wind turbine lights, based on the comparison of their brightnesses with the brightness of well-known night sky objects. The model includes atmospheric and visual variables, and for typical parameters it shows that medium-intensity turbine lights can be brighter than Venus up to ~4 km from the turbine, brighter than alpha CMa (the brightest star on the nighttime sky) until about ~10 km, and reach the standard stellar visibility limit for the unaided eye (m_v=+6.00) at ~38 km. These results suggest that the visual range of wind farms at nighttime may be significantly larger than at daytime, a factor that should be taken into account in environmental impact assessments. △ Less

Submitted 16 October, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

Comments: 19 pages, 6 figures. Accepted version of a paper published in JQSRT

Journal ref: Salvador Bará, Raul C. Lima. Quantifying the visual impact of wind farm lights on the nocturnal landscape. Journal of Quantitative Spectroscopy and Radiative Transfer 329 (2024) 109203

Emergent chaotic iterations in hard sparse instances of hamiltonian path problem

Authors: Cicero A. de Lima

Abstract: A hamiltonian path is a path walk P that can be a hamiltonian path or hamiltonian circuit. Determining whether such hamiltonian path exists in a given graph G = (V, E) is a NP-Complete problem. In this paper, a novel algorithm with chaotic behaviour for hamiltonian path problem is proposed. We show that our algorithm runs in $O(V^5(V + E))$ for hard sparse instances from FHCP challenge dataset. A hamiltonian path is a path walk P that can be a hamiltonian path or hamiltonian circuit. Determining whether such hamiltonian path exists in a given graph G = (V, E) is a NP-Complete problem. In this paper, a novel algorithm with chaotic behaviour for hamiltonian path problem is proposed. We show that our algorithm runs in $O(V^5(V + E))$ for hard sparse instances from FHCP challenge dataset. △ Less

Submitted 9 October, 2023; originally announced October 2023.

Electronic and spin transport in Bismuthene with magnetic impurities

Authors: Armando Pezo, Felipe Crasto de Lima, Adalberto Fazzio

Abstract: Topological insulators have remained as candidates for future electronic devices since their first experimental realization in the past decade. The existence of topologically protected edge states could be exploited to generate a robust platform and develop quantum computers. In this work we explore the role of magnetic impurities in the transport properties of topological insulators, in particula… ▽ More Topological insulators have remained as candidates for future electronic devices since their first experimental realization in the past decade. The existence of topologically protected edge states could be exploited to generate a robust platform and develop quantum computers. In this work we explore the role of magnetic impurities in the transport properties of topological insulators, in particular, we study the effect on the edge states conductivity. By means of realistic $\it{ab}$ $\it{initio}$ calculations we simulate the interaction between magnetic adatoms and topological insulators, furthermore, our main goal is to obtain the transport properties for large samples as it would be possible to localize edge states at large scales. △ Less

Submitted 13 September, 2023; originally announced September 2023.

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

Unruh phenomena and thermalization for qudit detectors

Authors: Caroline Lima, Everett Patterson, Erickson Tjoa, Robert B. Mann

Abstract: We study Unruh phenomena for a qudit detector coupled to a quantized scalar field, comparing its response to that of a standard qubit-based Unruh-DeWitt detector. We show that there are limitations to the utility of the detailed balance condition as an indicator for Unruh thermality of higher-dimensional qudit detector models. This can be traced to the fact that a qudit has multiple possible trans… ▽ More We study Unruh phenomena for a qudit detector coupled to a quantized scalar field, comparing its response to that of a standard qubit-based Unruh-DeWitt detector. We show that there are limitations to the utility of the detailed balance condition as an indicator for Unruh thermality of higher-dimensional qudit detector models. This can be traced to the fact that a qudit has multiple possible transition channels between its energy levels, in contrast to the 2-level qubit model. We illustrate these limitations using two types of qutrit detector models based on the spin-1 representations of $SU(2)$ and the non-Hermitian generalization of the Pauli observables (the Heisenberg-Weyl operators). △ Less

Submitted 12 February, 2024; v1 submitted 8 September, 2023; originally announced September 2023.

Comments: 10+5 pages, no figures; RevTeX4-2. v2: fixed typos and changed to match the published version

A Differential Datalog Interpreter

Authors: Bruno Rucy Carneiro Alves de Lima, Merlin Kramer, Kalmer Apinis

Abstract: The core reasoning task for datalog engines is materialization, the evaluation of a datalog program over a database alongside its physical incorporation into the database itself. The de-facto method of computing it, is through the recursive application of inference rules. Due to it being a costly operation, it is a must for datalog engines to provide incremental materialization, that is, to adju… ▽ More The core reasoning task for datalog engines is materialization, the evaluation of a datalog program over a database alongside its physical incorporation into the database itself. The de-facto method of computing it, is through the recursive application of inference rules. Due to it being a costly operation, it is a must for datalog engines to provide incremental materialization, that is, to adjust the computation to new data, instead of restarting from scratch. One of the major caveats, is that deleting data is notoriously more involved than adding, since one has to take into account all possible data that has been entailed from what is being deleted. Differential Dataflow is a computational model that provides efficient incremental maintenance, notoriously with equal performance between additions and deletions, and work distribution, of iterative dataflows. In this paper we investigate the performance of materialization with three reference datalog implementations, out of which one is built on top of a lightweight relational engine, and the two others are differential-dataflow and non-differential versions of the same rewrite algorithm, with the same optimizations. △ Less

Submitted 4 August, 2023; originally announced August 2023.

Comments: This version has been removed by arXiv administrators, as we were obligated to do, due to claimed copyright infringement by a third party

ACM Class: I.2.1; I.2.4; I.2.5

Local convergence of an inexact proximal algorithm for weakly convex functions

Authors: Valdines Leite de Sousa Junior, Lucas Vidal de Meireles, Samara Costa Lima, Gilson do Nascimento Silva

Abstract: Since introduced by Martinet and Rockafellar, the proximal point algorithm was generalized in many fruitful directions. More recently, in 2002, Pennanen studied the proximal point algorithm without monotonicity. A year later, Iusem and Svaiter joined Pennanen to present inexact variants of the method, again without monotonicity. Building on the foundation laid by these two prior works, we propose… ▽ More Since introduced by Martinet and Rockafellar, the proximal point algorithm was generalized in many fruitful directions. More recently, in 2002, Pennanen studied the proximal point algorithm without monotonicity. A year later, Iusem and Svaiter joined Pennanen to present inexact variants of the method, again without monotonicity. Building on the foundation laid by these two prior works, we propose a variant of the proximal point algorithm designed specifically for weakly convex functions. Our motivation for introducing this inexact algorithm is to increase its versatility and applicability in a broader range of scenarios in optimization and introduce a more adaptable version of the method for typical generalizations. Our study relies heavily on the Moreau envelope, a well-known mathematical tool used to analyze the behavior of the proximal operator. By leveraging the properties of the Moreau envelope, we are able to prove that the proximal algorithm converges in local contexts. Moreover, we present a complexity result to determine the practical feasibility of the proximal algorithm. △ Less

Submitted 3 August, 2023; originally announced August 2023.

On s-confining SUSY-QCD with Anomaly Mediation

Authors: Carlos Henrique de Lima, Daniel Stolarski

Abstract: In this work, we present a comprehensive study of the phase diagram of supersymmetric QCD with $N_{f}=N_{c}+1$ flavors perturbed by Anomaly Mediated Supersymmetry Breaking (AMSB). We extend the previous analyses on s-confining ASQCD theories in three different directions. We show that the existence of the QCD-like vacuum is independent of the size of the SUSY breaking parameter. We further expand… ▽ More In this work, we present a comprehensive study of the phase diagram of supersymmetric QCD with $N_{f}=N_{c}+1$ flavors perturbed by Anomaly Mediated Supersymmetry Breaking (AMSB). We extend the previous analyses on s-confining ASQCD theories in three different directions. We show that the existence of the QCD-like vacuum is independent of the size of the SUSY breaking parameter. We further expand the analysis of these models by including two and three-loop contributions to investigate the robustness and limitations of the results. Finally, we include the leading effect of higher-order Kähler terms to investigate the stability of the phase diagram as we approach the confining energy scale. The analysis with higher order Kähler terms is also extended for $N_{c}=2$ for which AMSB alone gives inconclusive results. △ Less

Submitted 1 August, 2024; v1 submitted 24 July, 2023; originally announced July 2023.

Comments: version accepted at JHEP. fixed small typos

Effects of quantum fluctuations of the metric on a braneworld

Authors: C. A. S. Almeida, F. C. E. Lima

Abstract: Adopting the premise that the expected value of the quantum fluctuating metric is linear, i.e., $\langle g^{μν}\rangle=αg^{μν}$, we analyze the modified gravity theory induced by the Einstein-Hilbert action coupled to a matter field. This approach engenders the $f(R,T)$ gravity used to investigate the braneworld. In this scenario, considering a thick brane, the influence of metric fluctuations on… ▽ More Adopting the premise that the expected value of the quantum fluctuating metric is linear, i.e., $\langle g^{μν}\rangle=αg^{μν}$, we analyze the modified gravity theory induced by the Einstein-Hilbert action coupled to a matter field. This approach engenders the $f(R,T)$ gravity used to investigate the braneworld. In this scenario, considering a thick brane, the influence of metric fluctuations on brane dynamics is investigated. Consequently, one shows how the metric fluctuations influence the vacuum states. This influence has repercussions for modifying the brane energy and the asymptotic profile of the matter field. After noticing these modifications, we analyzed the most likely and stable structures from the matter field. One performs this analysis considering the theoretical measure of differential configurational entropy. △ Less

Submitted 17 June, 2024; v1 submitted 11 July, 2023; originally announced July 2023.

Comments: 20 pages, 5 captioned figures. Updated version to match one to appear in EPJP

A call for scientists to halt the spoiling of the night sky with artificial light and satellites

Authors: Fabio Falchi, Salvador Bará, Pierantonio Cinzano, Raul C. Lima, Martin Pawley

Abstract: Unfettered access to dark night skies is rapidly diminishing, due to light pollution and satellite mega-constellations tracks. Scientists should wake up and do more to stand up to Big Light and Big Space and preserve this natural resource. Unfettered access to dark night skies is rapidly diminishing, due to light pollution and satellite mega-constellations tracks. Scientists should wake up and do more to stand up to Big Light and Big Space and preserve this natural resource. △ Less

Submitted 6 July, 2023; v1 submitted 2 July, 2023; originally announced July 2023.

Comments: 5 pages; not edited version of the manuscript published in Nature Astronomy

Journal ref: Nature Astronomy 7, 237, (2023)

Substrate suppression of oxidation process in pnictogen monolayers

Authors: R. L. H. Freire, F. Crasto de Lima, A. Fazzio

Abstract: 2D materials present an interesting platform for device designs. However, oxidation can drastically change the system's properties, which need to be accounted for. Through {\it ab initio} calculations, we investigated freestanding and SiC-supported As, Sb, and Bi mono-elemental layers. The oxidation process occurs through an O$_2$ spin-state transition, accounted for within the Landau-Zener transi… ▽ More 2D materials present an interesting platform for device designs. However, oxidation can drastically change the system's properties, which need to be accounted for. Through {\it ab initio} calculations, we investigated freestanding and SiC-supported As, Sb, and Bi mono-elemental layers. The oxidation process occurs through an O$_2$ spin-state transition, accounted for within the Landau-Zener transition. Additionally, we have investigated the oxidation barriers and the role of spin-orbit coupling. Our calculations pointed out that the presence of SiC substrate reduces the oxidation time scale compared to a freestanding monolayer. We have extracted the energy barrier transition, compatible with our spin-transition analysis. Besides, spin-orbit coupling is relevant to the oxidation mechanisms and alters time scales. The energy barriers decrease as the pnictogen changes from As to Sb to Bi for the freestanding systems, while for SiC-supported, they increase across the pnictogen family. Our computed energy barriers confirm the enhanced robustness against oxidation for the SiC-supported systems. △ Less

Submitted 30 June, 2023; originally announced July 2023.

Journal ref: Phys. Chem. Chem. Phys., 2023

Bridging Borophene and Metal Surfaces: Structural, Electronic, and Electron Transport Properties

Authors: Wanderlã L. Scopel, F. Crasto de Lima, Pedro H. Souza, José E. Padilha, Roberto H. Miwa

Abstract: Currently, solid interfaces composed of two-dimensional materials (2D) in contact with metal surfaces (m-surf) have been the subject of intense research, where the borophene bilayer (BBL) has been considered a prominent material for the development of electronic devices based on 2D platforms. In this work, we present a theoretical study of the energetic, structural, and electronic properties of th… ▽ More Currently, solid interfaces composed of two-dimensional materials (2D) in contact with metal surfaces (m-surf) have been the subject of intense research, where the borophene bilayer (BBL) has been considered a prominent material for the development of electronic devices based on 2D platforms. In this work, we present a theoretical study of the energetic, structural, and electronic properties of the BBL/m-surf interface, with m-surf = Ag, Au, and Al (111) surfaces, and the electronic transport properties of BBL channels connected to the BBL/m-surf top contacts. We find that the bottom-most BBL layer becomes metalized, due to the orbital hybridization with the metal surface states, resulting in BBL/m-surf ohmic contacts, meanwhile, the inner and top-most boron layers kept their semiconducting character. The net charge transfers reveal that BBL has become $n$-type ($p$-type) doped for m-surf = Ag, and Al (= Au). A thorough structural characterization of the BBL/m-surf interface, using a series of simulations of the X-ray photoelectron spectra, shows that the formation of BBL/m-surf interface is characterized by a redshift of the B-$1s$ spectra. Further electronic transport results revealed the emergence of a Schottky barrier between 0.1 and 0.2\,eV between the BBL/m-surf contact and the BBL channels. We believe that our findings are timely, bringing important contributions to the applicability of borophene bilayers for developing 2D electronic devices. △ Less

Submitted 10 May, 2023; originally announced May 2023.

Journal ref: J. Phys. Chem. C 127, 17556 (2023)

Non-commutative Geometry from Perturbative Quantum Gravity in de Sitter spacetime

Authors: Markus Fröb, William C. C. Lima, Albert Much, Kyriakos Papadopoulos

Abstract: We show that a non-commutative structure arises naturally from perturbative quantum gravity in a de Sitter background metric. Our work builds on recent advances in the construction of observables in highly symmetric background spacetimes [Brunetti et al., JHEP 08, 032 (2016); Fröb and Lima, Class. Quant. Grav. 35, 095010 (2018)], where the dynamical coordinates that are needed in the relational ap… ▽ More We show that a non-commutative structure arises naturally from perturbative quantum gravity in a de Sitter background metric. Our work builds on recent advances in the construction of observables in highly symmetric background spacetimes [Brunetti et al., JHEP 08, 032 (2016); Fröb and Lima, Class. Quant. Grav. 35, 095010 (2018)], where the dynamical coordinates that are needed in the relational approach were established for such backgrounds to all orders in perturbation theory. We show that these dynamical coordinates that describe events in the perturbed spacetime are naturally non-commuting, and determine their commutator to leading order in the Planck length. Our result generalizes the causal non-commutative structure that was found using the same approach in Minkowski space [Fröb, Much and Papadopoulos, Phys. Rev. D 107, 064041 (2023)]. △ Less

Submitted 7 October, 2023; v1 submitted 29 April, 2023; originally announced May 2023.

Journal ref: Phys. Rev. D 108, 086003 (2023)

Roles of packing fraction, microscopic friction and projectile spin in cratering by impact

Authors: Douglas Daniel de Carvalho, Nicolao Cerqueira Lima, Erick de Moraes Franklin

Abstract: From small seeds falling from trees to asteroids colliding with planets and moons, the impact of projectiles onto granular targets occurs in nature at different scales. In this paper, we investigate open questions in the mechanics of granular cratering, in particular the forces acting on the projectile, and the roles of granular packing, grain-grain friction and projectile spin. For that, we carri… ▽ More From small seeds falling from trees to asteroids colliding with planets and moons, the impact of projectiles onto granular targets occurs in nature at different scales. In this paper, we investigate open questions in the mechanics of granular cratering, in particular the forces acting on the projectile, and the roles of granular packing, grain-grain friction and projectile spin. For that, we carried out DEM (discrete element method) computations of the impact of solid projectiles on a cohesionless granular medium, where we varied the projectile and grain properties (diameter, density, friction and packing fraction) for different available energies (within relatively small values). We found that a denser region forms below the projectile, pushing it back and causing its rebound by the end of its motion, and that solid friction affects considerably the crater morphology. Besides, we show that the penetration length increases with the initial spin of the projectile, and that differences in initial packing fractions can engender the diversity of scaling laws found in the literature. Finally, we propose an ad hoc scaling that collapsed our data for the penetration length and can perhaps unify existing correlations. Our results provide new insights into the formation of craters in granular matter. △ Less

Submitted 25 November, 2023; v1 submitted 21 April, 2023; originally announced April 2023.

Comments: Accepted manuscript for Physical Review E, 105, 034903, (2023), DOI: 10.1103/PhysRevE.107.044901, https://doi.org/10.1103/PhysRevE.107.044901

Journal ref: Phys. Rev. E 107, 044901, 2023

Synchronous coordinates and gauge-invariant observables in cosmological spacetimes

Authors: Markus B. Fröb, William C. C. Lima

Abstract: We consider the relational approach to construct gauge-invariant observables in cosmological perturbation theory using synchronous coordinates. We construct dynamical synchronous coordinates as non-local scalar functionals of the metric perturbation in the fully non-linear theory in an arbitrary gauge. We show that the observables defined in this dynamical coordinate system are gauge-independent,… ▽ More We consider the relational approach to construct gauge-invariant observables in cosmological perturbation theory using synchronous coordinates. We construct dynamical synchronous coordinates as non-local scalar functionals of the metric perturbation in the fully non-linear theory in an arbitrary gauge. We show that the observables defined in this dynamical coordinate system are gauge-independent, and that the full perturbed metric has the expected form in these coordinates. Our construction generalises the familiar synchronous gauge in linearised gravity, widely used in cosmological perturbation theory, to the non-linear theory. We also work out the expressions for the gauge-invariant Einstein equation, sourced either by an ideal fluid or a scalar field up to second order in perturbation theory, and give explicit expressions for the Hubble rate -- as measured by synchronous observers or by observers co-moving with the matter field -- up to that order. Finally, we consider quantised linear perturbations around Minkowski and de~Sitter backgrounds, and compute the two-point function of the gauge-invariant metric perturbation in synchronous coordinates, starting with two-point function in a general linear covariant gauge. Although the gauge-fixed two-point function contains gauge modes, we show that the resulting gauge-invariant two-point function only contains the physical tensor modes and it is thus positive, \ie, it has a spectral representation. △ Less

Submitted 3 October, 2023; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: 57 pages. Some discussions improved, references added and typos corrected, matches published version

Journal ref: Class. Quantum Grav. 40, 215006 (2023)

Uncovering the Structural Evolution Arsenene on SiC Substrate

Authors: A. K. Okazaki, R. Furlan de Oliveira, R. L. H. Freire, A. Fazzio, F. Crasto de Lima

Abstract: Two-dimensional arsenic allotropes have been grown on metallic surfaces, while topological properties have been theoretically described on strained structures. Here we experimentally grow arsenene by molecular beam epitaxy over the insulating SiC substrate. The arsenene presents a flat structure with a strain field that follows the SiC surface periodicity. Our ab initio simulations, based on the d… ▽ More Two-dimensional arsenic allotropes have been grown on metallic surfaces, while topological properties have been theoretically described on strained structures. Here we experimentally grow arsenene by molecular beam epitaxy over the insulating SiC substrate. The arsenene presents a flat structure with a strain field that follows the SiC surface periodicity. Our ab initio simulations, based on the density functional theory, corroborate the experimental observation. The strained structure presents a new arsenene allotrope with a triangular structure, rather than the honeycomb previously predicted for other pnictogens. This strained structure presents a Peierls-like transition leading to an indirect gap semiconducting behavior. △ Less

Submitted 10 February, 2023; originally announced February 2023.

Journal ref: J. Phys. Chem. C 2023

Non-Hermitian fermions with effective mass

Authors: F. C. E. Lima, L. N. Monteiro, C. A. S. Almeida

Abstract: In this work, we readdress the Dirac equation in the position-dependent mass (PDM) scenario. Here, one investigates the quantum dynamics of non-Hermitian fermionic particles with effective mass assuming a $(1+1)$-dimension flat spacetime. In seeking a Schrödinger-like theory with PT symmetry is appropriate to assume a complex potential. This imaginary interaction produces an effective potential pu… ▽ More In this work, we readdress the Dirac equation in the position-dependent mass (PDM) scenario. Here, one investigates the quantum dynamics of non-Hermitian fermionic particles with effective mass assuming a $(1+1)$-dimension flat spacetime. In seeking a Schrödinger-like theory with PT symmetry is appropriate to assume a complex potential. This imaginary interaction produces an effective potential purely dependent on mass distribution. Furthermore, we study the non-relativistic limit by adopting the Foldy-Wouthuysen transformation. As a result, that limit leads to an ordering equivalent to the ordering that describes abrupt heterojunctions. Posteriorly, particular cases of mass distribution also were analyzed. Thus, interesting results arise for the case of a linear PDM, which produces an effective harmonic oscillator and induces the emergence of bound states. For a hyperbolic PDM, an effective potential barrier emerges. However, in this case, the fermions behave as free particles with positive-defined energy. △ Less

Submitted 9 February, 2023; originally announced February 2023.

Comments: 19 pages, 7 captioned figures. To appear in Physica E

Quantum information entropy of heavy mesons in the presence of a point-like defect

Authors: C. A. S. Almeida, C. O. Edet, F. C. E. Lima, N. Ali, M. Asjad

Abstract: Using Schrödinger's formalism, we investigate the quantum eigenstates of the heavy mesons trapped by a point-like defect and by Cornell's potential. One implements this defect to the model considering a spherical metric profile coupled to it. Furthermore, the Nikiforov-Uvarov method is applied to theory to study the quantum eigenstates of the heavy mesons. To calculate the quantum information entr… ▽ More Using Schrödinger's formalism, we investigate the quantum eigenstates of the heavy mesons trapped by a point-like defect and by Cornell's potential. One implements this defect to the model considering a spherical metric profile coupled to it. Furthermore, the Nikiforov-Uvarov method is applied to theory to study the quantum eigenstates of the heavy mesons. To calculate the quantum information entropy (QIE), one considers the wave functions that describe the charmonium and bottomonium states. To explore the QIE, we use the well-known Shannon's entropy formulated at the position and reciprocal space. The analysis of the QIE gives us relevant information about how the quantum information change with the variation of the point-like defect. Consequently, considering the Bialynicki-Birula and Mycielski (BBM) relation, we show how this defect influences the quarkonium position and momentum uncertainty measures. △ Less

Submitted 27 January, 2023; originally announced January 2023.

Comments: 15 pages, 2 figures, 1 table

Journal ref: Results in Physics 47, 106343 (2023)