Pings for feedback David Mobley Michael Shirts, soliciting general comments along the lines of
How does this align with our (internal) objectives?
What should be described more thoroughly/in more detail?
Is there anything specified here that is pointing down an un-fruitful/headache-filled path?
Searching for
?
should point you to clear decision points I need feedback on
High-level goals
Features
Things stored
Some graph-like representation of the topology
Complete description of how to compute the potential energy (stored as a
ForceField
object?)Atomic positions
Box vectors
Other tags for metadata and provenance
Units
All parameters representing physical quantities will be tagged with units using pint
, a popular Python library for managing units. Conversions to other units systems (simtk.unit
, implicit units, etc.) will take place at the appropriate interfaces.
Supported Simulation Engines
Highest priority
AMBER
GROMACS
OpenMM
CHARMM
Other options (pending user feedback and feasibility studies)
LAMMPS
TINKER, TINKER+, HIPPO
Desmond
NAMD
Wishlist
Monte Carlo engines
Internal engine compatibility checks will be done when attempting to export to a particular object. In general, the export will error out if the engine cannot faithfully implement the internal representation of the parametrized system (although there will be carefully-written wiggle room for some things like cutoffs). Appropriate, if often verbose, warnings will be printed to the user when approximations and guesses are made.
Potential object lookups
Individual forces will be represented by a subclass or construct of a base Potential
object. It will be able to parse functional forms as mathematical expressions and store parameters explicitly tagged with units. Optional metadata-like fields may be used to do things like track the origin of a parameter or the SMIRKS pattern it describes.
Supported functional forms
In principle, any functional form that can be represented by an analytical expression or tabulated data can be stored internally and converted at the relevant interfaces. The following functional forms are used most commonly in the field and will be supported as a higher priority:
Non-bonded potentials
Lennard-Jones
“Lennard-Jones-like” (14-7)
Buckingham (Exp-6)
Mie
Electrostatics
Do we need to care about anything more than storing the partial charges?
Valence potentials
Harmonic bonds
Harmonic angles
Proper torsions
Improper torsions
Exceptions
How to store? InterMol and ParmEd explicitly track 1-4 terms for all particles
Constraints
Combining rules
Store instructions (i.e. just a
Lorentz-Berthelot
string) or explicitly calculatei-j
cross-interactions?
The following may not be implemented immediately, depending on updates to the SMIRNOFF specification and how particular engines treat them, but are on the roadmap in some capacity:
GBSA
Cross-valence terms
CMAPs
Urey-Bradleys
Virtual Sites
Polarizability
Serialization
Lossless serialization is provided through exporting a system object to Python dictionaries, from which JSON, messagepack, and other serialization formats are available.
Serialization to engine-specific formats such as PDB, MOL2, GRO, TOP, is available through custom writers that will be adopted, in part, from InterMol.
In-memory conversion
Some limited support will exist for converting to objects in other packages. Most conversions will be lossless, although some edge cases will prevent this from happening reliably. This list may include any of the following:
OpenFF ForceField
OpenFF Topology
ParmEd Structure
OpenMM System
GMSO Topology
MDAnalysis Universe
Representation of chemical topologies
(pending input from Bayly & Calabro and others)
A bare minimum amount of connectivity (not much more than what is bonded to what) is necessary for computing energies.
Residues should probably be tracked to faithfully encode force field data
Other metadata may not be crucial for describing energies, but valuable to users (tradeoff)
Rough sketch of a more involved topology representation
Single, high-level container object that “contains” everything (
System
)At a low level, things become
Molecule
objectsMolecule
objects may be de-duplicated through someMoleculeType
object
More specific
Molecule
subclasses can be used to (optionally?) encode physical meaningProtein
,Ion
,Ligand
Biopolymers treated with existing conventions (residues and chains)
A simpler model would roughly mimic the existing structure of most engines, in which there is not usually a descriptive distinction between different types of molecules.
How much cheminformatics data should be stored? Some data (bond orders?) may be lightweight but we don’t want to duplicate efforts that already exist in the toolkit and are not useful for MD engines.
Interfaces with machine learning libraries
A
.parametrize()
function that explicitly describes the mapping of force field parameters P to parametrized system parameters Q will enable researchers to use JAX, and potentially other autodiff libraries, to optimize loss functions using existing JAX infrastructure.Interfaces to other ML libraries can be achieved by returning a flattened 1-D view of system parameters.
Testing
Extensive unit tests of the core Python architecture will be written and regularly executed with GitHub Actions.
Application testing to ensure sufficient interoperability will be done by cannibalizing InterMol’s compute scripts to gets energies of different molecular systems to within some tolerance. Given that the state of the art is something like relative errors of 1e-5 between engines, this threshold is likely to be of a similar order of magnitude.
Documentation
Docs will be written and hosted with a theme common to other OpenFF software. Sections will include
Installation instructions for users and developers
High-level overview
Detailed architecture
Tutorials/examples demonstrating both internal features and interoperability
Full API documentation
Packaging
The OpenFF System object will be hosted on Anaconda, possibly on the omnia
channel at first, but with the intention of using conda-forge
when other external technical hurdles are resolved.
Out of scope
The OpenFF System will not be a wizard’s wand that can magically fix all interoperability issues. The primary objective is to enable the use of the SMIRNOFF specification in more molecular simulation workflows.
As such, the primary interface will be from the system object to various formats and objects, not the opposite direction. By contrast, reading input files is a desired feature, but is a low priority.
Important details about how molecular simulations are executed are not in scope. The OpenFF System object will fully describe the structure of the potential energy function energies, but not how to calculate it in the context of a molecular simulation, i.e. propagating a molecular dynamics trajectory. For example, the choices of barostat, timestep, and ensemble are left to the researcher.
Internal data structures will be remarkably general, but not infinitely so. The primary use cases will be in the domain of computational biophysics, specifically implementing the SMIRNOFF format at the molecular scale. A number of scientifically interesting systems will not be supported initially, although efforts will be made to avoiding prohibiting future extensions to do so. Thing includes things like coarse-grained models, multi-body potentials, anisotropic pair potentials, and rigid body.
Miscellaneous
How much modification should be allowed? The software is much easier to implement if we force everything to be immutable, but user modifications (changing parameters, coordinates, connectivity, etc.) may be a valuable set of features. There are some options for a middle ground, like allowing mutability at some points but locking things down at certain API calls (i.e. writing out to disk).
How to get an MM energy quickly? An internal evaluator would be tricky and do a lot of re-inventing the wheel, writing to disk and calling an an engine has some overhead.
Store data (OpenMM’s approach) or store instructions for getting data (just about every other engine out there). Storing just the data is arguably the richest information content, but requires guessing the instructions (or also carrying the instructions along as metadata) for doing most conversions.
Should systems be combine-able? This is a nice feature of ParmEd (
big_structure = structure1 + structure2
) but may be technically tricky to actually implement here. Re-phrased: how valuable a feature would this be? Can probably come back to it later.Should a
ForceField
object be tracked, as distinct from just tracking the parameters? This could enable features like writing a “just the parameters used in this study” OFFXML. There are likely some complexities to deal with, like information loss when actually applying a force field to a system.