Showing 1–50 of 50 results for author: Oliveira, D S

Full Iso-recursive Types

Authors: Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira

Abstract: There are two well-known formulations of recursive types: iso-recursive and equi-recursive types. Abadi and Fiore [1996] have shown that iso- and equi-recursive types have the same expressive power. However, their encoding of equi-recursive types in terms of iso-recursive types requires explicit coercions. These coercions come with significant additional computational overhead, and complicate reas… ▽ More There are two well-known formulations of recursive types: iso-recursive and equi-recursive types. Abadi and Fiore [1996] have shown that iso- and equi-recursive types have the same expressive power. However, their encoding of equi-recursive types in terms of iso-recursive types requires explicit coercions. These coercions come with significant additional computational overhead, and complicate reasoning about the equivalence of the two formulations of recursive types. This paper proposes a generalization of iso-recursive types called full iso-recursive types. Full iso-recursive types allow encoding all programs with equi-recursive types without computational overhead. Instead of explicit term coercions, all type transformations are captured by computationally irrelevant casts, which can be erased at runtime without affecting the semantics of the program. Consequently, reasoning about the equivalence between the two approaches can be greatly simplified. We present a calculus called $λ^μ_{Fi}$, which extends the simply typed lambda calculus (STLC) with full iso-recursive types. The $λ^μ_{Fi}$ calculus is proved to be type sound, and shown to have the same expressive power as a calculus with equi-recursive types. We also extend our results to subty**, and show that equi-recursive subty** can be expressed in terms of iso-recursive subty** with cast operators. △ Less

Submitted 30 June, 2024; originally announced July 2024.

Super-suppression of long wavelength phonons in constricted nanoporous geometries

Authors: Alex Greaney, S. Aria Hosseini, Laura de Sousa Oliveira, Alathea Davies, Neophytos Neophytou

Abstract: In a typical semiconductor material, the majority of heat is carried by long wavelength, long mean-free-path phonons. Nanostructuring strategies to reduce thermal conductivity, a promising direction in the field of thermoelectrics, place scattering centers of size and spatial separation comparable to the mean-free-paths of the dominant phonons to selectively scatter them. The resultant thermal con… ▽ More In a typical semiconductor material, the majority of heat is carried by long wavelength, long mean-free-path phonons. Nanostructuring strategies to reduce thermal conductivity, a promising direction in the field of thermoelectrics, place scattering centers of size and spatial separation comparable to the mean-free-paths of the dominant phonons to selectively scatter them. The resultant thermal conductivity is in most cases well predicted using Matthiessens rule. In general, however, long wavelength phonons are not as effectively scattered as the rest of the phonon spectrum. In this work, using large-scale Molecular Dynamics simulations, Non-Equilibrium Greens Function simulations, and Monte Carlo simulations, we show that specific nanoporous geometries, which create narrow constrictions in the passage of phonons, lead to anticorrelated heat currents in the phonon spectrum. This results in super-suppression of long-wavelength phonons due to heat trap**, and reductions in the thermal conductivity well below what is predicted by Matthiessens rule. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Comments: 25 pages, 7 figures

Journal ref: Nanomaterials 2024, 14(9), 795

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

Validation of SOLPS-ITER Simulations against the TCV-X21 Reference Case

Authors: Y. Wang, C. Colandrea, D. S. Oliveira, C. Theiler, H. Reimerdes, T. Body, D. Galassi, L. Martinelli, K. Lee, TCV team

Abstract: This paper presents a quantitative validation of SOLPS-ITER simulations against the TCV-X21 reference case and provides insights into the neutral dynamics and ionization source distribution in this scenario. TCV-X21 is a well-diagnosed diverted L-mode sheath-limited plasma scenario in both toroidal field directions, designed specifically for the validation of turbulence codes [D.S. Oliveira, T. Bo… ▽ More This paper presents a quantitative validation of SOLPS-ITER simulations against the TCV-X21 reference case and provides insights into the neutral dynamics and ionization source distribution in this scenario. TCV-X21 is a well-diagnosed diverted L-mode sheath-limited plasma scenario in both toroidal field directions, designed specifically for the validation of turbulence codes [D.S. Oliveira, T. Body, et al 2022 Nucl. Fusion 62 096001]. Despite the optimization to reduce the impact of the neutral dynamics, the absence of neutrals in previous turbulence simulations of TCV-X21 was identified as a possible explanation for the disagreements with the experimental data in the divertor region. This motivates the present study with SOLPS-ITER that includes kinetic neutral dynamics via EIRENE. Five new observables are added to the extensive, publicly available TCV-X21 dataset. These are three deuterium Balmer lines in the divertor and neutral pressure in the common and private flux regions. The quantitative agreement metric is combined with the conjugate gradient method to approach the SOLPS-ITER input parameters that return the best overall agreement with the experiment. A proof-of-principle of this method results in a modest improvement in the level-of-agreement; shortcomings of the method and how to improve it are discussed. Alternatively, a scan of the particle and heat diffusion coefficients shows an improvement of 10.4% beyond the agreement level achieved by the gradient method. The result is found for an increased transport coefficient compared to what is usually used for TCV L-mode plasmas, suggesting the need for accurate self-consistent turbulence models for predictive boundary simulations. The simulations indicate that ~65% of the total ionization occurs in the SOL, motivating the inclusion of neutrals in future turbulence simulations towards improved agreement with the experiment. △ Less

Submitted 26 October, 2023; originally announced October 2023.

Crystallization and refluidization in very-narrow fluidized beds

Authors: Vinícius Pereira da Silva Oliveira, Danilo da Silva Borges, Erick de Moraes Franklin

Abstract: Fluidization of solid particles by an ascending fluid is frequent in industry because of the high rates of mass and heat transfers achieved. However, in some cases blockages occur and hinder the correct functioning of the fluidized bed. In this paper, we investigate the crystallization (defluidization) and refluidization that take place in very-narrow solid-liquid fluidized beds under steady flow… ▽ More Fluidization of solid particles by an ascending fluid is frequent in industry because of the high rates of mass and heat transfers achieved. However, in some cases blockages occur and hinder the correct functioning of the fluidized bed. In this paper, we investigate the crystallization (defluidization) and refluidization that take place in very-narrow solid-liquid fluidized beds under steady flow conditions. For that, we carried out experiments where either monodisperse or bidisperse beds were immersed in water flows whose velocities were above those necessary for fluidization, and the ratio between the tube and grain diameters was smaller than 6. For monodisperse beds consisting of regular spheres, we observed that crystallization and refluidization alternate successively along time, which we quantify in terms of macroscopic structures and agitation of individual grains. We found the characteristic times for crystallization, and propose a new macroscopic parameter quantifying the degree of bed agitation. The bidisperse beds consisted of less-regular spheres placed on the bottom of a layer of regular spheres (the latter was identical to the monodisperse beds tested). We measured the changes that macroscopic structures and agitation of grains undergo, and show that the higher agitation in the bottom layer hinders crystallization of the top layer. Our results bring new insights into the dynamics of very-narrow beds, in addition to proposing a way of mitigating defluidization. △ Less

Submitted 14 September, 2023; originally announced September 2023.

Journal ref: Phys. Fluids 35, 093306 (2023)

Self-consistent multi-component simulation of plasma turbulence and neutrals in detached conditions

Authors: D. Mancini, P. Ricci, N. Vianello, G. Van Parys, D. S. Oliveira

Abstract: Simulations of high-density deuterium plasmas in a lower single-null magnetic configuration based on a TCV discharge are presented. We evolve the dynamics of three charged species (electrons, D$^{+}$ and D$_{2}^{+}$), interacting with two neutrals species (D and D$_2$) through ionization, charge-exchange, recombination and molecular dissociation processes. The plasma is modelled by using the drift… ▽ More Simulations of high-density deuterium plasmas in a lower single-null magnetic configuration based on a TCV discharge are presented. We evolve the dynamics of three charged species (electrons, D$^{+}$ and D$_{2}^{+}$), interacting with two neutrals species (D and D$_2$) through ionization, charge-exchange, recombination and molecular dissociation processes. The plasma is modelled by using the drift-reduced fluid Braginskii equations, while the neutral dynamics is described by a kinetic model. To control the divertor conditions, a D$_2$ puffing is used and the effect of increasing the puffing strength is investigated. The increase in fuelling leads to an increase of density in the scrape-off layer and a decrease of the plasma temperature. At the same time, the particle and heat fluxes to the divertor target decrease and the detachment of the inner target is observed. The analysis of particle and transport balance in the divertor volume shows that the decrease of the particle flux is caused by a decrease of the local neutral ionization together with a decrease of the parallel velocity, both caused by the lower plasma temperature. The relative importance of the different collision terms is assessed, showing the crucial role of molecular interactions, as they are responsible for increasing the atomic neutral density and temperature, since most of the D neutrals are produced by molecular activated recombination and D$_2$ dissociation. The presence of strong electric fields in high-density plasmas is also shown, revealing the role of the $E \times B$ drift in setting the asymmetry between the divertor targets. Simulation results are in agreement with experimental observations of increased density decay length, attributed to a decrease of parallel transport, together with an increase of plasma blob size and radial velocity. △ Less

Submitted 3 September, 2023; v1 submitted 19 April, 2023; originally announced April 2023.

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

Direct Foundations for Compositional Programming

Authors: Andong Fan, Xue**g Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira

Abstract: The recently proposed CP language adopts Compositional Programming: a new modular programming style that solves challenging problems such as the Expression Problem. CP is implemented on top of a polymorphic core language with disjoint intersection types called Fi+. The semantics of Fi+ employs an elaboration to a target language and relies on a sophisticated proof technique to prove the coherence… ▽ More The recently proposed CP language adopts Compositional Programming: a new modular programming style that solves challenging problems such as the Expression Problem. CP is implemented on top of a polymorphic core language with disjoint intersection types called Fi+. The semantics of Fi+ employs an elaboration to a target language and relies on a sophisticated proof technique to prove the coherence of the elaboration. Unfortunately, the proof technique is technically challenging and hard to scale to many common features, including recursion or impredicative polymorphism. Thus, the original formulation of Fi+ does not support the two later features, which creates a gap between theory and practice, since CP fundamentally relies on them. This paper presents a new formulation of Fi+ based on a type-directed operational semantics (TDOS). The TDOS approach was recently proposed to model the semantics of languages with disjoint intersection types (but without polymorphism). Our work shows that the TDOS approach can be extended to languages with disjoint polymorphism and model the full Fi+ calculus. Unlike the elaboration semantics, which gives the semantics to Fi+ indirectly via a target language, the TDOS approach gives a semantics to Fi+ directly. With a TDOS, there is no need for a coherence proof. Instead, we can simply prove that the semantics is deterministic. The proof of determinism only uses simple reasoning techniques, such as straightforward induction, and is able to handle problematic features such as recursion and impredicative polymorphism. This removes the gap between theory and practice and validates the original proofs of correctness for CP. We formalized the TDOS variant of the Fi+ calculus and all its proofs in the Coq proof assistant. △ Less

Submitted 12 May, 2022; originally announced May 2022.

Comments: the extended version of Direct Foundations for Compositional Programming to appear in ECOOP 2022

New insights on divertor parallel flows, ExB drifts, and fluctuations from in situ, two-dimensional probe measurement in the Tokamak à Configuration Variable

Authors: H. De Oliveira, C. Theiler, O. Février, H. Reimerdes, B. P. Duval, C. K. Tsui, S. Gorno, D. S. Oliveira, A. Perek

Abstract: In-situ, two-dimensional (2D) Langmuir probe measurements across a large part of the TCV divertor are reported in L-mode discharges with and without divertor baffles. This provides detailed insights into time averaged profiles, particle fluxes, and fluctuations behavior in different divertor regimes. The presence of the baffles is shown to substantially increase the divertor neutral pressure for a… ▽ More In-situ, two-dimensional (2D) Langmuir probe measurements across a large part of the TCV divertor are reported in L-mode discharges with and without divertor baffles. This provides detailed insights into time averaged profiles, particle fluxes, and fluctuations behavior in different divertor regimes. The presence of the baffles is shown to substantially increase the divertor neutral pressure for a given upstream density and to facilitate the access to detachment, an effect that increases with plasma current. The detailed, 2D probe measurements allow for a divertor particle balance, including ion flux contributions from parallel flows and ExB drifts. The poloidal flux contribution from the latter is often comparable or even larger than the former, such that the divertor parallel flow direction reverses in some conditions, pointing away from the target. In most conditions, the integrated particle flux at the outer target can be predominantly ascribed to ionization along the outer divertor leg, consistent with a closed-box approximation of the divertor. The exception is a strongly detached divertor, achieved here only with baffles, where the total poloidal ion flux even decreases towards the outer target, indicative of significant plasma recombination. The most striking observation from relative density fluctuation measurements along the outer divertor leg is the transition from poloidally uniform fluctuation levels in attached conditions to fluctuations strongly peaking near the X-point when approaching detachment. △ Less

Submitted 18 May, 2022; v1 submitted 9 April, 2022; originally announced April 2022.

Comments: Added reference

X-point and divertor filament dynamics from Gas Puff Imaging on TCV

Authors: Curdin Wüthrich, Christian Theiler, Nicola Offeddu, Davide Galassi, Diego Sales de Oliveira, Basil Duval, Olivier Février, Theodore Golfinopoulos, Woonghee Han, Earl Marmar, Jim Terry, Cedric Tsui

Abstract: A new Gas Puff Imaging (GPI) diagnostic has been installed on the TCV tokamak, providing two-dimensional insights into Scrape-Off-Layer (SOL) turbulence dynamics above, at and below the magnetic X-point. A detailed study in L-mode, attached, lower single-null discharges shows that statistical properties have little poloidal variations, while vast differences are present in the 2D behaviour of inte… ▽ More A new Gas Puff Imaging (GPI) diagnostic has been installed on the TCV tokamak, providing two-dimensional insights into Scrape-Off-Layer (SOL) turbulence dynamics above, at and below the magnetic X-point. A detailed study in L-mode, attached, lower single-null discharges shows that statistical properties have little poloidal variations, while vast differences are present in the 2D behaviour of intermittent filaments. Strongly elongated filaments, just above the X-point and in the divertor far-SOL, show a good consistency in shape and dynamics with field-line tracing from filaments at the outboard midplane, highlighting their connection. In the near-SOL of the outer divertor leg, shortlived, high frequency and more circular (diameter $\sim$15 sound Larmour radii) filaments are observed. These divertor-localised filaments appear born radially at the position of maximum density and display a radially outward motion with velocity $\approx$400\,m/s that is comparable to radial velocities of upstream-connected filaments. Conversely, in these discharges ($B\times\nabla B$ pointing away from the divertor), these divertor filaments' poloidal velocities differ strongly from those of upstream-connected filaments. The importance of divertor-localised filaments upon radial transport and profile broadening is explored using filament statistics and in-situ kinetic profile measurements along the divertor leg. This provides evidence that these filaments contribute significantly to electron density profile broadening in the divertor. △ Less

Submitted 21 March, 2022; originally announced March 2022.

Comments: This is the version of the article before peer review or editing, as submitted by an author to IOPScience Nuclear Fusion. IOP Publishing Ltd is not responsible for any errors or omissions in this version of the manuscript or any version derived from it. 15 pages, 15 figures

Gait Recognition Based on Deep Learning: A Survey

Authors: Claudio Filipi Gonçalves dos Santos, Diego de Souza Oliveira, Leandro A. Passos, Rafael Gonçalves Pires, Daniel Felipe Silva Santos, Lucas Pascotti Valem, Thierry P. Moreira, Marcos Cleison S. Santana, Mateus Roder, João Paulo Papa, Danilo Colombo

Abstract: In general, biometry-based control systems may not rely on individual expected behavior or cooperation to operate appropriately. Instead, such systems should be aware of malicious procedures for unauthorized access attempts. Some works available in the literature suggest addressing the problem through gait recognition approaches. Such methods aim at identifying human beings through intrinsic perce… ▽ More In general, biometry-based control systems may not rely on individual expected behavior or cooperation to operate appropriately. Instead, such systems should be aware of malicious procedures for unauthorized access attempts. Some works available in the literature suggest addressing the problem through gait recognition approaches. Such methods aim at identifying human beings through intrinsic perceptible features, despite dressed clothes or accessories. Although the issue denotes a relatively long-time challenge, most of the techniques developed to handle the problem present several drawbacks related to feature extraction and low classification rates, among other issues. However, deep learning-based approaches recently emerged as a robust set of tools to deal with virtually any image and computer-vision related problem, providing paramount results for gait recognition as well. Therefore, this work provides a surveyed compilation of recent works regarding biometric detection through gait recognition with a focus on deep learning approaches, emphasizing their benefits, and exposing their weaknesses. Besides, it also presents categorized and characterized descriptions of the datasets, approaches, and architectures employed to tackle associated constraints. △ Less

Submitted 10 January, 2022; originally announced January 2022.

Super-Suppression of Long Phonon Mean-Free-Paths in Nano-engineered Si due to Heat Current Anticorrelations

Authors: S. Aria Hosseini, Alathea Davies, Ian Dickey, Neophytos Neophytou, P. Alex Greaney, Laura de Sousa Oliveira

Abstract: The ability to minimize the thermal conductivity of dielectrics with minimal structural intervention that could affect electrical properties is an important capability for engineering thermoelectric efficiency in low-cost materials such as Si. We recently reported the discovery of special arrangements for nanoscale pores in Si that produce a particularly large reduction in thermal conductivity acc… ▽ More The ability to minimize the thermal conductivity of dielectrics with minimal structural intervention that could affect electrical properties is an important capability for engineering thermoelectric efficiency in low-cost materials such as Si. We recently reported the discovery of special arrangements for nanoscale pores in Si that produce a particularly large reduction in thermal conductivity accompanied by strongly anticorrelated heat current fluctuations, a phenomenon that is missed by the diffuse adiabatic boundary conditions conventionally used in numerical Boltzmann transport models. This manuscript presents the results of molecular dynamics simulations and a Monte Carlo ray tracing model that teases apart this phenomenon to reveal that special pore layouts elastically backscatter long-wavelength heat-carrying phonons. This means that heat carriage by a phonon before scattering is undone by the scattered phonon, resulting in an effective mean-free-path that is significantly shorter than the geometric line-of-sight to the pores. This effect is particularly noticeable for the long-wavelength, long mean-free-path phonons whose transport is impeded drastically more than is expected purely from the usual considerations of scattering defined by the distance between defects. This super-suppression of the mean-free-path below the characteristic length scale of the nanostructuring offers a route for minimizing thermal conductivity with minimal structural impact, while the stronger impact on long wavelengths offers possibilities for the design of band-pass phonon filtering. Moreover, the ray tracing model developed in this paper shows that different forms of correlated scattering imprint a unique signature in the heat current autocorrelation function that could be used as a diagnostic in other nanostructured systems. △ Less

Submitted 14 May, 2022; v1 submitted 21 October, 2021; originally announced October 2021.

Validation of edge turbulence codes against the TCV-X21 diverted L-mode reference case

Authors: D. S. Oliveira, T. Body, D. Galassi, C. Theiler, E. Laribi, P. Tamain, A. Stegmeir, M. Giacomin, W. Zholobenko, P. Ricci, H. Bufferand, J. A. Boedo, G. Ciraolo, C. Colandrea, D. Coster, H. de Oliveira, G. Fourestey, S. Gorno, F. Imbeaux, F. Jenko, V. Naulin, N. Offeddu, H. Reimerdes, E. Serre, C. K. Tsui , et al. (5 additional authors not shown)

Abstract: Self-consistent full-size turbulent-transport simulations of the divertor and SOL of existing tokamaks have recently become feasible. This enables the direct comparison of turbulence simulations against experimental measurements. In this work, we perform a series of diverted Ohmic L-mode discharges on the TCV tokamak, building a first-of-a-kind dataset for the validation of edge turbulence models.… ▽ More Self-consistent full-size turbulent-transport simulations of the divertor and SOL of existing tokamaks have recently become feasible. This enables the direct comparison of turbulence simulations against experimental measurements. In this work, we perform a series of diverted Ohmic L-mode discharges on the TCV tokamak, building a first-of-a-kind dataset for the validation of edge turbulence models. This dataset, referred to as TCV-X21, contains measurements from 5 diagnostic systems -- giving a total of 45 1- and 2-D comparison observables in two toroidal magnetic field directions. The dataset is used to validate three flux-driven 3D fluid-turbulence models: GBS, GRILLIX and TOKAM3X. With each model, we perform simulations of the TCV-X21 scenario, tuning the particle and power source rates to achieve a reasonable match of the upstream separatrix value of density and electron temperature. We find that the simulations match the experimental profiles for most observables at the OMP -- both in terms of profile shape and absolute magnitude -- while a poorer agreement is found towards the divertor targets. The match between simulation and experiment is seen to be sensitive to the value of the resistivity, the heat conductivities, the power injection rate and the choice of sheath boundary conditions. Additionally, despite targeting a sheath-limited regime, the discrepancy between simulations and experiment also suggests that the neutral dynamics should be included. The results of this validation show that turbulence models are able to perform simulations of existing devices and achieve reasonable agreement with experimental measurements. Where disagreement is found, the validation helps to identify how the models can be improved. By publicly releasing the experimental dataset, this work should help to guide and accelerate the development of predictive turbulence simulations of the edge and SOL. △ Less

Submitted 29 November, 2021; v1 submitted 3 September, 2021; originally announced September 2021.

Hierarchically nanostructured thermoelectric materials: Challenges and opportunities for improved power factors

Authors: Neophytos Neophytou, Vassilios Vargiamidis, Samuel Foster, Patrizio Graziosi, Laura de Sousa Oliveira, Dhritiman Chakraborty, Zhen Li, Mischa Thesberg, Hans Kosina, Nick Bennett, Giovanni Pennelli, Dario Narducci

Abstract: The field of thermoelectric materials has undergone a revolutionary transformation over the last couple of decades as a result of the ability to nanostructure and synthesize myriads of materials and their alloys. The ZT figure of merit, which quantifies the performance of a thermoelectric material has more than doubled after decades of inactivity, reaching values larger than two, consistently acro… ▽ More The field of thermoelectric materials has undergone a revolutionary transformation over the last couple of decades as a result of the ability to nanostructure and synthesize myriads of materials and their alloys. The ZT figure of merit, which quantifies the performance of a thermoelectric material has more than doubled after decades of inactivity, reaching values larger than two, consistently across materials and temperatures. Central to this ZT improvement is the drastic reduction in the material thermal conductivity due to the scattering of phonons on the numerous interfaces, boundaries, dislocations, point defects, phases, etc., which are purposely included. In these new generation of nanostructured materials, phonon scattering centers of different sizes and geometrical configurations (atomic, nano- and macro-scale) are formed, which are able to scatter phonons of mean-free-paths across the spectrum. Beyond thermal conductivity reductions, ideas are beginning to emerge on how to use similar hierarchical nanostructuring to achieve power factor improvements. Ways that relax the adverse interdependence of the electrical conductivity and Seebeck coefficient are targeted, which allows power factor improvements. For this, elegant designs are required, that utilize for instance non-uniformities in the underlying nanostructured geometry, non-uniformities in the dopant distribution, or potential barriers that form at boundaries between materials. A few recent reports, both theoretical and experimental, indicate that extremely high power factor values can be achieved, even for the same geometries that also provide ultra-low thermal conductivities. Despite the experimental complications that can arise in having the required control in nanostructure realization, in this colloquium, we aim to demonstrate, mostly theoretically, that it is a very promising path worth exploring. △ Less

Submitted 22 December, 2020; originally announced December 2020.

Comments: 72 pages, 13 figures

Journal ref: European Physical Journal B, 93, 213, 2020

Heat current anticorrelation effects leading to thermal conductivity reduction in nanoporous Si

Authors: Laura de Sousa Oliveira, S. Aria Hosseini, Alex Greaney, Neophytos Neophytou

Abstract: Prevailing nanostructuring strategies focus on increasing phonon scattering and reducing the mean-free-path of phonons across the spectrum. In nanoporous Si materials, for example, boundary scattering reduces thermal conductivity drastically. In this work, we identify an unusual anticorrelated specular phonon scattering effect which can result in additional reductions in thermal conductivity of up… ▽ More Prevailing nanostructuring strategies focus on increasing phonon scattering and reducing the mean-free-path of phonons across the spectrum. In nanoporous Si materials, for example, boundary scattering reduces thermal conductivity drastically. In this work, we identify an unusual anticorrelated specular phonon scattering effect which can result in additional reductions in thermal conductivity of up to ~ 80% for specific nanoporous geometries. We further find evidence that this effect has its origin in heat trap** between large pores with narrow necks. As the heat becomes trapped between the pores, phonons undergo multiple specular reflections such that their contribution to the thermal conductivity is partly undone. We find this effect to be wave-vector dependent at low temperatures. We use large-scale molecular dynamics simulations, wave packet analysis, as well as an analytical model to illustrate the anticorrelation effect, evaluate its impact on thermal conductivity, and detail how it can be controlled to manipulate phonon transport in nanoporous materials. △ Less

Submitted 6 November, 2020; originally announced November 2020.

Comments: 24 pages, 5 figures

Journal ref: Phys. Rev. B 102, 205405,2020

Resolution as Intersection Subty** via Modus Ponens

Authors: Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias

Abstract: Resolution and subty** are two common mechanisms in programming languages. Resolution is used by features such as type classes or Scala-style implicits to synthesize values automatically from contextual type information. Subty** is commonly used to automatically convert the type of a value into another compatible type. So far the two mechanisms have been considered independently of each other.… ▽ More Resolution and subty** are two common mechanisms in programming languages. Resolution is used by features such as type classes or Scala-style implicits to synthesize values automatically from contextual type information. Subty** is commonly used to automatically convert the type of a value into another compatible type. So far the two mechanisms have been considered independently of each other. This paper shows that, with a small extension, subty** with intersection types can subsume resolution. This has three main consequences. Firstly, resolution does not need to be implemented as a separate mechanism. Secondly, the interaction between resolution and subty** becomes apparent. Finally, the integration of resolution into subty** enables first-class (implicit) environments. The extension that recovers the power of resolution via subty** is the modus ponens rule of propositional logic. While it is easily added to declarative subty**, significant care needs to be taken to retain desirable properties, such as transitivity and decidability of algorithmic subty**, and coherence. To materialize these ideas we develop $λ_i^{\mathsf{MP}}$, a calculus that extends a iprevious calculus with disjoint intersection types, and develop its metatheory in the Coq theorem prover. △ Less

Submitted 15 October, 2020; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: 43 pages, 20 figures; typos corrected, link to artifact added

Generic spectrum of the weighted Laplacian operator on Cayley graphs

Authors: Cristian F. Coletti, Lucas R. de Lima, Diego S. de Oliveira, Marcus A. M. Marrocos

Abstract: In this paper, we investigate the spectrum of a class of weighted Laplacians on Cayley graphs and determine under what conditions the corresponding eigenspaces are generically irreducible. Specifically, we analyze the spectrum on left-invariant Cayley graphs endowed with an invariant metric, and we give some criteria for generically irreducible eigenspaces. Additionally, we introduce an operator t… ▽ More In this paper, we investigate the spectrum of a class of weighted Laplacians on Cayley graphs and determine under what conditions the corresponding eigenspaces are generically irreducible. Specifically, we analyze the spectrum on left-invariant Cayley graphs endowed with an invariant metric, and we give some criteria for generically irreducible eigenspaces. Additionally, we introduce an operator that is comparable to the Laplacian and show that the same criterion holds. △ Less

Submitted 17 May, 2024; v1 submitted 16 September, 2020; originally announced September 2020.

Comments: 18 pages, 2 figures; typos corrected

MSC Class: 05C50; 47A75; 47A55

Journal ref: Lett Math Phys 114, 75 (2024)

Properties of fractional integral operators involving the three-parameters Mittag-Leffler function in the kernels with respect to another function

Authors: D. S. Oliveira

Abstract: This paper aims to investigate properties associated with fractional integral operators involving the three-parameters Mittag-Leffler function in the kernels with respect to another function. We prove that the Cauchy problem and the Volterra integral equation are equivalent. We find a closed-form to the solution of the Cauchy problem using successive approximations method and $ψ$-Caputo fractional… ▽ More This paper aims to investigate properties associated with fractional integral operators involving the three-parameters Mittag-Leffler function in the kernels with respect to another function. We prove that the Cauchy problem and the Volterra integral equation are equivalent. We find a closed-form to the solution of the Cauchy problem using successive approximations method and $ψ$-Caputo fractional derivative. △ Less

Submitted 9 July, 2020; v1 submitted 8 July, 2020; originally announced July 2020.

Comments: 12 pages

Analytical solutions for Navier-Stokes equations with $ψ$-Caputo fractional derivative

Authors: D. S. Oliveira, E. Capelas de Oliveira

Abstract: This work aims to use the homotopy analysis method to obtain analytical solutions of linear time-fractional Navier-Stokes equations with cylindrical coordinates and of a system of nonlinear time-fractional Navier-Stokes equations with Cartesian coordinates. These equations are described in the $ψ$-Caputo time-fractional derivative. The solutions obtained for time-fractional Navier-Stokes equations… ▽ More This work aims to use the homotopy analysis method to obtain analytical solutions of linear time-fractional Navier-Stokes equations with cylindrical coordinates and of a system of nonlinear time-fractional Navier-Stokes equations with Cartesian coordinates. These equations are described in the $ψ$-Caputo time-fractional derivative. The solutions obtained for time-fractional Navier-Stokes equations are graphically presented. △ Less

Submitted 7 May, 2020; originally announced May 2020.

Comments: 17 pages, 8 figures. arXiv admin note: text overlap with arXiv:2004.02365

Effect of wave versus particle phonon nature in thermal transport through nanostructures

Authors: Dhritiman Chakraborty, Hossein Karamitaheri, Laura de Sousa Oliveira, Neophytos Neophytou

Abstract: Comprehensive understanding of thermal transport in nanostructured materials needs large scale simulations bridging length scales dictated by different physics related to the wave versus particle nature of phonons. Yet, available computational approaches implicitly treat phonons as either just waves or as particles. In this work, using a full wave-based Non-Equilibrium Green's Function (NEGF) meth… ▽ More Comprehensive understanding of thermal transport in nanostructured materials needs large scale simulations bridging length scales dictated by different physics related to the wave versus particle nature of phonons. Yet, available computational approaches implicitly treat phonons as either just waves or as particles. In this work, using a full wave-based Non-Equilibrium Green's Function (NEGF) method, and a particle-based ray-tracing Monte Carlo (MC) approach, we investigate the qualitative differences in the wave and particle-based phonon transport at the vicinity of nanoscale features. For the simple example of a nanoporous geometry, we show that phonon transmission agrees very well for both methods with an error margin of approximately 15%, across phonon wavelengths even for features with sizes down to 3-4 nm. For cases where phonons need to squeeze in smaller regions to propagate, we find that MC underestimates the transmission of long wavelength phonons whereas wave treatment within NEGF indicates that those long wavelength phonons can propagate more easily. We also find that particle-based simulation methods are somewhat more sensitive to structural variations compared to the wave-based NEGF method. The insight extracted from comparing wave and particle methods can be used to provide a better and more complete understanding of phonon transport in nanomaterials. △ Less

Submitted 8 April, 2020; originally announced April 2020.

Comments: 32 pages, 8 figures

Journal ref: Computational Materials Science, 180, 109712 (2020)

Solutions of time-fractional differential equations using homotopy analysis method

Authors: D. S. Oliveira, E. Capelas de Oliveira

Abstract: We have used the homotopy analysis method to obtain solutions of linear and nonlinear fractional partial differential differential equations with initial conditions. We replace the first order time derivative by $ψ$-Caputo fractional derivative, and also we compare the results obtained by the homotopy analysis method with the exact solutions. We have used the homotopy analysis method to obtain solutions of linear and nonlinear fractional partial differential differential equations with initial conditions. We replace the first order time derivative by $ψ$-Caputo fractional derivative, and also we compare the results obtained by the homotopy analysis method with the exact solutions. △ Less

Submitted 5 April, 2020; originally announced April 2020.

Comments: 14 pages, 9 figures

Kind Inference for Datatypes: Technical Supplement

Authors: Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira

Abstract: In recent years, languages like Haskell have seen a dramatic surge of new features that significantly extends the expressive power of their type systems. With these features, the challenge of kind inference for datatype declarations has presented itself and become a worthy research problem on its own. This paper studies kind inference for datatypes. Inspired by previous research on type-inferenc… ▽ More In recent years, languages like Haskell have seen a dramatic surge of new features that significantly extends the expressive power of their type systems. With these features, the challenge of kind inference for datatype declarations has presented itself and become a worthy research problem on its own. This paper studies kind inference for datatypes. Inspired by previous research on type-inference, we offer declarative specifications for what datatype declarations should be accepted, both for Haskell98 and for a more advanced system we call PolyKinds, based on the extensions in modern Haskell, including a limited form of dependent types. We believe these formulations to be novel and without precedent, even for Haskell98. These specifications are complemented with implementable algorithmic versions. We study soundness, completeness and the existence of principal kinds in these systems, proving the properties where they hold. This work can serve as a guide both to language designers who wish to formalize their datatype declarations and also to implementors keen to have principled inference of principal types. This technical supplement to Kind Inference for Datatypes serves to expand upon the text in the main paper. It contains detailed ty** rules, proofs, and connections to the Glasgow Haskell Compiler (GHC). △ Less

Submitted 11 November, 2019; originally announced November 2019.

Comments: Technical supplement for POPL2020 paper Kind Inference for Datatypes

Modelling thermoelectric performance in nanoporous nanocrystalline silicon

Authors: Laura de Sousa Oliveira, Vassilios Vargiamidis, Neophytos Neophytou

Abstract: Introducing hierarchical disorder from multiple defects into materials through nanostructuring is one of the most promising directions to achieve extremely low thermal conductivities and thus improve thermoelectric performance. The success of nanostructuring relies on charge carriers having shorter mean-free-paths than phonons so that the latter can be selectively scattered. Nevertheless, introduc… ▽ More Introducing hierarchical disorder from multiple defects into materials through nanostructuring is one of the most promising directions to achieve extremely low thermal conductivities and thus improve thermoelectric performance. The success of nanostructuring relies on charge carriers having shorter mean-free-paths than phonons so that the latter can be selectively scattered. Nevertheless, introducing disorder into a material often comes at the expense of scattering charge carriers as well as phonons. In order to determine the tradeoff between the degradation of the lattice thermal conductivity and of the power factor due to this, we perform a theoretical investigation of both phonon and electron transport in nanocrystalline, nanoporous Si geometries. We use molecular dynamics for phonon transport calculations and the non-equilibrium Green's function method for electronic transport. We report on the engineering tradeoff that the porosity (number of pores and their in-between distance) has on the overall thermoelectric performance for the material optimization. We indeed find that the reduction in thermal conductivity is stronger compared to the reduction in the power factor, for the low porosities considered in this study (up to 5 %), and that the ZT figure of merit can experience a large increase, especially when grain boundaries are included, compared to just nanoporosity. △ Less

Submitted 13 September, 2019; originally announced September 2019.

Report number: vol. 18

Journal ref: IEEE Transactions on Nanotechnology (2019)

Mild and classical solutions for fractional evolution differential equation

Authors: J. Vanterler da C. Sousa, Thabet Abdeljawad, D. S. Oliveira

Abstract: Investigating the existence, uniqueness, stability, continuous dependence of data among other properties of solutions of fractional differential equations, has been the object of study by an important range of researchers in the scientific community, especially in fractional calculus. And over the years, these properties have been investigated more vehemently, as they enable more general and new r… ▽ More Investigating the existence, uniqueness, stability, continuous dependence of data among other properties of solutions of fractional differential equations, has been the object of study by an important range of researchers in the scientific community, especially in fractional calculus. And over the years, these properties have been investigated more vehemently, as they enable more general and new results. In this paper, we investigate the existence and uniqueness of a class of mild and classical solutions of the fractional evolution differential equation in the Banach space $Ω$. To obtain such results, we use fundamental tools, namely: Banach contraction theorem, Gronwall inequality and the $β$-times integrated $β$-times integrated $α$-resolvent operator function of an $(α,β)$-resolvent operator function. △ Less

Submitted 6 September, 2019; v1 submitted 14 August, 2019; originally announced August 2019.

Comments: 16 pages

MSC Class: 26A33; 34A08; 34A12; 34G20; 47Dxx

Large-scale molecular dynamics investigation of geometrical features in nanoporous Si

Authors: Laura de Sousa Oliveira, Neophytos Neophytou

Abstract: Nanoporous materials are of broad interest for various applications, in particular advanced thermoelectric materials. The introduction of nanoscale porosity, even at modest levels, has been known to drastically reduce a materials thermal conductivity, in some cases even below its amorphous limit, thereby significantly increasing its thermoelectric figure of merit, ZT. The details of the important… ▽ More Nanoporous materials are of broad interest for various applications, in particular advanced thermoelectric materials. The introduction of nanoscale porosity, even at modest levels, has been known to drastically reduce a materials thermal conductivity, in some cases even below its amorphous limit, thereby significantly increasing its thermoelectric figure of merit, ZT. The details of the important attributes that drive these large reductions, however, are not yet clear. In this work, we employ large-scale equilibrium molecular dynamics to perform an exhaustive atomistic-scale investigation of the effect of porosity on thermal transport in nanoporous bulk silicon. Thermal transport is computed for over 50 different geometries, spanning a large number of geometrical degrees of freedom, such as cylindrical pores and voids, different porosities, diameters, neck sizes, pore/void numbers, and surface-to-volume ratios, placed in ordered fashion, or fully disordered. We thus quantify and compare the most important parameters that determine the thermal conductivity reductions in nanoporous materials. Ultimately, we find that, even at the nanoscale, the effect of merely reducing the line-of-sight of phonons, i.e. the clear pathways that phonons can utilize during transport, plays the most crucial role in reducing the thermal conductivity in nanoporous materials, beyond other metrics such as porosity and surface/boundary scattering. △ Less

Submitted 22 July, 2019; originally announced July 2019.

Comments: 33 pages, 9 figures

Journal ref: Phys. Rev. B 100, 035409, 2019

Distributed-Memory Load Balancing with Cyclic Token-based Work-Stealing Applied to Reverse Time Migration

Authors: Ítalo A. S. Assis, Antônio D. S. Oliveira, Tiago Barros, Idalmis M. Sardina, Calebe P. Bianchini, Samuel Xavier-de-Souza

Abstract: Reverse time migration (RTM) is a prominent technique in seismic imaging. Its resulting subsurface images are used in the industry to investigate with higher confidence the existence and the conditions of oil and gas reservoirs. Because of its high computational cost, RTM must make use of parallel computers. Balancing the workload distribution of an RTM is a growing challenge in distributed comput… ▽ More Reverse time migration (RTM) is a prominent technique in seismic imaging. Its resulting subsurface images are used in the industry to investigate with higher confidence the existence and the conditions of oil and gas reservoirs. Because of its high computational cost, RTM must make use of parallel computers. Balancing the workload distribution of an RTM is a growing challenge in distributed computing systems. The competition for shared resources and the differently-sized tasks of the RTM are some of the possible sources of load imbalance. Although many load balancing techniques exist, scaling up for large problems and large systems remains a challenge because synchronization overhead also scales. This paper proposes a cyclic token-based work-stealing (CTWS) algorithm for distributed memory systems applied to RTM. The novel cyclic token approach reduces the number of failed steals, avoids communication overhead, and simplifies the victim selection and the termination strategy. The proposed method is implemented as a C library using the one-sided communication feature of the message passing interface (MPI) standard. Results obtained by applying the proposed technique to balance the workload of a 3D RTM system present a factor of 14.1% speedup and reductions of the load imbalance of 78.4% when compared to the conventional static distribution. △ Less

Submitted 29 August, 2019; v1 submitted 1 July, 2019; originally announced July 2019.

Transport simulations in hierarchically disordered nanostructures for thermoelectric material design

Authors: Laura de Sousa Oliveira, Vassillios Vargiamidis, Neophytos Neophytou

Abstract: Hierarchically nanostructured materials, where disorder is introduced in various length scales (at the atomic scale, the nanoscale, and the mesoscale) is one of the most promising directions to achieve extremely low thermal conductivities and improve thermoelectric performance. Here we theoretically investigate one such system, a nanocrystalline material with nanopores that are introduced between… ▽ More Hierarchically nanostructured materials, where disorder is introduced in various length scales (at the atomic scale, the nanoscale, and the mesoscale) is one of the most promising directions to achieve extremely low thermal conductivities and improve thermoelectric performance. Here we theoretically investigate one such system, a nanocrystalline material with nanopores that are introduced between the crystalline regions. We use the Nonequilibrium Greens Function method for electronic transport and Molecular Dynamics for phonon transport. △ Less

Submitted 28 February, 2019; originally announced February 2019.

Comments: 4 pages, 2 figures

Enhanced Phonon Boundary Scattering at High Temperatures in Hierarchically Disordered Nanostructures

Authors: Dhritiman Chakraborty, Laura de Sousa Oliveira, Neophytos Neophytou

Abstract: Boundary scattering in hierarchically disordered nanomaterials is an effective way to reduce the thermal conductivity of thermoelectric materials and increase their performance. In this work we investigate thermal transport in silicon based nanostructured materials in the presence of nanocrystallinity and nanopores at the range of 300 K to 900 K using a Monte Carlo simulation approach. The thermal… ▽ More Boundary scattering in hierarchically disordered nanomaterials is an effective way to reduce the thermal conductivity of thermoelectric materials and increase their performance. In this work we investigate thermal transport in silicon based nanostructured materials in the presence of nanocrystallinity and nanopores at the range of 300 K to 900 K using a Monte Carlo simulation approach. The thermal conductivity in the presence of nanocrystallinity follows the same reduction trend as in the pristine material. We show, however, that the relative reduction is stronger with temperature in the presence of nanocrystallinity, a consequence of the wavevector dependent (q dependent) nature of phonon scattering on the domain boundaries. In particular, as the temperature is raised the proportion of large wavevector phonons increases. Since these phonons are more susceptible to boundary scattering, we show that compared to the wavevector independent thermal conductivity value this q dependent surface scattering could account for even a approx. 40 per cent reduction in the thermal conductivity of nanocrystalline Si. Introduction of nanopores with randomized positions enhances this effect, which suggests that hierarchical nanostructuring is actually more effective at high temperatures than previously thought. △ Less

Submitted 18 February, 2019; originally announced February 2019.

Comments: 25 pages, 6 figures

Separating Use and Reuse to Improve Both

Authors: Hrshikesh Arora, Marco Servetto, Bruno C. D. S. Oliveira

Abstract: Context: Trait composition has inspired new research in the area of code reuse for object oriented (OO) languages. One of the main advantages of this kind of composition is that it makes possible to separate subty** from subclassing; which is good for code-reuse, design and reasoning. However, handling of state within traits is difficult, verbose or inelegant. Inquiry: We identify the this-leaki… ▽ More Context: Trait composition has inspired new research in the area of code reuse for object oriented (OO) languages. One of the main advantages of this kind of composition is that it makes possible to separate subty** from subclassing; which is good for code-reuse, design and reasoning. However, handling of state within traits is difficult, verbose or inelegant. Inquiry: We identify the this-leaking problem as the fundamental limitation that prevents the separation of subty** from subclassing in conventional OO languages. We explain that the concept of trait composition addresses this problem, by distinguishing code designed for use (as a type) from code designed for reuse (i.e. inherited). We are aware of at least 3 concrete independently designed research languages following this methodology: TraitRecordJ, Package Templates and DeepFJig. Approach: In this paper, we design $42_μ$ a new language, where we improve use and reuse and support the This type and family polymorphism by distinguishing code designed for use from code designed for reuse. In this way $42_μ$ synthesise the 3 approaches above, and improves them with abstract state operations: a new elegant way to handle state composition in trait based languages. Knowledge and Grounding: Using case studies, we show that $42_μ$'s model of traits with abstract state operations is more usable and compact than prior work. We formalise our work and prove that type errors cannot arise from composing well typed code. Importance: This work is the logical core of the programming language 42. This shows that the ideas presented in this paper can be applicable to a full general purpose language. This form of composition is very flexible and could be used in many new languages. △ Less

Submitted 1 February, 2019; originally announced February 2019.

Journal ref: The Art, Science, and Engineering of Programming, 2019, Vol. 3, Issue 3, Article 12

A note on the mild solutions of Hilfer impulsive fractional differential equations

Authors: J. Vanterler da C. Sousa, D. S. Oliveira, E. Capelas de Oliveira

Abstract: In this paper, we present a new class of inequality of the Gronwall type and discuss some particular cases. In this sense, we investigate the uniqueness and $δ$-Ulam-Hyers-Rassias stability of the mild solution for the fractional differential equation with non-instantaneous impulses in a P$δ$-normed Banach space. In this paper, we present a new class of inequality of the Gronwall type and discuss some particular cases. In this sense, we investigate the uniqueness and $δ$-Ulam-Hyers-Rassias stability of the mild solution for the fractional differential equation with non-instantaneous impulses in a P$δ$-normed Banach space. △ Less

Submitted 22 November, 2018; originally announced November 2018.

Comments: 23 pages, 0 figure

On the existence and stability for non-instantaneuos impulsive fractional integrodifferential equation

Authors: J. Vanterler da C. Sousa, D. S. Oliveira, E. Capelas de Oliveira

Abstract: In this paper, by means of Banach fixed point theorem, we investigate the existence and Ulam--Hyers--Rassias stability of the non-instantaneous impulsive integrodifferential equation by means of $ψ$-Hilfer fractional derivative. In this sense, some examples are presented, in order to consolidate the results obtained. In this paper, by means of Banach fixed point theorem, we investigate the existence and Ulam--Hyers--Rassias stability of the non-instantaneous impulsive integrodifferential equation by means of $ψ$-Hilfer fractional derivative. In this sense, some examples are presented, in order to consolidate the results obtained. △ Less

Submitted 5 December, 2018; v1 submitted 4 June, 2018; originally announced June 2018.

Comments: 15 pages

MSC Class: 26A33; 34A08; 34A12; 34K20; 34G20

Non-Extensive Transport Equations in Magnetized Plasmas

Authors: Diego S. Oliveira, Ricardo M. O. Galvão

Abstract: In this work we introduce, for the first time, as far as we know, a complete self-consist kinetic model for collisional transport in the nonextensive statistics, i.e., the generalization of the ordinary Maxwell-Boltmzann statistics according to the Tsallis entropy. Starting only from the definition of this entropy, we derive the kinetic model, find its solutions for the electrons in a strongly mag… ▽ More In this work we introduce, for the first time, as far as we know, a complete self-consist kinetic model for collisional transport in the nonextensive statistics, i.e., the generalization of the ordinary Maxwell-Boltmzann statistics according to the Tsallis entropy. Starting only from the definition of this entropy, we derive the kinetic model, find its solutions for the electrons in a strongly magnetized plasmas, and calculate the respective transport coefficients in order to set the closed fluid equations. The results are further applied to model heat transport in space plasmas and the cold pulse phenomenon in magnetic confined plasmas. △ Less

Submitted 6 June, 2018; v1 submitted 4 June, 2018; originally announced June 2018.

Limit cycles for two classes of control piecewise linear differential systems

Authors: J. Llibre, R. D. S. Oliveira, C. A. B. Rodrigues

Abstract: We study the bifurcation of limit cycles from the periodic orbits of $2n$--dimensional linear centers $\dot{x} = A_0 x$ when they are perturbed inside classes of continuous and discontinuous piecewise linear differential systems of control theory of the form $\dot{x} = A_0 x + \varepsilon \big(A x + φ(x_1) b\big)$, where $φ$ is a continuous or discontinuous piecewise linear function, $A_0$ is a… ▽ More We study the bifurcation of limit cycles from the periodic orbits of $2n$--dimensional linear centers $\dot{x} = A_0 x$ when they are perturbed inside classes of continuous and discontinuous piecewise linear differential systems of control theory of the form $\dot{x} = A_0 x + \varepsilon \big(A x + φ(x_1) b\big)$, where $φ$ is a continuous or discontinuous piecewise linear function, $A_0$ is a $2n\times 2n$ matrix with only purely imaginary eigenvalues, $\varepsilon$ is a small parameter, $A$ is an arbitrary $2n\times 2n$ matrix, and $b$ is an arbitrary vector of $\mathbb{R}^n$. △ Less

Submitted 22 April, 2018; originally announced April 2018.

Weyl fermions in a family of Gödel-type geometries with a topological defect

Authors: G. Q. Garcia, J. R. de S. Oliveira, Claudio Furtado

Abstract: In this paper we study Weyl fermions in a family of Gödel-type geometries in Einstein general relativity. We also consider that these solutions are embedded in a topological defect background. We solve the Weyl equation and find the energy eigenvalues and eigenspinors for all three cases of Gödel-type geometries where a topological defect is passing through them. We show that the presence of a top… ▽ More In this paper we study Weyl fermions in a family of Gödel-type geometries in Einstein general relativity. We also consider that these solutions are embedded in a topological defect background. We solve the Weyl equation and find the energy eigenvalues and eigenspinors for all three cases of Gödel-type geometries where a topological defect is passing through them. We show that the presence of a topological in these geometries contributes to modification of the spectrum of energy. The energy zero modes for all three cases of the Gödel geometries are discussed. △ Less

Submitted 29 November, 2017; v1 submitted 28 May, 2017; originally announced May 2017.

Comments: 19 pages. Revised version accepted for publication in IJMPD

Hilfer-Katugampola fractional derivative

Authors: D. S. Oliveira, E. Capelas de Oliveira

Abstract: We propose a new fractional derivative, the Hilfer-Katugampola fractional derivative. Motivated by the Hilfer derivative this formulation interpolates the well-known fractional derivatives of Hilfer, Hilfer-Hadamard, Riemann-Liouville, Hadamard, Caputo, Caputo-Hadamard, Liouville, Weyl, generalized and Caputo-type. As an application, we consider a nonlinear fractional differential equation with an… ▽ More We propose a new fractional derivative, the Hilfer-Katugampola fractional derivative. Motivated by the Hilfer derivative this formulation interpolates the well-known fractional derivatives of Hilfer, Hilfer-Hadamard, Riemann-Liouville, Hadamard, Caputo, Caputo-Hadamard, Liouville, Weyl, generalized and Caputo-type. As an application, we consider a nonlinear fractional differential equation with an initial condition using this new formulation. We show that this equation is equivalent to a Volterra integral equation and demonstrate the existence and uniqueness of solution to the nonlinear initial value problem. △ Less

Submitted 10 November, 2017; v1 submitted 15 May, 2017; originally announced May 2017.

Comments: 21 pages

MSC Class: 26A33

Gruss-type inequality by mean of a fractional integral

Authors: J. Vanterler da C. Sousa, D. S. Oliveira, E. Capelas de Oliveira

Abstract: In this paper, using a fractional integral as proposed by Katugampola we establish a generalization of integral inequalities of Gruss-type. We prove two theorems associated with these inequalities and then immediately we enunciate and prove others inequalities associated with these fractional operator. In this paper, using a fractional integral as proposed by Katugampola we establish a generalization of integral inequalities of Gruss-type. We prove two theorems associated with these inequalities and then immediately we enunciate and prove others inequalities associated with these fractional operator. △ Less

Submitted 19 June, 2017; v1 submitted 27 April, 2017; originally announced May 2017.

Comments: 16 pages

Spin phonon interactions and magneto-thermal transport behavior in p-Si

Authors: Paul Lou, Laura de Sousa Oliveira, Chi Tang, Alex Greaney, Sandeep Kumar

Abstract: The spin-phonon interaction is the dominant process for spin relaxation in Si, and as thermal transport in Si is dominated by phonons, one would expect spin polarization to influence Si's thermal conductivity. Here we report the experimental evidence of just such a coupling. We have performed concurrent measurements of spin, charge, and phonon transport in p-doped Si across a wide range of tempera… ▽ More The spin-phonon interaction is the dominant process for spin relaxation in Si, and as thermal transport in Si is dominated by phonons, one would expect spin polarization to influence Si's thermal conductivity. Here we report the experimental evidence of just such a coupling. We have performed concurrent measurements of spin, charge, and phonon transport in p-doped Si across a wide range of temperatures. In an experimental system of a freestanding two um p-Si beam coated on one side with a thin (25 nm) ferromagnetic spin injection layer, we use the self-heating 3 omega method to measure changes in electrical and thermal conductivity under the influence of a magnetic field. These magneto-thermal transport measurements reveal signatures in the variation of electrical and thermal transport that are consistent with spin-phonon interaction. Raman spectroscopy measurements and first principle's calculations support that these variations are due to spin-phonon interaction. Spin polarization leads to softening of phonon modes, a reduction in the group velocity of acoustic modes, and a subsequent decrease in thermal conductivity at room temperature. Moreover, magneto-thermal transport measurements as a function of temperature indicate a change in the spin-phonon relaxation behavior at low temperature. △ Less

Submitted 15 August, 2018; v1 submitted 5 January, 2017; originally announced January 2017.

Comments: 23 pages, 3 main figures, 4 supplemental figure

Journal ref: Solid State Communications 2018

Fermions in Gödel-type background space-times with torsion and the Landau quantization

Authors: G. Q. Garcia, J. R. de S. Oliveira, K. Bakke, C. Furtado

Abstract: In this paper, we analyze Dirac fermions in Gödel-type background space-times with torsion. We also consider the Gödel-type spacetimes embedded in a topological defect background. We show that relativistic bound states solutions to the Dirac equation can be obtained by dealing with three cases of the Gödel-type solutions with torsion, where a cosmic string passes through these three cases of the s… ▽ More In this paper, we analyze Dirac fermions in Gödel-type background space-times with torsion. We also consider the Gödel-type spacetimes embedded in a topological defect background. We show that relativistic bound states solutions to the Dirac equation can be obtained by dealing with three cases of the Gödel-type solutions with torsion, where a cosmic string passes through these three cases of the space-time. We obtain the relativistic energy levels for all cases of the Gödel-type solutions with torsion with a cosmic string, where we show that there exists an analogy with the Landau levels for Dirac particles. We also show that the presence of torsion in the space-time yields new contributions to the relativistic spectrum of energies and that the presence of the topological defect modifies the degeneracy of the relativistic energy levels. △ Less

Submitted 14 March, 2017; v1 submitted 1 July, 2016; originally announced July 2016.

Comments: 26 pages, no figures, version published in EPJPlus

Journal ref: Eur. Phys. J. Plus (2017) 132: 123

Teaching Physics in the first years of Elementary School to children with ADHD

Authors: Eduardo Folco Capossoli, Andréa Teixeira de Siqueira Oliveira, Sandro Soares Fernandes

Abstract: In this paper we report on a Science Fair activity developed at Colegio Pedro II, a traditional Brazilian school, with a group of eight 8-12 years old Attention Deficit Hyperactivity Disorder (ADHD) students. ADHD is usually a condition associated with underachievement at school. As part of working toward scientific literacy for students, we explored the idea of conservation of energy based on STS… ▽ More In this paper we report on a Science Fair activity developed at Colegio Pedro II, a traditional Brazilian school, with a group of eight 8-12 years old Attention Deficit Hyperactivity Disorder (ADHD) students. ADHD is usually a condition associated with underachievement at school. As part of working toward scientific literacy for students, we explored the idea of conservation of energy based on STS paradigm. At the same time, the learning experience was designed to stimulate children's poor executive function, or, more specifically, their ability to manage time and planning future tasks. △ Less

Submitted 24 June, 2016; originally announced June 2016.

Comments: 8 pages, no figures, no tables, to appear in Proceedings of International Conference on Physics Education ICPE - Bei**g, 2015

On the mediation of program allocation in high-demand environments

Authors: Fabiano de S. Oliveira, Valmir C. Barbosa

Abstract: In this paper we challenge the widely accepted premise that, in order to carry out a distributed computation, say on the cloud, users have to inform, along with all the inputs that the algorithm in use requires, the number of processors to be used. We discuss the complicated nature of deciding the value of such parameter, should it be chosen optimally, and propose the alternative scenario in which… ▽ More In this paper we challenge the widely accepted premise that, in order to carry out a distributed computation, say on the cloud, users have to inform, along with all the inputs that the algorithm in use requires, the number of processors to be used. We discuss the complicated nature of deciding the value of such parameter, should it be chosen optimally, and propose the alternative scenario in which this choice is passed on to the server side for automatic determination. We show that the allocation problem arising from this alternative is NP-hard only weakly, being therefore solvable in pseudo-polynomial time. In our proposal, one key component on which the automatic determination of the number of processors is based is the cost model. The one we use, which is being increasingly adopted in the wake of the cloud-computing movement, posits that each single execution of a program is to be subject to current circumstances on both user and server side, and as such be priced independently of all others. Running through our proposal is thus a critique of the established common sense that sizing a set of processors to handle a submission to some provider is entirely up to the user. △ Less

Submitted 20 September, 2019; v1 submitted 27 April, 2016; originally announced April 2016.

Comments: This version addresses a few minor issues and fixes a derivative

Counting independent terms in big-oh notation

Authors: Fabiano de S. Oliveira, Valmir C. Barbosa

Abstract: The field of computational complexity is concerned both with the intrinsic hardness of computational problems and with the efficiency of algorithms to solve them. Given such a problem, normally one designs an algorithm to solve it and sets about establishing bounds on its performance as functions of the algorithm's variables, particularly upper bounds expressed via the big-oh notation. But if we w… ▽ More The field of computational complexity is concerned both with the intrinsic hardness of computational problems and with the efficiency of algorithms to solve them. Given such a problem, normally one designs an algorithm to solve it and sets about establishing bounds on its performance as functions of the algorithm's variables, particularly upper bounds expressed via the big-oh notation. But if we were given some inscrutable code and were asked to figure out its big-oh profile from performance data on a given set of inputs, how hard would we have to grapple with the various possibilities before zooming in on a reasonably small set of candidates? Here we show that, even if we restricted our search to upper bounds given by polynomials, the number of possibilities could be arbitrarily large for two or more variables. This is unexpected, given the available body of examples on algorithmic efficiency, and serves to illustrate the many facets of the big-oh notation, as well as its counter-intuitive twists. △ Less

Submitted 31 December, 2015; originally announced December 2015.

Journal ref: Optimization Letters 11 (2017), 1757-1765

Evaluating Feasibility of Using Wireless Sensor Networks in a Coffee Crop Through Simulation of AODV, AOMDV, DSDV and Their Variants with 802.15.4 Mac Protocol

Authors: Ederval Pablo Ferreira da Cruz, Luis Eduardo Gottardo, Franciele Pereira Rossini, Vinicius de Souza Oliveira, Lucas Cellim Pereira

Abstract: A Wireless Sensor Networks is a network formed with sensors that have characteristics to sensor an area to extract a specific metric, depending of the application. We would like to analyse the feasibility to use sensors in a coffee crop. In this work we are evaluating routing protocols using real dimensions and characteristics of a coffee crop. We evaluate, through simulation, AODV, DSDV and AOMDV… ▽ More A Wireless Sensor Networks is a network formed with sensors that have characteristics to sensor an area to extract a specific metric, depending of the application. We would like to analyse the feasibility to use sensors in a coffee crop. In this work we are evaluating routing protocols using real dimensions and characteristics of a coffee crop. We evaluate, through simulation, AODV, DSDV and AOMDV and two variants known in this work as AODVMOD and AOMDVMOD with 802.15.4 MAC Protocol. For this comparison, we defined three performance metrics: Packet Delivery Ratio (PDR), End -to-End Delay and Average Energy Consumption. Simulation results show that AOMDVMOD overall, outperforms others routing protocols evaluated, showing that is possible to use WSN in a real coffee crop environment. △ Less

Submitted 8 December, 2014; originally announced December 2014.

Journal ref: nternational Journal of Computer Networks & Communications (IJCNC) Vol.6, No.6, November 2014

The geometry of quadratic polynomial differential systems with a finite and an infinite saddle-node (A,B)

Authors: Joan C. Artés, Alex C. Rezende, Regilene D. S. Oliveira

Abstract: The goal is to make a global study of the family QsnSN of all real quadratic polynomial differential systems which have a finite semi-elemental saddle-node and an infinite saddle-node formed by the collision of two infinite singular points. This family can be divided into three different subfamilies, all of them with the finite saddle-node in the origin of the plane with the eigenvectors on the ax… ▽ More The goal is to make a global study of the family QsnSN of all real quadratic polynomial differential systems which have a finite semi-elemental saddle-node and an infinite saddle-node formed by the collision of two infinite singular points. This family can be divided into three different subfamilies, all of them with the finite saddle-node in the origin of the plane with the eigenvectors on the axes and (A) with the infinite saddle-node in the horizontal axis, (B) with the infinite saddle-node in the vertical axis and (C) with the infinite saddle-node in the bisector of the first and third quadrants. These three subfamilies modulo the action of the affine group and time homotheties are three-dimensional and we give their bifurcation diagram with respect to a normal form, in the three-dimensional real space of the parameters of these forms. In this paper we provide the complete study of the geometry of the first two families, (A) and (B). The bifurcation diagram for the subfamily (A) yields 29 phase portraits for systems in QsnSN(A) counting phase portraits with and without limit cycles, while the bifurcation diagram for the subfamily (B) yields 16 phase portraits for systems in QsnSN(B) under the same conditions. Case (C) will yield quite more cases and will have an independent paper in short. Algebraic invariants are used to construct the bifurcation set. The phase portraits are represented on the Poincaré disk. The bifurcation set of QsnSN(A) is not only algebraic due to the presence of a surface found numerically. All points in this surface correspond to connections of separatrices. △ Less

Submitted 6 March, 2013; originally announced March 2013.

Comments: 29 pages, 14 figures, 4 tables. arXiv admin note: substantial text overlap with arXiv:1212.6645

Global phase portraits of quadratic polynomial differential systems with a semi-elemental triple node

Authors: Joan C. Artés, Alex C. Rezende, Regilene D. S. Oliveira

Abstract: Planar quadratic differential systems occur in many areas of applied mathematics. Although more than one thousand papers have been written on these systems, a complete understanding of this family is still missing. Classical problems, and in particular, Hilbert's 16th problem, are still open for this family. In this article we make a global study of the family QTN of all real quadratic polynomial… ▽ More Planar quadratic differential systems occur in many areas of applied mathematics. Although more than one thousand papers have been written on these systems, a complete understanding of this family is still missing. Classical problems, and in particular, Hilbert's 16th problem, are still open for this family. In this article we make a global study of the family QTN of all real quadratic polynomial differential systems which have a semi-elemental triple node (triple node with exactly one zero eigenvalue). This family modulo the action of the affine group and time homotheties is three-dimensional and we give its bifurcation diagram with respect to a normal form, in the three-dimensional real space of the parameters of this form. This bifurcation diagram yields 28 phase portraits for systems in QTN counting phase portraits with and without limit cycles. Algebraic invariants are used to construct the bifurcation set. The phase portraits are represented on the Poincaré disk. The bifurcation set is not only algebraic due to the presence of a surface found numerically. All points in this surface correspond to connections of separatrices. △ Less

Submitted 29 December, 2012; originally announced December 2012.

Comments: 22 pages, 15 figures

Global phase portrait of a SIS model

Authors: Regilene D. S. Oliveira, Alex C. Rezende

Abstract: In the qualitative theory of ordinary differential equations, we can find many papers whose objective is the classification of all the possible topological phase portraits of a given family of differential system. Most of the studies rely on systems with real parameters and the study consists of outlining their phase portraits by finding out some conditions on the parameters. Here, we studied a su… ▽ More In the qualitative theory of ordinary differential equations, we can find many papers whose objective is the classification of all the possible topological phase portraits of a given family of differential system. Most of the studies rely on systems with real parameters and the study consists of outlining their phase portraits by finding out some conditions on the parameters. Here, we studied a susceptible-infected-susceptible (SIS) model described by the differential system $\dot{x}=-bxy-mx+cy+mk$, $\dot{y}=bxy-(m+c)y$, where $b$, $c$, $k$, $m$ are real parameters with $b \neq 0$, $m \neq 0$ (see Brauer (2002). Such system describes an infectious disease from which infected people recover with immunity against reinfection. The integrability of such system has already been studied by Nucci and Leach (2004) and Llibre and Valls (2008). We found out two different topological classes of phase portraits. △ Less

Submitted 4 June, 2012; v1 submitted 27 May, 2012; originally announced May 2012.

Comments: 13 pages, 2 figures

Extended Report: The Implicit Calculus

Authors: Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi

Abstract: Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combine two features: 1) a special type of interfaces; and 2) implicit instantiation of implementations of those interfaces. Scala implicits are a GP language mechanism, inspired by type classes, that break with the traditio… ▽ More Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combine two features: 1) a special type of interfaces; and 2) implicit instantiation of implementations of those interfaces. Scala implicits are a GP language mechanism, inspired by type classes, that break with the tradition of coupling implicit instantiation with a special type of interface. Instead, implicits provide only implicit instantiation, which is generalized to work for any types. This turns out to be quite powerful and useful to address many limitations that show up in other GP mechanisms. This paper synthesizes the key ideas of implicits formally in a minimal and general core calculus called the implicit calculus, and it shows how to build source languages supporting implicit instantiation on top of it. A novelty of the calculus is its support for partial resolution and higher-order rules (a feature that has been proposed before, but was never formalized or implemented). Ultimately, the implicit calculus provides a formal model of implicits, which can be used by language designers to study and inform implementations of similar mechanisms in their own languages. △ Less

Submitted 20 March, 2012; originally announced March 2012.

Comments: 13 pages, extended report of paper accepted at PLDI 2012

On the structural stability of planar quasihomogeneous polynomial vector fields

Authors: Regilene D. S. Oliveira, Yulin Zhao

Abstract: Denote by $H_{pqm}$ the space of all planar $(p,q)$-quasihomogeneous vector fields of degree $m$ endowed with the coefficient topology. In this paper we characterize the set $Ω_{pqm}$ of the vector fields in $H_{pqm}$ that are structurally stable with respect to perturbations in $H_{pqm}$, and determine the exact number of the topological equivalence classes in $Ω_{pqm}$. The characterisation is a… ▽ More Denote by $H_{pqm}$ the space of all planar $(p,q)$-quasihomogeneous vector fields of degree $m$ endowed with the coefficient topology. In this paper we characterize the set $Ω_{pqm}$ of the vector fields in $H_{pqm}$ that are structurally stable with respect to perturbations in $H_{pqm}$, and determine the exact number of the topological equivalence classes in $Ω_{pqm}$. The characterisation is applied to give an extension of the Hartman-Grobmann Theorem for such family of planar polynomial vector fields. It follows from the main result in this paper that, for a given $X \in H_{pqm}$ we give a explicit method to decide whether it is structurally stable with respect to perturbation in $H_{pqm}$ before finding the vector field induced by $X$ in the Poincaré-Lyapunov sphere. This work is an extension and an improvement of the Llibre-Perez-Rodriguez's paper \cite{LRR}, where the homogeneous case was considered. More precisely, if both $p$ and $q$ are odd, the main results of this paper are similar to those of the Llibre-Perez-Rodriguez's paper; if either $p$ or $q$ is odd while the other is even, we present some results which do not appear in the above mentioned paper. For example, one of the interesting results is that there may be triples $(p,q,m)$ such that $H_{pqm}\not=\emptyset$ but $Ω_{pqm}=\emptyset$, which does not occur in the homogeneous case. △ Less

Submitted 19 October, 2011; originally announced October 2011.

MSC Class: 4C05; 34A34; 34C14

Revisiting deadlock prevention: a probabilistic approach

Authors: Fabiano de S. Oliveira, Valmir C. Barbosa

Abstract: We revisit the deadlock-prevention problem by focusing on priority digraphs instead of the traditional wait-for digraphs. This has allowed us to formulate deadlock prevention in terms of prohibiting the occurrence of directed cycles even in the most general of wait models (the so-called AND-OR model, in which prohibiting wait-for directed cycles is generally overly restrictive). For a particular c… ▽ More We revisit the deadlock-prevention problem by focusing on priority digraphs instead of the traditional wait-for digraphs. This has allowed us to formulate deadlock prevention in terms of prohibiting the occurrence of directed cycles even in the most general of wait models (the so-called AND-OR model, in which prohibiting wait-for directed cycles is generally overly restrictive). For a particular case in which the priority digraphs are somewhat simplified, we introduce a Las Vegas probabilistic mechanism for resource granting and analyze its key aspects in detail. △ Less

Submitted 21 October, 2010; originally announced October 2010.

Journal ref: Networks 63 (2014), 203-210

Entanglement and Applications of Pure Fourpartite of Qubit States

Authors: David Sena Oliveira, Rubens Viana Ramos

Abstract: In this work we study the entanglement of pure fourpartite of qubit states. The analysis is realized through the comparison between two different entanglement measures: the Groverian entanglement measure and the residual entanglement measured with negativities. Furthemore, we discuss some applications of four-way entangled fourpartite states. In this work we study the entanglement of pure fourpartite of qubit states. The analysis is realized through the comparison between two different entanglement measures: the Groverian entanglement measure and the residual entanglement measured with negativities. Furthemore, we discuss some applications of four-way entangled fourpartite states. △ Less

Submitted 3 February, 2009; originally announced February 2009.

Comments: 12 pages, 9 figure

Solving mathematical problems with quantum search algorithm

Authors: Rubens Viana Ramos, Paulo Benicio de Sousa, David Sena Oliveira

Abstract: Quantum computation has attracted much attention since it was shown by Shor and Grover the possibility to implement quantum algorithms able to realize, respectively, factoring and searching in a faster way than any other known classical algorithm. It is possible to use Grover algorithm, taking profit of its ability to find a specific value in a unordered database, to find, for example, the zero… ▽ More Quantum computation has attracted much attention since it was shown by Shor and Grover the possibility to implement quantum algorithms able to realize, respectively, factoring and searching in a faster way than any other known classical algorithm. It is possible to use Grover algorithm, taking profit of its ability to find a specific value in a unordered database, to find, for example, the zero of a logical function; the minimal or maximal value in a database or to recognize if an odd number is prime or not. Here we show quantum algorithms to solve those cited mathematical problems. The solution requires the use of a quantum bit string comparator being used as oracle. This quantum circuit compares two quantum states and identifies if they are equal or, otherwise, which of them is the largest. Moreover, we also show the quantum bit string comparator allow us to implement conditional statements in quantum computation, a fundamental structure for designing of algorithms. △ Less

Submitted 28 April, 2006; originally announced May 2006.

Comments: 9 pages, 6 figures