Showing 1–50 of 151 results for author: Costa, V

The Impact of Feature Representation on the Accuracy of Photonic Neural Networks

Authors: Mauricio Gomes de Queiroz, Paul Jimenez, Raphael Cardoso, Mateus Vidaletti Costa, Mohab Abdalla, Ian O'Connor, Alberto Bosio, Fabio Pavanello

Abstract: Photonic Neural Networks (PNNs) are gaining significant interest in the research community due to their potential for high parallelization, low latency, and energy efficiency. PNNs compute using light, which leads to several differences in implementation when compared to electronics, such as the need to represent input features in the photonic domain before feeding them into the network. In this e… ▽ More Photonic Neural Networks (PNNs) are gaining significant interest in the research community due to their potential for high parallelization, low latency, and energy efficiency. PNNs compute using light, which leads to several differences in implementation when compared to electronics, such as the need to represent input features in the photonic domain before feeding them into the network. In this encoding process, it is common to combine multiple features into a single input to reduce the number of inputs and associated devices, leading to smaller and more energy-efficient PNNs. Although this alters the network's handling of input data, its impact on PNNs remains understudied. This paper addresses this open question, investigating the effect of commonly used encoding strategies that combine features on the performance and learning capabilities of PNNs. Here, using the concept of feature importance, we develop a mathematical methodology for analyzing feature combination. Through this methodology, we demonstrate that encoding multiple features together in a single input determines their relative importance, thus limiting the network's ability to learn from the data. Given some prior knowledge of the data, however, this can also be leveraged for higher accuracy. By selecting an optimal encoding method, we achieve up to a 12.3% improvement in accuracy of PNNs trained on the Iris dataset compared to other encoding techniques, surpassing the performance of networks where features are not combined. These findings highlight the importance of carefully choosing the encoding to the accuracy and decision-making strategies of PNNs, particularly in size or power constrained applications. △ Less

Submitted 28 June, 2024; v1 submitted 26 June, 2024; originally announced June 2024.

Signature of non-trivial band topology in Shubnikov--de Haas oscillations

Authors: Denis R. Candido, Sigurdur I. Erlingsson, João Vitor I. Costa, J. Carlos Egues

Abstract: We investigate the Shubnikov-de Haas (SdH) magneto-oscillations in the resistivity of two-dimensional topological insulators (TIs). Within the Bernevig-Hughes-Zhang (BHZ) model for TIs in the presence of a quantizing magnetic field, we obtain analytical expressions for the SdH oscillations by combining a semiclassical approach for the resistivity and a trace formula for the density of states. We s… ▽ More We investigate the Shubnikov-de Haas (SdH) magneto-oscillations in the resistivity of two-dimensional topological insulators (TIs). Within the Bernevig-Hughes-Zhang (BHZ) model for TIs in the presence of a quantizing magnetic field, we obtain analytical expressions for the SdH oscillations by combining a semiclassical approach for the resistivity and a trace formula for the density of states. We show that when the non-trivial topology is produced by inverted bands with ''Mexican-hat'' shape, SdH oscillations show an anomalous beating pattern that is {\it solely} due to the non-trivial topology of the system. These beatings are robust against, and distinct from beatings originating from spin-orbit interactions. This provides a direct way to experimentally probe the non-trivial topology of 2D TIs entirely from a bulk measurement. Furthermore, the Fourier transform of the SdH oscillations as a function of the Fermi energy and quantum capacitance models allows for extracting both the topological gap and gap at zero momentum. △ Less

Submitted 13 June, 2024; originally announced June 2024.

Comments: 6 pages, 3 figures

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus

Authors: Filipe Marinho Rocha, Inês Dutra, Vítor Santos Costa

Abstract: The Abstraction and Reasoning Corpus (ARC) is a general artificial intelligence benchmark that is currently unsolvable by any Machine Learning method, including Large Language Models (LLMs). It demands strong generalization and reasoning capabilities which are known to be weaknesses of Neural Network based systems. In this work, we propose a Program Synthesis system that uses Inductive Logic Progr… ▽ More The Abstraction and Reasoning Corpus (ARC) is a general artificial intelligence benchmark that is currently unsolvable by any Machine Learning method, including Large Language Models (LLMs). It demands strong generalization and reasoning capabilities which are known to be weaknesses of Neural Network based systems. In this work, we propose a Program Synthesis system that uses Inductive Logic Programming (ILP), a branch of Symbolic AI, to solve ARC. We have manually defined a simple Domain Specific Language (DSL) that corresponds to a small set of object-centric abstractions relevant to ARC. This is the Background Knowledge used by ILP to create Logic Programs that provide reasoning capabilities to our system. The full system is capable of generalize to unseen tasks, since ILP can create Logic Program(s) from few examples, in the case of ARC: pairs of Input-Output grids examples for each task. These Logic Programs are able to generate Objects present in the Output grid and the combination of these can form a complete program that transforms an Input grid into an Output grid. We randomly chose some tasks from ARC that dont require more than the small number of the Object primitives we implemented and show that given only these, our system can solve tasks that require each, such different reasoning. △ Less

Submitted 10 May, 2024; originally announced May 2024.

Regular Typed Unification

Authors: João Barbosa, Mário Florido, Vítor Santos Costa

Abstract: Here we define a new unification algorithm for terms interpreted in semantic domains denoted by a subclass of regular types here called deterministic regular types. This reflects our intention not to handle the semantic universe as a homogeneous collection of values, but instead, to partition it in a way that is similar to data types in programming languages. We first define the new unification al… ▽ More Here we define a new unification algorithm for terms interpreted in semantic domains denoted by a subclass of regular types here called deterministic regular types. This reflects our intention not to handle the semantic universe as a homogeneous collection of values, but instead, to partition it in a way that is similar to data types in programming languages. We first define the new unification algorithm which is based on constraint generation and constraint solving, and then prove its main properties: termination, soundness, and completeness with respect to the semantics. Finally, we discuss how to apply this algorithm to a dynamically typed version of Prolog. △ Less

Submitted 25 April, 2024; originally announced April 2024.

Comments: 19 pages

Building An Efficient Grid On GPU

Authors: Vasco Costa, João M. Pereira, Joaquim Jorge

Abstract: Grid space partitioning is a technique to speed up queries to graphics databases. We present a parallel grid construction algorithm which can efficiently construct a structured grid on GPU hardware. Our approach is substantially faster than existing uniform grid construction algorithms, especially on non-homogeneous scenes. Indeed, it can populate a grid in real-time (at rates over 25 Hz), for arc… ▽ More Grid space partitioning is a technique to speed up queries to graphics databases. We present a parallel grid construction algorithm which can efficiently construct a structured grid on GPU hardware. Our approach is substantially faster than existing uniform grid construction algorithms, especially on non-homogeneous scenes. Indeed, it can populate a grid in real-time (at rates over 25 Hz), for architectural scenes with 10 million triangles. △ Less

Submitted 15 March, 2024; originally announced March 2024.

A Decoupled Approach for Composite Sparse-plus-Smooth Penalized Optimization

Authors: Adrian Jarret, Valérie Costa, Julien Fageot

Abstract: We consider a linear inverse problem whose solution is expressed as a sum of two components: one smooth and the other sparse. This problem is addressed by minimizing an objective function with a least squares data-fidelity term and a different regularization term applied to each of the components. Sparsity is promoted with an $\ell_1$ norm, while the smooth component is penalized with an $\ell_2$… ▽ More We consider a linear inverse problem whose solution is expressed as a sum of two components: one smooth and the other sparse. This problem is addressed by minimizing an objective function with a least squares data-fidelity term and a different regularization term applied to each of the components. Sparsity is promoted with an $\ell_1$ norm, while the smooth component is penalized with an $\ell_2$ norm. We characterize the solution set of this composite optimization problem by stating a Representer Theorem. Consequently, we identify that solving the optimization problem can be decoupled by first identifying the sparse solution as a solution of a modified single-variable problem and then deducing the smooth component. We illustrate that this decoupled solving method can lead to significant computational speedups in applications, considering the problem of Dirac recovery over a smooth background with two-dimensional partial Fourier measurements. △ Less

Submitted 15 June, 2024; v1 submitted 8 March, 2024; originally announced March 2024.

Nonlocal Diffusion Elliptic System Modelling The Behaviour Of a Bacteria And a Living Nutrient

Authors: M. A. V. Costa, Y. B. C. Carranza, C. Morales-Rodrigo, A. Suarez

Abstract: In this paper, we discuss the existence and uniqueness of coexistence states for a class of non-local elliptic system. This problem models the behaviour of a bacteria and a living nutrient, whose diffusion depends on the population of the bacteria in a non-local and nonlinear way. Mainly, we employ bifurcation methods and the Implicit Function Theorem to obtain the existence and uniqueness of posi… ▽ More In this paper, we discuss the existence and uniqueness of coexistence states for a class of non-local elliptic system. This problem models the behaviour of a bacteria and a living nutrient, whose diffusion depends on the population of the bacteria in a non-local and nonlinear way. Mainly, we employ bifurcation methods and the Implicit Function Theorem to obtain the existence and uniqueness of positive solution. △ Less

Submitted 5 February, 2024; originally announced February 2024.

Comments: 15 pages and 2 figures

SRMAC -- Smoothed Recursive Moving Average Crossover for Real-Time Systolic Peak Detection in Photoplethysmography

Authors: Cesar Abascal Machado, Victor O. Costa, Cesar Augusto Prior, Cesar Ramos Rodrigues

Abstract: Purpose. Photoplethysmography (PPG) is a non-invasive technique that measures changes in blood flow volume through optical means. Previous research has established the feasibility of PPG peak detection based on the crossover of moving averages. This paper proposes the Smoothed Recuarsive Moving Average Crossover, which eliminates the need for post-processing and nonlinear pre-processing of previou… ▽ More Purpose. Photoplethysmography (PPG) is a non-invasive technique that measures changes in blood flow volume through optical means. Previous research has established the feasibility of PPG peak detection based on the crossover of moving averages. This paper proposes the Smoothed Recuarsive Moving Average Crossover, which eliminates the need for post-processing and nonlinear pre-processing of previous crossover-based peak detectors. The proposed model is advantageous regarding memory and computational complexity, making it attractive for implementations on embedded devices. Methods. Along with this paper, we make available a novel dataset comprising 66 minutes of PPG recordings. The optimization and assessment of the proposed peak detection model use this dataset. Its optimization is accomplished with the simple random search heuristic, while the leave-subject-out cross-validation method provides the means to assess its performance. The source code for all experiments reported in this research is also available in an online repository. Results. The experimental study examines the performance of the proposed model considering different arrangements of the PPG data. The experiments show that the proposed model performs better than the previous crossover-based approach from the literature regarding the precision and recall metrics. More specifically, our model has an average precision of 0.9937 and an average recall of 0.9968. Conclusion. The contribution of this research to the scientific community and literature is twofold. The dataset we collected is open for any researcher, and we improve upon the leading edge on crossover-based PPG peak detection. This improvement comes in terms of performance metrics and computational cost. △ Less

Submitted 15 December, 2023; originally announced December 2023.

Comments: 11 pages, 7 figures, 4 tables

Ray-Tracing With a Coherent Ray-Space Hierarchy

Authors: Nuno Reis, Vasco Costa, João M. Pereira

Abstract: We present an algorithm for creating an n-level ray-space hierarchy (RSH) of coherent rays that runs on the GPU. Our algorithm uses rasterization to process the primary rays, then uses those results as the inputs for a RSH, that processes the secondary rays. The RSH algorithm generates bundles of rays; hashes them, according to their attributes; and sorts them. Thus we generate a ray list with adj… ▽ More We present an algorithm for creating an n-level ray-space hierarchy (RSH) of coherent rays that runs on the GPU. Our algorithm uses rasterization to process the primary rays, then uses those results as the inputs for a RSH, that processes the secondary rays. The RSH algorithm generates bundles of rays; hashes them, according to their attributes; and sorts them. Thus we generate a ray list with adjacent coherent rays. To improve the rendering performance of the RSH vs a more classical approach. In addition the scenes geometry is partitioned into a set of bounding spheres, intersected with the RSH, to further decrease the amount of false ray bundle-primitive intersection tests. We show that our technique notably reduces the amount of ray-primitive intersection tests, required to render an image. In particular, it performs up to 50% better in this metric than other algorithms in this class. △ Less

Submitted 11 December, 2023; originally announced December 2023.

Diversified in-domain synthesis with efficient fine-tuning for few-shot classification

Authors: Victor G. Turrisi da Costa, Nicola Dall'Asen, Yiming Wang, Nicu Sebe, Elisa Ricci

Abstract: Few-shot image classification aims to learn an image classifier using only a small set of labeled examples per class. A recent research direction for improving few-shot classifiers involves augmenting the labelled samples with synthetic images created by state-of-the-art text-to-image generation models. Following this trend, we propose Diversified In-domain Synthesis with Efficient Fine-tuning (DI… ▽ More Few-shot image classification aims to learn an image classifier using only a small set of labeled examples per class. A recent research direction for improving few-shot classifiers involves augmenting the labelled samples with synthetic images created by state-of-the-art text-to-image generation models. Following this trend, we propose Diversified In-domain Synthesis with Efficient Fine-tuning (DISEF), a novel approach which addresses the generalization challenge in few-shot learning using synthetic data. DISEF consists of two main components. First, we propose a novel text-to-image augmentation pipeline that, by leveraging the real samples and their rich semantics coming from an advanced captioning model, promotes in-domain sample diversity for better generalization. Second, we emphasize the importance of effective model fine-tuning in few-shot recognition, proposing to use Low-Rank Adaptation (LoRA) for joint adaptation of the text and image encoders in a Vision Language Model. We validate our method in ten different benchmarks, consistently outperforming baselines and establishing a new state-of-the-art for few-shot classification. Code is available at https://github.com/vturrisi/disef. △ Less

Submitted 6 December, 2023; v1 submitted 5 December, 2023; originally announced December 2023.

Comments: 14 pages, 6 figures, 8 tables

Detection of Seismic Infrasonic Elephant Rumbles Using Spectrogram-Based Machine Learning

Authors: A. M. J. V. Costa, C. S. Pallikkonda, H. H. R. Hiroshan, G. R. U. Y. Gamlath, S. R. Munasinghe, C. U. S. Edussooriya

Abstract: This paper presents an effective method of identifying elephant rumbles in infrasonic seismic signals. The design and implementation of electronic circuitry to amplify, filter, and digitize the seismic signals captured through geophones are presented. A collection of seismic infrasonic elephant rumbles was collected at a free-ranging area of an elephant orphanage in Sri Lanka. The seismic rumbles… ▽ More This paper presents an effective method of identifying elephant rumbles in infrasonic seismic signals. The design and implementation of electronic circuitry to amplify, filter, and digitize the seismic signals captured through geophones are presented. A collection of seismic infrasonic elephant rumbles was collected at a free-ranging area of an elephant orphanage in Sri Lanka. The seismic rumbles were converted to spectrograms, and several methods were used for spectral feature extraction. Using LasyPredict, the features extracted using different methods were fed into their corresponding machine-learning algorithms to train them for automatic seismic rumble identification. It was found that the Mel frequency cepstral coefficient (MFCC) together with the Ridge classifier machine learning algorithm produced the best performance in identifying seismic elephant rumbles. A novel method for denoising the spectrum that leads to enhanced accuracy in identifying seismic rumbles is also presented. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Comments: 8 pages, 7 figures, journal

Numerical Simulations of the Magnetodielectric response in Ising Pyrochlores

Authors: Tomas Vignau Costa, Santiago Grigera, Rodolfo Borzi

Abstract: In this paper, we examine the magnetoelectric response of Ising pyrochlores, focusing on both the ordered antiferromagnetic state and the frustrated ferromagnetic case known as "spin-ice". We employ a model which accounts for magnetoelastic effects by considering the interplay between oxygen distortions and superexchange magnetic interactions within pyrochlores. This, together with numerical simul… ▽ More In this paper, we examine the magnetoelectric response of Ising pyrochlores, focusing on both the ordered antiferromagnetic state and the frustrated ferromagnetic case known as "spin-ice". We employ a model which accounts for magnetoelastic effects by considering the interplay between oxygen distortions and superexchange magnetic interactions within pyrochlores. This, together with numerical simulations, provides a tool to make quantitative comparisons with experiments. Our main target is then to see how to extract relevant information from this simple model, and to explore its limitations. We obtain a direct estimation of quantities such as the electric dipole moment, the central oxygen displacement and the effective magnetoelastic energy for the canonical spin-ice material \DTO. We also inquire about the possibility of using the electric dipole carried by magnetic monopoles to obtain a direct measure of their density. In each studied scenario the correlations between monopoles, induced by their number or by the magnetic background,renders these findings less straightforward than initially anticipated. Furthermore, the coupling between electrical and magnetic degrees of freedom provides additional tools to investigate magnetic order in these systems. As an example of this we discuss the phase diagram of the antiferromagnetic pyrochlore under applied magnetic field along the [111] direction. We find an instance where the phase stability at nonzero temperatures is not dictated by the energy associated with different ground states but (akin to the phenomenon of order-by-disorder) is instead determined by their accessibility to thermal fluctuations. △ Less

Submitted 27 November, 2023; v1 submitted 26 October, 2023; originally announced October 2023.

Encoding information onto the charge and spin state of a paramagnetic atom using MgO tunnelling spintronics

Authors: Mathieu Lamblin, Bhavishya Chowrira, Victor Da Costa, Bertrand Vileno, Loic Joly, Samy Boukari, Wolfgang Weber, Romain Bernard, Benoit Gobaut, Michel Hehn, Daniel Lacour, Martin Bowen

Abstract: An electrical current that flows across individual atoms or molecules can generate exotic quantum-based behavior, from memristive effects to Coulomb blockade and the promotion of quantum excited states. These fundamental effects typically appear one at a time in model junctions built using atomic tip or lateral techniques. So far, however, a viable industrial pathway for such discrete state device… ▽ More An electrical current that flows across individual atoms or molecules can generate exotic quantum-based behavior, from memristive effects to Coulomb blockade and the promotion of quantum excited states. These fundamental effects typically appear one at a time in model junctions built using atomic tip or lateral techniques. So far, however, a viable industrial pathway for such discrete state devices has been lacking. Here, we demonstrate that a commercialized device platform can serve as this industrial pathway for quantum technologies. We have studied magnetic tunnel junctions with a MgO barrier containing C atoms. The paramagnetic localized electrons due to individual C atoms generate parallel nanotransport paths across the micronic device as deduced from magnetotransport experiments. Coulomb blockade effects linked to tunnelling magnetoresistance peaks can be electrically controlled, leading to a persistent memory effect. Our results position MgO tunneling spintronics as a promising platform to industrially implement quantum technologies. △ Less

Submitted 31 August, 2023; originally announced August 2023.

Local Labor Market Effects of Mergers and Acquisitions in Develo** Countries: Evidence from Brazil

Authors: Vitor Costa

Abstract: I use matched employer-employee records merged with corporate tax information from 2003 to 2017 to estimate labor market-wide effects of mergers and acquisitions in Brazil. Labor markets are defined by pairs of commuting zone and industry sector. In the following year of a merger, market size falls by 10.8%. The employment adjustment is concentrated in merging firms. For the firms not involved in… ▽ More I use matched employer-employee records merged with corporate tax information from 2003 to 2017 to estimate labor market-wide effects of mergers and acquisitions in Brazil. Labor markets are defined by pairs of commuting zone and industry sector. In the following year of a merger, market size falls by 10.8%. The employment adjustment is concentrated in merging firms. For the firms not involved in M&As, I estimate a 1.07% decline in workers earnings and a positive, although not significant, increase in their size. Most mergers have a predicted impact of zero points in concentration, measured by the Herfindahl-Hirschman Index (HHI). I spillover firms, earnings decline similarly for mergers with high and low predicted changes in HHI. Contrary to the recent literature on market concentration in developed economies, I find no evidence of oligopsonistic behavior in Brazilian labor markets. △ Less

Submitted 14 June, 2023; originally announced June 2023.

Quantum oscillations in 2D electron gases with spin-orbit and Zeeman interactions

Authors: Denis R. Candido, Sigurdur I. Erlingsson, Hamed Gramizadeh, João Vitor I. Costa, Pirmin J. Weigele, Dominik M. Zumbühl, J. Carlos Egues

Abstract: Shubnikov-de Haas (SdH) oscillations have served as a paradigmatic experimental probe and tool for extracting key semiconductor parameters such as carrier density, effective mass, Zeeman splitting with g-factor $g^*$, quantum scattering times and spin-orbit (SO) coupling parameters. Here, we derive for the first time an analytical formulation for the SdH oscillations in 2D electron gases (2DEGs) w… ▽ More Shubnikov-de Haas (SdH) oscillations have served as a paradigmatic experimental probe and tool for extracting key semiconductor parameters such as carrier density, effective mass, Zeeman splitting with g-factor $g^*$, quantum scattering times and spin-orbit (SO) coupling parameters. Here, we derive for the first time an analytical formulation for the SdH oscillations in 2D electron gases (2DEGs) with simultaneous Rashba, Dresselhaus, and Zeeman interactions. Our analytical and numerical calculations allow us to extract both Rashba and Dresselhaus SO coupling parameters, carrier density, quantum lifetimes, and also to understand the role of higher harmonics in the SdH oscillations. More importantly, we derive a simple condition for the vanishing of SO induced SdH beatings for all harmonics in 2DEGs: $α/β= [(1-\tilde Δ)/(1+\tilde Δ)]^{1/2}$, where $\tilde Δ$ is a material parameter given by the ratio of the Zeeman and Landau level splitting. We also predict beatings in the higher harmonics of the SdH oscillations and elucidate the inequivalence of the SdH response of Rashba-dominated ($α>β$) vs Dresselhaus-dominated ($α<β$) 2DEGs in semiconductors with substantial $g^*$. We find excellent agreement with recent available experimental data of Dettwiler ${\it et\thinspace al.}$ Phys. Rev. X $\textbf{7}$, 031010 (2017), and Beukman ${\it et\thinspace al.}$, Phys. Rev. B $\textbf{96}$, 241401 (2017). △ Less

Submitted 27 April, 2023; originally announced April 2023.

Comments: 29 pages, 20 figures

Journal ref: Physical Review Research 5 (4), 043297 (2023)

Cusps in $\mathbb{C}^3$ with prescribed ramification

Authors: Ethan Cotterill, Nathan Kaplan, Renata Vieira Costa

Abstract: We study value semigroups associated to germs of maps $\mathbb{C} \rightarrow \mathbb{C}^3$ with fixed ramification profiles in a distinguished point. We then apply our analysis to deduce that Severi varieties of unicuspidal rational fixed-degree curves with value semigroup ${\rm S}$ in $\mathbb{P}^3$ are often reducible when ${\rm S}$ is either 1) the semigroup of a generic cusp whose ramificatio… ▽ More We study value semigroups associated to germs of maps $\mathbb{C} \rightarrow \mathbb{C}^3$ with fixed ramification profiles in a distinguished point. We then apply our analysis to deduce that Severi varieties of unicuspidal rational fixed-degree curves with value semigroup ${\rm S}$ in $\mathbb{P}^3$ are often reducible when ${\rm S}$ is either 1) the semigroup of a generic cusp whose ramification profile is a supersymmetric triple; or 2) a supersymmetric semigroup with ramification profile given by a supersymmetric triple. In doing so, we uncover new connections with additive combinatorics and number theory. △ Less

Submitted 16 October, 2023; v1 submitted 16 March, 2023; originally announced March 2023.

Comments: Adjusted numerical hypotheses to reflect the fact that the degree should be at least the valuation of the conductor of the cusp, which in particular is true whenever $d \geq 2g$

MSC Class: 14H20; 14H45; 14H51; 52B20; 11Pxx; 20Mxx

Connecting the Unstable Region of the Entropy to the Pattern of the Fisher's Zeros Map

Authors: J. C. S. Rocha, B. V. Costa

Abstract: Phase transitions are one of the most interesting natural phenomena. For finite systems, one of the concerns in the topic is how to classify a specific transition as being of first, second, or even of a higher order, according to the Ehrenfest classification. The partition function provides all the thermodynamic information about the physical systems, and a phase transition can be identified by th… ▽ More Phase transitions are one of the most interesting natural phenomena. For finite systems, one of the concerns in the topic is how to classify a specific transition as being of first, second, or even of a higher order, according to the Ehrenfest classification. The partition function provides all the thermodynamic information about the physical systems, and a phase transition can be identified by the complex temperature where it is equal to zero. In addition, the pattern of the zeros on the complex temperature plane can provide evidence of the order of the transition. In this manuscript, we present an analytical and simulational study connecting the microcanonical analysis of the unstable region of the entropy to the canonical partition function zeros. We show that, for the first-order transition, the zeros accumulate uniformly in a vertical line on the complex inverse temperature plane as discussed in previous works. We illustrate our calculation using the $147$ particles Lennard-Jones cluster. △ Less

Submitted 15 January, 2024; v1 submitted 2 March, 2023; originally announced March 2023.

Comments: 19 pages, 8 figures

Quantum Algorithm for Multiplicative Linear Logic

Authors: Lorenzo Saraiva, Edward Hermann Haeusler, Vaston Costa

Abstract: This paper describes a quantum algorithm for proof search in sequent calculus of a subset of Linear Logic using the Grover Search Algorithm. We briefly overview the Grover Search Algorithm and Linear Logic, show the detailed steps of the algorithm and then present the results obtained on quantum simulators. This paper describes a quantum algorithm for proof search in sequent calculus of a subset of Linear Logic using the Grover Search Algorithm. We briefly overview the Grover Search Algorithm and Linear Logic, show the detailed steps of the algorithm and then present the results obtained on quantum simulators. △ Less

Submitted 17 February, 2023; originally announced February 2023.

Simplifying Open-Set Video Domain Adaptation with Contrastive Learning

Authors: Giacomo Zara, Victor Guilherme Turrisi da Costa, Subhankar Roy, Paolo Rota, Elisa Ricci

Abstract: In an effort to reduce annotation costs in action recognition, unsupervised video domain adaptation methods have been proposed that aim to adapt a predictive model from a labelled dataset (i.e., source domain) to an unlabelled dataset (i.e., target domain). In this work we address a more realistic scenario, called open-set video domain adaptation (OUVDA), where the target dataset contains "unknown… ▽ More In an effort to reduce annotation costs in action recognition, unsupervised video domain adaptation methods have been proposed that aim to adapt a predictive model from a labelled dataset (i.e., source domain) to an unlabelled dataset (i.e., target domain). In this work we address a more realistic scenario, called open-set video domain adaptation (OUVDA), where the target dataset contains "unknown" semantic categories that are not shared with the source. The challenge lies in aligning the shared classes of the two domains while separating the shared classes from the unknown ones. In this work we propose to address OUVDA with an unified contrastive learning framework that learns discriminative and well-clustered features. We also propose a video-oriented temporal contrastive loss that enables our method to better cluster the feature space by exploiting the freely available temporal information in video data. We show that discriminative feature space facilitates better separation of the unknown classes, and thereby allows us to use a simple similarity based score to identify them. We conduct thorough experimental evaluation on multiple OUVDA benchmarks and show the effectiveness of our proposed method against the prior art. △ Less

Submitted 9 January, 2023; originally announced January 2023.

Comments: Currently under review at Computer Vision and Image Understanding (CVIU) journal

Bayesian Prompt Learning for Image-Language Model Generalization

Authors: Mohammad Mahdi Derakhshani, Enrique Sanchez, Adrian Bulat, Victor Guilherme Turrisi da Costa, Cees G. M. Snoek, Georgios Tzimiropoulos, Brais Martinez

Abstract: Foundational image-language models have generated considerable interest due to their efficient adaptation to downstream tasks by prompt learning. Prompt learning treats part of the language model input as trainable while freezing the rest, and optimizes an Empirical Risk Minimization objective. However, Empirical Risk Minimization is known to suffer from distributional shifts which hurt generaliza… ▽ More Foundational image-language models have generated considerable interest due to their efficient adaptation to downstream tasks by prompt learning. Prompt learning treats part of the language model input as trainable while freezing the rest, and optimizes an Empirical Risk Minimization objective. However, Empirical Risk Minimization is known to suffer from distributional shifts which hurt generalizability to prompts unseen during training. By leveraging the regularization ability of Bayesian methods, we frame prompt learning from the Bayesian perspective and formulate it as a variational inference problem. Our approach regularizes the prompt space, reduces overfitting to the seen prompts and improves the prompt generalization on unseen prompts. Our framework is implemented by modeling the input prompt space in a probabilistic manner, as an a priori distribution which makes our proposal compatible with prompt learning approaches that are unconditional or conditional on the image. We demonstrate empirically on 15 benchmarks that Bayesian prompt learning provides an appropriate coverage of the prompt space, prevents learning spurious features, and exploits transferable invariant features. This results in better generalization of unseen prompts, even across different datasets and domains. Code available at: https://github.com/saic-fi/Bayesian-Prompt-Learning △ Less

Submitted 20 August, 2023; v1 submitted 5 October, 2022; originally announced October 2022.

Comments: Accepted at ICCV 2023

Typed SLD-Resolution: Dynamic Ty** for Logic Programming

Authors: João Barbosa, Mário Florido, Vítor Santos Costa

Abstract: The semantic foundations for logic programming are usually separated into two different approaches. The operational semantics, which uses SLD-resolution, the proof method that computes answers in logic programming, and the declarative semantics, which sees logic programs as formulas and its semantics as models. Here, we define a new operational semantics called TSLD-resolution, which stands for Ty… ▽ More The semantic foundations for logic programming are usually separated into two different approaches. The operational semantics, which uses SLD-resolution, the proof method that computes answers in logic programming, and the declarative semantics, which sees logic programs as formulas and its semantics as models. Here, we define a new operational semantics called TSLD-resolution, which stands for Typed SLD-resolution, where we include a value "wrong", that corresponds to the detection of a type error at run-time. For this we define a new typed unification algorithm. Finally we prove the correctness of TSLD-resolution with respect to a typed declarative semantics. △ Less

Submitted 30 July, 2022; originally announced August 2022.

Comments: 17 pages

Unsupervised Domain Adaptation for Video Transformers in Action Recognition

Authors: Victor G. Turrisi da Costa, Giacomo Zara, Paolo Rota, Thiago Oliveira-Santos, Nicu Sebe, Vittorio Murino, Elisa Ricci

Abstract: Over the last few years, Unsupervised Domain Adaptation (UDA) techniques have acquired remarkable importance and popularity in computer vision. However, when compared to the extensive literature available for images, the field of videos is still relatively unexplored. On the other hand, the performance of a model in action recognition is heavily affected by domain shift. In this paper, we propose… ▽ More Over the last few years, Unsupervised Domain Adaptation (UDA) techniques have acquired remarkable importance and popularity in computer vision. However, when compared to the extensive literature available for images, the field of videos is still relatively unexplored. On the other hand, the performance of a model in action recognition is heavily affected by domain shift. In this paper, we propose a simple and novel UDA approach for video action recognition. Our approach leverages recent advances on spatio-temporal transformers to build a robust source model that better generalises to the target domain. Furthermore, our architecture learns domain invariant features thanks to the introduction of a novel alignment loss term derived from the Information Bottleneck principle. We report results on two video action recognition benchmarks for UDA, showing state-of-the-art performance on HMDB$\leftrightarrow$UCF, as well as on Kinetics$\rightarrow$NEC-Drone, which is more challenging. This demonstrates the effectiveness of our method in handling different levels of domain shift. The source code is available at https://github.com/vturrisi/UDAVT. △ Less

Submitted 26 July, 2022; originally announced July 2022.

Comments: Accepted at ICPR 2022

Exploring Generative Adversarial Networks for Text-to-Image Generation with Evolution Strategies

Authors: Victor Costa, Nuno Lourenço, João Correia, Penousal Machado

Abstract: In the context of generative models, text-to-image generation achieved impressive results in recent years. Models using different approaches were proposed and trained in huge datasets of pairs of texts and images. However, some methods rely on pre-trained models such as Generative Adversarial Networks, searching through the latent space of the generative model by using a gradient-based approach to… ▽ More In the context of generative models, text-to-image generation achieved impressive results in recent years. Models using different approaches were proposed and trained in huge datasets of pairs of texts and images. However, some methods rely on pre-trained models such as Generative Adversarial Networks, searching through the latent space of the generative model by using a gradient-based approach to update the latent vector, relying on loss functions such as the cosine similarity. In this work, we follow a different direction by proposing the use of Covariance Matrix Adaptation Evolution Strategy to explore the latent space of Generative Adversarial Networks. We compare this approach to the one using Adam and a hybrid strategy. We design an experimental study to compare the three approaches using different text inputs for image generation by adapting an evaluation method based on the projection of the resulting samples into a two-dimensional grid to inspect the diversity of the distributions. The results evidence that the evolutionary method achieves more diversity in the generation of samples, exploring different regions of the resulting grids. Besides, we show that the hybrid method combines the explored areas of the gradient-based and evolutionary approaches, leveraging the quality of the results. △ Less

Submitted 6 July, 2022; originally announced July 2022.

Observation of Photoluminescence from a Natural van der Waals Heterostructure

Authors: Viviane Z. Costa, Bryce Baker, Hon-Loen Sinn, Addison Miller, K. Watanabe, T. Taniguchi, Akm Newaz

Abstract: Van der Waals heterostructures comprised of two-dimensional (2D) materials offer a platform to obtain materials by design with unique electronic properties. Franckeite (Fr) is a naturally occurring van der Waals heterostructure comprised of two distinct alternately stacked semiconducting layers; (i) SnS$_2$ layer and (ii) Pb$_3$SbS$_4$. Though both layers in the heterostructure are semiconductors,… ▽ More Van der Waals heterostructures comprised of two-dimensional (2D) materials offer a platform to obtain materials by design with unique electronic properties. Franckeite (Fr) is a naturally occurring van der Waals heterostructure comprised of two distinct alternately stacked semiconducting layers; (i) SnS$_2$ layer and (ii) Pb$_3$SbS$_4$. Though both layers in the heterostructure are semiconductors, the photoluminescence from Franckeite remains elusive. Here, we report the observation of photoluminescence (PL) from Franckeite for the first time. We observed two PL peaks at ~ 1.93 eV and ~ 2.11 eV. By varying the temperature from 1.5 K to 80 K, we found that the PL peak position redshifts and the integrated intensity decreases slowly as we increase the temperature. We observed linear dependence of photoluminescence integrated intensity on excitation laser power indicating that the photoluminescence is originating from free excitons in the SnS$_2$ layer of Fr. By comparing the PL from Fr with the PL from a monolayer MoS$_2$, we determined that the PL quantum efficiency from Fr is an order of magnitude lower than that of a monolayer MoS$_2$. Our study provides a fundamental understanding of the optical behavior in a complex naturally occurring van der Waals heterostructure, and may pave an avenue toward develo** nanoscale optical and optoelectronic devices with tailored properties. △ Less

Submitted 8 June, 2022; originally announced June 2022.

Comments: 8 pages, 5 Figures, Accepted to Applied Physics Letter

Strong Effects of Interlayer Interaction on Valence-Band Splitting in Transition Metal Dichalcogenides

Authors: Garrett Benson, Viviane Zurdo Costa, Neal Border, Kentaro Yumigeta, Mark Blei, Sefaattin Tongay, K. Watanabe, T. Taniguchi, Andrew Ichimura, Santosh KC, Taha Salavati-fard, Bin Wang, Akm Newaz

Abstract: Understanding the origin of valence band maxima (VBM) splitting in transition metal dichalcogenides (TMDs) is important because it governs the unique spin and valley physics in monolayer and multilayer TMDs. In this work, we present our systematic study of VBM splitting ($Δ$) in atomically thin MoS$_2$ and WS$_2$ by employing photocurrent spectroscopy as we change the temperature and the layer num… ▽ More Understanding the origin of valence band maxima (VBM) splitting in transition metal dichalcogenides (TMDs) is important because it governs the unique spin and valley physics in monolayer and multilayer TMDs. In this work, we present our systematic study of VBM splitting ($Δ$) in atomically thin MoS$_2$ and WS$_2$ by employing photocurrent spectroscopy as we change the temperature and the layer numbers. We found that VBM splitting in monolayer MoS$_2$ and WS$_2$ depends strongly on temperature, which contradicts the theory that spin-orbit coupling solely determines the VBM splitting in monolayer TMDs. We also found that the rate of change of VBM splitting with respect to temperature ($m=\frac{\partialΔ}{\partial T}$) is the highest for monolayer (-0.14 meV/K for MoS$_2$) and the rate decreases as the layer number increases ($m ~ 0$ meV/K for 5 layers MoS$_2$). We performed density functional theory (DFT) and the GW with Bethe-Salpeter Equation (GW-BSE) calculations to determine the electronic band structure and optical absorption for a bilayer MoS$_2$ with different interlayer separations. Our simulations agree with the experimental observations and demonstrate that the temperature dependence of VBM splitting in atomically thin monolayer and multilayer TMDs originates from the changes in the interlayer coupling strength between the neighboring layers. By studying two different types of TMDs and many different layer thicknesses, we also demonstrate that VBM splitting also depends on the layer numbers and type of transition metals. Our study will help understand the role spin-orbit coupling and interlayer interaction play in determining the VBM splitting in quantum materials and develop next-generation devices based on spin-orbit interactions. △ Less

Submitted 9 May, 2022; v1 submitted 6 May, 2022; originally announced May 2022.

Comments: 15 pages, 5 figures (accepted to JPCC)

A Gaseous Argon-Based Near Detector to Enhance the Physics Capabilities of DUNE

Authors: A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, D. Adams, M. Adinolfi, C. Adriano, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Aimard, F. Akbar, B. Ali-Mohammadzadeh, T. Alion, K. Allison, S. Alonso Monsalve, M. AlRashed, C. Alt, A. Alton, R. Alvarez, P. Amedo , et al. (1220 additional authors not shown)

Abstract: This document presents the concept and physics case for a magnetized gaseous argon-based detector system (ND-GAr) for the Deep Underground Neutrino Experiment (DUNE) Near Detector. This detector system is required in order for DUNE to reach its full physics potential in the measurement of CP violation and in delivering precision measurements of oscillation parameters. In addition to its critical r… ▽ More This document presents the concept and physics case for a magnetized gaseous argon-based detector system (ND-GAr) for the Deep Underground Neutrino Experiment (DUNE) Near Detector. This detector system is required in order for DUNE to reach its full physics potential in the measurement of CP violation and in delivering precision measurements of oscillation parameters. In addition to its critical role in the long-baseline oscillation program, ND-GAr will extend the overall physics program of DUNE. The LBNF high-intensity proton beam will provide a large flux of neutrinos that is sampled by ND-GAr, enabling DUNE to discover new particles and search for new interactions and symmetries beyond those predicted in the Standard Model. △ Less

Submitted 11 March, 2022; originally announced March 2022.

Comments: Contribution to Snowmass 2021

Toward accurate polarization estimation in nanoscopic systems

Authors: Sambit Mohapatra, Wolfgang Weber, Martin Bowen, Samy Boukari, Victor Da Costa

Abstract: The nanoscopic characterization of ferroelectric thin films is crucial from their device application point of view. Standard characterization techniques are based on detecting the nanoscopic charge compensation current (switching current) caused by the polarization reversal in the ferroelectric. Owing to various surface and bulk limited mechanisms, leakage currents commonly appear during such meas… ▽ More The nanoscopic characterization of ferroelectric thin films is crucial from their device application point of view. Standard characterization techniques are based on detecting the nanoscopic charge compensation current (switching current) caused by the polarization reversal in the ferroelectric. Owing to various surface and bulk limited mechanisms, leakage currents commonly appear during such measurements, which are frequently subtracted using the device I-V characteristic by employing positive-up-negative-down (PUND) measurement scheme. By performing nanoscopic switching current measurements on a commonly used ferroelectric, BiFeO3, we show that such characterization methods may be prone to large errors in the polarization estimation on ferro-resistive samples, due to current background subtraction issues. Especially, when ferro-resistive behavior is associated with the polarization reversal of the ferroelectric thin film, background current subtraction is not accurate due to the mismatch of the I-V characteristics for the two polarization states. We show instead that removing the background current by an asymmetric least squares subtraction method, though not perfect, gives a much better estimation of the ferroelectric properties of the sample under study. △ Less

Submitted 11 March, 2022; originally announced March 2022.

Snowmass Neutrino Frontier: DUNE Physics Summary

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, M. Adamowski, D. Adams, M. Adinolfi, C. Adriano, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Aimard, F. Akbar, B. Ali-Mohammadzadeh, T. Alion, K. Allison, S. Alonso Monsalve, M. AlRashed, C. Alt, A. Alton, R. Alvarez , et al. (1221 additional authors not shown)

Abstract: The Deep Underground Neutrino Experiment (DUNE) is a next-generation long-baseline neutrino oscillation experiment with a primary physics goal of observing neutrino and antineutrino oscillation patterns to precisely measure the parameters governing long-baseline neutrino oscillation in a single experiment, and to test the three-flavor paradigm. DUNE's design has been developed by a large, internat… ▽ More The Deep Underground Neutrino Experiment (DUNE) is a next-generation long-baseline neutrino oscillation experiment with a primary physics goal of observing neutrino and antineutrino oscillation patterns to precisely measure the parameters governing long-baseline neutrino oscillation in a single experiment, and to test the three-flavor paradigm. DUNE's design has been developed by a large, international collaboration of scientists and engineers to have unique capability to measure neutrino oscillation as a function of energy in a broadband beam, to resolve degeneracy among oscillation parameters, and to control systematic uncertainty using the exquisite imaging capability of massive LArTPC far detector modules and an argon-based near detector. DUNE's neutrino oscillation measurements will unambiguously resolve the neutrino mass ordering and provide the sensitivity to discover CP violation in neutrinos for a wide range of possible values of $δ_{CP}$. DUNE is also uniquely sensitive to electron neutrinos from a galactic supernova burst, and to a broad range of physics beyond the Standard Model (BSM), including nucleon decays. DUNE is anticipated to begin collecting physics data with Phase I, an initial experiment configuration consisting of two far detector modules and a minimal suite of near detector components, with a 1.2 MW proton beam. To realize its extensive, world-leading physics potential requires the full scope of DUNE be completed in Phase II. The three Phase II upgrades are all necessary to achieve DUNE's physics goals: (1) addition of far detector modules three and four for a total FD fiducial mass of at least 40 kt, (2) upgrade of the proton beam power from 1.2 MW to 2.4 MW, and (3) replacement of the near detector's temporary muon spectrometer with a magnetized, high-pressure gaseous argon TPC and calorimeter. △ Less

Submitted 11 March, 2022; originally announced March 2022.

Comments: Contribution to Snowmass 2021

Using the Energy probability distribution zeros to obtain the critical properties of the two-dimensional anisotropic Heisenberg model

Authors: Gabriel Bruno Garcia de Souza, Bismarck Vaz da Costa

Abstract: In this paper we present a Monte Carlo study of the critical behavior of the easy axis anisotropic Heisenberg spin model in two dimensions. Based on the partial knowledge of the zeros of the energy probability distribution we determine with good precision the phase diagram of the model obtaining the critical temperature and exponents for several values of the anisotropy. Our results indicate that… ▽ More In this paper we present a Monte Carlo study of the critical behavior of the easy axis anisotropic Heisenberg spin model in two dimensions. Based on the partial knowledge of the zeros of the energy probability distribution we determine with good precision the phase diagram of the model obtaining the critical temperature and exponents for several values of the anisotropy. Our results indicate that the model is in the Ising universality class for any anisotropy. △ Less

Submitted 7 July, 2022; v1 submitted 1 March, 2022; originally announced March 2022.

Comments: 13 figures, 9 pages

Fifty Years of Prolog and Beyond

Authors: Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto

Abstract: Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing. Often, the features added by diffe… ▽ More Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing. Often, the features added by different systems were motivated by the interdisciplinary needs of programmers and implementors, yielding systems that, while sharing the "classic" core language, and, in particular, the main aspects of the ISO-Prolog standard, also depart from each other in other aspects. This obviously poses challenges for code portability. The field has also inspired many related, but quite different languages that have created their own communities. This article aims at integrating and applying the main lessons learned in the process of evolution of Prolog. It is structured into three major parts. Firstly, we overview the evolution of Prolog systems and the community approximately up to the ISO standard, considering both the main historic developments and the motivations behind several Prolog implementations, as well as other logic programming languages influenced by Prolog. Then, we discuss the Prolog implementations that are most active after the appearance of the standard: their visions, goals, commonalities, and incompatibilities. Finally, we perform a SWOT analysis in order to better identify the potential of Prolog, and propose future directions along which Prolog might continue to add useful features, interfaces, libraries, and tools, while at the same time improving compatibility between implementations. △ Less

Submitted 14 March, 2022; v1 submitted 26 January, 2022; originally announced January 2022.

Comments: 87 pages, 2 figures. This article has been accepted for publication in Theory and Practice of Logic Programming (TPLP)

Self-Supervised Models are Continual Learners

Authors: Enrico Fini, Victor G. Turrisi da Costa, Xavier Alameda-Pineda, Elisa Ricci, Karteek Alahari, Julien Mairal

Abstract: Self-supervised models have been shown to produce comparable or better visual representations than their supervised counterparts when trained offline on unlabeled data at scale. However, their efficacy is catastrophically reduced in a Continual Learning (CL) scenario where data is presented to the model sequentially. In this paper, we show that self-supervised loss functions can be seamlessly conv… ▽ More Self-supervised models have been shown to produce comparable or better visual representations than their supervised counterparts when trained offline on unlabeled data at scale. However, their efficacy is catastrophically reduced in a Continual Learning (CL) scenario where data is presented to the model sequentially. In this paper, we show that self-supervised loss functions can be seamlessly converted into distillation mechanisms for CL by adding a predictor network that maps the current state of the representations to their past state. This enables us to devise a framework for Continual self-supervised visual representation Learning that (i) significantly improves the quality of the learned representations, (ii) is compatible with several state-of-the-art self-supervised objectives, and (iii) needs little to no hyperparameter tuning. We demonstrate the effectiveness of our approach empirically by training six popular self-supervised models in various CL settings. △ Less

Submitted 1 April, 2022; v1 submitted 8 December, 2021; originally announced December 2021.

Organic ferroelectric Croconic Acid: A concise survey from bulk single crystals to thin films

Authors: Sambit Mohapatra, Salia Cherifi-Hertel, Senthil Kumar Kuppusamy, Guy Schmerber, Jacek Arabski, Benoit Gobaut, Wolfgang Weber, Martin Bowen, Victor Da Costa, Samy Boukari

Abstract: Owing to prospective energy-efficient and environmentally benign applications, organic ferroelectric materials are useful and necessary alternative to inorganic ferroelectrics. Although the first discovered ferroelectric, Rochelle salt, was a salt of an organic compound, organic ferroelectrics have not been as abundant as the inorganic ones. Further, the small polarization values in the organic sy… ▽ More Owing to prospective energy-efficient and environmentally benign applications, organic ferroelectric materials are useful and necessary alternative to inorganic ferroelectrics. Although the first discovered ferroelectric, Rochelle salt, was a salt of an organic compound, organic ferroelectrics have not been as abundant as the inorganic ones. Further, the small polarization values in the organic systems discovered so far have been a demotivating factor for their applications. However, scientific interest and activities surrounding such materials, for the purpose of fundamental understanding and practical applications, have significantly risen lately, especially after the discovery of above-room-temperature ferroelectricity in croconic acid (4,5-dihydroxy-4-cyclopentene-1,2,3-trione, H2C5O5) crystals with polarization values rivalling those found in inorganic ferroelectrics. Its large polarization, organic nature, and vacuum sublimability make croconic acid an ideal candidate for non-toxic and lead-free device applications. In this review article, we survey the scientific activities carried out so far involving ferroelectricity in this novel material, paying equal attention to its bulk single crystal and thin film forms. While we discuss about the origin of ferroelectric order and the reversal of polarization in the bulk form, we also summarize the directions toward applications of the thin films. △ Less

Submitted 24 October, 2021; originally announced October 2021.

Data Type Inference for Logic Programming

Authors: João Barbosa, Mário Florido, Vítor Santos Costa

Abstract: In this paper we present a new static data type inference algorithm for logic programming. Without the need of declaring types for predicates, our algorithm is able to automatically assign types to predicates which, in most cases, correspond to the data types processed by their intended meaning. The algorithm is also able to infer types given data type definitions similar to data definitions in Ha… ▽ More In this paper we present a new static data type inference algorithm for logic programming. Without the need of declaring types for predicates, our algorithm is able to automatically assign types to predicates which, in most cases, correspond to the data types processed by their intended meaning. The algorithm is also able to infer types given data type definitions similar to data definitions in Haskell and, in this case, the inferred types are more informative in general. We present the type inference algorithm, prove some properties and finally, we evaluate our approach on example programs that deal with different data structures. △ Less

Submitted 14 August, 2021; originally announced August 2021.

Comments: Pre-proceedings paper presented at the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), Tallinn, Estonia, and Virtual, September 7-8, 2021 (arXiv:2107.10160)

Report number: LOPSTR/2021/4

Solo-learn: A Library of Self-supervised Methods for Visual Representation Learning

Authors: Victor G. Turrisi da Costa, Enrico Fini, Moin Nabi, Nicu Sebe, Elisa Ricci

Abstract: This paper presents solo-learn, a library of self-supervised methods for visual representation learning. Implemented in Python, using Pytorch and Pytorch lightning, the library fits both research and industry needs by featuring distributed training pipelines with mixed-precision, faster data loading via Nvidia DALI, online linear evaluation for better prototy**, and many additional training tric… ▽ More This paper presents solo-learn, a library of self-supervised methods for visual representation learning. Implemented in Python, using Pytorch and Pytorch lightning, the library fits both research and industry needs by featuring distributed training pipelines with mixed-precision, faster data loading via Nvidia DALI, online linear evaluation for better prototy**, and many additional training tricks. Our goal is to provide an easy-to-use library comprising a large amount of Self-supervised Learning (SSL) methods, that can be easily extended and fine-tuned by the community. solo-learn opens up avenues for exploiting large-budget SSL solutions on inexpensive smaller infrastructures and seeks to democratize SSL by making it accessible to all. The source code is available at https://github.com/vturrisi/solo-learn. △ Less

Submitted 4 February, 2022; v1 submitted 3 August, 2021; originally announced August 2021.

Comments: Accepted to JMLR

Vibrational Properties of a Naturally Occurring Semiconducting van der Waals heterostructure

Authors: V. Z. Costa, Liangbo Liang, Sam Vaziri, Addison Miller, Eric Pop, A. K. M. Newaz

Abstract: We present vibrational properties of Franckeite, which is a naturally occurring van der Waals heterostructure consisting of two different semiconducting layers. Franckeite is a complex layered crystal composed of alternating SnS$_2$ like pseudohexagonal and PbS-like pseudotetragonal layers stacked on top of each other, providing a unique platform to study vibrational properties and thermal transpo… ▽ More We present vibrational properties of Franckeite, which is a naturally occurring van der Waals heterostructure consisting of two different semiconducting layers. Franckeite is a complex layered crystal composed of alternating SnS$_2$ like pseudohexagonal and PbS-like pseudotetragonal layers stacked on top of each other, providing a unique platform to study vibrational properties and thermal transport across layers with mass density and phonon mismatches. By using micro-Raman spectroscopy and first-principles Raman simulations, we found that the PbS-like pseudotetragonal structure is mostly composed of Pb$_3$SbS$_4$. We also discovered several low-frequency Raman modes that originate from the intralayer vibrations of the pseudotetragonal layer. Using density functional theory, we determined all vibrational patterns of Franckeite, whose signatures are observed in the Raman spectrum. By studying temperature dependent Raman spectroscopy (300 K - 500 K), we have found different temperature coefficients for both pseudotetragonal and pseudohexagonal layers. We believe that our study will help understand the vibration modes of its complex heterostructure and the thermal properties at the nanoscale. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Comments: 15 pages, 10 figures

Pushing the limits of EPD zeros method

Authors: R. G. M. Rodrigues, B. V. Costa, L. A. S. Mól

Abstract: The use of partition function zeros in the study of phase transition is growing in the last decade mainly due to improved numerical methods as well as novel formulations and analysis. In this paper the impact of different parameters choice for the energy probability distribution (EPD) zeros recently introduced by Costa et al is explored in search for optimal values. Our results indicate that the E… ▽ More The use of partition function zeros in the study of phase transition is growing in the last decade mainly due to improved numerical methods as well as novel formulations and analysis. In this paper the impact of different parameters choice for the energy probability distribution (EPD) zeros recently introduced by Costa et al is explored in search for optimal values. Our results indicate that the EPD method is very robust against parameter variations and only small deviations on estimated critical temperatures are found even for large variation of parameters, allowing to obtain accurate results with low computational cost. A proposal to circumvent potential convergence issues of the original algorithm is presented and validated for the case where it occurs. △ Less

Submitted 12 July, 2021; originally announced July 2021.

Phase Diagram of Flexible Polymers with Quenched Disordered Charged Monomers

Authors: B. B. Rodrigues, J. C. S. Rocha, B. V. Costa

Abstract: Recent advances in Generalized Ensemble simulations and microcanonical analysis allowed the investigation of structural transitions in polymer models over a broad range of local bending and torsion strengths. It is reasonable to argue that electrostatic interactions play a significant role in stabilizing and mediating structural transitions in polymers. We propose a bead-spring polymer model with… ▽ More Recent advances in Generalized Ensemble simulations and microcanonical analysis allowed the investigation of structural transitions in polymer models over a broad range of local bending and torsion strengths. It is reasonable to argue that electrostatic interactions play a significant role in stabilizing and mediating structural transitions in polymers. We propose a bead-spring polymer model with randomly distributed charged monomers interacting via a screened Coulomb potential. By combining the Replica Exchange Wang-Landau (REWL) method with energy-dependent monomer updates, we constructed the hyperphase diagram as a function of temperature ($T$) and charged monomer concentration ($η$). The coil-globule and globular-solid transitions are respectively second and first order for the entire concentration range. However, above a concentration threshold of $η=80\%$, electrostatic repulsion hinders the formation of solid and liquid globules, and the interplay between enthalpic and entropic interactions leads to the formation of liquid pearl-necklace ad solid helical structures. The probability distribution, $P(E,T)$, indicates that at high $η$, the pearl-necklace liquid phase freezes into a stable solid helix-like structure with a free energy barrier higher than the freezing globule transition at low $η$. △ Less

Submitted 6 March, 2022; v1 submitted 1 June, 2021; originally announced June 2021.

Comments: 10 pages, 8 figures

MSC Class: 82D60

NeuralLog: a Neural Logic Language

Authors: Victor Guimarães, Vítor Santos Costa

Abstract: Application domains that require considering relationships among objects which have real-valued attributes are becoming even more important. In this paper we propose NeuralLog, a first-order logic language that is compiled to a neural network. The main goal of NeuralLog is to bridge logic programming and deep learning, allowing advances in both fields to be combined in order to obtain better machi… ▽ More Application domains that require considering relationships among objects which have real-valued attributes are becoming even more important. In this paper we propose NeuralLog, a first-order logic language that is compiled to a neural network. The main goal of NeuralLog is to bridge logic programming and deep learning, allowing advances in both fields to be combined in order to obtain better machine learning models. The main advantages of NeuralLog are: to allow neural networks to be defined as logic programs; and to be able to handle numeric attributes and functions. We compared NeuralLog with two distinct systems that use first-order logic to build neural networks. We have also shown that NeuralLog can learn link prediction and classification tasks, using the same theory as the compared systems, achieving better results for the area under the ROC curve in four datasets: Cora and UWCSE for link prediction; and Yelp and PAKDD15 for classification; and comparable results for link prediction in the WordNet dataset. △ Less

Submitted 4 May, 2021; originally announced May 2021.

Comments: 14 pages

Nanoscale reversal of stable room temperature ferroelectric polarization in organic croconic acid thin films

Authors: Sambit Mohapatra, Eric Beaurepaire, Wolfgang Weber, Martin Bowen, Samy Boukari, Victor Da Costa

Abstract: It was discovered in 2010 that Croconic Acid, in its crystal form, has the highest polarization among organic ferroelectrics. In the context of eliminating toxic substances from electronic devices, Croconic Acid has a great potential as a sublimable lead-free ferroelectric. However, studies on ferroelectric properties of its thin films are only in their early stages and its capability to be incorp… ▽ More It was discovered in 2010 that Croconic Acid, in its crystal form, has the highest polarization among organic ferroelectrics. In the context of eliminating toxic substances from electronic devices, Croconic Acid has a great potential as a sublimable lead-free ferroelectric. However, studies on ferroelectric properties of its thin films are only in their early stages and its capability to be incorporated in nanoscale devices is unknown. In this work, we demonstrate, upon ferroelectric switching at the nanoscale, stable and enduring room temperature polarization with no leakage current in Croconic Acid thin films. We thus show that it is a promising lead-free organic ferroelectric toward integration in nanoscale devices. The challenging switching current and polarization reversal characterization at the nanoscale was done using a unique combination of piezoresponse force microscopy, polarization switching current spectroscopy and the concurrent electromechanical strain response. Indeed, this combination can help to rationalize otherwise asymmetric polarization-voltage data and distorted hysteresis due to current jumps below the background noise, which are statistically washed away in macrojunctions but become prevalent at the nanoscale. These results are valid irrespective of the ferroelectrics' nature, organic or inorganic. Beyond the potential of Croconic Acid as an ecological ferroelectric material in devices, our detection of a clear nanoscopic polarization switching current thus paves the way for a fundamental understanding and technological applications of the polarization reversal mechanism at the nanoscale. △ Less

Submitted 7 April, 2021; originally announced April 2021.

On Typical Hesitant Fuzzy Languages and Automata

Authors: Valdigleis S. Costa, Benjamín C. Bedregal, Regivan H. N. Santiago

Abstract: The idea of nondeterministic typical hesitant fuzzy automata is a generalization of the fuzzy automata presented by Costa and Bedregal. This paper, presents the sufficient and necessary conditions for a typical hesitant fuzzy language to be computed by nondeterministic typical hesitant fuzzy automata. Besides, the paper introduces a new class of Typical Hesitant Fuzzy Automata with crisp transitio… ▽ More The idea of nondeterministic typical hesitant fuzzy automata is a generalization of the fuzzy automata presented by Costa and Bedregal. This paper, presents the sufficient and necessary conditions for a typical hesitant fuzzy language to be computed by nondeterministic typical hesitant fuzzy automata. Besides, the paper introduces a new class of Typical Hesitant Fuzzy Automata with crisp transitions, and we will show that this new class is equivalent to the original class introduced by Costa and Bedregal △ Less

Submitted 18 February, 2021; originally announced February 2021.

Demonstrating the Evolution of GANs through t-SNE

Authors: Victor Costa, Nuno Lourenço, João Correia, Penousal Machado

Abstract: Generative Adversarial Networks (GANs) are powerful generative models that achieved strong results, mainly in the image domain. However, the training of GANs is not trivial, presenting some challenges tackled by different strategies. Evolutionary algorithms, such as COEGAN, were recently proposed as a solution to improve the GAN training, overcoming common problems that affect the model, such as v… ▽ More Generative Adversarial Networks (GANs) are powerful generative models that achieved strong results, mainly in the image domain. However, the training of GANs is not trivial, presenting some challenges tackled by different strategies. Evolutionary algorithms, such as COEGAN, were recently proposed as a solution to improve the GAN training, overcoming common problems that affect the model, such as vanishing gradient and mode collapse. In this work, we propose an evaluation method based on t-distributed Stochastic Neighbour Embedding (t-SNE) to assess the progress of GANs and visualize the distribution learned by generators in training. We propose the use of the feature space extracted from trained discriminators to evaluate samples produced by generators and from the input dataset. A metric based on the resulting t-SNE maps and the Jaccard index is proposed to represent the model quality. Experiments were conducted to assess the progress of GANs when trained using COEGAN. The results show both by visual inspection and metrics that the Evolutionary Algorithm gradually improves discriminators and generators through generations, avoiding problems such as mode collapse. △ Less

Submitted 25 February, 2021; v1 submitted 31 January, 2021; originally announced February 2021.

Comments: To be published in EvoApplications 2021

Correlations in a polymeric structure immersed in a magnetic solution

Authors: B. V. Costa

Abstract: Polymers are among the most important materials in the modern society being found almost in every activity of our daily life. Understanding their chemical and physical properties lead to improvements of their usage. The correlation functions are one of most important quantities to understand a physical system. The characteristic way it behaves describe how the system fluctuates, and much of the pr… ▽ More Polymers are among the most important materials in the modern society being found almost in every activity of our daily life. Understanding their chemical and physical properties lead to improvements of their usage. The correlation functions are one of most important quantities to understand a physical system. The characteristic way it behaves describe how the system fluctuates, and much of the progress achieved to understand complex systems has been due to their study. Of particular interest in polymer science are the space correlations which describe its mechanical behavior. In this work I study the stiffness of a polymer immersed in a magnetic medium and trapped in an optical tweezers. Using Monte Carlo simulations the correlation function along the chain and the force in the tweezers are obtained as a function of temperature and density of magnetic particles. The results show that the correlation decay has two regimes: an initial very fast decay of order the monomer-monomer spacing and a power law in the long distance regime. The power law exponent has a minimum at a temperature $T_{min}$ for any non zero density of magnetic particles indicating that the system is more correlated in this region. Using a formula for the persistence length derived from the WLC theory one observed that it has a maximum at the same temperature. These results suggest that the correlations in the system may be a combination of exponential and power law. △ Less

Submitted 30 January, 2021; originally announced February 2021.

Comments: Magnetism, Polymers

One-Dimensional Edge Contact to Encapsulated MoS2 with a Superconductor

Authors: A. Seredinski, E. G. Arnault, V. Z. Costa, L. Zhao, T. F. Q. Larson, K. Watanabe, T. Taniguchi, F. Amet, A. K. M. Newaz, G. Finkelstein

Abstract: Establishing ohmic contact to van der Waals semiconductors such as MoS2 is crucial to unlocking their full potential in next-generation electronic devices. Encapsulation of few layer MoS2 with hBN preserves the material's electronic properties but makes electrical contacts more challenging. Progress toward high quality edge contact to encapsulated MoS2 has been recently reported. Here, we evaluate… ▽ More Establishing ohmic contact to van der Waals semiconductors such as MoS2 is crucial to unlocking their full potential in next-generation electronic devices. Encapsulation of few layer MoS2 with hBN preserves the material's electronic properties but makes electrical contacts more challenging. Progress toward high quality edge contact to encapsulated MoS2 has been recently reported. Here, we evaluate a contact methodology using sputtered MoRe, a Type II superconductor with a relatively high critical field and temperature commonly used to induce superconductivity in graphene. We find that the contact transparency is poor and that the devices do not support a measurable supercurrent down to 3 Kelvin, which has ramifications for future fabrication recipes. △ Less

Submitted 15 January, 2021; originally announced January 2021.

Comments: 5 pages, 4 figures

Novel Integer Programming models for the stable kidney exchange problem

Authors: Xenia Klimentova, Péter Biró, Ana Viana, Virginia Costa, João Pedro Pedroso

Abstract: Kidney exchange programs (KEP's) represent an additional possibility of transplant for patients suffering from end stage kidney disease. If a patient has a willing living donor with whom the patient is not compatible, the pair patient--donor can join a pool of incompatible pairs and, if compatibility between patient and donor in two our more pairs exists, organs can be exchanged between them. The… ▽ More Kidney exchange programs (KEP's) represent an additional possibility of transplant for patients suffering from end stage kidney disease. If a patient has a willing living donor with whom the patient is not compatible, the pair patient--donor can join a pool of incompatible pairs and, if compatibility between patient and donor in two our more pairs exists, organs can be exchanged between them. The problem can be modeled as an integer program that, in general, aims at finding the pairs that should be selected for transplant such that maximum number of transplants is performed. In this paper we consider that for each patient there may exist a preference order over the organs that he/she can receive, since a patient may be compatible with several donors but may have a better fit over some than over others. Under this setting, the aim is to find the maximum cardinality stable exchange, a solution where no blocking cycle exists. For this purpose we propose three novel integer programming models based on the well-known edge and cycle formulations. These formulations are adjusted for both finding stable and strongly stable exchanges under strict preferences and for the case when ties in preferences may exist. Furthermore, we study a situation when the stability requirement can be relaxed by addressing the trade-off between maximum cardinality versus number of blocking cycles allowed in a solution. The effectiveness of the proposed models is assessed through extensive computational experiments on a wide set of instances. △ Less

Submitted 9 December, 2020; originally announced December 2020.

MSC Class: 90C10

Many-Body Localization: Transitions in Spin Models

Authors: John Schliemann, Joao Vitor I. Costa, Paul Wenk, J. Carlos Egues

Abstract: We study the transitions between ergodic and many-body localized phases in spin systems, subject to quenched disorder, including the Heisenberg chain and the central spin model. In both cases systems with common spin lengths $1/2$ and $1$ are investigated via exact numerical diagonalization and random matrix techniques. Particular attention is paid to the sample-to-sample variance $(Δ_sr)^2$ of… ▽ More We study the transitions between ergodic and many-body localized phases in spin systems, subject to quenched disorder, including the Heisenberg chain and the central spin model. In both cases systems with common spin lengths $1/2$ and $1$ are investigated via exact numerical diagonalization and random matrix techniques. Particular attention is paid to the sample-to-sample variance $(Δ_sr)^2$ of the averaged consecutive-gap ratio $\langle r\rangle$ for different disorder realizations. For both types of systems and spin lengths we find a maximum in $Δ_sr$ as a function of disorder strength, accompanied by an inflection point of $\langle r\rangle$, signaling the transition from ergodicity to many-body localization. The critical disorder strength is found to be somewhat smaller than the values reported in the recent literature. Further information about the transitions can be gained from the probability distribution of expectation values within a given disorder realization. △ Less

Submitted 23 November, 2020; originally announced November 2020.

Comments: 11 pages, 9 figures. Comments welcome

Journal ref: Phys. Rev. B 103, 174203 (2021)

Quantum advantage in a molecular spintronic engine that harvests thermal fluctuation energy

Authors: Bhavishya Chowrira, Lalit Kandpal, Mathieu Lamblin, Franck Ngassam, Charles-Ambroise Kouakou, Talha Zafar, Damien Mertz, Bertrand Vileno, Christophe Kieber, Gilles Versini, Benoit Gobaut, Loic Joly, Tom Ferte, Elmer Monteblanco, Armel Bahouka, Romain Bernard, Sambit Mohapatra, H. Prima Garcia, S. Elidrissi, M. Gavara, Emmanuel Sternitzky, Victor Da Costa, Michel Hehn, Francois Montaigne, Fadi Choueikani , et al. (6 additional authors not shown)

Abstract: Recent theory and experiments have showcased how to harness quantum mechanics to assemble heat/information engines with efficiencies that surpass the classical Carnot limit. So far, this has required atomic engines that are driven by cumbersome external electromagnetic sources. Here, using molecular spintronics, we propose an implementation that is both electronic and autonomous. Our spintronic qu… ▽ More Recent theory and experiments have showcased how to harness quantum mechanics to assemble heat/information engines with efficiencies that surpass the classical Carnot limit. So far, this has required atomic engines that are driven by cumbersome external electromagnetic sources. Here, using molecular spintronics, we propose an implementation that is both electronic and autonomous. Our spintronic quantum engine heuristically deploys several known quantum assets by having a chain of spin qubits formed by the paramagnetic Co centers of phthalocyanine (Pc) molecules electronically interact with electron-spin selecting Fe/C60 interfaces. Density functional calculations reveal that transport fluctuations across the interface can stabilize spin coherence on the Co paramagnetic centers, which host spin flip processes. Across vertical molecular nanodevices, we measure enduring dc current generation, output power above room temperature, two quantum thermodynamical signatures of the engine's processes, and a record 89% spin polarization of current across the Fe/C60 interface. It is crucially this electron spin selection that forces, through demonic feedback and control, charge current to flow against the built-in potential barrier. Further research into spintronic quantum engines, insight into the quantum information processes within spintronic technologies, and retooling the spintronic-based information technology chain, could help accelerate the transition to clean energy. △ Less

Submitted 18 August, 2022; v1 submitted 22 September, 2020; originally announced September 2020.

Comments: \

A Parametrized Nonlinear Predictive Control Strategy for Relaxing COVID-19 Social Distancing Measures in Brazil

Authors: Marcelo M. Morato, Igor M. L. Pataro, Marcus V. Americano da Costa, Julio E. Normey-Rico

Abstract: In this paper, we formulate a Nonlinear Model Predictive Control (NMPC) to plan appropriate social distancing measures (and relaxations) in order to mitigate the COVID-19 pandemic effects, considering the contagion development in Brazil. The NMPC strategy is designed upon an adapted data-driven Susceptible-Infected-Recovered-Deceased (SIRD) contagion model, which takes into account the effects of… ▽ More In this paper, we formulate a Nonlinear Model Predictive Control (NMPC) to plan appropriate social distancing measures (and relaxations) in order to mitigate the COVID-19 pandemic effects, considering the contagion development in Brazil. The NMPC strategy is designed upon an adapted data-driven Susceptible-Infected-Recovered-Deceased (SIRD) contagion model, which takes into account the effects of social distancing. Furthermore, the adapted SIRD model includes time-varying auto-regressive contagion parameters, which dynamically converge according to the stage of the pandemic. This new model is identified through a three-layered procedures, with analytical regressions, Least-Squares optimization runs and auto-regressive model fits. The data-driven model is validated and shown to adequately describe the contagion curves over large forecast horizons. In this model, control input is defined as finitely parametrized values for social distancing guidelines, which directly affect the transmission and infection rates of the SARS-CoV-2 virus. The NMPC strategy generates piece-wise constant quarantine guidelines which can be relaxed/strengthen as each week passes. The implementation of the method is pursued through a search mechanism, since the control is finitely parametrized and, thus, there exist a finite number of possible control sequences. Simulation essays are shown to illustrate the results obtained with the proposed closed-loop NMPC strategy, which is able to mitigate the number of infections and progressively loosen social distancing measures. With respect to an "open-loop"/no control condition, the number of deaths still could be reduced in up to 30 %. The forecast preview an infection peak to September 2nd, 2020, which could lead to over 1.5 million deaths if no coordinate health policy is enacted. The framework serves as guidelines for possible public health policies in Brazil. △ Less

Submitted 19 July, 2020; originally announced July 2020.

Comments: 32 Pages, 21 Figures, 2 Tables, Preprint to ISA Transactions

Exploring the Evolution of GANs through Quality Diversity

Authors: Victor Costa, Nuno Lourenço, João Correia, Penousal Machado

Abstract: Generative adversarial networks (GANs) achieved relevant advances in the field of generative algorithms, presenting high-quality results mainly in the context of images. However, GANs are hard to train, and several aspects of the model should be previously designed by hand to ensure training success. In this context, evolutionary algorithms such as COEGAN were proposed to solve the challenges in G… ▽ More Generative adversarial networks (GANs) achieved relevant advances in the field of generative algorithms, presenting high-quality results mainly in the context of images. However, GANs are hard to train, and several aspects of the model should be previously designed by hand to ensure training success. In this context, evolutionary algorithms such as COEGAN were proposed to solve the challenges in GAN training. Nevertheless, the lack of diversity and premature optimization can be found in some of these solutions. We propose in this paper the application of a quality-diversity algorithm in the evolution of GANs. The solution is based on the Novelty Search with Local Competition (NSLC) algorithm, adapting the concepts used in COEGAN to this new proposal. We compare our proposal with the original COEGAN model and with an alternative version using a global competition approach. The experimental results evidenced that our proposal increases the diversity of the discovered solutions and leverage the performance of the models found by the algorithm. Furthermore, the global competition approach was able to consistently find better models for GANs. △ Less

Submitted 13 July, 2020; originally announced July 2020.

Comments: Published in GECCO 2020

Optimal Control Concerns Regarding the COVID-19 (SARS-CoV-2) Pandemic in Bahia and Santa Catarina, Brazil

Authors: Marcelo M. Morato, Igor M. L. Pataro, Marcus V. Americano da Costa, Julio E. Normey-Rico

Abstract: The COVID-19 pandemic is the profoundest health crisis of the 21rst century. The SARS-CoV-2 virus arrived in Brazil around March, 2020 and its social and economical backlashes are catastrophic. In this paper, it is investigated how Model Predictive Control (MPC) could be used to plan appropriate social distancing policies to mitigate the pandemic effects in Bahia and Santa Catarina, two states of… ▽ More The COVID-19 pandemic is the profoundest health crisis of the 21rst century. The SARS-CoV-2 virus arrived in Brazil around March, 2020 and its social and economical backlashes are catastrophic. In this paper, it is investigated how Model Predictive Control (MPC) could be used to plan appropriate social distancing policies to mitigate the pandemic effects in Bahia and Santa Catarina, two states of different regions, culture, and population demography in Brazil. In addition, the parameters of Susceptible-Infected-Recovered-Deceased (SIRD) models for these two states are identified using an optimization procedure. The control input to the process is a social isolation guideline passed to the population. Two MPC strategies are designed: a) a centralized MPC, which coordinates a single control policy for both states; and b) a decentralized strategy, for which one optimization is solved for each state. Simulation results are shown to illustrate and compare both control strategies. The framework serves as guidelines to deals with such pandemic phenomena. △ Less

Submitted 24 June, 2020; originally announced June 2020.

Comments: 17 pages, 7 figures, 3 tables, submitted for the XXIII Congresso Brasileiro de Automatica - XXIII Brazilian Congress of Automatica

MSC Class: 93B45

Vortices in Kekulene Molecules

Authors: Lucas Menicucci, Francisco César Sá Barreto, Bismarck vaz da Costa

Abstract: Kekulene is an aromatic hydrocarbon with formula C48H24 arranged in the shape of a closed super-ring as shown in Fig. 2. It consists of a sublattice with 48 C atoms with spin 5/2 and a 24 hydrogen sublattice with spin 2. In this communication, we use Monte Carlo simulations to determine the magnetic structures present in Kekulene for several temperatures (T) and dipole anisotropies (δ = D/J). Our… ▽ More Kekulene is an aromatic hydrocarbon with formula C48H24 arranged in the shape of a closed super-ring as shown in Fig. 2. It consists of a sublattice with 48 C atoms with spin 5/2 and a 24 hydrogen sublattice with spin 2. In this communication, we use Monte Carlo simulations to determine the magnetic structures present in Kekulene for several temperatures (T) and dipole anisotropies (δ = D/J). Our results show that there are two regimes at low temperature separated by a crossover at 2.5 < δcross < 3.0. For δ < δcross the ground state has a unique vortex configuration. In the region δ > δcross arrangements of vortices-antivortices (V-AV) appears. As temperature raises the vortex structure disorders and small oscillations take over. The importance on synthesizing this molecule grounds in the possibility of building real planar structures of sizes at least 10 times smaller than the earlier proposed permalloy nanodots. It is worthy to mention that Kekulene is a planar structure with atomic thickness, which is a great advantage compared with other nanomagnetic structures. △ Less

Submitted 22 June, 2020; originally announced June 2020.

Comments: 8 pages, 5 figures