-
Continual Counting with Gradual Privacy Expiration
Authors:
Joel Daniel Andersson,
Monika Henzinger,
Rasmus Pagh,
Teresa Anna Steiner,
Jalaj Upadhyay
Abstract:
Differential privacy with gradual expiration models the setting where data items arrive in a stream and at a given time $t$ the privacy loss guaranteed for a data item seen at time $(t-d)$ is $εg(d)$, where $g$ is a monotonically non-decreasing function. We study the fundamental $\textit{continual (binary) counting}$ problem where each data item consists of a bit, and the algorithm needs to output…
▽ More
Differential privacy with gradual expiration models the setting where data items arrive in a stream and at a given time $t$ the privacy loss guaranteed for a data item seen at time $(t-d)$ is $εg(d)$, where $g$ is a monotonically non-decreasing function. We study the fundamental $\textit{continual (binary) counting}$ problem where each data item consists of a bit, and the algorithm needs to output at each time step the sum of all the bits streamed so far. For a stream of length $T$ and privacy $\textit{without}$ expiration continual counting is possible with maximum (over all time steps) additive error $O(\log^2(T)/\varepsilon)$ and the best known lower bound is $Ω(\log(T)/\varepsilon)$; closing this gap is a challenging open problem.
We show that the situation is very different for privacy with gradual expiration by giving upper and lower bounds for a large set of expiration functions $g$. Specifically, our algorithm achieves an additive error of $ O(\log(T)/ε)$ for a large set of privacy expiration functions. We also give a lower bound that shows that if $C$ is the additive error of any $ε$-DP algorithm for this problem, then the product of $C$ and the privacy expiration function after $2C$ steps must be $Ω(\log(T)/ε)$. Our algorithm matches this lower bound as its additive error is $O(\log(T)/ε)$, even when $g(2C) = O(1)$.
Our empirical evaluation shows that we achieve a slowly growing privacy loss with significantly smaller empirical privacy loss for large values of $d$ than a natural baseline algorithm.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Data-driven methods for diffusivity prediction in nuclear fuels
Authors:
Galen T. Craven,
Renai Chen,
Michael W. D. Cooper,
Christopher Matthews,
Jason Rizk,
Walter Malone,
Landon Johnson,
Tammie Gibson,
David A. Andersson
Abstract:
The growth rate of structural defects in nuclear fuels under irradiation is intrinsically related to the diffusion rates of the defects in the fuel lattice. The generation and growth of atomistic structural defects can significantly alter the performance characteristics of the fuel. This alteration of functionality must be accurately captured to qualify a nuclear fuel for use in reactors. Predicti…
▽ More
The growth rate of structural defects in nuclear fuels under irradiation is intrinsically related to the diffusion rates of the defects in the fuel lattice. The generation and growth of atomistic structural defects can significantly alter the performance characteristics of the fuel. This alteration of functionality must be accurately captured to qualify a nuclear fuel for use in reactors. Predicting the diffusion coefficients of defects and how they impact macroscale properties such as swelling, gas release, and creep is therefore of significant importance in both the design of new nuclear fuels and the assessment of current fuel types. In this article, we apply data-driven methods focusing on machine learning (ML) to determine various diffusion properties of two nuclear fuels, uranium oxide and uranium nitride. We show that using ML can increase, often significantly, the accuracy of predicting diffusivity in nuclear fuels in comparison to current analytical models. We also illustrate how ML can be used to quickly develop fuel models with parameter dependencies that are more complex and robust than what is currently available in the literature. These results suggest there is potential for ML to accelerate the design, qualification, and implementation of nuclear fuels.
△ Less
Submitted 7 September, 2023;
originally announced October 2023.
-
Impact of grain boundary and surface diffusion on predicted fission gas bubble behavior and release in UO$_2$ fuel
Authors:
Md Ali Muntaha,
Sourav Chatterjee,
Sophie Blondel,
Larry Aagesen,
David Andersson,
Brian Wirth,
Michael Tonks
Abstract:
In this work, we quantify the impact of grain boundary (GB) and surface diffusion on fission gas bubble evolution and fission gas release in UO$_2$ nuclear fuel using simulations with a hybrid phase field/cluster dynamics model. We begin with a comprehensive literature review of uranium vacancy and xenon atom diffusivity in UO$_2$ through the bulk, along GBs, and along surfaces. In our model we re…
▽ More
In this work, we quantify the impact of grain boundary (GB) and surface diffusion on fission gas bubble evolution and fission gas release in UO$_2$ nuclear fuel using simulations with a hybrid phase field/cluster dynamics model. We begin with a comprehensive literature review of uranium vacancy and xenon atom diffusivity in UO$_2$ through the bulk, along GBs, and along surfaces. In our model we represent fast GB and surface diffusion using a heterogeneous diffusivity that is a function of the order parameters that represent bubbles and grains. We find that the GB diffusivity directly impacts the rate of gas release via GB transport, and that the GB diffusivity is likely below 10$^4$ times the lower value from Olander and van Uffelen (2001). We also find that the surface diffusivity impacts bubble coalescence and mobility, and that the bubble surface diffusivity is likely below $10^{-4}$ times the value from Zhou and Olander (1984).
△ Less
Submitted 10 October, 2023;
originally announced October 2023.
-
A Smooth Binary Mechanism for Efficient Private Continual Observation
Authors:
Joel Daniel Andersson,
Rasmus Pagh
Abstract:
In privacy under continual observation we study how to release differentially private estimates based on a dataset that evolves over time. The problem of releasing private prefix sums of $x_1,x_2,x_3,\dots \in\{0,1\}$ (where the value of each $x_i$ is to be private) is particularly well-studied, and a generalized form is used in state-of-the-art methods for private stochastic gradient descent (SGD…
▽ More
In privacy under continual observation we study how to release differentially private estimates based on a dataset that evolves over time. The problem of releasing private prefix sums of $x_1,x_2,x_3,\dots \in\{0,1\}$ (where the value of each $x_i$ is to be private) is particularly well-studied, and a generalized form is used in state-of-the-art methods for private stochastic gradient descent (SGD). The seminal binary mechanism privately releases the first $t$ prefix sums with noise of variance polylogarithmic in $t$. Recently, Henzinger et al. and Denisov et al. showed that it is possible to improve on the binary mechanism in two ways: The variance of the noise can be reduced by a (large) constant factor, and also made more even across time steps. However, their algorithms for generating the noise distribution are not as efficient as one would like in terms of computation time and (in particular) space. We address the efficiency problem by presenting a simple alternative to the binary mechanism in which 1) generating the noise takes constant average time per value, 2) the variance is reduced by a factor about 4 compared to the binary mechanism, and 3) the noise distribution at each step is identical. Empirically, a simple Python implementation of our approach outperforms the running time of the approach of Henzinger et al., as well as an attempt to improve their algorithm using high-performance algorithms for multiplication with Toeplitz matrices.
△ Less
Submitted 15 January, 2024; v1 submitted 16 June, 2023;
originally announced June 2023.
-
Bayesian calibration with summary statistics for the prediction of xenon diffusion in UO2 nuclear fuel
Authors:
Pieterjan Robbe,
David Andersson,
Luc Bonnet,
Tiernan Casey,
Michael W D Cooper,
Christopher Matthews,
Khachik Sargsyan,
Habib N Najm
Abstract:
The evolution and release of fission gas impacts the performance of UO2 nuclear fuel. We have created a Bayesian framework to calibrate a novel model for fission gas transport that predicts diffusion rates of uranium and xenon in UO2 under both thermal equilibrium and irradiation conditions. Data sets are taken from historical diffusion, gas release, and thermodynamic experiments. These data sets…
▽ More
The evolution and release of fission gas impacts the performance of UO2 nuclear fuel. We have created a Bayesian framework to calibrate a novel model for fission gas transport that predicts diffusion rates of uranium and xenon in UO2 under both thermal equilibrium and irradiation conditions. Data sets are taken from historical diffusion, gas release, and thermodynamic experiments. These data sets consist invariably of summary statistics, including a measurement value with an associated uncertainty. Our calibration strategy uses synthetic data sets in order to estimate the parameters in the model, such that the resulting model predictions agree with the reported summary statistics. In doing so, the reported uncertainties are effectively reflected in the inferred uncertain parameters. Furthermore, to keep our approach computationally tractable, we replace the fission gas evolution model by a polynomial surrogate model with a reduced number of parameters, which are identified using global sensitivity analysis. We discuss the efficacy of our calibration strategy, and investigate how the contribution of the different data sets, taken from multiple sources in the literature, can be weighted in the likelihood function constructed as part of our Bayesian calibration setup, in order to account for the different number of data points in each set of data summaries. Our results indicate a good match between the calibrated diffusivity and non-stoichiometry predictions and the given data summaries. We demonstrate a good agreement between the calibrated xenon diffusivity and the established fit from Turnbull et al. (1982), indicating that the dominant uranium vacancy diffusion mechanism in the model is able to capture the trends in the data.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Dynamics of collective action to conserve a large common-pool resource
Authors:
David Andersson,
Sigrid Bratsberg,
Andrew K. Ringsmuth,
Astrid S. de Wijn
Abstract:
A pressing challenge for coming decades is sustainable and just management of large-scale common-pool resources including the atmosphere, biodiversity and public services. This poses a difficult collective action problem because such resources may not show signs that usage restraint is needed until tragedy is almost inevitable. To solve this problem, a sufficient level of cooperation with a pro-co…
▽ More
A pressing challenge for coming decades is sustainable and just management of large-scale common-pool resources including the atmosphere, biodiversity and public services. This poses a difficult collective action problem because such resources may not show signs that usage restraint is needed until tragedy is almost inevitable. To solve this problem, a sufficient level of cooperation with a pro-conservation behavioural norm must be achieved, within the prevailing sociopolitical environment, in time for the action taken to be effective. Here we investigate the transient dynamics of behavioural change in an agent-based model on structured networks that are also exposed to a global external influence. We find that polarisation emerges naturally, even without bounded confidence, but that for rationally motivated agents, it is temporary. The speed of convergence to a final consensus is controlled by the rate at which the polarised clusters are dissolved. This depends strongly on the combination of external influences and the network topology. Both high connectivity and a favourable environment are needed to rapidly obtain final consensus.
△ Less
Submitted 3 July, 2021; v1 submitted 1 December, 2020;
originally announced December 2020.
-
Thermal effects and spontaneous frictional relaxation in atomically thin layered materials
Authors:
J Roadnight Sheehan,
David Andersson,
Astrid S. de Wijn
Abstract:
We study the thermal effects on the frictional properties of atomically thin sheets. We simulate a simple model based on the Prandtl-Tomlinson model that reproduces the layer dependence of friction and strengthening effects seen in AFM experiments. We investigate sliding at constant speed as well as reversing direction. We also investigate contact aging: the changes that occur to the contact when…
▽ More
We study the thermal effects on the frictional properties of atomically thin sheets. We simulate a simple model based on the Prandtl-Tomlinson model that reproduces the layer dependence of friction and strengthening effects seen in AFM experiments. We investigate sliding at constant speed as well as reversing direction. We also investigate contact aging: the changes that occur to the contact when the sliding stops completely. We compare the numerical results to analytical calculations based on Kramers rates. We find that there is a slower than exponential contact aging that weakens the contact and that we expect will be observable in experiments. We discuss the implications for sliding as well as aging experiments.
△ Less
Submitted 7 June, 2021; v1 submitted 1 December, 2020;
originally announced December 2020.
-
Predicting trajectories and mechanisms of antibiotic resistance evolution
Authors:
Fernanda Pinheiro,
Omar Warsi,
Dan I. Andersson,
Michael Lässig
Abstract:
Bacteria evolve resistance to antibiotics by a multitude of mechanisms. A central, yet unsolved question is how resistance evolution affects cell growth at different drug levels. Here we develop a fitness model that predicts growth rates of common resistance mutants from their effects on cell metabolism. We map metabolic effects of resistance mutations in drug-free environments and under drug chal…
▽ More
Bacteria evolve resistance to antibiotics by a multitude of mechanisms. A central, yet unsolved question is how resistance evolution affects cell growth at different drug levels. Here we develop a fitness model that predicts growth rates of common resistance mutants from their effects on cell metabolism. We map metabolic effects of resistance mutations in drug-free environments and under drug challenge; the resulting fitness trade-off defines a Pareto surface of resistance evolution. We predict evolutionary trajectories of dosage-dependent growth rates and resistance levels, as well as the prevalent resistance mechanism depending on drug and nutrient levels. These predictions are confirmed by empirical growth curves and genomic data of E. coli populations. Our results show that resistance evolution, by coupling major metabolic pathways, is strongly intertwined with systems biology and ecology of microbial populations.
△ Less
Submitted 2 July, 2020;
originally announced July 2020.
-
Understanding the friction of atomically thin layered materials
Authors:
David Andersson,
Astrid S. de Wijn
Abstract:
Friction is a ubiquitous phenomenon that greatly affects our everyday lives and is responsible for large amounts of energy loss in industrialised societies. Layered materials such as graphene have interesting frictional properties and are often used as (additives to) lubricants to reduce friction and protect against wear. Experimental Atomic Force Microscopy studies and detailed simulations have s…
▽ More
Friction is a ubiquitous phenomenon that greatly affects our everyday lives and is responsible for large amounts of energy loss in industrialised societies. Layered materials such as graphene have interesting frictional properties and are often used as (additives to) lubricants to reduce friction and protect against wear. Experimental Atomic Force Microscopy studies and detailed simulations have shown a number of intriguing effects such as friction strengthening and dependence of friction on the number of layers covering a surface. Here, we propose a simple, fundamental, model for friction on thin sheets. We use our model to explain a variety of seemingly contradictory experimental as well as numerical results. This model can serve as a basis for understanding friction on thin sheets, and opens up new possibilities for ultimately controlling their friction and wear protection.
△ Less
Submitted 7 January, 2020; v1 submitted 31 May, 2019;
originally announced May 2019.
-
Parametrization of LSDA+$U$ for noncollinear magnetic configurations: Multipolar magnetism in UO$_2$
Authors:
S. L. Dudarev,
P. Liu,
D. A. Andersson,
C. R. Stanek,
T. Ozaki,
C. Franchini
Abstract:
To explore the formation of noncollinear magnetic configurations in materials with strongly correlated electrons, we derive a noncollinear LSDA+$U$ model involving only one parameter $U$, as opposed to the difference between the Hubbard and Stoner parameters $U-J$. Computing $U$ in the constrained random phase approximation, we investigate noncollinear magnetism of uranium dioxide UO$_2$ and find…
▽ More
To explore the formation of noncollinear magnetic configurations in materials with strongly correlated electrons, we derive a noncollinear LSDA+$U$ model involving only one parameter $U$, as opposed to the difference between the Hubbard and Stoner parameters $U-J$. Computing $U$ in the constrained random phase approximation, we investigate noncollinear magnetism of uranium dioxide UO$_2$ and find that the spin-orbit coupling (SOC) stabilizes the 3$\textbf{k}$ ordered magnetic ground state. The estimated SOC strength in UO$_2$ is as large as 0.73 eV per uranium atom, making spin and orbital degrees of freedom virtually inseparable. Using a multipolar pseudospin Hamiltonian, we show how octupolar and dipole-dipole exchange coupling help establish the 3$\textbf{k}$ magnetic ground state with canted ordering of uranium $f$-orbitals. The cooperative Jahn-Teller effect does not appear to play a significant part in stabilizing the noncollinear 3$\textbf{k}$ state, which has the lowest energy even in an undistorted lattice. The choice of parameter $U$ in the LSDA+$U$ model has a notable quantitative effect on the predicted properties of UO$_2$, in particular on the magnetic exchange interaction and, perhaps trivially, on the band gap: The value of $U=3.46$ eV computed fully $ab$ $initio$ delivers the band gap of 2.11~eV in good agreement with experiment, and a balanced account of other pertinent energy scales.
△ Less
Submitted 12 August, 2019; v1 submitted 16 November, 2018;
originally announced November 2018.
-
The conundrum of relaxation volumes in first-principles calculations of charge defects
Authors:
Anuj Goyal,
Kiran Mathew,
Richard G. Hennig,
Aleksandr Chernatynskiy,
Christopher R. Stank,
Samuel T. Murphy,
David A. Andersson,
Simon R. Phillpot,
Blas P. Uberuaga
Abstract:
The defect relaxation volumes obtained from density-functional theory (DFT) calculations of charged vacancies and interstitials are much larger than their neutral counterparts, seemingly unphysically large. In this work, we investigate the possible reasons for this and revisit the methods that address the calculation of charged defect structures in periodic DFT. We probe the dependence of the prop…
▽ More
The defect relaxation volumes obtained from density-functional theory (DFT) calculations of charged vacancies and interstitials are much larger than their neutral counterparts, seemingly unphysically large. In this work, we investigate the possible reasons for this and revisit the methods that address the calculation of charged defect structures in periodic DFT. We probe the dependence of the proposed energy corrections to charged defect formation energies on relaxation volumes and find that corrections such as the image charge correction and the alignment correction, which can lead to sizable changes in defect formation energies, have an almost negligible effect on the charged defect relaxation volume. We also investigate the volume for the net neutral defect reactions comprised of individual charged defects, and find that the aggregate formation volumes have reasonable magnitudes. This work highlights an important issue that, as for defect formation energies, the defect formation volumes depend on the choice of reservoir. We show that considering the change in volume of the electron reservoir in the formation reaction of the charged defects, analogous to how volumes of atoms are accounted for in defect formation volumes, can renormalize the formation volumes of charged defects such that they are comparable to neutral defects. This approach enables the description of the elastic properties of isolated charged defects within the overall neutral material, beyond the context of the overall defect reactions that produce the charged defect.
△ Less
Submitted 13 April, 2017;
originally announced April 2017.
-
States that are far from being stabilizer states
Authors:
David Andersson,
Ingemar Bengtsson,
Kate Blanchfield,
Hoan Bui Dang
Abstract:
Stabilizer states are eigenvectors of maximal commuting sets of operators in a finite Heisenberg group. States that are far from being stabilizer states include magic states in quantum computation, MUB-balanced states, and SIC vectors. In prime dimensions the latter two fall under the umbrella of Minimum Uncertainty States (MUS) in the sense of Wootters and Sussman. We study the correlation betwee…
▽ More
Stabilizer states are eigenvectors of maximal commuting sets of operators in a finite Heisenberg group. States that are far from being stabilizer states include magic states in quantum computation, MUB-balanced states, and SIC vectors. In prime dimensions the latter two fall under the umbrella of Minimum Uncertainty States (MUS) in the sense of Wootters and Sussman. We study the correlation between two ways in which the notion of "far from being a stabilizer state" can be quantified, and give detailed results for low dimensions. In dimension 7 we identify the MUB-balanced states as being antipodal to the SIC vectors within the set of MUS, in a sense that we make definite. In dimension 4 we show that the states that come closest to being MUS with respect to all the six stabilizer MUBs are the fiducial vectors for Alltop MUBs.
△ Less
Submitted 28 December, 2014;
originally announced December 2014.
-
A mixed relaxed singular maximum principle for linear SDEs with random coefficients
Authors:
Daniel Andersson
Abstract:
We study singular stochastic control of a two dimensional stochastic differential equation, where the first component is linear with random and unbounded coefficients. We derive existence of an optimal relaxed control and necessary conditions for optimality in the form of a mixed relaxed-singular maximum principle in a global form. A motivating example is given in the form of an optimal investme…
▽ More
We study singular stochastic control of a two dimensional stochastic differential equation, where the first component is linear with random and unbounded coefficients. We derive existence of an optimal relaxed control and necessary conditions for optimality in the form of a mixed relaxed-singular maximum principle in a global form. A motivating example is given in the form of an optimal investment and consumption problem with transaction costs, where we consider a portfolio with a continuum of bonds and where the portfolio weights are modeled as measure-valued processes on the set of times to maturity.
△ Less
Submitted 8 December, 2008; v1 submitted 30 November, 2008;
originally announced December 2008.
-
Solving Min-Max Problems with Applications to Games
Authors:
Daniel Andersson
Abstract:
We refine existing general network optimization techniques, give new characterizations for the class of problems to which they can be applied, and show that they can also be used to solve various two-player games in almost linear time. Among these is a new variant of the network interdiction problem, where the interdictor wants to destroy high-capacity paths from the source to the destination us…
▽ More
We refine existing general network optimization techniques, give new characterizations for the class of problems to which they can be applied, and show that they can also be used to solve various two-player games in almost linear time. Among these is a new variant of the network interdiction problem, where the interdictor wants to destroy high-capacity paths from the source to the destination using a vertex-wise limited budget of arc removals. We also show that replacing the limit average in mean payoff games by the maximum weight results in a class of games amenable to these techniques.
△ Less
Submitted 27 January, 2008;
originally announced January 2008.
-
A maximum principle for relaxed stochastic control of linear SDE's with application to bond portfolio optimization
Authors:
Daniel Andersson,
Boualem Djehiche
Abstract:
We study relaxed stochastic control problems where the state equation is a one dimensional linear stochastic differential equation with random and unbounded coefficients. The two main results are existence of an optimal relaxed control and necessary conditions for optimality in the form of a relaxed maximum principle. The main motivation is an optimal bond portfolio problem in a market where the…
▽ More
We study relaxed stochastic control problems where the state equation is a one dimensional linear stochastic differential equation with random and unbounded coefficients. The two main results are existence of an optimal relaxed control and necessary conditions for optimality in the form of a relaxed maximum principle. The main motivation is an optimal bond portfolio problem in a market where there exists a continuum of bonds and the portfolio weights are modeled as measure-valued processes on the set of times to maturity.
△ Less
Submitted 15 February, 2008; v1 submitted 3 December, 2007;
originally announced December 2007.
-
Simple Recursive Games
Authors:
Daniel Andersson,
Kristoffer Arnsfelt Hansen,
Peter Bro Miltersen,
Troels Bjerre Sorensen
Abstract:
We define the class of "simple recursive games". A simple recursive game is defined as a simple stochastic game (a notion due to Anne Condon), except that we allow arbitrary real payoffs but disallow moves of chance. We study the complexity of solving simple recursive games and obtain an almost-linear time comparison-based algorithm for computing an equilibrium of such a game. The existence of a…
▽ More
We define the class of "simple recursive games". A simple recursive game is defined as a simple stochastic game (a notion due to Anne Condon), except that we allow arbitrary real payoffs but disallow moves of chance. We study the complexity of solving simple recursive games and obtain an almost-linear time comparison-based algorithm for computing an equilibrium of such a game. The existence of a linear time comparison-based algorithm remains an open problem.
△ Less
Submitted 7 November, 2007;
originally announced November 2007.
-
Many Body Theory of Charge Transfer in Hyperthermal Atomic Scattering
Authors:
J. B. Marston,
D. R. Andersson,
E. R. Behringer,
B. H. Cooper,
C. A. DiRubio,
G. A. Kimmel,
C. Richardson
Abstract:
We use the Newns-Anderson Hamiltonian to describe many-body electronic processes that occur when hyperthermal alkali atoms scatter off metallic surfaces. Following Brako and Newns, we expand the electronic many-body wavefunction in the number of particle-hole pairs (we keep terms up to and including a single particle-hole pair). We extend their earlier work by including level crossings, excited…
▽ More
We use the Newns-Anderson Hamiltonian to describe many-body electronic processes that occur when hyperthermal alkali atoms scatter off metallic surfaces. Following Brako and Newns, we expand the electronic many-body wavefunction in the number of particle-hole pairs (we keep terms up to and including a single particle-hole pair). We extend their earlier work by including level crossings, excited neutrals and negative ions. The full set of equations of motion are integrated numerically, without further approximations, to obtain the many-body amplitudes as a function of time. The velocity and work-function dependence of final state quantities such as the distribution of ion charges and excited atomic occupancies are compared with experiment. In particular, experiments that scatter alkali ions off clean Cu(001) surfaces in the energy range 5 to 1600 eV constrain the theory quantitatively. The neutralization probability of Na$^+$ ions shows a minimum at intermediate velocity in agreement with the theory. This behavior contrasts with that of K$^+$, which shows ... (7 figures, not included. Figure requests: [email protected])
△ Less
Submitted 17 October, 1992;
originally announced October 1992.