Lo studio delle vie di reazione elettrochimica nelle nuove composizioni di elettroliti delle batterie è importante per identificare metodi per migliorare le prestazioni e la durata delle batterie dei veicoli elettrici1. Tuttavia, tali studi sono spesso difficili perché gli elettroliti delle batterie sono spesso prodotti mescolando diversi componenti, come solventi, sale e molecole di additivi, che interagiscono tra loro e con diverse superfici (elettrodi catodici e anodi) a diverse tensioni e temperature di funzionamento della batteria2. Negli esperimenti, alcune delle reazioni irreversibili di decomposizione elettrochimica dell'elettrolita sono più facili da studiare perché producono piccoli sottoprodotti di molecole di gas che vengono rilasciati dalla soluzione elettrolitica nell'aria (rendendo di conseguenza più facile la sonda utilizzando tecniche sperimentali come la gascromatografia 3,4,5). Tuttavia, molti di questi sottoprodotti sono molecole più grandi o miscele solide organiche-inorganiche complesse, come i composti complessi di polimeri di organolitio6, che non verranno rilasciati nell'ambiente come molecole di gas. Ciò rende difficile studiare sperimentalmente questi percorsi di reazione elettrochimica più complessi2.
La modellazione ab-initio, come la teoria del funzionale della densità (DFT), è un metodo promettente per studiare i potenziali percorsi di degradazione elettrochimica nell'elettrolita in silico7. Tuttavia, la semplice minimizzazione dell'energia DFT della struttura complessa dell'elettrolita (miscela liquida con concentrazioni di componenti elettrolitici sperimentalmente ragionevoli in una scatola di condizioni al contorno periodiche) per lo più non riuscirà a generare strutture a bassa energia corrispondenti a sottoprodotti di reazioni elettrochimiche fisicamente significativi. Le strutture minimizzate con DFT hanno tipicamente un'energia più elevata e rappresentano sottoprodotti non fisici che corrispondono a percorsi di degradazione elettrochimica errati, perché le strutture sono intrappolate in minimi di energia locale durante la procedura di minimizzazione dell'energia DFT. Metodi come la dinamica molecolare ab-initio (AIMD)8,9, il campo di forza della rete neurale 10,11,12,13,14,15,16 o la metadinamica basata su DFT 17,18,19 sono spesso utilizzati per esplorare strutture elettrolitiche più diversificate, che possono includere sottoprodotti di reazioni elettrochimiche più significativi. Spesso si tenta anche lo screening computazionale per generare componenti elettrolitici che si prevede siano elettrochimicamente più stabili20. Tuttavia, tutti questi metodi hanno i loro svantaggi, come ad esempio: richiedere grandi e lunghe risorse computazionali7, una grande quantità di dati di addestramento ab-initio 13 o conoscenze preliminari sugli eventuali sottoprodotti della reazione elettrochimica per influenzare la simulazione in risultati specifici21.
Recentemente abbiamo introdotto un metodo per eseguire la minimizzazione dell'energia della struttura ab-initio in modo multi-scala collegando i gradienti di energia ottenuti da qualsiasi metodo ab-initio, come le forze atomiche DFT calcolate utilizzando il software Vienna Ab-initio Simulation Package (VASP)22, con i gradienti della funzione di trasformazione della struttura calcolati utilizzando PyTorch (3T-VASP)23,24. Questo approccio consente all'utente di configurare semplicemente una scatola di simulazione riempita con più tipi e conteggi di molecole componenti elettrolitiche ed eseguire un calcolatore esterno di energia atomica e forza (come un campo di forza classico o VASP DFT). La minimizzazione dell'energia della struttura viene quindi eseguita automaticamente in modo multiscala, che rispetta le modalità di trasformazione della struttura naturale delle molecole rilevanti (traslazioni e rotazioni di diversi segmenti della molecola). Poiché una simulazione 3T-VASP è tipicamente "completata" entro 100-150 chiamate statiche di DFT generando sottoprodotti di reazione fisicamente significativi (molti di questi sono stati osservati sperimentalmente in letteratura precedente)24, è possibile eseguire molti diversi insiemi di traiettorie 3T-VASP per generare percorsi di reazione elettrochimica potenzialmente significativi e sottoprodotti nell'elettrolita per ulteriori indagini computazionali o sperimentali. I principi e la matematica alla base della minimizzazione della struttura del gradiente multiscala sono stati discussi in modo approfondito in una precedente pubblicazione24. In questo lavoro, miriamo a dettagliare ulteriormente l'architettura del software 3T-VASP e il flusso di lavoro computazionale, la configurazione dell'ambiente di calcolo necessario per eseguire 3T-VASP, la preparazione dei file di input per la simulazione 3T-VASP di nuovi sistemi, il monitoraggio delle simulazioni 3T-VASP e l'esempio delle traiettorie di output.
Innanzitutto, è necessario comprendere l'architettura generale del software 3T-VASP, come mostrato nella Figura 1. 3T-VASP funziona identificando e sfruttando le modalità di trasformazione della struttura naturale nella molecola (perché si tratta di trasformazioni strutturali che sono più facili da eseguire per le molecole pur mantenendo un'energia di struttura ab-initio relativamente bassa)24. Mentre è possibile programmare manualmente queste modalità di trasformazione della struttura per ogni nuova specie di molecola (è complicato farlo), 3T-VASP offre la possibilità di automatizzare questo processo per l'utente sfruttando le informazioni disponibili nel classico file di campo di forza che rappresenta la molecola24. Una volta determinate queste modalità di trasformazione della struttura per i componenti della molecola dell'elettrolita desiderati, l'utente deve specificare la scatola della condizione al contorno periodica e i suoi parametri vettoriali del reticolo (la scatola può essere originariamente vuota o parzialmente riempita con singoli cationi o superficie dell'elettrodo) per essere ulteriormente riempita con i tipi e i numeri desiderati di altre molecole di elettrolita (come solventi, ioni salini, additivi). L'algoritmo 3T utilizzerà quindi il campo di forza classico (un calcolatore di campo di forza classico integrato è incluso in 3T-VASP) o il software VASP dell'ambiente di calcolo per calcolare l'energia atomica e le forze per eseguire la trasformazione della struttura multiscala, che può ridurre al minimo l'energia della struttura in un numero modesto di chiamate DFT statiche24. Questa riduzione dei costi computazionali consente di ripetere la traiettoria della reazione elettrochimica e la generazione di sottoprodotti per un gran numero di strutture iniziali.

Figura 1: Flusso di lavoro computazionale di 3T-VASP. (A) Pre-elaborazione di strutture di input 3T-VASP (reticolo di condizioni al contorno periodiche e piccole molecole). La parametrizzazione del campo di forza di piccole molecole può essere eseguita automaticamente utilizzando il server web SwissParam, modificata manualmente dopo la parametrizzazione del server web LigParGen o caricata da una cache basata sulla parametrizzazione precedentemente completata. La segmentazione dei micro e macro gruppi dell'algoritmo 3T viene eseguita automaticamente analizzando le sottostrutture delle molecole in base ai loro legami ruotabili. Il file di input del reticolo PBC è nel formato del file VASP POSCAR e deve essere progettato per avere abbastanza spazio fisico vuoto per impacchettare il numero desiderato di molecole di input. Il reticolo PBC può essere una scatola vuota riempita con pochi ioni o una struttura superficiale con un po' di spazio vuoto. (B) I tipi e il numero desiderati di piccole molecole vengono inseriti nello spazio vuoto nel reticolo PBC utilizzando PackMol. (C) Minimizzazione della struttura 3T a gradiente multiscala utilizzando il calcolatore di campo di forza integrato (3T-FF, principalmente per consentire la dispersione del liquido e creare una struttura iniziale fisicamente ragionevole per 3T-VASP senza consentire reazioni chimiche). (D) Minimizzazione della struttura 3T a gradiente multiscala utilizzando software esterni come il calcolatore VASP (3T-VASP consente di procedere con le reazioni elettrochimiche). Clicca qui per visualizzare una versione più grande di questa figura.
Vari software esterni open-source, come GROningen Machine for Chemical Simulations (GROMACS), un classico software di dinamica molecolare basato su campi di forza, utile per eseguire simulazioni di dinamica molecolare su larga scala25 e InterMol, una libreria Python sviluppata da Shirts et al. per le conversioni di formato di file di dinamica molecolare26, vengono utilizzati per consentire la parametrizzazione automatizzata del campo di forza molecolare e l'estrazione di legami ruotabili. Il VASP viene utilizzato per abilitare la reazione elettrochimica durante la fase ab initio (cicli 3T-VASP). I passaggi necessari per installare queste dipendenze sono presentati in questo articolo.