Note on Spin Structure of the Classical Vector Spin Heisenberg Model

Kiyosi Terao

DOI: https://doi.org/10.1143/JPSJ.74.2642

2005-06-30

Abstract:A comment on Yoshimori's helical spin structure theory.

Materials Science

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the description of the spin structure in the Classical Vector Spin Heisenberg Model. In particular, it explores the characteristics of the spin structure in the single - \( q \) model and proves that the spin vector \([i_\nu(q), j_\nu(q)]\) is independent of the site \(\nu\) at all sites within any unit cell.

### Specific problem analysis

1. **Mathematical description of spin structure**:
The paper starts from the classical Heisenberg model and gives the energy expression:
\[
E = -\frac{1}{2} \sum_{n\nu, m\mu} J_{n\nu, m\mu} \mathbf{s}_{n\nu} \cdot \mathbf{s}_{m\mu}
\]
where \(\mathbf{s}_{n\nu}\) represents the spin on the \(\nu\) - th site within the \(n\) - th unit cell, and \(J_{n\nu, m\mu}\) is the exchange parameter connecting these two sites.

2. **Energy expression after Fourier transform**:
After using the Fourier transform, the energy can be expressed as:
\[
E = -\frac{N}{2} \sum_k \sum_{\nu,\mu} J_{\nu\mu}(k) \mathbf{s}_\nu(k) \cdot \mathbf{s}_\mu(-k)
\]
where \(k\) is the wave vector in the first Brillouin zone, and \(\mathbf{s}_\nu(k)\) is the Fourier component of the spin.

3. **Constraint conditions**:
In order to solve the ground - state spin structure, the following constraint conditions need to be satisfied:
\[
\sum_k \mathbf{s}_\nu(k) \cdot \mathbf{s}_\nu(-k) = s^2
\]
and
\[
\sum_k \mathbf{s}_\nu(k) \cdot \mathbf{s}_\nu(k') = 0 \quad \text{for } k + k' \neq 0
\]

4. **Single - wave - vector \(q\) model assumption**:
It is assumed that the ground state can be described by a pair of wave vectors \(q\) and \(-q\):
\[
\mathbf{s}_{n\nu} = \mathbf{s}_\nu(q) e^{i q \cdot R_{n\nu}} + \mathbf{s}_\nu(-q) e^{-i q \cdot R_{n\nu}}
\]
Under this assumption, the constraint conditions become:
\[
2 \mathbf{s}_\nu(q) \cdot \mathbf{s}_\nu(-q) = s^2
\]
and
\[
\mathbf{s}_\nu(q) \cdot \mathbf{s}_\nu(q) = 0
\]

5. **Orthogonal decomposition and independence proof**:
Decompose \(\mathbf{s}_\nu(q)\) into real and imaginary parts:
\[
\mathbf{s}_\nu(q) = \mathbf{s}'_\nu(q) + i \mathbf{s}''_\nu(q)
\]
The constraint conditions can be written as:
\[
2 [\mathbf{s}'_\nu(q)^2 + \mathbf{s}''_\nu(q)^2] = s^2
\]
\[
\mathbf{s}'_\nu(q)^2 - \mathbf{s}''_\nu(q)