-
First principles simulations of dense hydrogen
Authors:
Michael Bonitz,
Jan Vorberger,
Mandy Bethkenhagen,
Maximilian Böhme,
David Ceperley,
Alexey Filinov,
Thomas Gawne,
Frank Graziani,
Gianluca Gregori,
Paul Hamann,
Stephanie Hansen,
Markus Holzmann,
S. X. Hu,
Hanno Kählert,
Valentin Karasiev,
Uwe Kleinschmidt,
Linda Kordts,
Christopher Makait,
Burkhard Militzer,
Zhandos Moldabekov,
Carlo Pierleoni,
Martin Preising,
Kushal Ramakrishna,
Ronald Redmer,
Sebastian Schwalbe
, et al. (2 additional authors not shown)
Abstract:
Accurate knowledge of the properties of hydrogen at high compression is crucial for astrophysics (e.g. planetary and stellar interiors, brown dwarfs, atmosphere of compact stars) and laboratory experiments, including inertial confinement fusion. There exists experimental data for the equation of state, conductivity, and Thomson scattering spectra. However, the analysis of the measurements at extre…
▽ More
Accurate knowledge of the properties of hydrogen at high compression is crucial for astrophysics (e.g. planetary and stellar interiors, brown dwarfs, atmosphere of compact stars) and laboratory experiments, including inertial confinement fusion. There exists experimental data for the equation of state, conductivity, and Thomson scattering spectra. However, the analysis of the measurements at extreme pressures and temperatures typically involves additional model assumptions, which makes it difficult to assess the accuracy of the experimental data. rigorously. On the other hand, theory and modeling have produced extensive collections of data. They originate from a very large variety of models and simulations including path integral Monte Carlo (PIMC) simulations, density functional theory (DFT), chemical models, machine-learned models, and combinations thereof. At the same time, each of these methods has fundamental limitations (fermion sign problem in PIMC, approximate exchange-correlation functionals of DFT, inconsistent interaction energy contributions in chemical models, etc.), so for some parameter ranges accurate predictions are difficult. Recently, a number of breakthroughs in first principle PIMC and DFT simulations were achieved which are discussed in this review. Here we use these results to benchmark different simulation methods. We present an update of the hydrogen phase diagram at high pressures, the expected phase transitions, and thermodynamic properties including the equation of state and momentum distribution. Furthermore, we discuss available dynamic results for warm dense hydrogen, including the conductivity, dynamic structure factor, plasmon dispersion, imaginary-time structure, and density response functions. We conclude by outlining strategies to combine different simulations to achieve accurate theoretical predictions.
△ Less
Submitted 17 May, 2024;
originally announced May 2024.
-
Ab initio Density Response and Local Field Factor of Warm Dense Hydrogen
Authors:
Tobias Dornheim,
Sebastian Schwalbe,
Panagiotis Tolias,
Maximilan Böhme,
Zhandos Moldabekov,
Jan Vorberger
Abstract:
We present quasi-exact ab initio path integral Monte Carlo (PIMC) results for the partial static density responses and local field factors of hydrogen in the warm dense matter regime, from solid density conditions to the strongly compressed case. The full dynamic treatment of electrons and protons on the same footing allows us to rigorously quantify both electronic and ionic exchange--correlation…
▽ More
We present quasi-exact ab initio path integral Monte Carlo (PIMC) results for the partial static density responses and local field factors of hydrogen in the warm dense matter regime, from solid density conditions to the strongly compressed case. The full dynamic treatment of electrons and protons on the same footing allows us to rigorously quantify both electronic and ionic exchange--correlation effects in the system, and to compare with earlier incomplete models such as the archetypal uniform electron gas [Phys. Rev. Lett. 125, 235001 (2020)] or electrons in a fixed ion snapshot potential [Phys. Rev. Lett. 129, 066402 (2022)] that do not take into account the interplay between the two constituents. The full electronic density response is highly sensitive to electronic localization around the ions, and our results constitute unambiguous predictions for upcoming X-ray Thomson scattering (XRTS) experiments with hydrogen jets and fusion plasmas. All PIMC results are made freely available and can directly be used for a gamut of applications, including inertial confinement fusion calculations and the modelling of dense astrophysical objects. Moreover, they constitute invaluable benchmark data for approximate but computationally less demanding approaches such as density functional theory or PIMC within the fixed-node approximation.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Ab initio path integral Monte Carlo simulations of warm dense two-component systems without fixed nodes: structural properties
Authors:
Tobias Dornheim,
Sebastian Schwalbe,
Maximilian Böhme,
Zhandos Moldabekov,
Jan Vorberger,
Panagiotis Tolias
Abstract:
We present extensive new \emph{ab initio} path integral Monte Carlo (PIMC) results for a variety of structural properties of warm dense hydrogen and beryllium. To deal with the fermion sign problem -- an exponential computational bottleneck due to the antisymmetry of the electronic thermal density matrix -- we employ the recently proposed [\textit{J.~Chem.~Phys.}~\textbf{157}, 094112 (2022); \text…
▽ More
We present extensive new \emph{ab initio} path integral Monte Carlo (PIMC) results for a variety of structural properties of warm dense hydrogen and beryllium. To deal with the fermion sign problem -- an exponential computational bottleneck due to the antisymmetry of the electronic thermal density matrix -- we employ the recently proposed [\textit{J.~Chem.~Phys.}~\textbf{157}, 094112 (2022); \textbf{159}, 164113 (2023)] $ξ$-extrapolation method and find excellent agreement with exact direct PIMC reference data where available. This opens up the intriguing possibility to study a gamut of properties of light elements and potentially material mixtures over a substantial part of the warm dense matter regime, with direct relevance for astrophysics, material science, and inertial confinement fusion research.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Unraveling electronic correlations in warm dense quantum plasmas
Authors:
Tobias Dornheim,
Tilo Döppner,
Panagiotis Tolias,
Maximilian Böhme,
Luke Fletcher,
Thomas Gawne,
Frank Graziani,
Dominik Kraus,
Michael MacDonald,
Zhandos Moldabekov,
Sebastian Schwalbe,
Dirk Gericke,
Jan Vorberger
Abstract:
The study of matter at extreme densities and temperatures has emerged as a highly active frontier at the interface of plasma physics, material science and quantum chemistry with direct relevance for planetary modeling and inertial confinement fusion.
A particular feature of such warm dense matter is the complex interplay of strong Coulomb interactions, quantum effects, and thermal excitations, r…
▽ More
The study of matter at extreme densities and temperatures has emerged as a highly active frontier at the interface of plasma physics, material science and quantum chemistry with direct relevance for planetary modeling and inertial confinement fusion.
A particular feature of such warm dense matter is the complex interplay of strong Coulomb interactions, quantum effects, and thermal excitations, rendering its rigorous theoretical description a formidable challenge. Here, we report a breakthrough in path integral Monte Carlo simulations that allows us to unravel this intricate interplay for light elements without nodal restrictions. This new capability gives us access to electronic correlations previously unattainable. As an example, we apply our method to strongly compressed beryllium to describe x-ray Thomson scattering (XRTS) data obtained at the National Ignition Facility. We find excellent agreement between simulation and experiment. Our analysis shows an unprecedented level of consistency for independent observations without the need for any empirical input parameters.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
How Much is Unseen Depends Chiefly on Information About the Seen
Authors:
Seongmin Lee,
Marcel Böhme
Abstract:
It might seem counter-intuitive at first: We find that, in expectation, the proportion of data points in an unknown population-that belong to classes that do not appear in the training data-is almost entirely determined by the number $f_k$ of classes that do appear in the training data the same number of times. While in theory we show that the difference of the induced estimator decays exponential…
▽ More
It might seem counter-intuitive at first: We find that, in expectation, the proportion of data points in an unknown population-that belong to classes that do not appear in the training data-is almost entirely determined by the number $f_k$ of classes that do appear in the training data the same number of times. While in theory we show that the difference of the induced estimator decays exponentially in the size of the sample, in practice the high variance prevents us from using it directly for an estimator of the sample coverage. However, our precise characterization of the dependency between $f_k$'s induces a large search space of different representations of the expected value, which can be deterministically instantiated as estimators. Hence, we turn to optimization and develop a genetic algorithm that, given only the sample, searches for an estimator with minimal mean-squared error (MSE). In our experiments, our genetic algorithm discovers estimators that have a substantially smaller MSE than the state-of-the-art Good-Turing estimator. This holds for over 96% of runs when there are at least as many samples as classes. Our estimators' MSE is roughly 80% of the Good-Turing estimator's.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Guarantees in Security: A Philosophical Perspective
Authors:
Marcel Böhme
Abstract:
Research in cybersecurity may seem reactive, specific, ephemeral, and indeed ineffective. Despite decades of innovation in defense, even the most critical software systems turn out to be vulnerable to attacks. Time and again. Offense and defense forever on repeat. Even provable security, meant to provide an indubitable guarantee of security, does not stop attackers from finding security flaws. As…
▽ More
Research in cybersecurity may seem reactive, specific, ephemeral, and indeed ineffective. Despite decades of innovation in defense, even the most critical software systems turn out to be vulnerable to attacks. Time and again. Offense and defense forever on repeat. Even provable security, meant to provide an indubitable guarantee of security, does not stop attackers from finding security flaws. As we reflect on our achievements, we are left wondering: Can security be solved once and for all?
In this paper, we take a philosophical perspective and develop the first theory of cybersecurity that explains what *fundamentally* prevents us from making reliable statements about the security of a software system. We substantiate each argument by demonstrating how the corresponding challenge is routinely exploited to attack a system despite credible assurances about the absence of security flaws. To make meaningful progress in the presence of these challenges, we introduce a philosophy of cybersecurity.
△ Less
Submitted 26 June, 2024; v1 submitted 2 February, 2024;
originally announced February 2024.
-
Testing side-channel security of cryptographic implementations against future microarchitectures
Authors:
Gilles Barthe,
Marcel Böhme,
Sunjay Cauligi,
Chitchanok Chuengsatiansup,
Daniel Genkin,
Marco Guarnieri,
David Mateos Romero,
Peter Schwabe,
David Wu,
Yuval Yarom
Abstract:
How will future microarchitectures impact the security of existing cryptographic implementations? As we cannot keep reducing the size of transistors, chip vendors have started develo** new microarchitectural optimizations to speed up computation. A recent study (Sanchez Vicarte et al., ISCA 2021) suggests that these optimizations might open the Pandora's box of microarchitectural attacks. Howeve…
▽ More
How will future microarchitectures impact the security of existing cryptographic implementations? As we cannot keep reducing the size of transistors, chip vendors have started develo** new microarchitectural optimizations to speed up computation. A recent study (Sanchez Vicarte et al., ISCA 2021) suggests that these optimizations might open the Pandora's box of microarchitectural attacks. However, there is little guidance on how to evaluate the security impact of future optimization proposals.
To help chip vendors explore the impact of microarchitectural optimizations on cryptographic implementations, we develop (i) an expressive domain-specific language, called LmSpec, that allows them to specify the leakage model for the given optimization and (ii) a testing framework, called LmTest, to automatically detect leaks under the specified leakage model within the given implementation. Using this framework, we conduct an empirical study of 18 proposed microarchitectural optimizations on 25 implementations of eight cryptographic primitives in five popular libraries. We find that every implementation would contain secret-dependent leaks, sometimes sufficient to recover a victim's secret key, if these optimizations were realized. Ironically, some leaks are possible only because of coding idioms used to prevent leaks under the standard constant-time model.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
Bound state breaking and the importance of thermal exchange-correlation effects in warm dense hydrogen
Authors:
Zhandos Moldabekov,
Sebastian Schwalbe,
Maximilian Böhme,
Jan Vorberger,
Xuecheng Shao,
Michele Pavanello,
Frank Graziani,
Tobias Dornheim
Abstract:
Hydrogen at extreme temperatures and pressures is ubiquitous throughout our universe and naturally occurs in a variety of astrophysical objects. In addition, it is of key relevance for cutting-edge technological applications, with inertial confinement fusion research being a prime example. In the present work, we present exact \emph{ab initio} path integral Monte Carlo (PIMC) results for the elect…
▽ More
Hydrogen at extreme temperatures and pressures is ubiquitous throughout our universe and naturally occurs in a variety of astrophysical objects. In addition, it is of key relevance for cutting-edge technological applications, with inertial confinement fusion research being a prime example. In the present work, we present exact \emph{ab initio} path integral Monte Carlo (PIMC) results for the electronic density of warm dense hydrogen along a line of constant degeneracy across a broad range of densities. Using the well-known concept of reduced density gradients, we develop a new framework to identify the breaking of bound states due to pressure ionization in bulk hydrogen. Moreover, we use our PIMC results as a reference to rigorously assess the accuracy of a variety of exchange--correlation (XC) functionals in density functional theory calculations for different density regions. Here a key finding is the importance of thermal XC effects for the accurate description of density gradients in high-energy density systems. Our exact PIMC test set is freely available online and can be used to guide the development of new methodologies for the simulation of warm dense matter and beyond.
△ Less
Submitted 6 November, 2023; v1 submitted 15 August, 2023;
originally announced August 2023.
-
Evidence of free-bound transitions in warm dense matter and their impact on equation-of-state measurements
Authors:
Maximilian P. Böhme,
Luke B. Fletcher,
Tilo Döppner,
Dominik Kraus,
Andrew D. Baczewski,
Thomas R. Preston,
Michael J. MacDonald,
Frank R. Graziani,
Zhandos A. Moldabekov,
Jan Vorberger,
Tobias Dornheim
Abstract:
Warm dense matter (WDM) is now routinely created and probed in laboratories around the world, providing unprecedented insights into conditions achieved in stellar atmospheres, planetary interiors, and inertial confinement fusion experiments. However, the interpretation of these experiments is often filtered through models with systematic errors that are difficult to quantify. Due to the simultaneo…
▽ More
Warm dense matter (WDM) is now routinely created and probed in laboratories around the world, providing unprecedented insights into conditions achieved in stellar atmospheres, planetary interiors, and inertial confinement fusion experiments. However, the interpretation of these experiments is often filtered through models with systematic errors that are difficult to quantify. Due to the simultaneous presence of quantum degeneracy and thermal excitation, processes in which free electrons are de-excited into thermally unoccupied bound states transferring momentum and energy to a scattered x-ray photon become viable. Here we show that such free-bound transitions are a particular feature of WDM and vanish in the limits of cold and hot temperatures. The inclusion of these processes into the analysis of recent X-ray Thomson Scattering experiments on WDM at the National Ignition Facility and the Linac Coherent Light Source significantly improves model fits, indicating that free-bound transitions have been observed without previously being identified. This interpretation is corroborated by agreement with a recently developed model-free thermometry technique and presents an important step for precisely characterizing and understanding the complex WDM state of matter.
△ Less
Submitted 30 June, 2023;
originally announced June 2023.
-
Uncovering the Limits of Machine Learning for Automatic Vulnerability Detection
Authors:
Niklas Risse,
Marcel Böhme
Abstract:
Recent results of machine learning for automatic vulnerability detection (ML4VD) have been very promising. Given only the source code of a function $f$, ML4VD techniques can decide if $f$ contains a security flaw with up to 70% accuracy. However, as evident in our own experiments, the same top-performing models are unable to distinguish between functions that contain a vulnerability and functions…
▽ More
Recent results of machine learning for automatic vulnerability detection (ML4VD) have been very promising. Given only the source code of a function $f$, ML4VD techniques can decide if $f$ contains a security flaw with up to 70% accuracy. However, as evident in our own experiments, the same top-performing models are unable to distinguish between functions that contain a vulnerability and functions where the vulnerability is patched. So, how can we explain this contradiction and how can we improve the way we evaluate ML4VD techniques to get a better picture of their actual capabilities?
In this paper, we identify overfitting to unrelated features and out-of-distribution generalization as two problems, which are not captured by the traditional approach of evaluating ML4VD techniques. As a remedy, we propose a novel benchmarking methodology to help researchers better evaluate the true capabilities and limits of ML4VD techniques. Specifically, we propose (i) to augment the training and validation dataset according to our cross-validation algorithm, where a semantic preserving transformation is applied during the augmentation of either the training set or the testing set, and (ii) to augment the testing set with code snippets where the vulnerabilities are patched.
Using six ML4VD techniques and two datasets, we find (a) that state-of-the-art models severely overfit to unrelated features for predicting the vulnerabilities in the testing data, (b) that the performance gained by data augmentation does not generalize beyond the specific augmentations applied during training, and (c) that state-of-the-art ML4VD techniques are unable to distinguish vulnerable functions from their patches.
△ Less
Submitted 6 June, 2024; v1 submitted 28 June, 2023;
originally announced June 2023.
-
Electronic density response of warm dense hydrogen on the nanoscale
Authors:
Tobias Dornheim,
Maximilian Böhme,
Zhandos Moldabekov,
Jan Vorberger
Abstract:
The properties of hydrogen at warm dense matter (WDM) conditions are of high importance for the understanding of astrophysical objects and technological applications such as inertial confinement fusion. In this work, we present extensive new \emph{ab initio} path integral Monte Carlo (PIMC) results for the electronic properties in the Coulomb potential of a fixed ionic configuration. This gives us…
▽ More
The properties of hydrogen at warm dense matter (WDM) conditions are of high importance for the understanding of astrophysical objects and technological applications such as inertial confinement fusion. In this work, we present extensive new \emph{ab initio} path integral Monte Carlo (PIMC) results for the electronic properties in the Coulomb potential of a fixed ionic configuration. This gives us new insights into the complex interplay between the electronic localization around the protons with their density response to an external harmonic perturbation. We find qualitative agreement between our simulation data and a heuristic model based on the assumption of a local uniform electron gas model, but important trends are not captured by this simplification. In addition to being interesting in their own right, we are convinced that our results will be of high value for future projects, such as the rigorous benchmarking of approximate theories for the simulation of WDM, most notably density functional theory.
△ Less
Submitted 9 June, 2023;
originally announced June 2023.
-
X-ray Thomson scattering absolute intensity from the f-sum rule in the imaginary-time domain
Authors:
Tobias Dornheim,
Tilo Döppner,
Andrew D. Baczewski,
Panagiotis Tolias,
Maximilian P. Böhme,
Zhandos A. Moldabekov,
Thomas Gawne,
Divyanshu Ranjan,
David A. Chapman,
Michael J. MacDonald,
Thomas R. Preston,
Dominik Kraus,
Jan Vorberger
Abstract:
We present a formally exact and simulation-free approach for the normalization of X-ray Thomson scattering (XRTS) spectra based on the f-sum rule of the imaginary-time correlation function (ITCF). Our method works for any degree of collectivity, over a broad range of temperatures, and is applicable even in nonequilibrium situations. In addition to giving us model-free access to electronic correlat…
▽ More
We present a formally exact and simulation-free approach for the normalization of X-ray Thomson scattering (XRTS) spectra based on the f-sum rule of the imaginary-time correlation function (ITCF). Our method works for any degree of collectivity, over a broad range of temperatures, and is applicable even in nonequilibrium situations. In addition to giving us model-free access to electronic correlations, this new approach opens up the intriguing possibility to extract a plethora of physical properties from the ITCF based on XRTS experiments.
△ Less
Submitted 4 March, 2024; v1 submitted 24 May, 2023;
originally announced May 2023.
-
SBFT Tool Competition 2023 -- Fuzzing Track
Authors:
Dongge Liu,
Jonathan Metzman,
Marcel Böhme,
Oliver Chang,
Abhishek Arya
Abstract:
This report outlines the objectives, methodology, challenges, and results of the first Fuzzing Competition held at SBFT 2023. The competition utilized FuzzBench to assess the code-coverage performance and bug-finding efficacy of eight participating fuzzers over 23 hours. The competition was organized in three phases. In the first phase, participants were asked to integrate their fuzzers into FuzzB…
▽ More
This report outlines the objectives, methodology, challenges, and results of the first Fuzzing Competition held at SBFT 2023. The competition utilized FuzzBench to assess the code-coverage performance and bug-finding efficacy of eight participating fuzzers over 23 hours. The competition was organized in three phases. In the first phase, participants were asked to integrate their fuzzers into FuzzBench and allowed them to privately run local experiments against the publicly available benchmarks. In the second phase, we publicly ran all submitted fuzzers on the publicly available benchmarks and allowed participants to fix any remaining bugs in their fuzzers. In the third phase, we publicly ran all submitted fuzzers plus three widely-used baseline fuzzers on a hidden set and the publicly available set of benchmark programs to establish the final results.
△ Less
Submitted 15 May, 2023; v1 submitted 19 April, 2023;
originally announced April 2023.
-
Finding Bug-Inducing Program Environments
Authors:
Zahra Mirzamomen,
Marcel Böhme
Abstract:
Some bugs cannot be exposed by program inputs, but only by certain program environments. During execution, most programs access various resources, like databases, files, or devices, that are external to the program and thus part of the program's environment. In this paper, we present a coverage-guided, mutation-based environment synthesis approach of bug-inducing program environments. Specifically…
▽ More
Some bugs cannot be exposed by program inputs, but only by certain program environments. During execution, most programs access various resources, like databases, files, or devices, that are external to the program and thus part of the program's environment. In this paper, we present a coverage-guided, mutation-based environment synthesis approach of bug-inducing program environments. Specifically, we observe that programs interact with their environment via dedicated system calls and propose to intercept these system calls (i) to capture the resources accessed during the first execution of an input as initial program environment, and (ii) mutate copies of these resources during subsequent executions of that input to generate slightly changed program environments. Any generated environment that is observed to increase coverage is added to the corpus of environment seeds and becomes subject to further fuzzing. Bug-inducing program environments are reported to the user.
Experiments demonstrate the effectiveness of our approach. We implemented a prototype called AFLChaos which found bugs in the resource-handling code of five (5) of the seven (7) open source projects in our benchmark set (incl. OpenSSL). Automatically, AFLChaos generated environments consisting of bug-inducing databases used for storing information, bug-inducing multimedia files used for streaming, bug-inducing cryptographic keys used for encryption, and bug-inducing configuration files used to configure the program. To support open science, we publish the experimental infrastructure, our tool, and all data.
△ Less
Submitted 19 April, 2023;
originally announced April 2023.
-
Revealing Non-equilibrium and Relaxation in Warm Dense Matter
Authors:
Jan Vorberger,
Thomas R. Preston,
Nikita Medvedev,
Maximilian P. Böhme,
Zhandos A. Moldabekov,
Dominik Kraus,
Tobias Dornheim
Abstract:
Experiments creating extreme states of matter almost invariably create non-equilibrium states. These are very interesting in their own right but need to be understood even if the ultimate goal is to probe high-pressure or high-temperature equilibrium properties like the equation of state. Here, we report on the capabilities of the newly developed imaginary time correlation function (ITCF) techniqu…
▽ More
Experiments creating extreme states of matter almost invariably create non-equilibrium states. These are very interesting in their own right but need to be understood even if the ultimate goal is to probe high-pressure or high-temperature equilibrium properties like the equation of state. Here, we report on the capabilities of the newly developed imaginary time correlation function (ITCF) technique [1] to detect and quantify non-equilibrium in pump-probe experiments fielding time resolved x-ray scattering diagnostics. We find a high sensitivity of the ITCF even to a small fraction of non-equilibrium electrons in the Wigner distribution. The behavior of the ITCF technique is such that modern lasers and detectors should be able to trace the non-equilibrium relaxation from tens of femto-seconds to several 10s of picoseconds without the need for a model.
△ Less
Submitted 22 February, 2023;
originally announced February 2023.
-
Linear-response time-dependent density functional theory approach to warm dense matter with adiabatic exchange--correlation kernels
Authors:
Zhandos A. Moldabekov,
Michele Pavanello,
Maximilian P. Boehme,
Jan Vorberger,
Tobias Dornheim
Abstract:
We present a new methodology for the linear-response time-dependent density functional theory (LR-TDDFT) calculation of the dynamic density response function of warm dense matter in an adiabatic approximation that can be used with any available exchange-correlation (XC) functional across Jacob's Ladder and across temperature regimes. The main novelty of the presented approach is that it can go bey…
▽ More
We present a new methodology for the linear-response time-dependent density functional theory (LR-TDDFT) calculation of the dynamic density response function of warm dense matter in an adiabatic approximation that can be used with any available exchange-correlation (XC) functional across Jacob's Ladder and across temperature regimes. The main novelty of the presented approach is that it can go beyond the adiabatic local density approximation (ALDA) and generalized LDA (AGGA) while preserving the self-consistence between the Kohn-Sham (KS) response function and adiabatic XC kernel for extended systems. The key ingredient for the presented method is the combination of the adiabatic XC kernel from the direct perturbation approach with the macroscopic dynamic KS response from the standard LR-TDDFT method using KS orbitals. We demonstrate the application of the method for the example of warm dense hydrogen, for which we perform a detailed analysis of the KS density response function, the RPA result, the total density response function and of the adiabatic XC kernel. The analysis is performed using LDA, GGA, and meta-GGA level approximations for the XC effects. The presented method is directly applicable to disordered systems such as liquid metals, warm dense matter, and dense plasmas.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
Extraction of the frequency moments of spectral densities from imaginary-time correlation function data
Authors:
Tobias Dornheim,
Damar C. Wicaksono,
Juan E. Suarez-Cardona,
Panagiotis Tolias,
Maximilian Böhme,
Zhandos Moldabekov,
Michael Hecht,
Jan Vorberger
Abstract:
We introduce an exact framework to compute the positive frequency moments $M^{(α)}(\mathbf{q})=\braket{ω^α}$ of different dynamic properties from imaginary-time quantum Monte Carlo data. As a practical example, we obtain the first five moments of the dynamic structure factor $S(\mathbf{q},ω)$ of the uniform electron gas at the electronic Fermi temperature based on \emph{ab initio} path integral Mo…
▽ More
We introduce an exact framework to compute the positive frequency moments $M^{(α)}(\mathbf{q})=\braket{ω^α}$ of different dynamic properties from imaginary-time quantum Monte Carlo data. As a practical example, we obtain the first five moments of the dynamic structure factor $S(\mathbf{q},ω)$ of the uniform electron gas at the electronic Fermi temperature based on \emph{ab initio} path integral Monte Carlo simulations. We find excellent agreement with known sum rules for $α=1,3$, and, to our knowledge, present the first results for $α=2,4,5$. Our idea can be straightforwardly generalized to other dynamic properties such as the single-particle spectral function $A(\mathbf{q},ω)$, and will be useful for a number of applications, including the study of ultracold atoms, exotic warm dense matter, and condensed matter systems.
△ Less
Submitted 20 January, 2023;
originally announced January 2023.
-
Temperature analysis of X-ray Thomson scattering data
Authors:
Tobias Dornheim,
Maximilian Böhme,
Dave Chapman,
Dominik Kraus,
Thomas R. Preston,
Zhandos Moldabekov,
Niclas Schlünzen,
Attila Cangi,
Tilo Döppner,
Jan Vorberger
Abstract:
The accurate interpretation of experiments with matter at extreme densities and pressures is a notoriously difficult challenge. In a recent work [T.~Dornheim et al., Nature Comm. (in print), arXiv:2206.12805], we have introduced a formally exact methodology that allows extracting the temperature of arbitrarily complex materials without any model assumptions or simulations. Here, we provide a more…
▽ More
The accurate interpretation of experiments with matter at extreme densities and pressures is a notoriously difficult challenge. In a recent work [T.~Dornheim et al., Nature Comm. (in print), arXiv:2206.12805], we have introduced a formally exact methodology that allows extracting the temperature of arbitrarily complex materials without any model assumptions or simulations. Here, we provide a more detailed introduction to this approach and analyze the impact of experimental noise on the extracted temperatures. In particular, we extensively apply our method both to synthetic scattering data and to previous experimental measurements over a broad range of temperatures and wave numbers. We expect that our approach will be of high interest to a gamut of applications, including inertial confinement fusion, laboratory astrophysics, and the compilation of highly accurate equation-of-state databases.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
Explainable Fuzzer Evaluation
Authors:
Dylan Wolff,
Marcel Böhme,
Abhik Roychoudhury
Abstract:
While the aim of fuzzer evaluation is to establish fuzzer performance in general, an evaluation is always conducted on a specific benchmark. In this paper, we investigate the degree to which the benchmarking result depends on the properties of the benchmark and propose a methodology to quantify the impact of benchmark properties on the benchmarking result in relation to the impact of the choice of…
▽ More
While the aim of fuzzer evaluation is to establish fuzzer performance in general, an evaluation is always conducted on a specific benchmark. In this paper, we investigate the degree to which the benchmarking result depends on the properties of the benchmark and propose a methodology to quantify the impact of benchmark properties on the benchmarking result in relation to the impact of the choice of fuzzer. We found that the measured performance and ranking of a fuzzer substantially depends on properties of the programs and the seed corpora used during evaluation. For instance, if the benchmark contained larger programs or seed corpora with a higher initial coverage, AFL's ranking would improve while LibFuzzer's ranking would worsen. We describe our methodology as explainable fuzzer evaluation because it explains why the specific evaluation setup yields the observed superiority or ranking of the fuzzers and how it might change for different benchmarks. We envision that our analysis can be used to assess the degree to which evaluation results are overfitted to the benchmark and to identify the specific conditions under which different fuzzers performs better than others.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
Electronic Density Response of Warm Dense Matter
Authors:
Tobias Dornheim,
Zhandos A. Moldabekov,
Kushal Ramakrishna,
Panagiotis Tolias,
Andrew D. Baczewski,
Dominik Kraus,
Thomas R. Preston,
David A. Chapman,
Maximilian P. Böhme,
Tilo Döppner,
Frank Graziani,
Michael Bonitz,
Attila Cangi,
Jan Vorberger
Abstract:
Matter at extreme temperatures and pressures -- commonly known as warm dense matter (WDM) in the literature -- is ubiquitous throughout our Universe and occurs in a number of astrophysical objects such as giant planet interiors and brown dwarfs. Moreover, WDM is very important for technological applications such as inertial confinement fusion, and is realized in the laboratory using different tech…
▽ More
Matter at extreme temperatures and pressures -- commonly known as warm dense matter (WDM) in the literature -- is ubiquitous throughout our Universe and occurs in a number of astrophysical objects such as giant planet interiors and brown dwarfs. Moreover, WDM is very important for technological applications such as inertial confinement fusion, and is realized in the laboratory using different techniques. A particularly important property for the understanding of WDM is given by its electronic density response to an external perturbation. Such response properties are routinely probed in x-ray Thomson scattering (XRTS) experiments, and, in addition, are central for the theoretical description of WDM. In this work, we give an overview of a number of recent developments in this field. To this end, we summarize the relevant theoretical background, covering the regime of linear-response theory as well as nonlinear effects, the fully dynamic response and its static, time-independent limit, and the connection between density response properties and imaginary-time correlation functions (ITCF). In addition, we introduce the most important numerical simulation techniques including ab initio path integral Monte Carlo (PIMC) simulations and different thermal density functional theory (DFT) approaches. From a practical perspective, we present a variety of simulation results for different density response properties, covering the archetypal model of the uniform electron gas and realistic WDM systems such as hydrogen. Moreover, we show how the concept of ITCFs can be used to infer the temperature from XRTS measurements of arbitrarily complex systems without the need for any models or approximations. Finally, we outline a strategy for future developments based on the close interplay between simulations and experiments.
△ Less
Submitted 19 December, 2022; v1 submitted 16 December, 2022;
originally announced December 2022.
-
Analyzing X-ray Thomson scattering experiments of warm dense matter in the imaginary-time domain: theoretical models and simulations
Authors:
Tobias Dornheim,
Jan Vorberger,
Zhandos Moldabekov,
Maximilian Böhme
Abstract:
The rigorous diagnostics of experiments with warm dense matter (WDM) is notoriously difficult. A key method is given by X-ray Thomson scattering (XRTS), but the interpretation of XRTS measurements is usually based on theoretical models that entail various approximations. Recently, Dornheim et al. [arXiv:2206.12805] have introduced a new framework for temperature diagnostics of XRTS experiments tha…
▽ More
The rigorous diagnostics of experiments with warm dense matter (WDM) is notoriously difficult. A key method is given by X-ray Thomson scattering (XRTS), but the interpretation of XRTS measurements is usually based on theoretical models that entail various approximations. Recently, Dornheim et al. [arXiv:2206.12805] have introduced a new framework for temperature diagnostics of XRTS experiments that is based on imaginary-time correlation functions (ITCF). On the one hand, switching from the frequency- to the imaginary-time domain gives one direct access to a number of physical properties, which facilitates the extraction of the temperature of arbitrarily complex materials without any models or approximations. On the other hand, the bulk of theoretical works in dynamic quantum many-body theory is devoted to the frequency-domain, and, to our knowledge, the manifestation of physics properties within the ITCF remains poorly understood. In the present work, we aim to change this unsatisfactory situation by introducing a simple, semi-analytical model for the imaginary-time dependence of two-body correlations within the framework of imaginary-time path integrals. As a practical example, we compare our new model to extensive ab initio path integral Monte Carlo results for the ITCF of a uniform electron gas, and find excellent agreement over a broad range of wave numbers, densities, and temperatures.
△ Less
Submitted 1 November, 2022;
originally announced November 2022.
-
Physical insights from imaginary-time density--density correlation functions
Authors:
Tobias Dornheim,
Zhandos Moldabekov,
Panagiotis Tolias,
Maximilian Böhme,
Jan Vorberger
Abstract:
The accurate theoretical description of the dynamic properties of correlated quantum many-body systems such as the dynamic structure factor $S(\mathbf{q},ω)$ constitutes an important task in many fields. Unfortunately, highly accurate quantum Monte Carlo methods are usually restricted to the imaginary time domain, and the analytic continuation of the imaginary time density--density correlation fun…
▽ More
The accurate theoretical description of the dynamic properties of correlated quantum many-body systems such as the dynamic structure factor $S(\mathbf{q},ω)$ constitutes an important task in many fields. Unfortunately, highly accurate quantum Monte Carlo methods are usually restricted to the imaginary time domain, and the analytic continuation of the imaginary time density--density correlation function $F(\mathbf{q},τ)$ to real frequencies is a notoriously hard problem. In this work, we argue that no such analytic continuation is required as $F(\mathbf{q},τ)$ contains, by definition, the same physical information as $S(\mathbf{q},ω)$, only in an unfamiliar representation. Specifically, we show how we can directly extract key information such as the temperature or quasi-particle excitation energies from the $τ$-domain, which is highly relevant for equation-of-state measurements of matter under extreme conditions. As a practical example, we consider \emph{ab initio} path integral Monte Carlo results for the uniform electron gas (UEG), and demonstrate that even nontrivial processes such as the \emph{roton feature} of the UEG at low density straightforwardly manifest in $F(\mathbf{q},τ)$. In fact, directly working in the $τ$-domain is advantageous for many reasons and holds the enticing promise for unprecedented agreement between theory and experiment.
△ Less
Submitted 7 March, 2023; v1 submitted 6 September, 2022;
originally announced September 2022.
-
Ab initio Static Exchange-Correlation Kernel across Jacob's Ladder without functional derivatives
Authors:
Zhandos A. Moldabekov,
Maximilian Böhme,
Jan Vorberger,
David Blaschke,
Tobias Dornheim
Abstract:
The electronic exchange-correlation (XC) kernel constitutes a fundamental input for the estimation of a gamut of material properties such as the dielectric characteristics, the thermal and electrical conductivity, or the response to an external perturbation. In practice, no reliable method has been known that allows to compute the kernel of real materials with arbitrary XC functionals. In this wor…
▽ More
The electronic exchange-correlation (XC) kernel constitutes a fundamental input for the estimation of a gamut of material properties such as the dielectric characteristics, the thermal and electrical conductivity, or the response to an external perturbation. In practice, no reliable method has been known that allows to compute the kernel of real materials with arbitrary XC functionals. In this work, we overcome this long-standing limitation by introducing a new, formally exact methodology for the computation of the material specific static XC kernel exclusively within the framework of density functional theory (DFT) and without employing functional derivatives -- no external input apart from the usual XC-functional is required. We compare our new results with exact quantum Monte Carlo (QMC) data for the archetypical uniform electron gas model at both ambient and warm dense matter conditions. This gives us unprecedented insights into the performance of different XC-functionals, and has important implications for the development of new functionals that are designed for the application at extreme temperatures. In addition, we obtain new DFT results for the XC kernel of warm dense hydrogen as it occurs in fusion applications and astrophysical objects. The observed excellent agreement to the QMC reference data demonstrates that our framework is capable to capture nontrivial effects such as XC-induced isotropy breaking in the density response of hydrogen at large wave numbers.
△ Less
Submitted 4 November, 2022; v1 submitted 2 September, 2022;
originally announced September 2022.
-
Ab initio path integral Monte Carlo simulations of hydrogen snapshots at warm dense matter conditions
Authors:
Maximilian Böhme,
Zhandos A. Moldabekov,
Jan Vorberger,
Tobias Dornheim
Abstract:
We combine ab initio path integral Monte Carlo (PIMC) simulations with fixed ion configurations from density functional theory molecular dynamics (DFT-MD) simulations to solve the electronic problem for hydrogen under warm dense matter conditions [M.Böhme et. al. Phys.Rev.Lett.(in print)]. The problem of path collapse due to the Coulomb attraction is avoided by utilizing the pair approximation, wh…
▽ More
We combine ab initio path integral Monte Carlo (PIMC) simulations with fixed ion configurations from density functional theory molecular dynamics (DFT-MD) simulations to solve the electronic problem for hydrogen under warm dense matter conditions [M.Böhme et. al. Phys.Rev.Lett.(in print)]. The problem of path collapse due to the Coulomb attraction is avoided by utilizing the pair approximation, which is compared against the simpler Kelbg pair-potential. We find very favourable convergence behaviour towards the former. Since we do not impose any nodal restrictions, our PIMC simulations are afflicted with the notorious fermion sign problem, which we analyse in detail. While computationally demanding, our results constitute an exact benchmark for other methods and approximations such as DFT. Our set-up gives us the unique capability to study important properties of warm dense hydrogen such as the electronic static density response and exchange--correlation (XC) kernel without any model assumptions, which will be very valuable for a variety of applications such as the interpretation of experiments and the development of new XC functionals.
△ Less
Submitted 20 December, 2022; v1 submitted 29 July, 2022;
originally announced July 2022.
-
Accurate Temperature Diagnostics for Matter under Extreme Conditions
Authors:
Tobias Dornheim,
Maximilian Böhme,
Dominik Kraus,
Tilo Döppner,
Thomas Preston,
Zhandos Moldabekov,
Jan Vorberger
Abstract:
The experimental investigation of matter under extreme densities and temperatures as they occur for example in astrophysical objects and nuclear fusion applications constitutes one of the most active frontiers at the interface of material science, plasma physics, and engineering. The central obstacle is given by the rigorous interpretation of the experimental results, as even the diagnosis of basi…
▽ More
The experimental investigation of matter under extreme densities and temperatures as they occur for example in astrophysical objects and nuclear fusion applications constitutes one of the most active frontiers at the interface of material science, plasma physics, and engineering. The central obstacle is given by the rigorous interpretation of the experimental results, as even the diagnosis of basic parameters like the temperature T is rendered highly difficult by the extreme conditions. In this work, we present a simple, approximation-free method to extract the temperature of arbitrarily complex materials from scattering experiments, without the need for any simulations or an explicit deconvolution. This new paradigm can be readily implemented at modern facilities and corresponding experiments will have a profound impact on our understanding of warm dense matter and beyond, and open up a gamut of appealing possibilities in the context of thermonuclear fusion, laboratory astrophysics, and related disciplines.
△ Less
Submitted 26 June, 2022;
originally announced June 2022.
-
Effectiveness and Scalability of Fuzzing Techniques in CI/CD Pipelines
Authors:
Thijs Klooster,
Fatih Turkmen,
Gerben Broenink,
Ruben ten Hove,
Marcel Böhme
Abstract:
Fuzzing has proven to be a fundamental technique to automated software testing but also a costly one. With the increased adoption of CI/CD practices in software development, a natural question to ask is `What are the best ways to integrate fuzzing into CI/CD pipelines considering the velocity in code changes and the automated delivery/deployment practices?'. Indeed, a recent study by Böhme and Zhu…
▽ More
Fuzzing has proven to be a fundamental technique to automated software testing but also a costly one. With the increased adoption of CI/CD practices in software development, a natural question to ask is `What are the best ways to integrate fuzzing into CI/CD pipelines considering the velocity in code changes and the automated delivery/deployment practices?'. Indeed, a recent study by Böhme and Zhu shows that four in every five bugs have been introduced by recent code changes (i.e. regressions). In this paper, we take a close look at the integration of fuzzers to CI/CD pipelines from both automated software testing and continuous development angles. Firstly, we study an optimization opportunity to triage commits that do not require fuzzing and find, through experimental analysis, that the average fuzzing effort in CI/CD can be reduced by ~63% in three of the nine libraries we analyzed (>40% for six libraries). Secondly, we investigate the impact of fuzzing campaign duration on the CI/CD process: A shorter fuzzing campaign such as 15 minutes (as opposed to the wisdom of 24 hours in the field) facilitates a faster pipeline and can still uncover important bugs, but may also reduce its capability to detect sophisticated bugs. Lastly, we discuss a prioritization strategy that automatically assigns resources to fuzzing campaigns based on a set of predefined priority strategies. Our findings suggest that continuous fuzzing (as part of the automated testing in CI/CD) is indeed beneficial and there are many optimization opportunities to improve the effectiveness and scalability of fuzz testing.
△ Less
Submitted 7 June, 2022; v1 submitted 30 May, 2022;
originally announced May 2022.
-
Stateful Greybox Fuzzing
Authors:
**sheng Ba,
Marcel Böhme,
Zahra Mirzamomen,
Abhik Roychoudhury
Abstract:
Many protocol implementations are reactive systems, where the protocol process is in continuous interaction with other processes and the environment. If a bug can be exposed only in a certain state, a fuzzer needs to provide a specific sequence of events as inputs that would take protocol into this state before the bug is manifested. We call these bugs as "stateful" bugs. Usually, when we are test…
▽ More
Many protocol implementations are reactive systems, where the protocol process is in continuous interaction with other processes and the environment. If a bug can be exposed only in a certain state, a fuzzer needs to provide a specific sequence of events as inputs that would take protocol into this state before the bug is manifested. We call these bugs as "stateful" bugs. Usually, when we are testing a protocol implementation, we do not have a detailed formal specification of the protocol to rely upon. Without knowledge of the protocol, it is inherently difficult for a fuzzer to discover such stateful bugs. A key challenge then is to cover the state space without an explicit specification of the protocol.
In this work, we posit that manual annotations for state identification can be avoided for stateful protocol fuzzing. Specifically, we rely on a programmatic intuition that the state variables used in protocol implementations often appear in enum type variables whose values (the state names) come from named constants. In our analysis of the Top-50 most widely used open-source protocol implementations, we found that every implementation uses state variables that are assigned named constants (with easy to comprehend names such as INIT, READY) to represent the current state. In this work, we propose to automatically identify such state variables and track the sequence of values assigned to them during fuzzing to produce a "map" of the explored state space.
Our experiments confirm that our stateful fuzzer discovers stateful bugs twice as fast as the baseline greybox fuzzer that we extended. Starting from the initial state, our fuzzer exercises one order of magnitude more state/transition sequences and covers code two times faster than the baseline fuzzer. Several zero-day bugs in prominent protocol implementations were found by our fuzzer, and 8 CVEs have been assigned.
△ Less
Submitted 16 May, 2022; v1 submitted 5 April, 2022;
originally announced April 2022.
-
Electronic Density Response of Warm Dense Hydrogen: Ab initio Path Integral Monte Carlo Simulations
Authors:
Maximilian Böhme,
Zhandos Moldabekov,
Jan Vorberger,
Tobias Dornheim
Abstract:
The properties of hydrogen under extreme conditions are important for many applications, including inertial confinement fusion and astrophysical models. A key quantity is given by the electronic density response to an external perturbation, which is probed in X-ray Thomson scattering (XRTS) experiments -- the state of the art diagnostics from which system parameters like the free electron density…
▽ More
The properties of hydrogen under extreme conditions are important for many applications, including inertial confinement fusion and astrophysical models. A key quantity is given by the electronic density response to an external perturbation, which is probed in X-ray Thomson scattering (XRTS) experiments -- the state of the art diagnostics from which system parameters like the free electron density $n_e$, the electronic temperature $T_e$, and the charge state $Z$ can be inferred. In this work, we present highly accurate path integral Monte Carlo (PIMC) results for the electronic density response of hydrogen. We obtain the exchange-correlation (XC) kernel $K_{xc}$, which is of central relevance for many applications, such as time-dependent density functional theory (TD-DFT). This gives us a first unbiased look into the electronic density response of hydrogen in the warm-dense matter regime, thereby opening up a gamut of avenues for future research.
△ Less
Submitted 3 March, 2022;
originally announced March 2022.
-
How good does a Defect Predictor need to be to guide Search-Based Software Testing?
Authors:
Anjana Perera,
Burak Turhan,
Aldeida Aleti,
Marcel Böhme
Abstract:
Defect predictors, static bug detectors and humans inspecting the code can locate the parts of the program that are buggy before they are discovered through testing. Automated test generators such as search-based software testing (SBST) techniques can use this information to direct their search for test cases to likely buggy code, thus speeding up the process of detecting existing bugs. However, o…
▽ More
Defect predictors, static bug detectors and humans inspecting the code can locate the parts of the program that are buggy before they are discovered through testing. Automated test generators such as search-based software testing (SBST) techniques can use this information to direct their search for test cases to likely buggy code, thus speeding up the process of detecting existing bugs. However, often the predictions given by these tools or humans are imprecise, which can misguide the SBST technique and may deteriorate its performance. In this paper, we study the impact of imprecision in defect prediction on the bug detection effectiveness of SBST.
Our study finds that the recall of the defect predictor, i.e., the probability of correctly identifying buggy code, has a significant impact on bug detection effectiveness of SBST with a large effect size. On the other hand, the effect of precision, a measure for false alarms, is not of meaningful practical significance as indicated by a very small effect size. In particular, the SBST technique finds 7.5 less bugs on average (out of 420 bugs) for every 5% decrements of the recall.
In the context of combining defect prediction and SBST, our recommendation for practice is to increase the recall of defect predictors at the expense of precision, while maintaining a precision of at least 75%. To account for the imprecision of defect predictors, in particular low recall values, SBST techniques should be designed to search for test cases that also cover the predicted non-buggy parts of the program, while prioritising the parts that have been predicted as buggy.
△ Less
Submitted 6 October, 2021;
originally announced October 2021.
-
Defect Prediction Guided Search-Based Software Testing
Authors:
Anjana Perera,
Aldeida Aleti,
Marcel Böhme,
Burak Turhan
Abstract:
Today, most automated test generators, such as search-based software testing (SBST) techniques focus on achieving high code coverage. However, high code coverage is not sufficient to maximise the number of bugs found, especially when given a limited testing budget. In this paper, we propose an automated test generation technique that is also guided by the estimated degree of defectiveness of the s…
▽ More
Today, most automated test generators, such as search-based software testing (SBST) techniques focus on achieving high code coverage. However, high code coverage is not sufficient to maximise the number of bugs found, especially when given a limited testing budget. In this paper, we propose an automated test generation technique that is also guided by the estimated degree of defectiveness of the source code. Parts of the code that are likely to be more defective receive more testing budget than the less defective parts. To measure the degree of defectiveness, we leverage Schwa, a notable defect prediction technique.
We implement our approach into EvoSuite, a state of the art SBST tool for Java. Our experiments on the Defects4J benchmark demonstrate the improved efficiency of defect prediction guided test generation and confirm our hypothesis that spending more time budget on likely defective parts increases the number of bugs found in the same time budget.
△ Less
Submitted 26 September, 2021;
originally announced September 2021.
-
The Relevance of Electronic Perturbations in the Warm Dense Electron Gas
Authors:
Zhandos Moldabekov,
Tobias Dornheim,
Maximilian Böhme,
Jan Vorberger,
Attila Cangi
Abstract:
Warm dense matter (WDM) has emerged as one of the frontiers of both experimental and theoretical physics and is challenging traditional concepts of plasma, atomic, and condensed-matter physics. While it has become common practice to model correlated electrons in WDM within the framework of Kohn-Sham density functional theory, quantitative benchmarks of exchange-correlation (XC) functionals under W…
▽ More
Warm dense matter (WDM) has emerged as one of the frontiers of both experimental and theoretical physics and is challenging traditional concepts of plasma, atomic, and condensed-matter physics. While it has become common practice to model correlated electrons in WDM within the framework of Kohn-Sham density functional theory, quantitative benchmarks of exchange-correlation (XC) functionals under WDM conditions are yet incomplete. Here, we present the first assessment of common XC functionals against exact path-integral Monte Carlo calculations of the harmonically perturbed thermal electron gas. This system is directly related to the numerical modeling of X-Ray scattering experiments on warm dense samples. Our assessment yields the parameter space where common XC functionals are applicable. More importantly, we pinpoint where the tested XC functionals fail when perturbations on the electronic structure are imposed. We indicate the lack of XC functionals that take into account the needs of WDM physics in terms of perturbed electronic structures.
△ Less
Submitted 30 August, 2021; v1 submitted 1 July, 2021;
originally announced July 2021.
-
Reconciling ionization energies and band gaps of warm dense matter derived with ab initio simulations and average atom models
Authors:
G. Massacrier,
M. Böhme,
J. Vorberger,
F. Soubiran,
B. Militzer
Abstract:
Average atom (AA) models allow one to efficiently compute electronic and optical properties of materials over a wide range of conditions and are often employed to interpret experimental data. However, at high pressure, predictions from AA models have been shown to disagree with results from ab initio computer simulations. Here we reconcile these deviations by develo** an innovative type of AA mo…
▽ More
Average atom (AA) models allow one to efficiently compute electronic and optical properties of materials over a wide range of conditions and are often employed to interpret experimental data. However, at high pressure, predictions from AA models have been shown to disagree with results from ab initio computer simulations. Here we reconcile these deviations by develo** an innovative type of AA model, AVION, that computes the electronic eigenstates with novel boundary conditions within the ion sphere. Bound and free states are derived consistently. We drop the common AA image that the free-particle spectrum starts at the potential threshold, which we found to be incompatible with ab initio calculations. We perform ab initio simulations of crystalline and liquid carbon and aluminum over a wide range of densities and show that the computed band structure is in very good agreement with predictions from AVION.
△ Less
Submitted 5 May, 2021;
originally announced May 2021.
-
Density Response of the Warm Dense Electron Gas beyond Linear Response Theory: Excitation of Harmonics
Authors:
Tobias Dornheim,
Maximilian Böhme,
Zhandos A. Moldabekov,
Jan Vorberger,
Michael Bonitz
Abstract:
In a recent Letter, Dornheim et al. [PRL 125, 085001 (2020)] have investigated the nonlinear density response of the uniform electron gas in the warm dense matter regime. More specifically, they have studied the cubic response function at the first harmonic, which cannot be neglected in many situations of experimental relevance. In this work, we go one step further and study the full spectrum of e…
▽ More
In a recent Letter, Dornheim et al. [PRL 125, 085001 (2020)] have investigated the nonlinear density response of the uniform electron gas in the warm dense matter regime. More specifically, they have studied the cubic response function at the first harmonic, which cannot be neglected in many situations of experimental relevance. In this work, we go one step further and study the full spectrum of excitations at the higher harmonics of the original perturbation based on extensive new ab initio path integral Monte Carlo (PIMC) simulations. We find that the dominant contribution to the density response beyond linear response theory is given by the quadratic response function at the second harmonic in the moderately nonlinear regime. Furthermore, we show that the nonlinear density response is highly sensitive to exchange-correlation effects, which makes it a potentially valuable new tool of diagnostics. To this end, we present a new theoretical description of the nonlinear electronic density response based on the recent effective static approximation to the local field correction [PRL 125, 235001 (2020)], which accurately reproduces our PIMC data with negligible computational cost.
△ Less
Submitted 6 April, 2021;
originally announced April 2021.
-
Ab initio path integral Monte Carlo approach to the momentum distribution of the uniform electron gas at finite temperature without fixed nodes
Authors:
Tobias Dornheim,
Maximilian Böhme,
Burkhard Militzer,
Jan Vorberger
Abstract:
We present extensive new \textit{ab intio} path integral Monte Carlo results for the momentum distribution function $n(\mathbf{k})$ of the uniform electron gas (UEG) in the warm dense matter (WDM) regime over a broad range of densities and temperatures. This allows us to study the nontrivial exchange--correlation induced increase of low-momentum states around the Fermi temperature, and to investig…
▽ More
We present extensive new \textit{ab intio} path integral Monte Carlo results for the momentum distribution function $n(\mathbf{k})$ of the uniform electron gas (UEG) in the warm dense matter (WDM) regime over a broad range of densities and temperatures. This allows us to study the nontrivial exchange--correlation induced increase of low-momentum states around the Fermi temperature, and to investigate its connection to the related lowering of the kinetic energy compared to the ideal Fermi gas. In addition, we investigate the impact of quantum statistics on both $n(\mathbf{k})$ and the off-diagonal density matrix in coordinate space, and find that it cannot be neglected even in the strongly coupled electron liquid regime. Our results were derived without any nodal constraints, and thus constitute a benchmark for other methods and approximations.
△ Less
Submitted 15 March, 2021;
originally announced March 2021.
-
Locating Faults with Program Slicing: An Empirical Analysis
Authors:
Ezekiel Soremekun,
Lukas Kirschner,
Marcel Böhme,
Andreas Zeller
Abstract:
Statistical fault localization is an easily deployed technique for quickly determining candidates for faulty code locations. If a human programmer has to search the fault beyond the top candidate locations, though, more traditional techniques of following dependencies along dynamic slices may be better suited. In a large study of 457 bugs (369 single faults and 88 multiple faults) in 46 open sourc…
▽ More
Statistical fault localization is an easily deployed technique for quickly determining candidates for faulty code locations. If a human programmer has to search the fault beyond the top candidate locations, though, more traditional techniques of following dependencies along dynamic slices may be better suited. In a large study of 457 bugs (369 single faults and 88 multiple faults) in 46 open source C programs, we compare the effectiveness of statistical fault localization against dynamic slicing. For single faults, we find that dynamic slicing was eight percentage points more effective than the best performing statistical debugging formula; for 66% of the bugs, dynamic slicing finds the fault earlier than the best performing statistical debugging formula. In our evaluation, dynamic slicing is more effective for programs with single fault, but statistical debugging performs better on multiple faults. Best results, however, are obtained by a hybrid approach: If programmers first examine at most the top five most suspicious locations from statistical debugging, and then switch to dynamic slices, on average, they will need to examine 15% (30 lines) of the code. These findings hold for 18 most effective statistical debugging formulas and our results are independent of the number of faults (i.e. single or multiple faults) and error type (i.e. artificial or real errors).
△ Less
Submitted 8 January, 2021;
originally announced January 2021.
-
Large-scale Neural Solvers for Partial Differential Equations
Authors:
Patrick Stiller,
Friedrich Bethke,
Maximilian Böhme,
Richard Pausch,
Sunna Torge,
Alexander Debus,
Jan Vorberger,
Michael Bussmann,
Nico Hoffmann
Abstract:
Solving partial differential equations (PDE) is an indispensable part of many branches of science as many processes can be modelled in terms of PDEs. However, recent numerical solvers require manual discretization of the underlying equation as well as sophisticated, tailored code for distributed computing. Scanning the parameters of the underlying model significantly increases the runtime as the s…
▽ More
Solving partial differential equations (PDE) is an indispensable part of many branches of science as many processes can be modelled in terms of PDEs. However, recent numerical solvers require manual discretization of the underlying equation as well as sophisticated, tailored code for distributed computing. Scanning the parameters of the underlying model significantly increases the runtime as the simulations have to be cold-started for each parameter configuration. Machine Learning based surrogate models denote promising ways for learning complex relationship among input, parameter and solution. However, recent generative neural networks require lots of training data, i.e. full simulation runs making them costly. In contrast, we examine the applicability of continuous, mesh-free neural solvers for partial differential equations, physics-informed neural networks (PINNs) solely requiring initial/boundary values and validation points for training but no simulation data. The induced curse of dimensionality is approached by learning a domain decomposition that steers the number of neurons per unit volume and significantly improves runtime. Distributed training on large-scale cluster systems also promises great utilization of large quantities of GPUs which we assess by a comprehensive evaluation study. Finally, we discuss the accuracy of GatedPINN with respect to analytical solutions -- as well as state-of-the-art numerical solvers, such as spectral solvers.
△ Less
Submitted 8 September, 2020;
originally announced September 2020.
-
Effective Static Approximation: A Fast and Reliable Tool for Warm Dense Matter Theory
Authors:
Tobias Dornheim,
Attila Cangi,
Kushal Ramakrishna,
Maximilian Böhme,
Shigenori Tanaka,
Jan Vorberger
Abstract:
We present an \emph{Effective Static Approximation} (ESA) to the local field correction (LFC) of the electron gas that enables highly accurate calculations of electronic properties like the dynamic structure factor $S(q,ω)$, the static structure factor $S(q)$, and the interaction energy $v$. The ESA combines the recent neural-net representation [\textit{J. Chem. Phys.} \textbf{151}, 194104 (2019)]…
▽ More
We present an \emph{Effective Static Approximation} (ESA) to the local field correction (LFC) of the electron gas that enables highly accurate calculations of electronic properties like the dynamic structure factor $S(q,ω)$, the static structure factor $S(q)$, and the interaction energy $v$. The ESA combines the recent neural-net representation [\textit{J. Chem. Phys.} \textbf{151}, 194104 (2019)] of the temperature dependent LFC in the exact static limit with a consistent large wave-number limit obtained from Quantum Monte-Carlo data of the on-top pair distribution function $g(0)$. It is suited for a straightforward integration into existing codes. We demonstrate the importance of the LFC for practical applications by re-evaluating the results of the recent {X-ray Thomson scattering experiment on aluminum} by Sperling \textit{et al.}~[\textit{Phys. Rev. Lett.} \textbf{115}, 115001 (2015)]. We find that an accurate incorporation of electronic correlations {in terms of the ESA} leads to a different prediction of the inelastic scattering spectrum than obtained from state-of-the-art models like the Mermin approach or linear-response time-dependent density functional theory. Furthermore, the ESA scheme is particularly relevant for the development of advanced exchange-correlation functionals in density functional theory.
△ Less
Submitted 15 October, 2020; v1 submitted 5 August, 2020;
originally announced August 2020.
-
Human-In-The-Loop Automatic Program Repair
Authors:
Marcel Böhme,
Charaka Geethal,
Van-Thuan Pham
Abstract:
We introduce Learn2fix, the first human-in-the-loop, semi-automatic repair technique when no bug oracle--except for the user who is reporting the bug--is available. Our approach negotiates with the user the condition under which the bug is observed. Only when a budget of queries to the user is exhausted, it attempts to repair the bug. A query can be thought of as the following question: "When exec…
▽ More
We introduce Learn2fix, the first human-in-the-loop, semi-automatic repair technique when no bug oracle--except for the user who is reporting the bug--is available. Our approach negotiates with the user the condition under which the bug is observed. Only when a budget of queries to the user is exhausted, it attempts to repair the bug. A query can be thought of as the following question: "When executing this alternative test input, the program produces the following output; is the bug observed"? Through systematic queries, Learn2fix trains an automatic bug oracle that becomes increasingly more accurate in predicting the user's response. Our key challenge is to maximize the oracle's accuracy in predicting which tests are bug-exposing given a small budget of queries. From the alternative tests that were labeled by the user, test-driven automatic repair produces the patch.
Our experiments demonstrate that Learn2fix learns a sufficiently accurate automatic oracle with a reasonably low labeling effort (lt. 20 queries). Given Learn2fix's test suite, the GenProg test-driven repair tool produces a higher-quality patch (i.e., passing a larger proportion of validation tests) than using manual test suites provided with the repair benchmark.
△ Less
Submitted 16 December, 2019;
originally announced December 2019.
-
MCPA: Program Analysis as Machine Learning
Authors:
Marcel Böhme
Abstract:
Static program analysis today takes an analytical approach which is quite suitable for a well-scoped system. Data- and control-flow is taken into account. Special cases such as pointers, procedures, and undefined behavior must be handled. A program is analyzed precisely on the statement level. However, the analytical approach is ill-equiped to handle implementations of complex, large-scale, hetero…
▽ More
Static program analysis today takes an analytical approach which is quite suitable for a well-scoped system. Data- and control-flow is taken into account. Special cases such as pointers, procedures, and undefined behavior must be handled. A program is analyzed precisely on the statement level. However, the analytical approach is ill-equiped to handle implementations of complex, large-scale, heterogeneous software systems we see in the real world. Existing static analysis techniques that scale, trade correctness (i.e., soundness or completeness) for scalability and build on strong assumptions (e.g., language-specificity). Scalable static analysis are well-known to report errors that do *not* exist (false positives) or fail to report errors that *do* exist (false negatives). Then, how do we know the degree to which the analysis outcome is correct?
In this paper, we propose an approach to scale-oblivious greybox program analysis with bounded error which applies efficient approximation schemes (FPRAS) from the foundations of machine learning: PAC learnability. Given two parameters $δ$ and $ε$, with probability at least $(1-δ)$, our Monte Carlo Program Analysis (MCPA) approach produces an outcome that has an average error at most $ε$. The parameters $δ>0$ and $ε>0$ can be chosen arbitrarily close to zero (0) such that the program analysis outcome is said to be probably-approximately correct (PAC). We demonstrate the pertinent concepts of MCPA using three applications: $(ε,δ)$-approximate quantitative analysis, $(ε,δ)$-approximate software verification, and $(ε,δ)$-approximate patch verification.
△ Less
Submitted 12 November, 2019;
originally announced November 2019.
-
Smart Greybox Fuzzing
Authors:
Van-Thuan Pham,
Marcel Böhme,
Andrew E. Santosa,
Alexandru Răzvan Căciulescu,
Abhik Roychoudhury
Abstract:
Coverage-based greybox fuzzing (CGF) is one of the most successful methods for automated vulnerability detection. Given a seed file (as a sequence of bits), CGF randomly flips, deletes or bits to generate new files. CGF iteratively constructs (and fuzzes) a seed corpus by retaining those generated files which enhance coverage. However, random bitflips are unlikely to produce valid files (or valid…
▽ More
Coverage-based greybox fuzzing (CGF) is one of the most successful methods for automated vulnerability detection. Given a seed file (as a sequence of bits), CGF randomly flips, deletes or bits to generate new files. CGF iteratively constructs (and fuzzes) a seed corpus by retaining those generated files which enhance coverage. However, random bitflips are unlikely to produce valid files (or valid chunks in files), for applications processing complex file formats.
In this work, we introduce smart greybox fuzzing (SGF) which leverages a high-level structural representation of the seed file to generate new files. We define innovative mutation operators that work on the virtual file structure rather than on the bit level which allows SGF to explore completely new input domains while maintaining file validity. We introduce a novel validity-based power schedule that enables SGF to spend more time generating files that are more likely to pass the parsing stage of the program, which can expose vulnerabilities much deeper in the processing logic.
Our evaluation demonstrates the effectiveness of SGF. On several libraries that parse structurally complex files, our tool AFLSmart explores substantially more paths (up to 200%) and exposes more vulnerabilities than baseline AFL. Our tool AFLSmart has discovered 42 zero-day vulnerabilities in widely-used, well-tested tools and libraries; so far 17 CVEs were assigned.
△ Less
Submitted 23 November, 2018;
originally announced November 2018.
-
Assurances in Software Testing: A Roadmap
Authors:
Marcel Böhme
Abstract:
As researchers, we already understand how to make testing more effective and efficient at finding bugs. However, as fuzzing (i.e., automated testing) becomes more widely adopted in practice, practitioners are asking: Which assurances does a fuzzing campaign provide that exposes no bugs? When is it safe to stop the fuzzer with a reasonable residual risk? How much longer should the fuzzer be run to…
▽ More
As researchers, we already understand how to make testing more effective and efficient at finding bugs. However, as fuzzing (i.e., automated testing) becomes more widely adopted in practice, practitioners are asking: Which assurances does a fuzzing campaign provide that exposes no bugs? When is it safe to stop the fuzzer with a reasonable residual risk? How much longer should the fuzzer be run to achieve sufficient coverage?
It is time for us to move beyond the innovation of increasingly sophisticated testing techniques, to build a body of knowledge around the explication and quantification of the testing process, and to develop sound methodologies to estimate and extrapolate these quantities with measurable accuracy. In our vision of the future practitioners leverage a rich statistical toolset to assess residual risk, to obtain statistical guarantees, and to analyze the cost-benefit trade-off for ongoing fuzzing campaigns. We propose a general framework as a first starting point to tackle this fundamental challenge and discuss a large number of concrete opportunities for future research.
△ Less
Submitted 17 December, 2018; v1 submitted 26 July, 2018;
originally announced July 2018.
-
STADS: Software Testing as Species Discovery
Authors:
Marcel Böhme
Abstract:
A fundamental challenge of software testing is the statistically well-grounded extrapolation from program behaviors observed during testing. For instance, a security researcher who has run the fuzzer for a week has currently no means (i) to estimate the total number of feasible program branches, given that only a fraction has been covered so far, (ii) to estimate the additional time required to co…
▽ More
A fundamental challenge of software testing is the statistically well-grounded extrapolation from program behaviors observed during testing. For instance, a security researcher who has run the fuzzer for a week has currently no means (i) to estimate the total number of feasible program branches, given that only a fraction has been covered so far, (ii) to estimate the additional time required to cover 10% more branches, or (iii) to assess the residual risk that a vulnerability exists when no vulnerability has been discovered. Failing to discover a vulnerability, does not mean that none exists---even if the fuzzer was run for a week (or a year). Hence, testing provides no formal correctness guarantees.
In this article, I establish an unexpected connection with the otherwise unrelated scientific field of ecology, and introduce a statistical framework that models Software Testing and Analysis as Discovery of Species (STADS). For instance, in order to study the species diversity of arthropods in a tropical rain forest, ecologists would first sample a large number of individuals from that forest, determine their species, and extrapolate from the properties observed in the sample to properties of the whole forest. The estimation (i) of the total number of species, (ii) of the additional sampling effort required to discover 10% more species, or (iii) of the probability to discover a new species are classical problems in ecology. The STADS framework draws from over three decades of research in ecological biostatistics to address the fundamental extrapolation challenge for automated test generation. Our preliminary empirical study demonstrates a good estimator performance even for a fuzzer with adaptive sampling bias---AFL, a state-of-the-art vulnerability detection tool. The STADS framework provides statistical correctness guarantees with quantifiable accuracy.
△ Less
Submitted 3 April, 2018; v1 submitted 6 March, 2018;
originally announced March 2018.
-
On the correlation of shear band formation and texture evolution in $α$-brass during accumulative roll bonding
Authors:
Marcus Böhme,
Martin F. -X. Wagner
Abstract:
We studied the microstructural evolution of the low stacking fault energy $α$-brass alloy CuZn15 during accumulative roll bonding (ARB). Most notably, the typical brass-type texture was clearly observed after four ARB passes (approx. 93.8 % total thickness reduction), before significant shear localization set in. This observation contradicts the widely accepted idea that shear band formation is a…
▽ More
We studied the microstructural evolution of the low stacking fault energy $α$-brass alloy CuZn15 during accumulative roll bonding (ARB). Most notably, the typical brass-type texture was clearly observed after four ARB passes (approx. 93.8 % total thickness reduction), before significant shear localization set in. This observation contradicts the widely accepted idea that shear band formation is a necessary prerequisite for the development of the brass type texture, indicating that the two phenomena, shear banding and development of the brass texture, are only correlated in ARB, and that their order of appearance can be switched depending on experimental parameters.
△ Less
Submitted 3 March, 2018;
originally announced March 2018.
-
$T_1$- and $T_2$-spin relaxation time limitations of phosphorous donor electrons near crystalline silicon to silicon dioxide interface defects
Authors:
S. -Y. Paik,
S. -Y. Lee,
W. J. Baker,
D. R. McCamey. C. Boehme
Abstract:
A study of donor electron spins and spin--dependent electronic transitions involving phosphorous ($^{31}$P) atoms in proximity of the (111) oriented crystalline silicon (c-Si) to silicon dioxide (SiO$_{2}$) interface is presented for [$^{31}$P] = 10$^{15}$ $\mathrm{cm}^{-3}$ and [$^{31}$P] = 10$^{16}$ $\mathrm{cm}^{-3}$ at about liquid $^4$He temperatures ($T = 5$ $\mathrm{K} - 15$ $\mathrm{K}$)…
▽ More
A study of donor electron spins and spin--dependent electronic transitions involving phosphorous ($^{31}$P) atoms in proximity of the (111) oriented crystalline silicon (c-Si) to silicon dioxide (SiO$_{2}$) interface is presented for [$^{31}$P] = 10$^{15}$ $\mathrm{cm}^{-3}$ and [$^{31}$P] = 10$^{16}$ $\mathrm{cm}^{-3}$ at about liquid $^4$He temperatures ($T = 5$ $\mathrm{K} - 15$ $\mathrm{K}$). Using pulsed electrically detected magnetic resonance (pEDMR), spin--dependent transitions between the \Phos donor state and two distinguishable interface states are observed, namely (i) \Pb centers which can be identified by their characteristic anisotropy and (ii) a more isotropic center which is attributed to E$^\prime$ defects of the \sio bulk close to the interface. Correlation measurements of the dynamics of spin--dependent recombination confirm that previously proposed transitions between \Phos and the interface defects take place. The influence of these electronic near--interface transitions on the \Phos donor spin coherence time $T_2$ as well as the donor spin--lattice relaxation time $T_1$ is then investigated by comparison of spin Hahn--echo decay measurements obtained from conventional bulk sensitive pulsed electron paramagnetic resonance and surface sensitive pEDMR, as well as surface sensitive electrically detected inversion recovery experiments. The measurements reveal that both $T_2$ and $T_1$ of \Phos donor electrons spins in proximity of energetically lower interface states at $T\leq 13$ K are reduced by several orders of magnitude.
△ Less
Submitted 4 May, 2009;
originally announced May 2009.