Optical singularities are topological defects of electromagnetic fields; they include phase singularity in scalar fields, polarization singularity in vector fields, and three-dimensional (3D) singularities such as optical skyrmions. The exploitation of photonic microstructures to generate and manipulate optical singularities has attracted wide research interest in recent years, with many photonic microstructures having been devised to this end. Accompanying these designs, scattered phenomenological theories have been proposed to expound the working mechanisms behind individual designs. In this work, instead of focusing on a specific type of microstructure, we concentrate on the most common geometric features of these microstructures—namely, symmetries—and revisit the process of generating optical singularities in microstructures from a symmetry viewpoint. By systematically employing the projection operator technique in group theory, we develop a widely applicable theoretical scheme to explore optical singularities in microstructures with rosette (i.e., rotational and reflection) symmetries. Our scheme agrees well with previously reported works and further reveals that the eigenmodes of a symmetric microstructure can support multiplexed phase singularities in different components, such as out-of-plane, radial, azimuthal, and left- and right-handed circular components. Based on these phase singularities, more complicated optical singularities may be synthesized, including C points, V points, L lines, Néel- and bubble-type optical skyrmions, and optical lattices, to name a few. We demonstrate that the topological invariants associated with optical singularities are protected by the symmetries of the microstructure. Lastly, based on symmetry arguments, we formulate a so-called symmetry matching condition to clarify the excitation of a specific type of optical singularity. Our work establishes a unified theoretical framework to explore optical singularities in photonic microstructures with symmetries, shedding light on the symmetry origin of multidimensional and multiplexed optical singularities and providing a symmetry perspective for exploring many singularity-related effects in optics and photonics.
Jie Yang, Jiafu Wang, Xinmin Fu, Yueting Pan, Tie Jun Cui, Xuezhi Zheng.
Optical Singularities in Photonic Microstructures with Rosette Symmetries: A Unified Theoretical Scheme.
Engineering, 2025, 45(2): 64-75 DOI:10.1016/j.eng.2024.10.011
Topology is one of the thematic melodies of physics today. As an essential concept spanning different areas of mathematics and physics, singularities are the key to understanding kaleidoscopic topological phenomena in physics [1], [2]. Singularities in a wave field refer to a point in space where some physical quantities describing the field are undefined. Since the revision of the connectivity of field configurations, singularities have been viewed as topological defects of wave fields. They have been extensively studied in many wave fields and identified as the topological manifestations of many fascinating phenomena, such as black holes in gravitational fields [3], topological elementary excitations in condensed matter [4], and equivalent magnetic monopoles in electronic wavefunctions [5]. Optical singularities are singularities in electromagnetic (EM) fields; they can be basically classified into three main categories: phase singularities in scalar fields, polarization singularities in two-dimensional (2D) vector fields, and topological defects in three-dimensional (3D) vector fields [6]. Phase singularities refer to a point in space where the phase of the EM fields is undefined. Polarization singularities refer to a point in space where a parameter describing the local polarization states of the EM fields is undefined. As 3D optical singularities, topological defects in 3D vector fields—such as optical skyrmions [7], [8], merons [9], [10], hopfions [11], [12], Möbius strips [13], [14], knots [15], and links [16]—can be viewed as the synthesis of the two aforesaid singularities. These multidimensional optical singularities introduce several new degrees of freedom that can be used to structure light and to manipulate light–matter interaction, leading to the creation of a new chapter of modern optics: singular optics. Many fascinating applications have been inspired by multidimensional optical singularities, including (deeply) subwavelength focusing or imaging [8], [17], [18], [19], micro/nanoscale plasmonic vortices for on-chip applications [20], [21], [22], [23], [24], [25], and photonic orbital angular momentum (OAM) multiplexing for high-capacity communications [26], [27], [28].
The generation and manipulation of EM singularities is a cutting-edge topic in optics and photonics. To this end, various photonic microstructures have been proposed, accompanied by specialized theoretical models to expound the working principles behind individual designs. For example, circularly arranged nanoemitters or antenna arrays have been proposed to engineer phase singularity [29], [30], [31], [32], [33], [34], which is explained from the perspective of antenna theory [34]; microring resonators have been proposed to engineer both phase and polarization singularities [35], [36], [37], [38], which is understood based on whispering gallery modes (WGMs) and the coupled mode theory [37], [38]; plasmonic vortex lenses have been proposed, with the experimental generation of phase singularities and optical quasi-particles being theoretically discussed within the framework of spin–orbit interaction (SOI) [9], [22], [21], [39], [40]; plasmonic polygon slits have been proposed to generate optical skyrmions in optical lattices [7], [17], [41], [42], which is theoretically interpreted as an interference phenomenon and explained by the Huygens principle [7], [25], [43]; point defects in photonic crystals have been proposed to engineer phase and polarization singularities [44], [45], with the theoretical discussions naturally falling in line with the band theory of photonic crystals [44], [45]; and spoof plasmonic resonators have been proposed to engineer phase and polarization singularities and optical quasiparticles [46], [47], [48], [49], [50], accompanied by equivalent medium theory and mode superposition principles to expound their working mechanisms [44], [45], [46], [48]. Since the proposed microstructures can be made of different materials, exhibit different geometries, and operate at different frequencies/wavelengths, the corresponding theories are only applicable to certain types of microstructures and thus are phenomenological, lacking wide applicability. Moreover, the proposed microstructures normally exhibit common geometric features, such as rotational and possible reflection symmetries. Most of the current theories still lack a systematic and quantitative study of these symmetry features, so they fail to reveal the connections between symmetries and multidimensional optical singularities. Very recently, efforts have been made to bridge this gap; however, such efforts emphasize the symmetry origins of a certain type of optical singularity [47], [49], [50], [51].
In this work, we develop a unified theoretical scheme by systematically exploiting the intrinsic connections between the symmetries of a microstructure and its multidimensional optical singularities. In particular, we focus on isolated microstructures with rosette (i.e., rotation and, possibly, reflection) symmetries, which covers most of the planar scatterers engineered to generate multidimensional optical singularities. In contrast to our previous work, which followed a pure geometric approach [49] (i.e., only symmetry arguments were employed in determining the topological features of polarization singularities), in this work, we emphasize the interplay between symmetries and the scattering theory of EM waves. Firstly, within the frameworks of EM scattering theory and group representation theory, we demonstrate that the eigencurrents supported by a symmetric microstructure are categorized by the symmetries and that the eigencurrents belonging to the same category share the same symmetry features. This observation prompts us to investigate, for a specific category of eigencurrents, the simplest possible case—that is, a set of dipoles and the electric field radiated by the dipoles—that is, the eigenmode. Next, we theoretically study the topological features of the eigenmode and find that the eigenmodes of a symmetric microstructure can support multiplexed phase singularities [25] in their components—that is, the out-of-plane component, the radial and azimuthal components, and the left- and right-handed circular components. The topological invariants related to the found phase singularities are protected by the symmetries of the microstructures. Based on the phase singularities, more complicated optical singularities can be synthesized, such as C points, V points, L lines, and Néel- and bubble-type optical skyrmions. Furthermore, we discuss the possibility of forming optical lattices due to multiplexed phase singularities. Finally, we clarify the general condition—that is, the symmetry-matching condition—for the excitation of a specific type of optical singularity, which may serve as a general principle for future derivations of selection rules controlling the process of photonic SOI [43], [52], [53]. Our work sheds light on the symmetry origins of multidimensional and multiplexed optical singularities in various photonic microstructures, which can be useful in exploring new types of optical singularities (e.g., optical knots and links). Our work is also helpful in the exploration of other related topics, including optical chirality [54], photonic SOI [53], and geometric phases [6], and inspires the investigation of optical singularities in parametric or synthesized spaces, such as polarization singularities in momentum space [55] and exceptional points in parameter spaces [56].
2. Theoretical framework for light–microstructure interaction by symmetry principles
2.1. Electric field integral equation (EFIE) formalism for light–microstructure interaction
Fig. 1[7], [17], [19], [22], [35], [36], [37], [39], [41], [47], [48], [50], [52], [53], [57], [58], [59], [60], [61] lists several representative microstructures that have been widely applied to generate multidimensional optical singularities. They can be made of metals, semiconductors, or dielectrics, and can operate at different frequency bands, including the microwave, terahertz, infrared, and optical frequency bands. The interaction of the microstructures and light can be described by a unified operator equation given by the EFIE formalism [62], [63], [64]. The operator equation reads as follows:
where is the impedance operator of a microstructure, is the induced current flowing in/on the microstructure, stands for the incident field, and and denote the source and observation points, respectively. In Cartesian and cylindrical coordinate systems, and . Here, and are the Cartesian and the polar components of , respectively; () and () are the Cartesian and the polar components of , respectively; φ is the azimuthal angle of the vector . Although the detailed expressions of and may differ for structures made of different materials and operating at different frequency bands, the formulation in Eq. (1) is always applicable (details are provided in Appendix A Section S1). The operator describes the EM properties of the structure and defines an eigenvalue problem, , where and are the eigenvalue and eigenfunction (i.e., eigencurrent) of the operator, respectively. The electric field radiated by the eigencurrent, denoted as the eigenmode of the microstructure, can be evaluated by the following:
where E is the electric field at a field point , is the unit vector along the direction, i is the imaginary unit, ω is the angular frequency, μ0 is the vacuum permeability, and V/S refers to that the integration domain can be a three-dimensional (3D) volume or a two-dimensional (2D) surface . is the homogeneous space dyadic Green’s function. and denote the out-of- and in-plane components of the eigenmodes, respectively. The in-plane components of the fields can be expressed in different bases, such as Cartesian, cylindrical and circular bases, where , respectively. Here, , , and are the unit vectors of the Cartesian, the cylindrical and the circular bases, respectively. Correspondingly, , are the components along the unit vectors. We further adopt the convention and , where and ( marks the spin quantum number of light). The transformation relations of the electric field components among different bases are given below.
where Eσ denotes or according to the value of . Suppose the microstructure is placed in a non-magnetic homogeneous background that has a relative permittivity but a unit relative permeability, that is, ; for the on-substrate cases, it is only necessary to further include the reflected dyadic Green’s function [64].) For the sake of our subsequent discussions, we can rewrite the dyadic Green’s function as follows (details are provided in Appendix A Section S2):
where is an auxiliary dyadic function and is independent of the azimuthal angles and , is an integer and represents the cylindrical waves orders (Section S1). and denote two rotation matrices that describe counter-clockwise rotations of and with respect to the z axis, respectively (Fig. 1).
2.2. Group representation theory for rosette symmetries
Rosette symmetries are another name for 2D point group symmetries; they include two categories of symmetries: 2D rotational and reflection symmetries. These symmetries can form two types of 2D point groups: the cyclic group of rotational symmetries and the dihedral group of rotational and reflection symmetries, where denotes the number of rotations involved in the group. The generator of the group is , which is a rotation of an angle (where M is the number of rotations involved in the group) with respect to the rotational symmetry axis (e.g., the axis in Fig. 1(g)). All rotations of the group can be written in a set of . The generators of the group are and , where is a reflection with respect to a reflection plane (the plane makes an angle of with respect to the plane in Fig. 1(e)). All reflections of the group can be written in a set of , where s◦r reprensents a reflection whose reflection plane makes an angle of with respect to the z axis. The group is the union of the above two sets.
Group representation theory is a standard mathematical tool used to study how the symmetries of a physical system influence the physical properties of that system. At the core of group representation theory are irreducible representations (irreps), which are essentially matrices [65], [66], [67]. Diagonal elements of the irreps of the and groups are given in Table 1, Table 2, respectively. It can be observed from Table 1 that ① when is even, the group has two one-dimensional (1D) irreps ( and ) and 2D irreps (); and ② when is odd, the group has one 1D irrep () and 2D irreps (). All irreps of the group can be indexed by a parameter (), which is referred to as the irrep index. The corresponding relation between the irreps and the irrep index is given in Table 1. It can be observed from Table 2 that ① when is even, the group has four 1D irreps (, , and ) and 2D irreps (); and ② when is odd, the group has two 1D irreps (A1 and A2) and 2D irreps (). The irreps of the group can also be indexed by the irrep index , since the group can be viewed as the direct product of the group and the reflection group [66]. The corresponding relation between the irreps of the group and the irrep index is given in Table 2. To be complete, in this work, we only consider the vector irreducible representations of the groups and the projective representations will be addressed in our future work.
Based on the diagonal elements of the irreps of the or group, we can construct so-called projection operators, which are an important and useful concept provided by group representation theory. We mark an irrep with the Greek letter . The projection operator is defined for the dimension (or the ith row) of the irrep [65], [66]:
where is the dimension of the group (for the group, ; for the group, ), and is the dimension of the irrep . In Eq. (5), the summation is done with respect to ; that is, the summation is done over all the symmetries in the group. For each symmetry operation , there is a matrix , and is the diagonal element on the ith dimension (or row/column) of the matrix. is the transformation operator of the symmetry operation . The action of the projection operator in Eq. (5) on arbitrary scalar and vector functions (denoted by f(r) and f(r), respectively), and the resultant projected functions (denoted by and , respectively) are defined as follows [66]:
Since the projection operator is defined for the ith dimension (or row) of the irrep , the projected functions and are said to belong to the ith dimension (or row) of the irrep . It can be proven that the projected functions belonging to different rows of each irrep or belonging to different irreps are orthogonal and complete, and thus form an orthogonal and complete basis for expanding a generic function [65]. In this sense, the projected functions are also called “basis functions.” As a remark, as shown in Table 1, Table 2, for an irrep, it can be seen that the diagonal elements of the irrep are zero for reflection symmetry operations. This indicates that the reflection symmetries play no role in the construction of the projection operator defined for the irrep. In addition, for a specific dimension of an , the projection operator for the group is the same as that for the group.
2.3. Interplay of symmetries and light–microstructure interaction
This subsection focuses on the interplay between symmetries and light–microstructure interaction. It can be proven that each projection operator of the or group in Eq. (5) and the operator in Eq. (1) is commutative [68], [69], [70]:
Resulting from the commutative relation, the operator and the projection operators share a common set of eigenfunctions:
With Eq. (8), the eigencurrents and eigenvalues of the impedance operator are categorized by the dimensions of the irreps. The categorization is done by the projection operators, and the categories are defined and indexed by the irreps. Since the projection operators and the irreps are only related to the symmetries, it is readily concluded that the eigencurrents belonging to the same category—that is, a specific irrep—should demonstrate common symmetry features only defined by the irreps, which are purely determined by the symmetries of a microstructure and are thus independent of the geometric details of a structure (e.g., the length of the arms in Fig. 1(c)).
To summarize, by applying the integral relations in Eq. (2) to both sides of the second equation of Eq. (8) (e.g., Ref. [70]), we can demonstrate that the electric field radiated by the eigencurrents belonging to a specific irrep—that is, the eigenmode —belongs to the same irrep; that is,
3. Optical singularities in the fields radiated by symmetry-classified eigencurrents
3.1. An electric dipole model for extracting common symmetry features
To extract the common symmetry features held by the eigencurrents belonging to an irrep, it is necessary to solve the eigenvalue problem in the second equation of Eq. (8). Furthermore, since the common symmetry features are independent of the geometry of a microstructure, we can consider the most rudimental case: a set of discrete points. The points are related by reflection and rotation symmetries as in a rosette group. At the points, electric dipoles are imposed, which can be seen as the most elemental eigencurrent distribution, in the sense that a generic current distribution can always be constructed from the dipole distribution. Thus, the set of dipoles is also called an “eigen dipole distribution.” For completeness, since the practical structures we consider in this work have a large cross-section-to-height ratio, the considered dipoles are restricted to having in-plane components. Nevertheless, the discussions and the related conclusions can be readily extended to cases where the out-of-plane component is significant, such as chromophore arrays [31], [32], [33].
The eigen dipole distributions corresponding to the irreps of a group can be constructed by applying the projection operator in Eq. (5) to a harmonic electric dipole positioned at (Fig. 2(a)), where and ρ0 is the distance from radial distance between the dipole and the origin. Without loss of generality, we assume that the electric dipole makes an angle of with respect to the axis (Fig. 2(a)). The dipole moment of the dipole (p) can be expressed as follows:
where is the magnitude of the dipole moment and is the Dirac function . The time factor (where is the angular frequency and the corresponding wavelength is ) is assumed but suppressed in the following discussions. Applying the projection operator of the ith dimension of the irrep defined in Eq. (5) to the dipole , we can obtain the eigen dipole distribution corresponding to the dimension of the irrep , that is, . We take the group with even as an example. The eigen dipole distribution belonging to an irrep of the group is as follows,
where . Using Eq. (11), we can conveniently obtain the eigen dipole distribution belonging to the irrep by plugging the diagonal elements of a specific irrep (Table 2) into Eq. (11) (expressions are provided in Appendix A Section S3). Eq. (11) is not limited to the group with even , but can also be applied to other 2D point groups—that is, the group with odd and the groups with odd and even .
To illustrate Eq. (11), we take the group as an example and plot out the eigen dipole distributions belonging to the irreps of the group in Figs. 2(b)–(f). From Fig. 2, it can be observed that, for the irrep, all dipoles are radially oriented and in phase; for the irrep, all dipoles are azimuthally oriented and in phase; for the irrep, all dipoles are radially oriented and in phase, and the two neighboring dipoles are out of phase; for the irrep, all dipoles are azimuthally oriented, and the two neighboring dipoles are out of phase; and, for the irrep, all dipoles are circularly arranged, with the same oriented angle of with respect to the radial direction.
3.2. Optical singularities in the radiation of the eigen dipole distributions
Next, based on Eqs. (2), (4), we evaluate the electric field radiated by the eigen dipole distributions in Eq. (11):
In Eq. (12), the cylindrical components of the radiated electric field are , , and . According to Eq. (4) and Section S2, can be interpreted as a 3 × 3 matrix in the current coordinate bases. is a vectorial function (the detailed form of is provided in Appendix A Section S4) and can be interpreted as a 3 × 1 vector in the current coordinate bases. In particular, we note that is a function of the summation index . We demonstrate in Section S4 that is nonzero if and only if , where marks the set of integers. Hence, Eq. (12) can be recast as follows:
The summation in Eq. (13) indicates that the cylindrical components of the radiated electric field—that is, , and —are superposed by a set of partial waves indexed by . The qth partial wave has an dependency, suggesting that the qth partial wave holds a helical wave front and thus carries a phase singularity with the order . As a result, there are phase singularities in the cylindrical components , , and and the orders , , and are as follows:
where are arbitrary integers.
The product of the auxiliary dyadic function and the vectorial function determines the weight of the qth partial wave. For a fixed observation point , we can see from the product that the weight is dependent on . As will be shown later, tuning makes it possible to control the desired order of the phase singularity.
In addition to expressing the radiated field in terms of cylindrical components (i.e., , , and ), we express the electric field in terms of circular bases—that is, , and . From Eq. (3), it can be seen that and are the linear combinations of and ; they can be seen as the superpositions of helical partial waves, as suggested in Eq. (13), and thus carry phase singularities. But the order of the phase singularity carried by () is always one order less (more) than the radial and azimuthal components. That is, the order of the phase singularity carried by a circular component is as follows:
where . denotes the topological charge of scalar vortex in the circular component .
Above, we demonstrate that the components of the radiated electric field carry phase singularities. However, not all of them can be termed as scalar vortex modes due to the requirement of homogeneous polarization distribution. Only , , and are scalar vortex modes, as their bases are not dependent on spatial coordinates. At the same time, and are radial and azimuthal polarization vortices, since their bases—that is, the unit vector along the radial and azimuthal directions in a cylindrical coordinate system—vary from one point to another. The polarization singularities carried by the two polarization vortices are V points, and their topological charges are always 1 [58]. Therefore, we obtain three scalar vortex modes in , , and and two polarization vortices in and . It is worth noting that the scalar vortex modes in and are crucial to studying geometric phase or SOI in photonic and optic systems [6].
Aside from the V points in and , much richer singular features can be revealed in the in-plane components of the electric field radiated by the eigen dipole distribution. It is well known that a polarization vortex can be viewed as the superposition of two scalar vortex modes in orthogonal circular bases, and the order of polarization singularity (denoted as ) can be evaluated as , where l− and l+ are the topological charges of scalar vortices in the right- and left-circular components, respectively [6], [71], [72]. This indicates that the in-plane components of the radiated field should exhibit polarization vortices and carry polarization singularities, since the in-plane components are the superposition of the and components. Moreover, the orders of polarization singularity (i.e., the topological charges of polarization vortices), can be evaluated as follows:
where q− and q+ are arbitrary integers.
Eq. (16) is a very powerful conclusion, in the sense that it predicts all possible topological charges of polarization vortices that can occur in the in-plane components of the electric field radiated by an arbitrarily shaped microstructure with rosette symmetries. This conclusion is consistent with the results derived by the cyclic Bloch theorem [49]. As a remark, when is even, the topological charge is always an integer; when is odd and is nonzero, we notice that the topological charge can be fractional—that is, odd-fold rotationally symmetric microstructures can support fractional-order polarization singularities. For example, when , , and , the topological charge is (see an example in Fig. S1 in Appendix A Section S5).
3.3. Scalar vortices, polarization vortices, and 3D optical singularities in electrically small microstructures
To illustrate the above theoretical results, we numerically evaluate the electric field radiated by an eigen dipole distribution with the group symmetries (i.e., ). The parameters of the model are set as follows: The magnitude of the dipole moment is ; the oscillating wavelength of the dipole is chosen to be ; ; the observation plane is chosen at ; and the observation region is chosen to be . Such a setting would allow us to investigate the most general symmetry and the associated topological features in the electric field radiated by an electrically small microstructure. Also, since the structure is subwavelength, it can be readily seen from the weight (i.e., the product of the tensorial function and the vectorial function in Eq. (13)) that the radiation is dominated by the lowest order singularities. That is, only the partial wave in Eq. (13) is prominent. The resultant phase and magnitude distributions of ,,, , and are illustrated in Fig. 3, Fig. 4, Fig. 5, Fig. 6, Fig. 7, from which it can be observed that the orders of the phase singularities carried by the five components agree well with Eqs. (14), (15) (note that, in Eqs. (14), (15), and are set to 0). Therefore, the numerical results well demonstrate our theoretical model. It is worth noting that our results regarding and the can be applied to explain the on-chip generation of cylindrical vector vortices in ring resonators [58], [73] and to construct optical quasiparticles such as skyrmions and merons based on the Stokes vectors of local polarization states [10].
For the polarization singularities in the in-plane components , we verify Eq. (16) using Fig. 6, Fig. 7, Fig. 8. We take the case as an example. It can be read from Fig. 6, Fig. 7 that and are 3 and 1, respectively. Because , the topological charge is 1. This is echoed by the in Fig. 8.
For a complete argument, we can use the scalar vortices in the component (e.g., Fig. 3) and the polarization vortices in the in-plane components (e.g., Fig. 8) of the radiated field to construct 3D optical singularities, such as optical skyrmions, in microstructures. The 3D optical singularities can be viewed as the superposition of lower-order singularities (i.e., phase and polarization singularities). For example, the optical skyrmion can be viewed as the superposition of a scalar vortex with a topological charge of 0 in the component of a field and a polarization vortex with a topological charge of 1 in the in-plane component of the field [7], [50]. We notice that the required scalar and polarization vortices coexist in the irrep (see the 0 case in Fig. 3, Fig. 8). Therefore, an optical skyrmion may be constructed under the irrep (Fig. 9). From Figs. 9(a) and (b), we see that, at the center of the vectorial configuration, the vector of the electric field is up; then, with an increase in the radius, the vector gradually flips over and becomes down at the boundary denoted by the white dashed circle. This is further confirmed by Fig. 9(c). The shown vectorial configuration in Fig. 9 is the typical vectorial configuration of a Néel-type skyrmion. The topological invariant of the synthesized optical skyrmion (i.e., the skyrmion number) can be readily evaluated to be 1 [7], [8], [50]. Since the constructed skyrmion belongs to the irrep of the group, it is protected by the symmetries of the systems. This observation also applies to the group (where the irrep plays the same role as the irrep) and can be further generalized to the 1D unitary Lie group [41]. It is worth noting that the average skyrmion number of the synthesized optical skyrmion is zero in one optical cycle, which is consistent with previous works [7], [17], [50]. The spin optical skyrmion with nonzero skyrmion numbers can be synthesized by the other types of EM field vectors, such as a photonic spin or Stokes vector [8], [10], [41].
3.4. Multiplexed optical singularities in electrically large microstructures
In Section 3.3, we consider the case where is on the subwavelength scale, that is, . This corresponds to electrically small microstructures that could practically be, for example, spoof plasmonic resonators [47], [52], [74] or metal/dielectric spheres [14], [75]. In this case, we only observe the lowest-order optical singularities (Fig. 3, Fig. 4, Fig. 5, Fig. 6, Fig. 7, Fig. 8). In this section, we consider another extremity, , which corresponds to an electrically large microstructure, such as plasmonic vortex lenses [21], [22], [53] or plasmonic polygon gratings [7], [41], [42]. These microstructures are usually used to generate multiplexed optical singularities [22] and optical lattices [42]. In the following discussions, we maintain all the parameters in Section 3.3 but use and illustrate the effects of changing from to by the radiated field belonging to the irrep (Fig. 10). As can be predicted from Eq. (13), when becomes multiple wavelengths, the weights of the higher-order partial waves, that is, , become non-negligible; thus, the higher order singularities come into the picture. This is well-confirmed by Fig. 10. First, we focus on the multiplexed singularities in the components of the electric field, that is, , and (Figs. 10(a)–(e)). There, in addition to the lowest order (the case), appears, highlighted by the white solid circle in Fig. 10(a) and the black circles in Figs. 10(b)–(e). As predicted by Eq. (14) and confirmed by the weights in Fig. 10(h), the orders of the higher-order singularities in the , , and are . At the same time, according to Eq. (15), the orders of the highlighted singularities in and are and , respectively, determining the order of the higher-order polarization singularities to be (Eq. (16) and Figs. 10(f) and (g)). Also, in Fig. 10(g), we observe a transition (the red dashed circle in the figure) at the interface between the polarization vortices with topological charges and . This transition leads to the optical domain wall in Fig. 10(i), which can be viewed as a bubble-type optical skyrmion or skyrmion-like vectorial configuration rather than the Néel-type one in Fig. 9[7]. The transition from the Néel-type optical skyrmion to a bubble-type one can be explained by comparing the magnitude distributions of and in the central parts of Figs. 10(a) and (f), respectively. These numerical results indicate that, with an increase in the radial dimensions , microstructures such as plasmonic vortex lenses [22], [53] can indeed support multiplexed optical singularities and even multiplexed 3D optical singularities, such as skyrmionium [76].
As a further remark, comparing Fig. 10(a) and the panel in Fig. 3 reveals that tends to form an optical lattice with an increase in . By this token, we further increase from to . As a result, a hexagonal optical lattice has been formed in the component in Figs. 11(a) and (b). This result can be useful in the Floquet engineering of quantum states of electrons or other particles, such as Bose-Einstein condensations [77]. The formation of the optical lattice can be explained from two perspectives. From one perspective, it can be explained as the superposition of multiplexed phase singularities in . Fig. 10(h) indicates that the (quasi-)optical lattice with fewer unit cells in Fig. 10(a) is the superposition of three scalar vortices with topological charges of 0 and ±6. In addition, Fig. 11(c) indicates that the (quasi-)optical lattice in Fig. 11(a) is the superposition of nine scalar vortices with topological charges of 0, ±6, ±12, ±18, and ±24. From another perspective, as reported in Refs. [77], [78], [79], optical lattices can be viewed as the result of interfering spherical waves radiated by six electric dipoles. The optical lattice revealed here can be applied to construct more complex vectorial optical lattices, such as optical skyrmion lattices [7]. It is worth noting that the topological charges in Fig. 11(c) are equally spaced with the rotational-symmetry dimension ( here), which can be a useful property in applications of optical vortex nanosieves [25], [43]. Limited by the length of this work, the above discussions are restricted to the irrep. Further results regarding other irreps will be reported later.
4. Excitation of optical singularities
For a complete argument, we focus on how to build an appropriate incident field in order to selectively excite a desired optical singularity supported by a symmetric microstructure, as discussed in Section 3. To proceed, we apply the projection operator in Eq. (5) to the main equation that controls the interaction of light with the microstructure in Eq. (1) and consider the commutative relation in Eq. (7):
Eq. (17) suggests that, to excite the eigencurrent belonging to the ith dimension of the irrep , a given incident field must have a non-vanishing projection along the same dimension of the same irrep:
In this sense, we say that the symmetry of the incident field matches with the irrep. In a special case, if the incident field is invariant under the action of a projection operator, that is,
then the eigencurrent and the secondary field radiated by the eigencurrent (i.e., the eigenmode) belonging to the same dimension of the same irrep are exclusively induced by the incident field. The condition in Eqs. (18), (19) can be quickly applied to the process of SOI in the generation of plasmonic vortices in plasmonic vortex lenses. In this way, a symmetry-compatible angular momentum conservation relation can be found, which serves as a selection rule or the incident Laguerre–Gaussian modes to generate on-chip plasmonic vortex sources [43], [53]. A similar selection rule can also be derived in the transfer process of the OAM of light to plasmonic excitations in metamaterials [52].
To explicitly show the feasibility of our proposed theoretical scheme, we design a plasmonic polygonal microstructure similar to the one given in Fig. 1(b). Such a structure can generate plasmonic vortices and topological quasiparticles under the customized excitation of the Laguerre–Gaussian modes [7], [79]. The full-wave simulation results are given in Fig. S1 in Appendix A Section S5, which well demonstrates our theoretical scheme (details are provided in Section S5).
5. Conclusions
In summary, we presented a unified scheme for systematically studying multidimensional optical singularities in photonic microstructures with rosette symmetries. We discussed the interplay between the light-microstructure interaction and the symmetries of the structure, and classified the eigencurrents and eigenmodes of the structure according to their symmetry features. Then, we developed an electric dipole model to study the topological features of the eigenmodes. Multidimensional optical singularities were shown in the components of the eigenmodes, including the phase singularities carried by scalar vortex modes in , , , , and ; the polarization singularities in the polarization vortices in ; and the optical skyrmion or skyrmion-like vectorial configuration in . An extended discussion was provided on a key parameter (the radius ) in the dipole model in order to understand the effects of the dimension of photonic microstructures on optical singularities (e.g., multiplexed phase and polarization singularities), the switch from a Néel-type optical skyrmion to a bubble-type one, and the formation of optical lattices. Finally, we reached a symmetry matching condition for the excitation of a specific optical singularity.
Not limited to optical/EM systems, the proposed scheme can also be applied to some other wave field systems (e.g., acoustic or quantum systems) to discuss singularities in the related wave fields in the spirit of the commutative relation between the projection operators of symmetry groups and the governing operators of these systems. As an example, we discussed the phase singularities in a quantum system by replacing the impedance operator in the current work with the Hamiltonian of the system in order to discuss the singularities emitted by the system [31], [32], [33]. Our work establishes an intrinsic connection between the symmetries of a microstructure and the topological features of its radiated fields, introduces a symmetry perspective on the process of generating multidimensional optical singularities via photonic microstructures, and is useful in the further exploration of interesting optical singularities such as optical knots and links, to name just a few. The proposed theoretical scheme can also be extended to investigate the generation of multidimensional singularities via defects in photonic crystals [44], [45] or in the process of spin-orbital coupling in nonlinear light-microstructure interactions [39].
Acknowledgments
This work was supported by the National Natural Science Foundation of China (62301596 and 62288101) and Shaanxi Provincial Science and Technology Innovation Team (23-CX-TD-48). Xuezhi Zheng would like to thank the KU Leuven internal funds: the C1 Project (C14/19/083), the Interdisciplinary Network Project (IDN/20/014), and the Small Infrastructure Grant (KA/20/019); the Research Foundation of Flanders (FWO) Project (G090017N, G088822N, and V408823N), and the Danish National Research Foundation (DNRF165).
Compliance with ethics guidelines
Jie Yang, Jiafu Wang, Xinmin Fu, Yueting Pan, Tie Jun Cui, and Xuezhi Zheng declare that they have no conflict of interest or financial conflicts to disclose.
LiuW, LiuW, ShiL, KivsharY.Topological polarization singularities in metaphotonics.Nanophotonics2021; 10(5):1469-1486.
[2]
MondD, MontaldiJ.Singularity theory and its applications. Springer, Berlin (1991)
[3]
OriA.Structure of the singularity inside a realistic rotating black hole.Phys Rev Lett1992; 68(14):2117-2120.
[4]
KosterlitzJM, ThoulessDJ.Ordering, metastability and phase transitions in two-dimensional systems.J Phys C Solid State Phys1973; 6(7):1181-1203.
[5]
DiracPAM.Quantised singularities in the electromagnetic field.Proc R Soc Lond A Contain Pap Math Phys Character1931; 133(821):60-72.
[6]
BliokhKY, AlonsoMA, DennisMR.Geometric phases in 2D and 3D polarized fields: geometrical, dynamical, and topological aspects.Rep Prog Phys2019; 82(12):122401.
DuL, YangA, ZayatsAV, YuanX.Deep-subwavelength features of photonic skyrmions in a confined electromagnetic field with orbital angular momentum.Nat Phys2019; 15(7):650-654.
[9]
DaiY, ZhouZ, GhoshA, MongRS, KuboA, HuangCB, et al.Plasmonic topological quasiparticle on the nanometre and femtosecond scales.Nature2020; 588(7839):616-619.
ZhongJ, LiuS, GuoX, LiP, WeiB, HanL, et al.Observation of optical vortex knots and links associated with topological charge.Opt Express2021; 29(23):38849-38857.
[17]
DavisTJ, JanoschkaD, DreherP, FrankB, Meyer zu HeringdorfFJ, GiessenH.Ultrafast vector imaging of plasmonic skyrmion dynamics with deep subwavelength resolution.Science2020; 368(6489):eaba6415.
[18]
YuanGH, ZheludevNI.Detecting nanometric displacements with optical ruler metrology.Science2019; 364(6442):771-775.
[19]
HeeresRW, ZwillerV.Subwavelength focusing of light with orbital angular momentum.Nano Lett2014; 14(8):4598-4601.
[20]
KimH, ParkJ, ChoSW, LeeSY, KangM, LeeB.Synthesis and dynamic switching of surface plasmon vortices with plasmonic vortex lens.Nano Lett2010; 10(2):529-536.
[21]
SpektorG, KilbaneD, MahroAK, FrankB, RistokS, GalL, et al.Revealing the subfemtosecond dynamics of orbital angular momentum in nanoplasmonic vortices.Science2017; 355(6330):1187-1191.
NiJ, HuangC, ZhouLM, GuM, SongQ, KivsharY, et al.Multidimensional phase singularities in nanophotonics.Science2021; 374(6566):eabj0039.
[24]
TsaiWY, HuangJS, HuangCB.Selective trapping or rotation of isotropic dielectric microparticles by optical near field in a plasmonic archimedes spiral.Nano Lett2014; 14(2):547-552.
[25]
JinZ, JanoschkaD, DengJ, GeL, DreherP, FrankB, et al.Phyllotaxis-inspired nanosieves with multiplexed orbital angular momentum.eLight2021; 1:5.
[26]
KrennM, HandsteinerJ, FinkM, FicklerR, UrsinR, MalikM, et al.Twisted light transmission over 143 km.Proc Natl Acad Sci USA2016; 113(48):13648-13653.
RenY, LiL, XieG, YanY, CaoY, HuangH, et al.Line-of-sight millimeter-wave communications using orbital angular momentum multiplexing combined with conventional spatial multiplexing.IEEE Trans Wirel Commun2017; 16(5):3151-3161.
[29]
Carlon ZambonN, St-JeanP, MiliMćević, LemaAître, HarouriA, Le GratietL, et al.Optically controlling the emission chirality of microlasers.Nat Photonics2019; 13(4):283-288.
[30]
SalaVG, SolnyshkovDD, CarusottoI, JacqminT, LemaAître, TerHças, et al.Spin–orbit coupling for photons and polaritons in microstructures.Phys Rev X2015; 5(1):011034.
ColesMM, WilliamsMD, SaadiK, BradshawDS, AndrewsDL.Chiral nanoemitter array: a launchpad for optical vortices.Laser Photonics Rev2013; 7(6):1088-1092.
[34]
MohammadiSM, DaldorffLK, BergmanJE, KarlssonRL, ThidBé, ForozeshK, et al.Orbital angular momentum in radio–a system study.IEEE Trans Antenn Propag2010; 58(2):565-572.
ZhangZ, ZhaoH, PiresDG, QiaoX, GaoZ, JornetJM, et al.Ultrafast control of fractional orbital angular momentum of microlaser emissions.Light Sci Appl2020; 9:179.
[39]
SpektorG, KilbaneD, MahroAK, HarteltM, PrinzE, AeschlimannM, et al.Mixing the light spin with plasmon orbit by nonlinear light–matter interaction in gold.Phys Rev X2019; 9(2):021031.
DaiY, ZhouZ, GhoshA, KapoorK, DMąbrowski, KuboA, et al.Ultrafast microscopy of a twisted plasmonic spin skyrmion.Appl Phys Rev2022; 9(1):011420.
[42]
TsessesS, CohenK, OstrovskyE, GjonajB, BartalG.Spin–orbit interaction of light in plasmonic lattices.Nano Lett2019; 19(6):4010-4016.
[43]
YangY, ThirunavukkarasuG, BabikerM, YuanJ.Orbital–angular–momentum mode selection by rotationally symmetric superposition of chiral states with application to electron vortex beams.Phys Rev Lett2017; 119(9):094802.
[44]
ChenMLN, JiangLJ, WeiEI.Generation of orbital angular momentum by a point defect in photonic crystals.Phys Rev Appl2018; 10(1):014034.
[45]
ZhaoC, GanX, LiuS, PangY, ZhaoJ.Generation of vector beams in planar photonic crystal cavities with multiple missing-hole defects.Opt Express2014; 22(8):9360-9367.
[46]
SuH, ShenX, SuG, LiL, DingJ, LiuF, et al.Efficient generation of microwave plasmonic vortices via a single deep-subwavelength meta-particle.Laser Photonics Rev2018; 12(9):1800010.
[47]
YangJ, ZhengX, WangJ, ZhangA, CuiTJ, VandenboschGAE.Customizing the topological charges of vortex modes by exploiting symmetry principles.Laser Photonics Rev2022; 16(4):2100373.
[48]
ZhangY, ZhangQ, ChanCH, LiE, JinJ, WangH.Emission of orbital angular momentum based on spoof localized surface plasmons.Opt Lett2019; 44(23):5735-5738.
[49]
YangJ, ZhengX, WangJ, ZhangA, CuiTJ, VandenboschG.Polarization singularities in planar electromagnetic resonators with rotation and mirror symmetries.Photon Res2023; 11(6):936.
ArikawaT, HiraokaT, MorimotoS, BlanchardF, TaniS, TanakaT, et al.Transfer of orbital angular momentum of light to plasmonic excitations in metamaterials.Sci Adv2020; 6:eaay1977.
[53]
YangJ, FengP, HanF, ZhengX, WangJ, JinZ, et al.Symmetry-compatible angular momentum conservation relation in plasmonic vortex lenses with rotational symmetries 2022.arXiv:2209.14735.
ArikawaT, MorimotoS, TanakaK.Focusing light with orbital angular momentum by circular array antenna.Opt Express2017; 25(12):13728-13735.
[60]
CognKGée, DoelemanHM, LalanneP, KoenderinkAF.Generation of pure OAM beams with a single state of polarization by antenna-decorated microdisk resonators.ACS Photonics2020; 7(11):3049-3060.
[61]
YueF, WenD, XinJ, GerardotBD, LiJ, ChenX.Vector vortex beam generation with a single plasmonic metasurface.ACS Photonics2016; 3(9):1558-1563.
[62]
ChewWC, TongMS, HuB.Integral equation methods for electromagnetic and elastic waves. Springer International Publishing, Cham (2009)
[63]
ZhengX, KupresakM, VerellenN, MoshchalkovVV, VandenboschGAE.A review on the application of integral equation-based computational methods to scattering problems in plasmonics.Adv Theory Simul2019; 2(9):1900087.
[64]
ChewWC.Waves and fields in inhomogenous media. John Wiley & Sons, Hoboken (1999)
[65]
TungWK.Group theory in physics. World Scientific, Singapore (1985)
[66]
DresselhausMS, DresselhausG, JorioA.Group theory: application to the physics of condensed matter. Springer Science & Business Media, Berlin (2007)
[67]
SerreJP.Linear representations of finite groups. Springer, Berlin (1977)
[68]
CollinsJT, ZhengX, BrazNV, SlendersE, ZuS, VandenboschGA, et al.Enantiomorphing chiral plasmonic nanostructures: a counterintuitive sign reversal of the nonlinear circular dichroism.Adv Opt Mater2018; 6(14):1800153.
[69]
KuppeC, ZhengX, WilliamsC, MurphyAW, CollinsJT, GordeevSN, et al.Measuring optical activity in the far-field from a racemic nanomaterial: diffraction spectroscopy from plasmonic nanogratings.Nanoscale Horiz2019; 4(5):1056-1062.
[70]
ZhengX, VerellenN, VercruysseD, VolskiyV, Van DorpeP, VandenboschGA, et al.On the use of group theory in understanding the optical response of a nanoantenna.IEEE Trans Antennas Propag2015; 63(4):1589-1602.
[71]
SenthilkumaranP, PalSK.Phase singularities to polarization singularities. Int J Opt (2020), Article 2812803
[72]
WangQ, TuCH, LiYN, WangHT.Polarization singularities: progress, fundamental physics, and prospects.APL Photonics2021; 6(4):040901.