Showing 1–50 of 201 results for author: Sousa, J

Improving Noise Robustness through Abstractions and its Impact on Machine Learning

Authors: Alfredo Ibias, Karol Capala, Varun Ravi Varma, Anna Drozdz, Jose Sousa

Abstract: Noise is a fundamental problem in learning theory with huge effects in the application of Machine Learning (ML) methods, due to real world data tendency to be noisy. Additionally, introduction of malicious noise can make ML methods fail critically, as is the case with adversarial attacks. Thus, finding and developing alternatives to improve robustness to noise is a fundamental problem in ML. In th… ▽ More Noise is a fundamental problem in learning theory with huge effects in the application of Machine Learning (ML) methods, due to real world data tendency to be noisy. Additionally, introduction of malicious noise can make ML methods fail critically, as is the case with adversarial attacks. Thus, finding and developing alternatives to improve robustness to noise is a fundamental problem in ML. In this paper, we propose a method to deal with noise: mitigating its effect through the use of data abstractions. The goal is to reduce the effect of noise over the model's performance through the loss of information produced by the abstraction. However, this information loss comes with a cost: it can result in an accuracy reduction due to the missing information. First, we explored multiple methodologies to create abstractions, using the training dataset, for the specific case of numerical data and binary classification tasks. We also tested how these abstractions can affect robustness to noise with several experiments that explore the robustness of an Artificial Neural Network to noise when trained using raw data \emph{vs} when trained using abstracted data. The results clearly show that using abstractions is a viable approach for developing noise robust ML methods. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Initial energy-momentum to final flow: a general framework for heavy-ion collisions

Authors: Jefferson Sousa, Jorge Noronha, Matthew Luzum

Abstract: The evolution of a relativistic heavy-ion collision is typically understood as a process that transmutes the initial geometry of the system into the final momentum distribution of observed hadrons, which can be described via a cumulant expansion of the initial distribution of energy density and is represented at leading order as the well-known eccentricity scaling of anisotropic flow. We extend th… ▽ More The evolution of a relativistic heavy-ion collision is typically understood as a process that transmutes the initial geometry of the system into the final momentum distribution of observed hadrons, which can be described via a cumulant expansion of the initial distribution of energy density and is represented at leading order as the well-known eccentricity scaling of anisotropic flow. We extend this framework to include the contribution from initial momentum-space properties, as encoded in other components of the energy-momentum tensor. We confirm the validity of the framework in state-of-the-art hydrodynamic simulations of large and small systems. With this new framework, it is possible to separate the effects of early-time dynamics from those of final-state evolution, even in the case when the distribution of energy does not fully determine subsequent evolution, as for example, in small systems. Specifically, we answer the question of when and how azimuthal correlations from the initial state survive to the final state. In very small systems such as $p$-$p$, for example, initial momentum degrees of freedom dominate over energy. Thus, even if the system forms a quark-gluon plasma that is well described by hydrodynamics, the usual hydrodynamic picture of the transmutation of initial geometry to final momentum anisotropy is broken. Nevertheless, we show that the hydrodynamic response to the full energy-momentum tensor can be well understood in a similar manner as larger systems. Additionally, this framework elucidates the generic features of the system's evolution that are responsible for the impressive success of hydrodynamic simulations, but which may still hold even in cases where hydrodynamics is not applicable. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Comments: 10 pages, 5 figures

Moiré polar vortex, flat bands and Lieb lattice in twisted bilayer BaTiO$_3$

Authors: Seungjun Lee, D. J. P. de Sousa, Bharat Jalan, Tony Low

Abstract: Advances in material fabrication techniques and growth methods have opened up a new chapter for twistronics, in the form of twisted freestanding three-dimensional material membranes. Through first-principles calculations based on density functional theory, we investigate the crystal and electronic structures of twisted bilayer BaTiO$_3$. Our findings reveal that large stacking fault energy leads t… ▽ More Advances in material fabrication techniques and growth methods have opened up a new chapter for twistronics, in the form of twisted freestanding three-dimensional material membranes. Through first-principles calculations based on density functional theory, we investigate the crystal and electronic structures of twisted bilayer BaTiO$_3$. Our findings reveal that large stacking fault energy leads to chiral in-plane vortex pattern that was recently observed in experiments. Moreover, we also found non-zero out-of-plane local dipole moments, indicating that the strong interlayer interaction might offer promising strategy to stabilize ferroelectric order in the two-dimensional limit. Remarkably, the vortex pattern in the twisted BaTiO$_3$ bilayer support localized electronic states with quasi-flat bands, associated with the interlayer hybridization of oxygen $p_z$ orbitals. We found that the associated band width reaches a minimum at $\sim$19$^{\circ}$ twisting, configuring the largest magic angle in moiré systems reported so far. Further, the moiré vortex pattern bears a striking resemblance to two interpenetrating Lieb lattices and corresponding tight-binding model provides a comprehensive description of the evolution the moiré bands with twist angle and reveals the topological nature of these states. △ Less

Submitted 9 May, 2024; originally announced May 2024.

Comments: 8 pages, 5 figures

Classification of grapevine varieties using UAV hyperspectral imaging

Authors: Alfonso López, Carlos Javier Ogayar, Francisco Ramón Feito, Joaquim João Sousa

Abstract: The classification of different grapevine varieties is a relevant phenotyping task in Precision Viticulture since it enables estimating the growth of vineyard rows dedicated to different varieties, among other applications concerning the wine industry. This task can be performed with destructive methods that require time-consuming tasks, including data collection and analysis in the laboratory. Ho… ▽ More The classification of different grapevine varieties is a relevant phenotyping task in Precision Viticulture since it enables estimating the growth of vineyard rows dedicated to different varieties, among other applications concerning the wine industry. This task can be performed with destructive methods that require time-consuming tasks, including data collection and analysis in the laboratory. However, Unmanned Aerial Vehicles (UAV) provide a more efficient and less prohibitive approach to collecting hyperspectral data, despite acquiring noisier data. Therefore, the first task is the processing of these data to correct and downsample large amounts of data. In addition, the hyperspectral signatures of grape varieties are very similar. In this work, a Convolutional Neural Network (CNN) is proposed for classifying seventeen varieties of red and white grape variants. Rather than classifying single samples, these are processed together with their neighbourhood. Hence, the extraction of spatial and spectral features is addressed with 1) a spatial attention layer and 2) Inception blocks. The pipeline goes from processing to dataset elaboration, finishing with the training phase. The fitted model is evaluated in terms of response time, accuracy and data separability, and compared with other state-of-the-art CNNs for classifying hyperspectral data. Our network was proven to be much more lightweight with a reduced number of input bands, a lower number of trainable weights and therefore, reduced training time. Despite this, the evaluated metrics showed much better results for our network (~99% overall accuracy), in comparison with previous works barely achieving 81% OA. △ Less

Submitted 23 January, 2024; originally announced January 2024.

Journal ref: https://www.mdpi.com/2072-4292/16/12/2103

The Significance of Data Abstraction Methods in Machine Learning Classification Processes for Critical Decision-Making

Authors: Karol Capała, Paulina Tworek, Jose Sousa

Abstract: The applicability of widely adopted machine learning (ML) methods to classification is circumscribed by the imperatives of explicability and uncertainty, particularly evident in domains such as healthcare, behavioural sciences, and finances, wherein accountability assumes priority. Recently, Small and Incomplete Dataset Analyser (SaNDA) has been proposed to enhance the ability to perform classific… ▽ More The applicability of widely adopted machine learning (ML) methods to classification is circumscribed by the imperatives of explicability and uncertainty, particularly evident in domains such as healthcare, behavioural sciences, and finances, wherein accountability assumes priority. Recently, Small and Incomplete Dataset Analyser (SaNDA) has been proposed to enhance the ability to perform classification in such domains, by developing a data abstraction protocol using a ROC curve-based method. This paper focuses on column-wise data transformations called abstractions, which are crucial for SaNDA's classification process and explores alternative abstractions protocols, such as constant binning and quantiles. The best-performing methods have been compared against Random Forest as a baseline for explainable methods. The results suggests that SaNDA can be a viable substitute for Random Forest when data is incomplete, even with minimal missing values. It consistently maintains high accuracy even when half of the dataset is missing, unlike Random Forest which experiences a significant decline in accuracy under similar conditions. △ Less

Submitted 19 January, 2024; originally announced January 2024.

Comments: 24 pages, 4 figures, 15 tables

Lie symmetry analysis for fractional evolution equation with $ψ$-Riemann-Liouville derivative

Authors: Junior C. A. Soares, Felix S. Costa, J. Vanterler C. Sousa, Maria V. S. Sousa, Amália R. E. Pereira

Abstract: We present the applycation of theory of Lie group analysis with $ψ$-Riemann-Liouville fractional derivative detailing the construction of infinitesimal prolongation to obtain Lie symmetries. In additional, is addressed the invariance condition without the need to impose that the lower limit of fractional integral is fixed. We find an expression that expands the knowledge regarding the study of exa… ▽ More We present the applycation of theory of Lie group analysis with $ψ$-Riemann-Liouville fractional derivative detailing the construction of infinitesimal prolongation to obtain Lie symmetries. In additional, is addressed the invariance condition without the need to impose that the lower limit of fractional integral is fixed. We find an expression that expands the knowledge regarding the study of exact solutions for fractional differential equations. We use of the framework developed in \cite{zaky2022note} to present our understanding of the extension of $ψ$-Riemann-Liouville fractional derivative. It is demonstrate the Leibniz type rule for the derivative operator in question for built the prolongation. At last, we calculate the Lie symmetries of the generalized Burgers equation and fractional porous medium equation. △ Less

Submitted 20 November, 2023; originally announced January 2024.

First-principles calculations of the electronic and optical properties of penta-graphene monolayer: study of many-body effects

Authors: Babak Minaie, Seyed A. Ketabi, José M. De Sousa

Abstract: In the present work, first-principles calculations based on the density functional theory (DFT), GW approximation and Bethe-Salpeter equation (BSE) are performed to study the electronic and optical properties of penta-graphene (PG) monolayer. The results indicated that PG is a semiconductor with an indirect band gap of approximately 2.32 eV at the DFT- GGA level. We found that the utilization of t… ▽ More In the present work, first-principles calculations based on the density functional theory (DFT), GW approximation and Bethe-Salpeter equation (BSE) are performed to study the electronic and optical properties of penta-graphene (PG) monolayer. The results indicated that PG is a semiconductor with an indirect band gap of approximately 2.32 eV at the DFT- GGA level. We found that the utilization of the GW approximation based on many-body perturbation theory led to an increase in the band gap, resulting in a quasi-direct gap of 5.35 eV. Additionally, we employed the G0W0 - RP A and G0W0 - BSE approximations to calculate the optical spectra in the absence and in the presence of electron-hole interaction, respectively. The results demonstrated that the inclusion of electron-hole interaction caused a red-shift of the absorption spectrum towards lower energies compared to the spectrum obtained from the G0W0 - RP A approximation. With the electron-hole interaction, it is found that the optical absorption spectra are dominated by the first bound exciton with a significant binding energy 3.07 eV. The study concluded that the PG monolayer, with a wider band gap and enhanced excitonic effects, holds promise as a suitable candidate for the design and fabrication of optoelectronic components. △ Less

Submitted 5 January, 2024; originally announced January 2024.

MSC Class: 00-XX ACM Class: J.2.0; I.6.0

Ferroelectric Semimetals with $α$-Bi/SnSe van der Waals heterostructures and its Topological Currents

Authors: D. J. P. de Sousa, Seungjun Lee, Qiangsheng Lu, Rob G. Moore, Matthew Brahlek, J-. P. Wang, Guang Bian, Tony Low

Abstract: We show that proximity effects can be utilized to engineer van der Waals heterostructures (vd- WHs) displaying spin-ferroelectricity locking, where ferroelectricity and spin states are confined to different layers, but are correlated by means of proximity effects. Our findings are supported by first principles calculations in $α$-Bi/SnSe bilayers. We show that such systems support ferroelectricall… ▽ More We show that proximity effects can be utilized to engineer van der Waals heterostructures (vd- WHs) displaying spin-ferroelectricity locking, where ferroelectricity and spin states are confined to different layers, but are correlated by means of proximity effects. Our findings are supported by first principles calculations in $α$-Bi/SnSe bilayers. We show that such systems support ferroelectrically switchable non-linear anomalous Hall effect originating from large Berry curvature dipoles as well as direct and inverse spin Hall effects with giant bulk spin-charge interconversion efficiencies. The giant efficiencies are consequences of the proximity-induced semimetallic nature of low energy electron states, which are shown to behave as two-dimensional pseudo-Weyl fermions by means of symmetry analysis, first principles calculations as well as direct angle-resolved photoemission spectroscopy measurements. △ Less

Submitted 29 November, 2023; originally announced November 2023.

MinIndy: Uma Ferramenta de Início Rápido do Hyperledger Indy

Authors: Alan Veloso, Jeffson Sousa, Bruno Evaristo, Antônio Abelém

Abstract: The Hyperledger Indy blockchain platform, aimed at identity management networks, has gained importance, but instantiating a complete network is complex and requires experience. Therefore, the present work describes MinIndy, a tool designed to simplify the installation and configuration of Hyperledger Indy networks. This simplification will allow people with a lower level of expertise to create the… ▽ More The Hyperledger Indy blockchain platform, aimed at identity management networks, has gained importance, but instantiating a complete network is complex and requires experience. Therefore, the present work describes MinIndy, a tool designed to simplify the installation and configuration of Hyperledger Indy networks. This simplification will allow people with a lower level of expertise to create their Indy networks. Which makes it a viable alternative for organizations looking to adopt Hyperledger Indy Blockchain networks with less effort. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Comments: XIII Workshop de Gestão de Identidades Digitais (WGID), in Portuguese language

Existence and multiplicity for fractional Dirichlet problem with $γ(ξ)$-Laplacian equation and Nehari manifold

Authors: J. Vanterler da C. Sousa, D. S. Oliveira, Ravi P. Agarwal

Abstract: This paper is divided in two parts. In the first part, we prove coercivity results and minimization of the Euler energy functional. In the second part, we focus on the existence and multiplicity of a positive solution of fractional Dirichlet problem involving the $γ(ξ)$-Laplacian equation with non-negative weight functions in $\mathcal{H}^{α,β;χ}_{γ(ξ)}(Λ,\mathbb{R})$ using some variational techni… ▽ More This paper is divided in two parts. In the first part, we prove coercivity results and minimization of the Euler energy functional. In the second part, we focus on the existence and multiplicity of a positive solution of fractional Dirichlet problem involving the $γ(ξ)$-Laplacian equation with non-negative weight functions in $\mathcal{H}^{α,β;χ}_{γ(ξ)}(Λ,\mathbb{R})$ using some variational techniques and Nehari manifold. △ Less

Submitted 3 October, 2023; originally announced November 2023.

Comments: 14 pages

MSC Class: 26A33; 35B38; 35D05; 35J60; 35J70; 58E05

[Generalized Telegraph equation with fractional $p(x)$-Laplacian

Authors: J. Vanterler da C. Sousa, Mbarki Lamine, Leandro S. Tavares

Abstract: The purpose of this paper is devoted to \textcolor{red}{discussing} the existence of solutions for a generalized fractional telegraph equation involving a class of $ψ$-Hilfer fractional with $p(x)$-Laplacian differential equation. The purpose of this paper is devoted to \textcolor{red}{discussing} the existence of solutions for a generalized fractional telegraph equation involving a class of $ψ$-Hilfer fractional with $p(x)$-Laplacian differential equation. △ Less

Submitted 3 October, 2023; originally announced November 2023.

Comments: 14 pages

MSC Class: 35R11; 35A15; 47J30; 35J60

Existence and multiplicity of solutions for fractional $κ(ξ)$-Kirchhoff-type equation

Authors: J. Vanterler da C. Sousa, Kishor D. Kucche, Juan J. Nieto

Abstract: In this paper, we aim to tackle the questions of existence and multiplicity of solutions to a new class of $κ(ξ)$-Kirchhoff-type equation utilizing a variational approach. Further, we research the results from the theory of variable exponent Sobolev spaces and from the theory of space $ψ$-fractional $\mathcal{H}^{μ,ν;\,ψ}_{κ(ξ)}(Λ)$. In this sense, we present a few special cases and remark on the… ▽ More In this paper, we aim to tackle the questions of existence and multiplicity of solutions to a new class of $κ(ξ)$-Kirchhoff-type equation utilizing a variational approach. Further, we research the results from the theory of variable exponent Sobolev spaces and from the theory of space $ψ$-fractional $\mathcal{H}^{μ,ν;\,ψ}_{κ(ξ)}(Λ)$. In this sense, we present a few special cases and remark on the outcomes explored. △ Less

Submitted 3 October, 2023; originally announced November 2023.

Comments: 18 pages

MSC Class: 35R11; 35A15; 47J30; 35D05; 35J60

Poly-dodecahedrane: A new allotrope of carbon

Authors: Siavash Hasanvandi, Elham Neisi, José M. De Sousa

Abstract: Carbon is the most important chemical element and the theoretical study of its new allotropes can be of great interest. In this study, regular dodecahedron (dodecahedrane) oligomers (n = 1, 3, 5, 7, 9, 11, 13) by extending the dodecahedrane units in 3-dimensions were designed. Then, a theoretical study was conducted on their structures and electronic properties as potential new carbon allotrope. T… ▽ More Carbon is the most important chemical element and the theoretical study of its new allotropes can be of great interest. In this study, regular dodecahedron (dodecahedrane) oligomers (n = 1, 3, 5, 7, 9, 11, 13) by extending the dodecahedrane units in 3-dimensions were designed. Then, a theoretical study was conducted on their structures and electronic properties as potential new carbon allotrope. The cohesive energy (Ecoh) and $Δ$G, were calculated. Experimental observations indicate that the Ecoh rises as the number of dodecahedrane units increases, whereas the Gibbs free energy change $Δ$G decreases with an increase in the number of dodecahedrane units. The HOMO-LUMO energy gap (Eg) values, which represent electronic properties, decrease with increasing number of dodecahedrane units. Density functional theory (DFT) calculations of the novel carbon allotropes polydodecahedrane nanostructures have unveiled a previously unobserved symmetry, indicating intrinsic metallic behavior. The symmetrical distribution of partial charges was found in molecular electrostatic potential (MEP) diagrams for all oligomers, showing a tendency of the structures to maintain a symmetrical structural order as the number of monomer units increases. In addition, natural bond orbital (NBO) analysis of 13-units oligomer as largest designed structure reveals near-$sp^3$ hybridization for different carbons. Based on the calculated results, the structures have a tendency to extend in 3-dimensions and form a covalent network of poly-dodecahedrane with a unique structure consisting of interconnected cyclopentane rings. The results show that this exclusive configuration exhibits theoretical stability and suggests the potential for poly-dodecahedrane to be regarded as a novel carbon allotrope. △ Less

Submitted 11 November, 2023; originally announced November 2023.

MSC Class: 00-XX ACM Class: J.2.0; I.6.0

Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking

Authors: Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Thales Araujo da Silva, Eddie Batista de Lima Filho, Lucas C. Cordeiro

Abstract: Computer-based systems have solved several domain problems, including industrial, military, education, and wearable. Nevertheless, such arrangements need high-quality software to guarantee security and safety as both are mandatory for modern software products. We advocate that bounded model-checking techniques can efficiently detect vulnerabilities in general software systems. However, such an app… ▽ More Computer-based systems have solved several domain problems, including industrial, military, education, and wearable. Nevertheless, such arrangements need high-quality software to guarantee security and safety as both are mandatory for modern software products. We advocate that bounded model-checking techniques can efficiently detect vulnerabilities in general software systems. However, such an approach struggles to scale up and verify extensive code bases. Consequently, we have developed and evaluated a methodology to verify large software systems using a state-of-the-art bounded model checker. In particular, we pre-process input source-code files and guide the respective model checker to explore them systematically. Moreover, the proposed scheme includes a function-wise prioritization strategy, which readily provides results for code entities according to a scale of importance. Experimental results using a real implementation of the proposed methodology show that it can efficiently verify large software systems. Besides, it presented low peak memory allocation when executed. We have evaluated our approach by verifying twelve popular open-source C projects, where we have found real software vulnerabilities that their developers confirmed. △ Less

Submitted 9 November, 2023; originally announced November 2023.

Comments: 27 pages, submitted to STTT journal

Fractional $p$-Laplacian equations with sandwich pairs

Authors: J. Vanterler da C. Sousa

Abstract: The main purpose of this paper is to consider new sandwich pairs and investigate the existence of solution for a new class of fractional differential equations with $p$-Laplacian via variational methods in $ψ$-fractional space $\mathbb{H}^{α,β;ψ}_{p}(Ω)$. The results obtained in this paper are the first to make use of the theory of $ψ$-Hilfer fractional operators with $p$-Laplacian. The main purpose of this paper is to consider new sandwich pairs and investigate the existence of solution for a new class of fractional differential equations with $p$-Laplacian via variational methods in $ψ$-fractional space $\mathbb{H}^{α,β;ψ}_{p}(Ω)$. The results obtained in this paper are the first to make use of the theory of $ψ$-Hilfer fractional operators with $p$-Laplacian. △ Less

Submitted 3 October, 2023; originally announced November 2023.

Comments: 10 pages

MSC Class: 35R11; 35A15; 35; J65; 47J10; 47J30

Fractional Kirchhoff-type systems via sub-supersolutions method in $\mathbb{H}^{α,β;ψ}_{p}(Ω)$

Authors: J. Vanterler da C. Sousa

Abstract: In the present paper, we first establish a version of the abstract lower and upper-solution method for our class of operators. In this sense, we investigated the main objective of this paper, that is, the existence of a positive solution for a new class of fractional systems of the Kirchhoff type with $ψ$-Hilfer operators via the method of sub and supersolutions in $ψ$-fractional space… ▽ More In the present paper, we first establish a version of the abstract lower and upper-solution method for our class of operators. In this sense, we investigated the main objective of this paper, that is, the existence of a positive solution for a new class of fractional systems of the Kirchhoff type with $ψ$-Hilfer operators via the method of sub and supersolutions in $ψ$-fractional space $\mathbb{H}^{α,β;ψ}_{p}(Ω)$ △ Less

Submitted 3 October, 2023; originally announced November 2023.

Comments: 10 pages

MSC Class: 35R11; 35A15; 35; J65; 47J10; 47J30

Fractional Kirchhoff-type and method of sub-supersolutions

Authors: J. Vanterler da C. Sousa

Abstract: In the present paper, we are interested in investigating the existence of positive solutions of a new class of fractional Kirchhoff via the sub and supersolutions technique. For this, we first need to investigate two results through lemmas. In the present paper, we are interested in investigating the existence of positive solutions of a new class of fractional Kirchhoff via the sub and supersolutions technique. For this, we first need to investigate two results through lemmas. △ Less

Submitted 3 October, 2023; originally announced November 2023.

Comments: 10 pages

MSC Class: 35R11; 35D05; 35J60

Applications of residues and poles in solutions of some improper integrals evaluation

Authors: José Moreira de Sousa

Abstract: In Physics, we are generally interested in real solutions involving natural phenomena, where knowledge of real functions of real variables is sufficient to obtain physically relevant results. However, the complexity of phenomena associated with nature lead us to situations where it is necessary to extend mathematical knowledge to complex values of complex variables for reasons of completeness and… ▽ More In Physics, we are generally interested in real solutions involving natural phenomena, where knowledge of real functions of real variables is sufficient to obtain physically relevant results. However, the complexity of phenomena associated with nature lead us to situations where it is necessary to extend mathematical knowledge to complex values of complex variables for reasons of completeness and convenience. A relevant factor is that the real numbers do not form a sufficient basis for the representation of the roots of algebraic and polynomial equations, where the knowledge of the behavior of a complex function presents us with a more complete view of its main properties in comparison to the real variables. Therefore, the theoretical basis of complex variables aims to extend the differential and integral calculus in the representation of the domain of complex numbers. We present here the importance of the Theory of Complex Variables as a natural extension of the theory of real functions in solving basic mathematical problems involving improper Integrals, where its solution is obtained through the Theorem of Residues choosing a convenient contour for mathematical solution of some important and useful improper integrals for science and technology students. We hope that the detailed resolutions of some basic improper integrals will contribute to the academic training of students who take the discipline of Complex Variables in the areas of Science, Mathematics and Engineering and also for those who intend to pursue a professional, academic career in Teaching and Research. △ Less

Submitted 20 October, 2023; originally announced October 2023.

MSC Class: 00-XX ACM Class: J.2.0; I.6.0

Existence of solutions for a singular double phase problem involving a $ψ$-Hilfer Fractional operator via Nehari Manifold

Authors: J. Vanterler da C. Sousa, Karla B. Lima, Leandro S. Tavares

Abstract: In this present paper, we investigate a new class of singular double phase $p$-Laplacian equation problems with a $ψ$-Hilfer fractional operator combined from a parametric term. Motivated by the fibering method using the Nehari manifold, we discuss the existence of at least two weak solutions to such problems when the parameter is small enough. Before attacking the main contribution, we discuss so… ▽ More In this present paper, we investigate a new class of singular double phase $p$-Laplacian equation problems with a $ψ$-Hilfer fractional operator combined from a parametric term. Motivated by the fibering method using the Nehari manifold, we discuss the existence of at least two weak solutions to such problems when the parameter is small enough. Before attacking the main contribution, we discuss some results involving the energy functional and the Nehari manifold. △ Less

Submitted 3 October, 2023; originally announced October 2023.

Comments: 15 pages

MSC Class: 26A33; 35R11; 35A15; 35J66; 35J92; 35P30

Fractional partial differential variational inequality

Authors: Jinxia Cen, J. Vanterler da C. Sousa, Wei Wu

Abstract: In this present paper, we introduce and study a dynamical systems involving fractional derivative operator and nonlocal condition, which is constituted of a fractional evolution equation and a time-dependent variational inequality, and is named as fractional partial differential variational inequality (FPDVI, for short). By employing the estimates involving the one-and two-parameter Mittag-Leffler… ▽ More In this present paper, we introduce and study a dynamical systems involving fractional derivative operator and nonlocal condition, which is constituted of a fractional evolution equation and a time-dependent variational inequality, and is named as fractional partial differential variational inequality (FPDVI, for short). By employing the estimates involving the one-and two-parameter Mittag-Leffler functions, fixed-point theory for set-value mappings, and non-compactness measure theory, we develop a general framework to establish the existence of smooth solutions to (FPDVI). △ Less

Submitted 6 October, 2023; originally announced October 2023.

Comments: 12 pages

MSC Class: 47J20; 35R11; 49J40; 35J88; 26A33

On the $\varepsilon$-regular mild solution for fractional abstract integro-differential equations

Authors: J. Vanterler C. Sousa, M. Aurora P. Pulido, V. Govindaraj, E. Capelas de Oliveira

Abstract: In this present paper, we first obtained some estimates involving parts of $\varepsilon$-regular mild solutions of the fractional integro-differential equation. In this sense, through these preliminary results, we investigate the main results of this paper, i.e., the existence, regularity and continuous dependence of $\varepsilon$-regular mild solutions for fractional abstract integro-differential… ▽ More In this present paper, we first obtained some estimates involving parts of $\varepsilon$-regular mild solutions of the fractional integro-differential equation. In this sense, through these preliminary results, we investigate the main results of this paper, i.e., the existence, regularity and continuous dependence of $\varepsilon$-regular mild solutions for fractional abstract integro-differential equations in Banach space. △ Less

Submitted 3 October, 2023; originally announced October 2023.

Comments: 20 pages

MSC Class: 34A08; 34A12; 35B65

Elasticity of the PCF-graphene-based single-layer and nanotubes performed by state-of-the-art of reactive classical molecular dynamics simulation method

Authors: Reza Kalami, Seyed Ahmad Ketabi, José M. De Sousa

Abstract: A novel two-dimensional carbon allotrope called PCF-graphene has been theoretically proposed. The development of its nanostructured morphology has arrangement a non-aromatic molecule cyclooctatetraene as a precursor (poly-cyclooctatetraene framework). This new carbon allotrope is purely sp2-hybridized carbon atoms. In the first-principles calculations, PCF-graphene are thermally, mechanically, and… ▽ More A novel two-dimensional carbon allotrope called PCF-graphene has been theoretically proposed. The development of its nanostructured morphology has arrangement a non-aromatic molecule cyclooctatetraene as a precursor (poly-cyclooctatetraene framework). This new carbon allotrope is purely sp2-hybridized carbon atoms. In the first-principles calculations, PCF-graphene are thermally, mechanically, and dynamically stable. With a finite thickness of 2.45Å, PCF-graphene is a semiconductor with a direct band gap of 0.77 eV. Exhibits anisotropies in elastic properties, carrier mobility, and optical absorption. Despite having been proposed recently, the study of the mechanical properties of single-layer and nanotubes of PCF-graphene has not been developed yet. Thus, our motivation in this work is to study the mechanical properties of PCF-graphene single-layer and nanotubes. Using state-of-the-art of the fully atomistic classical molecular dynamics simulations method with the use of the interatomic potential ReaxFF implemented in the LAMMPs code, we intend to study the mechanical properties of PCF-graphene 1D and 2D. Our results showed that, the Young's Modulus for PCF-graphene single-layer for uniaxial strain in the x-direction ranges from 5651.7 - 4328.6 GPa.Å and in the y-direction 2408.5 - 1934.4 GPaÅ . The Young's modulus of the PCF-G-NTs ((0,n) and (n,0)) are range 1850.5 - 2603.3 GPaÅ and, 386.25 - 1280.7 GPaÅ, respectively. The Poisson's coefficients value are 0.20 and 0.48 for PCF-G-NTs (6,0) and (0,7), respectively. We believe that the new results presented to the scientific community in nanoscience can contribute to a theoretical library for future applications of the PCF-graphene nanostructure in the sustained development of new electromechanical devices and new carbon-based materials. △ Less

Submitted 3 October, 2023; originally announced October 2023.

MSC Class: 00-XX ACM Class: J.2.0; I.6.0

Elasticity of Irida-graphene-based and Sun-graphene-based nanotubes: A study by fully atomistic reactive classical molecular dynamics simulations

Authors: Reza Kalami, Ramon S. Ferreira, Seyed Ahmad Ketabi, José M. De Sousa

Abstract: In this work, we present a theoretical investigation of the elasticity properties of new exotic carbon allotropes studied recently called Irida-graphene and Sun-graphene. The Irida-graphene is a new 2D all-sp2 carbon allotrope composed of fused rings containing 3-6-8 carbon atoms. However, The Sun-graphene is a new carbon allotrope analogous to graphene, has a semi-metal nanostructure and presents… ▽ More In this work, we present a theoretical investigation of the elasticity properties of new exotic carbon allotropes studied recently called Irida-graphene and Sun-graphene. The Irida-graphene is a new 2D all-sp2 carbon allotrope composed of fused rings containing 3-6-8 carbon atoms. However, The Sun-graphene is a new carbon allotrope analogous to graphene, has a semi-metal nanostructure and presents two Dirac cones in its band structure. Despite being theoretically studied in single-layer (2D), no study of the elastic properties of Irida-graphene-based nanotubes (Irida-CNTs) and Sun-graphene-based nanotubes (Sun-CNTs) has not been studied yet. Thus, we seek to investigate the elastic properties of nanotubes of these new exotic allotropes of carbon in quasi-one-dimensional geometry (1D), nanotubes for different chiralities, diameters and lengths at room temperature. For the development of the theoretical investigation of the elasticity of the Irida-CNTs and Sun-CNTs, we developed a fully reactive (ReaxFF) atomistic classical molecular dynamics simulation method. Our theoretical results obtained in the computational simulations show that the Irida-CNTs nanotubes behave as flexible nanostructure and have a slightly higher value of strain rate than Sun-CNTs. The values of Young's modulus for Irida-CNTs are slightly larger range (640.34 GPa - 825.00 GPa), while the Young's Modulus range of Sun-CNTs is 200.44 GPa - 472.84 GPa, the lower values than those presented for conventional carbon nanotubes (CNT). These findings provide insights into the mechanical behavior of Irida-CNTs and Sun-CNTs and their potential applications in nanoscale devices. △ Less

Submitted 3 October, 2023; originally announced October 2023.

MSC Class: 00-XX ACM Class: J.2.0; I.6.0

CACTUS: a Comprehensive Abstraction and Classification Tool for Uncovering Structures

Authors: Luca Gherardini, Varun Ravi Varma, Karol Capala, Roger Woods, Jose Sousa

Abstract: The availability of large data sets is providing an impetus for driving current artificial intelligent developments. There are, however, challenges for developing solutions with small data sets due to practical and cost-effective deployment and the opacity of deep learning models. The Comprehensive Abstraction and Classification Tool for Uncovering Structures called CACTUS is presented for improve… ▽ More The availability of large data sets is providing an impetus for driving current artificial intelligent developments. There are, however, challenges for developing solutions with small data sets due to practical and cost-effective deployment and the opacity of deep learning models. The Comprehensive Abstraction and Classification Tool for Uncovering Structures called CACTUS is presented for improved secure analytics by effectively employing explainable artificial intelligence. It provides additional support for categorical attributes, preserving their original meaning, optimising memory usage, and speeding up the computation through parallelisation. It shows to the user the frequency of the attributes in each class and ranks them by their discriminative power. Its performance is assessed by application to the Wisconsin diagnostic breast cancer and Thyroid0387 data sets. △ Less

Submitted 23 August, 2023; originally announced August 2023.

Enhanced Spin Hall Response From Aligned Kramers-Weyl Points in High Chern Number Semimetals

Authors: C. O. Ascencio, Wei Jiang, D. J. P. de Sousa, Seungjun Lee, Jian-Ping Wang, Tony Low

Abstract: We propose a spin Hall effect (SHE) enhancement mechanism due to Kramers-Weyl point (KWP) alignment in chiral topological semimetals with high Chern numbers (CNs). Through model Hamiltonian calculations, we identify enhancements in the intrinsic spin Hall conductivity (SHC) and the spin Hall angle (SHA). Such enhancements, attributed to a unique high CN KWP energetic alignment and a high degree of… ▽ More We propose a spin Hall effect (SHE) enhancement mechanism due to Kramers-Weyl point (KWP) alignment in chiral topological semimetals with high Chern numbers (CNs). Through model Hamiltonian calculations, we identify enhancements in the intrinsic spin Hall conductivity (SHC) and the spin Hall angle (SHA). Such enhancements, attributed to a unique high CN KWP energetic alignment and a high degree of SOC-induced band nesting, strongly depend on orbital-orbital interactions. This represents a novel mechanism to enhance SHE, differing from the spin-orbit induced anticrossing mechanism in gapped systems. Guided by this principle, we corroborate our results by means of first-principles calculations and reveal multiple realistic materials with large intrinsic SHCs and even larger SHAs than Pt. △ Less

Submitted 16 July, 2023; originally announced July 2023.

Comments: 6 pages, 4 figures

Destructive breakdown studies of irradiated LGADs at beam tests for the ATLAS HGTD

Authors: L. A. Beresford, D. E. Boumediene, L. Castillo García, L. D. Corpe, M. J. Da Cunha Sargedas de Sousa, H. El Jarrari, A. Eshkevarvakili, C. Grieco, S. Grinstein, S. Guindon, A. Howard, G. Kramberger, O. Kurdysh, R. Mazini, M. Missio, M. Morenas, O. Perrin, V. Raskina, G. Saito, S. Trincaz-Duvoid

Abstract: In the past years, it has been observed at several beam test campaigns that irradiated LGAD sensors break with a typical star shaped burn mark when operated at voltages much lower than those at which they were safely operated during laboratory tests. The study presented in this paper was designed to determine the safe operating voltage that these sensors can withstand. Many irradiated sensors from… ▽ More In the past years, it has been observed at several beam test campaigns that irradiated LGAD sensors break with a typical star shaped burn mark when operated at voltages much lower than those at which they were safely operated during laboratory tests. The study presented in this paper was designed to determine the safe operating voltage that these sensors can withstand. Many irradiated sensors from various producers were tested in two test beam facilities, DESY (Hamburg) and CERN-SPS (Geneva), as part of ATLAS High Granularity Timing Detector (HGTD) beam tests. The samples were placed in the beam and kept under bias over a long period of time in order to reach a high number of particles crossing each sensor. Both beam tests lead to a similar conclusion, that these destructive events begin to occur when the average electric field in the sensor becomes larger than 12 Volts per micrometre. △ Less

Submitted 14 July, 2023; v1 submitted 21 June, 2023; originally announced June 2023.

Comments: Published version

Journal ref: 2023 JINST 18 P07030

Performance of a front-end prototype ASIC for the ATLAS High Granularity Timing Detector

Authors: C. Agapopoulou, L. A. Beresford, D. E. Boumediene, L. Castillo García, S. Conforti, C. de la Taille, L. D. Corpe, M. J. Da Cunha Sargedas de Sousa, P. Dinaucourt, A. Falou, V. Gautam, D. Gong, C. Grieco, S. Grinstein, S. Guindon, A. Howard, O. Kurdysh, E. Kuwertz, C. Li, N. Makovec, B. Markovic, G. Martin-Chassal, R. Mazzini, C. Milke, M. Morenas , et al. (12 additional authors not shown)

Abstract: This paper presents the design and characterisation of a front-end prototype ASIC for the ATLAS High Granularity Timing Detector, which is planned for the High-Luminosity phase of the LHC. This prototype, called ALTIROC1, consists of a 5$\times$5-pad matrix and contains the analog part of the single-channel readout (preamplifier, discriminator, two TDCs and SRAM). Two preamplifier architectures (t… ▽ More This paper presents the design and characterisation of a front-end prototype ASIC for the ATLAS High Granularity Timing Detector, which is planned for the High-Luminosity phase of the LHC. This prototype, called ALTIROC1, consists of a 5$\times$5-pad matrix and contains the analog part of the single-channel readout (preamplifier, discriminator, two TDCs and SRAM). Two preamplifier architectures (transimpedance and voltage) were implemented and tested. The ASIC was characterised both alone and as a module when connected to a 5$\times$5-pad array of LGAD sensors. In calibration measurements, the ASIC operating alone was found to satisfy the technical requirements for the project, with similar performances for both preamplifier types. In particular, the jitter was found to be 15$\pm$1~ps (35$\pm$1~ps) for an injected charge of 10~fC (4~fC). A degradation in performance was observed when the ASIC was connected to the LGAD array. This is attributed to digital couplings at the entrance of the preamplifiers. When the ASIC is connected to the LGAD array, the lowest detectable charge increased from 1.5~fC to 3.4~fC. As a consequence, the jitter increased for an injected charge of 4~fC. Despite this increase, ALTIROC1 still satisfies the maximum jitter specification (below 65~ps) for the HGTD project. This coupling issue also affects the time over threshold measurements and the time-walk correction can only be performed with transimpedance preamplifiers. Beam test measurements with a pion beam at CERN were also undertaken to evaluate the performance of the module. The best time resolution obtained using only ALTIROC TDC data was 46.3$\pm$0.7~ps for a restricted time of arrival range where the coupling issue is minimized. The residual time-walk contribution is equal to 23~ps and is the dominant electronic noise contribution to the time resolution at 15~fC. △ Less

Submitted 25 July, 2023; v1 submitted 15 June, 2023; originally announced June 2023.

Comments: 20 pages, 15 figures Second version submitted to JINST including minor changes applied to address journal's comments

Nanomechanical behavior of pentagraphyne-based single-layer and nanotubes through reactive classical molecular dynamics

Authors: J. M. De Sousa, W. H. S. Brandão, W. L. A. P. Silva, L. A. Ribeiro Junior, D. S. Galvão, M. L. Pereira Júnior

Abstract: In a recent theoretical study, a new 2D carbon allotrope called pentagraphyne (PG-yne) was proposed. This allotrope is derived from pentagraphene by introducing acetylenic linkages between sp3 and sp2 hybridized carbon atoms. Due to its interesting electronic and structural properties, it is of interest to investigate the mechanical behavior of PG-yne in both monolayer and nanotube topologies. To… ▽ More In a recent theoretical study, a new 2D carbon allotrope called pentagraphyne (PG-yne) was proposed. This allotrope is derived from pentagraphene by introducing acetylenic linkages between sp3 and sp2 hybridized carbon atoms. Due to its interesting electronic and structural properties, it is of interest to investigate the mechanical behavior of PG-yne in both monolayer and nanotube topologies. To achieve this, we performed fully atomistic reactive (ReaxFF) molecular dynamics simulations, and our results show that Young's modulus average of PG-yne monolayers is approximately 913 GPa, at room temperature. In comparison, it ranges from 497-789 GPa for the nanotubes studied. Furthermore, we observed that PG-yne monolayers exhibit a direct transition from elastic to complete fracture under critical strain without a plastic regime. In contrast, some PG-yne nanotubes exhibit an extended flat plastic regime before total fracture. △ Less

Submitted 12 June, 2023; originally announced June 2023.

MSC Class: 00-XX ACM Class: J.2.0; I.6.0

Wave packet scattering in porous planar semiconductor channel

Authors: D. S. Lopes, A. A. de Sousa, J. S. de Sousa, D. R. da Costa, T. A. S. Pereira

Abstract: In this work, we investigate the dynamics of the wave packet traveling through a porous semiconductor channel, with the defects being simulated by a disordered scattering region produced by obstruction potentials. The theoretical framework is based on the $split-operator$ technique to solve the time-dependent Schr$ö$dinger equation within the effective mass approximation. In our simulation, we con… ▽ More In this work, we investigate the dynamics of the wave packet traveling through a porous semiconductor channel, with the defects being simulated by a disordered scattering region produced by obstruction potentials. The theoretical framework is based on the $split-operator$ technique to solve the time-dependent Schr$ö$dinger equation within the effective mass approximation. In our simulation, we consider the semiconductor channel made by InGaAs with a width of 100 angstrom, growth on an InAlAs substrate, and the porous ones with circular symmetry and different densities. The results for the current probability density and reflection, and transmission coefficients are analyzed for different initial values of the kinetic energy of the Gaussian wave packet, disordered pore densities, and pore randomness. △ Less

Submitted 14 June, 2023; v1 submitted 10 June, 2023; originally announced June 2023.

Comments: The title of the work will have to be changed and the results will have to be more widely discussed

MSC Class: 81U08 ACM Class: I.6.6

Scalable and Privacy-Preserving Federated Principal Component Analysis

Authors: David Froelicher, Hyunghoon Cho, Manaswitha Edupalli, Joao Sa Sousa, Jean-Philippe Bossuat, Apostolos Pyrgelis, Juan R. Troncoso-Pastoriza, Bonnie Berger, Jean-Pierre Hubaux

Abstract: Principal component analysis (PCA) is an essential algorithm for dimensionality reduction in many data science domains. We address the problem of performing a federated PCA on private data distributed among multiple data providers while ensuring data confidentiality. Our solution, SF-PCA, is an end-to-end secure system that preserves the confidentiality of both the original data and all intermedia… ▽ More Principal component analysis (PCA) is an essential algorithm for dimensionality reduction in many data science domains. We address the problem of performing a federated PCA on private data distributed among multiple data providers while ensuring data confidentiality. Our solution, SF-PCA, is an end-to-end secure system that preserves the confidentiality of both the original data and all intermediate results in a passive-adversary model with up to all-but-one colluding parties. SF-PCA jointly leverages multiparty homomorphic encryption, interactive protocols, and edge computing to efficiently interleave computations on local cleartext data with operations on collectively encrypted data. SF-PCA obtains results as accurate as non-secure centralized solutions, independently of the data distribution among the parties. It scales linearly or better with the dataset dimensions and with the number of data providers. SF-PCA is more precise than existing approaches that approximate the solution by combining local analysis results, and between 3x and 250x faster than privacy-preserving alternatives based solely on secure multiparty computation or homomorphic encryption. Our work demonstrates the practical applicability of secure and federated PCA on private distributed datasets. △ Less

Submitted 31 March, 2023; originally announced April 2023.

Comments: Published elsewhere. IEEE Symposium on Security and Privacy 2023

Performance in beam tests of Carbon-enriched irradiated Low Gain Avalanche Detectors for the ATLAS High Granularity Timing Detector

Authors: S. Ali, H. Arnold, S. L. Auwens, L. A. Beresford, D. E. Boumediene, A. M. Burger, L. Cadamuro, L. Castillo García, L. D. Corpe, M. J. Da Cunha Sargedas de Sousa, D. Dannheim, V. Dao, A. Gabrielli, Y. El Ghazali, H. El Jarrari, V. Gautam, S. Grinstein, J. Guimarães da Costa, S. Guindon, X. Jia, G. Kramberger, Y. Liu, K. Ma, N. Makovec, S. Manzoni , et al. (12 additional authors not shown)

Abstract: The High Granularity Timing Detector (HGTD) will be installed in the ATLAS experiment to mitigate pile-up effects during the High Luminosity (HL) phase of the Large Hadron Collider (LHC) at CERN. Low Gain Avalanche Detectors (LGADs) will provide high-precision measurements of the time of arrival of particles at the HGTD, improving the particle-vertex assignment. To cope with the high-radiation env… ▽ More The High Granularity Timing Detector (HGTD) will be installed in the ATLAS experiment to mitigate pile-up effects during the High Luminosity (HL) phase of the Large Hadron Collider (LHC) at CERN. Low Gain Avalanche Detectors (LGADs) will provide high-precision measurements of the time of arrival of particles at the HGTD, improving the particle-vertex assignment. To cope with the high-radiation environment, LGADs have been optimized by adding carbon in the gain layer, thus reducing the acceptor removal rate after irradiation. Performances of several carbon-enriched LGAD sensors from different vendors, and irradiated with high fluences of 1.5 and 2.5 x 10^15 neq/cm2, have been measured in beam test campaigns during the years 2021 and 2022 at CERN SPS and DESY. This paper presents the results obtained with data recorded by an oscilloscope synchronized with a beam telescope which provides particle position information within a resolution of a few um. Collected charge, time resolution and hit efficiency measurements are presented. In addition, the efficiency uniformity is also studied as a function of the position of the incident particle inside the sensor pad. △ Less

Submitted 17 March, 2023; v1 submitted 14 March, 2023; originally announced March 2023.

Exploring the Elastic Properties and Fracture Patterns of Me-Graphene Monolayers and Nanotubes through Reactive Molecular Dynamics Simulations

Authors: Marcelo L. Pereira Junior, José. M. De Sousa, Wjefferson H. S. Brandão, Douglas. S. Galvão, Alexandre F. Fonseca, Luiz A. Ribeiro Junior

Abstract: Me-graphene (MeG) is a novel two-dimensional (2D) carbon allotrope. Due to its attractive electronic and structural properties, it is important to study the mechanical behavior of MeG in its monolayer and nanotube topologies. In this work, we conducted fully atomistic reactive molecular dynamics simulations using the Tersoff force field to investigate their mechanical properties and fracture patte… ▽ More Me-graphene (MeG) is a novel two-dimensional (2D) carbon allotrope. Due to its attractive electronic and structural properties, it is important to study the mechanical behavior of MeG in its monolayer and nanotube topologies. In this work, we conducted fully atomistic reactive molecular dynamics simulations using the Tersoff force field to investigate their mechanical properties and fracture patterns. Our results indicate that Young's modulus of MeG monolayers is about 414 GPa and in the range of 421-483 GPa for the nanotubes investigated here. MeG monolayers and MeGNTs directly undergo from elastic to complete fracture under critical strain without a plastic regime. △ Less

Submitted 23 October, 2023; v1 submitted 13 March, 2023; originally announced March 2023.

Comments: 10 pages, 01 table, and 05 figures

MSC Class: 00-xx ACM Class: J.2; I.6

Sublinear drag regime at mesoscopic scales in viscoelastic materials

Authors: A. E. O. Ferreira, J. L. B. de Araújo, W. P. Ferreira, J. S. de Sousa, C. L. N. Oliveira

Abstract: Stressed soft materials commonly present viscoelastic signatures in the form of power-law or exponential decay. Understanding the origins of such rheologic behaviors is crucial to find proper technological applications. Using an elastic network model of macromolecules immersed in a viscous fluid, we numerically reproduce those characteristic viscoelastic relaxations and show how the microscopic in… ▽ More Stressed soft materials commonly present viscoelastic signatures in the form of power-law or exponential decay. Understanding the origins of such rheologic behaviors is crucial to find proper technological applications. Using an elastic network model of macromolecules immersed in a viscous fluid, we numerically reproduce those characteristic viscoelastic relaxations and show how the microscopic interactions determine the rheologic response. We find that exponential relaxations are indeed the most common behavior. However, power laws may arise when drag forces between the macromolecules and the fluid are sublinear, which is related to micro-deformations of the macromolecules. △ Less

Submitted 13 March, 2023; originally announced March 2023.

First-Principles and Reactive Molecular Dynamics Study of the Elastic Properties of Pentahexoctite-based Nanotubes

Authors: W. H. S. Brandão, J. M. De Sousa, A. L. Aguiar, D. S. Galvão, L. A. Ribeiro Junior, Alexandre F. Fonseca

Abstract: Pentahexoctite (PH) is a pure sp$^2$ hybridized planar carbon allotrope whose structure consists of a symmetric combination of pentagons, hexagons, and octagons. The proposed PH structure was shown to be an intrinsically metallic material exhibiting good mechanical and thermal stability. PH nanotubes (PHNTs) have also been proposed, and their properties were obtained from first principles calculat… ▽ More Pentahexoctite (PH) is a pure sp$^2$ hybridized planar carbon allotrope whose structure consists of a symmetric combination of pentagons, hexagons, and octagons. The proposed PH structure was shown to be an intrinsically metallic material exhibiting good mechanical and thermal stability. PH nanotubes (PHNTs) have also been proposed, and their properties were obtained from first principles calculations. Here, we carried out fully-atomistic simulations, combining reactive (ReaxFF) molecular dynamics (MD) and density functional theory (DFT) methods, to study the PHNTs elastic properties and fracture patterns. We have investigated the mechanical properties behavior as a function of the tube diameter and temperature regimes. Our results showed that the PHNTs, when subjected to large tensile strains, undergo abrupt structural transitions exhibiting brittle fracture patterns without a plastic regime. △ Less

Submitted 7 March, 2023; originally announced March 2023.

Comments: 10 figures, 2 tables

Existence, uniqueness and controllability for Hilfer differential equations on times scales

Authors: J. Vanterler da C. Sousa, D. S. Oliveira, Gastao S. F. Frederico, Delfim F. M. Torres

Abstract: We introduce a new version of $ψ$-Hilfer fractional derivative, on an arbitrary time scale. The fundamental properties of the new operator are investigated and, in particular, we prove an integration by parts formula. Using the Laplace transform and the obtained integration by parts formula, we then propose a $ψ$-Riemann-Liouville fractional integral on times scales. The applicability of the new o… ▽ More We introduce a new version of $ψ$-Hilfer fractional derivative, on an arbitrary time scale. The fundamental properties of the new operator are investigated and, in particular, we prove an integration by parts formula. Using the Laplace transform and the obtained integration by parts formula, we then propose a $ψ$-Riemann-Liouville fractional integral on times scales. The applicability of the new operators is illustrated by considering a fractional initial value problem on an arbitrary time scale, for which we prove existence, uniqueness and controllability of solutions in a suitable Banach space. The obtained results are interesting and nontrivial even for particular choices: (i) of the time scale; (ii) of the order of differentiation; and/or (iii) function $ψ$; opening new directions of investigation. △ Less

Submitted 21 February, 2023; originally announced February 2023.

Comments: This is a 20 pages preprint of a paper whose final and definite form is published in 'Math. Meth. Appl. Sci.', Online ISSN: 1099-1476

MSC Class: 26A33; 26E70; 34A08; 34A12; 93B05

Journal ref: Math. Meth. Appl. Sci. 46 (2023), no. 12, 12378--12401

A gradient type term for the $k$-Hessian equation

Authors: Mykael de Araújo Cardoso, Jefferson de Brito Sousa, José Francisco de Oliveira

Abstract: In this paper, we propose a gradient type term for the $k$-Hessian equation that extends for $k>1$ the classical quadratic gradient term associated with the Laplace equation. We prove that such as gradient term is invariant by the Kazdan-Kramer change of variables. As applications, we ensure the existence of solutions for a new class of $k$-Hessian equation in the sublinear and superlinear cases f… ▽ More In this paper, we propose a gradient type term for the $k$-Hessian equation that extends for $k>1$ the classical quadratic gradient term associated with the Laplace equation. We prove that such as gradient term is invariant by the Kazdan-Kramer change of variables. As applications, we ensure the existence of solutions for a new class of $k$-Hessian equation in the sublinear and superlinear cases for Sobolev type growth. The threshold for existence is obtained in some particular cases. In addition, for the Trudinger-Moser type growth regime, we also prove the existence of solutions under either subcritical or critical conditions. △ Less

Submitted 17 January, 2023; originally announced January 2023.

MSC Class: 35J66; 35J60; 35J50; 35J96

Field-free-switching state diagram of perpendicular magnetization subjected to conventional and unconventional spin-orbit torques

Authors: D. J. P. de Sousa, P. M. Haney, J. P. Wang, Tony Low

Abstract: The lack of certain crystalline symmetries in strong spin-orbit-coupled non-magnetic materials allows for the existence of uncoventional spin Hall responses, with electrically generated transverse spin currents possessing collinear flow and spin directions. The injection of such spin currents into an adjacent ferromagnetic layer can excite magnetization dynamics via unconventional spin-orbit torqu… ▽ More The lack of certain crystalline symmetries in strong spin-orbit-coupled non-magnetic materials allows for the existence of uncoventional spin Hall responses, with electrically generated transverse spin currents possessing collinear flow and spin directions. The injection of such spin currents into an adjacent ferromagnetic layer can excite magnetization dynamics via unconventional spin-orbit torques, leading to deterministic switching in ferromagnets with perpendicular magnetic anisotropy. We study the interplay between conventional and unconventional spin-orbit torques on the magnetization dynamics of a perpendicular ferromagnet in the small intrinsic damping limit, and identify a rich set of dynamical regimes that includes deterministic and probabilistic switching, precessional and pinning states. Contrary to common belief, we found that there exists a critical conventional spin Hall angle, beyond which deterministic magnetization switching transitions to a precessional or pinned state. Conversely, we showed that larger unconventional spin Hall angle is generally beneficial for deterministic switching. We derive an approximate expression that qualitatively describes the state diagram boundary between the full deterministic switching and precessional states and discuss a criterion for searching symmetry-broken spin Hall materials in order to maximize switching efficiency. Our work offers a roadmap towards energy efficient spintronic devices, which might opens doors for applications in advanced in-memory computing technologies. △ Less

Submitted 28 October, 2022; originally announced October 2022.

Bao-Enclave: Virtualization-based Enclaves for Arm

Authors: Samuel Pereira, Joao Sousa, Sandro Pinto, José Martins, David Cerdeira

Abstract: General-purpose operating systems (GPOS), such as Linux, encompass several million lines of code. Statistically, a larger code base inevitably leads to a higher number of potential vulnerabilities and inherently a more vulnerable system. To minimize the impact of vulnerabilities in GPOS, it has become common to implement security-sensitive programs outside the domain of the GPOS, i.e., in a Truste… ▽ More General-purpose operating systems (GPOS), such as Linux, encompass several million lines of code. Statistically, a larger code base inevitably leads to a higher number of potential vulnerabilities and inherently a more vulnerable system. To minimize the impact of vulnerabilities in GPOS, it has become common to implement security-sensitive programs outside the domain of the GPOS, i.e., in a Trusted Execution Environment (TEE). Arm TrustZone is the de-facto technology for implementing TEEs in Arm devices. However, over the last decade, TEEs have been successfully attacked hundreds of times. Unfortunately, these attacks have been possible due to the presence of several architectural and implementation flaws in TrustZone-based TEEs. In this paper, we propose Bao-Enclave, a virtualization-based solution that enables OEMs to remove security functionality from the TEE and move them into normal world isolated environments, protected from potentially malicious OSes, in the form of lightweight virtual machines (VMs). We evaluate Bao-Enclave on real hardware platforms and find out that Bao-Enclave may improve the performance of security-sensitive workloads by up to 4.8x, while significantly simplifying the TEE software TCB. △ Less

Submitted 12 September, 2022; originally announced September 2022.

Comments: 6 pages, 5 figures, WF-IoT 2022

ACM Class: D.4.6

Coherence behavior of strongly coupled bosonic modes

Authors: Jucelino F. Sousa, Carlos H. S. Vieira, Jonas F. G. Santos, Irismar G. da Paz

Abstract: We study the effect of the intermode coupling in the generation of coherence when two bosonic modes are bilinearly coupled. We consider the case for which the two modes are weakly coupled and the rotating-wave approximation (RWA) applies and the case for which they are strongly coupled and the (RWA) does not apply. Then, in the regime of validity of (RWA), there is no coherence generation solely d… ▽ More We study the effect of the intermode coupling in the generation of coherence when two bosonic modes are bilinearly coupled. We consider the case for which the two modes are weakly coupled and the rotating-wave approximation (RWA) applies and the case for which they are strongly coupled and the (RWA) does not apply. Then, in the regime of validity of (RWA), there is no coherence generation solely due to squeezing effects, which means there is an exchange of excitation between the modes and negligible squeezing. On the other hand, if the two modes are strongly coupled coherence is generated by the squeezing interaction. For the system of two bosonic modes weakly coupled with a Markovian bath at temperature $T$ the coherence decreases with $T$. In general, when both kinds of couplings (exchange of excitation and squeezing) are turned on the exchange of excitation contributes to generating more coherence in comparison with a purely squeezing coupling. Thus, the coherence decreases more slowly with the temperature when both couplings are present. Finally, we explore the case when only one of the two coupled modes interacts with a Markovian bath while the other one remains free from the environment. We observe that the intermode coupling induces oscillations in the coherence and fidelity dynamics similar to the behavior for the coupling with a non-Markovian environment. △ Less

Submitted 22 August, 2022; originally announced August 2022.

On the Computational Complexity of the Strong Geodetic Recognition Problem

Authors: Carlos V. G. C. Lima, Vinicius F. dos Santos, João H. G. Sousa, Sebastián A. Urrutia

Abstract: A strong geodetic set of a graph~$G=(V,E)$ is a vertex set~$S \subseteq V(G)$ in which it is possible to cover all the remaining vertices of~$V(G) \setminus S$ by assigning a unique shortest path between each vertex pair of~$S$. In the Strong Geodetic problem (SG) a graph~$G$ and a positive integer~$k$ are given as input and one has to decide whether~$G$ has a strong geodetic set of cardinality at… ▽ More A strong geodetic set of a graph~$G=(V,E)$ is a vertex set~$S \subseteq V(G)$ in which it is possible to cover all the remaining vertices of~$V(G) \setminus S$ by assigning a unique shortest path between each vertex pair of~$S$. In the Strong Geodetic problem (SG) a graph~$G$ and a positive integer~$k$ are given as input and one has to decide whether~$G$ has a strong geodetic set of cardinality at most~$k$. This problem is known to be NP-hard for general graphs. In this work we introduce the Strong Geodetic Recognition problem (SGR), which consists in determining whether even a given vertex set~$S \subseteq V(G)$ is strong geodetic. We demonstrate that this version is NP-complete. We investigate and compare the computational complexity of both decision problems restricted to some graph classes, deriving polynomial-time algorithms, NP-completeness proofs, and initial parameterized complexity results, including an answer to an open question in the literature for the complexity of SG for chordal graphs. △ Less

Submitted 2 August, 2022; originally announced August 2022.

MSC Class: 05C; 90C39; 94C15

Boron Nitride Nanotube Peapod under Ultrasonic Velocity Impacts: A Fully Atomistic Molecular Dynamics Investigation

Authors: J. M. De Sousa, L. D. Machado, C. F. Woellner, M. Medina, P. A. S. Autreto, D. S. Galvão

Abstract: In this work, we investigated the mechanical response and fracture dynamics of boron nitride nanotubes (BNNTs)-peapods under ultrasonic velocity impacts (from 1 km/s to 6 km/s) against a solid target. BNNT-peapods are BNNTs containing an encapsulated linear arrangement of C60 molecules. We carried out fully atomistic reactive (ReaxFF) molecular dynamics simulations. We have considered the case of… ▽ More In this work, we investigated the mechanical response and fracture dynamics of boron nitride nanotubes (BNNTs)-peapods under ultrasonic velocity impacts (from 1 km/s to 6 km/s) against a solid target. BNNT-peapods are BNNTs containing an encapsulated linear arrangement of C60 molecules. We carried out fully atomistic reactive (ReaxFF) molecular dynamics simulations. We have considered the case of horizontal and vertical shootings. Depending on the velocity values we observed tube bending, tube fracture, and C60 ejection. One interesting result was tube unzipping with the formation of bilayer nanoribbons 'incrusted' with C60 molecules. △ Less

Submitted 1 August, 2022; originally announced August 2022.

Comments: 15

MSC Class: 00-XX ACM Class: J.2.0; I.6.0

Dynamical Formation of Graphene and Graphane Nanoscrolls

Authors: M. L. Pereira Júnior, L. A. Ribeiro Júnior, D. S. Galvão, J. M. De Sousa

Abstract: Carbon nanoscrolls (CNSs) are nanomaterials with geometry resembling graphene layers rolled up into a spiral (papyrus-like) form. Effects of hydrogenation and temperature on the self-scrolling process of two nanoribbons interacting with a carbon nanotube (CNT) have been studied by molecular dynamics simulations for three configurations: (1) graphene/graphene/CNT; (2) graphene/graphane/CNT, and (3)… ▽ More Carbon nanoscrolls (CNSs) are nanomaterials with geometry resembling graphene layers rolled up into a spiral (papyrus-like) form. Effects of hydrogenation and temperature on the self-scrolling process of two nanoribbons interacting with a carbon nanotube (CNT) have been studied by molecular dynamics simulations for three configurations: (1) graphene/graphene/CNT; (2) graphene/graphane/CNT, and (3) graphane/graphane/CNT. Graphane refers to a fully hydrogenated graphene nanoribbon. Nanoscroll formation is observed for configurations (1) and (2) for temperatures 300-1000 K, while nanoribbons wrap CNT without nanoscroll formation for configuration (3). △ Less

Submitted 30 July, 2022; originally announced August 2022.

Comments: 9. arXiv admin note: substantial text overlap with arXiv:2105.01756

MSC Class: 00-XX ACM Class: J.2.0; I.6.0

A Computational Study On the Mechanical Properties of Pentahexoctite Single-layer: Combining DFT and Classical Molecular Dynamics Simulations

Authors: W. H. S. Brandão, A. L. Aguiar, L. A. Ribeiro Júnior, D. S. Galvão, J. M. De Sousa

Abstract: Studies aimed at designing new allotropic forms of carbon have received much attention. Recently, a new 2D graphene-like allotrope named Pentahexoctite was theoretically proposed. Pentahexoctite has a metallic signature, and its structure consists of continuous 5-6-8 rings of carbon atoms with sp2 hybridization. Here, we carried out fully-atomistic computational simulations, combining reactive (Re… ▽ More Studies aimed at designing new allotropic forms of carbon have received much attention. Recently, a new 2D graphene-like allotrope named Pentahexoctite was theoretically proposed. Pentahexoctite has a metallic signature, and its structure consists of continuous 5-6-8 rings of carbon atoms with sp2 hybridization. Here, we carried out fully-atomistic computational simulations, combining reactive (ReaxFF) molecular dynamics (MD) and density functional theory (DFT) methods, to study the elastic properties and fracture patterns of Pentahexoctite monolayer. Results revealed a Young's Modulus of 0.74 TPa, smaller than the graphene one (about 1.0 TPa). The Pentahexoctite monolayer, when subjected to a critical strain, goes directly from elastic to completely fractured regimes. This process occurs with no plasticity stages between these two regimes. Importantly, graphene presents a similar fracture process. The elastic properties calculated with both DFT and MD are in good agreement. Keywords: Reactive Molecular Dynamics, DFT, Mechanical Properties, Carbon Allotrope, △ Less

Submitted 20 July, 2022; originally announced July 2022.

MSC Class: 00-XX ACM Class: J.2.0; I.6.0

Fully Atomistic Molecular Dynamics Simulations of Elastic Properties of Tetragraphene Monolayer

Authors: Wjefferson H. S. Brandão, Acrisio L. Aguiar, Alexandre F. Fonseca, D. S. Galvão, J. M. De Sousa

Abstract: A quasi-2D semiconductor carbon allotrope called tetrahexcarbon, also named tetragraphene, was recently proposed featuring an unusual structure combining squared and hexagonal rings. Mechanical and electronic properties of tetragraphene have been predicted based on first-principles Density Functional Theory (DFT) calculations. However, a comprehensive study of its mechanical behavior under differe… ▽ More A quasi-2D semiconductor carbon allotrope called tetrahexcarbon, also named tetragraphene, was recently proposed featuring an unusual structure combining squared and hexagonal rings. Mechanical and electronic properties of tetragraphene have been predicted based on first-principles Density Functional Theory (DFT) calculations. However, a comprehensive study of its mechanical behavior under different temperatures is still lacking. In this work, using fully atomistic reactive molecular dynamics (MD) simulations, we investigate the mechanical properties of monolayer tetragraphene under tensile strain from the linear regime up to the complete structural failure (fracture). Different temperatures were considered and the results were compared to that of two other known planar carbon allotropes: graphene and penta-graphene. One interesting result is that tetragraphene experiences a transition from crystalline to an amorphous structure by either temperature or tension application. At room temperature, the critical strains along the two orthogonal unit-cell directions of tetragraphene are 38\% and 30\%, which is higher than that for graphene and penta-graphene. Tetragraphene Young's modulus values along its directions are from three to six times smaller than that of graphene and about 57\% that of penta-graphene at room temperature. Ultimate tensile strength values along the two directions of tetragraphene were obtained and also shown to be smaller than that of graphene and penta-graphene. △ Less

Submitted 20 July, 2022; originally announced July 2022.

Comments: 18 pages

MSC Class: 00-XX ACM Class: J.2.0; I.6.0

Simplest Integrals for the Zeta Function and its Generalizations Valid in All $\mathbb{C}$

Authors: Jose Risomar Sousa

Abstract: Using a different approach, we derive integral representations for the Riemann zeta function and its generalizations (the Hurwitz zeta, $ζ(-k,b)$, the polylogarithm, $\mathrm{Li}_{-k}(e^m)$, and the Lerch transcendent, $Φ(e^m,-k,b)$), that coincide with their Abel-Plana expressions. A slight variation of the approach leads to different formulae. We also present the relations between each of these… ▽ More Using a different approach, we derive integral representations for the Riemann zeta function and its generalizations (the Hurwitz zeta, $ζ(-k,b)$, the polylogarithm, $\mathrm{Li}_{-k}(e^m)$, and the Lerch transcendent, $Φ(e^m,-k,b)$), that coincide with their Abel-Plana expressions. A slight variation of the approach leads to different formulae. We also present the relations between each of these functions and their partial sums. It allows one to figure, for example, the Taylor series expansion of $H_{-k}(n)$ about $n=0$ (when $k$ is a positive integer, we obtain a finite Taylor series, which is nothing but the Faulhaber formula). The method used requires evaluating the limit of $Φ\left(e^{2πi\,x},-2k+1,n+1\right)+πi\,x\,Φ\left(e^{2πi\,x},-2k,n+1\right)/k$ when $x$ goes to $0$, which in itself already makes for an interesting problem. △ Less

Submitted 18 October, 2022; v1 submitted 7 July, 2022; originally announced July 2022.

Comments: 13 pages (another typo has been fixed)

MSC Class: 11-XX

Spin Torque Generated by Valley Hall Effect in WSe2

Authors: D. J. P. de Sousa, M. J. Sammon, Raseong Kim, Hai Li, Ian A. Young, Tony Low

Abstract: Monolayer transition metal dichalcogenides are promising materials for spintronics due to their robust spin-valley locked valence states, enabling efficient charge-to-spin conversion via valley Hall effect with non-equilibrium spins possessing long spin diffusion lengths of hundreds of nanometers. In this work, we show that the injection of a pure valley current, induced by valley Hall effect in a… ▽ More Monolayer transition metal dichalcogenides are promising materials for spintronics due to their robust spin-valley locked valence states, enabling efficient charge-to-spin conversion via valley Hall effect with non-equilibrium spins possessing long spin diffusion lengths of hundreds of nanometers. In this work, we show that the injection of a pure valley current, induced by valley Hall effect in a WSe2 monolayer, imparts a spin torque on the magnetization of an overlaid Fe or CoFe in a tunneling structure. The torque efficiency is found to be comparable to that in conventional perpendicular magnetic tunnel junctions and can be further optimized with valley Hall angle in WSe2. The valley nature of the spin torque gives rise to out-of-plane damping-like torques in a current-in-plane configuration, vanishing charge transport perpendicular-to-the-plane as well as torque efficiency tunable through gating. △ Less

Submitted 20 June, 2022; originally announced June 2022.

Charge-to-spin conversion in twisted graphene/WSe$_2$ heterostructures

Authors: Seungjun Lee, D. J. P. de Sousa, Young-Kyun Kwon, Fernando de Juan, Zhendong Chi, Fèlix Casanova, Tony Low

Abstract: We investigate the twist angle dependence of spin-orbit coupling (SOC) proximity effects and charge-to-spin conversion (CSC) in graphene/WSe$_2$ heterostructures from first principles. The CSC is shown to strongly depend on the twist angle, with both the spin Hall and standard Rashba-Edelstein efficiencies optimized at or near 30° twisting. Symmetry breaking due to twisting also gives rise to an u… ▽ More We investigate the twist angle dependence of spin-orbit coupling (SOC) proximity effects and charge-to-spin conversion (CSC) in graphene/WSe$_2$ heterostructures from first principles. The CSC is shown to strongly depend on the twist angle, with both the spin Hall and standard Rashba-Edelstein efficiencies optimized at or near 30° twisting. Symmetry breaking due to twisting also gives rise to an unconventional Rashba-Edelstein effect, with electrically generated non-equilibrium spin densities possessing spins collinear to the applied electric field. We further discuss how the carrier doping concentration and band broadening control the crossover between the Fermi-sea and -surface spin response, which reconciles the seemingly disparate experimental observations of different CSC phenomena. △ Less

Submitted 19 June, 2022; originally announced June 2022.

Comments: 5 pages, 4 figures, Supplementary Information (13 pages, 7 figures)

Journal ref: Phys. Rev. B 106, (2022) 165420

ConceptDistil: Model-Agnostic Distillation of Concept Explanations

Authors: João Bento Sousa, Ricardo Moreira, Vladimir Balayan, Pedro Saleiro, Pedro Bizarro

Abstract: Concept-based explanations aims to fill the model interpretability gap for non-technical humans-in-the-loop. Previous work has focused on providing concepts for specific models (eg, neural networks) or data types (eg, images), and by either trying to extract concepts from an already trained network or training self-explainable models through multi-task learning. In this work, we propose ConceptDis… ▽ More Concept-based explanations aims to fill the model interpretability gap for non-technical humans-in-the-loop. Previous work has focused on providing concepts for specific models (eg, neural networks) or data types (eg, images), and by either trying to extract concepts from an already trained network or training self-explainable models through multi-task learning. In this work, we propose ConceptDistil, a method to bring concept explanations to any black-box classifier using knowledge distillation. ConceptDistil is decomposed into two components:(1) a concept model that predicts which domain concepts are present in a given instance, and (2) a distillation model that tries to mimic the predictions of a black-box model using the concept model predictions. We validate ConceptDistil in a real world use-case, showing that it is able to optimize both tasks, bringing concept-explainability to any black-box model. △ Less

Submitted 7 May, 2022; originally announced May 2022.

Comments: ICLR 2022 PAIR2Struct Workshop

Fractional one-sided measure theoretic second-order elliptic operators and applications to stochastic partial differential equations

Authors: Kelvin J. R. Sousa

Abstract: In this work we introduce and study fractional measure theoretic elliptic operators on the torus and a new stochastic process named W-Brownian motion. We establish some regularity and spectral results related to the operators cited above, more precisely, we were able to provide sharp bounds for the growth rate of eigenvalues to an associated eigenvalue problem. Moreover, we show how the Cameron-Ma… ▽ More In this work we introduce and study fractional measure theoretic elliptic operators on the torus and a new stochastic process named W-Brownian motion. We establish some regularity and spectral results related to the operators cited above, more precisely, we were able to provide sharp bounds for the growth rate of eigenvalues to an associated eigenvalue problem. Moreover, we show how the Cameron-Martin space associated to the W-Brownian motion relates to Sobolev spaces connected with the elliptic operators mentioned above. Finally applications of the theory developed on stochastic partial differential equations are given. △ Less

Submitted 27 April, 2022; originally announced April 2022.

Comments: PhD thesis. 93 pages and 1 figure

Lerch's $Φ$ and the Polylogarithm at the Negative Integers

Authors: Jose Risomar Sousa

Abstract: At the negative integers, there is a simple relation between the Lerch $Φ$ function and the polylogarithm. Starting from that relation and a formula for the polylogarithm at the negative integers known from the literature, we can deduce a simple closed formula for the Lerch $Φ$ function at the negative integers, where the Stirling numbers of the second kind are not needed. Leveraging that finding,… ▽ More At the negative integers, there is a simple relation between the Lerch $Φ$ function and the polylogarithm. Starting from that relation and a formula for the polylogarithm at the negative integers known from the literature, we can deduce a simple closed formula for the Lerch $Φ$ function at the negative integers, where the Stirling numbers of the second kind are not needed. Leveraging that finding, we also produce alternative formulae for the $k$-th derivatives of the cotangent and cosecant (ditto, tangent and secant), as simple functions of the negative polylogarithm and Lerch $Φ$, respectively, which is evidence of the importance of these functions (they are less exotic than they seem). Lastly, we extend formulae for the Hurwitz zeta function only valid at the positive integers to the complex half-plane using this novelty. △ Less

Submitted 6 June, 2024; v1 submitted 22 September, 2021; originally announced September 2021.

Comments: Fixed minor inaccuracies and typos, improved the writing and the notation and simplified formulae

MSC Class: 11-XX