1 The nonlinear σ model and the Haldane gap
It is well understood that the origin of exchange interactions between magnetic ions in an insulator is essentially of quantum mechanical nature. Indeed, it involves electron delocalization and the Pauli principle as needed for fermionic elementary constituents of matter. However, the description of magnetic properties of solids at the mesoscopic or macroscopic scale very often does not involve a fundamental way quantum mechanics. In case of ferromagnetic or antiferromagnetic chains, one can use coarse-grained magnetization vectors to describe ordered states that are perfectly classical quantities. Also excited states above ordered ground states like magnons admit a classical description, which has a wide range of applicability. This classical line of thought has been applied for a long time also in the realm of one-dimensional quantum spin systems with some success in the case of systems with rather large spin values. Therefore, it came as a surprise when Haldane [1–3] in the beginning of the 1980s made the bold claim that integer-spin antiferromagnetic chains have a gap to all excitations at odds with previous magnon-based reasonings. The picture that emerges is that integer-spin chains have only a short-range magnetic order even at zero temperature with spin–spin correlations decaying exponentially with a characteristic length, and there is a gap to all excitations. On the contrary, half-integer-spin chains have antiferromagnetic order with no characteristic scale albeit decaying as a power law and no gap to excited states. Interestingly, the first Haldane gap spin chain NENP [4] was synthesized roughly at the same time as Haldane's conjecture appeared. Since its synthesis, NENP has been an extremely good platform [5–7] to investigate Haldane gap physics. Quantitative comparisons between theory and experiments have been successful [8–10]. Detailed investigations have confirmed the existence of the Haldane gap close to , where J is the nearest-neighbor antiferromagnetic exchange of the isotropic Heisenberg chain [11–13].
The Haldane conjecture was originally based on the derivation of an effective quantum field theory using an expansion of fluctuation about local antiferromagnetic order of a spin-S chain. This derivation has been the subject of much theoretical work and is now available in streamlined form in textbooks [14]. In this section, we propose a quick presentation of the main arguments and proceed to discuss the dependence of the Haldane gap on the spin magnitude S, as there are now several numerical studies [15] extending up to .
The starting point is the imaginary time representation of the partition function in terms of spin coherent states:
(1) |
The spin operators are written in terms of the spin coherent states , where the quantities are classical commuting vectors of unit norm and S is the spin magnitude. In fact, the Haldane mapping is an asymptotic expansion valid for large S and its quantitative use for is not guaranteed. Numerical direct studies down to have confirmed its applicability even in this case. The first term in the exponential is the Berry phase contribution, which is a nontrivial function of the imaginary time evolution of the coherent state. This term is in fact responsible for the difference between integer- and half-integer-spin chains. It is irrelevant to the bulk physics of the integer-spin chain case and it is a fortunate circumstance that provided this contribution can be dropped then the field theoretical analysis of the effective model we will derive is in fact well known. From the point of view of the effective long-distance low-energy field theory, the spin–1/2 spin chain is much difficult to understand even if this is the only case where exact results are known for the eigenstates by the Bethe solution. Because we are discussing only the Haldane gap, we will drop the Berry phase from now on (in the case of integer spin the Berry phase term is responsible for the appearance of edge spins S = 1/2, which is discussed in Section 2). We now proceed to construct an effective model valid for long distance and low energies. This requires the identification of the modes that are pertinent in this limit. We assume that these are antiferromagnetic as well as ferromagnetic fluctuations as observed in all approximation schemes used to study spin-chain physics. We write the spin coherent states as
(2) |
(3) |
The Berry phase contribution in the path integral leads to a coupling between the vector and the imaginary time derivative of the order parameter field :
(4) |
(5) |
(6) |
It is a classic result in Euclidean quantum mechanics that the imaginary-time decay of correlations is governed by the energy gap of the system. Thus, we conclude from Eq. 6 that the spin chain has a gap . If we rewrite the effective action in terms of the conventional NLσM, we find the action as follows:
(7) |
(8) |
(9) |
The pure number in factor of the σ model formula for ξ is known and is for a specific choice of the renormalization procedure. The renormalization procedure corresponding to the quantum lattice model cannot be easily related to the standard ways of renormalizing the σ model. Because we are not yet able to make this correspondence precise, we choose to make an extrapolation from known values of the Haldane gap up to (see Table 1). The Shanks extrapolation for three numbers is simply calculated by the ratio and is given in the last column of Table 1. After some trial and error, we are led to propose that the limiting value is close to 14.525. We thus conclude this section by conjecturing the asymptotic formula for the Haldane gap
(10) |
Gaps of the spin-S Heisenberg chain using state-of-the-art numerical results [15].
S | Gap/J | NLσM | Gap/NLσM | Shanks |
1 | 4.104800 × 10−1 | 4.321392 × 10−2 | 9.499 | – |
2 | 8.916000 × 10−2 | 7.469771 × 10−3 | 11.936 | – |
3 | 1.002000 × 10−2 | 7.262957 × 10−4 | 13.796 | 19.787 |
4 | 7.990000 × 10−4 | 5.579748 × 10−5 | 14.320 | 14.525 |
It remains to be confirmed whether methods like those of ref. [19] can relate the renormalization schemes and confirm this prefactor.
2 Edge states of a Haldane ladder
Another important feature of the spin-1 chain is the existence of a hidden magnetic order, which is long range. We have already commented on the fact that ordinary spin correlations decay exponentially with a finite correlation length. However, there is nevertheless a hidden order in the system. The nearest-neighbor Heisenberg S = 1 spin chain is not a solvable system, and hence one has to use numerical methods to study its quantitative properties. However, it is possible to perturb the Hamiltonian and obtain a new model [20] called AKLT whose ground state wavefunction can be found by elementary means, although it is still not solvable. The trick is to add a biquadratic spin coupling:
(11) |
The motivation is formal, because in the real world, a superexchange theory leads to negligible higher-spin couplings. However, with the very special choice of the 1/3 coefficient for the biquadratic term, the spin operator is now the projector onto the total spin of the pair . This can be checked by elementary means (a bit tedious). Now we proceed to exhibit a wavefunction, which is an exact zero-energy eigenstate of Hamiltonian (Eq. 11). Each local spin-1 can be viewed as the triplet state of two spin-1/2 residing at the same site i. In the case of NENP, this corresponds to microscopic physics, because spin-1/2 elementary electrons in the nickel ions are coupled by Hund's coupling with a triplet state. Now, we make singlet bonds between neighboring sites (ions) and construct the wavefunction by capturing all spins in the following way:
(12) |
If we consider two neighboring spins, then the total spin of such a pair can only be 0 or 1 but not 2, because the central spins 1/2 are already engaged in a singlet state. Thus, we see that all projectors onto the S = 2 state for any pair gives simply zero and hence, this wavefunction is an exact zero-energy eigenstate of the Hamiltonian (Eq. 11). In fact, this is the exact ground state of the AKLT Hamiltonian. Although this construction may seem artificial, we note that this Hamiltonian can be viewed as a perturbation of the usual Heisenberg Hamiltonian provided “1/3 is small” meaning that the biquadratic operator does not change the physics of the system. Indeed, we are lucky and it has been shown in detail that this is the case [21]. As a consequence, reasonings based on the model AKLT state are likely to be correct for the real world dominated by the Heisenberg exchange. A very simple inference from the AKLT description is that if we consider an open chain, then there are dangling spins 1/2 at the end. Of course real materials always involve open chains and we thus can predict that local probes should detect effective spin 1/2 degrees of freedom at the end of NENP chains. The experiment has been done [22] using NMR of a zinc impurity breaking the chain and the number of NMR lines is exactly in agreement with the prediction of the spin 1/2 instead of 1 as one may guess naively. For an open chain, we expect that the two end spins 1/2 appear as almost degenerate singlet and triplet states due to a coupling through the bulk of the chain that should go exponentially to zero when the chain length increases. So the spectrum of an open chain should display quasidegenerate S = 0 and S = 1 states and, above a (Haldane) gap, an S = 2 excitation will be obtained by creating a magnon-like state [23]. If we look at the magnetization profile of the member of the triplet, it should display nonzero magnetization only close to the edges of the chain. This is indeed what is observed numerically for the S = 1 chain using the density matrix renormalization group (DMRG) algorithm [13,24].
We now turn to the question of the robustness of the formation of these end spin states. They are due to the special ordering pattern described by the AKLT wavefunction [20,25], and it is still present for the realistic Heisenberg exchange Hamiltonian. It is known that several physical effects can destroy the Haldane gap, such as too strong anisotropies either local on-site or exchange, and also an applied magnetic field can close the Haldane gap. If we cross a phase transition by such a mechanism, we do not expect edge states to survive because the peculiar long-range correlations of the AKLT state are destroyed. It has been noted some time ago that in fact there is no need for a sharp phase transition to kill the hidden order and the edge states. This is very clear in the case of the magnetization process of the Heisenberg S = 1 chain. Indeed, under an applied field the Haldane gap goes to zero at some critical field and the magnetization remains zero up to this value. When the critical value is exceeded, the magnetization starts to increase continuously up to full saturation and the edge states disappear right at . If now we consider a realistic material like NENP, then there are small but nonzero anisotropies that break the spin rotation symmetry. As a consequence, the magnetization transition [26] is now rounded and is no longer sharp. Magnetization appears immediately for infinitesimal applied fields and edge states disappear when going to saturation without any phase transition. This phenomenon has been dubbed [27] “symmetry protected topological order”. It leaves open the possibility that the hidden order and accompanying edge states may disappear even without breaking any symmetry and without any phase transition. We now show that this is the case by studying a coupled S = 1 ladder system. We thus envision a plausible molecular magnet in which neighboring Haldane chains of spins S = 1 are coupled along the rungs of a ladder by some independent exchange . A spin Hamiltonian can thus be written as follows:
(13) |
If we consider a ladder with periodic boundary conditions, then it has been established that there is no phase transition [30,31] between the decoupled chain limit and the with extremely strong rungs. This strong rung limit is simple to analyze: the ground state is made of singlet states involving two spins that are related by the rung coupling and the total state is just the tensor product of such singlets. The first excited state is made by breaking a rung bond from singlet to triplet, and this triplet will have a dispersion along the chain whose magnitude is given by the (relatively) small coupling along the chains. The small limit is two weakly coupled Haldane chains and because they are gapped, they will be resilient to any small local perturbation like a small rung coupling. Even if there is no transition between these two limits, it remains unclear what happens to the edge states of an open ladder.
We first enumerate the low-lying states of this spin system starting from our knowledge of the S = 1 chain. We know that each chain will have a singlet and a triplet of low-lying states separated by the Haldane gap from the higher excitations [23]. With two chains, this means a total of 16 states that can be classified as two S = 0 singlets, three S = 1 triplets, and one S = 2 quintuplet. When adding a very small , these will no longer be degenerated and first-order perturbation theory will lead to an order splitting of the states. Their edge nature can be revealed by computing the magnetization profile along one of the coupled chains. We have performed DMRG calculations of this system to obtain the ground state wavefunction. Convergence becomes problematic when is very small , but results are reliable for higher values of the coupling. We use up to 1500 states per block and chain length up to 200 spins.
If we consider the low-lying (where is the total spin) state, we observe nothing remarkable. The magnetization is uniformly vanishing and this does not change from the decoupled limit till reaches a very large number as expected. We now compute the ground state wavefunction in each sector ; we expect that display only edge modes whereas should capture a bulk magnon state. We vary the rung coupling in the sector in Figs. 1–3. For small , we observe very clear edge mode oscillations of the local magnetization and when the chain is long enough, the bulk magnetization is zero (green line in the figure), see Fig. 1. If we increase , there is coexistence of edge oscillations and bulk magnetization (see Fig. 2). Finally, at large enough values, all edge phenomena are washed out and we observe a single bump of the magnetization. We interpret this state as a single magnon state of the infinite rung limit that propagates as a particle in a box as reported in a study by White and Huse [13]. The important information is the gradual disappearance of the edge modes without any level crossing.
We expect that the same scheme applies for the lowest-lying state. Its behavior is displayed in Figs. 4–7. We again observe clear edge modes exponentially localized at the end of the ladder with no bulk magnetization at small . There is a smooth crossover to a regime that we interpret as a two-magnon state (see Fig. 7).
The situation should be different for the sector because in the decoupled limit , one is forced to excite at least one magnon in one of the chains. This magnon will be delocalized and its total magnetization should spread all over the chain. This is exactly what we observe in Figs. 8 and 9. The bulk is always magnetized even when . In addition to this magnon contribution, there are also edge oscillations. When increasing the coupling, the magnon contribution becomes clearer (see Fig. 9). Finally, for very large rung coupling, Fig. 10, we are left with only rung magnon excitations and no edge modes. This is a gradual phenomenon with no physical discontinuity.
In principle, NMR on well-chosen chain-breaking impurities should be able to measure these physical effects.
3 Conclusion
Antiferromagnetic spin chains are a fascinating playground for states of magnetic matter that do not fit into the usual symmetry-breaking views of magnetism. The crafting of molecular magnets has allowed chemistry and physics to join forces and investigate experimentally the Haldane conjecture that predicts a fundamental difference between integer- and half-integer-spin chains. In the case of integer-spin chains, the so-called Haldane weakens with the spin value, and we have proposed here a conjecture for its asymptotic behavior for large spin S. Another very special feature of the Haldane gap state is the existence of long-range correlations that lead to edge modes, which have been observed in experiments [22]. These correlations are fragile and can be destroyed even without crossing any phase transition. We have given an explicit mechanism for the destruction of the hidden order by showing that an S = 1 spin ladder interpolates between a haldane-style phase and a simple tensor product phase with no kind of long-range order. The crossover we describe should be accessible to NMR measurements, provided one finds the appropriate molecular magnet. In this respect, the recent studies of BIP-TENO [28,29] or other magnets [32] show that it is indeed feasible to study spin-1 ladders and observe the interesting crossover between the Haldane phase and the rung singlet phase.
Acknowledgments
We acknowledge stimulating exchange interactions with M. Verdaguer and J. P. Renard over the years. We thank Gregoire Misguish for help with DMRG ITensor library (ITensor Library, Version 2.1.1, http://itensor.org). We also thank TOPMAT workshop of PSI2 project funded by the IDEX Paris-Saclay ANR-11-IDEX-0003-02 where part of this work has been performed. We also thank Ph. Lecheminant for careful reading of our manuscript and K. Totsuka for useful discussion.