Die Untersuchung elektrochemischer Reaktionswege in neuen Batterieelektrolytzusammensetzungen ist wichtig für die Identifizierung von Methoden zur Verbesserung der Leistung und Lebensdauer von Elektrofahrzeugbatterien1. Solche Studien sind jedoch oft schwierig, da Batterieelektrolyte oft durch Mischen verschiedener Komponenten wie Lösungsmittel-, Salz- und Additivmoleküle hergestellt werden, die mit sich selbst und mit verschiedenen Oberflächen (Kathoden- und Anodenelektroden) unter unterschiedlichen Batteriebetriebsspannungen und -temperaturen interagieren2. In Experimenten sind einige der irreversiblen elektrochemischen Zersetzungsreaktionen des Elektrolyten leichter zu untersuchen, da sie kleine Nebenprodukte von Gasmolekülen erzeugen, die aus der Elektrolytlösung an die Luft abgegeben werden (was die Untersuchung mit experimentellen Techniken wie derGaschromatographie 3,4,5 erleichtert). Bei vielen dieser Nebenprodukte handelt es sich jedoch um größere Moleküle oder komplexe organisch-anorganische Feststoffgemische, wie z. B. komplexe Organolithium-Polymerverbindungen6, die nicht als Gasmoleküle in die Umwelt abgegeben werden. Dies macht es schwierig, diese komplexeren elektrochemischen Reaktionswege experimentell zu untersuchen2.
Ab-initio-Modellierung, wie z. B. die Dichtefunktionaltheorie (DFT), ist eine vielversprechende Methode, um potenzielle elektrochemische Degradationswege im Elektrolyten in silicozu untersuchen 7. Eine einfache DFT-Energieminimierung komplexer Elektrolytstrukturen (flüssiges Gemisch mit experimentell sinnvollen Elektrolytkomponentenkonzentrationen in einer periodischen Randbedingungsbox) wird jedoch meist nicht dazu führen, dass niederenergetische Strukturen erzeugt werden, die physikalisch bedeutsamen elektrochemischen Reaktionsnebenprodukten entsprechen. Die DFT-minimierten Strukturen haben typischerweise eine höhere Energie und stellen nicht-physikalische Nebenprodukte dar, die falschen elektrochemischen Abbauwegen entsprechen, da die Strukturen während des DFT-Energieminimierungsverfahrens in lokalen Energieminimums gefangen sind. Methoden wie ab-initio Molekulardynamik (AIMD)8,9, neuronales Netzwerk-Kraftfeld 10,11,12,13,14,15,16 oder DFT-basierte Metadynamik 17,18,19 werden häufig verwendet, um vielfältigere Elektrolytstrukturen zu erforschen, die aussagekräftigere elektrochemische Reaktionsnebenprodukte enthalten können. Häufig wird auch ein computergestütztes Screening zur Erzeugung von Elektrolytkomponenten versucht, von denen angenommen wird, dass sie elektrochemisch stabiler sind20. Alle diese Methoden haben jedoch ihre eigenen Nachteile, wie z. B. den Bedarf an großen und langwierigen Rechenressourcen7, eine große Menge an ab-initio-Trainingsdaten 13 oder Vorkenntnisse über die eventuellen elektrochemischen Reaktionsnebenprodukte, um die Simulation in spezifische Ergebnisse zu verzerren21.
Wir haben kürzlich eine Methode eingeführt, um die Energieminimierung der ab-initio-Struktur auf mehrere Skalen durchzuführen, indem wir die Energiegradienten, die mit einer beliebigen ab-initio-Methode erhalten wurden, wie z. B. DFT-Rasterkräfte, die mit der Vienna Ab-initio Simulation Package (VASP)-Software22 berechnet wurden, mit den mit PyTorch (3T-VASP) berechneten Strukturtransformationsfunktionsgradienten verbinden23,24. Dieser Ansatz ermöglicht es dem Benutzer, einfach eine Simulationsbox einzurichten, die mit mehreren Arten und Zählungen von Elektrolytkomponentenmolekülen gefüllt ist, und einen externen Atomenergie- und Kraftrechner (z. B. ein klassisches Kraftfeld oder VASP DFT) auszuführen. Die Minimierung der Strukturenergie erfolgt dann automatisch auf mehreren Skalen, wobei die natürlichen Strukturumwandlungsmodi der relevanten Moleküle (Translationen und Rotationen verschiedener Segmente des Moleküls) berücksichtigt werden. Da eine 3T-VASP-Simulation typischerweise innerhalb von 100-150 statischen DFT-Aufrufen "abgeschlossen" wird, während physikalisch bedeutsame Reaktionsnebenprodukte erzeugt werden (viele davon wurden in der früheren Literatur experimentell beobachtet)24, ist es möglich, viele verschiedene Ensembles von 3T-VASP-Trajektorien laufen zu lassen, um potenziell bedeutsame elektrochemische Reaktionswege und Nebenprodukte im Elektrolyten für weitere rechnerische oder experimentelle Untersuchungen zu erzeugen. Die Prinzipien und die Mathematik hinter der Minimierung der mehrskaligen Gradientenstruktur wurden in einer früheren Veröffentlichungausführlich diskutiert 24. In dieser Arbeit wollen wir die 3T-VASP-Softwarearchitektur und den Berechnungsablauf weiter detailliert beschreiben, die Einrichtung der für die Ausführung von 3T-VASP erforderlichen Rechenumgebung, die Vorbereitung von Eingabedateien für die 3T-VASP-Simulation neuer Systeme, die Überwachung von 3T-VASP-Simulationen und das Beispiel von Ausgabetrajektorien.
Zunächst ist es notwendig, die Gesamtarchitektur der 3T-VASP-Software zu verstehen, wie in Abbildung 1 dargestellt. 3T-VASP funktioniert, indem es die natürlichen Strukturumwandlungsmodi im Molekül identifiziert und ausnutzt (da es sich um Strukturumwandlungen handelt, die für die Moleküle einfacher durchzuführen sind, während die ab-initio-Strukturenergie relativ niedrig bleibt)24. Während es möglich ist, diese Strukturtransformationsmodi für jede neue Molekülspezies manuell zu programmieren (es ist umständlich, dies zu tun), bietet 3T-VASP an, diesen Prozess für den Benutzer zu automatisieren, indem die Informationen genutzt werden, die in der klassischen Kraftfelddatei verfügbar sind, die das Molekül24 darstellt. Sobald diese Strukturumwandlungsmodi für die gewünschten Elektrolytmolekülkomponenten bestimmt sind, muss der Benutzer das Feld für die periodische Randbedingung und seine Gittervektorparameter (das Feld kann ursprünglich leer oder teilweise mit einzelnen Kationen oder Elektrodenoberflächen gefüllt sein) spezifizieren, um es weiter mit den gewünschten Arten und Anzahlen anderer Elektrolytmoleküle (wie Lösungsmittel, Salzionen, Zusatzstoffe). Der 3T-Algorithmus verwendet dann entweder das klassische Kraftfeld (ein eingebauter klassischer Kraftfeldrechner ist in 3T-VASP enthalten) oder die VASP-Software der Computerumgebung, um die atomare Energie und die Kräfte zu berechnen, um eine Strukturtransformation auf mehreren Skalen durchzuführen, die die Strukturenergie in einer bescheidenen Anzahl von statischen DFT-Aufrufen minimieren kann24. Diese Reduzierung des Rechenaufwands ermöglicht es, den elektrochemischen Reaktionsverlauf und die Erzeugung von Nebenprodukten für eine große Anzahl von Ausgangsstrukturen zu wiederholen.

Abbildung 1: Rechnerischer Arbeitsablauf von 3T-VASP. (A) Vorverarbeitung von 3T-VASP-Eingangsstrukturen (periodische Randbedingung, Gitter und kleine Moleküle). Die Parametrierung des Kraftfeldes kleiner Moleküle kann entweder automatisch über den SwissParam-Webserver erfolgen, nach der Parametrierung des LigParGen-Webservers manuell modifiziert oder auf der Grundlage einer zuvor abgeschlossenen Parametrisierung aus einem Cache geladen werden. Die Mikro- und Makrogruppensegmentierung des 3T-Algorithmus erfolgt automatisch durch Parsen der Molekülsubstrukturen auf der Grundlage ihrer drehbaren Bindungen. Die PBC-Gitter-Eingabedatei hat das Format einer VASP-POSCAR-Datei und sollte so gestaltet sein, dass sie genügend leeren physischen Speicherplatz hat, um die gewünschte Anzahl von Eingabemolekülen zu packen. Das PBC-Gitter kann eine leere Box sein, die mit einigen Ionen gefüllt ist, oder eine Oberflächenstruktur mit etwas leerem Raum. (B) Die gewünschten Arten und Anzahl kleiner Moleküle werden mit PackMol in den leeren Raum im PBC-Gitter eingebracht. (C) Minimierung der Multiskalen-Gradienten-3T-Struktur mit eingebautem Kraftfeldrechner (3T-FF, hauptsächlich um die Flüssigkeitsdispersion zu ermöglichen und eine physikalisch sinnvolle Anfangsstruktur für 3T-VASP zu schaffen, ohne chemische Reaktionen zuzulassen). (D) Minimierung der Multiskalen-Gradienten-3T-Struktur mit externer Software wie dem VASP-Rechner (3T-VASP ermöglicht den Ablauf elektrochemischer Reaktionen). Bitte klicken Sie hier, um eine größere Version dieser Abbildung anzuzeigen.
Verschiedene externe Open-Source-Software, wie z. B. GROningen Machine for Chemical Simulations (GROMACS), eine klassische Kraftfeld-basierte Molekulardynamik-Software, die für die Ausführung groß angelegter Molekulardynamik-Simulationen nützlich ist25 , und InterMol, eine von Shirts et al. entwickelte Python-Bibliothekscodebasis für die Konvertierung von Dateiformaten der Molekulardynamik26, werden verwendet, um eine automatisierte Parametrisierung des Molekülkraftfeldes und die Extraktion drehbarer Bindungen zu ermöglichen. VASP wird verwendet, um elektrochemische Reaktionen während der Ab-initio-Phase (3T-VASP-Zyklen) zu ermöglichen. Die Schritte, die zum Installieren dieser Abhängigkeiten erforderlich sind, werden in diesem Artikel vorgestellt.