Showing 51–100 of 194 results for author: Rodrigues, L

Algebras of length one

Authors: O. V. Markova, C. Martínez, R. L. Rodrigues

Abstract: If $\A$ is an algebra over a field $\F$ and $\s$ is a generating set of $\A$, the length of $\s$ indicates the maximal length needed to express an arbitrary element of $\A$ as a linear combination of words in the elements of $\s$. The length of an algebra $\A$ is defined as the maximum of lengths of its generating sets. In this paper (not necessarily associative) algebras, over fields of arbitrary… ▽ More If $\A$ is an algebra over a field $\F$ and $\s$ is a generating set of $\A$, the length of $\s$ indicates the maximal length needed to express an arbitrary element of $\A$ as a linear combination of words in the elements of $\s$. The length of an algebra $\A$ is defined as the maximum of lengths of its generating sets. In this paper (not necessarily associative) algebras, over fields of arbitrary characteristic, having length equal to 1 are determined. △ Less

Submitted 22 October, 2021; v1 submitted 9 August, 2021; originally announced August 2021.

Comments: 23 pages

MSC Class: 17A60; 17A01; 15A03; 17A05

Self-consistent ion beam analysis: an approach by multi-objective optimization

Authors: Tiago F. Silva, Cleber L. Rodrigues, Nemitala Added, Marcia A. Rizzutto, Manfredo H. Tabacniks, Till Höschen, Udo von Toussaint, Matej Mayer

Abstract: Ion Beam Analysis (IBA) comprises a set of analytical techniques suited for material analysis, many of which are rather closely related. Self-consistent analysis of several IBA techniques takes advantage of this close relationship to combine different Ion Beam measurements in a unique model to obtain an improved characterization of the sample. This approach provides a powerful tool to obtain an un… ▽ More Ion Beam Analysis (IBA) comprises a set of analytical techniques suited for material analysis, many of which are rather closely related. Self-consistent analysis of several IBA techniques takes advantage of this close relationship to combine different Ion Beam measurements in a unique model to obtain an improved characterization of the sample. This approach provides a powerful tool to obtain an unequivocal and reliable model of the sample, increasing confidence and reducing ambiguities. Taking advantage of the recognized reliability and quality of the simulations provided by SIMNRA, we developed a multi-process program for a self-consistent analysis based on SIMNRA calculations. MultiSIMNRA uses computational algorithms to minimize an objective function running multiple instances of SIMNRA. With four different optimization algorithms, the code can handle sample and setup parameters (including correlations and constraints), to find the set of parameters that best fits simultaneously all experimental data. △ Less

Submitted 30 August, 2021; v1 submitted 29 July, 2021; originally announced August 2021.

Comments: 27 pages, 5 figures, research paper

Does gamification affect flow experience? A systematic literature review

Authors: Wilk Oliveira, Olena Pastushenko, Luiz Rodrigues, Armando M. Toda, Paula T. Palomino, Juho Hamari, Seiji Isotani

Abstract: In recent years, studies in different areas have used gamification to improve users' flow experience. However, due to the high variety of the conducted studies and the lack of secondary studies (e.g., systematic literature reviews) in this field, it is difficult to get the state-of-the-art of this research domain. To address this problem, we conducted a systematic literature review to identify i)… ▽ More In recent years, studies in different areas have used gamification to improve users' flow experience. However, due to the high variety of the conducted studies and the lack of secondary studies (e.g., systematic literature reviews) in this field, it is difficult to get the state-of-the-art of this research domain. To address this problem, we conducted a systematic literature review to identify i) which gamification design methods have been used in the studies about gamification and Flow Theory, ii) which gamification elements have been used in these studies, iii) which methods have been used to evaluate the users' flow experience in gamified settings, and iv) how gamification affects users' flow experience. The main results show that there is growing interest to this field, as the number of publications is increasing. The most significant interest is in the area of gamification in education. However, there is no unanimity regarding the preferred method of the study or the effects of gamification on users' experience. Our results highlight the importance of conducting new experimental studies investigating how gamification affects the users' flow experience in different gamified settings, applications and domains. △ Less

Submitted 18 June, 2021; originally announced June 2021.

Comments: 5th International GamiFIN Conference 2021 (GamiFIN 2021), April 7-10, 2021, Finland

Report number: CEUR-WS.org/Vol-2883/paper12.pdf

Journal ref: 2021 Proceedings of the 5th International GamiFIN Conference

About plane periodic waves of the nonlinear Schrödinger equations

Authors: Corentin Audiard, L Rodrigues

Abstract: The present contribution contains a quite extensive theory for the stability analysis of plane periodic waves of general Schr{ö}dinger equations. On one hand, we put the one-dimensional theory, or in other words the stability theory for longitudinal perturbations, on a par with the one available for systems of Korteweg type, including results on co-periodic spectral instability, nonlinear co-perio… ▽ More The present contribution contains a quite extensive theory for the stability analysis of plane periodic waves of general Schr{ö}dinger equations. On one hand, we put the one-dimensional theory, or in other words the stability theory for longitudinal perturbations, on a par with the one available for systems of Korteweg type, including results on co-periodic spectral instability, nonlinear co-periodic orbital stability, side-band spectral instability and linearized large-time dynamics in relation with modulation theory, and resolutions of all the involved assumptions in both the small-amplitude and large-period regimes. On the other hand, we provide extensions of the spectral part of the latter to the multi-dimensional context. Notably, we provide suitable multi-dimensional modulation formal asymptotics, validate those at the spectral level and use them to prove that waves are always spectrally unstable in both the small-amplitude and the large-period regimes. △ Less

Submitted 18 May, 2021; originally announced May 2021.

The quest for scaling BFT Consensus through Tree-Based Vote Aggregation

Authors: Ray Neiheiser, Miguel Matos, Luís Rodrigues

Abstract: With the growing commercial interest in blockchain, permissioned implementations have received increasing attention. Unfortunately, existing BFT consensus protocols that are the backbone of permissioned blockchains, either scale poorly or offer limited throughput. Most of these algorithms require at least one process to receive and validate the votes from all other processes and then broadcast the… ▽ More With the growing commercial interest in blockchain, permissioned implementations have received increasing attention. Unfortunately, existing BFT consensus protocols that are the backbone of permissioned blockchains, either scale poorly or offer limited throughput. Most of these algorithms require at least one process to receive and validate the votes from all other processes and then broadcast the result, which is inherently non-scalable. Some algorithms avoid this bottleneck by using aggregation trees to collect and validate votes. However, to the best of our knowledge, such algorithms offer limited throughput and degrade quickly in the presence of faults. In this paper we propose \thesystem, the first BFT communication abstraction that organizes participants in a tree to perform scalable vote aggregation and that, in faulty runs, is able to terminate the protocol within an optimal number of reconfigurations ($f+1$). We define precisely which aggregation trees allow for optimal reconfiguration and show that, unlike previous protocols, when using these configurations, \thesystem scales to large number of processes and outperforms HotStuff's throughput by up to 38x. △ Less

Submitted 22 March, 2021; originally announced March 2021.

Automated Detection of Coronary Artery Stenosis in X-ray Angiography using Deep Neural Networks

Authors: Dinis L. Rodrigues, Miguel Nobre Menezes, Fausto J. Pinto, Arlindo L. Oliveira

Abstract: Coronary artery disease leading up to stenosis, the partial or total blocking of coronary arteries, is a severe condition that affects millions of patients each year. Automated identification and classification of stenosis severity from minimally invasive procedures would be of great clinical value, but existing methods do not match the accuracy of experienced cardiologists, due to the complexity… ▽ More Coronary artery disease leading up to stenosis, the partial or total blocking of coronary arteries, is a severe condition that affects millions of patients each year. Automated identification and classification of stenosis severity from minimally invasive procedures would be of great clinical value, but existing methods do not match the accuracy of experienced cardiologists, due to the complexity of the task. Although a number of computational approaches for quantitative assessment of stenosis have been proposed to date, the performance of these methods is still far from the required levels for clinical applications. In this paper, we propose a two-step deep-learning framework to partially automate the detection of stenosis from X-ray coronary angiography images. In the two steps, we used two distinct convolutional neural network architectures, one to automatically identify and classify the angle of view, and another to determine the bounding boxes of the regions of interest in frames where stenosis is visible. Transfer learning and data augmentation techniques were used to boost the performance of the system in both tasks. We achieved a 0.97 accuracy on the task of classifying the Left/Right Coronary Artery (LCA/RCA) angle view and 0.68/0.73 recall on the determination of the regions of interest, for LCA and RCA, respectively. These results compare favorably with previous results obtained using related approaches, and open the way to a fully automated method for the identification of stenosis severity from X-ray angiographies. △ Less

Submitted 4 March, 2021; originally announced March 2021.

Comments: 10 pages, 4 Figures

HNPE: Leveraging Global Parameters for Neural Posterior Estimation

Authors: Pedro L. C. Rodrigues, Thomas Moreau, Gilles Louppe, Alexandre Gramfort

Abstract: Inferring the parameters of a stochastic model based on experimental observations is central to the scientific method. A particularly challenging setting is when the model is strongly indeterminate, i.e. when distinct sets of parameters yield identical observations. This arises in many practical situations, such as when inferring the distance and power of a radio source (is the source close and we… ▽ More Inferring the parameters of a stochastic model based on experimental observations is central to the scientific method. A particularly challenging setting is when the model is strongly indeterminate, i.e. when distinct sets of parameters yield identical observations. This arises in many practical situations, such as when inferring the distance and power of a radio source (is the source close and weak or far and strong?) or when estimating the amplifier gain and underlying brain activity of an electrophysiological experiment. In this work, we present hierarchical neural posterior estimation (HNPE), a novel method for cracking such indeterminacy by exploiting additional information conveyed by an auxiliary set of observations sharing global parameters. Our method extends recent developments in simulation-based inference (SBI) based on normalizing flows to Bayesian hierarchical models. We validate quantitatively our proposal on a motivating example amenable to analytical solutions and then apply it to invert a well known non-linear model from computational neuroscience, using both simulated and real EEG data. △ Less

Submitted 9 November, 2021; v1 submitted 12 February, 2021; originally announced February 2021.

Automating Gamification Personalization: To the User and Beyond

Authors: Luiz Rodrigues, Armando M. Toda, Wilk Oliveira, Paula T. Palomino, Julita Vassileva, Seiji Isotani

Abstract: Personalized gamification explores knowledge about the users to tailor gamification designs to improve one-size-fits-all gamification. The tailoring process should simultaneously consider user and contextual characteristics (e.g., activity to be done and geographic location), which leads to several occasions to tailor. Consequently, tools for automating gamification personalization are needed. The… ▽ More Personalized gamification explores knowledge about the users to tailor gamification designs to improve one-size-fits-all gamification. The tailoring process should simultaneously consider user and contextual characteristics (e.g., activity to be done and geographic location), which leads to several occasions to tailor. Consequently, tools for automating gamification personalization are needed. The problems that emerge are that which of those characteristics are relevant and how to do such tailoring are open questions, and that the required automating tools are lacking. We tackled these problems in two steps. First, we conducted an exploratory study, collecting participants' opinions on the game elements they consider the most useful for different learning activity types (LAT) via survey. Then, we modeled opinions through conditional decision trees to address the aforementioned tailoring process. Second, as a product from the first step, we implemented a recommender system that suggests personalized gamification designs (which game elements to use), addressing the problem of automating gamification personalization. Our findings i) present empirical evidence that LAT, geographic locations, and other user characteristics affect users' preferences, ii) enable defining gamification designs tailored to user and contextual features simultaneously, and iii) provide technological aid for those interested in designing personalized gamification. The main implications are that demographics, game-related characteristics, geographic location, and LAT to be done, as well as the interaction between different kinds of information (user and contextual characteristics), should be considered in defining gamification designs and that personalizing gamification designs can be improved with aid from our recommender system. △ Less

Submitted 14 January, 2021; originally announced January 2021.

Comments: 14 pages, 2 figures, 8 tables. IEEE Transactions on Learning Technologies (2022)

ACM Class: K.3.1; I.2.1

Learning summary features of time series for likelihood free inference

Authors: Pedro L. C. Rodrigues, Alexandre Gramfort

Abstract: There has been an increasing interest from the scientific community in using likelihood-free inference (LFI) to determine which parameters of a given simulator model could best describe a set of experimental data. Despite exciting recent results and a wide range of possible applications, an important bottleneck of LFI when applied to time series data is the necessity of defining a set of summary f… ▽ More There has been an increasing interest from the scientific community in using likelihood-free inference (LFI) to determine which parameters of a given simulator model could best describe a set of experimental data. Despite exciting recent results and a wide range of possible applications, an important bottleneck of LFI when applied to time series data is the necessity of defining a set of summary features, often hand-tailored based on domain knowledge. In this work, we present a data-driven strategy for automatically learning summary features from univariate time series and apply it to signals generated from autoregressive-moving-average (ARMA) models and the Van der Pol Oscillator. Our results indicate that learning summary features from data can compete and even outperform LFI methods based on hand-crafted values such as autocorrelation coefficients even in the linear case. △ Less

Submitted 4 December, 2020; originally announced December 2020.

Magnetic fields in elliptical galaxies: an observational probe of the fluctuation dynamo action

Authors: Amit Seta, Luiz Felippe S. Rodrigues, Christoph Federrath, Christopher A. Hales

Abstract: Fluctuation dynamos are thought to play an essential role in magnetized galaxy evolution, saturating within $\sim0.01~$Gyr and thus potentially acting as seeds for large-scale dynamos. However, unambiguous observational confirmation of the fluctuation dynamo action in a galactic environment is still missing. This is because, in spiral galaxies, it is difficult to differentiate between small-scale… ▽ More Fluctuation dynamos are thought to play an essential role in magnetized galaxy evolution, saturating within $\sim0.01~$Gyr and thus potentially acting as seeds for large-scale dynamos. However, unambiguous observational confirmation of the fluctuation dynamo action in a galactic environment is still missing. This is because, in spiral galaxies, it is difficult to differentiate between small-scale magnetic fields generated by a fluctuation dynamo and those due to the tangling of the large-scale field. We propose that observations of magnetic fields in elliptical galaxies would directly probe the fluctuation dynamo action. This is motivated by the fact that in ellipticals, due to their lack of significant rotation, the conventional large-scale dynamo is absent and the fluctuation dynamo is responsible for controlling the magnetic field strength and structure. By considering turbulence injected by Type Ia supernova explosions and possible magnetic field amplification by cooling flows, we estimate expected magnetic field strengths of $0.2~-~1 \,μ{\rm G}$ in quiescent elliptical galaxies. We use a semi-analytic model of galaxy formation to estimate the distribution and redshift evolution of field strengths, tentatively finding a decrease in magnetic field strength with decreasing redshift. We analyse a sample of radio sources that exhibit the Laing-Garrington (LG) effect (radio polarization asymmetry in jets) and infer magnetic field strengths between $0.14~-~1.33 \,μ{\rm G}$ for a uniform thermal electron density and between $1.36~-~6.21\,μ{\rm G}$ for the thermal electron density following the King profile. We examine observational techniques for measuring the magnetic field saturation state in elliptical galaxies, focusing on Faraday RM grids, the LG effect, synchrotron emission, and gravitational lensing, finding appealing prospects for future empirical analysis. △ Less

Submitted 3 December, 2020; originally announced December 2020.

Comments: 16 pages, 7 figures, 1 table, accepted for publication in The Astrophysical Journal

Journal ref: ApJ, 907, 2 (2021)

Multi-Coil MRI Reconstruction Challenge -- Assessing Brain MRI Reconstruction Models and their Generalizability to Varying Coil Configurations

Authors: Youssef Beauferris, Jonas Teuwen, Dimitrios Karkalousos, Nikita Moriakov, Mattha Caan, George Yiasemis, Lívia Rodrigues, Alexandre Lopes, Hélio Pedrini, Letícia Rittner, Maik Dannecker, Viktor Studenyak, Fabian Gröger, Devendra Vyas, Shahrooz Faghih-Roohi, Amrit Kumar Jethi, Jaya Chandra Raju, Mohanasankar Sivaprakasam, Mike Lasby, Nikita Nogovitsyn, Wallace Loos, Richard Frayne, Roberto Souza

Abstract: Deep-learning-based brain magnetic resonance imaging (MRI) reconstruction methods have the potential to accelerate the MRI acquisition process. Nevertheless, the scientific community lacks appropriate benchmarks to assess MRI reconstruction quality of high-resolution brain images, and evaluate how these proposed algorithms will behave in the presence of small, but expected data distribution shifts… ▽ More Deep-learning-based brain magnetic resonance imaging (MRI) reconstruction methods have the potential to accelerate the MRI acquisition process. Nevertheless, the scientific community lacks appropriate benchmarks to assess MRI reconstruction quality of high-resolution brain images, and evaluate how these proposed algorithms will behave in the presence of small, but expected data distribution shifts. The Multi-Coil Magnetic Resonance Image (MC-MRI) Reconstruction Challenge provides a benchmark that aims at addressing these issues, using a large dataset of high-resolution, three-dimensional, T1-weighted MRI scans. The challenge has two primary goals: 1) to compare different MRI reconstruction models on this dataset and 2) to assess the generalizability of these models to data acquired with a different number of receiver coils. In this paper, we describe the challenge experimental design, and summarize the results of a set of baseline and state of the art brain MRI reconstruction models. We provide relevant comparative information on the current MRI reconstruction state-of-the-art and highlight the challenges of obtaining generalizable models that are required prior to broader clinical adoption. The MC-MRI benchmark data, evaluation code and current challenge leaderboard are publicly available. They provide an objective performance assessment for future developments in the field of brain MRI reconstruction. △ Less

Submitted 21 December, 2021; v1 submitted 9 November, 2020; originally announced November 2020.

The Pencil Code, a modular MPI code for partial differential equations and particles: multipurpose and multiuser-maintained

Authors: A. Brandenburg, A. Johansen, P. A. Bourdin, W. Dobler, W. Lyra, M. Rheinhardt, S. Bingert, N. E. L. Haugen, A. Mee, F. Gent, N. Babkovskaia, C. -C. Yang, T. Heinemann, B. Dintrans, D. Mitra, S. Candelaresi, J. Warnecke, P. J. Käpylä, A. Schreiber, P. Chatterjee, M. J. Käpylä, X. -Y. Li, J. Krüger, J. R. Aarnes, G. R. Sarson , et al. (12 additional authors not shown)

Abstract: The Pencil Code is a highly modular physics-oriented simulation code that can be adapted to a wide range of applications. It is primarily designed to solve partial differential equations (PDEs) of compressible hydrodynamics and has lots of add-ons ranging from astrophysical magnetohydrodynamics (MHD) to meteorological cloud microphysics and engineering applications in combustion. Nevertheless, the… ▽ More The Pencil Code is a highly modular physics-oriented simulation code that can be adapted to a wide range of applications. It is primarily designed to solve partial differential equations (PDEs) of compressible hydrodynamics and has lots of add-ons ranging from astrophysical magnetohydrodynamics (MHD) to meteorological cloud microphysics and engineering applications in combustion. Nevertheless, the framework is general and can also be applied to situations not related to hydrodynamics or even PDEs, for example when just the message passing interface or input/output strategies of the code are to be used. The code can also evolve Lagrangian (inertial and noninertial) particles, their coagulation and condensation, as well as their interaction with the fluid. △ Less

Submitted 17 September, 2020; originally announced September 2020.

Comments: 7 pages, submitted to the Journal for Open Source Software (JOSS)

Report number: NORDITA-2020-087

Journal ref: Journal of Open Source Software 6, 2807 (2021)

Redshift estimates for fast radio bursts and implications on intergalactic magnetic fields

Authors: Stefan Hackstein, Marcus Brüggen, Franco Vazza, Luiz F. S. Rodrigues

Abstract: Context: Fast Radio Bursts are transient radio pulses from presumably compact stellar sources of extragalactic origin. With new telescopes detecting multiple events per day, statistical methods are required in order to interpret observations and make inferences regarding astrophysical and cosmological questions. Purpose: We present a method that uses probability estimates of fast radio burst obser… ▽ More Context: Fast Radio Bursts are transient radio pulses from presumably compact stellar sources of extragalactic origin. With new telescopes detecting multiple events per day, statistical methods are required in order to interpret observations and make inferences regarding astrophysical and cosmological questions. Purpose: We present a method that uses probability estimates of fast radio burst observables to obtain likelihood estimates for the underlying models. Method: Considering models for all regions along the line-of-sight, including intervening galaxies, we perform Monte-Carlo simulations to estimate the distribution of the dispersion measure, rotation measure and temporal broadening. Using Bayesian statistics, we compare these predictions to observations of Fast Radio Bursts. Results: By applying Bayes theorem, we obtain lower limits on the redshift of Fast Radio Bursts with extragalactic DM $\gtrsim 400$ pc cm$^{-3}$. We find that intervening galaxies cannot account for all highly scattered Fast Radio Bursts in FRBcat, thus requiring a denser and more turbulent environment than a SGR 1935+2154-like magnetar. We show that a sample of $\gtrsim 10^3$ unlocalized Fast Radio Bursts with associated extragalactic RM $\geq 1$ rad m$^{-2}$ can improve current upper limits on the strength of intergalactic magnetic fields. △ Less

Submitted 20 August, 2020; originally announced August 2020.

Comments: 23 pages, 12 figures, accepted by MNRAS

Journal ref: MNRAS (2020) 498 (4) 4811-4829

Validating the Effectiveness of Data-Driven Gamification Recommendations: An Exploratory Study

Authors: Armando Toda, Paula Palomino, Luiz Rodrigues, Wilk Oliveira, Lei Shi, Seiji Isotani, Alexandra Cristea

Abstract: Gamification design has benefited from data-driven approaches to creating strategies based on students characteristics. However, these strategies need further validation to verify their effectiveness in e-learning environments. The exploratory study presented in this paper thus aims at verifying how data-driven gamified strategies are perceived by the students, i.e., the users of e-learning enviro… ▽ More Gamification design has benefited from data-driven approaches to creating strategies based on students characteristics. However, these strategies need further validation to verify their effectiveness in e-learning environments. The exploratory study presented in this paper thus aims at verifying how data-driven gamified strategies are perceived by the students, i.e., the users of e-learning environments. In this study, we conducted a survey presenting 25 predefined strategies, based on a previous study, to students and analysed each strategys perceived relevance, instanced in an e-learning environment. Our results show that students perceive Acknowledgement, Objective and Progression as important elements in a gamified e-learning environment. We also provide new insights about existing elements and design recommendations for domain specialists. △ Less

Submitted 12 August, 2020; originally announced August 2020.

Analysing gamification elements in educational environments using an existing Gamification taxonomy

Authors: Armando M. Toda, Ana C. T. Klock, Wilk Oliveira, Paula T. Palomino, Luiz Rodrigues, Lei Shi, Ig Bittencourt, Isabela Gasparini, Seiji Isotani, Alexandra I. Cristea

Abstract: Gamification has been widely employed in the educational domain over the past eight years when the term became a trend. However, the literature states that gamification still lacks formal definitions to support the design and analysis of gamified strategies. This paper analysed the game elements employed in gamified learning environments through a previously proposed and evaluated taxonomy while d… ▽ More Gamification has been widely employed in the educational domain over the past eight years when the term became a trend. However, the literature states that gamification still lacks formal definitions to support the design and analysis of gamified strategies. This paper analysed the game elements employed in gamified learning environments through a previously proposed and evaluated taxonomy while detailing and expanding this taxonomy. In the current paper, we describe our taxonomy in-depth as well as expand it. Our new structured results demonstrate an extension of the proposed taxonomy which results from this process, is divided into five dimensions, related to the learner and the learning environment. Our main contribution is the detailed taxonomy that can be used to design and evaluate gamification design in learning environments. △ Less

Submitted 12 August, 2020; originally announced August 2020.

Comments: Smart Learn. Environ. 6, 16 (2019)

Stability and instability in scalar balance laws: fronts and periodic waves

Authors: Vincent Duchêne, Luis Miguel Rodrigues

Abstract: We complete a full classification of non-degenerate traveling waves of scalar balance laws from the point of view of spectral and nonlinear stability/instability under (piecewise) smooth perturbations. A striking feature of our analysis is the elucidation of the prominent role of characteristic points in the determination of both the spectra of the linearized operators and the phase dynamics invol… ▽ More We complete a full classification of non-degenerate traveling waves of scalar balance laws from the point of view of spectral and nonlinear stability/instability under (piecewise) smooth perturbations. A striking feature of our analysis is the elucidation of the prominent role of characteristic points in the determination of both the spectra of the linearized operators and the phase dynamics involved in the nonlinear large-time evolution. For a generic class of equations an upshot of our analysis is a dramatic reduction from a tremendously wide variety of entropic traveling waves to a relatively small range of stable entropic traveling waves. △ Less

Submitted 17 December, 2020; v1 submitted 25 June, 2020; originally announced June 2020.

Comments: In v2, minor modifications and two additional sets of illustrative figures

MSC Class: 35B35; 35L02; 35L67; 35B40; 35L03; 35P15; 37L15

Journal ref: Analysis & PDE 15 (2022) 1807-1859

UAV Optimal Guidance in Wind Fields Using ZEM/ZEV with Generalized Performance Index

Authors: Ely C. de Paiva, Bruno Carvalho, Luis Rodrigues

Abstract: This paper presents an optimal guidance approach for a UAV navigation between two given points in 3D considering the wind influence. The proposed cost function to be minimized involves the weighting of the travel time and the control energy. An analytical expression is derived for the optimal cost yielding a fourth-order polynomial whose positive real roots correspond to the optimal travel times.… ▽ More This paper presents an optimal guidance approach for a UAV navigation between two given points in 3D considering the wind influence. The proposed cost function to be minimized involves the weighting of the travel time and the control energy. An analytical expression is derived for the optimal cost yielding a fourth-order polynomial whose positive real roots correspond to the optimal travel times. The optimization problem is shown to be equivalent to the Zero-Effort-Miss/Zero-Effort-Velocity (ZEM/ZEV) optimal guidance approach for the case of a constant wind acceleration. Case studies for the rendez-vous and the intercept problems are shown through simulation examples for different wind conditions. △ Less

Submitted 16 June, 2020; originally announced June 2020.

COVID-19 and Global Economic Growth: Policy Simulations with a Pandemic-Enabled Neoclassical Growth Model

Authors: Ian M. Trotter, Luís A. C. Schmidt, Bruno C. M. Pinto, Andrezza L. Batista, Jéssica Pellenz, Maritza Isidro, Aline Rodrigues, Attawan G. S. Suela, Loredany Rodrigues

Abstract: During the COVID-19 pandemic of 2019/2020, authorities have used temporary ad-hoc policy measures, such as lockdowns and mass quarantines, to slow its transmission. However, the consequences of widespread use of these unprecedented measures are poorly understood. To contribute to the understanding of the economic and human consequences of such policy measures, we therefore construct a mathematical… ▽ More During the COVID-19 pandemic of 2019/2020, authorities have used temporary ad-hoc policy measures, such as lockdowns and mass quarantines, to slow its transmission. However, the consequences of widespread use of these unprecedented measures are poorly understood. To contribute to the understanding of the economic and human consequences of such policy measures, we therefore construct a mathematical model of an economy under the impact of a pandemic, select parameter values to represent the global economy under the impact of COVID-19, and perform numerical experiments by simulating a large number of possible policy responses. By varying the starting date of the policy intervention in the simulated scenarios, we find that the most effective policy intervention occurs around the time when the number of active infections is growing at its highest rate -- that is, the results suggest that the most severe measures should only be implemented when the disease is sufficiently spread. The intensity of the intervention, above a certain threshold, does not appear to have a great impact on the outcomes in our simulations, due to the strongly concave relationship that we identify between production shortfall and infection rate reductions. Our experiments further suggest that the intervention should last until after the peak established by the reduced infection rate, which implies that stricter policies should last longer. The model and its implementation, along with the general insights from our policy experiments, may help policymakers design effective emergency policy responses in the face of a serious pandemic, and contribute to our understanding of the relationship between the economic growth and the spread of infectious diseases. △ Less

Submitted 15 June, 2020; v1 submitted 27 May, 2020; originally announced May 2020.

Convergence Analysis of Asymptotic Preserving Schemes for Strongly Magnetized plasmas

Authors: Francis Filbet, Luis Miguel Rodrigues, Hamed Zakerzadeh

Abstract: The present paper is devoted to the convergence analysis of a class of asymptotic preserving particle schemes [Filbet \& Rodrigues, SIAM J. Numer. Anal., 54 (2) (2016)] for the Vlasov equation with a strong external magnetic field. In this regime, classical Particle-In-Cell (PIC) methods are subject to quite restrictive stability constraints on the time and space steps, due to the small Larmor rad… ▽ More The present paper is devoted to the convergence analysis of a class of asymptotic preserving particle schemes [Filbet \& Rodrigues, SIAM J. Numer. Anal., 54 (2) (2016)] for the Vlasov equation with a strong external magnetic field. In this regime, classical Particle-In-Cell (PIC) methods are subject to quite restrictive stability constraints on the time and space steps, due to the small Larmor radius and plasma frequency. The asymptotic preserving discretization that we are going to study removes such a constraint while capturing the large-scale dynamics, even when the discretization (in time and space) is too coarse to capture fastest scales. Our error bounds are explicit regarding the discretization, stiffness parameter, initial data and time. △ Less

Submitted 20 March, 2020; v1 submitted 18 March, 2020; originally announced March 2020.

Using Nanoresonators with Robust Chaos as HRNGs

Authors: Lucas R. Rodrigues, W. G. Dantas, Sebastian Ujevic, A. Gusso

Abstract: In this paper, we investigate theoretically the potential of a nanoelectromechanical suspended beam resonator excited by two-external frequencies as a hardware random number generator (HRNG). This system exhibits robust chaos, which is usually required for practical applications of chaos. Taking advantage of the robust chaotic oscillations we consider the beam position as a possible random variabl… ▽ More In this paper, we investigate theoretically the potential of a nanoelectromechanical suspended beam resonator excited by two-external frequencies as a hardware random number generator (HRNG). This system exhibits robust chaos, which is usually required for practical applications of chaos. Taking advantage of the robust chaotic oscillations we consider the beam position as a possible random variable and perform tests to check its randomness. The beam position collected at fixed time intervals is used to create a set of values that is a candidate for a random sequence of numbers. To determine how close to a random sequence this set is we perform several known statistical tests of randomness. The performance of the random sequence in the simulation of two relevant physical problems, the random walk and the Ising model, is also investigated. An excellent overall performance of the system as a random number generator is obtained. △ Less

Submitted 17 December, 2019; originally announced December 2019.

Comments: 13 pages, 16 figures

Synchronization of Discrete Oscillators on Ring Lattices and Small-World Networks

Authors: Kevin Liu Rodrigues, Ronald Dickman

Abstract: A lattice of three-state stochastic phase-coupled oscillators introduced by Wood it et al. exhibits a phase transition at a critical value of the coupling parameter $a$, leading to stable global oscillations (GO). On a complete graph, upon further increase in $a$, the model exhibits an infinite-period (IP) phase transition, at which collective oscillations cease and discrete rotational ($C_3$) sym… ▽ More A lattice of three-state stochastic phase-coupled oscillators introduced by Wood it et al. exhibits a phase transition at a critical value of the coupling parameter $a$, leading to stable global oscillations (GO). On a complete graph, upon further increase in $a$, the model exhibits an infinite-period (IP) phase transition, at which collective oscillations cease and discrete rotational ($C_3$) symmetry is broken. In the case of large negative values of the coupling, Escaff et al. discovered the stability of travelling-wave states with no global synchronization but with local order. Here, we verify the IP phase in systems with long-range coupling but of lower connectivity than a complete graph and show that even for large positive coupling, the system sometimes fails to reach global order. The ensuing travelling-wave state appears to be a metastable configuration whose birth and decay (into the previously described phases) are associated with the initial conditions and fluctuations. △ Less

Submitted 9 December, 2019; originally announced December 2019.

Comments: 23 pages 19 figures

Modulated equations of Hamiltonian PDEs and dispersive shocks

Authors: Sylvie Benzoni-Gavage, Colin Mietka, L. Miguel Rodrigues

Abstract: Motivated by the ongoing study of dispersive shock waves in non integrable systems, we propose and analyze a set of wave parameters for periodic waves of a large class of Hamiltonian partial differential systems -- including the generalized Korteweg de Vries equations and the Euler-Korteweg systems -- that are well-behaved in both the small amplitude and small wavelength limits. We use this parame… ▽ More Motivated by the ongoing study of dispersive shock waves in non integrable systems, we propose and analyze a set of wave parameters for periodic waves of a large class of Hamiltonian partial differential systems -- including the generalized Korteweg de Vries equations and the Euler-Korteweg systems -- that are well-behaved in both the small amplitude and small wavelength limits. We use this parametrization to determine fine asymptotic properties of the associated modulation systems, including detailed descriptions of eigenmodes. As a consequence, in the solitary wave limit we prove that modulational instability is decided by the sign of the second derivative -- with respect to speed, fixing the endstate -- of the Boussinesq moment of instability; and, in the harmonic limit, we identify an explicit modulational instability index, of Benjamin--Feir type. △ Less

Submitted 20 November, 2020; v1 submitted 22 November, 2019; originally announced November 2019.

Comments: 65 pages

MSC Class: 35B10; 35B35; 35Q35; 35Q51; 35Q53; 37K05; 37K45

Journal ref: Nonlinearity, 34, No. 1, pp. 578--641 (2021)

Network-Aware Container Scheduling in Multi-Tenant Data Center

Authors: Leonardo R. Rodrigues, Marcelo Pasin, Omir C. Alves Jr., Charles C. Miers, Mauricio A. Pillon, Pascal Felber, Guilherme P. Koslovski

Abstract: Network management on multi-tenant container-based data centers has critical impact on performance. Tenants encapsulate applications in containers abstracting away details on hosting infrastructures, and entrust data centers management framework with the provisioning of network QoS requirements. In this paper, we propose a network-aware multi-criteria container scheduler to jointly process contain… ▽ More Network management on multi-tenant container-based data centers has critical impact on performance. Tenants encapsulate applications in containers abstracting away details on hosting infrastructures, and entrust data centers management framework with the provisioning of network QoS requirements. In this paper, we propose a network-aware multi-criteria container scheduler to jointly process containers and network requirements. We introduce a new Mixed Integer Linear Programming formulation for network-aware scheduling encompassing both tenants and providers metrics. We describe two GPU-accelerated modules to address the complexity barrier of the problem and efficiently process scheduling requests. Our experiments show that our scheduling approach accounting for both network and containers outperforms traditional algorithms used by containers orchestrators. △ Less

Submitted 17 September, 2019; originally announced September 2019.

Comments: European Commission Project: LEGaTO - Low Energy Toolset for Heterogeneous Computing (EC-H2020-780681). Preprint of paper to appear at 2019 IEEE GLOBECOM, Global Communications Conference. 9-13 December 2019, Waikaloa (HI), USA

Noncommutative cosmological models induced by a symplectic formalism coupled to phantom fluids

Authors: G. Oliveira-Neto, L. G. Rezende Rodrigues

Abstract: In the present letter, we consider homogeneous and isotropic noncommutative cosmological models induced by a symplectic formalism coupled to phantom perfect fluids and a cosmological constant. After computing the field equations, we solve them to find the scalar factor dynamics. We restrict our attention to expansive solutions, that may represent the present expansion of our Universe. Those soluti… ▽ More In the present letter, we consider homogeneous and isotropic noncommutative cosmological models induced by a symplectic formalism coupled to phantom perfect fluids and a cosmological constant. After computing the field equations, we solve them to find the scalar factor dynamics. We restrict our attention to expansive solutions, that may represent the present expansion of our Universe. Those solutions generate {\it big rip} singularities. We study how the parameters, of those models, modify the time it takes to the scalar factor expands from zero till infinity, at the {\it big rip}. △ Less

Submitted 1 October, 2019; v1 submitted 22 July, 2019; originally announced July 2019.

Comments: Modified version with 23 pages, 7 figures and more references

Thermodynamics of weakly coherent collisional models

Authors: Franklin L. S. Rodrigues, Gabriele De Chiara, Mauro Paternostro, Gabriel T. Landi

Abstract: We introduce the idea of weakly coherent collisional models, where the elements of an environment interacting with a system of interest are prepared in states that are approximately thermal, but have an amount of coherence proportional to a short system-environment interaction time in a scenario akin to well-known collisional models. We show that, in the continuous-time limit, the model allows for… ▽ More We introduce the idea of weakly coherent collisional models, where the elements of an environment interacting with a system of interest are prepared in states that are approximately thermal, but have an amount of coherence proportional to a short system-environment interaction time in a scenario akin to well-known collisional models. We show that, in the continuous-time limit, the model allows for a clear formulation of the first and second laws of thermodynamics, which are modified to include a non-trivial contribution related to quantum coherence. Remarkably, we derive a bound showing that the degree of such coherence in the state of the elements of the environment represents a resource, which can be consumed to convert heat into an ordered (unitary-like) energy term in the system, even though no work is performed in the global dynamics. Our results therefore represent an instance where thermodynamics can be extended beyond thermal systems, opening the way for combining classical and quantum resources. △ Less

Submitted 4 October, 2019; v1 submitted 19 June, 2019; originally announced June 2019.

Journal ref: Phys. Rev. Lett. 123, 140601 (2019)

Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs

Authors: Maria Casimiro, Diego Didona, Paolo Romano, Luís Rodrigues, Willy Zwanepoel, David Garlan

Abstract: Modern data analytic and machine learning jobs find in the cloud a natural deployment platform to satisfy their notoriously large resource requirements. Yet, to achieve cost efficiency, it is crucial to identify a deployment configuration that satisfies user-defined QoS constraints (e.g., on execution time), while avoiding unnecessary over-provisioning. This paper introduces Lynceus, a new approac… ▽ More Modern data analytic and machine learning jobs find in the cloud a natural deployment platform to satisfy their notoriously large resource requirements. Yet, to achieve cost efficiency, it is crucial to identify a deployment configuration that satisfies user-defined QoS constraints (e.g., on execution time), while avoiding unnecessary over-provisioning. This paper introduces Lynceus, a new approach for the optimization of cloud based data analytic jobs that improves overstate-of-the-art approaches by enabling significant cost savings both in terms of the final recommended configuration and of the optimization process used to recommend configurations. Unlike existing solutions, Lynceus optimizes in a joint fashion both the cloud-related and the application-level parameters. This allows for a reduction of the cost of recommended configurations by up to 3.7x at the 90-th percentile with respect to existing approaches, which treat the optimization of cloud-related and application-level parameters as two independent problems. Further, Lynceus reduces the cost of the optimization process (i.e., the cloud cost incurred for testing configurations) by up to 11x. Such an improvement is achieved thanks to two mechanisms: i) a timeout approach which allows to abort the exploration of configurations that are deemed suboptimal, while still extracting useful information to guide future explorations and to improve its predictive model - differently from recent works, which either incur the full cost for testing suboptimal configurations or are unable to extract any knowledge from aborted runs; ii) a long-sighted and budget-aware technique that determines which configurations to test by predicting the long-term impact of each exploration - unlike state-of-the-art approaches for the optimization of cloud jobs, which adopt greedy optimization methods. △ Less

Submitted 20 January, 2020; v1 submitted 6 May, 2019; originally announced May 2019.

Comments: This updated version features a novel extension of our approach: the time out mechanism. Additionally, we improved the write-up of the paper, fruit of the collaboration with professor David Garlan and Carnegie Mellon Univeristy

Measuring valley polarization in two-dimensional materials with second-harmonic spectroscopy

Authors: Yi Wei Ho, Henrique Guimarães Rosa, Ivan Verzhbitskiy, Manuel Jose de Lima Ferreira Rodrigues, Takashi Taniguchi, Kenji Watanabe, Goki Eda, Vitor Manuel Pereira, José Carlos Viana Gomes

Abstract: A population imbalance at different valleys of an electronic system lowers its effective rotational symmetry. We introduce a technique to measure such imbalance - a valley polarization - that exploits the unique fingerprints of this symmetry reduction in the polarization-dependent second-harmonic generation (SHG). We present the principle and detection scheme in the context of hexagonal two-dimens… ▽ More A population imbalance at different valleys of an electronic system lowers its effective rotational symmetry. We introduce a technique to measure such imbalance - a valley polarization - that exploits the unique fingerprints of this symmetry reduction in the polarization-dependent second-harmonic generation (SHG). We present the principle and detection scheme in the context of hexagonal two-dimensional crystals, which include graphene-based systems and the family of transition metal dichalcogenides, and provide a direct experimental demonstration using a 2H-MoSe$_{2}$ monolayer at room temperature. We deliberately use the simplest possible setup, where a single pulsed laser beam simultaneously controls the valley imbalance and tracks the SHG process. We further developed a model of the transient population dynamics which analytically describes the valley-induced SHG rotation in very good agreement with the experiment. In addition to providing the first experimental demonstration of the effect, this work establishes a conceptually simple, com-pact and transferable way of measuring instantaneous valley polarization, with direct applicability in the nascent field of valleytronics. △ Less

Submitted 4 December, 2019; v1 submitted 4 March, 2019; originally announced March 2019.

Measurements As First-class Artifacts

Authors: Paolo Laffranchini, Luis Rodrigues, Marco Canini, Balachander Krishnamurthy

Abstract: The emergence of programmable switches has sparked a significant amount of work on new techniques to perform more powerful measurement tasks, for instance, to obtain fine-grained traffic and performance statistics. Previous work has focused on the efficiency of these measurements alone and has neglected flexibility, resulting in solutions that are hard to reuse or repurpose and that often overlap… ▽ More The emergence of programmable switches has sparked a significant amount of work on new techniques to perform more powerful measurement tasks, for instance, to obtain fine-grained traffic and performance statistics. Previous work has focused on the efficiency of these measurements alone and has neglected flexibility, resulting in solutions that are hard to reuse or repurpose and that often overlap in functionality or goals. In this paper, we propose the use of a set of reusable primitive building blocks that can be composed to express measurement tasks in a concise and simple way. We describe the rationale for the design of our primitives, that we have named MAFIA (Measurements As FIrst-class Artifacts), and using several examples we illustrate how they can be combined to realize a comprehensive range of network measurement tasks. Writing MAFIA code does not require expert knowledge of low-level switch architecture details. Using a prototype implementation of MAFIA, we demonstrate the applicability of our approach and show that the use of our primitives results in compiled code that is comparable in size and resource usage with manually written specialized P4 code and can be run in current hardware. △ Less

Submitted 16 January, 2019; originally announced January 2019.

Comments: Infocom 2019 extended version

Asymptotics of the three dimensional Vlasov equation in the large magnetic field limit

Authors: Francis Filbet, Luis Miguel Rodrigues

Abstract: We study the asymptotic behavior of solutions to the Vlasov equation in the presence of a strong external magnetic field. In particular we provide a mathematically rigorous derivation of the guiding-center approximation in the general three dimensional setting under the action of large inhomogeneous magnetic fields. First order corrections are computed and justified as well, including electric cro… ▽ More We study the asymptotic behavior of solutions to the Vlasov equation in the presence of a strong external magnetic field. In particular we provide a mathematically rigorous derivation of the guiding-center approximation in the general three dimensional setting under the action of large inhomogeneous magnetic fields. First order corrections are computed and justified as well, including electric cross field, magnetic gradient and magnetic curvature drifts. We also treat long time behaviors on two specific examples, the two dimensional case in carte-sian coordinates and a poloidal axi-symmetric geometry, the former for expository purposes. Algebraic manipulations that underlie concrete computations make the most of the linearity of the stiffest part of the system of characteristics instead of relying on any particular variational structure. △ Less

Submitted 25 February, 2020; v1 submitted 22 November, 2018; originally announced November 2018.

Computational Intelligence in Sports: A Systematic Literature Review

Authors: Robson P. Bonidia, Luiz A. L. Rodrigues, Anderson P. Avila-Santos, Danilo S. Sanches, Jacques D. Brancher

Abstract: Recently, data mining studies are being successfully conducted to estimate several parameters in a variety of domains. Data mining techniques have attracted the attention of the information industry and society as a whole, due to a large amount of data and the imminent need to turn it into useful knowledge. However, the effective use of data in some areas is still under development, as is the case… ▽ More Recently, data mining studies are being successfully conducted to estimate several parameters in a variety of domains. Data mining techniques have attracted the attention of the information industry and society as a whole, due to a large amount of data and the imminent need to turn it into useful knowledge. However, the effective use of data in some areas is still under development, as is the case in sports, which in recent years, has presented a slight growth; consequently, many sports organizations have begun to see that there is a wealth of unexplored knowledge in the data extracted by them. Therefore, this article presents a systematic review of sports data mining. Regarding years 2010 to 2018, 31 types of research were found in this topic. Based on these studies, we present the current panorama, themes, the database used, proposals, algorithms, and research opportunities. Our findings provide a better understanding of the sports data mining potentials, besides motivating the scientific community to explore this timely and interesting topic. △ Less

Submitted 30 October, 2018; originally announced October 2018.

Journal ref: Advances in Human-Computer Interaction (https://www.hindawi.com/journals/ahci/2018/3426178/)

Large-time asymptotic stability of Riemann shocks of scalar balance laws

Authors: Vincent Duchêne, Luis Miguel Rodrigues

Abstract: We prove the large-time asymptotic orbital stability of strictly entropic Riemann shock solutions of first order scalar hyperbolic balance laws, under piecewise regular perturbations provided that the source term is dissipative about endstates of the shock. Moreover the convergence towards a shifted reference state is exponential with a rate predicted by the linearized equations about constant end… ▽ More We prove the large-time asymptotic orbital stability of strictly entropic Riemann shock solutions of first order scalar hyperbolic balance laws, under piecewise regular perturbations provided that the source term is dissipative about endstates of the shock. Moreover the convergence towards a shifted reference state is exponential with a rate predicted by the linearized equations about constant endstates. △ Less

Submitted 25 June, 2020; v1 submitted 19 October, 2018; originally announced October 2018.

Comments: Added section on transverse stability in the multidimensional framework

MSC Class: 35B35; 35L02; 35L67; 35B40; 35L03; 37L15

Journal ref: SIAM J. Math. Anal., 52(1), 2020

Evolution of galactic magnetic fields

Authors: Luiz Felippe S. Rodrigues, Luke Chamandy, Anvar Shukurov, Carlton M. Baugh, A. Russ Taylor

Abstract: We study the cosmic evolution of the magnetic fields of a large sample of spiral galaxies in a cosmologically representative volume by employing a semi-analytic galaxy formation model and numerical dynamo solver in tandem. We start by deriving time- and radius-dependent galaxy properties using the galform galaxy formation model, which are then fed into the nonlinear mean-field dynamo equations. Th… ▽ More We study the cosmic evolution of the magnetic fields of a large sample of spiral galaxies in a cosmologically representative volume by employing a semi-analytic galaxy formation model and numerical dynamo solver in tandem. We start by deriving time- and radius-dependent galaxy properties using the galform galaxy formation model, which are then fed into the nonlinear mean-field dynamo equations. These are solved to give the large-scale (mean) field as a function of time and galactocentric radius for a thin disc, assuming axial symmetry. A simple prescription for the evolution of the small-scale (random) magnetic field component is also adopted. We find that, while most massive galaxies are predicted to have large-scale magnetic fields at redshift z=0, a significant fraction of them are expected to contain negligible large-scale field. Our model indicates that, for most of the galaxies containing large-scale magnetic fields today, the mean-field dynamo becomes active at z<3. We compute the radial profiles of pitch angle, and find broad agreement with observational data for nearby galaxies. △ Less

Submitted 5 December, 2018; v1 submitted 27 September, 2018; originally announced September 2018.

Comments: 19 pages, 10 figures. Accepted for publication in MNRAS

Journal ref: MNRAS (2019) 483 (2): 2424-2440

Fickian and non-Fickian diffusion of cosmic rays

Authors: L. F. S. Rodrigues, A. P. Snodin, G. R. Sarson, Anvar Shukurov

Abstract: Fluid approximations to cosmic ray (CR) transport are often preferred to kinetic descriptions in studies of the dynamics of the interstellar medium (ISM) of galaxies, because they allow simpler analytical and numerical treatments. Magnetohydrodynamic (MHD) simulations of the ISM usually incorporate CR dynamics as an advection-diffusion equation for CR energy density, with anisotropic, magnetic fie… ▽ More Fluid approximations to cosmic ray (CR) transport are often preferred to kinetic descriptions in studies of the dynamics of the interstellar medium (ISM) of galaxies, because they allow simpler analytical and numerical treatments. Magnetohydrodynamic (MHD) simulations of the ISM usually incorporate CR dynamics as an advection-diffusion equation for CR energy density, with anisotropic, magnetic field-aligned diffusion with the diffusive flux assumed to obey Fick's law. We compare test-particle and fluid simulations of CRs in a random magnetic field. We demonstrate that a non-Fickian prescription of CR diffusion, which corresponds to the telegraph equation for the CR energy density, can be easily calibrated to match the test particle simulations with great accuracy. In particular, we consider a random magnetic field in the fluid simulation that has a lower spatial resolution than that used in the particle simulation to demonstrate that an appropriate choice of the diffusion tensor can account effectively for the unresolved (subgrid) scales of the magnetic field. We show that the characteristic time which appears in the telegraph equation can be physically interpreted as the time required for the particles to reach a diffusive regime and we stress that the Fickian description of the CR fluid is unable to describe complex boundary or initial conditions for the CR energy flux. △ Less

Submitted 16 May, 2019; v1 submitted 19 September, 2018; originally announced September 2018.

Comments: 6 pages, 5 figures. Accepted for publication in MNRAS

Journal ref: MNRAS (2019) 487 (1): 975-980

A physical approach to modelling large-scale galactic magnetic fields

Authors: Anvar Shukurov, Luiz Felippe S. Rodrigues, Paul J. Bushby, James Hollins, Jorg P. Rachen

Abstract: A convenient representation of the structure of the large-scale galactic magnetic field is required for the interpretation of polarization data in the sub-mm and radio ranges, in both the Milky Way and external galaxies. We develop a simple and flexible approach to construct parametrised models of the large-scale magnetic field of the Milky Way and other disc galaxies, based on physically justifia… ▽ More A convenient representation of the structure of the large-scale galactic magnetic field is required for the interpretation of polarization data in the sub-mm and radio ranges, in both the Milky Way and external galaxies. We develop a simple and flexible approach to construct parametrised models of the large-scale magnetic field of the Milky Way and other disc galaxies, based on physically justifiable models of magnetic field structure. The resulting models are designed to be optimised against available observational data. Representations for the large-scale magnetic fields in the flared disc and spherical halo of a disc galaxy were obtained in the form of series expansions whose coefficients can be calculated from observable or theoretically known galactic properties. The functional basis for the expansions is derived as eigenfunctions of the mean-field dynamo equation or of the vectorial magnetic diffusion equation. The solutions presented are axially symmetric but the approach can be extended straightforwardly to non-axisymmetric cases. The magnetic fields are solenoidal by construction, can be helical, and are parametrised in terms of observable properties of the host object, such as the rotation curve and the shape of the gaseous disc. The magnetic field in the disc can have a prescribed number of field reversals at any specified radii. Both the disc and halo magnetic fields can separately have either dipolar or quadrupolar symmetry. The model is implemented as a publicly available software package GalMag which allows, in particular, the computation of the synchrotron emission and Faraday rotation produced by the model's magnetic field. The model can be used in interpretations of observations of magnetic fields in the Milky Way and other spiral galaxies, in particular as a prior in Bayesian analyses. (Abridged.) △ Less

Submitted 28 January, 2019; v1 submitted 10 September, 2018; originally announced September 2018.

Comments: 20 pages, 14 figures. Accepted for publication in A&A

Journal ref: A&A 623, A113 (2019)

Hořava-Lifshitz cosmological models in noncommutative space-times

Authors: E. M. C. Abreu, A. C. R. Mendes, G. Oliveira-Neto, J. Ananias Neto, L. G. Rezende Rodrigues, M. Silva de Oliveira

Abstract: In this work, we will analyze a noncommutative (NC) version of the Friedmann-Robert-Walker cosmological models within the gravitational Hořava-Lifshitz theory. The matter content of the models is described by a perfect fluid and the constant curvature of the spatial sections may be positive, negative or zero. In order to obtain this theory, we will use the Faddeev-Jackiw symplectic formalism to in… ▽ More In this work, we will analyze a noncommutative (NC) version of the Friedmann-Robert-Walker cosmological models within the gravitational Hořava-Lifshitz theory. The matter content of the models is described by a perfect fluid and the constant curvature of the spatial sections may be positive, negative or zero. In order to obtain this theory, we will use the Faddeev-Jackiw symplectic formalism to introduce, naturally, space-time noncommutativity inside the equations that provide the dynamics of the theory. We will investigate, in details, the classical field equations of a particular version of the NC models. The equations will be modified, with respect to the commutative ones, by the introduction of a NC parameter. We will demonstrate that various NC models, with different types of matter and spatial constant curvatures, show several interesting and new results relative to the corresponding commutative ones. We will pay special attention to some cases, where the NC model predicts a scale factor accelerated expansion, which may describe the current state of our Universe. △ Less

Submitted 23 May, 2018; originally announced May 2018.

Comments: 27 pages. Preprint format

IMAGINE: A comprehensive view of the interstellar medium, Galactic magnetic fields and cosmic rays

Authors: Francois Boulanger, Torsten Ensslin, Andrew Fletcher, Philipp Girichides, Stefan Hackstein, Marijke Haverkorn, Joerg R. Hoerandel, Tess R. Jaffe, Jens Jasche, Michael Kachelriess, Kumiko Kotera, Christoph Pfrommer, Jorg P. Rachen, Luiz F. S. Rodrigues, Beatriz Ruiz-Granados, Amit Seta, Anvar Shukurov, Gunter Sigl, Theo Steininger, Valentina Vacca, Ellert van der Velden, Arjen van Vliet, Jiaxin Wang

Abstract: In this white paper we introduce the IMAGINE Consortium and its scientific background, goals and structure. Our purpose is to coordinate and facilitate the efforts of a diverse group of researchers in the broad areas of the interstellar medium, Galactic magnetic fields and cosmic rays, and our goal is to develop more comprehensive insights into the structures and roles of interstellar magnetic fie… ▽ More In this white paper we introduce the IMAGINE Consortium and its scientific background, goals and structure. Our purpose is to coordinate and facilitate the efforts of a diverse group of researchers in the broad areas of the interstellar medium, Galactic magnetic fields and cosmic rays, and our goal is to develop more comprehensive insights into the structures and roles of interstellar magnetic fields and their interactions with cosmic rays. To achieve a higher level of self-consistency, depth and rigour can only be achieved by the coordinated efforts of experts in diverse areas of astrophysics involved in observational, theoretical and numerical work. We present our view of the present status of this topic, identify its key unsolved problems and suggest a strategy that will underpin our work. The backbone of the consortium is the Interstellar MAGnetic field INference Engine, a publicly available Bayesian platform that employs robust statistical methods to explore the multi-dimensional likelihood space using any number of modular inputs. It provides an interpretation and modelling framework that has the power and flexibility to include a variety of observational, theoretical and numerical lines of evidence into a self-consistent and comprehensive picture of the thermal and non-thermal interstellar media. An important innovation is that a consistent understanding of the phenomena that are directly or indirectly influenced by the Galactic magnetic field, such as the deflection of ultra-high energy cosmic rays or extragalactic backgrounds, is made an integral part of the modelling. The IMAGINE Consortium, which is informal by nature and open to new participants, hereby presents a methodological framework for the modelling and understanding of Galactic magnetic fields that is available to all communities whose research relies on a state-of-the-art solution to this problem. (Abridged.) △ Less

Submitted 6 September, 2018; v1 submitted 7 May, 2018; originally announced May 2018.

Comments: 56 pages, 15 figures, minor updates to match published JCAP version

Journal ref: JCAP08(2018)049

Spectral Stability of Inviscid Roll Waves

Authors: Mathew A. Johnson, Pascal Noble, L. Miguel Rodrigues, Zhao Yang, Kevin Zumbrun

Abstract: We carry out a systematic analytical and numerical study of spectral stability of discontinuous roll wave solutions of the inviscid Saint Venant equations, based on a periodic Evans-Lopatinski determinant analogous to the periodic Evans function of Gardner in the (smooth) viscous case, obtaining a complete spectral stability diagram useful in hydraulic engineering and related applications. In part… ▽ More We carry out a systematic analytical and numerical study of spectral stability of discontinuous roll wave solutions of the inviscid Saint Venant equations, based on a periodic Evans-Lopatinski determinant analogous to the periodic Evans function of Gardner in the (smooth) viscous case, obtaining a complete spectral stability diagram useful in hydraulic engineering and related applications. In particular, we obtain an explicit low-frequency stability boundary, which, moreover, matches closely with its (numerically-determined) counterpart in the viscous case. This is seen to be related to but not implied by the associated formal first-order Whitham modulation equations. △ Less

Submitted 9 March, 2018; originally announced March 2018.

Comments: 45 pages, 11 figures

MultiSIMNRA: a computational tool for self-consistent ion beam analysis using SIMNRA

Authors: Tiago F. Silva, Matej Mayer, Cleber L. Rodrigues, Marcos V. Moro, Gustavo F. Trindade, Fernando R. Aguirre, Nemitala Added, Márcia A. Rizzutto, Manfredo H. Tabacniks

Abstract: SIMNRA is widely adopted by the scientific community of ion beam analysis for interpretation of nuclear scattering analysis. Taking advantage of its recognized reliability and quality of the simulations, we developed a computer program that use parallel sessions of SIMNRA to perform self-consistent analysis for energy spectra of a given sample obtained using different techniques or experimental se… ▽ More SIMNRA is widely adopted by the scientific community of ion beam analysis for interpretation of nuclear scattering analysis. Taking advantage of its recognized reliability and quality of the simulations, we developed a computer program that use parallel sessions of SIMNRA to perform self-consistent analysis for energy spectra of a given sample obtained using different techniques or experimental setups. In this paper, we present a result using MultiSIMNRA on self-consistent analysis for a multielemental thin film produced by magnetron sputtering. The results demonstrate the potentialities of the self-consistent analysis and its feasibility when using MultiSIMNRA. △ Less

Submitted 1 March, 2018; originally announced March 2018.

Comments: Part of special issue: The 22nd International Conference on Ion Beam Analysis (IBA 2015)

Journal ref: Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, Volume 371, 2016, Pages 86-89, ISSN 0168-583X

Characterization of the second- and third-harmonic optical susceptibilities of atomically thin tungsten diselenide

Authors: Henrique G. Rosa, Ho Yi Wei, Ivan Verzhbitskiy, Manuel J. F. L. Rodrigues, Takashi Taniguchi, Kenji Watanabe, Goki Eda, Vitor M. Pereira, Jose C. V. Gomes

Abstract: We report the first detailed characterization of the sheet third-harmonic optical susceptibility, $χ_{s}^{(3)}$, of tungsten diselenide (WSe$_{2}$). With a home-built confocal microscope setup developed to study harmonics generation, we map the second- and third-harmonic intensities as a function of position in the sample, pump power and polarization angle, for single and few layers flakes of WSe… ▽ More We report the first detailed characterization of the sheet third-harmonic optical susceptibility, $χ_{s}^{(3)}$, of tungsten diselenide (WSe$_{2}$). With a home-built confocal microscope setup developed to study harmonics generation, we map the second- and third-harmonic intensities as a function of position in the sample, pump power and polarization angle, for single and few layers flakes of WSe$_{2}$. We register a value of $|χ_{s}^{(3)}| \approx$ 0.91 $\times$ 10$^{-28}$ m$^{3}$ V$^{-2}$ at a fundamental excitation frequency of $\hbarω$ = 0.8 eV, which is comparable in magnitude to the third-harmonic susceptibility of other group-VI transition metal dichalcogenides. The simultaneously recorded second-harmonic susceptibility is found to be $|χ_{s}^{(2)}| \approx$ 0.70 $\times$ 10$^{-19}$ m$^{2}$ V$^{-1}$ in very good agreement on the order of magnitude with recent reports for WSe$_{2}$, which asserts the robustness of our values for $|χ_{s}^{(3)}|$. △ Less

Submitted 4 January, 2019; v1 submitted 5 March, 2018; originally announced March 2018.

Comments: 20 pages, 8 figures, 1 table

Journal ref: Scientific Reportsvolume 8, Article number: 10035 (2018)

Map** a quantum walk by tuning the coupling coefficient

Authors: Kian Fong Ng, Manuel J. L. F. Rodrigues, José Viana-Gomes, Alexander Ling, James A. Grieve

Abstract: We present a method to map the evolution of photonic random walks that is compatible with nonclassical input light. Our approach leverages a newly developed flexible waveguide platform to tune the jum** rate between spatial modes, allowing the observation of a range of evolution times in a chip of fixed length. In a proof-of-principle demonstration we reconstruct the evolution of photons through… ▽ More We present a method to map the evolution of photonic random walks that is compatible with nonclassical input light. Our approach leverages a newly developed flexible waveguide platform to tune the jum** rate between spatial modes, allowing the observation of a range of evolution times in a chip of fixed length. In a proof-of-principle demonstration we reconstruct the evolution of photons through a uniform array of coupled waveguides by monitoring the end-face alone. This approach enables direct observation of mode occupancy at arbitrary resolution, extending the utility of photonic random walks for quantum simulations and related applications. △ Less

Submitted 21 August, 2019; v1 submitted 26 February, 2018; originally announced February 2018.

Comments: 4 pages, 4 figures. Substantial revision

A Galerkin-Collocation domain decomposition method: application to the evolution of cylindrical gravitational waves

Authors: W. O. Barreto, J. A. Crespo, H. P. de Oliveira, E. L. Rodrigues

Abstract: We present a Galerkin-Collocation domain decomposition algorithm applied to the evolution of cylindrical unpolarized gravitational waves. We show the effectiveness of the algorithm in reproducing initial data with high localized gradients and in providing highly accurate dynamics. We characterize the gravitational radiation with the standard Newman-Penrose Weyl scalar $Ψ_4$. We generate wave templ… ▽ More We present a Galerkin-Collocation domain decomposition algorithm applied to the evolution of cylindrical unpolarized gravitational waves. We show the effectiveness of the algorithm in reproducing initial data with high localized gradients and in providing highly accurate dynamics. We characterize the gravitational radiation with the standard Newman-Penrose Weyl scalar $Ψ_4$. We generate wave templates for both polarization modes, $\times$ and $+$, outgoing and ingoing, to show how they exchange energy nonlinearly. In particular, considering an initially ingoing $\times$ wave, we were able to trace a possible imprint of the gravitational analog of the Faraday effect in the generated templates. △ Less

Submitted 25 September, 2019; v1 submitted 31 January, 2018; originally announced February 2018.

Comments: 20 pages, 8 figures. Accepted in Class. Quantum Grav

Journal ref: Class. Quantum Grav. 36 (2019) 215011

Stability of periodic waves in Hamiltonian PDEs of either long wavelength or small amplitude

Authors: Sylvie Benzoni-Gavage, Colin Mietka, Luis M. Rodrigues

Abstract: Stability criteria have been derived and investigated in the last decades for many kinds of periodic traveling wave solutions to Hamiltonian PDEs. They turned out to depend in a crucial way on the negative signature of the Hessian matrix of action integrals associated with those waves. In a previous paper (Nonlinearity 2016), the authors addressed the characterization of stability of periodic wave… ▽ More Stability criteria have been derived and investigated in the last decades for many kinds of periodic traveling wave solutions to Hamiltonian PDEs. They turned out to depend in a crucial way on the negative signature of the Hessian matrix of action integrals associated with those waves. In a previous paper (Nonlinearity 2016), the authors addressed the characterization of stability of periodic waves for a rather large class of Hamiltonian partial differential equations that includes quasilinear generalizations of the Korteweg--de Vries equation and dispersive perturbations of the Euler equations for compressible fluids, either in Lagrangian or in Eulerian coordinates. They derived a sufficient condition for orbital stability with respect to co-periodic perturbations, and a necessary condition for spectral stability, both in terms of the negative signature - or Morse index - of the Hessian matrix of the action integral. Here the asymptotic behavior of this matrix is investigated in two asymptotic regimes, namely for small amplitude waves and for waves approaching a solitary wave as their wavelength goes to infinity. The special structure of the matrices involved in the expansions makes possible to actually compute the negative signature of the action Hessian both in the harmonic limit and in the soliton limit. As a consequence, it is found that nondegenerate small amplitude waves are orbitally stable with respect to co-periodic perturbations in this framework. For waves of long wavelength, the negative signature of the action Hessian is found to be exactly governed by the second derivative with respect to the wave speed of the Boussinesq momentum associated with the limiting solitary wave. △ Less

Submitted 11 October, 2017; originally announced October 2017.

MSC Class: 35B10; 35B35; 35Q35; 35Q51; 35Q53; 37K05; 37K45

Journal ref: Indiana University Mathematics Journal, 69, No. 2, pp.545--619 (2020)

Topological signatures of interstellar magnetic fields - I. Betti numbers and persistence diagrams

Authors: Irina Makarenko, Anvar Shukurov, Robin Henderson, Luiz F. S. Rodrigues, Paul Bushby, Andrew Fletcher

Abstract: The interstellar medium (ISM) is a magnetised system in which transonic or supersonic turbulence is driven by supernova explosions. This leads to the production of intermittent, filamentary structures in the ISM gas density, whilst the associated dynamo action also produces intermittent magnetic fields. The traditional theory of random functions, restricted to second-order statistical moments (or… ▽ More The interstellar medium (ISM) is a magnetised system in which transonic or supersonic turbulence is driven by supernova explosions. This leads to the production of intermittent, filamentary structures in the ISM gas density, whilst the associated dynamo action also produces intermittent magnetic fields. The traditional theory of random functions, restricted to second-order statistical moments (or power spectra), does not adequately describe such systems. We apply topological data analysis (TDA), sensitive to all statistical moments and independent of the assumption of Gaussian statistics, to the gas density fluctuations in a magnetohydrodynamic (MHD) simulation of the multi-phase ISM. This simulation admits dynamo action, so produces physically realistic magnetic fields. The topology of the gas distribution, with and without magnetic fields, is quantified in terms of Betti numbers and persistence diagrams. Like the more standard correlation analysis, TDA shows that the ISM gas density is sensitive to the presence of magnetic fields. However, TDA gives us important additional information that cannot be obtained from correlation functions. In particular, the Betti numbers per correlation cell are shown to be physically informative. Magnetic fields make the ISM more homogeneous, reducing the abundance of both isolated gas clouds and cavities, with a stronger effect on the cavities. Remarkably, the modification of the gas distribution by magnetic fields is captured by the Betti numbers even in regions more than 300 pc from the midplane, where the magnetic field is weaker and correlation analysis fails to detect any signatures of magnetic effects. △ Less

Submitted 27 December, 2017; v1 submitted 15 August, 2017; originally announced August 2017.

Comments: 17 pages, 11 figures. Accepted for publication in MNRAS

Journal ref: MNRAS (2018) 475 (2): 1843-1858

Mechanically tunable integrated beamsplitters on a flexible polymer platform

Authors: James A. Grieve, Kian Fong Ng, Manuel J. L. F. Rodrigues, José Viana-Gomes, Alexander Ling

Abstract: We report the development of a monolithic, mechanically tunable waveguide platform based on the flexible polymer polydimethyl siloxane (PDMS). Such devices preserve single mode guiding across a wide range of linear geometric distortions. This enables the realization of directional couplers with tunable splitting ratios via elastic deformation of the host chip. We fabricated several devices of this… ▽ More We report the development of a monolithic, mechanically tunable waveguide platform based on the flexible polymer polydimethyl siloxane (PDMS). Such devices preserve single mode guiding across a wide range of linear geometric distortions. This enables the realization of directional couplers with tunable splitting ratios via elastic deformation of the host chip. We fabricated several devices of this type, and verified their operation over a range of wavelengths, with access to the full range of input/output ratios. The low cost and relative ease of fabrication of these devices via a modified imprint lithographic technique make them an attractive platform for investigation of large scale optical random walks and related optical phenomena. △ Less

Submitted 18 January, 2018; v1 submitted 11 July, 2017; originally announced July 2017.

Comments: 10 pages, 5 figures; latest edit to bring text in line with published version -- includes minor typo corrections

Journal ref: Appl. Phys. Lett. 111, 211106 (2017)

VCube-PS: A Causal Broadcast Topic-based Publish/Subscribe System

Authors: João Paulo de Araujo, Luciana Arantes, Elias P. Duarte Jr., Luiz A. Rodrigues, Pierre Sens

Abstract: In this work we present VCube-PS, a topic-based Publish/Subscribe system built on the top of a virtual hypercube-like topology. Membership information and published messages are broadcast to subscribers (members) of a topic group over dynamically built spanning trees rooted at the publisher. For a given topic, the delivery of published messages respects the causal order. VCube-PS was implemented o… ▽ More In this work we present VCube-PS, a topic-based Publish/Subscribe system built on the top of a virtual hypercube-like topology. Membership information and published messages are broadcast to subscribers (members) of a topic group over dynamically built spanning trees rooted at the publisher. For a given topic, the delivery of published messages respects the causal order. VCube-PS was implemented on the PeerSim simulator, and experiments are reported including a comparison with the traditional Publish/Subscribe approach that employs a single rooted static spanning-tree for message distribution. Results confirm the efficiency of VCube-PS in terms of scalability, latency, number and size of messages. △ Less

Submitted 4 July, 2018; v1 submitted 26 June, 2017; originally announced June 2017.

Comments: Improved text and performance evaluation. Added proof for the algorithms (Section 3.4)

ACM Class: C.2.4

Large-time behavior of solutions to Vlasov-Poisson-Fokker-Planck equations: from evanescent collisions to diffusive limit

Authors: Maxime Herda, Luis Miguel Rodrigues

Abstract: The present contribution investigates the dynamics generated by the two-dimensional Vlasov-Poisson-Fokker-Planck equation for charged particles in a steady inhomogeneous background of opposite charges. We provide global in time estimates that are uniform with respect to initial data taken in a bounded set of a weighted $L^2$ space, and where dependencies on the mean-free path $τ$ and the Debye len… ▽ More The present contribution investigates the dynamics generated by the two-dimensional Vlasov-Poisson-Fokker-Planck equation for charged particles in a steady inhomogeneous background of opposite charges. We provide global in time estimates that are uniform with respect to initial data taken in a bounded set of a weighted $L^2$ space, and where dependencies on the mean-free path $τ$ and the Debye length $δ$ are made explicit. In our analysis the mean free path covers the full range of possible values: from the regime of evanescent collisions $τ\to\infty$ to the strongly collisional regime $τ\to0$. As a counterpart, the largeness of the Debye length, that enforces a weakly nonlinear regime, is used to close our nonlinear estimates. Accordingly we pay a special attention to relax as much as possible the $τ$-dependent constraint on $δ$ ensuring exponential decay with explicit $τ$-dependent rates towards the stationary solution. In the strongly collisional limit $τ\to0$, we also examine all possible asymptotic regimes selected by a choice of observation time scale. Here also, our emphasis is on strong convergence, uniformity with respect to time and to initial data in bounded sets of a $L^2$ space. Our proofs rely on a detailed study of the nonlinear elliptic equation defining stationary solutions and a careful tracking and optimization of parameter dependencies of hypocoercive/hypoelliptic estimates. △ Less

Submitted 7 November, 2017; v1 submitted 19 June, 2017; originally announced June 2017.

Comments: minor revisions added

MSC Class: 35Q83; 35Q84; 35B35; 35B40; 35B30

Linear Asymptotic Stability and Modulation Behavior near Periodic Waves of the Korteweg-de Vries Equation

Authors: L. Miguel Rodrigues

Abstract: We provide a detailed study of the dynamics obtained by linearizing the Korteweg-de Vries equation about one of its periodic traveling waves, a cnoidal wave. In a suitable sense, linearly analogous to space-modulated stability, we prove global-in-time bounded stability in any Sobolev space, and asymptotic stability of dispersive type. Furthermore, we provide both a leading-order description of the… ▽ More We provide a detailed study of the dynamics obtained by linearizing the Korteweg-de Vries equation about one of its periodic traveling waves, a cnoidal wave. In a suitable sense, linearly analogous to space-modulated stability, we prove global-in-time bounded stability in any Sobolev space, and asymptotic stability of dispersive type. Furthermore, we provide both a leading-order description of the dynamics in terms of slow modulation of local parameters and asymptotic modulation systems and effective initial data for the evolution of those parameters. This requires a global-in-time study of the dynamics generated by a non normal operator with non constant coefficients. On the road we also prove estimates on oscillatory integrals particularly suitable to derive large-time asymptotic systems that could be of some general interest. △ Less

Submitted 18 June, 2017; originally announced June 2017.

MSC Class: 35B10; 35B35; 35P05; 35Q53; 37K45

Nonlinear interaction between electromagnetic and gravitational waves: an appraisal

Authors: W. Barreto, H. P. de Oliveira, E. L. Rodrigues

Abstract: Wave propagation of field disturbances is ubiquitous. The electromagnetic and gravitational are cousin theories in which the corresponding waves play a relevant role to understand several related physical. It has been established that small electromagnetic waves can generate gravitational waves and vice versa when scattered by a charged black hole. In the realm of cylindrical spacetimes, we presen… ▽ More Wave propagation of field disturbances is ubiquitous. The electromagnetic and gravitational are cousin theories in which the corresponding waves play a relevant role to understand several related physical. It has been established that small electromagnetic waves can generate gravitational waves and vice versa when scattered by a charged black hole. In the realm of cylindrical spacetimes, we present here a simple nonlinear effect of the conversion of electromagnetic to gravitational waves reflected by the amount of mass extracted from them. △ Less

Submitted 16 May, 2017; originally announced May 2017.

Comments: 5 pages, 3 figures, awarded honorable mention in the Gravity Research Foundation 2017 essay competition

Journal ref: Int. J. Mod. Phys. D 26 (12) 1743017 (2017)

Weyl-Heisenberg integral quantization(s): a compendium

Authors: Hervé Bergeron, Evaldo M. F. Curado, Jean-Pierre Gazeau, Ligia M. C. S. Rodrigues

Abstract: We present a list of formulae useful for Weyl-Heisenberg integral quantizations, with arbitrary weight, of functions or distributions on the plane. Most of these formulae are known, others are original. The list encompasses particular cases like Weyl-Wigner quantization (constant weight) and coherent states (CS) or Berezin quantization (Gaussian weight). The formulae are given with implicit assump… ▽ More We present a list of formulae useful for Weyl-Heisenberg integral quantizations, with arbitrary weight, of functions or distributions on the plane. Most of these formulae are known, others are original. The list encompasses particular cases like Weyl-Wigner quantization (constant weight) and coherent states (CS) or Berezin quantization (Gaussian weight). The formulae are given with implicit assumptions on their validity on appropriate space(s) of functions (or distributions). One of the aims of the document is to accompany a work in progress on Weyl-Heisenberg integral quantization of dynamics for the motion of a point particle on the line. △ Less

Submitted 24 March, 2017; originally announced March 2017.

Comments: 50 pages

MSC Class: 81S05; 81R10; 81S30; 81R30; 76M60

Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication

Authors: Chathuri Gunawardhana, Manuel Bravo, Luís Rodrigues

Abstract: In this paper we propose a novel approach to manage the throughput vs latency tradeoff that emerges when managing updates in geo-replicated systems. Our approach consists in allowing full concurrency when processing local updates and using a deferred local serialisation procedure before ship** updates to remote datacenters. This strategy allows to implement inexpensive mechanisms to ensure syste… ▽ More In this paper we propose a novel approach to manage the throughput vs latency tradeoff that emerges when managing updates in geo-replicated systems. Our approach consists in allowing full concurrency when processing local updates and using a deferred local serialisation procedure before ship** updates to remote datacenters. This strategy allows to implement inexpensive mechanisms to ensure system consistency requirements while avoiding intrusive effects on update operations, a major performance limitation of previous systems. We have implemented our approach as a variant of Riak KV. Our extensive evaluation shows that we outperform sequencer-based approaches by almost an order of magnitude in the maximum achievable throughput. Furthermore, unlike previous sequencer-free solutions, our approach reaches nearly optimal remote update visibility latencies without limiting throughput. △ Less

Submitted 6 February, 2017; originally announced February 2017.