1 Introduction
As an intriguing field in modern correlation physics, frustrated magnetism has attracted much interest in both theoretical and experimental efforts [
1]. In general, frustration describes various competing interactions in a system that cannot be satisfied simultaneously. For frustrated spin systems, these interactions refer to exchange interactions between the local magnetic moments. It is expected that strong magnetic frustration could prevent the development of conventional magnetic orders and strongly suppress the ordering temperature. As a result, a wide range of exotic quantum phenomena may emerge, including quantum phases such as quantum spin liquids [
2–
4] and the spin nematic phase [
5]. To understand these novel physics, new concepts represented by the internal gauge structure and fractionalized excitations have been introduced and developed in the past decades [
1,
2,
4]. Among these phenomena, quantum fluctuations play a significant role even in the absence of geometric frustration [
6].
Surprisingly, when quantum fluctuation is not important or even absent, strong frustration still has the ability to realize rich and interesting physics. One such example is the spiral spin liquid that was first proposed for the
J1–
J2 Heisenberg model on the geometrically unfrustrated diamond lattice [
7]. In this spiral spin liquid, the classical ground states are coplanar spin spirals and have macroscopic degeneracy. The propagation vectors of the spiral spin configurations form a continuous manifold dubbed the spiral surface or spiral contour in reciprocal space. At finite temperatures, strong thermal fluctuations on the spiral manifold can stand out from the trivial paramagnetic regime. Hence, there could be a broad spiral spin liquid regime that smoothly connects to the trivial paramagnet in the high-temperature regime, and this spiral spin liquid regime can manifest itself in the spin correlations and thermodynamic properties. Despite being quite interesting, the spiral spin liquid is in the thermal paramagnetic regime and is not really a new state of matter. In Fig. 1, a representative behavior of the magnetic susceptibility of a typical frustrated magnet is depicted in which the spiral spin liquid would be located in the regime from the ordering temperature
Tc to the Curie- Weiss temperature |Θ
CW|. At very low temperatures, the spiral orderings may develop from so-called thermal order by disorder or from other sub-leading interactions [
7,
8]. The external magnetic field could further select a combination of equivalent and coplanar magnetic wavevectors and stabilize non-trivial topological spin structures such as vortexes, merons, and skyrmion lattices [
9–
13].
Recently, the degenerate spiral surface has been confirmed directly by neutron-scattering experiments in a long-promised spin-5/2 diamond-lattice compound MnSc
2S
4 [
11,
13] with the single-crystal sample nine years after the theoretical proposal [
7]. This caused a new wave of attention to be paid to the spiral spin liquids, the proximate orders, and the underlying novel physics [
12,
14–
22]. Although many relevant models and materials have been well studied in past decades, a systematic study for the flourishing family of the spiral spin liquids is still lacking. A recent theoretical work by Attig
et al. gave a quite complete list of the spin models conveying the spiral manifold [
23]. What the authors of Ref. [
23] focused on are the spin-fermion correspondence and patterns of spiral manifolds at zero temperature. The resulting behaviors at finite temperatures still remain to be understood. The purpose of this work is to classify the spiral spin liquids, as well as to illustrate the characteristics of their finite-temperature behaviors by constructing the minimal models. The basic idea is to consider the dimensions and codimensions of the spiral manifold (see Table 1). The spin interactions are then designed accordingly and the massively degenerate ground-state manifold effectively manipulated. For both spiral contour and spiral surface cases, a large regime is identified in which spiral spin liquid physics dominates up to a high temperature compared to interactions. The robustness of the spiral spin liquid features is emphasized, which is important for the realization and identification in the realistic materials. Also discussed are the thermal order-by-disorder mechanism [
24] and its consequences in three-dimensional systems. It is shown that thermodynamic quantities such as the specific heat would be modified by the induced spiral ordering, and that a distinct temperature dependence is exhibited for spiral manifolds with different dimensions. The scenario of the energy–entropy competition might be more intricate than as demonstrated herein, but is believed to be ubiquitous in real materials [
24–
26].
The rest of this paper is organized as follows. The spiral spin liquids are reviewed and classified in Section 2. For each class, a general Heisenberg Hamiltonian is constructed to capture the essential physics of a spiral manifold at zero temperature. As quintessences, the square, honeycomb, and AB-stacked multilayered triangular lattices are analyzed in detail. In Section 3, phase diagrams with the temperature and identity of the spiral spin liquid regimes for each case are further established. The difference in the low-temperature specific heat is discussed. Finally, in Section 4, this work concludes with a survey of the existing and potential materials with spiral spin liquid physics, and a discussion about open theoretical questions.
2 Spiral spin liquids: Classification and model construction
The basic structure underlying spiral spin liquids is the continuous spiral manifold formed by the propagation wavevectors of the classical ground states in reciprocal space. The continuity of this spiral manifold reflects the massive ground-state degeneracy and promises a spiral spin liquid. As will be shown later, the relationship between the dimensions and codimensions of the spiral manifold is crucial for the physical properties of the systems. The codimension dc of the spiral manifold is defined as the difference between the dimension of the system and the dimension (ds) of the spiral manifolds, and the spiral spin liquids are classified based on (ds, dc). For example, the well-known J1–J2 model on the diamond lattice for MnSc2S4 has a degenerate spiral surface with a dimension of ds = 2, and the codimension of this spiral surface is dc = 1. This physical classification is listed in Table. 1. In this section, specific models are proposed to explicitly demonstrate the existence of other classes and study their physical properties. The square, honeycomb, and AB-stacked multilayered triangular lattices are analyzed in detail.
2.1 Class with ds = 1 and dc = 1
First, a generic J1–J2 Heisenberg model on the bipartite lattices with the following form is considered:
where Si is the classical three-component spin vector with unit length. M is a symmetric adjacency matrix of the underlying lattice, defined as
where 〈ij〉 refers to the bond connecting the nearest-neighbor sites i and j, represents the identity matrix, and z is the coordination number of the lattice. The geometric meaning of M2 − is clear. Since (M 2)ij =Pk Mik Mkj, (M2)ij essentially counts the number of different paths hopping from site i to site j via two nearest-neighbor bonds. When (M2)ii = , this represents the processes hopping back to the starting site. Therefore, these returning processes are subtracted from M2. Hereafter, it is assumed that the antiferromagnetic interactions are J1 > 0 and J2 > 0. The regime with J1 < 0 and J2 > 0 can be achieved by only flipping spins in one sublattice, and there is no frustration when J2 < 0. It will be seen that this model encodes the essential ingredients of the spiral manifold, and can be constructed on different lattices.
The well-known Luttinger–Tisza method is employed to explore the ground states of the classical J1–J2 Heisenberg model in Eq. (1). The core of this method is softening the local unit-length constraint on classical spin vectors by a global constraint Σi |Si|2 = N, where N is the total number of spins. After this replacement, the original problem is reduced to minimizing the energy
where λ is a Lagrange multiplier. Fourier transformation is implemented on each spin vector with the sublattice index µ and unit-cell index i as
Then, the energy in reciprocal space reads
where (k) is the Fourier transformation of the interaction matrix defined by the adjacency matrix M in real space. For the model proposed here, it has the simple form
where the parameter Λ(k) = . RNN denotes the nearest-neighbor vectors and θ(k) refers to the phase shift between two sublattices. Now, minimizing the energy ELT is equivalent to finding the minimum eigenvalue of a quadratic form (k). It is found that the eigenvalues form two bands with dispersions as
A phase transition occurs at J2/J1 = 1/(2z). When J2/J1 < 1/(2z), ω− takes its minimum at the Γ point in reciprocal space, corresponding to the antiferromagnetic Neél ordered state for the bipartite lattices. With increasing J2/J1, a massive ground-state degeneracy emerges and manifests itself as a spiral manifold determined by
The spin configuration is then decoded from the corresponding eigenvectors. Given a wavevector Q that resides on the degenerate manifold, the ground-state spin configuration in real space takes a spiral form,
where µ can take 0 and 1 for two sublattices, respectively. e1,2 are any two orthogonal unit vectors.
In this subsection, the class with ds = 1 and dc = 1 is studied, where the spiral manifold is a contour in reciprocal space. In this class, the dimension of the system is 2. To achieve this, only one constraint on the spiral wavevector is needed to force the spins onto the spiral manifold for the classical ground states. The square and honeycomb lattices are explicitly presented as examples that are shown in Figs. 2(a) and (b). The square and honeycomb lattices are both bipartite and have the coordination numbers z = 4 and z = 3, respectively. The nearest-neighbor interaction J1 and the next-nearest-neighbor interaction J2 are considered for both lattices. In addition, a third nearest-neighbor interaction with the same strength of J 2 for the square lattice is involved to satisfy the definition of the adjacency matrix on the square lattice. The resulting spiral contour parameters are
for the square lattice and
for the honeycomb lattice. Here,
a1 and
a2 are the lattice vectors defined in Appendix. A. In Figs. 3(a) and 4(a), the spiral contours for the two lattices and their evolution with increasing
J2/
J1 are plotted. It is shown that both two spiral contours emerge at
J2/
J1 = 1/(2
z) from the Γ point and expand towards the boundary of the respective Brillouin zones. Despite this similarity, the spiral contours of two lattices behave dramatically differently in the large-
J2/
J1 regime. For the square lattice, the spiral contour approaches the boundary continuously, but does not touch it until the
J2/
J1→∞limit, where the spiral contour completely coincides with the Brillouin-zone boundary. Physically, in this limit the proposed generic
J1–
J2 Heisenberg model on the square lattice reduces to a conventional one with the largest frustration, and the massive degeneracy of the ground states remains. On the contrary, the spiral contour of the honeycomb lattice [
18] touches the
M point and other symmetry-related points in reciprocal space at
J2/
J1 = 1/2, and then splits into six arcs. These arcs are symmetry equivalent and can be viewed as closed loops centered at the
K points. They shrink with increasing
J2/
J1 and finally become isolated points residing at point
K. This means that the ground-state degeneracy disappears and Néel ordering is restored. Actually, in the
J2/
J1→∞limit, the two sublattices of the honeycomb lattice can be decoupled into two antiferromagnets on the triangular lattice, which is consistent with the present results. Therefore, the most important difference of these two types of lattices is whether the largest frustration state can be achieved at finite
J2/
J1, where the spiral contour has the largest circumference.
2.2 Class with ds = 1 and dc = 2
The class with ds = 1 and dc = 2 leads to a spiral contour on a three-dimensional lattice. Such a model can be constructed from a two-dimensional bipartite lattice. Specifically, the honeycomb lattice is decoupled into two triangular sub-systems according to its sublattices. The sublattice layers are then stacked alternatively into a three-dimensional multilayered system, as shown in Fig. 2(c). This is known as AB stacking. Here, the projection of a site from one layer onto its adjacent layer is located at the center of the triangles. The spin Hamiltonian retains the J1–J2 Heisenberg form
where J1 > 0 (J2 > 0) then becomes the interlayer (intralayer) interaction. Repeating the process of the Luttinger–Tisza method, it is found that the interaction matrix is
where k∥= {kx, ky, 0} and with the lattice vectors ai defined in Appendix A. The explicit form of Λ(k∥) is expressed as
The minimum eigenvalue of (k),
defines a spiral contour
on the kz = 0 plane when J2/J1 > 1/3. Before the spiral contour emerges, an antiferromagnetic Néel ordering is favored. As depicted in Fig. 5, the evolution of the spiral contour is very similar to that of the honeycomb lattice shown in Fig. 4(a). Nevertheless, the critical value at which the spiral contour touches the M points and is reconstructed becomes J2/J1 = 1. This can be attributed to the layer structure with doubling interlayer (inter-sublattice) bonds compared to the honeycomb lattice.
2.3 Examples with dc = 0
In addition to the classes listed in Table 1, there exist examples with dc = 0. The well-known cases are the classical Kagomé lattice Heisenberg model and classical pyrochlore lattice Heisenberg model. Because of the local zero-energy modes, the classical ground state has extensive degeneracy. The lowest eigenvalue of the exchange matrix in reciprocal space has no dispersion. The flat-ness arises from the existence of local zero-energy modes on each hexagon plaquette in the ground-state manifold. It is better to undersand the classical ground state in the real-space picture. The classical ground state requires that each triangular plaquette of the Kagomé lattice has a total spin equal to zero. This is like a Gauss’s law constraint for electromagnetism. In fact, the low-temperature magnetic properties can be well captured by an emergent classical electromagnetism that gives rise to a power-law spin correlation with a dipolar-like angular dependence. The classical pyrochlore lattice Heisenberg model was understood in a similar fashion. For the above reason, these two dc = 0 examples are not included in the current study of spiral spin liquids.
3 Finite-temperature behaviors
In the preceding section, the similarity and difference between different classes of spiral spin liquids were discussed. Next, the finite-temperature behaviors of the spiral spin liquid regime are explored. A crucial difference here is the existence of ordered states due to the thermal order-by-disorder in the three spatial dimensions, which is prohibited in two spatial dimensions by the well-known Mermin– Wagner theorem. These ordered states can only persist in the rather low-temperature regime in three dimensions. In general, the increasing thermal fluctuation will eventually favor a disordered state as temperature increases. It will be shown that a broad range of the spiral spin liquid regime can persist before crossing over to the trivial paramagnetic regime.
3.1 Spiral spin liquid regime
The presence of the massive ground-state degeneracy, i.e., the spiral surface manifold, will affect the finite-temperature behavior of the system by revealing itself in different ways in different temperature regimes. For two spatial dimensions, the Mermin–Wagner theorem implies the absence of long-range order at finite temperatures, and there should be a wide regime in which the spiral spin liquid dominates the physics down to zero temperature when J2/J1 > (J2/J1)c. The stability of the spiral spin liquid regime can be extended to the three-dimensional case, except that ordered states may exist at a sufficiently low temperature, which will be explained later. Here, the spiral spin liquid regime is characterized by the strong peaks of the spin-spin correlation in reciprocal space, located exactly on the spiral manifold. As the thermal fluctuation increases, these peaks will gradually become flat and broad, and will eventually become invisible in the trivial paramagnetic limit. To elucidate the regime of the spiral spin liquid, the spin correlation function at high temperatures is calculated by the self-consistent Gaussian approximation. Under the global constraint as introduced in Section 2, the partition function of the spin system is given by
where
λ is the Lagrange multiplier to enforce
. This is also known as the spherical approximation [
7]. The saddle-point solution can be obtained by integrating out the classical spins, and the effective action scales as
N that naturally leads to the saddle-point solution for
λ. The saddle-point solution is taken by replacing i
λ→
βλ′(
T)/2, where
λ′(
T) is a saddle-point parameter to be determined self-consistently. Equivalently, the saddle-point equation can be obtained from the spherical constraint for the spins,
where the spin-correlation function in reciprocal space for the spins from the same sublattice µ is
and ω± refers to the two branches of eigenvalue dispersions of the exchange-interaction matrix (k) defined in Section 2. One can obtain the parameter λ′(T) by solving the above saddle-point equation. In Figs. 3(b) and 4(b), the temperature dependence of the spin correlation is depicted as a function of Λ(k) for the square and honeycomb lattices. The peaks correspond to points near the spiral contour that are apparent and remain discernible up to a crossover temperature. The spiral spin liquid regime can then be roughly identified by tracing this feature. The crossover between the spiral spin liquid regime and conventional high-temperature paramagnet regime is outlined in Figs. 3(c) and 4(c). It is shown that the frustration from the competing spin interactions can manifest itself qualitatively through this crossover temperature. The enhancement of frustration will strongly suppress the spiral spin liquid physics and make it easier for the system to enter a trivial paramagnetic state under the thermal fluctuation. In proximity to ordered states, a spiral spin liquid can persist up to a higher temperature. Since the largest frustration for the square lattice appears in the J2/J1→∞limit, a monotonically decreasing crossover temperature is obtained, in contrast to the honeycomb-lattice case in which there is a minimal crossover temperature near J2/J1 = 1/2. The spiral spin liquid regime is a special paramagnetic phase in which the spiral manifold governs the thermal fluctuations.
The finite-temperature behaviors for three dimensions have no qualitative difference. For the proposed AB-stacked multilayered triangular lattice, the spiral spin liquid regime and its crossover to the trivial paramagnet resemble those of the honeycomb lattice. The difference is that, in the low-temperature regime, the spiral ordered states can emerge through the thermal order-by-disorder mechanism. This is discussed in the next subsection.
3.2 Thermal order-by-disorder
Although the ground-state configuration can fluctuate on the degenerate spiral manifold without any energy cost at zero temperature, a global selection among these ground states will occur when weak thermal fluctuation is considered. At finite temperatures, the free energies of the degenerate ground states are usually different. To minimize the free energy, certain spiral ordered states associated with large entropy are selected. This stabilization mechanism of long-range order driven by the entropy is termed thermal order-by-disorder. This effect for the AB-stacked multilayered triangular lattice model is studied in the low-temperature regime.
First, a spiral spin order at momentum q with a spin configuration lying in the x–y plane is assumed and then its local stability is analyzed. The fluctuations can be parameterized as
where ϕo and ϕi are out-of-plane and in-plane fluctuations, respectively. Physical spins can be expressed in fluctuation variables around the assumed order as
The unit-vector constraint remains satisfied since 0. For ϕ2≪1, one can safely expand the spin Hamiltonian (11) in a fluctuation field up to second order,
Here, . The shift makes both eigenvalues non-negative and only scales the partition function by a constant. There is no change in free energy, except for a zero-point movement. The zeroth- and first-order Hamiltonians have also been ignored because the former is just the ground-state energy and the latter should vanish in an ordered state. The resulting partition function is
where the action is = βH. In the last step, a Jacobian factor is dropped since (1−ϕ2)−1/2≈ up to second order. That means that this factor only contributes diagonal terms to the action and does not affect the relative magnitude of free energy. At the Gaussian level, two components of the fluctuation field are decoupled. The out-of-plane fluctuation modes ϕo have zero modes for all momenta on the spiral manifold and thus are responsible for the massive ground-state degeneracy. The in-plane fluctuation modes ϕi, however, have only one single gapless mode and are well-behaved at low temperature. The gapless mode is just the Goldstone mode required by symmetries and indicates a long-range order.
For the proposed J1–J2 Heisenberg model on the AB-stacked multilayered triangular lattice, these ϕi fluctuation modes with spiral ordering wavevector q are
where ξ± = Λ(k∥ ± q)e∓iθ(q)+iθ(k±q). Therefore, one can integrate the fluctuation fields to obtain the q-dependent part of free energy,
The free-energy distribution on the spiral contour is visualized as shown in Fig. 5, in which the color reflects the relative magnitude of (q). Once the spiral contour emerges, the free-energy minima arise at (0, q, 0) and symmetry-related points, indicating a phase transition from Néel order to spiral order. When the spiral contour touches the Brillouin-zone boundary at J2 = J1, the minima locate at M points and move towards K points as J2/J1 increases. In the J2/J1→∞ limit, two decoupled antiferromagnetic magnets on triangular lattices are obtained, as expected.
The spiral ordering selected by entropy will melt when the system leaves the low-temperature regime. Above a critical temperature
Tc, the spiral spin liquid behavior prevails again. To construct a finite-temperature phase diagram for spin orderings, classical Monte Carlo simulations are carried out on the AB-stacked multilayered triangular lattice with
L3 unit cells. Owing to strong frustrations, a simple Metropolis–Hastings update will have a very long auto-correlation time that would lead to non-ergodicity. Here, a generally applicable method, parallel tempering [
27], is employed to resolve this issue. Essentially, in parallel tempering the simulated space consists of several replicas of the systems while they are at different temperatures. Exchanging configurations in different replicas will decrease or increase the total energy according to the detailed balance, and there is an acceptance probability for this update. Therefore, the configurations of the high-temperature replicas can be tunneling to the lower-temperature replicas and vice versa. This diffusion process will significantly improve the efficiency. Furthermore, the over-relaxation method is employed to further decrease the auto-correlation time as well. The finite-temperature phase boundary can be determined by the grown peak of the specific heat with increasing system size, and the numerical results are shown in Fig. 6. Compared to the rapidly declining boundary of Néel order,
Tc has a slower growth in the spiral order phases. The lowest critical temperature also occurs near the largest frustration area. Moreover, it is found that thermal fluctuation stabilizes the Néel phase even slightly above
J2/
J1 = 1/3, and thus induces re-entrant behavior. This subtle boundary exposes the intricate competitions between the spin interactions and thermal fluctuation in spiral spin liquid systems.
3.3 Specific heat
As mentioned previously, different classes of spiral spin liquids could exhibit distinct behaviors at low temperatures. In addition to the spin correlations, these distinctions can be directly reflected in the thermodynamic quantities. To demonstrate, here the specific heats Cv for the spiral spin liquids with (ds, dc) = (1, 1) and (1, 2) respectively, are calculated.
In two-dimensional systems, the spiral spin liquid can persist down to zero temperature. In the low-temperature regime, fluctuations near the spiral contour govern the physics and the minimum eigenvalue mode vanishes for momenta on the spiral contour. Therefore, the self-consistent equation (17) can be approximated as
Here, it is assumed that the saddle-point solution has a power-law temperature dependence as . At low temperatures, the integral can be well estimated by considering momenta near the spiral contour. For a momentum q located on the spiral contour, a coordination framework spanned by the normal vector and the tangent vector can be associated. Along the normal direction, the dispersion of the minimum eigenvalue mode can be replaced by ω−(k) = v(δp)2, where δp = (k−q)· and k· = 0. The integral can be taken over δp with a proper cutoff and over the contour itself. By modifying the variable δp = Tα/2x, one can scale out the power α = 2 for the saddle-point solution λ′(T).
The free energy F = −T ln in this approximation is
To calculate the specific heat Cv = −T(∂2F/∂T2)V,N, it is convenient to consider
In the last step, the self-consistent equation is used to finish the integral. Thus, the free energy has the form F = c1T ln T + c2T2 + +c3T, and the specific heat is expressed as
Here, c1 and c2 are new constants absorbing all coefficients.
For spiral spin liquids in three spatial dimension, the development of spiral orderings in the low-temperature regime has significant effects on the thermodynamic quantities. In the absence of the thermal order-by-disorder, the dispersions of fluctuation modes from out-of-plane field ϕo are ω±(k)− at the Gaussian level and the lowest one vanishes for any momentum on the spiral contour. This inevitably leads to a divergence of the fluctuation amplitude proportional to T 1/G0(k), where G0(k) is the propagator of ϕo. To cure the divergence, one must consider higher-order terms in the expression of fluctuation fields ϕi and ϕo. Their contributions can be formally treated as a self-energy correction Σ(k), giving rise to the Green’s function
With the aid of the diagrammatic perturbation theory, Σ(k) can be expressed self-consistently as
where D(k, p) is a well-behaved function and vanishes only at finite momenta corresponding to the Goldstone modes. Therefore, the dominant contribution of the integral still comes from momenta near the spiral contour. The numerator of the integrand is thus replaced by D(k, q), where q denotes the momentum on the contour. Similarly, one can associate the point q with a coordination framework spanned by the normal vector , the tangent vector , and the original z-axis vector . In the plane, the dispersion of the eigenvalue mode ω−(p)−ωmin is still quadratic. One can parameterize momentum p in this plane as p· = δp cos θ and p· = δp sin θ, where p· = 0 and δp = |p−q|. The dispersion of the minimum eigenvalue mode can then be expressed as v2(δp)2 approximately. It is further assumed that the self-energy has a temperature dependence with the leading form Σ(k) = TαΣ′(k) due to the thermal splitting. The self-consistent equation reduces to
The integral is taken on the plane with respect to θ and δp with a proper cutoff, and over the contour itself. Modifying the variables as δr = δp/Tα/2, the stiffness Tα can be scaled out of the integral and one obtains α = 1.
The full free energy should include both the ϕi and ϕo parts, and be corrected by the self-energy as well. Up to the order of T, it takes the form
To calculate the specific heat, the following equation is evaluated:
Repeating the same scaling trick, it is found that the temperature dependence of free energy F = c1T ln T + c2T2 + c3T, and thus the low-temperature specific heat is
We have absorbed all coefficients into c1 and c2 and they should not be confused with the previous constants.
4 Discussion
4.1 Survey of materials
A survey of existing materials is presented in which spiral spin liquid physics can be relevant. The A-site spinels AB
2X
4 represent a large family of compounds for the diamond-lattice antiferromagnets. The magnetism comes from the
A-site ions that form a diamond lattice. Among them, MnSc
2S
4 and CoAl
2O
4 manifest the strongest frustration of classical spins and are suggested to support spiral spin liquids by early experimental and theoretical works [
7,
28–
30]. Although later measurements ruled out the possibility of CoAl
2O
4 as a candidate [
31], in recent experiments the spiral surface in MnSc
2S
4 was directly observed by neutron-scattering measurements and proved the existence of a spiral spin liquid regime for the spin-5/2 Mn
2+ ions [
11]. Instead of an ordering transition via the thermal order-by-disorder, a multi-step ordering behavior was observed at low temperatures. This reveals the limitation of the
J1–
J2 Heisenberg model and suggests that more interactions should be considered, such as the third-nearest-neighbor coupling in real materials [
8,
32]. Other spinels like ARh
2O
4 (A = Ni, Co, and Cu) and MgCr
2O
4 have also been synthesized recently [
14,
33–
35]. For NiRh
2O
4 with frustrated spin-1 Ni
2+ ions, the negative Curie–Weiss temperature and absence of the magnetic ordering transition down to 0.1 Kare noted. This material has spin
S = 1 and the quantum effects seem to be strong. Quantum effects on the spiral manifold were seri-ously considered [
35,
36]. As the material has a tetragonal symmetry rather than cubic symmetry and the Ni
2+ has a partially filled
t2g shell, the single-ion anisotropy as well as the on-site spin–orbit coupling were thus also considered in addition to the superexchange interactions [
35–
38]. More experiments are needed to resolve the physics in NiRh
2O
4. The Co
2+ ion in CoRh
2O
4 has
S = 3/2, and a large nearest-neighbor exchange was found in CoRh
2O
4, so an Néel order was observed [
34]. The Cu
2+ ion in CuRh
2O
4 and CuAl
2O
4 has a
d9 configuration with five electrons on the upper
t2g shell. The spin-orbit coupling is active. It is not purely spin physics, and one would necessarily consider the orbital degree of freedom. It was noted that this Cu
2+ ion in the tetrahedral environment is similar to the well-known Ir
4+ ion in the octahedral environment and gives a
Jeff = 1/2 local moment [
37,
39,
40]. The model for these Cu
2+ moments in CuRh
2O
4 would not be a simple
J1–
J2 model, so spiral spin liquid physics may not be directly relevant. This system would be better described by an anisotropic Heisenberg-compass model on the diamond lattice. This will be analyzed in future works. Recently, a rare-earth compound LiYbO
2 was proposed to realize a diamond lattice [
15]. Its theoretical understanding was based on the effective spin-1/2
J1–
J2 Heisenberg model with the proximity to spiral spin liquid physics and the spiral manifold despite a large spin-orbit coupling for the Yb
3+ ions. The possible success in LiYbO
2 may point to the possibility of realizing a spiral spin liquid in other Yb-based systems, such as the Yb-based honeycomb-lattice magnets.
The 6H-B-Ba
3NiSb
2O
9 compound with a spin
S = 1 local moment has the same structure of the AB-stacked multilayered triangular lattice model studied herein, and this material was proposed to be a spin liquid candidate [
41]. It has been suggested that the quantum effect in addition to spiral contour physics plays an important role in the spin-liquid phenomenology [
42]. This may inspire the study of isostructural materials with
ds = 1 spiral manifolds in three dimensions. The compound MgCr
2O
4 was shown to have line degeneracies in reciprocal space, and the spiral spin liquid was proposed to be relevant [
14]. This again corresponds to the
ds = 1 case.
The relevant materials in two dimensions can be Bi
3Mn
4O
12(NO
3) and Ca
10Cr
7O
28. Bi
3Mn
4O
12(NO
3) is a bilayer honeycomb-lattice magnet with
S = 3/2 spins and exhibits a spin-liquid-like behavior down to 0.4 K [
43]. Theoretically, this observed behavior falls into the situation of massive ring-like degeneracy and an order-by-disorder mechanism in a
J1–
J2 Heisenberg model [
43,
44]. Recently, a novel ripple state under the external magnetic field has been reported and can be explained by the infinite ring-like degeneracy [
12]. Ca
10Cr
7O
28 is another frustration magnets in which Cr
5+ ions form a Kagomé bilayer structure. As the interaction between the Cr
5+ spin-1/2 moment inside the triangular unit is dominantly ferromagnetic, one can treat the triangular unit as a total spin
S = 3/2. The physics of this bilayer system can then be modeled as a semiclassical Heisenberg Hamiltonian on a honeycomb lattice with effective spin
S = 3/2 moments and the intralayer and interlayer couplings are antiferromagnetic and ferromagnetic, respectively [
16]. A ring-like pattern in the neutron-scattering signal and ordering transition at low temperature are also suggested for these materials [
16,
17]. These studies suggest a particular relevance to the spiral spin liquid. However, there is still a lack of experimental results to reach a conclusion at this stage.
4.2 Open theoretical questions
Several open theoretical questions about the physics related to the spiral spin liquids are discussed here. In our calculation, the spin is treated classically. However, in reality, the spins always have quantum effects, especially for small spins. It is well known that the quantum fluctuations could break the spiral degeneracy for the ground state via the mechanism of the quantum order by disorder, and specific spiral states could be selected. The ordered states via the quantum order by disorder can sometimes be different from the thermal order by disorder. The thermal order by disorder is an entropic effect and requires a finite temperature, while the quantum order by order results from the quantum zero-point energy and works well for zero and low temperatures. This seems to suggest that there could be two thermal transitions as one cools the system from the high-temperature paramagnetic phase. The system first enters the ordered state via the thermal order by disorder and then develops another ordered phase due to the quantum order by disorder at a lower temperature. This is possible. Nevertheless, the separation of quantum order by disorder and thermal order by disorder is an artificial procedure, while nature blends these two effects together in the system. The blending of these effects may even favor another ordered state that differs from that favored by either. These issues may be resolved in future theoretical works.
Another important question concerns the internal spin space. All the models considered in this work have a global rotation symmetry with Heisenberg interactions and spins. The question is whether the spiral spin liquid regime can persist for XY spins or even for Ising spins. For XY spins with a
U (1) symmetry, it is still possible to construct spiral states with two components of the XY spins. Thus, it is natural to expect that the spiral spin liquid exists for the XY or Heisenberg spins with an easy-plane anisotropy. Moreover, the senario for sprial spin liquids with XY spins resembles the bosonic models with frustrated hoppings, in which bosons could condense in a closed line instead of discrete points. Such phenomena have been discussed in various systems including the frustrated systems [
45], high
Tc superconductors [
46], and driven-dissipative systems [
47]. For Ising spins, it is not obvious if such a spiral spin liquid could survive as there is no way that one can construct spiral spin states with Ising spins. In contrast, the self-consistent Gaussian approximation that ignores the individual spin-magnitude constraint works rather well for the spiral spin liquid, and was known to work reasonably for certain Ising systems. Taken together, it is uncertain whether Ising spins could support the spiral spin liquid regime; this question will be addressed in a forthcoming paper.
Finally, the interplay of the quantum effect and degenerate spiral manifold may require a more systematic study in the future. Only in a few previous works, including Refs. [
35–
37,
48] in the diamond lattice antiferromagnet and Refs. [
18,
21,
42] in the honeycomb lattice, and the AB-stacking multilayered triangular lattice, have explorations along this line been conducted. In fact, many of the spin moments in the existing materials already involve significant quantum fluctuations and could provide a good experimental platform for studying these physics.
4.3 Summary
In summary, the spiral spin liquids based on the dimension ds and codimension dc of the degenerate spiral manifold are classified. For each class, a minimal model based on the J1–J2 Heisenberg Hamiltonian is constructed. These constructions are not unique, but essentially capture the physics of spiral spin liquids. Systematic studies are performed on the square, honeycomb, and AB-stacked multilayered triangular lattices. These lattices, together with the well-studied diamond lattice, cover all three classes in the classification presented in Table 1. The present model construction takes the bipartite lattice as a starting point. The non-Bravais lattices, like the honeycomb and diamond lattices, have been studied and incorporated into this work and the classification. Many Bravais lattices, such as the square lattice in two dimensions, simple cubic, face-centered-cubic, and body-centered cubic lattices in three dimensions, can be treated as bipartite lattices as well once their adjacency matrices are carefully dealt with. The penalty of this straightforward extension is the requirement of further and more complicated interactions that may be rather unnatural in real materials. It is likely that some materials may be located near the unnatural parameter regime, and the additional interactions can be treated as a perturbation to break the spiral manifold. Despite this, the current classification and theoretical results depend only on the dimensions and can be immediately applied once the spiral manifold emerges.