Automatic calculation of symmetry-adapted tensors under spin-group symmetry. STENSOR, a new tool of the Bilbao Crystallographic Server

Sintesi Tecnica: STENSOR – Calcolo Automatico di Tensori Adattati alla Simmetria sotto Gruppi di Spin

Problematica
I materiali magnetici possiedono simmetrie descritte dai gruppi spaziali magnetici, che sono simmetrie esatte includendo l'accoppiamento spin-orbita (SOC). Tuttavia, nel limite non relativistico in cui il SOC è assente, questi materiali sono governati da "gruppi di spin" (o gruppi di spazio di spin). Sebbene gli effetti SOC siano tipicamente deboli, essi sono cruciali per distinguere le proprietà fisiche dominanti e robuste da quelle puramente relativistiche. Una sfida significativa nell'analisi dei materiali magnetici è la derivazione automatica delle forme dei tensori adattate alla simmetria sotto la simmetria del gruppo di spin. A differenza dei gruppi puntuali magnetici (MPG), i gruppi puntuali di spin (SpPG) comportano un'interazione più complessa tra operazioni spaziali ($R$) e operazioni di spin ($U$), richiedendo regole di trasformazione generalizzate che estendano oltre il normale principio di Neumann. Gli strumenti esistenti, come MTENSOR, gestiscono le simmetrie magnetiche ma non affrontano i vincoli specifici imposti dai gruppi di spin, in particolare la distinzione tra coefficienti tensoriali non relativistici e derivanti dal SOC.

Metodologia
Gli autori presentano STENSOR, uno strumento computazionale integrato nel Bilbao Crystallographic Server, progettato per automatizzare il calcolo dei tensori adattati alla simmetria sotto la simmetria SpPG. Il software è implementato nel linguaggio Mathematica e utilizza una combinazione di metodi di proiezione, decomposizione gaussiana (riduzione di riga) e gestione di SparseArray per gestire le matrici ad alta dimensionalità associate alla riduzione tensoriale.

Il programma accetta l'input tramite due opzioni distinte:

1. Opzione A: Caricamento di file di dati strutturali in formati scif (spin CIF) o mcif (magnetic CIF). Se viene fornito un file mcif, il programma assume un minimo SpPG, derivando le operazioni di solo spin basate sulla collinearità o coplanarità dei momenti magnetici.
2. Opzione B: Inserimento manuale dei generatori dell'SpPG orientato. Gli utenti forniscono vettori a 6 componenti (che rappresentano le basi reticolari e di spin) o vettori a 7 componenti (inclusi il determinante dell'operazione di spin). L'utente deve anche specificare il tipo di allineamento di spin (collineare, coplanare o non coplanare) e il relativo vettore di direzione.

L'algoritmo centrale procede in diverse fasi:

• Identificazione dell'MPG: Il programma identifica il gruppo puntuale magnetico come un sottogruppo dell'SpPG, trovando le operazioni in cui le parti di spin e spaziali sono correlate ($U = \pm R$).
• Riduzione Tensoriale (MPG): Utilizzando operatori di proiezione, il programma calcola i vincoli imposti dall'MPG sulle componenti del tensore. Ciò comporta la costruzione di matrici $3^r \times 3^r$ (dove $r$ è il rango del tensore) che rappresentano i prodotti di Kronecker delle operazioni di simmetria.
• Riduzione Tensoriale (SpPG): Il programma estende la riduzione all'intero SpPG. Per i casi collineari e coplanari, ciò comporta un passaggio aggiuntivo per tenere conto del "gruppo di solo spin intrinseco" (ad esempio, il gruppo di rotazione infinito $\infty_n$ per gli spin collineari). Per il gruppo infinito, il programma impiega una serie di espansione della matrice di rotazione per derivare equazioni omogenee lineari che vincolano ulteriormente i coefficienti del tensore.
• Simmetrizzazione: L'algoritmo incorpora simmetrie intrinseche (coppie simmetriche o antisimmetriche di indici) utilizzando matrici di proiezione aggiuntive, gestendo simboli di Jahn complessi che possono includere componenti toroidiche.

L'output fornisce le forme tensoriali adattate alla simmetria sia per l'SpPG che per l'MPG, espresse in un sistema di riferimento ortonormale.

Contributi Chiave e Risultati
Il contributo primario è lo sviluppo di uno strumento capace di gestire i simboli di Jahn generalizzati necessari per i gruppi di spin, che caratterizzano come le componenti del tensore si trasformano sotto operazioni combinate di spazio e spin. Il documento dimostra l'utilità di STENSOR attraverso due esempi tratti dal database MAGNDATA:

1. MnF$_2$ (Collineare): Il programma analizza il tensore di resistività dell'effetto Hall. Rivela che, mentre la simmetria magnetica permette molteplici coefficienti, la simmetria di spin restringe significativamente il tensore, lasciando un solo coefficiente non nullo ($c_{63}$). Ciò indica che i coefficienti che svaniscono sotto la simmetria di spin (come $c_{41}$) devono derivare dal SOC. L'analisi identifica anche uno splitting di spin a onda $d$ non relativistico (dipendenza $k_x k_y$) nelle bande elettroniche.
2. Mn$_3$Sn (Coplanare): Lo strumento analizza i tensori per la suscettibilità magnetica, il piezomagnetismo e l'effetto Hall anomalo (AHE). Mostra che il tensore AHE è nullo sotto la simmetria SpPG ma non nullo sotto la simmetria MPG, confermando la sua origine SOC. Inoltre, il documento illustra l'opzione "base di spin", dimostrando come gestire strutture che differiscono solo per una rotazione rigida della disposizione di spin (ad esempio, l'entrata 0.199 vs 0.200 in MAGNDATA), il che risulta in diverse proprietà tensoriali fisiche nonostante abbiano la stessa simmetria di gruppo di spazio di spin sottostante.

Significatività e Rivendicazioni
Gli autori affermano che STENSOR colma una lacuna critica negli strumenti computazionali per la ricerca sui materiali magnetici, consentendo la distinzione sistematica tra effetti non relativistici e relativistici (SOC). Confrontando le forme tensoriali consentite da SpPG rispetto a MPG, i ricercatori possono identificare immediatamente quali proprietà fisiche sono robuste (non relativistiche) e quali sono probabilmente piccole correzioni guidate dal SOC.

Il documento posiziona STENSOR come un complemento agli strumenti esistenti come MTENSOR e ai database come MAGNDATA. Sottolinea che, sebbene lo strumento sia potente per derivare vincoli teorici, le strutture magnetiche sperimentali possono incorporare caratteristiche SOC che riducono la simmetria effettiva al di sotto del caso ideale privo di SOC. Di conseguenza, gli autori avvertono che in tali scenari del mondo reale, il confronto delle forme tensoriali può non separare perfettamente i contributi relativistici da quelli non relativistici se la simmetria osservata è già ridotta dagli effetti SOC. Lo strumento è presentato come un mezzo per facilitare studi sistematici di composti magnetici, in particolare nel campo emergente dell'altermagnetismo e della spintronica non relativistica.