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

技術要約：STENSOR – スピン群対称性下における対称適応テンソルの自動計算

問題提起
磁性材料は、スピン軌道相互作用（SOC）を含む厳密な対称性である磁気空間群によって記述される対称性を有している。しかし、SOCが存在しない非相対論的極限において、これらの材料は「スピン群」（またはスピン空間群）に従う。SOCの効果は通常微弱であるが、支配的で堅牢な物理的性質と、純粋に相対論的な性質を区別するために極めて重要である。磁性材料の解析における大きな課題は、スピン群対称性下での物理的性質テンソルの対称適応形式を自動的に導出することである。MTENSORのような既存のツールは磁気対称性を扱うが、スピン群が課す特定の制約、特に非相対論的成分とSOCに起因するテンソル係数の区別については対処していない。磁気点群（MPG）とは異なり、スピン点群（SpPG）は、空間操作（$R$）とスキ操作（$U$）の間のより複雑な相互作用を伴い、標準的なノイマンの原理を超えた一般化された変換規則を必要とする。

手法
著者らは、SpPG対称性下での対称適応テンソルの計算を自動化するために設計された、Bilbao Crystallographic Serverに統合された計算ツールであるSTENSORを提示している。このソフトウェアはMathematica言語で実装されており、高次元の行列を管理するために、射影法、ガウス消去法（行簡約）、およびSparseArray処理を組み合わせて利用している。

プログラムは、以下の2つの異なるオプションを通じて入力を受け付ける：

1. オプションA： scif（スピンCIF）またはmcif（磁気CIF）形式の構造データファイルのアップロード。mcifファイルが提供された場合、プログラムは磁気モーメントの共線性（collinearity）または共面性（coplanarity）に基づき、最小限のSpPGを導出し、スピンのみの操作を導出する。
2. オプションB： 方向付けられたSpPGの生成子の手動入力。ユーザーは、格子およびスピン基底を表す6成分ベクトル、またはスピン操作の行列式を含む7成分ベクトルを提供する。また、ユーザーはスピンの整列タイプ（共線、共面、または非共面）および関連する方向ベクトルを指定する必要がある。

コアアルゴリズムは以下のステップで進行する：

• MPGの特定： プログラムは、スピン部分と空間部分が関連付けられている（$U = \pm R$）操作を見つけることで、SpPGのサブグループとしての磁気点群を特定する。
• テンソル簡約（MPG）： 射影演算子を用いて、MPGがテンソル成分に課す制約を計算する。これには、対称操作のクロネッカー積を表す$3^r \times 3^r$行列（$r$はテンソルのランク）の構築が含まれる。
• テンソル簡約（SpPG）： プログラムは、完全なSpPGへの簡約を拡張する。共線および共面の場合、これは「固有のスピンのみの群」（例：共線スピンに対する無限回転群$\infty_n$）を考慮するための追加ステップを伴う。無限群に対しては、テンソル係数をさらに制約するために、回転行列の級数展開を用いて線形同次方程式を用いる。
• 対称化： アルゴリズムは、トーリディック（toroidic）成分を含む可能性のある複雑なヤーン記号（Jahn symbols）を扱うための、追加の射影行列を用いた固有の対称性（対称または反対称な指数のペア）を組み込む。

出力は、正規直交座標系におけるSpPGおよびMPGの両方の対称適応テンソル形式を提供する。

主な貢献と結果
主要な貢献は、スピン群のための一般化されたヤーン記号（テンソル成分が空間操作とスピン操作の結合の下でどのように変換するかを特徴付けるもの）を扱うことができるツールの開発である。論文では、MAGNDATAデータベースから抽出された2つの例を通じてSTENSORの有用性を実証している。

1. MnF$_2$（共線）： プログラムはホール効果抵抗率テンソルを解析している。それは、磁気対称性が複数の係数を許容する一方で、スピン対称性がテンソルを大幅に制限し、唯一の非ゼロ係数（$c_{63}$）を残すことを明らかにしている。これは、$c_{41}$のようなスピン対称性下で消失する係数が、SOCに由来しなければならないことを示している。また、電子バンドにおける非相対論的な$d$波スピン分裂（$k_x k_y$依存性）も特定している。
2. Mn$_3$Sn（共面）： このツールは、磁気感受率、ピエゾ磁性、および異常ホール効果（AHE）のテンソルを解析する。それは、AHEテンソルがSpPG対称性下では零であるが、MPG対称性下では非ゼロであることを示しており、そのSOC起源を裏付けている。さらに、論文は「スピン基底」オプションを説明し、スピン配置の剛体回転のみによって異なる構造（例：MAGNDATAのentry 0.199対0.200）をどのように扱うかを実証している。これは、同一の基礎となるスピン空間群対称性を持ちながら、異なる物理的テンソル特性をもたらす。

意義と主張
著者らは、STENSORが、非相対論的効果と相対論的（SOC）効果を系統的に区別することを可能にすることで、磁性材料研究における計算ツールの決定的な空白を埋めると主張している。SpPGとMPGの下で許容されるテンソル形式を比較することにより、研究者はどの物理的性質が堅牢（非相対論的）であり、どれがSOCに起因する小さな補正である可能性が高いかを即座に識別できる。

本論文は、STENSORを既存のツールであるMTENSORやデータベースであるMAGNDATAへの補完的なものとして位置づけている。著者らは、本ツールは理論的な制約を導出するための強力な手段であるが、実験的な磁気構造は、理想的なSOCフリーのケースよりも対称性を減少させるSOCの特徴を取り込んでいる可能性があることを強調している。したがって、このような現実世界のシナリオにおいては、観測された対称性がすでにSOCによって減少している場合、テンソル形式の比較が相対論的寄与と非相対論的寄与を完全に分離することにはならない可能性があると注意を促している。本ツールは、特にアルターマグネティズム（altermagnetism）や非相対論的スピントロニクスの新興分野において、磁性化合物の系統的な研究を促進する手段として提示されている。