This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Tuning the Delicate Topology of Topological Phases

Snigdh Sabharwal snigdh.sabharwal@oist.jp Theory of Quantum Matter Unit, Okinawa Institute of Science and Technology Graduate University, Onna-son, Okinawa 904-0412, Japan
Abstract

We present a unified framework to systematically embed complex knotted and linked structures, beyond the torus family, into diverse topological phases, including Hopf insulators, classical spin liquids, topological semimetals, and non-Hermitian metals. Using rational maps and level sets of complex polynomials, we explicitly construct new topological models exhibiting rich and previously inaccessible textures. These topological features manifest distinctly across physical systems: emergent magnetic field lines in Hopf insulators directly reflect the rational-map topology, paralleling topological electromagnetism, while in classical spin liquids the topology is experimentally accessible via the equal-time structure factor. Our approach thus provides both a conceptual unification of previously disconnected systems and a practical toolset for realizing and detecting intricate topological textures in experiments.

Introduction. From an unsuccessful attempt to classify atoms based on different knot types Thomson (1867); Knott (1911) to the classification of phases of matter using topological invariants Ryu et al. (2010), the applications of topology within physics boast a rich and varied history. The percolation of these ideas to various fields from plasma physics Moffatt et al. (2013) to quantum computing Kauffman and Baadhio (1993) highlights the general applicability of these methods.

Within the field of topological phases of matter, one is driven by the search for new exotic phases. A powerful strategy in this pursuit is to use complex maps that encode topologically nontrivial information. A well-known example is the Hopf map Hopf (1931), which was used to realize a three-dimensional topological insulator, the Hopf insulator Moore et al. (2008). This approach was later generalized in Deng et al. (2013) by employing the Whitehead map Whitehead (1947). Similar ideas, utilizing other maps Brauner (1928); Dennis et al. (2010), have been used to construct knotted and linked topological semimetals Ezawa (2017); Chen et al. (2017); Yan et al. (2017) and non-Hermitian metals Carlström et al. (2019). Curiously, however, these constructions have thus far been confined to encoding torus knots and links. In contrast, complex maps that encode topological structures beyond the torus family have found great success in constructing approximate solutions of the Skyrme-Faddeev model Sutcliffe (2007); Jennings (2015) and designing topologically nontrivial electromagnetic fields Kedia et al. (2016); Bode et al. (2017); Arrayás et al. (2017). These maps yield a remarkable diversity of knotting and linking structures, from torus knots and links to figure-8, cable knots, Borromean rings, etc., raising the question: can these complex topologies be effectively integrated into the framework of topological phases of matter?

In this work, we develop a unified methodology to construct complex polynomials that systematically incorporates complex topologies, extending beyond the torus class, into various topological phases of matter. By leveraging level sets of these polynomials, we construct models that capture a wide array of knotted and linked textures (such as figure‑8 knots, cable knots, etc.) and translate these into the language of topological insulators, semimetals, non-Hermitian metals and classical spin liquids (CSLs). For instance, in the cases of Hopf insulators, and classical spin liquids, the level set topology is imprinted via complex rational maps, with the corresponding Hopf-Pontrjagin (HP) index Pontrjagin (1941) serving as a topological marker. In Hopf insulators, this topology is directly reflected in the field line configuration of the emergent magnetic field. Additionally, in classical spin liquids, the level set topology is manifest onto the equal-time structure factor, which is experimentally accessible. Furthermore, by leveraging the same polynomial construction, we readily transfer the encoded level set topology to 𝒫𝒯\mathcal{PT}-symmetric semimetals and non-Hermitian metals, thereby generalizing earlier approaches.

Our work provides systematic scheme to construct knotted and linked models of topological phases, highlighting the connections between different fields and paving out straightforward extensions to other models in the future.

Refer to caption
Figure 1: Visualizing the zero sets of complex polynomials, D=0D=0 (in blue) . (a) The zero set of Eq. (15) for γ=2,δ=2\gamma=2,\delta=2, which corresponds to linked circles. (b) The zero set of Eq. (Tuning the Delicate Topology of Topological Phases), which corresponds to the figure-8 knot. (c) The zero set of Eq. (19), which corresponds to the cable knot. The transparent surfaces are only meant to emphasize the knotted or linked structure.
Refer to caption
Figure 2: Observing the magnetic field lines (shown in gray) obtained via rational maps. (a) Field lines generated by the Hopf map [Eq. (11)]. (b) Field lines generated by the Whitehead map [Eq. (13) with p=2,q=3p=2,\,q=3]. The plots were obtained for m=2.3m=-2.3. Red and blue lines highlight selected fibers, emphasizing the underlying level set topology of each map.

Review of Hopf insulators Hopf insulators are three-dimensional TIs featuring a single conduction and a valence band. These insulators are characterized by a non-vanishing topological invariant, the HP index Pontrjagin (1941). These insulators are modeled as follows

(𝐤)=𝐧^(𝐤)𝝈,|𝐧(𝐤)|0𝐤,\mathcal{H}(\mathbf{k})=\mathbf{\hat{n}(k)}\cdot\boldsymbol{\sigma}\;,\quad|\mathbf{n(k)}|\neq 0\;\;\forall\mathbf{k}\;, (1)

where 𝝈\boldsymbol{\sigma} are the Pauli matrices and 𝐧^(𝐤)\mathbf{\hat{n}(k)} is the pseudo-spin field defined as

𝐧^(𝐤)=𝐳^(𝐤)𝝈𝐳^(𝐤).\mathbf{\hat{n}(k)}=\mathbf{\hat{z}(k)}^{\dagger}\boldsymbol{\sigma}\mathbf{\hat{z}(k)}\;. (2)

The topological texture of these insulators is imparted using,

𝐳^=(z1,z2)T,|z1|2+|z2|2=1,\mathbf{\hat{z}}=(z_{1},z_{2})^{T}\;,|z_{1}|^{2}+|z_{2}|^{2}=1\;, (3)

where z1z_{1} and z2z_{2} are functions of

u1\displaystyle u_{1} =sin(kx)+isin(ky)\displaystyle=\sin(k_{x})+i\sin(k_{y}) (4)
u2\displaystyle u_{2} =sin(kz)+i(l=x,y,zcos(kl)+m),\displaystyle=\sin(k_{z})+i\bigg{(}\sum\nolimits_{l=x,y,z}\cos(k_{l})+m\bigg{)}\;, (5)

and their complex conjugates. Here, the parameter mm controls whether the topology is trivial or otherwise.

The characterization of the nontrivial topology is established by an invariant, a Hopf-Pontrjagin (HP) index Pontrjagin (1941),

χ\displaystyle\chi =14π2BZd3𝐤𝐁𝐀,\displaystyle=\frac{1}{4\pi^{2}}\int_{BZ}d^{3}\mathbf{k}\;\mathbf{B}\cdot\mathbf{A}\;, (6)

where,

𝐀\displaystyle\mathbf{A} =i(z1z1+z2z2),\displaystyle=i\bigg{(}z_{1}^{*}\gradient z_{1}+z_{2}^{*}\gradient z_{2}\bigg{)}\;, (7)

is the gauge potential, and

𝐁\displaystyle\mathbf{B} =×𝐀,\displaystyle=\gradient\times\mathbf{A}\;, (8)

is the corresponding magnetic field. Physically, χ\chi measures the linking number between the level sets (i.e. the preimages) of any two distinct points on S2S^{2}. However, it is worth noting that χ\chi becomes trivial when an additional band is introduced into the relevant subspace (conduction or valence), so that these insulators are often described as having a delicate topology 111This is different from fragile topology where one is allowed to introduce additional valence bands while keeping the conduction band subspace fixed.Kennedy and Zirnbauer (2016); Nelson et al. (2021).

Refer to caption
Figure 3: Isosurfaces and corresponding contour plots of the equal-time structure factor for fragile classical spin liquids (CSLs) derived from rational maps. (a) Three-dimensional isosurface of S(𝐤)S(\mathbf{k}) for the Hopf map, Eq. (11). (b) Two dimensional contour plot of S(kx,ky,0)S(k_{x},k_{y},0) for the Hopf map. (c) Three-dimensional isosurface of S(𝐤)S(\mathbf{k}) for the Whitehead map, Eq. (13) with p=2,q=3p=2,q=3. (d) Two-dimensional contour plot of S(kx,ky,0)S(k_{x},k_{y},0) for the same Whitehead map. The 3D isosurfaces directly visualize the knot or link topology encoded by the rational map, since the eigenvectors defining S(𝐤)S(\mathbf{k}) span the plane perpendicular to the pseudo-spin field. Correspondingly, the 2D contour plots at kz=0k_{z}=0 provide planar projections of these knotted or linked textures, offering insight into crossings and linking structure through their intersection patterns and concentric contours.

Encoding complex topologies through rational maps Rational maps provide a very natural means to encode various classes of knotted and linked structures. These maps are defined as the ratio of two complex polynomials, where the encoded topology can be viewed through it’s level sets. Here we identify the map 𝐳\mathbf{z} with a rational map,

ψ=z1z2=ND,\psi=\frac{z_{1}}{z_{2}}=\frac{N}{D}\;, (9)

where different choices of NN and DD can realize various kinds of topological insulators. In general, NN and DD can be thought of as arbitrary functions of u1u_{1} and u2u_{2}, and their complex conjugates,

N=N(u1,u1,u2,u2),D=D(u1,u1,u2,u2).\displaystyle N=N(u_{1},u_{1}^{*},u_{2},u_{2}^{*}),D=D(u_{1},u_{1}^{*},u_{2},u_{2}^{*})\;. (10)

Hopf-Pontrjagin index of rational maps The Hopf map, for instance, can be described by the rational map

N=u1,D=u2.N=u_{1},\;D=u_{2}\;. (11)

This map was first considered in Moore et al. (2008), where, for m=32m=-\frac{3}{2}, the topological invariant was shown to be,

χ=1.\chi=1\;. (12)

A generalization was later proposed in Deng et al. (2013) using the Whitehead map Whitehead (1947), defined as

N=u1p,D=u2q,N=u_{1}^{p},\;D=u_{2}^{q}\;, (13)

where pp and qq are integers. In this scenario, the HP invariant becomes

χ={0,for |m|>3pq,for 1<|m|<32pqfor |m|<1.\displaystyle\chi=\begin{cases}0,&\text{for }|m|>3\\ pq,&\text{for }1<|m|<3\\ -2pq&\text{for }|m|<1\;.\end{cases} (14)

When p=q=1p=q=1, we obtain the Hopf map Eq. (11).

One can further extend these rational maps to encode torus knots and links via:

N=u1αu2β,D=u1γ+u2δ,N=u_{1}^{\alpha}u_{2}^{\beta},\;D=u_{1}^{\gamma}+u_{2}^{\delta}\;, (15)

yielding the invariant

χ={0,for |m|>3αδ+βγ,for 1<|m|<32(αδ+βγ)for |m|<1.\displaystyle\chi=\begin{cases}0,&\text{for }|m|>3\\ \alpha\delta+\beta\gamma,&\text{for }1<|m|<3\\ -2(\alpha\delta+\beta\gamma)&\text{for }|m|<1\;.\end{cases} (16)

The possible choices are not limited to torus knots and links. A broader family of rational maps, useful for encoding structures such as cable knots, fig-8 knot, Borromean rings, etc., is given by

N=u1α,D=D(u1,u1,u2).N=u_{1}^{\alpha},D=D(u_{1},u_{1}^{*},u_{2})\;. (17)

where the topology is controlled by the choice of the polynomial DD. For this class, the associated HP invariant is

χ={0,for |m|>3αdeg(D)u2,for 1<|m|<32(αdeg(D)u2)for |m|<1,\displaystyle\chi=\begin{cases}0,&\text{for }|m|>3\\ \alpha\deg(D)_{u_{2}},&\text{for }1<|m|<3\\ -2(\alpha\deg(D)_{u_{2}})&\text{for }|m|<1\;,\end{cases} (18)

where deg(D)u2\deg(D)_{u_{2}} corresponds to the highest power of u2u_{2}. For example, the complex polynomial

D=u242u13u222iu13u2+u16+14u13,D=u_{2}^{4}-2u_{1}^{3}u_{2}^{2}-2iu_{1}^{3}u_{2}+u_{1}^{6}+\frac{1}{4}u_{1}^{3}\;, (19)

encodes the cable-knot, C3,22,3C^{2,3}_{3,2} Jennings (2015), as visualized by its zero set (D=0D=0), shown in [Fig. 1(c)].

Another versatile family of polynomials is the lemniscate family Bode et al. (2017), parameterized by three positive integers (s,l,r)(s,l,r). Specific choices within this family represent a wide range of knots and links: for example, (s,r,l=1)(s,r,l=1) yield torus knots, whereas (s=3,r=3,l=2)(s=3,r=3,l=2) corresponds to the Borromean rings. These polynomials have the form

D=m=1s[u2\displaystyle D=\prod_{m=1}^{s}\bigg{[}u_{2}- a2(u1r/se2πim/s+(u1)r/se2πim/s)\displaystyle\frac{a}{2}\bigg{(}u_{1}^{r/s}e^{2\pi im/s}+(u_{1}^{*})^{r/s}e^{-2\pi im/s}\bigg{)}
\displaystyle- b2l(u1rl/se2πiml/s+(u1)rl/se2πiml/s)],\displaystyle\frac{b}{2l}\bigg{(}u_{1}^{rl/s}e^{2\pi iml/s}+(u_{1}^{*})^{rl/s}e^{-2\pi iml/s}\bigg{)}\bigg{]}\;, (20)

with parameters a=b=1a=b=1. Once again, we can visualize these through their zero set.

However, the polynomial associated with a given knot or link is not unique. For example, the complex polynomial 222Note this corresponds to (s=3,r=2,l=2)(s=3,r=2,l=2) in Eq. (Tuning the Delicate Topology of Topological Phases).

D=\displaystyle D=  64u2312u2(3+2u122u12)\displaystyle\;64u_{2}^{3}-12u_{2}(3+2u_{1}^{2}-2u_{1}^{*2})
+(14u12+14u12+u14u14),\displaystyle+(14u_{1}^{2}+14u_{1}^{*2}+u_{1}^{4}-u_{1}^{*4})\;, (21)

encodes a figure-8 knot, [Fig. 1(b)], but the same knot is also represented by Rudolph’s polynomial Rudolph (1987)

D=u233u2(u1u1)2(1+u12+u12)2(u12+u12).D=u_{2}^{3}-3u_{2}(u_{1}u_{1}^{*})^{2}(1+u_{1}^{2}+u_{1}^{*2})-2(u_{1}^{2}+u_{1}^{*2})\;. (22)

The approach, based on rational maps, thus provides a unified framework that not only consolidates previous methods but also naturally allows further generalization and connections across different fields, as discussed below.

Magnetic fields are level curves of rational maps Field lines of electromagnetic fields constructed from rational maps are intricately linked Arrayás et al. (2017); Kedia et al. (2016). Similarly, the magnetic field lines in Hopf insulators reflect the underlying topology encoded by these rational maps. To illustrate this, we rewrite the magnetic field making use of Eqs. (7) and (8) as

𝐁=iψ×ψ(1+ψψ)2=×Im(ψψ)(1+ψψ)2.\mathbf{B}=\frac{i\mathbf{\nabla}\psi^{*}\times\mathbf{\nabla}\psi}{(1+\psi\psi^{*})^{2}}=\frac{-\mathbf{\nabla}\times\textsf{Im}(\psi^{*}\mathbf{\nabla}\psi)}{(1+\psi\psi^{*})^{2}}\;. (23)

The appearance of the curl, ×Im(ψψ)\mathbf{\nabla}\times\textsf{Im}(\psi^{*}\mathbf{\nabla}\psi), implies that 𝐁\mathbf{B} is tangent to the level sets of ψ\psi. This correspondence is demonstrated in [Fig. (2)] for the Hopf map, Eq. (11), and the Whitehead map, Eq. (13) with p=2,q=3p=2,q=3. where the level sets are higlighted in red and blue, resepectively.

Refer to caption
Figure 4: Real-space constrainer representing the three-sublattice geometry. The sublattice sites are drawn in red, green, and blue (labeled α=A,B\alpha=A,B and CC) and are positioned at 𝐚α,j\mathbf{a}_{\alpha,j}, Eq. (39). The bigger circles correspond to the respective sublattice origin 𝐫α\mathbf{r_{\alpha}}, Eq. (38). This plot was obtained by inverting the reciprocal‐space constrainer 𝐧^(𝐤)\mathbf{\hat{n}(k)} contructed from Hopf map, Eq. (11).
Refer to caption
Figure 5: Demonstrating different types of nodal lines topologies. (a) Nodal lines for Hopf map, Eq. (11). (b) Nodal lines for Whitehead map, Eq. (13) with p=2,q=2p=2,q=2. (c) Nodal lines for the map in Eq. 17 with α=1\alpha=1 and DD given by Eq. (22). These plots were obtained for m=2.3m=-2.3 and λ=0.8\lambda=0.8.

Isosurfaces of Fragile Classical Spin Liquids Employing the pseudo‑spin field 𝐧^(𝐤)\mathbf{\hat{n}(k)}, we construct three-dimensional gapped CSLs, characterized by the HP invariant. Following the terminology of Yan et al. (2024), these systems fall under the fragile topological CSL class. The CSL Hamiltonian in momentum space is given by

𝖢𝖲𝖫=12𝐤a,b=1N=3S~a(𝐤)[𝗉𝗌(𝐤)]abS~b(𝐤),\mathcal{H}_{\sf CSL}=\frac{1}{2}\sum_{\mathbf{k}}\sum_{a,b=1}^{N=3}\tilde{S}_{a}(-\mathbf{k})\bigg{[}\mathcal{H}_{\sf ps}(\mathbf{k})\bigg{]}_{ab}\tilde{S}_{b}(\mathbf{k})\;, (24)

where, S~a\tilde{S}_{a} is the Fourier transform of spin field SaS_{a}, and a,ba,b label the sublattice sites. The pseudo-spin Hamiltonian is defined as

𝗉𝗌(𝐤)=𝐧^(𝐤)𝐧^(𝐤).\mathcal{H}_{\sf ps}(\mathbf{k})=\mathbf{\hat{n}(k)}\otimes\mathbf{\hat{n}(k)}\;. (25)

Here the pseudo-spin field functions as a constrainer in reciprocal space. For further details on the constrainer, please refer to the End Matter.

By construction, the pseudo‑spin Hamiltonian, 𝗉𝗌(𝐤)\mathcal{H}_{\sf ps}(\mathbf{k}) has a gapped spectrum, characterized by the HP invariant of the chosen rational map. For example, employing the Hopf map, Eq. (11) results in a system classified by its corresponding HP invariant, Eq. (12), albeit with an intricate real-space constrainer [Fig. (4)] (refer to End Matter).

To experimentally probe the embedded topological structure, we look at the equal time structure factor

S(𝐤)=i:ωi=0|a=13via(𝐤)|2.S(\mathbf{k})=\sum_{i:\omega_{i}=0}\bigg{|}\sum_{a=1}^{3}v_{i}^{a}(\mathbf{k})\bigg{|}^{2}\;. (26)

Here, ωi\omega_{i} denote the eigenvalues of 𝗉𝗌(𝐤)\mathcal{H}_{\sf ps}(\mathbf{k}), and the eigenvectors vi(𝐤)v_{i}(\mathbf{k}) span the degenerate subspace corresponding to the zero eigenvalues. The resulting isosurfaces of S(𝐤)S(\mathbf{k}) directly capture the nontrivial linking structure of the pseudo-spin field’s level set, as explicitly demonstrated in [Fig. (3)]. Additionally, the two-dimensional contour plots, such as the S(kx,ky,0)S(k_{x},k_{y},0) slice, serve as planar projections clearly revealing the crossing and linking patterns underlying these topological textures. The structure factor thus provides a practical and measurable fingerprint of the intricate topology inherent to our CSL construction.

Nodal lines of Dispersive Hopf insulators Level sets of rational maps can also be imprinted onto the nodal lines of dispersive Hopf insulators Jankowski et al. (2024). These insulators are described by the Hamiltonian

𝖽𝗂𝗌𝗉(𝐤)=2𝐧^(𝐤)𝐧^(𝐤)I3+λdiag{1,0,1},\mathcal{H}_{\sf disp}(\mathbf{k})=2\mathbf{\hat{n}(k)}\otimes\mathbf{\hat{n}(k)}-I_{3}+\lambda\operatorname{diag}\{-1,0,1\}\;, (27)

where λ\lambda is a band-gap parameter (chosen as λ=0.8\lambda=0.8 here). In this framework, the nodal lines defined by the degeneracy condition,

E1(𝐤)=E2(𝐤),E_{1}(\mathbf{k})=E_{2}(\mathbf{k})\;, (28)

for the lowest two eigenvalues, exhibit the same topological structure as the level sets of the rational map Jankowski et al. (2024). For example, when the Hopf map, Eq. (11) is employed, the nodal lines form a Hopf link, as illustrated in [Fig.(5)]. By choosing other rational maps, one can similarly generate topologies such as torus knot, [Fig. (5)], figure-8 knot, [Fig. (5)] etc. The key principle is the same: the chosen map enforces the relevant topological structure.

Zero sets of Topological semimetals, and Non-Hermitian metals We already showed (see Fig. 1) how the zero sets of complex polynomials can encode nontrivial knot or link structures. We leverage this idea to model more exotic kinds of topological semimetals generalizing the construction of Ezawa (2017); Yan et al. (2017); Chen et al. (2017). In particular, we consider the 𝒫𝒯\mathcal{PT}-symmetric Hamiltonian

TS(𝐤)=a1(𝐤)σx+a3(𝐤)σz.\mathcal{H}_{\textsf{TS}}(\mathbf{k})=a_{1}(\mathbf{k})\sigma^{x}+a_{3}(\mathbf{k})\sigma^{z}\;. (29)

where

a1=Re(D),a3=Im(D)a_{1}=\textsf{Re}(D),\;a_{3}=\textsf{Im}(D) (30)

The energy bands, E±=±a12+a32E_{\pm}=\pm\sqrt{a_{1}^{2}+a_{3}^{2}}, vanish precisely at points where D=0D=0. By choosing different complex polynomials DD, one can embed various knots or links into these zero sets. In [Fig. (1)], the blue curves illustrate several such examples for different choices of DD, indicating where E±E_{\pm} goes to zero.

This same idea can be extended to non-Hermitian systems, allowing the construction of knotted or linked metals beyond the torus-based class Yan et al. (2017). Consider the non-Hermitian Hamiltonian

NH(𝐤)=𝐝𝐑(𝐤)𝝈+𝐝𝐈(𝐤)𝝈,\mathcal{H}_{\textsf{NH}}(\mathbf{k})=\mathbf{d_{R}}(\mathbf{k})\cdot\boldsymbol{\sigma}+\mathbf{d_{I}}(\mathbf{k})\cdot\boldsymbol{\sigma}\;, (31)

where

𝐝𝐑=(a1Λ,Λ,0),𝐝𝐈=(0,a3,2Λ).\mathbf{d_{R}}=(a_{1}-\Lambda,\Lambda,0),\;\mathbf{d_{I}}=(0,a_{3},-\sqrt{2}\Lambda)\;. (32)

For large Λ\Lambda, the zero sets of DD in this framework corresponds to the exceptional points of NH\mathcal{H}_{\textsf{NH}} Carlström et al. (2019). For instance, the torus class can be encoded using DD in Eq. (15). For the lemniscate family, Eq. (Tuning the Delicate Topology of Topological Phases) can be used. For cable knot C3,22,3C^{2,3}_{3,2}, Eq. (19) and so on.

Summary In this work, we have developed a unified method to systematically embed complex knots and links into a diverse range of topological systems, including topological insulators, classical spin liquids, topological semimetals, and non-Hermitian metals. By utilizing rational maps and the level sets of complex polynomials, our construction bypasses the need for separate parameterizations, directly translating knot and link topologies onto physical models. This approach allowed us to explicitly construct new models exhibiting intricate topological textures in each of the considered platforms. Specifically, we demonstrated how Hopf insulators naturally embody aspects of topological electromagnetism through the emergent magnetic field lines. Moreover, for the newly introduced fragile classical spin liquids, we showed that the experimentally accessible equal-time structure factor directly reflects the encoded level-set topology. Looking forward, this method suggests intriguing possibilities for discovering similarly rich textures in Floquet Cayssol et al. (2013), crystalline Fu (2011), and higher-order topological insulators Schindler et al. (2018), paving the way for designing novel topological phases and revealing deeper connections among diverse physical platforms.

Acknowledgments This work is supported by the Theory of Quantum Matter Unit of the Okinawa Institute of Science and Technology Graduate University (OIST). We would like to thank Nic Shannon, Tokuro Shimokawa, Yoshi Kamiya, Jan Willem Dalhuisen, Pranay Patil, and Jiahui Bao for their valuable comments and feedback on the manuscript. We also thank Arthur Morris for highlighting his work Jankowski et al. (2024) during his visit at OIST.

References

End Matter

In the constrainer formalism for classical spin liquids Yan et al. (2024), the local ground state constraint is enforced by a Hamiltonian in real space

=𝐑[𝒞(𝐑)]2\mathcal{H}=\sum_{\mathbf{R}}[\mathcal{C}(\mathbf{R})]^{2} (33)

where the sum runs over all unit cells labeled by the Bravais lattice vector 𝐑\mathbf{R}. Minimization of \mathcal{H} forces the local constraint

𝒞(𝐑)=0 unit cells.\mathcal{C}(\mathbf{R})=0\;\forall\text{ unit cells.} (34)

The local constrainer 𝒞(𝐑)\mathcal{C}(\mathbf{R}) is written as

𝒞(𝐑)=𝐫𝐒(𝐫)𝐂(𝐑,𝐫)\mathcal{C}(\mathbf{R})=\sum_{\mathbf{r}}\mathbf{S}(\mathbf{r})\cdot\mathbf{C}(\mathbf{R},\mathbf{r}) (35)

where 𝐒(𝐫)\mathbf{S}(\mathbf{r}) is the vector array of spins (with components corresponding to the different sublattice sites) and 𝐂(𝐑,𝐫)\mathbf{C}(\mathbf{R},\mathbf{r}) is a vector that encodes the weights by which these spins contribute to the constrainer.

For a system with NN degrees of freedom per unit cell, the constraints can be expressed as an NN-component vector, 𝐂(𝐑,𝐫)\mathbf{C}(\mathbf{R},\mathbf{r}). In our case, N=3N=3, corresponding to three sublattice sites. We define the constrainer at the origin (i.e. 𝐑=𝟎\mathbf{R}=\mathbf{0}) in a vector form that explicitly encodes how spins from different sublattices are summed:

𝐂(0,𝐫)=(jAcA,jδ𝐫,𝐚A,jjBcB,jδ𝐫,𝐚B,jjCcC,jδ𝐫,𝐚C,j).\mathbf{C}(0,\mathbf{r})=\begin{pmatrix}\sum_{j\in\mathrm{A}}c_{A,j}\,\delta_{\mathbf{r},\mathbf{a}_{A,j}}\\[2.84526pt] \sum_{j\in\mathrm{B}}c_{B,j}\,\delta_{\mathbf{r},\mathbf{a}_{B,j}}\\[2.84526pt] \sum_{j\in\mathrm{C}}c_{C,j}\,\delta_{\mathbf{r},\mathbf{a}_{C,j}}\end{pmatrix}\;. (36)

Here, 𝐫\mathbf{r} runs over all lattice sites, and δ𝐫,𝐚α,j\delta_{\mathbf{r},\mathbf{a}_{\alpha,j}} picks out the spins at the positions 𝐚α,j\mathbf{a}_{\alpha,j}. We decompose these positions as

𝐚α,j=𝐑+𝐫α+δ𝐚α,j\mathbf{a}_{\alpha,j}=\mathbf{R}+\mathbf{r}_{\alpha}+\delta\mathbf{a}_{\alpha,j} (37)

where 𝐑\mathbf{R} is the Bravais lattice vector (with a simple cubic structure in our model), 𝐫α\mathbf{r}_{\alpha} is the chosen origin for sublattice, and δ𝐚α,j\delta\mathbf{a}_{\alpha,j} is the displacement (or internal coordinate) of the jjth site within that sublattice.

To obtain the real‐space sublattice sites [Fig. (4)] from the pseudo-spin field 𝐧^(𝐤)\mathbf{\hat{n}(k)} (which is the Fourier transform of 𝐂(0,𝐫)\mathbf{C}(0,\mathbf{r})) we perform an inverse Fourier transform. Each component of 𝐧^(𝐤)\mathbf{\hat{n}(k)}, corresponds to a sublattice (α=A,B,C)(\alpha=A,B,C), from which we extract the displacement vectors δ𝐚α,j\delta\mathbf{a}_{\alpha,j}. We then choose sublattice origins:

𝐫A=(0,0,0),𝐫B=(12,12,0),𝐫C=(12,0,12).\mathbf{r}_{A}=(0,0,0),\quad\mathbf{r}_{B}=\Bigl{(}\tfrac{1}{2},\tfrac{1}{2},0\Bigr{)},\quad\mathbf{r}_{C}=\Bigl{(}\tfrac{1}{2},0,\tfrac{1}{2}\Bigr{)}. (38)

The absolute positions where spins reside are then given by

𝐚α,j=𝐫α+δ𝐚α,j.\mathbf{a}_{\alpha,j}=\mathbf{r}_{\alpha}+\delta\mathbf{a}_{\alpha,j}. (39)

These are plotted in red, green, and blue for sublattices A, B, and C, respectively. See Fig. 4 and Fig. 6 for the pseudo spin field corresponding to the Hopf map.

Refer to caption
Figure 6: Highlighting the different sublattices for the momentum space constrainer obtained from the Hopf map. (a) AA sublattice sites. (b) BB sublattice sites. (c) CC sublattice sites. The bigger circles correspond to the respective sublattice origin 𝐫α\mathbf{r_{\alpha}}, Eq. (38).