Artificial intelligence and machine learning are transforming many areas of experimental science. While most techniques focus on analyzing “big data” sets, which are comprised of redundant information, collecting smaller but information-rich data sets has become equally important. Brute-force data collection leads to tremendous inefficiencies in the utilization of experimental facilities and instruments, in data analysis and data storage; large experimental facilities around the globe are running at 10 to 20 percent utilization and are still spending millions of dollars each year to keep up with the increase in the amount of data storage needed [habib2016ascr, gerber2018crosscut, almgren2017advanced, thayer2019data]. In addition, conventional experiments require scientists to prepare samples and directly control experiments, which leads to highly-trained researchers spending significant effort on micromanaging experimental tasks rather than thinking about scientific meaning. To avoid this problem, autonomously steered experiments are emerging in many disciplines. These techniques place measurements only where they can contribute optimally to the overall knowledge gain. Measurements that collect redundant information are avoided. These autonomous approaches minimize the number of needed measurements to reach a certain model confidence, thus optimizing the utilization of experimental, computing and data-storage facilities.
A universal goal in materials science is to explore the characteristics of a given material across the set of all conceivable combinations of experimental parameters, which can be thought of as a parameter space defining that class of materials. The experimental parameters can be the characteristics of material components, their composition, processing or synthesis parameters, and environmental conditions on which the experimental outcomes depend [pilania2013accelerating, jain2013commentary]
. Successful exploration of the parameter space amounts to being able to define a high-confidence map, i.e. a surrogate model function, of experimental outcomes across all elements of the set. For two-dimensional parameter spaces, this is traditionally achieved by “scanning” the space, often on a simple Cartesian grid. Selecting a scanning strategy implies picking a scan resolution without knowing the model function. When the parameter space is high-dimensional, an approach based on intuition is often used, i.e., manually selecting measurements, assessing trends and patterns in the data, and selecting follow-up measurements. With increasing dimensionality of the parameter space, this method quickly fails to efficiently explore the space and becomes prone to bias. Needless to say, the human brain is generally poorly equipped for high-dimensional pattern recognition.
What is needed are methods that decouple the human from the measurement selection process. This fact served as a motivation to establish a research field called design of experiment (DOE) [dean2000design], which can be traced back as far as the late 1800s. These DOE methods are largely geometrical, independent of the measurement outcomes and are concerned with efficiently exploring the entire parameter space. The latin-hyper-cube method is the prime example of this class of methods [mckay1979comparison, fisher1992arrangement]
. Most of the recent approaches to steer experiments are part of a field called active learning, which is based on machine learning techniques[pilania2013accelerating, scarborough2017dynamic, godaliyadda2016supervised, balachandran2016adaptive]
. Others have used deep neural networks to make data acquisition cheaper[cang2018improving]. Many techniques originated from image analysis [godaliyadda2016supervised, martinez2007image], but, as images are traditionally two or three dimensional, these methods rarely scale efficiently to high-dimensional spaces. A useful collection of methods can be found in santner2003design and forrester2008engineering.
Gaussian process regression (GPR) is a particularly successful technique to steer experiments autonomously [noack2019kriging, hanuka2019online]
. The success of GPR in steering experiments is due to its non-parametric nature; simply speaking, the more data that is gathered the more complicated the model function can become. The number of parameters of the function, and therefore its complexity, does not have to be defined a priori. This is in contrast to neural networks, which need a specification of an architecture (number of layers, layer width, activation function) beforehand. GPR also naturally includes uncertainty quantification, which is an absolute necessity in experimental sciences. However, traditional GPR has mostly been derived and applied under an assumption of independent and identically distributed noise (i.i.d. noise)[hanuka2019online, williams2006gaussian, huang2006technical, schulz2017tutorial, mchutchon2011gaussian, stegle2011efficient, ballabio2019mapping]
, i.e., noise that follows the same probability density function at each measurement point. Since we are exclusively dealing with Gaussian statistics, this means that all measurements have the same variance. In Kriging, the geo-statistical analogue of GPR, this concept is called the nugget effect, named after gold nuggets in the sub-surface. In early geo-statistical computations, the gold nuggets lead to seemingly random errors. These were assumed to be constant across the domain. However, for materials-discovery experiments the assumption of i.i.d. noise is an unacceptable simplification. The variance of real experimental measurements vary greatly across the parameter space, and this has to be reflected in the steering process as well as in the final model creation. For instance, in x-ray scattering experiments, the variance of a raw measurement depends strongly on the exposure time, computed quantities can have wildly different variances depending on the data in that part of the space (e.g. fit quality will not be uniform), and material heterogeneity will depend strongly on location within the parameter space. These inhomogeneities in the measurement noise need to be actively included in the final model to avoid interpolation mistakes and consequently erroneous models. Fortunately, non-i.i.d. noise can easily be included in the GPR framework[bijl2016gaussian, kuss2006gaussian]
. Large variances have to be countered with more measurements in the respective areas until a desired uncertainty threshold is reached. When creating the final model, the algorithm has to incorporate that the final model function does not have to explain data points exactly if there is an associated variance. Therefore, the model function does not have to pass through every data point. After correct tuning, GPR is perfectly equipped for this situation since it keeps track of a probability distribution over all possible model functions; conditioning will then produce the most likely model function incorporating all measurement variances optimally.
Another effect that has a significant impact on autonomous experiments is anisotropy of the parameter space, which is either introduced by differing parameter ranges or different model variability in different parameter-space directions. In isotropic GPR one finds a single characteristic length scale for the data set. This was again motivated by early geo-statistical surveys in which isotropy was a good assumption. However, when one of the parameters is of significantly different magnitude, for instance spatial directions in versus a temperature in , we should find different length scales for different directions of the parameter space. Also, there might be different differentiability characteristics in different directions. It is therefore vitally important to give the model the flexibility to account for those varying features. This can either be done by using an altered Euclidean norm or by employing different norms that provide more flexibility of distance measures in different directions. The general idea including the concepts proposed in this paper are visualized in Figure 1.
This paper is organized as follows: First, we introduce the traditional theory of Gaussian process regression with i.i.d. noise and standard isotropic kernel functions. Second, we make formal changes to the theory to include non-i.i.d. noise and anisotropy. Third, we demonstrate the impact of the two concepts on synthetic experiments. Fourth, we present a synchrotron beamline experiment that exploited both concepts in autonomous control.
2 Gaussian Process Regression with non-i.i.d. Noise and Anisotropic Kernels
We define the parameter space , which serves as the index set or input space in the scope of Gaussian process regression and elements . We define four functions over . First, the latent function can be interpreted as the inaccessible ground truth. Second, the often noisy measurements are described by . To simplify the derivation, we assume ; allowing for is a straightforward extension. Third, the surrogate model function is then defined as . Fourth, the posterior mean function , which is often assumed to equal the surrogate model, i.e., , but this is not necessarily the case. We also define a second space, a Hilbert space , with elements , where is the number of data points, is the number of points at which we want to predict the model function value, are the measurement values,
is the vector of unknown latent function evaluations andis the vector of predicted function values at a set of positions. Note that scalar functions over , e.g. , are vectors (bold typeface) in the Hilbert space , e.g. . We also define a function over our Hilbert space which is just the function value of the Gaussian probability density functions involved. For more explanation on the distinction between the two spaces and the functions involved see Figure 2.
2.2 Gaussian Process Regression with Isotropic Kernels and i.i.d. Observation Noise
Defining a GP regression model from data , where , is accomplished in a GP regression framework, by defining a Gaussian probability density function, called the prior, as
and a likelihood
where is the mean of the prior Gaussian probability density function (not to be confused with the posterior mean function ). The prior mean can be understood as the position of the Gaussian. , is the covariance of the Gaussian process, with its covariance function, often referred to as the kernel, , where are the hyper parameters, and where is the variance of the i.i.d. observation noise. The problem here is that, in practice, the i.i.d. noise restriction rarely holds in experimental sciences, which is one of the issues to be addressed in this paper. The kernel is a symmetric and positive semi-definite function, such that . As a reminder, is our parameter space and often referred to as index set or input space in the literature. A well-known choice [williams2006gaussian] is the Matérn kernel class defined by
where is the Bessel function of second kind, is the gamma function, is the signal variance, is the length scale, is the Euclidean distance between input points and is a parameter that controls the differentiability characteristics of the kernel and therefore of the final model function. The well-known exponential and squared exponential kernels are special cases of the Matérn kernels. The signal variance and the length scale are hyper parameters () that are found by maximizing the log-likelihood, i.e., solving
is the identity matrix. In the isotropic case, we only have to optimize for one signal variance and one length scale (per kernel function). The mean functionis often assumed to be constant and therefore does not have to be part of the optimization. The mean function assigns the location of the prior in to any . The mean function can therefore be used to communicate prior knowledge (for instance physics knowledge) to the Gaussian process. Provided some hyper parameters, the joint prior is given as
where , and, as a reminder, . Intuitively speaking, , and are all measures of similarity between measurement results of the input space. While stores this similarity between all data points, stores the similarity between all data points and all unknown points of interest, and contains the similarity only between the unknown of interest. contains the instruction on how to calculate this similarity. The reader might wonder: “how do we find the similarity between unknown points of interest?” The answer lies in the formulation of the kernels that calculate the similarity just by knowing locations and not the function evaluations .
is the point where we want to estimate the mean and the variance. Note here that, with only slight adaption of the equation, we are able to compute the mean and variance for several points of interest.
The predictive distribution is defined as
and the predictive mean and the predictive variance are therefore respectively defined as
which are the posterior mean and variance at , respectively.
stands for the normal (Gaussian) distribution with a given mean and covariance.
2.3 Gaussian Processes with non-i.i.d. Observation Noise
To incorporate non-i.i.d. observation noise one can redefine the likelihood (2) as
where is a diagonal matrix containing the respective measurement variances. The matrix can also have non-diagonal entries if the measurement noise happens to be correlated. We will only discuss non-correlated measurement noise.
From equations (6) and (11), we can calculate equation (2.2), i.e., the predictive probability distribution for a measurement outcome at , given the data set. The mean and variance of this distribution are
respectively. Note here, that the matrix of the measurement errors replaces the matrix in equations (9) and (10). However, this does not follow from a simple substitution, but from a significantly different derivation. The log-likelihood (2.3) changes accordingly, yielding
This concludes the derivation of GPR with non-i.i.d. observation noise. Figure 3 illustrates the effect of different kinds of noise on an one-dimensional model function. As we can see, while some details of the derivation change when we account for inhomogeneous (also known as input dependent or non-i.i.d) noise, the resulting equation are very similar and the computation exhibits no extra costs.
2.4 Gaussian Processes with Anisotropy
For parameter spaces that are anisotropic, i.e., where different directions have different characteristic correlation length, we can redefine the kernel function to incorporate different length scales in different directions. One way of doing this for axial anisotropy is by choosing the norm as distance measure and redefine the kernel function as
where the superscripts mean point labels, the subscript means different directions in and . Defining a kernel per direction gives us the flexibility to enforce different orders of differentiability in different directions of . The main benefit, however, is the possibility to define different length scales in different directions of (see Figure 4). Unfortunately, the choice of the norm can lead to a very recognizable checkerboard pattern in the surrogate model, but the predictive power of the associated variance function is significantly improved compared to the isotropic case.
A second way, which avoids the checkerboard pattern in the model but does not allow different kernels in different direction, is to redefine the distances in as
is any symmetric positive semi-definite matrix playing the role of a metric tensor[vivarelli1999discovering]. This is just the Euclidean distance in a transformed metric space. In the actual kernel functions, any can then be replaced by the new equation for the metric. We will here only consider axis-aligned anisotropy which means the matrix is a diagonal matrix with the inverse of the length scales on its diagonal. The extension to general forms of anisotropy is straightforward but needs a more costly likelihood optimization since more hyper parameters have to be found. The rest of the theoretical treatment, however, remains unchanged. The mean function , the hyper parameters and the signal variance are again found by maximizing the marginal log-likelihood (2.3). The associated optimization tries to find a maximum of a function that is defined over , if we ignore the mean function as it is commonly done. We therefore have to find parameters which adds a significant computational cost. If is not diagonal we have to maximize the log-likelihood over . However, the optimization can be performed in parallel to computing the posterior variance, which can hide the computational effort. It is important to note that accounting for anisotropy can make the training of the algorithm, i.e. the optimization of the log-likelihood, significantly more costly. The extent of this depends on the kind of anisotropy considered. As we shall see, taking anisotropy into account leads to more efficient steering and a higher-quality final result, and is thus generally worth the additional computational cost.
3 Synthetic Tests
Our synthetic tests are carefully chosen to demonstrate the benefits of the two concepts under discussion, namely: non-i.i.d. observation noise and anisotropic kernels. To demonstrate the importance of including non-i.i.d. observation noise into the analysis, we consider a synthetic test based on actual physics which we used in previous work to showcase the functionality of past algorithms [noack2019kriging]. We are choosing an example given in a closed form, because it provides a noise-free “ground truth” that we can compare to, whereas experimental data would inevitably include unknown errors. To showcase the importance of anisotropic kernels as part of the analysis, we provide an high-dimensional example based on a simulation of a material that is subject to a varying thermal history.
The shown synthetic tests explore spaces of very different dimensionality. There is no theoretical limitation to the dimensionality of the parameter space. Indeed the autonomous methods described herein are most advantageous when operating in high-dimensional spaces, since this is where simpler methods—and human intuition—typically fail to yield meaningful searches.
3.1 Non-i.i.d. Observation Noise
For this test, we define a physical “ground truth” model (), whose correct function value at is inaccessible due to non-i.i.d measurement noise, but can be probed by our simulated experiment through
. In this case, we assume that the measurements are subject to Gaussian noise with a standard deviation ofof the function value at . The ground-truth model function is defined to be the diffusion coefficient for the Brownian motion of nanoparticles in a viscous liquid consisting of a binary mixture of water and glycerol:
where is Bolzmann’s constant, is the nanoparticle radius, is the temperature and is the viscosity as given by [cheng2008formula], where is the glycerol mass fraction. This model was used in [noack2019kriging] to show the functionality of Kriging based autonomous experiments. The experiment device has no direct access to the ground truth model, but adds an unavoidable noise level, i.e.,
To demonstrate the importance of the noise model, we first ignore noise , then approximate it assuming i.i.d. noise, and finally model it allowing for non-i.i.d. noise. Figure 5 shows the results after 500 measurements, and a comparison to the (inaccessible) ground truth. Figure 6 compares the decrease in the error, in form of the Euclidean distance between the models and the ground truth, with increasing number of measurements , between the three different types of noise.
The results show that treating noise as i.i.d. or even non-existent can lead to artifacts in the surrogate model. Additionally, the discrepancy between the ground truth and the surrogate mode is reduced far more efficiently if non-i.i.d. noise is accounted for.
Allowing anisotropy can increase efficiency of autonomous experiments significantly for any dimensionality of the underlying parameter space. However, as the dimensionality of the parameter space increases, the importance of anisotropy increases substantially, purely due to the number of directions in which anisotropy can occur. To demonstrate this link, we simulated an experiment where a material is subjected to a varying thermal history. That is, the experiment consists of repeatedly changing the temperature, and taking measurements along this time-series of different temperatures. The temperature at each time step can be thought of as one of the dimensions of the parameter space. The full set of possible applied thermal histories thus become points in the high-dimensional parameter space of temperatures.
In particular, we consider the ordering of a block copolymer, which is a self-assembling material that spontaneously organizes into a well-defined morphology when thermally annealed [doerk2017beyond]. The material organizes into a defined unit cell locally, with ordered grains subsequently growing in size as defects annihilate [majewski2016rapid]. We use a simple model to describe this grain coarsening process, where the grain size increases with time according to a power-law
where is a scaling exponent (set to for our simulations) and the prefactor captures the temperature-dependent kinetics
Here, is an activation energy for coarsening (we select a typical value of ), and the prefactor sets the overall scale of the kinetics (set to ). From these equations we construct an instantaneous growth-rate of the form:
Block copolymers are known to have a order-disorder transition temperature () above which thermal energy overcomes the material’s segregation strength, and thus the nanoscale morphology disappears in favor of a homogeneous disordered phase. Heating beyond thus implies driving to zero. We describe this ‘grain dissolution’ process using an ad-hoc form of:
where we set and . We also apply ad-hoc suppresion of kinetics near and when grain sizes are very large to account for experimentally-observed effects. Overall, this simple model describes a system wherein grains coarsen with time and temperature, but shrink in size if temperature is raised too high. The parameter space defined by a sequence of temperatures will thus exhibit regions of high or low grain size depending on the thermal history described by that point; moreover there is non-trivial coupling between these parameters since the grain size obtained for a given step of the annealing (i.e. a given direction in the parameter space) sets the starting-point for coarsening in the next step (i.e. the next direction of the parameter space).
We select thermal histories consisting of 11 temperature selections (temperature is updated every ), which thus defines an 11-dimensional parameter space for exploration. Each temperature history defines a point () within the 11-dimensional input space. As can be seen in Figure 7(a), the majority of thermal histories one might select terminate in a relatively small grain size (blue lines in figure). This can be easily understood since a randomly-selected annealing protocol will use temperatures that are either too low (slow coarsening) or too high ( drives into disordered state). Only a subset of possible histories terminate with a large grain size (dark, less transparent lines in Figure 7), corresponding to the judicious choice of annealing history that uses large temperatures without crossing ODT. While this conclusion is obvious in retrospect, in the exploration of a new material system (e.g. for which the value of material properties like are not known), identifying such trends is non-trivial. Representative slices through the 11-dimensional parameter space (Fig. 7(b) and (c)) further emphasize the complexity of the search problem, especially emphasizing the anisotropy of the problem. That is, different steps in the annealing protocol have different effects on coarsening; correspondingly the different directions in the parameter space have different characteristic length scales that must be correctly modeled (even though every direction is conceptually similar in that it describes a thermal annealing process).
Autonomous exploration of this parameter space enables the construction of a model for this coarsening process. Moreover, the inclusion of anisotropy markedly improves the search efficiency, reducing the model error more rapidly than when using a simpler isotropic kernel (Fig. 7(d)). As the dimensionality of the problem and the complexity of the physical model increase, the utility of including an anisotropic kernel increases further still.
4 Autonomous SAXS Exploration of Nanoscale Ordering in a Flow-Coated Polymer-Grafted Nanorod Film
The proposed GP-driven decision-making algorithm that takes into account non-i.i.d. observation noise and anisotropy has been used successfully in autonomous synchrotron experiments. Here we present, as an illustrative example, the results of an autonomous x-ray scattering experiment on a polymer-grafted gold nanorod thin film, where a combinatorial sample library was used to explore the effects of film fabrication parameters on self-assembled nanoscale structure.
Unlike traditional short ligand coated particles, polymer-grafted nanoparticles (PGNs) are stabilized by high molecular weight polymers at relatively low grafting densities. As a result, PGNs behave as soft colloids, possessing the favorable processing behavior of polymer systems while still retaining the ability to pack into ordered assemblies [che2016preparation]. Although this makes PGNs well suited to traditional approaches for thin-film fabrication, the nanoscale assembly of these materials is inherently complex, depending on a number of variables including, but not limited to particle-particle interactions, particle-substrate interactions, and process methodology.
The combinatorial PGN film sample was fabricated at the Air Force Research Laboratory. A flow-coating method [che2016preparation] was used to deposit a thin PGN film on a surface-treated substrate where gradients in coating velocity and substrate surface energy were imposed along two orthogonal directions over the film surface. A 250 nM toluene solution of 53 kDa polystyrene-grafted gold nanorods (94% polystyrene by volume), with nanorod dimensions of nm in length and nm in diameter (based on TEM analysis), was cast onto a functionalized glass coverslip using a motorized coating blade. The resulting film covered a rectangular area of dimensions 50 mm 60 mm. The surface energy gradient on the glass coverslip was generated through the vapor deposition of phenylsilane [genzer2002molecular]. The substrate surface energy varied linearly along the direction from 30.5 mN/m (hydrophobic) at one edge of the film () to 70.2 mN/m (hydrophilic) at the other edge ( mm). Along the direction, the film-casting speed increased from 0 mm/s (at ) to 0.5 mm/s ( mm) at a constant acceleration of 0.002 mm/s. The film-casting condition corresponds to the evaporative regime where solvent evaporation occurs at similar timescales to that of solid film formation [bao2018meniscus]. In this regime, solvent evaporation at the meniscus induces a convective flow, driving the PGNs to concentrate and assemble at the contact line. The film thickness decreased with increasing coating speed, resulting in transitions from multilayers through a monolayer to a sub-monolayer with increasing . This was verified by optical microscopy observations of the boundaries between multilayer, bilayer, monolayer and sub-monolayer regions, the last of which were identified by the presence of holes in the film, typically 1 m or greater as seen in the optical images.
The autonomous small-angle x-ray scattering (SAXS) experiment was performed at the Complex Materials Scattering (11-BM CMS) beamline at the National Synchrotron Light Source II (NSLS-II), Brookhaven National Laboratory. As described previously [noack2019kriging, noack2020advances], experimental control was coordinated by combining three Python software processes: bluesky [bluesky] for automated sample translations and data collection, SciAnalysis [SciAnalysis] for real-time analysis of newly collected SAXS images, and the above GPR-based optimization algorithms for decision-making. The incident x-ray beam was set to a wavelength of 0.918 Å (13.5 keV x-ray energy) and a size of 0.2 mm 0.2 mm. The PGN film-coated substrate was mounted normal to the incident x-ray beam, on a set of motorized translation stages. Transmission SAXS patterns were collected on an area detector (DECTRIS Pilatus 2M) located at a distance of 5.1 m downstream of the sample, with exposure time of 10 s/image. The SAXS results indicate that the polymer grafted nanorods tend to form ordered domains in which the nanorods lie flat and parallel to the surface and align with their neighbors. The fitting of SAXS intensity profiles via real-time analysis allowed for the extraction of quantities such as: the scattering-vector position for the diffraction peak corresponding to the in-plane inter-nanorod spacing ; the degree of anisotropy for the in-plane inter-nanorod alignment, where for random orientations and for perfect alignments [ruland2004saxs]; the azimuthal angle or the factor for the in-plane orientation of the inter-nanorod alignment; and the grain size of the nanoscale ordered domains, which is inversely proportional to the diffraction peak width and provides a measure of the extent of in-plane positional correlations between aligned nanorods. The analysis-derived best-fit values and associated variances for these parameters were passed to the GPR decision algorithms.
Three analysis-derived quantities , , and were used as signals to steer the SAXS measurements as a function of surface coordinates . For the initial part of the experiment, (first 4 h), where is the number of measurements completed up to a given point in the experiment, the autonomous steering utilized the exploration mode based on model uncertainty maxima [noack2020advances] for , , and . For the latter part of the experiment ( or next 11 h), the feature maximization mode [noack2020advances] was used for , while keeping and in the exploration mode. We found that the nanorods in the ordered domains tended to orient such that their long axes were aligned along the direction , i.e., perpendicular to the coating direction, and that and are strongly coupled. Figure 8A (top panels) show the -dependent evolution of the model for the grain size distribution over the film surface. It should be noted that the entire experiment took 15 h, and that the GPR-based autonomous algorithms identified the highly ordered regions in the band (between red lines in Fig. 8A), corresponding to the uniform monolayer region, within the first few hours. By contrast, grid-based scanning-probe transmission SAXS measurements would not be able to identify large regions of interest at these resolutions in such a short amount of time.
The collected data is corrupted by non-i.i.d. measurement noise. While all signals are corrupted by noise, we draw attention to the peak position because it shows the most obvious correlation of non-i.i.d. measurement noise and model certainty. The green circles in Figure 8B (middle panel) and C (right panel) highlight the areas where the measurement noise affects the Gaussian-process predictive variance significantly. Note that we have not used for steering in this case, but the general principle we want to show remains unchanged across all experiment results. Figure 8A shows the time evolution of the exploration of the model and the impact of non-i.i.d. noise on the model but also on the uncertainty. If had been used for steering without taking into account non-i.i.d.noise into the analysis, the autonomous experiment would have been misled because predictive uncertainty due to high noise levels would not have been taken into account. Figure 8 shows that the next suggested measurement strongly depends on the noise. We want to remind the reader at this point that the next optimal measurement happens at the maximum of the GP predictive variance. The locations of the optima (Figure 8C) are clearly different when non-i.i.d. noise is taken into account. The objective function without measurement noise (Fig. 8C, left panel) shows no preference for regions of high noise (green circles in Fig. 8B, middle panel), where preference means higher function values of the GP predictive variance. In contrast, the variance function that takes measurement noise into account (Fig. 8C, right panel) gives preference to regions (green circles) where measurement noise of the data is high. This is a significant advantage and can only be accomplished by taking into account non-i.i.d. measurement noise. In conclusion, the model that assumes no noise looks better resolved, which communicates a wrong level of confidence and misguides the steering. The model that takes into account non-i.i.d. noise finds the correct most likely model and the corresponding uncertainty. The algorithm also took advantage of anisotropy by learning a slightly longer length scale in the x-direction which increased the overall model certainty. Note that the algorithm used an objective function formulation that put emphasis on high-amplitude regions of the parameter space. This led to a higher resolution in areas of interest.
The above autonomous SAXS experiment revealed interesting features from the material fabrication perspective as well. First, a somewhat surprising result is that the grain size is not observed to change significantly with surface energy (Figure 8A). Previous work on the assembly of polystyrene-grafted spherical gold nanoparticles [che2016preparation] demonstrated a significant decrease in nanoparticle ordering when fabricating films on lower surface energy substrates (greater polymer-substrate interactions). Although the surface energies used in this study are similar, a different silane was used to modify the glass surface (phenylsilane vs octyltrichlorosilane) which may differ in its interaction with polystyrene. We also note that PGN-substrate interactions will be sensitive to molecular orientation of the functional groups, which is known to be highly dependent on the functionalization procedure [genzer2002molecular]. Second, an unexpected well-ordered band was identified at mm and mm (between blue lines in Figure 8A), corresponding to the sub-monolayer region with an intermediate surface-energy range. We believe that this effect arises from instabilities associated with the solution meniscus near the middle of the coating blade ( mm). Rapid solvent evaporation often leads to undesirable effects including the generation of surface tension gradients, Marangoni flows, and subsequent contact line instabilities. This can result in the formation of non-uniform morphologies as demonstrated by the irregular region of larger grain size centered in the middle of the film and spanning the entire velocity range. Further investigations into these issues are currently in progress.
5 Discussion and Conclusion
In this paper, we have demonstrated the importance of including inhomogeneous (i.e. non-i.i.d.) observation noise and anisotropy into Gaussian-process-driven autonomous materials-discovery experiments.
It is very common in the scientific community to rely on Gaussian processes that ignore measurement noise or only include homogeneous noise, i.e. noise that is a constant for every measurement. In experimental sciences, and especially in experimental material sciences, strong inhomogeneity in measurement noise can be present and only accounting for homogeneous (i.i.d) measurement noise is therefore insufficient and leads to inaccurate models and, in the worst case, wrong interpretations and missed scientific discoveries. We have shown that it is straightforward to include non-i.i.d noise into the steering and modeling process. Figure 5 undoubtedly shows the benefit of including non-i.i.d measurement noise into the Gaussian process analysis. Figure 6 supports the conclusion we drew from Figure 5 visually, by showing a faster error decline.
The case for allowing anisotropy in the input space can be made when there is a reason to believe that data varies much more strongly in certain direction than in others. This is often the case when the directions have different fundamentally physical meanings. For instance, one direction can mean a temperature, while another one can define a physical distance. In this case, accounting for anisotropy can be vastly beneficial, since the Gaussian process will learn the different length scales and use them to lower the overall uncertainty. Figure 7 shows how common anisotropy is, even in cases where it would normally not be expected, and how including it decreases the approximated error of the Gaussian process posterior mean. In our example, all axes carry the unit of temperature; even so, anisotropy is present and accounting for it has a significant impact on the approximation error.
In our autonomous synchrotron x-ray experiment we have seen how misleading the no-measurement-noise can be. While the Gaussian process posterior mean, assuming no noise, is much more detailed in Figure 8, it is not supported by the data which is subject to non-i.i.d. noise. In addition, we have seen that the steering actually accounts for the measurement noise if included, which leads to much a smarter decision algorithm that knows where data is of poor quality and has to be substantiated. We showed, that without accounting for non-i.i.d. noise this phenomenon would not arise. We would therefore place measurements sub-optimally, wasting device access, staff time and other resources.
It is important to discuss the computational costs that come with accounting for non-i.i.d. noise and anisotropy. While non-i.i.d. noise can be included at no additional computational costs, anisotropy potentially comes at a price. The more complex the anisotropy, the more hyper parameters have to be found. The number of hyper parameters translates directly into the dimensionality of the space the likelihood is defined over. The training process to find the hyper parameters will therefore take longer, the more hyper parameters we have to find. However, the cost per function evaluation will not change significantly. Therefore, instead of avoiding the valuable anisotropy, we should make use of modern, efficient optimization methods.
While our results have shown that accounting for non-i.i.d. noise and anisotropy is highly valuable for the efficiency of an autonomously steered experiment, we have only scratched the surface of possibilities. Both proposed improvements can be seen as part of a larger theme commonly referred to as kernel design. The possibilities for improvements and tailoring of Gaussian-process-driven steering of experiments are vast. Well-designed kernels have the power to extract sub-spaces of the Hilbert space of functions, which means we can put constraints on the function we want to consider as our model. We will look into the impact of advanced kernel designs on autonomous data acquisition in the near future.
The work was partially funded through the Center for Advanced Mathematics for Energy Research Applications (CAMERA), which is jointly funded by the Advanced Scientific Computing Research (ASCR) and Basic Energy Sciences (BES) within the Department of Energy’s Office of Science, under Contract No. DE-AC02-05CH11231. This work was conducted at Lawrence Berkeley National Laboratory and Brookhaven National Laboratory. This research used resources of the Center for Functional Nanomaterials and the National Synchrotron Light Source II, which are U.S. DOE Office of Science Facilities, at Brookhaven National Laboratory under Contract No. DE-SC0012704. Partial funding was supplied by the Air Force Research Laboratory Materials and Manufacturing Directorate and the Air Force Office of Scientific Research.
Author Contributions Statement
M.N., K.G.Y., and M.F. developed the key ideas. M.N. devised the necessary algorithm, formulated the required mathematics, and implemented the computer codes. M.F. and K.G.Y. designed the x-ray scattering experiment. R.A.V. conceived the material and process design. J.K.S. prepared the samples and performed preliminary characterizations. M.N., K.G.Y., M.F., G.D., and R.L. performed the autonomous experiments. K.G.Y. analyzed the experimental data. M.N. analyzed the algorithm performance and wrote the first draft of the manuscript. M.F. and K.G.Y. supervised the work. All authors discussed the results and commented on the manuscript.
The authors declare no competing interests.