-
The Role of Generative AI in Software Development Productivity: A Pilot Case Study
Authors:
Mariana Coutinho,
Lorena Marques,
Anderson Santos,
Marcio Dahia,
Cesar Franca,
Ronnie de Souza Santos
Abstract:
With software development increasingly reliant on innovative technologies, there is a growing interest in exploring the potential of generative AI tools to streamline processes and enhance productivity. In this scenario, this paper investigates the integration of generative AI tools within software development, focusing on understanding their uses, benefits, and challenges to software professional…
▽ More
With software development increasingly reliant on innovative technologies, there is a growing interest in exploring the potential of generative AI tools to streamline processes and enhance productivity. In this scenario, this paper investigates the integration of generative AI tools within software development, focusing on understanding their uses, benefits, and challenges to software professionals, in particular, looking at aspects of productivity. Through a pilot case study involving software practitioners working in different roles, we gathered valuable experiences on the integration of generative AI tools into their daily work routines. Our findings reveal a generally positive perception of these tools in individual productivity while also highlighting the need to address identified limitations. Overall, our research sets the stage for further exploration into the evolving landscape of software development practices with the integration of generative AI tools.
△ Less
Submitted 1 June, 2024;
originally announced June 2024.
-
Biases in Scholarly Recommender Systems: Impact, Prevalence, and Mitigation
Authors:
Michael Färber,
Melissa Coutinho,
Shuzhou Yuan
Abstract:
With the remarkable increase in the number of scientific entities such as publications, researchers, and scientific topics, and the associated information overload in science, academic recommender systems have become increasingly important for millions of researchers and science enthusiasts. However, it is often overlooked that these systems are subject to various biases. In this article, we first…
▽ More
With the remarkable increase in the number of scientific entities such as publications, researchers, and scientific topics, and the associated information overload in science, academic recommender systems have become increasingly important for millions of researchers and science enthusiasts. However, it is often overlooked that these systems are subject to various biases. In this article, we first break down the biases of academic recommender systems and characterize them according to their impact and prevalence. In doing so, we distinguish between biases originally caused by humans and biases induced by the recommender system. Second, we provide an overview of methods that have been used to mitigate these biases in the scholarly domain. Based on this, third, we present a framework that can be used by researchers and developers to mitigate biases in scholarly recommender systems and to evaluate recommender systems fairly. Finally, we discuss open challenges and possible research directions related to scholarly biases.
△ Less
Submitted 13 February, 2023; v1 submitted 18 January, 2023;
originally announced January 2023.
-
AEROS: Oceanographic Hyperspectral Imaging and Argos-Tracking CubeSat
Authors:
Sophie Prendergast,
Cadence Payne,
Miles Lifson,
Christian Haughwout,
Marcos Tieppo,
Paulo Figueiredo,
André Guerra,
Alexander Costa,
Helder Magalhães,
Tiago Hormigo,
Francisco Câmara,
Carlos Mano,
Pedro Pinheiro,
Alvin D. Harvey,
Bruno Macena,
Luis F. Azevedo,
Miguel Martin,
Tiago Miranda,
Eduardo Pereira,
João Faria,
Inês Castelão,
Catarina Cecilio,
Emanuel Castanho,
Kerri Cahoy,
Manuel Coutinho
, et al. (2 additional authors not shown)
Abstract:
AEROS is a 3U CubeSat pathfinder toward a future ocean-observing constellation, targeting the Portuguese Atlantic region. AEROS features a miniaturized, high-resolution Hyperspectral Imager (HSI), a 5MP RGB camera, and a Software Defined Radio (SDR). The sensor generated data will be processed and aggregated for end-users in a new web-based Data Analysis Center (DAC). The HSI has 150 spectrally co…
▽ More
AEROS is a 3U CubeSat pathfinder toward a future ocean-observing constellation, targeting the Portuguese Atlantic region. AEROS features a miniaturized, high-resolution Hyperspectral Imager (HSI), a 5MP RGB camera, and a Software Defined Radio (SDR). The sensor generated data will be processed and aggregated for end-users in a new web-based Data Analysis Center (DAC). The HSI has 150 spectrally contiguous bands covering visible to near-infrared with 10 nm bandwidth. The HSI collects ocean color data to support studies of oceanographic characteristics known to influence the spatio-temporal distribution and movement behavior of marine organisms. Usage of an SDR expands AEROS's operational and communication range and allows for remote reconfiguration. The SDR receives, demodulates, and retransmits short duration messages, from sources including tagged marine organisms, autonomous vehicles, subsurface floats, and buoys. The future DAC will collect, store, process, and analyze acquired data, taking advantage of its ability to disseminate data across the stakeholders and the scientific network. Correlation of animal-borne Argos platform locations and oceanographic data will advance fisheries management, ecosystem-based management, monitoring of marine protected areas, and bio-oceanographic research in the face of a rapidly changing environment. For example, correlation of oceanographic data collected by the HSI, geolocated with supplementary images from the RGB camera and fish locations, will provide researchers with near real-time estimates of essential oceanographic variables within areas selected by species of interest.
△ Less
Submitted 9 November, 2022;
originally announced November 2022.
-
High-precision muon decay predictions for ALP searches
Authors:
P. Banerjee,
A. M. Coutinho,
T. Engel,
A. Gurgone,
A. Signer,
Y. Ulrich
Abstract:
We present an improved theoretical prediction of the positron energy spectrum for the polarised Michel decay $μ^+\to e^+ ν_e\barν_μ$. In addition to the full next-to-next-to-leading order correction of order $α^2$ in the electromagnetic coupling, we include logarithmically enhanced terms at even higher orders. Logarithms due to collinear emission are included at next-to-leading accuracy up to orde…
▽ More
We present an improved theoretical prediction of the positron energy spectrum for the polarised Michel decay $μ^+\to e^+ ν_e\barν_μ$. In addition to the full next-to-next-to-leading order correction of order $α^2$ in the electromagnetic coupling, we include logarithmically enhanced terms at even higher orders. Logarithms due to collinear emission are included at next-to-leading accuracy up to order $α^4$. At the endpoint of the Michel spectrum, soft photon emission results in large logarithms that are resummed up to next-to-next-to-leading logarithmic accuracy. We apply our results in the context of the MEG II and Mu3e experiments to estimate the impact of the theory error on the branching ratio sensitivity for the lepton-flavour-violating decay $μ^+\to e^+ X$ of a muon into an axion-like particle $X$.
△ Less
Submitted 23 July, 2023; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Bacteriophage effect on parasitism resistance
Authors:
Gabriel R. Palma,
Renato M. Coutinho,
Wesley A. C. Godoy,
Fernando L. Cônsoli,
Roberto A. Kraenkel
Abstract:
Many studies have shown that the protection of the host $\it{Acyrthosiphon~pisum}$ (Hemiptera, Aphididae) against the parasitoid $\it{Aphidius~ervi}$ (Hymenoptera, Braconidae) is conferred by the interaction between the secondary endosymbiont $\it{Hamiltonella~defensa}$ and the bacteriophage $\it{APSE}$ ($\it{Acyrthosiphon~pisum}$ secondary endosymbiont). This interaction consists of the productio…
▽ More
Many studies have shown that the protection of the host $\it{Acyrthosiphon~pisum}$ (Hemiptera, Aphididae) against the parasitoid $\it{Aphidius~ervi}$ (Hymenoptera, Braconidae) is conferred by the interaction between the secondary endosymbiont $\it{Hamiltonella~defensa}$ and the bacteriophage $\it{APSE}$ ($\it{Acyrthosiphon~pisum}$ secondary endosymbiont). This interaction consists of the production of toxins by the endosymbiont's molecular machinery, which is encoded by the inserted $\it{APSE}$ genes. The toxins prevent the development of the parasitoid's egg, conferring protection for the host. However, the effects of this microscopic interaction on host-parasitoid dynamics are still an open question. We presented a new mathematical model based on the bacteriophage effect on parasitism resistance. We identified that the vertical transmission of the bacteriophage and the host survival after the parasitoid attack are potential drivers of coexistence. Also, we showed that the vertical transmission of $\it{H.~defensa}$ is proportional to the time that the protected population became extinct. Our results showed that the protected and unprotected hosts' survival after the parasitoid attack is fundamental to understanding the equilibrium of long host-parasitoid dynamics. Finally, we illustrated our model considering its parameters based on experiments performed with $\it{A.~pisum}$ biotypes $\it{Genista~tinctoria}$ and $\it{Medicago~sativa}$.
△ Less
Submitted 6 May, 2022;
originally announced May 2022.
-
Creating and Reenacting Controllable 3D Humans with Differentiable Rendering
Authors:
Thiago L. Gomes,
Thiago M. Coutinho,
Rafael Azevedo,
Renato Martins,
Erickson R. Nascimento
Abstract:
This paper proposes a new end-to-end neural rendering architecture to transfer appearance and reenact human actors. Our method leverages a carefully designed graph convolutional network (GCN) to model the human body manifold structure, jointly with differentiable rendering, to synthesize new videos of people in different contexts from where they were initially recorded. Unlike recent appearance tr…
▽ More
This paper proposes a new end-to-end neural rendering architecture to transfer appearance and reenact human actors. Our method leverages a carefully designed graph convolutional network (GCN) to model the human body manifold structure, jointly with differentiable rendering, to synthesize new videos of people in different contexts from where they were initially recorded. Unlike recent appearance transferring methods, our approach can reconstruct a fully controllable 3D texture-mapped model of a person, while taking into account the manifold structure from body shape and texture appearance in the view synthesis. Specifically, our approach models mesh deformations with a three-stage GCN trained in a self-supervised manner on rendered silhouettes of the human body. It also infers texture appearance with a convolutional network in the texture domain, which is trained in an adversarial regime to reconstruct human texture from rendered images of actors in different poses. Experiments on different videos show that our method successfully infers specific body deformations and avoid creating texture artifacts while achieving the best values for appearance in terms of Structural Similarity (SSIM), Learned Perceptual Image Patch Similarity (LPIPS), Mean Squared Error (MSE), and Fréchet Video Distance (FVD). By taking advantages of both differentiable rendering and the 3D parametric model, our method is fully controllable, which allows controlling the human synthesis from both pose and rendering parameters. The source code is available at https://www.verlab.dcc.ufmg.br/retargeting-motion/wacv2022.
△ Less
Submitted 22 October, 2021;
originally announced October 2021.
-
Learning to dance: A graph convolutional adversarial network to generate realistic dance motions from audio
Authors:
João P. Ferreira,
Thiago M. Coutinho,
Thiago L. Gomes,
José F. Neto,
Rafael Azevedo,
Renato Martins,
Erickson R. Nascimento
Abstract:
Synthesizing human motion through learning techniques is becoming an increasingly popular approach to alleviating the requirement of new data capture to produce animations. Learning to move naturally from music, i.e., to dance, is one of the more complex motions humans often perform effortlessly. Each dance movement is unique, yet such movements maintain the core characteristics of the dance style…
▽ More
Synthesizing human motion through learning techniques is becoming an increasingly popular approach to alleviating the requirement of new data capture to produce animations. Learning to move naturally from music, i.e., to dance, is one of the more complex motions humans often perform effortlessly. Each dance movement is unique, yet such movements maintain the core characteristics of the dance style. Most approaches addressing this problem with classical convolutional and recursive neural models undergo training and variability issues due to the non-Euclidean geometry of the motion manifold structure.In this paper, we design a novel method based on graph convolutional networks to tackle the problem of automatic dance generation from audio information. Our method uses an adversarial learning scheme conditioned on the input music audios to create natural motions preserving the key movements of different music styles. We evaluate our method with three quantitative metrics of generative methods and a user study. The results suggest that the proposed GCN model outperforms the state-of-the-art dance generation method conditioned on music in different experiments. Moreover, our graph-convolutional approach is simpler, easier to be trained, and capable of generating more realistic motion styles regarding qualitative and different quantitative metrics. It also presented a visual movement perceptual quality comparable to real motion data.
△ Less
Submitted 30 November, 2020; v1 submitted 25 November, 2020;
originally announced November 2020.
-
Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems
Authors:
Demetrios A. M. Coutinho,
Daniele De Sensi,
Arthur Francisco Lorenzon,
Kyriakos Georgiou,
Jose Nunez Yanez,
Kerstin Eder,
Samuel Xavier de Souza
Abstract:
This work proposes a methodology to find performance and energy trade-offs for parallel applications running on Heterogeneous Multi-Processing systems with a single instruction-set architecture. These offer flexibility in the form of different core types and voltage and frequency pairings, defining a vast design space to explore. Therefore, for a given application, choosing a configuration that op…
▽ More
This work proposes a methodology to find performance and energy trade-offs for parallel applications running on Heterogeneous Multi-Processing systems with a single instruction-set architecture. These offer flexibility in the form of different core types and voltage and frequency pairings, defining a vast design space to explore. Therefore, for a given application, choosing a configuration that optimizes the performance and energy consumption is not straightforward. Our method proposes novel analytical models for performance and power consumption whose parameters can be fitted using only a few strategically sampled offline measurements. These models are then used to estimate an application's performance and energy consumption for the whole configuration space. In turn, these offline predictions define the choice of estimated Pareto-optimal configurations of the model, which are used to inform the selection of the configuration that the application should be executed on. The methodology was validated on an ODROID-XU3 board for eight programs from the PARSEC Benchmark, Phoronix Test Suite and Rodinia applications. The generated Pareto-optimal configuration space represented a 99% reduction of the universe of all available configurations. Energy savings of up to 59.77%, 61.38% and 17.7% were observed when compared to the performance, ondemand and powersave Linux governors, respectively, with higher or similar performance.
△ Less
Submitted 6 May, 2020;
originally announced May 2020.
-
Hardware Architecture Proposal for TEDA algorithm to Data Streaming Anomaly Detection
Authors:
Lucileide M. D. da Silva,
Maria G. F. Coutinho,
Carlos E. B. Santos,
Mailson R. Santos,
Luiz Affonso Guedes,
M. Dolores Ruiz,
Marcelo A. C. Fernandes
Abstract:
The amount of data in real-time, such as time series and streaming data, available today continues to grow. Being able to analyze this data the moment it arrives can bring an immense added value. However, it also requires a lot of computational effort and new acceleration techniques. As a possible solution to this problem, this paper proposes a hardware architecture for Typicality and Eccentricity…
▽ More
The amount of data in real-time, such as time series and streaming data, available today continues to grow. Being able to analyze this data the moment it arrives can bring an immense added value. However, it also requires a lot of computational effort and new acceleration techniques. As a possible solution to this problem, this paper proposes a hardware architecture for Typicality and Eccentricity Data Analytic (TEDA) algorithm implemented on Field Programmable Gate Arrays (FPGA) for use in data streaming anomaly detection. TEDA is based on a new approach to outlier detection in the data stream context. In order to validate the proposals, results of the occupation and throughput of the proposed hardware are presented. Besides, the bit accurate simulation results are also presented. The project aims to Xilinx Virtex-6 xc6vlx240t-1ff1156 as the target FPGA.
△ Less
Submitted 8 March, 2020;
originally announced March 2020.
-
Global Fit to Modified Neutrino Couplings and the Cabibbo-Angle Anomaly
Authors:
Antonio M. Coutinho,
Andreas Crivellin,
Claudio Andrea Manzari
Abstract:
Recently, discrepancies of up to $4\,σ$ between the different determinations of the Cabibbo angle were observed. This "Cabibbo-angle anomaly" could be explained by lepton flavour universality (LFU) violating New Physics (NP) in the neutrino sector. However, modified neutrino couplings to Standard Model gauge bosons also affect many other observables sensitive to LFU violation which have to be take…
▽ More
Recently, discrepancies of up to $4\,σ$ between the different determinations of the Cabibbo angle were observed. This "Cabibbo-angle anomaly" could be explained by lepton flavour universality (LFU) violating New Physics (NP) in the neutrino sector. However, modified neutrino couplings to Standard Model gauge bosons also affect many other observables sensitive to LFU violation which have to be taken into account in order to assess the viability of this explanation. Therefore, we perform a model-independent global analysis in a Bayesian approach and find that the tension in the Cabibbo angle is significantly reduced, while the agreement with other data is also mostly improved. In fact, non-zero modifications of electron and muon neutrino couplings are preferred at more than 99\% CL. Still, since constructive effects in the muon sector are necessary, simple models with right-handed neutrinos (whose global fit we update as a by-product) cannot fully explain data, pointing towards more sophisticated NP models.
△ Less
Submitted 27 October, 2020; v1 submitted 18 December, 2019;
originally announced December 2019.
-
On the Zeta function and the automorphism group of the generalized Suzuki curve
Authors:
Herivelto Borges,
Mariana Coutinho
Abstract:
For $p$ an odd prime number, $q_{0}=p^{t}$, and $q=p^{2t-1}$, let $\mathcal{X}_{\mathcal{G}_{\mathcal{S}}}$ be the nonsingular model of $$ Y^{q}-Y=X^{q_{0}}(X^{q}-X). $$ In the present work, the number of $\mathbb{F}_{q^{n}}$-rational points and the full automorphism group of $\mathcal{X}_{\mathcal{G}_{\mathcal{S}}}$ are determined. In addition, the L-polynomial of this curve is provided, and the…
▽ More
For $p$ an odd prime number, $q_{0}=p^{t}$, and $q=p^{2t-1}$, let $\mathcal{X}_{\mathcal{G}_{\mathcal{S}}}$ be the nonsingular model of $$ Y^{q}-Y=X^{q_{0}}(X^{q}-X). $$ In the present work, the number of $\mathbb{F}_{q^{n}}$-rational points and the full automorphism group of $\mathcal{X}_{\mathcal{G}_{\mathcal{S}}}$ are determined. In addition, the L-polynomial of this curve is provided, and the number of $\mathbb{F}_{q^{n}}$-rational points on the Jacobian $J_{\mathcal{X}_{\mathcal{G}_{\mathcal{S}}}}$ is used to construct étale covers of $\mathcal{X}_{\mathcal{G}_{\mathcal{S}}}$, some with many rational points.
△ Less
Submitted 3 December, 2019;
originally announced December 2019.
-
$\texttt{HEPfit}$: a Code for the Combination of Indirect and Direct Constraints on High Energy Physics Models
Authors:
Jorge de Blas,
Debtosh Chowdhury,
Marco Ciuchini,
Antonio M. Coutinho,
Otto Eberhardt,
Marco Fedele,
Enrico Franco,
Giovanni Grilli di Cortona,
Victor Miralles,
Satoshi Mishima,
Ayan Paul,
Ana Penuelas,
Maurizio Pierini,
Laura Reina,
Luca Silvestrini,
Mauro Valli,
Ryoutaro Watanabe,
Norimi Yokozaki
Abstract:
$\texttt{HEPfit}$ is a flexible open-source tool which, given the Standard Model or any of its extensions, allows to $\textit{i)}$ fit the model parameters to a given set of experimental observables; $\textit{ii)}$ obtain predictions for observables. $\texttt{HEPfit}…
▽ More
$\texttt{HEPfit}$ is a flexible open-source tool which, given the Standard Model or any of its extensions, allows to $\textit{i)}$ fit the model parameters to a given set of experimental observables; $\textit{ii)}$ obtain predictions for observables. $\texttt{HEPfit}$ can be used either in Monte Carlo mode, to perform a Bayesian Markov Chain Monte Carlo analysis of a given model, or as a library, to obtain predictions of observables for a given point in the parameter space of the model, allowing $\texttt{HEPfit}$ to be used in any statistical framework. In the present version, around a thousand observables have been implemented in the Standard Model and in several new physics scenarios. In this paper, we describe the general structure of the code as well as models and observables implemented in the current release.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
On some generalized Fermat curves and chords of an affinely regular polygon inscribed in a hyperbola
Authors:
Herivelto Borges,
Mariana Coutinho
Abstract:
Let $\mathcal{G}$ be the projective plane curve defined over $\mathbb{F}_q$ given by $$aX^nY^n-X^nZ^n-Y^nZ^n+bZ^{2n}=0,$$ where $ab\notin\{0,1\}$, and for each $s\in\{2,\ldots,n-1\}$, let $\mathcal{D}_s^{P_1,P_2}$ be the base-point-free linear series cut out on $\mathcal{G}$ by the linear system of all curves of degree $s$ passing through the singular points $P_1=(1:0:0)$ and $P_2=(0:1:0)$ of…
▽ More
Let $\mathcal{G}$ be the projective plane curve defined over $\mathbb{F}_q$ given by $$aX^nY^n-X^nZ^n-Y^nZ^n+bZ^{2n}=0,$$ where $ab\notin\{0,1\}$, and for each $s\in\{2,\ldots,n-1\}$, let $\mathcal{D}_s^{P_1,P_2}$ be the base-point-free linear series cut out on $\mathcal{G}$ by the linear system of all curves of degree $s$ passing through the singular points $P_1=(1:0:0)$ and $P_2=(0:1:0)$ of $\mathcal{G}$. The present work determines an upper bound for the number $N_q(\mathcal{G})$ of $\mathbb{F}_q$-rational points on the nonsingular model of $\mathcal{G}$ in cases where $\mathcal{D}_s^{P_1,P_2}$ is $\mathbb{F}_q$-Frobenius classical. As a consequence, when $\mathbb{F}_q$ is a prime field, the bound obtained for $N_q(\mathcal{G})$ improves in several cases the known bounds for the number $n_P$ of chords of an affinely regular polygon inscribed in a hyperbola passing through a given point $P$ distinct from its vertices.
△ Less
Submitted 23 May, 2019;
originally announced May 2019.
-
New Physics in $b \to s \ell^+ \ell^-$ confronts new data on Lepton Universality
Authors:
Marco Ciuchini,
António M. Coutinho,
Marco Fedele,
Enrico Franco,
Ayan Paul,
Luca Silvestrini,
Mauro Valli
Abstract:
In light of the very recent updates on the $R_K$ and $R_{K^*}$ measurements from the LHCb and Belle collaborations, we systematically explore here imprints of New Physics in $b \to s \ell^+ \ell^- $ transitions using the language of effective field theories. We focus on effects that violate Lepton Flavour Universality both in the Weak Effective Theory and in the Standard Model Effective Field Theo…
▽ More
In light of the very recent updates on the $R_K$ and $R_{K^*}$ measurements from the LHCb and Belle collaborations, we systematically explore here imprints of New Physics in $b \to s \ell^+ \ell^- $ transitions using the language of effective field theories. We focus on effects that violate Lepton Flavour Universality both in the Weak Effective Theory and in the Standard Model Effective Field Theory. In the Weak Effective Theory we find a preference for scenarios with the simultaneous presence of two operators, a left-handed quark current with vector muon coupling and a right-handed quark current with axial muon coupling, irrespective of the treatment of hadronic uncertainties. In the Standard Model Effective Field Theory we select different scenarios according to the treatment of hadronic effects: while an aggressive estimate of hadronic uncertainties points to the simultaneous presence of two operators, one with left-handed quark and muon couplings and one with left-handed quark and right-handed muon couplings, a more conservative treatment of hadronic matrix elements leaves room for a broader set of scenarios, including the one involving only the purely left-handed operator with muon coupling.
△ Less
Submitted 14 September, 2019; v1 submitted 22 March, 2019;
originally announced March 2019.
-
Hadronic uncertainties in the $B\to K^*μ^+μ^-$ decay
Authors:
Marco Ciuchini,
Antonio M. Coutinho,
Marco Fedele,
Enrico Franco,
Ayan Paul,
Luca Silvestrini,
Mauro Valli
Abstract:
Motivated by the persisting 'anomaly' in the measurement of $P_5^\prime$, we review hadronic uncertainties entering the angular observables of the decay $\bar B\to {\bar K}^*μ^+μ^-$. We argue that hadronic uncertainties could account for the present measurements. We discuss how to extract information on the non-factorizable hadronic contribution from experimental data exploiting its $q^2$ dependen…
▽ More
Motivated by the persisting 'anomaly' in the measurement of $P_5^\prime$, we review hadronic uncertainties entering the angular observables of the decay $\bar B\to {\bar K}^*μ^+μ^-$. We argue that hadronic uncertainties could account for the present measurements. We discuss how to extract information on the non-factorizable hadronic contribution from experimental data exploiting its $q^2$ dependence and propose a parametrization optimized for this purpose. While no clear conclusion can be drawn with present experimental uncertainties, we show that future measurements should be able to pin down many hadronic parameters that we define in our parametrization.
△ Less
Submitted 11 September, 2018;
originally announced September 2018.
-
Plane sections of Fermat surfaces over finite fields
Authors:
H. Borges,
G. Cook,
M. Coutinho
Abstract:
In this paper, we characterize all curves over $\mathbb{F}_q$ arising from a plane section $$ \mathcal{P} : X_3-e_0X_0-e_1X_1-e_2X_2 = 0 $$ of the Fermat surface $$ \mathcal{S} : X_0^d + X_1^d + X_2^d +X_3^d = 0, $$ where $q = p^{h} = 2d+1$ is a prime power, $p >3$, and $e_0, e_1, e_2 \in \mathbb{F}_q$. In particular, we will prove that any nonlinear component…
▽ More
In this paper, we characterize all curves over $\mathbb{F}_q$ arising from a plane section $$ \mathcal{P} : X_3-e_0X_0-e_1X_1-e_2X_2 = 0 $$ of the Fermat surface $$ \mathcal{S} : X_0^d + X_1^d + X_2^d +X_3^d = 0, $$ where $q = p^{h} = 2d+1$ is a prime power, $p >3$, and $e_0, e_1, e_2 \in \mathbb{F}_q$. In particular, we will prove that any nonlinear component $\mathcal{G} \subseteq \mathcal{P} \cap \mathcal{S} $ is a smooth classical curve of degree $n\leqslant d$ attaining the Stöhr-Voloch bound $$ \# \mathcal{G}(\mathbb{F}_q) \leqslant \frac{1}{2} n(n+q-1) - \frac{1}{2} i(n-2), $$ with $i \in \{0,1,2,3,n,3n\}$.
△ Less
Submitted 12 April, 2018;
originally announced April 2018.
-
On Flavourful Easter eggs for New Physics hunger and Lepton Flavour Universality violation
Authors:
Marco Ciuchini,
Antonio M. Coutinho,
Marco Fedele,
Enrico Franco,
Ayan Paul,
Luca Silvestrini,
Mauro Valli
Abstract:
Within the standard approach of effective field theory of weak interactions for $ΔB = 1$ transitions, we look for possibly unexpected subtle New Physics effects, here dubbed "flavourful Easter eggs". We perform a Bayesian global fit using the publicly available HEPfit package, taking into account state-of-the-art experimental information concerning these processes, including the suggestive measure…
▽ More
Within the standard approach of effective field theory of weak interactions for $ΔB = 1$ transitions, we look for possibly unexpected subtle New Physics effects, here dubbed "flavourful Easter eggs". We perform a Bayesian global fit using the publicly available HEPfit package, taking into account state-of-the-art experimental information concerning these processes, including the suggestive measurements from LHCb of $R_{K}$ and $R_{K^{*}}$, the latter available only very recently. We parametrize New Physics contributions to $b \to s$ transitions in terms of shifts of Wilson coefficients of the electromagnetic dipole and semi-leptonic operators, assuming CP-conserving effects, but allowing in general for violation of lepton flavour universality. We show how optimistic/conservative hadronic estimates can impact quantitatively the size of New Physics extracted from the fit. With a conservative approach to hadronic uncertainties we find nonzero New Physics contributions to Wilson coefficients at the level of $\sim 3σ$, depending on the model chosen. Furthermore, given the interplay between hadronic contributions and New Physics effects in the leptonic vector current, a scenario with nonstandard leptonic axial currents is comparable to the more widely advocated one with New Physics in the leptonic vector current.
△ Less
Submitted 3 October, 2017; v1 submitted 18 April, 2017;
originally announced April 2017.
-
Catastrophic Regime Shift in Water Reservoirs and São Paulo Water Supply Crisis
Authors:
Renato Mendes Coutinho,
Paulo Inácio Prado,
Roberto André Kraenkel
Abstract:
The relation between rainfall and water accumulated in reservoirs comprises nonlinear feedbacks. Here we show that they may generate alternative equilibrium regimes, one of high water-volume, the other of low water-volume. Reservoirs can be seen as socio-environmental systems at risk of regime shifts, characteristic of tip** point transitions. We analyze data from stored water, rainfall, and wat…
▽ More
The relation between rainfall and water accumulated in reservoirs comprises nonlinear feedbacks. Here we show that they may generate alternative equilibrium regimes, one of high water-volume, the other of low water-volume. Reservoirs can be seen as socio-environmental systems at risk of regime shifts, characteristic of tip** point transitions. We analyze data from stored water, rainfall, and water inflow and outflow in the main reservoir serving the metropolitan area of São Paulo, Brazil, by means of indicators of critical regime shifts, and find a strong signal of a transition. We furthermore build a mathematical model that gives a mechanistic view of the dynamics and demonstrates that alternative stable states are an expected property of water reservoirs. We also build a stochastic version of this model that fits well to the data. These results highlight the broader aspect that reservoir management must account for their intrinsic bistability, and should benefit from dynamical systems theory. Our case study illustrates the catastrophic consequences of failing to do so.
△ Less
Submitted 17 June, 2015;
originally announced June 2015.
-
Computational Cost Reduction in Learned Transform Classifications
Authors:
Emerson Lopes Machado,
Cristiano Jacques Miosso,
Ricardo von Borries,
Murilo Coutinho,
Pedro de Azevedo Berger,
Thiago Marques,
Ricardo Pezzuol Jacobi
Abstract:
We present a theoretical analysis and empirical evaluations of a novel set of techniques for computational cost reduction of classifiers that are based on learned transform and soft-threshold. By modifying optimization procedures for dictionary and classifier training, as well as the resulting dictionary entries, our techniques allow to reduce the bit precision and to replace each floating-point m…
▽ More
We present a theoretical analysis and empirical evaluations of a novel set of techniques for computational cost reduction of classifiers that are based on learned transform and soft-threshold. By modifying optimization procedures for dictionary and classifier training, as well as the resulting dictionary entries, our techniques allow to reduce the bit precision and to replace each floating-point multiplication by a single integer bit shift. We also show how the optimization algorithms in some dictionary training methods can be modified to penalize higher-energy dictionaries. We applied our techniques with the classifier Learning Algorithm for Soft-Thresholding, testing on the datasets used in its original paper. Our results indicate it is feasible to use solely sums and bit shifts of integers to classify at test time with a limited reduction of the classification accuracy. These low power operations are a valuable trade off in FPGA implementations as they increase the classification throughput while decrease both energy consumption and manufacturing cost.
△ Less
Submitted 30 April, 2016; v1 submitted 25 April, 2015;
originally announced April 2015.
-
Natural Quasi-Alignment with two Higgs Doublets and RGE Stability
Authors:
F. J. Botella,
G. C. Branco,
António M. Coutinho,
M. N. Rebelo,
J. I. Silva-Marcos
Abstract:
In the context of two Higgs doublet models, we study the conditions required in order to have stable quasi-alignment in flavour space. We show that stability under the RGE imposes strong constraints on the flavour structure of the Yukawa couplings associated to each one of the Higgs doublets. In particular, we find a novel solution, where all Yukawa couplings are proportional to the so-called demo…
▽ More
In the context of two Higgs doublet models, we study the conditions required in order to have stable quasi-alignment in flavour space. We show that stability under the RGE imposes strong constraints on the flavour structure of the Yukawa couplings associated to each one of the Higgs doublets. In particular, we find a novel solution, where all Yukawa couplings are proportional to the so-called democratic matrix. This solution is rather unique, since it is the only stable solution which is a good starting point for reproducing the observed pattern of quark masses and mixing. We also show that this stable solution can be obtained by imposing on the Lagrangian a $Z_3 \times Z^\prime_3$ flavour symmetry. Quark masses of the lighter quark generations are generated through the breaking of this discrete symmetry, and, at this stage, scalar mediated FCNC arise, but are naturally suppressed by the smallness of light quark masses. In this way, we relate Higgs alignment to the hierarchy of quark masses through a discrete family symmetry.
△ Less
Submitted 29 January, 2015;
originally announced January 2015.