Showing 1–50 of 103 results for author: Díaz, D

HHH Whitepaper

Authors: Vuko Brigljevic, Dinko Ferencek, Greg Landsberg, Tania Robens, Marko Stamenkovic, Tatjana Susa, Hamza Abouabid, Abdesslam Arhrib, Hannah Arnold, Duarte Azevedo, Daniel Diaz, Javier Duarte, Tristan du Pree, Jaouad El Falaki, Pedro. M. Ferreira, Benjamin Fuks, Sanmay Ganguly, Marina Kolosova, Jacobo Konigsberg, Bingxuan Liu, Brian Moser, Margarete Muehlleitner, Andreas Papaefstathiou, Roman Pasechnik, Rui Santos , et al. (7 additional authors not shown)

Abstract: We here report on the progress of the HHH Workshop, that took place in Dubrovnik in July 2023. After the discovery of a particle that complies with the properties of the Higgs boson of the Standard Model, all SM parameters are in principle determined. However, in order to verify or falsify the model, the full form of the potential has to be determined. This includes the measurement of the triple a… ▽ More We here report on the progress of the HHH Workshop, that took place in Dubrovnik in July 2023. After the discovery of a particle that complies with the properties of the Higgs boson of the Standard Model, all SM parameters are in principle determined. However, in order to verify or falsify the model, the full form of the potential has to be determined. This includes the measurement of the triple and quartic scalar couplings. We here report on ongoing progress of measurements for multi scalar final states, with an emphasis on three SM-like scalar bosons at 125 GeV, but also mentioning other options. We discuss both experimental progress and challenges as well as theoretical studies and models that can enhance such rates with respect to the SM predictions. △ Less

Submitted 4 July, 2024; v1 submitted 3 July, 2024; originally announced July 2024.

Comments: 117 pages, 56 figures; Whitepaper resulting from HHH Workshop in Dubrovnik 2023, https://indico.cern.ch/event/1232581/; v2: small typos corrected

Reliable edge machine learning hardware for scientific applications

Authors: Tommaso Baldi, Javier Campos, Ben Hawks, Jennifer Ngadiuba, Nhan Tran, Daniel Diaz, Javier Duarte, Ryan Kastner, Andres Meza, Melissa Quinnan, Olivia Weng, Caleb Geniesse, Amir Gholami, Michael W. Mahoney, Vladimir Loncar, Philip Harris, Joshua Agar, Shuyu Qin

Abstract: Extreme data rate scientific experiments create massive amounts of data that require efficient ML edge processing. This leads to unique validation challenges for VLSI implementations of ML algorithms: enabling bit-accurate functional simulations for performance validation in experimental software frameworks, verifying those ML models are robust under extreme quantization and pruning, and enabling… ▽ More Extreme data rate scientific experiments create massive amounts of data that require efficient ML edge processing. This leads to unique validation challenges for VLSI implementations of ML algorithms: enabling bit-accurate functional simulations for performance validation in experimental software frameworks, verifying those ML models are robust under extreme quantization and pruning, and enabling ultra-fine-grained model inspection for efficient fault tolerance. We discuss approaches to develo** and validating reliable algorithms at the scientific edge under such strict latency, resource, power, and area requirements in extreme experimental environments. We study metrics for develo** robust algorithms, present preliminary results and mitigation strategies, and conclude with an outlook of these and future directions of research towards the longer-term goal of develo** autonomous scientific experimentation methods for accelerated scientific discovery. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comments: IEEE VLSI Test Symposium 2024 (VTS)

Report number: FERMILAB-CONF-24-0116-CSAID

Arena 3.0: Advancing Social Navigation in Collaborative and Highly Dynamic Environments

Authors: Linh Kästner, Volodymyir Shcherbyna, Huajian Zeng, Tuan Anh Le, Maximilian Ho-Kyoung Schreff, Halid Osmaev, Nam Truong Tran, Diego Diaz, Jan Golebiowski, Harold Soh, Jens Lambrecht

Abstract: Building upon our previous contributions, this paper introduces Arena 3.0, an extension of Arena-Bench, Arena 1.0, and Arena 2.0. Arena 3.0 is a comprehensive software stack containing multiple modules and simulation environments focusing on the development, simulation, and benchmarking of social navigation approaches in collaborative environments. We significantly enhance the realism of human beh… ▽ More Building upon our previous contributions, this paper introduces Arena 3.0, an extension of Arena-Bench, Arena 1.0, and Arena 2.0. Arena 3.0 is a comprehensive software stack containing multiple modules and simulation environments focusing on the development, simulation, and benchmarking of social navigation approaches in collaborative environments. We significantly enhance the realism of human behavior simulation by incorporating a diverse array of new social force models and interaction patterns, encompassing both human-human and human-robot dynamics. The platform provides a comprehensive set of new task modes, designed for extensive benchmarking and testing and is capable of generating realistic and human-centric environments dynamically, catering to a broad spectrum of social navigation scenarios. In addition, the platform's functionalities have been abstracted across three widely used simulators, each tailored for specific training and testing purposes. The platform's efficacy has been validated through an extensive benchmark and user evaluations of the platform by a global community of researchers and students, which noted the substantial improvement compared to previous versions and expressed interests to utilize the platform for future research and development. Arena 3.0 is openly available at https://github.com/Arena-Rosnav. △ Less

Submitted 2 June, 2024; originally announced June 2024.

Comments: 11 pages, 6 figures

Journal ref: Robotics Science and Systems 2024, Delft Netherlands

Earthquakes and the wealth of nations: The cases of Chile and New Zealand

Authors: Diego Díaz, Pablo Paniagua, Cristián Larroulet

Abstract: The consequences of natural disasters, such as earthquakes, are evident: death, coordination problems, destruction of infrastructure, and displacement of population. However, according to empirical research, the impact of a natural disaster on economic activity is mixed. Natural disasters could have significant economic effects, especially in develo** economies. This is particularly important fo… ▽ More The consequences of natural disasters, such as earthquakes, are evident: death, coordination problems, destruction of infrastructure, and displacement of population. However, according to empirical research, the impact of a natural disaster on economic activity is mixed. Natural disasters could have significant economic effects, especially in develo** economies. This is particularly important for highly seismic countries such as Chile and New Zealand. This paper contributes to the literature on natural disasters and economic development by analyzing the cases of two affected regions within these countries in the wake of major earthquakes experienced during 2010-2011: Maule (Chile) and Canterbury (New Zealand). We examine the impact of natural disasters on GDP per capita by applying the synthetic control method. Using the synthetic approach, we assess the effects of these two earthquakes by building counterfactuals to compare their recovery trajectories. We find that Chile and New Zealand experienced opposite economic effects. The Canterbury region grew 10% more in three years than its synthetic counterfactual without the earthquake, while the Maule region declined by 5%. We build synthetic controls at a regional and economic-sector level, looking at aggregated and sectoral effects. The difference in institutions, such as property rights and the large amount of government spending given for reconstruction after the New Zealand earthquake relative to Chile's, help to explain the difference in outcomes. △ Less

Submitted 20 May, 2024; originally announced May 2024.

Report from the Workshop on Xenon Detector $0νββ$ Searches: Steps Towards the Kilotonne Scale

Authors: A. Anker, A. Avasthi, M. Brodeur, T. Brunner, N. K. Byrnes, N. R. Catarineu, A. Cottle, P. Englezos, W. Fairbank, D. González Díaz, R. Guenette, S. J. Haselschwardt, S. Hedges, M. Heffner, J. D. Holt, A. Jamil, B. J. P. Jones, N. Kawada, S. Leardini, B. G. Lenardo, A. Marc, J. Masbou, K. Mistry, B. Mong, B. Monreal , et al. (13 additional authors not shown)

Abstract: These proceedings summarize the program and discussions of the ``Workshop on Xenon Detector $0νββ$ Searches: Steps Towards the Kilotonne Scale'' held on October 25-27 2023 at SLAC National Accelerator Laboratory. This workshop brought together experts from the communities of neutrinoless double-beta decay and dark matter detection, to discuss paths forward for the realization of monolithic experim… ▽ More These proceedings summarize the program and discussions of the ``Workshop on Xenon Detector $0νββ$ Searches: Steps Towards the Kilotonne Scale'' held on October 25-27 2023 at SLAC National Accelerator Laboratory. This workshop brought together experts from the communities of neutrinoless double-beta decay and dark matter detection, to discuss paths forward for the realization of monolithic experiments with xenon approaching the kilotonne scale. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 7 pages, 2 figures. Proceedings

Casimir energy on the sphere and 6D CFT trace anomaly

Authors: R. Aros, F. Bugini, D. E. Díaz, C. Núñez-Barra

Abstract: We elucidate the dependence of the Casimir energy on the trace anomaly coefficients for a six-dimensional CFT on $R\times S^5$. This extends the universal dependence on the central charge in 2D and the relation by Cappelli and Coste in 4D, unveiling the role of the trivial total derivatives in the anomaly that renders the Casimir energy scheme dependent. We obtain… ▽ More We elucidate the dependence of the Casimir energy on the trace anomaly coefficients for a six-dimensional CFT on $R\times S^5$. This extends the universal dependence on the central charge in 2D and the relation by Cappelli and Coste in 4D, unveiling the role of the trivial total derivatives in the anomaly that renders the Casimir energy scheme dependent. We obtain $$E_o=-\frac{15}{8}\,a_6 -\frac{5}{12}\,\left(g_5+\frac{1}{4}\,g_7+\frac{1}{2}\,g_8-10\, g_9+g_{10}\right),$$ with $a_6$ being the type A central charge and the $g$'s, the coefficients of five out of six terms that form a basis for trivial total derivatives. The derivation is based on the Polyakov formulas (conformal primitive) resulting from the integration of the trace anomaly. Alternatively, on a 6D conformally flat background the above basis is redundant and one can simplify further to get, in terms of the Schouten scalar $J$ and the Schouten tensor $V$, Branson's basis for trivial total derivatives $\nabla^2\nabla^2 J$, $\nabla^2J^2$ and $\nabla^2|V|^2+2\nabla\cdot(V\cdot\nabla\,J)$ with coefficients $γ_1, γ_2$ and $γ_3$, respectively, \begin{equation} \nonumber E_o=-\frac{15}{8}a_6-\frac{1}{24}\left(γ_1-γ_2 -\frac{1}{8}γ_3\right)~. \end{equation} △ Less

Submitted 7 May, 2024; v1 submitted 23 April, 2024; originally announced April 2024.

Comments: 14 pages. No figures. Three Tables. Version two. References added and new appendix included

Working paper: Characterizing the mode-choice behavior

Authors: Kathleen Salazar-Serna, Jesus D. Diaz, Isabel C. Garcia

Abstract: Urban mobility in develo** countries, particularly in cities like Cali, Colombia, faces multifaceted challenges influenced by socioeconomic factors and the distinct characteristics of transport users Despite motorcycles emerging as a prevalent mode, their impact remains underexplored in the literature. This study employs extensive survey data collection, descriptive and cluster analysis, enablin… ▽ More Urban mobility in develo** countries, particularly in cities like Cali, Colombia, faces multifaceted challenges influenced by socioeconomic factors and the distinct characteristics of transport users Despite motorcycles emerging as a prevalent mode, their impact remains underexplored in the literature. This study employs extensive survey data collection, descriptive and cluster analysis, enabling an understanding of mode choice behaviors. Comparative analyses reveal significant relationships between transport choices and variables such as socio-economic status and age. Cluster analysis unveiled distinct behavior patterns among Cali's urban transport users. Identifying groups with similar preferences and perceptions enhanced comprehension of diverse user needs, hel** to understand travel behavior within the urban transport context. This study contributes to close knowledge gap insight into the intricate landscape of urban transport in develo** countries. The findings offer a foundation for informed policy development, emphasizing the importance of considering socioeconomic factors, travel preferences, and the prevalence of motorcycles in crafting effective urban strategies. △ Less

Submitted 10 February, 2024; originally announced February 2024.

Comments: 48 pages, 10 figures

MSC Class: 62P30; 62P25

Developments and applications of the OPTIMADE API for materials discovery, design, and data exchange

Authors: Matthew L. Evans, Johan Bergsma, Andrius Merkys, Casper W. Andersen, Oskar B. Andersson, Daniel Beltrán, Evgeny Blokhin, Tara M. Boland, Rubén Castañeda Balderas, Kamal Choudhary, Alberto Díaz Díaz, Rodrigo Domínguez García, Hagen Eckert, Kristjan Eimre, María Elena Fuentes Montero, Adam M. Krajewski, Jens Jørgen Mortensen, José Manuel Nápoles Duarte, Jacob Pietryga, Ji Qi, Felipe de Jesús Trejo Carrillo, Antanas Vaitkus, Jusong Yu, Adam Zettel, Pedro Baptista de Castro , et al. (34 additional authors not shown)

Abstract: The Open Databases Integration for Materials Design (OPTIMADE) application programming interface (API) empowers users with holistic access to a growing federation of databases, enhancing the accessibility and discoverability of materials and chemical data. Since the first release of the OPTIMADE specification (v1.0), the API has undergone significant development, leading to the upcoming v1.2 relea… ▽ More The Open Databases Integration for Materials Design (OPTIMADE) application programming interface (API) empowers users with holistic access to a growing federation of databases, enhancing the accessibility and discoverability of materials and chemical data. Since the first release of the OPTIMADE specification (v1.0), the API has undergone significant development, leading to the upcoming v1.2 release, and has underpinned multiple scientific studies. In this work, we highlight the latest features of the API format, accompanying software tools, and provide an update on the implementation of OPTIMADE in contributing materials databases. We end by providing several use cases that demonstrate the utility of the OPTIMADE API in materials research that continue to drive its ongoing development. △ Less

Submitted 5 April, 2024; v1 submitted 1 February, 2024; originally announced February 2024.

INRISCO: INcident monitoRing In Smart COmmunities

Authors: Mónica Aguilar Igartua, Florina Almenares, Rebeca P. Díaz Redondo, Manuela I. Martín, Jordi Forné, Celeste Campo, Ana Fernández, Luis J. de la Cruz, Carlos García-Rubio, Andrés Marínn, Ahmad Mohamad Mezher, Daniel Díaz, Héctor Cerezo, David Rebollo-Monedero, Patricia Arias, Francisco Rico

Abstract: Major advances in information and communication technologies (ICTs) make citizens to be considered as sensors in motion. Carrying their mobile devices, moving in their connected vehicles or actively participating in social networks, citizens provide a wealth of information that, after properly processing, can support numerous applications for the benefit of the community. In the context of smart c… ▽ More Major advances in information and communication technologies (ICTs) make citizens to be considered as sensors in motion. Carrying their mobile devices, moving in their connected vehicles or actively participating in social networks, citizens provide a wealth of information that, after properly processing, can support numerous applications for the benefit of the community. In the context of smart communities, the INRISCO proposal intends for (i) the early detection of abnormal situations in cities (i.e., incidents), (ii) the analysis of whether, according to their impact, those incidents are really adverse for the community; and (iii) the automatic actuation by dissemination of appropriate information to citizens and authorities. Thus, INRISCO will identify and report on incidents in traffic (jam, accident) or public infrastructure (e.g., works, street cut), the occurrence of specific events that affect other citizens life (e.g., demonstrations, concerts), or environmental problems (e.g., pollution, bad weather). It is of particular interest to this proposal the identification of incidents with a social and economic impact, which affects the quality of life of citizens. △ Less

Submitted 12 December, 2023; originally announced December 2023.

Journal ref: EEE Access, vol. 8, 2020

Predicting a Protein's Stability under a Million Mutations

Authors: Jeffrey Ouyang-Zhang, Daniel J. Diaz, Adam R. Klivans, Philipp Krähenbühl

Abstract: Stabilizing proteins is a foundational step in protein engineering. However, the evolutionary pressure of all extant proteins makes identifying the scarce number of mutations that will improve thermodynamic stability challenging. Deep learning has recently emerged as a powerful tool for identifying promising mutations. Existing approaches, however, are computationally expensive, as the number of m… ▽ More Stabilizing proteins is a foundational step in protein engineering. However, the evolutionary pressure of all extant proteins makes identifying the scarce number of mutations that will improve thermodynamic stability challenging. Deep learning has recently emerged as a powerful tool for identifying promising mutations. Existing approaches, however, are computationally expensive, as the number of model inferences scales with the number of mutations queried. Our main contribution is a simple, parallel decoding algorithm. Our Mutate Everything is capable of predicting the effect of all single and double mutations in one forward pass. It is even versatile enough to predict higher-order mutations with minimal computational overhead. We build Mutate Everything on top of ESM2 and AlphaFold, neither of which were trained to predict thermodynamic stability. We trained on the Mega-Scale cDNA proteolysis dataset and achieved state-of-the-art performance on single and higher-order mutations on S669, ProTherm, and ProteinGym datasets. Code is available at https://github.com/jozhang97/MutateEverything △ Less

Submitted 30 October, 2023; v1 submitted 19 October, 2023; originally announced October 2023.

Comments: NeurIPS 2023. Code available at https://github.com/jozhang97/MutateEverything

Using Integer Constraint Solving in Reuse Based Requirements Engineering

Authors: Camille Salinesi, Raul Mazo, Daniel Diaz, Olfa Djebbi

Abstract: Product Lines (PL) have proved an effective approach to reuse-based systems development. Several modeling languages were proposed so far to specify PL. Although they can be very different, these languages show two common features: they emphasize (a) variability, and (b) the specification of constraints to define acceptable configurations. It is now widely acknowledged that configuring a product ca… ▽ More Product Lines (PL) have proved an effective approach to reuse-based systems development. Several modeling languages were proposed so far to specify PL. Although they can be very different, these languages show two common features: they emphasize (a) variability, and (b) the specification of constraints to define acceptable configurations. It is now widely acknowledged that configuring a product can be considered as a constraint satisfaction problem. It is thus natural to consider constraint programming as a first choice candidate to specify constraints on PL. For instance, the different constraints that can be specified using the FODA language can easily be expressed using boolean constraints, which enables automated calculation and configuration using a SAT solver. But constraint programming proposes other domains than the boolean domain: for instance integers, real, or sets. The integer domain was, for instance, proposed by Benavides to specify constraints on feature attributes. This paper proposes to further explore the use of integer constraint programming to specify PL constraints. The approach was implemented in a prototype tool. Its use in a real case showed that constraint programming encompasses different PL modeling languages (such as FORE, OVM, or else), and allows specifying complex constraints that are difficult to specify with these languages. △ Less

Submitted 28 September, 2023; originally announced September 2023.

Journal ref: 18th IEEE International Requirements Engineering Conference (RE), 2010, Sep 2010, Sydney, Australia. pp.243-251

Deriving Product Line Requirements: the RED-PL Guidance Approach

Authors: Olfa Djebbi, Camille Salinesi, Daniel Diaz

Abstract: Product lines (PL) modeling have proven to be an effective approach to reuse in software development.Several variability approaches were developed to plan requirements reuse, but only little of them actuallyaddress the issue of deriving product requirements.This paper presents a method, RED-PL that intends to support requirements derivation. The originality ofthe proposed approach is that (i) it i… ▽ More Product lines (PL) modeling have proven to be an effective approach to reuse in software development.Several variability approaches were developed to plan requirements reuse, but only little of them actuallyaddress the issue of deriving product requirements.This paper presents a method, RED-PL that intends to support requirements derivation. The originality ofthe proposed approach is that (i) it is user-oriented, (ii) it guides product requirements elicitation andderivation as a decision making activity, and (iii) it provides systematic and interactive guidance assistinganalysts in taking decisions about requirements. The RED-PL methodological process was validatedin an industrial setting by considering the requirement engineering phase of a product line of blood analyzers. △ Less

Submitted 25 September, 2023; originally announced September 2023.

Journal ref: Software Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific, Dec 2007, Nagoya, Japan. pp.494 - 501

LHC Study of Third-Generation Scalar Leptoquarks with Machine-Learned Likelihoods

Authors: Ernesto Arganda, Daniel A. Díaz, Andres D. Perez, Rosa M. Sandá Seoane, Alejandro Szynkman

Abstract: We study the impact of machine-learning algorithms on LHC searches for leptoquarks in final states with hadronically decaying tau leptons, multiple $b$-jets, and large missing transverse momentum. Pair production of scalar leptoquarks with decays only into third-generation leptons and quarks is assumed. Thanks to the use of supervised learning tools with unbinned methods to handle the high-dimensi… ▽ More We study the impact of machine-learning algorithms on LHC searches for leptoquarks in final states with hadronically decaying tau leptons, multiple $b$-jets, and large missing transverse momentum. Pair production of scalar leptoquarks with decays only into third-generation leptons and quarks is assumed. Thanks to the use of supervised learning tools with unbinned methods to handle the high-dimensional final states, we consider simple selection cuts which would possibly translate into an improvement in the exclusion limits at the 95$\%$ confidence level for leptoquark masses with different values of their branching fraction into charged leptons. In particular, for intermediate branching fractions, we expect that the exclusion limits for leptoquark masses extend to $\sim$1.3 TeV. As a novelty in the implemented unbinned analysis, we include a simplified estimation of some systematic uncertainties with the aim of studying their possible impact on the stability of the results. Finally, we also present the projected sensitivity within this framework at 14 TeV for 300 and 3000 fb$^{-1}$ that extends the upper limits to $\sim$1.6 and $\sim$1.8 TeV, respectively. △ Less

Submitted 11 March, 2024; v1 submitted 11 September, 2023; originally announced September 2023.

Comments: 25 pages, 7 figures, 2 tables (version published in PRD). Unbinned method code with approach to systematic uncertainty inclusion available from https://github.com/AndresDanielPerez/

Report number: IFT-UAM/CSIC-23-110

Multiplicative Anomaly matches Casimir Energy for GJMS Operators on Spheres

Authors: R. Aros, F. Bugini, D. E. Díaz, B. Zúñiga

Abstract: An explicit formula to compute the multiplicative anomaly or defect of $ζ$-regularized products of linear factors is derived, by using a Feynman parametrization, generalizing Shintani-Mizuno formulas. Firstly, this is applied on $n$-spheres, reproducing known results in the literature. Then, this framework is applied to a closed Einstein universe at finite temperature, namely… ▽ More An explicit formula to compute the multiplicative anomaly or defect of $ζ$-regularized products of linear factors is derived, by using a Feynman parametrization, generalizing Shintani-Mizuno formulas. Firstly, this is applied on $n$-spheres, reproducing known results in the literature. Then, this framework is applied to a closed Einstein universe at finite temperature, namely $S^1_β\times S^{n-1}$. In doing so, it is shown that the standard Casimir energy for GJMS operators coincides with the accumulated multiplicative anomaly for the shifted Laplacians that build them up. This equivalence between Casimir energy and multiplicative anomaly, unnoticed so far to our knowledge, brings about a new turn regarding the physical significance of the multiplicative anomaly, putting both now on equal footing. An emergent improved Casimir energy, that takes into account the multiplicative anomaly among the building Laplacians, is also discussed. △ Less

Submitted 6 December, 2023; v1 submitted 8 September, 2023; originally announced September 2023.

Comments: No Fig. 25 Pages, discussion expanded and references added

Algoritmo Concurrente por Conjuntos de Pilas con Multiplicidad: SetStackLogic

Authors: Jose Damian Lopez Diaz

Abstract: This article aims to describe and explain the theoretical foundations of concurrent and set concurrent algorithms, considering an asynchronous shared memory system where any number of processes can crash. Verification of concurrent algorithms is often described in terms of their progress condition, which guarantees that eventually something good will happen, also called the security of the algorit… ▽ More This article aims to describe and explain the theoretical foundations of concurrent and set concurrent algorithms, considering an asynchronous shared memory system where any number of processes can crash. Verification of concurrent algorithms is often described in terms of their progress condition, which guarantees that eventually something good will happen, also called the security of the algorithms, and correctness, which guarantees that nothing bad will happen, also called liveliness. of the algorithms. The meaning of correctness of a concurrent algorithm is explained in detail, focusing on linearizability, and a generalization is addressed, concurrency by sets; which is much more recent and less well known. The {\it SetStackLogic} algorithm is shown, which is a set-concurrent algorithm and is also an implementation of a stack with multiplicity. The properties of the algorithm {\it SetStackLogic} are demonstrated in a formal and detailed way, in order to present a rigorous scheme in the formalization of this type of algorithm; same that could be used for other algorithms. In addition, the operation of the algorithm is explained through scenario examples that illustrate its dynamics in some possible executions. △ Less

Submitted 25 July, 2023; originally announced July 2023.

Comments: 23 pages, in Spanish language, 7 figures

Project Florida: Federated Learning Made Easy

Authors: Daniel Madrigal Diaz, Andre Manoel, Jialei Chen, Nalin Singal, Robert Sim

Abstract: We present Project Florida, a system architecture and software development kit (SDK) enabling deployment of large-scale Federated Learning (FL) solutions across a heterogeneous device ecosystem. Federated learning is an approach to machine learning based on a strong data sovereignty principle, i.e., that privacy and security of data is best enabled by storing it at its origin, whether on end-user… ▽ More We present Project Florida, a system architecture and software development kit (SDK) enabling deployment of large-scale Federated Learning (FL) solutions across a heterogeneous device ecosystem. Federated learning is an approach to machine learning based on a strong data sovereignty principle, i.e., that privacy and security of data is best enabled by storing it at its origin, whether on end-user devices or in segregated cloud storage silos. Federated learning enables model training across devices and silos while the training data remains within its security boundary, by distributing a model snapshot to a client running inside the boundary, running client code to update the model, and then aggregating updated snapshots across many clients in a central orchestrator. Deploying a FL solution requires implementation of complex privacy and security mechanisms as well as scalable orchestration infrastructure. Scale and performance is a paramount concern, as the model training process benefits from full participation of many client devices, which may have a wide variety of performance characteristics. Project Florida aims to simplify the task of deploying cross-device FL solutions by providing cloud-hosted infrastructure and accompanying task management interfaces, as well as a multi-platform SDK supporting most major programming languages including C++, Java, and Python, enabling FL training across a wide range of operating system (OS) and hardware specifications. The architecture decouples service management from the FL workflow, enabling a cloud service provider to deliver FL-as-a-service (FLaaS) to ML engineers and application developers. We present an overview of Florida, including a description of the architecture, sample code, and illustrative experiments demonstrating system capabilities. △ Less

Submitted 21 July, 2023; originally announced July 2023.

ELEV-VISION: Automated Lowest Floor Elevation Estimation from Segmenting Street View Images

Authors: Yu-Hsuan Ho, Cheng-Chun Lee, Nicholas D. Diaz, Samuel D. Brody, Ali Mostafavi

Abstract: We propose an automated lowest floor elevation (LFE) estimation algorithm based on computer vision techniques to leverage the latent information in street view images. Flood depth-damage models use a combination of LFE and flood depth for determining flood risk and extent of damage to properties. We used image segmentation for detecting door bottoms and roadside edges from Google Street View image… ▽ More We propose an automated lowest floor elevation (LFE) estimation algorithm based on computer vision techniques to leverage the latent information in street view images. Flood depth-damage models use a combination of LFE and flood depth for determining flood risk and extent of damage to properties. We used image segmentation for detecting door bottoms and roadside edges from Google Street View images. The characteristic of equirectangular projection with constant spacing representation of horizontal and vertical angles allows extraction of the pitch angle from the camera to the door bottom. The depth from the camera to the door bottom was obtained from the depthmap paired with the Google Street View image. LFEs were calculated from the pitch angle and the depth. The testbed for application of the proposed method is Meyerland (Harris County, Texas). The results show that the proposed method achieved mean absolute error of 0.190 m (1.18 %) in estimating LFE. The height difference between the street and the lowest floor (HDSL) was estimated to provide information for flood damage estimation. The proposed automatic LFE estimation algorithm using Street View images and image segmentation provides a rapid and cost-effective method for LFE estimation compared with the surveys using total station theodolite and unmanned aerial systems. By obtaining more accurate and up-to-date LFE data using the proposed method, city planners, emergency planners and insurance companies could make a more precise estimation of flood damage. △ Less

Submitted 5 June, 2023; originally announced June 2023.

Smart Face Shield: A Sensor-Based Wearable Face Shield Utilizing Computer Vision Algorithms

Authors: Manuel Luis C. Delos Santos, Ronaldo S. Tinio, Darwin B. Diaz, Karlene Emily I. Tolosa

Abstract: The study aims the development of a wearable device to combat the onslaught of covid-19. Likewise, to enhance the regular face shield available in the market. Furthermore, to raise awareness of the health and safety protocols initiated by the government and its affiliates in the enforcement of social distancing with the integration of computer vision algorithms. The wearable device was composed of… ▽ More The study aims the development of a wearable device to combat the onslaught of covid-19. Likewise, to enhance the regular face shield available in the market. Furthermore, to raise awareness of the health and safety protocols initiated by the government and its affiliates in the enforcement of social distancing with the integration of computer vision algorithms. The wearable device was composed of various hardware and software components such as a transparent polycarbonate face shield, microprocessor, sensors, camera, thin-film transistor on-screen display, jumper wires, power bank, and python programming language. The algorithm incorporated in the study was object detection under computer vision machine learning. The front camera with OpenCV technology determines the distance of a person in front of the user. Utilizing TensorFlow, the target object identifies and detects the image or live feed to get its bounding boxes. The focal length lens requires the determination of the distance from the camera to the target object. To get the focal length, multiply the pixel width by the known distance and divide it by the known width (Rosebrock, 2020). The deployment of unit testing ensures that the parameters are valid in terms of design and specifications. △ Less

Submitted 17 December, 2022; originally announced December 2022.

Journal ref: IJCSR Volume 6, October 2022, ISSN 2546-115X, pages 1-15

FAIR AI Models in High Energy Physics

Authors: Javier Duarte, Haoyang Li, Avik Roy, Ruike Zhu, E. A. Huerta, Daniel Diaz, Philip Harris, Raghav Kansal, Daniel S. Katz, Ishaan H. Kavoori, Volodymyr V. Kindratenko, Farouk Mokhtar, Mark S. Neubauer, Sang Eon Park, Melissa Quinnan, Roger Rusack, Zhizhen Zhao

Abstract: The findable, accessible, interoperable, and reusable (FAIR) data principles provide a framework for examining, evaluating, and improving how data is shared to facilitate scientific discovery. Generalizing these principles to research software and other digital products is an active area of research. Machine learning (ML) models -- algorithms that have been trained on data without being explicitly… ▽ More The findable, accessible, interoperable, and reusable (FAIR) data principles provide a framework for examining, evaluating, and improving how data is shared to facilitate scientific discovery. Generalizing these principles to research software and other digital products is an active area of research. Machine learning (ML) models -- algorithms that have been trained on data without being explicitly programmed -- and more generally, artificial intelligence (AI) models, are an important target for this because of the ever-increasing pace with which AI is transforming scientific domains, such as experimental high energy physics (HEP). In this paper, we propose a practical definition of FAIR principles for AI models in HEP and describe a template for the application of these principles. We demonstrate the template's use with an example AI model applied to HEP, in which a graph neural network is used to identify Higgs bosons decaying to two bottom quarks. We report on the robustness of this FAIR AI model, its portability across hardware architectures and software frameworks, and its interpretability. △ Less

Submitted 29 December, 2023; v1 submitted 9 December, 2022; originally announced December 2022.

Comments: 34 pages, 9 figures, 10 tables

Journal ref: Mach. Learn.: Sci. Technol. 4 (2023) 045062

Sea Level and Socioeconomic Uncertainty Drives High-End Coastal Adaptation Costs

Authors: Tony E. Wong, Catherine Ledna, Lisa Rennels, Hannah Sheets, Frank C. Errickson, Delavane Diaz, David Anthoff

Abstract: Sea-level rise and associated flood hazards pose severe risks to the millions of people globally living in coastal zones. Models representing coastal adaptation and impacts are important tools to inform the design of strategies to manage these risks. Representing the often deep uncertainties influencing these risks poses nontrivial challenges. A common uncertainty characterization approach is to u… ▽ More Sea-level rise and associated flood hazards pose severe risks to the millions of people globally living in coastal zones. Models representing coastal adaptation and impacts are important tools to inform the design of strategies to manage these risks. Representing the often deep uncertainties influencing these risks poses nontrivial challenges. A common uncertainty characterization approach is to use a few benchmark cases to represent the range and relative probabilities of the set of possible outcomes. This has been done in coastal adaptation studies, for example, by using low, moderate, and high percentiles of an input of interest, like sea-level changes. A key consideration is how this simplified characterization of uncertainty influences the distributions of estimated coastal impacts. Here, we show that using only a few benchmark percentiles to represent uncertainty in future sea-level change can lead to overconfident projections and underestimate high-end risks as compared to using full ensembles for sea-level change and socioeconomic parametric uncertainties. When uncertainty in future sea level is characterized by low, moderate, and high percentiles of global mean sea-level rise, estimates of high-end (95th percentile) damages are underestimated by between 18% (SSP1-2.6) and 46% (SSP5-8.5). Additionally, using the 5th and 95th percentiles of sea-level scenarios underestimates the 5-95% width of the distribution of adaptation costs by a factor ranging from about two to four, depending on SSP-RCP pathway. The resulting underestimation of the uncertainty range in adaptation costs can bias adaptation and mitigation decision-making. △ Less

Submitted 29 November, 2022; originally announced November 2022.

Performance of the CMS High Granularity Calorimeter prototype to charged pion beams of 20$-$300 GeV/c

Authors: B. Acar, G. Adamov, C. Adloff, S. Afanasiev, N. Akchurin, B. Akgün, M. Alhusseini, J. Alison, J. P. Figueiredo de sa Sousa de Almeida, P. G. Dias de Almeida, A. Alpana, M. Alyari, I. Andreev, U. Aras, P. Aspell, I. O. Atakisi, O. Bach, A. Baden, G. Bakas, A. Bakshi, S. Banerjee, P. DeBarbaro, P. Bargassa, D. Barney, F. Beaudette , et al. (435 additional authors not shown)

Abstract: The upgrade of the CMS experiment for the high luminosity operation of the LHC comprises the replacement of the current endcap calorimeter by a high granularity sampling calorimeter (HGCAL). The electromagnetic section of the HGCAL is based on silicon sensors interspersed between lead and copper (or copper tungsten) absorbers. The hadronic section uses layers of stainless steel as an absorbing med… ▽ More The upgrade of the CMS experiment for the high luminosity operation of the LHC comprises the replacement of the current endcap calorimeter by a high granularity sampling calorimeter (HGCAL). The electromagnetic section of the HGCAL is based on silicon sensors interspersed between lead and copper (or copper tungsten) absorbers. The hadronic section uses layers of stainless steel as an absorbing medium and silicon sensors as an active medium in the regions of high radiation exposure, and scintillator tiles directly readout by silicon photomultipliers in the remaining regions. As part of the development of the detector and its readout electronic components, a section of a silicon-based HGCAL prototype detector along with a section of the CALICE AHCAL prototype was exposed to muons, electrons and charged pions in beam test experiments at the H2 beamline at the CERN SPS in October 2018. The AHCAL uses the same technology as foreseen for the HGCAL but with much finer longitudinal segmentation. The performance of the calorimeters in terms of energy response and resolution, longitudinal and transverse shower profiles is studied using negatively charged pions, and is compared to GEANT4 predictions. This is the first report summarizing results of hadronic showers measured by the HGCAL prototype using beam test data. △ Less

Submitted 27 May, 2023; v1 submitted 9 November, 2022; originally announced November 2022.

Comments: Accepted for publication by JINST

FAIR for AI: An interdisciplinary and international community building perspective

Authors: E. A. Huerta, Ben Blaiszik, L. Catherine Brinson, Kristofer E. Bouchard, Daniel Diaz, Caterina Doglioni, Javier M. Duarte, Murali Emani, Ian Foster, Geoffrey Fox, Philip Harris, Lukas Heinrich, Shantenu Jha, Daniel S. Katz, Volodymyr Kindratenko, Christine R. Kirkpatrick, Kati Lassila-Perini, Ravi K. Madduri, Mark S. Neubauer, Fotis E. Psomopoulos, Avik Roy, Oliver Rübel, Zhizhen Zhao, Ruike Zhu

Abstract: A foundational set of findable, accessible, interoperable, and reusable (FAIR) principles were proposed in 2016 as prerequisites for proper data management and stewardship, with the goal of enabling the reusability of scholarly data. The principles were also meant to apply to other digital assets, at a high level, and over time, the FAIR guiding principles have been re-interpreted or extended to i… ▽ More A foundational set of findable, accessible, interoperable, and reusable (FAIR) principles were proposed in 2016 as prerequisites for proper data management and stewardship, with the goal of enabling the reusability of scholarly data. The principles were also meant to apply to other digital assets, at a high level, and over time, the FAIR guiding principles have been re-interpreted or extended to include the software, tools, algorithms, and workflows that produce data. FAIR principles are now being adapted in the context of AI models and datasets. Here, we present the perspectives, vision, and experiences of researchers from different countries, disciplines, and backgrounds who are leading the definition and adoption of FAIR principles in their communities of practice, and discuss outcomes that may result from pursuing and incentivizing FAIR AI research. The material for this report builds on the FAIR for AI Workshop held at Argonne National Laboratory on June 7, 2022. △ Less

Submitted 1 August, 2023; v1 submitted 30 September, 2022; originally announced October 2022.

Comments: 10 pages, comments welcome!; v2: 12 pages, accepted to Scientific Data

ACM Class: I.2.0; E.0

Journal ref: Scientific Data 10, 487 (2023)

GJMS-like operators on symmetric 2-tensors and their gravitational duals

Authors: Rodrigo Aros, Fabrizzio Bugini, Danilo E. Diaz

Abstract: We study a family of higher-derivative conformal operators $P_{2k}^{(2)}$ acting on transverse-traceless symmetric 2-tensors on generic Einstein spaces. They are a natural generalization of the well-known construction for scalars. We first provide the alternative description in terms of a bulk Poincaré-Einstein metric by making use of the AdS/CFT dictionary and argue that their holographic dual… ▽ More We study a family of higher-derivative conformal operators $P_{2k}^{(2)}$ acting on transverse-traceless symmetric 2-tensors on generic Einstein spaces. They are a natural generalization of the well-known construction for scalars. We first provide the alternative description in terms of a bulk Poincaré-Einstein metric by making use of the AdS/CFT dictionary and argue that their holographic dual generically consists of bulk massive gravitons. At one-loop quantum level, we put forward a holographic formula for the functional determinant of the higher-derivative conformal operators $P_{2k}^{(2)}$ in terms of the functional determinant for massive gravitons with standard and alternate boundary conditions. The analogous construction for vectors $P_{2k}^{(1)}$ is worked out as well and we also rewrite the holographic formula for unconstrained vector and traceless symmetric 2-tensor by decoupling the longitudinal part. Finally, we show that the holographic formula provides the necessary building blocks to address the massless and partially massless bulk gravitons. This is confirmed in four and six dimensions, verifying full agreement with results available in the literature. △ Less

Submitted 6 December, 2022; v1 submitted 1 September, 2022; originally announced September 2022.

Comments: 15 Pages, 0 figures. Minor changes

Snowmass Instrumentation Frontier IF08 Topical Group Report: Noble Element Detectors

Authors: Carl Eric Dahl, Roxanne Guenette, Jennifer L. Raaf, D. Akerib, J. Asaadi, D. Caratelli, E. Church, M. Del Tutto, A. Fava, R. Gaitskell, G. K. Giovanetti, G. Giroux, D. Gonzalez Diaz, E. Gramellini, S. Haselschwardt, C. Jackson, B. J. P. Jones, A. Kopec, S. Kravitz, H. Lippincott, J. Liu, C. J. Martoff, A. Mastbaum, C. Montanari, M. Mooney , et al. (17 additional authors not shown)

Abstract: Particle detectors making use of noble elements in gaseous, liquid, or solid phases are prevalent in neutrino and dark matter experiments and are also used to a lesser extent in collider-based particle physics experiments. These experiments take advantage of both the very large, ultra-pure target volumes achievable and the multiple observable signal pathways possible in noble-element based particl… ▽ More Particle detectors making use of noble elements in gaseous, liquid, or solid phases are prevalent in neutrino and dark matter experiments and are also used to a lesser extent in collider-based particle physics experiments. These experiments take advantage of both the very large, ultra-pure target volumes achievable and the multiple observable signal pathways possible in noble-element based particle detectors. As these experiments seek to increase their sensitivity, novel and improved technologies will be needed to enhance the precision of their measurements and to broaden the reach of their physics programs. The areas of R&D in noble element instrumentation that have been identified by the HEP community in the Snowmass process are highlighted by five key messages: IF08-1) Enhance and combine existing modalities (scintillation and electron drift) to increase signal-to-noise and reconstruction fidelity; IF08-2) Develop new modalities for signal detection in noble elements, including methods based on ion drift, metastable fluids, solid-phase detectors and dissolved targets. Collaborative and blue-sky R&D should also be supported to enable advances in this area; IF08-3) Improve the understanding of detector microphysics and calibrate detector response in new signal regimes; IF08-4) Address challenges in scaling technologies, including material purification, background mitigation, large-area readout, and magnetization; and IF08-5) Train the next generation of researchers, using fast-turnaround instrumentation projects to provide the design-through-result training no longer possible in very-large-scale experiments. This topical group report identifies and documents recent developments and future needs for noble element detector technologies. In addition, we highlight the opportunity that this area of research provides for continued training of the next generation of scientists. △ Less

Submitted 15 September, 2022; v1 submitted 23 August, 2022; originally announced August 2022.

Comments: 20 pages, 1 figure

Report number: FERMILAB-CONF-22-631-ND

Collecting high-quality adversarial data for machine reading comprehension tasks with humans and models in the loop

Authors: Damian Y. Romero Diaz, Magdalena Anioł, John Culnan

Abstract: We present our experience as annotators in the creation of high-quality, adversarial machine-reading-comprehension data for extractive QA for Task 1 of the First Workshop on Dynamic Adversarial Data Collection (DADC). DADC is an emergent data collection paradigm with both models and humans in the loop. We set up a quasi-experimental annotation design and perform quantitative analyses across groups… ▽ More We present our experience as annotators in the creation of high-quality, adversarial machine-reading-comprehension data for extractive QA for Task 1 of the First Workshop on Dynamic Adversarial Data Collection (DADC). DADC is an emergent data collection paradigm with both models and humans in the loop. We set up a quasi-experimental annotation design and perform quantitative analyses across groups with different numbers of annotators focusing on successful adversarial attacks, cost analysis, and annotator confidence correlation. We further perform a qualitative analysis of our perceived difficulty of the task given the different topics of the passages in our dataset and conclude with recommendations and suggestions that might be of value to people working on future DADC tasks and related annotation interfaces. △ Less

Submitted 28 June, 2022; originally announced June 2022.

Comments: 8 pages, 3 figures, for more information about the shared task please go to https://dadcworkshop.github.io/

Galactic ArchaeoLogIcaL ExcavatiOns (GALILEO) I. An updated census of APOGEE N-rich giants across the Milky Way

Authors: José G. Fernández-Trincado, Timothy C. Beers, Beatriz Barbuy, Dante Minniti, Cristina Chiappini, Elisa R. Garro, Baitian Tang, Alan Alves-Brito, Sandro Villanova, Doug Geisler, Richard R. Lane, Danilo G. Diaz

Abstract: (ABRIDGED) We use the 17th data release of the second phase of the Apache Point Observatory Galactic Evolution Experiment (APOGEE-2) to provide a homogenous census of N-rich red giant stars across the Milky Way (MW). We report a total of 149 newly identified N-rich field giants toward the bulge, metal-poor disk, and halo of our Galaxy. They exhibit significant enrichment in their nitrogen abundanc… ▽ More (ABRIDGED) We use the 17th data release of the second phase of the Apache Point Observatory Galactic Evolution Experiment (APOGEE-2) to provide a homogenous census of N-rich red giant stars across the Milky Way (MW). We report a total of 149 newly identified N-rich field giants toward the bulge, metal-poor disk, and halo of our Galaxy. They exhibit significant enrichment in their nitrogen abundance ratios ([N/Fe] $\gtrsim+0.5$), along with simultaneous depletions in their [C/Fe] abundance ratios ([C/Fe] $< +0.15$), and they cover a wide range of metallicities ($-1.8 < $ [Fe/H] $ <-0.7$). The final sample of candidate N-rich red giant stars with globular-cluster-like (GC-like) abundance patterns from the APOGEE survey includes a grand total of $\sim$ 412 unique objects. These strongly N-enhanced stars are speculated to have been stripped from GCs based on their chemical similarities with these systems. Even though we have not found any strong evidence for binary companions or signatures of pulsating variability yet, we cannot rule out the possibility that some of these objects were members of binary systems in the past and/or are currently part of a variable system. In particular, the fact that we identify such stars among the field stars in our Galaxy provides strong evidence that the nucleosynthetic process(es) producing the anomalous [N/Fe] abundance ratios occurs over a wide range of metallicities. This may provide evidence either for or against the uniqueness of the progenitor stars to GCs and/or the existence of chemical anomalies associated with likely tidally shredded clusters in massive dwarf galaxies such as "Kraken/Koala," \textit{Gaia}-Enceladus-Sausage, among others, before or during their accretion by the MW. A dynamical analysis reveals that the newly identified N-rich stars exhibit a wide range of dynamical characteristics throughout the MW, ... △ Less

Submitted 20 April, 2022; originally announced April 2022.

Comments: Accepted to Astronomy & Astrophysics. 12 pages, 5 figures, and 3 tables

Journal ref: A&A 663, A126 (2022)

FLUTE: A Scalable, Extensible Framework for High-Performance Federated Learning Simulations

Authors: Mirian Hipolito Garcia, Andre Manoel, Daniel Madrigal Diaz, Fatemehsadat Mireshghallah, Robert Sim, Dimitrios Dimitriadis

Abstract: In this paper we introduce "Federated Learning Utilities and Tools for Experimentation" (FLUTE), a high-performance open-source platform for federated learning research and offline simulations. The goal of FLUTE is to enable rapid prototy** and simulation of new federated learning algorithms at scale, including novel optimization, privacy, and communications strategies. We describe the architect… ▽ More In this paper we introduce "Federated Learning Utilities and Tools for Experimentation" (FLUTE), a high-performance open-source platform for federated learning research and offline simulations. The goal of FLUTE is to enable rapid prototy** and simulation of new federated learning algorithms at scale, including novel optimization, privacy, and communications strategies. We describe the architecture of FLUTE, enabling arbitrary federated modeling schemes to be realized. We compare the platform with other state-of-the-art platforms and describe available features of FLUTE for experimentation in core areas of active research, such as optimization, privacy, and scalability. A comparison with other established platforms shows speed-ups of up to 42x and savings in memory footprint of 3x. A sample of the platform capabilities is also presented for a range of tasks, as well as other functionality, such as linear scaling for the number of participating clients, and a variety of federated optimizers, including FedAdam, DGA, etcetera. △ Less

Submitted 14 November, 2022; v1 submitted 25 March, 2022; originally announced March 2022.

Comments: 14 Pages, 3 Figures, 11 Tables

Improving Di-Higgs Sensitivity at Future Colliders in Hadronic Final States with Machine Learning

Authors: Artur Apresyan, Daniel Diaz, Javier Duarte, Sanmay Ganguly, Raghav Kansal, Nan Lu, Cristina Mantilla Suarez, Samadrita Mukherjee, Cristían Peña, Brian Sheldon, Si Xie

Abstract: One of the central goals of the physics program at the future colliders is to elucidate the origin of electroweak symmetry breaking, including precision measurements of the Higgs sector. This includes a detailed study of Higgs boson (H) pair production, which can reveal the H self-coupling. Since the discovery of the Higgs boson, a large campaign of measurements of the properties of the Higgs boso… ▽ More One of the central goals of the physics program at the future colliders is to elucidate the origin of electroweak symmetry breaking, including precision measurements of the Higgs sector. This includes a detailed study of Higgs boson (H) pair production, which can reveal the H self-coupling. Since the discovery of the Higgs boson, a large campaign of measurements of the properties of the Higgs boson has begun and many new ideas have emerged during the completion of this program. One such idea is the use of highly boosted and merged hadronic decays of the Higgs boson ($\mathrm{H}\to\mathrm{b}\bar{\mathrm{b}}$, $\mathrm{H}\to\mathrm{W}\mathrm{W}\to\mathrm{q}\bar{\mathrm{q}}\mathrm{q}\bar{\mathrm{q}}$) with machine learning methods to improve the signal-to-background discrimination. In this white paper, we champion the use of these modes to boost the sensitivity of future collider physics programs to Higgs boson pair production, the Higgs self-coupling, and Higgs-vector boson couplings. We demonstrate the potential improvement possible at the Future Circular Collider in hadron mode, especially with the use of graph neural networks. △ Less

Submitted 4 April, 2022; v1 submitted 14 March, 2022; originally announced March 2022.

Comments: Contribution to Snowmass 2022 Summer Study

Report number: FERMILAB-CONF-22-316-PPD-QIS

Fifty Years of Prolog and Beyond

Authors: Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto

Abstract: Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing. Often, the features added by diffe… ▽ More Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by many Prolog implementations. Many implementations are still actively developed, while new ones keep appearing. Often, the features added by different systems were motivated by the interdisciplinary needs of programmers and implementors, yielding systems that, while sharing the "classic" core language, and, in particular, the main aspects of the ISO-Prolog standard, also depart from each other in other aspects. This obviously poses challenges for code portability. The field has also inspired many related, but quite different languages that have created their own communities. This article aims at integrating and applying the main lessons learned in the process of evolution of Prolog. It is structured into three major parts. Firstly, we overview the evolution of Prolog systems and the community approximately up to the ISO standard, considering both the main historic developments and the motivations behind several Prolog implementations, as well as other logic programming languages influenced by Prolog. Then, we discuss the Prolog implementations that are most active after the appearance of the standard: their visions, goals, commonalities, and incompatibilities. Finally, we perform a SWOT analysis in order to better identify the potential of Prolog, and propose future directions along which Prolog might continue to add useful features, interfaces, libraries, and tools, while at the same time improving compatibility between implementations. △ Less

Submitted 14 March, 2022; v1 submitted 26 January, 2022; originally announced January 2022.

Comments: 87 pages, 2 figures. This article has been accepted for publication in Theory and Practice of Logic Programming (TPLP)

A new channel for excitonic transport in the FMO complex

Authors: Daniel López Díaz, Gabriel Gil, Augusto González

Abstract: We expose a new excitation transport channel in FMO, consisting of the 7 intramonomeric pigments and their 2nd nearest intermonomeric counterpart. Such a channel outcompetes the standard alternative, where intramonomeric pigments partner with their closest intermonomeric pigment. The efficient performance of the new channel lies at the interplay between incoherent energy transfer and the capacity… ▽ More We expose a new excitation transport channel in FMO, consisting of the 7 intramonomeric pigments and their 2nd nearest intermonomeric counterpart. Such a channel outcompetes the standard alternative, where intramonomeric pigments partner with their closest intermonomeric pigment. The efficient performance of the new channel lies at the interplay between incoherent energy transfer and the capacity of quantum coherence to build optimal acceptor levels. Finally, the differential fitness and peculiarity of the new over the alternative channel highlights its possible role within natural selection. △ Less

Submitted 12 January, 2022; v1 submitted 20 December, 2021; originally announced December 2021.

Comments: 5 pages + 3 pages of Supp. Mat., 4 figures, 1 table

Particle Graph Autoencoders and Differentiable, Learned Energy Mover's Distance

Authors: Steven Tsan, Raghav Kansal, Anthony Aportela, Daniel Diaz, Javier Duarte, Sukanya Krishna, Farouk Mokhtar, Jean-Roch Vlimant, Maurizio Pierini

Abstract: Autoencoders have useful applications in high energy physics in anomaly detection, particularly for jets - collimated showers of particles produced in collisions such as those at the CERN Large Hadron Collider. We explore the use of graph-based autoencoders, which operate on jets in their "particle cloud" representations and can leverage the interdependencies among the particles within a jet, for… ▽ More Autoencoders have useful applications in high energy physics in anomaly detection, particularly for jets - collimated showers of particles produced in collisions such as those at the CERN Large Hadron Collider. We explore the use of graph-based autoencoders, which operate on jets in their "particle cloud" representations and can leverage the interdependencies among the particles within a jet, for such tasks. Additionally, we develop a differentiable approximation to the energy mover's distance via a graph neural network, which may subsequently be used as a reconstruction loss function for autoencoders. △ Less

Submitted 24 November, 2021; originally announced November 2021.

Comments: 5 pages, 2 figures. Accepted to the Machine Learning for the Physical Sciences workshop at NeurIPS 2021. arXiv admin note: text overlap with arXiv:2101.08320

Explaining machine-learned particle-flow reconstruction

Authors: Farouk Mokhtar, Raghav Kansal, Daniel Diaz, Javier Duarte, Joosep Pata, Maurizio Pierini, Jean-Roch Vlimant

Abstract: The particle-flow (PF) algorithm is used in general-purpose particle detectors to reconstruct a comprehensive particle-level view of the collision by combining information from different subdetectors. A graph neural network (GNN) model, known as the machine-learned particle-flow (MLPF) algorithm, has been developed to substitute the rule-based PF algorithm. However, understanding the model's decis… ▽ More The particle-flow (PF) algorithm is used in general-purpose particle detectors to reconstruct a comprehensive particle-level view of the collision by combining information from different subdetectors. A graph neural network (GNN) model, known as the machine-learned particle-flow (MLPF) algorithm, has been developed to substitute the rule-based PF algorithm. However, understanding the model's decision making is not straightforward, especially given the complexity of the set-to-set prediction task, dynamic graph building, and message-passing steps. In this paper, we adapt the layerwise-relevance propagation technique for GNNs and apply it to the MLPF algorithm to gauge the relevant nodes and features for its predictions. Through this process, we gain insight into the model's decision-making. △ Less

Submitted 24 November, 2021; originally announced November 2021.

Comments: 5 pages, 3 figures. Accepted to Machine Learning for Physical Sciences NeurIPS 2021 workshop

Response of a CMS HGCAL silicon-pad electromagnetic calorimeter prototype to 20-300 GeV positrons

Authors: B. Acar, G. Adamov, C. Adloff, S. Afanasiev, N. Akchurin, B. Akgün, F. Alam Khan, M. Alhusseini, J. Alison, A. Alpana, G. Altopp, M. Alyari, S. An, S. Anagul, I. Andreev, P. Aspell, I. O. Atakisi, O. Bach, A. Baden, G. Bakas, A. Bakshi, S. Bannerjee, P. Bargassa, D. Barney, F. Beaudette , et al. (364 additional authors not shown)

Abstract: The Compact Muon Solenoid Collaboration is designing a new high-granularity endcap calorimeter, HGCAL, to be installed later this decade. As part of this development work, a prototype system was built, with an electromagnetic section consisting of 14 double-sided structures, providing 28 sampling layers. Each sampling layer has an hexagonal module, where a multipad large-area silicon sensor is glu… ▽ More The Compact Muon Solenoid Collaboration is designing a new high-granularity endcap calorimeter, HGCAL, to be installed later this decade. As part of this development work, a prototype system was built, with an electromagnetic section consisting of 14 double-sided structures, providing 28 sampling layers. Each sampling layer has an hexagonal module, where a multipad large-area silicon sensor is glued between an electronics circuit board and a metal baseplate. The sensor pads of approximately 1 cm$^2$ are wire-bonded to the circuit board and are readout by custom integrated circuits. The prototype was extensively tested with beams at CERN's Super Proton Synchrotron in 2018. Based on the data collected with beams of positrons, with energies ranging from 20 to 300 GeV, measurements of the energy resolution and linearity, the position and angular resolutions, and the shower shapes are presented and compared to a detailed Geant4 simulation. △ Less

Submitted 31 March, 2022; v1 submitted 12 November, 2021; originally announced November 2021.

Applications and Techniques for Fast Machine Learning in Science

Authors: Allison McCarn Deiana, Nhan Tran, Joshua Agar, Michaela Blott, Giuseppe Di Guglielmo, Javier Duarte, Philip Harris, Scott Hauck, Mia Liu, Mark S. Neubauer, Jennifer Ngadiuba, Seda Ogrenci-Memik, Maurizio Pierini, Thea Aarrestad, Steffen Bahr, Jurgen Becker, Anne-Sophie Berthold, Richard J. Bonventre, Tomas E. Muller Bravo, Markus Diefenthaler, Zhen Dong, Nick Fritzsche, Amir Gholami, Ekaterina Govorkova, Kyle J Hazelwood , et al. (62 additional authors not shown)

Abstract: In this community review report, we discuss applications and techniques for fast machine learning (ML) in science -- the concept of integrating power ML methods into the real-time experimental data processing loop to accelerate scientific discovery. The material for the report builds on two workshops held by the Fast ML for Science community and covers three main areas: applications for fast ML ac… ▽ More In this community review report, we discuss applications and techniques for fast machine learning (ML) in science -- the concept of integrating power ML methods into the real-time experimental data processing loop to accelerate scientific discovery. The material for the report builds on two workshops held by the Fast ML for Science community and covers three main areas: applications for fast ML across a number of scientific domains; techniques for training and implementing performant and resource-efficient ML algorithms; and computing architectures, platforms, and technologies for deploying these algorithms. We also present overlap** challenges across the multiple scientific domains where common solutions can be found. This community report is intended to give plenty of examples and inspiration for scientific discovery through integrated and accelerated ML solutions. This is followed by a high-level overview and organization of technical advances, including an abundance of pointers to source material, which can enable these breakthroughs. △ Less

Submitted 25 October, 2021; originally announced October 2021.

Comments: 66 pages, 13 figures, 5 tables

Report number: FERMILAB-PUB-21-502-AD-E-SCD

Journal ref: Front. Big Data 5, 787421 (2022)

Interpretation of LHC excesses in ditop and ditau channels as a 400-GeV pseudoscalar resonance

Authors: Ernesto Arganda, Leandro Da Rold, Daniel A. Díaz, Anibal D. Medina

Abstract: Since the discovery in 2012 of the Higgs boson at the LHC, as the last missing piece of the Standard Model of particle physics, any hint of new physics has been intensively searched for, with no confirmation to date. There are however slight deviations from the SM that are worth investigating. The CMS collaboration has reported, in a search for heavy resonances decaying in $t \bar t$ with a 13-TeV… ▽ More Since the discovery in 2012 of the Higgs boson at the LHC, as the last missing piece of the Standard Model of particle physics, any hint of new physics has been intensively searched for, with no confirmation to date. There are however slight deviations from the SM that are worth investigating. The CMS collaboration has reported, in a search for heavy resonances decaying in $t \bar t$ with a 13-TeV center-of-mass energy and a luminosity of 35.9 fb$^{-1}$, deviations from the SM predictions at the 3.5$σ$ level locally (1.9$σ$ after the look-elsewhere effect). In addition, in the ditau final state search performed by the ATLAS collaboration at $\sqrt{s}=13$ TeV and $\mathcal{L}=139$ fb$^{-1}$, deviations from the SM at the 2$σ$ level have been also observed. Interestingly, both slight excesses are compatible with a new pseudoscalar boson with a mass around 400 GeV that couples at least to fermions of the third generation and gluons. Starting from a purely phenomenological perspective, we inspect the possibility that a 400-GeV pseudoscalar can account for these deviations and at the same time satisfy the constraints on the rest of the channels that it gives contributions to and that are analyzed by the ATLAS and CMS experiments. After obtaining the range of effective couplings compatible with all experimental measurements, we study the gauge invariant UV completions that can give rise to this type of pseudoscalar resonance, which can be accommodated in an $SO(6)/SO(5)$ model with consistency at the 1$σ$ level and in a $SO(5)\times U(1)_{P}\times U(1)_{X}/SO(4)\times U(1)_X$ at the 2$σ$ level, while exceedingly large quartic couplings would be necessary to account for it in a general two Higgs doublet model. △ Less

Submitted 23 November, 2021; v1 submitted 6 August, 2021; originally announced August 2021.

Comments: 24 pages, 3 figures, 2 tables; matches version published in JHEP

Report number: IFT-UAM/CSIC-21-90

Journal ref: JHEP 11 (2021) 119

A FAIR and AI-ready Higgs boson decay dataset

Authors: Yifan Chen, E. A. Huerta, Javier Duarte, Philip Harris, Daniel S. Katz, Mark S. Neubauer, Daniel Diaz, Farouk Mokhtar, Raghav Kansal, Sang Eon Park, Volodymyr V. Kindratenko, Zhizhen Zhao, Roger Rusack

Abstract: To enable the reusability of massive scientific datasets by humans and machines, researchers aim to adhere to the principles of findability, accessibility, interoperability, and reusability (FAIR) for data and artificial intelligence (AI) models. This article provides a domain-agnostic, step-by-step assessment guide to evaluate whether or not a given dataset meets these principles. We demonstrate… ▽ More To enable the reusability of massive scientific datasets by humans and machines, researchers aim to adhere to the principles of findability, accessibility, interoperability, and reusability (FAIR) for data and artificial intelligence (AI) models. This article provides a domain-agnostic, step-by-step assessment guide to evaluate whether or not a given dataset meets these principles. We demonstrate how to use this guide to evaluate the FAIRness of an open simulated dataset produced by the CMS Collaboration at the CERN Large Hadron Collider. This dataset consists of Higgs boson decays and quark and gluon background, and is available through the CERN Open Data Portal. We use additional available tools to assess the FAIRness of this dataset, and incorporate feedback from members of the FAIR community to validate our results. This article is accompanied by a Jupyter notebook to visualize and explore this dataset. This study marks the first in a planned series of articles that will guide scientists in the creation of FAIR AI models and datasets in high energy particle physics. △ Less

Submitted 16 February, 2022; v1 submitted 4 August, 2021; originally announced August 2021.

Comments: 13 pages, 3 figures. v2: Accepted to Nature Scientific Data. Learn about the FAIR4HEP project at https://fair4hep.github.io. See our invited Behind the Paper Blog in Springer Nature Research Data Community at https://go.nature.com/3oMVYxo

ACM Class: I.2; J.2

Journal ref: Scientific Data volume 9, Article number: 31 (2022)

Design, construction and operation of the ProtoDUNE-SP Liquid Argon TPC

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, D. Adams, M. Adinolfi, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Ali-Mohammadzadeh, T. Alion, K. Allison, S. Alonso Monsalve, M. Alrashed, C. Alt, A. Alton, P. Amedo, J. Anderson, C. Andreopoulos, M. Andreotti, M. P. Andrews , et al. (1158 additional authors not shown)

Abstract: The ProtoDUNE-SP detector is a single-phase liquid argon time projection chamber (LArTPC) that was constructed and operated in the CERN North Area at the end of the H4 beamline. This detector is a prototype for the first far detector module of the Deep Underground Neutrino Experiment (DUNE), which will be constructed at the Sandford Underground Research Facility (SURF) in Lead, South Dakota, USA.… ▽ More The ProtoDUNE-SP detector is a single-phase liquid argon time projection chamber (LArTPC) that was constructed and operated in the CERN North Area at the end of the H4 beamline. This detector is a prototype for the first far detector module of the Deep Underground Neutrino Experiment (DUNE), which will be constructed at the Sandford Underground Research Facility (SURF) in Lead, South Dakota, USA. The ProtoDUNE-SP detector incorporates full-size components as designed for DUNE and has an active volume of $7\times 6\times 7.2$~m$^3$. The H4 beam delivers incident particles with well-measured momenta and high-purity particle identification. ProtoDUNE-SP's successful operation between 2018 and 2020 demonstrates the effectiveness of the single-phase far detector design. This paper describes the design, construction, assembly and operation of the detector components. △ Less

Submitted 23 September, 2021; v1 submitted 4 August, 2021; originally announced August 2021.

How water wets and self-hydrophilizes nanopatterns of physisorbed hydrocarbons

Authors: Diego Diaz, Ole Nickel, Nicolas Moraga, Rodrigo E. Catalan, Maria Jose Retamal, Hugo Zelada, Marcelo Cisternas, Robert Meissner, Patrick Huber, Tomas P. Corrales, Ulrich G. Volkmann

Abstract: Weakly bound, physisorbed hydrocarbons could in principle provide a similar water-repellency as obtained by chemisorption of strongly bound hydrophobic molecules at surfaces. Here we present experiments and computer simulations on the wetting behavior of water on molecularly thin, self-assembled alkane carpets of dotriacontane (n-C32H66 or C32) physisorbed on the hydrophilic native oxide layer of… ▽ More Weakly bound, physisorbed hydrocarbons could in principle provide a similar water-repellency as obtained by chemisorption of strongly bound hydrophobic molecules at surfaces. Here we present experiments and computer simulations on the wetting behavior of water on molecularly thin, self-assembled alkane carpets of dotriacontane (n-C32H66 or C32) physisorbed on the hydrophilic native oxide layer of silicon surfaces during dip-coating from a binary alkane solution. By changing the dip-coating velocity we control the initial C32 surface coverage and achieve distinct film morphologies, encompassing homogeneous coatings with self-organised nanopatterns that range from dendritic nano-islands to stripes. These patterns exhibit a good water wettability even though the carpets are initially prepared with a high coverage of hydrophobic alkane molecules. Using in-liquid atomic force microscopy, along with molecular dynamics simulations, we trace this to a rearrangement of the alkane layers upon contact with water. This restructuring is correlated to the morphology of the C32 coatings, i.e. their fractal dimension. Water molecules displace to a large extent the first adsorbed alkane monolayer and thereby reduce the hydrophobic C32 surface coverage. Thus, our experiments evidence that water molecules can very effectively hydrophilize initially hydrophobic surfaces that consist of weakly bound hydrocarbon carpets. △ Less

Submitted 26 July, 2021; originally announced July 2021.

Comments: 23 pages, 5 figures, Supplementary information including 2 movies as ancillary file, in press

Journal ref: Journal of Colloids and Interface Science (2021)

Searching for solar KDAR with DUNE

Authors: DUNE Collaboration, A. Abed Abud, B. Abi, R. Acciarri, M. A. Acero, M. R. Adames, G. Adamov, D. Adams, M. Adinolfi, A. Aduszkiewicz, J. Aguilar, Z. Ahmad, J. Ahmed, B. Ali-Mohammadzadeh, T. Alion, K. Allison, S. Alonso Monsalve, M. Alrashed, C. Alt, A. Alton, P. Amedo, J. Anderson, C. Andreopoulos, M. Andreotti, M. P. Andrews , et al. (1157 additional authors not shown)

Abstract: The observation of 236 MeV muon neutrinos from kaon-decay-at-rest (KDAR) originating in the core of the Sun would provide a unique signature of dark matter annihilation. Since excellent angle and energy reconstruction are necessary to detect this monoenergetic, directional neutrino flux, DUNE with its vast volume and reconstruction capabilities, is a promising candidate for a KDAR neutrino search.… ▽ More The observation of 236 MeV muon neutrinos from kaon-decay-at-rest (KDAR) originating in the core of the Sun would provide a unique signature of dark matter annihilation. Since excellent angle and energy reconstruction are necessary to detect this monoenergetic, directional neutrino flux, DUNE with its vast volume and reconstruction capabilities, is a promising candidate for a KDAR neutrino search. In this work, we evaluate the proposed KDAR neutrino search strategies by realistically modeling both neutrino-nucleus interactions and the response of DUNE. We find that, although reconstruction of the neutrino energy and direction is difficult with current techniques in the relevant energy range, the superb energy resolution, angular resolution, and particle identification offered by DUNE can still permit great signal/background discrimination. Moreover, there are non-standard scenarios in which searches at DUNE for KDAR in the Sun can probe dark matter interactions. △ Less

Submitted 26 October, 2021; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: 19 pages, 13 figures

Report number: FERMILAB-PUB-21-322-LBNF-ND

Journal ref: JCAP10(2021)065

Black holes with topological charges in Chern-Simons AdS$_5$ supergravity

Authors: Laura Andrianopoli, Gaston Giribet, Darío López Díaz, Olivera Miskovic

Abstract: We study static black hole solutions with locally spherical horizons coupled to non-Abelian field in $\mathcal{N}=4$ Chern-Simons AdS$_5$ supergravity. They are governed by three parameters associated to the mass, axial torsion and amplitude of the internal soliton, and two ones to the gravitational hair. They describe geometries that can be a global AdS space, naked singularity or a (non-)extrema… ▽ More We study static black hole solutions with locally spherical horizons coupled to non-Abelian field in $\mathcal{N}=4$ Chern-Simons AdS$_5$ supergravity. They are governed by three parameters associated to the mass, axial torsion and amplitude of the internal soliton, and two ones to the gravitational hair. They describe geometries that can be a global AdS space, naked singularity or a (non-)extremal black hole. We analyze physical properties of two inequivalent asymptotically AdS solutions when the spatial section at radial infinity is either a 3-sphere or a projective 3-space. An important feature of these 3-parametric solutions is that they possess a topological structure including two $SU(2)$ solitons that wind nontrivially around the black hole horizon, as characterized by the Pontryagin index. In the extremal black hole limit, the solitons' strengths match and a soliton-antisoliton system unwinds. That limit admits both non-BPS and BPS configurations. For the latter, the pure gauge and non-pure gauge solutions preserve $1/2$ and $1/16$ of the original supersymmetries, respectively. In a general case, we compute conserved charges in Hamiltonian formalism, finding many similarities with standard supergravity black holes. △ Less

Submitted 4 November, 2021; v1 submitted 3 June, 2021; originally announced June 2021.

Comments: 81 pages, no figures; in v2 references added, text improved; version to appear in JHEP

Journal ref: JHEP11 (2021) 123

Gender Bias Amplification During Speed-Quality Optimization in Neural Machine Translation

Authors: Adithya Renduchintala, Denise Diaz, Kenneth Heafield, Xian Li, Mona Diab

Abstract: Is bias amplified when neural machine translation (NMT) models are optimized for speed and evaluated on generic test sets using BLEU? We investigate architectures and techniques commonly used to speed up decoding in Transformer-based models, such as greedy search, quantization, average attention networks (AANs) and shallow decoder models and show their effect on gendered noun translation. We const… ▽ More Is bias amplified when neural machine translation (NMT) models are optimized for speed and evaluated on generic test sets using BLEU? We investigate architectures and techniques commonly used to speed up decoding in Transformer-based models, such as greedy search, quantization, average attention networks (AANs) and shallow decoder models and show their effect on gendered noun translation. We construct a new gender bias test set, SimpleGEN, based on gendered noun phrases in which there is a single, unambiguous, correct answer. While we find minimal overall BLEU degradation as we apply speed optimizations, we observe that gendered noun translation performance degrades at a much faster rate. △ Less

Submitted 31 May, 2021; originally announced June 2021.

Comments: Accepted at ACL 2021

Rethinking Text Line Recognition Models

Authors: Daniel Hernandez Diaz, Siyang Qin, Reeve Ingle, Yasuhisa Fujii, Alessandro Bissacco

Abstract: In this paper, we study the problem of text line recognition. Unlike most approaches targeting specific domains such as scene-text or handwritten documents, we investigate the general problem of develo** a universal architecture that can extract text from any image, regardless of source or input modality. We consider two decoder families (Connectionist Temporal Classification and Transformer) an… ▽ More In this paper, we study the problem of text line recognition. Unlike most approaches targeting specific domains such as scene-text or handwritten documents, we investigate the general problem of develo** a universal architecture that can extract text from any image, regardless of source or input modality. We consider two decoder families (Connectionist Temporal Classification and Transformer) and three encoder modules (Bidirectional LSTMs, Self-Attention, and GRCLs), and conduct extensive experiments to compare their accuracy and performance on widely used public datasets of scene and handwritten text. We find that a combination that so far has received little attention in the literature, namely a Self-Attention encoder coupled with the CTC decoder, when compounded with an external language model and trained on both public and internal data, outperforms all the others in accuracy and computational complexity. Unlike the more common Transformer-based models, this architecture can handle inputs of arbitrary length, a requirement for universal line recognition. Using an internal dataset collected from multiple sources, we also expose the limitations of current public datasets in evaluating the accuracy of line recognizers, as the relatively narrow image width and sequence length distributions do not allow to observe the quality degradation of the Transformer approach when applied to the transcription of long lines. △ Less

Submitted 21 April, 2021; v1 submitted 15 April, 2021; originally announced April 2021.

Comments: 11 pages, 6 figures

A calculation of the Weyl anomaly for 6D Conformal Higher Spins

Authors: R. Aros, F. Bugini, D. E. Díaz

Abstract: In this work we continue the study of the one-loop partition function for higher derivative conformal higher spin (CHS) fields in six dimensions and its holographic counterpart given by massless higher spin Fronsdal fields in seven dimensions. In going beyond the conformal class of the boundary round 6-sphere, we start by considering a Ricci-flat, but not conformally flat, boundary and the corresp… ▽ More In this work we continue the study of the one-loop partition function for higher derivative conformal higher spin (CHS) fields in six dimensions and its holographic counterpart given by massless higher spin Fronsdal fields in seven dimensions. In going beyond the conformal class of the boundary round 6-sphere, we start by considering a Ricci-flat, but not conformally flat, boundary and the corresponding Poincaré-Einstein spacefilling metric. Here we are able to match the UV logarithmic divergence of the boundary with the IR logarithmic divergence of the bulk, very much like in the known 4D/5D setting, under the assumptions of factorization of the higher derivative CHS kinetic operator and WKB-exactness of the heat kernel of the dual bulk field. A key technical ingredient in this construction is the determination of the fourth heat kernel coefficient b6 for Lichnerowicz Laplacians on both 6D and 7D Einstein manifolds. These results allow to obtain, in addition to the already known type-A Weyl anomaly, two of the three independent type-B anomaly coefficients in terms of the third, say c_3 for instance. In order to gain access to c_3, and thus determine the four central charges independently, we further consider a generic non Ricci-flat Einstein boundary. However, in this case we find a mismatch between boundary and bulk computations for spins higher than two. We close by discussing the nature of this discrepancy and perspectives for a possible amendment. △ Less

Submitted 21 April, 2021; v1 submitted 12 April, 2021; originally announced April 2021.

Comments: v2: 14 pages, minor corrections

The VMC survey -- XLI. Stellar proper motions within the Small Magellanic Cloud

Authors: F. Niederhofer, M. -R. L. Cioni, S. Rubele, T. Schmidt, J. D. Diaz, G. Matijevic, K. Bekki, C. P. M. Bell, R. de Grijs, D. El Youssoufi, V. D. Ivanov, J. M. Oliveira, V. Ripepi, S. Subramanian, N. -C. Sun, J. Th. van Loon

Abstract: We used data from the near-infrared VISTA survey of the Magellanic Cloud system (VMC) to measure proper motions (PMs) of stars within the Small Magellanic Cloud (SMC). The data analysed in this study comprise 26 VMC tiles, covering a total contiguous area on the sky of ~40 deg$^2$. Using multi-epoch observations in the Ks band over time baselines between 13 and 38 months, we calculated absolute PM… ▽ More We used data from the near-infrared VISTA survey of the Magellanic Cloud system (VMC) to measure proper motions (PMs) of stars within the Small Magellanic Cloud (SMC). The data analysed in this study comprise 26 VMC tiles, covering a total contiguous area on the sky of ~40 deg$^2$. Using multi-epoch observations in the Ks band over time baselines between 13 and 38 months, we calculated absolute PMs with respect to ~130,000 background galaxies. We selected a sample of ~2,160,000 likely SMC member stars to model the centre-of-mass motion of the galaxy. The results found for three different choices of the SMC centre are in good agreement with recent space-based measurements. Using the systemic motion of the SMC, we constructed spatially resolved residual PM maps and analysed for the first time the internal kinematics of the intermediate-age/old and young stellar populations separately. We found outward motions that point either towards a stretching of the galaxy or strip** of its outer regions. Stellar motions towards the North might be related to the "Counter Bridge" behind the SMC. The young populations show larger PMs in the region of the SMC Wing, towards the young Magellanic Bridge. In the older populations, we further detected a coordinated motion of stars away from the SMC in the direction of the Old Bridge as well as a stream towards the SMC. △ Less

Submitted 25 January, 2021; v1 submitted 22 January, 2021; originally announced January 2021.

Comments: 20 pages, 20 figures, accepted for publication in MNRAS

Construction and commissioning of CMS CE prototype silicon modules

Authors: B. Acar, G. Adamov, C. Adloff, S. Afanasiev, N. Akchurin, B. Akgün, M. Alhusseini, J. Alison, G. Altopp, M. Alyari, S. An, S. Anagul, I. Andreev, M. Andrews, P. Aspell, I. A. Atakisi, O. Bach, A. Baden, G. Bakas, A. Bakshi, P. Bargassa, D. Barney, E. Becheva, P. Behera, A. Belloni , et al. (307 additional authors not shown)

Abstract: As part of its HL-LHC upgrade program, the CMS Collaboration is develo** a High Granularity Calorimeter (CE) to replace the existing endcap calorimeters. The CE is a sampling calorimeter with unprecedented transverse and longitudinal readout for both electromagnetic (CE-E) and hadronic (CE-H) compartments. The calorimeter will be built with $\sim$30,000 hexagonal silicon modules. Prototype modul… ▽ More As part of its HL-LHC upgrade program, the CMS Collaboration is develo** a High Granularity Calorimeter (CE) to replace the existing endcap calorimeters. The CE is a sampling calorimeter with unprecedented transverse and longitudinal readout for both electromagnetic (CE-E) and hadronic (CE-H) compartments. The calorimeter will be built with $\sim$30,000 hexagonal silicon modules. Prototype modules have been constructed with 6-inch hexagonal silicon sensors with cell areas of 1.1~$cm^2$, and the SKIROC2-CMS readout ASIC. Beam tests of different sampling configurations were conducted with the prototype modules at DESY and CERN in 2017 and 2018. This paper describes the construction and commissioning of the CE calorimeter prototype, the silicon modules used in the construction, their basic performance, and the methods used for their calibration. △ Less

Submitted 10 December, 2020; originally announced December 2020.

Comments: 35 pages, submitted to JINST

The DAQ system of the 12,000 Channel CMS High Granularity Calorimeter Prototype

Authors: B. Acar, G. Adamov, C. Adloff, S. Afanasiev, N. Akchurin, B. Akgün, M. Alhusseini, J. Alison, G. Altopp, M. Alyari, S. An, S. Anagul, I. Andreev, M. Andrews, P. Aspell, I. A. Atakisi, O. Bach, A. Baden, G. Bakas, A. Bakshi, P. Bargassa, D. Barney, E. Becheva, P. Behera, A. Belloni , et al. (307 additional authors not shown)

Abstract: The CMS experiment at the CERN LHC will be upgraded to accommodate the 5-fold increase in the instantaneous luminosity expected at the High-Luminosity LHC (HL-LHC). Concomitant with this increase will be an increase in the number of interactions in each bunch crossing and a significant increase in the total ionising dose and fluence. One part of this upgrade is the replacement of the current endca… ▽ More The CMS experiment at the CERN LHC will be upgraded to accommodate the 5-fold increase in the instantaneous luminosity expected at the High-Luminosity LHC (HL-LHC). Concomitant with this increase will be an increase in the number of interactions in each bunch crossing and a significant increase in the total ionising dose and fluence. One part of this upgrade is the replacement of the current endcap calorimeters with a high granularity sampling calorimeter equipped with silicon sensors, designed to manage the high collision rates. As part of the development of this calorimeter, a series of beam tests have been conducted with different sampling configurations using prototype segmented silicon detectors. In the most recent of these tests, conducted in late 2018 at the CERN SPS, the performance of a prototype calorimeter equipped with ${\approx}12,000\rm{~channels}$ of silicon sensors was studied with beams of high-energy electrons, pions and muons. This paper describes the custom-built scalable data acquisition system that was built with readily available FPGA mezzanines and low-cost Raspberry PI computers. △ Less

Submitted 8 December, 2020; v1 submitted 7 December, 2020; originally announced December 2020.

Electric surface potential of dodecane nano-drops in aqueous solutions of low ioinic strength

Authors: Daniela Diaz, Kareem Rahn-Chique, German Urbina-Villalba

Abstract: While the surface charge of solid particles is a direct consequence of their synthesis, the one of suspended oil drops depends on the adsorption equilibrium of the surrounding molecules. The presence of salt raises the polarity of the water phase, favoring the salting out of the surfactant from the aqueous solution and increasing its surface excess. Yet, the electrolyte also screens the resulting… ▽ More While the surface charge of solid particles is a direct consequence of their synthesis, the one of suspended oil drops depends on the adsorption equilibrium of the surrounding molecules. The presence of salt raises the polarity of the water phase, favoring the salting out of the surfactant from the aqueous solution and increasing its surface excess. Yet, the electrolyte also screens the resulting surface charge of the drops [Debye-Hückel, 1923]. As a result, the electrostatic surface potential increases with the ionic strength until the saturation of the interface and then decreases. This behavior produces a maximum previously observed in hexadecane-in-water nanoemulsions [Urbina-Villalba, 2013; 2015]. Here, the variation of the surface potential of two dodecane-in-water (d/w) nanoemulsions is evaluated as a function of the sodium chloride concentration. As expected, maximum values are obtained for concentrations of 0.5 and 7.5 mM sodium dodecylsulfate (SDS). However, the surface excess of dodecane drops shows an intermediate behavior between the adsorption equilibrium predicted by macroscopic adsorption isotherms, and the one previously found on hexadecane drops. The stability of the prepared emulsions was followed monitoring the change in the average radius of the dispersions during five minutes, six times the lapse of time employed in a typical evaluation of the aggregation rate. In the case of 7.5 mM SDS, the smallest change in size coincides with the maximum surface potential found (40 mM NaCl). This is not observed for 0.5 mM SDS. Three regimes of destabilization are found to exist depending on the ionic strength of the aqueous phase. They correspond to the prevalence of: 1) solubilization/ripening, 2) aggregation, and 3) crystal precipitation. △ Less

Submitted 21 July, 2020; originally announced July 2020.

Journal ref: RCEIF 8: 1-7 (2019)

Influence of surfactant crystallization on the aggregation rate of dodecane-in-water nanoemulsions. Changes in the viscosity of the external phase

Authors: Daniela Diaz, Kareem Rahn-Chique, Neyda Garcia-Valera, German Urbina-Villalba

Abstract: Rates of aggregation of dodecane-in-water (d/w) nanoemulsions stabilized with 7.5 mM sodium dodecylsulfate (SDS) are evaluated beyond 500 mM NaCl. As in the case of hexadecane-in-water (h/w) emulsions, it is found that flocculation rates apparently decrease with the ionic strength, departing appreciably from theoretical predictions. Since many-particle simulations proved to be very time consuming,… ▽ More Rates of aggregation of dodecane-in-water (d/w) nanoemulsions stabilized with 7.5 mM sodium dodecylsulfate (SDS) are evaluated beyond 500 mM NaCl. As in the case of hexadecane-in-water (h/w) emulsions, it is found that flocculation rates apparently decrease with the ionic strength, departing appreciably from theoretical predictions. Since many-particle simulations proved to be very time consuming, an accurate knowledge of experimental parameters is necessary prior to the realization of further evaluations. Here, the change in the viscosity of the aqueous solution due to the surfactant phase behavior is considered as a possible cause of referred phenomenon. The influence of the external viscosity on the outcome of the simulations is appraised using a quotient between the actual viscosity of the surfactant solution at a given salt concentration and its value in the absence of salt. For that purpose, the viscosity of 0.5 and 7.5 mM SDS solutions was measured between 300 an 900 mM NaCl for temperatures of 20 and 25 °C. It is concluded that the augment of the aqueous viscosity due to the formation of surfactant crystals diminish significantly the aggregation rate. Yet this decline seems insufficient to justify the observed reduction of kFC at 25 C. Nevertheless, it is noteworthy that a 5-degree change in the temperature of the surfactant solution causes a remarkable decrease of kFC . Additionally, a set of two-particle simulations is used here to illustrate the limitations of this methodology for the appraisal of the viscosity contribution. It is confirmed that such approach is only convenient to study the effect of the interaction potential on the aggregation rate, as it was formerly conceived by Fuchs [1936]. △ Less

Submitted 14 July, 2020; originally announced July 2020.

Journal ref: RCEIF 7: 1-11 (2018)

A Comparative Evaluation of Heart Rate Estimation Methods using Face Videos

Authors: Javier Hernandez-Ortega, Julian Fierrez, Aythami Morales, David Diaz

Abstract: This paper presents a comparative evaluation of methods for remote heart rate estimation using face videos, i.e., given a video sequence of the face as input, methods to process it to obtain a robust estimation of the subjects heart rate at each moment. Four alternatives from the literature are tested, three based in hand crafted approaches and one based on deep learning. The methods are compared… ▽ More This paper presents a comparative evaluation of methods for remote heart rate estimation using face videos, i.e., given a video sequence of the face as input, methods to process it to obtain a robust estimation of the subjects heart rate at each moment. Four alternatives from the literature are tested, three based in hand crafted approaches and one based on deep learning. The methods are compared using RGB videos from the COHFACE database. Experiments show that the learning-based method achieves much better accuracy than the hand crafted ones. The low error rate achieved by the learning based model makes possible its application in real scenarios, e.g. in medical or sports environments. △ Less

Submitted 22 May, 2020; originally announced May 2020.

Comments: Accepted in "IEEE International Workshop on Medical Computing (MediComp) 2020"

Complex Discontinuity Designs Using Covariates: Impact of School Grade Retention on Later Life Outcomes in Chile

Authors: Juan D. Diaz, Jose R. Zubizarreta

Abstract: Regression discontinuity designs are extensively used for causal inference in observational studies. However, they are usually confined to settings with simple treatment rules, determined by a single running variable, with a single cutoff. Motivated by the problem of estimating the impact of grade retention on educational and juvenile crime outcomes in Chile, we propose a framework and methods for… ▽ More Regression discontinuity designs are extensively used for causal inference in observational studies. However, they are usually confined to settings with simple treatment rules, determined by a single running variable, with a single cutoff. Motivated by the problem of estimating the impact of grade retention on educational and juvenile crime outcomes in Chile, we propose a framework and methods for complex discontinuity designs that encompasses multiple treatment rules. In this framework, the observed covariates play a central role for identification, estimation, and generalization of causal effects. Identification is non-parametric and relies on a local strong ignorability assumption. Estimation proceeds as in any observational study under strong ignorability, yet in a neighborhood of the cutoffs of the running variables. We discuss estimation approaches based on matching and weighting, including complementary regression modeling adjustments. We present assumptions for generalization; that is, for identification and estimation of average treatment effects for target populations. We also describe two approaches to select the neighborhood for analysis. We find that grade retention in Chile has a negative impact on future grade retention, but is not associated with drop** out of school or committing a juvenile crime. △ Less

Submitted 9 February, 2022; v1 submitted 12 April, 2020; originally announced April 2020.