Abstract
The concept of gauge field is a cornerstone of modern physics and the synthetic gauge field has emerged as a new way to manipulate particles in many disciplines. In optics, several schemes of Abelian synthetic gauge fields have been proposed. Here, we introduce a new platform for realizing synthetic SU(2) nonAbelian gauge fields acting on twodimensional optical waves in a wide class of anisotropic materials and discover novel phenomena. We show that a virtual nonAbelian Lorentz force arising from material anisotropy can induce light beams to travel along Zitterbewegung trajectories even in homogeneous media. We further design an optical nonAbelian Aharonov–Bohm system which results in the exotic spin density interference effect. We can extract the Wilson loop of an arbitrary closed optical path from a series of gauge fixed points in the interference fringes. Our scheme offers a new route to study SU(2) gauge field related physics using optics.
Introduction
Gauge fields originated from classical electromagnetism, and have become the kernel of fundamental physics after being extended to nonAbelian by Yang and Mills^{1}. Apart from real gauge bosons, emergent gauge fields in either real^{2} or parameter spaces^{3,4} have recently been widely used to elucidate the complicated dynamics in a variety of physical systems^{5}, including electronic^{6,7}, ultracold atom^{8,9,10}, and photonic^{11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31} systems. The geometric nature^{32} of gauge theory makes it a powerful tool for studying the topological phases of matter^{33,34,35,36}.
The concept of emergent gauge fields has offered us new insights in optics and photonics, such as the manifestation of the gauge structure (Berry connection and curvature) in momentum space^{11,12,13,14,15,16}. Artificial gauge fields realized by breaking time reversal symmetry with magnetic effects^{17,18,19} or dynamic modulation^{21,22,23} have given rise to new paradigms for controlling light trajectories in real space. Even for timereversalinvariant systems, a pair of virtual magnetic fields—each being the timereversed partner of the other—can be generated using methods, such as coupled optical resonators^{20}, engineering lattices with strain^{24,25}, or reciprocal metamaterials^{26,27,28,29,30}. However, except for a few works revealing the nonAbelian gauge structure in momentum space^{13,14,16}, all of these schemes of synthetic gauge fields in real space are restricted to the Abelian type.
Recently, anisotropic metamaterials were used to manipulate light through artificial Abelian gauge fields^{27,28,29,30}. It was demonstrated that the offdiagonal components of permittivity and permeability appear as a pair of “spindependent” vector potentials in the twodimensional (2D) wave equation for certain anisotropic media. Though the material parameters are subjected to strong restriction in this scheme, the internal pseudospin degree of freedom implies the possible generalization to a synthetic nonAbelian gauge field theory for light by coupling the spinup and spindown states.
In this work, we discover that the transport of optical waves in a wide class of anisotropic media can be associated with an emergent 2D nonAbelian SU(2) gauge interaction in real space, enabling us to obtain the first scheme for realizing synthetic nonAbelian gauge field for classical waves. Contrary to intuition, we show that a more exotic general SU(2) gauge framework can manifest in 2D optical dynamics, provided the restriction on the material parameters employed in refs. ^{27,28,29,30} is relaxed. Our platform presents broader applicability and allows the study of novel optical phenomena not found in Abelian synthetic gauge field systems. We illustrate our idea with two examples. The first example is the Zitterbewegung (ZB) of light in homogeneous nonAbelian media, which refers to the trembling motion of wave packets^{37}. ZB has been realized in systems possessing Dirac dispersion^{38,39,40,41,42,43}, but we will see that ZB of light can arise from a distinctly different mechanism: emergent nonAbelian Lorentz force. In the second example, we propose for the first time a concrete design of a genuine nonAbelian Aharonov–Bohm (AB) system^{44} using two synthetic nonAbelian vortices, and reveal that the noncommutativity of winding around the two vortices gives rise to nontrivial interference results. In particular, we show that there exists a series of fixed points in the interference fringes invariant under gauge transformation, from which we can obtain the Wilson loops of the closed path concatenated by the two interfering optical paths. As evidenced by the examples, our scheme offers a fresh angle to understand the dynamic effects of light in anisotropic media, and also suggests an optical approach to probe new physics accompanied by SU(2) gauge fields.
Results
NonAbelian gauge fields acting on light
Our scheme focuses on 2D propagating optical waves in nondissipative anisotropic media characterized by the permittivity and permeability tensors:
Here, all of the parameters depend on x, y; the diagonal blocks \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon } _T\), \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \mu } _T\), \(\varepsilon _z\), \(\mu _z\) are real numbers, while the offblockdiagonal components \({\mathbf{g}}_i = (g_{i{\kern 1pt} x},g_{i{\kern 1pt} y})^ \top = g_{i{\kern 1pt} x}{\mathbf{e}}_x + g_{i{\kern 1pt} y}{\mathbf{e}}_y\) (i = 1, 2) are inplane complex vectors whose imaginary parts could be induced by the gyrotropic effect with inplane gyration vectors. The only constraint on the media is the “inplane duality”, \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon } _T = \alpha \mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \mu } _T\), where α is a positive constant. For simplicity, we set α = 1 in the following, and α ≠ 1 results can be obtained directly by redefining \(\varepsilon _0 \to \alpha {\kern 1pt} \varepsilon _0\). Under this constraint, the inplane monochromatic wave equation of frequency ω can be written as
Here \(\left \psi \right\rangle = (E_z,\eta _0H_z)^ \top\) \(\left( {\eta _0 = \sqrt {\mu _0/\varepsilon _0} } \right)\) serves as a twocomponent wave function, and \(\hat H\) resembles the Hamiltonian of a nonrelativistic spin1/2 particle traveling in SU(2) nonAbelian gauge potentials^{45}, where \(\widehat {\mathbf{p}} =  {\mathrm{i}}\, \hat \sigma_0\partial _i{\mathbf{e}}^i\) (i = 1, 2) is the canonical momentum operator with \(\hat \sigma _0\) being the 2D identity matrix, \({\kern 1pt} \mathop{\mathbf{m}}\limits^{\leftrightarrow} = \mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon } _T^{  1}{\mathrm{det}}({\kern 1pt} \mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon } _T)/2\) represents an effective anisotropic mass, in particular, \({\hat {\cal{A}}} = {\cal{A}}^1\hat \sigma _1 + {\cal{A}}^2\hat \sigma _2\) and \({\hat {\cal{A}}}_0 = {\cal{A}}_0^a\hat \sigma _a\) (\(\hat \sigma _a\) (a = 1, 2, 3) are Pauli matrices) can be interpreted as emergent nonAbelian vector and scalar potentials, respectively, and V_{0} is an additional Abelian scalar potential. As shown in Table 1, the emergent gauge potentials are determined by the material parameters, especially, the vector potential directly corresponds to the offdiagonal terms of \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon }\) and \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \mu }\). This correspondence can be intuitively understood from the SU(2) gauge covariance of 2D Maxwell equations (see the “Methods” section), and the detailed derivation of Eq. (2) is given in the Supplementary Note 1. Thereby, in this broad class of anisotropic media, the materials’ influence on the 2D optical waves imitates a SU(2) gauge interaction. Furthermore, if the background media are extended to be bianisotropic materials, a complete construction of \({\mathrm{U}}(2) = {\mathrm{SU}}(2)\rtimes {\mathrm{U}}(1)\) gauge fields for light can be achieved (see Supplementary Note 1).
The emergent SU(2) gauge potential \(\{ {\hat {\cal{A}}}_\mu \} = \{ {\hat {\cal{A}}}_0,{\hat {\cal{A}}}\}\) induces a synthetic SU(2) gauge field acting on light:
where \(\hat {\cal{D}}_\mu = \hat \sigma _0\partial _\mu  {\mathrm{i}}{\kern 1pt} {\hat {\cal{A}}}_\mu\) (μ = 0, 1, 2) is the covariant derivative. Analogous to real electromagnetic (EM) fields, the synthetic SU(2) gauge field can be separated into a nonAbelian magnetic field \(\hat {\cal{B}} = \frac{1}{2}\epsilon ^{ij}\hat {\cal{F}}_{ij}{\mathbf{e}}_z\) along the zaxis and a nonAbelian inplane electric field \(\hat {\cal{E}} =  \hat {\cal{F}}_{0i}{\mathbf{e}}_i\), which are associated with the gauge potential as
The second terms of \(\hat {\cal{B}}\), \(\hat {\cal{E}}\) cannot be found in the Abelian case since they are induced entirely by the noncommutativity of the nonAbelian gauge potential. Indeed, a matrixvalued gauge potential would not be regarded as (apparently) nonAbelian, unless some of its components do not commute with each other \([{\hat {\cal{A}}}_\mu ,{\hat {\cal{A}}}_\nu ] \ne 0\)^{10}. For instance, the scheme in ref. ^{27} is actually a specific reduction of ours with the strict constraints on the media that (i) \({\mathbf{g}}_1 =  {\mathbf{g}}_2\) being real and (ii) \(\varepsilon _z = \mu _z\). In this case, the vector potential only has \(\hat \sigma _1\) component \({{\hat {\cal{A}}}} = {\cal{A}}^1{\hat {\sigma}}_1\) and the scalar potential \({\hat {\cal{A}}}_0\) vanishes. As such, \([{{\hat {\cal{A}}}}_i,{{\hat {\cal{A}}}}_j] \equiv 0\), and the gauge group is reduced to the Abelian subgroup \({\mathrm{U}}(1)\) of \({\mathrm{SU}}(2)\). In general, if Eq. (2) has any U(1) spin rotation symmetry, which means \(\hat U\hat H\hat U^\dagger = \hat H\) for \(\hat U = {\mathrm{exp}}\left( {{\mathrm{i}}\phi {\kern 1pt} \vec n \cdot \vec {\hat \sigma } } \right)\) with a parameter ϕ, the gauge potential would be reducible. Hence, only for those materials that can imitate irreducible SU(2) gauge potentials, we call them nonAbelian media.
The twocomponent wave function of light \(\psi \rangle\) behaves like a spin1/2 spinor with the pseudospin at a local point
where the overhead arrow indicates a vector in the pseudospin space, and \(\langle \psi \vec {\hat \sigma } \psi \rangle\) gives the local spin density. The frame \(\{ \vec e_a\}\) in the pseudospin space can be chosen arbitrarily. The rotation of the frame corresponds to a gauge transformation of spinor \(\psi^{\prime}\rangle = \hat U({\mathbf{r}})\psi \rangle\), where in general \(\hat U({\mathbf{r}})\) is a spacevarying SU(2) matrix. By substituting \(\psi^{\prime}\rangle\) into Eq. (2), one can easily check that the wave equation is gauge covariant as long as the material is transformed accordingly (see Supplementary Note 2), while the synthetic gauge potentials and fields obey the gauge transformations
In addition, it is worth comparing the present idea of nonAbelian gauge field optics (NAGFO) with the transformation optics (TO)^{46,47,48,49,50}. When TO is applied to design invisibility cloaks, it results in anisotropic media whose permittivity and permeability are real and equal \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon } = \mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \mu }\)^{46,47}. Due to the equivalence of the constitutive tensor and the metric of a curved spacetime for light, such kind of duality symmetric materials can also be used to mimic gravitational effects^{49,50,51,52,53}. In contrast to TO, NAGFO involves a more general class of complexvalued media respecting inplane duality symmetry. The inplane block \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon } _T\) of permittivity, which determines the effective mass in Eq. (2), can alternatively be equated to the metric of a virtual 2D curved space as with TO, whereas, apart from \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon } _T\), all the remaining components of \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon }\) and \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \mu }\) contribute to the synthetic SU(2) gauge potentials. Therefore, NAGFO proposes an optical way to simulate the 2D spinor systems under both a SU(2) gauge interaction and the influence of a curved space. To highlight the effects stemming purely from the nonAbelian gauge interaction, we will hereinafter concentrate on the simplified scenario that \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon } _T = \varepsilon _T{ \mathop{\mathbf{I}}\limits^\leftrightarrow}{\kern 1pt} _{2 \times 2}\) is isotropic and homogeneous. As such, the virtual 2D background space is trivialized to be flat, and the effective mass is reduced to \(m = \varepsilon _T/2\).
Zitterbewegung of optical beams
The wave packet dynamics in homogeneous media can give the most straightforward effect distinguishing the nonAbelian media from the Abelian type. The effective Abelian electric and magnetic fields vanish in homogeneous media^{27}, whereas the nonAbelian fields persist due to the noncommutativity of \({{\hat {\cal{A}}}}_{\mu}\). In our case, \(\hat {\cal{B}} = {\cal{B}}\hat \sigma _3\) with \({\cal{B}} = {\mathrm{i}}k_0^2({\mathbf{g}}_  \times {\mathbf{g}}_  ^ \ast )\), and \(\hat {\cal{E}} = 2{\cal{A}}_0^3\left( {{\cal{A}}^2\hat \sigma _1  {\cal{A}}^1\hat \sigma _2} \right)\). We consider the propagation of 2D optical beams in homogeneous nonAbelian media. In general, there are two nondegenerate branches of plane wave eigenstates. Because the two eigenstates of a certain direction of wave vector k are always orthogonal, their pseudospins correspond to a pair of antipodal points on the Bloch sphere. Generally speaking, the nondegenerate eigenmodes would evolves independently along different semiclassical trajectories. However, if the two eigenstates for a particular direction of k are quasidegenerate, in the overlapped region, their superposed wave can be viewed as an intact “semiclassical particle” with an internal spin degree of freedom, whose centroid trajectory follows the Hamilton’s canonical equations (see the “Methods” section)
Here \(\widehat {\mathbf{v}} = \frac{{\mathrm{{d}}}}{{{\mathrm{{d}}}\tau }}{\hat{\mathbf{r}}} = {\mathrm{i}}[\hat H,{\hat{\mathbf{r}}}] = ({\hat{\mathbf{p}}}  {{\hat {\cal{A}}}})/m\) is the velocity operator, \(\tau\) represents path parameter along the beam, and \(\langle \hat a\rangle ({\mathbf{r}}_0) = {\int} {\mathrm{{d}}}{\mathbf{r}}_ \bot {\kern 1pt} \psi ^\dagger ({\mathbf{r}}_0 + {\mathbf{r}}_ \bot )\hat a({\mathbf{r}}_0 + {\mathbf{r}}_ \bot ){\kern 1pt} \psi ({\mathbf{r}}_0 + {\mathbf{r}}_ \bot )\) means the expectation value of an operator \(\hat a\) averaged over the transverse cross section of a point \({\mathbf{r}}_0\) along an optical beam, differing from the local expectation value \(\langle \psi \hat a\psi \rangle ({\mathbf{r}}) = \psi ^\dagger ({\mathbf{r}})\hat a({\mathbf{r}})\psi ({\mathbf{r}})\). According to Eq. (8), the canonical momentum along the beam is conserved, and is equal to the quasidegenerate eigen wave vector k (see Eq. (39)). Moreover, it turns out that the inplane projection of the total energy flux over the transverse cross section of the beam is always parallel to the velocity given by Eq. (9) (see proof in the section “Methods”), therefore the canonical equations do describe the path of energy propagation. Along the optical beam, the pseudospin \(\vec s = \langle \vec {\hat \sigma } \rangle\) undergoes precession as follows:
where \(\vec \Omega =  2\left( {{\cal{A}}_0^a + \frac{1}{m}{\mathbf{k}} \cdot {\cal{A}}^a} \right)\vec e_a\) is the precession angular velocity. During precession, the pseudospin component parallel to \(\vec \Omega\) is conserved.
In terms of Eqs. (8–10), we arrive at the Newtontype equation of motion where a virtual nonAbelian Lorentz force^{10,45} associated with the nonAbelian fields emerges
Here, \(\widehat {\mathbf{j}}_{\hat \sigma _3} = \frac{1}{2}\left( {\widehat {\mathbf{v}}\hat \sigma _3 + \hat \sigma _3\widehat {\mathbf{v}}} \right) = \frac{1}{m}\widehat {\mathbf{p}}\hat \sigma _3\) represents the \(\hat \sigma _3\)component of the linear spin current operator^{54}, thus the nonAbelian Lorentz force can also be regarded as a spininduced force with a magnetic part acting on the spin current and an electric part acting on the average spin over the transverse cross sections of the beam. In particular, the magnetic part of the force, \({\mathbf{f}}_{\hat \sigma _3} = \langle \widehat {\mathbf{j}}_{\hat \sigma _3}\rangle \times {\cal{B}}\), duplicates the “spin transverse force” in electronics which acts on an electronic spin current exerted by a vertical electric field^{54}.
The integration of either the canonical equations or Eq. (11) yields the intensity centroid trajectory of the beam
where \({\mathbf{F}}^a = (\vec \Omega \times {\hat {\cal{A}}})^a = {\cal{E}}^a + {\mathbf{k}} \times {\cal{B}}^a/m\), \(\Omega = \vec \Omega \), \(\vec s_0\) represents the initial spin, \(\epsilon _{abc}\) is the Levi–Civita symbol, and the initial position of the beam is assumed at \(\langle \widehat {\mathbf{r}}\rangle _0 = 0\). The first line of the equation refers to a straight path, while the second line shows that the beam oscillates around the equilibrium path periodically. As a result, the emergent nonAbelian Lorentz force may lead to wavy trajectories for optical beams propagating in the nonAbelian media. This phenomenon resembles the ZB effect of Dirac particles^{37}. According to Eq. (12), the trembling motion of light depends not only on the nonAbelian gauge fields but also on the initial spin \(\vec s_0\) of the beam. If the initial state is purely one of the eigenmodes with the wave vector in k direction, i.e., \(\vec s_0\) is along \(\vec \Omega ({\mathbf{k}})\), the trembling term in Eq. (12) will vanish. This implies the present ZB effect stems from the interference of the two quasidegenerate eigenmodes just as electronic ZB is caused by the superposition of positive and negative energy components (see Supplementary Note 3).
In recent years, ZB has been investigated for spin–orbit coupled atoms^{38,39} and photons^{40,41,42,43}. However, unlike most schemes of ZB for light realized in periodic systems^{40,41,42}, our result shows that light can travel along curved paths even if the background medium is homogeneous. At first glance, this counterintuitive curved trajectory seems to violate the momentum conservation in translation invariant systems. However, it is well known that the kinetic momentum associated with centroid movement can be different from the canonical momentum for a particle traveling in a background vector potential. This conclusion is also valid for our situation. As shown in Eqs. (8) and (9), the semiclassical canonical momentum \(\langle \widehat {\mathbf{p}}\rangle\) is always conserved in homogeneous media, while the kinetic momentum \(m\langle \widehat {\mathbf{v}}\rangle\) deviates from \(\langle \widehat {\mathbf{p}}\rangle\) and can change along the path by virtue of the synthetic nonAbelian potential \({\hat {\cal{A}}}\). A more rigorous analysis shows that the conserved quantity protected by space translational symmetry in generic nonAbelian media is the timeaveraged Minkowskitype momentum \({\int} {\mathrm{{d}}}^3x\,{\mathrm{Re}}\left( {{\mathbf{D}}^ \ast \times {\mathbf{B}}} \right)\), while the centroid motion corresponds to the Abrahamtype momentum \({\int} {\mathrm{{d}}}^3x\,{\mathrm{Re}}\left( {{\mathbf{E}}^ \ast \times {\mathbf{H}}} \right)/c^2\).
Example I: ZB induced by nonAbelian magnetic field
According to the theory, the ZB effect for monochromatic beams can be generated by either nonAbelian magnetic fields or nonAbelian electric fields. In Fig. 1a–e, we first show an example of ZB induced solely by a nonAbelian magnetic field. To realize nonzero \(\hat {\cal{B}}\) but vanishing \(\hat {\cal{E}}\), we let the medium satisfy \(\varepsilon _z = \mu _z\), \({\mathbf{g}}_1 =  {\mathbf{g}}_2^ \ast = (  {\mathrm{i}}{\cal{A}}_y^2/k_0,{\cal{A}}_x^1/k_0)^ \top\), then the synthetic SU(2) magnetic field in this medium is given by \(\hat {\cal{B}} = 2{\cal{A}}_x^1{\cal{A}}_y^2{\mathbf{e}}_z\hat \sigma _3\). The isofrequency surfaces of eigenmodes are illustrated in Fig. 1a. Along the k_{x} direction, the two eigenstates are \( \mathord{\to} \rangle = (1,1)^ \top /\sqrt 2\) and \( \mathord{\leftarrow} \rangle = (1,  1)^ \top /\sqrt 2\) with the wave vectors \({\mathbf{k}}_ \pm = \left[ {\sqrt {k_0^2\varepsilon _T\varepsilon _z  ({\cal{A}}_y^2)^2} \pm {\cal{A}}_x^1} \right]{\mathbf{e}}_x\), and their pseudospins are polarized along the \(\hat \sigma _1\)axis, as labeled on the Bloch sphere in Fig. 1c. As long as \({\cal{A}}_x^1 \ll k = \sqrt {k_0^2\varepsilon _T\varepsilon _z  ({\cal{A}}_y^2)^2}\), the quasidegenerate approximation is valid for beams incident from x direction. In this case, the precession angular velocity is \(\vec \Omega =  4k{\cal{A}}_x^1/\varepsilon _T\vec e_1\), so the pseudospin will precess about the \(\hat \sigma _1\)axis. For the initial spin \(\vec s_0 = ({\mathrm{cos}}\theta _0,{\mathrm{sin}}\theta _0{\mathrm{cos}}\phi _0,{\mathrm{sin}}\theta _0{\mathrm{sin}}\phi _0)^ \top\) at an angle \(\theta _0\) from \(\hat \sigma _1\)axis, we can obtain the centroid trajectory of the beam by eliminating the ray parameter τ in Eq. (12),
where x, y are the coordinates of centroid. The ZB amplitude
is proportional to \({\mathrm{{sin}}}\theta _0\), so ZB reaches the maximum when the initial spin \(\vec s_0\) is perpendicular to \(\vec \Omega\), corresponding to the equalweighted superposition of the two eigenmodes. Meanwhile, the ZB wave number
is equal to the difference of the two eigen wave vectors, showing that ZB originates from the beating between the two eigenstates. Yet we should emphasize the phase beating is not a sufficient condition to realize ZB, and the ZB amplitude cannot be obtained without the knowledge of the nonAbelian dynamics. For instance, if \({\cal{A}}_y^2 = 0\) in the present medium, the beat of the two states persists, however, as the medium is relegated to the Abeliantype with \(\hat {\cal{B}} = 0\), ZB just disappears.
We have performed the fullwave simulation of a Gaussian beam propagating in this medium using COMSOL Multiphysics. The beam is emitted along xdirection and the angle between its initial spin and \(\hat \sigma _1\)axis is set as \(\theta _0 = 0.43\pi\). Figure 1b shows the kspace Fourier amplitude of the simulated wave function ψ, the two peaks in the spectrum manifest that the beam is mainly comprised of the two eigenstates →〉 and \({\leftarrow} {\rangle}\). The numerical timeaveraged energy densities plotted in Fig. 1d show clearly a transverse tremor along the beam. As shown in Fig. 1e, the centroid trajectory extracted from the fullwave result agrees perfectly with the analytical expression in Eq. (13). And according to the numerical data of the pseudospins in one ZB period shown in Fig. 1c, the spin precession about the \(\hat \sigma _1\)axis is also demonstrated.
Example II: ZB induced by nonAbelian electric field
In the previous example, the nonAbelian medium contains both gyroelectric and gyromagnetic components. In fact, the synthetic nonAbelian gauge fields as well as ZB can be simply realized with reciprocal media without gyrotropy. Here, we elaborate on synthesizing nonAbelian electric field with a biaxial nonmagnetic material and the ZB effect in it.
We consider a nonmagnetic material with the biaxial permittivity \({\kern 1pt} \widetilde {\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon } }/\varepsilon _0 = {\mathrm{diag}}(\varepsilon _1,\varepsilon _2,\varepsilon _3)\) \(\left( {\varepsilon _1 < \varepsilon _2 < \varepsilon _3} \right)\) along the principal axis and the permeability \(\mu /\mu _0 = 1\). If the second principal axis of \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon }\) is fixed along the yaxis, while the first principal axis is rotated by an angle φ with respect to the xaxis such that \({\mathrm{{cos}}}^2\varphi\ \varepsilon _1 + {\mathrm{{sin}}}^2\varphi\ \varepsilon _3 = \varepsilon _2\) \(\left( {\varphi  < \pi /2} \right)\) as shown in Fig. 1f, the permittivity tensor in the xyz coordinate system is given by
with \(\varepsilon _z = \varepsilon _1 + \varepsilon _3  \varepsilon _2\) and \(g = {\mathrm{sgn}}(\varphi )\sqrt {(\varepsilon _2  \varepsilon _1)(\varepsilon _3  \varepsilon _2)}\). Since the inplane duality condition is satisfied as \(\varepsilon _T = \varepsilon _2\mu _T\) (\(\mu _T = 1\)), by rescaling the vacuum permittivity \(\varepsilon^{\prime}_0 = \varepsilon _2\varepsilon _0\), we obtain the synthetic gauge potentials
and a uniform nonAbelian electric field polarized along the second principal axis
The two eigenstates in the xdirection are \( \mathord{\uparrow} \rangle = (1,0)^ \top\) and \( \mathord{\downarrow} \rangle = (0,1)^ \top\) corresponding to the two poles along the \(\hat \sigma _3\)axis on the Bloch sphere (see Fig. 1h), the eigen wave vectors are \({\mathbf{k}}_ \uparrow = \sqrt {\varepsilon _1\varepsilon _3/\varepsilon _2} {\kern 1pt} k_0{\kern 1pt} {\mathbf{e}}_x\) and \({\mathbf{k}}_ \downarrow = \sqrt {\varepsilon _2} {\kern 1pt} k_0{\kern 1pt} {\mathbf{e}}_x\) respectively. Providing that \(\sqrt {\varepsilon _1\varepsilon _3} /\varepsilon _2  1\) is small enough, the centroid trajectory of a beam mainly consisting of these two states satisfies
where \(\theta _0\), \(\phi _0\) are the Euler angles of the initial spin \(\vec s_0 = ({\mathrm{sin}}\theta _0{\mathrm{cos}}\phi _0,{\mathrm{sin}}\theta _0{\mathrm{sin}}\phi _0,{\mathrm{cos}}\theta _0)^ \top\), the ZB amplitude is
and the ZB wave number
is still determined by the beating of the two eigenstates. In the fullwave simulation of Fig. 1i, we obtained a trembling beam (also see Fig. 1g for its Fourier spectrum) where the decay of intensity along the beam is due to the beam divergence, the extracted centroid trajectory faithfully reproduces the analytic prediction of Eq. (19), shown by Fig. 1j. In Fig. 1h, the numerical spin trajectory on the Bloch sphere also verifies that the pseudospin precesses about the \(\hat \sigma _3\)axis.
In principle, the ZB effect induced by nonAbelian electric field can be observed in any natural and artificial biaxial nonmagnetic materials. Here, we designed a simple metamaterial structure with the unit cell shown in Fig. 2a for realizing ZB in microwave regime. The copper strips on printed circuit board (PCB) layers support strong and anisotropic electric dipole resonances along principal axes labeled as 1, 2. Consequently, all the three principal values \(\varepsilon _i\;(i = 1,2,3)\) of the effective permittivity are different, and their dispersions obtained by Sparameter retrieval approach^{55} are plotted in Fig. 2b. According to our theory, the ZB beams should travel in the xy plane whose orientation is determined by \(\varepsilon _i\) and thus is frequencydependent. As an example, we compared in Fig. 2c the isofrequency contours in xyplane of the real structure and that of the homogenized medium at 12 GHz. Their perfect consistency confirms the retrieval result. To test the ZB effect in the metamaterial, we numerically simulated the ZB beams with a constant waist of 0.2 m propagating along xdirection in the retrieved media at some discrete frequencies and extracted the ZB amplitudes \(Y_{{\mathrm{ZB}}}\) and ZB wave numbers \(k_{{\mathrm{ZB}}}\). We find good agreement with the theoretical predictions given by Eqs. (20) and (21) as shown in Fig. 2d. Notably, both of the ZB amplitude and period tend to infinity at a singular frequency \(f = 16.68{\kern 1pt} {\mathrm{GHz}}\), due to the fact that \(\varepsilon _1\varepsilon _3 = \varepsilon _2^{{\kern 1pt} 2}\) is accidentally satisfied at the frequency such that the material is reduced to Abelian type with \(\hat {\cal{E}} = 0\), and the beam splits into two branches^{30}. We have also analyzed the finite width effect of the beam in the zdirection, and the analysis demonstrates that the 2D theory works well in the region where the two eigenmodes do not split away along the zaxis (see Supplementary Note 4).
NonAbelian Aharonov–Bohm system for light
ZB discussed in the previous section can be viewed as the interference between two eigenmodes, each of which evolves with Abelian dynamics. In this sense, ZB is an apparent nonAbelian effect. Next, we will introduce the genuine nonAbelian AB effect, which cannot be reduced to Abelian subsystems.
The AB effect covers a group of phenomena associated with the pathdependent phase factors for particles traveling in a fieldfree region, but with irremovable gauge potential \({\hat {\cal{A}}}_\mu\), the discovery of which confirmed the physical reality of gauge potentials and the nonlocality of gauge interactions^{56,57}. The AB effect was first generalized to nonAbelian by Wu and Yang^{32}, who showed that the scattering of nucleons (isospinors) around a nonAbelian flux tube (vortex) can generate peculiar phenomena. However, their governing Hamiltonian can be globally diagonalized into two decoupled Abelian subsystems under a proper gauge^{58}, and all relevant phenomena can be interpreted from the superposition of the two subsystems. Hence, Wu and Yang’s proposal is now viewed as an apparent nonAbelian effect^{10,44}. According to a rigorous definition^{44}, a genuine nonAbelian AB system requires its holonomy group \({\mathrm{Hol}}({\hat {\cal{A}}})\) to be nonAbelian (see the “Methods” section and Supplementary Note 5). As such, there should exist such loops based at a fixed point that their nonAbelian AB phase factors (holonomies) are noncommutable, i.e. if a particle travels along two such loops in opposite sequences, the obtained AB phase factors would be different. This implies that at least two vortices exist in a genuine nonAbelian system^{44}.
Indeed, we can use anisotropic and gyrotropic materials (see Table 1) to synthesize two vortices of SU(2) vector potential \({{\hat {\cal{A}}}} = {\cal{A}}^1\hat \sigma _1 + {\cal{A}}^2\hat \sigma _2\) \(\left( {{{\hat {\cal{A}}}}_0 = 0} \right)\) with vanishing field \(\hat {\cal{B}} = 0\) in the whole space except for two small domains, taken as point singularities for simplicity. Here, we provide the synopsis of our scheme, and more details are given in Supplementary Note 6 (also see Supplementary Note 8 for an alternative design). As illustrated in Fig. 3a, we demand \({{\hat {\cal{A}}}} = {\cal{A}}^1\hat \sigma _1\) \(\left( {{\cal{A}}^2 = 0} \right)\) in the upper halfspace, while \({{\hat {\cal{A}}}} = {\cal{A}}^2\hat \sigma _2\) \(\left( {{\cal{A}}^1 = 0} \right)\) in the lower halfspace. We also require that \({\cal{A}}^1\), \({\cal{A}}^2\) smoothly tend to zero in the middle region without overlap. In the vicinity of the upper (lower) singularity, \({\cal{A}}^1\) \(\left( {{\cal{A}}^2} \right)\) forms an irrotational vortex carrying the flux \(\Phi _1\) (Φ_{2}) (see Supplementary Eq. (44) for the concrete expression of \({\hat {\cal{A}}}\) fulfilling these requirements). For a closed loop with a fixed basepoint, its nonAbelian holonomy is invariant against continuous deformation of the path within the \(\hat {\cal{B}} = 0\) region. As a consequence, for the two homotopy classes of loops [c_{1}] and [c_{2}] (where [c_{i}] denote the path homotopy classes; see the “Methods” section), based at x_{0} and encircling the upper (for [c_{1}]) or lower (for [c_{2}]) vortex once, their holonomies are \(\hat U_i = \hat {\cal{U}}_{[c_i]}[{\mathbf{x}}_0] = {\mathrm{{exp}}}\left[ {{\mathrm{i\Phi }}_i\hat \sigma _i} \right]\) (i = 1, 2,) respectively. As \(\hat U_1\) and \(\hat U_2\) do not commute with each other, this doublevortex system is a genuine nonAbelian AB system.
In order to realize the vector potential shown in Fig. 3a, the background media are set up as \({\mathbf{g}}_1 =  {\mathbf{g}}_2^ \ast\) (i.e. \({\mathbf{g}}_ + = 0\)) and \(\varepsilon _T = \varepsilon _z = \mu _T = \mu _z = {\mathrm{const}}{\mathrm{.}}\) to guarantee \({\hat {\cal{A}}}_0 \equiv 0\) and \(V_0 = {\mathrm{const}}{\mathrm{.}}\) Also, we use reciprocal anisotropic materials with purely real offblockdiagonal components \({\mathbf{g}}_1 =  {\mathbf{g}}_2\) to build the vector potential \({{\hat {\cal{A}}}} = {\cal{A}}^1\hat \sigma _1\) in the upper half plane but gyrotropic materials with purely imaginary \({\mathbf{g}}_1 = {\mathbf{g}}_2\) to build \({\hat {\cal{A}}} = {\cal{A}}^2\hat \sigma _2\) in the lower half plane (see Supplementary Note 6 for details). As a result, we have designed a genuine nonAbelian AB system for light. Then, we will show how the genuine nonAbelian nature of the system can be detected from interference effects.
NonAbelian AB interference
Consider two coherent light beams with the same initial spin \(\vec s_0\) propagating separately along the two folded paths \(\gamma _{\mathrm{I}}\) and \(\gamma _{{\mathrm{II}}}\), and finally superposing on the screen (Fig. 3a). For the trivial situation of \({{\hat {\cal{A}}}} = 0\), the two beams are uniformly polarized along the whole paths, thus their final states are given by \(\psi _i(y)\rangle = a(y){\mathrm{e}}^{{\mathrm{i}}\theta _i(y)}s_0\rangle\) (\(i = {\mathrm{I}},{\mathrm{II}}\)), where \(a(y)\) is the envelope of both beams on the screen, \(s_0\rangle\) is the normalized initial spinor at x_{0}, and \(\theta _i(y)\) denote the dynamic phases which have included the initial phases. The dynamic phase difference, \(\Delta \theta (y) = \theta _{\mathrm{I}}(y)  \theta _{{\mathrm{II}}}(y)\), determines the interference pattern: \(\psi _{\mathrm{I}} + \psi _{{\mathrm{II}}}^2(y) = 2a(y)[1 + \mathrm{cos}(\Delta \theta (y))]\).
In the presence of the two nonAbelian vortices of \({{\hat {\cal{A}}}}\), the two optical paths are unchanged thanks to the null gauge field. However, the gauge potential drives the pseudospins to rotate along the paths, and the two final states convert to
where an additional nonAbelian AB phase factor \(\hat U_{\gamma _i} = {\cal{P}}{\mathrm{exp}}\left[ {{\mathrm{i}}{\int}_{\gamma _i} {{\hat {\cal{A}}}} \cdot d{\mathbf{r}}} \right]\) appears in each state. The optical path of each beam can be regarded as a concatenation of a closed loop \(c_i\) and a common path \(\gamma _0\), i.e.,\(\gamma _i = \gamma _0 \circ c_i\) (\(i = {\mathrm{I}},{\mathrm{II}}\)), as illustrated in Fig. 3b. The closed loop \(c_{\mathrm{I}}\) can be further deformed continuously into two successive loops \(c_2 \circ c_1^{  1}\), which winds around the upper vortex (clockwise) first and subsequently the lower vortex (anticlockwise) (Fig. 3c). Likewise, \(c_{{\mathrm{II}}}\) is homotopic to \(c_1^{  1} \circ c_2\), namely \(c_{{\mathrm{II}}}\) winds around the lower vortex first before it does the upper vortex (Fig. 3d). Because of the noncommutativity of the sequences of winding around the two vortices, the AB phase factors of the two beams are different:
Consequently, the two beams will end up with distinct spins \(\vec s_{\mathrm{I}}\) and \(\vec s_{{\mathrm{II}}}\) on the screen (Fig. 3f), and they will interfere with each other in a nontrivial way. The term spin density interference was coined for this phenomenon and it can be calculated as follows:
Here, the angular bracket denotes the spinor inner product at a local position y on the screen, the obtained result describes the spin density distribution on the screen. The spin density can be further decomposed into two parts: the intensity interference \(\psi ^2(y)\) and the spin orientation interference \(\vec s(y)\). The intensity interference part can be derived as
where \(\hat {\cal{U}}_{[c_0]} = \hat U_{\gamma _{{\mathrm{II}}}}^{  1}\hat U_{\gamma _{\mathrm{I}}} = \hat U_2^{  1}\hat U_1\hat U_2\hat U_1^{  1}\) is the nonAbelian holonomy of the closed path \(c_0 = \gamma _{{\mathrm{II}}}^{  1} \circ \gamma _{\mathrm{I}}\). The nontrivial expectation value of the holonomy of \(c_0\), \(\langle s_0{\kern 1pt} \hat {\cal{U}}_{[c_0]}s_0\rangle = b{\kern 1pt} {\mathrm{e}}^{{\mathrm{i}}\delta \theta } \ne 1\), leads to a phase shift \(\delta \theta\) and a change of the relative amplitude b (≤1) in comparison with the interference result of \({\hat {\cal{A}}} = 0\). In the mean time, the interfering spin orientation \(\vec s(y)\) turns out to be always perpendicular to \({\mathrm{\Delta }}\vec s = \vec s_{\mathrm{I}}  \vec s_{{\mathrm{II}}}\), namely lying on the green great circle of \(\vec s(y) \cdot {\mathrm{\Delta }}\vec s \equiv 0\) in Fig. 3f, and fluctuates around it (see Supplementary Note 7).
We have performed a fullwave simulation of this nonAbelian AB interference as shown in Fig. 3e. In the simulation, the envelope \(a(y)\) of each beam is set to be Gaussian type with a central amplitude \(a(0) = 1/\sqrt{2}\). The spin density interference is shown in Fig. 3g, with the intensity interference \(\psi ^2(y)\) in Fig. 3h, and the spin orientation given by Euler angles in Fig. 3i, j. In Fig. 3h–j, the blue circles are the simulated results, which are fairly consistent with the theoretical results (red curves) obtained from Eq. (24).
To demonstrate that the nonAbelian feature of the above design is indeed genuine, we consider a control experiment with an almost identical system except that the vector potential is \({\hat {\cal{A}}} \propto \hat \sigma _1\) in the whole space. In this case, \(\hat U_i = {\mathrm{exp}}[{\mathrm{i\Phi }}_i\hat \sigma _1]\) (i = 1, 2) commute with each other, and their winding around the two vortices in opposite sequences gives the same AB phase factor \(\hat U_{\gamma _{\mathrm{I}}} = \hat U_{\gamma _{{\mathrm{II}}}} = {\mathrm{exp}}\left[ {{\mathrm{i}}({\mathrm{\Phi }}_2  {\mathrm{\Phi }}_1)\hat \sigma _1} \right]\). Thus, the interfering spin density is uniformly orientated, and there is no phase shift \(\left( {\delta \theta \equiv 0} \right)\) and amplitude contraction \(\left( {b \equiv 1} \right)\) compared with the case of \({\hat {\cal{A}}} = 0\) (see green lines in Fig. 3h–j).
Measurement of Wilson loops
In Abelian AB systems, the AB phase factor (holonomy) of a closed loop only depends on the flux inside the loop but independent of the choice of gauge. However, in nonAbelian systems, the holonomy \(\hat {\cal{U}}_{[c]}[{\mathbf{x}}_{0}]\) of a closed path c based at \({\mathbf{x}}_{0}\) varies as \(\hat {\cal{U}}^{\prime}_{[c]}[{\mathbf{x}}_0] = \hat U({\mathbf{x}}_0)\hat {\cal{U}}_{[c]}[{\mathbf{x}}_0]\hat U^\dagger ({\mathbf{x}}_0)\), under a gauge transformation \({\hat {\cal{A}}}^\prime = \hat U{\hat {\cal{A}}}\hat U^\dagger + {\mathrm{i}}\hat U\nabla _T\hat U^\dagger\). Nevertheless, the trace of holonomy is an important gauge invariant observable, called the Wilson loop of the closed path c:
In what follows, we show how to extract the Wilson loop of an arbitrary closed path via interferometry.
In order to obtain the Wilson loop of a homotopy class [c] in a nonAbelian AB system, we consider the interference of two beams along any two paths γ_{1} and γ_{2} as long as \(\gamma _2^{  1} \circ \gamma _1 = c\) forms a closed loop in the class [c] as sketched in Fig. 4a. As we deduced in Eq. (25), the holonomy of c, together with the initial spinor \(s_0\rangle\), determines the phase shift and the relative amplitude through the term \(\langle s_0{\kern 1pt} \hat {\cal{U}}_{[c]}{\kern 1pt} s_0\rangle = b\,{\mathrm{e}}^{{\mathrm{i}}\delta \theta }\). In fact, its real part depends solely on the Wilson loop of c (see proof in the “Methods” section):
Thus, at certain positions \(y_n\) satisfying \(\Delta \theta (y_n) = n\pi\) (n belongs to integers), the intensities only depend on the Wilson loop of c and hence are fixed under gauge transformation:
where the two beams are supposed to share the same envelope \(a(y)\) on the screen, and the locations \(y_n\) correspond to the crests and troughs in the interference fringes of \({{\hat {\cal{A}}}} = 0\). These particular points in the intensity fringes are termed the gauge fixed points for the closed path c. Since the change of incident spin at x_{0} is equivalent to a global gauge transformation, the interference fringes for different incident spins should intersect at the gauge fixed points.
Using the above method, we examine the two optical paths \(\gamma _{\mathrm{I}}\), \(\gamma _{{\mathrm{II}}}\) in Fig. 3a to extract the Wilson loop of \(c_0 = \gamma _{{\mathrm{II}}}^{  1} \circ \gamma _{\mathrm{I}} \simeq c_2^{  1} \circ c_1 \circ c_2 \circ c_1^{  1}\). Figure 4b shows the intensity interference curves corresponding to four different incident spins. Indeed, they intersect exactly at the gauge fixed points (red targets in Fig. 4b) whose locations \(y_n\) coincide with the crests and troughs of the interference fringe pattern for \({{\hat {\cal{A}}}} = 0\). By fitting the even and odd subsequences of the gauge fixed points, we obtain two curves \(a(y)^2\left[ {2 \pm W(c_0)} \right]\) corresponding to the two red dashed lines in Fig. 4b. Thus, the Wilson loop W(c_{0}) can be identified from the difference of the two dashed curves.
Discussion
We have shown that the dynamics of 2D optical waves in a broad class of anisotropic media can be understood through an emergent SU(2) gauge interaction in real space. We predicted that the Zitterbewegung effect of light can be realized even in homogeneous anisotropic media, and we proposed a biaxial metamaterial to achieve synthetic nonAbelian electric field and ZB in microwave regime. We have also designed a genuine nonAbelian AB system with two synthetic nonAbelian vortices, and suggested a spin density interferometry to demonstrate the noncommutative feature of nonAbelian holonomies. Our scheme opens the door to the colorful nonAbelian world for light. In addition to inspiring new ideas to manipulate the flow and polarization of light, the scheme offers an optical platform to study physical effects relevant to SU(2) gauge fields, such as synthetic spin–orbit coupling^{59} and topological band structures in periodic nonAbelian gauge fields^{60,61,62,63}. Furthermore, since the SU(2) gauge field description is valid for photons down to quantum scale, this approach might be applicable to the design of geometric gates for realizing nonAbelian holonomic quantum computation^{64,65} with photons.
Methods
Notations
In this paper, vectors in real space and in pseudospin space are indicated, respectively, by bold letters and letters with an overhead arrow “→”. Letters with an overhead bidirectional arrow “↔” denote twoorder tensors in real space. Symbols with an overhead hat “∧” denote operators acting on the spinor wave functions. We use Greek letters, e.g. \(\mu ,\nu\), to denote indices of (2+1)dimensional spacetime. Latin letters i, j denote 2D spatial coordinate indices, and Latin letters a, b, c denote indices in pseudospin space. We follow the Einstein summation convention for repeated indices. The orthonormal coordinate bases in real space and pseudospin space are expressed as e_{i} and \(\vec e_a\), respectively.
SU(2) gauge covariance of 2D Maxwell equations
In blockdiagonalized duality symmetric media, \({\kern 1pt} \mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon } /\varepsilon _0 = {\kern 1pt} \mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \mu } /\mu _0 = {\mathrm{diag}}(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon } _T,\varepsilon _z)\), the Maxwell’s equations for 2D waves can be rearranged as
with \(\Psi = ({\mathbf{E}}_T,\eta _0{\mathbf{H}}_T,E_z,\eta _0H_z)^ \top\). For an arbitrary (global) transformation \(\hat U \in {\mathrm{SU}}(2)\) acting on \(\psi \rangle = (E_z,\eta _0H_z)^ \top\), the corresponding transformation for \(\Psi\) is defined as
which belongs to a 4D representation of SU(2). It turns out that \({\cal{M}}\) and \({\cal{N}}\) defined in Eq. (29) transform according to
Hence, the 2D Maxwell equations are invariant under this SU(2) transformation. As the EM duality transformation \(\hat R \in \mathrm{SO}(2)\) is a special case of \(\hat U\), the emergent SU(2) symmetry for the 2D Maxwell equations in blockdiagonalized duality symmetric materials is indeed the generalization of the original EM duality symmetry.
If \(\hat U(x,y)\) is dependent on the x, y coordinates, the transformation of \({\cal{M}}\) changes to
with an additional term
where \({\cal{A}}^a\hat \sigma _a = {\mathrm{i}}\hat U\nabla _T\hat U^\dagger\) is precisely the vector potential induced purely by the gauge transformation, and only the components \({\cal{A}}^1,{\cal{A}}^2\) are supposed to exist. If we move the term \({\mathrm{\Delta }}{\cal{M}}\) to the right side of the Maxwell equation (29), it can be alternatively interpreted as a part of the constitutive tensor. By rotating \(\Psi\) to the ordinary basis of EM field,
we obtain explicitly the contribution of \({\mathrm{\Delta }}{\cal{M}}\) to the material tensors
which shows that the effective SU(2) vector potential \({\hat {\cal{A}}}\) emerging in \({\mathrm{\Delta }}{\cal{M}}\) just corresponds to the offdiagonal terms of \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon }\), \(\mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \mu }\):
Indeed, this relation is valid for arbitrary \({\hat {\cal{A}}} = {\cal{A}}^1\hat \sigma _1 + {\cal{A}}^2\hat \sigma _2\) but not limited to the pure gauge case \({\hat {\cal{A}}} = {\mathrm{i}}\hat U\nabla _T\hat U^\dagger\). Furthermore, this correspondence can be generalized to any media satisfying inplane duality condition \({\kern 1pt} \mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \varepsilon } _T = \alpha \mathord{\buildrel{\lower3pt\hbox{$\scriptscriptstyle \leftrightarrow$}} \\ \over \mu } _T\) where SU(2) scalar potential may also appear (Supplementary Note 1).
Quasidegenerate approximation for ZB
Eq. (2) is essentially the stationary wave equation describing spin1/2 particles coupling to the background SU(2) gauge fields without any approximation. However, the semiclassical trajectories of nondegenerate eigenmodes often split away from each other. To manifest the coupling effects of different eigenmodes in the geometric optics, the media of concern are usually assumed to be weakly anisotropic^{14}. Nevertheless, if the eigenmodes are approximately degenerate in a particular direction of wave vector but not necessarily in all directions, it turns out that an intact wave composed of modes in the vicinity of the quasidegenerate direction can be described adequately by the semiclassical approach including the interaction between eigenmodes in their interfering region^{66}.
In homogeneous nonAbelian media, we separate the effective Hamiltonian into two parts:
If only \(\hat H_0\) is present, the isofrequency surface is a doubly degenerate sphere with the radius \(k = \sqrt {  2m{\kern 1pt} V_0  ({{\hat {\cal{A}}}})^2}\). When \(\delta \hat H({\mathbf{k}})\) is taken into account, as long as it is sufficiently small for a given direction \({\mathbf{e}}_k\), the two eigenstates can be regarded as quasidegenerate at the wave vector
and we can implement the eikonal approximation to the wave function mainly superposed by the two quasidegenerate modes^{66}: \(\psi\rangle = \widetilde \psi ({\mathbf{r}})\mathrm{exp}({\mathrm{i}}{\mathbf{k}} \cdot {\mathbf{r}})\) with a slowly varying envelope \(\widetilde \psi ({\mathbf{r}})\) (i.e. \(\left {\nabla \widetilde \psi /\widetilde \psi } \right \ll k\)). Subsituting \(\psi\rangle\) into the wave equation (2), we obtain the equation of \(\widetilde \psi\) with accuracy up to the first order of k:
By adopting the ansatz that the velocity operator \(\widehat {\mathbf{v}} = \partial \hat H({\mathbf{k}})/\partial {\mathbf{k}} = ({\mathbf{k}}  {{\hat {\cal{A}}}})/m\) can be replaced by its averaged value \(\langle \widehat {\mathbf{v}}\rangle\) over the transverse cross section of an optical beam, we find that the operator \(\widehat {\mathbf{v}} \cdot \nabla \to \langle \widehat {\mathbf{v}}\rangle \cdot \nabla = {\mathrm{{d}}}/{\mathrm{{d}}}\tau\) corresponds to the total derivative with respect to the ray parameter \(\tau\) along the beam. Therefore, Eq. (40) is reformulated into a timedependent Schrödinger equation
Consequently, Eqs. (810) can be directly obtained in terms of Ehrenfest theorem.
Relation between Poynting vector and velocity operator
The inplane projection of the timeaveraged Poynting vector \({\bar{\mathbf{S}}}_{\mathrm{{T}}}\) for monochromatic waves can be written as
Substituting Maxwell’s equations into Eq. (42) yields
where \({\hat{\mathcal{A}}}_{(c)}=\frac{k_0}{2}\left\{\left[({\mathbf{g}}_{1}{\mathbf{g}}_2)\times{\mathbf{e}}_z\right] \hat{\sigma}_1 {\mathrm{i}}\left[({\mathbf{g}}_1+{\mathbf{g}}_2)\times{\mathbf{e}}_z\right]\hat{\sigma}_2 \right\}\). In the third step, we replaced \(\widehat {\mathbf{p}}\) with k according to the eikonal approximation. As a result, the total inplane energy flux over a transverse cross section of the optical beam is propotional to the expectation value of the velocity operator:
And it shows that the timeaveraged Poynting vector \(\overline {\mathbf{S}} _T\) is invariant under the gauge transformation Eq. (30) for EM fields (Supplementary Note 2).
Holonomy and genuine nonAbelian AB system
From a geometric viewpoint, gauge potential and field in the physical space M can be described as the connection and curvature in a Gprinciple fiber bundle^{32}, where the physical space serves as the base manifold, and G denotes the gauge group, in our case \(G = {\mathrm{SU}}(2)\). Consider a particle (wave packet) travels in the physical space. Along its trajectory γ, the gauge potential engenders a matrixvalued geometric phase factor \({\cal{P}}{\mathrm{{exp}}}\left[ {{\mathrm{i}}{\int}_\gamma {\hat {\cal{A}}}_\mu {\mathrm{{d}}}x^\mu } \right] \in G\) (\({\cal{P}}\) denotes pathordering) on the state vector, corresponding to the parallel transport of the state in the bundle space. In particular, for a closed path c starting and ending at the same point \(c(0) = c(1) = {\mathbf{x}}_0\), the phase factor of c,
is called the holonomy of the closed path c with respect to the gauge \({\hat {\cal{A}}}\). The collection of the holonomies corresponding to all those closed paths based at the same point x_{0} forms a subgroup of the gauge group G:
which is the holonomy group for the gauge \({\hat {\cal{A}}}\). In the literature, a gauge system is regarded as genuinely nonAbelian if and only if the holonomy group is a nonAbelian group, namely the holonomies of some loops are noncommutable with each other^{10,44}. If the base manifold is simply a Euclidean space, the noncommutativity of holonomies can be traced back to noncommutable gauge fields \([\hat {\cal{F}}_{\mu \nu },\hat {\cal{F}}_{\mu^{\prime}\nu^{\prime}}] \ne 0\). However, if the base manifold possesses nontrivial topology, noncommutative holonomies can be achieved even though the gauge field vanishes everywhere (i.e. AB systems).
For an AB system, the corresponding fiber bundle is a flat bundle, since the curvature (field) \(\hat {\cal{F}}_{\mu \nu } = 0\) in the whole base manifold M (flux regions are excluded from M). Here, the topology of the base manifold is characterized by its first fundamental group,
which is the set of path homotopy equivalent classes [c] of closed paths based at x_{0}. Path homotopy is a topologically equivalent relation “\(\simeq\)” for paths. If two paths c_{1}, c_{1} with the same fixed basepoint x_{0} can deform into each other continuously, they are said to be path homotopic \(c_1 \simeq c_2\) and to belong to the same homotopy class [c_{1}]. In flat bundles, the holonomies (AB phase factors) of all loops in the same homotopy class [c] are identical: \(\hat {\cal{U}}_{[c]}\) (see proof in Supplementary Note 5). Based on this property, two necessary conditions for genuine nonAbelian AB systems can be obtained^{44}:

1.
The gauge group G is nonAbelian;

2.
The first fundamental group \(\pi _1(M)\) is nonAbelian.
According to the second criterion, the Wu–Yang AB system is not genuinely nonAbelian, because the fundamental group of its base manifold (a punctured plane \({\Bbb R}^2  {\mathbf{0}}\)) is an Abelian group \(\pi _1({\Bbb R}^2  {\mathbf{0}}) = {\Bbb Z}\). However, for a twicepunctured plane as shown in Fig. 3a, its fundamental group is the free group on two generators, \({\Bbb Z} \ast {\Bbb Z}\) (where * denotes a free product), which is nonAbelian^{67}. Therefore, a twicepunctured plane is a qualified prototype of a genuine nonAbelian AB system.
Gauge fixed points
The derivation of the intensity interference given by Eq. (25) is in fact valid for two arbitrary interfering beams γ_{1}, γ_{1} with the same initial spin \(\vec s_0\) and final envelop \(a(y)\): \(\psi ^2 = 2a(y)[1 + {\mathrm{Re}}({\mathrm{e}}^{{\mathrm{i\Delta }}\theta (y)}\langle s_0{\kern 1pt} \hat {\cal{U}}_{[c]}{\kern 1pt} s_0\rangle )]\), where \(\hat {\cal{U}}_{[c]}\) is the holonomy of the closed path \(c = \gamma _2^{  1} \circ \gamma _1\). Since \(\hat {\cal{U}}_{[c]} \in {\mathrm{SU}}(2)\), it can be generically expressed as
The Wilson loop reads \(W(c) = {\mathrm{Tr}}\,\hat {\cal{U}}_{[c]} = 2\,{\mathrm{Re}}\,(u_1).\) For an arbitrary spinor state \(s_0\rangle = \left( {{\mathrm{cos}}\frac{\alpha }{2}{\mathrm{e}}^{  {\mathrm{i}}\beta /2},{\mathrm{sin}}\frac{\alpha }{2}{\mathrm{e}}^{{\mathrm{i}}\beta /2}} \right)^ \top\), we have
Therefore, the identity in Eq. (27) is established for any \(s_0\rangle\).
In fact, different incident spinors can interconvert through a global gauge transformation: \(s^{\prime}_0\rangle = \hat Us_0\rangle\). Hence, the relation in Eq. (27) is straightforward
As a result, at the positions such that \(\Delta \theta (y_n) = n\pi\), i.e. at the crests and troughs of the original interference fringes when \({\hat {\cal{A}}} = 0\), the intensities given in Eq. (28) are fixed for arbitrary incident spins, yet they are only determined by the Wilson loop W(c), provided that the dynamic phases of γ_{1}, γ_{2} are unchanged.
For the two optical path \(\gamma _{\mathrm{I}}\), \(\gamma _{{\mathrm{II}}}\) in Fig. 3, the Wilson loop of \(c_0 = \gamma _{{\mathrm{II}}}^{  1} \circ \gamma _{\mathrm{I}}\) is determined by the fluxes of the two vortices as \(W(c_0) = 2  4{\mathrm{sin}}^2{\mathrm{\Phi }}_1{\mathrm{sin}}^2{\mathrm{\Phi }}_2\). Therefore, if \({\mathrm{sin}}^2{\mathrm{\Phi }}_1{\mathrm{sin}}^2{\mathrm{\Phi }}_2 = 1/2\), W(c_{0}) will be reduced to zero, and the two dashed curves in Fig. 4 will completely overlap (see Supplementary Note 7 for details).
Simulation of nonAbelian AB interference
The fullwave results of the nonAbelian AB interference shown in Figs. 3 and 4 are simulated using the commercial software COMSOL Multiphysics. In order to avoid spin–flip after reflection, the mirrors shown in Fig. 3a, e are made of an impedancematched material, namely \(\varepsilon _m/\mu _m = 1\), with a lower refractive index than the surrounding media to achieve total reflection at their surfaces. Meanwhile, the two mirrors on the righthand side in Fig. 3e are slightly concave, so that the reflected beams with reduced widths can bypass the two singularities.
Data availability
The authors declare that all data supporting the findings of this study are available from the corresponding authors upon reasonable request.
References
 1.
Yang, C. N. & Mills, R. L. Conservation of isotopic spin and isotopic gauge invariance. Phys. Rev. 96, 191–195 (1954).
 2.
Mead, C. A. & Truhlar, D. G. On the determination of Born–Oppenheimer nuclear motion wave functions including complications due to conical intersections and identical nuclei. J. Chem. Phys. 70, 2284–2296 (1979).
 3.
Berry, M. V. Quantal phase factors accompanying adiabatic changes. Proc. R. Soc. Lond. A 392, 45–57 (1984).
 4.
Wilczek, F. & Zee, A. Appearance of gauge structure in simple dynamical systems. Phys. Rev. Lett. 52, 2111–2114 (1984).
 5.
Aidelsburger, M., Nascimbene, S. & Goldman, N. Artificial gauge fields in materials and engineered systems. C. R. Phys. 19, 394–432 (2018).
 6.
Xiao, D., Chang, M.C. & Niu, Q. Berry phase effects on electronic properties. Rev. Mod. Phys. 82, 1959–2007 (2010).
 7.
Fujita, T., Jalil, M., Tan, S. & Murakami, S. Gauge fields in spintronics. J. Appl. Phys. 110, 121301 (2011).
 8.
Lin, Y., Compton, R., JiménezGarcía, K., Porto, J. & Spielman, I. Synthetic magnetic fields for ultracold neutral atoms. Nature 462, 628–632 (2009).
 9.
Dalibard, J., Gerbier, F., Juzeliūnas, G. & Öhberg, P. Colloquium: artificial gauge potentials for neutral atoms. Rev. Mod. Phys. 83, 1523–1543 (2011).
 10.
Goldman, N., Juzeliūnas, G., Öhberg, P. & Spielman, I. B. Lightinduced gauge fields for ultracold atoms. Rep. Prog. Phys. 77, 126401 (2014).
 11.
Onoda, M., Murakami, S. & Nagaosa, N. Hall effect of light. Phys. Rev. Lett. 93, 083901 (2004).
 12.
Bliokh, K. Y. & Bliokh, Y. P. Modified geometrical optics of a smoothly inhomogeneous isotropic medium: the anisotropy, Berry phase, and the optical magnus effect. Phys. Rev. E 70, 026605 (2004).
 13.
Onoda, M., Murakami, S. & Nagaosa, N. Geometrical aspects in optical wavepacket dynamics. Phys. Rev. E 74, 066610 (2006).
 14.
Bliokh, K. Y., Frolov, D. Y. & Kravtsov, Y. A. NonAbelian evolution of electromagnetic waves in a weakly anisotropic inhomogeneous medium. Phys. Rev. A 75, 053821 (2007).
 15.
Bliokh, K. Y., Niv, A., Kleiner, V. & Hasman, E. Geometrodynamics of spinning light. Nat. Photon. 2, 748–753 (2008).
 16.
Ma, L. et al. Spin–orbit coupling of light in asymmetric microcavities. Nat. Commun. 7, 10983 (2016).
 17.
Sawada, K. & Nagaosa, N. Optical magnetoelectric effect in multiferroic materials: evidence for a Lorentz force acting on a ray of light. Phys. Rev. Lett. 95, 237402 (2005).
 18.
Wang, Z., Chong, Y. D., Joannopoulos, J. D. & Soljačić, M. Reflectionfree oneway edge modes in a gyromagnetic photonic crystal. Phys. Rev. Lett. 100, 013905 (2008).
 19.
Fang, K. & Fan, S. Effective magnetic field for photons based on the magnetooptical effect. Phys. Rev. A 88, 043847 (2013).
 20.
Hafezi, M., Demler, E. A., Lukin, M. D. & Taylor, J. M. Robust optical delay lines with topological protection. Nat. Phys. 7, 907–912 (2011).
 21.
Fang, K., Yu, Z. & Fan, S. Photonic Aharonov–Bohm effect based on dynamic modulation. Phys. Rev. Lett. 108, 153901 (2012).
 22.
Fang, K., Yu, Z. & Fan, S. Realizing effective magnetic field for photons by controlling the phase of dynamic modulation. Nat. Photon. 6, 782–787 (2012).
 23.
Fang, K. & Fan, S. Controlling the flow of light using the inhomogeneous effective gauge field that emerges from dynamic modulation. Phys. Rev. Lett. 111, 203901 (2013).
 24.
Rechtsman, M. C. et al. Straininduced pseudomagnetic field and photonic Landau levels in dielectric structures. Nat. Photon. 7, 153–158 (2013).
 25.
Jia, H. et al. Observation of chiral zero mode in inhomogeneous threedimensional Weyl metamaterials. Science 363, 148–151 (2019).
 26.
Chen, W.J. et al. Experimental realization of photonic topological insulator in a uniaxial metacrystal waveguide. Nat. Commun. 5, 5782 (2014).
 27.
Liu, F. & Li, J. Gauge field optics with anisotropic media. Phys. Rev. Lett. 114, 103902 (2015).
 28.
Liu, F., Wang, S., Xiao, S., Hang, Z. H. & Li, J. Polarizationdependent optics using gaugefield metamaterials. Appl. Phys. Lett. 107, 241106 (2015).
 29.
Liu, F., Horsley, S. A. R. & Li, J. Invisibility cloaking using pseudomagnetic field for photon. Phys. Rev. B 95, 075157 (2017).
 30.
Liu, F., Xu, T., Wang, S., Hang, Z. H. & Li, J. Polarization beam splitting with gauge field metamaterials. Adv. Opt. Mater. 7, 1801582 (2019).
 31.
Schine, N., Ryou, A., Gromov, A., Sommer, A. & Simon, J. Synthetic Landau levels for photons. Nature 534, 671–675 (2016).
 32.
Wu, T. T. & Yang, C. N. Concept of nonintegrable phase factors and global formulation of gauge fields. Phys. Rev. D 12, 3845–3857 (1975).
 33.
Qi, X.L. & Zhang, S.C. Topological insulators and superconductors. Rev. Mod. Phys. 83, 1057–1110 (2011).
 34.
Senthil, T. Symmetryprotected topological phases of quantum matter. Annu. Rev. Condens. Matter Phys. 6, 299–324 (2015).
 35.
Lu, L., Joannopoulos, J. D. & Soljačić, M. Topological photonics. Nat. Photon. 8, 821–829 (2014).
 36.
Ozawa, T. et al. Topological photonics. Rev. Mod. Phys. 91, 015006 (2019).
 37.
Zawadzki, W. & Rusin, T. M. Zitterbewegung (trembling motion) of electrons in semiconductors: a review. J. Phys.: Condens. Matter 23, 143201 (2011).
 38.
Vaishnav, J. Y. & Clark, C. W. Observing Zitterbewegung with ultracold atoms. Phys. Rev. Lett. 100, 153002 (2008).
 39.
Gerritsma, R. et al. Quantum simulation of the Dirac equation. Nature 463, 68–71 (2010).
 40.
Zhang, X. Observing Zitterbewegung for photons near the Dirac point of a twodimensional photonic crystal. Phys. Rev. Lett. 100, 113903 (2008).
 41.
Dreisow, F. et al. Classical simulation of relativistic Zitterbewegung in photonic lattices. Phys. Rev. Lett. 105, 143902 (2010).
 42.
Fan, Y. et al. Plasmonic zitterbewegung in binary graphene sheet arrays. Opt. Lett. 40, 2945–2948 (2015).
 43.
Guo, R.P., Guo, Q.H., Wu, L.T., Chen, J. & Fan, D. Optical spinsensitive Zitterbewegung in bianisotropic metamaterials. Opt. Express 24, 13788–13799 (2016).
 44.
Sundrum, R. & Tassie, L. J. NonAbelian Aharonov–Bohm effects, Feynman paths, and topology. J. Math. Phys. 27, 1566–1570 (1986).
 45.
Wong, S. K. Field and particle equations for the classical Yang–Mills field and particles with isotopic spin. Il. Nuovo Cimento A (1965–1970) 65, 689–694 (1970).
 46.
Pendry, J. B., Schurig, D. & Smith, D. R. Controlling electromagnetic fields. Science 312, 1780–1782 (2006).
 47.
Schurig, D., Pendry, J. B. & Smith, D. R. Calculation of material properties and ray tracing in transformation media. Opt. Express 14, 9794–9804 (2006).
 48.
Chen, H., Chan, C. T. & Sheng, P. Transformation optics and metamaterials. Nat. Mater. 9, 387–396 (2010).
 49.
Leonhardt, U. & Philbin, T. G. General relativity in electrical engineering. New J. Phys. 8, 247 (2006).
 50.
Leonhardt, U. & Philbin, T. G. Transformation optics and the geometry of light. Prog. Opt. 53, 69–152 (2009).
 51.
Genov, D. A., Zhang, S. & Zhang, X. Mimicking celestial mechanics in metamaterials. Nat. Phys. 5, 687–692 (2009).
 52.
Chen, H., Miao, R.X. & Li, M. Transformation optics that mimics the system outside a schwarzschild black hole. Opt. Express 18, 15183–15188 (2010).
 53.
Sheng, C., Liu, H., Wang, Y., Zhu, S. & Genov, D. Trapping light by mimicking gravitational lensing. Nat. Photon. 7, 902–906 (2013).
 54.
Shen, S.Q. Spin transverse force on spin current in an electric field. Phys. Rev. Lett. 95, 187203 (2005).
 55.
Liu, R., Cui, T. J., Huang, D., Zhao, B. & Smith, D. R. Description and explanation of electromagnetic behaviors in artificial metamaterials based on effective medium theory. Phys. Rev. E 76, 026606 (2007).
 56.
Aharonov, Y. & Bohm, D. Significance of electromagnetic potentials in the quantum theory. Phys. Rev. 115, 485–491 (1959).
 57.
Batelaan, H. & Tonomura, A. The Aharonov–Bohm effects: variations on a subtle theme. Phys. Today 62, 38–43 (2009).
 58.
Horváthy, P. A. NonAbelian Aharonov–Bohm effect. Phys. Rev. D 33, 407–414 (1986).
 59.
Galitski, V. & Spielman, I. B. Spin–orbit coupling in quantum gases. Nature 494, 49–54 (2013).
 60.
Osterloh, K., Baig, M., Santos, L., Zoller, P. & Lewenstein, M. Cold atoms in nonAbelian gauge potentials: from the Hofstadter “moth” to lattice gauge theory. Phys. Rev. Lett. 95, 010403 (2005).
 61.
Goldman, N. et al. NonAbelian optical lattices: anomalous quantum Hall effect and Dirac fermions. Phys. Rev. Lett. 103, 035301 (2009).
 62.
Goldman, N., Kubasiak, A., Gaspard, P. & Lewenstein, M. Ultracold atomic gases in nonAbelian gauge potentials: The case of constant Wilson loop. Phys. Rev. A 79, 023624 (2009).
 63.
Lepori, L., Fulga, I. C., Trombettoni, A. & Burrello, M. Double Weyl points and Fermi arcs of topological semimetals in nonAbelian gauge potentials. Phys. Rev. A 94, 053633 (2016).
 64.
Zanardi, P. & Rasetti, M. Holonomic quantum computation. Phys. Lett. A 264, 94–99 (1999).
 65.
Duan, L.M., Cirac, J. & Zoller, P. Geometric manipulation of trapped ions for quantum computation. Science 292, 1695–1697 (2001).
 66.
Kravtsov, Y. A. & Orlov, Y. I. Geometrical Optics of Inhomogeneous Media. (SpringerVerlag, Berlin, 1990).
 67.
Massey, W. S. Algebraic Topology: An Introduction. (SpringerVerlag, New York, 1977).
Acknowledgements
We thank Profs. Bo Hou, and Shubo Wang for helpful discussions. This work was supported in part by National Natural Science Foundation of China (Grant nos. 11874026, 11174250, 11574226, and 11874274), and the Fundamental Research Funds for the Central Universities, HUST: 2017KFYXJJ027. The work in Hong Kong was supported by Research Grants Council of Hong Kong (Grant nos. AoE/P02/12 and C601318G).
Author information
Affiliations
Contributions
Y.C. conceived the original idea. Y.C., J.Q.S. developed the standard framework and discovered ZB effect. R.Y.Z., Y.C. extended the framework to more general cases. R.Y.Z. performed analytic study of ZB effect, and designed the scheme of nonAbelian AB effect. Y.C., Z.X. R.Y.Z. carried out the numerical simulations. Z.H.H., J.L. designed the metamaterial. C.T.C. supervised the whole project. R.Y.Z., Y.C., C.T.C. wrote the manuscript. And all authors were involved in the analysis and discussion of the results.
Corresponding authors
Correspondence to Jian Qi Shen or C. T. Chan.
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Peer review information: Nature Communications thanks Simon Horsley and other anonymous reviewer(s) for their contribution to the peer review of this work.
Publisher’s note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chen, Y., Zhang, R., Xiong, Z. et al. NonAbelian gauge field optics. Nat Commun 10, 3125 (2019). https://doi.org/10.1038/s41467019109748
Received:
Accepted:
Published:
Further reading
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.