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

Technische Samenvatting: STENSOR – Automatische berekening van symmetrie-geadapteerde tensoren onder spin-groep symmetrie

Probleemstelling
Magnetische materialen bezitten symmetrieën die worden beschreven door magnetische ruimtelijke groepen, wat exacte symmetrieën zijn die spin-baan koppeling (SOC) bevatten. Echter, in de niet-relativistische limiet waar SOC afwezig is, worden deze materialen beheerst door "spin-groepen" (of spin-ruimtelijke groepen). Hoewel SOC-effecten doorgaans zwak zijn, zijn ze cruciaal voor het onderscheiden van dominante, robuuste fysische eigenschappen van eigenschappen die puur relativistisch zijn. Een belangrijke uitdaging in de analyse van magnetische materialen is de automatische afleiding van symmetrie-geadapteerde vormen voor fysische eigenschapstensoren onder spin-groep symmetrie. Bestaande tools, zoals MTENSOR, behandelen magnetische symmetrieën maar adresseren niet de specifieke beperkingen opgelegd door spin-groepen, met name het onderscheid tussen niet-relativistische en door SOC gedreven tensorcoëfficiënten.

Methodologie
De auteurs presenteren STENSOR, een computationele tool geïntegreerd in de Bilbao Crystallographic Server, ontworpen om de berekening van symmetrie-geadapteerde tensoren onder SpPG-symmetrie te automatiseren. De software is geïmplementeerd in de taal Mathematica en maakt gebruik van een combinatie van projectormethoden, Gaussische decompositie (rijreductie) en SparseArray-afhandeling om de hoogdimensionale matrices te beheren die geassocieerd zijn met tensorreductie.

Het programma accepteert input via twee verschillende opties:

1. Optie A: Upload van structurele databestanden in scif (spin CIF) of mcif (magnetische CIF) formaten. Indien een mcif-bestand wordt verstrekt, neemt het programma een minimale SpPG aan, waarbij spin-only operaties worden afgeleid op basis van de collineariteit of coplanariteit van de magnetische momenten.
2. Optie B: Handmatige invoer van de generatoren van de georiënteerde SpPG. Gebruikers verstrekken 6-componenten vectoren (die het rooster en de spin-basis representeren) of 7-componenten vectoren (inclusief de determinant van de spin-operatie). De gebruiker moet ook het type spin-uitlijning (collineair, coplanaar of niet-coplanaar) en de bijbehorende richtingvector specificeren.

Het kernalgoritme verloopt via verschillende stappen:

• MPG Identificatie: Het programma identificeert de magnetische puntgroep (MPG) als een subgroep van de SpPG door operaties te vinden waarbij de spin- en ruimtelijke delen gerelateerd zijn ($U = \pm R$).
• Tensorreductie (MPG): Met behulp van projectoroperatoren berekent het programma de beperkingen die de MPG oplegt aan de tensorcomponenten. Dit omvat het construeren van $3^r \times 3^r$ matrices (waarbij $r$ de tensorrang is) die de Kronecker-producten van de symmetrieoperaties representeren.
• Tensorreductie (SpPG): Het programma breidt de reductie uit naar de volledige SpPG. Voor collinear en coplanaar geval omvat dit een extra stap om rekening te houden met de "intrinsieke spin-only groep" (bijv. de oneindige rotatiegroep $\infty_n$ voor collinear spins). Voor de oneindige groep gebruikt het programma een reeksexpansie van de rotatiematrix om lineaire homogene vergelijkingen af te leiden die de tensorcoëfficiënten verder beperken.
• Symmetrisatie: Het algoritme incorporeert intrinsieke symmetrieën (symmetrische of antisymmetrische paren van indices) met behulp van aanvullende projectormatrices, waarbij complexe Jahn-symbolen worden afgehandeld die toroidische componenten kunnen bevatten.

De output levert de symmetrie-geadapteerde tensorformuleringen voor zowel de SpPG als de MPG, uitgedrukt in een orthonormaal kader.

Belangrijkste Bijdragen en Resultaten
De primaire bijdrage is de ontwikkeling van een tool die in staat is om de gegeneraliseerde Jahn-symbolen te behandelen die vereist zijn voor spin-groepen, welke karakteriseren hoe tensorcomponenten transformeren onder gecombineerde ruimtelijke en spin-operaties. Het artikel demonstreert het nut van STENSOR aan de hand van twee voorbeelden uit de MAGNDATA-database:

1. MnF$_2$ (Collineair): Het programma analyseert de Hall-effect resistiviteitstensor. Het onthult dat hoewel de magnetische symmetrie meerdere coëfficiënten toestaat, de spin-symmetrie de tensor aanzienlijk beperkt, waardoor slechts één niet-nul coëfficiënt ($c_{63}$) overblijft. Dit geeft aan dat coëfficiënten die verdwijnen onder spin-symmetrie (zoals $c_{41}$) moeten voortkomen uit SOC. De analyse identificeert ook een niet-relativistische $d$-golf spin-splitting ($k_x k_y$ afhankelijkheid) in de elektronische banden.
2. Mn$_3$Sn (Coplanaar): De tool analyseert tensoren voor magnetische susceptibiliteit, piezomagnetisme en het anomalie Hall-effect (AHE). Het toont aan dat de AHE-tensor nul is onder SpPG-symmetrie maar niet-nul onder MPG-symmetrie, wat de SOC-oorsprong bevestigt. Verder illustreert het artikel de "spin-basis" optie, waarbij wordt gedemonstreerd hoe structuren te behandelen die alleen verschillen door een rigide rotatie van de spin-configuratie (bijv. entry 0.199 versus 0.200 in MAGNDATA), wat resulteert in verschillende fysische tensor-eigenschappen ondanks dat ze dezelfde onderliggende spin-ruimtelijke groep symmetrie hebben.

Betekenis en Claims
De auteurs beweren dat STENSOR een kritiek gat vult in het computationele instrumentarium voor onderzoek naar magnetische materialen door een systematisch onderscheid mogelijk te maken tussen niet-relativistische en relativistische (SOC) effecten. Door de tensorformuleringen onder SpPG versus MPG te vergelijken, kunnen onderzoekers onmiddellijk identificeren welke fysische eigenschappen robuust zijn (niet-relativistisch) en welke waarschijnlijk kleine, door SOC gedreven correcties zijn.

Het artikel positioneert STENSOR als een complement aan bestaande tools zoals MTENSOR en databases zoals MAGNDATA. Er wordt benadrukt dat hoewel de tool krachtig is voor het afleiden van theoretische beperkingen, experimentele magnetische structuren SOC-kenmerken kunnen bevatten die de werkelijke symmetrie reduceren tot onder het ideale geval zonder SOC. Daarom waarschuwen de auteurs dat in dergelijke reële scenario's de vergelijking van tensorformuleringen de relatieve en niet-relatieve bijdragen mogelijk niet perfect kan scheiden als de geobserveerde symmetrie al gereduceerd is door SOC-effecten. De tool wordt gepresenteerd als een middel om systematische studies van magnetische verbindingen te faciliteren, met name in het opkomende veld van altermagnetisme en niet-relativistische spintronica.