Topological characterization of classical waves: the topological origin of magnetostatic surface spin waves
Kei Yamamoto, Guo Chuan Thiang, Philipp Pirro, Kyoung-Whan Kim, Karin, Everschor-Sitte, and Eiji Saitoh

TL;DR
This paper introduces a topological framework for classical waves, specifically magnetostatic surface spin waves, revealing their topological origin through vortex lines in the Brillouin zone and predicting surface modes without a bulk gap.
Contribution
It develops a topological characterization for classical wave Hamiltonians, applying it to spin waves and identifying vortex lines as topological invariants, expanding topological matter beyond gapped systems.
Findings
Surface modes appear without a bulk gap.
Vortex lines in the Brillouin zone characterize topology.
Bulk-edge correspondence applies to classical waves.
Abstract
We propose a topological characterization of Hamiltonians describing classical waves. Applying it to the magnetostatic surface spin waves that are important in spintronics applications, we settle the speculation over their topological origin. For a class of classical systems that includes spin waves driven by dipole-dipole interactions, we show that the topology is characterized by vortex lines in the Brillouin zone in such a way that the symplectic structure of Hamiltonian mechanics plays an essential role. We define winding numbers around these vortex lines and identify them to be the bulk topological invariants for a class of semimetals. Exploiting the bulk-edge correspondence appropriately reformulated for these classical waves, we predict that surface modes appear but not in a gap of the bulk frequency spectrum. This feature, consistent with the magnetostatic surface spin waves,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Topological characterization of classical waves: the topological origin of magnetostatic surface spin waves
Kei Yamamoto
Advanced Science Research Center, Japan Atomic Energy Agency, Tokai 319-1195, Japan
Institut für Physik, Johannes Gutenberg-Universität Mainz, 55128 Mainz, Germany
Guo Chuan Thiang
School of Mathematical Sciences, University of Adelaide, SA 5000, Australia
Philipp Pirro
Fachbereich Physik and Landesforschungszentrum OPTIMAS, Technische Universität Kaiserslautern, 67663 Kaiserslautern, Germany
Kyoung-Whan Kim
Institut für Physik, Johannes Gutenberg Universität Mainz, 55128 Mainz, Germany
Center for Spintronics, Korea Institute of Science and Technology, Seoul 02792, Korea
Karin Everschor-Sitte
Institut für Physik, Johannes Gutenberg Universität Mainz, 55128 Mainz, Germany
Eiji Saitoh
Department of Applied Physics, University of Tokyo, Tokyo 113-8656, Japan
Institute for Materials Research, Tohoku University, Sendai 980-8577, Japan
Advanced Science Research Center, Japan Atomic Energy Agency, Tokai 319-1195, Japan
Abstract
We propose a topological characterization of Hamiltonians describing classical waves. Applying it to the magnetostatic surface spin waves that are important in spintronics applications, we settle the speculation over their topological origin. For a class of classical systems that includes spin waves driven by dipole-dipole interactions, we show that the topology is characterized by vortex lines in the Brillouin zone in such a way that the symplectic structure of Hamiltonian mechanics plays an essential role. We define winding numbers around these vortex lines and identify them to be the bulk topological invariants for a class of semimetals. Exploiting the bulk-edge correspondence appropriately reformulated for these classical waves, we predict that surface modes appear but not in a gap of the bulk frequency spectrum. This feature, consistent with the magnetostatic surface spin waves, indicates a broader realm of topological phases of matter beyond spectrally gapped ones.
The principle of bulk-edge correspondence is a cornerstone in the field of topological phases of matter Kitaev et al. (2009): at the boundary of a system whose bulk frequency spectrum is topologically nontrivial, there should appear localized edge modes with eigenfrequencies in a gap of the bulk spectrum. This principle underlies the unconventional stability of chiral edge states in quantum Hall insulators Hatsugai (1993) and Dirac surface states of topological insulators Fu et al. (2007), and has more recently led to predictions of edge modes in various classical systems Raghu and Haldane (2008); Shindou et al. (2013); Kane and Lubensky (2014). The bulk system topology is usually characterized by a topological invariant defined for Hamiltonians describing spatially unbounded systems with specified symmetry operations. It dictates the existence and number of topologically protected edge modes. The corresponding hallmark of these edge states is their robustness against symmetry-preserving perturbations.
The insensitiveness of edge states to material parameters strikes a chord in the field of magnetism. Since their discovery in 1960 Eshbach and Damon (1960), ferromagnetic spin waves known as “magnetostatic surface waves” (MSSWs) have been a subject of various experimental and theoretical studies. These edge modes owe their intrinsic chiral structure to dipole-dipole interactions. MSSWs propagate perpendicular to the ordered magnetization regardless of the sample geometry, be it a slab Damon and Eshbach (1961) or a sphere Fletcher and Bell (1959). They are known to be anomalously robust against back scatterings Chumak et al. (2009); Mohseni et al. (2019), hinting towards a topological origin. The chirality and robustness render them interesting for many fundamental studies, e.g. for non-reciprocal transport of spin Sander et al. (2017) and heat An et al. (2013). Today, in the context of magnon spintronics Chumak et al. (2015), MSSWs are almost exclusively used in studies of spin-wave transport in microstructures since they offer the largest decay length of all available modes and are easily excited by the commonly used inductive microwave antennas. It is therefore of fundamental interest whether MSSWs are indeed topologically protected or not.
In this Letter, we show that the bulk Hamiltonian of spin waves in the presence of dipole-dipole interactions is characterized by a topological invariant. A pair of vortex lines in the Brillouin zone acts as extended Dirac monopoles, which cannot be removed by small continuous changes in system parameters. We demonstrate that these topological vortex lines lead to MSSWs via the notion of class CI semimetals, where CI denotes the symmetry class formally defined by the presence of two symmetry operators and Ryu et al. (2010). Even though they are conventionally called chiral and even time-reversal symmetry respectively, these mathematical operations are realized for MSSWs as the symplectic structure Arnold (1989) and the reality condition that are both inherent to classical mechanics. We first show that in a quantum mechanical context, class CI semimetals have edge states which appear in a band gap. The dipolar Hamiltonian has a topologically nontrivial class CI semimetal structure. Because it describes classical waves, however, the topological edge states have instead eigenfrequencies above the bulk spectrum, in agreement with MSSWs. Motivated by this example, we establish a new type of bulk-edge correspondence for a general class of classical mechanical systems (FIG. 1(a)).
It is instructive to first visualize the setup (FIG. 1(b)). The 3D Brillouin zone in class CI can be sliced up into 1D subsystems (green straight lines in FIG. 1(b)), which generically possess only -symmetry and thus belong to class AIII. As in the Su-Schrieffer-Heeger model Su et al. (1979), the bulk topological invariant of class AIII in 1D is the integer winding number over the 1D Brillouin zone. Its nonzero value guarantees topologically protected dangling edge modes Ryu and Hatsugai (2002); Gomi and Thiang (2019) even in the presence of disorder Prodan and Schulz-Baldes (2016); Graf and Shapiro (2018). For dipolar spin waves, each subsystem gives winding number which remains constant as the slice is varied, unless a vortex line is crossed, forcing a discontinuous jump by . This topological structure is analogous to Weyl semimetals, where the slice-wise 2D Chern number stays constant away from band-crossings (Weyl points) in the 3D Brillouin zone, but changes discontinuously when a Weyl point is traversed Wan et al. (2011). While Weyl semimetals are characterized by the Dirac monopole charges of the Weyl points (along with the Dirac strings connecting them Mathai and Thiang (2017a, b)), the dipolar spin wave Hamiltonian features vortex lines of 1D “extended monopoles” in 3D, i.e. topological defects of codimension two.
We elaborate on this structure by elementary winding number analysis augmented with -symmetry, following ideas in Refs. Mathai and Thiang (2017a); Thiang et al. (2017). We assume that the system is periodic on a 3D lattice and denote the Brillouin zone by . By definition of a class CI Hamiltonian Ryu et al. (2010), given are a unitary and an antiunitary such that , where () denotes (anti-)commutator. In the Brillouin zone, -symmetry means
[TABLE]
in a basis in which ( denote Pauli matrices), while time-reversal symmetry relates the Hamiltonian at and by . Suppose is gapped, i.e. its eigenvalues are all nonzero, on where is a set of four vortex lines parallel to . More general line defects are obtained by either deforming or splitting the four straight lines passing through the TRIMs on plane 111See Supplemental Material for general vortex line configurations, details of the classical eigenfrequency problem, explicit edge state solutions, and additional information on the Fourier transform.. Here we focus on the straight line configuration realized by MSSWs for readability. The gap condition means on . Let us first examine the slice , which the vortex lines intersect at its four time-reversal invariant momenta (TRIMs). Take a small but otherwise arbitrary loop encircling only the -th TRIM (labelling in FIG. 2(a)), oriented counterclockwise. Define its winding number by
[TABLE]
The winding number is an integer topological invariant, insensitive to perturbations of (thus of that respects and the gap condition), and deformations of (avoiding the vortices). As graphically proven in FIG. 2(a), there is a “charge cancellation” consistency condition because the sum may be evaluated in a second way which is manifestly trivial.
By -symmetry, the are enough to determine the winding numbers along “large” loops of (say, at constant or , FIG. 2(b)). First, any small loop can be deformed into a symmetric one which is mapped onto itself under . In Eq. (2), the integrand for one half of is repeated on the other half, so that the total line integral should be an even integer. Similarly, a large winding around at a fixed must equal that at evaluated along the opposite orientation, and they are constrained by their sum equalling that of the enclosed small windings. As for the 2D slices with which do not respect individually, continuity along forces on them the same topological structure as the slice (FIG. 1(b)). To summarize, Hamiltonians in class CI with 1D line defects are topologically characterized by three independent small even windings . If , there is a corresponding vortex line of topologically protected gapless points or singularities of .
To obtain the CI semimetal bulk-edge correspondence, consider for some fixed , the two class AIII 1D subsystems and along the direction. Their (large) winding numbers are equal and opposite by -symmetry, and if nonzero, the 1D bulk-edge correspondence of class AIII ensures that when a surface is cut along - plane, there appear surface-localized eigenstates of with zero eigenvalue. A similar argument holds with replaced by . If at least one is nonzero, then some or has nonzero winding number, implying the existence of edge eigenstates.
The application of the CI semimetal setup presented above requires a Hamiltonian operator acting on a complex Hilbert space. To introduce such a structure for classical mechanical systems on a lattice , a metric plays a crucial role; below we explain why Note (1). In classical mechanics Arnold (1989), one starts from a real symplectic vector space whose coordinates are canonical variables . The symplectic two-form can be regarded as a linear map identifying with the dual space . In linearized problems, the dynamics is determined by a positive definite quadratic energy function , i.e. another linear map . Hamilton’s equations of motion read , where is the Poisson bracket and denotes composition of maps. Note that is not an operator (a map ). One way of promoting the energy to an operator is to assume that a preferred metric is given on and define . Indeed defined in this way is what one calls Hamiltonian in problems where comes with a natural Euclidean metric. Now the equations of motion may be rewritten as where satisfies (transpose with respect to ). By rescaling , we can further arrange for .
For a given classical system with a (rescaled) metric as above, i.e. maps , we shall say belongs to class CI* if there exists a positive such that with . To recognize the connection to the definition of class CI, we complexify to and extend complex linearly to . This step is usually implicit when one carries out Fourier transforms. Here, always has the even “time-reversal” symmetry of complex conjugation, reflecting the reality of the original problem. One can also introduce a chiral symmetry , which is unitary and satisfies , . Therefore, a classical in class CI* has the complexified in class CI. If is semimetallic with vortex lines , the winding numbers topologically characterize . In a basis where , the classical Hamiltonian takes its canonical form
[TABLE]
with some real operators . A basis transform by brings into and into the off-diagonal form as in Eq. (1) with the Fourier transform of providing the winding numbers, Eq. (2). If some , the CI semimetal bulk-edge correspondence predicts edge states in the gap of at , i.e. .
We now reveal that the edge states appear above the physical bulk frequency spectrum. Although the eigenvalues of do not equal physical eigenfrequencies in general, there is a one-to-one correspondence between them within class CI*. Suppose is an eigenvector of with eigenvalue . The class CI* condition implies that satisfies . Whether or not, because the eigenvalues of are while are both real. Hence all eigenvectors of come in pairs mutually related by with respective eigenvalues . One can choose the label such that . Since form a complete set of basis vectors, the general solution of Hamilton’s equations is given by with the time-dependent coefficients satisfying
[TABLE]
This yields
[TABLE]
where are constants and is the physical eigenfrequency. This clearly shows that the edge states with have the physical frequency higher than those of the bulk modes with .
While our topological characterization of class CI Hamiltonians is interpreted in the classical mechanical framework, previous studies of topological spin waves Shindou et al. (2013); Peano and Schulz-Baldes (2018); Lu and Lu (2018) focused on eigenvalues of in the Bogoliubov-de Gennes formalism. To the best of our knowledge, their approach seems to always predict gapless edge modes, and consequently Ref. Shindou et al. (2013) missed the topological nature of MSSWs.
To summarize, classical problems with a metric have a natural candidate for chiral symmetry in . If up to a constant shift anticommutes with , the (real) eigenvectors of do coincide with the physical eigenstates, while its eigenvalues correspond to the physical eigenfrequencies . If there is a “gapless” edge “state” of () protected by a CI semimetal structure, there exists an edge-localized physical eigenstate whose frequency () appears above the bulk frequency spectrum.
The general framework presented above requires only the specified symmetry conditions. We now demonstrate that all those assumptions are almost faithfully respected by dipolar spin waves traveling perpendicular to the magnetization Damon and Eshbach (1961). Consider a simple cubic lattice of classical spins interacting only with an external magnetic field along direction and between each other via dipole-dipole interactions. The ground state satisfies where is the normalized spin vector at site . The energy function of spin waves in terms of the linearized spin components yields Aharony and Fisher (1973)
[TABLE]
where sums over are implicit, 222This expression of is due to Ref. Holstein and Primakoff (1940). Also see Supplemental Material. and the constants and are appropriately normalized. and are identified to be respectively with the area two-form of the sphere (phase space of ) acting as the symplectic two-form Stancil and Prabhakar (2009). The system comes with the Euclidean metric of the spin configuration space, with which the Hamiltonian is identical to as a matrix. Applying spatial Fourier transform, decomposes over the Brillouin zone as two-by-two matrices ( is the unit matrix) each acting on . For , i.e. in the long-range limit, the coefficient functions are approximated by
[TABLE]
is already in the class CI* canonical form Eq. (3) with and has complex conjugation as a -symmetry. is identified with a chiral symmetry, which is exact when is constant. To compute the winding number, note as stated below Eq. (3). Substituting it into Eq. (2) yields around the origin (and axis), proving that the dipolar Hamiltonian is topologically non-trivial. Although expressions for away from the origin are not available in a closed analytical form, they can be numerically evaluated by Ewald’s method Cohen and Keffer (1955) as plotted in FIG. 3. One confirms along and (i.e. a vortex line is located) along Note (1). Thus the topology of the dipolar spin wave Hamiltonian is characterized by . All the 1D slices for fixed have winding numbers . Note that the slices are paired by the reality condition (“-symmetry”) and represent the same physical degrees of freedom. Therefore, when a surface is cut along - plane, one surface mode for each is expected.
Strictly speaking, the bulk-edge correspondence is valid only if is constant. It is satisfied on the slice in the long-range limit as and the eigenfrequency of the corresponding edge mode should be , which is precisely the frequency of MSSWs for . Although deviates from for of order unity, the numerical calculation shows the dependence is weak so that the chiral symmetry is approximately satisfied for (FIG. 3). In contrast, on planes with constant , varies as much as or does and chiral symmetry is violated. This can explain the lack of robustness of obliquely traveling MSSWs. Physically, we expect the chiral symmetry breaking term to shift the frequency of the edge modes relative to that of bulk modes, eventually causing them to merge with the bulk band and disappear. To our knowledge, the fate of the class AIII bulk-edge correspondence when strict chiral symmetry is broken while the bulk winding is still well-defined is an open mathematical problem.
Finally we discuss the chiral, unidirectional propagation of MSSWs. When a surface is cut in the direction as in Fig. 1(b), edge states appear on the surface Brillouin zone except for the projections of the bulk vortex lines . Thus the edge states always have nonzero components of and one can define their chirality with respect to the direction. The reality condition means the pair of edge states at are physically identical so that the sign of itself cannot decide the direction of propagation. This however also implies there is one propagating mode for the pair of states, which is thus necessarily chiral (i.e. it can propagate in only one of directions). The “chiral symmetry” is indeed correlated with the direction of propagation in the following way. Recall that class AIII edge states are eigenstates of with their eigenvalues for windings Ryu and Hatsugai (2002); Gomi and Thiang (2019); Graf and Shapiro (2018). Due to the -symmetry, edge states with are paired up and form a single physical eigenstate. An explicit computation Note (1) shows that for gives edge modes traveling in the positive and negative directions respectively.
In conclusion, we have established the notion of class CI semimetals characterized by even windings around vortex defect lines, and explained how they arise in certain classical mechanical systems. We constructed a chiral symmetry operator from the symplectic two-form and a metric. We showed that the corresponding chiral symmetric classical systems can support topologically protected edge modes with their eigenfrequencies appearing above the bulk spectrum. The framework is applicable to MSSWs for and reproduces all of their characteristic features.
Acknowledgements.
The authors would like to thank Shunsuke Daimon, Kiyonori Gomi, Kazuya Harii, Jun’ichi Ieda, Max Lein, Ben McKeever, Michiyasu Mori, Naoto Nagaosa, Koji Sato and Libor Šmejkal for helpful comments. This work was supported by the Transregional Collaborative Research Center (SFB/TRR) 173 SPIN+X of the DFG, JSPS KAKENHI Grant Number JP 18H05855, Australian Research Council DE170100149, the German Research Foundation (DFG) No. EV 196/2-1 and No. SI 1720/2-1, the KIST Institutional Program, JST-ERATO ‘Spin Quantum Rectification’ and AIMR Tohoku University.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1Kitaev et al. (2009) A. Kitaev, V. Lebedev, and M. Feigel’man, AIP Conference Proceedings 1134 , 22 (2009) . · doi ↗
- 2Hatsugai (1993) Y. Hatsugai, Physical Review Letters 71 , 3697 (1993) . · doi ↗
- 3Fu et al. (2007) L. Fu, C. L. Kane, and E. J. Mele, Physical Review Letters 98 , 106803 (2007) . · doi ↗
- 4Raghu and Haldane (2008) S. Raghu and F. D. M. Haldane, Physical Review A 78 , 033834 (2008) . · doi ↗
- 5Shindou et al. (2013) R. Shindou, J.-i. Ohe, R. Matsumoto, S. Murakami, and E. Saitoh, Physical Review B 87 , 174402 (2013) . · doi ↗
- 6Kane and Lubensky (2014) C. L. Kane and T. C. Lubensky, Nature Physics 10 , 39 (2014) . · doi ↗
- 7Eshbach and Damon (1960) J. R. Eshbach and R. W. Damon, Physical Review 118 , 1208 (1960) . · doi ↗
- 8Damon and Eshbach (1961) R. Damon and J. Eshbach, Journal of Physics and Chemistry of Solids 19 , 308 (1961) . · doi ↗
