-
Using Deep Learning to Design High Aspect Ratio Fusion Devices
Authors:
P. Curvo,
D. R. Ferreira,
R. Jorge
Abstract:
The design of fusion devices is typically based on computationally expensive simulations. This can be alleviated using high aspect ratio models that employ a reduced number of free parameters, especially in the case of stellarator optimization where non-axisymmetric magnetic fields with a large parameter space are optimized to satisfy certain performance criteria. However, optimization is still re…
▽ More
The design of fusion devices is typically based on computationally expensive simulations. This can be alleviated using high aspect ratio models that employ a reduced number of free parameters, especially in the case of stellarator optimization where non-axisymmetric magnetic fields with a large parameter space are optimized to satisfy certain performance criteria. However, optimization is still required to find configurations with properties such as low elongation, high rotational transform, finite plasma beta, and good fast particle confinement. In this work, we train a machine learning model to construct configurations with favorable confinement properties by finding a solution to the inverse design problem, that is, obtaining a set of model input parameters for given desired properties. Since the solution of the inverse problem is non-unique, a probabilistic approach, based on mixture density networks, is used. It is shown that optimized configurations can be generated reliably using this method.
△ Less
Submitted 31 August, 2024;
originally announced September 2024.
-
Control of the Schrödinger equation in $\mathbb{R}^3$: The critical case
Authors:
Pablo Braz e Silva,
Roberto de A. Capistrano-Filho,
Jackellyny Dassy do Nascimento Carvalho,
David dos Santos Ferreira
Abstract:
This article deals with the $\dot{H}^{1}$--level exact controllability for the defocusing critical nonlinear Schrödinger equation in $\mathbb{R}^3$. Firstly, we show the problem under consideration to be well-posed using Strichartz estimates. Moreover, through the Hilbert uniqueness method, we prove the linear Schrödinger equation to be controllable. Finally, we use a perturbation argument and sho…
▽ More
This article deals with the $\dot{H}^{1}$--level exact controllability for the defocusing critical nonlinear Schrödinger equation in $\mathbb{R}^3$. Firstly, we show the problem under consideration to be well-posed using Strichartz estimates. Moreover, through the Hilbert uniqueness method, we prove the linear Schrödinger equation to be controllable. Finally, we use a perturbation argument and show local exact controllability for the critical nonlinear Schrödinger equation.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Tomographic redshift dipole: Testing the cosmological principle
Authors:
Pedro da Silveira Ferreira,
Valerio Marra
Abstract:
The cosmological principle posits that the universe is statistically homogeneous and isotropic on large scales, implying all matter shares the same rest frame. This principle suggests that velocity estimates of our motion from various sources should agree with the cosmic microwave background (CMB) dipole's inferred velocity of 370 km/s. Yet, for over two decades, analyses of radio galaxy and quasa…
▽ More
The cosmological principle posits that the universe is statistically homogeneous and isotropic on large scales, implying all matter shares the same rest frame. This principle suggests that velocity estimates of our motion from various sources should agree with the cosmic microwave background (CMB) dipole's inferred velocity of 370 km/s. Yet, for over two decades, analyses of radio galaxy and quasar catalogs have found velocities at odds with the CMB dipole, with tensions up to 5$σ$. In a blind analysis of BOSS and eBOSS spectroscopic data from galaxies and quasars across $0.2<z<2.2$, we applied a novel dipole estimator for a tomographic approach, robustly correcting biases and quantifying uncertainties with realistic mock catalogs. Our findings with eBOSS data ($0.6<z<2.2$), indicating a velocity of $195^{+99}_{-81}$ km/s, demonstrate a $2σ$ agreement with the CMB dipole when considering the full 3D vector distribution and a 3-to-6$σ$ tension with previous number count studies. This result supports the cosmological principle, emphasizing the consistency of our motion with the CMB across vast cosmic distances. On the other hand, the BOSS data revealed potential unmodeled systematics; the estimator could not be minimized using the LOWZ set ($0.2<z<0.4$), and the CMASS set ($0.4<z<0.6$) presented results that pointed towards the southern hemisphere, conflicting with the CMB dipole. Addressing the disparities with earlier number count analyses and understanding possible systematics in spectroscopic measurements will be essential to further validate the cosmological principle.
△ Less
Submitted 5 June, 2024; v1 submitted 21 March, 2024;
originally announced March 2024.
-
Contract Usage and Evolution in Android Mobile Applications
Authors:
David R. Ferreira,
Alexandra Mendes,
João F. Ferreira
Abstract:
Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. Previous research has demonstrated the value of contracts in traditional software development contexts. However, the adoption and impact of contracts in the context of mobile application development, particularly of Android applications, remain unexplored.…
▽ More
Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. Previous research has demonstrated the value of contracts in traditional software development contexts. However, the adoption and impact of contracts in the context of mobile application development, particularly of Android applications, remain unexplored.
To address this, we present the first large-scale empirical study on the presence and use of contracts in Android applications, written in Java or Kotlin. We consider different types of contract elements divided into five categories: conditional runtime exceptions, APIs, annotations, assertions, and other. We analyzed 2,390 Android applications from the F-Droid repository and processed more than 51,749 KLOC to determine 1) how and to what extent contracts are used, 2) how contract usage evolves, and 3) whether contracts are used safely in the context of program evolution and inheritance. Our findings include: 1) although most applications do not specify contracts, annotation-based approaches are the most popular among practitioners; 2) applications that use contracts continue to use them in later versions, but the number of methods increases at a higher rate than the number of contracts; and 3) there are many potentially unsafe specification changes when applications evolve and in subtyping relationships, which indicates a lack of specification stability. Our findings show that it would be desirable to have libraries that standardize contract specifications in Java and Kotlin, and tools that aid practitioners in writing stronger contracts and in detecting contract violations in the context of program evolution and inheritance.
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
Evaluation of the Energy Consumption of a Mobile Robotic Platform for Sustainable 6G Networks
Authors:
Diogo Ferreira,
André Coelho,
Rui Campos
Abstract:
The emerging 6G paradigm and the proliferation of wireless devices require flexible network infrastructures capable of meeting the increasing Quality of Service (QoS) requirements. Mobile Robotic Platforms (MRPs) acting as mobile communications cells are a promising solution to provide on-demand wireless connectivity in dynamic networking scenarios. However, the energy consumption of MRPs is a cha…
▽ More
The emerging 6G paradigm and the proliferation of wireless devices require flexible network infrastructures capable of meeting the increasing Quality of Service (QoS) requirements. Mobile Robotic Platforms (MRPs) acting as mobile communications cells are a promising solution to provide on-demand wireless connectivity in dynamic networking scenarios. However, the energy consumption of MRPs is a challenge that must be considered, in order to maximize the availability of the wireless networks created.
The main contribution of this paper is the experimental evaluation of the energy consumption of an MRP acting as a mobile communications cell. The evaluation considers different actions performed by a real MRP, showing that the energy consumption varies significantly with the type of action performed. The obtained results pave the way for optimizing the MRP movement in dynamic networking scenarios so that the wireless network's availability is maximized while minimizing the MRP's energy consumption.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Optical Extreme Learning Machines with Atomic Vapors
Authors:
Nuno A. Silva,
Vicente Rocha,
Tiago D. Ferreira
Abstract:
Extreme learning machines explore nonlinear random projections to perform computing tasks on high-dimensional output spaces. Since training only occurs at the output layer, the approach has the potential to speed up the training process and the capacity to turn any physical system into a computing platform. Yet, requiring strong nonlinear dynamics, optical solutions operating at fast processing ra…
▽ More
Extreme learning machines explore nonlinear random projections to perform computing tasks on high-dimensional output spaces. Since training only occurs at the output layer, the approach has the potential to speed up the training process and the capacity to turn any physical system into a computing platform. Yet, requiring strong nonlinear dynamics, optical solutions operating at fast processing rates and low power can be hard to achieve with conventional nonlinear optical materials. In this context, this manuscript explores the possibility of using atomic gases in near-resonant conditions to implement an optical extreme learning machine leveraging their enhanced nonlinear optical properties. Our results suggest that these systems have the potential not only to work as an optical extreme learning machine but also to perform these computations at the few-photon level, paving opportunities for energy-efficient computing solutions.
△ Less
Submitted 8 January, 2024;
originally announced January 2024.
-
Optical Feedback Loop in Paraxial Fluids of Light: A Gate to new phenomena in analogue physical simulations
Authors:
Tiago D. Ferreira,
Ariel Guerreiro,
Nuno A. Silva
Abstract:
Easily accessible through tabletop experiments based on laser propagation inside nonlinear optical media, Paraxial Fluids of Light are emerging as promising platforms for the simulation and exploration of quantum-like phenomena. In particular, the analogy builds on a formal equivalence between the governing model for a Bose-Einstein Condensate under the mean-field approximation and the model of la…
▽ More
Easily accessible through tabletop experiments based on laser propagation inside nonlinear optical media, Paraxial Fluids of Light are emerging as promising platforms for the simulation and exploration of quantum-like phenomena. In particular, the analogy builds on a formal equivalence between the governing model for a Bose-Einstein Condensate under the mean-field approximation and the model of laser propagation under the paraxial approximation. Yet, the fact that the role of time is played by the propagation distance in the optical analogue system may impose strong bounds on the range of accessible phenomena due to the limited length of the nonlinear medium. In this manuscript, we present a novel experimental approach to solve this limitation in the form of an optical feedback loop, which consists of the reconstruction of the optical states at the end of the system followed by their subsequent re-injection exploiting wavefront shaping techniques. The results enclosed demonstrate the potential of this approach to access unprecedented dynamics, paving for the observation of novel phenomena in these systems.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Disruption Prediction in Fusion Devices through Feature Extraction and Logistic Regression
Authors:
Diogo R. Ferreira
Abstract:
This document describes an approach used in the Multi-Machine Disruption Prediction Challenge for Fusion Energy by ITU, a data science competition which ran from September to November 2023, on the online platform Zindi. The competition involved data from three fusion devices - C-Mod, HL-2A, and J-TEXT - with most of the training data coming from the last two, and the test data coming from the firs…
▽ More
This document describes an approach used in the Multi-Machine Disruption Prediction Challenge for Fusion Energy by ITU, a data science competition which ran from September to November 2023, on the online platform Zindi. The competition involved data from three fusion devices - C-Mod, HL-2A, and J-TEXT - with most of the training data coming from the last two, and the test data coming from the first one. Each device has multiple diagnostics and signals, and it turns out that a critical issue in this competition was to identify which signals, and especially which features from those signals, were most relevant to achieve accurate predictions. The approach described here is based on extracting features from signals, and then applying logistic regression on top of those features. Each signal is treated as a separate predictor and, in the end, a combination of such predictors achieved the first place on the leaderboard.
△ Less
Submitted 24 November, 2023;
originally announced November 2023.
-
A deformation-based morphometry framework for disentangling Alzheimer's disease from normal aging using learned normal aging templates
Authors:
Jingru Fu,
Daniel Ferreira,
Örjan Smedby,
Rodrigo Moreno
Abstract:
Alzheimer's Disease and normal aging are both characterized by brain atrophy. The question of whether AD-related brain atrophy represents accelerated aging or a neurodegeneration process distinct from that in normal aging remains unresolved. Moreover, precisely disentangling AD-related brain atrophy from normal aging in a clinical context is complex. In this study, we propose a deformation-based m…
▽ More
Alzheimer's Disease and normal aging are both characterized by brain atrophy. The question of whether AD-related brain atrophy represents accelerated aging or a neurodegeneration process distinct from that in normal aging remains unresolved. Moreover, precisely disentangling AD-related brain atrophy from normal aging in a clinical context is complex. In this study, we propose a deformation-based morphometry framework to estimate normal aging and AD-specific atrophy patterns of subjects from morphological MRI scans. We first leverage deep-learning-based methods to create age-dependent templates of cognitively normal (CN) subjects. These templates model the normal aging atrophy patterns in a CN population. Then, we use the learned diffeomorphic registration to estimate the one-year normal aging pattern at the voxel level. We register the testing image to the 60-year-old CN template in the second step. Finally, normal aging and AD-specific scores are estimated by measuring the alignment of this registration with the one-year normal aging pattern. The methodology was developed and evaluated on the OASIS3 dataset with 1,014 T1-weighted MRI scans. Of these, 326 scans were from CN subjects, and 688 scans were from individuals clinically diagnosed with AD at different stages of clinical severity defined by clinical dementia rating (CDR) scores. The results show that ventricles predominantly follow an accelerated normal aging pattern in subjects with AD. In turn, hippocampi and amygdala regions were affected by both normal aging and AD-specific factors. Interestingly, hippocampi and amygdala regions showed more of an accelerated normal aging pattern for subjects during the early clinical stages of the disease, while the AD-specific score increases in later clinical stages. Our code is freely available at https://github.com/Fjr9516/DBM_with_DL.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
Are foundation models efficient for medical image segmentation?
Authors:
Danielle Ferreira,
Rima Arnaout
Abstract:
Foundation models are experiencing a surge in popularity. The Segment Anything model (SAM) asserts an ability to segment a wide spectrum of objects but required supervised training at unprecedented scale. We compared SAM's performance (against clinical ground truth) and resources (labeling time, compute) to a modality-specific, label-free self-supervised learning (SSL) method on 25 measurements fo…
▽ More
Foundation models are experiencing a surge in popularity. The Segment Anything model (SAM) asserts an ability to segment a wide spectrum of objects but required supervised training at unprecedented scale. We compared SAM's performance (against clinical ground truth) and resources (labeling time, compute) to a modality-specific, label-free self-supervised learning (SSL) method on 25 measurements for 100 cardiac ultrasounds. SAM performed poorly and required significantly more labeling and computing resources, demonstrating worse efficiency than SSL.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
Learning the dynamics of a one-dimensional plasma model with graph neural networks
Authors:
Diogo D Carvalho,
Diogo R Ferreira,
Luis O Silva
Abstract:
We explore the possibility of fully replacing a plasma physics kinetic simulator with a graph neural network-based simulator. We focus on this class of surrogate models given the similarity between their message-passing update mechanism and the traditional physics solver update, and the possibility of enforcing known physical priors into the graph construction and update. We show that our model le…
▽ More
We explore the possibility of fully replacing a plasma physics kinetic simulator with a graph neural network-based simulator. We focus on this class of surrogate models given the similarity between their message-passing update mechanism and the traditional physics solver update, and the possibility of enforcing known physical priors into the graph construction and update. We show that our model learns the kinetic plasma dynamics of the one-dimensional plasma model, a predecessor of contemporary kinetic plasma simulation codes, and recovers a wide range of well-known kinetic plasma processes, including plasma thermalization, electrostatic fluctuations about thermal equilibrium, and the drag on a fast sheet and Landau damping. We compare the performance against the original plasma model in terms of run-time, conservation laws, and temporal evolution of key physical quantities. The limitations of the model are presented and possible directions for higher-dimensional surrogate models for kinetic plasmas are discussed.
△ Less
Submitted 13 May, 2024; v1 submitted 26 October, 2023;
originally announced October 2023.
-
Towards the automation of book typesetting
Authors:
Sérgio M. Rebelo,
Tiago Martins,
Diogo Ferreira,
Artur Rebelo
Abstract:
This paper proposes a generative approach for the automatic typesetting of books in desktop publishing. The presented system consists in a computer script that operates inside a widely used design software tool and implements a generative process based on several typographic rules, styles and principles which have been identified in the literature. The performance of the proposed system is tested…
▽ More
This paper proposes a generative approach for the automatic typesetting of books in desktop publishing. The presented system consists in a computer script that operates inside a widely used design software tool and implements a generative process based on several typographic rules, styles and principles which have been identified in the literature. The performance of the proposed system is tested through an experiment which included the evaluation of its outputs with people. The results reveal the ability of the system to consistently create varied book designs from the same input content as well as visually coherent book designs with different contents while complying with fundamental typographic principles.
△ Less
Submitted 22 October, 2023;
originally announced October 2023.
-
Resonant TERS of a Single-Molecule Kondo System
Authors:
Rodrigo Cezar de Campos Ferreira,
Amandeep Sagwal,
Jiří Doležal,
Sofia Canola,
Pablo Merino,
Tomáš Neuman,
Martin Švec
Abstract:
Single-molecule tip-enhanced Raman spectroscopy (TERS) under ultra-high vacuum (UHV) and cryogenic conditions enables exploration of the relations between the adsorption geometry, electronic state, and vibrational fingerprints of individual molecules. TERS capability of reflecting spin states in open-shell molecular configurations is yet unexplored. Here we use the tip of a scanning probe microsco…
▽ More
Single-molecule tip-enhanced Raman spectroscopy (TERS) under ultra-high vacuum (UHV) and cryogenic conditions enables exploration of the relations between the adsorption geometry, electronic state, and vibrational fingerprints of individual molecules. TERS capability of reflecting spin states in open-shell molecular configurations is yet unexplored. Here we use the tip of a scanning probe microscope to lift a perylene-3,4,9,10-tetracarboxylic dianhydride (PTCDA) molecule from a metal surface to bring it into an open-shell spin one-half anionic state. We reveal a correlation between the appearance of a Kondo resonance in the differential conductance spectroscopy and concurrent characteristic changes captured by the TERS measurements. Through a detailed investigation of various adsorbed and tip-contacted PTCDA scenarios, we infer that the Raman scattering on the suspended PTCDA is resonant with a higher excited state. Theoretical simulation of the vibrational spectra enables a precise assignment of the individual TERS peaks to high-symmetry Ag modes, including the fingerprints of the observed spin state. These findings highlight the potential of TERS in capturing complex interactions between charge, spin, and photophysical properties in nanoscale molecular systems, and suggest a pathway for designing spin-optical devices using organic molecules.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Human Protein Protein Interaction Networks: A Topological Comparison Review
Authors:
Rodrigo Henrique Ramos,
Cynthia de Oliveira Lage Ferreira,
Adenilso Simao
Abstract:
Protein-Protein Interaction Networks aim to model the interactome, providing a powerful tool for understanding the complex relationships governing cellular processes. These networks have numerous applications, including functional enrichment, discovering cancer driver genes, identifying drug targets, and more. Various databases make protein-protein networks available for many species, including Ho…
▽ More
Protein-Protein Interaction Networks aim to model the interactome, providing a powerful tool for understanding the complex relationships governing cellular processes. These networks have numerous applications, including functional enrichment, discovering cancer driver genes, identifying drug targets, and more. Various databases make protein-protein networks available for many species, including Homo sapiens. This work topologically compares four Homo sapiens networks using a coarse-to-fine approach, comparing global characteristics, sub-network topology, specific nodes centrality, and interaction significance. Results show that the four human protein networks share many common protein-encoding genes and some global measures, but significantly differ in the interactions and neighbourhood. Small sub-networks from cancer pathways performed better than the whole networks, indicating an improved topological consistency in functional pathways. The centrality analysis shows that the same genes play different roles in different networks. We discuss how studies and analyses that rely on protein-protein networks for humans should consider their similarities and distinctions.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
Single-molecule time-resolved spectroscopy in a tunable STM nanocavity
Authors:
Jiří Doležal,
Amandeep Sagwal,
Rodrigo Cezar de Campos Ferreira,
Martin Švec
Abstract:
The spontaneous fluorescence rates of single-molecule emitters are typically on the order of nanoseconds. However coupling them with plasmonic nanostructures can substantially increase their fluorescence yields. The confinement between the tip and sample of a scanning tunneling microscope creates a tunable nanocavity, an ideal platform for exploring the yields and excitation decay rates of single-…
▽ More
The spontaneous fluorescence rates of single-molecule emitters are typically on the order of nanoseconds. However coupling them with plasmonic nanostructures can substantially increase their fluorescence yields. The confinement between the tip and sample of a scanning tunneling microscope creates a tunable nanocavity, an ideal platform for exploring the yields and excitation decay rates of single-molecule emitters depending on the coupling strength to the nanocavity. With this setup we estimate the excitation lifetimes from the direct time-resolved measurements of the fluorescence decays of phthalocyanine adsorbates, decoupled from the metal substrates by ultrathin NaCl layers. It is found that nanosecond-range lifetimes prevail for the emitters away from the nanocavity, whereas for the tip approached to a molecule, we find a substantial effect of the nanocavity coupling, which reduces the lifetimes to a few picoseconds. An analysis is performed to investigate the crossover between the far-field and tip-enhanced photoluminescence regimes. This approach overcomes the drawbacks associated with the estimation of lifetimes for single molecules from their respective emission linewidths.
△ Less
Submitted 8 September, 2023;
originally announced September 2023.
-
Exploring the dynamics of the Kelvin-Helmoltz instability in paraxial fluids of light
Authors:
Tiago D. Ferreira,
Jakub Garwola,
Nuno A. Silva
Abstract:
Paraxial fluids of light have recently emerged as promising analogue physical simulators of quantum fluids using laser propagation inside nonlinear optical media. In particular, recent works have explored the versatility of such systems for the observation of two-dimensional quantum-like turbulence regimes, dominated by quantized vortex formation and interaction that results in distinctive kinetic…
▽ More
Paraxial fluids of light have recently emerged as promising analogue physical simulators of quantum fluids using laser propagation inside nonlinear optical media. In particular, recent works have explored the versatility of such systems for the observation of two-dimensional quantum-like turbulence regimes, dominated by quantized vortex formation and interaction that results in distinctive kinetic energy power laws and inverse energy cascades. In this manuscript, we explore a regime analogue to Kelvin-Helmoltz instability to look into further detail the qualitative dynamics involved in the transition from smooth laminar flow to turbulence at the interface of two fluids with distinct velocities. Both numerical and experimental results reveal the formation of a vortex sheet as expected, with a quantized number of vortices determined by initial conditions. Using an effective length transformation scale we get a deeper insight into the vortex formation phase, observing the appearance of characteristic power-laws in the incompressible kinetic energy spectrum that are related to the single vortex structures. The results enclosed demonstrate the versatility of paraxial fluids of light and may set the stage for the future observation of distinct classes of phenomena recently predicted to occur in these systems, such as radiant instability and superradiance.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
-
RedBit: An End-to-End Flexible Framework for Evaluating the Accuracy of Quantized CNNs
Authors:
André Santos,
João Dinis Ferreira,
Onur Mutlu,
Gabriel Falcao
Abstract:
In recent years, Convolutional Neural Networks (CNNs) have become the standard class of deep neural network for image processing, classification and segmentation tasks. However, the large strides in accuracy obtained by CNNs have been derived from increasing the complexity of network topologies, which incurs sizeable performance and energy penalties in the training and inference of CNNs. Many rece…
▽ More
In recent years, Convolutional Neural Networks (CNNs) have become the standard class of deep neural network for image processing, classification and segmentation tasks. However, the large strides in accuracy obtained by CNNs have been derived from increasing the complexity of network topologies, which incurs sizeable performance and energy penalties in the training and inference of CNNs. Many recent works have validated the effectiveness of parameter quantization, which consists in reducing the bit width of the network's parameters, to enable the attainment of considerable performance and energy efficiency gains without significantly compromising accuracy. However, it is difficult to compare the relative effectiveness of different quantization methods. To address this problem, we introduce RedBit, an open-source framework that provides a transparent, extensible and easy-to-use interface to evaluate the effectiveness of different algorithms and parameter configurations on network accuracy. We use RedBit to perform a comprehensive survey of five state-of-the-art quantization methods applied to the MNIST, CIFAR-10 and ImageNet datasets. We evaluate a total of 2300 individual bit width combinations, independently tuning the width of the network's weight and input activation parameters, from 32 bits down to 1 bit (e.g., 8/8, 2/2, 1/32, 1/1, for weights/activations). Upwards of 20000 hours of computing time in a pool of state-of-the-art GPUs were used to generate all the results in this paper. For 1-bit quantization, the accuracy losses for the MNIST, CIFAR-10 and ImageNet datasets range between [0.26%, 0.79%], [9.74%, 32.96%] and [10.86%, 47.36%] top-1, respectively. We actively encourage the reader to download the source code and experiment with RedBit, and to submit their own observed results to our public repository, available at https://github.com/IT-Coimbra/RedBit.
△ Less
Submitted 15 January, 2023;
originally announced January 2023.
-
Full scale, microscopically resolved tomographies of sandstone and carbonate rocks augmented by experimental porosity and permeability values
Authors:
Matheus Esteves Ferreira,
Mariana Del Grande,
Rodrigo Neumann Barros Ferreira,
Ademir Ferreira da Silva,
Márcio Nogueira Pereira da Silva,
Jaione Tirapu-Azpiroz,
Everton Lucas-Oliveira,
Arthur Gustavo de Araújo Ferreira,
Renato Soares,
Christian B. Eckardt,
Tito J Bonagamba,
Mathias Steiner
Abstract:
We report a dataset containing full-scale, 3D images of rock plugs augmented by petrophysical lab characterization data for application in digital rock and capillary network analysis. Specifically, we have acquired microscopically resolved tomography datasets of 18 cylindrical sandstone and carbonate rock samples having lengths of 25.4 mm and diameters of 9.5 mm, respectively. Based on the micro-t…
▽ More
We report a dataset containing full-scale, 3D images of rock plugs augmented by petrophysical lab characterization data for application in digital rock and capillary network analysis. Specifically, we have acquired microscopically resolved tomography datasets of 18 cylindrical sandstone and carbonate rock samples having lengths of 25.4 mm and diameters of 9.5 mm, respectively. Based on the micro-tomography data, we have computed porosity-values for each imaged rock sample. For validating the computed porosity values with a complementary lab method, we have measured porosity for each rock sample by using standard petrophysical characterization techniques. Overall, the tomography-based porosity values agree with the measurement results obtained from the lab, with values ranging from 8% to 30%. In addition, we provide for each rock sample the experimental permeabilities, with values ranging from 0.4 mD to above 5D. This dataset will be essential for establishing, benchmarking, and referencing the relation between porosity and permeability of reservoir rock at pore scale.
△ Less
Submitted 21 December, 2022; v1 submitted 19 December, 2022;
originally announced December 2022.
-
Ranking Critical Tools in the Implementation of Lean Six Sigma as an Integrated Management System in Portugal
Authors:
David Ferreira,
Pedro Cunha
Abstract:
Lean Six Sigma (LSS) is a comprehensive and powerful strategy for processes improvement and products. There is a cornucopia of tools for its implementation and 37 among them were selected to carry out an evaluation based on three factors, namely: Frequency of use of the tool, difficulty in implementing, importance and impact of the tool in the implementation of LSS. An online survey was conducted…
▽ More
Lean Six Sigma (LSS) is a comprehensive and powerful strategy for processes improvement and products. There is a cornucopia of tools for its implementation and 37 among them were selected to carry out an evaluation based on three factors, namely: Frequency of use of the tool, difficulty in implementing, importance and impact of the tool in the implementation of LSS. An online survey was conducted with Portuguese consultants and it included questions on the profile, and the companies they worked, as well as the degree of impact of the tools used. Consultants were asked to choose ten tools, ranking them in order of importance. The frequencies with which each tool had been cited were counted. A procedure was then developed to identify the know-how of consultants to establish a ranking of LSS tools. It was created an ordering list of tools, which emphasized in: Honshin Kanri, VOC, VSM. The results presented are particularly relevant when is considered the importance of understanding the requirements for a successful implementation of Lean Six Sigma management system in the organizations.
△ Less
Submitted 30 November, 2022;
originally announced December 2022.
-
The CMB cold spot under the lens: ruling out a supervoid interpretation
Authors:
Stephen Owusu,
Pedro da Silveira Ferreira,
Alessio Notari,
Miguel Quartin
Abstract:
The Cosmic Microwave Background (CMB) anisotropies are thought to be statistically isotropic and Gaussian. However, several anomalies are observed, including the CMB Cold Spot, an unexpected cold $\sim 10^{\circ}$ region with $p$-value $\lesssim 0.01$ in standard $Λ$CDM. One of the proposed origins of the Cold Spot is an unusually large void on the line of sight, that would generate a cold region…
▽ More
The Cosmic Microwave Background (CMB) anisotropies are thought to be statistically isotropic and Gaussian. However, several anomalies are observed, including the CMB Cold Spot, an unexpected cold $\sim 10^{\circ}$ region with $p$-value $\lesssim 0.01$ in standard $Λ$CDM. One of the proposed origins of the Cold Spot is an unusually large void on the line of sight, that would generate a cold region through the combination of integrated Sachs-Wolfe and Rees-Sciama effects. In the past decade extensive searches were conducted in large scale structure surveys, both in optical and infrared, in the same area for $z \lesssim 1$ and did find evidence of large voids, but of depth and size able to account for only a fraction of the anomaly. Here we analyze the lensing signal in the Planck CMB data and rule out the hypothesis that the Cold Spot could be due to a large void located anywhere between us and the surface of last scattering. In particular, computing the evidence ratio we find that a model with a large void is disfavored compared to $Λ$CDM, with odds 1 : 13 (1 : 20) for SMICA (NILC) maps, compared to the original odds 56 : 1 (21 : 1) using temperature data alone.
△ Less
Submitted 14 June, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
High-fidelity generation of four-photon GHZ states on-chip
Authors:
Mathias Pont,
Giacomo Corrielli,
Andreas Fyrillas,
Iris Agresti,
Gonzalo Carvacho,
Nicolas Maring,
Pierre-Emmanuel Emeriau,
Francesco Ceccarelli,
Ricardo Albiero,
Paulo H. D. Ferreira,
Niccolo Somaschi,
Jean Senellart,
Isabelle Sagnes,
Martina Morassi,
Aristide Lemaitre,
Pascale Senellart,
Fabio Sciarrino,
Marco Liscidini,
Nadia Belabas,
Roberto Osellame
Abstract:
Mutually entangled multi-photon states are at the heart of all-optical quantum technologies. While impressive progresses have been reported in the generation of such quantum light states using free space apparatus, high-fidelity high-rate on-chip entanglement generation is crucial for future scalability. In this work, we use a bright quantum-dot based single-photon source to demonstrate the high f…
▽ More
Mutually entangled multi-photon states are at the heart of all-optical quantum technologies. While impressive progresses have been reported in the generation of such quantum light states using free space apparatus, high-fidelity high-rate on-chip entanglement generation is crucial for future scalability. In this work, we use a bright quantum-dot based single-photon source to demonstrate the high fidelity generation of 4-photon Greenberg-Horne-Zeilinger (GHZ) states with a low-loss reconfigurable glass photonic circuit. We reconstruct the density matrix of the generated states using full quantum-state tomography reaching an experimental fidelity to the target $|{\text{GHZ}_4}\rangle$ of $\mathcal{F}_{\text{GHZ}_4} (86.0\pm0.4)\,\%$, and a purity of $\mathcal{P}_{\text{GHZ}_4}=(76.3\pm0.6)\,\%$. The entanglement of the generated states is certified with a semi device-independent approach through the violation of a Bell-like inequality by more than 39 standard deviations. Finally, we carry out a four-partite quantum secret sharing protocol on-chip where a regulator shares with three interlocutors a sifted key with up to 1978 bits, achieving a qubit-error rate of $10.87\,\%$. These results establish that the quantum-dot technology combined with glass photonic circuitry for entanglement generation on chip offers a viable path for intermediate scale quantum computation and communication.
△ Less
Submitted 28 November, 2022;
originally announced November 2022.
-
Optimal plane curves of degree $q-1$ over a finite field
Authors:
Walteir de Paula Ferreira,
Pietro Speziali
Abstract:
Let $q\geq 5$ be a prime power. In this note, we prove that if a plane curve $\mathcal{X}$ of degree $q - 1$ defined over $\mathbb{F}_q$ without $\mathbb{F}_q$-linear components attains the Sziklai upper bound $(d-1)q+1 = (q - 1)^2$ for the number of its $\mathbb{F}_q$-rational points, then $\mathcal{X}$ is projectively equivalent over $\mathbb{F}_q$ to the curve…
▽ More
Let $q\geq 5$ be a prime power. In this note, we prove that if a plane curve $\mathcal{X}$ of degree $q - 1$ defined over $\mathbb{F}_q$ without $\mathbb{F}_q$-linear components attains the Sziklai upper bound $(d-1)q+1 = (q - 1)^2$ for the number of its $\mathbb{F}_q$-rational points, then $\mathcal{X}$ is projectively equivalent over $\mathbb{F}_q$ to the curve $ \mathcal{C}_{(α,β,γ)} : αX^{q - 1} + βY^{q - 1} + γZ^{q - 1} = 0$ for some $α, β, γ\in \mathbb{F}_q^{*}$ such that $α+ β+ γ= 0$. This completes the classification of curves that are extremal with respect to the Sziklai bound.
Also, since the Sziklai bound is equal to the Stöhr-Voloch's bound for plane curves of degree $q - 1$, our main result classifies the $\mathbb{F}_q$-Frobenius classical extremal plane curves of degree $q - 1$.
△ Less
Submitted 25 November, 2022;
originally announced November 2022.
-
Mappings preserving sum of triple products on $\ast $-algebras
Authors:
João Carlos da Motta Ferreira,
Maria das Graças Bruno Marietto
Abstract:
Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective mappings $Φ:\mathcal{A}\rightarrow \mathcal{B}$ preserving sum of triple products $α_{1} ab^{*}c+α_{2} acb^{*}+α_{3} b^{*}ac +α_{4} cab^{*}+α_{5} b^{*}ca+α_{6} cb^{*}a,$ where the scalars $\{α_{k}\}_{k=1}^{6}$ are complex…
▽ More
Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective mappings $Φ:\mathcal{A}\rightarrow \mathcal{B}$ preserving sum of triple products $α_{1} ab^{*}c+α_{2} acb^{*}+α_{3} b^{*}ac +α_{4} cab^{*}+α_{5} b^{*}ca+α_{6} cb^{*}a,$ where the scalars $\{α_{k}\}_{k=1}^{6}$ are complex numbers satisfying some conditions. Applications of obtained results are given.
△ Less
Submitted 13 September, 2022;
originally announced November 2022.
-
Label-free segmentation from cardiac ultrasound using self-supervised learning
Authors:
Danielle L. Ferreira,
Zaynaf Salaymang,
Rima Arnaout
Abstract:
Segmentation and measurement of cardiac chambers is critical in cardiac ultrasound but is laborious and poorly reproducible. Neural networks can assist, but supervised approaches require the same laborious manual annotations. We built a pipeline for self-supervised (no manual labels) segmentation combining computer vision, clinical domain knowledge, and deep learning. We trained on 450 echocardiog…
▽ More
Segmentation and measurement of cardiac chambers is critical in cardiac ultrasound but is laborious and poorly reproducible. Neural networks can assist, but supervised approaches require the same laborious manual annotations. We built a pipeline for self-supervised (no manual labels) segmentation combining computer vision, clinical domain knowledge, and deep learning. We trained on 450 echocardiograms (93,000 images) and tested on 8,393 echocardiograms (4,476,266 images; mean 61 years, 51% female), using the resulting segmentations to calculate biometrics. We also tested against external images from an additional 10,030 patients with available manual tracings of the left ventricle. r2 between clinically measured and pipeline-predicted measurements were similar to reported inter-clinician variation and comparable to supervised learning across several different measurements (r2 0.56-0.84). Average accuracy for detecting abnormal chamber size and function was 0.85 (range 0.71-0.97) compared to clinical measurements. A subset of test echocardiograms (n=553) had corresponding cardiac MRIs, where MRI is the gold standard. Correlation between pipeline and MRI measurements was similar to that between clinical echocardiogram and MRI. Finally, the pipeline accurately segments the left ventricle with an average Dice score of 0.89 (95% CI [0.89]) in the external, manually labeled dataset. Our results demonstrate a manual-label free, clinically valid, and highly scalable method for segmentation from ultrasound, a noisy but globally important imaging modality.
△ Less
Submitted 24 October, 2023; v1 submitted 10 October, 2022;
originally announced October 2022.
-
A new approach to the study of spacelike submanifolds in a spherical Robertson-Walker spacetime: characterization of the stationary spacelike submanifolds as an application
Authors:
D. Ferreira,
E. A. Lima Jr.,
F. J. Palomo,
A. Romero
Abstract:
A natural one codimension isometric embedding of each $(n+1)$-dimensional spherical Robertson-Walker (RW) spacetime $I\times_f \mathbb{S}^n$ in $(n+2)$-dimensional Lorentz-Minkowski spacetime $\mathbb{L}^{n+2}$ permits to contemplate $I\times_f \mathbb{S}^n$ as a rotation Lorentzian hypersurface of $\mathbb{L}^{n+2}$. After a detailed study of such Lorentzian hypersurfaces, any $k$-dimensional spa…
▽ More
A natural one codimension isometric embedding of each $(n+1)$-dimensional spherical Robertson-Walker (RW) spacetime $I\times_f \mathbb{S}^n$ in $(n+2)$-dimensional Lorentz-Minkowski spacetime $\mathbb{L}^{n+2}$ permits to contemplate $I\times_f \mathbb{S}^n$ as a rotation Lorentzian hypersurface of $\mathbb{L}^{n+2}$. After a detailed study of such Lorentzian hypersurfaces, any $k$-dimensional spacelike submanifold of such an RW spacetime can be contemplated as a spacelike submanifold of $\mathbb{L}^{n+2}$. Then, we use that situation to study $k$-dimensional stationary (i.e., of zero mean curvature vector field) spacelike submanifolds of the RW spacetime. In particular, we prove a wide extension of the Lorentzian version of the classical Takahashi theorem, giving a characterization of stationary spacelike submanifolds of $I\times_f \mathbb{S}^n$ when contemplating them as spacelike submanifolds of $\mathbb{L}^{n+2}$.
△ Less
Submitted 8 December, 2022; v1 submitted 29 August, 2022;
originally announced August 2022.
-
Nonlinear maps preserving sums of triple products on $\ast $-algebras
Authors:
João Carlos da Motta Ferreira,
Maria das Graças Bruno Marietto
Abstract:
Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective nonlinear maps $Φ:\mathcal{A}\rightarrow \mathcal{B}$ preserving sum of triple products $α_{1} abc+α_{2} a^{*}cb^{*}+α_{3} ba^{*}c +α_{4} cab^{*}+α_{5} bca+α_{6} cb^{*}a^{*},$ where the scalars $\{α_{k}\}_{k=1}^{6}$ are c…
▽ More
Let $\mathcal{A}$ and $\mathcal{B}$ be two unital complex $\ast $-algebras such that $\mathcal{A}$ has a nontrivial projection. In this paper, we study the structure of bijective nonlinear maps $Φ:\mathcal{A}\rightarrow \mathcal{B}$ preserving sum of triple products $α_{1} abc+α_{2} a^{*}cb^{*}+α_{3} ba^{*}c +α_{4} cab^{*}+α_{5} bca+α_{6} cb^{*}a^{*},$ where the scalars $\{α_{k}\}_{k=1}^{6}$ are complex numbers satisfying some conditions.
△ Less
Submitted 16 August, 2022;
originally announced August 2022.
-
A semi-supervised methodology for fishing activity detection using the geometry behind the trajectory of multiple vessels
Authors:
Martha Dais Ferreira,
Gabriel Spadon,
Amilcar Soares,
Stan Matwin
Abstract:
Automatic Identification System (AIS) messages are useful for tracking vessel activity across oceans worldwide using radio links and satellite transceivers. Such data plays a significant role in tracking vessel activity and mapping mobility patterns such as those found in fishing. Accordingly, this paper proposes a geometric-driven semi-supervised approach for fishing activity detection from AIS d…
▽ More
Automatic Identification System (AIS) messages are useful for tracking vessel activity across oceans worldwide using radio links and satellite transceivers. Such data plays a significant role in tracking vessel activity and mapping mobility patterns such as those found in fishing. Accordingly, this paper proposes a geometric-driven semi-supervised approach for fishing activity detection from AIS data. Through the proposed methodology we show how to explore the information included in the messages to extract features describing the geometry of the vessel route. To this end, we leverage the unsupervised nature of cluster analysis to label the trajectory geometry highlighting the changes in the vessel's moving pattern which tends to indicate fishing activity. The labels obtained by the proposed unsupervised approach are used to detect fishing activities, which we approach as a time-series classification task. In this context, we propose a solution using recurrent neural networks on AIS data streams with roughly 87% of the overall $F$-score on the whole trajectories of 50 different unseen fishing vessels. Such results are accompanied by a broad benchmark study assessing the performance of different Recurrent Neural Network (RNN) architectures. In conclusion, this work contributes by proposing a thorough process that includes data preparation, labeling, data modeling, and model validation. Therefore, we present a novel solution for mobility pattern detection that relies upon unfolding the trajectory in time and observing their inherent geometry.
△ Less
Submitted 22 August, 2022; v1 submitted 12 July, 2022;
originally announced July 2022.
-
First light of BEaTriX, the new testing facility for the modular X-ray optics of the ATHENA mission
Authors:
S. Basso,
B. Salmaso,
D. Spiga,
M. Ghigo,
G. Vecchi,
G. Sironi,
V. Cotroneo,
P. Conconi,
E. Redaelli,
A. Bianco,
G. Pareschi,
G. Tagliaferri,
D. Sisana,
C. Pelliciari,
M. Fiorini,
S. Incorvaia,
M. Uslenghi,
L. Paoletti,
C. Ferrari,
R. Lolli,
A. Zappettini,
M. Sanchez del Rio,
G. Parodi,
V. Burwitz,
S. Rukdee
, et al. (13 additional authors not shown)
Abstract:
The Beam Expander Testing X-ray facility (BEaTriX) is a unique X-ray apparatus now operated at the Istituto Nazionale di Astrofisica (INAF), Osservatorio Astronomico di Brera (OAB), in Merate, Italy. It has been specifically designed to measure the point spread function (PSF) and the effective area (EA) of the X-ray mirror modules (MMs) of the Advanced Telescope for High-ENergy Astrophysics (ATHEN…
▽ More
The Beam Expander Testing X-ray facility (BEaTriX) is a unique X-ray apparatus now operated at the Istituto Nazionale di Astrofisica (INAF), Osservatorio Astronomico di Brera (OAB), in Merate, Italy. It has been specifically designed to measure the point spread function (PSF) and the effective area (EA) of the X-ray mirror modules (MMs) of the Advanced Telescope for High-ENergy Astrophysics (ATHENA), based on silicon pore optics (SPO) technology, for verification before integration into the mirror assembly. To this end, BEaTriX generates a broad, uniform, monochromatic, and collimated X-ray beam at 4.51 keV. [...] In BEaTriX, a micro-focus X-ray source with a titanium anode is placed in the focus of a paraboloidal mirror, which generates a parallel beam. A crystal monochromator selects the 4.51 keV line, which is expanded to the final size by a crystal asymmetrically cut with respect to the crystalline planes. [...] After characterization, the BEaTriX beam has the nominal dimensions of 170 mm x 60 mm, with a vertical divergence of 1.65 arcsec and a horizontal divergence varying between 2.7 and 3.45 arcsec, depending on the monochromator setting: either high collimation or high intensity. The flux per area unit varies from 10 to 50 photons/s/cm2 from one configuration to the other. The BEaTriX beam performance was tested using an SPO MM, whose entrance pupil was fully illuminated by the expanded beam, and its focus was directly imaged onto the camera. The first light test returned a PSF and an EA in full agreement with expectations. As of today, the 4.51 keV beamline of BEaTriX is operational and can characterize modular X-ray optics, measuring their PSF and EA with a typical exposure of 30 minutes. [...] We expect BEaTriX to be a crucial facility for the functional test of modular X-ray optics, such as the SPO MMs for ATHENA.
△ Less
Submitted 7 July, 2022; v1 submitted 30 June, 2022;
originally announced June 2022.
-
Generative Aging of Brain Images with Diffeomorphic Registration
Authors:
Jingru Fu,
Antonios Tzortzakakis,
José Barroso,
Eric Westman,
Daniel Ferreira,
Rodrigo Moreno
Abstract:
Analyzing and predicting brain aging is essential for early prognosis and accurate diagnosis of cognitive diseases. The technique of neuroimaging, such as Magnetic Resonance Imaging (MRI), provides a noninvasive means of observing the aging process within the brain. With longitudinal image data collection, data-intensive Artificial Intelligence (AI) algorithms have been used to examine brain aging…
▽ More
Analyzing and predicting brain aging is essential for early prognosis and accurate diagnosis of cognitive diseases. The technique of neuroimaging, such as Magnetic Resonance Imaging (MRI), provides a noninvasive means of observing the aging process within the brain. With longitudinal image data collection, data-intensive Artificial Intelligence (AI) algorithms have been used to examine brain aging. However, existing state-of-the-art algorithms tend to be restricted to group-level predictions and suffer from unreal predictions. This paper proposes a methodology for generating longitudinal MRI scans that capture subject-specific neurodegeneration and retain anatomical plausibility in aging. The proposed methodology is developed within the framework of diffeomorphic registration and relies on three key novel technological advances to generate subject-level anatomically plausible predictions: i) a computationally efficient and individualized generative framework based on registration; ii) an aging generative module based on biological linear aging progression; iii) a quality control module to fit registration for generation task. Our methodology was evaluated on 2662 T1-weighted (T1-w) MRI scans from 796 participants from three different cohorts. First, we applied 6 commonly used criteria to demonstrate the aging simulation ability of the proposed methodology; Secondly, we evaluated the quality of the synthetic images using quantitative measurements and qualitative assessment by a neuroradiologist. Overall, the experimental results show that the proposed method can produce anatomically plausible predictions that can be used to enhance longitudinal datasets, in turn enabling data-hungry AI-driven healthcare tools.
△ Less
Submitted 31 May, 2022;
originally announced May 2022.
-
Evidence of trion-libron coupling in chirally adsorbed single molecules
Authors:
Jiří Doležal,
Sofia Canola,
Prokop Hapala,
Rodrigo Cezar de Campos Ferreira,
Pablo Merino,
Martin Švec
Abstract:
Interplay between motion of nuclei and excited electrons in molecules plays a key role both in biological and artificial nanomachines. Here we provide a detailed analysis of coupling between quantized librational modes (librons) and charged excited states (trions) on single phthalocyanine dyes adsorbed on a surface. By means of tunnelling electron-induced electroluminescence, we identify libronic…
▽ More
Interplay between motion of nuclei and excited electrons in molecules plays a key role both in biological and artificial nanomachines. Here we provide a detailed analysis of coupling between quantized librational modes (librons) and charged excited states (trions) on single phthalocyanine dyes adsorbed on a surface. By means of tunnelling electron-induced electroluminescence, we identify libronic progressions on a μeV energy range in spectra of chirally adsorbed phthalocyanines, which are otherwise absent from spectra of symmetrically adsorbed species. Experimentally measured libronic spectra match very well the theoretically calculated libron eigenenergies and peak intensities (Franck-Condon factors) and reveal an unexpected depopulation channel for the zero libron of the excited state that can be effectively controlled by tuning the size of the nanocavity. Our results showcase the possibility of characterizing the dynamics of molecules by their low-energy molecular modes using μeV-resolved tip-enhanced spectroscopy.
△ Less
Submitted 8 March, 2022;
originally announced March 2022.
-
Unfolding AIS transmission behavior for vessel movement modeling on noisy data leveraging machine learning
Authors:
Gabriel Spadon,
Martha D. Ferreira,
Amilcar Soares,
Stan Matwin
Abstract:
The oceans are a source of an impressive mixture of complex data that could be used to uncover relationships yet to be discovered. Such data comes from the oceans and their surface, such as Automatic Identification System (AIS) messages used for tracking vessels' trajectories. AIS messages are transmitted over radio or satellite at ideally periodic time intervals but vary irregularly over time. As…
▽ More
The oceans are a source of an impressive mixture of complex data that could be used to uncover relationships yet to be discovered. Such data comes from the oceans and their surface, such as Automatic Identification System (AIS) messages used for tracking vessels' trajectories. AIS messages are transmitted over radio or satellite at ideally periodic time intervals but vary irregularly over time. As such, this paper aims to model the AIS message transmission behavior through neural networks for forecasting upcoming AIS messages' content from multiple vessels, particularly in a simultaneous approach despite messages' temporal irregularities as outliers. We present a set of experiments comprising multiple algorithms for forecasting tasks with horizon sizes of varying lengths. Deep learning models (e.g., neural networks) revealed themselves to adequately preserve vessels' spatial awareness regardless of temporal irregularity. We show how convolutional layers, feed-forward networks, and recurrent neural networks can improve such tasks by working together. Experimenting with short, medium, and large-sized sequences of messages, our model achieved 36/37/38% of the Relative Percentage Difference - the lower, the better, whereas we observed 92/45/96% on the Elman's RNN, 51/52/40% on the GRU, and 129/98/61% on the LSTM. These results support our model as a driver for improving the prediction of vessel routes when analyzing multiple vessels of diverging types simultaneously under temporally noise data.
△ Less
Submitted 5 July, 2022; v1 submitted 24 February, 2022;
originally announced February 2022.
-
Transformers and the representation of biomedical background knowledge
Authors:
Oskar Wysocki,
Zili Zhou,
Paul O'Regan,
Deborah Ferreira,
Magdalena Wysocka,
Dónal Landers,
André Freitas
Abstract:
Specialised transformers-based models (such as BioBERT and BioMegatron) are adapted for the biomedical domain based on publicly available biomedical corpora. As such, they have the potential to encode large-scale biological knowledge. We investigate the encoding and representation of biological knowledge in these models, and its potential utility to support inference in cancer precision medicine -…
▽ More
Specialised transformers-based models (such as BioBERT and BioMegatron) are adapted for the biomedical domain based on publicly available biomedical corpora. As such, they have the potential to encode large-scale biological knowledge. We investigate the encoding and representation of biological knowledge in these models, and its potential utility to support inference in cancer precision medicine - namely, the interpretation of the clinical significance of genomic alterations. We compare the performance of different transformer baselines; we use probing to determine the consistency of encodings for distinct entities; and we use clustering methods to compare and contrast the internal properties of the embeddings for genes, variants, drugs and diseases. We show that these models do indeed encode biological knowledge, although some of this is lost in fine-tuning for specific tasks. Finally, we analyse how the models behave with regard to biases and imbalances in the dataset.
△ Less
Submitted 18 August, 2022; v1 submitted 4 February, 2022;
originally announced February 2022.
-
Decomposing Natural Logic Inferences in Neural NLI
Authors:
Julia Rozanova,
Deborah Ferreira,
Marco Valentino,
Mokanrarangan Thayaparan,
Andre Freitas
Abstract:
In the interest of interpreting neural NLI models and their reasoning strategies, we carry out a systematic probing study which investigates whether these models capture the crucial semantic features central to natural logic: monotonicity and concept inclusion. Correctly identifying valid inferences in downward-monotone contexts is a known stumbling block for NLI performance, subsuming linguistic…
▽ More
In the interest of interpreting neural NLI models and their reasoning strategies, we carry out a systematic probing study which investigates whether these models capture the crucial semantic features central to natural logic: monotonicity and concept inclusion. Correctly identifying valid inferences in downward-monotone contexts is a known stumbling block for NLI performance, subsuming linguistic phenomena such as negation scope and generalized quantifiers. To understand this difficulty, we emphasize monotonicity as a property of a context and examine the extent to which models capture monotonicity information in the contextual embeddings which are intermediate to their decision making process. Drawing on the recent advancement of the probing paradigm, we compare the presence of monotonicity features across various models. We find that monotonicity information is notably weak in the representations of popular NLI models which achieve high scores on benchmarks, and observe that previous improvements to these models based on fine-tuning strategies have introduced stronger monotonicity features together with their improved performance on challenge sets.
△ Less
Submitted 8 November, 2023; v1 submitted 15 December, 2021;
originally announced December 2021.
-
Quantum correlations, entanglement spectrum and coherence of two-particle reduced density matrix in the Extended Hubbard Model
Authors:
Diego L. B. Ferreira,
Thiago O. Maciel,
Reinaldo O. Vianna,
Fernando Iemini
Abstract:
We study the ground state properties of the one-dimensional extended Hubbard model at half-filling from the perspective of its particle reduced density matrix. We focus on the reduced density matrix of $2$ fermions and perform an analysis of its quantum correlations and coherence along the different phases of the model. Specifically, we study its (i) entanglement entropy, (ii) $\ell_1$ norm of coh…
▽ More
We study the ground state properties of the one-dimensional extended Hubbard model at half-filling from the perspective of its particle reduced density matrix. We focus on the reduced density matrix of $2$ fermions and perform an analysis of its quantum correlations and coherence along the different phases of the model. Specifically, we study its (i) entanglement entropy, (ii) $\ell_1$ norm of coherence, (iii) irreducible two-body cumulant matrix and (iv) entanglement spectrum. Our results show that these different properties are complementary to each other depending on the phase of the system, exhibiting peculiar behaviors such as discontinuities, maximum or minimum values at the quantum phase transitions, thus providing a qualitative view of the phase diagram of the model. In particular, in the superconducting region, we obtain that the entanglement spectrum signals a transition between a dominant singlet (SS) to triplet (TS) pairing ordering in the system. Moreover, from the analysis of the dominant eigenvector in the reduced state, we can relate the SS-TS transition to the spatial separation between the fermion pairs in the two different pairing orderings. The entanglement gap is also able to highlight a transition - at a few-body level - in the groundstate wavefunction, not discussed previously in the literature. While other quantifiers are less sensitive to few-body defects in the wavefunction, the entanglement gap can work as a magnifying glass for these, capturing such small fluctuations.
△ Less
Submitted 15 March, 2022; v1 submitted 29 October, 2021;
originally announced November 2021.
-
Real space visualization of entangled excitonic states in charged molecular assemblies
Authors:
Jiří Doležal,
Sofia Canola,
Prokop Hapala,
Rodrigo C. de Campos Ferreira,
Pablo Merino,
Martin Švec
Abstract:
Entanglement of excitons holds great promise for the future of quantum computing, which would use individual molecular dyes as building blocks of their circuitry. Even though entangled excitonic eigenstates emerging in coupled molecular assemblies can be detected by far-field spectroscopies, access to the individual modes in real space will bring the much needed insight into the photophysics of th…
▽ More
Entanglement of excitons holds great promise for the future of quantum computing, which would use individual molecular dyes as building blocks of their circuitry. Even though entangled excitonic eigenstates emerging in coupled molecular assemblies can be detected by far-field spectroscopies, access to the individual modes in real space will bring the much needed insight into the photophysics of these fascinating quantum phenomena. Here we combine tip-enhanced spectromicroscopy with atomic force microscopy to inspect delocalized single-exciton states of charged molecular assemblies engineered from individual perylenetetracarboxylic dianhydride molecules. Hyperspectral mapping of the eigenstates and comparison with calculated many-body optical transitions reveals a second low-lying excited state of the anion monomers and its role in the exciton entanglement within the assemblies. We also demonstrate control over the coupling by switching the assembly charge states. Our results reveal the possibility of tailoring excitonic properties of organic dye aggregates for advanced functionalities and establish the methodology to address them individually at the nanoscale.
△ Less
Submitted 1 October, 2021;
originally announced October 2021.
-
Grounding Natural Language Instructions: Can Large Language Models Capture Spatial Information?
Authors:
Julia Rozanova,
Deborah Ferreira,
Krishna Dubba,
Weiwei Cheng,
Dell Zhang,
Andre Freitas
Abstract:
Models designed for intelligent process automation are required to be capable of grounding user interface elements. This task of interface element grounding is centred on linking instructions in natural language to their target referents. Even though BERT and similar pre-trained language models have excelled in several NLP tasks, their use has not been widely explored for the UI grounding domain.…
▽ More
Models designed for intelligent process automation are required to be capable of grounding user interface elements. This task of interface element grounding is centred on linking instructions in natural language to their target referents. Even though BERT and similar pre-trained language models have excelled in several NLP tasks, their use has not been widely explored for the UI grounding domain. This work concentrates on testing and probing the grounding abilities of three different transformer-based models: BERT, RoBERTa and LayoutLM. Our primary focus is on these models' spatial reasoning skills, given their importance in this domain. We observe that LayoutLM has a promising advantage for applications in this domain, even though it was created for a different original purpose (representing scanned documents): the learned spatial features appear to be transferable to the UI grounding setting, especially as they demonstrate the ability to discriminate between target directions in natural language instructions.
△ Less
Submitted 17 September, 2021;
originally announced September 2021.
-
Complete stationary spacelike surfaces in an $n$-dimensional Generalized Robertson-Walker spacetime
Authors:
Danilo Ferreira,
Eraldo A. Lima Jr.,
Alfonso Romero
Abstract:
Several uniqueness results for non-compact complete stationary spacelike surfaces in an $n(\geq 3)$-dimensional Generalized Robertson Walker spacetime are obtained. In order to do that, we assume a natural inequality involving the Gauss curvature of the surface, the restrictions of the warping function and the sectional curvature of the fiber to the surface. This inequality gives the parabolicity…
▽ More
Several uniqueness results for non-compact complete stationary spacelike surfaces in an $n(\geq 3)$-dimensional Generalized Robertson Walker spacetime are obtained. In order to do that, we assume a natural inequality involving the Gauss curvature of the surface, the restrictions of the warping function and the sectional curvature of the fiber to the surface. This inequality gives the parabolicity of the surface. Using this property, a distinguished non-negative superharmonic function on the surface is shown to be constant, which implies that the stationary spacelike surface must be totally geodesic. Moreover, non-trivial examples of stationary spacelike surfaces in the four dimensional Lorentz-Minkowski spacetime are exposed to show that each of our assumptions is needed.
△ Less
Submitted 7 September, 2021;
originally announced September 2021.
-
Hybrid Autoregressive Inference for Scalable Multi-hop Explanation Regeneration
Authors:
Marco Valentino,
Mokanarangan Thayaparan,
Deborah Ferreira,
André Freitas
Abstract:
Regenerating natural language explanations in the scientific domain has been proposed as a benchmark to evaluate complex multi-hop and explainable inference. In this context, large language models can achieve state-of-the-art performance when employed as cross-encoder architectures and fine-tuned on human-annotated explanations. However, while much attention has been devoted to the quality of the…
▽ More
Regenerating natural language explanations in the scientific domain has been proposed as a benchmark to evaluate complex multi-hop and explainable inference. In this context, large language models can achieve state-of-the-art performance when employed as cross-encoder architectures and fine-tuned on human-annotated explanations. However, while much attention has been devoted to the quality of the explanations, the problem of performing inference efficiently is largely under-studied. Cross-encoders, in fact, are intrinsically not scalable, possessing limited applicability to real-world scenarios that require inference on massive facts banks. To enable complex multi-hop reasoning at scale, this paper focuses on bi-encoder architectures, investigating the problem of scientific explanation regeneration at the intersection of dense and sparse models. Specifically, we present SCAR (for Scalable Autoregressive Inference), a hybrid framework that iteratively combines a Transformer-based bi-encoder with a sparse model of explanatory power, designed to leverage explicit inference patterns in the explanations. Our experiments demonstrate that the hybrid framework significantly outperforms previous sparse models, achieving performance comparable with that of state-of-the-art cross-encoders while being approx 50 times faster and scalable to corpora of millions of facts. Further analyses on semantic drift and multi-hop question answering reveal that the proposed hybridisation boosts the quality of the most challenging explanations, contributing to improved performance on downstream inference tasks.
△ Less
Submitted 6 December, 2021; v1 submitted 25 July, 2021;
originally announced July 2021.
-
Disentangling Doppler modulation, aberration and the temperature dipole in the CMB
Authors:
Pedro da Silveira Ferreira,
Miguel Quartin
Abstract:
An observer in relative motion to the Cosmic Microwave Background (CMB) rest frame is sensitive to both aberration and Doppler effects. Both effects introduce similar but non-identical off-diagonal couplings in the spherical harmonic coefficients. The CMB temperature dipole may have additional contributions from an intrinsic component, which in turn produces different aberration and Doppler coupli…
▽ More
An observer in relative motion to the Cosmic Microwave Background (CMB) rest frame is sensitive to both aberration and Doppler effects. Both effects introduce similar but non-identical off-diagonal couplings in the spherical harmonic coefficients. The CMB temperature dipole may have additional contributions from an intrinsic component, which in turn produces different aberration and Doppler couplings. Moreover, the standard conversion from intensity measurements into temperature also introduces spurious Doppler-like couplings. In order to learn about the intrinsic dipole it is therefore important to measure both aberration and Doppler couplings in an independent manner while also removing the spurious contributions from unit conversion, which are degenerate with the dipole. Here we present a pipeline to measure the Doppler and aberration signal independently from each other and from the dipole itself. We also consider realistic beaming, noise and mask effects. Our pipeline results in independent and unbiased estimators which have uncertainties only ~20% larger than the simple theoretical expectations. We discuss the achievable precision in each measurement for Planck 2018, and also forecast them for future ground-based experiments with the Simons Observatory and CMB-S4. An alternative pipeline is presented in order to cross-check results and improve robustness.
△ Less
Submitted 22 July, 2021;
originally announced July 2021.
-
Using HPC infrastructures for deep learning applications in fusion research
Authors:
Diogo R. Ferreira
Abstract:
In the fusion community, the use of high performance computing (HPC) has been mostly dominated by heavy-duty plasma simulations, such as those based on particle-in-cell and gyrokinetic codes. However, there has been a growing interest in applying machine learning for knowledge discovery on top of large amounts of experimental data collected from fusion devices. In particular, deep learning models…
▽ More
In the fusion community, the use of high performance computing (HPC) has been mostly dominated by heavy-duty plasma simulations, such as those based on particle-in-cell and gyrokinetic codes. However, there has been a growing interest in applying machine learning for knowledge discovery on top of large amounts of experimental data collected from fusion devices. In particular, deep learning models are especially hungry for accelerated hardware, such as graphics processing units (GPUs), and it is becoming more common to find those models competing for the same resources that are used by simulation codes, which can be either CPU- or GPU-bound. In this paper, we give examples of deep learning models -- such as convolutional neural networks, recurrent neural networks, and variational autoencoders -- that can be used for a variety of tasks, including image processing, disruption prediction, and anomaly detection on diagnostics data. In this context, we discuss how deep learning can go from using a single GPU on a single node to using multiple GPUs across multiple nodes in a large-scale HPC infrastructure.
△ Less
Submitted 10 June, 2021;
originally announced June 2021.
-
Gauge Miura and Backlund Transformations for Generalized $A_n$-KdV Hierarchies
Authors:
J. M. de Carvalho Ferreira,
J. F. Gomes,
G. V. Lobo and. A. H. Zimerman
Abstract:
The construction of Miura and Bäcklund transformations for $A_n$ mKdV and KdV hierarchies are presented in terms of gauge transformations acting upon the zero curvature representation. As in the well known $sl(2)$ case, we derive and relate the equations of motion for the two hierarchies. Moreover, the Miura-gauge transformation is not unique, instead, it is shown to be connected to a set of gener…
▽ More
The construction of Miura and Bäcklund transformations for $A_n$ mKdV and KdV hierarchies are presented in terms of gauge transformations acting upon the zero curvature representation. As in the well known $sl(2)$ case, we derive and relate the equations of motion for the two hierarchies. Moreover, the Miura-gauge transformation is not unique, instead, it is shown to be connected to a set of generators labeled by the exponents of $A_n$ The construction of generalized gauge-Bäcklund transformation for the $A_n$-KdV hierarchy is obtained as a composition of Miura and Bäcklund-gauge transformations for $A_n$-mKdV hierarchy. The zero curvature representation provide a framework which is universal within all flows and generate systematically Bäcklund transformations for the entirely hierarchy.
△ Less
Submitted 17 September, 2021; v1 submitted 1 June, 2021;
originally announced June 2021.
-
Supporting Context Monotonicity Abstractions in Neural NLI Models
Authors:
Julia Rozanova,
Deborah Ferreira,
Mokanarangan Thayaparan,
Marco Valentino,
André Freitas
Abstract:
Natural language contexts display logical regularities with respect to substitutions of related concepts: these are captured in a functional order-theoretic property called monotonicity. For a certain class of NLI problems where the resulting entailment label depends only on the context monotonicity and the relation between the substituted concepts, we build on previous techniques that aim to impr…
▽ More
Natural language contexts display logical regularities with respect to substitutions of related concepts: these are captured in a functional order-theoretic property called monotonicity. For a certain class of NLI problems where the resulting entailment label depends only on the context monotonicity and the relation between the substituted concepts, we build on previous techniques that aim to improve the performance of NLI models for these problems, as consistent performance across both upward and downward monotone contexts still seems difficult to attain even for state-of-the-art models. To this end, we reframe the problem of context monotonicity classification to make it compatible with transformer-based pre-trained NLI models and add this task to the training pipeline. Furthermore, we introduce a sound and complete simplified monotonicity logic formalism which describes our treatment of contexts as abstract units. Using the notions in our formalism, we adapt targeted challenge sets to investigate whether an intermediate context monotonicity classification task can aid NLI models' performance on examples exhibiting monotonicity reasoning.
△ Less
Submitted 17 May, 2021;
originally announced May 2021.
-
Diff-Explainer: Differentiable Convex Optimization for Explainable Multi-hop Inference
Authors:
Mokanarangan Thayaparan,
Marco Valentino,
Deborah Ferreira,
Julia Rozanova,
André Freitas
Abstract:
This paper presents Diff-Explainer, the first hybrid framework for explainable multi-hop inference that integrates explicit constraints with neural architectures through differentiable convex optimization. Specifically, Diff-Explainer allows for the fine-tuning of neural representations within a constrained optimization framework to answer and explain multi-hop questions in natural language. To de…
▽ More
This paper presents Diff-Explainer, the first hybrid framework for explainable multi-hop inference that integrates explicit constraints with neural architectures through differentiable convex optimization. Specifically, Diff-Explainer allows for the fine-tuning of neural representations within a constrained optimization framework to answer and explain multi-hop questions in natural language. To demonstrate the efficacy of the hybrid framework, we combine existing ILP-based solvers for multi-hop Question Answering (QA) with Transformer-based representations. An extensive empirical evaluation on scientific and commonsense QA tasks demonstrates that the integration of explicit constraints in an end-to-end differentiable framework can significantly improve the performance of non-differentiable ILP solvers (8.91% - 13.3%). Moreover, additional analysis reveals that Diff-Explainer is able to achieve strong performance when compared to standalone Transformers and previous multi-hop approaches while still providing structured explanations in support of its predictions.
△ Less
Submitted 22 June, 2022; v1 submitted 7 May, 2021;
originally announced May 2021.
-
Data Envelopment Analysis models with imperfect knowledge of input and output values: An application to Portuguese public hospitals
Authors:
Diogo Cunha Ferreira,
Josè RUi Figueira,
Salvatore Greco,
Rui Marques
Abstract:
Assessing the technical efficiency of a set of observations requires that the associated data composed of inputs and outputs are perfectly known. If this is not the case, then biased estimates will likely be obtained. Data Envelopment Analysis (DEA) is one of the most extensively used mathematical models to estimate efficiency. It constructs a piecewise linear frontier against which all observatio…
▽ More
Assessing the technical efficiency of a set of observations requires that the associated data composed of inputs and outputs are perfectly known. If this is not the case, then biased estimates will likely be obtained. Data Envelopment Analysis (DEA) is one of the most extensively used mathematical models to estimate efficiency. It constructs a piecewise linear frontier against which all observations are compared. Since the frontier is empirically defined, any deviation resulting from low data quality (imperfect knowledge of data or IKD) may lead to efficiency under/overestimation. In this study, we model IKD and, then, apply the so-called Hit \& Run procedure to randomly generate admissible observations, following some prespecified probability density functions. Sets used to model IKD limit the domain of data associated with each observation. Any point belonging to that domain is a candidate to figure out as the observation for efficiency assessment. Hence, this sampling procedure must run a sizable number of times (infinite, in theory) in such a way that it populates the whole sets. The DEA technique is used during the execution of each iteration to estimate bootstrapped efficiency scores for each observation. We use some scenarios to show that the proposed routine can outperform some of the available alternatives. We also explain how efficiency estimations can be used for statistical inference. An empirical case study based on the Portuguese public hospitals database (2013-2016) was addressed using the proposed method.
△ Less
Submitted 20 April, 2021;
originally announced April 2021.
-
pLUTo: Enabling Massively Parallel Computation in DRAM via Lookup Tables
Authors:
João Dinis Ferreira,
Gabriel Falcao,
Juan Gómez-Luna,
Mohammed Alser,
Lois Orosa,
Mohammad Sadrosadati,
Jeremie S. Kim,
Geraldo F. Oliveira,
Taha Shahroodi,
Anant Nori,
Onur Mutlu
Abstract:
Data movement between the main memory and the processor is a key contributor to execution time and energy consumption in memory-intensive applications. This data movement bottleneck can be alleviated using Processing-in-Memory (PiM). One category of PiM is Processing-using-Memory (PuM), in which computation takes place inside the memory array by exploiting intrinsic analog properties of the memory…
▽ More
Data movement between the main memory and the processor is a key contributor to execution time and energy consumption in memory-intensive applications. This data movement bottleneck can be alleviated using Processing-in-Memory (PiM). One category of PiM is Processing-using-Memory (PuM), in which computation takes place inside the memory array by exploiting intrinsic analog properties of the memory device. PuM yields high performance and energy efficiency, but existing PuM techniques support a limited range of operations. As a result, current PuM architectures cannot efficiently perform some complex operations (e.g., multiplication, division, exponentiation) without large increases in chip area and design complexity.
To overcome these limitations of existing PuM architectures, we introduce pLUTo (processing-using-memory with lookup table (LUT) operations), a DRAM-based PuM architecture that leverages the high storage density of DRAM to enable the massively parallel storing and querying of lookup tables (LUTs). The key idea of pLUTo is to replace complex operations with low-cost, bulk memory reads (i.e., LUT queries) instead of relying on complex extra logic.
We evaluate pLUTo across 11 real-world workloads that showcase the limitations of prior PuM approaches and show that our solution outperforms optimized CPU and GPU baselines by an average of 713$\times$ and 1.2$\times$, respectively, while simultaneously reducing energy consumption by an average of 1855$\times$ and 39.5$\times$. Across these workloads, pLUTo outperforms state-of-the-art PiM architectures by an average of 18.3$\times$. We also show that different versions of pLUTo provide different levels of flexibility and performance at different additional DRAM area overheads (between 10.2% and 23.1%). pLUTo's source code is openly and fully available at https://github.com/CMU-SAFARI/pLUTo.
△ Less
Submitted 3 October, 2022; v1 submitted 15 April, 2021;
originally announced April 2021.
-
Does My Representation Capture X? Probe-Ably
Authors:
Deborah Ferreira,
Julia Rozanova,
Mokanarangan Thayaparan,
Marco Valentino,
André Freitas
Abstract:
Probing (or diagnostic classification) has become a popular strategy for investigating whether a given set of intermediate features is present in the representations of neural models. Probing studies may have misleading results, but various recent works have suggested more reliable methodologies that compensate for the possible pitfalls of probing. However, these best practices are numerous and fa…
▽ More
Probing (or diagnostic classification) has become a popular strategy for investigating whether a given set of intermediate features is present in the representations of neural models. Probing studies may have misleading results, but various recent works have suggested more reliable methodologies that compensate for the possible pitfalls of probing. However, these best practices are numerous and fast-evolving. To simplify the process of running a set of probing experiments in line with suggested methodologies, we introduce Probe-Ably: an extendable probing framework which supports and automates the application of probing methods to the user's inputs.
△ Less
Submitted 30 September, 2021; v1 submitted 12 April, 2021;
originally announced April 2021.
-
Active learning for medical code assignment
Authors:
Martha Dais Ferreira,
Michal Malyska,
Nicola Sahar,
Riccardo Miotto,
Fernando Paulovich,
Evangelos Milios
Abstract:
Machine Learning (ML) is widely used to automatically extract meaningful information from Electronic Health Records (EHR) to support operational, clinical, and financial decision-making. However, ML models require a large number of annotated examples to provide satisfactory results, which is not possible in most healthcare scenarios due to the high cost of clinician-labeled data. Active Learning (…
▽ More
Machine Learning (ML) is widely used to automatically extract meaningful information from Electronic Health Records (EHR) to support operational, clinical, and financial decision-making. However, ML models require a large number of annotated examples to provide satisfactory results, which is not possible in most healthcare scenarios due to the high cost of clinician-labeled data. Active Learning (AL) is a process of selecting the most informative instances to be labeled by an expert to further train a supervised algorithm. We demonstrate the effectiveness of AL in multi-label text classification in the clinical domain. In this context, we apply a set of well-known AL methods to help automatically assign ICD-9 codes on the MIMIC-III dataset. Our results show that the selection of informative instances provides satisfactory classification with a significantly reduced training set (8.3\% of the total instances). We conclude that AL methods can significantly reduce the manual annotation cost while preserving model performance.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
-
Determination of the critical exponents in dissipative phase transitions: Coherent anomaly approach
Authors:
Jiasen Jin,
Wen-Bin He,
Fernando Iemini,
Diego Ferreira,
Ying-Dan Wang,
Stefano Chesi,
Rosario Fazio
Abstract:
We propose a generalization of the coherent anomaly method to extract the critical exponents of a phase transition occurring in the steady-state of an open quantum many-body system. The method, originally developed by Suzuki [J. Phys. Soc. Jpn. {\bf 55}, 4205 (1986)] for equilibrium systems, is based on the scaling properties of the singularity in the response functions determined through cluster…
▽ More
We propose a generalization of the coherent anomaly method to extract the critical exponents of a phase transition occurring in the steady-state of an open quantum many-body system. The method, originally developed by Suzuki [J. Phys. Soc. Jpn. {\bf 55}, 4205 (1986)] for equilibrium systems, is based on the scaling properties of the singularity in the response functions determined through cluster mean-field calculations. We apply this method to the dissipative transverse-field Ising model and the dissipative XYZ model in two dimensions obtaining convergent results already with small clusters.
△ Less
Submitted 1 December, 2021; v1 submitted 12 March, 2021;
originally announced March 2021.
-
Pressureless stationary solutions in a Newton-Yukawa gravity model
Authors:
T. D. Ferreira,
J. Novo,
N. A. Silva,
A. Guerreiro,
O. Bertolami
Abstract:
Non-minimally coupled curvature-matter gravity models are an interesting alternative to the Theory of General Relativity and to address the dark energy and dark matter cosmological problems. These models have complex field equations that prevent a full analytical study. Nonetheless, in a particular limit, the behavior of a matter distribution can, in these models, be described by a Schrödinger-New…
▽ More
Non-minimally coupled curvature-matter gravity models are an interesting alternative to the Theory of General Relativity and to address the dark energy and dark matter cosmological problems. These models have complex field equations that prevent a full analytical study. Nonetheless, in a particular limit, the behavior of a matter distribution can, in these models, be described by a Schrödinger-Newton system. In nonlinear optics, the Schrödinger-Newton system can be used to tackle a wide variety of relevant situations and several numerical tools have been developed for this purpose. Interestingly, these methods can be adapted to study General Relativity problems as well as its extensions. In this work, we report the use of these numerical tools to study a particular non-minimal coupling model that introduces two new potentials, an attractive Yukawa potential and a repulsive potential proportional to the energy density. Using the imaginary-time propagation method we have shown that stationary solutions arise even at low energy density regimes.
△ Less
Submitted 3 March, 2021;
originally announced March 2021.
-
Internal structure of cuscuton Bloch brane
Authors:
D. Bazeia,
D. A. Ferreira,
M. A. Marques
Abstract:
This work deals with thick branes in bulk with a single extra dimension modeled by a two-field configuration. We first consider the inclusion of the cuscuton to also control the dynamics of one of the fields and investigate how it contributes to change the internal structure of the configuration in two distinct situations, with the standard and the asymmetric Bloch brane. The results show that the…
▽ More
This work deals with thick branes in bulk with a single extra dimension modeled by a two-field configuration. We first consider the inclusion of the cuscuton to also control the dynamics of one of the fields and investigate how it contributes to change the internal structure of the configuration in two distinct situations, with the standard and the asymmetric Bloch brane. The results show that the branes get a rich internal structure, with the geometry presenting a novel behavior which is also governed by the parameter that controls the strength of the cuscuton term. We also study the case where the dynamics of one of the two fields is only described by the cuscuton. All the models support analytical solutions which are stable against fluctuations in the metric, and the main results unveil significant modifications in the warp factor and energy density of the branes.
△ Less
Submitted 11 July, 2021; v1 submitted 13 February, 2021;
originally announced February 2021.