Showing 1–50 of 100 results for author: Neves, Â

Nano-Raman Spectroscopy Analysis of Nanoprotuberances in MoSe2

Authors: Jane Elisa Guimarães, Rafael Nadas, Rayan Alves, Wenjin Zhang, Takahiko Endo, Kenji Watanabe, Takashi Taniguchi, Riichiro Saito, Yasumitsu Miyata, Bernardo R. A. Neves, Ado Jorio

Abstract: Contaminations in the formation of two-dimensional heterostructures can hinder or generate desired properties. Recent advancements have highlighted the potential of tip-enhanced Raman spectroscopy (TERS) for studying materials in the 2D semiconductor class. In this work, we investigate the influence of 50-200nm sized nanoprotuberances within a monolayer of MoSe$_2$ deposited on hBN using nano-Rama… ▽ More Contaminations in the formation of two-dimensional heterostructures can hinder or generate desired properties. Recent advancements have highlighted the potential of tip-enhanced Raman spectroscopy (TERS) for studying materials in the 2D semiconductor class. In this work, we investigate the influence of 50-200nm sized nanoprotuberances within a monolayer of MoSe$_2$ deposited on hBN using nano-Raman spectroscopy, establishing correlations between the presence of localized contaminations and the observed hyperspectral variations. A figure of merit is established for the identification of surface impurities, based on MoSe$_2$ peaks ratio. Notably, new spectral peaks were identified, which are associated with the presence of nanoprotuberances and may indicate contamination and oxidation. △ Less

Submitted 25 May, 2025; originally announced May 2025.

Improving Oil Slick Trajectory Simulations with Bayesian Optimization

Authors: Gabriele Accarino, Marco M. De Carlo, Igor Atake, Donatello Elia, Anusha L. Dissanayake, Antonio Augusto Sepp Neves, Juan Peña Ibañez, Italo Epicoco, Paola Nassisi, Sandro Fiore, Giovanni Coppini

Abstract: Accurate simulations of oil spill trajectories are essential for supporting practitioners' response and mitigating environmental and socioeconomic impacts. Numerical models, such as MEDSLIK-II, simulate advection, dispersion, and transformation processes of oil particles. However, simulations heavily rely on accurate parameter tuning, still based on expert knowledge and manual calibration. To over… ▽ More Accurate simulations of oil spill trajectories are essential for supporting practitioners' response and mitigating environmental and socioeconomic impacts. Numerical models, such as MEDSLIK-II, simulate advection, dispersion, and transformation processes of oil particles. However, simulations heavily rely on accurate parameter tuning, still based on expert knowledge and manual calibration. To overcome these limitations, we integrate the MEDSLIK-II numerical oil spill model with a Bayesian optimization framework to iteratively estimate the best physical parameter configuration that yields simulation closer to satellite observations of the slick. We focus on key parameters, such as horizontal diffusivity and drift factor, maximizing the Fraction Skill Score (FSS) as a measure of spatio-temporal overlap between simulated and observed oil distributions. We validate the framework for the Baniyas oil incident that occurred in Syria between August 23 and September 4, 2021, which released over 12,000 $m^3$ of oil. We show that, on average, the proposed approach systematically improves the FSS from 5.82% to 11.07% compared to control simulations initialized with default parameters. The optimization results in consistent improvement across multiple time steps, particularly during periods of increased drift variability, demonstrating the robustness of our method in dynamic environmental conditions. △ Less

Submitted 4 March, 2025; originally announced March 2025.

Comments: 29 pages, 10 figures, 3 tables, research paper

ACM Class: I.2; I.6; J.2; G.3

Simulating Work Extraction in a Dinuclear Quantum Battery Using a Variational Quantum Algorithm

Authors: Lucas Galvão, Ana Clara das Neves, Maron Anka, Clebson Cruz

Abstract: Understanding the thermodynamic properties of quantum systems is essential for developing energy-efficient quantum technologies. In this regard, this work explores the application of quantum computational methods to study the quantum properties and work extraction processes in a dinuclear quantum battery model. Our results demonstrate that variational quantum algorithms can reproduce key trends in… ▽ More Understanding the thermodynamic properties of quantum systems is essential for developing energy-efficient quantum technologies. In this regard, this work explores the application of quantum computational methods to study the quantum properties and work extraction processes in a dinuclear quantum battery model. Our results demonstrate that variational quantum algorithms can reproduce key trends in experimental data, making it possible to analyze the effectiveness of the presented protocol in noisy environments and providing insights into the feasibility of quantum batteries in near-term devices. We have shown that the presence of a noisy environment hinders the accuracy of the evaluation of the amount of energy stored in the system. Additionally, we analyze the work extraction precision, revealing that although the system can store energy at room temperature, the protocol is highly precise only at low temperatures, and its accuracy at ambient conditions remains limited, compromising its usability. △ Less

Submitted 19 May, 2025; v1 submitted 26 February, 2025; originally announced February 2025.

On the design and stability of cancer adaptive therapy cycles: deterministic and stochastic models

Authors: Yuri G. Vilela, Artur C. Fassoni, Armando G. M. Neves

Abstract: Adaptive therapy is a promising paradigm for treating cancers, that exploits competitive interactions between drug-sensitive and drug-resistant cells, thereby avoiding or delaying treatment failure due to evolution of drug resistance within the tumor. Previous studies have shown the mathematical possibility of building cyclic schemes of drug administration which restore tumor composition to its ex… ▽ More Adaptive therapy is a promising paradigm for treating cancers, that exploits competitive interactions between drug-sensitive and drug-resistant cells, thereby avoiding or delaying treatment failure due to evolution of drug resistance within the tumor. Previous studies have shown the mathematical possibility of building cyclic schemes of drug administration which restore tumor composition to its exact initial value in deterministic models. However, algorithms for cycle design, the conditions on which such algorithms are certain to work, as well as conditions for cycle stability remain elusive. Here, we state biologically motivated hypotheses that guarantee existence of such cycles in two deterministic classes of mathematical models already considered in the literature: Lotka-Volterra and adjusted replicator dynamics. We stress that not only existence of cyclic schemes, but also stability of such cycles is a relevant feature for applications in real clinical scenarios. We also analyze stochastic versions of the above deterministic models, a necessary step if we want to take into account that real tumors are composed by a finite population of cells subject to randomness, a relevant feature in the context of low tumor burden. We argue that the stability of the deterministic cycles is also relevant for the stochastic version of the models. In fact, Dua, Ma and Newton [Cancers (2021)] and Park and Newton [Phys. Rev. E (2023)] observed breakdown of deterministic cycles in a stochastic model (Moran process) for a tumor. Our findings indicate that the breakdown phenomenon is not due to stochasticity itself, but to the deterministic instability inherent in the cycles of the referenced papers. We then illustrate how stable deterministic cycles avoid for very large times the breakdown of cyclic treatments in stochastic tumor models. △ Less

Submitted 10 September, 2024; originally announced September 2024.

Comments: 28 pages, 14 figures

MSC Class: 92C50

Rigidity theorems for the area widths of Riemannian manifolds

Authors: Lucas Ambrozio, Fernando C. Marques, André Neves

Abstract: The volume spectrum of a compact Riemannian manifold is a sequence of critical values for the area functional, defined in analogy with the Laplace spectrum by Gromov. In this paper we prove that the canonical metric on the two-dimensional projective plane is determined modulo isometries by its volume spectrum. We also prove that the surface Zoll metrics on the three-dimensional sphere are characte… ▽ More The volume spectrum of a compact Riemannian manifold is a sequence of critical values for the area functional, defined in analogy with the Laplace spectrum by Gromov. In this paper we prove that the canonical metric on the two-dimensional projective plane is determined modulo isometries by its volume spectrum. We also prove that the surface Zoll metrics on the three-dimensional sphere are characterized by the equality of the spherical area widths. These widths generalize to the surface case the Lusternik-Schnirelmann lengths of closed geodesics. We prove a new sharp area systolic inequality for metrics on the three-dimensional projective space. △ Less

Submitted 26 August, 2024; originally announced August 2024.

Comments: 55 pages

Conformal currents and the entropy of negatively curved three-manifolds

Authors: Fernando C. Marques, André Neves

Abstract: In this paper, we describe the intersection between geodesic and conformal currents on closed hyperbolic three-manifolds. We use this to prove some sharp bounds which involve the Liouville entropy of a negatively curved metric, the minimal surface entropy, and the area ratio. Using these ideas we also give a new proof of the Mostow Rigidity Theorem in the three-dimensional case. In this paper, we describe the intersection between geodesic and conformal currents on closed hyperbolic three-manifolds. We use this to prove some sharp bounds which involve the Liouville entropy of a negatively curved metric, the minimal surface entropy, and the area ratio. Using these ideas we also give a new proof of the Mostow Rigidity Theorem in the three-dimensional case. △ Less

Submitted 25 May, 2024; originally announced May 2024.

Comments: 35 pages

MSC Class: 53A10; 57M50

Nano-optical investigation of grain boundaries, strain and edges in CVD grown MoS$_{2}$ monolayers

Authors: Frederico B. Sousa, Rafael Battistella Nadas, Rafael Martins, Ana P. M. Barboza, Jaqueline S. Soares, Bernardo R. A. Neves, Ive Silvestre, Ado Jorio, Leandro M. Malard

Abstract: The role of defects in two-dimensional semiconductors and how they affect the intrinsic properties of these materials have been a wide researched topic over the past decades. Optical characterization such as photoluminescence and Raman spectroscopies are important tools to probe their physical properties and the impact of defects. However, conventional optical techniques present a spatial resoluti… ▽ More The role of defects in two-dimensional semiconductors and how they affect the intrinsic properties of these materials have been a wide researched topic over the past decades. Optical characterization such as photoluminescence and Raman spectroscopies are important tools to probe their physical properties and the impact of defects. However, conventional optical techniques present a spatial resolution limitation lying in a $μ$m-scale, which can be overcomed by the use of near-field optical measurements. Here, we use tip-enhanced photoluminescence and Raman spectroscopies to unveil nanoscale optical heterogeneities at grain boundaries, local strain fields and edges in grown MoS$_{2}$ monolayers. A noticeable enhancement of the exciton peak intensity corresponding to a trion emission quenching is observed at narrow regions down to 47 nm of width at grain boundaries related to doping effects. Besides, localized strain fields inside the sample lead to non-uniformities in the intensity and energy position of photoluminescence peaks. Finally, distinct samples present different nano-optical responses at their edges due to strain and passivation defects. The passivated defective edges show a photoluminescence intensity enhancement and energy blueshift as well as a frequency blueshift of the 2LA Raman mode. On the other hand, the strained edges display a photoluminescence energy redshift and frequency redshifts for E$_{2g}$ and 2LA Raman modes. Our work shows that different defect features can be only probed by using optical spectroscopies with a nanometric resolution, thus revealing hindered local impact of different nanoscale defects in two-dimensional materials. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Phyllosilicates as earth-abundant layered materials for electronics and optoelectronics: Prospects and challenges in their ultrathin limit

Authors: Ingrid D. Barcelos, Raphaela de Oliveira, Gabriel R. Schleder, Matheus J. S. Matos, Raphael Longuinhos, Jenaina Ribeiro-Soares, Ana Paula M. Barboza, Mariana C. Prado, Elisângela S. Pinto, Yara Galvão Gobato, Hélio Chacham, Bernardo R. A. Neves, Alisson R. Cadore

Abstract: Phyllosilicate minerals are an emerging class of naturally occurring layered insulators with large bandgap energy that have gained attention from the scientific community. This class of lamellar materials has been recently explored at the ultrathin two-dimensional level due to their specific mechanical, electrical, magnetic, and optoelectronic properties, which are crucial for engineering novel de… ▽ More Phyllosilicate minerals are an emerging class of naturally occurring layered insulators with large bandgap energy that have gained attention from the scientific community. This class of lamellar materials has been recently explored at the ultrathin two-dimensional level due to their specific mechanical, electrical, magnetic, and optoelectronic properties, which are crucial for engineering novel devices (including heterostructures). Due to these properties, phyllosilicates minerals can be considered promising low-cost nanomaterials for future applications. In this Perspective article, we will present relevant features of these materials for their use in potential 2D-based electronic and optoelectronic applications, also discussing some of the major challenges in working with them. △ Less

Submitted 24 August, 2023; originally announced August 2023.

Comments: 29 pages, 4 figures

Journal ref: Journal of Applied Physics, 2023

LASIGE and UNICAGE solution to the NASA LitCoin NLP Competition

Authors: Pedro Ruas, Diana F. Sousa, André Neves, Carlos Cruz, Francisco M. Couto

Abstract: Biomedical Natural Language Processing (NLP) tends to become cumbersome for most researchers, frequently due to the amount and heterogeneity of text to be processed. To address this challenge, the industry is continuously developing highly efficient tools and creating more flexible engineering solutions. This work presents the integration between industry data engineering solutions for efficient d… ▽ More Biomedical Natural Language Processing (NLP) tends to become cumbersome for most researchers, frequently due to the amount and heterogeneity of text to be processed. To address this challenge, the industry is continuously developing highly efficient tools and creating more flexible engineering solutions. This work presents the integration between industry data engineering solutions for efficient data processing and academic systems developed for Named Entity Recognition (LasigeUnicage\_NER) and Relation Extraction (BiOnt). Our design reflects an integration of those components with external knowledge in the form of additional training data from other datasets and biomedical ontologies. We used this pipeline in the 2022 LitCoin NLP Challenge, where our team LasigeUnicage was awarded the 7th Prize out of approximately 200 participating teams, reflecting a successful collaboration between the academia (LASIGE) and the industry (Unicage). The software supporting this work is available at \url{https://github.com/lasigeBioTM/Litcoin-Lasige_Unicage}. △ Less

Submitted 10 August, 2023; originally announced August 2023.

Triple Halide Wide Bandgap Perovskites for Efficient Indoor Photovoltaics

Authors: Shaoyang Wang, Paul R. Edwards, Maged Abdelsamie, Peter Brown, David Webster, Arvydas Ruseckas, Gopika Rajan, Ana I. S. Neves, Robert W. Martin, Carolin M. Sutter-Fella, Graham A. Turnbull, Ifor D. W. Samuel, Lethy Krishnan Jagadamma

Abstract: Indoor photovoltaics are receiving tremendous attention due to the continuous development of the Internet of Things (IoT). Here we report a triple anion (TA) perovskite CH3NH3PbI2.6(BrCl)0.2 with a tailored bandgap suitable for maximizing indoor light harvesting compared to methyl ammonium lead iodide CH3NH3PbI3. The best-performing TA perovskite indoor-photovoltaic device achieved a steady-state… ▽ More Indoor photovoltaics are receiving tremendous attention due to the continuous development of the Internet of Things (IoT). Here we report a triple anion (TA) perovskite CH3NH3PbI2.6(BrCl)0.2 with a tailored bandgap suitable for maximizing indoor light harvesting compared to methyl ammonium lead iodide CH3NH3PbI3. The best-performing TA perovskite indoor-photovoltaic device achieved a steady-state power conversion efficiency (PCE) of 25.1% with an output power density of ~ 75 microW/cm2 under 1000 lux indoor illumination (0.3 mW/cm2 irradiance). This PCE is almost 40% higher than that of equivalent CH3NH3PbI3-based devices (PCE of 17.9%). Longer carrier lifetime, reduced density of trap states and improved crystalline quality were achieved by the triple anion alloying method. The decisive role of chlorine (Cl) in the better performance of TA-based indoor photovoltaic devices was further investigated by successively reducing the Cl content and correlating it with the corresponding photovoltaic device performance. Replacing the commonly used hole transporting layer of Spiro-MeOTAD with undoped P3HT was found to significantly reduce the current-voltage hysteresis under indoor lighting conditions. A graphene-coated textile fiber-based temperature sensor was successfully powered by the triple anion perovskite indoor photovoltaic devices. The results from the present study demonstrate a novel route to maximize the PCE of halide perovskite indoor photovoltaic devices and their potential for application in the IoT industry. △ Less

Submitted 31 January, 2023; originally announced January 2023.

Comments: 27 pages, 5 figures

Asymptotic behavior of mean fixation times in the Moran process with frequency-independent fitnesses

Authors: Rosângela A. Pires, Armando G. M. Neves

Abstract: We derive asymptotic formulae in the limit when population size N tends to infinity for mean fixation times (conditional and unconditional) in a population with two types of individuals, A and B, governed by the Moran process. We consider only the case in which the fitness of the two types do not depend on the population frequencies. Our results start with the important cases in which the initial… ▽ More We derive asymptotic formulae in the limit when population size N tends to infinity for mean fixation times (conditional and unconditional) in a population with two types of individuals, A and B, governed by the Moran process. We consider only the case in which the fitness of the two types do not depend on the population frequencies. Our results start with the important cases in which the initial condition is a single individual of any type, but we also consider the initial condition of a fraction x, 0<x<1, of A individuals, where x is kept fixed and the total population size tends to infinity. In the cases covered by Antal and Scheuring (Bull Math Biol 68(8):1923-1944, 2006), i.e. conditional fixation times for a single individual of any type, it will turn out that our formulae are much more accurate than the ones they found. As quoted, our results include other situations not treated by them. △ Less

Submitted 22 September, 2023; v1 submitted 30 December, 2022; originally announced December 2022.

Comments: 29 pages, 6 figures

MSC Class: 92D15

Smart meter data processing: a showcase for simple and efficient textual processing

Authors: Miguel Ferreira, André Neves, Rodrigo Gorjão, Carlos Cruz, Miguel L. Pardal

Abstract: The increase in the production and collection of data from devices is an ongoing trend due to the roll-out of more cyber-physical applications. Smart meters, because of their importance in power grids, are a class of such devices whose produced data requires meticulous processing. In this paper, we use Unicage, a data processing system based on classic Unix shell scripting, that delivers excellent… ▽ More The increase in the production and collection of data from devices is an ongoing trend due to the roll-out of more cyber-physical applications. Smart meters, because of their importance in power grids, are a class of such devices whose produced data requires meticulous processing. In this paper, we use Unicage, a data processing system based on classic Unix shell scripting, that delivers excellent performance in a simple package. We use this methodology to process smart meter data in XML format, subjected to the constraints posed by a real use case. We develop a solution that parses, validates and performs a simple aggregation of 27 million XML files in less than 10 minutes. We present a study of the solution as well as the benefits of its adoption. △ Less

Submitted 27 December, 2022; originally announced December 2022.

Comments: 11 pages, 5 figures, 1 table, 9 listings. Accepted after review for the 1st Workshop on High-Performance and Reliable Big Data (HPBD 2021), which was held virtually on September 20th 2021, and was co-located with the 40th International Symposium on Reliable Distributed Systems (SRDS 2021)

Faster and more accurate geometrical-optics optical force calculation using neural networks

Authors: David Bronte Ciriza, Alessandro Magazzù, Agnese Callegari, Gunther Barbosa, Antonio A. R. Neves, Maria A. Iatì, Giovanni Volpe, Onofrio M. Maragò

Abstract: Optical forces are often calculated by discretizing the trapping light beam into a set of rays and using geometrical optics to compute the exchange of momentum. However, the number of rays sets a trade-off between calculation speed and accuracy. Here, we show that using neural networks permits one to overcome this limitation, obtaining not only faster but also more accurate simulations. We demonst… ▽ More Optical forces are often calculated by discretizing the trapping light beam into a set of rays and using geometrical optics to compute the exchange of momentum. However, the number of rays sets a trade-off between calculation speed and accuracy. Here, we show that using neural networks permits one to overcome this limitation, obtaining not only faster but also more accurate simulations. We demonstrate this using an optically trapped spherical particle for which we obtain an analytical solution to use as ground truth. Then, we take advantage of the acceleration provided by neural networks to study the dynamics of an ellipsoidal particle in a double trap, which would be computationally impossible otherwise. △ Less

Submitted 5 September, 2022; originally announced September 2022.

Experimental optical trapping of microparticles with higher order Frozen Waves

Authors: Rafael A. B. Suarez, Antonio A. R. Neves, Marcos R. R. Gesualdi

Abstract: In this work, we optically trapping microparticles with higher order Frozen Wave using holographic optical tweezers. Frozen Waves are diffraction resistant optical beams, obtained by superposing copropagating Bessel beams with the same frequency and order, obtaining efficient modeling of its shape. Based on this, we developed a holographic optical tweezers system for the generation of Frozen Waves… ▽ More In this work, we optically trapping microparticles with higher order Frozen Wave using holographic optical tweezers. Frozen Waves are diffraction resistant optical beams, obtained by superposing copropagating Bessel beams with the same frequency and order, obtaining efficient modeling of its shape. Based on this, we developed a holographic optical tweezers system for the generation of Frozen Waves and with this, it was possible to create traps in a stable way for the trapping and guiding of the microparticles in the transverse plane. The experimental results show that it is possible to obtain excellent stability condition for optical trapping using higher order Frozen Waves. These results indicate that the Frozen Waves is promising for optical trapping and guiding of particles, which may be useful in various application such as biological research, atomic physics and optical manipulations using structured light with orbital angular momentum. △ Less

Submitted 5 September, 2022; originally announced September 2022.

Comments: 14 pages, 9 figures. arXiv admin note: text overlap with arXiv:2007.04379

Roadmap for Optical Tweezers

Authors: Giovanni Volpe, Onofrio M. Maragò, Halina Rubinzstein-Dunlop, Giuseppe Pesce, Alexander B. Stilgoe, Giorgio Volpe, Georgiy Tkachenko, Viet Giang Truong, Síle Nic Chormaic, Fatemeh Kalantarifard, Parviz Elahi, Mikael Käll, Agnese Callegari, Manuel I. Marqués, Antonio A. R. Neves, Wendel L. Moreira, Adriana Fontes, Carlos L. Cesar, Rosalba Saija, Abir Saidi, Paul Beck, Jörg S. Eismann, Peter Banzer, Thales F. D. Fernandes, Francesco Pedaci , et al. (58 additional authors not shown)

Abstract: Optical tweezers are tools made of light that enable contactless pushing, trapping, and manipulation of objects ranging from atoms to space light sails. Since the pioneering work by Arthur Ashkin in the 1970s, optical tweezers have evolved into sophisticated instruments and have been employed in a broad range of applications in life sciences, physics, and engineering. These include accurate force… ▽ More Optical tweezers are tools made of light that enable contactless pushing, trapping, and manipulation of objects ranging from atoms to space light sails. Since the pioneering work by Arthur Ashkin in the 1970s, optical tweezers have evolved into sophisticated instruments and have been employed in a broad range of applications in life sciences, physics, and engineering. These include accurate force and torque measurement at the femtonewton level, microrheology of complex fluids, single micro- and nanoparticle spectroscopy, single-cell analysis, and statistical-physics experiments. This roadmap provides insights into current investigations involving optical forces and optical tweezers from their theoretical foundations to designs and setups. It also offers perspectives for applications to a wide range of research fields, from biophysics to space exploration. △ Less

Submitted 28 June, 2022; originally announced June 2022.

Comments: 181 pages, 61 figures

The Developers' Design Thinking Toolbox in Hackathons: A Study on the Recurring Design Methods in Software Development Marathons

Authors: Kiev Gama, George Valença, Pedro Alessio, Rafael Formiga, André Neves, Nycolas Lacerda

Abstract: Hackathons are time-bounded collaborative events of intense teamwork to build prototypes usually in the form of software, aiming to specific challenges proposed by the organizers. These events became a widespread practice in the IT industry, universities and many other scenarios, as a result of a growing open-innovation trend in the last decade. Since the main deliverable of these events is a demo… ▽ More Hackathons are time-bounded collaborative events of intense teamwork to build prototypes usually in the form of software, aiming to specific challenges proposed by the organizers. These events became a widespread practice in the IT industry, universities and many other scenarios, as a result of a growing open-innovation trend in the last decade. Since the main deliverable of these events is a demonstrable version of an idea, such as early hardware or software prototypes, the short time frame requires participants to quickly understand the proposed challenge or even identify issues related to a given domain. To create solutions, teams follow an ad-hoc but effective design approach, that many times seems informal since the background of the participants is rather centered on technical aspects (e.g., web and mobile programming) and does not involve any training in Design Thinking. To understand this creative process, we conducted 37 interviews (32 hackathons winners and 5 hackathon organizers) with people from 16 countries. We aimed to identify the design processes and recurring design methods applied by winners in these events. Also, we conducted a focus group with 8 people experienced in hackathons (participants and organizers) to discuss our findings. Our analysis revealed that although hackathon winners with IT background have no formal training on Design Thinking, they are aware of many design methods, typically following a sequence of phases that involve divergent and convergent thinking to explore the problem space and propose alternatives in a solution space, which is the rationale behind Design Thinking. We derived a set of recommendations based on design strategies that seem to lead to successful hackathon participation. These recommendations can also be useful to organizers who intend to enhance the experience of newcomers in hackathons. △ Less

Submitted 9 June, 2022; originally announced June 2022.

Comments: To be published in the International Journal of Human-Computer Interaction (Taylor and Francis)

Learning to Cooperate with Completely Unknown Teammates

Authors: Alexandre Neves, Alberto Sardinha

Abstract: A key goal of ad hoc teamwork is to develop a learning agent that cooperates with unknown teams, without resorting to any pre-coordination protocol. Despite a vast number of ad hoc teamwork algorithms in the literature, most of them cannot address the problem of learning to cooperate with a completely unknown team, unless it learns from scratch. This article presents a novel approach that uses tra… ▽ More A key goal of ad hoc teamwork is to develop a learning agent that cooperates with unknown teams, without resorting to any pre-coordination protocol. Despite a vast number of ad hoc teamwork algorithms in the literature, most of them cannot address the problem of learning to cooperate with a completely unknown team, unless it learns from scratch. This article presents a novel approach that uses transfer learning alongside the state-of-the-art PLASTIC-Policy to adapt to completely unknown teammates quickly. We test our solution within the Half Field Offense simulator with five different teammates. The teammates were designed independently by developers from different countries and at different times. Our empirical evaluation shows that it is advantageous for an ad hoc agent to leverage its past knowledge when adapting to a new team instead of learning how to cooperate with it from scratch. △ Less

Submitted 6 May, 2022; originally announced May 2022.

Comments: 13 pages, 1 figure

ACM Class: I.2.6

3-D Acoustic Trapping With Standing Waves

Authors: Matheus Azevedo Silva Pessôa, Antonio Alvaro Ranha Neves

Abstract: In this work, we will describe an experimental setup for a standing--wave ultrasound trap for air microbubbles in oil. We develop a model for the finite acoustic beam using the angular spectrum technique, and reconstruct the pressure field using the General Lorenz-Mie Theory framework, which was validated using a finite elements method (FEM) simulation. Using Stokes' drag law, we were able to obta… ▽ More In this work, we will describe an experimental setup for a standing--wave ultrasound trap for air microbubbles in oil. We develop a model for the finite acoustic beam using the angular spectrum technique, and reconstruct the pressure field using the General Lorenz-Mie Theory framework, which was validated using a finite elements method (FEM) simulation. Using Stokes' drag law, we were able to obtain the radius of the trapped bubbles and estimate the minimum acoustic force necessary to trap them, which ranged from 3 nN to 780 nN. We also present the force profile as a function of distance for different bubble that were trapped experimentally, and show that a standing wave formed by interfering infinite plane waves cannot explain the observed acoustic trapping of bubbles in 3-D. △ Less

Submitted 17 April, 2022; originally announced April 2022.

Comments: 17 pages, 8 figures

Photoluminescence and charge transfer in the prototypical 2D/3D semiconductor heterostructure MoS$_2$/GaAs

Authors: Rafael R. Rojas-Lopez, Juliana C. Brant, Maíra S. O. Ramos, Túlio H. L. G. Castro, Marcos H. D. Guimarães, Bernardo R. A. Neves, Paulo S. S. Guimarães

Abstract: The new generation of two-dimensional (2D) materials has shown a broad range of applications for optical and electronic devices. Understanding the properties of these materials when integrated with the more traditional three-dimensional (3D) semiconductors is an important challenge for the implementation of ultra-thin electronic devices. Recent observations have shown that by combining MoS$_2$ wit… ▽ More The new generation of two-dimensional (2D) materials has shown a broad range of applications for optical and electronic devices. Understanding the properties of these materials when integrated with the more traditional three-dimensional (3D) semiconductors is an important challenge for the implementation of ultra-thin electronic devices. Recent observations have shown that by combining MoS$_2$ with GaAs it is possible to develop high quality photodetectors and solar cells. Here, we present a study of the effects of intrinsic GaAs, p-doped GaAs, and n-doped GaAs substrates on the photoluminescence of monolayer MoS$_2$. We observe a decrease of an order of magnitude in the emission intensity of MoS$_2$ in all MoS$_2$/GaAs heterojunctions, when compared to a control sample consisting of a MoS$_2$ monolayer isolated from GaAs by a few layers of hexagonal boron nitride. We also see a dependence of the trion to A-exciton emission ratio in the photoluminescence spectra on the type of substrate, a dependence that we relate to the static charge exchange between MoS$_2$ and the substrates when the junction is formed. Scanning Kelvin probe microscopy measurements of the heterojunctions suggest type-I band alignments, so that excitons generated on the MoS$_2$ monolayer will be transferred to the GaAs substrate. Our results shed light on the charge exchange leading to band offsets in 2D/3D heterojunctions which play a central role in the understanding and further improvement of electronic devices. △ Less

Submitted 3 December, 2021; originally announced December 2021.

Comments: Accepted in Applied Physics Letters

Journal ref: Appl. Phys. Lett. 119, 233101 (2021)

Riemannian metrics on the sphere with Zoll families of minimal hypersurfaces

Authors: Lucas Ambrozio, Fernando C. Marques, André Neves

Abstract: In this paper we construct smooth Riemannian metrics on the sphere which admit smooth Zoll families of minimal hypersurfaces. This generalizes a theorem of Guillemin for the case of geodesics. The proof uses the Nash-Moser Inverse Function Theorem in the tame maps setting of Hamilton. This answers a question of Yau on perturbations of minimal hypersurfaces in positive Ricci curvature. We also cons… ▽ More In this paper we construct smooth Riemannian metrics on the sphere which admit smooth Zoll families of minimal hypersurfaces. This generalizes a theorem of Guillemin for the case of geodesics. The proof uses the Nash-Moser Inverse Function Theorem in the tame maps setting of Hamilton. This answers a question of Yau on perturbations of minimal hypersurfaces in positive Ricci curvature. We also consider the case of the projective space and characterize those metrics on the sphere with minimal equators. △ Less

Submitted 2 December, 2021; originally announced December 2021.

Comments: 75 pages

Minimal Surface Entropy and Average Area Ratio

Authors: Ben Lowe, Andre Neves

Abstract: On any closed hyperbolizable 3-manifold, we find a sharp relation between the minimal surface entropy (introduced by Calegari-Marques-Neves) and the average area ratio (introduced by Gromov), and we show that, among metrics g with scalar curvature greater than or equal to -6, the former is maximized by the hyperbolic metric. One corollary is to solve a conjecture of Gromov regarding the average ar… ▽ More On any closed hyperbolizable 3-manifold, we find a sharp relation between the minimal surface entropy (introduced by Calegari-Marques-Neves) and the average area ratio (introduced by Gromov), and we show that, among metrics g with scalar curvature greater than or equal to -6, the former is maximized by the hyperbolic metric. One corollary is to solve a conjecture of Gromov regarding the average area ratio. Our proofs use Ricci flow with surgery and laminar measures invariant under a PSL(2,R)-action. △ Less

Submitted 14 February, 2024; v1 submitted 18 October, 2021; originally announced October 2021.

Comments: 30 pages. Final version

MSC Class: 53A10; 57M50

Modeling the kinetic behavior of the Li-RHC system for energy-hydrogen storage : ( I ) absorption

Authors: A. M. Neves, J. Puszkiel, G. Capurso, J. M. Bellosta von Colbe, C. Milanese, M. Dornheim, T. Klassen, J. Jepsen

Abstract: The Lithium-Boron Reactive Hydride Composite System (Li-RHC) (2 LiH + MgB$_{2}$ / 2 LiBH$_{4}$ + MgH$_{2}$) is a high-temperature hydrogen storage material suitable for energy storage applications. Herein, a comprehensive gas-solid kinetic model for hydrogenation is developed. Based on thermodynamic measurements under absorption conditions, the system's enthalpy $Δ$H and entropy $Δ$S are determine… ▽ More The Lithium-Boron Reactive Hydride Composite System (Li-RHC) (2 LiH + MgB$_{2}$ / 2 LiBH$_{4}$ + MgH$_{2}$) is a high-temperature hydrogen storage material suitable for energy storage applications. Herein, a comprehensive gas-solid kinetic model for hydrogenation is developed. Based on thermodynamic measurements under absorption conditions, the system's enthalpy $Δ$H and entropy $Δ$S are determined to amount to -34 $\pm$ 2 kJ $\cdot$ mol H$_{2}^{-1}$ and -70 $\pm$ 3 J $\cdot$ K$^{-1}$ $\cdot$ mol H$_{2}^{-1}$, respectively. Based on the thermodynamic behavior assessment, the kinetic measurements' conditions are set in the range between 325 °C and 412 °C, as well as between 15 bar and 50 bar. The kinetic analysis shows that the hydrogenation rate-limiting-step is related to a one-dimensional interface-controlled reaction with a driving-force-corrected apparent activation energy of 146 $\pm$ 3 kJ $\cdot$ mol H$_{2}^{-1}$. Applying the kinetic model, the dependence of the reaction rate constant as a function of pressure and temperature is calculated, allowing the design of optimized hydrogen/energy storage vessels via finite element method (FEM) simulations. △ Less

Submitted 17 August, 2021; v1 submitted 14 August, 2021; originally announced August 2021.

Comments: Accepted Manuscript Version (with Supplementary Material) of the Preprint submitted to the International Journal of Hydrogen Energy on April 12th 2021 and Accepted on June 28th 2021

Schmidt Representation of Bilinear Operators on Hilbert Spaces

Authors: Eduardo Brandani da Silva, Dicesar Lass Fernandez, Marcus Vinícius de Andrade Neves

Abstract: Current work defines Schmidt representation of a bilinear operator $T: H_1 \times H_2 \rightarrow K$, where $H_1, H_2$ and $K$ are separable Hilbert spaces. Introducing the concept of singular value and ordered singular value, we prove that if $T$ is compact, and its singular values are ordered, then $T$ has a Schmidt representation on real Hilbert spaces. We prove that the hypothesis of existence… ▽ More Current work defines Schmidt representation of a bilinear operator $T: H_1 \times H_2 \rightarrow K$, where $H_1, H_2$ and $K$ are separable Hilbert spaces. Introducing the concept of singular value and ordered singular value, we prove that if $T$ is compact, and its singular values are ordered, then $T$ has a Schmidt representation on real Hilbert spaces. We prove that the hypothesis of existence of ordered singular values is fundamental. △ Less

Submitted 5 August, 2021; originally announced August 2021.

Comments: 27 pages

Nuclear dependence of light neutral meson production in p-A collisions at 400 GeV with NA60

Authors: R. Arnaldi, K. Banicz, K. Borer, J. Castor, B. Chaurand, W. Chen, C. Cicalò, A. Colla, P. Cortese, S. Damjanovic, A. David, A. De Falco, A. Devaux, L. Ducroux, H. En'yo, J. Fargeix, A. Ferretti, M. Floris, A. Förster, P. Force, N. Guettet, A. Guichard, H. Gulkanian, J. M. Heuser, P. Jarron , et al. (29 additional authors not shown)

Abstract: The NA60 experiment has studied low-mass muon pair production in proton-nucleus collisions with a system of Be, Cu, In, W, Pb and U targets, using a 400 GeV proton beam at the CERN SPS. The transverse momentum spectra of the $ρ/ω$ and $φ$ mesons are measured in the full $p_\mathrm{T}$ range accessible, from $p_\mathrm{T} = 0$ up to 2 GeV/$c$. The nuclear dependence of the production cross sections… ▽ More The NA60 experiment has studied low-mass muon pair production in proton-nucleus collisions with a system of Be, Cu, In, W, Pb and U targets, using a 400 GeV proton beam at the CERN SPS. The transverse momentum spectra of the $ρ/ω$ and $φ$ mesons are measured in the full $p_\mathrm{T}$ range accessible, from $p_\mathrm{T} = 0$ up to 2 GeV/$c$. The nuclear dependence of the production cross sections of the $η$, $ω$ and $φ$ mesons has been found to be consistent with the power law $σ_\mathrm{pA} \propto \mathrm{A}^α$, with the $α$ parameter increasing as a function of $p_\mathrm{T}$ for all the particles, and an approximate hierarchy $α_η\approx α_φ> α_ω$. The cross section ratios $σ_η/σ_ω$, $σ_ρ/σ_ω$ and $σ_φ/σ_ω$ have been studied as a function of the size A of the production target, and an increase of the $η$ and $φ$ yields relative to the $ω$ is observed from p-Be to p-U collisions. △ Less

Submitted 28 December, 2020; originally announced December 2020.

Journal ref: Eur.Phys.J.C 79 (2019) 5, 443

Experimental optical trapping of microparticles with an Airy beams array using a Holographic Optical Tweezer

Authors: Rafael A. B. Suarez, Antonio A. R. Neves, Marcos R. R. Gesualdi

Abstract: In this work, we present the experimental optical trap of microparticles with an Airy beams array using a holographic optical tweezers. The Airy beams array are attractive for optical manipulation of particles owing to their non--diffracting and autofocusing properties. An Airy beams array is composed of N Airy beams which accelerate mutually and symmetrically in opposite direction, for different… ▽ More In this work, we present the experimental optical trap of microparticles with an Airy beams array using a holographic optical tweezers. The Airy beams array are attractive for optical manipulation of particles owing to their non--diffracting and autofocusing properties. An Airy beams array is composed of N Airy beams which accelerate mutually and symmetrically in opposite direction, for different ballistic trajectories, that is, with different initial launch angles. Based on this, we developed a holographic optical tweezers system for the generation of non-diffracting beams and with it, we investigate the distribution of optical forces acting on microparticles of an Airy beams array. The results show that the gradient and scattering force of array on microparticles can be controlled through a launch angle parameter of Airy beams. In addition, it's possible to obtain greater stability for optical trap using an Airy beams array, with interesting possibilities for trapping and guiding of microparticles in a controllable way that can be applied in optical, biological and atmospheric sciences. △ Less

Submitted 8 July, 2020; originally announced July 2020.

Comments: 20 pages, 14 figures

A gaze driven fast-forward method for first-person videos

Authors: Alan Carvalho Neves, Michel Melo Silva, Mario Fernando Montenegro Campos, Erickson Rangel Nascimento

Abstract: The growing data sharing and life-logging cultures are driving an unprecedented increase in the amount of unedited First-Person Videos. In this paper, we address the problem of accessing relevant information in First-Person Videos by creating an accelerated version of the input video and emphasizing the important moments to the recorder. Our method is based on an attention model driven by gaze and… ▽ More The growing data sharing and life-logging cultures are driving an unprecedented increase in the amount of unedited First-Person Videos. In this paper, we address the problem of accessing relevant information in First-Person Videos by creating an accelerated version of the input video and emphasizing the important moments to the recorder. Our method is based on an attention model driven by gaze and visual scene analysis that provides a semantic score of each frame of the input video. We performed several experimental evaluations on publicly available First-Person Videos datasets. The results show that our methodology can fast-forward videos emphasizing moments when the recorder visually interact with scene components while not including monotonous clips. △ Less

Submitted 9 June, 2020; originally announced June 2020.

Comments: Accepted for presentation at EPIC@CVPR2020 workshop

Predicting the evolution of the COVID-19 epidemic with the A-SIR model: Lombardy, Italy and São Paulo state, Brazil

Authors: Armando G. M. Neves, Gustavo Guerrero

Abstract: The presence of a large number of infected individuals with few or no symptoms is an important epidemiological difficulty and the main mathematical feature of COVID-19. The A-SIR model, i.e. a SIR (Susceptible-Infected-Removed) model with a compartment for infected individuals with no symptoms or few symptoms was proposed by Giuseppe Gaeta, arXiv:2003.08720 [q-bio.PE] (2020). In this paper we inve… ▽ More The presence of a large number of infected individuals with few or no symptoms is an important epidemiological difficulty and the main mathematical feature of COVID-19. The A-SIR model, i.e. a SIR (Susceptible-Infected-Removed) model with a compartment for infected individuals with no symptoms or few symptoms was proposed by Giuseppe Gaeta, arXiv:2003.08720 [q-bio.PE] (2020). In this paper we investigate a slightly generalized version of the same model and propose a scheme for fitting the parameters of the model to real data using the time series only of the deceased individuals. The scheme is applied to the concrete cases of Lombardy, Italy and São Paulo state, Brazil, showing different aspects of the epidemics. For each case we show that we may have good fits to the data up to the present, but with very large differences in the future behavior. The reasons behind such disparate outcomes are the uncertainty on the value of a key parameter, the probability that an infected individual is fully symptomatic, and on the intensity of the social distancing measures adopted. This conclusion enforces the necessity of trying to determine the real number of infected individuals in a population, symptomatic or asymptomatic. △ Less

Submitted 17 August, 2020; v1 submitted 22 May, 2020; originally announced May 2020.

Comments: 33 pages, 14 figures

MSC Class: 92D30

Prototype of an affordable pressure-controlled emergency mechanical ventilator for COVID-19

Authors: Américo Pereira, Luís Lopes, Paulo Fonte, Pedro Póvoa, Telmo G. Santos, Alberto Martinho, Ângela Neves, António Bugalho, António Gabriel-Santos, Gonçalo Gaspar Bentes Pimenta, João Goês, João Martins, João Pedro Oliveira, José Paulo Santos, Luís C. Gil, Miguel Onofre Domingues, Orlando Cunha, Pedro Pinheiro de Sousa, Tiago A. Rodrigues, Valdemar R. Duarte, Antero Abrunhosa, António Grilo, João Agostinho do Nascimento, Mário Pimenta

Abstract: We present a viable prototype of a simple mechanical ventilator intended as a last resort to ventilate COVID-19 patients. The prototype implements the pressure-controlled continuous mandatory ventilation mode (PC-CMV) with settable breathing rates, inspiration/expiration time ratios and FiO2 modulation. Although safe, the design aims to minimize the use of technical components and those used are c… ▽ More We present a viable prototype of a simple mechanical ventilator intended as a last resort to ventilate COVID-19 patients. The prototype implements the pressure-controlled continuous mandatory ventilation mode (PC-CMV) with settable breathing rates, inspiration/expiration time ratios and FiO2 modulation. Although safe, the design aims to minimize the use of technical components and those used are common in industry, so its construction may be possible in times of logistical shortage or disruption or in areas with reduced access to technical materials and at a moderate cost, affordable to lower income countries. Most of the device can be manufactured by modest technical means and construction plans are provided. △ Less

Submitted 21 July, 2020; v1 submitted 1 April, 2020; originally announced April 2020.

Comments: This version differs from version 2 in that it includes toxicological and bio-safety tests and updated electronics

Experimental optical trapping of micro-particles with Frozen Waves

Authors: Rafael A. B. Suarez, Antonio A. R. Neves, Marcos R. R. Gesualdi, Leonardo A. Ambrosio, Michel Zamboni-Rached

Abstract: This work presents the first optical trapping experimental demonstration of micro-particles with Frozen Waves. Frozen Waves are an efficient method to model longitudinally the intensity of non-diffracting beams obtained by superposing co-propagating Bessel beams with the same frequency and order. The experimental setup of a holographic optical tweezers using spatial light modulators has been assem… ▽ More This work presents the first optical trapping experimental demonstration of micro-particles with Frozen Waves. Frozen Waves are an efficient method to model longitudinally the intensity of non-diffracting beams obtained by superposing co-propagating Bessel beams with the same frequency and order. The experimental setup of a holographic optical tweezers using spatial light modulators has been assembled and optimized. We investigate the optical force distribution acting on micro-particles of two types of Frozen Waves.The results show that it is possible to obtain greater stability for optical trapping using Frozen Waves. The significant enhancement in trapping geometry from this approach shows promising applications for optical tweezers, micro-manipulations over a broad range. △ Less

Submitted 24 March, 2020; originally announced March 2020.

Comments: 16 pages, 9 figures

Xtreaming: an incremental multidimensional projection technique and its application to streaming data

Authors: Tácito T. A. T. Neves, Rafael M. Martins, Danilo B. Coimbra, Kostiantyn Kucher, Andreas Kerren, Fernando V. Paulovich

Abstract: Streaming data applications are becoming more common due to the ability of different information sources to continuously capture or produce data, such as sensors and social media. Despite recent advances, most visualization approaches, in particular, multidimensional projection or dimensionality reduction techniques, cannot be directly applied in such scenarios due to the transient nature of strea… ▽ More Streaming data applications are becoming more common due to the ability of different information sources to continuously capture or produce data, such as sensors and social media. Despite recent advances, most visualization approaches, in particular, multidimensional projection or dimensionality reduction techniques, cannot be directly applied in such scenarios due to the transient nature of streaming data. Currently, only a few methods address this limitation using online or incremental strategies, continuously processing data, and updating the visualization. Despite their relative success, most of them impose the need for storing and accessing the data multiple times, not being appropriate for streaming where data continuously grow. Others do not impose such requirements but are not capable of updating the position of the data already projected, potentially resulting in visual artifacts. In this paper, we present Xtreaming, a novel incremental projection technique that continuously updates the visual representation to reflect new emerging structures or patterns without visiting the multidimensional data more than once. Our tests show that Xtreaming is competitive in terms of global distance preservation if compared to other streaming and incremental techniques, but it is orders of magnitude faster. To the best of our knowledge, it is the first methodology that is capable of evolving a projection to faithfully represent new emerging structures without the need to store all data, providing reliable results for efficiently and effectively projecting streaming data. △ Less

Submitted 7 March, 2020; originally announced March 2020.

Comments: 12 pages, 11 figures

Exact fixation probabilities for the Birth-Death and Death-Birth frequency-dependent Moran processes on the star graph

Authors: Evandro P. de Souza, Armando G. M. Neves

Abstract: Broom and Rychtář [Proc. R. Soc. A (2008) 464, 2609--2627] found an exact solution for the fixation probabilities of the Moran process for a structured population, in which the interaction structure among individuals is given by the so-called star graph, i.e. one central vertex and $n$ leaves, the leaves connecting only to the center. We generalize on their solution by allowing individuals' fitnes… ▽ More Broom and Rychtář [Proc. R. Soc. A (2008) 464, 2609--2627] found an exact solution for the fixation probabilities of the Moran process for a structured population, in which the interaction structure among individuals is given by the so-called star graph, i.e. one central vertex and $n$ leaves, the leaves connecting only to the center. We generalize on their solution by allowing individuals' fitnesses to depend on the population frequency, and also by allowing a possible change in the order of reproduction and death draws. In their cited paper, Broom and Rychtář considered the birth-death (BD) process, in which at each time step an individual is first drawn for reproduction and then an individual is selected for death. In the death-birth (DB) process, the order of the draws is reversed. It may be seen that the order of the draws makes a big difference in the fixation probabilities. Our solution method applies to both the BD and the DB cases. As expected, the exact formulae for the fixation probabilities are complicated. We will also illustrate them with some examples and provide results on the asymptotic behavior of the fixation probabilities when the number $n$ of leaves in the graph tends to infinity. △ Less

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

Comments: 20 pages, 4 figures

MSC Class: 91A22 (Primary); 92D15 (Secondary)

Morse inequalities for the area functional

Authors: Fernando C. Marques, Rafael Montezuma, André Neves

Abstract: In this article we prove the strong Morse inequalities for the area functional in codimension one, assuming that the ambient dimension satisfies $3 \leq (n + 1) \leq 7$, in both the closed and the boundary cases. In this article we prove the strong Morse inequalities for the area functional in codimension one, assuming that the ambient dimension satisfies $3 \leq (n + 1) \leq 7$, in both the closed and the boundary cases. △ Less

Submitted 2 March, 2020; originally announced March 2020.

Comments: 29 pages

Counting minimal surfaces in negatively curved 3-manifolds

Authors: Danny Calegari, Fernando C. Marques, André Neves

Abstract: We introduced an asymptotic quantity that counts area-minimizing surfaces in negatively curved closed 3-manifolds and show that quantity to only be minimized, among all metrics of sectional curvature less than or equal -1, by the hyperbolic metric. We introduced an asymptotic quantity that counts area-minimizing surfaces in negatively curved closed 3-manifolds and show that quantity to only be minimized, among all metrics of sectional curvature less than or equal -1, by the hyperbolic metric. △ Less

Submitted 3 February, 2020; originally announced February 2020.

Comments: 27 pages

MSC Class: 53A10; 57M50

Personalizing Fast-Forward Videos Based on Visual and Textual Features from Social Network

Authors: Washington L. S. Ramos, Michel M. Silva, Edson R. Araujo, Alan C. Neves, Erickson R. Nascimento

Abstract: The growth of Social Networks has fueled the habit of people logging their day-to-day activities, and long First-Person Videos (FPVs) are one of the main tools in this new habit. Semantic-aware fast-forward methods are able to decrease the watch time and select meaningful moments, which is key to increase the chances of these videos being watched. However, these methods can not handle semantics in… ▽ More The growth of Social Networks has fueled the habit of people logging their day-to-day activities, and long First-Person Videos (FPVs) are one of the main tools in this new habit. Semantic-aware fast-forward methods are able to decrease the watch time and select meaningful moments, which is key to increase the chances of these videos being watched. However, these methods can not handle semantics in terms of personalization. In this work, we present a new approach to automatically creating personalized fast-forward videos for FPVs. Our approach explores the availability of text-centric data from the user's social networks such as status updates to infer her/his topics of interest and assigns scores to the input frames according to her/his preferences. Extensive experiments are conducted on three different datasets with simulated and real-world users as input, achieving an average F1 score of up to 12.8 percentage points higher than the best competitors. We also present a user study to demonstrate the effectiveness of our method. △ Less

Submitted 29 December, 2019; originally announced December 2019.

Deteção de estruturas permanentes a partir de dados de séries temporais Sentinel 1 e 2

Authors: André Neves, Carlos Damásio, João Pires, Fernando Birra

Abstract: Mapping structures such as settlements, roads, individual houses and any other types of artificial structures is of great importance for the analysis of urban growth, masking, image alignment and, especially in the studied use case, the definition of Fuel Management Networks (FGC), which protect buildings from forest fires. Current cartography has a low generation frequency and their resolution ma… ▽ More Mapping structures such as settlements, roads, individual houses and any other types of artificial structures is of great importance for the analysis of urban growth, masking, image alignment and, especially in the studied use case, the definition of Fuel Management Networks (FGC), which protect buildings from forest fires. Current cartography has a low generation frequency and their resolution may not be suitable for extracting small structures such as small settlements or roads, which may lack forest fire protection. In this paper, we use time series data, extracted from Sentinel-1 and 2 constellations, over Santarém, Mação, to explore the detection of permanent structures at a resolution of 10 by 10 meters. For this purpose, a XGBoost classification model is trained with 133 attributes extracted from the time series from all the bands, including normalized radiometric indices. The results show that the use of time series data increases the accuracy of the extraction of permanent structures when compared using only static data, using multitemporal data also increases the number of detected roads. In general, the final result has a permanent structure mapping with a higher resolution than state of the art settlement maps, small structures and roads are also more accurately represented. Regarding the use case, by using our final map for the creation of FGC it is possible to simplify and accelerate the process of delimitation of the official FGC. △ Less

Submitted 11 December, 2019; originally announced December 2019.

Comments: 12 pages, in Portuguese, 7 figures, conference: INForum 2019

Multiplicity one and strictly stable Allen-Cahn minimal hypersurfaces

Authors: Marco A. M. Guaraco, Fernando C. Marques, Andre Néves

Abstract: We show that strictly stable components of Allen-Cahn minimal hypersurfaces always occur with multiplicity one. We also establish the uniqueness of solutions converging to nondegenerate hypersurfaces with multiplicity one. Our results work in all dimensions and without variational assumptions on the Allen-Cahn solutions. We show that strictly stable components of Allen-Cahn minimal hypersurfaces always occur with multiplicity one. We also establish the uniqueness of solutions converging to nondegenerate hypersurfaces with multiplicity one. Our results work in all dimensions and without variational assumptions on the Allen-Cahn solutions. △ Less

Submitted 8 March, 2022; v1 submitted 18 December, 2019; originally announced December 2019.

Comments: 29 pages. We have improved our main result to a local version. Comments are welcome

Optimizing optical trap stiffness for Rayleigh particles with a array of Airy beams

Authors: Rafael A. B. Suarez, Antonio A. R. Neves, Marcos R. R. Gesualdi

Abstract: The Airy array beams are attractive for optical manipulation of particles owing to their non-diffraction and auto-focusing properties. An Airy array beams is composed of $N$ Airy beams which accelerate mutually and symmetrically in opposite direction, for different ballistics trajectories, that is, with different initial launch angles. Based on this, we investigate the optical force distribution a… ▽ More The Airy array beams are attractive for optical manipulation of particles owing to their non-diffraction and auto-focusing properties. An Airy array beams is composed of $N$ Airy beams which accelerate mutually and symmetrically in opposite direction, for different ballistics trajectories, that is, with different initial launch angles. Based on this, we investigate the optical force distribution acting on Rayleigh particles. Results show that is possible to obtain greater stability, for optical trapping, increasing the number of beams in the array. Also, the intensity focal point and gradient and scattering force of array on Rayleigh particles can be controlled through a launch angle parameter. △ Less

Submitted 4 October, 2019; originally announced October 2019.

Comments: 12 pages, 6 figures

Generation and characterization of an array of Airy-vortex beams

Authors: Rafael A. B. Suarez, Antonio A. R. Neves, Marcos R. R. Gesualdi

Abstract: We present the experimental generation and analysis of both the intensity and phase of an optical vortex beam originating from a superposition of Airy-vortex beams. A new theoretical proposal is accessible to generate an array of Airy-vortex beams (AiVBs) from a superposition of N identical AiBs symmetrically located with respect to the propagation axis, where each beam is superimposed with OV and… ▽ More We present the experimental generation and analysis of both the intensity and phase of an optical vortex beam originating from a superposition of Airy-vortex beams. A new theoretical proposal is accessible to generate an array of Airy-vortex beams (AiVBs) from a superposition of N identical AiBs symmetrically located with respect to the propagation axis, where each beam is superimposed with OV and are characterized by the same topological charge l. Additionally, a single experimental apparatus enables both the optical generation and reconstruction of computer-generated holograms implemented on a spatial light modulator and its phase analysis by digital holography. The experimental results agreed with the theoretical predictions. The array of Airy-vortex beams has potential applications for trapping and rotating micro-particles in optical tweezers, modulation in optics communications, optical metrology, and others in optics and photonics. △ Less

Submitted 11 September, 2019; originally announced September 2019.

Comments: 11 pages, 5 figures

Chern-Simons-Higgs Model as a Theory of Protein Molecules

Authors: Dmitry Melnikov, Alyson B. F. Neves

Abstract: In this paper we discuss a one-dimensional Abelian Higgs model with Chern-Simons interaction as an effective theory of one-dimensional curves embedded in three-dimensional space. We demonstrate how this effective model is compatible with the geometry of protein molecules. Using standard field theory techniques we analyze phenomenologically interesting static configurations of the model and discuss… ▽ More In this paper we discuss a one-dimensional Abelian Higgs model with Chern-Simons interaction as an effective theory of one-dimensional curves embedded in three-dimensional space. We demonstrate how this effective model is compatible with the geometry of protein molecules. Using standard field theory techniques we analyze phenomenologically interesting static configurations of the model and discuss their stability. This simple model predicts some characteristic relations for the geometry of secondary structure motifs of proteins, and we show how this is consistent with the experimental data. After using the data to universally fix basic local geometric parameters, such as the curvature and torsion of the helical motifs, we are left with a single free parameter. We explain how this parameter controls the abundance and shape of the principal motifs (alpha helices, beta strands and loops connecting them). △ Less

Submitted 12 November, 2019; v1 submitted 9 August, 2019; originally announced September 2019.

Comments: 32 pages, 17 figures, 4 tables, references updated

Report number: ITEP-TH-12/19

A Continuous Effective Model of the Protein Dynamics

Authors: Dmitry Melnikov, Alyson B. F. Neves

Abstract: The theory of elastic rods can be used to describe certain geometric and topological properties of the DNA molecules. A similar effective field theory approach was previously suggested to describe the conformations and dynamics of proteins. In this letter we report a detailed study of the basic features of a version of the proposed model, which assumes proteins to be very long continuous curves. I… ▽ More The theory of elastic rods can be used to describe certain geometric and topological properties of the DNA molecules. A similar effective field theory approach was previously suggested to describe the conformations and dynamics of proteins. In this letter we report a detailed study of the basic features of a version of the proposed model, which assumes proteins to be very long continuous curves. In the most appealing case, the model is based on a potential with a pair of minima corresponding to helical and strand-like configurations of the curves. It allows to derive several predictions about the geometric features of the molecules, and we show that the predictions are compatible with the phenomenology. While the helices represent the ground state configurations, the abundance of beta strands is controlled by a parameter, which can either completely suppress their presence in a molecule, or make them abundant. The few-parameter model investigated in the letter rather represents a universality class of protein molecules. Generalizations accounting for the discrete nature and inhomogeneity of the molecules presumably allow to model realistic cases. △ Less

Submitted 30 August, 2019; originally announced August 2019.

Comments: 5 pages, 4 figures. This paper contains a discussion of an effective field theory model in application to description of the protein structure. A longer version containing technical details was submitted to the hep-ph archive

Tutorial on the analytical calculation of optical forces on spherical particles in optical tweezers

Authors: Antonio Alvaro Ranha Neves, Carlos Lenz Cesar

Abstract: Arthur Ashkin was awarded the 2018 Nobel prize in physics for the invention of optical tweezers. Since the first publication in 1986 Optical Tweezers have been used as a tool to measure forces and rheological properties of microscopic systems. For the calibration of these measurements, the knowledge of the forces is fundamental. However, it is still common to deduce the optical forces from assumpt… ▽ More Arthur Ashkin was awarded the 2018 Nobel prize in physics for the invention of optical tweezers. Since the first publication in 1986 Optical Tweezers have been used as a tool to measure forces and rheological properties of microscopic systems. For the calibration of these measurements, the knowledge of the forces is fundamental. However, it is still common to deduce the optical forces from assumptions based on the particle size with respect to the trapping laser wavelength. This show the necessity to develop a complete and accurate electromagnetic model that does not depend on early approximations of the force model. Furthermore, the model we developed has several advantages, such as morphology--dependent resonances, size dependence for large spheres, and multipole effects from smaller particles, just to name a few. In this tutorial, we review and discuss the physical modeling of optical forces in optical tweezers, which are the resultant forces exerted by a trapping beam on a sphere of any size and composition. △ Less

Submitted 23 April, 2019; v1 submitted 13 February, 2019; originally announced February 2019.

Fixation probabilities for the Moran process with three or more strategies: general and coupling results

Authors: Eliza M. Ferreira, Armando G. M. Neves

Abstract: We study fixation probabilities for the Moran stochastic process for the evolution of a population with three or more types of individuals and frequency-dependent fitnesses. Contrarily to the case of populations with two types of individuals, in which fixation probabilities may be calculated by an exact formula, here we must solve a large system of linear equations. We first show that this system… ▽ More We study fixation probabilities for the Moran stochastic process for the evolution of a population with three or more types of individuals and frequency-dependent fitnesses. Contrarily to the case of populations with two types of individuals, in which fixation probabilities may be calculated by an exact formula, here we must solve a large system of linear equations. We first show that this system always has a unique solution. Other results are upper and lower bounds for the fixation probabilities obtained by coupling the Moran process with three strategies with birth-death processes with only two strategies. We also apply our bounds to the problem of evolution of cooperation in a population with three types of individuals already studied in a deterministic setting by Núñez Rodríguez and Neves (J. Math. Biol. (2016) 73:1665--1690). We argue that cooperators will be fixated in the population with probability arbitrarily close to 1 for a large region of initial conditions and large enough population sizes. △ Less

Submitted 23 November, 2018; originally announced November 2018.

Comments: 40 pages, 3 figures

MSC Class: 91A22; 92D15; 60J20

Fixation probabilities for the Moran process in evolutionary games with two strategies: graph shapes and large population asymptotics

Authors: Evandro P. Souza, Eliza M. Ferreira, Armando G. M. Neves

Abstract: This paper is based on the complete classification of evolutionary scenarios for the Moran process with two strategies given by Taylor et al. (B. Math. Biol. 66(6): 1621--1644, 2004). Their classification is based on whether each strategy is a Nash equilibrium and whether the fixation probability for a single individual of each strategy is larger or smaller than its value for neutral evolution. We… ▽ More This paper is based on the complete classification of evolutionary scenarios for the Moran process with two strategies given by Taylor et al. (B. Math. Biol. 66(6): 1621--1644, 2004). Their classification is based on whether each strategy is a Nash equilibrium and whether the fixation probability for a single individual of each strategy is larger or smaller than its value for neutral evolution. We improve on this analysis by showing that each evolutionary scenario is characterized by a definite graph shape for the fixation probability function. A second class of results deals with the behavior of the fixation probability when the population size tends to infinity. We develop asymptotic formulae that approximate the fixation probability in this limit and conclude that some of the evolutionary scenarios cannot exist when the population size is large. △ Less

Submitted 30 April, 2018; originally announced May 2018.

Comments: 5 figures

MSC Class: 91A22; 92D15; 60J20

Morse index of multiplicity one min-max minimal hypersurfaces

Authors: Fernando C. Marques, André Neves

Abstract: In this paper, we prove that the Morse index of a multiplicity one, smooth, min-max minimal hypersurface is generically equal to the dimension of the homology class detected by the families used in the construction. This confirms part of the program (\cite{marques-icm}, \cite{marques-neves-cycles}, \cite{marques-neves-index}, \cite{neves-icm}) proposed by the authors with the goal of developing a… ▽ More In this paper, we prove that the Morse index of a multiplicity one, smooth, min-max minimal hypersurface is generically equal to the dimension of the homology class detected by the families used in the construction. This confirms part of the program (\cite{marques-icm}, \cite{marques-neves-cycles}, \cite{marques-neves-index}, \cite{neves-icm}) proposed by the authors with the goal of developing a Morse theory for the area functional. △ Less

Submitted 10 January, 2019; v1 submitted 12 March, 2018; originally announced March 2018.

Comments: 53 pages. We have added an Addendum to reflect the solution by X. Zhou of our Multiplicity One Conjecture 1.2. We have extended our Main Theorem 1.3 to obtain, in light of Zhou's paper, the precise characterization of the Morse index of min-max minimal hypersurfaces for generic metrics. This finishes the Morse-theoretic program proposed by the authors for the area functional (Theorem 8.4)

Equidistribution of minimal hypersurfaces for generic metrics

Authors: Fernando C. Marques, André Neves, Antoine Song

Abstract: For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a closed manifold $M^{n+1}$, $3\leq (n+1)\leq 7$, we prove that there is a sequence of closed, smooth, embedded, connected minimal hypersurfaces that is equidistributed in $M$. This gives a quantitative version of the main result of \cite{irie-marques-neves}, by Irie and the first two authors, that established denseness of mini… ▽ More For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a closed manifold $M^{n+1}$, $3\leq (n+1)\leq 7$, we prove that there is a sequence of closed, smooth, embedded, connected minimal hypersurfaces that is equidistributed in $M$. This gives a quantitative version of the main result of \cite{irie-marques-neves}, by Irie and the first two authors, that established denseness of minimal hypersurfaces for generic metrics. As in \cite{irie-marques-neves}, the main tool is the Weyl Law for the Volume Spectrum proven by Liokumovich and the first two authors in \cite{liokumovich-marques-neves}. △ Less

Submitted 23 December, 2018; v1 submitted 17 December, 2017; originally announced December 2017.

Comments: References have been added. Final version to appear in Inventiones Mathematicae

Density of minimal hypersurfaces for generic metrics

Authors: Kei Irie, Fernando C. Marques, André Neves

Abstract: For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a closed manifold $M^{n+1}$, $3\leq (n+1)\leq 7$, we prove that the union of all closed, smooth, embedded minimal hypersurfaces is dense. This implies there are infinitely many minimal hypersurfaces thus proving a conjecture of Yau (1982) for generic metrics. For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a closed manifold $M^{n+1}$, $3\leq (n+1)\leq 7$, we prove that the union of all closed, smooth, embedded minimal hypersurfaces is dense. This implies there are infinitely many minimal hypersurfaces thus proving a conjecture of Yau (1982) for generic metrics. △ Less

Submitted 9 February, 2018; v1 submitted 29 October, 2017; originally announced October 2017.

Comments: Revised version. To appear in Annals of Mathematics

The Benefits of Low Operating Voltage Devices to the Energy Efficiency of Parallel Systems

Authors: Samuel Xavier-de-Souza, Eduardo A. Neves, Alex F. A. Furtunato, Luiz F. Q. Silveira, Kyriakos Georgiou, Kerstin I. Eder

Abstract: Programmable circuits such as general-purpose processors or FPGAs have their end-user energy efficiency strongly dependent on the program that they execute. Ultimately, it is the programmer's ability to code and, in the case of general purpose processors, the compiler's ability to translate source code into a sequence of native instructions that make the circuit deliver the expected performance to… ▽ More Programmable circuits such as general-purpose processors or FPGAs have their end-user energy efficiency strongly dependent on the program that they execute. Ultimately, it is the programmer's ability to code and, in the case of general purpose processors, the compiler's ability to translate source code into a sequence of native instructions that make the circuit deliver the expected performance to the end user. This way, the benefits of energy-efficient circuits build upon energy-efficient devices could be obfuscated by poorly written software. Clearly, having well-written software running on conventional circuits is no better in terms of energy efficiency than having poorly written software running on energy-efficient circuits. Therefore, to get the most out of the energy-saving capabilities of programmable circuits that support low voltage operating modes, it is necessary to address software issues that might work against the benefits of operating in such modes. △ Less

Submitted 13 August, 2017; originally announced September 2017.

Report number: LAPPS2017_001

Center of mass acceleration in coupled nanowaveguides due to transverse optical beating force

Authors: Thales F. D. Fernandes, Cauê K. M. C. Carvalho, Paulo Sérgio S. Guimarães, Bernardo R. A. Neves, Pierre-Louis de Assis

Abstract: Eigenmode optical forces arising in symmetrically coupled waveguides have opposite sign on opposite waveguides and thus can deform the waveguides by changing their relative separation, but cannot change any other degree of freedom on their own. It would be extremely desirable to have a way to act on the center of mass of such a system. In this work we show that it is possible to do so by injecting… ▽ More Eigenmode optical forces arising in symmetrically coupled waveguides have opposite sign on opposite waveguides and thus can deform the waveguides by changing their relative separation, but cannot change any other degree of freedom on their own. It would be extremely desirable to have a way to act on the center of mass of such a system. In this work we show that it is possible to do so by injecting a superposition of eigenmodes that are degenerate in frequency and have opposite parity along the desired direction, resulting in beating forces that have the same sign on opposite waveguides and therefore act on the center of mass. We have used both the Maxwell Stress Tensor formalism and the induced dipole force equation to numerically calculate this transverse beating force and have found its magnitude to be comparable to the eigenmode forces. We also show that the longitudinal variation caused by the spatial beating pattern on the time-averaged quantities used in the calculations must be taken into account in order to properly employ the divergence theorem and obtain the correct magnitudes. We then propose a heuristic model that shows good quantitative agreement with the numerical results and may be used as a prototyping tool for accurate and fast computation without relying on expensive numerical computation. △ Less

Submitted 18 October, 2017; v1 submitted 13 June, 2017; originally announced June 2017.

Comments: 9 pages, 4 figures

Sequence of induced Hausdorff metrics on Lie groups

Authors: Norbil L. Cordova Neyra, Ryuichi Fukuoka, Eduardo de A. Neves

Abstract: Let $\varphi: G \times (M,d) \rightarrow (M,d)$ be a left action of a Lie group on a differentiable manifold endowed with a metric $d$ (distance function) compatible with the topology of $M$. Denote $gp:=\varphi(g,p)$. Let $X$ be a compact subset of $M$. Then the isotropy subgroup of $X$ is a closed subgroup of $G$ defined as $H_X:=\{g\in G; gX=X\}$. The induced Hausdorff metric is a metric on the… ▽ More Let $\varphi: G \times (M,d) \rightarrow (M,d)$ be a left action of a Lie group on a differentiable manifold endowed with a metric $d$ (distance function) compatible with the topology of $M$. Denote $gp:=\varphi(g,p)$. Let $X$ be a compact subset of $M$. Then the isotropy subgroup of $X$ is a closed subgroup of $G$ defined as $H_X:=\{g\in G; gX=X\}$. The induced Hausdorff metric is a metric on the left coset manifold $G/H_X$ defined as $d_X(gH_X,hH_X)=d_H(gX,hX)$, where $d_H$ is the Hausdorff distance in $M$. Suppose that $\varphi$ is transitive and that there exist $p\in M$ such that $H_X=H_p$. Then $gH_X \mapsto gp$ is a diffeomorphism that identifies $G/H_X$ and $M$. In this work we define a discrete dynamical system of metrics on $M$. Let $d^1=\hat d_X$, where $\hat d_X$ stands for the intrinsic metric associated to $d_X$. We can iterate $\varphi: G \times (M\equiv G/H_X,d^1)\rightarrow (M\equiv G/H_X,d^1)$, in order to get $d^2, d^3$ and so on. We study the particular case where $M=G$, the left action $\varphi: G\times (G,d) \rightarrow (G,d)$ is the product of $G$, $d$ is bounded above by a right invariant intrinsic metric on $G$ and $X\ni e$ is a finite subset of $G$. We prove that the sequence $d^i$ converges pointwise to a metric $d^\infty$. In addition, if $d$ is complete and the semigroup generated by $X$ is dense in $G$, then $d^\infty$ is the distance function of a right invariant $C^0$-Carnot-Carathéodory-Finsler metric. The case where $d^\infty$ is $C^0$-Finsler is studied in detail. △ Less

Submitted 8 November, 2017; v1 submitted 6 February, 2017; originally announced February 2017.

Comments: 18 pages

MSC Class: 37-xx; 53C30; 51F99; 53B40

Journal ref: Bulletin of the Brazilian Mathematical Society, New Series, 2020

Weyl law for the volume spectrum

Authors: Yevgeny Liokumovich, Fernando C. Marques, André Neves

Abstract: Given $M$ a Riemannian manifold with (possibly empty) boundary, we show that its volume spectrum $\{ω_p(M)\}_{p\in\mathbb{N}}$ satisfies a Weyl law that was conjectured by Gromov. Given $M$ a Riemannian manifold with (possibly empty) boundary, we show that its volume spectrum $\{ω_p(M)\}_{p\in\mathbb{N}}$ satisfies a Weyl law that was conjectured by Gromov. △ Less

Submitted 9 February, 2018; v1 submitted 29 July, 2016; originally announced July 2016.

Comments: Revised version. To appear in Annals of Mathematics

MSC Class: 35P20; 53A10