-
A Cyberpunk 2077 perspective on the prediction and understanding of future technology
Authors:
Miguel Bordallo López,
Constantino Álvarez Casado
Abstract:
Science fiction and video games have long served as valuable tools for envisioning and inspiring future technological advancements. This position paper investigates the potential of Cyberpunk 2077, a popular science fiction video game, to shed light on the future of technology, particularly in the areas of artificial intelligence, edge computing, augmented humans, and biotechnology. By analyzing t…
▽ More
Science fiction and video games have long served as valuable tools for envisioning and inspiring future technological advancements. This position paper investigates the potential of Cyberpunk 2077, a popular science fiction video game, to shed light on the future of technology, particularly in the areas of artificial intelligence, edge computing, augmented humans, and biotechnology. By analyzing the game's portrayal of these technologies and their implications, we aim to understand the possibilities and challenges that lie ahead. We discuss key themes such as neurolink and brain-computer interfaces, multimodal recording systems, virtual and simulated reality, digital representation of the physical world, augmented and AI-based home appliances, smart clothing, and autonomous vehicles. The paper highlights the importance of designing technologies that can coexist with existing preferences and systems, considering the uneven adoption of new technologies. Through this exploration, we emphasize the potential of science fiction and video games like Cyberpunk 2077 as tools for guiding future technological advancements and sha** public perception of emerging innovations.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
First light of VLT/HiRISE: High-resolution spectroscopy of young giant exoplanets
Authors:
A. Vigan,
M. El Morsy,
M. Lopez,
G. P. P. L. Otten,
J. Garcia,
J. Costes,
E. Muslimov,
A. Viret,
Y. Charles,
G. Zins,
G. Murray,
A. Costille,
J. Paufique,
U. Seemann,
M. Houllé,
H. Anwand-Heerwart,
M. Phillips,
A. Abinanti,
P. Balard,
I. Baraffe,
J. -A. Benedetti,
P. Blanchard,
L. Blanco,
J. -L. Beuzit,
E. Choquet
, et al. (24 additional authors not shown)
Abstract:
A major endeavor of this decade is the direct characterization of young giant exoplanets at high spectral resolution to determine the composition of their atmosphere and infer their formation processes and evolution. Such a goal represents a major challenge owing to their small angular separation and luminosity contrast with respect to their parent stars. Instead of designing and implementing comp…
▽ More
A major endeavor of this decade is the direct characterization of young giant exoplanets at high spectral resolution to determine the composition of their atmosphere and infer their formation processes and evolution. Such a goal represents a major challenge owing to their small angular separation and luminosity contrast with respect to their parent stars. Instead of designing and implementing completely new facilities, it has been proposed to leverage the capabilities of existing instruments that offer either high contrast imaging or high dispersion spectroscopy, by coupling them using optical fibers. In this work we present the implementation and first on-sky results of the HiRISE instrument at the very large telescope (VLT), which combines the exoplanet imager SPHERE with the recently upgraded high resolution spectrograph CRIRES using single-mode fibers. The goal of HiRISE is to enable the characterization of known companions in the $H$ band, at a spectral resolution of the order of $R = λ/Δλ= 100\,000$, in a few hours of observing time. We present the main design choices and the technical implementation of the system, which is constituted of three major parts: the fiber injection module inside of SPHERE, the fiber bundle around the telescope, and the fiber extraction module at the entrance of CRIRES. We also detail the specific calibrations required for HiRISE and the operations of the instrument for science observations. Finally, we detail the performance of the system in terms of astrometry, temporal stability, optical aberrations, and transmission, for which we report a peak value of $\sim$3.9% based on sky measurements in median observing conditions. Finally, we report on the first astrophysical detection of HiRISE to illustrate its potential.
△ Less
Submitted 22 November, 2023; v1 submitted 21 September, 2023;
originally announced September 2023.
-
Facial Kinship Verification from remote photoplethysmography
Authors:
Xiaoting Wu,
Xiaoyi Feng,
Constantino Álvarez Casado,
Lili Liu,
Miguel Bordallo López
Abstract:
Facial Kinship Verification (FKV) aims at automatically determining whether two subjects have a kinship relation based on human faces. It has potential applications in finding missing children and social media analysis. Traditional FKV faces challenges as it is vulnerable to spoof attacks and raises privacy issues. In this paper, we explore for the first time the FKV with vital bio-signals, focusi…
▽ More
Facial Kinship Verification (FKV) aims at automatically determining whether two subjects have a kinship relation based on human faces. It has potential applications in finding missing children and social media analysis. Traditional FKV faces challenges as it is vulnerable to spoof attacks and raises privacy issues. In this paper, we explore for the first time the FKV with vital bio-signals, focusing on remote Photoplethysmography (rPPG). rPPG signals are extracted from facial videos, resulting in a one-dimensional signal that measures the changes in visible light reflection emitted to and detected from the skin caused by the heartbeat. Specifically, in this paper, we employed a straightforward one-dimensional Convolutional Neural Network (1DCNN) with a 1DCNN-Attention module and kinship contrastive loss to learn the kin similarity from rPPGs. The network takes multiple rPPG signals extracted from various facial Regions of Interest (ROIs) as inputs. Additionally, the 1DCNN attention module is designed to learn and capture the discriminative kin features from feature embeddings. Finally, we demonstrate the feasibility of rPPG to detect kinship with the experiment evaluation on the UvANEMO Smile Database from different kin relations.
△ Less
Submitted 14 March, 2024; v1 submitted 14 September, 2023;
originally announced September 2023.
-
Respiratory Disease Classification and Biometric Analysis Using Biosignals from Digital Stethoscopes
Authors:
Constantino Álvarez Casado,
Manuel Lage Cañellas,
Matteo Pedone,
Xiaoting Wu,
Le Nguyen,
Miguel Bordallo López
Abstract:
Respiratory diseases remain a leading cause of mortality worldwide, highlighting the need for faster and more accurate diagnostic tools. This work presents a novel approach leveraging digital stethoscope technology for automatic respiratory disease classification and biometric analysis. Our approach has the potential to significantly enhance traditional auscultation practices. By leveraging one of…
▽ More
Respiratory diseases remain a leading cause of mortality worldwide, highlighting the need for faster and more accurate diagnostic tools. This work presents a novel approach leveraging digital stethoscope technology for automatic respiratory disease classification and biometric analysis. Our approach has the potential to significantly enhance traditional auscultation practices. By leveraging one of the largest publicly available medical database of respiratory sounds, we train machine learning models to classify various respiratory health conditions. Our method differs from conventional methods by using Empirical Mode Decomposition (EMD) and spectral analysis techniques to isolate clinically relevant biosignals embedded within acoustic data captured by digital stethoscopes. This approach focuses on information closely tied to cardiovascular and respiratory patterns within the acoustic data. Spectral analysis and filtering techniques isolate Intrinsic Mode Functions (IMFs) strongly correlated with these physiological phenomena. These biosignals undergo a comprehensive feature extraction process for predictive modeling. These features then serve as input to train several machine learning models for both classification and regression tasks. Our approach achieves high accuracy in both binary classification (89% balanced accuracy for healthy vs. diseased) and multi-class classification (72% balanced accuracy for specific diseases like pneumonia and COPD). For the first time, this work introduces regression models capable of estimating age and body mass index (BMI) based solely on acoustic data, as well as a model for sex classification. Our findings underscore the potential of intelligent digital stethoscopes to significantly enhance assistive and remote diagnostic capabilities, contributing to advancements in digital health, telehealth, and remote patient monitoring.
△ Less
Submitted 16 March, 2024; v1 submitted 12 September, 2023;
originally announced September 2023.
-
Estimating exercise-induced fatigue from thermal facial images
Authors:
Manuel Lage Cañellas,
Constantino Álvarez Casado,
Le Nguyen,
Miguel Bordallo López
Abstract:
Exercise-induced fatigue resulting from physical activity can be an early indicator of overtraining, illness, or other health issues. In this article, we present an automated method for estimating exercise-induced fatigue levels through the use of thermal imaging and facial analysis techniques utilizing deep learning models. Leveraging a novel dataset comprising over 400,000 thermal facial images…
▽ More
Exercise-induced fatigue resulting from physical activity can be an early indicator of overtraining, illness, or other health issues. In this article, we present an automated method for estimating exercise-induced fatigue levels through the use of thermal imaging and facial analysis techniques utilizing deep learning models. Leveraging a novel dataset comprising over 400,000 thermal facial images of rested and fatigued users, our results suggest that exercise-induced fatigue levels could be predicted with only one static thermal frame with an average error smaller than 15\%. The results emphasize the viability of using thermal imaging in conjunction with deep learning for reliable exercise-induced fatigue estimation.
△ Less
Submitted 12 September, 2023;
originally announced September 2023.
-
Jet quenching in anisotropic flowing matter
Authors:
Matvey V. Kuzmin,
Xoán Mayo López,
Jared Reiten,
Andrey V. Sadofyev
Abstract:
We study the interplay between the flow and hydrodynamic gradients in jet quenching at first order in opacity. We find that the mixed flow-gradient contributions in jet quenching are enhanced by the medium length, and survive in the eikonal limit, dominating over other medium evolution effects. The resulting modification to the jet quenching parameter and energy loss rate can be substantial, leadi…
▽ More
We study the interplay between the flow and hydrodynamic gradients in jet quenching at first order in opacity. We find that the mixed flow-gradient contributions in jet quenching are enhanced by the medium length, and survive in the eikonal limit, dominating over other medium evolution effects. The resulting modification to the jet quenching parameter and energy loss rate can be substantial, leading to ample phenomenological implications. We also compute the leading corrections to the jet broadening due to the flow velocity gradients, and consider the leading gradient effects in the medium-induced branching for general kinematics, extending the recent considerations of jets in inhomogeneous media. These results can be straightforwardly coupled to matter simulations, providing new opportunities for jet tomography in heavy-ion collisions.
△ Less
Submitted 5 February, 2024; v1 submitted 1 September, 2023;
originally announced September 2023.
-
Gravitational-Wave Searches for Cosmic String Cusps in Einstein Telescope Data using Deep Learning
Authors:
Quirijn Meijer,
Melissa Lopez,
Daichi Tsuna,
Sarah Caudill
Abstract:
Gravitational-wave searches for cosmic strings are currently hindered by the presence of detector glitches, some classes of which strongly resemble cosmic string signals. This confusion greatly reduces the efficiency of searches. A deep-learning model is proposed for the task of distinguishing between gravitational wave signals from cosmic string cusps and simulated blip glitches in design sensiti…
▽ More
Gravitational-wave searches for cosmic strings are currently hindered by the presence of detector glitches, some classes of which strongly resemble cosmic string signals. This confusion greatly reduces the efficiency of searches. A deep-learning model is proposed for the task of distinguishing between gravitational wave signals from cosmic string cusps and simulated blip glitches in design sensitivity data from the future Einstein Telescope. The model is an ensemble consisting of three convolutional neural networks, achieving an accuracy of 79%, a true positive rate of 76%, and a false positive rate of 18%. This marks the first time convolutional neural networks have been trained on a realistic population of Einstein Telescope glitches. On a dataset consisting of signals and glitches, the model is shown to outperform matched filtering, specifically being better at rejecting glitches. The behaviour of the model is interpreted through the application of several methods, including a novel technique called waveform surgery, used to quantify the importance of waveform sections to a classification model. In addition, a method to visualise convolutional neural network activations for one-dimensional time series is proposed and used. These analyses help further the understanding of the morphological differences between cosmic string cusp signals and blip glitches. Because of its classification speed in the order of magnitude of milliseconds, the deep-learning model is suitable for future use as part of a real-time detection pipeline. The deep-learning model is transverse and can therefore potentially be applied to other transient searches.
△ Less
Submitted 22 January, 2024; v1 submitted 23 August, 2023;
originally announced August 2023.
-
FR2 5G Networks for Industrial Scenarios: Experimental Characterization and Beam Management Procedures in Operational Conditions
Authors:
Alejandro Ramírez-Arroyo,
Melisa López,
Ignacio Rodríguez,
Troels B. Sørensen,
Samantha Caporal del Barrio,
Pablo Padilla,
Juan F. Valenzuela-Valdés,
Preben Mogensen
Abstract:
Industrial environments constitute a challenge in terms of radio propagation due to the presence of machinery and the mobility of the different agents, especially at mmWave bands. This paper presents an experimental evaluation of a FR2 5G network deployed in an operational factory scenario at 26 GHz. The experimental characterization, performed with autonomous mobile robots that self-navigate the…
▽ More
Industrial environments constitute a challenge in terms of radio propagation due to the presence of machinery and the mobility of the different agents, especially at mmWave bands. This paper presents an experimental evaluation of a FR2 5G network deployed in an operational factory scenario at 26 GHz. The experimental characterization, performed with autonomous mobile robots that self-navigate the industrial lab, leads to the analysis of the received power along the factory and the evaluation of reference path gain models. The proposed assessment deeply analyzes the physical layer of the communication network under operational conditions. Thus, two different network configurations are assessed by measuring the power received in the entire factory, providing a comparison between deployments. Additionally, beam management procedures, such as beam recovery, beam swee** or beam switching, are analyzed since they are crucial in environments where mobile agents are involved. They aim for a zero interruption approach based on reliable communications. The results analysis shows that beam recovery procedures can perform a beam switching to an alternative serving beam with power losses of less than 1.6 dB on average. Beam swee** analysis demonstrates the prevalence of the direct component in Line-of-Sight conditions despite the strong scattering component and large-scale fading in the environment.
△ Less
Submitted 8 May, 2024; v1 submitted 17 August, 2023;
originally announced August 2023.
-
Applying User Experience and User-Centered Design Software Processes in Undergraduate Mobile Application Development Teaching
Authors:
Manuel Ignacio Castillo López,
Ana Libia Eslava Cervantes,
Gustavo de la Cruz Martínez
Abstract:
Agile methods in undergraduate courses have been explored by various authors looking to close the gap between industry and professional profiles. We have structured an Android application development course based on a tailored agile process for development of educational software tools. This process is based on both Scrum and Extreme Programming in combination with User Experience (UX) and User-Ce…
▽ More
Agile methods in undergraduate courses have been explored by various authors looking to close the gap between industry and professional profiles. We have structured an Android application development course based on a tailored agile process for development of educational software tools. This process is based on both Scrum and Extreme Programming in combination with User Experience (UX) and User-Centered Design (UCD) approaches. The course is executed in two phases: the first half of the course's semester presents theory on agile and mobile applications development, the latter half is managed as a workshop where students develop for an actual client. The introduction of UX and UCD exploiting the close relationship with stakeholders expected from an agile process can enhance Quality in Use features. Since 2019 two of the projects have been extended in agreement between the client and students. Students, clients and users have found value in the generated products.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
The homotopy type of the PL cobordism category. II
Authors:
Mauricio Gomez Lopez
Abstract:
In this article, we prove the PL analogue of the theorem of Galatius, Madsen, Tillmann, and Weiss which describes the homotopy type of the smooth cobordism category. More specifically, we introduce the PL Madsen-Tillmann spectrum $\mathbf{MT}PL(d)$ and prove that there is a weak homotopy equivalence of the form $B\mathsf{Cob}^{\mathrm{PL}}_d \simeq Ω^{\infty-1}\mathbf{MT}PL(d)$. We also discuss ho…
▽ More
In this article, we prove the PL analogue of the theorem of Galatius, Madsen, Tillmann, and Weiss which describes the homotopy type of the smooth cobordism category. More specifically, we introduce the PL Madsen-Tillmann spectrum $\mathbf{MT}PL(d)$ and prove that there is a weak homotopy equivalence of the form $B\mathsf{Cob}^{\mathrm{PL}}_d \simeq Ω^{\infty-1}\mathbf{MT}PL(d)$. We also discuss how to adjust the methods of this paper to obtain the topological version of our main result.
△ Less
Submitted 5 June, 2024; v1 submitted 8 August, 2023;
originally announced August 2023.
-
Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input
Authors:
Neelanjana Pal,
Diego Manzanas Lopez,
Taylor T Johnson
Abstract:
Data-driven, neural network (NN) based anomaly detection and predictive maintenance are emerging research areas. NN-based analytics of time-series data offer valuable insights into past behaviors and estimates of critical parameters like remaining useful life (RUL) of equipment and state-of-charge (SOC) of batteries. However, input time series data can be exposed to intentional or unintentional no…
▽ More
Data-driven, neural network (NN) based anomaly detection and predictive maintenance are emerging research areas. NN-based analytics of time-series data offer valuable insights into past behaviors and estimates of critical parameters like remaining useful life (RUL) of equipment and state-of-charge (SOC) of batteries. However, input time series data can be exposed to intentional or unintentional noise when passing through sensors, necessitating robust validation and verification of these NNs. This paper presents a case study of the robustness verification approach for time series regression NNs (TSRegNN) using set-based formal methods. It focuses on utilizing variable-length input data to streamline input manipulation and enhance network architecture generalizability. The method is applied to two data sets in the Prognostics and Health Management (PHM) application areas: (1) SOC estimation of a Lithium-ion battery and (2) RUL estimation of a turbine engine. The NNs' robustness is checked using star-based reachability analysis, and several performance measures evaluate the effect of bounded perturbations in the input on network outputs, i.e., future outcomes. Overall, the paper offers a comprehensive case study for validating and verifying NN-based analytics of time-series data in real-world applications, emphasizing the importance of robustness testing for accurate and reliable predictions, especially considering the impact of noise on future outcomes.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Emergence of Spinon Fermi Arcs in the Weyl-Mott Metal-Insulator Transition
Authors:
Manuel Fernández López,
Iñaki García-Elcano,
Jorge Bravo-Abad,
Jaime Merino
Abstract:
The Weyl-Mott insulator (WMI) has been postulated as a novel type of correlated insulator with non-trivial topological properties. We introduce a minimal microscopic model that captures generic features of the WMI transition in Weyl semimetals. The model hosts a bulk Mott insulator with spinon Fermi arcs on its surfaces which we identify as a WMI. At finite temperatures, we find an intermediate We…
▽ More
The Weyl-Mott insulator (WMI) has been postulated as a novel type of correlated insulator with non-trivial topological properties. We introduce a minimal microscopic model that captures generic features of the WMI transition in Weyl semimetals. The model hosts a bulk Mott insulator with spinon Fermi arcs on its surfaces which we identify as a WMI. At finite temperatures, we find an intermediate Weyl semimetallic phase with no quasiparticles which is consistent with the bad semimetallic behavior observed in pyrochlore iridates, A2Ir2O7, close to the Mott transition. Spinon Fermi arcs lead to a suppression of the bulk Mott gap at the surface of the WMI, in contrast to the gap enhancement found in conventional Mott insulators, which can be detected through angular resolved photoemission spectroscopy (ARPES).
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
Discriminatory or Samaritan -- which AI is needed for humanity? An Evolutionary Game Theory Analysis of Hybrid Human-AI populations
Authors:
Tim Booker,
Manuel Miranda,
Jesús A. Moreno López,
José María Ramos Fernández,
Max Reddel,
Valeria Widler,
Filippo Zimmaro,
Alberto Antonioni,
The Anh Han
Abstract:
As artificial intelligence (AI) systems are increasingly embedded in our lives, their presence leads to interactions that shape our behaviour, decision-making, and social interactions. Existing theoretical research has primarily focused on human-to-human interactions, overlooking the unique dynamics triggered by the presence of AI. In this paper, resorting to methods from evolutionary game theory,…
▽ More
As artificial intelligence (AI) systems are increasingly embedded in our lives, their presence leads to interactions that shape our behaviour, decision-making, and social interactions. Existing theoretical research has primarily focused on human-to-human interactions, overlooking the unique dynamics triggered by the presence of AI. In this paper, resorting to methods from evolutionary game theory, we study how different forms of AI influence the evolution of cooperation in a human population playing the one-shot Prisoner's Dilemma game in both well-mixed and structured populations. We found that Samaritan AI agents that help everyone unconditionally, including defectors, can promote higher levels of cooperation in humans than Discriminatory AI that only help those considered worthy/cooperative, especially in slow-moving societies where change is viewed with caution or resistance (small intensities of selection). Intuitively, in fast-moving societies (high intensities of selection), Discriminatory AIs promote higher levels of cooperation than Samaritan AIs.
△ Less
Submitted 3 July, 2023; v1 submitted 30 June, 2023;
originally announced June 2023.
-
Optimal dividends and capital injection: A general Lévy model with extensions to regime-switching models
Authors:
Dante Mata López,
Kei Noba,
José-Luis Pérez,
Kazutoshi Yamazaki
Abstract:
This paper studies a general Lévy process model of the bail-out optimal dividend problem with an exponential time horizon, and further extends it to the regime-switching model. We first show the optimality of a double barrier strategy in the single-regime setting with a concave terminal payoff function. This is then applied to show the optimality of a Markov-modulated double barrier strategy in th…
▽ More
This paper studies a general Lévy process model of the bail-out optimal dividend problem with an exponential time horizon, and further extends it to the regime-switching model. We first show the optimality of a double barrier strategy in the single-regime setting with a concave terminal payoff function. This is then applied to show the optimality of a Markov-modulated double barrier strategy in the regime-switching model via contraction map** arguments. We solve these for a general Lévy model with both positive and negative jumps, greatly generalizing the existing results on spectrally one-sided models.
△ Less
Submitted 21 June, 2023;
originally announced June 2023.
-
Mathematical model of mating probability and fertilized egg production in helminth parasites
Authors:
Gonzalo Maximiliano Lopez,
Juan Pablo Aparicio
Abstract:
In the modeling of parasite transmission dynamics, understanding the reproductive characteristics of these parasites is crucial.
This paper presents a mathematical model that explores the reproductive behavior of dioecious parasites and its impact on transmission dynamics.
Specifically, the study focuses on the investigation of various reproductive variables such as the mating probability and…
▽ More
In the modeling of parasite transmission dynamics, understanding the reproductive characteristics of these parasites is crucial.
This paper presents a mathematical model that explores the reproductive behavior of dioecious parasites and its impact on transmission dynamics.
Specifically, the study focuses on the investigation of various reproductive variables such as the mating probability and the fertilized egg production in the case of helminth parasites.
While previous studies have commonly assumed Poisson and negative binomial distributions to describe the distribution of parasites among hosts, this study adopts an arbitrary distribution model and examines its consequences on some reproductive variables. These variables include mean number of fertile females, mean egg production, mating probability and mean fertilized egg production.
In addition, the study of these variables takes into account the sex distribution of the parasites and whether male and female parasites are considered to be distributed together or separately.
We show that the models obtained for the case of male and female parasites distributed separately in the hosts are ecologically unrealistic.
We present the results obtained for some specific models and we tested the models obtained in this work using Monte Carlo simulations.
△ Less
Submitted 27 May, 2023;
originally announced May 2023.
-
Salt-rejecting continuous passive solar thermal desalination via convective flow and thin-film condensation
Authors:
Patrick I. Babb,
S. Farzad Ahmadi,
Forrest Brent,
Ruby Gans,
Mabel Aceves Lopez,
Jiuxu Song,
Qixian Wang,
Brandon Zou,
Xiangying Zuo,
Amanda Strom,
Jaya Nolt,
Tyler Susko,
Kirk Fields,
Yangying Zhu
Abstract:
Passive solar desalination is an emerging low-cost technology for fresh water production. State of the art desalinators typically evaporate water using wicking structures to achieve high solar-to-vapor efficiency by minimizing heat loss. However, wicking structures cannot reject salt continuously which limits the operating duration of the desalinators to several hours before the devices are turned…
▽ More
Passive solar desalination is an emerging low-cost technology for fresh water production. State of the art desalinators typically evaporate water using wicking structures to achieve high solar-to-vapor efficiency by minimizing heat loss. However, wicking structures cannot reject salt continuously which limits the operating duration of the desalinators to several hours before the devices are turned off to reject salt. While significant research has focused on develo** efficient evaporators to achieve high solar-to-vapor efficiency, inefficient condensers have become the bottleneck for the overall solar-to-water efficiency. To overcome these challenges, we designed a passive inverted single stage solar membrane desalinator that achieves continuous desalination and salt rejection. By flowing salt water on a radiative absorbing, porous, hydrophobic evaporator membrane using gravity, salt continuously diffuses away from the membrane while allowing heated water vapor to transport to and condense on a cooler microporous membrane below. Our design utilizes thin-film condensation on a microporous membrane which offers ample three-phase contact region to enhance condensation phase change heat transfer. By condensing within the microporous membrane, we reduce the gap distance between the condenser and evaporator membranes, which reduces the vapor transport resistance. We experimentally demonstrated a record-high continuous desalination and salt rejection test duration of 7 days under one-sun. Despite an increased convection heat loss necessary for salt rejection on the evaporator, our desalinator still achieved a water-collection rate of 0.487 $kg$ $m^{-2}h^{-1}$, which corresponds to a 32.2% solar-to-water efficiency. This work signifies an improvement in the robustness of current state of the art desalinators and presents a new architecture to further optimize passive solar desalinators.
△ Less
Submitted 16 May, 2023;
originally announced May 2023.
-
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks
Authors:
Sara Riva,
Jean-Marie Lagniez,
Gustavo Magaña López,
Loïc Paulevé
Abstract:
Minimal trap spaces (MTSs) capture subspaces in which the Boolean dynamics is trapped, whatever the update mode. They correspond to the attractors of the most permissive mode. Due to their versatility, the computation of MTSs has recently gained traction, essentially by focusing on their enumeration. In this paper, we address the logical reasoning on universal properties of MTSs in the scope of tw…
▽ More
Minimal trap spaces (MTSs) capture subspaces in which the Boolean dynamics is trapped, whatever the update mode. They correspond to the attractors of the most permissive mode. Due to their versatility, the computation of MTSs has recently gained traction, essentially by focusing on their enumeration. In this paper, we address the logical reasoning on universal properties of MTSs in the scope of two problems: the reprogramming of Boolean networks for identifying the permanent freeze of Boolean variables that enforce a given property on all the MTSs, and the synthesis of Boolean networks from universal properties on their MTSs. Both problems reduce to solving the satisfiability of quantified propositional logic formula with 3 levels of quantifiers ($\exists\forall\exists$). In this paper, we introduce a Counter-Example Guided Refinement Abstraction (CEGAR) to efficiently solve these problems by coupling the resolution of two simpler formulas. We provide a prototype relying on Answer-Set Programming for each formula and show its tractability on a wide range of Boolean models of biological networks.
△ Less
Submitted 20 July, 2023; v1 submitted 3 May, 2023;
originally announced May 2023.
-
CARLA-BSP: a simulated dataset with pedestrians
Authors:
Maciej Wielgosz,
Antonio M. López,
Muhammad Naveed Riaz
Abstract:
We present a sample dataset featuring pedestrians generated using the ARCANE framework, a new framework for generating datasets in CARLA (0.9.13). We provide use cases for pedestrian detection, autoencoding, pose estimation, and pose lifting. We also showcase baseline results. For more information, visit https://project-arcane.eu/.
We present a sample dataset featuring pedestrians generated using the ARCANE framework, a new framework for generating datasets in CARLA (0.9.13). We provide use cases for pedestrian detection, autoencoding, pose estimation, and pose lifting. We also showcase baseline results. For more information, visit https://project-arcane.eu/.
△ Less
Submitted 29 April, 2023;
originally announced May 2023.
-
Non-Contact Heart Rate Measurement from Deteriorated Videos
Authors:
Nhi Nguyen,
Le Nguyen,
Constantino Álvarez Casado,
Olli Silvén,
Miguel Bordallo López
Abstract:
Remote photoplethysmography (rPPG) offers a state-of-the-art, non-contact methodology for estimating human pulse by analyzing facial videos. Despite its potential, rPPG methods can be susceptible to various artifacts, such as noise, occlusions, and other obstructions caused by sunglasses, masks, or even involuntary facial contact, such as individuals inadvertently touching their faces. In this stu…
▽ More
Remote photoplethysmography (rPPG) offers a state-of-the-art, non-contact methodology for estimating human pulse by analyzing facial videos. Despite its potential, rPPG methods can be susceptible to various artifacts, such as noise, occlusions, and other obstructions caused by sunglasses, masks, or even involuntary facial contact, such as individuals inadvertently touching their faces. In this study, we apply image processing transformations to intentionally degrade video quality, mimicking these challenging conditions, and subsequently evaluate the performance of both non-learning and learning-based rPPG methods on the deteriorated data. Our results reveal a significant decrease in accuracy in the presence of these artifacts, prompting us to propose the application of restoration techniques, such as denoising and inpainting, to improve heart-rate estimation outcomes. By addressing these challenging conditions and occlusion artifacts, our approach aims to make rPPG methods more robust and adaptable to real-world situations. To assess the effectiveness of our proposed methods, we undertake comprehensive experiments on three publicly available datasets, encompassing a wide range of scenarios and artifact types. Our findings underscore the potential to construct a robust rPPG system by employing an optimal combination of restoration algorithms and rPPG techniques. Moreover, our study contributes to the advancement of privacy-conscious rPPG methodologies, thereby bolstering the overall utility and impact of this innovative technology in the field of remote heart-rate estimation under realistic and diverse conditions.
△ Less
Submitted 28 April, 2023;
originally announced April 2023.
-
MAMAF-Net: Motion-Aware and Multi-Attention Fusion Network for Stroke Diagnosis
Authors:
Aysen Degerli,
Pekka Jakala,
Juha Pajula,
Milla Immonen,
Miguel Bordallo Lopez
Abstract:
Stroke is a major cause of mortality and disability worldwide from which one in four people are in danger of incurring in their lifetime. The pre-hospital stroke assessment plays a vital role in identifying stroke patients accurately to accelerate further examination and treatment in hospitals. Accordingly, the National Institutes of Health Stroke Scale (NIHSS), Cincinnati Pre-hospital Stroke Scal…
▽ More
Stroke is a major cause of mortality and disability worldwide from which one in four people are in danger of incurring in their lifetime. The pre-hospital stroke assessment plays a vital role in identifying stroke patients accurately to accelerate further examination and treatment in hospitals. Accordingly, the National Institutes of Health Stroke Scale (NIHSS), Cincinnati Pre-hospital Stroke Scale (CPSS) and Face Arm Speed Time (F.A.S.T.) are globally known tests for stroke assessment. However, the validity of these tests is skeptical in the absence of neurologists and access to healthcare may be limited. Therefore, in this study, we propose a motion-aware and multi-attention fusion network (MAMAF-Net) that can detect stroke from multimodal examination videos. Contrary to other studies on stroke detection from video analysis, our study for the first time proposes an end-to-end solution from multiple video recordings of each subject with a dataset encapsulating stroke, transient ischemic attack (TIA), and healthy controls. The proposed MAMAF-Net consists of motion-aware modules to sense the mobility of patients, attention modules to fuse the multi-input video data, and 3D convolutional layers to perform diagnosis from the attention-based extracted features. Experimental results over the collected Stroke-data dataset show that the proposed MAMAF-Net achieves a successful detection of stroke with 93.62% sensitivity and 95.33% AUC score.
△ Less
Submitted 11 August, 2023; v1 submitted 19 April, 2023;
originally announced April 2023.
-
Medium induced gluon spectrum in dense inhomogeneous matter
Authors:
João Barata,
Xoán Mayo López,
Andrey V. Sadofyev,
Carlos A. Salgado
Abstract:
We calculate the spectrum of gluons sourced by the branching of an energetic quark in the presence of an inhomogeneous QCD medium, focusing on the soft radiation limit. We take into account multiple soft interactions between the partons and matter, treating the transverse variations of its parameters within a gradient expansion. Thus, we derive the general form of the medium induced spectrum up to…
▽ More
We calculate the spectrum of gluons sourced by the branching of an energetic quark in the presence of an inhomogeneous QCD medium, focusing on the soft radiation limit. We take into account multiple soft interactions between the partons and matter, treating the transverse variations of its parameters within a gradient expansion. Thus, we derive the general form of the medium induced spectrum up to the first order in gradients, and consider its simplifying limits. In particular, we show that to the leading order in matter gradients and using the harmonic approximation for the scattering potential, the full gluon spectrum can be written in a compact closed form suitable for numerical evaluation. The final gluon transverse momentum tends to align along the anisotropy direction, resulting in a non-trivial azimuthal pattern in the jet substructure.
△ Less
Submitted 5 February, 2024; v1 submitted 7 April, 2023;
originally announced April 2023.
-
Impact of cross-section uncertainties on supernova neutrino spectral parameter fitting in the Deep Underground Neutrino Experiment
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
C. Adriano,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Aimard,
F. Akbar,
K. Allison,
S. Alonso Monsalve,
M. Alrashed,
A. Alton,
R. Alvarez,
P. Amedo,
J. Anderson,
D. A. Andrade
, et al. (1294 additional authors not shown)
Abstract:
A primary goal of the upcoming Deep Underground Neutrino Experiment (DUNE) is to measure the $\mathcal{O}(10)$ MeV neutrinos produced by a Galactic core-collapse supernova if one should occur during the lifetime of the experiment. The liquid-argon-based detectors planned for DUNE are expected to be uniquely sensitive to the $ν_e$ component of the supernova flux, enabling a wide variety of physics…
▽ More
A primary goal of the upcoming Deep Underground Neutrino Experiment (DUNE) is to measure the $\mathcal{O}(10)$ MeV neutrinos produced by a Galactic core-collapse supernova if one should occur during the lifetime of the experiment. The liquid-argon-based detectors planned for DUNE are expected to be uniquely sensitive to the $ν_e$ component of the supernova flux, enabling a wide variety of physics and astrophysics measurements. A key requirement for a correct interpretation of these measurements is a good understanding of the energy-dependent total cross section $σ(E_ν)$ for charged-current $ν_e$ absorption on argon. In the context of a simulated extraction of supernova $ν_e$ spectral parameters from a toy analysis, we investigate the impact of $σ(E_ν)$ modeling uncertainties on DUNE's supernova neutrino physics sensitivity for the first time. We find that the currently large theoretical uncertainties on $σ(E_ν)$ must be substantially reduced before the $ν_e$ flux parameters can be extracted reliably: in the absence of external constraints, a measurement of the integrated neutrino luminosity with less than 10\% bias with DUNE requires $σ(E_ν)$ to be known to about 5%. The neutrino spectral shape parameters can be known to better than 10% for a 20% uncertainty on the cross-section scale, although they will be sensitive to uncertainties on the shape of $σ(E_ν)$. A direct measurement of low-energy $ν_e$-argon scattering would be invaluable for improving the theoretical precision to the needed level.
△ Less
Submitted 7 July, 2023; v1 submitted 29 March, 2023;
originally announced March 2023.
-
On the Shadowableness of Flows With Hyperbolic Singularities
Authors:
Alexander Arbieto,
Andrés M. López,
Elias Rego,
Yeison Sánchez
Abstract:
In this work we study the existence of singular flows satisfying shadowing-like properties. More precisely, we prove that if C1 -vector field on a closed manifold induces a chain-recurrent flow containing an attached hyperbolic singularity of stable or unstable index-one, then this flow cannot satisfy the shadowing property. If the manifold is non-compact, the vector field is complete and non-wand…
▽ More
In this work we study the existence of singular flows satisfying shadowing-like properties. More precisely, we prove that if C1 -vector field on a closed manifold induces a chain-recurrent flow containing an attached hyperbolic singularity of stable or unstable index-one, then this flow cannot satisfy the shadowing property. If the manifold is non-compact, the vector field is complete and non-wandering, we prove that we prove that the existence of index-one hyperbolic singularities prevents the induced flow to satisfy the rescaled-shadowing property introduced in [6].
△ Less
Submitted 10 March, 2023;
originally announced March 2023.
-
Kittel law and domain formation mechanism in PbTiO$_3$/SrTiO$_3$ superlattices
Authors:
Fernando Gómez-Ortiz,
Hugo Aramberri,
Juan M. López,
Pablo García-Fernández,
Jorge Íñiguez,
Javier Junquera
Abstract:
We report second-principles simulations on the structural and energetic properties of domains in (PbTiO$_{3}$)$_{n}$/(SrTiO$_{3}$)$_{n}$ superlattices. For the explored layer thickness ($n$ ranging between 8 and 16 unit cells) and lateral sizes of the domains, the most stable configuration corresponds to polar domains separated by a sequence of counter-rotating vortices (clockwise/counterclockwise…
▽ More
We report second-principles simulations on the structural and energetic properties of domains in (PbTiO$_{3}$)$_{n}$/(SrTiO$_{3}$)$_{n}$ superlattices. For the explored layer thickness ($n$ ranging between 8 and 16 unit cells) and lateral sizes of the domains, the most stable configuration corresponds to polar domains separated by a sequence of counter-rotating vortices (clockwise/counterclockwise) perpendicular to the stacking direction and acting as domain walls. The balance between the domain wall energy and the electrostatic energy yields to an optimal domain period $ω$ that is proportional to the square-root of the thickness of the PbTiO$_{3}$ layer, following the Kittel law. For a given lateral size of the simulation box, suboptimal domain structures (with a width larger than the one predicted by the Kittel law) can be obtained in a metastable form. However, at finite temperature, molecular dynamics simulations show the spontaneous change of periodicity, which implies the formation of new domains whose generation is initiated by the nucleation of vortices and antivortices at the interface between the SrTiO$_{3}$ and the PbTiO$_{3}$ layers. The vortices progressively elongate and eventually annihilate with the antivortices yielding the formation of new domains to comply the Kittel law via a topological phase transition.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
On the Metrics for Evaluating Monocular Depth Estimation
Authors:
Akhil Gurram,
Antonio M. Lopez
Abstract:
Monocular Depth Estimation (MDE) is performed to produce 3D information that can be used in downstream tasks such as those related to on-board perception for Autonomous Vehicles (AVs) or driver assistance. Therefore, a relevant arising question is whether the standard metrics for MDE assessment are a good indicator of the accuracy of future MDE-based driving-related perception tasks. We address th…
▽ More
Monocular Depth Estimation (MDE) is performed to produce 3D information that can be used in downstream tasks such as those related to on-board perception for Autonomous Vehicles (AVs) or driver assistance. Therefore, a relevant arising question is whether the standard metrics for MDE assessment are a good indicator of the accuracy of future MDE-based driving-related perception tasks. We address this question in this paper. In particular, we take the task of 3D object detection on point clouds as a proxy of on-board perception. We train and test state-of-the-art 3D object detectors using 3D point clouds coming from MDE models. We confront the ranking of object detection results with the ranking given by the depth estimation metrics of the MDE models. We conclude that, indeed, MDE evaluation metrics give rise to a ranking of methods that reflects relatively well the 3D object detection results we may expect. Among the different metrics, the absolute relative (abs-rel) error seems to be the best for that purpose.
△ Less
Submitted 20 February, 2023;
originally announced February 2023.
-
Scaling Vision-based End-to-End Driving with Multi-View Attention Learning
Authors:
Yi Xiao,
Felipe Codevilla,
Diego Porres,
Antonio M. Lopez
Abstract:
On end-to-end driving, human driving demonstrations are used to train perception-based driving models by imitation learning. This process is supervised on vehicle signals (e.g., steering angle, acceleration) but does not require extra costly supervision (human labeling of sensor data). As a representative of such vision-based end-to-end driving models, CILRS is commonly used as a baseline to compa…
▽ More
On end-to-end driving, human driving demonstrations are used to train perception-based driving models by imitation learning. This process is supervised on vehicle signals (e.g., steering angle, acceleration) but does not require extra costly supervision (human labeling of sensor data). As a representative of such vision-based end-to-end driving models, CILRS is commonly used as a baseline to compare with new driving models. So far, some latest models achieve better performance than CILRS by using expensive sensor suites and/or by using large amounts of human-labeled data for training. Given the difference in performance, one may think that it is not worth pursuing vision-based pure end-to-end driving. However, we argue that this approach still has great value and potential considering cost and maintenance. In this paper, we present CIL++, which improves on CILRS by both processing higher-resolution images using a human-inspired HFOV as an inductive bias and incorporating a proper attention mechanism. CIL++ achieves competitive performance compared to models which are more costly to develop. We propose to replace CILRS with CIL++ as a strong vision-based pure end-to-end driving baseline supervised by only vehicle signals and trained by conditional imitation learning.
△ Less
Submitted 22 July, 2023; v1 submitted 6 February, 2023;
originally announced February 2023.
-
Highly-parallelized simulation of a pixelated LArTPC on a GPU
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
C. Adriano,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Aimard,
F. Akbar,
K. Allison,
S. Alonso Monsalve,
M. Alrashed,
C. Alt,
A. Alton,
R. Alvarez,
P. Amedo,
J. Anderson
, et al. (1282 additional authors not shown)
Abstract:
The rapid development of general-purpose computing on graphics processing units (GPGPU) is allowing the implementation of highly-parallelized Monte Carlo simulation chains for particle physics experiments. This technique is particularly suitable for the simulation of a pixelated charge readout for time projection chambers, given the large number of channels that this technology employs. Here we pr…
▽ More
The rapid development of general-purpose computing on graphics processing units (GPGPU) is allowing the implementation of highly-parallelized Monte Carlo simulation chains for particle physics experiments. This technique is particularly suitable for the simulation of a pixelated charge readout for time projection chambers, given the large number of channels that this technology employs. Here we present the first implementation of a full microphysical simulator of a liquid argon time projection chamber (LArTPC) equipped with light readout and pixelated charge readout, developed for the DUNE Near Detector. The software is implemented with an end-to-end set of GPU-optimized algorithms. The algorithms have been written in Python and translated into CUDA kernels using Numba, a just-in-time compiler for a subset of Python and NumPy instructions. The GPU implementation achieves a speed up of four orders of magnitude compared with the equivalent CPU version. The simulation of the current induced on $10^3$ pixels takes around 1 ms on the GPU, compared with approximately 10 s on the CPU. The results of the simulation are compared against data from a pixel-readout LArTPC prototype.
△ Less
Submitted 28 February, 2023; v1 submitted 19 December, 2022;
originally announced December 2022.
-
Improving Depression estimation from facial videos with face alignment, training optimization and scheduling
Authors:
Manuel Lage Cañellas,
Constantino Álvarez Casado,
Le Nguyen,
Miguel Bordallo López
Abstract:
Deep learning models have shown promising results in recognizing depressive states using video-based facial expressions. While successful models typically leverage using 3D-CNNs or video distillation techniques, the different use of pretraining, data augmentation, preprocessing, and optimization techniques across experiments makes it difficult to make fair architectural comparisons. We propose ins…
▽ More
Deep learning models have shown promising results in recognizing depressive states using video-based facial expressions. While successful models typically leverage using 3D-CNNs or video distillation techniques, the different use of pretraining, data augmentation, preprocessing, and optimization techniques across experiments makes it difficult to make fair architectural comparisons. We propose instead to enhance two simple models based on ResNet-50 that use only static spatial information by using two specific face alignment methods and improved data augmentation, optimization, and scheduling techniques. Our extensive experiments on benchmark datasets obtain similar results to sophisticated spatio-temporal models for single streams, while the score-level fusion of two different streams outperforms state-of-the-art methods. Our findings suggest that specific modifications in the preprocessing and training process result in noticeable differences in the performance of the models and could hide the actual originally attributed to the use of different neural network architectures.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Field-assisted birefringent Compton scattering
Authors:
N. Ahmadiniaz,
T. E. Cowan,
M. Ding,
M. A. Lopez Lopez,
R. Sauerbrey,
R. Shaisultanov,
R. Schützhold
Abstract:
Motivated by experimental initiatives such as the Helmholtz International Beamline for Extreme Fields (HIBEF), we study Compton scattering of x-rays at electrons in a strong external field (e.g., a strong optical laser) with special emphasis on the polarization-changing (i.e., birefringent) contribution on the amplitude level. Apart from being a potential background process for the planned vacuum…
▽ More
Motivated by experimental initiatives such as the Helmholtz International Beamline for Extreme Fields (HIBEF), we study Compton scattering of x-rays at electrons in a strong external field (e.g., a strong optical laser) with special emphasis on the polarization-changing (i.e., birefringent) contribution on the amplitude level. Apart from being a potential background process for the planned vacuum birefringence experiments, this effect could be used for diagnostic purposes. Since the birefringent signal from free electrons (i.e., without the external field) vanishes in forward direction, the ratio of the birefringent and the normal (polarization conserving) contribution yields information about the field strength at the interaction point.
△ Less
Submitted 6 December, 2022;
originally announced December 2022.
-
A property equivalent to being semi-Kelley
Authors:
Mauricio Chacón-Tirado,
María de J. López,
Ivon Vidal-Escobar
Abstract:
We present a property equivalent to the property of being semi-Kelley. Using this equivalence we prove that being semi-Kelley is a hereditary property for atriodic continua. We prove that semi-Kelley remainders are atriodic, moreover, we prove that semi-Kelley continua are semi-Kelley remainders for chainable continua, circularly chainable continua, and arc continua, and we give an example of an a…
▽ More
We present a property equivalent to the property of being semi-Kelley. Using this equivalence we prove that being semi-Kelley is a hereditary property for atriodic continua. We prove that semi-Kelley remainders are atriodic, moreover, we prove that semi-Kelley continua are semi-Kelley remainders for chainable continua, circularly chainable continua, and arc continua, and we give an example of an atriodic Kelley continuum which is a semi-Kelley remainder and not a Kelley remainder. We also prove that hereditarily semi-Kelley dendroids are smooth.
△ Less
Submitted 23 November, 2022;
originally announced November 2022.
-
High-Accuracy Machine Learning Techniques for Functional Connectome Fingerprinting and Cognitive State Decoding
Authors:
Andrew Hannum,
Mario A. Lopez,
Saúl A. Blanco,
Richard F. Betzel
Abstract:
The human brain is a complex network comprised of functionally and anatomically interconnected brain regions. A growing number of studies have suggested that empirical estimates of brain networks may be useful for discovery of biomarkers of disease and cognitive state. A prerequisite for realizing this aim, however, is that brain networks also serve as reliable markers of an individual. Here, usin…
▽ More
The human brain is a complex network comprised of functionally and anatomically interconnected brain regions. A growing number of studies have suggested that empirical estimates of brain networks may be useful for discovery of biomarkers of disease and cognitive state. A prerequisite for realizing this aim, however, is that brain networks also serve as reliable markers of an individual. Here, using Human Connectome Project data, we build upon recent studies examining brain-based fingerprints of individual subjects and cognitive states based on cognitively-demanding tasks that assess, for example, working memory, theory of mind, and motor function. Our approach achieves accuracy of up to 99\% for both identification of the subject of an fMRI scan, and for classification of the cognitive state of a previously-unseen subject in a scan. More broadly, we explore the accuracy and reliability of five different machine learning techniques on subject fingerprinting and cognitive state decoding objectives, using functional connectivity data from fMRI scans of a high number of subjects (865) across a number of cognitive states (8). These results represent an advance on existing techniques for functional connectivity-based brain fingerprinting and state decoding. Additionally, 16 different pre-processing pipelines are compared in order to characterize the effects of different aspects of the production of functional connectomes (FCs) on the accuracy of subject and task classification, and to identify possible confounds.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
DEArt: Dataset of European Art
Authors:
Artem Reshetnikov,
Maria-Cristina Marinescu,
Joaquim More Lopez
Abstract:
Large datasets that were made publicly available to the research community over the last 20 years have been a key enabling factor for the advances in deep learning algorithms for NLP or computer vision. These datasets are generally pairs of aligned image / manually annotated metadata, where images are photographs of everyday life. Scholarly and historical content, on the other hand, treat subjects…
▽ More
Large datasets that were made publicly available to the research community over the last 20 years have been a key enabling factor for the advances in deep learning algorithms for NLP or computer vision. These datasets are generally pairs of aligned image / manually annotated metadata, where images are photographs of everyday life. Scholarly and historical content, on the other hand, treat subjects that are not necessarily popular to a general audience, they may not always contain a large number of data points, and new data may be difficult or impossible to collect. Some exceptions do exist, for instance, scientific or health data, but this is not the case for cultural heritage (CH). The poor performance of the best models in computer vision - when tested over artworks - coupled with the lack of extensively annotated datasets for CH, and the fact that artwork images depict objects and actions not captured by photographs, indicate that a CH-specific dataset would be highly valuable for this community. We propose DEArt, at this point primarily an object detection and pose classification dataset meant to be a reference for paintings between the XIIth and the XVIIIth centuries. It contains more than 15000 images, about 80% non-iconic, aligned with manual annotations for the bounding boxes identifying all instances of 69 classes as well as 12 possible poses for boxes identifying human-like objects. Of these, more than 50 classes are CH-specific and thus do not appear in other datasets; these reflect imaginary beings, symbolic entities and other categories related to art. Additionally, existing datasets do not include pose annotations. Our results show that object detectors for the cultural heritage domain can achieve a level of precision comparable to state-of-art models for generic images via transfer learning.
△ Less
Submitted 3 November, 2022; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Identification and reconstruction of low-energy electrons in the ProtoDUNE-SP detector
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
C. Adriano,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Aimard,
F. Akbar,
K. Allison,
S. Alonso Monsalve,
M. Alrashed,
C. Alt,
A. Alton,
R. Alvarez,
P. Amedo,
J. Anderson
, et al. (1235 additional authors not shown)
Abstract:
Measurements of electrons from $ν_e$ interactions are crucial for the Deep Underground Neutrino Experiment (DUNE) neutrino oscillation program, as well as searches for physics beyond the standard model, supernova neutrino detection, and solar neutrino measurements. This article describes the selection and reconstruction of low-energy (Michel) electrons in the ProtoDUNE-SP detector. ProtoDUNE-SP is…
▽ More
Measurements of electrons from $ν_e$ interactions are crucial for the Deep Underground Neutrino Experiment (DUNE) neutrino oscillation program, as well as searches for physics beyond the standard model, supernova neutrino detection, and solar neutrino measurements. This article describes the selection and reconstruction of low-energy (Michel) electrons in the ProtoDUNE-SP detector. ProtoDUNE-SP is one of the prototypes for the DUNE far detector, built and operated at CERN as a charged particle test beam experiment. A sample of low-energy electrons produced by the decay of cosmic muons is selected with a purity of 95%. This sample is used to calibrate the low-energy electron energy scale with two techniques. An electron energy calibration based on a cosmic ray muon sample uses calibration constants derived from measured and simulated cosmic ray muon events. Another calibration technique makes use of the theoretically well-understood Michel electron energy spectrum to convert reconstructed charge to electron energy. In addition, the effects of detector response to low-energy electron energy scale and its resolution including readout electronics threshold effects are quantified. Finally, the relation between the theoretical and reconstructed low-energy electron energy spectrum is derived and the energy resolution is characterized. The low-energy electron selection presented here accounts for about 75% of the total electron deposited energy. After the addition of lost energy using a Monte Carlo simulation, the energy resolution improves from about 40% to 25% at 50~MeV. These results are used to validate the expected capabilities of the DUNE far detector to reconstruct low-energy electrons.
△ Less
Submitted 31 May, 2023; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Poisson-Poincaré reduction for Field Theories
Authors:
Miguel Á. Berbel,
Marco Castrillón López
Abstract:
Given a Hamiltonian system on a fiber bundle, there is a Poisson covariant formulation of the Hamilton equations. When a Lie group G acts freely, properly, preserving the fibers of the bundle and the Hamiltonian density is G-invariant, we study the reduction of this formulation to obtain an analogue of Poisson-Poincaré reduction for field theories. This procedure is related to the Lagrange-Poincar…
▽ More
Given a Hamiltonian system on a fiber bundle, there is a Poisson covariant formulation of the Hamilton equations. When a Lie group G acts freely, properly, preserving the fibers of the bundle and the Hamiltonian density is G-invariant, we study the reduction of this formulation to obtain an analogue of Poisson-Poincaré reduction for field theories. This procedure is related to the Lagrange-Poincaré reduction for field theories via a Legendre transformation. Finally, an application to a model of a charged strand evolving in an electric field is given.
△ Less
Submitted 26 October, 2022;
originally announced October 2022.
-
Topological superconductivity from do** a triplet quantum spin liquid in a flat band system
Authors:
Manuel Fernández López,
Ben J. Powell,
Jaime Merino
Abstract:
We explore superconductivity in strongly interacting electrons on a decorated honeycomb lattice (DHL). An easy-plane ferromagnetic interaction arises from spin-orbit coupling in the Mott insulating phase, which favors a triplet resonance valence bond spin liquid state. Hole do** leads to partial occupation of a flat band and to triplet superconductivity. The order parameter is highly sensitive t…
▽ More
We explore superconductivity in strongly interacting electrons on a decorated honeycomb lattice (DHL). An easy-plane ferromagnetic interaction arises from spin-orbit coupling in the Mott insulating phase, which favors a triplet resonance valence bond spin liquid state. Hole do** leads to partial occupation of a flat band and to triplet superconductivity. The order parameter is highly sensitive to the do** level and the interaction parameters, with $p+ip$, $f$ and $p+f$ superconductivity found, as the flat band leads to instabilities in multiple channels. Typically, first order transitions separate different superconducting phases, but a second order transition separates two time reversal symmetry breaking $p+ip$ phases with different Chern numbers ($ν=0$ and 1). The Majorana edge modes in the topological ($ν=1$) superconductor are almost localized due to the strong electronic correlations in a system with a flat band at the Fermi level. This suggests that these modes could be useful for topological quantum computing. The `hybrid' $p+f$ state does not require two phase transitions as temperature is lowered. This is because the symmetry of the model is lowered in the $p$-wave phase, allowing arbitrary admixtures of $f$-wave basis functions as overtones. We show that the multiple sites per unit cell of the DHL, and hence multiple bands near the Fermi energy, lead to very different nodal structures in real and reciprocal space. We emphasize that this should be a generic feature of multi-site/multi-band superconductors.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
Multi-messenger characterization of Mrk 501 during historically low X-ray and $γ$-ray activity
Authors:
MAGIC collaboration,
H. Abe,
S. Abe,
V. A. Acciari,
I. Agudo,
T. Aniello,
S. Ansoldi,
L. A. Antonelli,
A. Arbet Engels,
C. Arcaro,
M. Artero,
K. Asano,
D. Baack,
A. Babić,
A. Baquero,
U. Barres de Almeida,
J. A. Barrio,
I. Batković,
J. Baxter,
J. Becerra González,
W. Bednarek,
E. Bernardini,
M. Bernardos,
A. Berti,
J. Besenrieder
, et al. (300 additional authors not shown)
Abstract:
We study the broadband emission of Mrk 501 using multi-wavelength observations from 2017 to 2020 performed with a multitude of instruments, involving, among others, MAGIC, Fermi-LAT, NuSTAR, Swift, GASP-WEBT, and OVRO. Mrk 501 showed an extremely low broadband activity, which may help to unravel its baseline emission. Nonetheless, significant flux variations are detected at all wavebands, with the…
▽ More
We study the broadband emission of Mrk 501 using multi-wavelength observations from 2017 to 2020 performed with a multitude of instruments, involving, among others, MAGIC, Fermi-LAT, NuSTAR, Swift, GASP-WEBT, and OVRO. Mrk 501 showed an extremely low broadband activity, which may help to unravel its baseline emission. Nonetheless, significant flux variations are detected at all wavebands, with the highest occurring at X-rays and very-high-energy (VHE) $γ$-rays. A significant correlation ($>$3$σ$) between X-rays and VHE $γ$-rays is measured, supporting leptonic scenarios to explain the variable parts of the emission, also during low activity. This is further supported when we extend our data from 2008 to 2020, and identify, for the first time, significant correlations between Swift-XRT and Fermi-LAT. We additionally find correlations between high-energy $γ$-rays and radio, with the radio lagging by more than 100 days, placing the $γ$-ray emission zone upstream of the radio-bright regions in the jet. Furthermore, Mrk 501 showed a historically low activity in X-rays and VHE $γ$-rays from mid-2017 to mid-2019 with a stable VHE flux ($>$0.2 TeV) of 5% the emission of the Crab Nebula. The broadband spectral energy distribution (SED) of this 2-year-long low-state, the potential baseline emission of Mrk 501, can be characterized with one-zone leptonic models, and with (lepto)-hadronic models fulfilling neutrino flux constraints from IceCube. We explore the time evolution of the SED towards the low-state, revealing that the stable baseline emission may be ascribed to a standing shock, and the variable emission to an additional expanding or traveling shock.
△ Less
Submitted 5 March, 2023; v1 submitted 5 October, 2022;
originally announced October 2022.
-
Optimal Placement of Base Stations in Border Surveillance using Limited Capacity Drones
Authors:
S. Bereg,
J. M. Díaz-Báñez,
M. Haghpanah,
P. Horn,
M. A. Lopez,
N. Marín,
A. Ramírez-Vigueras,
F. Rodríguez,
O. Solé-Pi,
A. Stevens,
J. Urrutia
Abstract:
Imagine an island modeled as a simple polygon $¶$ with $n$ vertices whose coastline we wish to monitor. We consider the problem of building the minimum number of refueling stations along the boundary of $¶$ in such a way that a drone can follow a polygonal route enclosing the island without running out of fuel. A drone can fly a maximum distance $d$ between consecutive stations and is restricted t…
▽ More
Imagine an island modeled as a simple polygon $¶$ with $n$ vertices whose coastline we wish to monitor. We consider the problem of building the minimum number of refueling stations along the boundary of $¶$ in such a way that a drone can follow a polygonal route enclosing the island without running out of fuel. A drone can fly a maximum distance $d$ between consecutive stations and is restricted to move either along the boundary of $¶$ or its exterior (i.e., over water). We present an algorithm that, given $\mathcal P$, finds the locations for a set of refueling stations whose cardinality is at most the optimal plus one. The time complexity of this algorithm is $O(n^2 + \frac{L}{d} n)$, where $L$ is the length of $\mathcal P$. We also present an algorithm that returns an additive $ε$-approximation for the problem of minimizing the fuel capacity required for the drones when we are allowed to place $k$ base stations around the boundary of the island; this algorithm also finds the locations of these refueling stations. Finally, we propose a practical discretization heuristic which, under certain conditions, can be used to certify optimality of the results.
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
Report of the Topical Group on Top quark physics and heavy flavor production for Snowmass 2021
Authors:
Reinhard Schwienhorst,
Doreen Wackeroth,
Kaustubh Agashe,
Simone Alioli,
Javier Aparisi,
Giuseppe Bevilacqua,
Huan-Yu Bi,
Raymond Brock,
Abel Gutierrez Camacho,
Fernando Febres Cordero,
Jorge de Blas,
Regina Demina,
Yong Du,
Gauthier Durieux,
Jarrett Fein,
Roberto Franceschini,
Juan Fuster,
Maria Vittoria Garzelli,
Alessandro Gavardi,
Jason Gombas,
Christoph Grojean,
Jiale Gu,
Marco Guzzi,
Heribertus Bayu Hartanto,
Andre Hoang
, et al. (46 additional authors not shown)
Abstract:
This report summarizes the work of the Energy Frontier Topical Group on EW Physics: Heavy flavor and top quark physics (EF03) of the 2021 Community Summer Study (Snowmass). It aims to highlight the physics potential of top-quark studies and heavy-flavor production processes (bottom and charm) at the HL-LHC and possible future hadron and lepton colliders and running scenarios.
This report summarizes the work of the Energy Frontier Topical Group on EW Physics: Heavy flavor and top quark physics (EF03) of the 2021 Community Summer Study (Snowmass). It aims to highlight the physics potential of top-quark studies and heavy-flavor production processes (bottom and charm) at the HL-LHC and possible future hadron and lepton colliders and running scenarios.
△ Less
Submitted 6 November, 2022; v1 submitted 22 September, 2022;
originally announced September 2022.
-
Modeling Backgrounds for the MAJORANA DEMONSTRATOR
Authors:
C. R. Haufe,
I. J. Arnquist,
F. T. Avignone III,
A. S. Barabash,
C. J. Barton,
K. H. Bhimani,
E. Blalock,
B. Bos,
M. Busch,
M. Buuck,
T. S. Caldwell,
Y-D. Chan,
C. D. Christofferson,
P. -H. Chu,
M. L. Clark,
C. Cuesta,
J. A. Detwiler,
Yu. Efremenko,
H. Ejiri,
S. R. Elliott,
G. K. Giovanetti,
M. P. Green,
J. Gruszko,
I. S. Guinn,
V. E. Guiseppe
, et al. (33 additional authors not shown)
Abstract:
The MAJORANA DEMONSTRATOR is a neutrinoless double-beta decay ($0νββ$) experiment containing $\sim$30 kg of p-type point contact germanium detectors enriched to 88% in 76Ge and $\sim$14 kg of natural germanium detectors. The detectors are housed in two electroformed copper cryostats and surrounded by a graded passive shield with active muon veto. An extensive radioassay campaign was performed prio…
▽ More
The MAJORANA DEMONSTRATOR is a neutrinoless double-beta decay ($0νββ$) experiment containing $\sim$30 kg of p-type point contact germanium detectors enriched to 88% in 76Ge and $\sim$14 kg of natural germanium detectors. The detectors are housed in two electroformed copper cryostats and surrounded by a graded passive shield with active muon veto. An extensive radioassay campaign was performed prior to installation to insure the use of ultra-clean materials. The DEMONSTRATOR achieved one of the lowest background rates in the region of the $0νββ$ Q-value, 15.7 $\pm$ 1.4 cts/(FWHM t y) from the low-background configuration spanning most of the 64.5 kg-yr active exposure. Nevertheless this background rate is a factor of five higher than the projected background rate. This discrepancy arises from an excess of events from the 232Th decay chain. Background model fits aim to understand this deviation from assay-based projections, potentially determine the source(s) of observed backgrounds, and allow a precision measurement of the two-neutrino double-beta decay half-life. The fits agree with earlier simulation studies, which indicate the origin of the 232Th excess is not from a near-detector component and have informed design decisions for the next-generation LEGEND experiment. Recent findings have narrowed the suspected locations for the excess activity, motivating a final simulation and assay campaign to complete the background model.
△ Less
Submitted 11 January, 2023; v1 submitted 21 September, 2022;
originally announced September 2022.
-
Tuple Packing: Efficient Batching of Small Graphs in Graph Neural Networks
Authors:
Mario Michael Krell,
Manuel Lopez,
Sreenidhi Anand,
Hatem Helal,
Andrew William Fitzgibbon
Abstract:
When processing a batch of graphs in machine learning models such as Graph Neural Networks (GNN), it is common to combine several small graphs into one overall graph to accelerate processing and remove or reduce the overhead of padding. This is for example supported in the PyG library. However, the sizes of small graphs can vary substantially with respect to the number of nodes and edges, and henc…
▽ More
When processing a batch of graphs in machine learning models such as Graph Neural Networks (GNN), it is common to combine several small graphs into one overall graph to accelerate processing and remove or reduce the overhead of padding. This is for example supported in the PyG library. However, the sizes of small graphs can vary substantially with respect to the number of nodes and edges, and hence the size of the combined graph can still vary considerably, especially for small batch sizes. Therefore, the costs of excessive padding and wasted compute are still incurred when working with static shapes, which are preferred for maximum acceleration. This paper proposes a new hardware agnostic approach -- tuple packing -- for generating batches that cause minimal overhead. The algorithm extends recently introduced sequence packing approaches to work on the 2D tuples of (|nodes|, |edges|). A monotone heuristic is applied to the 2D histogram of tuple values to define a priority for packing histogram bins together with the objective to reach a limit on the number of nodes as well as the number of edges. Experiments verify the effectiveness of the algorithm on multiple datasets.
△ Less
Submitted 18 September, 2022; v1 submitted 13 September, 2022;
originally announced September 2022.
-
Ortho-unit polygons can be guarded with at most $\lfloor \frac{n-4}{8} \rfloor$ guards
Authors:
J. M. Díaz-Báñez,
P. Horn,
M. A. Lopez,
N. Marín,
A. Ramírez-Vigueras,
O. Solé-Pi,
A. Stevens,
J. Urrutia
Abstract:
An orthogonal polygon is called an ortho-unit polygon if its vertices have integer coordinates, and all of its edges have length one. In this paper we prove that any ortho-unit polygon with $n \geq 12$ vertices can be guarded with at most $\lfloor \frac{n-4}{8} \rfloor$ guards.
An orthogonal polygon is called an ortho-unit polygon if its vertices have integer coordinates, and all of its edges have length one. In this paper we prove that any ortho-unit polygon with $n \geq 12$ vertices can be guarded with at most $\lfloor \frac{n-4}{8} \rfloor$ guards.
△ Less
Submitted 26 August, 2022;
originally announced August 2022.
-
A simple and intuitive method to calculate $R_0$ in complex epidemic models
Authors:
Carlos Hernandez-Suarez,
Osval Montesinos Lopez
Abstract:
Epidemic models are a valuable tool in the decision making process. Once a mathematical model for an epidemics has been established, the very next step is calculating a mathematical expression for the basic reproductive number, $R_0$, which is the average number of infections caused by an individual that is introduced in a population of susceptibles. Finding a mathematical expression for $R_0$ is…
▽ More
Epidemic models are a valuable tool in the decision making process. Once a mathematical model for an epidemics has been established, the very next step is calculating a mathematical expression for the basic reproductive number, $R_0$, which is the average number of infections caused by an individual that is introduced in a population of susceptibles. Finding a mathematical expression for $R_0$ is important because it allows to analyze the effect of the different parameters in the model on $R_0$ so that we can act on them to keep $R_0 < 1$, so that the epidemic fades out. In this work we show how to calculate $R_0$ in complicated epidemic models by using only basic concepts of Markov chains.
△ Less
Submitted 6 September, 2022; v1 submitted 22 August, 2022;
originally announced August 2022.
-
Revised calculation of the coefficient of parentage in plant breeding
Authors:
Carlos Hernandez-Suarez,
Osval Montesinos Lopez
Abstract:
The Coefficient of Parentage (COP) between two individuals is the expected inbreeding of their offspring. Originally exploited by animal breeders, is now a routine calculation among plant breeders as part of crop improvement programs. Here we show that the COP between strains requires a different calculation than the used to calculate the COP between individuals. Failure to do so may result in an…
▽ More
The Coefficient of Parentage (COP) between two individuals is the expected inbreeding of their offspring. Originally exploited by animal breeders, is now a routine calculation among plant breeders as part of crop improvement programs. Here we show that the COP between strains requires a different calculation than the used to calculate the COP between individuals. Failure to do so may result in an overestimation of the amount of inbreeding. Here we provide a simple methodology to calculate the correct coefficient of parentage between strains.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
Measuring Race in US Economic Statistics: What Do We Know?
Authors:
Sonya Ravindranath Waddell,
John M. Abowd,
Camille Busette,
Mark Hugo Lopez
Abstract:
This article is an edited transcript of the session of the same name at the 38th Annual NABE Economic Policy Conference: Policy Options for Sustainable and Inclusive Growth. The panelists are experts from government and private research organizations.
This article is an edited transcript of the session of the same name at the 38th Annual NABE Economic Policy Conference: Policy Options for Sustainable and Inclusive Growth. The panelists are experts from government and private research organizations.
△ Less
Submitted 10 August, 2022;
originally announced August 2022.
-
The Profiled Feldman-Cousins technique for confidence interval construction in the presence of nuisance parameters
Authors:
M. A. Acero,
B. Acharya,
P. Adamson,
L. Aliaga,
N. Anfimov,
A. Antoshkin,
E. Arrieta-Diaz,
L. Asquith,
A. Aurisano,
A. Back,
C. Backhouse,
M. Baird,
N. Balashov,
P. Baldi,
B. A. Bambah,
S. Bashar,
A. Bat,
K. Bays,
R. Bernstein,
V. Bhatnagar,
D. Bhattarai,
B. Bhuyan,
J. Bian,
A. C. Booth,
R. Bowles
, et al. (196 additional authors not shown)
Abstract:
Measuring observables to constrain models using maximum-likelihood estimation is fundamental to many physics experiments. The Profiled Feldman-Cousins method described here is a potential solution to common challenges faced in constructing accurate confidence intervals: small datasets, bounded parameters, and the need to properly handle nuisance parameters. This method achieves more accurate frequ…
▽ More
Measuring observables to constrain models using maximum-likelihood estimation is fundamental to many physics experiments. The Profiled Feldman-Cousins method described here is a potential solution to common challenges faced in constructing accurate confidence intervals: small datasets, bounded parameters, and the need to properly handle nuisance parameters. This method achieves more accurate frequentist coverage than other methods in use, and is generally applicable to the problem of parameter estimation in neutrino oscillations and similar measurements. We describe an implementation of this method in the context of the NOvA experiment.
△ Less
Submitted 1 August, 2022; v1 submitted 28 July, 2022;
originally announced July 2022.
-
Optimality conditions in DC constrained mathematical programming problems
Authors:
Rafael Correa,
Marco A. López,
Pedro Pérez-Aros
Abstract:
This paper provides necessary and sufficient optimality conditions for abstract constrained mathematical programming problems in locally convex spaces under new qualification conditions. Our approach exploits the geometrical properties of certain map**s, in particular their structure as difference of convex functions, and uses techniques of generalized differentiation (subdifferential and coderi…
▽ More
This paper provides necessary and sufficient optimality conditions for abstract constrained mathematical programming problems in locally convex spaces under new qualification conditions. Our approach exploits the geometrical properties of certain map**s, in particular their structure as difference of convex functions, and uses techniques of generalized differentiation (subdifferential and coderivative). It turns out that these tools can be used fruitfully out of the scope of Asplund spaces. Applications to infinite, stochastic and semi-definite programming are developed in separate sections.
△ Less
Submitted 8 February, 2023; v1 submitted 28 July, 2022;
originally announced July 2022.
-
Unstructured Road Segmentation using Hypercolumn based Random Forests of Local experts
Authors:
Prassanna Ganesh Ravishankar,
Antonio M. Lopez,
Gemma M. Sanchez
Abstract:
Monocular vision based road detection methods are mostly based on machine learning methods, relying on classification and feature extraction accuracy, and suffer from appearance, illumination and weather changes. Traditional methods introduce the predictions into conditional random fields or markov random fields models to improve the intermediate predictions based on structure. These methods are o…
▽ More
Monocular vision based road detection methods are mostly based on machine learning methods, relying on classification and feature extraction accuracy, and suffer from appearance, illumination and weather changes. Traditional methods introduce the predictions into conditional random fields or markov random fields models to improve the intermediate predictions based on structure. These methods are optimization based and therefore resource heavy and slow, making it unsuitable for real time applications. We propose a method to detect and segment roads with a random forest classifier of local experts with superpixel based machine-learned features. The random forest takes in machine learnt descriptors from a pre-trained convolutional neural network - VGG-16. The features are also pooled into their respective superpixels, allowing for local structure to be continuous. We compare our algorithm against Nueral Network based methods and Traditional approaches (based on Hand-crafted features), on both Structured Road (CamVid and Kitti) and Unstructured Road Datasets. Finally, we introduce a Road Scene Dataset with 1000 annotated images, and verify that our algorithm works well in non-urban and rural road scenarios.
△ Less
Submitted 23 July, 2022;
originally announced July 2022.
-
Berezinskii-Kosterlitz-Thouless phases in ultra-thin PbTiO$_3$/SrTiO$_3$ superlattices
Authors:
Fernando Gómez-Ortiz,
Pablo García-Fernández,
Juan M. López,
Javier Junquera
Abstract:
We study the emergence of Berezinskii-Kosterlitz-Thouless (BKT) phases in (PbTiO$_3$)$_3$/(SrTiO$_3$)$_3$ superlattices by means of second-principles simulations. Beyond a threshold tensile epitaxial strain of $ε= 0.25 \%$ the local dipole moments within the superlattices are confined to the film-plane, and thus the polarization can be effectively considered as two-dimensional. The analysis of the…
▽ More
We study the emergence of Berezinskii-Kosterlitz-Thouless (BKT) phases in (PbTiO$_3$)$_3$/(SrTiO$_3$)$_3$ superlattices by means of second-principles simulations. Beyond a threshold tensile epitaxial strain of $ε= 0.25 \%$ the local dipole moments within the superlattices are confined to the film-plane, and thus the polarization can be effectively considered as two-dimensional. The analysis of the decay of the dipole-dipole correlation with the distance, together with the study of the density of defects and its distribution as function of temperature, supports the existence of a BKT phase in a range of temperature mediating the ordered ferroelectric (stable at low $T$), and the disordered paraelectric phase that appears beyond a critical temperature $T_{\rm BKT}$. This BKT phase is characterized by quasi-long-range order (whose signature is a power-law decay of the correlations with the distance), and the emergence of tightly bounded vortex-antivortex pairs whose density is determined by a thermal activation process. The proposed PbTiO$_{3}$/SrTiO$_{3}$ superlattice model and the imposed mechanical boundary conditions are both experimentally feasible, opening the door for the first experimental observation of these new topological phases in ferroelectric materials.
△ Less
Submitted 20 July, 2022;
originally announced July 2022.
-
Final Result of the MAJORANA DEMONSTRATOR's Search for Neutrinoless Double-$β$ Decay in $^{76}$Ge
Authors:
I. J. Arnquist,
F. T. Avignone III,
A. S. Barabash,
C. J. Barton,
P. J. Barton,
K. H. Bhimani,
E. Blalock,
B. Bos,
M. Busch,
M. Buuck,
T. S. Caldwell,
Y-D. Chan,
C. D. Christofferson,
P. -H. Chu,
M. L. Clark,
C. Cuesta,
J. A. Detwiler,
Yu. Efremenko,
H. Ejiri,
S. R. Elliott,
G. K. Giovanetti,
M. P. Green,
J. Gruszko,
I. S. Guinn,
V. E. Guiseppe
, et al. (35 additional authors not shown)
Abstract:
The MAJORANA DEMONSTRATOR searched for neutrinoless double-$β$ decay ($0νββ$) of $^{76}$Ge using modular arrays of high-purity Ge detectors operated in vacuum cryostats in a low-background shield. The arrays operated with up to 40.4 kg of detectors (27.2 kg enriched to $\sim$88\% in $^{76}$Ge). From these measurements, the DEMONSTRATOR has accumulated 64.5 kg yr of enriched active exposure. With a…
▽ More
The MAJORANA DEMONSTRATOR searched for neutrinoless double-$β$ decay ($0νββ$) of $^{76}$Ge using modular arrays of high-purity Ge detectors operated in vacuum cryostats in a low-background shield. The arrays operated with up to 40.4 kg of detectors (27.2 kg enriched to $\sim$88\% in $^{76}$Ge). From these measurements, the DEMONSTRATOR has accumulated 64.5 kg yr of enriched active exposure. With a world-leading energy resolution of 2.52 keV FWHM at the 2039 keV $Q_{ββ}$ (0.12\%), we set a half-life limit of $0νββ$ in $^{76}$Ge at $T_{1/2}>8.3\times10^{25}$ yr (90\% C.L.). This provides a range of upper limits on $m_{ββ}$ of $(113-269)$ meV (90\% C.L.), depending on the choice of nuclear matrix elements.
△ Less
Submitted 10 February, 2023; v1 submitted 15 July, 2022;
originally announced July 2022.
-
Reachability Analysis of a General Class of Neural Ordinary Differential Equations
Authors:
Diego Manzanas Lopez,
Patrick Musau,
Nathaniel Hamilton,
Taylor T. Johnson
Abstract:
Continuous deep learning models, referred to as Neural Ordinary Differential Equations (Neural ODEs), have received considerable attention over the last several years. Despite their burgeoning impact, there is a lack of formal analysis techniques for these systems. In this paper, we consider a general class of neural ODEs with varying architectures and layers, and introduce a novel reachability fr…
▽ More
Continuous deep learning models, referred to as Neural Ordinary Differential Equations (Neural ODEs), have received considerable attention over the last several years. Despite their burgeoning impact, there is a lack of formal analysis techniques for these systems. In this paper, we consider a general class of neural ODEs with varying architectures and layers, and introduce a novel reachability framework that allows for the formal analysis of their behavior. The methods developed for the reachability analysis of neural ODEs are implemented in a new tool called NNVODE. Specifically, our work extends an existing neural network verification tool to support neural ODEs. We demonstrate the capabilities and efficacy of our methods through the analysis of a set of benchmarks that include neural ODEs used for classification, and in control and dynamical systems, including an evaluation of the efficacy and capabilities of our approach with respect to existing software tools within the continuous-time systems reachability literature, when it is possible to do so.
△ Less
Submitted 13 July, 2022;
originally announced July 2022.