Onderzoek naar elektrochemische reactieroutes in nieuwe elektrolytsamenstellingen van batterijen is belangrijk voor het identificeren van methoden om de prestaties en levensduur van batterijen van elektrische voertuigen te verbeteren1. Dergelijke studies zijn echter vaak moeilijk omdat batterij-elektrolyten vaak worden gemaakt door verschillende componenten te mengen, zoals oplosmiddel-, zout- en additieve moleculen, die met zichzelf en met verschillende oppervlakken (kathode- en anode-elektroden) interageren onder verschillende bedrijfsspanningen en temperaturen van de batterij2. In experimenten zijn sommige van de onomkeerbare elektrolytelektrochemische ontledingsreacties gemakkelijker te onderzoeken omdat ze kleine bijproducten van gasmoleculen produceren die uit de elektrolytoplossing in de lucht vrijkomen (waardoor het gemakkelijker wordt om te onderzoeken met behulp van experimentele technieken zoals gaschromatografie 3,4,5). Veel van deze bijproducten zijn echter grotere moleculen of complexe organisch-anorganische vaste mengsels, zoals complexe organolithiumpolymeerverbindingen6, die niet als gasmoleculen in het milieu terechtkomen. Dit maakt het moeilijk om deze complexere elektrochemische reactieroutes experimenteel te bestuderen2.
Ab-initio-modellering, zoals dichtheidsfunctionaaltheorie (DFT), is een veelbelovende methode om potentiële elektrochemische degradatieroutes in de elektrolyt in silico7 te bestuderen. Eenvoudige DFT-energieminimalisatie van een complexe elektrolytstructuur (vloeibaar mengsel met experimenteel redelijke concentraties elektrolytcomponenten in een periodiek randvoorwaardevak) zal echter meestal geen laag-energetische structuren genereren die overeenkomen met fysisch betekenisvolle elektrochemische reactiebijproducten. De DFT-geminimaliseerde structuren hebben doorgaans een hogere energie en vertegenwoordigen niet-fysische bijproducten die overeenkomen met onjuiste elektrochemische degradatieroutes, omdat de structuren tijdens de DFT-energieminimalisatieprocedure worden gevangen in lokale energieminima. Methoden zoals ab-initio moleculaire dynamica (AIMD)8,9, krachtveld van het neurale netwerk 10,11,12,13,14,15,16 of DFT-gebaseerde metadynamica 17,18,19 worden vaak gebruikt om meer diverse elektrolytstructuren te verkennen, waaronder meer betekenisvolle bijproducten van elektrochemische reacties. Computationele screening om elektrolytcomponenten te genereren waarvan wordt voorspeld dat ze elektrochemisch stabieler zijn, wordt ook vaak geprobeerd20. Al deze methoden hebben echter hun eigen nadelen, zoals: het vereisen van grote en langdurige rekenkracht7, grote hoeveelheden ab-initio trainingsgegevens13 of voorkennis over de uiteindelijke elektrochemische reactie bijproducten om de simulatie te vertekenen in specifieke resultaten21.
We hebben onlangs een methode geïntroduceerd om ab-initio structuurenergieminimalisatie op een multischaalmanier uit te voeren door de energiegradiënten verkregen uit een ab-initio-methode, zoals DFT-atoomkrachten berekend met behulp van Vienna Ab-initio Simulation Package (VASP) software22, te verbinden met de structuurtransformatiefunctiegradiënten berekend met behulp van PyTorch (3T-VASP)23,24. Deze aanpak stelt de gebruiker in staat om eenvoudig een simulatiebox op te zetten die gevuld is met meerdere soorten en tellingen van elektrolytcomponentmoleculen en een externe atoomenergie- en krachtcalculator uit te voeren (zoals een klassiek krachtveld of VASP DFT). De minimalisering van de structuurenergie wordt vervolgens automatisch uitgevoerd op een multischaalmanier, waarbij de natuurlijke structuurtransformatiemodi van de relevante moleculen worden gerespecteerd (translaties en rotaties van verschillende segmenten van het molecuul). Omdat een 3T-VASP-simulatie doorgaans 'voltooid' is binnen 100-150 statische DFT-aanroepen, terwijl fysiek betekenisvolle reactiebijproducten worden gegenereerd (veel hiervan werden experimenteel waargenomen in eerdere literatuur)24, is het mogelijk om veel verschillende ensembles van 3T-VASP-trajecten uit te voeren om potentieel betekenisvolle elektrochemische reactieroutes en bijproducten in de elektrolyt te genereren voor verder computationeel of experimenteel onderzoek. De principes en wiskunde achter de minimalisering van de gradiëntstructuur op meerdere schalen zijn uitgebreid besproken in een eerdere publicatie24. In dit werk willen we de 3T-VASP-softwarearchitectuur en computationele workflow verder in detail beschrijven, de opzet van de computeromgeving die nodig is om 3T-VASP uit te voeren, de voorbereiding van invoerbestanden voor 3T-VASP-simulatie van nieuwe systemen, de monitoring van 3T-VASP-simulaties en het voorbeeld van outputtrajecten.
Ten eerste is het noodzakelijk om de algehele architectuur van de 3T-VASP-software te begrijpen, zoals weergegeven in Figuur 1. 3T-VASP werkt door de natuurlijke structuurtransformatiemodi in het molecuul te identificeren en te benutten (omdat dit structuurtransformaties zijn die voor de moleculen gemakkelijker uit te voeren zijn met behoud van een relatief lage ab-initio-structuurenergie )24. Hoewel het mogelijk is om deze structuurtransformatiemodi handmatig te programmeren voor elke nieuwe molecuulsoort (het is omslachtig om dit te doen), biedt 3T-VASP de mogelijkheid om dit proces voor de gebruiker te automatiseren door gebruik te maken van de informatie die beschikbaar is in het klassieke krachtveldbestand dat het molecuul24 vertegenwoordigt. Zodra deze structuurtransformatiemodi zijn bepaald voor de gewenste elektrolytmolecuulcomponenten, moet de gebruiker het vak voor de periodieke randvoorwaarden en de roostervectorparameters specificeren (het vak kan oorspronkelijk leeg zijn, of gedeeltelijk gevuld met individuele kationen of elektrodeoppervlak) om verder te worden gevuld met de gewenste typen en aantallen andere elektrolytmoleculen (zoals oplosmiddelen, zoutionen, additieven). Het 3T-algoritme gebruikt dan ofwel een klassiek krachtveld (een ingebouwde klassieke krachtveldcalculator wordt meegeleverd met 3T-VASP) of de VASP-software van de computeromgeving om atoomenergie en krachten te berekenen om structuurtransformatie op meerdere schalen uit te voeren, waardoor de structuurenergie kan worden geminimaliseerd in een bescheiden aantal statische DFT-oproepen24. Deze verlaging van de rekenkosten maakt het mogelijk om het elektrochemische reactietraject en de bijproductgeneratie te herhalen voor een groot aantal initiële structuren.

Figuur 1: Computationele workflow van 3T-VASP. (A) Voorverwerking van 3T-VASP-invoerstructuren (periodiek randvoorwaarderooster en kleine moleculen). De parametrisatie van het krachtveld van kleine moleculen kan automatisch worden uitgevoerd met behulp van de SwissParam-webserver, handmatig worden gewijzigd na de parametrisatie van de LigParGen-webserver, of worden geladen vanuit een cache op basis van eerder voltooide parametrisatie. De segmentatie van de micro- en macrogroepen van het 3T-algoritme gebeurt automatisch door de molecuulsubstructuren te parseren op basis van hun draaibare bindingen. Het PBC-roosterinvoerbestand heeft de indeling van het VASP POSCAR-bestand en moet zo zijn ontworpen dat er voldoende lege fysieke ruimte is om het gewenste aantal invoermoleculen te verpakken. Het PBC-rooster kan een lege doos zijn gevuld met een paar ionen of een oppervlaktestructuur met wat lege ruimte. (B) De gewenste typen en aantallen kleine moleculen worden met behulp van PackMol in de lege ruimte in het PBC-rooster geplaatst. (C) Minimalisering van de 3T-structuur op meerdere schalen met behulp van een ingebouwde krachtveldcalculator (3T-FF, meestal om vloeistofdispersie mogelijk te maken en een fysisch redelijke beginstructuur voor 3T-VASP te creëren zonder rekening te houden met chemische reacties). (D) Minimalisering van de 3T-structuurstructuur op meerdere schalen met behulp van externe software zoals de VASP-calculator (3T-VASP maakt elektrochemische reacties mogelijk). Klik hier om een grotere versie van deze figuur te bekijken.
Diverse open-source externe software, zoals GROningen Machine for Chemical Simulations (GROMACS), een klassieke software op basis van moleculaire dynamica op basis van krachtvelden, die nuttig is voor het uitvoeren van grootschalige moleculaire dynamicasimulaties25 en InterMol, een Python-bibliotheekcodebase ontwikkeld door Shirts et al. voor conversies van bestandsformaten in moleculaire dynamica26, worden gebruikt om geautomatiseerde parametrisatie van het krachtveld van moleculen en extractie van draaibare bindingen mogelijk te maken. VASP wordt gebruikt om een elektrochemische reactie mogelijk te maken tijdens de ab initio-fase (3T-VASP-cycli). De stappen die nodig zijn om deze afhankelijkheden te installeren, worden in dit artikel gepresenteerd.