the Creative Commons Attribution 4.0 License.
the Creative Commons Attribution 4.0 License.
A multiphase CMAQ version 5.0 adjoint
Shunliu Zhao
Matthew G. Russell
Shannon L. Capps
Matthew D. Turner
Daven K. Henze
Peter B. Percell
Jaroslav Resler
Huizhong Shen
Armistead G. Russell
Athanasios Nenes
Amanda J. Pappin
Sergey L. Napelenok
Jesse O. Bash
Kathleen M. Fahey
Gregory R. Carmichael
Charles O. Stanier
Tianfeng Chai
We present the development of a multiphase adjoint for the Community Multiscale Air Quality (CMAQ) model, a widely used chemical transport model. The adjoint model provides location and timespecific gradients that can be used in various applications such as backward sensitivity analysis, source attribution, optimal pollution control, data assimilation, and inverse modeling. The science processes of the CMAQ model include gasphase chemistry, aerosol dynamics and thermodynamics, cloud chemistry and dynamics, diffusion, and advection. Discrete adjoints are implemented for all the science processes, with an additional continuous adjoint for advection. The development of discrete adjoints is assisted with algorithmic differentiation (AD) tools. Particularly, the Kinetic PreProcessor (KPP) is implemented for gasphase and aqueous chemistry, and two different automatic differentiation tools are used for other processes such as clouds, aerosols, diffusion, and advection. The continuous adjoint of advection is developed manually. For adjoint validation, the bruteforce or finitedifference method (FDM) is implemented process by process with box or columnmodel simulations. Due to the inherent limitations of the FDM caused by numerical roundoff errors, the complex variable method (CVM) is adopted where necessary. The adjoint model often shows better agreement with the CVM than with the FDM. The adjoints of all science processes compare favorably with the FDM and CVM. In an example application of the full multiphase adjoint model, we provide the first estimates of how emissions of particulate matter (PM_{2.5}) affect public health across the US.
 Article
(3881 KB)  Fulltext XML

Supplement
(161 KB)  BibTeX
 EndNote
Adjoint models generate gradients that can be used directly for backward sensitivity analysis or to provide directions for gradientbased optimization in fourdimensional variational data assimilation (4DVar) or other inverse problems (Errico, 1997; Navon, 1997; Giles and Pierce, 2000; Wang et al., 2001; Sandu et al., 2005; Griewank, 2012). Applications of adjoint models for data assimilation have a long successful history in meteorology and oceanography (Errico, 1997; Navon, 1997). For atmospheric chemistry, adjoint modeling was used as early as the 1990s (Fisher and Lary, 1995; Elbern et al., 1997). More recently the methods were applied to aerosols in 1D models (Henze et al., 2004; Sandu et al., 2005), 3D models of inert aerosol mass concentrations (Hakami et al., 2005), and 3D models of chemically active aerosol mass concentrations (Henze et al., 2007).
Due to omnipresent uncertainties in emissions, initial and boundary conditions, and the underlying complex physical and chemical processes, predicting or accurately simulating air quality poses great challenges; the assimilation of chemical data is thus a promising approach in improving the model skill (Carmichael et al., 2008). While applications in data assimilation and inverse modeling form the traditional niche for adjoint applications in atmospheric modeling, adjoint models can also be used to conduct sensitivity analysis. Sensitivity analyses are often performed in air quality studies to estimate the impact of various model inputs, in particular emissions, on model predictions (Dunker et al., 2002; Hakami et al., 2003; Sandu et al., 2005; Cohan et al., 2005; Napelenok et al., 2006; Martien and Harley, 2006; Koo et al., 2007). Among various methods for sensitivity analysis, two general categories are more commonly used: forward and adjoint (Hakami et al., 2007). In the forward approach, sensitivity information is propagated forward in time. The most common forward sensitivity approach is the bruteforce or finitedifference method (FDM). The FDM requires minimal effort to implement, but the search for a proper step and perturbation size might be needed to produce accurate sensitivities (Iott et al., 1985). The step size selection process could be resourcedemanding and repeatedly required, especially when the numerical model contains highly nonlinear processes that are routinely encountered in atmospheric models. Another forward approach is the complex variable method (CVM) (Squire and Trapp, 1998; Anderson and Nielsen, 2001). Unlike the FDM, the CVM is not subject to subtraction errors and can provide accurate sensitivities by using a perturbation size as small as allowed in floatingpoint calculations, but this approach has only been implemented in one atmospheric chemical transport model (Giles et al., 2003; Constantin and Barrett, 2014). A third forward approach is the decoupled direct method (DDM) or the tangent linear model (TLM), in which differentiation is directly applied to the governing equations or algorithmically to the primal computer model. DDM can generate exact sensitivities (i.e., subject to numerical errors, with no perturbations required) at the cost of a significant amount of model development (Dunker et al., 2002; Napelenok et al., 2006).
In the adjoint approach, the sensitivity information is propagated backward in time and a single model run generates sensitivities of a metric of model outputs with respect to all model inputs (Errico, 1997; Giles and Pierce, 2000). The adjoint and the forward sensitivity approaches complement each other in the sense that the forward approach calculates sensitivities of all model outputs to a single model input, combined or individual, in one model run (an extra baseline run required for the FDM), while the adjoint method provides sensitivities of a single model output (individual or integrated) to all model inputs (Hakami et al., 2007).
In addition to 4DVar and sensitivity analysis, adjoint models have been implemented for source attribution of air pollutants (Zhang et al., 2015; Qi et al., 2017). Compared to the zeroout method, which computes contributions by switching an emission sector on and off, the adjoint approach has the advantage of not changing the chemical environment, which could lead to inaccuracies in estimates (Koo et al., 2009). Furthermore, the adjoint approach can be readily extended to include more emission sectors for investigation with a marginal increase in computational cost; as mentioned earlier, the computational cost of adjoint models is practically independent of the number of input parameters. Source attribution by adjoint models has its own limitation due to the inherent linear assumption in adjoint formulation. Koo et al. (2009) found that the linear assumption held for a 20 % emission reduction in general for secondary inorganic aerosols; for secondary organic aerosols, the linearity assumption was valid for up to 100 % reductions in anthropogenic emissions. Although these bounds are based on the DDM of the threedimensional Comprehensive Air quality Model with extensions (CAMx; ENVIRON, 2020; Koo et al., 2007), they are applicable to the bounds for adjoint models for source attribution, as both the DDM and the adjoint are tangent estimations based on the same assumption of linearity.
The U.S. Environmental Protection Agency's Community Multiscale Air Quality (CMAQ) model is a regionaltohemispheric air quality model, which is widely used due to its communitydriven development and stateoftheart science components (Byun and Schere, 2006; Foley et al., 2010). Limited adjoint versions of CMAQ have been developed before; a gasphase adjoint model was previously developed for CMAQ 4.5.1 (Hakami et al., 2007) and has been used in several applications related to ozone (Resler et al., 2010; Mesbah et al., 2012; Pappin and Hakami, 2013; Zhao et al., 2013; Pappin et al., 2015, 2016; Park et al., 2016). Turner et al. (2015a, b) developed and applied the adjoint of black carbon (BC) aerosol for CMAQ 4.7.1 but did not include other aerosol species or gasphase chemistry.
The lack of chemically comprehensive aerosol and cloud processes in the adjoint model has so far prevented applications related to aerosols, which in turn has imposed significant limitations on adjointbased multipollutant studies on topics such as human health and climate. Analogous to ozone, exposure to fine particulate matter (PM_{2.5}) poses risks to human health (Brook et al., 2010; Crouse et al., 2012, 2015; West et al., 2016; Turner et al., 2016; Di et al., 2017; Pinault et al., 2017; Burnett et al., 2018). Particulate matter also plays a significant role in climate change by influencing the radiative budget of the atmosphere (Tai et al., 2010, 2012; Fiore et al., 2012; Fuzzi et al., 2015). A multiphase adjoint model has been shown to better delineate the influence of model inputs such as emissions on human health (Lee et al., 2015; Koplitz et al., 2016) and climate (Henze et al., 2012; Karydis et al., 2012; Lacey et al., 2017).
Adjoints of air quality models have been developed before, but many of these adjoint models were for gasphase chemistry and/or contained a less detailed treatment (lacking microphysics or thermodynamics) of aerosols than that of CMAQ (Elbern et al., 2000; Henze et al., 2004; Sandu et al., 2005; Hakami et al., 2005; Martien and Harley, 2006; Dubovik et al., 2008; Huneeus et al., 2009), or they were developed for a global model with coarser resolution and varying levels of detail in the representation of some atmospheric processes (Henze et al., 2007). This work aims to fill in these gaps by developing a full adjoint for a widely used regional air quality model with detailed, multiphase, sizeresolved treatment of aerosols and to modify the adjoint to reflect more recent science process updates present in CMAQ version 5.0.
The CMAQ modeling system solves the atmospheric diffusion equations (ADEs; Byun, 1999; Jacobson, 2005; Seinfeld and Pandis, 2006):
where c_{i} is the mixing ratio of species i, u is the wind velocity, ρ is the air density, K is the diffusivity tensor, and r_{i}, e_{i}, and s_{i} represent the change rates from chemical and thermodynamic transformations, emissions, and the loss process for species i, respectively. The first two terms on the righthand side represent the transport process, namely advection and diffusion. Given the proper initial conditions and boundary conditions, the CMAQ model simulates the fate of air pollutants and their precursors emitted to or produced via chemical reactions in the atmosphere.
Integration of the ADE in CMAQ is accomplished through operator splitting, which facilitates the modular structure of the model (Byun and Schere, 2006; McRae et al., 1982). CMAQ includes submodules implemented for all the science processes:

VDIFF for vertical diffusion,

HADV for horizontal advection,

ZADV for vertical advection,

HDIFF for horizontal diffusion,

CLDPROC for cloud dynamics and aqueous chemistry,

CHEM for gasphase chemistry, and

AERO for aerosol dynamics and thermodynamics.
In the CMAQ model, the science processes are executed one after another at every synchronization time step that is dictated by the stability criteria for horizontal advection (Byun and Schere, 2006). To guarantee accuracy and to meet stability criteria, internal time steps specific to each process are also employed.
The adjoint equations corresponding to the ADEs can be written as
where λ_{i} represents the adjoint variable of species i; ${\stackrel{\mathrm{\u0303}}{r}}_{i}$ represents the contributions from r_{i}, e_{i}, and s_{i}; and φ_{i} denotes adjoint forcing (Elbern et al., 2000; Sandu et al., 2005; Martien and Harley, 2006; Henze et al., 2007; Hakami et al., 2005, 2007). In the following subsections, the adjoint model development techniques and strategies are introduced, and the details of the challenges and treatment for each science module are discussed.
2.1 Continuous and discrete adjoints
There are two approaches in developing an adjoint model: discrete and the continuous (Giles and Pierce, 2000). The discrete approach starts with a numerical model of the primal equation and differentiates it directly line by line, or it differentiates the numerical algorithm used to solve the continuous primal equation. One significant advantage of the discrete approach is that the modelbuilding process can be automated, at least partially (Giering and Kaminski, 1998; Griewank, 2003). A variety of automatic differentiation (AD; also referred to as algorithmic differentiation) tools for various programming languages are available (e.g., http://www.autodiff.org/, last access: 23 June 2020). It should be noted that the sensitivities from the discrete adjoint model are exact in the sense that they are the exact (to machine precision) firstorder derivatives of the forward model unless approximations are made (Errico, 1997). It is expected that the sensitivities are comparable with those from the FDM (with properly chosen perturbation sizes) or the CVM as the FDM and the CVM are both based on the same forward model (see Sect. 3 for the details of the CVM).
The continuous approach takes a governing equation, derives its adjoint equation, and numerically solves the adjoint equation. The continuous adjoint model is not constrained to using the same numerical scheme as the forward or the discrete adjoint model (Sirkes and Tziperman, 1997). Take horizontal advection as an example. The forward equation and the adjoint equation share the same form; the only difference is that the adjoint equation runs backward in time (Hakami et al., 2007; Gou and Sandu, 2011). Implemented for advection in CMAQ is the piecewise parabolic method (PPM), which is a higherorder Godunovtype method and uses intrinsic dissipation to improve stability and accuracy (Colella and Woodward, 1984; Byun and Schere, 2006). With the PPM employed for the adjoint equation, the corresponding continuous adjoint model bears the same desirable numerical features.
2.2 The backward nature of an adjoint
Adjoint models are integrated backward in time. The nature of the backward propagation of adjoint sensitivities could be best demonstrated from a discrete perspective, which is detailed in Wang et al. (2001). Suppose we have the forward primal model written as
where c is the vector of state variables (e.g., concentrations), the subscript t indicates time, and G denotes the primal model.
Linearizing the above equation, one can obtain the corresponding TLM (Talagrand and Courtier, 1987) as
where δc represents perturbations to the state variables, and ${\mathbf{G}}_{t\mathrm{1}}^{\prime}$ is the Jacobian matrix. The Jacobian matrix is the first derivative of G_{t−1} with respect to the input vector and has the following form (Wang et al., 2001):
The Jacobian matrix is not readily explicit in the model; by perturbing any one of the elements of the input vector c_{0}, one can obtain the values of the corresponding column of the Jacobian matrix. (Depending on the problem at hand, a combination of perturbations could be useful and feasible.) The obtained sensitivities are with respect to the perturbed input of all output variables or a metric defined over the output variables.
To resolve the values of a row of the Jacobian matrix, the Jacobian matrix can be transposed to construct the following adjoint model:
where λ is the vector of adjoint variables. The row of the Jacobian matrix holds the sensitivities with respect to all input variables.
For simulations from time 0 to t, the adjoint could be written
where the subscript t indicates the last time step used in calculating the Jacobian matrix. Because of the transposition, the order of the composition of the Jacobian matrices for different time steps is reversed. The Jacobian matrix at the last time step is applied first, instead of the one at the first time step. In other words, the adjoint sensitivities are propagated backward in time. A description from the continuous adjoint perspective of the backward propagation nature is found in Giles and Pierce (2000), Hakami et al. (2007), or Henze et al. (2007).
Propagating backward in time introduces another prominent challenge for the adjoint model, i.e., the checkpointing of intermediate values of state variables for nonlinear processes. Unless the forward primal model is linear, the intermediate values of the state variables are needed to calculate the transposed Jacobian matrix at each time step. Strategies of checkpointing are discussed in Sect. 2.4.
2.3 Automatic differentiation for the CMAQ science processes
Adjoint model development has been assisted with several AD tools. As mentioned at the beginning of Sect. 2, the science processes in CMAQ include advection, horizontal and vertical diffusion (including dry deposition), gasphase chemistry, aerosols (including thermodynamics and dynamics), and clouds (including aqueous chemistry and wet deposition). For the transport processes, TAMC (Tangent linear and Adjoint Model Compiler) was employed for the adjoint (Giering, 1999). The Kinetic PreProcessor (KPP) was adopted for the gasphase chemistry and the aqueous chemistry of clouds (Damian et al., 2002). For aerosols and cloud dynamics, Tapenade was used to generate the adjoint (Hascoët and Pascual, 2013).
The AD approach is used for all the CMAQ science processes. The CMAQ code is written in Fortran 77/90 and is not ready for AD in general; significant modifications are required to process the original CMAQ code. For Tapenade 3.10, those modifications include preprocessing directives and macros, defining a proper cost function, constructing a root subroutine, and dealing with pointers and blackbox subroutines, to name a few. Without the revisions, the AD tool either fails to generate the adjoint files or produces one that requires excessive manual intervention.
In addition to the changes mentioned above, an important numerical procedure, the bisection method, needs some special treatment for the adjoint. The bisection procedure does not provide a passage for the propagation of sensitivity information. In the current work, the postdifferentiation technique (BartholomewBiggs, 1998) is implemented before the adjoint is derived to obtain sensitivity information in a manner consistent with the underlying algorithm. The extensively used bisection procedure remains in the CMAQ code; after the solution is converged, an extra step of the Newton–Raphson method is attached to the bisection procedure to facilitate the calculation of the gradient of the equation at the root (Capps et al., 2012).
The adjoint models generated by AD tools do not run right out of the box. A postprocessing step is necessary to prepare the code for testing, including modifications based on the error and/or warning messages issued by the tools and checking against the original CMAQ code, for example, for missing code parts. In general, the full cycle of development involves code preparation, AD, postprocessing, and validation, and it is repeated as many times as needed.
2.3.1 Aerosols
The CMAQ model uses the modal approach to treat aerosols (Binkowski and Roselle, 2003). Specifically, the size range of an aerosol species is divided into three modes: the Aitken mode of aerosols with a geometric diameter less than 0.1 µm, the accumulation mode with a geometric diameter between 0.1 and 2.5 µm, and the coarse mode with a geometric diameter greater than 2.5 µm. Fine particles include those with a geometric diameter less than 2.5 µm, which include all particles in the Aitken and accumulation modes. Although the geometric diameter is important for distinguishing the modes, it is a derived quantity in CMAQ. The aerosols are represented by mass, number, and surface area by design; all the other quantities required for simulation are derived from these three representative moments based on the lognormal assumption of the size distributions (Binkowski and Roselle, 2003).
The key components of the CMAQ aerosol module include the production of secondary organic aerosol (SOA), new particle formation from nucleation, particle coagulation and condensational growth, heterogeneous chemical reactions to generate nitric acid, mode merging, and aerosol thermodynamics (see Subsect. 2.3.2 for cloudrelated aerosol processes). Aerosol thermodynamics are treated with the ISORROPIA thermodynamic equilibrium model (Nenes et al., 1998; http://isorropia.epfl.ch/, last access: 23 June 2020), for which the adjoint, ANISORROPIA, has been developed and documented in Capps et al. (2012). Bisection procedures are extensively used in ISORROPIA, and the postdifferentiation technique mentioned in Sect. 2.3 was employed to ensure the propagation of sensitivity information. Capps et al. (2012) discuss how challenges posed by the nonlinearity and solution discontinuity in ISORROPIA were handled in the adjoint development.
To generate the adjoint by AD, the rest of the processes in the aerosol module are lumped into a box model. The corresponding Fortran code is preprocessed for the AD tool. Although a Newtontype iterative procedure, instead of a bisection method, is used in the SOA process, the postdifferentiation technique is implemented to improve computational efficiency. In other words, the original Newton routines are used to obtain a converged solution, which is then used to propagate the sensitivity information through the corresponding adjoint routine generated from the onestep Newton method. It is worth noting that postdifferentiation is applied when postprocessing the adjoint code; for AD, the original Newton routine is revised to iterate only once.
2.3.2 Clouds
The cloud module in CMAQ deals with cloud dynamics and aqueous chemistry. Depending on the cloud size, one of two solution techniques is employed. The resolved cloud submodule (RESCLD) is invoked when the cloud size is larger than the grid size. Under this circumstance, cloud dynamics become part of the transport process and need not be treated separately in the cloud module. When clouds partially exist in a cell, the subgrid module for convective clouds (CONVCLD) is invoked, which resolves the vertical convective mixing in the boundary layer based on the Asymmetrical Convective Model (Pleim and Chang, 1992). The mixing process computes mixing ratios for each individual species inside and outside a cloud. The obtained mixing ratios are then redistributed to each layer according to the initial value using a weighting function. The nonlinearity introduced by the weighting function has proven be problematic in differentiation as discussed in Sect. 3 during testing. Both submodules, RESCLD and CONVCLD, simulate incloud scavenging, wet deposition, and aqueous chemical reactions. An exponential decay formulation is used for the incloud scavenging processes. For cloud dynamics, the same AD tool and procedure as for the aerosol module are employed for the adjoint development.
For aqueous chemistry, KPP version 2.2.3 is used (Damian et al., 2002). Unlike the other AD tools used in this study, the KPP operates on the algorithmic level instead of directly on the code; given a chemical mechanism, the KPP can generate the corresponding computer code in several languages including Fortran 77/90. The KPP has the capability to generate the forward model, the DDM or TLM, and the adjoint through separate runs. A detailed treatment of cloud chemistry with the KPP can be found elsewhere (Fahey et al., 2017). The species treated in aqueous chemistry are consistent with the CB05 chemical mechanism and the AERO5 aerosol module in the current adjoint implementation.
2.3.3 Gasphase chemistry
As done for the previous version of CMAQADJ (Hakami et al., 2007), the KPP is used to generate the subroutines required for constructing the adjoint. The chemical kinetic mechanism implemented is updated to CB05 from CBIV for the previous adjoint (Yarwood et al., 2005).
2.3.4 Transport
The transport module in CMAQ 5.0 consists of four components including horizontal advection, vertical advection, horizontal diffusion, and vertical diffusion. Horizontal advection is further divided into two x and ydirection components with the order of the two advection steps alternating to maintain a symmetric form (Byun and Schere, 2006). As discussed in Subsect. 2.1, the PPM scheme is implemented for the advection process. PPM is monotonic and enforces positivity (Byun and Schere, 2006). As the sensitivity values could be either positive or negative, the positivityenforcing feature should be disabled when the method is applied for the adjoint equation to develop a continuous version of the adjoint (Gou and Sandu, 2011). The discrete adjoints of all the four components of transport were developed using TAMC version 5.3.2, which is an AD tool for Fortran 77 programs with partial Fortran 90 support (Giering, 1999).
2.4 Manual interventions
Manual interventions are necessary to revise and assemble the adjoint source code generated by AD tools. First, the warning and error messages issued by AD tools are checked. Once the code is successfully compiled, the forward sweep of the adjoint routines is checked against the original CMAQ for completeness. For postdifferentiation, the iterative Newton–Raphson method originally implemented for SOA is added back to the forward sweep to replace the onestep version created specifically for AD. The solution is saved (pushed into stack) after convergence and restored (popped out of stack) for the onestep adjoint routine of the Newton–Raphson method. Last, but not least, the adjoint code is refined according to the coding guidelines of CMAQ including indentation styles and the usage of macros and directives.
As mentioned in Sect. 2.2, the adjoint model is integrated backward in time, and checkpointing is required for active variables used in the propagation of sensitivity information through nonlinear processes. There are two strategies to retrieve intermediate values: repeatedly run the forward model or run the forward model once and store all the intermediate values. In practice, a tradeoff between the two strategies is employed, as repeatedly running the forward model is prohibitively expensive, and saving all intermediate values is impractical due to limited storage space (Wang et al., 2009). Intermediate values can be saved to memory, allowing for faster access, but subject to physical memory constraints.
The AD tools automatically employ a combined strategy of rerunning and checkpointing for intermediate values of active variables. For example, Tapenade performs a live analysis to determine if a variable is active and automatically applies a strategy that combines checkpointing and rerunning for those active variables at the subroutine level. Every adjoint routine contains a forward sweep and a backward sweep. During the forward sweep (rerunning), the values of active variables (including control variables) are pushed into a stack (checkpointing) and are then popped out and used during the backward sweep. There are different stacks for different data types such as integer (for conditional and/or branch control), real, and doubleprecision variables. The values of active variables are checkpointed to a stack of its own type accordingly. Stacks operate on the lastin firstout principle and are wellsuited for the checkpointing purpose. Attention should be paid to the live analysis process; the “save” attribute or a bug in the AD tool could unexpectedly cause corrupted checkpointing of an active variable.
This implementation of internal checkpointing entails saving numerous intermediate variables and requires far more computer memory than available for a typical regional air quality application with all the science processes involved for a multipleday simulation. The strategy adopted for the current full adjoint model is the same as the one used for the previous version (Hakami et al., 2007). A forward run is carried out with the original CMAQ model revised to checkpoint to files the values of active variables for each nonlinear science process at every synchronization time step (i.e., the external time step for horizontal advection). The backward adjoint run then reads the checkpointing file at the beginning of the corresponding science process.
2.5 Adjoint forcing preprocessor
The adjoint model calculates the sensitivity of a cost function, J, with respect to model parameters. The adjoint forcing, φ_{i}, in Eq. (2) corresponds to $\frac{\partial J}{\partial {c}_{i}}$. Like emissions in the forward sweep, the adjoint forcing is applied at every time step in the backward sweep and may be applied in any grid cell. Typically, the cost function depends on the concentrationbased results of the forward sweep. The derivative of the cost function with respect to the concentration of interest must be calculated for each time step and added to a compliant NetCDF file. To ease the burden of introducing different cost functions for users, a Pythonbased adjoint forcing preprocessor has been developed. As a model, the preprocessor includes the calculation of the local maximum daily 8 h average ozone concentration, which is a regulatory metric in the US. This example addresses issues of shifting to local time and a forcing dependent on an average in every grid cell. The example produces an adjoint forcing file corresponding to this cost function ready for use in the backward sweep. The Pythonbased preprocessor will make the implementation of additional cost functions, such as 24 h average aerosol constituents or observation operators for satellitebased atmospheric composition, straightforward.
The adjoint model is evaluated on a processbyprocess basis against the bruteforce finitedifference method (FDM) and the complex variable method (CVM) (Squire and Trapp, 1998). Box or column models are used when applicable to maximize the number of comparison pairs from the backward and forward sensitivity test runs (Hakami et al., 2007). The finitedifference method is straightforward to implement and has been used for evaluating other sensitivity methods (Dunker et al., 2002; Napelenok et al., 2006; Hakami et al., 2007; Henze et al., 2007), but in some cases it requires finding optimal step sizes to obtain accurate results. The searching process is timeconsuming and could be impractical when a large dataset such as that of a threedimensional atmospheric model is involved. With the CVM, the results are practically insensitive to the perturbation size with the exception of some rare circumstances discussed in Sect. 3.2.1.
The air quality simulation scenario used for the evaluation is for the contiguous US domain with a 36 km horizontal resolution and 24 vertical layers for the first 7 d of April 2008, with the first 6 d used for spinup. More details about meteorological inputs, initial and boundary conditions, and emissions are provided in Turner et al. (2015a), where a version of the dataset with 12 km horizontal resolution was used. Unless otherwise noted, evaluations are done for daylong adjoint simulations, with single forcing at the last time step.
3.1 The complex variable method
The CVM for the firstorder sensitivities is formulated as follows, which is a Taylor series expansion about an imaginary perturbation step:
where J is the cost function, p is the parameter to which the gradient is evaluated, i is the imaginary unit, and h is the perturbation step.
Extracting only the imaginary part and rearranging,
where I represents the operator to extract the imaginary part of a complex number. As seen in Eq. (8), the CVM has secondorder accuracy, which is the same as the central finitedifference formulation. The CVM, however, is not subject to subtractive errors and therefore permits the use of as small a step size as allowed in floatingpoint calculations to achieve much better accuracy, which helps in situations when the bruteforce FDM fails or proves inaccurate.
To construct a CVM version of CMAQ, several guidelines are followed that include changing the data types of all the active variables from real or doubleprecision to the corresponding complex type, creating a complex version of intrinsic functions, such as MAX, MIN, and ABS, and evaluating only the real part of complex variables used in conditionals (Giles and Piece, 2000). The original 3D CMAQ framework is set up for testing with the processes or subprocesses under investigation enabled and the rest commented out. To run the CVM, a perturbation is added to the imaginary part of a source variable at a time step of interest, and then the imaginary part of a receptor is extracted and divided by the perturbation size to obtain the CVM sensitivity.
3.2 Processbyprocess model evaluation
3.2.1 Aerosols
As mentioned before, the CMAQ aerosol module incorporates the following science processes: SOA formation, nucleation, condensation, coagulation, heterogeneous chemistry, mode merging, and aerosol thermodynamics. The subprocesses are evaluated individually and eventually as a whole in simulations in which processes other than aerosols (e.g., advection) are turned off. Adjoint sensitivities are first compared with those from the FDM, and if a mismatch persists, the CVM is implemented (if feasible) for that process for further evaluation.
Figure 1 shows the adjoint (ADJ) and CVM sensitivities of an example SOA process. The sensitivities are of the final concentrations of an accumulationmode aerosol species, AALKJ (µg m^{−3}), with respect to the initial concentrations of a semivolatile species, SV_ALK (ppmV), from a 1 d test run. For this process, the FDM behaved well for most of the test cases (results not shown); in the few cases when the ADJ and FDM did not agree and tuning with the perturbation sizes did not help, the use of the CVM demonstrated good accuracy of adjoint results (i.e., agreement along oneonone line). It should be noted that the adopted perturbation size for the CVM is generally 10^{−12}; a smaller perturbation size usually does not improve the accuracy of the obtained sensitivities but risks diminishing the sensitivity information through propagation due to the singleprecision nature of some of the variables within CMAQ. A smaller perturbation size could be used if doubleprecision data types were adopted for the whole code. For the SOA process, however, a smaller perturbation size of 10^{−24} does improve the accuracy. Test results of the other organic aerosol species show similar accuracy.
The example given above is one of numerous cases in which FDM was found to be inaccurate or inadequate in evaluating adjoint sensitivities. The inadequacy of FDM in producing accurate sensitivity estimates is due to process nonlinearities and discontinuities that exist throughout CMAQ. This is the case in a number of CMAQ processes such as SOA formation, inorganic thermodynamics, clouds, aqueous chemistry, and advection. This issue is not limited to CMAQ alone and exists in all air quality models, as providing a smooth solution for the governing equations may be lost in tradeoffs for added computational efficiency, improving stability, or reducing numerical artifacts in the development stage.
Generally good spatial agreement is observed between the ADJ and the CVM when all aerosol subprocesses except thermodynamics (ISORROPIA) are included in a 1 d run (Fig. 2). The cost function is the final concentrations of an accumulationmode aerosol species ASO4J (µg m^{−3}), and the perturbation variable is the initial concentrations of an Aitkenmode aerosol species ASO4I (µg m^{−3}) with a perturbation of 10^{−12} for the CVM. One of the reasons to choose the two model species for testing was that sulfate aerosol is a crucial component of fine aerosols. The other reason was that the pathway from ASO4I to ASO4J covers the size range for the important processes of coagulation and the numerical mode merging that handles interactions between the Aitken and accumulation modes.
With the addition of the aerosol thermodynamics (ISORROPIA/ANISORROPIA), the degree of agreement is degraded for a few points across the domain (Fig. 3, left panel). The disagreement is likely caused by inherent nonlinearities and discontinuities in the solution surfaces of ISORROPIA, which at the code level is manifested as a series of executive branches (Capps et al., 2012). As shown in Eq. (8), the introduction of the imaginary part, ih, changes the value of the real part of a complex variable. Although the change is of O (h^{2}), different executive branches can be invoked as a result. When extra care is taken for the ADJ and CVM calculations to follow consistent branches, the agreement is much improved (Fig. 3, right panel).
As an example for the full aerosol model application, the sensitivities of final ASO4J (µg m^{−3}) with respect to initial NH_{3} (ppmV) from a 1 d simulation are evaluated against CVM estimates (Fig. 4). Although the branches in ISORROPIA are made identical between the ADJ and the CVM, the agreement, while still good, deteriorates for a few points when compared to Fig. 3; reducing the perturbation size does not improve the agreement. One possible explanation is the high nonlinearity associated with the aerosol thermodynamics (which increases as the relative humidity drops) that renders the CVM with a finite perturbation size ineffective in producing accurate sensitivities. A more detailed discussion of the discontinuities and nonlinearity of ISORROPIA is given in Capps et al. (2012). Overall, our testing confirms the findings in Capps et al. (2012) that the CVM implementation of ISORROPIA produces approximations that agree with the adjoint results.
3.2.2 Cloud dynamics and chemistry
The adjoint of mixing due to the formation of subgrid convective clouds was tested by comparing FDM sensitivities (CVM was not available for all cloud processes) to adjointcalculated sensitivities in a 1 d test run. The test, shown in Fig. 5 for a perturbation of 0.01 µg m^{−3} in initial ASO4J, was successful but exhibited sensitivity to the type and size of the perturbation as discussed below. For the FDM, either a percentage perturbation or a perturbation with an absolute small value can be used. For test cases with small initial concentration values, however, percentage perturbations are sometimes not detectable at the end of a run (due to roundoff errors), which leads to diminished sensitivity values. The nonlinearity introduced by the weighting functions implemented for the redistribution of gas and aerosol concentrations in convective mixing made this issue stand out; although not apparent in Fig. 5, the FDM constantly failed to produce some larger values observed in the adjoint sensitivity field. On the other hand, perturbations with an absolute value tend to undermine the accuracy of the FDM sensitivities by causing truncation errors that are comparable to the size of perturbation. Absolute perturbations have been generally favored and used in the evaluations of cloud processes. The adjoint of the resolved clouds module shows better agreement with the FDM (not shown) than that of the convective clouds.
The adjoint of the aqueous chemistry science process was tested similarly, with a 0.01 µg m^{−3} perturbation in initial ASO4J. Figure 6 shows a successful test, with close agreement between the ADJ and the FDM sensitivities. Aqueous chemistry was further tested by examining the sensitivity of final ASO4J to small (0.01, 0.001, 0.0001 ppb) perturbations in gasphase SO_{2}, and the results are shown in Fig. 7. Mismatches were apparent in all three plots between the ADJ and the FDM, especially the column with high values of FDM sensitivities and zero ADJ sensitivities. As discussed above, small initial values could render the FDM approximation difficult. A way to quickly check whether these small values are causing disagreement is to seminormalize the sensitivities by multiplying with the initial values. The results from seminormalization with initial SO_{2} concentrations confirm that the deviations were caused by small initial values (Fig. 7, bottom).
3.2.3 Gasphase chemistry
ADJ and FDM sensitivities of the final O_{3} concentrations (ppmV) with respect to the initial NO_{2} concentrations (ppmV) from a 1 d test with the updated CB05 chemical mechanism show good agreement, depending on the choice of appropriate perturbation size (Fig. 8). Results of the three perturbation sizes 0.1, 0.01, and 0.001 ppb are shown for the FDM, which demonstrate the impact of perturbation sizes on accuracy.
Mismatches in some test cases led to the development of a CVM for the gasphase chemistry. During the testing, Jacobians of ADJ and CVM sensitivities were created to provide a means for visual examination of all gasphase species. An example is shown in Fig. 9, where the x and y axes represent all species involved in gasphase chemical reactions, and each point represents the sensitivity of an xaxis species with respect to a yaxis species. Presented in Fig. 10 is the corresponding scatter plot, which compares the ADJ with the CVM and shows an excellent match between the two methods. The absolute sensitivity values are used in the tile plot in Fig. 9 for better visualization.
3.2.4 Transport
The transport module of CMAQ comprises the advection and diffusion processes. For the advection process, the nonlinear PPM scheme is implemented in CMAQ as discussed in Sect. 2.3.4.
The adjoint of the advection equation could be written as
Compared to the corresponding terms in Eq. (1), the signs of the two terms in the above equation are reversed, which implies that the adjoint values are propagated in an opposite direction (Giles and Piece, 2000). With a reversal in wind direction, the PPM could be used to integrate the adjoint equation backward in time and solve for continuous adjoint sensitivities.
The discrete adjoint of advection is the result of the direct differentiation of the numerical model and can be validated against the FDM and CVM component by component. Figure 11 for horizontal advection in the x direction shows good agreement between the discrete adjoint and the CVM of the sensitivities of final ASO4J (µg m^{−3}) with respect to initial ASO4J (µg m^{−3}). However, numerical noises are clearly in sight; unfortunately, such spurious oscillations from discrete adjoints derived from a nonoscillatory advection scheme are not uncommon, and a desirable fix does not appear possible (Thuburn and Haine, 2001).
For the continuous adjoint (CADJ), the horizontal and vertical advection processes were tested as a whole, as in forward CMAQ these processes are linked together for mass conservation and consistency between transport processes in CMAQ and the underlying meteorological model. One issue with testing the advection processes altogether is that pointwise comparison of sensitivities becomes much more computationally expensive as the models are not row or column models anymore, and running the adjoint and the FDM and CVM once would generate only one pair of sensitivities for comparison. To partially mediate this situation, we defined the cost function for the adjoint as the final average ASO4J concentration across the entire surface layer (instead of the concentration at a single cell, which would lead to a small number of cells with sensitivity signals over time and is not sufficient for validation) and then randomly selected a number of cells at the surface for the CVM runs. The CADJ and the CVM agree well, as shown in Fig. 12 where the regression line has a slope close to unity and a y intercept close to zero, and the value of R^{2} is 0.957.
The choice between the continuous and discrete adjoint would depend on the type of problem at hand. For instance, the continuous adjoint is generally desirable when performing backward sensitivity analysis as an oscillating sensitivity field (visible in Fig. 11) may defy physical justification (Hakami et al., 2007; Henze et al., 2007). For optimization problems, the discrete adjoint would be preferable as it produces exact gradients (subject to roundoff errors) that could help the optimization process converge (Giles and Pierce, 2000). However, it was reported that the noisy gradient field obtained from the discrete adjoint could cause the optimization to converge to local minimums (Vukićević et al., 2001). The continuous adjoint may outperform the discrete in terms of computational efficiency and accuracy, as found by Gou and Sandu (2011) with their 4DVar experiments.
Air pollutant emissions are processed in vertical diffusion in CMAQ. As shown in Fig. 13a, the adjoint of vertical diffusion compares well with the finitedifference method (Fig. 13a). The adjoint of emissions also works well as demonstrated in Fig. 13b, where the adjoint sensitivities of final NO_{2} concentrations (ppmV) to initial NO_{2} emissions (mol s^{−1}) compare favorably with the FDM.
3.3 Fullmodel evaluation
For the full adjoint model, interactions between cells through transport make it prohibitively costly to generate sufficient sensitivity pairs for an extensive comparison as conducted for the processbyprocess evaluation with box or column models. Presented in Table 1 are the FDM, CVM, adjoint with continuous treatment for transport, and adjoint with discrete treatment for transport (DADJ) sensitivities obtained for a few grid cells.
In general, the adjoint models, particularly DADJ, agree well with the CVM, while in the case of CADJ a larger relative error exists in comparison with the CVM. The FDM sensitivities with a 10 % perturbation size, on the other hand, are not quite in accordance, which is why a full CVM was created. The problem with the FDM has been discussed at the beginning of Sect. 3 and is not repeated here.
Results shown in Table 1 suggest that the discrete adjoint has better agreement with CVM than the continuous adjoint. However, it is important to note that better agreement between the discrete adjoint and CVM should not be understood as better accuracy of the discrete adjoint in comparison with the continuous adjoint. The numerical solution to the advection equation entails inherent truncation errors from discretization schemes. These errors exist in solving the forward or adjoint advection equations; however, the discrete adjoint by design remains loyal to and consistent with the errors in the forward application (CVM in this case), while the numerical solution to the continuous adjoint will result in different and inconsistent errors. The continuous adjoint is a different representation of the impacts on the adjoint cost function but of similar mathematical accuracy when compared to the forward or tangent linear model. Therefore, the numerical solution to the continuous adjoint should be considered as accurate as the discrete adjoint, regardless of the agreement with forwardbased benchmarks such as CVM.
3.4 Computational system requirement
Adjoint simulations entail a significantly higher computational demand than forward CMAQ. First, the checkpointing files required for the adjoint simulations need a significant amount of storage space. For each science process the amount of storage can be estimated as ${N}_{\mathrm{c}}\times {N}_{\mathrm{r}}\times {N}_{\mathrm{l}}\times {N}_{\mathrm{s}}\times {N}_{\mathrm{t}}\times {N}_{\mathrm{b}}$ bytes, where N_{c}, N_{r}, N_{l}, N_{s}, N_{t}, and N_{b} represent the numbers of columns, rows, layers, chemical species, synchronization time steps, and bytes for a singleprecision number (N_{b}=4), respectively. For our computational domain with 148 columns, 112 rows, 24 vertical layers, and 12 min synchronization (i.e., 120 time steps per day), the checkpointing file for each adjoint simulation for aerosols with 137 chemical species takes approximately 24 GB of storage space for a day. For the other science processes the sizes of checkpointing files are approximately as follows: clouds, 24 GB; chemistry with 96 species, 17 GB; vertical diffusion with one layer, 1 GB; the continuous adjoint of horizontal and vertical advections with one species, 0.2 GB for each process. A summary of the checkpointing file sizes is provided in Table 2. For a 1month adjoint simulation, the checkpointing files occupy about 2 TB of storage space, which is about 10 times the storage needed for typical CMAQ simulations. For higherresolution simulations, the storage needs would increase significantly due to the number of grid cells but also due to increasingly smaller time steps dictated by the Courant number for smaller horizontal grid sizes. For very highresolution simulations (e.g., 1 km horizontal resolution), the required checkpoint storage space can be as large as 1 TB d^{−1}. To mitigate the burden on storage, it is plausible to run the adjoint segment by segment, i.e., by generating the checkpointing files only for a few days at a time when running the forward CMAQ model. Since the adjoint runs backward in time, this strategy works at the expense of computing time as the forward model must be repeated.
Adjoint simulations also require significantly higher computing times, as the recomputation of intermediate values of adjoint simulations as discussed in Sect. 2.4 is an additional computational overhead. Furthermore, the significant amount of input/output (I/O) operation associated with the checkpointing leads to additional computing time and can result in a noticeable loss of computational efficiency in systems. Typically, the adjoint simulation takes approximately 4 times as long as the forward CMAQ. Intensive I/O for checkpointing files can also result in reduced scalability of the adjoint model, as the I/O libraries currently implemented are serial.
To demonstrate a policyrelevant application of the multiphase adjoint of CMAQ, we present the marginal benefits (MBs) or benefits per ton (BPTs) of emission sources. MBs or BPTs are a commonly used measure of source impacts on population health and are defined as the monetized societal health benefits associated with the reduction of one metric ton of precursor or primary emissions. More details on the use of adjoint models in the source attribution of health impacts can be found elsewhere (Pappin et al., 2013, 2016; Turner et al., 2015a, b). Mortality counts, or the nationwide valuation of mortality induced by air pollution, is a scalar wellsuited for formulating the adjoint cost function. We define an adjoint cost function, J, which represents the monetized valuation of annual deaths due to longterm PM_{2.5} exposure within the US, as below, using the Global Exposure Mortality Model (GEMM; Burnett et al., 2018):
where J (USD per year) is calculated using the locationspecific baseline mortality rate (${M}_{\mathrm{0},x,y}$; yr^{−1}) and population (P_{x,y}); Θ is the risk estimate that represents the slope of the nonlinear concentration–mortality curve; the timeaveraged and locationspecific PM_{2.5} concentration is C_{x,y} (µg m^{−3}); cf is the counterfactual PM_{2.5} concentration; and the value of a statistical life is V_{SL} for monetizing outcomes. We use the following values for the parameters of GEMM for adults aged 25–99 and for deaths due to noncommunicable diseases and lower respiratory infections: θ=0.1231, α=1.5, μ=10.4, ν=2.5.9, and cf=2.4 µg m^{3}.
For the backward sensitivity analysis, we run the adjoint for the year 2016 for the contiguous US domain with 36 km resolution inputs from the Intermountain West Data Warehouse (National Emissions Inventory Collaborative, 2019). The computational domain contains 172 columns and 148 rows with 35 vertical layers. The average PM_{2.5} concentration is obtained from the 1year forward run. Backward runs are conducted for two full seasons of winter and summer (January–March and July–September, respectively).
The use of this cost function results in gradient estimates that can be presented as locationspecific BPTs (USD per year). BPTs for primary PM_{2.5} emitted across source locations in the US estimated from the two seasons are shown in Fig. 14, as are those for the PM_{2.5} inorganic precursors NH_{3}, SO_{2}, and NO_{x}. The seasonal differences in BPTs, particularly for precursor emissions such as ammonia, are apparent and significant. NO_{x} sensitivities are negative in some regions with more frequent NO_{x}inhibited regimes, mainly due to the role that ozone plays in nighttime nitrate formation. BPTs show a great deal of spatial variability but generally follow the population distribution for primary PM_{2.5} emissions, while for inorganic precursor emissions areas of higher influence are dictated by transport patterns, secondary (inorganic) aerosol formation dynamics, and the lifetime of secondary particles. In other words, BPTs are generally highest in emission locations that have large potential for affecting downwind population centers. While the adjoint cost function is defined based on PM_{2.5} longterm mortality in the US alone, locationspecific BPTs also provide a measure of crossborder impact, in this case from Canada and Mexico. Finally, we note that BPTs are measures of marginal rather than total societal impact across the US, and as such, even areas with little or no emissions may show sizable BPT estimates.
BPT values such as those shown in Fig. 14 have the potential to form important quantitative decision metrics, as they provide a means to squarely compare the societal benefits of emission reductions with control costs associated with those reductions. It is worth emphasizing that given the length and the coarse resolution of the simulations, these results should not be regarded as BPT values applicable in policy development and benefit assessment; instead they are meant to serve as a demonstration of the utility and efficacy of the adjoint model to attribute health impacts to individual sources.
In this work, we develop a multiphase adjoint of CMAQ. A rigorous pointtopoint evaluation against the bruteforce FDM and CVM is conducted for each individual process and the full model with all processes included. Overall, the adjoint modules appear to produce sensitivities comparable to those generated by either the FDM or the CVM. The choice of the discrete or continuous version of the advection adjoint would depend on the type of problem to be solved. The continuous adjoint is preferred if the sensitivity field itself is of interest, as spurious oscillations would create intricate obstacles for exploring the underlying physical significances. For gradientbased optimization and data assimilation, the discrete adjoint might be advantageous for faster convergence but could risk the minimization settling upon some local minima. Some components of CMAQ that do not yet have an adjoint include the bidirectional dry deposition in vertical diffusion and photolysis rate calculations in gasphase chemistry. The development of an adjoint for these two components is not considered essential. The CMAQ adjoint provides backward sensitivity analysis capabilities for a widely used model with detailed aerosol treatment and enables a range of applications such as data assimilation, emission inversions, policy analysis, and source attribution of health impacts.
We find that the development of adjoint versions of air quality and atmospheric models is often complicated by the abundance of discontinuities throughout these models that make differentiation challenging. Historically, these models have not been developed with differentiability in mind but with accuracy and computational efficiency as the main drivers. As the development and applications of formal sensitivity analysis tools (such as adjoint models) become more prevalent, there is a need for a gradual but sustained effort by the modeling community to consider differentiability as an additional design constraint in future developments.
The source code for CMAQ Adjoint is available from the US EPA's CMAQ Adjoint repository (Zhao et al., 2020). Inputs for the evaluation of CMAQ Adjoint as presented in this work are available from Zenodo (Zhao et al., 2019). The CMAQ version 5.0 adjoint user manual is available in the Supplement.
The supplement related to this article is available online at: https://doi.org/10.5194/gmd1329252020supplement.
SZ contributed to the development of aerosol dynamics, cloud adjoint, aqueous chemistry, coordinated adjoint code assembly and testing, and preparing the paper. AH led the team and developed the chemistry module. SLC and AN developed ANISORROPIA. SLC contributed to the development of the forcing generator and preparation of the user manual. MDT contributed to the development of the adjoint of aerosol dynamics. PBP developed the adjoint of transport. KMF provided the KPP configuration of aqueous chemistry. JR developed the checkpointing modules. MGR developed the adjoint forcing generator. HS contributed to the debugging of vertical transport. DKH, AGR, AN, TC, COS, and GRC provided feedback on adjoint development. AJP performed adjoint health impact analysis. SLN and JOB provided support for existing and new CMAQ modules. All coauthors contributed to the preparation of the paper.
The authors declare that they have no conflict of interest.
Simulations for this study were performed on computational resources of Compute Canada and Compute Ontario.
This research has been supported by the Natural Sciences and Engineering Research Council of Canada (AH, grant no. RGPIN201606181), Health Canada (AH, grant no. 4500383370), the Health Effects Institute (AH and SZ, grant no. 4962RFA172/184), NASA (DKH, grant no. NNX16AQ26G), and the project PyroTRACH (ERC2016COG) funded from H2020EU.1.1. – Excellent Science – European Research Council (ERC) (AN, project no. 726165). ANISORROPIA was developed using support by an NSF Graduate Research Fellowship (SLC), the ConocoPhillips Company (SLC,AN), and US EPA STAR Grant RD833866 (SLC).
This paper was edited by David Topping and reviewed by two anonymous referees.
Anderson, W. K. and Nielsen, E.: Sensitivity Analysis for Navier–Stokes Equations on Unstructured Grids Using Complex Variables, AIAA J., 39, 56–63, https://doi.org/10.2514/2.1270, 2001.
BartholomewBiggs, M. C.: Using forward accumulation for automatic differentiation of implicitlydefined functions, Comput. Optim. Appl., 9, 65–84, https://doi.org/10.1023/A:1018382103801, 1998.
Binkowski, F. S. and Roselle, S. J.: Models3 Community Multiscale Air Quality (CMAQ) model aerosol component 1. Model description, J. Geophys. Res.Atmos., 108, 4183, https://doi.org/10.1029/2001JD001409, 2003.
Brook, R. D., Rajagopalan, S., Pope III, C. A., Brook, J. R., Bhatnagar, A., DiezRoux, A. V., Holguin, F., Hong, Y., Luepker, R. V., Mittleman, M. A., Peters, A., Siscovick, D., Smith Jr., S. C., Whitsel, L., and Kaufman, J. D.: Particulate matter air pollution and cardiovascular disease: an update to the scientific statement from the American Heart Association, Circ., 121, 2331–2378, https://doi.org/10.1161/CIR.0b013e3181dbece1, 2010.
Burnett, R., Chen, H., Szyszkowicz, M., Fann, N., Hubbell, B., Pope III, C. A., Apte, J. S., Brauer, M., Cohen, A., Weichenthal, S., Coggins, J., Di, Q., Brunekreef, B., Frostad, J., Lim, S. S., Kan, H., Walker, K. D., Thurston, G. D., Hayes, R. B., Lim, C. C., Turner, M. C., Jerrett, M., Krewski, D., Gapstur, S. M., Diver, W. R., Ostro, B., Goldberg, D., Crouse, D. L., Martin, R. V., Peters, P., Pinault, L., Tjepkema, M., van Donkelaar, A., Villeneuve, P. J., Miller, A. B., Yin, P., Zhou, M., Wang, L., Janssen, N. A. H., Marra, M., Atkinson, R. W., Tsang, H., Quoc Thach, T., Cannon, J. B., Allen, R. T., Hart, J. E., Laden, F., Cesaroni, G., Forastiere, F., Weinmayr, G., Jaensch, A., Nagel, G., Concin, H., and Spadaro, J. V.: Global estimates of mortality associated with longterm exposure to outdoor fine particulate matter, P. Natl. Acad. Sci. USA, 115, 9592–9597, https://doi.org/10.1073/pnas.1803222115, 2018.
Byun, D. W.: Dynamically Consistent Formulations in Meteorological and Air Quality Models for MultiScale Atmospheric Applications, Part I: Governing Equations in Generalized Coordinate System, J. Atmos. Sci., 56, 3789–3807, https://doi.org/10.1175/15200469(1999)056<3789:DCFIMA>2.0.CO;2, 1999.
Byun, D. W. and Schere, K. L.: Review of the governing equations, computational algorithms, and other components of the Models3 Community Multiscale Air Quality (CMAQ) modeling system, Appl. Mec. Rev., 59, 51–77, https://doi.org/10.1115/1.2128636, 2006.
Capps, S. L., Henze, D. K., Hakami, A., Russell, A. G., and Nenes, A.: ANISORROPIA: the adjoint of the aerosol thermodynamic model ISORROPIA, Atmos. Chem. Phys., 12, 527–543, https://doi.org/10.5194/acp125272012, 2012.
Carmichael, G. R., Sandu, A., Chai, T., Daescu, D. N., Constantinescu, E. M., and Tang, Y.: Predicting air quality: improvements through advanced methods to integrate models and measurements, J. Comput. Phys., 227, 3540–3571, https://doi.org/10.1016/j.jcp.2007.02.024, 2008.
Cohan, D. S., Hakami, A., Hu, Y., and Russell, A. G.: Nonlinear response of ozone to emissions: source apportionment and sensitivity analysis, Environ. Sci. Technol., 39, 6739–6748, https://doi.org/10.1021/es048664m, 2005.
Colella, P. and Woodward, P. R.: The Piecewise Parabolic Method (PPM) for gasdynamical simulations, J. Comput. Phys. 54, 174–201, https://doi.org/10.1016/00219991(84)901438, 1984.
Constantin, B. V. and Barrett, S. R.: Application of the complex step method to chemistrytransport modeling. Atmos. Environ., 99, 457–465, https://doi.org/10.1016/j.atmosenv.2014.10.017, 2014.
Crouse, D. L., Peters, P. A., van Donkelaar, A., Goldberg, M. S., Villeneuve, P. J., Brion, O., Khan, S., Atari, D. O., Jerrett, M., Pope III, C. A., and Brauer, M.: Risk of nonaccidental and cardiovascular mortality in relation to longterm exposure to low concentrations of fine particulate matter: a Canadian nationallevel cohort study, Environ. Health Perspect., 120, 708–714, https://doi.org/10.1289/ehp.1104049, 2012.
Crouse, D. L., Peters, P. A., Hystad, P., Brook, J. R., van Donkelaar, A., Martin, R. V., Villeneuve, P. J., Jerrett, M., Goldberg, M. S., Pope III, C. A., and Brauer, M.: Ambient PM_{2.5}, O_{3}, and NO_{2} exposures and associations with mortality over 16 years of followup in the Canadian Census Health and Environment Cohort (CanCHEC), Environ. Health Perspect., 123, 1180–1186, https://doi.org/10.1289/ehp.1409276, 2015.
Damian, V., Sandu, A., Damian, M., Potra, F., and Carmichael, G. R.: The kinetic preprocessor KPPa software environment for solving chemical kinetics, Comput. Chem. Eng., 26, 1567–1579, https://doi.org/10.1016/S00981354(02)00128X, 2002.
Di, Q., Wang, Y., Zanobetti, A., Wang, Y., Koutrakis, P., Choirat, C., Dominici, F., and Schwartz, J. D.: Air pollution and mortality in the Medicare population, N. Engl. J. Med., 376, 2513–2522, https://doi.org/10.1056/NEJMoa1702747, 2017.
Dubovik, O., Lapyonok, T., Kaufman, Y. J., Chin, M., Ginoux, P., Kahn, R. A., and Sinyuk, A.: Retrieving global aerosol sources from satellites using inverse modeling, Atmos. Chem. Phys., 8, 209–250, https://doi.org/10.5194/acp82092008, 2008.
Dunker, A. M., Yarwood, G., Ortmann, J. P., and Wilson, G. M.: The decoupled direct method for sensitivity analysis in a threedimensional air quality model implementation, accuracy, and efficiency, Environ. Sci. Technol., 36, 2965–2976, https://doi.org/10.1021/es0112691, 2002.
Elbern, H., Schmidt, H., and Ebel, A.: Variational data assimilation for tropospheric chemistry modeling, J. Geophys. Res.Atmos., 102, 15967–1598, https://doi.org/10.1029/97JD01213, 1997.
Elbern, H., Schmidt, H., Talagrand, O., and Ebel A.: 4Dvariational data assimilation with an adjoint air quality model for emission analysis, Environ. Model. Softw., 15, 539–548, https://doi.org/10.1016/S13648152(00)000499, 2000.
ENVIRON: Use's Guide, Comprehensive Air Quality Model with Extensions (CAMx), Version 7.00, ENVIRON International Corporation, Novato, CA, available at: http://www.camx.com (last access: 23 June 2020), 2020.
Errico, R. M.: What is an adjoint model?, B. Am. Meteorol. Soc., 78, 2577–2591, https://doi.org/10.1175/15200477(1997)078<2577:WIAAM>2.0.CO;2, 1997.
Fahey, K. M., Carlton, A. G., Pye, H. O. T., Baek, J., Hutzell, W. T., Stanier, C. O., Baker, K. R., Appel, K. W., Jaoui, M., and Offenberg, J. H.: A framework for expanding aqueous chemistry in the Community Multiscale Air Quality (CMAQ) model version 5.1, Geosci. Model Dev., 10, 1587–1605, https://doi.org/10.5194/gmd1015872017, 2017.
Fiore, A. M., Naik, V., Spracklen, D. V., Steiner, A., Unger, N., Prather, M., Bergmann, D., CameronSmith, P. J., Cionni, I., Collins, W. J., Dalsøren, S., Eyring, V., Folberth, G. A., Ginoux, P., Horowitz, L. W., Josse, B., Lamarque, J.F., MacKenzie, I. A., Nagashima, T., O'Connor, F. M. O., Righi, M., Rumbold, S. T., Shindell, D. T., Skeie, R. B., Sudo, K., Szopa, S., Takemura, T., and Zeng, G.: Global air quality and climate, Chem. Soc. Rev., 41, 6663–6683, https://doi.org/10.1039/C2CS35095E, 2012.
Fisher, M. and Lary, D. J.: Lagrangian fourdimensional variational data assimilation of chemical species, Q. J. Roy. Meteorol. Soc., 121, 1681–170, https://doi.org/10.1002/qj.49712152709, 1995.
Foley, K. M., Roselle, S. J., Appel, K. W., Bhave, P. V., Pleim, J. E., Otte, T. L., Mathur, R., Sarwar, G., Young, J. O., Gilliam, R. C., Nolte, C. G., Kelly, J. T., Gilliland, A. B., and Bash, J. O.: Incremental testing of the Community Multiscale Air Quality (CMAQ) modeling system version 4.7, Geosci. Model Dev., 3, 205–226, https://doi.org/10.5194/gmd32052010, 2010.
Fuzzi, S., Baltensperger, U., Carslaw, K., Decesari, S., Denier van der Gon, H., Facchini, M. C., Fowler, D., Koren, I., Langford, B., Lohmann, U., Nemitz, E., Pandis, S., Riipinen, I., Rudich, Y., Schaap, M., Slowik, J. G., Spracklen, D. V., Vignati, E., Wild, M., Williams, M., and Gilardoni, S.: Particulate matter, air quality and climate: lessons learned and future needs, Atmos. Chem. Phys., 15, 8217–8299, https://doi.org/10.5194/acp1582172015, 2015.
Giering, R.: Tangent linear and Adjoint Model Compiler, Users manual 1.4, available at: http://www.autodiff.com/tamc (last access: 23 June 2020), 1999.
Giering, R. and Kaminski, T.: Recipes for adjoint code construction, ACM Trans. Math. Softw., 24, 437–474, https://doi.org/10.1145/293686.293695, 1998.
Giles, M. B. and Pierce, N. A.: An introduction to the adjoint approach to design, Flow Turbul. Combust., 65, 393–415, https://doi.org/10.1023/A:1011430410075, 2000.
Giles, M. B., Duta, M. C., Müller, J. D., and Pierce, N. A.: Algorithm developments for discrete adjoint methods, AIAA J., 41, 198–205, https://doi.org/10.2514/2.1961, 2003.
Gou, T. and Sandu, A.: Continuous versus discrete advection adjoints in chemical data assimilation with CMAQ, Atmos. Environ., 45, 4868–4881, https://doi.org/10.1016/j.atmosenv.2011.06.015, 2011.
Griewank, A.: A mathematical view of automatic differentiation, Acta Num., 12, 321–398, https://doi.org/10.1017/S0962492902000132, 2003.
Griewank, A.: Who Invented the Reverse Mode of Differentiation?, Documenta Math., Extra Volume ISMP, 389400, 2012.
Hakami, A., Odman, M. T., and Russell, A. G.: Highorder, direct sensitivity analysis of multidimensional air quality models, Environ. Sci. Technol., 37, 2442–2452, https://doi.org/10.1021/es020677h, 2003.
Hakami, A., Henze, D. K., Seinfeld, J.H., Chai, T., Tang, Y., Carmichael, G. R., and Sandu, A.: Adjoint inverse modeling of black carbon during the Asian Pacific Regional Aerosol Characterization Experiment, J. Geophys. Res.Atmos., 110, D14301, https://doi.org/10.1029/2004JD005671, 2005.
Hakami, A., Henze, D. K., Seinfeld, J. H., Singh, K., Sandu, A., Kim, S., Byun, D., and Li, Q.: The adjoint of CMAQ, Environ. Sci. Technol., 41, 7807–7817, https://doi.org/10.1021/es070944p, 2007.
Hascoët, L. and Pascual, V.: The Tapenade Automatic Differentiation tool: principles, model, and specification, ACM Trans. Math. Softw., 39, 20, https://doi.org/10.1145/2450153.2450158, 2013.
Henze, D. K., Seinfeld, J. H., Liao, W., Sandu, A., and Carmichael, G. R.: Inverse modeling of aerosol dynamics: condensational growth, J. Geophys. Res.Atmos., 109, D14201, https://doi.org/10.1029/2004JD004593, 2004.
Henze, D. K., Hakami, A., and Seinfeld, J. H.: Development of the adjoint of GEOSChem, Atmos. Chem. Phys., 7, 2413–2433, https://doi.org/10.5194/acp724132007, 2007.
Henze, D. K., Shindell, D. T., Akhtar, F., Spurr, R. J., Pinder, R. W., Loughlin, D., Kopacz, M., Singh, K., and Shim, C.: Spatially refined aerosol direct radiative forcing efficiencies, Environ. Sci. Technol., 46, 9511–9518, https://doi.org/10.1021/es301993s, 2012.
Huneeus, N., Boucher, O., and Chevallier, F.: Simplified aerosol modeling for variational data assimilation, Geosci. Model Dev., 2, 213–229, https://doi.org/10.5194/gmd22132009, 2009.
Iott, J., Haftka, R. T., and Adelman, H. M.: Selecting step sizes in sensitivity analysis by finite differences, NASA TM86382, 1985.
Jacobson, M. Z.: Fundamentals of Atmospheric Modeling, Cambridge University Press, New York, 2005.
Karydis, V. A., Capps, S. L., Russell, A. G., and Nenes, A.: Adjoint sensitivity of global cloud droplet number to aerosol and dynamical parameters, Atmos. Chem. Phys., 12, 9041–9055, https://doi.org/10.5194/acp1290412012, 2012.
Koo, B., Dunker, A. M., and Yarwood, G.: Implementing the decoupled direct method for sensitivity analysis in a particulate matter air quality model, Environ. Sci Technol., 41, 2847–2854, https://doi.org/10.1021/es0619962, 2007.
Koo, B., Wilson, G. M., Morris, R. E., Dunker, A. M., and Yarwood, G.: Comparison of source apportionment and sensitivity analysis in a particulate matter air quality model, Environ. Sci. Technol., 43, 6669–6675, https://doi.org/10.1021/es9008129, 2009.
Koplitz, S. N., Mickley, L. J., Marlier, M. E., Buonocore, J. J., Kim, P. S., Liu, T., Sulprizio, M. P., DeFries, R. S., Jacob, D. J., Schwartz, J., and Pongsiri, M.: Public health impacts of the severe haze in Equatorial Asia in September–October 2015: demonstration of a new framework for informing fire management strategies to reduce downwind smoke exposure, Environ. Res. Lett., 11, 094023, https://doi.org/10.1088/17489326/11/9/094023,2016.
Lacey, F. G., Henze, D. K., Lee, C. J., van Donkelaar, A., and Martin, R. V., Transient climate and ambient health impacts due to national solid fuel cookstove emissions, P. Natl. Acad. Sci. USA, 114, 1269–1274, https://doi.org/10.1073/pnas.1612430114, 2017.
Lee, C. J., Martin, R. V., Henze, D. K., Brauer, M., Cohen, A., and van Donkelaar, A.: Response of global particulatematterrelated mortality to changes in local precursor emissions, Environ. Sci. Technol., 49, 4335–4344, https://doi.org/10.1021/acs.est.5b00873, 2015.
Martien, P. T. and Harley, R. A.: Adjoint sensitivity analysis for a threedimensional photochemical model: application to Southern California, Environ. Sci. Technol., 40, 4200–4210, https://doi.org/10.1021/es051026z, 2006.
McRae, G. J., Goodin, W. R., and Seinfeld, J. H.: Numerical solution of the atmospheric diffusion equation for chemically reacting flows, J. Comput. Phys., 45, 1–42, https://doi.org/10.1016/00219991(82)901012, 1982.
Mesbah, S. M., Hakami, A., and Schott, S.: Improving NO_{x} capandtrade system with adjointbased emission exchange rates, Environ. Sci. Technol., 46, 11905–11912, https://doi.org/10.1021/es302406y, 2012.
Napelenok, S. L., Cohan, D. S., Hu, Y., and Russell, A. G.: Decoupled direct 3D sensitivity analysis for particulate matter (DDM3D/PM), Atmos. Environ., 40, 6112–6121, https://doi.org/10.1016/j.atmosenv.2006.05.039, 2006.
National Emissions Inventory Collaborative: 2016v1 Emissions Modeling Platform, available at: http://views.cira.colostate.edu/wiki/wiki/10202 (last access: 23 June 2020), 2019.
Navon, I. M.: Practical and theoretical aspects of adjoint parameter estimation and identifiability in meteorology and oceanography, Dynam. Atmos. Ocean, 27, 55–79, https://doi.org/10.1016/S03770265(97)000328, 1997.
Nenes, A., Pandis, S. N., and Pilinis, C.: ISORROPIA: a new thermodynamic equilibrium model for multiphase multicomponent inorganic aerosols, Aquat. Geochem., 4, 123–152, https://doi.org/10.1023/A:1009604003981, 1998.
Pappin, A. J. and Hakami, A.: Attainment vs exposure: ozone metric responses to sourcespecific NO_{x} controls using adjoint sensitivity analysis, Environ. Sci. Technol., 47, 13519–13527, https://doi.org/10.1021/es4024145, 2013.
Pappin, A. J., Mesbah, S. M., Hakami, A., and Schott, S.: Diminishing returns or compounding benefits of air pollution control? The case of NO_{x} and ozone, Environ. Sci. Technol., 49, 9548–9556, https://doi.org/10.1021/acs.est.5b00950, 2015.
Pappin, A. J., Hakami, A., Blagden, P., Nasari, M., Szyszkowicz, M., and Burnett, R. T.: Health benefits of reducing NO_{x} emissions in the presence of epidemiological and atmospheric nonlinearities, Environ. Res. Lett., 11, 064015, https://doi.org/10.1088/17489326/11/6/064015, 2016.
Park, S.Y., Kim, D.H., Lee, S.H., and Lee, H. W.: Variational data assimilation for the optimized ozone initial state and the shorttime forecasting, Atmos. Chem. Phys., 16, 3631–3649, https://doi.org/10.5194/acp1636312016, 2016.
Pinault, L. L., Weichenthal, S., Crouse, D. L., Brauer, M., Erickson, A., van Donkelaar, A., Martin, R. V., Hystad, P., Chen, H., Finès, P., and Brook, J. R.: Associations between fine particulate matter and mortality in the 2001 Canadian Census Health and Environment Cohort, Environ. Res., 159, 406–415, https://doi.org/10.1016/j.envres.2017.08.037, 2017.
Pleim, J. E. and Chang, J. S.: A nonlocal closure model for vertical mixing in the convective boundary layer, Atmos. Environ., 26A, 965–981, https://doi.org/10.1016/09601686(92)90028J, 1992.
Qi, L., Li, Q., Henze, D. K., Tseng, H.L., and He, C.: Sources of springtime surface black carbon in the Arctic: an adjoint analysis for April 2008, Atmos. Chem. Phys., 17, 9697–9716, https://doi.org/10.5194/acp1796972017, 2017.
Resler, J., Eben, K., Jurus, P., and Liczki, J.: Inverse modeling of emissions and their time profiles, Atmos. Pollut. Res., 1, 288–295, https://doi.org/10.5094/APR.2010.036, 2010.
Sandu, A., Daescu, D. N., Carmichael, G. R., and Chai, T.: Adjoint sensitivity analysis of regional air quality models, J. Comput. Phys., 204, 222–252, https://doi.org/10.1016/j.jcp.2004.10.011, 2005.
Seinfeld, J. H. and Pandis, S. N.: Atmospheric chemistry and physics: from air pollution to climate change, John Wiley, Hoboken, NJ, 2006.
Sirkes, Z. and Tziperman, E.: Finite difference of adjoint or adjoint of finite difference?, Mon. Weather Rev, 125, 3373–3378, https://doi.org/10.1175/15200493(1997)125<3373:FDOAOA>2.0.CO;2, 1997.
Squire, W. and Trapp, G.: Using complex variables to estimate derivatives of real functions, SIAM Rev., 40, 110–112, https://doi.org/10.1137/S003614459631241X, 1998.
Tai, A. P., Mickley, L. J., and Jacob, D. J.: Correlations between fine particulate matter (PM_{2.5}) and meteorological variables in the United States: implications for the sensitivity of PM_{2.5} to climate change, Atmos. Environ., 44, 3976–3984, https://doi.org/10.1016/j.atmosenv.2010.06.060, 2010.
Tai, A. P. K., Mickley, L. J., Jacob, D. J., Leibensperger, E. M., Zhang, L., Fisher, J. A., and Pye, H. O. T.: Meteorological modes of variability for fine particulate matter (PM_{2.5}) air quality in the United States: implications for PM_{2.5} sensitivity to climate change, Atmos. Chem. Phys., 12, 3131–3145, https://doi.org/10.5194/acp1231312012, 2012.
Talagrand, O. and Courtier, P.: Variational assimilation of meteorological observations with the adjoint vorticity equation. I: Theory, Q. J. Roy. Meteorol. Soc., 113, 1311–1328, https://doi.org/10.1002/qj.49711347812, 1987.
Thuburn, J. and Haine, T. W.: Adjoints of nonoscillatory advection schemes, J. Comput. Phys., 171, 616–631, https://doi.org/10.1006/jcph.2001.6799, 2001.
Turner, M. C., Jerrett, M., Pope III, C. A., Krewski, D., Gapstur, S. M., Diver, W. R., Beckerman, B. S., Marshall, J. D., Su, J., Crouse, D. L., and Burnett, R. T.: Longterm ozone exposure and mortality in a large prospective study, Am. J. Respir. Crit. Care Med., 193, 1134–1142, https://doi.org/10.1164/rccm.2015081633OC, 2016.
Turner, M. D., Henze, D. K., Hakami, A., Zhao, S., Resler, J., Carmichael, G. R., Stanier, C. O., Baek, J., Sandu, A., Russell, A. G., and Nenes, A.: Differences between magnitudes and health impacts of bc emissions across the united states using 12 km scale seasonal source apportionment, Environ. Sci. Technol., 49, 4362–4371, https://doi.org/10.1021/es505968b, 2015a.
Turner, M. D., Henze, D. K., Capps, S. L., Hakami, A., Zhao, S., Resler, J., Carmichael, G. R., Stanier, C. O., Baek, J., Sandu, A., and Russell, A. G.: Premature deaths attributed to sourcespecific BC emissions in six urban US regions, Environ. Res. Lett., 10, 114014, https://doi.org/10.1088/17489326/10/11/114014, 2015b.
Vukićević, T., Steyskal, M., and Hecht, M.: Properties of advection algorithms in the context of variational data assimilation, Mon. Weather Rev., 129, 1221–1231, https://doi.org/10.1175/15200493(2001)129<1221:POAAIT>2.0.CO;2, 2001.
Wang, K. Y., Lary, D. J., Shallcross, D. E., Hall, S. M., and Pyle, J. A.: A review on the use of the adjoint method in fourdimensional atmosphericchemistry data assimilation, Q. J. Roy. Meteorol. Soc., 127, 2181–2204, https://doi.org/10.1002/qj.49712757616, 2001.
Wang, Q., Moin, P., and Iaccarino, G.: Minimal repetition dynamic checkpointing algorithm for unsteady adjoint calculation, SIAM J. Sci. Comput., 31, 2549–2567, https://doi.org/10.1137/080727890, 2009.
West, J. J., Cohen, A., Dentener, F., Brunekreef, B., Zhu, T., Armstrong, B., Bell, M. L., Brauer, M., Carmichael, G., Costa, D. L., Dockery, D. W., Kleeman, M., Krzyzanowski, M., Künzli, N., Liousse, C., Lung, S.C. C., Martin, R. V., Pöschl, U., Pope III, C. A., Roberts, J. M., Russell, A. G., and Wiedinmyer C.: What we breathe impacts our health: improving understanding of the link between air pollution and health, Environ. Sci Technol., 50, 4895–4904, https://doi.org/10.1021/acs.est.5b03827, 2016.
Yarwood, G., Rao, S., Yocke, M. A., and Whitten, G. Z.: Updates to the carbon bond chemical mechanism: CB05, Final report to the US EPA, RT0400675, 2005.
Zhang, L., Liu, L., Zhao, Y., Gong, S., Zhang, X., Henze, D. K., Capps, S. L., Fu, T.M., Zhang, Q., and Wang, Y.: Source attribution of particulate matter pollution over North China with the adjoint method, Environ. Res. Lett., 10, 084011, https://doi.org/10.1088/17489326/10/8/084011, 2015.
Zhao, S., Russell, M. G., Hakami, A., Capps, S. L., Turner, M. D., Henze, D. K., Percell, P. B., Resler, J., Shen, H., Russell, A. G., Nenes, A., Pappin, A. J., Napelenok, S. L., Bash, J. O., Fahey, K. M., Carmichael, G. R., Stanier, C. O., and Chai, T.: CMAQ 5.0 Adjoint, available at: https://github.com/usepa/cmaq_adjoint, last access: 23 June 2020.
Zhao, S., Russell, M. G., Hakami, A., Capps, S. L., Turner, M. D., Henze, D. K., Percell, P. B., Resler, J., Shen, H., Russell, A. G., Nenes, A., Pappin, A. J., Napelenok, S. L., Bash, J. O., Fahey, K. M., Carmichael, G. R., Stanier, C. O., and Chai, T.: CMAQ 5.0 Adjoint Input Data, Data set, Zenodo, https://doi.org/10.5281/zenodo.3473444, 2019.