Showing 1–47 of 47 results for author: Carvalho, V

Generalized Diffusive Epidemic Process with Permanent Immunity in Two Dimensions

Authors: V. R. Carvalho, T. F. A. Alves, G. A. Alves, D. S. M. Alencar, F. W. S. Lima, A. Macedo-Filho, R. S. Ferreira

Abstract: We introduce the generalized diffusive epidemic process, which is a metapopulation model for an epidemic outbreak where a non-sedentary population of walkers can jump along lattice edges with diffusion rates $D_S$ or $D_I$ if they are susceptible or infected, respectively, and recovered individuals possess permanent immunity. Individuals can be contaminated with rate $μ_c$ if they share the same l… ▽ More We introduce the generalized diffusive epidemic process, which is a metapopulation model for an epidemic outbreak where a non-sedentary population of walkers can jump along lattice edges with diffusion rates $D_S$ or $D_I$ if they are susceptible or infected, respectively, and recovered individuals possess permanent immunity. Individuals can be contaminated with rate $μ_c$ if they share the same lattice node with an infected individual and recover with rate $μ_r$, being removed from the dynamics. Therefore, the model does not have the conservation of the active particles composed of susceptible and infected individuals. The reaction-diffusion dynamics are separated into two stages: (i) Brownian diffusion, where the particles can jump to neighboring nodes, and (ii) contamination and recovery reactions. The dynamics are mapped into a growing process by activating lattice nodes with successful contaminations where activated nodes are interpreted as infection sources. In all simulations, the epidemic starts with one infected individual in a lattice filled with susceptibles. Our results indicate a phase transition in the dynamic percolation universality class controlled by the population size, irrespective of diffusion rates $D_S$ and $D_I$ and a subexponential growth of the epidemics in the percolation threshold. △ Less

Submitted 11 July, 2024; originally announced July 2024.

Comments: 8 pages, 4 figures

Assessing the joint effect of temperature and magnetic field on the neutron star equation of state

Authors: Luigi Scurto, Valéria Carvalho, Helena Pais, Constança Providência

Abstract: In this work, we study the effect of strong magnetic fields on the equation of state (EoS) of warm, homogeneous, Neutron Star (NS) matter in beta equilibrium. NS matter is described within a relativistic mean field (RMF) approximation, including both models with non-linear meson terms or with density dependent nucleon-meson couplings. We first study the effect of magnetic fields and finite tempera… ▽ More In this work, we study the effect of strong magnetic fields on the equation of state (EoS) of warm, homogeneous, Neutron Star (NS) matter in beta equilibrium. NS matter is described within a relativistic mean field (RMF) approximation, including both models with non-linear meson terms or with density dependent nucleon-meson couplings. We first study the effect of magnetic fields and finite temperature on the EoS separately, finding that the effect of the latter to be significantly stronger than the one of the former. We then study the combined effect of magnetic fields and temperature on the internal composition. We show how both factors cause an increase in the proton fraction at low density and that, as long as the temperatures considered are not higher than 10 MeV, the effect of the magnetic field on the proton fraction is not small enough to be neglected. △ Less

Submitted 3 July, 2024; originally announced July 2024.

Comments: 10 pages, 11 figures 1 table. Submitted to Phys. Rev. C

Applying Multi-Agent Negotiation to Solve the Production Routing Problem With Privacy Preserving

Authors: Luiza Pellin Biasoto, Vinicius Renan de Carvalho, Jaime Simão Sichman

Abstract: This paper presents a novel approach to address the Production Routing Problem with Privacy Preserving (PRPPP) in supply chain optimization. The integrated optimization of production, inventory, distribution, and routing decisions in real-world industry applications poses several challenges, including increased complexity, discrepancies between planning and execution, and constraints on informatio… ▽ More This paper presents a novel approach to address the Production Routing Problem with Privacy Preserving (PRPPP) in supply chain optimization. The integrated optimization of production, inventory, distribution, and routing decisions in real-world industry applications poses several challenges, including increased complexity, discrepancies between planning and execution, and constraints on information sharing. To mitigate these challenges, this paper proposes the use of intelligent agent negotiation within a hybrid Multi-Agent System (MAS) integrated with optimization algorithms. The MAS facilitates communication and coordination among entities, encapsulates private information, and enables negotiation. This, along with optimization algorithms, makes it a compelling framework for establishing optimal solutions. The approach is supported by real-world applications and synergies between MAS and optimization methods, demonstrating its effectiveness in addressing complex supply chain optimization problems. △ Less

Submitted 13 June, 2024; originally announced June 2024.

Comments: The 15th Workshop on Optimization and Learning in Multiagent Systems

Detecting the third family of compact stars with normalizing flows

Authors: Valéria Carvalho, Márcio Ferreira, Constança Providência, Michał Bejger

Abstract: We explore the anomaly detection framework based on Normalizing Flows (NF) models introduced in \cite{PhysRevC.106.065802} to detect the presence of a large (destabilising) dense matter phase transition in neutron star (NS) observations of masses and radii, and relate the feasibility of detection with parameters of the underlying mass-radius sequence, which is a functional of the dense matter equa… ▽ More We explore the anomaly detection framework based on Normalizing Flows (NF) models introduced in \cite{PhysRevC.106.065802} to detect the presence of a large (destabilising) dense matter phase transition in neutron star (NS) observations of masses and radii, and relate the feasibility of detection with parameters of the underlying mass-radius sequence, which is a functional of the dense matter equation of state. Once trained on simulated data featuring continuous $M(R)$ solutions (i.e., no phase transitions), NF is used to determine the likelihood of a first-order phase transition in a given set of $M(R)$ observations featuring a discontinuity, i.e., perform the anomaly detection. Different mock test sets, featuring two branch solutions in the $M(R)$ diagram, were parameterized by the NS mass at which the phase transition occurs, $M_c$, and the radius difference between the heaviest hadronic star and lightest hybrid star, $ΔR$. We analyze the impact of these parameters on the NF performance in detecting the presence of a first-order phase transition. Among the results, we report that given a set of 15 stars with radius uncertainty of $0.2$ km, a detection of a two-branch solution is possible with 95\% accuracy if $ΔR > 0.4$ km. △ Less

Submitted 14 March, 2024; originally announced March 2024.

Comments: 9 pages, 8 figures

Superconductivity Mediated by Nematic Fluctuations in Tetragonal $\textrm{Fe}\textrm{Se}_{1-x}\textrm{S}_{x}$

Authors: Pranab Kumar Nag, Kirsty Scott, Vanuildo S. de Carvalho, Journey K. Byland, Xinze Yang, Morgan Walker, Aaron G. Greenberg, Peter Klavins, Eduardo Miranda, Adrian Gozar, Valentin Taufour, Rafael M. Fernandes, Eduardo H. da Silva Neto

Abstract: Nematic phases, where electrons in a solid spontaneously break rotational symmetry while preserving the translational symmetry, exist in several families of unconventional superconductors [1, 2]. Although superconductivity mediated by nematic fluctuations is well established theoretically [3-7], it has yet to be unambiguously identified experimentally [8, 9]. A major challenge is that nematicity i… ▽ More Nematic phases, where electrons in a solid spontaneously break rotational symmetry while preserving the translational symmetry, exist in several families of unconventional superconductors [1, 2]. Although superconductivity mediated by nematic fluctuations is well established theoretically [3-7], it has yet to be unambiguously identified experimentally [8, 9]. A major challenge is that nematicity is often intertwined with other degrees of freedom, such as magnetism and charge order. The FeSe$_{1-x}$S$_x$ family of iron based superconductors provides a unique opportunity to explore this concept, as it features an isolated nematic phase that can be suppressed by sulfur substitution at a quantum critical point (QCP) near $x_c = 0.17$, where nematic fluctuations are the largest [10-12]. Here, we performed scanning tunneling spectroscopy measurements to visualize Boguliubov quasiparticle interference patterns, from which we determined the momentum structure of the superconducting gap near the Brillouin zone $Γ$ point of FeSe$_{0.81}$S$_{0.19}$. The results reveal an anisotropic, near nodal gap with minima that are $45^\circ$ rotated with respect to the Fe-Fe direction, characteristic of a nematic pairing interaction, contrary to the usual isotropic gaps due to spin mediated pairing in other tetragonal Fe-based superconductors. The results are also in contrast with pristine FeSe, where the pairing is mediated by spin fluctuations and the gap minima are aligned with the Fe-Fe direction. Therefore, the measured gap structure demonstrates not only a fundamental change of the pairing mechanism across the phase diagram of FeSe$_{1-x}$S$_x$, but it also indicates the existence of superconductivity mediated by nematic fluctuations in FeSe$_{0.81}$S$_{0.19}$. △ Less

Submitted 1 March, 2024; originally announced March 2024.

From NS observations to nuclear matter properties: a machine learning approach

Authors: Valéria Carvalho, Márcio Ferreira, Constança Providência

Abstract: This study is devoted to the inference problem of extracting the nuclear matter properties directly from a set of mass-radius observations. We employ Bayesian neural networks (BNNs), which is a probabilistic model capable of estimating the uncertainties associated with its predictions. To simulate different noise levels on the $M(R)$ observations, we create three different sets of mock data. Our r… ▽ More This study is devoted to the inference problem of extracting the nuclear matter properties directly from a set of mass-radius observations. We employ Bayesian neural networks (BNNs), which is a probabilistic model capable of estimating the uncertainties associated with its predictions. To simulate different noise levels on the $M(R)$ observations, we create three different sets of mock data. Our results show BNNs as an accurate and reliable tool for predicting the nuclear matter properties whenever the true values are not completely outside the training dataset statistics, i.e., if the model is not heavily dependent on its extrapolating capacities. Using real mass-radius pulsar data, the model predicted, for instance, $L_{\text{sym}}=39.80\pm17.52 $ MeV and $K_{\text{sym}}=-101.67\pm62.86 $ MeV ($2σ$ interval). Our study provides a valuable inference framework when new NS data becomes available. △ Less

Submitted 11 January, 2024; originally announced January 2024.

Comments: 15 pages, 12 figures

Multi-Value Alignment in Normative Multi-Agent System: An Evolutionary Optimisation Approach

Authors: Maha Riad, Vinicius de Carvalho, Fatemeh Golpayegani

Abstract: Value-alignment in normative multi-agent systems is used to promote a certain value and to ensure the consistent behaviour of agents in autonomous intelligent systems with human values. However, the current literature is limited to the incorporation of effective norms for single-value alignment with no consideration of agents' heterogeneity and the requirement of simultaneous promotion and alignme… ▽ More Value-alignment in normative multi-agent systems is used to promote a certain value and to ensure the consistent behaviour of agents in autonomous intelligent systems with human values. However, the current literature is limited to the incorporation of effective norms for single-value alignment with no consideration of agents' heterogeneity and the requirement of simultaneous promotion and alignment of multiple values. This research proposes a multi-value promotion model that uses multi-objective evolutionary algorithms and decentralised reasoning to produce the optimum parametric set of norms that is aligned with multiple simultaneous values of heterogeneous agents and the system. To understand various aspects of this complex problem, several evolutionary algorithms were used to find a set of optimised norm parameters considering two toy tax scenarios with two and five values are considered. The results are analysed from different perspectives to show the impact of a selected evolutionary algorithm on the solution, and the importance of understanding the relation between values when prioritising them. △ Less

Submitted 12 October, 2023; originally announced October 2023.

Comments: Accepted in MODeM 2023 Workshop at ECAI 2023. arXiv admin note: substantial text overlap with arXiv:2305.07366

Directed propaganda in the majority-rule model

Authors: Fabricio L. Forgerini, Nuno Crokidakis, Marcio A. V. Carvalho

Abstract: Advertisement and propaganda have changed continuously in the past decades, mainly due to the people's interactions at online platforms and social networks, and operate nowadays reaching a highly specific online audience instead targeting the masses. The impacts of this new media effect, oriented directly for a specific audience, is investigated on this study, in which we focus on the opinion evol… ▽ More Advertisement and propaganda have changed continuously in the past decades, mainly due to the people's interactions at online platforms and social networks, and operate nowadays reaching a highly specific online audience instead targeting the masses. The impacts of this new media effect, oriented directly for a specific audience, is investigated on this study, in which we focus on the opinion evolution of agents in the majority-rule model, considering the presence of directed propaganda. We introduce $p$ as the probability of a "positive" external propaganda and $q$ as the probability to the agents follow the external propaganda. Our results show that the usual majority-rule model stationary state is reached, with a full consensus, only for two cases, namely when the external propaganda is absent or when the media favors only one of the two opinions. However, even for a small influence of external propaganda, the final state is reached with a majority opinion dominating the population. For the case in which the propaganda influence is strong enough among the agents, we show that the consensus can not be reached at all, and we observe the polarization of opinions. In addition, we show through analytical and numerical results that the system undergoes an order-disorder phase transition that occurs at $q_c = 1/3$ for the case $p = 0.5$. △ Less

Submitted 15 November, 2023; v1 submitted 22 September, 2023; originally announced September 2023.

Comments: Accepted for publication in International Journal of Modern Physics C

Journal ref: Int. J. Mod. Phys. C 35, 2450082 (2024)

Topological transition from nodal to nodeless Zeeman splitting in altermagnets

Authors: Rafael M. Fernandes, Vanuildo S. de Carvalho, Turan Birol, Rodrigo G. Pereira

Abstract: In an altermagnet, the symmetry that relates configurations with flipped magnetic moments is a rotation. This makes it qualitatively different from a ferromagnet, where no such symmetry exists, or a collinear antiferromagnet, where this symmetry is a lattice translation. In this paper, we investigate the impact of the crystalline environment, enabled by the spin-orbit coupling, on the magnetic and… ▽ More In an altermagnet, the symmetry that relates configurations with flipped magnetic moments is a rotation. This makes it qualitatively different from a ferromagnet, where no such symmetry exists, or a collinear antiferromagnet, where this symmetry is a lattice translation. In this paper, we investigate the impact of the crystalline environment, enabled by the spin-orbit coupling, on the magnetic and electronic properties of an altermagnet. We find that, because each component of the magnetization acquires its own angular dependence, the Zeeman splitting of the bands has symmetry-protected nodal lines residing on mirror planes of the crystal. Upon crossing the Fermi surface, these nodal lines give rise to pinch points that behave as single or double type-II Weyl nodes. We show that an external magnetic field perpendicular to these mirror planes can only move the nodal lines, such that a critical field value is necessary to collapse the nodes and make the Weyl pinch points annihilate. This unveils the topological nature of the transition from a nodal to a nodeless Zeeman splitting of the bands. We also classify the altermagnetic states of common crystallographic point groups in the presence of spin-orbit coupling, revealing that a broad family of magnetic orthorhombic perovskites can realize altermagnetism. △ Less

Submitted 3 January, 2024; v1 submitted 23 July, 2023; originally announced July 2023.

Comments: revised manuscript accepted for publication as an Editors' Suggestion in PRB

Journal ref: Phys. Rev. B 109, 024404 (2024)

Multipolar spin liquid in an exactly solvable model for $j_\mathrm{eff} = \frac{3}{2}$ moments

Authors: Vanuildo S. de Carvalho, Hermann Freire, Rodrigo G. Pereira

Abstract: We study an exactly solvable model with bond-directional quadrupolar and octupolar interactions between spin-orbital entangled $j_{\mathrm{eff}} = \frac{3}{2}$ moments on the honeycomb lattice. We show that this model features a multipolar spin liquid phase with gapless fermionic excitations. In the presence of perturbations that break time-reversal and rotation symmetries, we find Abelian and non… ▽ More We study an exactly solvable model with bond-directional quadrupolar and octupolar interactions between spin-orbital entangled $j_{\mathrm{eff}} = \frac{3}{2}$ moments on the honeycomb lattice. We show that this model features a multipolar spin liquid phase with gapless fermionic excitations. In the presence of perturbations that break time-reversal and rotation symmetries, we find Abelian and non-Abelian topological phases in which the Chern number evaluates to $0$, $\pm 1$, and $\pm 2$. We also investigate quantum phase transitions out of the multipolar spin liquid using a parton mean-field approach and orbital wave theory. In the regime of strong integrability-breaking interactions, the multipolar spin liquid gives way to ferroquadrupolar-vortex and antiferro-octupolar ordered phases that harbor a hidden spin-$\frac{1}{2}$ Kitaev spin liquid. Our work unveils mechanisms for unusual multipolar orders and quantum spin liquids in Mott insulators with strong spin-orbit coupling. △ Less

Submitted 13 October, 2023; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: 14 pages, 9 figures

Journal ref: Phys. Rev. B 108, 094418 (2023)

Microscopic origin of polarization-entangled Stokes-anti-Stokes photons in diamond

Authors: Tiago A. Freitas, Paula Machado, Lucas V. de Carvalho, Diego Sier, Raul Corrêa, Riichiro Saito, Marcelo F. Santos, Carlos H. Monken, Ado Jorio

Abstract: Violation of the Clauser-Horne-Shimony-Holt inequality for the polarization of Stokes-anti-Stokes (SaS) photon pairs near a Raman resonance is demonstrated. The pairs are generated by shining a pulsed laser on a diamond sample, where two photons of the laser are converted into a pair of photons of different frequencies. The generated pairs are collected by standard Bell analyzers and shown to be e… ▽ More Violation of the Clauser-Horne-Shimony-Holt inequality for the polarization of Stokes-anti-Stokes (SaS) photon pairs near a Raman resonance is demonstrated. The pairs are generated by shining a pulsed laser on a diamond sample, where two photons of the laser are converted into a pair of photons of different frequencies. The generated pairs are collected by standard Bell analyzers and shown to be entangled in polarization, with the degree of entanglement depending on the spectral region and on the orientation of the polarization of the incident light with respect to the crystallographic orientation of the sample. This result opens up the possibility to combine quantum optics and SaS Raman spectroscopy in order to improve materials science and quantum information. △ Less

Submitted 14 June, 2023; originally announced June 2023.

Comments: 12 pages, 3 figures

Decoding Neutron Star Observations: Revealing Composition through Bayesian Neural Networks

Authors: Valéria Carvalho, Márcio Ferreira, Tuhin Malik, Constança Providência

Abstract: We exploit the great potential offered by Bayesian Neural Networks (BNNs) to directly decipher the internal composition of neutron stars (NSs) based on their macroscopic properties. By analyzing a set of simulated observations, namely NS radius and tidal deformability, we leverage BNNs as effective tools for inferring the proton fraction and sound speed within NS interiors. To achieve this, severa… ▽ More We exploit the great potential offered by Bayesian Neural Networks (BNNs) to directly decipher the internal composition of neutron stars (NSs) based on their macroscopic properties. By analyzing a set of simulated observations, namely NS radius and tidal deformability, we leverage BNNs as effective tools for inferring the proton fraction and sound speed within NS interiors. To achieve this, several BNNs models were developed upon a dataset of $\sim$ 25K nuclear EoS within a relativistic mean-field framework, obtained through Bayesian inference that adheres to minimal low-density constraints. Unlike conventional neural networks, BNNs possess an exceptional quality: they provide a prediction uncertainty measure. To simulate the inherent imperfections present in real-world observations, we have generated four distinct training and testing datasets that replicate specific observational uncertainties. Our initial results demonstrate that BNNs successfully recover the composition with reasonable levels of uncertainty. Furthermore, using mock data prepared with the DD2, a different class of relativistic mean-field model utilized during training, the BNN model effectively retrieves the proton fraction and speed of sound for neutron star matter. △ Less

Submitted 14 September, 2023; v1 submitted 12 June, 2023; originally announced June 2023.

Comments: 16 pages, 15 figures, published version

Journal ref: Phys. Rev. D 108, 043031 (2023)

Multi-Value Alignment in Normative Multi-Agent System: Evolutionary Optimisation Approach

Authors: Maha Riad, Vinicius Renan de Carvalho, Fatemeh Golpayegani

Abstract: Value-alignment in normative multi-agent systems is used to promote a certain value and to ensure the consistent behavior of agents in autonomous intelligent systems with human values. However, the current literature is limited to incorporation of effective norms for single value alignment with no consideration of agents' heterogeneity and the requirement of simultaneous promotion and alignment of… ▽ More Value-alignment in normative multi-agent systems is used to promote a certain value and to ensure the consistent behavior of agents in autonomous intelligent systems with human values. However, the current literature is limited to incorporation of effective norms for single value alignment with no consideration of agents' heterogeneity and the requirement of simultaneous promotion and alignment of multiple values. This research proposes a multi-value promotion model that uses multi-objective evolutionary algorithms to produce the optimum parametric set of norms that is aligned with multiple simultaneous values of heterogeneous agents and the system. To understand various aspects of this complex problem, several evolutionary algorithms were used to find a set of optimised norm parameters considering two toy tax scenarios with two and five values are considered. The results are analysed from different perspectives to show the impact of a selected evolutionary algorithm on the solution, and the importance of understanding the relation between values when prioritising them. △ Less

Submitted 12 May, 2023; originally announced May 2023.

Extracting nuclear matter properties from the neutron star matter equation of state using deep neural networks

Authors: Márcio Ferreira, Valéria Carvalho, Constança Providência

Abstract: The extraction of the nuclear matter properties from neutron star (NS) observations is nowadays an important issue, in particular, the properties that characterize the symmetry energy which are essential to describe correctly asymmetric nuclear matter. We use deep neural networks (DNNs) to map the relation between cold $β$-equilibrium NS matter and the nuclear matter properties. Assuming a quadrat… ▽ More The extraction of the nuclear matter properties from neutron star (NS) observations is nowadays an important issue, in particular, the properties that characterize the symmetry energy which are essential to describe correctly asymmetric nuclear matter. We use deep neural networks (DNNs) to map the relation between cold $β$-equilibrium NS matter and the nuclear matter properties. Assuming a quadratic dependence on the isospin asymmetry for the energy per particle of homogeneous nuclear matter and using a Taylor expansion up to fourth order in the iso-scalar and iso-vector contributions, we generate a dataset of different realizations of $β$-equilibrium NS matter and the corresponding nuclear matter properties. The DNN model was successfully trained, attaining great accuracy in the test set. Finally, a real case scenario was used to test the DNN model, where a set of 33 nuclear models, obtained within a relativistic mean field approach or a Skyrme force description, were fed into the DNN model and the corresponding nuclear matter parameters recovered with considerable accuracy, in particular, the standard deviations $σ(L_{\text{sym}})= 12.85$ MeV and $σ(K_{\text{sat}})= 41.02$ MeV were obtained, respectively, for the slope of the symmetry energy and the nuclear matter incompressibility at saturation. △ Less

Submitted 2 December, 2022; v1 submitted 19 September, 2022; originally announced September 2022.

Comments: 10 pages, 5 figures; published version

Superconductivity near a nematoelastic quantum critical point

Authors: Vanuildo S. de Carvalho, Hermann Freire

Abstract: We study the pairing instability of a two-dimensional metallic system induced by Ising-nematic quantum fluctuations in the presence of an unavoidable relevant coupling of the nematic order parameter to the elastic modes (acoustic phonons) of the lattice. We find that this nematoelastic coupling $λ_\mathrm{latt}$ leads to a decrease of both the superconducting (SC) critical temperature $T_c$ and th… ▽ More We study the pairing instability of a two-dimensional metallic system induced by Ising-nematic quantum fluctuations in the presence of an unavoidable relevant coupling of the nematic order parameter to the elastic modes (acoustic phonons) of the lattice. We find that this nematoelastic coupling $λ_\mathrm{latt}$ leads to a decrease of both the superconducting (SC) critical temperature $T_c$ and the gap function $Δ$, regardless of the gap symmetry. Interestingly, we show that $λ_\mathrm{latt}$ provides a knob that allows us to investigate the emergence of the SC phase at low temperatures, as an instability from either a non-Fermi liquid or a Fermi liquid normal state. The phase transitions between the SC and these normal states are characterized by different critical exponents, which may also vary for each gap symmetry. Finally, we argue that these results might explain the dependence of $T_c$ in the vicinity of the nematic quantum critical point exhibited by the compound FeSe$_{1 - x}$S$_x$. △ Less

Submitted 25 April, 2022; originally announced April 2022.

Comments: 6 pages, 4 figures

Journal ref: Phys. Rev. B 105, L220501 (2022)

Search for coherent elastic neutrino-nucleus scattering at a nuclear reactor with CONNIE 2019 data

Authors: CONNIE collaboration, Alexis Aguilar-Arevalo, Javier Bernal, Xavier Bertou, Carla Bonifazi, Gustavo Cancelo, Victor G. P. B. de Carvalho, Brenda A. Cervantes-Vergara, Claudio Chavez, Gustavo Coelho Corrêa, Juan C. D'Olivo, João C. dos Anjos, Juan Estrada, Aldo R. Fernandes Neto, Guillermo Fernandez Moroni, Ana Foguel, Richard Ford, Julián Gasanego Barbuscio, Juan Gonzalez Cuevas, Susana Hernandez, Federico Izraelevitch, Ben Kilminster, Kevin Kuk, Herman P. Lima Jr, Martin Makler , et al. (11 additional authors not shown)

Abstract: The Coherent Neutrino-Nucleus Interaction Experiment (CONNIE) is taking data at the Angra 2 nuclear reactor with the aim of detecting the coherent elastic scattering of reactor antineutrinos with silicon nuclei using charge-coupled devices (CCDs). In 2019 the experiment operated with a hardware binning applied to the readout stage, leading to lower levels of readout noise and improving the detecti… ▽ More The Coherent Neutrino-Nucleus Interaction Experiment (CONNIE) is taking data at the Angra 2 nuclear reactor with the aim of detecting the coherent elastic scattering of reactor antineutrinos with silicon nuclei using charge-coupled devices (CCDs). In 2019 the experiment operated with a hardware binning applied to the readout stage, leading to lower levels of readout noise and improving the detection threshold down to 50 eV. The results of the analysis of 2019 data are reported here, corresponding to the detector array of 8 CCDs with a fiducial mass of 36.2 g and a total exposure of 2.2 kg-days. The difference between the reactor-on and reactor-off spectra shows no excess at low energies and yields upper limits at 95% confidence level for the neutrino interaction rates. In the lowest-energy range, 50-180 eV, the expected limit stands at 34 (39) times the standard model prediction, while the observed limit is 66 (75) times the standard model prediction with Sarkis (Chavarria) quenching factors. △ Less

Submitted 6 April, 2022; v1 submitted 25 October, 2021; originally announced October 2021.

Comments: 23 pages, 14 figures

Journal ref: J. High Energ. Phys. 2022, 17 (2022)

Odd-frequency pair density wave in the Kitaev-Kondo lattice model

Authors: Vanuildo S. de Carvalho, Rafael M. P. Teixeira, Hermann Freire, Eduardo Miranda

Abstract: We investigate the properties of the Kitaev-Kondo lattice model defined on a bilayer honeycomb lattice by means of the SO(3) Majorana representation for spin-$1/2$ moments. We first consider the pairing of neighboring sites for the parent Kitaev spin liquid (KSL) Hamiltonian to render the Majorana and the spin-$1/2$ Hilbert spaces perfectly equivalent to each other. As a consequence, we demonstrat… ▽ More We investigate the properties of the Kitaev-Kondo lattice model defined on a bilayer honeycomb lattice by means of the SO(3) Majorana representation for spin-$1/2$ moments. We first consider the pairing of neighboring sites for the parent Kitaev spin liquid (KSL) Hamiltonian to render the Majorana and the spin-$1/2$ Hilbert spaces perfectly equivalent to each other. As a consequence, we demonstrate that this decoupling of the Kitaev interaction in terms of the SO(3) Majorana fermions reproduces exactly the spectrum of the KSL model alone. Then, by considering the effect of a local Kondo coupling $J_K$ in the model and decoupling it in terms of an order parameter that physically must have a finite staggering phase, we obtain that the system undergoes a quantum phase transition from a fractionalized Fermi liquid to a nematic triplet superconducting (SC) phase as $J_K$ is increased. Depending on the model parameters, this SC phase can exhibit either Dirac points, Bogoliubov-Fermi lines, or Bogoliubov-Fermi surfaces as nodal bulk manifolds. The surface states in this latter case are also characterized by topologically protected antichiral edge modes. The SC phase breaks time-reversal symmetry and exhibits a coexistence of a dominant odd-frequency pairing with a small even-frequency component for electronic excitations localized on sites of the same sublattice of the system. Finally, we show that this SC phase is in fact a pair-density-wave state, with Cooper pairs possessing a finite center-of-mass momentum in zero magnetic field. △ Less

Submitted 19 May, 2021; v1 submitted 14 January, 2021; originally announced January 2021.

Comments: $14 + ε$ pages, 9 figures

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

Arc Flow Formulations Based on Dynamic Programming: Theoretical Foundations and Applications

Authors: Vinícius L. de Lima, Cláudio Alves, François Clautiaux, Manuel Iori, José M. Valério de Carvalho

Abstract: Network flow formulations are among the most successful tools to solve optimization problems. Such formulations correspond to determining an optimal flow in a network. One particular class of network flow formulations is the arc flow, where variables represent flows on individual arcs of the network. For $\mathcal{NP}$-hard problems, polynomial-sized arc flow models typically provide weak linear r… ▽ More Network flow formulations are among the most successful tools to solve optimization problems. Such formulations correspond to determining an optimal flow in a network. One particular class of network flow formulations is the arc flow, where variables represent flows on individual arcs of the network. For $\mathcal{NP}$-hard problems, polynomial-sized arc flow models typically provide weak linear relaxations and may have too much symmetry to be efficient in practice. Instead, arc flow models with a pseudo-polynomial size usually provide strong relaxations and are efficient in practice. The interest in pseudo-polynomial arc flow formulations has grown considerably in the last twenty years, in which they have been used to solve many open instances of hard problems. A remarkable advantage of pseudo-polynomial arc flow models is the possibility to solve practical-sized instances directly by a Mixed Integer Linear Programming solver, avoiding the implementation of complex methods based on column generation. In this survey, we present theoretical foundations of pseudo-polynomial arc flow formulations, by showing a relation between their network and Dynamic Programming (DP). This relation allows a better understanding of the strength of these formulations, through a link with models obtained by Dantzig-Wolfe decomposition. The relation with DP also allows a new perspective to relate state-space relaxation methods for DP with arc flow models. We also present a dual point of view to contrast the linear relaxation of arc flow models with that of models based on paths and cycles. To conclude, we review the main solution methods and applications of arc flow models based on DP in several domains such as cutting, packing, scheduling, and routing. △ Less

Submitted 15 April, 2021; v1 submitted 1 October, 2020; originally announced October 2020.

Improving Robustness on Seasonality-Heavy Multivariate Time Series Anomaly Detection

Authors: Farzaneh Khoshnevisan, Zhewen Fan, Vitor R. Carvalho

Abstract: Robust Anomaly Detection (AD) on time series data is a key component for monitoring many complex modern systems. These systems typically generate high-dimensional time series that can be highly noisy, seasonal, and inter-correlated. This paper explores some of the challenges in such data, and proposes a new approach that makes inroads towards increased robustness on seasonal and contaminated data,… ▽ More Robust Anomaly Detection (AD) on time series data is a key component for monitoring many complex modern systems. These systems typically generate high-dimensional time series that can be highly noisy, seasonal, and inter-correlated. This paper explores some of the challenges in such data, and proposes a new approach that makes inroads towards increased robustness on seasonal and contaminated data, while providing a better root cause identification of anomalies. In particular, we propose the use of Robust Seasonal Multivariate Generative Adversarial Network (RSM-GAN) that extends recent advancements in GAN with the adoption of convolutional-LSTM layers and attention mechanisms to produce excellent performance on various settings. We conduct extensive experiments in which not only do this model displays more robust behavior on complex seasonality patterns, but also shows increased resistance to training data contamination. We compare it with existing classical and deep-learning AD models, and show that this architecture is associated with the lowest false positive rate and improves precision by 30% and 16% in real-world and synthetic data, respectively. △ Less

Submitted 24 July, 2020; originally announced July 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1911.07104

Journal ref: KDD Workshop on Mining and Learning from Time Series, 2020

Temporal data series of COVID-19 epidemics in the USA, Asia and Europe suggests a selective sweep of SARS-CoV-2 Spike D614G variant

Authors: Taima N. Furuyama, Fernando Antoneli, Isabel M. V. G. Carvalho, Marcelo R. S. Briones, Luiz M. R. Janini

Abstract: The COVID-19 pandemic started in Wuhan, China, and caused the worldwide spread of the RNA virus SARS-CoV-2, the causative agent of COVID-19. Because of its mutational rate, wide geographical distribution, and host response variance this coronavirus is currently evolving into an array of strains with increasing genetic diversity. Most variants apparently have neutral effects for disease spread and… ▽ More The COVID-19 pandemic started in Wuhan, China, and caused the worldwide spread of the RNA virus SARS-CoV-2, the causative agent of COVID-19. Because of its mutational rate, wide geographical distribution, and host response variance this coronavirus is currently evolving into an array of strains with increasing genetic diversity. Most variants apparently have neutral effects for disease spread and symptoms severity. However, in the viral Spike protein, which is responsible for host cell attachment and invasion, an emergent variant, containing the amino acid substitution D to G in position 614 (D614G), was suggested to increase viral infection capability. To test whether this variant has epidemiological impact, the temporal distributions of the SARS-CoV-2 samples bearing D or G at position 614 were compared in the USA, Asia and Europe. The epidemiological curves were compared at early and late epidemic stages. At early stages, where containment measures were still not fully implemented, the viral variants are supposed to be unconstrained and its growth curves might approximate the free viral dynamics. Our analysis shows that the D614G prevalence and the growth rates of COVID-19 epidemic curves are correlated in the USA, Asia and Europe. Our results suggest a selective sweep that can be explained, at least in part, by a propagation advantage of this variant, in other words, that the molecular level effects of D614G have sufficient impact on population transmission dynamics as to be detected by differences in rate coefficients of epidemic growth curves. △ Less

Submitted 20 June, 2020; originally announced June 2020.

Comments: 11 pages, 2 figures, 2 supplementary tables

Journal ref: Genet. Mol. Res. 20(4) 2021: GMR18960

Thermodynamic signatures of an antiferromagnetic quantum critical point inside a superconducting dome

Authors: Vanuildo S. de Carvalho, Andrey V. Chubukov, Rafael M. Fernandes

Abstract: Recent experiments in unconventional superconductors, and in particular iron-based materials, have reported evidence of an antiferromagnetic quantum critical point (AFM-QCP) emerging inside the superconducting dome of the phase diagram. Fluctuations associated with such an AFM-QCP are expected to promote unusual temperature dependencies of thermodynamic quantities. Here, we compute the $T$ depende… ▽ More Recent experiments in unconventional superconductors, and in particular iron-based materials, have reported evidence of an antiferromagnetic quantum critical point (AFM-QCP) emerging inside the superconducting dome of the phase diagram. Fluctuations associated with such an AFM-QCP are expected to promote unusual temperature dependencies of thermodynamic quantities. Here, we compute the $T$ dependence of the specific heat $C(T)$ deep inside a fully gapped $s^{+-}$ superconducting state as the AFM-QCP is approached. We find that, at the AFM-QCP, the specific heat $C(T)$ vanishes quadratically with temperature, as opposed to the typical exponential suppression seen in fully-gapped BCS superconductors. This robust result is due to a non-analytic contribution to the free-energy arising from the general form of the bosonic (AFM) propagator in the SC state. Away from the AFM-QCP, as temperature is lowered, $C(T)$ shows a crossover from a $T^2$ behavior to an exponential behavior, with the crossover temperature scale set by the value of the superconducting gap and the distance to the QCP. We argue that these features in the specific heat can be used to unambiguously determine the existence of AFM-QCPs inside the superconducting domes of iron-based and other fully gapped unconventional superconductors. △ Less

Submitted 19 July, 2020; v1 submitted 17 April, 2020; originally announced April 2020.

Comments: 10 pages, 5 figures, new Section V included

Journal ref: Phys. Rev. B 102, 045125 (2020)

Quadrupolar spin liquid, octupolar Kondo coupling and odd-frequency superconductivity in an exactly solvable model

Authors: Carlene S. de Farias, Vanuildo S. de Carvalho, Eduardo Miranda, Rodrigo G. Pereira

Abstract: We propose an exactly solvable model for $j_{\text{eff}}=\frac32$ local moments on the honeycomb lattice. Our construction is guided by a symmetry analysis and by the requirement of an exact solution in terms of a Majorana fermion representation for multipole operators. The main interaction in the model can be interpreted as a bond-dependent quadrupole-quadrupole interaction. When time reversal sy… ▽ More We propose an exactly solvable model for $j_{\text{eff}}=\frac32$ local moments on the honeycomb lattice. Our construction is guided by a symmetry analysis and by the requirement of an exact solution in terms of a Majorana fermion representation for multipole operators. The main interaction in the model can be interpreted as a bond-dependent quadrupole-quadrupole interaction. When time reversal symmetry is explicitly broken, we obtain a gapped spin liquid with a single chiral Majorana edge mode. We also investigate another solvable model in which the time-reversal-invariant spin liquid is coupled to conduction electrons in a superconductor. In the presence of a Kondo-like coupling that involves the octupole moment of the localized spins, the itinerant electrons hybridize with the emergent Majorana fermions in the spin liquid. This leads to spontaneous time reversal symmetry breaking and generates odd-frequency pairing. Our results suggest that $j_{\text{eff}}=\frac32$ systems with strong quadrupole-quadrupole interactions may provide a route towards non-Abelian quantum spin liquids and unconventional superconductivity. △ Less

Submitted 12 August, 2020; v1 submitted 30 March, 2020; originally announced March 2020.

Comments: 16 pages, 8 figures. We corrected the statement about the number of edge states in the chiral phase of the quadrupolar spin liquid. We also added the appendix B

Journal ref: Phys. Rev. B 102, 075110 (2020)

Varieties of Regular Pseudocomplemented de Morgan Algebras

Authors: M. E. Adams, H. P. Sankappanavar, Júlia Vaz de Carvalho

Abstract: In this paper, we investigate the varieties $\mathbf M_n$ and $\mathbf K_n$ of regular pseudocomplemented de Morgan and Kleene algebras of range $n$, respectively. Priestley duality as it applies to pseudocomplemented de Morgan algebras is used. We characterise the dual spaces of the simple (equivalently, subdirectly irreducible) algebras in $\mathbf M_n$ and explicitly describe the dual spaces of… ▽ More In this paper, we investigate the varieties $\mathbf M_n$ and $\mathbf K_n$ of regular pseudocomplemented de Morgan and Kleene algebras of range $n$, respectively. Priestley duality as it applies to pseudocomplemented de Morgan algebras is used. We characterise the dual spaces of the simple (equivalently, subdirectly irreducible) algebras in $\mathbf M_n$ and explicitly describe the dual spaces of the simple algebras in $\mathbf M_1$ and $\mathbf K_1$. We show that the variety $\mathbf M_1$ is locally finite, but this property does not extend to $\mathbf M_n$ or even $\mathbf K_n$ for $n \geq 2$. We also show that the lattice of subvarieties of $\mathbf K_1$ is an $ω+ 1$ chain and the cardinality of the lattice of subvarieties of either $\mathbf K_2$ or $\mathbf M_1$ is $2^ω$. A description of the lattice of subvarieties of $\mathbf M_1$ is given. △ Less

Submitted 16 January, 2020; originally announced January 2020.

Comments: 29 pages; 2 figures

MSC Class: Primary \ 06D30; 06D15; 03G25; Secondary \ 08B15; 06D50; 03G10

DC resistivity near a nematic quantum critical point: Effects of weak disorder and acoustic phonons

Authors: Lucas E. Vieira, Vanuildo S. de Carvalho, Hermann Freire

Abstract: We calculate the resistivity associated with an Ising-nematic quantum critical point in the presence of disorder and acoustic phonons in the lattice model. We use the memory-matrix transport theory, which has a crucial advantage compared to other methods of not relying on the existence of well-defined quasiparticles in the low-energy effective theory. As a result, we obtain that by including an in… ▽ More We calculate the resistivity associated with an Ising-nematic quantum critical point in the presence of disorder and acoustic phonons in the lattice model. We use the memory-matrix transport theory, which has a crucial advantage compared to other methods of not relying on the existence of well-defined quasiparticles in the low-energy effective theory. As a result, we obtain that by including an inevitable interaction between the nematic fluctuations and the elastic degrees of freedom of the lattice (parametrized by the nemato-elastic coupling $κ_{\text{latt}}$), the resistivity $ρ(T)$ of the system as a function of temperature obeys a universal scaling form described by $ρ(T)\sim T\ln (1/T)$ at high temperatures, reminiscent of the paradigmatic strange metal regime observed in many strongly correlated compounds. For a window of temperatures comparable with $κ^{3/2}_{\text{latt}}\varepsilon_F$ (where $\varepsilon_F$ is the Fermi energy of the microscopic model), the system displays another regime in which the resistivity is consistent with a description in terms of $ρ(T)\sim T^α$, where the effective exponent roughly satisfies the inequality $1\lesssimα\lesssim 2$. However, in the low-temperature limit (i.e., $T\llκ^{3/2}_{\text{latt}}\varepsilon_F$), the properties of the quantum critical state change in an important way depending on the types of disorder present in the system: It can either recover a conventional Fermi liquid described by $ρ(T)\sim T^2$ or it could exhibit yet another non-Fermi liquid regime characterized by the scaling form $ρ(T)-ρ_0\sim T^2\ln T$. Our results emphasize the key role played by both phonon and disorder effects in the scenario of nematic quantum criticality and might be fundamental for addressing recent transport experiments in some iron-based superconductors. △ Less

Submitted 24 June, 2020; v1 submitted 24 December, 2019; originally announced December 2019.

Comments: 18 pages, 9 figures

Journal ref: Annals of Physics 419, 168230 (2020)

Resistivity near a nematic quantum critical point: Impact of acoustic phonons

Authors: V. S. de Carvalho, R. M. Fernandes

Abstract: We revisit the issue of the resistivity of a two-dimensional electronic system tuned to a nematic quantum critical point (QCP), focusing on the non-trivial impact of the coupling to the acoustic phonons. Due to the unavoidable linear coupling between the electronic nematic order parameter and the lattice strain fields, long-range nematic interactions mediated by the phonons emerge in the problem.… ▽ More We revisit the issue of the resistivity of a two-dimensional electronic system tuned to a nematic quantum critical point (QCP), focusing on the non-trivial impact of the coupling to the acoustic phonons. Due to the unavoidable linear coupling between the electronic nematic order parameter and the lattice strain fields, long-range nematic interactions mediated by the phonons emerge in the problem. By solving the semi-classical Boltzmann equation in the presence of scattering by impurities and nematic fluctuations, we determine the temperature-dependence of the resistivity as the nematic QCP is approached. One of the main effects of the nemato-elastic coupling is to smooth the electronic non-equilibrium distribution function, making it approach the simple cosine angular dependence even when the impurity scattering is not too strong. We find that at temperatures lower than a temperature scale set by the nemato-elastic coupling, the resistivity shows the $T^2$ behavior characteristic of a Fermi liquid. This is in contrast to the $T^{4/3}$ low-temperature behavior expected for a lattice-free nematic quantum critical point. More importantly, we show that the effective resistivity exponent $α_\text{eff}(T)$ in $ρ(T)-ρ_0\sim T^{α_\text{eff}(T)}$ displays a pronounced temperature dependence, implying that a nematic QCP cannot generally be characterized by a simple resistivity exponent. We discuss the implications of our results to the interpretation of experimental data, particularly in the nematic superconductor FeSe$_{1-x}$S$_x$. △ Less

Submitted 4 September, 2019; v1 submitted 7 June, 2019; originally announced June 2019.

Comments: 11 pages, 6 figures

Journal ref: Phys. Rev. B 100, 115103 (2019)

How production networks amplify economic growth

Authors: James McNerney, Charles Savoie, Francesco Caravelli, Vasco M. Carvalho, J. Doyne Farmer

Abstract: Technological improvement is the most important cause of long-term economic growth. We study the effects of technology improvement in the setting of a production network, in which each producer buys input goods and converts them to other goods, selling the product to households or other producers. We show how this network amplifies the effects of technological improvements as they propagate along… ▽ More Technological improvement is the most important cause of long-term economic growth. We study the effects of technology improvement in the setting of a production network, in which each producer buys input goods and converts them to other goods, selling the product to households or other producers. We show how this network amplifies the effects of technological improvements as they propagate along chains of production. Longer production chains for an industry bias it towards faster price reduction, and longer production chains for a country bias it towards faster GDP growth. These predictions are in good agreement with data and improve with the passage of time, demonstrating a key influence of production chains in price change and output growth over the long term. △ Less

Submitted 17 November, 2021; v1 submitted 17 October, 2018; originally announced October 2018.

Comments: 45 pages, 12 figures

Journal ref: PNAS 119 (1) e2106031118 (2021)

Edge magnetization and spin transport in an SU(2)-symmetric Kitaev spin liquid

Authors: V. S. de Carvalho, H. Freire, E. Miranda, R. G. Pereira

Abstract: We investigate the edge magnetism and the spin transport properties of an SU(2)-symmetric Kitaev spin liquid (KSL) model put forward by Yao and Lee [Phys. Rev. Lett. \textbf{107}, 087205 (2011)] on the honeycomb lattice. In this model, the spin degrees of freedom fractionalize into a $\mathbb{Z}_{2}$ static gauge field and three species of either gapless (Dirac) or gapped (chiral) Majorana fermion… ▽ More We investigate the edge magnetism and the spin transport properties of an SU(2)-symmetric Kitaev spin liquid (KSL) model put forward by Yao and Lee [Phys. Rev. Lett. \textbf{107}, 087205 (2011)] on the honeycomb lattice. In this model, the spin degrees of freedom fractionalize into a $\mathbb{Z}_{2}$ static gauge field and three species of either gapless (Dirac) or gapped (chiral) Majorana fermionic excitations. We find that, when a magnetic field is applied to a zigzag edge, the Dirac KSL exhibits a nonlocal magnetization associated with the existence of zero-energy edge modes. The application of a spin bias $V=μ_{\uparrow}-μ_{\downarrow}$ at the interface of the spin system with a normal metal produces a spin current into the KSL, which depends, in the zero-temperature limit, as a power-law on $V$ for both Dirac and chiral KSLs, but with different exponents. Lastly, we study the longitudinal spin Seebeck effect, in which a spin current is driven by the combined action of a magnetic field perpendicular to the plane of the honeycomb lattice and a thermal gradient at the interface of the KSL with a metal. Our results suggest that edge magnetization and spin transport can be used to probe the existence of charge-neutral edge states in quantum spin liquids. △ Less

Submitted 28 June, 2018; originally announced June 2018.

Comments: 13 pages, 7 figures

Journal ref: Phys. Rev. B 98, 155105 (2018)

Bayesian nonparametric inference for the covariate-adjusted ROC curve

Authors: Vanda Inacio de Carvalho, Maria Xose Rodriguez-Alvarez

Abstract: Accurate diagnosis of disease is of fundamental importance in clinical practice and medical research. Before a medical diagnostic test is routinely used in practice, its ability to distinguish between diseased and nondiseased states must be rigorously assessed through statistical analysis. The receiver operating characteristic (ROC) curve is the most popular used tool for evaluating the discrimina… ▽ More Accurate diagnosis of disease is of fundamental importance in clinical practice and medical research. Before a medical diagnostic test is routinely used in practice, its ability to distinguish between diseased and nondiseased states must be rigorously assessed through statistical analysis. The receiver operating characteristic (ROC) curve is the most popular used tool for evaluating the discriminatory ability of continuous-outcome diagnostic tests. It has been acknowledged that several factors (e.g., subject-specific characteristics, such as age and/or gender) can affect the test's accuracy beyond disease status. Recently, the covariate-adjusted ROC curve has been proposed and successfully applied as a global summary measure of diagnostic accuracy that takes covariate information into account. We motivate the use of the covariate-adjusted ROC curve and develop a highly robust model based on a combination of B-splines dependent Dirichlet process mixture models and the Bayesian bootstrap. Multiple simulation studies demonstrate the ability of our model to successfully recover the true covariate-adjusted ROC curve and to produce valid inferences in a variety of complex scenarios. Our methods are motivated by and applied to an endocrine study where the main goal is to assess the accuracy of the body mass index, adjusted for age and gender, for predicting clusters of cardiovascular disease risk factors. The R-package AROC, implementing our proposed methods, is provided. △ Less

Submitted 30 May, 2018; originally announced June 2018.

Bayesian Bootstrap Inference for the ROC Surface

Authors: Vanda Inacio de Carvalho, Miguel de Carvalho, Adam Branscum

Abstract: Accurate diagnosis of disease is of great importance in clinical practice and medical research. The receiver operating characteristic (ROC) surface is a popular tool for evaluating the discriminatory ability of continuous diagnostic test outcomes when there exist three ordered disease classes (e.g., no disease, mild disease, advanced disease). We propose the Bayesian bootstrap, a fully nonparametr… ▽ More Accurate diagnosis of disease is of great importance in clinical practice and medical research. The receiver operating characteristic (ROC) surface is a popular tool for evaluating the discriminatory ability of continuous diagnostic test outcomes when there exist three ordered disease classes (e.g., no disease, mild disease, advanced disease). We propose the Bayesian bootstrap, a fully nonparametric method, for conducting inference about the ROC surface and its functionals, such as the volume under the surface. The proposed method is based on a simple, yet interesting, representation of the ROC surface in terms of placement variables. Results from a simulation study demonstrate the ability of our method to successfully recover the true ROC surface and to produce valid inferences in a variety of complex scenarios. An application to data from the Trail Making Test to assess cognitive impairment in Parkinson's disease patients is provided. △ Less

Submitted 19 May, 2018; originally announced May 2018.

Sequentialization for full N-Graphs via sub-N-Graphs

Authors: Ruan V. B. Carvalho, Lais S. Andrade, Anjolina G. de Oliveira, Ruy J. G. B. de Queiroz

Abstract: Since proof-nets for MLL- were introduced by Girard (1987), several studies have appeared dealing with its soundness proof. Bellin & Van de Wiele (1995) produced an elegant proof based on properties of subnets (empires and kingdoms) and Robinson (2003) proposed a straightforward generalization of this presentation for proof-nets from sequent calculus for classical logic. In 2014 it was presented a… ▽ More Since proof-nets for MLL- were introduced by Girard (1987), several studies have appeared dealing with its soundness proof. Bellin & Van de Wiele (1995) produced an elegant proof based on properties of subnets (empires and kingdoms) and Robinson (2003) proposed a straightforward generalization of this presentation for proof-nets from sequent calculus for classical logic. In 2014 it was presented an extension of these studies to obtain a proof of the sequentialization theorem for the fragment of N-Graphs with conjunction, disjunction and negation connectives, via the notion of sub-N-Graphs. N-Graphs is a symmetric natural deduction calculus with multiple conclusions that adopts Danos-Regnier's criterion and has defocussing switchable links. In this paper, we present a sequentization for full propositional classical N-Graphs, showing how to find a split node in the middle of the proof even with a global rule for discharging hypothesis. △ Less

Submitted 1 March, 2018; originally announced March 2018.

Multimodal Named Entity Recognition for Short Social Media Posts

Authors: Seungwhan Moon, Leonardo Neves, Vitor Carvalho

Abstract: We introduce a new task called Multimodal Named Entity Recognition (MNER) for noisy user-generated data such as tweets or Snapchat captions, which comprise short text with accompanying images. These social media posts often come in inconsistent or incomplete syntax and lexical notations with very limited surrounding textual contexts, bringing significant challenges for NER. To this end, we create… ▽ More We introduce a new task called Multimodal Named Entity Recognition (MNER) for noisy user-generated data such as tweets or Snapchat captions, which comprise short text with accompanying images. These social media posts often come in inconsistent or incomplete syntax and lexical notations with very limited surrounding textual contexts, bringing significant challenges for NER. To this end, we create a new dataset for MNER called SnapCaptions (Snapchat image-caption pairs submitted to public and crowd-sourced stories with fully annotated named entities). We then build upon the state-of-the-art Bi-LSTM word/character based NER models with 1) a deep image network which incorporates relevant visual context to augment textual information, and 2) a generic modality-attention module which learns to attenuate irrelevant modalities while amplifying the most informative ones to extract contexts from, adaptive to each sample and token. The proposed MNER model with modality attention significantly outperforms the state-of-the-art text-only NER models by successfully leveraging provided visual contexts, opening up potential applications of MNER on myriads of social media platforms. △ Less

Submitted 21 February, 2018; originally announced February 2018.

Topological insulator particles as optically induced oscillators: towards dynamical force measurements and optical rheology

Authors: W. H. Campos, J. M. Fonseca, V. E. de Carvalho, J. B. S. Mendes, M. S. Rocha, W. A. Moura-Melo

Abstract: We report the first experimental study upon the optical trap** and manipulation of topological insulator (TI) particles. By virtue of the unique TI properties, which have a conducting surface and an insulating bulk, the particles present a peculiar behaviour in the presence of a single laser beam optical tweezers: they oscillate in a plane perpendicular to the direction of the laser propagation,… ▽ More We report the first experimental study upon the optical trap** and manipulation of topological insulator (TI) particles. By virtue of the unique TI properties, which have a conducting surface and an insulating bulk, the particles present a peculiar behaviour in the presence of a single laser beam optical tweezers: they oscillate in a plane perpendicular to the direction of the laser propagation, as a result of the competition between radiation pressure and gradient forces. In other words, TI particles behave as optically induced oscillators, allowing dynamical measurements with unprecedented simplicity and purely optical control. Actually, optical rheology of soft matter interfaces and biological membranes, as well as dynamical force measurements in macromolecules and biopolymers, may be quoted as feasible possibilities for the near future. △ Less

Submitted 8 November, 2017; v1 submitted 13 March, 2017; originally announced March 2017.

Comments: 6 pages, 5 figures. Correspondence and requests for Supplementary Material should be addressed to [email protected]

Charge orders, magnetism and pairings in the cuprate superconductors

Authors: T. Kloss, X. Montiel, V. S. de Carvalho, H. Freire, C. Pépin

Abstract: We review the recent developments in the field of cuprate superconductors with the special focus on the recently observed charge order in the underdoped compounds. We introduce new theoretical developments following the study of the antiferromagnetic (AF) quantum critical point (QCP) in two dimensions, in which preemptive orders in the charge and superconducting (SC) sectors emerged, that are in t… ▽ More We review the recent developments in the field of cuprate superconductors with the special focus on the recently observed charge order in the underdoped compounds. We introduce new theoretical developments following the study of the antiferromagnetic (AF) quantum critical point (QCP) in two dimensions, in which preemptive orders in the charge and superconducting (SC) sectors emerged, that are in turn related by an SU(2) symmetry. We consider the implications of this proliferation of orders in the underdoped region, and provide a study of the type of fluctuations which characterize the SU(2) symmetry. We identify an intermediate energy scale where the SU(2) pairing fluctuations are dominant and argue that they are unstable towards the formation of a Resonant Peierls Excitonic (RPE) state at the pseudogap (PG) temperature $T^{*}$. We discuss the implications of this scenario for a few key experiments. △ Less

Submitted 11 December, 2015; originally announced December 2015.

Comments: 16 pages, 17 figures

Journal ref: Reports on Progress in Physics, 79, 084507 (2016)

Coexistence of $Θ_{II}$-loop-current order with checkerboard d-wave CDW/PDW order in a hot-spot model for cuprate superconductors

Authors: Vanuildo S. de Carvalho, Catherine Pépin, Hermann Freire

Abstract: We investigate the strong influence of the $Θ_{II}$-loop-current order on both unidirectional and bidirectional d-wave charge-density-wave/pair-density-wave (CDW/PDW) composite orders along axial momenta $(\pm Q_0,0)$ and $(0,\pm Q_0)$ that emerge in an effective hot spot model departing from the three-band Emery model relevant to the phenomenology of the cuprate superconductors. This study is mot… ▽ More We investigate the strong influence of the $Θ_{II}$-loop-current order on both unidirectional and bidirectional d-wave charge-density-wave/pair-density-wave (CDW/PDW) composite orders along axial momenta $(\pm Q_0,0)$ and $(0,\pm Q_0)$ that emerge in an effective hot spot model departing from the three-band Emery model relevant to the phenomenology of the cuprate superconductors. This study is motivated by the compelling evidence that the $Θ_{II}$-loop-current order described by this model may explain groundbreaking experiments such as spin-polarized neutron scattering performed in these materials. Here, we demonstrate, within a saddle-point approximation, that the $Θ_{II}$-loop-current order clearly coexists with bidirectional (i.e. checkerboard) d-wave CDW and PDW orders along axial momenta, but is visibly detrimental to the unidirectional (i.e. stripe) case. This result has potentially far-reaching implications for the physics of the cuprates and agrees well with very recent x-ray experiments on YBCO that indicate that at higher do**s the CDW order has indeed a tendency to be bidirectional. △ Less

Submitted 4 April, 2016; v1 submitted 10 November, 2015; originally announced November 2015.

Comments: Published in Physical Review B

Journal ref: Phys. Rev. B 93, 115144 (2016)

Strong competition between $Θ_{II}$-loop-current order and $d$-wave charge order along the diagonal direction in a two-dimensional hot spot model

Authors: Vanuildo S. de Carvalho, Thomas Kloss, Xavier Montiel, Hermann Freire, Catherine Pépin

Abstract: We study the fate of the so-called $Θ_{II}$-loop-current order that breaks both time-reversal and parity symmetries in a two-dimensional hot spot model with antiferromagnetically mediated interactions, using Fermi surfaces relevant to the phenomenology of the cuprate superconductors. We start from a three-band Emery model describing the hop** of holes in the CuO$_{2}$ plane that includes two hop… ▽ More We study the fate of the so-called $Θ_{II}$-loop-current order that breaks both time-reversal and parity symmetries in a two-dimensional hot spot model with antiferromagnetically mediated interactions, using Fermi surfaces relevant to the phenomenology of the cuprate superconductors. We start from a three-band Emery model describing the hop** of holes in the CuO$_{2}$ plane that includes two hop** parameters $t_{pp}$ and $t_{pd}$, local on-site Coulomb interactions $U_{d}$ and $U_{p}$ and nearest-neighbor $V_{pd}$ couplings between the fermions in the copper [Cu$(3d_{x^{2}-y^{2}})$] and oxygen [O$(2p_{x})$ and O$(2p_{y})$] orbitals. By focusing on the lowest-energy band, we proceed to decouple the local interaction $U_{d}$ of the Cu orbital in the spin channel using a Hubbard-Stratonovich transformation to arrive at the interacting part of the so-called spin-fermion model. We also decouple the nearest-neighbor interaction $V_{pd}$ to introduce the order parameter of the $Θ_{II}$-loop-current order. In this way, we are able to construct a consistent mean-field theory that describes the strong competition between the composite order parameter made of a quadrupole-density-wave and $d$-wave pairing fluctuations proposed in Efetov \emph{et al.} [Nat. Phys. \textbf{9}, 442 (2013)] with the $Θ_{II}$-loop-current order parameter that is argued to be relevant for explaining important aspects of the physics of the pseudogap phase displayed in the underdoped cuprates. △ Less

Submitted 7 August, 2015; v1 submitted 23 June, 2015; originally announced June 2015.

Comments: 16 pages, 5 figures. v2: minor revisions, references added. The magnetic moment per unit-cell associated with the $Θ_{II}$-loop-current-phase is calculated and compared with experimental results. Accepted for publication in Physical Review B

Journal ref: Phys. Rev. B 92, 075123 (2015)

Renormalization group analysis of the pair-density-wave and charge order within the fermionic hot-spot model for cuprate superconductors

Authors: Hermann Freire, Vanuildo S. de Carvalho, Catherine Pépin

Abstract: In light of the new experimental and theoretical important developments in high-$T_c$ superconductivity, we revisit the fermionic hot-spot model relevant to the phenomenology of the cuprates. We extend previous results by means of a complete two-loop order renormalization group (RG) framework. Here, we explicitly study the effect of the charge-density-wave (CDW) order parameter with a $d$-wave for… ▽ More In light of the new experimental and theoretical important developments in high-$T_c$ superconductivity, we revisit the fermionic hot-spot model relevant to the phenomenology of the cuprates. We extend previous results by means of a complete two-loop order renormalization group (RG) framework. Here, we explicitly study the effect of the charge-density-wave (CDW) order parameter with a $d$-wave form factor with the experimentally observed modulation $(\pm Q_0,0)$ and $(0,\pm Q_0)$ at the infrared-stable nontrivial fixed point obtained previously for this model. Additionally, we proceed to investigate also the so-called pair-density-wave (PDW) order that was recently proposed in the literature as a possible candidate for the "hidden" order to describe the pseudogap phase observed in underdoped cuprates. We confirm that although the above two ordering tendencies are also found to be nearly degenerate both at one-loop and two-loop RG orders and linked by an emergent $SU(2)$ pseudospin symmetry, they turn out to be subleading for weaker couplings in the present model to antiferromagnetism, $d$-wave bond-density wave (BDW) order with modulation along Brillouin zone diagonals $(\pm Q_0,\pm Q_0)$, and $d$-wave singlet superconductivity (SSC). However, as we increase the strength of the initial coupling towards moderate values, we do capture a tendency for the entangled PDW/CDW order to become leading compared to BDW/SSC in the model, which suggests that the former composite order might be indeed a viable concept to describe some cuprate superconductors at high temperatures in the underdoped regime, as has been recently alluded to by many authors in the literature. △ Less

Submitted 31 July, 2015; v1 submitted 1 March, 2015; originally announced March 2015.

Comments: 12 pages, 6 figures. Published version

Journal ref: Phys. Rev. B 92, 045132 (2015)

Pseudogap, charge order, and pairing density wave at the hot spots in cuprate superconductors

Authors: C. Pépin, V. S. de Carvalho, T. Kloss, X. Montiel

Abstract: We address the timely issue of the presence of charge ordering at the hot-spots in the pseudo-gap phase of cuprate superconductors in the context of an emergent SU(2)-symmetry which relates the charge and pairing sectors. Performing the Hubbard-Stratonovich decoupling such that the free energy stays always real and physically meaningful we exhibit three solutions of the spin-fermion model at the h… ▽ More We address the timely issue of the presence of charge ordering at the hot-spots in the pseudo-gap phase of cuprate superconductors in the context of an emergent SU(2)-symmetry which relates the charge and pairing sectors. Performing the Hubbard-Stratonovich decoupling such that the free energy stays always real and physically meaningful we exhibit three solutions of the spin-fermion model at the hot spots. A careful examination of their stability and free energy shows that, at low temperature, the system tends towards a co-existence of charge density wave (CDW) and the composite order parameter made of diagonal quadrupolar density wave and pairing fluctuations of Ref. [Nat. Phys. $\bf{9}$, 1745 (2013)].The CDW is sensitive to the shape of the Fermi surface in contrast to the diagonal quadrupolar order, which is immune to it. SU(2) symmetry within the pseudo-gap phase also applies to the CDW state, which therefore admits a pairing density pave counterpart breaking time reversal symmetry. △ Less

Submitted 17 December, 2014; v1 submitted 25 August, 2014; originally announced August 2014.

Comments: 15 pages, 15 figures, final version + typo corrected in Eq. (12)

Journal ref: Phys. Rev. B 90, 195207 (2014)

Bulk Band Structure of Bi$_2$Te$_3$

Authors: Matteo Michiardi, Irene Aguilera, Marco Bianchi, Vagner Eustáquio de Carvalho, Luiz Orlando Ladeira, Nayara Gomes Teixeira, Edmar Avellar Soares, Chiristoph Friedrich, Stefan Blügel, Philip Hofmann

Abstract: The bulk band structure of Bi$_2$Te$_3$ has been determined by angle-resolved photoemission spectroscopy and compared to first-principles calculations. We have performed calculations using the local density approximation (LDA) of density functional theory and the one-shot $GW$ approximation within the all-electron full-potential linearized augmented-plane-wave (FLAPW) formalism, fully taking into… ▽ More The bulk band structure of Bi$_2$Te$_3$ has been determined by angle-resolved photoemission spectroscopy and compared to first-principles calculations. We have performed calculations using the local density approximation (LDA) of density functional theory and the one-shot $GW$ approximation within the all-electron full-potential linearized augmented-plane-wave (FLAPW) formalism, fully taking into account spin-orbit coupling. Quasiparticle effects produce significant changes in the band structure of \bite~when compared to LDA. Experimental and calculated results are compared in the spectral regions where distinct differences between the LDA and $GW$ results are present. Overall a superior agreement with $GW$ is found, highlighting the importance of many-body effects in the band structure of this family of topological insulators. △ Less

Submitted 12 March, 2014; originally announced March 2014.

Comments: 8 pages, 5 Figures

Journal ref: Phys. Rev. B 90, 075105 (2014)

Evidence of a short-range incommensurate $d$-wave charge order from a fermionic two-loop renormalization group calculation of a 2D model with hot spots

Authors: Vanuildo S. de Carvalho, Hermann Freire

Abstract: The two-loop renormalization group (RG) calculation is considerably extended here for the two-dimensional (2D) fermionic effective field theory model, which includes only the so-called "hot spots" that are connected by the spin-density-wave (SDW) ordering wavevector on a Fermi surface generated by the 2D $t-t'$ Hubbard model at low hole do**. We compute the Callan-Symanzik RG equation up to two… ▽ More The two-loop renormalization group (RG) calculation is considerably extended here for the two-dimensional (2D) fermionic effective field theory model, which includes only the so-called "hot spots" that are connected by the spin-density-wave (SDW) ordering wavevector on a Fermi surface generated by the 2D $t-t'$ Hubbard model at low hole do**. We compute the Callan-Symanzik RG equation up to two loops describing the flow of the single-particle Green's function, the corresponding spectral function, the Fermi velocity, and some of the most important order-parameter susceptibilities in the model at lower energies. As a result, we establish that -- in addition to clearly dominant SDW correlations -- an approximate (pseudospin) symmetry relating a short-range \emph{incommensurate} $d$-wave charge order to the $d$-wave superconducting order indeed emerges at lower energy scales, which is in agreement with recent works available in the literature addressing the 2D spin-fermion model. We derive implications of this possible electronic phase in the ongoing attempt to describe the phenomenology of the pseudogap regime in underdoped cuprates. △ Less

Submitted 4 June, 2014; v1 submitted 19 February, 2014; originally announced February 2014.

Comments: 16 pages, 7 figures. Published version

Journal ref: Annals of Physics 348, 32 (2014)

Surface structure of Bi2Se3(111) determined by low-energy electron diffraction and surface X-ray diffraction

Authors: Diogo Duarte dos Reis, Lucas Barreto, Marco Bianchi, Guilherme Almeida Silva Ribeiro, Edmar Avellar Soares, Wendell Simoes e Silva, Vagner Eustaquio de Carvalho, Jonathan Rawle, Moritz Hoesch, Chris Nicklin, Willians Principe Fernandes, Jianli Mi, Bo Brummerstedt Iversen, Philip Hofmann

Abstract: The surface structure of the prototypical topological insulator Bi2Se3 is determined by low-energy electron diffraction and surface X-ray diffraction at room temperature. Both approaches show that the crystal is terminated by an intact quintuple layer. Specifically, an alternative termination by a bismuth bilayer is ruled out. Surface relaxations obtained by both techniques are in good agreement w… ▽ More The surface structure of the prototypical topological insulator Bi2Se3 is determined by low-energy electron diffraction and surface X-ray diffraction at room temperature. Both approaches show that the crystal is terminated by an intact quintuple layer. Specifically, an alternative termination by a bismuth bilayer is ruled out. Surface relaxations obtained by both techniques are in good agreement with each other and found to be small. This includes the relaxation of the van der Waals gap between the first two quintuple layers. △ Less

Submitted 14 June, 2013; originally announced June 2013.

Breakdown of Fermi liquid behavior near the hot spots in a two-dimensional model: A two-loop renormalization group analysis

Authors: Vanuildo S. de Carvalho, Hermann Freire

Abstract: Motivated by a recent experimental observation of a nodal liquid on both single crystals and thin films of Bi$_2$Sr$_2$CaCu$_2$O$_{8+δ}$ by Chatterjee \emph{et al.} [Nature Physics \textbf{6}, 99 (2010)], we perform a field-theoretical renormalization group (RG) analysis of a two-dimensional model consisting of eight points located near the "hot spots" on the Fermi surface which are directly conne… ▽ More Motivated by a recent experimental observation of a nodal liquid on both single crystals and thin films of Bi$_2$Sr$_2$CaCu$_2$O$_{8+δ}$ by Chatterjee \emph{et al.} [Nature Physics \textbf{6}, 99 (2010)], we perform a field-theoretical renormalization group (RG) analysis of a two-dimensional model consisting of eight points located near the "hot spots" on the Fermi surface which are directly connected by spin density wave ordering wave vector. We derive RG equations up to two-loop order describing the flow of renormalized couplings, quasiparticle weight, several order-parameter response functions, and uniform spin and charge susceptibilities of the model. We find that while the order-parameter susceptibilities investigated here become non-divergent at two loops, the quasiparticle weight vanishes in the low-energy limit, indicating a breakdown of Fermi liquid behavior at this RG level. Moreover, both uniform spin and charge susceptibilities become suppressed in the scaling limit which indicate gap openings in both spin and charge excitation spectra of the model. △ Less

Submitted 21 June, 2013; v1 submitted 23 April, 2013; originally announced April 2013.

Comments: 11 pages, 11 figures. Minor revision, typos corrected, references added

Conserved sandpile with a variable height restriction

Authors: Vanuildo Silva de Carvalho, Alvaro de Almeida Caparica, Ronald Dickman

Abstract: We study a restricted-height version of the one-dimensional Oslo sandpile with conserved density, using periodic boundary conditions. Each site has a limiting height which can be either two or three. When a site reaches its limiting height it becomes active and may topple, loosing two particles, which move randomly to nearest-neighbor sites. After a site topples it is randomly assigned a new limit… ▽ More We study a restricted-height version of the one-dimensional Oslo sandpile with conserved density, using periodic boundary conditions. Each site has a limiting height which can be either two or three. When a site reaches its limiting height it becomes active and may topple, loosing two particles, which move randomly to nearest-neighbor sites. After a site topples it is randomly assigned a new limiting height. We study the model using mean-field theory and Monte Carlo simulation, focusing on the quasi-stationary state, in which the number of active sites fluctuates about a stationary value. Using finite-size scaling analysis, we determine the critical particle density and associated critical exponents. △ Less

Submitted 7 May, 2013; v1 submitted 4 December, 2012; originally announced December 2012.

Comments: 13 pages, 6 figures The paper will appear in Volume 43 of the Brazilian Journal of Physics

Complete renormalization group calculation up to two-loop order of an effective two-band model for iron-based superconductors

Authors: Vanuildo S. de Carvalho, Hermann Freire

Abstract: We perform a renormalization group (RG) study up to two-loop order of an effective low-energy two-band model to describe some of the recently discovered iron-based superconductors. Our starting point is the itinerant electronic model proposed by Chubukov \emph{et al.} [Phys. Rev. B \textbf{78}, 134512 (2008)], which displays two small, almost nested Fermi pockets with one hole pocket centered at… ▽ More We perform a renormalization group (RG) study up to two-loop order of an effective low-energy two-band model to describe some of the recently discovered iron-based superconductors. Our starting point is the itinerant electronic model proposed by Chubukov \emph{et al.} [Phys. Rev. B \textbf{78}, 134512 (2008)], which displays two small, almost nested Fermi pockets with one hole pocket centered at $(0,0)$ and one electron pocket centered at $\mathbf{Q} = (π,π)$ in the folded Brillouin zone. We then proceed to implement a complete two-loop RG calculation for this model of four-point vertex corrections, quasiparticle weight and several order-parameter susceptibilities in order to evaluate the robustness of one-loop RG results available in the literature with respect to including self-energy effects and higher-order quantum fluctuations. △ Less

Submitted 3 October, 2011; v1 submitted 24 May, 2011; originally announced May 2011.

Comments: 6 pages, 6 figures; accepted for publication in Europhysics Letters

Journal ref: Europhys. Lett. 96, 17006 (2011)

A mathematical framework for reducing the domain in the mechanical analysis of periodic structures

Authors: N. V. De Carvalho, S. T. Pinho, P. Robinson

Abstract: A theoretical framework is developped leading to a sound derivation of Periodic Boundary Conditions (PBCs) for the analysis of domains smaller then the Unit Cells (UCs), named reduced Unit Cells (rUCs), by exploiting non-orthogonal translations and symmetries. A particular type of UCs, Offset-reduced Unit Cells (OrUCs) are highlighted. These enable the reduction of the analysis domain of the tradi… ▽ More A theoretical framework is developped leading to a sound derivation of Periodic Boundary Conditions (PBCs) for the analysis of domains smaller then the Unit Cells (UCs), named reduced Unit Cells (rUCs), by exploiting non-orthogonal translations and symmetries. A particular type of UCs, Offset-reduced Unit Cells (OrUCs) are highlighted. These enable the reduction of the analysis domain of the traditionally defined UCs without any loading restriction. The relevance of the framework and its application to any periodic structure is illustrated through two practical examples: 3D woven and honeycomb. △ Less

Submitted 9 March, 2011; v1 submitted 14 December, 2010; originally announced December 2010.

Comments: 18 pages

Modelling Cell Cycle using Different Levels of Representation

Authors: Thomas Anung Basuki, Antonio Cerone, Rafael V. Carvalho

Abstract: Understanding the behaviour of biological systems requires a complex setting of in vitro and in vivo experiments, which attracts high costs in terms of time and resources. The use of mathematical models allows researchers to perform computerised simulations of biological systems, which are called in silico experiments, to attain important insights and predictions about the system behaviour with… ▽ More Understanding the behaviour of biological systems requires a complex setting of in vitro and in vivo experiments, which attracts high costs in terms of time and resources. The use of mathematical models allows researchers to perform computerised simulations of biological systems, which are called in silico experiments, to attain important insights and predictions about the system behaviour with a considerably lower cost. Computer visualisation is an important part of this approach, since it provides a realistic representation of the system behaviour. We define a formal methodology to model biological systems using different levels of representation: a purely formal representation, which we call molecular level, models the biochemical dynamics of the system; visualisation-oriented representations, which we call visual levels, provide views of the biological system at a higher level of organisation and are equipped with the necessary spatial information to generate the appropriate visualisation. We choose Spatial CLS, a formal language belonging to the class of Calculi of Loo** Sequences, as the formalism for modelling all representation levels. We illustrate our approach using the budding yeast cell cycle as a case study. △ Less

Submitted 25 November, 2009; originally announced November 2009.

Journal ref: EPTCS 11, 2009, pp. 51-69

A graph model for the evolution of specificity in humoral immunity

Authors: L. E. Flores, E. J. Aguilar, V. C. Barbosa, L. A. V. de Carvalho

Abstract: The immune system protects the body against health-threatening entities, known as antigens, through very complex interactions involving the antigens and the system's own entities. One remarkable feature resulting from such interactions is the immune system's ability to improve its capability to fight antigens commonly found in the individual's environment. This adaptation process is called the e… ▽ More The immune system protects the body against health-threatening entities, known as antigens, through very complex interactions involving the antigens and the system's own entities. One remarkable feature resulting from such interactions is the immune system's ability to improve its capability to fight antigens commonly found in the individual's environment. This adaptation process is called the evolution of specificity. In this paper, we introduce a new mathematical model for the evolution of specificity in humoral immunity, based on Jerne's functional, or idiotypic, network. The evolution of specificity is modeled as the dynamic updating of connection weights in a graph whose nodes are related to the network's idiotypes. At the core of this weight-updating mechanism are the increase in specificity caused by clonal selection and the decrease in specificity due to the insertion of uncorrelated idiotypes by the bone marrow. As we demonstrate through numerous computer experiments, for appropriate choices of parameters the new model correctly reproduces, in qualitative terms, several immune functions. △ Less

Submitted 23 October, 2003; originally announced October 2003.

Report number: ES-617/03

Journal ref: Journal of Theoretical Biology 229 (2004), 311-325

Creativity and Delusions: A Neurocomputational Approach

Authors: Daniele Quintella Mendes, Luis Alfredo Vidal de Carvalho

Abstract: Thinking is one of the most interesting mental processes. Its complexity is sometimes simplified and its different manifestations are classified into normal and abnormal, like the delusional and disorganized thought or the creative one. The boundaries between these facets of thinking are fuzzy causing difficulties in medical, academic, and philosophical discussions. Considering the dopaminergic… ▽ More Thinking is one of the most interesting mental processes. Its complexity is sometimes simplified and its different manifestations are classified into normal and abnormal, like the delusional and disorganized thought or the creative one. The boundaries between these facets of thinking are fuzzy causing difficulties in medical, academic, and philosophical discussions. Considering the dopaminergic signal-to-noise neuronal modulation in the central nervous system, and the existence of semantic maps in human brain, a self-organizing neural network model was developed to unify the different thought processes into a single neurocomputational substrate. Simulations were performed varying the dopaminergic modulation and observing the different patterns that emerged at the semantic map. Assuming that the thought process is the total pattern elicited at the output layer of the neural network, the model shows how the normal and abnormal thinking are generated and that there are no borders between their different manifestations. Actually, a continuum of different qualitative reasoning, ranging from delusion to disorganization of thought, and passing through the normal and the creative thinking, seems to be more plausible. The model is far from explaining the complexities of human thinking but, at least, it seems to be a good metaphorical and unifying view of the many facets of this phenomenon usually studied in separated settings. △ Less

Submitted 22 December, 2000; originally announced December 2000.

Comments: 8 pages, 6 figures

ACM Class: I.5.1