Showing 1–50 of 174 results for author: Gonçalves, B

Cosmological study of a symmetric teleparallel gravity model

Authors: Tiago B. Gonçalves, Luís Atayde, Noemi Frusciante

Abstract: We study a symmetric teleparallel gravity with a Lagrangian of logarithmic form. The full model leads to an accelerated universe and for specific values of the free parameters the Hubble rate reduces to the well-known Dvali-Gabadadze-Porrati model, though the evolution of the gravitational potentials are different. We consider different branches of the logarithmic model, among which are self-accel… ▽ More We study a symmetric teleparallel gravity with a Lagrangian of logarithmic form. The full model leads to an accelerated universe and for specific values of the free parameters the Hubble rate reduces to the well-known Dvali-Gabadadze-Porrati model, though the evolution of the gravitational potentials are different. We consider different branches of the logarithmic model, among which are self-accelerated branch and normal branch. The phenomenology of both the background and linear perturbations is discussed, including all the relevant effects on cosmic microwave background radiation (CMB) angular power spectrum, lensing and matter power spectra. To this purpose, we modified the Einstein-Boltzmann code mgcamb. Finally, we derive bounds on the free parameters which are in agreement with early dark energy constraint from CMB and big bang nucleosynthesis constraint on the helium abundance. △ Less

Submitted 2 April, 2024; originally announced April 2024.

Comments: 24 pages, 14 figures

Journal ref: Phys. Rev. D 109, 084003 (2024)

Generation and analysis of synthetic data via Bayesian networks: a robust approach for uncertainty quantification via Bayesian paradigm

Authors: Larissa N. A. Martins, Flávio B. Gonçalves, Thais P. Galletti

Abstract: Safe and reliable disclosure of information from confidential data is a challenging statistical problem. A common approach considers the generation of synthetic data, to be disclosed instead of the original data. Efficient approaches ought to deal with the trade-off between reliability and confidentiality of the released data. Ultimately, the aim is to be able to reproduce as accurately as possibl… ▽ More Safe and reliable disclosure of information from confidential data is a challenging statistical problem. A common approach considers the generation of synthetic data, to be disclosed instead of the original data. Efficient approaches ought to deal with the trade-off between reliability and confidentiality of the released data. Ultimately, the aim is to be able to reproduce as accurately as possible statistical analysis of the original data using the synthetic one. Bayesian networks is a model-based approach that can be used to parsimoniously estimate the underlying distribution of the original data and generate synthetic datasets. These ought to not only approximate the results of analyses with the original data but also robustly quantify the uncertainty involved in the approximation. This paper proposes a fully Bayesian approach to generate and analyze synthetic data based on the posterior predictive distribution of statistics of the synthetic data, allowing for efficient uncertainty quantification. The methodology makes use of probability properties of the model to devise a computationally efficient algorithm to obtain the target predictive distributions via Monte Carlo. Model parsimony is handled by proposing a general class of penalizing priors for Bayesian network models. Finally, the efficiency and applicability of the proposed methodology is empirically investigated through simulated and real examples. △ Less

Submitted 29 February, 2024; v1 submitted 27 February, 2024; originally announced February 2024.

Turing's Test, a Beautiful Thought Experiment

Authors: Bernardo Gonçalves

Abstract: In the wake of large language models, there has been a resurgence of claims and questions about the Turing test and its value for AI, which are reminiscent of decades of practical "Turing" tests. If AI were quantum physics, by now several "Schrödinger's" cats could have been killed. Better late than never, it is time for a historical reconstruction of Turing's beautiful thought experiment. In this… ▽ More In the wake of large language models, there has been a resurgence of claims and questions about the Turing test and its value for AI, which are reminiscent of decades of practical "Turing" tests. If AI were quantum physics, by now several "Schrödinger's" cats could have been killed. Better late than never, it is time for a historical reconstruction of Turing's beautiful thought experiment. In this paper I present a wealth of evidence, including new archival sources, give original answers to several open questions about Turing's 1950 paper, and address the core question of the value of Turing's test. △ Less

Submitted 7 January, 2024; v1 submitted 18 December, 2023; originally announced January 2024.

Comments: 8.4K words, 9 pages, 3 figures, 3 text boxes, few minor corrections

A Quality-of-Service Compliance System using Federated Learning and Optimistic Rollups

Authors: Joao Paulo de Brito Goncalves, Guilherme Emerick Sathler, Rodolfo da Silva Villaca

Abstract: Edge computing brings a new paradigm in which the sharing of computing, storage, and bandwidth resources as close as possible to the mobile devices or sensors generating a large amount of data. A parallel trend is the rise of phones and tablets as primary computing devices for many people. The powerful sensors present on these devices combined with the fact that they are mobile, mean they have acc… ▽ More Edge computing brings a new paradigm in which the sharing of computing, storage, and bandwidth resources as close as possible to the mobile devices or sensors generating a large amount of data. A parallel trend is the rise of phones and tablets as primary computing devices for many people. The powerful sensors present on these devices combined with the fact that they are mobile, mean they have access to data of an unprecedentedly diverse and private nature. Models learned on such data hold the promise of greatly improving usability by powering more intelligent applications, but the sensitive nature of the data means there are risks and responsibilities to storing it in a centralized location. To address the data privacy required for some data in these devices we propose the use of Federated Learning (FL) so that specific data about services performed by clients do not leave the source machines. Instead of sharing data, users collaboratively train a model by only sending weight updates to a server. However, the naive use of FL in those scenarios exposes it to a risk of corruption, whether intentional or not, during the training phase. To improve the security of the FL structure, we propose a decentralized Blockchain-based FL in an edge computing scenario. We also apply blockchain to create a reward mechanism in FL to enable incentive strategy for trainers. △ Less

Submitted 14 November, 2023; originally announced December 2023.

A closer look at the $U(1)_{B-L}$ explanation of the ATOMKI nuclear anomalies

Authors: P. M. Ferreira, B. L. Gonçalves, F. R. Joaquim

Abstract: We revisit the gauged $U(1)_{B-L}$ explanation of the ATOMKI nuclear anomalies, in which the new gauge boson is the hypothetical $X(17)$ particle. It is known that the vanilla $B-L$ scenario is unable to account for appropriate couplings, namely the suppression of the couplings of $X(17)$ to neutrinos, which motivates adding vector-like leptons. The simplest case, in which the new fields have… ▽ More We revisit the gauged $U(1)_{B-L}$ explanation of the ATOMKI nuclear anomalies, in which the new gauge boson is the hypothetical $X(17)$ particle. It is known that the vanilla $B-L$ scenario is unable to account for appropriate couplings, namely the suppression of the couplings of $X(17)$ to neutrinos, which motivates adding vector-like leptons. The simplest case, in which the new fields have $B-L$ charges equal to $1$, is highly disfavoured since it requires large mixing with the Standard Model fields. One solution recently put forward is to consider large $B-L$ charges to counterbalance small mixing. We show that, in this scenario, and after taking into account several phenomenological constraints, the dominant contribution to the muon anomalous magnetic moment $(g-2)_μ$ is expected to be extremely large and with a negative sign, being thus excluded by experiment. △ Less

Submitted 29 November, 2023; originally announced November 2023.

Comments: 15 LaTeX pages, 4 figures

Exact Foldy-Wouthuysen transformation for a Dirac equation describing the interaction of spin-1/2 relativistic particles with an external electromagnetic field

Authors: Bruno Gonçalves, Mário M. Dias Júnior, Larissa F. Eleotério

Abstract: The Thomas-Bargmann-Michel-Telegdi (T-BMT) equation is derived using the Exact Foldy-Wouthuysen transformation. Extra new terms were found, and we discuss their possible physical applications. The main point of this work is to detail the procedure to get the general result. We explicitly present the choice of parametrization we used on the initial Hamiltonian and the motivations to take it. We emp… ▽ More The Thomas-Bargmann-Michel-Telegdi (T-BMT) equation is derived using the Exact Foldy-Wouthuysen transformation. Extra new terms were found, and we discuss their possible physical applications. The main point of this work is to detail the procedure to get the general result. We explicitly present the choice of parametrization we used on the initial Hamiltonian and the motivations to take it. We emphasize that the final equations can depend on this choice, and it is possible to prevent the manipulations of the quadratic Hamiltonian become extremely cumbersome. More importantly, it is done in such a way that the transformed equations allow the direct separation into mass, kinetic, and interaction correction terms to the original T-BMT equation. △ Less

Submitted 5 December, 2023; v1 submitted 14 September, 2023; originally announced September 2023.

Dynamical reconstruction of the $Λ$CDM model in scalar-tensor $f(R,T)$ gravity

Authors: Tiago B. Gonçalves, João Luís Rosa, Francisco S. N. Lobo

Abstract: In this work, we use the dynamical system approach to explore the cosmological background evolution of the scalar-tensor representation of $f(R,T)$ gravity, where $R$ is the Ricci scalar and $T$ is the trace of the stress-energy tensor. The motivation for this work resides in finding dynamical cosmological behaviors comparable with the $Λ$CDM model without the necessity of recurring to a dark ener… ▽ More In this work, we use the dynamical system approach to explore the cosmological background evolution of the scalar-tensor representation of $f(R,T)$ gravity, where $R$ is the Ricci scalar and $T$ is the trace of the stress-energy tensor. The motivation for this work resides in finding dynamical cosmological behaviors comparable with the $Λ$CDM model without the necessity of recurring to a dark energy component. We introduce a set of dynamical variables that allow for a direct comparison with the cosmological standard model and the current experimental measurements, and develop a dynamical system framework to analyze the cosmological evolution of Friedmann-Lemaître-Robertson-Walker (FLRW) universes within this theory. In this framework, we obtain the critical points in the cosmological phase space and perform fully numerical integrations of the dynamical system to extract the cosmological behavior, subjected to initial conditions compatible with the measurements by the Planck satellite. The phase space of the theory is proven to feature fixed points associated with cosmological behaviors analogous to those of GR, whereas variations in the scalar field associated to the dependency in $T$ affect the phase space structure only quantitatively. Our results indicate that cosmological solutions featuring a radiation dominated epoch, followed by a transition into a matter dominated epoch, and finally a transition into an exponentially accelerated epoch, are allowed by the theory, while maintaining a present state compatible with the current measurements from the Planck satellite and solar system dynamics, and preserving the regularity of the scalar fields and their interaction potential. △ Less

Submitted 3 April, 2024; v1 submitted 9 May, 2023; originally announced May 2023.

Comments: 18 pages, 8 figures, 6 tables. Substantial changes made to first version

Journal ref: Phys. Rev. D 109 (2024), 084008

Lepton Flavor Specific Extended Higgs Model

Authors: B. L. Gonçalves, Matthew Knauss, Marc Sher

Abstract: In extended Higgs models, a discrete symmetry is needed in the quark sector to avoid tree-level flavor-changing neutral currents. However, this is not necessary the case in the lepton sector. We consider a model in which one Higgs couples to quarks and three others couple to the electron, muon and tau, respectively. This four-doublet model is presented with the full scalar potential and the gauge… ▽ More In extended Higgs models, a discrete symmetry is needed in the quark sector to avoid tree-level flavor-changing neutral currents. However, this is not necessary the case in the lepton sector. We consider a model in which one Higgs couples to quarks and three others couple to the electron, muon and tau, respectively. This four-doublet model is presented with the full scalar potential and the gauge and Yukawa couplings. The constraints from boundedness, perturbativity and oblique parameters are incorporated as well as constraints from meson-antimeson mixing, radiative B-decays and the diphoton Higgs decay rate. We also consider bounds from searches for heavy neutral and charged scalars at the LHC. Since the Standard Model Higgs couplings match predictions very well, we focus on the alignment limit of the model. It is shown that for a wide range of parameters, the lightest additional scalar, pseudoscalar and charged scalar can have substantial decays into electrons and muons (in contrast to the usual leptonic decays into taus). An interesting signature in the neutral sector would be the production, through vector boson fusion, of a pair of scalars, each of which decays into an electron or muon pair. △ Less

Submitted 11 April, 2023; v1 submitted 20 January, 2023; originally announced January 2023.

Comments: Version to be published in Phys. Rev. D

Using Bottleneck Adapters to Identify Cancer in Clinical Notes under Low-Resource Constraints

Authors: Omid Rohanian, Hannah Jauncey, Mohammadmahdi Nouriborji, Vinod Kumar Chauhan, Bronner P. Gonçalves, Christiana Kartsonaki, ISARIC Clinical Characterisation Group, Laura Merson, David Clifton

Abstract: Processing information locked within clinical health records is a challenging task that remains an active area of research in biomedical NLP. In this work, we evaluate a broad set of machine learning techniques ranging from simple RNNs to specialised transformers such as BioBERT on a dataset containing clinical notes along with a set of annotations indicating whether a sample is cancer-related or… ▽ More Processing information locked within clinical health records is a challenging task that remains an active area of research in biomedical NLP. In this work, we evaluate a broad set of machine learning techniques ranging from simple RNNs to specialised transformers such as BioBERT on a dataset containing clinical notes along with a set of annotations indicating whether a sample is cancer-related or not. Furthermore, we specifically employ efficient fine-tuning methods from NLP, namely, bottleneck adapters and prompt tuning, to adapt the models to our specialised task. Our evaluations suggest that fine-tuning a frozen BERT model pre-trained on natural language and with bottleneck adapters outperforms all other strategies, including full fine-tuning of the specialised BioBERT model. Based on our findings, we suggest that using bottleneck adapters in low-resource situations with limited access to labelled data or processing capacity could be a viable strategy in biomedical text mining. The code used in the experiments are going to be made available at https://github.com/omidrohanian/bottleneck-adapters. △ Less

Submitted 7 June, 2023; v1 submitted 17 October, 2022; originally announced October 2022.

MSC Class: 68T50 ACM Class: I.2.7

Perfect simulation for interacting Hawkes processes with variable length memory

Authors: Branda Goncalves, Paul Gresland

Abstract: We consider a nonlinear multivariate Hawkes process having a variable length memory which allows to describe the activity of a neuronal network by its membrane potential. We propose a graphical construction of the process and we construct, by means of a perfect simulation algorithm, a stationary version of the process. By making the hypothesis that the spiking rate $β_i$ of the neuron $i \in I $ i… ▽ More We consider a nonlinear multivariate Hawkes process having a variable length memory which allows to describe the activity of a neuronal network by its membrane potential. We propose a graphical construction of the process and we construct, by means of a perfect simulation algorithm, a stationary version of the process. By making the hypothesis that the spiking rate $β_i$ of the neuron $i \in I $ is bounded, we construct an algorithm based on a priori realizations of the Poisson process $(M^i, i \in I)$. We show that there exists a critical value $δ_c$ such that if $\underlineδ > δ_c$ (where $\underlineδ= \inf_i{δ_i}$ with $δ_i = \frac{β_{i* }}{β^*_i-β_{i*}}$ ) the process is ergodic. △ Less

Submitted 19 September, 2022; originally announced September 2022.

American cultural regions mapped through the lexical analysis of social media

Authors: Thomas Louf, Bruno Gonçalves, Jose J. Ramasco, David Sanchez, Jack Grieve

Abstract: Cultural areas represent a useful concept that cross-fertilizes diverse fields in social sciences. Knowledge of how humans organize and relate their ideas and behavior within a society helps to understand their actions and attitudes towards different issues. However, the selection of common traits that shape a cultural area is somewhat arbitrary. What is needed is a method that can leverage the ma… ▽ More Cultural areas represent a useful concept that cross-fertilizes diverse fields in social sciences. Knowledge of how humans organize and relate their ideas and behavior within a society helps to understand their actions and attitudes towards different issues. However, the selection of common traits that shape a cultural area is somewhat arbitrary. What is needed is a method that can leverage the massive amounts of data coming online, especially through social media, to identify cultural regions without ad-hoc assumptions, biases or prejudices. This work takes a crucial step in this direction by introducing a method to infer cultural regions based on the automatic analysis of large datasets from microblogging posts. The approach presented here is based on the principle that cultural affiliation can be inferred from the topics that people discuss among themselves. Specifically, regional variations in written discourse are measured in American social media. From the frequency distributions of content words in geotagged Tweets, the regional hotspots of words' usage are found, and from there, principal components of regional variation are derived. Through a hierarchical clustering of the data in this lower-dimensional space, this method yields clear cultural areas and the topics of discussion that define them. It uncovers a manifest North-South separation, which is primarily influenced by the African American culture, and further contiguous (East-West) and non-contiguous divisions that provide a comprehensive picture of today's cultural areas in the US. △ Less

Submitted 18 April, 2023; v1 submitted 16 August, 2022; originally announced August 2022.

Comments: 13 pages, 5 figures; contains Supplementary Information

Journal ref: Humanit Soc Sci Commun 10, 133 (2023)

Data Integrity Verification in Network Slicing using Oracles and Smart Contracts

Authors: Joao Paulo de Brito Goncalves, Gustavo Alochio, Rodolfo da Silva Villaca, Roberta Lima Gomes

Abstract: The fifth-generation (5G) wireless networks are expected to provide various services compared to the 4G and previous generations of networks. The Quality of Service requirements can be quite different in terms of latency, bandwidth, reliability, and availability. 5G technology allows the fragmentation of the network into small pieces, known as network slices. This network slicing is done by specif… ▽ More The fifth-generation (5G) wireless networks are expected to provide various services compared to the 4G and previous generations of networks. The Quality of Service requirements can be quite different in terms of latency, bandwidth, reliability, and availability. 5G technology allows the fragmentation of the network into small pieces, known as network slices. This network slicing is done by specific tools and the configuration must be protected from attacks that may be performed by malicious users. Thus in this paper, a solution to protect and prevent these failures from happening is addressed. For this solution to be carried out, a study was conducted on the Blockchain technology, as well as the use of Oracles in order to implement an integrity verification system, a system capable of assuring 5G network slices configuration integrity through a complete architecture involving Blockchain, Smart Contracts and Oracles. △ Less

Submitted 28 July, 2022; originally announced July 2022.

Cosmological sudden singularities in $f(R,T)$ gravity

Authors: Tiago B. Gonçalves, João Luís Rosa, Francisco S. N. Lobo

Abstract: In this work, we study the possibility of finite-time future cosmological singularities appearing in $f(R,T)$ gravity, where $R$ is the Ricci scalar and $T$ is the trace of the stress-energy tensor. We present the theory in both the geometrical and the dynamically equivalent scalar-tensor representation and obtain the respective equations of motion. In a background Friedmann-Lemaître-Robertson-Wal… ▽ More In this work, we study the possibility of finite-time future cosmological singularities appearing in $f(R,T)$ gravity, where $R$ is the Ricci scalar and $T$ is the trace of the stress-energy tensor. We present the theory in both the geometrical and the dynamically equivalent scalar-tensor representation and obtain the respective equations of motion. In a background Friedmann-Lemaître-Robertson-Walker (FLRW) universe with an arbitrary curvature and for a generic $C^\infty$ function $f(R,T)$, we prove that the conservation of the stress-energy tensor prevents the appearance of sudden singularities in the cosmological context at any order in the time-derivatives of the scale factor. However, if this assumption is dropped, the theory allows for sudden singularities to appear at the level of the third time-derivative of the scale factor $a(t)$, which are compensated by divergences in either the first time-derivatives of the energy density $ρ(t)$ or the isotropic pressure $p(t)$. For these cases, we introduce a cosmological model featuring a sudden singularity that is consistent with the current measurements for the cosmological parameters, namely, the Hubble constant, deceleration parameter, and age of the universe, and provide predictions for the still unmeasured jerk and snap parameters. Finally, we analyse the constraints on a particular model of the function $f(R,T)$ that guarantees that the system evolves in a direction favorable to the energy conditions at the divergence time. △ Less

Submitted 9 May, 2022; v1 submitted 21 March, 2022; originally announced March 2022.

Comments: 14 pages, 4 figures; v2: Matches published version in EPJC

Journal ref: Eur. Phys. J. C 82, 418 (2022)

Beyond Gaussian processes: Flexible Bayesian modeling and inference for geostatistical processes

Authors: F. B. Gonçalves, M. O. Prates, G. A. S. Aguilar

Abstract: This paper proposes a novel family of geostatistical models to account for features that cannot be properly accommodated by traditional Gaussian processes. The family is specified hierarchically and combines the infinite-dimensional dynamics of Gaussian processes with that of any multivariate continuous distribution. This combination is stochastically defined through a latent Poisson process and t… ▽ More This paper proposes a novel family of geostatistical models to account for features that cannot be properly accommodated by traditional Gaussian processes. The family is specified hierarchically and combines the infinite-dimensional dynamics of Gaussian processes with that of any multivariate continuous distribution. This combination is stochastically defined through a latent Poisson process and the new family is called the Poisson-Gaussian Mixture Process - POGAMP. Whilst the attempt of defining geostatistical processes by assigning some arbitrary continuous distribution to be the finite-dimension distributions usually leads to non-valid processes, the finite-dimensional distributions of the POGAMP can be arbitrarily close to any continuous distribution and still define a valid process. Formal results to establish the existence and some important properties of the POGAMP, such as absolute continuity with respect to a Gaussian process measure, are provided. Also, an MCMC algorithm is carefully devised to perform Bayesian inference when the POGAMP is discretely observed in some space domain. △ Less

Submitted 6 April, 2023; v1 submitted 12 March, 2022; originally announced March 2022.

Cosmology in the novel scalar-tensor representation of $f(R,T)$ gravity

Authors: Tiago B. Gonçalves, João Luís Rosa, Francisco S. N. Lobo

Abstract: We apply cosmological reconstruction methods to the $f(R,T)$ modified gravity, in its recently developed scalar-tensor representation. We do this analysis assuming a perfect fluid in a Friedmann-Lemaître-Robsertson-Walker (FLRW) universe. In this contribution we show the equations of motion obtained and we present the solutions found for one of the particular cases we analysed: an exponential evol… ▽ More We apply cosmological reconstruction methods to the $f(R,T)$ modified gravity, in its recently developed scalar-tensor representation. We do this analysis assuming a perfect fluid in a Friedmann-Lemaître-Robsertson-Walker (FLRW) universe. In this contribution we show the equations of motion obtained and we present the solutions found for one of the particular cases we analysed: an exponential evolution of the cosmological scale factor. △ Less

Submitted 7 December, 2021; originally announced December 2021.

Comments: 11 pages, 3 figures; Contribution to the Sixteenth Marcel Grossman Conference (MG16, Rome, July, 2021), to be published by World Scientific; based on arXiv:2112.02541 [gr-qc]

Cosmology in scalar-tensor $f(R,T)$ gravity

Authors: Tiago B. Gonçalves, João Luís Rosa, Francisco S. N. Lobo

Abstract: In this work, we use reconstruction methods to obtain cosmological solutions in the recently developed scalar-tensor representation of $f(R,T)$ gravity. Assuming that matter is described by an isotropic perfect fluid and the spacetime is homogeneous and isotropic, i.e., the Friedmann-Lemaître-Robsertson-Walker (FLRW) universe, the energy density, the pressure, and the scalar field associated with… ▽ More In this work, we use reconstruction methods to obtain cosmological solutions in the recently developed scalar-tensor representation of $f(R,T)$ gravity. Assuming that matter is described by an isotropic perfect fluid and the spacetime is homogeneous and isotropic, i.e., the Friedmann-Lemaître-Robsertson-Walker (FLRW) universe, the energy density, the pressure, and the scalar field associated with the arbitrary dependency of the action in $T$ can be written generally as functions of the scale factor. We then select three particular forms of the scale factor: an exponential expansion with ${a(t)\propto e^t}$ (motivated by the de Sitter solution); and two types of power-law expansion with ${a(t)\propto t^{1/2}}$ and ${a(t)\propto t^{2/3}}$ (motivated by the behaviors of radiation- and matter-dominated universes in general relativity, respectively). A complete analysis for different curvature parameters ${k=\{-1,0,1\}}$ and equation of state parameters ${w=\{-1,0,1/3\}}$ is provided. Finally, the explicit forms of the functions $f\left(R,T\right)$ associated with the scalar-field potentials of the representation used are deduced. △ Less

Submitted 11 March, 2022; v1 submitted 5 December, 2021; originally announced December 2021.

Comments: 14 pages, 18 figures

Journal ref: Phys. Rev. D 105, 064019 (2022)

An Interacting Neuronal Network with Inhibition: theoretical analysis and perfect simulation

Authors: Branda Goncalves

Abstract: We study a purely inhibitory neural network model where neurons are represented by their state of inhibition. The study we present here is partially based on the work of Cottrell \cite{Cot} and Fricker et al. \cite{FRST}. The spiking rate of a neuron depends only on its state of inhibition. When a neuron spikes, its state is replaced by a random new state, independently of anything else and the in… ▽ More We study a purely inhibitory neural network model where neurons are represented by their state of inhibition. The study we present here is partially based on the work of Cottrell \cite{Cot} and Fricker et al. \cite{FRST}. The spiking rate of a neuron depends only on its state of inhibition. When a neuron spikes, its state is replaced by a random new state, independently of anything else and the inhibition state of the other neurons increase by a positive value. Using the Perron-Frobenius theorem, we show the existence of a Lyapunov function for the process. Furthermore, we prove a local Doeblin condition which implies the existence of an invariant measure for the process. Finally, we extend our model to the case where the neurons are indexed by $ \mathbb{Z}. $ We construct a perfect simulation algorithm to show the recurrence of the process under certain conditions. To do this, we rely on the classical contour technique used in the study of contact processes, and assuming that the spiking rate lies on the interval $[ β_* , β^* ], $ we show that there is a critical threshold for the ratio $ δ= \frac{β_*}{β^* - β_*}$ over which the process is ergodic. \\ \textbf{Keywords}: spiking rate, interacting neurons, perfect simulation algorithm, classical contour technique. △ Less

Submitted 18 October, 2021; v1 submitted 13 October, 2021; originally announced October 2021.

The hidden side of scalar-triplet models with spontaneous CP violation

Authors: P. M. Ferreira, B. L. Gonçalves, F. R. Joaquim

Abstract: Scalar triplet extensions of the Standard Model provide an interesting playground for the explanation of neutrino mass suppression through the type-II seesaw mechanism. Propelled by the possible connections with leptonic CP violation, we explore under which conditions spontaneous CP violation can arise in models with extra scalar triplets. The minimal model satisfying such conditions requires addi… ▽ More Scalar triplet extensions of the Standard Model provide an interesting playground for the explanation of neutrino mass suppression through the type-II seesaw mechanism. Propelled by the possible connections with leptonic CP violation, we explore under which conditions spontaneous CP violation can arise in models with extra scalar triplets. The minimal model satisfying such conditions requires adding two such triplets to the SM field content. For this model, the scalar mass spectrum in both the CP-conserving and spontaneous CP-violating scenarios is studied. In the former case, a decoupling limit for the new scalars can be achieved, while this is not the case when CP is spontaneously broken. In particular, we show that the existence of two light neutral scalars with masses below a few tenths of GeVs is unavoidable in the CP-violating case. Using matrix theory theorems, we derive upper bounds for the masses of those light scalars and briefly examine whether they can still be experimentally viable. Other interesting features of the scalar mass spectrum are discussed as, e.g., the existence of relations among the charged and neutral scalar masses. △ Less

Submitted 19 January, 2022; v1 submitted 27 September, 2021; originally announced September 2021.

Comments: 29 LaTeX pages; 4 figures. Typos corrected, comments and references added

Report number: CFTP/21-012

Ultrabroadband nanocavity of hyperbolic phonon polaritons in 1D-like α-MoO3

Authors: Ingrid D. Barcelos, Thalita A. Canassa, Rafael A. Mayer, Flavio H. Feres, Eynara G. de Oliveira, Alem-Mar B. Goncalves, Hans A. Bechtel, Raul O. Freitas, Francisco C. B. Maia, Diego C. B. Alves

Abstract: The exploitation of phonon-polaritons in nanostructured materials offers a pathway to manipulate infrared (IR) light for nanophotonic applications. Notably, hyperbolic phonons polaritons (HP2) in polar bidimensional crystals have been used to demonstrate strong electromagnetic field confinement, ultraslow group velocities, and long lifetimes (~ up to 8 ps). Here we present nanobelts of α-phase mol… ▽ More The exploitation of phonon-polaritons in nanostructured materials offers a pathway to manipulate infrared (IR) light for nanophotonic applications. Notably, hyperbolic phonons polaritons (HP2) in polar bidimensional crystals have been used to demonstrate strong electromagnetic field confinement, ultraslow group velocities, and long lifetimes (~ up to 8 ps). Here we present nanobelts of α-phase molybdenum trioxide (α-MoO3) as a low-dimensional medium supporting HP2 modes in the mid- and far-IR ranges. By real-space nanoimaging, with IR illuminations provided by synchrotron and tunable lasers, we observe that such HP2 response happens via formation of Fabry-Perot resonances. We remark an anisotropic propagation which critically depends on the frequency range. Our findings are supported by the convergence of experiment, theory, and numerical simulations. Our work shows that the low dimensionality of natural nanostructured crystals, like α-MoO3 nanobelts, provides an attractive platform to study polaritonic light-matter interactions and offer appealing cavity properties that could be harnessed in future designs of compact nanophotonic devices. △ Less

Submitted 3 May, 2021; originally announced May 2021.

$(g-2)_μ$ in the 2HDM and slightly beyond -- an updated view

Authors: P. M. Ferreira, B. L. Gonçalves, F. R. Joaquim, Marc Sher

Abstract: The recent measurement of the muon $g - 2$ anomaly continues to defy a Standard Model explanation, but can be accommodated within the framework of two Higgs doublet models. If one further includes extra fermion content in the form of a generation of vector like leptons, the allowed parameter range that explains the anomaly is even further extended, and thorny issues of perturbativity and clashes w… ▽ More The recent measurement of the muon $g - 2$ anomaly continues to defy a Standard Model explanation, but can be accommodated within the framework of two Higgs doublet models. If one further includes extra fermion content in the form of a generation of vector like leptons, the allowed parameter range that explains the anomaly is even further extended, and thorny issues of perturbativity and clashes with $B$-decay constraints avoided. We will show how the muon magnetic moment anomaly can be fit within these models, under the assumption that the vector-like leptons do not mix with the muon. We update previous analyses and include all theoretical and experimental constraints, including searches for extra scalars. It is shown that the inclusion of vector-like fermions allows the lepton-specific and muon-specific models to perform much better in fitting the muon's $g - 2$. These fits do require the Yukawa coupling between the Higgs and the vector-like leptons to be large, causing potential problems with perturbativity and unitarity, and thus models in which the vector-like leptons mix with the muon may be preferred. △ Less

Submitted 19 July, 2021; v1 submitted 7 April, 2021; originally announced April 2021.

Comments: v3: References and comments added; typos corrected; changes for referee report

Journal ref: Phys. Rev. D 104, 053008 (2021)

Cosmology from non-minimal geometry-matter coupling

Authors: B. S. Gonçalves, P. H. R. S. Moraes, B. Mishra

Abstract: We construct a cosmological model from the inception of the Friedmann-Lemâitre-Robertson-Walker metric into the field equations of the f(R,L_m) gravity theory, with R being the Ricci scalar and L_m being the matter lagrangian density. The formalism is developed for a particular f(R,L_m) function, namely R/16π+(1+σR)L_{m}, with σbeing a constant that carries the geometry-matter coupling. Our soluti… ▽ More We construct a cosmological model from the inception of the Friedmann-Lemâitre-Robertson-Walker metric into the field equations of the f(R,L_m) gravity theory, with R being the Ricci scalar and L_m being the matter lagrangian density. The formalism is developed for a particular f(R,L_m) function, namely R/16π+(1+σR)L_{m}, with σbeing a constant that carries the geometry-matter coupling. Our solutions are remarkably capable of evading the Big-Bang singularity as well as predict the cosmic acceleration with no need for the cosmological constant, but simply as a consequence of the geometry-matter coupling terms in the Friedmann-like equations △ Less

Submitted 10 April, 2023; v1 submitted 14 January, 2021; originally announced January 2021.

Comments: 5 pages, 3 figures, Accepted version Fortschritte der physik

Journal ref: Fortsch.Phys. 71 (2023), 2200153

Scaling features of two special Markov chains involving total disasters

Authors: Branda Goncalves, Thierry Huillet

Abstract: Catastrophe Markov chain population models have received a lot of attention in the recent past. We herewith consider two special cases of such models involving total disasters, both in discrete and in continuous-time. Depending on the parameters range, the two models can show up a recurrence/transience transition and, in the critical case, a positive/null recurrence transition. The collapse transi… ▽ More Catastrophe Markov chain population models have received a lot of attention in the recent past. We herewith consider two special cases of such models involving total disasters, both in discrete and in continuous-time. Depending on the parameters range, the two models can show up a recurrence/transience transition and, in the critical case, a positive/null recurrence transition. The collapse transition probabilities are chosen in such a way that the models are exactly solvable and, in case of positive recurrence, intimately related to the extended Sibuya and Pareto-Zipf distributions whose divisibility and self-decomposability properties are shown relevant. The study includes: existence and shape of the invariant measure, time-reversal, return time to the origin, contact probability at the origin, extinction probability, height and length of the excursions, a renewal approach to the fraction of time spent in the catastrophic state, scale function, first time to collapse and first-passage times, divisibility properties. △ Less

Submitted 11 January, 2021; originally announced January 2021.

A generating function approach to Markov chains undergoing binomial catastrophes

Authors: Branda Goncalves, Thierry Huillet

Abstract: In a Markov chain population model subject to catastrophes, random immigration events (birth), promoting growth, are in balance with the effect of binomial catastrophes that cause recurrent mass removal (death). Using a generating function approach, we study two versions of such population models when the binomial catastrophic events are of a slightly different random nature. In both cases, we des… ▽ More In a Markov chain population model subject to catastrophes, random immigration events (birth), promoting growth, are in balance with the effect of binomial catastrophes that cause recurrent mass removal (death). Using a generating function approach, we study two versions of such population models when the binomial catastrophic events are of a slightly different random nature. In both cases, we describe the subtle balance between the two birth and death conflicting effects. △ Less

Submitted 11 January, 2021; originally announced January 2021.

Exact Bayesian inference for level-set Cox processes with piecewise constant intensity function

Authors: Flavio B. Gonçalves, Barbara C. C. Dias

Abstract: This paper proposes a new methodology to perform Bayesian inference for a class of multidimensional Cox processes in which the intensity function is piecewise constant. Poisson processes with piecewise constant intensity functions are believed to be suitable to model a variety of point process phenomena and, given its simpler structure, are expected to provide more precise inference when compared… ▽ More This paper proposes a new methodology to perform Bayesian inference for a class of multidimensional Cox processes in which the intensity function is piecewise constant. Poisson processes with piecewise constant intensity functions are believed to be suitable to model a variety of point process phenomena and, given its simpler structure, are expected to provide more precise inference when compared to processes with non-parametric and continuously varying intensity functions. The partition of the space domain is flexibly determined by a level-set function of a latent Gaussian process. Despite the intractability of the likelihood function and the infinite dimensionality of the parameter space, inference is performed exactly, in the sense that no space discretization approximation is used and MCMC error is the only source of inaccuracy. That is achieved by using retrospective sampling techniques and devising a pseudo-marginal infinite-dimensional MCMC algorithm that converges to the exact target posterior distribution. Computational efficiency is favored by considering a nearest neighbor Gaussian process, allowing for the analysis of large datasets. An extension to consider spatiotemporal models is also proposed. The efficiency of the proposed methodology is investigated in simulated examples and its applicability is illustrated in the analysis of some real point process datasets. △ Less

Submitted 15 November, 2022; v1 submitted 10 December, 2020; originally announced December 2020.

On decay-surge population models

Authors: Branda Goncalves, Thierry Huillet, Eva Löcherbach

Abstract: We consider continuous space-time decay-surge population models which are semi- stochastic processes for which deterministically declining populations, bound to fade away, are rein- vigorated at random times by bursts or surges of random sizes. In a particular separable framework (in a sense made precise below) we provide explicit formulae for the scale (or harmonic) function and the speed measure… ▽ More We consider continuous space-time decay-surge population models which are semi- stochastic processes for which deterministically declining populations, bound to fade away, are rein- vigorated at random times by bursts or surges of random sizes. In a particular separable framework (in a sense made precise below) we provide explicit formulae for the scale (or harmonic) function and the speed measure of the process. The behavior of the scale function at infinity allows to formulate conditions under which such processes either explode or are transient at infinity, or Harris recurrent. A description of the structures of both the discrete-time embedded chain and extreme record chain of such continuous-time processes is supplied. △ Less

Submitted 8 November, 2021; v1 submitted 1 December, 2020; originally announced December 2020.

Comparing Workflow Application Designs for High Resolution Satellite Image Analysis

Authors: Aymen Al-Saadi, Ioannis Paraskevakos, Bento Collares Gonçalves, Heather J. Lynch, Shantenu Jha, Matteo Turilli

Abstract: Very High Resolution satellite and aerial imagery are used to monitor and conduct large scale surveys of ecological systems. Convolutional Neural Networks have successfully been employed to analyze such imagery to detect large animals and salient features. As the datasets increase in volume and number of images, utilizing High Performance Computing resources becomes necessary. In this paper, we in… ▽ More Very High Resolution satellite and aerial imagery are used to monitor and conduct large scale surveys of ecological systems. Convolutional Neural Networks have successfully been employed to analyze such imagery to detect large animals and salient features. As the datasets increase in volume and number of images, utilizing High Performance Computing resources becomes necessary. In this paper, we investigate three task-parallel, data-driven workflow designs to support imagery analysis pipelines with heterogeneous tasks on HPC. We analyze the capabilities of each design when processing datasets from two use cases for a total of 4,672 satellite and aerial images, and 8.35 TB of data. We experimentally model the execution time of the tasks of the image processing pipelines. We perform experiments to characterize the resource utilization, total time to completion, and overheads of each design. Based on the model, overhead and utilization analysis, we show which design is best suited to scientific pipelines with similar characteristics. △ Less

Submitted 27 October, 2020; originally announced October 2020.

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

Li-rich giant stars under scrutiny: Binarity, magnetic activity and the evolutionary status after Gaia DR2

Authors: B. F. O. Gonçalves, J. S. da Costa, L. de Almeida, M. Castro, J. -D. do Nascimento Jr

Abstract: We present a study of the evolutionary state of a few lithium-rich giant stars based on the Gaia DR2 parallaxes and photometry. We also investigate the chromospheric activity, the presence of a surface magnetic field, and the radial velocity for our sample stars. We analysed both archive and new data. We gathered archive spectra from several instruments, mainly ELODIE and NARVAL, and we added new… ▽ More We present a study of the evolutionary state of a few lithium-rich giant stars based on the Gaia DR2 parallaxes and photometry. We also investigate the chromospheric activity, the presence of a surface magnetic field, and the radial velocity for our sample stars. We analysed both archive and new data. We gathered archive spectra from several instruments, mainly ELODIE and NARVAL, and we added new data acquired with the spectrograph MUSICOS. We applied the Least-Squares Deconvolution technique to obtain Stokes V and Stokes I mean profiles to compute longitudinal magnetic field for a subset. Moreover, for the same subset, we analysed the Ca II H and K emission lines to calculate the S-index. We also derived atmospheric parameters and Li abundances for all eighteen stars of our sample. We found that stars previously classified as RGB may actually be at a different evolutionary state. Furthermore, we identified that most stars in our sample with detection of surface magnetic field show at least moderate rotation velocities, but nonetheless, we could not detect a magnetic field in two fast rotators. Due to our small sample of magnetic giants, it is difficult to determine if the presence of surface magnetic field and the Li-rich giant phenomena could be somehow linked. The large variation of the radial velocity of part of our sample indicates that some of them might have a binary companion, which may change the way we look at the Li problem in giant stars. △ Less

Submitted 6 August, 2020; originally announced August 2020.

Exact Bayesian inference for diffusion driven Cox processes

Authors: Flavio B. Gonçalves, Krzysztof G. Łatuszyński, Gareth O. Roberts

Abstract: In this paper, we present a novel methodology to perform Bayesian inference for Cox processes in which the intensity function is driven by a diffusion process. The novelty lies in the fact that no discretization error is involved, despite the non-tractability of both the likelihood function and the transition density of the diffusion. The methodology is based on an MCMC algorithm and its exactness… ▽ More In this paper, we present a novel methodology to perform Bayesian inference for Cox processes in which the intensity function is driven by a diffusion process. The novelty lies in the fact that no discretization error is involved, despite the non-tractability of both the likelihood function and the transition density of the diffusion. The methodology is based on an MCMC algorithm and its exactness is built on retrospective sampling techniques. The efficiency of the methodology is investigated in some simulated examples and its applicability is illustrated in some real data analyzes. △ Less

Submitted 2 June, 2023; v1 submitted 11 July, 2020; originally announced July 2020.

On population growth with catastrophes

Authors: Branda Goncalves, Thierry Huillet, Eva Löcherbach

Abstract: In this paper we study a particular class of Piecewise deterministic Markov processes (PDMP's) which are semi-stochastic catastrophe versions of deterministic population growth models. In between successive jumps the process follows a flow describing deterministic population growth. Moreover, at random jump times, governed by state-dependent rates, the size of the population shrinks by a random am… ▽ More In this paper we study a particular class of Piecewise deterministic Markov processes (PDMP's) which are semi-stochastic catastrophe versions of deterministic population growth models. In between successive jumps the process follows a flow describing deterministic population growth. Moreover, at random jump times, governed by state-dependent rates, the size of the population shrinks by a random amount of its current size, an event possibly leading to instantaneous local (or total) extinction. A special separable shrinkage transition kernel is investigated in more detail, including the case of total disasters. We discuss conditions under which such processes are recurrent (positive or null) or transient. To do so, we introduce a modified scale function which is used to compute, when relevant, the law of the height of excursions and to decide if the process is recurrent or not. The question of the finiteness of the time to extinction is investigated together with the evaluation of the mean time to extinction when the last one is finite. Some information on the embedded jump chain of the PDMP is also required when dealing with the classification of states 0 and infinity that we exhibit. △ Less

Submitted 8 June, 2021; v1 submitted 7 July, 2020; originally announced July 2020.

Comments: 2 figures

MSC Class: 60J25; 60H10; 92A15

Multidimensional Bayesian IRT Model for Hierarchical Latent Structures

Authors: Juliane Venturelli S. L., Flavio B. Gonçalves, Dalton F. Andrade

Abstract: It is reasonable to consider, in many cases, that individuals' latent traits have a hierarchical structure such that more general traits are a suitable composition of more specific ones. Existing item response models that account for such hierarchical structure feature have considerable limitations in terms of modelling and/or inference. Motivated by those limitations and the importance of the the… ▽ More It is reasonable to consider, in many cases, that individuals' latent traits have a hierarchical structure such that more general traits are a suitable composition of more specific ones. Existing item response models that account for such hierarchical structure feature have considerable limitations in terms of modelling and/or inference. Motivated by those limitations and the importance of the theme, this paper aims at proposing an improved methodology in terms of both modelling and inference to deal with hierarchically structured latent traits in an item response theory context. From a modelling perspective, the proposed methodology allows for genuinely multidimensional items and all of the latent traits in the assumed hierarchical structure are on the same scale. Items are allowed to be dichotomous or of graded response. An efficient MCMC algorithm is carefully devised to sample from the joint posterior distribution of all the unknown quantities of the proposed model. In particular, all the latent trait parameters are jointly sampled from their full conditional distribution in a Gibbs sampling algorithm. The proposed methodology is applied to simulated data and a real dataset concerning the Enem exam in Brazil. △ Less

Submitted 26 July, 2020; v1 submitted 17 June, 2020; originally announced June 2020.

Exact and computationally efficient Bayesian inference for generalized Markov modulated Poisson processes

Authors: Flavio B. Gonçalves, Livia M. Dutra, Roger W. C. Silva

Abstract: Statistical modeling of point patterns is an important and common problem in several areas. The Poisson process is the most common process used for this purpose, in particular, its generalization that considers the intensity function to be stochastic. This is called a Cox process and different choices to model the dynamics of the intensity gives rise to a wide range of models. We present a new cla… ▽ More Statistical modeling of point patterns is an important and common problem in several areas. The Poisson process is the most common process used for this purpose, in particular, its generalization that considers the intensity function to be stochastic. This is called a Cox process and different choices to model the dynamics of the intensity gives rise to a wide range of models. We present a new class of unidimensional Cox process models in which the intensity function assumes parametric functional forms that switch among them according to a continuous-time Markov chain. A novel methodology is proposed to perform exact Bayesian inference based on MCMC algorithms. The term exact refers to the fact that no discrete time approximation is used and Monte Carlo error is the only source of inaccuracy. The reliability of the algorithms depends on a variety of specifications which are carefully addressed, resulting in a computationally efficient (in terms of computing time) algorithm and enabling its use with large data sets. Simulated and real examples are presented to illustrate the efficiency and applicability of the proposed methodology. A specific model to fit epidemic curves is proposed and used to analyze data from Dengue Fever in Brazil and COVID-19 in some countries. △ Less

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

The effects of dark energy on the early universe with radiation and Bose-Einstein condensate

Authors: G. A. Monerat, F. G. Alvarenga, S. V. B. Gonçalves, R. Fracalossi, G. Oliveira-Neto, C. G. M. Santos, E. V. Corrêa Silva

Abstract: This work analyzes the effects of quantization on a Friedmann-Lemaître-Robertson-Walker (FLRW) model with positive curvature and material content composed of a Bose-Einstein condensate, a radioactive fluid and a cosmological constant playing the role of the dark energy of the universe. The quantization of the model was performed using the finite difference method in the Crank-Nicolson scheme: solu… ▽ More This work analyzes the effects of quantization on a Friedmann-Lemaître-Robertson-Walker (FLRW) model with positive curvature and material content composed of a Bose-Einstein condensate, a radioactive fluid and a cosmological constant playing the role of the dark energy of the universe. The quantization of the model was performed using the finite difference method in the Crank-Nicolson scheme: solutions of the Wheeler-DeWitt equation are obtained, in the form of finite norm wave packets which are well defined in all space, even if the 3D-sphere is degenerate. The introduction of the Bose-Einstein condensate and cosmological constant preserves the existence of bounce solutions (for certain choices of parameters and initial conditions) with exits for inflation (de Sitter solutions). This occurs after the universe emerges from its quantum phase by a tunneling mechanism. △ Less

Submitted 11 November, 2020; v1 submitted 27 April, 2020; originally announced April 2020.

Comments: 30 pages, 15 figures, 3 tables The authors are fully reviewing this article

Investigation of the one-neutron transfer in $^{13}$C + $^{28}$Si at E$_{lab}$ = 30 and 34 MeV

Authors: R. Linares, C. C. Seabra, V. A. B. Zagatto, V. Scarduelli, L. Gasques, L. C. Chamon, B. R. Gonçalves, D. R. Mendes Junior, A. Lépine-Szily

Abstract: Background: Neutron transfer measurements for the $^{18}$O + $^{28}$Si system have shown that the experimental one-neutron and two-neutron transfer cross sections are well reproduced with spectroscopic amplitudes from two different shell model interactions for the Si isotopes: \textit{psdmod} for the two-neutron transfer, and \textit{psdmwkpn} for the one-neutron transfer. Purpose: The origin of… ▽ More Background: Neutron transfer measurements for the $^{18}$O + $^{28}$Si system have shown that the experimental one-neutron and two-neutron transfer cross sections are well reproduced with spectroscopic amplitudes from two different shell model interactions for the Si isotopes: \textit{psdmod} for the two-neutron transfer, and \textit{psdmwkpn} for the one-neutron transfer. Purpose: The origin of this ambiguity can be related to a more complex mechanism in the one-neutron transfer that requires the unpairing of neutrons prior to its transfer in the ($^{18}$O,$^{17}$O) reaction. Studying a nucleus where this characteristic is absent ($^{13}$C) should help to elucidate this question. Method: One-neutron transfer cross sections were measured for the $^{13}$C + $^{28}$Si at E$_{lab}$ = 30, and 34 MeV, and compared with coupled reaction channel calculations using spectroscopic amplitudes derived from the \textit{psdmod} and \textit{psdmwkpn} shell model interactions. Results: The spectroscopic amplitudes from the \textit{psdmod} interaction for the relevant states in $^{29}$Si provide a good description of the experimental data and the corresponding values agree with previous estimates obtained from the (d,p) reaction. Conclusions: The experimental data for the one-neutron transfer to $^{28}$Si induced by ($^{13}$C,$^{12}$C) reaction is well reproduced using spectroscopic amplitudes from the \textit{psdmod}. △ Less

Submitted 21 January, 2020; originally announced January 2020.

Comments: 15 pages, 7 figures

Journal ref: Phys. Rev. C 101, 014611 (2020)

Stability of neutral minima against charge breaking in the Higgs triplet model

Authors: P. M. Ferreira, B. L. Gonçalves

Abstract: We analyse the possibility of charge breaking minima develo** in the Higgs triplet model, and under what conditions they are deeper than charge-preserving ones. Analytical expressions relating the depth of minima of different types are deduced. A global symmetry of the model leads to increased stability for charge-preserving vacua. However, if that symmetry is broken by a soft term, deeper charg… ▽ More We analyse the possibility of charge breaking minima develo** in the Higgs triplet model, and under what conditions they are deeper than charge-preserving ones. Analytical expressions relating the depth of minima of different types are deduced. A global symmetry of the model leads to increased stability for charge-preserving vacua. However, if that symmetry is broken by a soft term, deeper charge-breaking minima may occur more easily. We identify the vev configurations most likely to produce charge breaking minima. △ Less

Submitted 31 January, 2020; v1 submitted 21 November, 2019; originally announced November 2019.

Comments: Appendix C added, minor changes requested by referee

Flexible Bayesian modelling in dichotomous item response theory using mixtures of skewed item curves

Authors: Flávio B. Gonçalves, Juliane Venturelli, Rosangela H. Loschi

Abstract: Most Item Response Theory (IRT) models for dichotomous responses are based on probit or logit link functions which assume a symmetric relationship between the probability of a correct response and the latent traits of individuals submitted to a test. This assumption restricts the use of those models to the case in which all items have a symmetric behaviour. On the other hand, asymmetric models pro… ▽ More Most Item Response Theory (IRT) models for dichotomous responses are based on probit or logit link functions which assume a symmetric relationship between the probability of a correct response and the latent traits of individuals submitted to a test. This assumption restricts the use of those models to the case in which all items have a symmetric behaviour. On the other hand, asymmetric models proposed in the literature impose that all the items in a test have an asymmetric behaviour. This assumption is inappropriate for great part of the tests which are, in general, composed by both symmetric and asymmetric items. Furthermore, a straightforward extension of the existing models in the literature would require a prior selection of the items' symmetry/asymmetry status. This paper proposes a Bayesian IRT model that accounts for symmetric and asymmetric items in a flexible though parsimonious way. That is achieved by assigning a finite mixture prior to the skewness parameter, with one of the mixture components being a point-mass at zero. This allows for analyses under both model selection and model averaging approaches. Asymmetric item curves are designed through the centred skew normal distribution, which has a particularly appealing parametrisation in terms of parameter interpretation and computational efficiency. An efficient MCMC algorithm is proposed to perform Bayesian inference and its performance is investigated in some simulated examples. Finally, the proposed methodology is applied to a data set from a large scale educational exam in Brazil. △ Less

Submitted 20 May, 2022; v1 submitted 22 October, 2019; originally announced October 2019.

Quantum Cosmology with many fluids and the choice of cosmological time

Authors: G. A. Monerat, C. G. M. Santos, F. G. Alvarenga, S. V. B. Gonçalves, R. Fracalossi, E. V. Corrêa Silva, G. Oliveira-Neto

Abstract: In this work we propose the quantization of a cosmological model describing the primordial universe filled with five barotropic fluids, namely: radiation, dust, vacuum, cosmic strings and domain walls. We intend to identify which fluid is best suited to provide phenomenologically the temporal variable in accordance with the observable universe. Through the Galerkin spectral method and the finite d… ▽ More In this work we propose the quantization of a cosmological model describing the primordial universe filled with five barotropic fluids, namely: radiation, dust, vacuum, cosmic strings and domain walls. We intend to identify which fluid is best suited to provide phenomenologically the temporal variable in accordance with the observable universe. Through the Galerkin spectral method and the finite difference method in the Crank-Nicolson scheme (vacuum case), the quantum cosmological solutions are obtained and compared. We, also, compare the quantum cosmological solutions with the corresponding classical ones. The vacuum case is especially interesting because it provides a tunneling transition mechanism from the quantum to the classical phase and the possibility of calculating quantum tunneling probabilities. △ Less

Submitted 3 December, 2019; v1 submitted 14 August, 2019; originally announced August 2019.

Comments: 26 pages, 25 figures, 2 tables

Journal ref: Brazilian Journal of Physics, 2019

Mediation Challenges and Socio-Technical Gaps for Explainable Deep Learning Applications

Authors: Rafael Brandão, Joel Carbonera, Clarisse de Souza, Juliana Ferreira, Bernardo Gonçalves, Carla Leitão

Abstract: The presumed data owners' right to explanations brought about by the General Data Protection Regulation in Europe has shed light on the social challenges of explainable artificial intelligence (XAI). In this paper, we present a case study with Deep Learning (DL) experts from a research and development laboratory focused on the delivery of industrial-strength AI technologies. Our aim was to investi… ▽ More The presumed data owners' right to explanations brought about by the General Data Protection Regulation in Europe has shed light on the social challenges of explainable artificial intelligence (XAI). In this paper, we present a case study with Deep Learning (DL) experts from a research and development laboratory focused on the delivery of industrial-strength AI technologies. Our aim was to investigate the social meaning (i.e. meaning to others) that DL experts assign to what they do, given a richly contextualized and familiar domain of application. Using qualitative research techniques to collect and analyze empirical data, our study has shown that participating DL experts did not spontaneously engage into considerations about the social meaning of machine learning models that they build. Moreover, when explicitly stimulated to do so, these experts expressed expectations that, with real-world DL application, there will be available mediators to bridge the gap between technical meanings that drive DL work, and social meanings that AI technology users assign to it. We concluded that current research incentives and values guiding the participants' scientific interests and conduct are at odds with those required to face some of the scientific challenges involved in advancing XAI, and thus responding to the alleged data owners' right to explanations or similar societal demands emerging from current debates. As a concrete contribution to mitigate what seems to be a more general problem, we propose three preliminary XAI Mediation Challenges with the potential to bring together technical and social meanings of DL applications, as well as to foster much needed interdisciplinary collaboration among AI and the Social Sciences researchers. △ Less

Submitted 16 July, 2019; originally announced July 2019.

Comments: 39 pages

On the definition of likelihood function

Authors: Flávio B. Gonçalves, Pedro Franklin

Abstract: We discuss a general definition of likelihood function in terms of Radon-Nikodým derivatives. The definition is validated by the Likelihood Principle once we establish a result regarding the proportionality of likelihood functions under different dominating measures. This general framework is particularly useful when there exists no or more than one obvious choice for a dominating measure as in so… ▽ More We discuss a general definition of likelihood function in terms of Radon-Nikodým derivatives. The definition is validated by the Likelihood Principle once we establish a result regarding the proportionality of likelihood functions under different dominating measures. This general framework is particularly useful when there exists no or more than one obvious choice for a dominating measure as in some infinite-dimensional models. We discuss the importance of considering continuous versions of densities and how these are related to the Likelihood Principle and the basic concept of likelihood. We also discuss the use of the predictive measure as a dominating measure in the Bayesian approach. Finally, some examples illustrate the general definition of likelihood function and the importance of choosing particular dominating measures in some cases. △ Less

Submitted 21 June, 2021; v1 submitted 25 June, 2019; originally announced June 2019.

Comments: 17 pages

Workflow Design Analysis for High Resolution Satellite Image Analysis

Authors: Ioannis Paraskevakos, Matteo Turilli, Bento Collares Gonçalves, Heather J. Lynch, Shantenu Jha

Abstract: Ecological sciences are using imagery from a variety of sources to monitor and survey populations and ecosystems. Very High Resolution (VHR) satellite imagery provide an effective dataset for large scale surveys. Convolutional Neural Networks have successfully been employed to analyze such imagery and detect large animals. As the datasets increase in volume, O(TB), and number of images, O(1k), uti… ▽ More Ecological sciences are using imagery from a variety of sources to monitor and survey populations and ecosystems. Very High Resolution (VHR) satellite imagery provide an effective dataset for large scale surveys. Convolutional Neural Networks have successfully been employed to analyze such imagery and detect large animals. As the datasets increase in volume, O(TB), and number of images, O(1k), utilizing High Performance Computing (HPC) resources becomes necessary. In this paper, we investigate a task-parallel data-driven workflows design to support imagery analysis pipelines with heterogeneous tasks on HPC. We analyze the capabilities of each design when processing a dataset of 3,000 VHR satellite images for a total of 4~TB. We experimentally model the execution time of the tasks of the image processing pipeline. We perform experiments to characterize the resource utilization, total time to completion, and overheads of each design. Based on the model, overhead and utilization analysis, we show which design approach to is best suited in scientific pipelines with similar characteristics. △ Less

Submitted 29 January, 2020; v1 submitted 23 May, 2019; originally announced May 2019.

Comments: 10 pages

Weakly Labeling the Antarctic: The Penguin Colony Case

Authors: Hieu Le, Bento Gonçalves, Dimitris Samaras, Heather Lynch

Abstract: Antarctic penguins are important ecological indicators -- especially in the face of climate change. In this work, we present a deep learning based model for semantic segmentation of Adélie penguin colonies in high-resolution satellite imagery. To train our segmentation models, we take advantage of the Penguin Colony Dataset: a unique dataset with 2044 georeferenced cropped images from 193 Adélie p… ▽ More Antarctic penguins are important ecological indicators -- especially in the face of climate change. In this work, we present a deep learning based model for semantic segmentation of Adélie penguin colonies in high-resolution satellite imagery. To train our segmentation models, we take advantage of the Penguin Colony Dataset: a unique dataset with 2044 georeferenced cropped images from 193 Adélie penguin colonies in Antarctica. In the face of a scarcity of pixel-level annotation masks, we propose a weakly-supervised framework to effectively learn a segmentation model from weak labels. We use a classification network to filter out data unsuitable for the segmentation network. This segmentation network is trained with a specific loss function, based on the average activation, to effectively learn from the data with the weakly-annotated labels. Our experiments show that adding weakly-annotated training examples significantly improves segmentation performance, increasing the mean Intersection-over-Union from 42.3 to 60.0% on the Penguin Colony Dataset. △ Less

Submitted 19 May, 2019; v1 submitted 8 May, 2019; originally announced May 2019.

Comments: CVPR19 - CV4GC workshop

Hydrostatic equilibrium configurations of neutron stars in a non-minimal geometry-matter coupling theory of gravity

Authors: G. A. Carvalho, P. H. R. S. Moraes, S. I. dos Santos Jr., B. S. Gonçalves, M. Malheiro

Abstract: In this work we analyze hydrostatic equilibrium configurations of neutron stars in a non-minimal geometry-matter coupling (GMC) theory of gravity. We begin with the derivation of the hydrostatic equilibrium equations for the $f(R,L) $ gravity theory, where $R$ and $L$ are the Ricci scalar and Lagrangian of matter, respectively. We assume $f(R,L)=R/2+[1+σR]L$, with $σ$ constant. To describe matter… ▽ More In this work we analyze hydrostatic equilibrium configurations of neutron stars in a non-minimal geometry-matter coupling (GMC) theory of gravity. We begin with the derivation of the hydrostatic equilibrium equations for the $f(R,L) $ gravity theory, where $R$ and $L$ are the Ricci scalar and Lagrangian of matter, respectively. We assume $f(R,L)=R/2+[1+σR]L$, with $σ$ constant. To describe matter inside neutron stars we assume the polytropic equation of state $p=K ρ^γ$, with $K$ and $γ= 5/3 $ being constants. We show that in this theory it is possible to reach the mass of massive pulsars such as PSR J2215+5135. As a feature of the GMC theory, very compact neutron stars with radius $\sim8$km and $M\sim 2.6M_\odot$ are stable, thus surpassing the Buchdal and Schwarzschild radius limits. Moreover, the referred stellar diameter is obtained within the range of observational data. △ Less

Submitted 12 May, 2020; v1 submitted 30 March, 2019; originally announced April 2019.

Comments: EPJC accepted

A nonlinear couple stress-based sandwich beam theory

Authors: Bruno Reinaldo Goncalves, Anssi T. Karttunen, Jani Romanoff

Abstract: A geometrically nonlinear sandwich beam model founded on the modified couple stress Timoshenko beam theory with Kármán kinematics is derived and employed in the analysis of periodic sandwich structures. The constitutive model is based on the mechanical behavior of sandwich beams, with the bending response split into membrane-induced and local bending modes. A micromechanical approach based on the… ▽ More A geometrically nonlinear sandwich beam model founded on the modified couple stress Timoshenko beam theory with Kármán kinematics is derived and employed in the analysis of periodic sandwich structures. The constitutive model is based on the mechanical behavior of sandwich beams, with the bending response split into membrane-induced and local bending modes. A micromechanical approach based on the structural analysis of a unit cell is derived and utilized to obtain the stiffness properties of selected prismatic cores. The model is shown to be equivalent to the classical thick-face sandwich theory for the same basic assumptions. A two-node finite element interpolated with linear and cubic shape functions is proposed and its stiffness and geometric stiffness matrices are derived. Three examples illustrate the model capabilities in predicting deflections, stresses and critical buckling loads of elastic sandwich beams including elastic size effects. Good agreement is obtained throughout in comparisons with more involved finite element models. △ Less

Submitted 18 March, 2019; originally announced March 2019.

Comments: This work has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie Action grant agreement No 745770 - SANDFECH - Micromechanics-based finite element modeling of sandwich structures

The Exact Foldy-Wouthuysen Transformation for a Dirac Theory Revisited

Authors: Bruno Gonçalves, Mário M. Dias Júnior, Baltazar J. Ribeiro

Abstract: The Exact Foldy-Wouthuysen transformation (EFWT) method is generalized here. In principle, it is not possible to construct the EFWT to any Hamiltonian. The transformation conditions are the same but the involution operator has a new form. We took a special example and constructed explicitly the new involution operator that allows one to perform the transformation. We treat the case of the Hamilton… ▽ More The Exact Foldy-Wouthuysen transformation (EFWT) method is generalized here. In principle, it is not possible to construct the EFWT to any Hamiltonian. The transformation conditions are the same but the involution operator has a new form. We took a special example and constructed explicitly the new involution operator that allows one to perform the transformation. We treat the case of the Hamiltonian with 160 possible CPT-Lorentz breaking terms, using this new technique. The transformation was performed and physics analysis of the equations of motion is shown. △ Less

Submitted 11 March, 2019; v1 submitted 30 December, 2018; originally announced December 2018.

Journal ref: Phys. Rev. D 99, 096015 (2019)

PCIe Hot Plug support standardization challenges in ATCA

Authors: Miguel Correia, Jorge Sousa, António P. Rodrigues, Paulo F. Carvalho, Bruno Santos, Álvaro Combo, Carlos M. B. A. Correia, Bruno Gonçalves

Abstract: Throughout the last decade, the Advanced Telecommunications Computing Architecture (ATCA) solidified its position as one of the main switched-based crate standards for advanced Physics instrumentation, offering not only highly performant characteristics in data throughput, channel density or power supply/dissipation capabilities, but also special features for high availability (HA), required for l… ▽ More Throughout the last decade, the Advanced Telecommunications Computing Architecture (ATCA) solidified its position as one of the main switched-based crate standards for advanced Physics instrumentation, offering not only highly performant characteristics in data throughput, channel density or power supply/dissipation capabilities, but also special features for high availability (HA), required for latest and upcoming large-scale endeavours, as is the case of ITER. Hot Swap is one of the main HA features in ATCA, allowing for Boards to be replaced in a crate (Shelf), without powering off the whole system. Platforms using the Peripheral Component Interconnect Express (PCIe) protocol on the Fabric Interface must be complemented, at the software level, with the PCIe Hot Plug native feature, currently not specified for the ATCA form-factor. From a customised Hot Plug support implementation for ATCA Node Boards, the paper presents an implementation extension for Hub Boards, allowing Hot Plug of PCIe switching devices, without causing bus enumeration problems. This paper further addresses the main issues concerning an eventual standardization of PCIe Hot Plug support in ATCA, such as the implementability of Hot Plug Elements and the generation and management of Hot Plug Events, aiming to stimulate the discussion within the PICMG community towards a long overdue standardized solution for Hot Plug in ATCA. △ Less

Submitted 22 June, 2018; originally announced June 2018.

Comments: 4 pages, 3 figures, 21st IEEE Real Time Conference - Colonial Williamsburg 9-15 June 2018 Woodlands Conference Center

The design and performance of the real time software architecture for the ITER Radial Neutron Camera

Authors: N. Cruz, B. Santos, A. Fernandes, P. F. Carvalho, J. Sousa, B. Gonçalves, M. Riva, C. Centioli, D. Marocco, B. Esposito, C. M. B. Correia, R. C. Pereira

Abstract: The neutron detection system for characterization of emissivity in ITER Tokamak during DD and DT experiments poses serious challenges to the performance of the diagnostic control and data acquisition system (CDAcq). The ongoing design of the ITER Radial Neutron Camera (RNC) diagnostic is composed by 26 lines of sight (LOS) for complete plasma inspection. The CDAcq system aims at meeting the ITER r… ▽ More The neutron detection system for characterization of emissivity in ITER Tokamak during DD and DT experiments poses serious challenges to the performance of the diagnostic control and data acquisition system (CDAcq). The ongoing design of the ITER Radial Neutron Camera (RNC) diagnostic is composed by 26 lines of sight (LOS) for complete plasma inspection. The CDAcq system aims at meeting the ITER requirements of delivering the measurement of the real-time neutron emissivity profile with time resolution and control cycle time of 10 ms at peak event rate of 2 MEvents/s per LOS. This measurement demands the generation of the neutron spectra for each LOS with neutron/gamma discrimination and pile up rejection. The neutron spectra can be totally processed in the host CPU or it can use the processed data coming from the system FPGA. The number of neutron counts extracted from the spectra is then used to calculate the neutron emissivity profile using an inversion algorithm. Moreover, it is required that the event based raw data acquired is made available to the ITER data network without local data storage for post processing. The data production for the 2 MEvents/s rate can go up to a maximum data throughput of 0.5 GB/s per channel. The evaluation of the use of real-time data compression techniques in RNC is also depicted in another contribution. To meet the demands of the project a CDAcq prototype has been used to design and test a high-performance distributed software architecture taking advantage of multi-core CPU technology capable of co** with the requirements. This submission depicts the design of the real-time architecture, the spectra algorithms (pulse height analysis, neutron/gamma discrimination and pile-up correction) and the inversion algorithm to calculate the emissivity profile. Preliminary tests to evaluate the system performance with synthetic data are presented. △ Less

Submitted 22 June, 2018; originally announced June 2018.

Comments: Conference Record - 21st IEEE Real Time Conference, Colonial Williamsburg, USA, 9-15 June 2018

FPGA code for the data acquisition and real-time processing prototype of the ITER Radial Neutron Camera

Authors: Ana Fernandes, Nuno Cruz, Bruno Santos, Paulo F. Carvalho, Jorge Sousa, Bruno Gonçalves, Marco Riva, Fabio Pollastrone, Cristina Centioli, Daniele Marocco, Basilio Esposito, Carlos M. B. A. Correia, Rita C. Pereira

Abstract: The main role of the ITER Radial Neutron Camera (RNC) diagnostic is to measure in real-time the plasma neutron emissivity profile at high peak count rates for a time duration up to 500 s. Due to the unprecedented high performance conditions and after the identification of critical problems, a set of activities have been selected, focused on the development of high priority prototypes, capable to d… ▽ More The main role of the ITER Radial Neutron Camera (RNC) diagnostic is to measure in real-time the plasma neutron emissivity profile at high peak count rates for a time duration up to 500 s. Due to the unprecedented high performance conditions and after the identification of critical problems, a set of activities have been selected, focused on the development of high priority prototypes, capable to deliver answers to those problems before the final RNC design. This paper presents one of the selected activities: the design, development and testing of a dedicated FPGA code for the RNC Data Acquisition prototype. The FPGA code aims to acquire, process and store in real-time the neutron and gamma pulses from the detectors located in collimated lines of sight viewing a poloidal plasma section from the ITER Equatorial Port Plug 1. The hardware platform used was an evaluation board from Xilinx (KC705) carrying an IPFN FPGA Mezzanine Card (FMC-AD2-1600) with 2 digitizer channels of 12-bit resolution sampling up to 1.6 GSamples/s. The code performs the proper input signal conditioning using a down-sampled configuration to 400 MSamples/s, apply dedicated algorithms for pulse detection, filtering and pileup detection, and includes two distinct data paths operating simultaneously: i) the event-based data-path for pulse storage; and ii) the real-time processing, with dedicated algorithms for pulse shape discrimination and pulse height spectra. For continuous data throughput both data-paths are streamed to the host through two distinct PCIe x8 Direct Memory Access (DMA) channels. △ Less

Submitted 15 June, 2018; originally announced June 2018.

Comments: 6 pages, 10 figures, 21st IEEE Real Time Conference (RT-2018), Colonial Williamsburg, 9-15 June 2018

Real-time data compression for data acquisition systems applied to the ITER Radial Neutron Camera

Authors: B. Santos, N. Cruz, A. Fernandes, P. F. Carvalho, J. Sousa, B. Gonçalves, M. Riva, F. Pollastrone, C. Centioli, D. Marocco, B. Esposito, C. M. B. Correia, R. C. Pereira

Abstract: To achieve the aim of the ITER Radial Neutron Camera Diagnostic, the data acquisition prototype must be compliant with a sustained 2 MHz peak event for each channel with 128 samples of 16 bits per event. The data is acquired and processed using an IPFN FPGA Mezzanine Card (FMC-AD2-1600) with 2 digitizer channels of 12-bit resolution and a sampling rate up to 1.6 GSamples/s mounted in a PCIe evalua… ▽ More To achieve the aim of the ITER Radial Neutron Camera Diagnostic, the data acquisition prototype must be compliant with a sustained 2 MHz peak event for each channel with 128 samples of 16 bits per event. The data is acquired and processed using an IPFN FPGA Mezzanine Card (FMC-AD2-1600) with 2 digitizer channels of 12-bit resolution and a sampling rate up to 1.6 GSamples/s mounted in a PCIe evaluation board from Xilinx (KC705) installed in the host PC. The acquired data in the event-based data-path is streamed to the host through the PCIe x8 Direct Memory Access (DMA) with a maximum data throughput per channel is 0.5 GB/s of raw data (event base), 1 GB/s per digitizer and up to 1.6 GB/s in continuous mode. The prototype architecture comprises an host PC with two KC705 modules and four channels, producing up to 2 GB/s in event mode and up to 3.2 GB/s in continuous mode. To reduce the produced data throughput from host to ITER databases, the real-time data compression was evaluated using the LZ4 lossless compression algorithm, which provides compression speed up to 400 MB/s per core. This paper presents the architecture, implementation and test of the parallel real-time data compression system running in multiple isolated cores. The average space saving and the performance results for long term acquisitions up to 30 minutes, using different data block size and different number of CPUs, is also presented. △ Less

Submitted 21 June, 2018; v1 submitted 11 June, 2018; originally announced June 2018.

Comments: 21st Real Time Conference, June 9th - 15th, Colonial Williamsburg, Virginia, United States

Radial structure of vorticity in the plasma boundary of ISTTOK tokamak

Authors: B. Gonçalves, I. Henriques, C. Hidalgo, C. Silva, H. Figueiredo, V. Naulin, A. H. Nielsen, J. T. Mendonça

Abstract: The first experimental measurements of vorticity and vorticity flux in a fusion device were performed in tokamak ISTTOK. This is an important achievement since vorticity plays a key role in the transport of energy and particles in plasmas and fluids. The measurements were performed with a specifically designed array of Langmuir probes in the plasma edge of the small tokamak ISTTOK. The experimenta… ▽ More The first experimental measurements of vorticity and vorticity flux in a fusion device were performed in tokamak ISTTOK. This is an important achievement since vorticity plays a key role in the transport of energy and particles in plasmas and fluids. The measurements were performed with a specifically designed array of Langmuir probes in the plasma edge of the small tokamak ISTTOK. The experimental results presented in this paper, allowing for the first time a direct comparison with theoretical models, show that the vorticity flux feeds into the shear flow in the tokamak plasma edge region. The Probability Distribution Function of the vorticity exhibit fat tails with a q-Gaussian shape typical of a non-equilibrium process. Self-similarity in the probability distribution function of several parameters, including vorticity and vorticity flux, is observed indicating that there is no morphological change in the coherent structures in the plasma boundary region and that the fluctuations in the Reynolds stress, vorticity and vorticity flux follow a universal shape. △ Less

Submitted 4 July, 2018; v1 submitted 19 April, 2018; originally announced April 2018.

Comments: 8 figures

Foursquare to The Rescue: Predicting Ambulance Calls Across Geographies

Authors: Anastasios Noulas, Colin Moffatt, Desislava Hristova, Bruno Gonçalves

Abstract: Understanding how ambulance incidents are spatially distributed can shed light to the epidemiological dynamics of geographic areas and inform healthcare policy design. Here we analyze a longitudinal dataset of more than four million ambulance calls across a region of twelve million residents in the North West of England. With the aim to explain geographic variations in ambulance call frequencies,… ▽ More Understanding how ambulance incidents are spatially distributed can shed light to the epidemiological dynamics of geographic areas and inform healthcare policy design. Here we analyze a longitudinal dataset of more than four million ambulance calls across a region of twelve million residents in the North West of England. With the aim to explain geographic variations in ambulance call frequencies, we employ a wide range of data layers including open government datasets describing population demographics and socio-economic characteristics, as well as geographic activity in online services such as Foursquare. Working at a fine level of spatial granularity we demonstrate that daytime population levels and the deprivation status of an area are the most important variables when it comes to predicting the volume of ambulance calls at an area. Foursquare check-ins on the other hand complement these government sourced indicators, offering a novel view to population nightlife and commercial activity locally. We demonstrate how check-in activity can provide an edge when predicting certain types of emergency incidents in a multi-variate regression model. △ Less

Submitted 26 February, 2018; v1 submitted 29 January, 2018; originally announced January 2018.

Comments: 10 pages, 9 figures, 4 tables

Modeling Epistemological Principles for Bias Mitigation in AI Systems: An Illustration in Hiring Decisions

Authors: Marisa Vasconcelos, Carlos Cardonha, Bernardo Gonçalves

Abstract: Artificial Intelligence (AI) has been used extensively in automatic decision making in a broad variety of scenarios, ranging from credit ratings for loans to recommendations of movies. Traditional design guidelines for AI models focus essentially on accuracy maximization, but recent work has shown that economically irrational and socially unacceptable scenarios of discrimination and unfairness are… ▽ More Artificial Intelligence (AI) has been used extensively in automatic decision making in a broad variety of scenarios, ranging from credit ratings for loans to recommendations of movies. Traditional design guidelines for AI models focus essentially on accuracy maximization, but recent work has shown that economically irrational and socially unacceptable scenarios of discrimination and unfairness are likely to arise unless these issues are explicitly addressed. This undesirable behavior has several possible sources, such as biased datasets used for training that may not be detected in black-box models. After pointing out connections between such bias of AI and the problem of induction, we focus on Popper's contributions after Hume's, which offer a logical theory of preferences. An AI model can be preferred over others on purely rational grounds after one or more attempts at refutation based on accuracy and fairness. Inspired by such epistemological principles, this paper proposes a structured approach to mitigate discrimination and unfairness caused by bias in AI systems. In the proposed computational framework, models are selected and enhanced after attempts at refutation. To illustrate our discussion, we focus on hiring decision scenarios where an AI system filters in which job applicants should go to the interview phase. △ Less

Submitted 19 November, 2017; originally announced November 2017.

Journal ref: 2018 AAAI/ACM Conference on AI, Ethics, and Society