## Abstract

Knots are topological structures describing how a looped thread can be arranged in space. Although most familiar as knotted material filaments, it is also possible to create knots in singular structures within three-dimensional physical fields such as fluid vortices^{1} and the nulls of optical fields^{2,3,4}. Here we produce, in the transverse polarization profile of optical beams, knotted lines of circular transverse polarization. We generate and observe both simple torus knots and links as well as the topologically more complicated figure-eight knot. The presence of these knotted polarization singularities endows a nontrivial topological structure on the entire three-dimensional propagating wavefield. In particular, the contours of constant polarization azimuth form Seifert surfaces of high genus^{5}, which we are able to resolve experimentally in a process we call seifertometry. This analysis reveals a level of topological complexity, present in all experimentally generated polarization fields, that goes beyond the conventional reconstruction of polarization singularity lines.

## Main

Many physical systems enclose regions that have a singular nature, often manifested as curves in three-dimensional space carrying a discrete physical quantity. For instance, in superconductors, the singularities of the magnetic field carry quantized units of magnetic flux^{6}, whereas in superfluids, the singularities of the wavefunction carry quantized circulation^{7}. Similar structures also occur within optical beams, where they manifest as singular lines of optical phase along zeros of the amplitude, known as wave dislocations or optical vortices^{8,9,10}. These strands form complex self-winding looped three-dimensional structures that can even adopt knotted configurations. Although not so obvious as the knotted singularities themselves, such configurations also affect the topology of other structures in the surrounding wavefield. Namely, the singularities bound a space-filling structure of twisted phase sheets—that is, surfaces where the phase of the wavefield is constant—whose physical properties may be analysed as topological objects in their own right.

Knotted phase singularities have been demonstrated both theoretically and experimentally in optical beams^{2,3,4}. However, only torus knots, which can be represented as multi-strand helices wrapped around a torus, have been previously successfully generated experimentally in optical fields^{3,4}. The simplicity of the torus knot prescription, especially the trefoil knot, has led these to be chosen as examples of knots generated in physical systems such as fluid vortices^{1} and colloidal particles configuring liquid crystals^{11}. Other knots can have a more involved structure, requiring twisting and crossing in multiple directions, which can be constructed theoretically in complex scalar fields^{12,13}, but are more technically challenging to implement experimentally. For any optical vortex knot, the full characterization of the phase structure of the surrounding amplitude is generally a difficult task given that the knots reside in low-intensity regions of the beam which are bright elsewhere. A full reconstruction of the topology of the field around the knot reveals extra topological information about how the phase surfaces are globally inter-nested^{12}. Being oriented, these are Seifert surfaces for the knot^{5}, and the set of all Seifert surfaces fills the three-dimensional space occupied by the field’s intensity. However, these surfaces break down at three-dimensional critical points of the phase that are analogous to certain types of phase saddles^{14}. These points are locally diabolos across which the integer genus of the Seifert surfaces (that is, the number of bridges/holes on the surface) jumps by ± 1. The total absence of these critical points would give a fibred knot^{5,13}, and is mathematically possible for torus knots and other structures such as the figure-eight knot^{13}. Other knots, however, are defined by a Morse–Novikov index indicating the minimum number of critical points^{12}. Here we demonstrate a method of analysing the Seifert surface structure—seifertometry—of the polarization ellipse orientations around various knotted polarization singularities.

Polarization singularities are associated with an optical field’s electric field vector, which, in a beam propagating along the *z* direction, in general executes an ellipse in the *xy* plane^{9,10,15,16,17}. Both the ellipse shape (that is, the ellipticity) and orientation (that is, the polarization azimuth) are determined by Stokes parameters, *s*_{1}, *s*_{2}, *s*_{3}, and vary with *x*,*y*,*z*. The ellipse is circular at points in two dimensions, known as C-points, and along lines in three dimensions, known as C-lines^{9,10}, where the polarization azimuth is undefined. Such polarization singularities organize the topological structure of the ellipse fields in the same way that vortex lines organize the optical phase. When longitudinal polarization is also included, C-lines acquire more complicated three-dimensional properties manifested as optical Möbius bands^{18,19,20,21,22}.

Beams carrying polarization singularities can be generated by means of a coherent superposition of structured left- and right-handed circularly polarized light^{16,17}. In particular, the relative spatial intensity profiles of both polarizations define the ellipticity profile of the resulting beam. Likewise, the relative spatial phase profiles of both circular components determine the azimuth of the polarization ellipse. Therefore, beams that carry C-lines can be readily produced by superposing a circularly polarized beam carrying phase singularities with an oppositely polarized beam that has a smooth phase profile.

The core of our method to generate optical polarization knots relies on the above superposition principles and the use of holographic beam-shaping methods that allow precise control over a beam’s intensity and phase profile^{23}. Further details regarding the employed generation scheme can be found in Fig. 1, the Methods, and the Supplementary Information. Namely, this scheme creates a space-varying polarized light beam with C-line singularities that undergo knotted trajectories upon free-space propagation. For such beams, the wavefield in which the knot is encoded consists of the complex Stokes field *s*_{1 }+ *is*_{2}, whose phase corresponds to twice the value of the polarization azimuth. The dynamics of the knotted C-lines are examined by measuring the optical field’s Stokes parameters, from which a complete reconstruction of the beam’s polarization pattern can be performed. These measurements also allow us to resolve sheets of constant polarization azimuth that terminate on the knot itself.

With this method, we reconstruct the contour surfaces on which the ellipse azimuth is constant and that form our polarization knots’ Seifert surfaces. In Fig. 2a,b we show the experimental and theoretical trefoil knot, one of its Seifert surfaces, and cross-sectional images of the knot’s polarization ellipse profile. We also perform similar experimental reconstructions of torus knots and a choice of azimuth Seifert surface for the Hopf link in Fig. 2c and the cinquefoil knot in Fig. 2d (the other knot and link structures which were previously experimentally generated^{4}). The knot types are sufficiently simple to be classified by visual inspection, emphasized by appropriate projections in the figure, but we have also confirmed them by standard mathematical knot identification procedures summarized in the Methods^{24}. The chosen Seifert surfaces for the knots in Fig. 2 seem to be the simplest surfaces spanning the knot; in the Supplementary Information, we observe that these particular surfaces have minimal genus.

In Fig. 3, we show the results of the first experimental generation of a figure-eight knot engineered in an optical field. This kind of knot must be embedded in a field of sufficient complexity, stated to be beyond the capability of previous implementations^{4}. Using an improved hologram design^{13}, our polarimetric measurements were sensitive enough to resolve and characterize its complex three-dimensional pattern, which appears to have distinctly more structure than the torus knots discussed previously. The knot obtained from our experiments can be found in Fig. 3a next to its expected structure shown in Fig. 3b. Seifert surfaces for different polarization azimuths are shown in Fig. 3c,d. The topology of these surfaces, quantified by their genus, is different between theory and experiment. In Fig. 3e, we plot, as a function of azimuth, the experimental and theoretical genus of the closed surface join of Seifert surfaces for orthogonal polarization azimuths. The numerical procedure for calculating the genus is described in the Methods: the choice to use closed surfaces avoids numerical sampling issues at the knotted boundary of the polarization surfaces, but does not otherwise affect the analysis. We call the analysis of the continuous set of surfaces, and their quantification via genus, the seifertometry of the knotted complex polarization field (the same analysis is performed for torus knots in the Supplementary Information).

Theoretically, for almost all values of azimuth except those close to 0 and π/2, the genus takes the minimal value of 1 for each of the Seifert surfaces, and 2 in small intervals around 0 and π/2, which are doubled when the surfaces are joined. An illustration of the genus discontinuities close to 0 is shown in Fig. 3f; as the azimuth increases through 0, two bridges on the Seifert surfaces appear, then break through diabolos situated at three-dimensional (3D) critical points (in fact corresponding to the two-dimensional (2D) cyan saddle points in Fig. 3b). Experimentally, however, values of genus from 2 up to approximately 16 are found in the measured volume, despite the knotted singularity being preserved. This indicates that the topology of the experimental Seifert surfaces is strongly disrupted by the presence of extra critical points in the azimuth function, each of which causes the genus to jump. The maximum genus occurs where the azimuth is near to 0 and π/2, as with the theoretical plot, indicating these surfaces are particularly unstable and 3D critical points may tend to occur close to these values. This is due to experimental imperfections such as aberrations, which are sufficiently small to ensure the existence of the rather complicated figure-eight knot structure in the polarization singularity lines, but cause the existence of critical points in the azimuth elsewhere in the 3D volume. Achieving agreement of the genus of constant azimuth surfaces with the theoretical profile seems to be much more challenging than simply realizing knotted singular lines.

Such seifertometric measurements could help illuminate the difficulties in forming particular types of knotted fields, and for instance could be used to optimize beam parameters by stabilizing their polarization structures rather than by adjusting the shape of the singularities themselves. Smoothing experimental imperfections will cause the critical points to move and react with each other, eventually causing them to annihilate to a minimal number. However, our results indicate that these events are far more subtle and delicate even than manipulating polarization singularity lines, and their topological processes are currently not understood in optical fields.

To summarize, we demonstrated the ability to generate optical polarization fields with mathematically nontrivial 3D topology, by creating knotted polarization singularities in the form of torus knots and links, and the figure-eight knot, and showing that they can be accurately characterized by means of polarimetric measurements. This allows detailed reconstruction of a knotted field’s structural elements, especially its Seifert surfaces, and we described the basis of our seifertometric analysis. Our method could lead to the development of schemes used to generate and characterize more complicated optical structures^{12,13} that are of fundamental or applied interest. Although our intricate apparatus allows for the generation of highly customizable structures, it could also potentially be scaled down using devices that are routinely used to produce polarization singularities^{17,25}. Such devices could be used to generate simpler structures with reduced aberrations that could be practical for applications. The quantum nature of these knots^{26} could also be explored within the framework of polarization pattern entanglement^{27,28}. The idea of seifertometry can also be extended to random polarization fields, whose 3D singular lines have been previously studied^{14}, and in which a wide variety of knots have been found in large-scale simulations^{29}. Finally, the generation of our polarization structures motivates their study in physical systems that display exotic nonlinear dynamics when illuminated with space-varying polarized light beams^{30}. For instance, the seifertometry procedure could be used to investigate nonlinearly induced critical points in the knot’s structure.

## Methods

### Generation scheme for optical polarization knots

As shown in Fig. 1, by means of a folded Sagnac interferometer^{26,31}, we can produce a beam defined by distinct opposite circular polarizations, one of which is defined by phase vortices that experience knotted trajectories upon propagation, and the other consisting of a conventional Gaussian beam that is sufficiently large to match the transverse extent of the knotted component. Each of these two beams is modulated by means of phase holograms that simultaneously structure their intensity and phase profiles^{23} to precisely produce optical configurations displaying knotted dynamics. The beam resulting from this superposition therefore consists of a space-varying polarized light beam with C-line singularities that undergo knotted trajectories upon free-space propagation. By measuring the beam’s Stokes parameters, we can perform a polarimetric reconstruction of its transverse polarization distribution. This distribution thereafter allows us to resolve the positions of the C-lines and of sheets of constant polarization azimuth that terminate on the knot itself. To generate our knots, we specifically employ computer-generated holograms that are displayed on a spatial light modulator (Holoeye, Pluto series). Specific details regarding the holograms themselves are provided in the Supplementary Information. In consideration of the imaging lenses in the set-up, which reduced the knots’ beam size by a factor of 2/5, these holograms produced optical knots defined by a transverse extent of roughly 1 mm and a length varying between 15 to 30 cm depending on the generated knot. Polarization measurements are recorded by means of a CCD camera (Thorlabs DCU223C).

### Characterization limitations of optical knots with phase singularities

From a practical point of view, measuring knotted polarization singularities by polarimetry is a more accurate way of characterizing the structure of knotted optical fields than measuring optical vortices in scalar fields by either intensity measurements or phase contrast. Superposing an orthogonally polarized component without vortices to a scalar field containing a knotted vortex reduces the variation of overall intensity across the light beam, whereas optical vortices occur in low-intensity regions^{32}. For scalar field measurements^{4}, the only way phase can be determined is by interfering the hologram’s phase with a sequence of reference waves. Since the detector contrast is optimized for dark regions, measurements become oversaturated in higher-intensity regions. Here, the polarization azimuth around the knotted polarization singularities, analogous to the scalar phase, is determined directly from measured Stokes parameters.

### Procedures for numerical seifertometry

The numerical procedure for calculating the genus of the polarization surfaces is as follows, and uses certain standard methods for the topological analysis of surfaces. First, rather than taking every surface separately, it is numerically simpler to trace the pair of surfaces with azimuths *φ*, *φ* + π/2, which together form a smooth surface passing through the knotted singularity. The genus of the surfaces is additive, so this does not affect the quality of the results but avoids introducing unnecessary boundaries. The input to the genus calculation is then an array of complex numbers representing the value of the wavefield at different points, which may be obtained numerically or experimentally. The surfaces of constant argument of the complex numbers, corresponding to surfaces of constant polarization azimuth, are extracted using the standard ‘marching cubes’ algorithm, which returns a numerical triangulation of the surface^{33}.

This triangulation can then be used to obtain the surface’s Euler characteristic *χ* = *V* − *E* + *F*, where *V* is the number of distinct triangle vertices, *E* is the number of distinct edges, and *F* is the number of triangle faces. Note that most vertices and edges are shared between triangles, except on boundaries of the surface. Finally, the genus is obtained as *g* = (*b* − *χ* + 2)/2, where *b* is the number of boundary components of the triangulation. This numerical procedure is simple but efficient, and it is easily practical to sample many tens or hundreds of different polarization surfaces from a given input array.

The main limitations of this procedure come from the resolution of the input measurements, as the recovered surfaces essentially arise from linear interpolation between the measured points of the field. This does not appear to be a major issue, as the experimental resolution is high on the scale of the knotted structures, and the polarization sheets are recovered without difficulty. It is also important that the genus is a topological quantity, and so is not affected by distortions in the approximated local geometry.

### Identifying knots

In general our curves are sufficiently simple that their knot type can be determined by visual inspection, made easier by appropriate choices of projection as shown in Figs. 2 and 3a,b. However, this is unsatisfactory as a method for automated data analysis, and we have also confirmed the knotting by mathematical calculation.

The knot type is found algorithmically by calculating ‘knot invariants’ of the curve. These are functions that depend only on its knot type, regardless of the local geometry^{5}. The knot is found by calculating one or more invariants, then finding the knot type from a pre-determined knot catalogue. Knot invariants are not in general perfect discriminators of different knots, but when the curves are not very tangled (as in our data) even simple choices are sufficient to unambiguously determine their topology.

We detect our knot types using primarily the standard Alexander polynomial invariant, implemented in the pyknotid knot identification toolkit^{24} (the algorithm is standard^{34}). The Alexander polynomial is easy to calculate but not an especially discriminatory choice compared to more powerful invariants. However, our knotted vortices are geometrically relatively simple, even if this is not clear to the eye. This allows the numerical routines to bound the maximum possible complexity of its knot topology, identifying the curve unambiguously as the single specific knot we expect.

### Data availability

The data that support the plots within this paper and other findings of this study are available from the corresponding author upon reasonable request.

## Additional information

**Publisher’s note:** Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## References

- 1.
Kleckner, D. & Irvine, W. T. M. Creation and dynamics of knotted vortices.

*Nat. Phys.***9**, 253–258 (2013). - 2.
Berry, M. V. & Dennis, M. R. Knotted and linked phase singularities in monochromatic waves.

*Proc. R. Soc. A***457**, 2251–2263 (2001). - 3.
Leach, J., Dennis, M. R., Courtial, J. & Padgett, M. J. Laser beams: knotted threads of darkness.

*Nature***432**, 165 (2004). - 4.
Dennis, M. R., King, R. P., Jack, B., O’Holleran, K. & Padgett, M. J. Isolated optical vortex knots.

*Nat. Phys.***6**, 118–121 (2010). - 5.
Adams, C. C.

*The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots*(American Mathematical Society, Providence, RI, 2004). - 6.
Abrikosov, A. A. On the magnetic properties of superconductors of the second group.

*Sov. Phys. JETP***5**, 1174–1182 (1957). - 7.
Donnelly, R. J.

*Experimental Superfluidity*(University of Chicago Press, Chicago, 1967). - 8.
Nye, J. F. & Berry, M. V. Dislocations in wave trains.

*Proc. Roy. Soc. A.***336**, 165–190 (1974). - 9.
Nye, J. F. Natural Focusing and Fine Structure of Light (IoP Publishing, Bristol, 1999).

- 10.
Dennis, M. R., O’Holleran, K. & Padgett, M. J. in

*Progress in Optics*Vol. 53 (ed. Wolf, E.) 293–363 (Elsevier, Amsterdam, 2009). - 11.
Martinez, A. et al. Mutually tangled colloidal knots and induced defect loops in nematic fields.

*Nat. Mater.***13**, 258–263 (2014). - 12.
Dennis, M. R. & Bode, B. Constructing a polynomial whose nodal set is the three-twist knot 5

_{2}.*J. Phys. A***50**, 265204 (2017). - 13.
Bode, B., Dennis, M. R., Foster, D. & King, R. P. Knotted fields and explicit fibrations for lemniscate knots.

*Proc. R. Soc. A***473**, 20160829 (2017). - 14.
Nye, J. F. Phase saddles in light beams.

*J. Opt.***13**, 075709 (2011). - 15.
Flossmann, F., O’Holleran, K., Dennis, M. R. & Padgett, M. J. Polarization singularities in 2D and 3D speckle fields.

*Phys. Rev. Lett.***100**, 203902 (2008). - 16.
Galvez, E. J., Khadka, S., Schubert, W. H. & Nomoto, S. Poincaré-beam patterns produced by nonseparable superpositions of Laguerre–Gauss and polarization modes of light.

*Appl. Opt.***51**, 2925–2934 (2012). - 17.
Cardano, F., Karimi, E., Marrucci, L., de Lisio, C. & Santamato, E. Generation and dynamics of optical beams with polarization singularities.

*Opt. Express***21**, 8815–8820 (2013). - 18.
Freund, I. Optical Möbius strips in three−dimensional ellipse fields: I. Lines of circular polarization.

*Opt. Commun.***283**, 1–15 (2010). - 19.
Bauer, T. et al. Observation of optical polarization Möbius strips.

*Science***347**, 964–966 (2015). - 20.
Bauer, T., Neugebauer, M., Leuchs, G. & Banzer, P. Optical polarization Möbius strips and points of purely transverse spin density.

*Phys. Rev. Lett.***117**, 013601 (2016). - 21.
Galvez, E. J. et al. Multitwist Möbius strips and twisted ribbons in the polarization of paraxial light beams.

*Sci. Rep.***7**, 13653 (2017). - 22.
Garcia-Etxarri, A. Optical polarization Möbius strips on all−dielectric optical scatterers.

*ACS Photonics***4**, 1159–1164 (2017). - 23.
Bolduc, E., Bent, N., Santamato, E., Karimi, E., & Boyd, R. W. Exact solution to simultaneous intensity and phase encryption with a single phase-only hologram.

*Opt. Lett.***38**, 3546–3549 (2013). - 24.
Taylor, A. J. & other SPOCK contributors. pyknotid knot identification toolkit v0.5.3. https://github.com/SPOCKnots/pyknotid (Accessed 9 May 2018).

- 25.
Larocque, H. et al. Arbitrary optical wavefront shaping via spin-to-orbit coupling.

*J. Opt.***18**, 124002 (2016). - 26.
Romero, J. et al. Entangled optical vortex links.

*Phys. Rev. Lett.***106**, 100407 (2011). - 27.
Fickler, R., Lapkiewicz, R., Ramelow, S. & Zeilinger, A. Quantum entanglement of complex photon polarization patterns in vector beams.

*Phys. Rev. A***89**, 060301 (2013). - 28.
Karimi, E. et al. Spin–orbit hybrid entanglement of photons and quantum contextuality.

*Phys. Rev. A***82**, 022115 (2010). - 29.
Taylor, A. J. & Dennis, M. R. Vortex knots in tangled quantum eigenfunctions.

*Nat. Commun.***7**, 12346 (2016). - 30.
Bouchard, F. et al. Polarization shaping for control of nonlinear propagation.

*Phys. Rev. Lett.***117**, 233903 (2016). - 31.
Fickler, R. et al. Quantum entanglement of high angular momenta.

*Science***338**, 640–643 (2012). - 32.
Padgett, M. J., O’Holleran, K., King, R. P. & Dennis, M. R. Knotted and tangled threads of darkness in light beams.

*Contemp. Phys.***52**, 265–279 (2011). - 33.
Lorensen, W. E. & Cline, H. E. Marching cubes: a high resolution 3d surface construction algorithm.

*ACM Comput. Graph.***21**, 163–169 (1987). - 34.
Orlandini, E. & Whittington, S. G. Statistical topology of closed curves: some applications in polymer physics.

*Rev. Mod. Phys.***79**, 611–642 (2007).

## Acknowledgements

The authors thank F. Bouchard for his advice on using the SLM and P. Banzer for fruitful discussions. This work was supported by Canada Research Chair (CRC) and Canada Foundation for Innovation (CFI). R.F. acknowledges the financial support of the Banting postdoctoral fellowship of the NSERC. E.K. and R.W.B. acknowledge the support of the Canada Excellence Research Chairs (CERC) Program. D.S, A.J.T and M.R.D were supported by the Leverhulme Trust Research Programme grant no. RP2013-K-009, SPOCK: Scientific Properties of Complex Knots.

## Author information

### Affiliations

#### Department of Physics, University of Ottawa, Ottawa Ontario, Canada

- Hugo Larocque
- , Dominic Mortimer
- , Robert Fickler
- , Robert W. Boyd
- & Ebrahim Karimi

#### H. H. Wills Physics Laboratory, University of Bristol, Bristol, UK

- Danica Sugic
- , Alexander J. Taylor
- & Mark R. Dennis

#### Institute of Optics, University of Rochester, Rochester, New York, NY, USA

- Robert W. Boyd

#### School of Physics and Astronomy, University of Birmingham, Birmingham, UK

- Mark R. Dennis

#### Department of Physics, Institute for Advanced Studies in Basic Sciences, Zanjan, Iran

- Ebrahim Karimi

### Authors

### Search for Hugo Larocque in:

### Search for Danica Sugic in:

### Search for Dominic Mortimer in:

### Search for Alexander J. Taylor in:

### Search for Robert Fickler in:

### Search for Robert W. Boyd in:

### Search for Mark R. Dennis in:

### Search for Ebrahim Karimi in:

### Contributions

H.L. and D.S. designed the holograms used to generate the knots. H.L., D.M. and R.F. performed the experiment. D.S., A.J.T. and M.R.D. performed the topological analysis. R.W.B, M.R.D. and E.K. supervised all aspects of the project. All authors discussed the results and contributed to the text of the manuscript.

### Competing interests

The authors declare no competing interests.

### Corresponding author

Correspondence to Ebrahim Karimi.

## Supplementary information

### Supplementary Information

Supplementary notes, figures and references

## Rights and permissions

To obtain permission to re-use content from this article visit RightsLink.