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

Résumé technique : STENSOR – Calcul automatique des tenseurs adaptés à la symétrie sous le groupe de spin

Énoncé du problème
Les matériaux magnétiques possèdent des symétries décrites par des groupes d'espace magnétiques, qui sont des symétries exactes incluant le couplage spin-orbite (SOC). Cependant, dans la limite non relativiste où le SOC est absent, ces matériaux sont régis par des « groupes de spin » (ou groupes d'espace de spin). Bien que les effets du SOC soient généralement faibles, ils sont cruciaux pour distinguer les propriétés physiques dominantes et robustes de celles qui sont purement relativistes. Un défi important dans l'analyse des matériaux magnétiques est la dérivation automatique des formes de tenseurs adaptées à la symétrie sous la symétrie du groupe de spin. Contrairement aux groupes ponctuels magnétiques (MPG), les groupes ponctuels de spin (SpPG) impliquent une interaction plus complexe entre les opérations spatiales ($R$) et les opérations de spin ($U$), nécessant des règles de transformation généralisées qui étendent au-delà du principe de Neumann standard. Les outils existants, tels que MTENSOR, traitent les symétries magnétiques mais ne traitent pas les contraintes spécifiques imposées par les groupes de spin, en particulier la distinction entre les coefficients de tenseurs non relativistes et ceux induits par le SOC.

Méthodologie
Les auteurs présentent STENSOR, un outil de calcul intégré au serveur de cristallographie de Bilbao, conçu pour automatiser le calcul des tenseurs adaptés à la symétrie sous la symétrie SpPG. Le logiciel est implémenté dans le langage Mathematica et utilise une combinaison de méthodes de projection, de décomposition gaussienne (réduction de rang) et de gestion de SparseArray pour gérer les matrices de haute dimension associées à la réduction de tenseur.

Le programme accepte des entrées via deux options distinctes :

1. Option A : Téléchargement de fichiers de données structurelles aux formats scif (spin CIF) ou mcif (magnetic CIF). Si un fichier mcif est fourni, le programme suppose un SpPG minimal, dérivant les opérations de spin uniquement sur la base de la colinéarité ou de la coplanarité des moments magnétiques.
2. Option B : Saisie manuelle des générateurs du SpPG orienté. Les utilisateurs fournissent des vecteurs à 6 composantes (représentant les bases de réseau et de spin) ou des vecteurs à 7 composantes (incluant le déterminant de l'opération de spin). L'utilisateur doit également spécifier le type d'alignement de spin (colinéaire, coplanaire ou non coplanaire) ainsi que le vecteur de direction associé.

L'algorithme central procède en plusieurs étapes :

• Identification du MPG : Le programme identifie le groupe ponctuel magnétique comme un sous-groupe du SpPG en trouvant les opérations où les parties spin et spatiale sont liées ($U = \pm R$).
• Réduction de tenseur (MPG) : En utilisant des opérateurs de projection, le programme calcule les contraintes imposées par le MPG sur les composantes du tenseur. Cela implique la construction de matrices $3^r \times 3^r$ (où $r$ est le rang du tenseur) représentant les produits de Kronecker des opérations de symétrie.
• Réduction de tenseur (SpPG) : Le programme étend la réduction à l'ensemble du SpPG. Pour les cas colinéaires et coplanaires, cela implique une étape supplémentaire pour tenir compte du « groupe de spin intrinsèque » (par exemple, le groupe de rotation infinie $\infty_n$ pour les spins colinéaires). Pour le groupe infini, le programme emploie une expansion en série de la matrice de rotation pour dériver des équations homogènes linéaires qui contraignent davantage les coefficients du tenseur.
• Symétrisation : L'algorithme incorpore les symétries intrinsèques (paires symétriques ou antisymétriques d'indices) en utilisant des matrices de projection additionnelles, gérant les symboles de Jahn complexes qui peuvent inclure des composantes toroidiques.

La sortie fournit les formes de tenseurs adaptées à la symétrie pour le SpPG et le MPG, exprimées dans un référentiel orthonormé.

Contributions clés et résultats
La contribution principale est le développement d'un outil capable de gérer les symboles de Jahn généralisés requis pour les groupes de spin, qui caractérisent la manière dont les composantes de tenseur se transforment sous des opérations combinées d'espace et de spin. L'article démontre l'utilité de STENSOR à travers deux exemples tirés de la base de données MAGNDATA :

1. MnF$_2$ (Colinéaire) : Le programme analyse le tenseur de résistivité de l'effet Hall. Il révèle que si la symétrie magnétique autorise plusieurs coefficients, la symétrie de spin restreint considérablement le tenseur, ne laissant qu'un seul coefficient non nul ($c_{63}$). Cela indique que les coefficients s'annulant sous la symétrie de spin (comme $c_{41}$) doivent provenir du SOC. L'analyse identifie également un éclatement de spin de type onde $d$ non relativiste (dépendance $k_x k_y$) dans les bandes électroniques.
2. Mn$_3$Sn (Coplanaire) : L'outil analyse les tenseurs pour la susceptibilité magnétique, le piézomagnétisme et l'effet Hall anomal (AHE). Il montre que le tenseur de l'AHE est nul sous la symétrie SpPG mais non nul sous la symétrie MPG, confirmant son origine liée au SOC. De plus, l'article illustre l'option « base de spin », démontrant comment gérer des structures qui diffèrent seulement par une rotation rigide de l'arrangement de spin (par exemple, l'entrée 0.199 vs 0.200 dans MAGNDATA), ce qui entraîne des propriétés de tenseur physique différentes malgré avoir la même symétrie de groupe d'espace de spin sous-jacente.

Signification et affirmations
Les auteurs affirment que STENSOR comble une lacune critique dans l'outillage de calcul pour la recherche sur les matériaux magnétiques en permettant la distinction systématique entre les effets non relativistes et relativistes (SOC). En comparant les formes de tenseurs autorisées sous SpPG par rapport à MPG, les chercheurs peuvent identifier immédiatement quelles propriétés physiques sont robustes (non relativistes) et lesquelles sont probablement de petites corrections induites par le SOC.

L'article positionne STENSOR comme un complément aux outils existants comme MTENSOR et aux bases de données comme MAGNDATA. Il souligne que bien que l'outil soit puissant pour dériver des contraintes théoriques, les structures magnétiques expérimentales peuvent incorporer des caractéristiques de SOC qui réduisent la symétrie réelle en dessous du cas idéal sans SOC. Par conséquent, les auteurs avertissent que dans de tels scénarios réels, la comparaison des formes de tenseurs peut ne pas séparer parfaitement les contributions relativistes des contributions non relativistes si la symétrie observée est déjà réduite par les effets du SOC. L'outil est présenté comme un moyen de faciliter les études systématiques des composés magnétiques, particulièrement dans le domaine émergent de l'altérnétisme et de la spintronique non relativiste.