D IRECTIONAL M ESSAGE P ASSING FOR M OLECULAR G RAPHS
Anonymous authors
Paper under double-blind review
A BSTRACT
Graph neural networks have recently achieved great successes in predicting quantum mechanical properties of molecules.
These models represent a molecule as a graph using only the distance between atoms (nodes).
They do not, however, consider the spatial direction from one atom to another, despite directional information playing a central role in empirical potentials for molecules, e.g. in angular potentials.
To alleviate this limitation we propose directional message passing, in which we embed the messages passed between atoms instead of the atoms themselves.
Each message is associated with a direction in coordinate space.
These directional message embeddings are rotationally equivariant since the associated directions rotate with the molecule.
We propose a message passing scheme analogous to belief propagation, which uses the directional information by transforming messages based on the angle between them.
Additionally, we use spherical Bessel functions and spherical harmonics to construct theoretically well-founded, orthogonal representations that achieve better performance than the currently prevalent Gaussian radial basis representations while using fewer than/ 4 of the parameters.
We leverage these innovations to construct the directional message passing neural network (DimeNet).
DimeNet outperforms previous GNNs on average by 76 % on MD17 and by 31 % on QM9.
I NTRODUCTION
In recent years scientists have started leveraging machine learning to reduce the computation time required for predicting molecular properties from a matter of hours and days to mere milliseconds.
With the advent of graph neural networks (GNNs) this approach has recently experienced a small revolution, since they do not require any form of manual feature engineering and signiﬁcantly outperform previous models (Gilmer et al., 2017; Schütt et al., 2017).
GNNs model the complex interactions between atoms by embedding each atom in a high-dimensional space and updating these embeddings by passing messages between atoms.
By predicting the potential energy these models effectively learn an empirical potential function.
Classically, these functions have been modeled as the sum of four parts: (Leach, 2001)
[Equation]
where E bonds models the dependency on bond lengths, E angle on the angles between bonds, E torsion on bond rotations, i.e. the dihedral angle between two planes deﬁned by pairs of bonds, and E non-bonded models interactions between unconnected atoms, e.g. via electrostatic or van der Waals interactions.
The update messages in GNNs, however, only depend on the previous atom embeddings and the pairwise distances between atoms – not on directional information such as bond angles and rotations.
Thus, GNNs lack the second and third terms of this equation and can only model them via complex higher-order interactions of messages.
Extending GNNs to model them directly is not straightforward since GNNs solely rely on pairwise distances, which ensures their invariance to translation, rotation, and inversion of the molecule, which are important physical requirements.
In this paper, we propose to resolve this restriction by using embeddings associated with the directions to neighboring atoms, i.e. by embedding atoms as a set of messages.
These directional message embeddings are equivariant with respect to the above transformations since the directions move with the molecule.
Hence, they preserve the relative directional information between neighboring atoms.
We propose to let message embeddings interact based on the distance between atoms and the angle between directions.
Both distances and angles are invariant to translation, rotation, and inversion of the molecule, as required.
Additionally, we show that the distance and angle can be jointly represented in a principled and effective manner by using spherical Bessel functions and spherical harmonics.
We leverage these innovations to construct the directional message passing neural network (DimeNet).
DimeNet can learn both molecular properties and atomic forces.
It is twice continuously differentiable and solely based on the atom types and coordinates, which are essential properties for performing molecular dynamics simulations.
DimeNet outperforms previous GNNs on average by 76 % on MD17 and by 31 % on QM9.
Our paper’s main contributions are:
Directional message passing, which allows GNNs to incorporate directional information by connecting recent advances in the ﬁelds of equivariance and graph neural networks as well as ideas from belief propagation and empirical potential functions such as Eq. 1. 2.
Theoretically principled orthogonal basis representations based on spherical Bessel functions and spherical harmonics.
Bessel functions achieve better performance than Gaussian radial basis functions while reducing the radial basis dimensionality by 4x or more. 3.
The Directional Message Passing Neural Network (DimeNet): A novel GNN that leverages these innovations to set the new state of the art for molecular predictions and is suitable both for predicting molecular properties and for molecular dynamics simulations.
R ELATED WORK
ML for molecules.
The classical way of using machine learning for predicting molecular properties is combining an expressive, hand-crafted representation of the atomic neighborhood (Bartók et al., 2013) with Gaussian processes (Bartók et al., 2010; 2017; Chmiela et al., 2017) or neural networks (Behler & Parrinello, 2007).
Recently, these methods have largely been superseded by graph neural networks, which do not require any hand-crafted features but learn representations solely based on the atom types and coordinates molecules (Duvenaud et al., 2015; Gilmer et al., 2017; Schütt et al., 2017;
Unke & Meuwly, 2019).
Our proposed message embeddings can also be interpreted as directed edge embeddings.
(Undirected) edge embeddings have already been used in previous GNNs (Jørgensen et al., 2018; Chen et al., 2019).
However, these GNNs use both node and edge embeddings and do not leverage any directional information.
Graph neural networks.
GNNs were ﬁrst proposed in the 90s (Baskin et al., 1997; Sperduti & Starita, 1997) and 00s (Gori et al., 2005; Scarselli et al., 2009).
General GNNs have been largely inspired by their application to molecular graphs and have started to achieve breakthrough performance in various tasks at around the same time the molecular variants did (Kipf & Welling, 2017; Klicpera et al., 2019; Zambaldi et al., 2019).
Some recent progress has been focused on GNNs that are more powerful than the 1-Weisfeiler-Lehman test of isomorphism (Morris et al., 2019; Maron et al., 2019).
However, for molecular predictions these models are signiﬁcantly outperformed by GNNs focused on molecules (see Sec. 7).
Some recent GNNs have incorporated directional information by considering the change in local coordinate systems per atom (Ingraham et al., 2019).
However, this approach breaks permutation invariance and is therefore only applicable to chain-like molecules (e.g. proteins).
Equivariant neural networks.
Group equivariance as a principle of modern machine learning was ﬁrst proposed by Cohen & Welling (2016).
Following work has generalized this principle to spheres (Cohen et al., 2018), molecules (Thomas et al., 2018), volumetric data (Weiler et al., 2018), and general manifolds (Cohen et al., 2019).
Equivariance with respect to continuous rotations has been achieved so far by switching back and forth between Fourier and coordinate space in each layer (Cohen et al., 2018) or by using a fully Fourier space model (Kondor et al., 2018; Anderson et al., 2019).
The former introduces major computational overhead and the latter imposes signiﬁcant constraints on model construction, such as the inability of using non-linearities.
Our proposed solution does not suffer from either of those limitations.
R EQUIREMENTS FOR MOLECULAR PREDICTIONS
In recent years machine learning has been used to predict a wide variety of molecular properties, both low-level quantum mechanical properties such as potential energy, energy of the highest occupied molecular orbital (HOMO), and the dipole moment and high-level properties such as toxicity, permeability, and adverse drug reactions (Wu et al., 2018).
In this work we will focus on scalar regression targets, i.e. targets t ∈ R .
A molecule is uniquely deﬁned by the atomic numbers z
= { z 1 , . . .
, z N }
and positions X
= { x 1 , . . .
, x N } .
Some models additionally use auxiliary information Θ such as bond types or electronegativity of the atoms.
We do not include auxiliary features in this work since they are hand-engineered and non-essential.
In summary, we deﬁne an ML model for molecular prediction with parameters θ via f θ : { X , z } → R .
Symmetries and invariances.
All molecular predictions must obey some basic laws of physics, either explicitly or implicitly.
One important example of such are the fundamental symmetries of physics and their associated invariances.
In principle, these invariances can be learned by any neural network via corresponding weight matrix symmetries (Ravanbakhsh et al., 2017).
However, not explicitly incorporating them into the model introduces duplicate weights and increases training time and complexity.
The most essential symmetries are translational and rotational invariance (follows from homogeneity and isotropy), permutation invariance (follows from the indistinguishability of particles), and symmetry under parity, i.e. under sign ﬂips of single spatial coordinates.
Molecular dynamics.
Additional requirements arise when the model should be suitable for molecular dynamics (MD) simulations and predict the forces F i acting on each atom.
The force ﬁeld is a conservative vector ﬁeld since it must satisfy conservation of energy (the necessity of which follows from homogeneity of time (Noether, 1918)).
The easiest way of deﬁning a conservative vector ﬁeld is via the gradient of a potential function.
We can leverage this fact by predicting a potential instead of the forces and then obtaining the forces via backpropagation to the atom coordinates, i.e.
F i ( X , z ) = − ∂∂ x i f θ ( X , z ) .
We can even directly incorporate the forces in the training loss and directly train a model for MD simulations (Pukrittayakamee et al., 2009):
[Equation]
where the target ˆ t
= ˆ
E is the ground-truth energy, which is usually available as well, ˆ F are the ground-truth forces, and the hyperparameter ρ sets the forces’ loss weight.
For stable simulations F i must be continuously differentiable and the model f θ itself therefore twice continuously differentiable.
We hence cannot use discontinuous transformations such as ReLU non-linearities.
Furthermore, since the atom positions X can change arbitrarily we cannot use pre-computed auxiliary information Θ such as bond types.
D IRECTIONAL MESSAGE PASSING
Graph neural networks.
Graph neural networks treat the molecule as a graph, in which the nodes are atoms and edges are deﬁned either via a predeﬁned molecular graph or simply by connecting atoms that lie within a cutoff distance c .
Each edge is associated with a pairwise distance between atoms d ij = (cid:107) x
i − x j (cid:107) 2 .
GNNs implement all of the above physical invariances by construction since they only use pairwise distances and not the full atom coordinates.
However, note that a predeﬁned molecular graph or a step function-like cutoff cannot be used for MD simulations since this would introduce discontinuities in the energy landscape.
GNNs represent each atom i via an atom embedding h i ∈
R H .
The atom embeddings are updated in each layer by passing messages along the molecular edges.
Messages are usually transformed based on an edge embedding e ( ij ) ∈
R H e and summed over the atom’s neighbors N i , i.e. the embeddings are updated in layer l via
[Equation]
with the update function f update and the interaction function f int , which are both commonly implemented using neural networks.
The edge embeddings e ( l ) ( ij ) usually only depend on the interatomic distances, but can also incorporate additional bond information (Gilmer et al., 2017) or be recursively updated in each layer using the neighboring atom embeddings (Jørgensen et al., 2018).
Directionality.
In principle, the pairwise distance matrix contains the full geometrical information of the molecule.
However, GNNs do not use the full distance matrix since this would mean passing messages globally between all pairs of atoms, which increases computational complexity and can lead to overﬁtting.
Instead, they usually use a cutoff distance c , which means they cannot distinguish between certain molecules (Xu et al., 2019).
E.g. at a cutoff of roughly 2 Å a regular GNN would not be able to distinguish between a hexagonal (e.g. Cyclohexane) and two triangular molecules (e.g. Cyclopropane) with the same bond lengths since the neighborhoods of each atom are exactly the same for both (see Appendix, Fig. 6).
This problem can be solved by modeling the directions to neighboring atoms instead of just their distances.
A principled way of doing so while staying invariant to a transformation group G (such as described in Sec. 3) is via group-equivariance (Cohen & Welling, 2016).
A function f : X → Y is deﬁned as being equivariant if f ( ϕ Xg ( x )) =
ϕ
Yg ( f ( x )) , with the group action in the input and output space ϕ Xg and ϕ Yg .
However, equivariant CNNs only achieve equivariance with respect to a discrete set of rotations (Cohen & Welling, 2016).
For a precise prediction of molecular properties we need continuous equivariance with respect to rotations, i.e. to the SO(3) group.
Directional embeddings.
We solve this problem by noting that an atom by itself is rotationally invariant.
This invariance is only broken by neighboring atoms that interact with it, i.e. those inside the cutoff c .
Since each neighbor breaks up to one rotational invariance they also introduce additional degrees of freedom, which we need to represent in our model.
We can do so by generating a separate embedding m ji for each atom i and neighbor j by applying the same learned ﬁlter in the direction of each neighboring atom (in contrast to equivariant CNNs, which apply ﬁlters in ﬁxed, global directions).
These directional embeddings are equivariant with respect to global rotations since the associated directions rotate with the molecule and hence conserve the relative directional information between neighbors.
Representation via joint 2D basis.
We use the directional information associated with each embedding by leveraging the angle α ( kj,ji ) =
∠ x k x j x i when aggregating the neighboring embeddings m kj of m ji .
We combine the angle with the interatomic distance d kj associated with the incoming message m kj and jointly represent both in a ( kj,ji ) SBF ∈ R N SHBF · N SRBF using a 2D representation based on spherical Bessel functions and spherical harmonics, as explained in Sec. 5.
We empirically found that this basis representation provides a better inductive bias than the raw angle alone.
[Equation]
[Figure]
Message embeddings.
The directional embedding m ji associated with the atom pair ji can be thought of as a message being sent from atom j to atom i .
Hence, in analogy to belief propagation, we embed each atom i using a set of incoming messages
m ji , i.e. h i = (cid:80) j ∈N i m ji , and update the message m ji based on the incoming messages m kj (Yedidia et al., 2003).
Hence, as illustrated in Fig.
1, we deﬁne the update function and aggregation scheme for message embeddings as
[Equation]
where e ( ji ) RBF denotes the radial basis function representation of the interatomic distance d ji , which will be discussed in Sec.
We found this aggregation scheme to not only have a nice analogy to belief propagation, but also to empirically perform better than alternatives.
Note that since f int now incorporates the angle between atom pairs, or bonds, we have enabled our model to directly learn the angular potential E angle , the second term in Eq. 1.
Moreover, the message embeddings are essentially embeddings of atom pairs, as used by the provably more powerful GNNs based on higher-order
Weisfeiler-Lehman tests of isomorphism.
Our model can therefore provably distinguish molecules that a regular GNN cannot (e.g. the previous example of a hexagonal and two triangular molecules)
(Morris et al., 2019).
P HYSICALLY BASED REPRESENTATIONS
Representing distances and angles.
For the interaction function f int in Eq.
4 we use a joint representation a ( kj,ji ) SBF of the angles α ( kj,ji ) between message embeddings and the interatomic distances d kj = (cid:107) x k − x j (cid:107) 2 , as well as a representation e ( ji ) RBF of the distances d ji .
Earlier works have used a set of Gaussian radial basis functions to represent interatomic distances, with tightly spaced means that are distributed e.g. uniformly (Schütt et al., 2017) or exponentially (Unke & Meuwly, 2019).
Similar in spirit to the functional bases used by steerable CNNs (Cohen & Welling,
; Cheng et al., 2019) we propose to use an orthogonal basis instead, which reduces redundancy and thus improves parameter efﬁciency.
Furthermore, a basis chosen according to the properties of the modeled system can even provide a helpful inductive bias.
We therefore derive a proper basis representation for quantum systems next.
From Schrödinger to Fourier-Bessel.
To construct a basis representation in a principled manner we ﬁrst consider the space of possible solutions.
Our model aims at approximating results of density functional theory (DFT) calculations, i.e. results given by an electron density (cid:104) Ψ( d )
| Ψ( d ) (cid:105) , with the electron wave function Ψ( d ) and d = x k − x j .
The solution space of Ψ( d ) is deﬁned by the time-independent Schrödinger equation (cid:16) − [Equation] [Equation] Ψ
[Equation]
d ) = E Ψ [Equation] d ) , with constant mass m and energy E .
We do not know the potential V ( d ) and so choose it in an uninformative way by simply setting it to 0 inside the cutoff distance c (up to which we pass messages between atoms) and to ∞ outside.
Hence, we arrive at the Helmholtz equation ( ∇ 2 + k 2 )Ψ( d ) = 0 , with the wave number k = √ 2 mE (cid:126) and the boundary condition Ψ( c ) =
at the cutoff c .
Separation of variables in polar coordinates ( d, α, ϕ ) yields the solution (Grifﬁths & Schroeter, 2018)
[Equation]
l n
[Equation]
with the spherical Bessel functions of the ﬁrst and second kind j l and y l and the spherical harmonics Y ml .
As common in physics we only use the regular solutions, i.e. those that do not approach −∞ at the origin, and hence set b lm = 0 .
Recall that our ﬁrst goal is to construct a joint 2D basis for d kj and α ( kj,ji ) , i.e. a function that depends on d and a single angle α .
To achieve this we set m = 0 and obtain Ψ SBF ( d, α ) = (cid:80) l a l j l ( kd ) Y 0 l ( α ) .
The boundary conditions are satisﬁed by setting k
= z ln c , where z ln is the n -th root of the l -order Bessel function, which are precomputed numerically.
Normalizing Ψ SBF inside the cutoff distance c with a (numerically precomputed) constant C ln yields the 2D spherical Fourier-Bessel basis ˜ a ( kj,ji ) SBF ∈ [Equation] SRBF , which is illustrated in Fig. 2 and deﬁned by
[Equation]
(6) with l ∈ [0 . . N SHBF − 1] and n ∈ [1 . . N SRBF ] . Our second goal is constructing a radial basis for d ji , i.e. a function that solely depends on d and not on the angles α and ϕ .
We achieve this by setting l = m = 0 and obtain Ψ RBF ( d ) = aj 0 ( z 0 ,n c d ) , with roots at z 0 ,n = nπ . Normalizing the resulting functions on [0 , c ] and using j 0 ( d ) = sin( d ) /d gives the radial basis ˜ e RBF ∈ R N RBF , as illustrated in Fig. 3 and deﬁned by [Equation]
with n ∈ [1 . .
N RBF ] . Both of these bases are purely real-valued and orthogonal in the domain of interest.
They furthermore enable us to bound the highest-frequency components by ω α ≤ N SHBF 2 π , ω d kj ≤ N SRBF c , and ω d ji ≤ N RBF c . This restriction is an effective way of regularizing the model and ensures that predictions are stable to small perturbations.
We found N SRBF = 6 and N RBF = 16 radial basis functions to be more than sufﬁcient. Note that N RBF is 4x lower than PhysNet’s 64 (Unke & Meuwly, 2019) and 20x lower than SchNet’s 300 radial basis functions (Schütt et al., 2017).
[Figure] c   ˜ e RB F ( d / c )
Continuous
[Equation]
and ˜ e RBF ( d ) are not twice continuously differentiable due to the step function cutoff at c .
To alleviate this problem we introduce an envelope function u ( d ) that has a root of multiplicity 3 at d = c , causing the ﬁnal functions a RBF ( d ) = u ( d )˜ a RBF ( d ) and e RBF ( d )
= u ( d )˜
e RBF ( d ) and their ﬁrst and second derivatives to go to 0 at the cutoff.
We achieve this with the polynomial u ( d ) =
[Equation]
−
[Equation] p +
[Equation]
Model:
Embedding:
Interaction:
Output:
Residual: d ji e ( ji ) RBF SBF d kj α ( kj,ji ) a ( kj,ji ) SBF z
Embedding
Interaction Interaction Interaction
Interaction
Interaction
Interaction (cid:80) t e ( ji ) RBF z j ,z i
W (cid:3)
Embedding h (0)
j h (0) i (cid:107) σ ( W (cid:3) + b )
Output t (1) i m (1) ji
Directionalmessagepassing e ( ji ) RBF a ( kj,ji ) SBF m ( l − 1) kj k ∈N j \{ i } m
( l − 1) ji σ ( W (cid:3) + b ) σ ( W (cid:3) + b ) (cid:12) W (cid:3) (cid:3) T W (cid:3) W (cid:3) (cid:80) k
+
Residual σ ( W (cid:3) + b )
+
Residual Residual
Output t ( l ) i m ( l ) ji e ( ji ) RBF m ( l ) ji j ∈N i W (cid:3) (cid:12) (cid:80) j σ ( W (cid:3) + b ) σ ( W (cid:3) + b ) σ ( W (cid:3) + b ) W (cid:3) t ( l ) i m ji σ ( W (cid:3) + b ) σ (
[Figure]
[Figure]
are updated in multiple interaction blocks via directional message passing, which uses the neighboring messages m kj , k ∈ N j \ { i } , the 2D representations a ( kj,ji ) SBF , and the distance representations e ( ji ) RBF .
Each block passes the resulting embeddings to an output block, which transforms them using the radial basis e ( ji ) RBF and sums them up per atom.
Finally, the outputs of all layers are summed up to generate the prediction.
where p ∈ N 0 .
We did not ﬁnd the model to be sensitive to different choices of envelope functions and choose p = 3 .
Note that using an envelope function causes the bases to lose their orthonormality, which we did not ﬁnd to be a problem in practice.
We furthermore ﬁne-tune the Bessel wave numbers k n = nπc used in ˜ e RBF ∈ R N RBF via backpropagation after initializing them to these values, which we found to give a small boost in prediction accuracy.
The Directional Message Passing Neural Network’s (DimeNet) design is based on a streamlined version of the PhysNet architecture (Unke & Meuwly, 2019), in which we have integrated directional message passing and spherical Fourier-Bessel representations. DimeNet generates predictions that are invariant to atom permutations and translation, rotation and inversion of the molecule. DimeNet is suitable both for the prediction of various molecular properties and for molecular dynamics (MD) simulations.
It is twice continuously differentiable and able to learn and predict atomic forces via backpropagation, as described in Sec. 3.
The predicted forces fulﬁll energy conservation by construction and are equivariant with respect to permutation and rotation.
Model differentiability in combination with basis representations that have bounded maximum frequencies furthermore guarantees smooth predictions that are stable to small deformations.
Fig.
4 gives an overview of the architecture.
Embedding block.
Atomic numbers are represented by learnable, randomly initialized atom type embeddings h (0) i ∈ R F that are shared across molecules.
The ﬁrst layer generates message embeddings from these and the distance between atoms via
[Equation]
where (cid:107) denotes concatenation and the weight matrix W and bias b are learnable.
Interaction block.
The embedding block is followed by multiple stacked interaction blocks.
This block implements f int and f update of Eq.
4 as shown in Fig.
Note that the 2D representation a ( kj,ji ) SBF is ﬁrst transformed into an N tensor -dimensional representation via a linear layer.
The main purpose of [Table] this is to make the dimensionality of a ( kj,ji ) SBF independent of the subsequent bilinear layer, which uses a comparatively large N tensor × F × F -dimensional weight tensor.
We have also experimented with using a bilinear layer for the radial basis representation, but found that the element-wise multiplication e ( ji ) RBF W (cid:12) m kj performs better, which suggests that the 2D representations require more complex transformations than radial information alone.
The interaction block transforms each message embedding m ji using multiple residual blocks, which are inspired by ResNet (He et al., 2016) and consist of two stacked dense layers and a skip connection.
Output block.
The message embeddings after each block (including the embedding block) are passed to an output block.
The output block transforms each message embedding m ji using the radial basis e ( ji ) RBF , which ensures continuous differentiability and slightly improves performance.
Afterwards the incoming messages are summed up per atom i to obtain h i
= (cid:80) j m ji , which is then transformed using multiple dense layers to generate the atom-wise output t ( l ) i .
These outputs are then summed up to obtain the ﬁnal prediction t = (cid:80) i (cid:80) l t ( l ) i .
Continuous differentiability.
Multiple model choices were necessary to achieve twice continuous model differentiability.
First, DimeNet uses the self-gated Swish activation function σ ( x ) = x · sigmoid ( x ) (Ramachandran et al., 2018) instead of a regular ReLU activation function.
Second, we multiply the radial basis functions ˜
e RBF ( d ) with an envelope function u ( d ) that has a root of multiplicity 3 at the cutoff c .
Finally, DimeNet does not use any auxiliary data but relies on atom types and positions alone.
E XPERIMENTS
Models.
For hyperparameter choices and training setup see Appendix B. We use 6 state-of-the-art models for comparison: SchNet (Schütt et al., 2017), PhysNet (whose results we have generated ourselves using the reference implementation) (Unke & Meuwly, 2019), provably powerful graph networks (PPGN) (Maron et al., 2019), MEGNet-simple (the variant without auxiliary information) (Chen et al., 2019),
Cormorant (Anderson et al., 2019), and symmetrized gradient-domain machine learning (sGDML) (Chmiela et al., 2018).
Note that sGDML cannot be used for QM9 since it can only be trained on a single molecule.
QM9.
We test DimeNet’s performance for predicting molecular properties using the common QM benchmark (Ramakrishnan et al., 2014).
It consists of roughly 130 000 molecules in equilibrium with up to 9 heavy C, O, N, and F atoms.
We use 110 000 molecules in the training, 10 000 in the validation and 13 885 in test set.
We only use the atomization energy for U 0 , U , H , and G , i.e. subtract the atomic reference energies, which are constant per atom type.
In Table 1 we report the
(energies in kcalmol , forces in kcalmol Å ).
DimeNet outperforms SchNet by a large margin and performs roughly on par with sGDML.
[Table] [Table] mean absolute error (MAE) of each target and the overall mean standardized MAE (std. MAE) and mean standardized logMAE (for details see Appendix C).
We predict ∆ (cid:15) simply by taking (cid:15) LUMO − (cid:15) HOMO , since it is calculated in exactly this way by DFT calculations. We train a separate model for each target, which signiﬁcantly improves results compared to training a single shared model for all targets (see App. E).
DimeNet sets the new state of the art on 11 out of 12 targets and decreases mean std.
MAE by 31 % and mean logMAE by 0 .
compared to the second-best model.
MD17.
We use MD17 (Chmiela et al., 2017) to test model performance in molecular dynamics simulations.
The goal of this benchmark is predicting both the energy and atomic forces of eight small organic molecules, given the atom coordinates of the thermalized (i.e. non-equilibrium, slightly moving) system. The ground truth data is computed via molecular dynamics simulations using DFT.
A separate model is trained for each molecule, with the goal of providing highly accurate individual predictions.
This dataset is commonly used with 50 000 training and 10 000 validation and test samples.
We found that DimeNet can match state-of-the-art performance in this setup.
E.g. for
Benzene, depending on the force weight ρ , DimeNet achieves 0 .
035 kcal mol − 1 MAE for the energy or 0 .
07 kcal mol − 1 and 0 .
17 kcal mol − 1 Å − 1 for energy and forces, matching the results reported by Anderson et al.
(2019) and Unke & Meuwly (2019).
However, this accuracy is two orders of magnitude below the DFT calculation’s accuracy (approx.
3 kcal mol − 1 for energy (Faber et al., 2017)), so any remaining difference to real-world data is almost exclusively due to errors in the
DFT simulation.
Truly reaching better accuracy can therefore only be achieved with more precise ground-truth data, which requires far more expensive methods (e.g. CCSD(T)) and thus ML models that are more sample-efﬁcient (Chmiela et al., 2018).
We therefore instead test our model on the harder task of using only 1000 training samples.
As shown in Table 2 DimeNet outperforms SchNet by a large margin and performs roughly on par with sGDML.
However, sGDML uses hand-engineered descriptors that provide a strong advantage for small datasets, can only be trained on a single molecule (a ﬁxed set of atoms), and does not scale well with the number of atoms or training samples.
Ablation studies.
To test whether directional message passing and the Fourier-Bessel basis are the actual reason for DimeNet’s improved performance, we ablate them individually and compare the mean standardized MAE and logMAE for multi-task learning on QM9.
Table 3 shows that both of our contributions have a signiﬁcant impact on the model’s performance.
Using 64 Gaussian RBFs instead of 16 and 6 Bessel basis functions to represent d ji and d kj increases the error by 10 % , which shows that this basis does not only reduce the number of parameters but additionally provides a helpful inductive bias.
DimeNet’s error increases by around 26 % when we ignore the angles between messages by setting N SHBF = 1 , showing that directly incorporating directional information does indeed improve performance.
Using node embeddings instead of message embeddings (and hence also ignoring directional information) has the largest impact and increases MAE by 68 % , at which point DimeNet performs worse than SchNet.
Furthermore, Fig.
5 shows that the ﬁlters exhibit a structurally meaningful dependence on both the distance and angle. For example, some of these ﬁlters are clearly being activated by benzene rings ( 120 ◦ angle, 1 . 39 Å distance).
This further demonstrates that the model learns to leverage directional information.
C ONCLUSION
In this work we have introduced directional message passing, a more powerful and expressive interaction scheme for molecular predictions.
Directional message passing enables graph neural networks to leverage directional information in addition to the interatomic distances that are used by normal GNNs.
We have shown that interatomic distances can be represented in a principled and effective manner using spherical Bessel functions.
We have furthermore shown that this representation can be extended to directional information by leveraging 2D spherical Fourier-Bessel basis functions.
We have leveraged these innovations to construct DimeNet, a GNN suitable both for predicting molecular properties and for use in molecular dynamics simulations.
We have demonstrated DimeNet’s performance on QM9 and MD17 and shown that our contributions are the essential ingredients that enable DimeNet’s state-of-the-art performance.
DimeNet directly models the ﬁrst two terms in Eq. 1, which are known as the important “hard” degrees of freedom in molecules (Leach, 2001).
Future work should aim at also incorporating the third and fourth terms of this equation.
This could improve predictions even further and enable the application to molecules much larger than those used in common benchmarks like QM9.
A I NDISTINGUISHABLE MOLECULES B E XPERIMENTAL SETUP
The model architecture and hyperparameters were optimized using the QM9 validation set.
We use 6 stacked interaction blocks and embeddings of size F = 128 throughout the model.
For the basis functions we choose N SHBF = 7 , N SRBF = 6 , and N RBF = {+
+}
and N tensor = 12 for the weight tensor in the interaction block.
We did not ﬁnd the model to be very sensitive to these values as long as they were chosen large enough (i e. at least 8).
We found the cutoff c = 5 Å and the learning rate 1 × 10 − 3 to be rather important hyperparameters.
We optimized the model using AMSGrad (Reddi et al., 2018) with 32 molecules per mini-batch.
We use a linear learning rate warm-up over 3000 steps and an exponential decay with ratio 0 .every 2 000 000 steps.
The model weights for validation and test were obtained using an exponential moving average (EMA) with decay rate 0 . 999 .
For MD17 we use the loss function from Eq.
2 with force weight ρ = 100 , like previous models Schütt et al.
Note that ρ presents a trade-off between energy and force accuracy.
It should be chosen rather high since the forces determine the dynamics of the chemical system (Unke & Meuwly, 2019).
We use early stopping on the validation loss.
On QM9 we train for at most 3 000 000 and on MD17 for at most 100 000 steps.
C S UMMARY STATISTICS
We summarize the results across different targets using the mean standardized MAE
[Equation]
and the mean standardized logMAE logMAE = 1 M
[Equation]
with target index m , number of targets M = 12 , dataset size N , ground truth values ˆ t ( m ) , model f ( m ) θ , inputs X i and z i , and standard deviation σ m of ˆ t ( m ) .
Std.
MAE reﬂects the average error compared to the standard deviation of each target.
Since this error is dominated by a few difﬁcult targets (e.g. (cid:15) HOMO ) we also report logMAE, which reﬂects every relative improvement equally but is sensitive to outliers, such as SchNet’s result on (cid:10) R 2 (cid:11) . D D IME N ET FILTERS To illustrate the ﬁlters learned by DimeNet we separate the spatial dependency in the interaction function f int via [Equation]
The ﬁlters f ﬁlter1 ,n : R + → R and f ﬁlter2 ,n : R + × [0 , 2 π ] → R F are given by
[Equation]
where W RBF , W SBF , and W are learned weight matrices/tensors, e RBF ( d ) is the radial basis representation, and a SBF ( d, α ) is the 2D spherical Fourier-Bessel representation.
Fig.
5 shows how the ﬁrst 15 elements of f ﬁlter2 ,n ( d, α ) vary with d and α when choosing the tensor slice n = 1 (with α = 0 at the top of the ﬁgure).
E M ULTI - TARGET RESULTS
[Table]