Showing 1–50 of 115 results for author: Hoffmann, H

A new upper limit on the axion-photon coupling with an extended CAST run with a Xe-based Micromegas detector

Authors: CAST Collaboration, K. Altenmüller, V. Anastassopoulos, S. Arguedas-Cuendis, S. Aune, J. Baier, K. Barth, H. Bräuninger, G. Cantatore, F. Caspers, J. F. Castel, S. A. Çetin, F. Christensen, C. Cogollos, T. Dafni, M. Davenport, T. A. Decker, K. Desch, D. Díez-Ibáñez, B. Döbrich, E. Ferrer-Ribas, H. Fischer, W. Funk, J. Galán, J. A. García , et al. (40 additional authors not shown)

Abstract: Hypothetical axions provide a compelling explanation for dark matter and could be emitted from the hot solar interior. The CERN Axion Solar Telescope (CAST) has been searching for solar axions via their back conversion to X-ray photons in a 9-T 10-m long magnet directed towards the Sun. We report on an extended run with the IAXO (International Axion Observatory) pathfinder detector, doubling the p… ▽ More Hypothetical axions provide a compelling explanation for dark matter and could be emitted from the hot solar interior. The CERN Axion Solar Telescope (CAST) has been searching for solar axions via their back conversion to X-ray photons in a 9-T 10-m long magnet directed towards the Sun. We report on an extended run with the IAXO (International Axion Observatory) pathfinder detector, doubling the previous exposure time. The detector was operated with a xenon-based gas mixture for part of the new run, providing technical insights for future detector configurations in IAXO. No counts are detected in the 95\% signal-encircling region during the new run, while one is expected. The new data improve the axion-photon coupling limit to 5.7$\times 10^{-11}\,$GeV$^{-1}$ at 95\% C.L., the most restrictive experimental limit to date. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: 8 pages, 4 figures (plus 6 pages, 10 figures of supplemental material) Corresponding authors: C. Margalejo ([email protected]) and J. Ruz ([email protected])

The daily modulations and broadband strategy in axion searches. An application with CAST-CAPP detector

Authors: C. M. Adair, K. Altenmüller, V. Anastassopoulos, S. Arguedas Cuendis, J. Baier, K. Barth, A. Belov, D. Bozicevic, H. Bräuninger, G. Cantatore, F. Caspers, J. F. Castel, S. A. Çetin, W. Chung, H. Choi, J. Choi, T. Dafni, M. Davenport, A. Dermenev, K. Desch, B. Döbrich, H. Fischer, W. Funk, J. Galan, A. Gardikiotis , et al. (38 additional authors not shown)

Abstract: It has been previously advocated that the presence of the daily and annual modulations of the axion flux on the Earth's surface may dramatically change the strategy of the axion searches. The arguments were based on the so-called Axion Quark Nugget (AQN) dark matter model which was originally put forward to explain the similarity of the dark and visible cosmological matter densities… ▽ More It has been previously advocated that the presence of the daily and annual modulations of the axion flux on the Earth's surface may dramatically change the strategy of the axion searches. The arguments were based on the so-called Axion Quark Nugget (AQN) dark matter model which was originally put forward to explain the similarity of the dark and visible cosmological matter densities $Ω_{\rm dark}\sim Ω_{\rm visible}$. In this framework, the population of galactic axions with mass $ 10^{-6} {\rm eV}\lesssim m_a\lesssim 10^{-3}{\rm eV}$ and velocity $\langle v_a\rangle\sim 10^{-3} c$ will be accompanied by axions with typical velocities $\langle v_a\rangle\sim 0.6 c$ emitted by AQNs. Furthermore, in this framework, it has also been argued that the AQN-induced axion daily modulation (in contrast with the conventional WIMP paradigm) could be as large as $(10-20)\%$, which represents the main motivation for the present investigation. We argue that the daily modulations along with the broadband detection strategy can be very useful tools for the discovery of such relativistic axions. The data from the CAST-CAPP detector have been used following such arguments. Unfortunately, due to the dependence of the amplifier chain on temperature-dependent gain drifts and other factors, we could not conclusively show the presence or absence of a dark sector-originated daily modulation. However, this proof of principle analysis procedure can serve as a reference for future studies. △ Less

Submitted 9 May, 2024; originally announced May 2024.

Comments: 18 pages, 8 figures

Analysis of classical and quantum mechanical concepts of probability: A synopsis

Authors: Christian Hugo Hoffmann

Abstract: This paper addresses the central question of what a coherent concept of probability might look like that would do justice to both classical probability theory, axiomatized by Kolmogorov, and quantum theory. At a time when quanta are receiving increased and expanded attention -- think, for example, of the advances in quantum computers or the promises associated with this new technology (National Ac… ▽ More This paper addresses the central question of what a coherent concept of probability might look like that would do justice to both classical probability theory, axiomatized by Kolmogorov, and quantum theory. At a time when quanta are receiving increased and expanded attention -- think, for example, of the advances in quantum computers or the promises associated with this new technology (National Academies of Sciences: Engineering, and Medicine, 2019) -- an adequate interpretation of probability, which is no less important, should be given due attention, particularly with regard to quantum theory. △ Less

Submitted 9 January, 2024; originally announced March 2024.

Comments: in German language

SEASONS: Signal and Energy Aware Sensing on iNtermittent Systems

Authors: Pouya Mahdi Gholami, Henry Hoffmann

Abstract: Both energy-aware, batteryless intermittent systems and signal-aware adaptive sampling algorithms (ASA) aim to maximize sensor data accuracy under energy constraints in edge devices. Intuitively, combining both into a signal- & energy-aware solution would yield even better accuracy. Unfortunately, ASAs and intermittent systems rely on conflicting energy availability assumptions. So, a straightforw… ▽ More Both energy-aware, batteryless intermittent systems and signal-aware adaptive sampling algorithms (ASA) aim to maximize sensor data accuracy under energy constraints in edge devices. Intuitively, combining both into a signal- & energy-aware solution would yield even better accuracy. Unfortunately, ASAs and intermittent systems rely on conflicting energy availability assumptions. So, a straightforward combination cannot achieve their combined benefits. Therefore, we propose SEASONS, the first framework for signal- and energy-aware intermittent systems. SEASONS buffers signal data in time, monitoring queue dynamics to ensure the data is reported within a user-specified latency constraint. SEASONS improves sensor data accuracy by 31% without increasing energy. △ Less

Submitted 13 February, 2024; originally announced February 2024.

Why Business Adoption of Quantum and AI Technology Must Be Ethical

Authors: Christian Hugo Hoffmann, Frederik F. Flöther

Abstract: Artificial intelligence (AI) recently had its 'iPhone moment' and adoption has drastically accelerated. Quantum computing appears poised to follow suit over the next years. However, while there has been discourse about how to use AI responsibly, there is still little appreciation and awareness among executives, managers, and practitioners about the broader ethical questions and implications raised… ▽ More Artificial intelligence (AI) recently had its 'iPhone moment' and adoption has drastically accelerated. Quantum computing appears poised to follow suit over the next years. However, while there has been discourse about how to use AI responsibly, there is still little appreciation and awareness among executives, managers, and practitioners about the broader ethical questions and implications raised by the intersection of these emerging technologies. In this article, it is highlighted why quantum computing and AI ethics must be taken seriously by businesspersons and how these technologies affect strategic decisions; moreover, recommendations and action areas are formulated. △ Less

Submitted 10 December, 2023; originally announced December 2023.

CacheGen: KV Cache Compression and Streaming for Fast Language Model Serving

Authors: Yuhan Liu, Hanchen Li, Yihua Cheng, Siddhant Ray, Yuyang Huang, Qizheng Zhang, Kuntai Du, Jiayi Yao, Shan Lu, Ganesh Ananthanarayanan, Michael Maire, Henry Hoffmann, Ari Holtzman, Junchen Jiang

Abstract: As large language models (LLMs) take on complex tasks, their inputs are supplemented with longer contexts that incorporate domain knowledge or user-specific information. Yet using long contexts poses a challenge for responsive LLM systems, as nothing can be generated until the whole context is processed by the LLM. . CacheGen is a fast context-loading module for LLM systems. First, CacheGen uses… ▽ More As large language models (LLMs) take on complex tasks, their inputs are supplemented with longer contexts that incorporate domain knowledge or user-specific information. Yet using long contexts poses a challenge for responsive LLM systems, as nothing can be generated until the whole context is processed by the LLM. . CacheGen is a fast context-loading module for LLM systems. First, CacheGen uses a custom tensor encoder, which embraces KV cache's distributional properties, to encode a KV cache into more compact bitstream representations with negligible encoding/decoding overhead. This reduces the bandwidth demand to fetch the KV cache. Second, to maintain low context-loading delay and high generation quality, CacheGen adapts the streaming strategies to cope with changes in available bandwidth. When available bandwidth drops, CacheGen may raise the compression level for a part of the context or choose to recompute its KV cache on the fly. We test CacheGen on four popular LLMs of various sizes and four datasets (662 contexts in total). Compared to the recent systems that reuse the KV cache, CacheGen reduces the KV cache size by 3.5-4.3x and the total delay in fetching and processing contexts by 3.2-3.7x while having negligible impact on the LLM response quality in accuracy or perplexity. △ Less

Submitted 30 April, 2024; v1 submitted 11 October, 2023; originally announced October 2023.

Automatic and Efficient Customization of Neural Networks for ML Applications

Authors: Yuhan Liu, Chengcheng Wan, Kuntai Du, Henry Hoffmann, Junchen Jiang, Shan Lu, Michael Maire

Abstract: ML APIs have greatly relieved application developers of the burden to design and train their own neural network models -- classifying objects in an image can now be as simple as one line of Python code to call an API. However, these APIs offer the same pre-trained models regardless of how their output is used by different applications. This can be suboptimal as not all ML inference errors can caus… ▽ More ML APIs have greatly relieved application developers of the burden to design and train their own neural network models -- classifying objects in an image can now be as simple as one line of Python code to call an API. However, these APIs offer the same pre-trained models regardless of how their output is used by different applications. This can be suboptimal as not all ML inference errors can cause application failures, and the distinction between inference errors that can or cannot cause failures varies greatly across applications. To tackle this problem, we first study 77 real-world applications, which collectively use six ML APIs from two providers, to reveal common patterns of how ML API output affects applications' decision processes. Inspired by the findings, we propose ChameleonAPI, an optimization framework for ML APIs, which takes effect without changing the application source code. ChameleonAPI provides application developers with a parser that automatically analyzes the application to produce an abstract of its decision process, which is then used to devise an application-specific loss function that only penalizes API output errors critical to the application. ChameleonAPI uses the loss function to efficiently train a neural network model customized for each application and deploys it to serve API invocations from the respective application via existing interface. Compared to a baseline that selects the best-of-all commercial ML API, we show that ChameleonAPI reduces incorrect application decisions by 43%. △ Less

Submitted 7 October, 2023; originally announced October 2023.

Charge equilibration of Laser-accelerated Carbon Ions in Foam Target

Authors: Bubo Ma, Jieru Ren, Lirong Liu, Wenqing Wei, Benzheng Chen, Shizheng Zhang, Hao Xu, Zhongmin Hu, Fangfang Li, Xing Wang, Shuai Yin, Jianhua Feng, Xianming Zhou, Yifang Gao, Yuan Li, Xiaohua Shi, Jianxing Li, Xueguang Ren, Zhongfeng Xu, Zhigang Deng, Wei Qi, Shaoyi Wang, Quan** Fan, Bo Cui, Weiwu Wang , et al. (17 additional authors not shown)

Abstract: The charge equilibration of laser-accelerated carbon ion beams in 2 mg/cm3 foam target was investigated experimentally. The ions were generated through target normal sheath acceleration mechanism in laser-foil interaction scheme. This allows to get the equilibrium charge state in wide energy range near Bragg peak within a single shot. By using foam, the charge equilibration measurement in density… ▽ More The charge equilibration of laser-accelerated carbon ion beams in 2 mg/cm3 foam target was investigated experimentally. The ions were generated through target normal sheath acceleration mechanism in laser-foil interaction scheme. This allows to get the equilibrium charge state in wide energy range near Bragg peak within a single shot. By using foam, the charge equilibration measurement in density regime between gas and solid state was firstly reached out experimentally. It was found that the theoretical predictions with tabulated cross section data for gas target greatly underestimated the charge states. The experimental data are in close agreement with both semi-empirical formula as well as rate equation predictions based on ion-solid interactions. The important role of target density effects that increase the ionization probability and decrease the electron capture probability through frequent multi-collisions in foam are demonstrated. The double electron processes are shown to have little influence on the average charge states. The findings are essential for high energy density physics research where the foams are widely used, and have impacts on a broad range of applications in medical, biological and material fields. The method also provides a new approach to investigate the interaction mechanism of swift heavy ions in matter by taking advantage of the laser-accelerated short-pulse wide-energy range ions. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Atmospheric Temperature anomalies as manifestation of the dark Universe

Authors: K. Zioutas, V. Anastassopoulos, A. Argiriou, G. Cantatore, S. Cetin, H. Fischer, A. Gardikiotis, H. Haralambous, D. H. H. Hoffmann, S. Hofmann, M. Karuza, A. Kryemadhi, M. Maroudas, A. Mastronikolis, C. Oikonomou, K. Ozbozduman, Y. K. Semertzidis

Abstract: We are investigating the possible origin of small-scale anomalies, like the annual stratospheric temperature anomalies. Unexpectedly within known physics, their observed planetary "dependency", does not match concurrent solar activity, whose impact on the atmosphere is unequivocal; this points at an additional energy source of exo-solar origin. A viable concept behind such observations is based on… ▽ More We are investigating the possible origin of small-scale anomalies, like the annual stratospheric temperature anomalies. Unexpectedly within known physics, their observed planetary "dependency", does not match concurrent solar activity, whose impact on the atmosphere is unequivocal; this points at an additional energy source of exo-solar origin. A viable concept behind such observations is based on possible gravitational focusing by the Sun and its planets towards the Earth of low-speed invisible streaming matter; its influx towards the Earth gets temporally enhanced. Only a somehow "strongly" interacting invisible streaming matter with the small upper atmospheric screening can be behind the observed temperature excursions. Ordinary dark matter (DM) candidates like axions or WIMPs, cannot have any noticeable impact. The associated energy deposition is $\mathcal{O}(\sim 1000\, \mathrm{GeV}/{\mathrm{cm}^2}/\mathrm{sec})$. The atmosphere has been uninterruptedly monitored for decades. Therefore, the upper atmosphere can serve as a novel (low-threshold) detector for the dark Universe, with built-in spatiotemporal resolution while the solar system gravity acts temporally as a signal amplifier. Interestingly, the anomalous ionosphere shows a relationship with the inner earth activity like earthquakes. Similarly investigating the transient sudden stratospheric warmings within the same reasoning, the nature of the assumed "invisible streams" could be deciphered. △ Less

Submitted 19 September, 2023; originally announced September 2023.

Comments: 8 pages, 7 figures, Published in the proceedings of the "15th International Conference on Meteorology, Climatology and Atmospheric Physics (COMECAP 2021)" see https://www.conferre.gr/allevents/comecap2020/Proceedings_Final.pdf

Proton-Boron Fusion Yield Increased by Orders of Magnitude with Foam Targets

Authors: Wen-Qing Wei, Shi-Zheng Zhang, Zhi-Gang Deng, Wei Qi, Hao Xu, Li-Rong Liu, Jia-Lin Zhang, Fang-Fang Li, Xing Xu, Zhong-Min Hu, Ben-Zheng Chen, Bu-Bo Ma, Jian-Xing Li, Xue-Guang Ren, Zhong-Feng Xu, Dieter H. H. Hoffmann, Quan-** Fan, Wei-Wu Wang, Shao-Yi Wang, Jian Teng, Bo Cui, Feng Lu, Lei Yang, Yu-Qiu Gu, Zong-Qing Zhao , et al. (13 additional authors not shown)

Abstract: A novel intense beam-driven scheme for high yield of the tri-alpha reaction 11B(p,α)2α was investigated. We used a foam target made of cellulose triacetate (TAC, C_9H_{16}O_8) doped with boron. It was then heated volumetrically by soft X-ray radiation from a laser heated hohlraum and turned into a homogenous, and long living plasma. We employed a picosecond laser pulse to generate a high-intensity… ▽ More A novel intense beam-driven scheme for high yield of the tri-alpha reaction 11B(p,α)2α was investigated. We used a foam target made of cellulose triacetate (TAC, C_9H_{16}O_8) doped with boron. It was then heated volumetrically by soft X-ray radiation from a laser heated hohlraum and turned into a homogenous, and long living plasma. We employed a picosecond laser pulse to generate a high-intensity energetic proton beam via the well-known Target Normal Sheath Acceleration (TNSA) mechanism. We observed up to 10^{10}/sr α particles per laser shot. This constitutes presently the highest yield value normalized to the laser energy on target. The measured fusion yield per proton exceeds the classical expectation of beam-target reactions by up to four orders of magnitude under high proton intensities. This enhancement is attributed to the strong electric fields and nonequilibrium thermonuclear fusion reactions as a result of the new method. Our approach shows opportunities to pursue ignition of aneutronic fusion. △ Less

Submitted 21 August, 2023; originally announced August 2023.

Energy loss enhancement of very intense proton beams in dense matter due to the beam-density effect

Authors: Benzheng Chen, Jieru Ren, Zhigang Deng, Wei Qi, Zhongmin Hu, Bubo Ma, Xing Wang, Shuai Yin, Jianhua Feng, Wei Liu, Zhongfeng Xu, Dieter H. H. Hoffmann, Shaoyi Wang, Quan** Fan, Bo Cui, Shukai He, Zhurong Cao, Zongqing Zhao, Leifeng Cao, Yuqiu Gu, Shao** Zhu, Rui Cheng, Xianming Zhou, Guoqing Xiao, Hongwei Zhao , et al. (5 additional authors not shown)

Abstract: Thoroughly understanding the transport and energy loss of intense ion beams in dense matter is essential for high-energy-density physics and inertial confinement fusion. Here, we report a stop** power experiment with a high-intensity laser-driven proton beam in cold, dense matter. The measured energy loss is one order of magnitude higher than the expectation of individual particle stop** model… ▽ More Thoroughly understanding the transport and energy loss of intense ion beams in dense matter is essential for high-energy-density physics and inertial confinement fusion. Here, we report a stop** power experiment with a high-intensity laser-driven proton beam in cold, dense matter. The measured energy loss is one order of magnitude higher than the expectation of individual particle stop** models. We attribute this finding to the proximity of beam ions to each other, which is usually insignificant for relatively-low-current beams from classical accelerators. The ionization of the cold target by the intense ion beam is important for the stop** power calculation and has been considered using proper ionization cross section data. Final theoretical values agree well with the experimental results. Additionally, we extend the stop** power calculation for intense ion beams to plasma scenario based on Ohm's law. Both the proximity- and the Ohmic effect can enhance the energy loss of intense beams in dense matter, which are also summarized as the beam-density effect. This finding is useful for the stop** power estimation of intense beams and significant to fast ignition fusion driven by intense ion beams. △ Less

Submitted 29 May, 2023; originally announced May 2023.

A high-efficiency proton-boron fusion scheme taking into account the effects of quantum degeneracy

Authors: S. J. Liu, D. Wu, T. X. Hu, T. Y. Liang, X. C. Ning, J. H. Liang, Y. C. Liu, P. Liu, X. Liu, Z. M. Sheng, Y. T. Zhao, D. H. H. Hoffmann, X. T. He, J. Zhang

Abstract: The proton-boron (p-$^{11}$B) reaction is regarded as the holy grail of advanced fusion fuels, since the primary reaction produces three $α$ particles with few neutrons and induced radio-activities from second order reactions. Compared to the Deuterium-Tritium reaction a much higher reaction temperature is required. Moreover, bremsstrahlung energy losses due to the high nuclear charge of boron dee… ▽ More The proton-boron (p-$^{11}$B) reaction is regarded as the holy grail of advanced fusion fuels, since the primary reaction produces three $α$ particles with few neutrons and induced radio-activities from second order reactions. Compared to the Deuterium-Tritium reaction a much higher reaction temperature is required. Moreover, bremsstrahlung energy losses due to the high nuclear charge of boron deem it seemingly apparent than a fusion reactor based on Deuterium-Tritium plasma in equilibrium is to say the least very difficult.It is becoming more appealing to collide intense laser beams or accelerated proton beams with a boron target to produce p-$^{11}$B reactions. The fusion yield of p-$^{11}$B reactions is closely related to proton beam parameters and boron target conditions such as density, temperature, and ingredients. Quantum degeneracy will increase fusion yields by reducing the stop** power of injected protons. In this work, we suggest a high-efficiency scheme for beam-target p-$^{11}$B fusions via injecting a MeV proton beam into a highly compressed quantum degenerated boron target. Such a boron target can be achieved via quasi-isentropic compression of solid boron by using precisely shaped laser pulses. Our results indicate that for densities ranging from $10^3$ to $10^4ρ_s$, where $ρ_s$ is the density of solid boron, contributions of bound and free electrons to the stop** of protons can be completely disregarded and dramatically reduced respectively. The result is an increase in fusion yield by orders of magnitude. Furthermore, in order to achieve multiplication factor $F$ greater than one, with $F$ defined as the ratio of output fusion energy to the energy of injected protons, it is found there exits a minimum possible density of boron target, which is $2.15 \times 10^4 ρ_s$ when the kinetic energy of injected protons is $0.8$ MeV. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Transport of intense ion beams in plasmas: collimation and energy-loss reduction

Authors: Yongtao Zhao, Benzheng Chen, Dong Wu, Rui Cheng, Xianming Zhou, Yu Lei, Yuyu Wang, Xin Qi, Guoqing Xiao, Jieru Ren, Xing Wang, Dieter H. H. Hoffmann, Fei Gao, Zhanghu Hu, Younian Wang, Wei Yu, Stephan Fritzsche, Xiantu He

Abstract: We compare the transport properties of a well-characterized hydrogen plasma for low and high current ion beams. The energy-loss of low current beams can be well understood, within the framework of current stop** power models. However, for high current proton beams, significant energy-loss reduction and collimation is observed in the experiment. We have developed a new particle-in-cell code, whic… ▽ More We compare the transport properties of a well-characterized hydrogen plasma for low and high current ion beams. The energy-loss of low current beams can be well understood, within the framework of current stop** power models. However, for high current proton beams, significant energy-loss reduction and collimation is observed in the experiment. We have developed a new particle-in-cell code, which includes both collective electromagnetic effects and collisional interactions. Our simulations indicate that resistive magnetic fields, induced by the transport of an intense proton beam, act to collimate the proton beam and simultaneously deplete the local plasma density along the beam path. This in turn causes the energy-loss reduction detected in the experiment. △ Less

Submitted 12 April, 2023; originally announced April 2023.

E-TEST prototype design report

Authors: A. Sider, L. Amez-Droz, A. Amorosi, F. Badaracco, P. Baer, G. Bruno, A. Bertolini, C. Collette, P. Cebeci, C. Di Fronzo, J. Ebert, B. Erben, R. Esteves, E. Ferreira, A. Gatti, M. Giesberts, T. Hebbeker, J. S. Hennig, M. Hennig, S. Hild, M. Hoefer, H. D. Hoffmann, L. Jacques, R. Jamshidi, R. Joppe , et al. (16 additional authors not shown)

Abstract: E-TEST (Einstein Telescope Euregio-Meuse-Rhin Site and Technology) is a project recently funded by the European program Ineterreg Euregio Meuse-Rhine. This program is dedicated to innovative cross boarder activities between Belgium, The Netherlands and Germany. With a total budget of15MC and a consortium of 11 partners from the three countries, the objective of the project is twofold. Firstly, to… ▽ More E-TEST (Einstein Telescope Euregio-Meuse-Rhin Site and Technology) is a project recently funded by the European program Ineterreg Euregio Meuse-Rhine. This program is dedicated to innovative cross boarder activities between Belgium, The Netherlands and Germany. With a total budget of15MC and a consortium of 11 partners from the three countries, the objective of the project is twofold. Firstly, to develop an eco-friendly and non-invasive imaging of the geological conditions as well as the development of an observatory of the underground in the EMR region. Secondly, to develop technologies necessary for 3rd generation gravitational wave detectors. In particular, it is proposed to develop a prototype of large suspended cryogenic silicon mirror, isolated from seismic vibrations at low frequency. The total budget of the project is equally spread over the two activities. The first activity is not discussed at all in this report. The E-TEST prototype will have some key unique features: a silicon mirror of 100 kg, a radiative cooling strategy (non contact), a low-frequency hybrid isolation stage, cryogenic sensors and electronics, a laser and optics at 2 microns, a low thermal noise coating. △ Less

Submitted 20 December, 2022; originally announced December 2022.

Acela: Predictable Datacenter-level Maintenance Job Scheduling

Authors: Yi Ding, Aijia Gao, Thibaud Ryden, Kaushik Mitra, Sukumar Kalmanje, Yanai Golany, Michael Carbin, Henry Hoffmann

Abstract: Datacenter operators ensure fair and regular server maintenance by using automated processes to schedule maintenance jobs to complete within a strict time budget. Automating this scheduling problem is challenging because maintenance job duration varies based on both job type and hardware. While it is tempting to use prior machine learning techniques for predicting job duration, we find that the st… ▽ More Datacenter operators ensure fair and regular server maintenance by using automated processes to schedule maintenance jobs to complete within a strict time budget. Automating this scheduling problem is challenging because maintenance job duration varies based on both job type and hardware. While it is tempting to use prior machine learning techniques for predicting job duration, we find that the structure of the maintenance job scheduling problem creates a unique challenge. In particular, we show that prior machine learning methods that produce the lowest error predictions do not produce the best scheduling outcomes due to asymmetric costs. Specifically, underpredicting maintenance job duration has results in more servers being taken offline and longer server downtime than overpredicting maintenance job duration. The system cost of underprediction is much larger than that of overprediction. We present Acela, a machine learning system for predicting maintenance job duration, which uses quantile regression to bias duration predictions toward overprediction. We integrate Acela into a maintenance job scheduler and evaluate it on datasets from large-scale, production datacenters. Compared to machine learning based predictors from prior work, Acela reduces the number of servers that are taken offline by 1.87-4.28X, and reduces the server offline time by 1.40-2.80X. △ Less

Submitted 9 December, 2022; originally announced December 2022.

Search for Dark Matter Axions with CAST-CAPP

Authors: C. M. Adair, K. Altenmüller, V. Anastassopoulos, S. Arguedas Cuendis, J. Baier, K. Barth, A. Belov, D. Bozicevic, H. Bräuninger, G. Cantatore, F. Caspers, J. F. Castel, S. A. Çetin, W. Chung, H. Choi, J. Choi, T. Dafni, M. Davenport, A. Dermenev, K. Desch, B. Döbrich, H. Fischer, W. Funk, J. Galan, A. Gardikiotis , et al. (39 additional authors not shown)

Abstract: The CAST-CAPP axion haloscope, operating at CERN inside the CAST dipole magnet, has searched for axions in the 19.74 $μ$eV to 22.47 $μ$eV mass range. The detection concept follows the Sikivie haloscope principle, where Dark Matter axions convert into photons within a resonator immersed in a magnetic field. The CAST-CAPP resonator is an array of four individual rectangular cavities inserted in a st… ▽ More The CAST-CAPP axion haloscope, operating at CERN inside the CAST dipole magnet, has searched for axions in the 19.74 $μ$eV to 22.47 $μ$eV mass range. The detection concept follows the Sikivie haloscope principle, where Dark Matter axions convert into photons within a resonator immersed in a magnetic field. The CAST-CAPP resonator is an array of four individual rectangular cavities inserted in a strong dipole magnet, phase-matched to maximize the detection sensitivity. Here we report on the data acquired for 4124 h from 2019 to 2021. Each cavity is equipped with a fast frequency tuning mechanism of 10 MHz/min between 4.774 GHz and 5.434 GHz. In the present work, we exclude axion-photon couplings for virialized galactic axions down to $g_{aγγ} = 8 \times {10^{-14}}$ $GeV^{-1}$ at the 90% confidence level. The here implemented phase-matching technique also allows for future large-scale upgrades. △ Less

Submitted 5 November, 2022; originally announced November 2022.

Comments: 24 pages, 5 figures, Published version available with Open Access at https://www.nature.com/articles/s41467-022-33913-6

Journal ref: Nature Commun. 13, 6180 (2022)

Navigating the dynamic noise landscape of variational quantum algorithms with QISMET

Authors: Gokul Subramanian Ravi, Kaitlin N. Smith, Jonathan M. Baker, Tejas Kannan, Nathan Earnest, Ali Javadi-Abhari, Henry Hoffmann, Frederic T. Chong

Abstract: Transient errors from the dynamic NISQ noise landscape are challenging to comprehend and are especially detrimental to classes of applications that are iterative and/or long-running, and therefore their timely mitigation is important for quantum advantage in real-world applications. The most popular examples of iterative long-running quantum applications are variational quantum algorithms (VQAs).… ▽ More Transient errors from the dynamic NISQ noise landscape are challenging to comprehend and are especially detrimental to classes of applications that are iterative and/or long-running, and therefore their timely mitigation is important for quantum advantage in real-world applications. The most popular examples of iterative long-running quantum applications are variational quantum algorithms (VQAs). Iteratively, VQA's classical optimizer evaluates circuit candidates on an objective function and picks the best circuits towards achieving the application's target. Noise fluctuation can cause a significant transient impact on the objective function estimation of the VQA iterations / tuning candidates. This can severely affect VQA tuning and, by extension, its accuracy and convergence. This paper proposes QISMET: Quantum Iteration Skip** to Mitigate Error Transients, to navigate the dynamic noise landscape of VQAs. QISMET actively avoids instances of high fluctuating noise which are predicted to have a significant transient error impact on specific VQA iterations. To achieve this, QISMET estimates transient error in VQA iterations and designs a controller to keep the VQA tuning faithful to the transient-free scenario. By doing so, QISMET efficiently mitigates a large portion of the transient noise impact on VQAs and is able to improve the fidelity by 1.3x-3x over a traditional VQA baseline, with 1.6-2.4x improvement over alternative approaches, across different applications and machines. Further, to diligently analyze the effects of transients, this work also builds transient noise models for target VQA applications from observing real machine transients. These are then integrated with the Qiskit simulator. △ Less

Submitted 29 September, 2023; v1 submitted 25 September, 2022; originally announced September 2022.

Comments: Appears at the 28th Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2023)

Target density effects on charge tansfer of laser-accelerated carbon ions in dense plasma

Authors: Jieru Ren, Bubo Ma, Lirong Liu, Wenqing Wei, Benzheng Chen, Shizheng Zhang, Hao Xu, Zhongmin Hu, Fangfang Li, Xing Wang, Shuai Yin, Jianhua Feng, Xianming Zhou, Yifang Gao, Yuan Li, Xiaohua Shi, Jianxing Li, Xueguang Ren, Zhongfeng Xu, Zhigang Deng, Wei Qi, Shaoyi Wang, Quan** Fan, Bo Cui, Weiwu Wang , et al. (17 additional authors not shown)

Abstract: We report on charge state measurements of laser-accelerated carbon ions in the energy range of several MeV penetrating a dense partially ionized plasma. The plasma was generated by irradiation of a foam target with laser-induced hohlraum radiation in the soft X-ray regime. We used the tri-cellulose acetate (C$_{9}$H$_{16}$O$_{8}$) foam of 2 mg/cm$^{-3}$ density, and $1$-mm interaction length as ta… ▽ More We report on charge state measurements of laser-accelerated carbon ions in the energy range of several MeV penetrating a dense partially ionized plasma. The plasma was generated by irradiation of a foam target with laser-induced hohlraum radiation in the soft X-ray regime. We used the tri-cellulose acetate (C$_{9}$H$_{16}$O$_{8}$) foam of 2 mg/cm$^{-3}$ density, and $1$-mm interaction length as target material. This kind of plasma is advantageous for high-precision measurements, due to good uniformity and long lifetime compared to the ion pulse length and the interaction duration. The plasma parameters were diagnosed to be T$_{e}$=17 eV and n$_{e}$=4 $\times$ 10$^{20}$ cm$^{-3}$. The average charge states passing through the plasma were observed to be higher than those predicted by the commonly-used semiempirical formula. Through solving the rate equations, we attribute the enhancement to the target density effects which will increase the ionization rates on one hand and reduce the electron capture rates on the other hand. In previsous measurement with partially ionized plasma from gas discharge and z-pinch to laser direct irradiation, no target density effects were ever demonstrated. For the first time, we were able to experimentally prove that target density effects start to play a significant role in plasma near the critical density of Nd-Glass laser radiation. The finding is important for heavy ion beam driven high energy density physics and fast ignitions. △ Less

Submitted 1 August, 2022; originally announced August 2022.

Comments: 7 pages, 4 figures, 35 conferences

ETpathfinder: a cryogenic testbed for interferometric gravitational-wave detectors

Authors: A. Utina, A. Amato, J. Arends, C. Arina, M. de Baar, M. Baars, P. Baer, N. van Bakel, W. Beaumont, A. Bertolini, M. van Beuzekom, S. Biersteker, A. Binetti, H. J. M. ter Brake, G. Bruno, J. Bryant, H. J. Bulten, L. Busch, P. Cebeci, C. Collette, S. Cooper, R. Cornelissen, P. Cuijpers, M. van Dael, S. Danilishin , et al. (90 additional authors not shown)

Abstract: The third-generation of gravitational wave observatories, such as the Einstein Telescope (ET) and Cosmic Explorer (CE), aim for an improvement in sensitivity of at least a factor of ten over a wide frequency range compared to the current advanced detectors. In order to inform the design of the third-generation detectors and to develop and qualify their subsystems, dedicated test facilities are req… ▽ More The third-generation of gravitational wave observatories, such as the Einstein Telescope (ET) and Cosmic Explorer (CE), aim for an improvement in sensitivity of at least a factor of ten over a wide frequency range compared to the current advanced detectors. In order to inform the design of the third-generation detectors and to develop and qualify their subsystems, dedicated test facilities are required. ETpathfinder prototype uses full interferometer configurations and aims to provide a high sensitivity facility in a similar environment as ET. Along with the interferometry at 1550 nm and silicon test masses, ETpathfinder will focus on cryogenic technologies, lasers and optics at 2090 nm and advanced quantum-noise reduction schemes. This paper analyses the underpinning noise contributions and combines them into full noise budgets of the two initially targeted configurations: 1) operating with 1550 nm laser light and at a temperature of 18 K and 2) operating at 2090 nm wavelength and a temperature of 123 K. △ Less

Submitted 10 June, 2022; originally announced June 2022.

SCOPE: Safe Exploration for Dynamic Computer Systems Optimization

Authors: Hyunji Kim, Ahsan Pervaiz, Henry Hoffmann, Michael Carbin, Yi Ding

Abstract: Modern computer systems need to execute under strict safety constraints (e.g., a power limit), but doing so often conflicts with their ability to deliver high performance (i.e. minimal latency). Prior work uses machine learning to automatically tune hardware resources such that the system execution meets safety constraints optimally. Such solutions monitor past system executions to learn the syste… ▽ More Modern computer systems need to execute under strict safety constraints (e.g., a power limit), but doing so often conflicts with their ability to deliver high performance (i.e. minimal latency). Prior work uses machine learning to automatically tune hardware resources such that the system execution meets safety constraints optimally. Such solutions monitor past system executions to learn the system's behavior under different hardware resource allocations before dynamically tuning resources to optimize the application execution. However, system behavior can change significantly between different applications and even different inputs of the same applications. Hence, the models learned using data collected a priori are often suboptimal and violate safety constraints when used with new applications and inputs. To address this limitation, we introduce the concept of an execution space, which is the cross product of hardware resources, input features, and applications. To dynamically and safely allocate hardware resources from the execution space, we present SCOPE, a resource manager that leverages a novel safe exploration framework. We evaluate SCOPE's ability to deliver improved latency while minimizing power constraint violations by dynamically configuring hardware while running a variety of Apache Spark applications. Compared to prior approaches that minimize power constraint violations, SCOPE consumes comparable power while improving latency by up to 9.5X. Compared to prior approaches that minimize latency, SCOPE achieves similar latency but reduces power constraint violation rates by up to 45.88X, achieving almost zero safety constraint violations across all applications. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Cello: Efficient Computer Systems Optimization with Predictive Early Termination and Censored Regression

Authors: Yi Ding, Alex Renda, Ahsan Pervaiz, Michael Carbin, Henry Hoffmann

Abstract: Sample-efficient machine learning (SEML) has been widely applied to find optimal latency and power tradeoffs for configurable computer systems. Instead of randomly sampling from the configuration space, SEML reduces the search cost by dramatically reducing the number of configurations that must be sampled to optimize system goals (e.g., low latency or energy). Nevertheless, SEML only reduces one c… ▽ More Sample-efficient machine learning (SEML) has been widely applied to find optimal latency and power tradeoffs for configurable computer systems. Instead of randomly sampling from the configuration space, SEML reduces the search cost by dramatically reducing the number of configurations that must be sampled to optimize system goals (e.g., low latency or energy). Nevertheless, SEML only reduces one component of cost -- the total number of samples collected -- but does not decrease the cost of collecting each sample. Critically, not all samples are equal; some take much longer to collect because they correspond to slow system configurations. This paper present Cello, a computer systems optimization framework that reduces sample collection costs -- especially those that come from the slowest configurations. The key insight is to predict ahead of time whether samples will have poor system behavior (e.g., long latency or high energy) and terminate these samples early before their measured system behavior surpasses the termination threshold, which we call it predictive early termination. To predict the future system behavior accurately before it manifests as high runtime or energy, Cello uses censored regression to produces accurate predictions for running samples. We evaluate Cello by optimizing latency and energy for Apache Spark workloads. We give Cello a fixed amount of time to search a combined space of hardware and software configuration parameters. Our evaluation shows that compared to the state-of-the-art SEML approach in computer systems optimization, Cello improves latency by 1.19X for minimizing latency under a power constraint, and improves energy by 1.18X for minimizing energy under a latency constraint. △ Less

Submitted 10 April, 2022; originally announced April 2022.

NURD: Negative-Unlabeled Learning for Online Datacenter Straggler Prediction

Authors: Yi Ding, Avinash Rao, Hyebin Song, Rebecca Willett, Henry Hoffmann

Abstract: Datacenters execute large computational jobs, which are composed of smaller tasks. A job completes when all its tasks finish, so stragglers -- rare, yet extremely slow tasks -- are a major impediment to datacenter performance. Accurately predicting stragglers would enable proactive intervention, allowing datacenter operators to mitigate stragglers before they delay a job. While much prior work app… ▽ More Datacenters execute large computational jobs, which are composed of smaller tasks. A job completes when all its tasks finish, so stragglers -- rare, yet extremely slow tasks -- are a major impediment to datacenter performance. Accurately predicting stragglers would enable proactive intervention, allowing datacenter operators to mitigate stragglers before they delay a job. While much prior work applies machine learning to predict computer system performance, these approaches rely on complete labels -- i.e., sufficient examples of all possible behaviors, including straggling and non-straggling -- or strong assumptions about the underlying latency distributions -- e.g., whether Gaussian or not. Within a running job, however, none of this information is available until stragglers have revealed themselves when they have already delayed the job. To predict stragglers accurately and early without labeled positive examples or assumptions on latency distributions, this paper presents NURD, a novel Negative-Unlabeled learning approach with Reweighting and Distribution-compensation that only trains on negative and unlabeled streaming data. The key idea is to train a predictor using finished tasks of non-stragglers to predict latency for unlabeled running tasks, and then reweight each unlabeled task's prediction based on a weighting function of its feature space. We evaluate NURD on two production traces from Google and Alibaba, and find that compared to the best baseline approach, NURD produces 2--11 percentage point increases in the F1 score in terms of prediction accuracy, and 2.0--8.8 percentage point improvements in job completion time. △ Less

Submitted 13 August, 2022; v1 submitted 15 March, 2022; originally announced March 2022.

CAFQA: A classical simulation bootstrap for variational quantum algorithms

Authors: Gokul Subramanian Ravi, Pranav Gokhale, Yi Ding, William M. Kirby, Kaitlin N. Smith, Jonathan M. Baker, Peter J. Love, Henry Hoffmann, Kenneth R. Brown, Frederic T. Chong

Abstract: This work tackles the problem of finding a good ansatz initialization for Variational Quantum Algorithms (VQAs), by proposing CAFQA, a Clifford Ansatz For Quantum Accuracy. The CAFQA ansatz is a hardware-efficient circuit built with only Clifford gates. In this ansatz, the parameters for the tunable gates are chosen by searching efficiently through the Clifford parameter space via classical simula… ▽ More This work tackles the problem of finding a good ansatz initialization for Variational Quantum Algorithms (VQAs), by proposing CAFQA, a Clifford Ansatz For Quantum Accuracy. The CAFQA ansatz is a hardware-efficient circuit built with only Clifford gates. In this ansatz, the parameters for the tunable gates are chosen by searching efficiently through the Clifford parameter space via classical simulation. The resulting initial states always equal or outperform traditional classical initialization (e.g., Hartree-Fock), and enable high-accuracy VQA estimations. CAFQA is well-suited to classical computation because: a) Clifford-only quantum circuits can be exactly simulated classically in polynomial time, and b) the discrete Clifford space is searched efficiently via Bayesian Optimization. For the Variational Quantum Eigensolver (VQE) task of molecular ground state energy estimation (up to 18 qubits), CAFQA's Clifford Ansatz achieves a mean accuracy of nearly 99% and recovers as much as 99.99% of the molecular correlation energy that is lost in Hartree-Fock initialization. CAFQA achieves mean accuracy improvements of 6.4x and 56.8x, over the state-of-the-art, on different metrics. The scalability of the approach allows for preliminary ground state energy estimation of the challenging chromium dimer (Cr$_2$) molecule. With CAFQA's high-accuracy initialization, the convergence of VQAs is shown to accelerate by 2.5x, even for small molecules. Furthermore, preliminary exploration of allowing a limited number of non-Clifford (T) gates in the CAFQA framework, shows that as much as 99.9% of the correlation energy can be recovered at bond lengths for which Clifford-only CAFQA accuracy is relatively limited, while remaining classically simulable. △ Less

Submitted 29 September, 2023; v1 submitted 25 February, 2022; originally announced February 2022.

Comments: Appears at the 28th Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2023). Previous title - CAFQA: Clifford Ansatz For Quantum Accuracy. Paper revised to ASPLOS requirements, added additional improvements to the CAFQA framework / evaluation. Added preliminary exploration on CAFQA with T gates

Logically at Factify 2022: Multimodal Fact Verification

Authors: Jie Gao, Hella-Franziska Hoffmann, Stylianos Oikonomou, David Kiskovski, Anil Bandhakavi

Abstract: This paper describes our participant system for the multi-modal fact verification (Factify) challenge at AAAI 2022. Despite the recent advance in text based verification techniques and large pre-trained multimodal models cross vision and language, very limited work has been done in applying multimodal techniques to automate fact checking process, particularly considering the increasing prevalence… ▽ More This paper describes our participant system for the multi-modal fact verification (Factify) challenge at AAAI 2022. Despite the recent advance in text based verification techniques and large pre-trained multimodal models cross vision and language, very limited work has been done in applying multimodal techniques to automate fact checking process, particularly considering the increasing prevalence of claims and fake news about images and videos on social media. In our work, the challenge is treated as multimodal entailment task and framed as multi-class classification. Two baseline approaches are proposed and explored including an ensemble model (combining two uni-modal models) and a multi-modal attention network (modeling the interaction between image and text pair from claim and evidence document). We conduct several experiments investigating and benchmarking different SoTA pre-trained transformers and vision models in this work. Our best model is ranked first in leaderboard which obtains a weighted average F-measure of 0.77 on both validation and test set. Exploratory analysis of dataset is also carried out on the Factify data set and uncovers salient patterns and issues (e.g., word overlap**, visual entailment correlation, source bias) that motivates our hypothesis. Finally, we highlight challenges of the task and multimodal dataset for future research. △ Less

Submitted 25 March, 2022; v1 submitted 16 December, 2021; originally announced December 2021.

Comments: Accepted in AAAI'22: First Workshop on Multimodal Fact-Checking and Hate Speech Detection, Februrary 22 - March 1, 2022,Vancouver, BC, Canada

Few-Shot Image Classification Along Sparse Graphs

Authors: Joseph F Comer, Philip L Jacobson, Heiko Hoffmann

Abstract: Few-shot learning remains a challenging problem, with unsatisfactory 1-shot accuracies for most real-world data. Here, we present a different perspective for data distributions in the feature space of a deep network and show how to exploit it for few-shot learning. First, we observe that nearest neighbors in the feature space are with high probability members of the same class while generally two… ▽ More Few-shot learning remains a challenging problem, with unsatisfactory 1-shot accuracies for most real-world data. Here, we present a different perspective for data distributions in the feature space of a deep network and show how to exploit it for few-shot learning. First, we observe that nearest neighbors in the feature space are with high probability members of the same class while generally two random points from one class are not much closer to each other than points from different classes. This observation suggests that classes in feature space form sparse, loosely connected graphs instead of dense clusters. To exploit this property, we propose using a small amount of label propagation into the unlabeled space and then using a kernel PCA reconstruction error as decision boundary for the feature-space data distribution of each class. Using this method, which we call "K-Prop," we demonstrate largely improved few-shot learning performances (e.g., 83% accuracy for 1-shot 5-way classification on the RESISC45 satellite-images dataset) for datasets for which a backbone network can be trained with high within-class nearest-neighbor probabilities. We demonstrate this relationship using six different datasets. △ Less

Submitted 7 December, 2021; originally announced December 2021.

The Dark Universe is not invisible

Authors: K. Zioutas, V. Anastassopoulos, A. Argiriou, G. Cantatore, S. A. Cetin, A. Gardikiotis, D. H. H. Hoffmann, S. Hofmann, M. Karuza, A. Kryemadhi, M. Maroudas, E. L. Matteson, K. Ozbozduman, T. Papaevangelou, M. Perryman, Y. K. Semertzidis, I. Tsagris, M. Tsagri, G. Tsiledakis, D. Utz, E. L. Valachovic

Abstract: Dark matter (DM) comes from long-range gravitational observations, and it is considered as something that does not interact with ordinary matter or emits light. However, also on much smaller scales, a number of unexpected observations of the solar activity and the dynamic Earth atmosphere might arise from DM contradicting the aforementioned DM picture. Because, gravitational (self) focusing effect… ▽ More Dark matter (DM) comes from long-range gravitational observations, and it is considered as something that does not interact with ordinary matter or emits light. However, also on much smaller scales, a number of unexpected observations of the solar activity and the dynamic Earth atmosphere might arise from DM contradicting the aforementioned DM picture. Because, gravitational (self) focusing effects by the Sun or its planets of streaming DM fit as the interpretation of the otherwise puzzling 11-year solar cycle, the mysterious heating of the solar corona, atmospheric transients, etc. Observationally driven, an external impact by overlooked streaming invisible matter reconciles the investigated mysterious behavior showing otherwise unexpected planetary relationships; this is a signature for gravitational focusing of streaming DM by the solar system bodies. Then, focusing of DM streams could also occur in exoplanetary systems, suggesting for the first time the carrying out of investigations by searching for the associated stellar activity as a function of the exoplanetary orbital phases. △ Less

Submitted 26 August, 2021; originally announced August 2021.

Comments: 7 pages, 2 figures, Presented at the first Electronic Conference on Universe, February 2021

Journal ref: Phys. Sci. Forum 2021, 2(1), 10

LEGEND-1000 Preconceptual Design Report

Authors: LEGEND Collaboration, N. Abgrall, I. Abt, M. Agostini, A. Alexander, C. Andreoiu, G. R. Araujo, F. T. Avignone III, W. Bae, A. Bakalyarov, M. Balata, M. Bantel, I. Barabanov, A. S. Barabash, P. S. Barbeau, C. J. Barton, P. J. Barton, L. Baudis, C. Bauer, E. Bernieri, L. Bezrukov, K. H. Bhimani, V. Biancacci, E. Blalock, A. Bolozdynya , et al. (239 additional authors not shown)

Abstract: We propose the construction of LEGEND-1000, the ton-scale Large Enriched Germanium Experiment for Neutrinoless $ββ$ Decay. This international experiment is designed to answer one of the highest priority questions in fundamental physics. It consists of 1000 kg of Ge detectors enriched to more than 90% in the $^{76}$Ge isotope operated in a liquid argon active shield at a deep underground laboratory… ▽ More We propose the construction of LEGEND-1000, the ton-scale Large Enriched Germanium Experiment for Neutrinoless $ββ$ Decay. This international experiment is designed to answer one of the highest priority questions in fundamental physics. It consists of 1000 kg of Ge detectors enriched to more than 90% in the $^{76}$Ge isotope operated in a liquid argon active shield at a deep underground laboratory. By combining the lowest background levels with the best energy resolution in the field, LEGEND-1000 will perform a quasi-background-free search and can make an unambiguous discovery of neutrinoless double-beta decay with just a handful of counts at the decay $Q$ value. The experiment is designed to probe this decay with a 99.7%-CL discovery sensitivity in the $^{76}$Ge half-life of $1.3\times10^{28}$ years, corresponding to an effective Majorana mass upper limit in the range of 9-21 meV, to cover the inverted-ordering neutrino mass scale with 10 yr of live time. △ Less

Submitted 23 July, 2021; originally announced July 2021.

Photoexcitation of $^{76}$Ge

Authors: R. Schwengner, R. Massarczyk, K. Schmidt, K. Zuber, R. Beyer, D. Bemmerer, S. Hammer, A. Hartmann, T. Hensel, H. F. Hoffmann, A. R. Junghans, T. Kögler, S. E. Müller, M. Pichotta, S. Turkat, J. A. B. Turko, S. Urlaß, A. Wagner

Abstract: The dipole strength of the nuclide $^{76}$Ge was studied in photon-scattering experiments using bremsstrahlung produced with electron beams of energies of 7.8 and 12.3 MeV at the $γ$ELBE facility. We identified 210 levels up to an excitation energy of 9.4 MeV and assigned spin $J$ = 1 to most of them. The quasicontinuum of unresolved transitions was included in the analysis of the spectra and the… ▽ More The dipole strength of the nuclide $^{76}$Ge was studied in photon-scattering experiments using bremsstrahlung produced with electron beams of energies of 7.8 and 12.3 MeV at the $γ$ELBE facility. We identified 210 levels up to an excitation energy of 9.4 MeV and assigned spin $J$ = 1 to most of them. The quasicontinuum of unresolved transitions was included in the analysis of the spectra and the intensities of branching transitions were estimated on the basis of simulations of statistical $γ$-ray cascades. The photoabsorption cross section up to the neutron-separation energy was determined and is compared with predictions of the statistical reaction model. The derived photon strength function is compared with results of experiments using other reactions. △ Less

Submitted 24 September, 2021; v1 submitted 23 June, 2021; originally announced June 2021.

Comments: 12 pages, 9 figures

First results of the CAST-RADES haloscope search for axions at 34.67 $μ$eV

Authors: A. Álvarez Melcón, S. Arguedas Cuendis, J. Baier, K. Barth, H. Bräuniger, S. Calatroni, G. Cantatore, F. Caspers, J. F Castel, S. A. Cetin, C. Cogollos, T. Dafni, M. Davenport, A. Dermenev, K. Desch, A. Díaz-Morcillo, B. Döbrich, H. Fischer, W. Funk, J. D Gallego, J. M García Barceló, A. Gardikiotis, J. Garza, B. Gimeno, S. Gninenko , et al. (34 additional authors not shown)

Abstract: We present results of the Relic Axion Dark-Matter Exploratory Setup (RADES), a detector which is part of the CERN Axion Solar Telescope (CAST), searching for axion dark matter in the 34.67$μ$eV mass range. A radio frequency cavity consisting of 5 sub-cavities coupled by inductive irises took physics data inside the CAST dipole magnet for the first time using this filter-like haloscope geometry. An… ▽ More We present results of the Relic Axion Dark-Matter Exploratory Setup (RADES), a detector which is part of the CERN Axion Solar Telescope (CAST), searching for axion dark matter in the 34.67$μ$eV mass range. A radio frequency cavity consisting of 5 sub-cavities coupled by inductive irises took physics data inside the CAST dipole magnet for the first time using this filter-like haloscope geometry. An exclusion limit with a 95% credibility level on the axion-photon coupling constant of g$_{aγ}\gtrsim 4\times10^{-13} \text{GeV}^{-1}$ over a mass range of 34.6738 $μ$eV < $m_a$ < 34.6771 $μ$eV is set. This constitutes a significant improvement over the current strongest limit set by CAST at this mass and is at the same time one of the most sensitive direct searches for an axion dark matter candidate above the mass of 25 $μ$eV. The results also demonstrate the feasibility of exploring a wider mass range around the value probed by CAST-RADES in this work using similar coherent resonant cavities. △ Less

Submitted 27 October, 2021; v1 submitted 28 April, 2021; originally announced April 2021.

Comments: 14 pages, 9 figures. Accepted for publication in JHEP. Minor changes done compared to the previous version

Report number: CERN-EP-2021-070

Journal ref: J. High Energ. Phys. 2021, 75 (2021)

Set Representation Learning with Generalized Sliced-Wasserstein Embeddings

Authors: Navid Naderializadeh, Soheil Kolouri, Joseph F. Comer, Reed W. Andrews, Heiko Hoffmann

Abstract: An increasing number of machine learning tasks deal with learning representations from set-structured data. Solutions to these problems involve the composition of permutation-equivariant modules (e.g., self-attention, or individual processing via feed-forward neural networks) and permutation-invariant modules (e.g., global average pooling, or pooling by multi-head attention). In this paper, we pro… ▽ More An increasing number of machine learning tasks deal with learning representations from set-structured data. Solutions to these problems involve the composition of permutation-equivariant modules (e.g., self-attention, or individual processing via feed-forward neural networks) and permutation-invariant modules (e.g., global average pooling, or pooling by multi-head attention). In this paper, we propose a geometrically-interpretable framework for learning representations from set-structured data, which is rooted in the optimal mass transportation problem. In particular, we treat elements of a set as samples from a probability measure and propose an exact Euclidean embedding for Generalized Sliced Wasserstein (GSW) distances to learn from set-structured data effectively. We evaluate our proposed framework on multiple supervised and unsupervised set learning tasks and demonstrate its superiority over state-of-the-art set representation learning approaches. △ Less

Submitted 5 March, 2021; originally announced March 2021.

Comparing and Combining Approximate Computing Frameworks

Authors: Saeid Barati, Gordon Kindlmann, Hank Hoffmann

Abstract: Approximate computing frameworks configure applications so they can operate at a range of points in an accuracy-performance trade-off space. Prior work has introduced many frameworks to create approximate programs. As approximation frameworks proliferate, it is natural to ask how they can be compared and combined to create even larger, richer trade-off spaces. We address these questions by present… ▽ More Approximate computing frameworks configure applications so they can operate at a range of points in an accuracy-performance trade-off space. Prior work has introduced many frameworks to create approximate programs. As approximation frameworks proliferate, it is natural to ask how they can be compared and combined to create even larger, richer trade-off spaces. We address these questions by presenting VIPER and BOA. VIPER compares trade-off spaces induced by different approximation frameworks by visualizing performance improvements across the full range of possible accuracies. BOA is a family of exploration techniques that quickly locate Pareto-efficient points in the immense trade-off space produced by the combination of two or more approximation frameworks. We use VIPER and BOA to compare and combine three different approximation frameworks from across the system stack, including: one that changes numerical precision, one that skips loop iterations, and one that manipulates existing application parameters. Compared to simply looking at Pareto-optimal curves, we find VIPER's visualizations provide a quicker and more convenient way to determine the best approximation technique for any accuracy loss. Compared to a state-of-the-art evolutionary algorithm, we find that BOA explores 14x fewer configurations yet locates 35% more Pareto-efficient points. △ Less

Submitted 15 February, 2021; originally announced February 2021.

NEAT: A Framework for Automated Exploration of Floating Point Approximations

Authors: Saeid Barati, Lee Ehudin, Hank Hoffmann

Abstract: Much recent research is devoted to exploring tradeoffs between computational accuracy and energy efficiency at different levels of the system stack. Approximation at the floating point unit (FPU) allows saving energy by simply reducing the number of computed floating point bits in return for accuracy loss. Although, finding the most energy efficient approximation for various applications with mini… ▽ More Much recent research is devoted to exploring tradeoffs between computational accuracy and energy efficiency at different levels of the system stack. Approximation at the floating point unit (FPU) allows saving energy by simply reducing the number of computed floating point bits in return for accuracy loss. Although, finding the most energy efficient approximation for various applications with minimal effort is the main challenge. To address this issue, we propose NEAT: a pin tool that helps users automatically explore the accuracy-energy tradeoff space induced by various floating point implementations. NEAT helps programmers explore the effects of simultaneously using multiple floating point implementations to achieve the lowest energy consumption for an accuracy constraint or vice versa. NEAT accepts one or more user-defined floating point implementations and programmable placement rules for where/when to apply them. NEAT then automatically replaces floating point operations with different implementations based on the user-specified rules during the runtime and explores the resulting tradeoff space to find the best use of approximate floating point implementations for the precision tuning throughout the program. We evaluate NEAT by enforcing combinations of 24/53 different floating point implementations with three sets of placement rules on a wide range of benchmarks. We find that heuristic precision tuning at the function level provides up to 22% and 48% energy savings at 1% and 10% accuracy loss comparing to applying a single implementation for the whole application. Also, NEAT is applicable to neural networks where it finds the optimal precision level for each layer considering an accuracy target for the model. △ Less

Submitted 16 February, 2021; originally announced February 2021.

Unveiling the Two-Proton Halo Character of 17Ne: Exclusive Measurement of Quasi-free Proton-Knockout Reactions

Authors: C. Lehr, F. Wamers, F. Aksouh, Yu. Aksyutina, H. Alvarez-Pol, L. Atar, T. Aumann, S. Beceiro-Novo, C. A. Bertulani, K. Boretzky, M. J. G. Borge, C. Caesar, M. Chartier, A. Chatillon, L. V. Chulkov, D. Cortina-Gil, P. Diaz Fernandez, H. Emling, O. Ershova, L. M. Fraile, H. O. U. Fynbo, D. Galaviz, H. Geissel, M. Heil, M. Heine , et al. (40 additional authors not shown)

Abstract: The proton drip-line nucleus 17Ne is investigated experimentally in order to determine its two-proton halo character. A fully exclusive measurement of the 17Ne(p,2p)16F->15O+p quasi-free one-proton knockout reaction has been performed at GSI at around 500 MeV/nucleon beam energy. All particles resulting from the scattering process have been detected. The relevant reconstructed quantities are the a… ▽ More The proton drip-line nucleus 17Ne is investigated experimentally in order to determine its two-proton halo character. A fully exclusive measurement of the 17Ne(p,2p)16F->15O+p quasi-free one-proton knockout reaction has been performed at GSI at around 500 MeV/nucleon beam energy. All particles resulting from the scattering process have been detected. The relevant reconstructed quantities are the angles of the two protons scattered in quasi-elastic kinematics, the decay of 16F into 15O (including gamma decays from excited states) and a proton, as well as the 15O+p relative-energy spectrum and the 16F momentum distributions. The latter two quantities allow an independent and consistent determination of the ratio of l=0 and l=2 motion of the valence protons in 17Ne. With a resulting relatively small l=0 component of only around 35(3)%, it is concluded that 17Ne exhibits a rather modest halo character only. The quantitative agreement of the two values deduced from the energy spectrum and the momentum distributions supports the theoretical treatment of the calculation of momentum distributions after quasi-free knockout reactions at high energies by taking into account distortions based on the Glauber theory. Moreover, the experimental data allow the separation of valence-proton knockout and knockout from the 15O core. The latter process contributes with 11.8(3.1) mb around 40% to the total proton-knockout cross section of 30.3(2.3) mb, which explains previously reported contradicting conclusions derived from inclusive cross sections. △ Less

Submitted 27 January, 2021; originally announced January 2021.

Comments: 7 pages, 5 figures

Orthogonalized SGD and Nested Architectures for Anytime Neural Networks

Authors: Chengcheng Wan, Henry Hoffmann, Shan Lu, Michael Maire

Abstract: We propose a novel variant of SGD customized for training network architectures that support anytime behavior: such networks produce a series of increasingly accurate outputs over time. Efficient architectural designs for these networks focus on re-using internal state; subnetworks must produce representations relevant for both immediate prediction as well as refinement by subsequent network stage… ▽ More We propose a novel variant of SGD customized for training network architectures that support anytime behavior: such networks produce a series of increasingly accurate outputs over time. Efficient architectural designs for these networks focus on re-using internal state; subnetworks must produce representations relevant for both immediate prediction as well as refinement by subsequent network stages. We consider traditional branched networks as well as a new class of recursively nested networks. Our new optimizer, Orthogonalized SGD, dynamically re-balances task-specific gradients when training a multitask network. In the context of anytime architectures, this optimizer projects gradients from later outputs onto a parameter subspace that does not interfere with those from earlier outputs. Experiments demonstrate that training with Orthogonalized SGD significantly improves generalization accuracy of anytime networks. △ Less

Submitted 14 August, 2020; originally announced August 2020.

Comments: ICML 2020

Wasserstein Embedding for Graph Learning

Authors: Soheil Kolouri, Navid Naderializadeh, Gustavo K. Rohde, Heiko Hoffmann

Abstract: We present Wasserstein Embedding for Graph Learning (WEGL), a novel and fast framework for embedding entire graphs in a vector space, in which various machine learning models are applicable for graph-level prediction tasks. We leverage new insights on defining similarity between graphs as a function of the similarity between their node embedding distributions. Specifically, we use the Wasserstein… ▽ More We present Wasserstein Embedding for Graph Learning (WEGL), a novel and fast framework for embedding entire graphs in a vector space, in which various machine learning models are applicable for graph-level prediction tasks. We leverage new insights on defining similarity between graphs as a function of the similarity between their node embedding distributions. Specifically, we use the Wasserstein distance to measure the dissimilarity between node embeddings of different graphs. Unlike prior work, we avoid pairwise calculation of distances between graphs and reduce the computational complexity from quadratic to linear in the number of graphs. WEGL calculates Monge maps from a reference distribution to each node embedding and, based on these maps, creates a fixed-sized vector representation of the graph. We evaluate our new graph embedding approach on various benchmark graph-property prediction tasks, showing state-of-the-art classification performance while having superior computational efficiency. The code is available at https://github.com/navid-naderi/WEGL. △ Less

Submitted 1 March, 2021; v1 submitted 16 June, 2020; originally announced June 2020.

Comments: Final version to be presented at the Ninth International Conference on Learning Representations (ICLR 2021)

Significant Contribution of Projectile Excited States to the Stop** of Slow Helium Ions in Hydrogen Plasma

Authors: Y. T. Zhao, Y. N. Zhang, R. Cheng, B. He, C. L. Liu, X. M. Zhou, Y. Lei, Y. Y. Wang, J. R. Ren, X. Wang, Y. H. Chen, G. Q. Xiao, S. M. Savin, R. Gavrilin, A. A. Golubev, D. H. H. Hoffmann

Abstract: The energy deposition and the atomic processes, such as the electron-capture, ionization, excitation and radiative-decays for slow heavy ions in plasma remains an unsolved fundamental problem. Here we investigate, both experimentally and theoretically, the stop** of 100 keV=u helium ions in a well-defined hydrogen plasma. Our precise measurements show a much higher energy loss than the predictio… ▽ More The energy deposition and the atomic processes, such as the electron-capture, ionization, excitation and radiative-decays for slow heavy ions in plasma remains an unsolved fundamental problem. Here we investigate, both experimentally and theoretically, the stop** of 100 keV=u helium ions in a well-defined hydrogen plasma. Our precise measurements show a much higher energy loss than the predictions of the semi-classical approaches with the commonly used effective charge. By solving the Time Dependent Rate Equation (TDRE) with all the main projectile states and for all relevant atomic processes, our calculations are in remarkable agreement with the experimental data. We also demonstrated that, acting as a bridge for electron-capture and ionization, the projectile excited states and their radiative decays can remarkably influence the equilibrium charge states and consequently lead to a substantial increasing of the stop** of ions in plasma. △ Less

Submitted 2 June, 2020; originally announced June 2020.

Journal ref: Phys. Rev. Lett. 126, 115001 (2021)

Toward inertial confinement fusion energy based on heavy ion beam

Authors: S. Kawata, M. Okamura, K. Horioka, C. Deutsch, T. Karino, D. H. H. Hoffmann, Y. Zhao, S. Ikeda, T. Kanesue, A. I. Ogoyski

Abstract: Heavy ion inertial fusion (HIF) energy would be one of promising energy resources securing our future energy in order to sustain our human life for centuries and beyond. The heavy ion beam (HIB) has remarkable preferable features to release the fusion energy in inertial confinement fusion: in particle accelerators HIBs are generated with a high driver efficiency of ~ 30-40%, and the HIB ions depos… ▽ More Heavy ion inertial fusion (HIF) energy would be one of promising energy resources securing our future energy in order to sustain our human life for centuries and beyond. The heavy ion beam (HIB) has remarkable preferable features to release the fusion energy in inertial confinement fusion: in particle accelerators HIBs are generated with a high driver efficiency of ~ 30-40%, and the HIB ions deposit their energy inside of materials. Therefore, a requirement for the fusion target energy gain is relatively low, that would be ~50-70 to operate a HIF fusion reactor with the standard energy output of 1GW of electricity. The HIF reactor operation frequency would be ~10~15 Hz or so. Several-MJ HIBs illuminate a fusion fuel target, and the fuel target is imploded to about a thousand times of the solid density. Then the DT fuel is ignited and burned. The HIB ion deposition range would be ~0.5-1 mm or so depending on the material. Therefore, a relatively large density-scale length appears in the fuel target material. The large density-gradient-scale length helps to reduce the Rayleigh-Taylor (R-T) growth rate. The key merits in HIF physics are presented in the article toward our bright future energy resource. △ Less

Submitted 14 May, 2020; originally announced May 2020.

Comments: 17 pages. arXiv admin note: substantial text overlap with arXiv:1511.06508, arXiv:1608.01063

QURATOR: Innovative Technologies for Content and Data Curation

Authors: Georg Rehm, Peter Bourgonje, Stefanie Hegele, Florian Kintzel, Julián Moreno Schneider, Malte Ostendorff, Karolina Zaczynska, Armin Berger, Stefan Grill, Sören Räuchle, Jens Rauenbusch, Lisa Rutenburg, André Schmidt, Mikka Wild, Henry Hoffmann, Julian Fink, Sarah Schulz, Jurica Seva, Joachim Quantz, Joachim Böttger, Josefine Matthey, Rolf Fricke, Jan Thomsen, Adrian Paschke, Jamal Al Qundus , et al. (15 additional authors not shown)

Abstract: In all domains and sectors, the demand for intelligent systems to support the processing and generation of digital content is rapidly increasing. The availability of vast amounts of content and the pressure to publish new content quickly and in rapid succession requires faster, more efficient and smarter processing and generation methods. With a consortium of ten partners from research and industr… ▽ More In all domains and sectors, the demand for intelligent systems to support the processing and generation of digital content is rapidly increasing. The availability of vast amounts of content and the pressure to publish new content quickly and in rapid succession requires faster, more efficient and smarter processing and generation methods. With a consortium of ten partners from research and industry and a broad range of expertise in AI, Machine Learning and Language Technologies, the QURATOR project, funded by the German Federal Ministry of Education and Research, develops a sustainable and innovative technology platform that provides services to support knowledge workers in various industries to address the challenges they face when curating digital content. The project's vision and ambition is to establish an ecosystem for content curation technologies that significantly pushes the current state of the art and transforms its region, the metropolitan area Berlin-Brandenburg, into a global centre of excellence for curation technologies. △ Less

Submitted 25 April, 2020; originally announced April 2020.

Comments: Proceedings of QURATOR 2020: The conference for intelligent content solutions, Berlin, Germany, February 2020

A Multiple Power Law Distribution for Initial Mass Functions

Authors: Christopher Essex, Shantanu Basu, Janett Prehl, Karl Heinz Hoffmann

Abstract: We introduce a new multi-power-law distribution for the Initial Mass Function (IMF) to explore its potential properties. It follows on prior work that introduced mechanisms accounting for mass accretion in star formation, developed within the framework of general evolution equations for the mass distribution of accreting and non-accreting (proto)stars. This paper uses the same fundamental framewor… ▽ More We introduce a new multi-power-law distribution for the Initial Mass Function (IMF) to explore its potential properties. It follows on prior work that introduced mechanisms accounting for mass accretion in star formation, developed within the framework of general evolution equations for the mass distribution of accreting and non-accreting (proto)stars. This paper uses the same fundamental framework to demonstrate that the interplay between a mass-dependent and a time-dependent step-like dropout rate from accretion leads to IMFs that exhibit multiple power laws for an exponential mass growth. While the mass-dependent accretion and its dropout is intrinsic to each star, the time-dependent dropout might be tied to a specific history such as the rapid consumption of nebular material by nearby stars or the swee** away of some material by shock waves. The time-dependent dropout folded into the mass-dependent process of star formation is shown to have a significant influence on the IMFs. △ Less

Submitted 23 March, 2020; originally announced March 2020.

Comments: 8 pages, 6 figures, to appear in MNRAS

On parameter identification problems for elliptic boundary value problems in divergence form, Part I: An abstract framework

Authors: Heiko Hoffmann, Anne Wald

Abstract: Parameter identification problems for partial differential equations are an important subclass of inverse problems. The parameter-to-state map, which maps the parameter of interest to the respective solution of the PDE or state of the system, plays the central role in the (usually nonlinear) forward operator. Consequently, one is interested in well-definedness and further analytic properties such… ▽ More Parameter identification problems for partial differential equations are an important subclass of inverse problems. The parameter-to-state map, which maps the parameter of interest to the respective solution of the PDE or state of the system, plays the central role in the (usually nonlinear) forward operator. Consequently, one is interested in well-definedness and further analytic properties such as continuity and differentiability of this operator w.r.t. the parameter in order to make sure that techniques from inverse problems theory may be successfully applied to solve the inverse problem. In this work, we present a general functional analytic framework suited for the study of a huge class of parameter identification problems including a variety of elliptic boundary value problems (in divergence form) with Dirichlet, Neumann, Robin or mixed boundary conditions. In particular, we show that the corresponding parameter-to-state operators fulfil, under suitable conditions, the tangential cone condition, which is often postulated for numerical solution techniques. This framework particularly covers the inverse medium problem and an inverse problem that arises in terahertz tomography. △ Less

Submitted 12 February, 2020; originally announced February 2020.

Anomalous stop** of laser-accelerated intense proton beam in dense ionized matter

Authors: Jieru Ren, Zhigang Deng, Wei Qi, Benzheng Chen, Bubo Ma, Xing Wang, Shuai Yin, Jianhua Feng, Wei Liu, Dieter H. H. Hoffmann, Shaoyi Wang, Quan** Fan, Bo Cui, Shukai He, Zhurong Cao, Zongqing Zhao, Leifeng Cao, Yuqiu Gu, Shao** Zhu, Rui Cheng, Xianming Zhou, Guoqing Xiao, Hongwei Zhao, Yihang Zhang, Zhe Zhang , et al. (4 additional authors not shown)

Abstract: Ultrahigh-intensity lasers (10$^{18}$-10$^{22}$W/cm$^{2}$) have opened up new perspectives in many fields of research and application [1-5]. By irradiating a thin foil, an ultrahigh accelerating field (10$^{12}$ V/m) can be formed and multi-MeV ions with unprecedentedly high intensity (10$^{10}$A/cm$^2$) in short time scale ($\sim$ps) are produced [6-14]. Such beams provide new options in radiogra… ▽ More Ultrahigh-intensity lasers (10$^{18}$-10$^{22}$W/cm$^{2}$) have opened up new perspectives in many fields of research and application [1-5]. By irradiating a thin foil, an ultrahigh accelerating field (10$^{12}$ V/m) can be formed and multi-MeV ions with unprecedentedly high intensity (10$^{10}$A/cm$^2$) in short time scale ($\sim$ps) are produced [6-14]. Such beams provide new options in radiography [15], high-yield neutron sources [16], high-energy-density-matter generation [17], and ion fast ignition [18,19]. An accurate understanding of the nonlinear behavior of beam transport in matter is crucial for all these applications. We report here the first experimental evidence of anomalous stop** of a laser-generated high-current proton beam in well-characterized dense ionized matter. The observed stop** power is one order of magnitude higher than single-particle slowing-down theory predictions. We attribute this phenomenon to collective effects where the intense beam drives an decelerating electric field approaching 1GV/m in the dense ionized matter. This finding will have considerable impact on the future path to inertial fusion energy. △ Less

Submitted 6 February, 2020; v1 submitted 4 February, 2020; originally announced February 2020.

Comments: 8 pages, 4 figures

Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures

Authors: Saurabh Bagchi, Vaneet Aggarwal, Somali Chaterji, Fred Douglis, Aly El Gamal, Jiawei Han, Brian J. Henz, Hank Hoffmann, Suman Jana, Milind Kulkarni, Felix Xiaozhu Lin, Karen Marais, Prateek Mittal, Shaoshuai Mou, Xiaokang Qiu, Gesualdo Scutari

Abstract: A set of about 80 researchers, practitioners, and federal agency program managers participated in the NSF-sponsored Grand Challenges in Resilience Workshop held on Purdue campus on March 19-21, 2019. The workshop was divided into three themes: resilience in cyber, cyber-physical, and socio-technical systems. About 30 attendees in all participated in the discussions of cyber resilience. This articl… ▽ More A set of about 80 researchers, practitioners, and federal agency program managers participated in the NSF-sponsored Grand Challenges in Resilience Workshop held on Purdue campus on March 19-21, 2019. The workshop was divided into three themes: resilience in cyber, cyber-physical, and socio-technical systems. About 30 attendees in all participated in the discussions of cyber resilience. This article brings out the substantive parts of the challenges and solution approaches that were identified in the cyber resilience theme. In this article, we put forward the substantial challenges in cyber resilience in a few representative application domains and outline foundational solutions to address these challenges. These solutions fall into two broad themes: resilience-by-design and resilience-by-reaction. We use examples of autonomous systems as the application drivers motivating cyber resilience. We focus on some autonomous systems in the near horizon (autonomous ground and aerial vehicles) and also a little more distant (autonomous rescue and relief). For resilience-by-design, we focus on design methods in software that are needed for our cyber systems to be resilient. In contrast, for resilience-by-reaction, we discuss how to make systems resilient by responding, reconfiguring, or recovering at runtime when failures happen. We also discuss the notion of adaptive execution to improve resilience, execution transparently and adaptively among available execution platforms (mobile/embedded, edge, and cloud). For each of the two themes, we survey the current state, and the desired state and ways to get there. We conclude the paper by looking at the research challenges we will have to solve in the short and the mid-term to make the vision of resilient autonomous systems a reality. △ Less

Submitted 9 May, 2020; v1 submitted 25 December, 2019; originally announced December 2019.

ACM Class: C.4; D.4.5

Journal ref: IEEE Open Journal of the Computer Society, 2020

ALERT: Accurate Learning for Energy and Timeliness

Authors: Chengcheng Wan, Muhammad Santriaji, Eri Rogers, Henry Hoffmann, Michael Maire, Shan Lu

Abstract: An increasing number of software applications incorporate runtime Deep Neural Networks (DNNs) to process sensor data and return inference results to humans. Effective deployment of DNNs in these interactive scenarios requires meeting latency and accuracy constraints while minimizing energy, a problem exacerbated by common system dynamics. Prior approaches handle dynamics through either (1) system-… ▽ More An increasing number of software applications incorporate runtime Deep Neural Networks (DNNs) to process sensor data and return inference results to humans. Effective deployment of DNNs in these interactive scenarios requires meeting latency and accuracy constraints while minimizing energy, a problem exacerbated by common system dynamics. Prior approaches handle dynamics through either (1) system-oblivious DNN adaptation, which adjusts DNN latency/accuracy tradeoffs, or (2) application-oblivious system adaptation, which adjusts resources to change latency/energy tradeoffs. In contrast, this paper improves on the state-of-the-art by coordinating application- and system-level adaptation. ALERT, our runtime scheduler, uses a probabilistic model to detect environmental volatility and then simultaneously select both a DNN and a system resource configuration to meet latency, accuracy, and energy constraints. We evaluate ALERT on CPU and GPU platforms for image and speech tasks in dynamic environments. ALERT's holistic approach achieves more than 13% energy reduction, and 27% error reduction over prior approaches that adapt solely at the application or system level. Furthermore, ALERT incurs only 3% more energy consumption and 2% higher DNN-inference error than an oracle scheme with perfect application and system knowledge. △ Less

Submitted 28 May, 2020; v1 submitted 31 October, 2019; originally announced November 2019.

Journal ref: USENIX ATC, 2020

Partial Compilation of Variational Algorithms for Noisy Intermediate-Scale Quantum Machines

Authors: Pranav Gokhale, Yongshan Ding, Thomas Propson, Christopher Winkler, Nelson Leung, Yunong Shi, David I. Schuster, Henry Hoffmann, Frederic T. Chong

Abstract: Quantum computing is on the cusp of reality with Noisy Intermediate-Scale Quantum (NISQ) machines currently under development and testing. Some of the most promising algorithms for these machines are variational algorithms that employ classical optimization coupled with quantum hardware to evaluate the quality of each candidate solution. Recent work used GRadient Descent Pulse Engineering (GRAPE)… ▽ More Quantum computing is on the cusp of reality with Noisy Intermediate-Scale Quantum (NISQ) machines currently under development and testing. Some of the most promising algorithms for these machines are variational algorithms that employ classical optimization coupled with quantum hardware to evaluate the quality of each candidate solution. Recent work used GRadient Descent Pulse Engineering (GRAPE) to translate quantum programs into highly optimized machine control pulses, resulting in a significant reduction in the execution time of programs. This is critical, as quantum machines can barely support the execution of short programs before failing. However, GRAPE suffers from high compilation latency, which is untenable in variational algorithms since compilation is interleaved with computation. We propose two strategies for partial compilation, exploiting the structure of variational circuits to pre-compile optimal pulses for specific blocks of gates. Our results indicate significant pulse speedups ranging from 1.5x-3x in typical benchmarks, with only a small fraction of the compilation latency of GRAPE. △ Less

Submitted 16 September, 2019; originally announced September 2019.

Comments: Appearing in the 52nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-52), October 12-16, 2019, Columbus, OH, USA

Strain controllable magnetocrystalline anisotropy in FeRh/MgO bilayers

Authors: Henry Hoffmann, Eun Sung Jekal

Abstract: Ultra-thin film of FeRh on insulator MgO substrate has been investigated usingab-initio electronic structure calculations. From this calculation, we have found the interesting effect of epitaxial strain on the magnetocrystalline anisotropy (MCA). Analysis of the energy and k-resolved distribution of the orbital character of the band structure reveals that MCA largely arises from the spin-orbit cou… ▽ More Ultra-thin film of FeRh on insulator MgO substrate has been investigated usingab-initio electronic structure calculations. From this calculation, we have found the interesting effect of epitaxial strain on the magnetocrystalline anisotropy (MCA). Analysis of the energy and k-resolved distribution of the orbital character of the band structure reveals that MCA largely arises from the spin-orbit coupling (SOC) between dx2-y2 andd xz,yz orbitals of Fe atoms at the FeRh/MgO interface. We demonstrate that the strain has significant effects on the MCA: It not only affects the value of the MCA but also induces a switching of the magnetic easy axis from perpendicular to in-plane direction. The mechanism is the strain-induced shifts of the SOC d-states. Our work demonstrates that strain engineering can open a viable pathway towards tailoring magnetic properties for antiferromagetic spintronic applications. △ Less

Submitted 6 August, 2019; originally announced August 2019.

Language Support for Adaptation: Intent-Driven Programming in FAST

Authors: Yao-Hsiang Yang, Adam Duracz, Ferenc A. Bartha, Ryuichi Sai, Ahsan Pervaiz, Saeid Barati, Dung Nguyen, Robert Cartwright, Henry Hoffmann, Krishna V. Palem

Abstract: Historically, programming language semantics has focused on assigning a precise mathematical meaning to programs. That meaning is a function from the program's input domain to its output domain determined solely by its syntactic structure. Such a semantics, fosters the development of portable applications which are oblivious to the performance characteristics and limitations (such as a maximum mem… ▽ More Historically, programming language semantics has focused on assigning a precise mathematical meaning to programs. That meaning is a function from the program's input domain to its output domain determined solely by its syntactic structure. Such a semantics, fosters the development of portable applications which are oblivious to the performance characteristics and limitations (such as a maximum memory footprint) of particular hardware and software platforms. This paper introduces the idea of intent-driven programming where the meaning of a program additionally depends on an accompanying intent specification expressing how the ordinary program meaning is dynamically modified during execution to satisfy additional properties expressed by the intent. These include both intensional properties---e.g., resource usage---and extensional properties---e.g., accuracy of the computed answer. To demonstrate the intent-driven programming model's value, this paper presents a general-purpose intent-driven programming language---called FAST---implemented as an extension of Swift. FAST consists of an intent compiler, a profiler, a general controller interface and a runtime module which supports interoperation with legacy C/C++ codes. Compared to existing frameworks for adaptive computing, \FAST{} supports dynamic adaptation to changes both in the operating environment and in the intent itself, and enables the mixing of procedural control and control based on feedback and optimization. △ Less

Submitted 12 July, 2019; originally announced July 2019.

ACM Class: D.3.3; I.2.2; F.3.2

Universal Litmus Patterns: Revealing Backdoor Attacks in CNNs

Authors: Soheil Kolouri, Aniruddha Saha, Hamed Pirsiavash, Heiko Hoffmann

Abstract: The unprecedented success of deep neural networks in many applications has made these networks a prime target for adversarial exploitation. In this paper, we introduce a benchmark technique for detecting backdoor attacks (aka Trojan attacks) on deep convolutional neural networks (CNNs). We introduce the concept of Universal Litmus Patterns (ULPs), which enable one to reveal backdoor attacks by fee… ▽ More The unprecedented success of deep neural networks in many applications has made these networks a prime target for adversarial exploitation. In this paper, we introduce a benchmark technique for detecting backdoor attacks (aka Trojan attacks) on deep convolutional neural networks (CNNs). We introduce the concept of Universal Litmus Patterns (ULPs), which enable one to reveal backdoor attacks by feeding these universal patterns to the network and analyzing the output (i.e., classifying the network as `clean' or `corrupted'). This detection is fast because it requires only a few forward passes through a CNN. We demonstrate the effectiveness of ULPs for detecting backdoor attacks on thousands of networks with different architectures trained on four benchmark datasets, namely the German Traffic Sign Recognition Benchmark (GTSRB), MNIST, CIFAR10, and Tiny-ImageNet. The codes and train/test models for this paper can be found here https://umbcvision.github.io/Universal-Litmus-Patterns/. △ Less

Submitted 14 May, 2020; v1 submitted 26 June, 2019; originally announced June 2019.

Comments: CVPR 2020 Oral

The radial density profile of Saturn's A ring

Authors: Fabio M. Grätz, Michael Seiler, Martin Seiß, Holger Hoffmann, Frank Spahn

Abstract: In this work, we model the radial density profile of the outer A ring of Saturn observed with Cassini cameras (Tiscareno & Harris 2018): An axisymmetric diffusion model has been developed, accounting for the outward viscous flow of the ring material, and the counteracting inward drift caused by resonances of the planet's large outer moons. It has been generally accepted that the 7:6 resonance of J… ▽ More In this work, we model the radial density profile of the outer A ring of Saturn observed with Cassini cameras (Tiscareno & Harris 2018): An axisymmetric diffusion model has been developed, accounting for the outward viscous flow of the ring material, and the counteracting inward drift caused by resonances of the planet's large outer moons. It has been generally accepted that the 7:6 resonance of Janus alone confines the outer A ring which, however, was disproved by Tajeddine et al. (2017). We show that the step-like density profile of the outer A ring is predominantly defined by the discrete first-order resonances of Janus, the 5:3 second-order resonance of Mimas, and the overlap** resonances of Prometheus and Pandora. △ Less

Submitted 19 June, 2019; originally announced June 2019.

First Results on the Search for Chameleons with the KWISP Detector at CAST

Authors: S. Arguedas Cuendis, J. Baier, K. Barth, S. Baum, A. Bayirli, A. Belov, H. Bräuninger, G. Cantatore, J. M. Carmona, J. F. Castel, S. A. Cetin, T. Dafni, M. Davenport, A. Dermenev, K. Desch, B. Döbrich, H. Fischer, W. Funk, J. A. García, A. Gardikiotis, J. G. Garza, S. Gninenko, M. D. Hasinoff, D. H. H. Hoffmann, F. J. Iguaz , et al. (28 additional authors not shown)

Abstract: We report on a first measurement with a sensitive opto-mechanical force sensor designed for the direct detection of coupling of real chameleons to matter. These dark energy candidates could be produced in the Sun and stream unimpeded to Earth. The KWISP detector installed on the CAST axion search experiment at CERN looks for tiny displacements of a thin membrane caused by the mechanical effect of… ▽ More We report on a first measurement with a sensitive opto-mechanical force sensor designed for the direct detection of coupling of real chameleons to matter. These dark energy candidates could be produced in the Sun and stream unimpeded to Earth. The KWISP detector installed on the CAST axion search experiment at CERN looks for tiny displacements of a thin membrane caused by the mechanical effect of solar chameleons. The displacements are detected by a Michelson interferometer with a homodyne readout scheme. The sensor benefits from the focusing action of the ABRIXAS X-ray telescope installed at CAST, which increases the chameleon flux on the membrane. A mechanical chopper placed between the telescope output and the detector modulates the incoming chameleon stream. We present the results of the solar chameleon measurements taken at CAST in July 2017, setting an upper bound on the force acting on the membrane of $80$~pN at 95\% confidence level. The detector is sensitive for direct coupling to matter $10^4 \leqβ_m \leq 10^8$, where the coupling to photons is locally bound to $β_γ\leq 10^{11}$. △ Less

Submitted 3 June, 2019; originally announced June 2019.

Comments: 21 pages, 12 figures

Discovering Molecular Functional Groups Using Graph Convolutional Neural Networks

Authors: Phillip Pope, Soheil Kolouri, Mohammad Rostrami, Charles Martin, Heiko Hoffmann

Abstract: Functional groups (FGs) are molecular substructures that are served as a foundation for analyzing and predicting chemical properties of molecules. Automatic discovery of FGs will impact various fields of research, including medicinal chemistry and material sciences, by reducing the amount of lab experiments required for discovery or synthesis of new molecules. In this paper, we investigate methods… ▽ More Functional groups (FGs) are molecular substructures that are served as a foundation for analyzing and predicting chemical properties of molecules. Automatic discovery of FGs will impact various fields of research, including medicinal chemistry and material sciences, by reducing the amount of lab experiments required for discovery or synthesis of new molecules. In this paper, we investigate methods based on graph convolutional neural networks (GCNNs) for localizing FGs that contribute to specific chemical properties of interest. In our framework, molecules are modeled as undirected relational graphs with atoms as nodes and bonds as edges. Using this relational graph structure, we trained GCNNs in a supervised way on experimentally-validated molecular training sets to predict specific chemical properties, e.g., toxicity. Upon learning a GCNN, we analyzed its activation patterns to automatically identify FGs using four different explainability methods that we have developed: gradient-based saliency maps, Class Activation Map** (CAM), gradient-weighted CAM (Grad-CAM), and Excitation Back-Propagation. Although these methods are originally derived for convolutional neural networks (CNNs), we adapt them to develop the corresponding suitable versions for GCNNs. We evaluated the contrastive power of these methods with respect to the specificity of the identified molecular substructures and their relevance for chemical functions. Grad-CAM had the highest contrastive power and generated qualitatively the best FGs. This work paves the way for automatic analysis and design of new molecules. △ Less

Submitted 9 October, 2019; v1 submitted 1 December, 2018; originally announced December 2018.