<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD Journal Publishing DTD v2.3 20070202//EN" "journalpublishing.dtd">
<article article-type="research-article" dtd-version="2.3" xml:lang="EN" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">
<front>
<journal-meta>
<journal-id journal-id-type="publisher-id">Front. Phys.</journal-id>
<journal-title>Frontiers in Physics</journal-title>
<abbrev-journal-title abbrev-type="pubmed">Front. Phys.</abbrev-journal-title>
<issn pub-type="epub">2296-424X</issn>
<publisher>
<publisher-name>Frontiers Media S.A.</publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="publisher-id">1225462</article-id>
<article-id pub-id-type="doi">10.3389/fphy.2023.1225462</article-id>
<article-categories>
<subj-group subj-group-type="heading">
<subject>Physics</subject>
<subj-group>
<subject>Original Research</subject>
</subj-group>
</subj-group>
</article-categories>
<title-group>
<article-title>Topological polarisation states</article-title>
<alt-title alt-title-type="left-running-head">Saito</alt-title>
<alt-title alt-title-type="right-running-head">
<ext-link ext-link-type="uri" xlink:href="https://doi.org/10.3389/fphy.2023.1225462">10.3389/fphy.2023.1225462</ext-link>
</alt-title>
</title-group>
<contrib-group>
<contrib contrib-type="author" corresp="yes">
<name>
<surname>Saito</surname>
<given-names>Shinichi</given-names>
</name>
<xref ref-type="corresp" rid="c001">&#x2a;</xref>
<uri xlink:href="https://loop.frontiersin.org/people/130220/overview"/>
</contrib>
</contrib-group>
<aff>
<institution>Center for Exploratory Research Laboratory</institution>, <institution>Research &#x26; Development Group</institution>, <institution>Hitachi, Ltd.</institution>, <addr-line>Tokyo</addr-line>, <country>Japan</country>
</aff>
<author-notes>
<fn fn-type="edited-by">
<p>
<bold>Edited by:</bold> <ext-link ext-link-type="uri" xlink:href="https://loop.frontiersin.org/people/1194893/overview">Carmelo Rosales-Guzm&#xe1;n</ext-link>, Centro de Investigaciones en Optica, Mexico</p>
</fn>
<fn fn-type="edited-by">
<p>
<bold>Reviewed by:</bold> <ext-link ext-link-type="uri" xlink:href="https://loop.frontiersin.org/people/2374766/overview">Rafael Torres</ext-link>, Industrial University of Santander, Colombia</p>
<p>
<ext-link ext-link-type="uri" xlink:href="https://loop.frontiersin.org/people/183492/overview">Jiawei Wang</ext-link>, Harbin Institute of Technology, China</p>
</fn>
<corresp id="c001">&#x2a;Correspondence: Shinichi Saito, <email>shinichi.saito.qt@hitachi.com</email>
</corresp>
</author-notes>
<pub-date pub-type="epub">
<day>08</day>
<month>09</month>
<year>2023</year>
</pub-date>
<pub-date pub-type="collection">
<year>2023</year>
</pub-date>
<volume>11</volume>
<elocation-id>1225462</elocation-id>
<history>
<date date-type="received">
<day>19</day>
<month>05</month>
<year>2023</year>
</date>
<date date-type="accepted">
<day>23</day>
<month>08</month>
<year>2023</year>
</date>
</history>
<permissions>
<copyright-statement>Copyright &#xa9; 2023 Saito.</copyright-statement>
<copyright-year>2023</copyright-year>
<copyright-holder>Saito</copyright-holder>
<license xlink:href="http://creativecommons.org/licenses/by/4.0/">
<p>This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.</p>
</license>
</permissions>
<abstract>
<p>Polarisation states are described by spin expectation values, known as Stokes parameters, the trajectories of which in a rotationally symmetric system form a sphere named after Poincar&#xe9;. Here, we show that the trajectories of broken rotational symmetric systems can exhibit distinct topological structures in polarisation states. We use a phase-shifter to form a polarisation circle <inline-formula id="inf1">
<mml:math id="m1">
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msup>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula>, which interferes with the original input due to the phase change of the output state upon rotation. By rotating the circle using a rotator, the trajectories become a polarisation torus <inline-formula id="inf2">
<mml:math id="m2">
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msup>
<mml:mo>&#xd7;</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msup>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula>, which was experimentally confirmed in a simple setup using passive optical components together with the Mach&#x2013;Zehnder interferometer. We also discuss the realisations of other topological features, such as a M&#xf6;bius strip, a trefoil knot, Hopf links, and topological Dirac bosons, with a bulk-edge correspondence.</p>
</abstract>
<kwd-group>
<kwd>Stokes parameters</kwd>
<kwd>Poincar&#xe9; sphere</kwd>
<kwd>polarisation</kwd>
<kwd>spin angular momentum</kwd>
<kwd>coherent state</kwd>
<kwd>topology</kwd>
</kwd-group>
<custom-meta-wrap>
<custom-meta>
<meta-name>section-at-acceptance</meta-name>
<meta-value>Optics and Photonics</meta-value>
</custom-meta>
</custom-meta-wrap>
</article-meta>
</front>
<body>
<sec id="s1">
<title>1 Introduction</title>
<p>Topology and quantum mechanics are inherently connected, and various exotic phenomena, such as the quantum Hall effect [<xref ref-type="bibr" rid="B1">1</xref>&#x2013;<xref ref-type="bibr" rid="B6">6</xref>], spin Hall effect [<xref ref-type="bibr" rid="B7">7</xref>&#x2013;<xref ref-type="bibr" rid="B9">9</xref>], topological insulator [<xref ref-type="bibr" rid="B10">10</xref>&#x2013;<xref ref-type="bibr" rid="B14">14</xref>], and topological photonics [<xref ref-type="bibr" rid="B15">15</xref>&#x2013;<xref ref-type="bibr" rid="B19">19</xref>], were predicted theoretically [<xref ref-type="bibr" rid="B1">1</xref>, <xref ref-type="bibr" rid="B2">2</xref>, <xref ref-type="bibr" rid="B4">4</xref>&#x2013;<xref ref-type="bibr" rid="B8">8</xref>, <xref ref-type="bibr" rid="B11">11</xref>, <xref ref-type="bibr" rid="B12">12</xref>, <xref ref-type="bibr" rid="B15">15</xref>] and discovered experimentally [<xref ref-type="bibr" rid="B3">3</xref>, <xref ref-type="bibr" rid="B9">9</xref>, <xref ref-type="bibr" rid="B13">13</xref>, <xref ref-type="bibr" rid="B16">16</xref>, <xref ref-type="bibr" rid="B17">17</xref>]. These topological orders [<xref ref-type="bibr" rid="B4">4</xref>&#x2013;<xref ref-type="bibr" rid="B6">6</xref>, <xref ref-type="bibr" rid="B10">10</xref>, <xref ref-type="bibr" rid="B20">20</xref>&#x2013;<xref ref-type="bibr" rid="B25">25</xref>] are different from thermodynamic spontaneous symmetry-breaking such as a superconducting phase-transition [<xref ref-type="bibr" rid="B23">23</xref>, <xref ref-type="bibr" rid="B24">24</xref>, <xref ref-type="bibr" rid="B26">26</xref>&#x2013;<xref ref-type="bibr" rid="B30">30</xref>], which is characterised by opening an energy gap in the excitation spectrum to establish a long-range order [<xref ref-type="bibr" rid="B30">30</xref>&#x2013;<xref ref-type="bibr" rid="B32">32</xref>], while electronic or photonic states have a continuous spectrum in a vacuum with full translational, time-reversal, and rotational symmetries [<xref ref-type="bibr" rid="B26">26</xref>&#x2013;<xref ref-type="bibr" rid="B30">30</xref>, <xref ref-type="bibr" rid="B33">33</xref>&#x2013;<xref ref-type="bibr" rid="B35">35</xref>]. In a topological material [<xref ref-type="bibr" rid="B1">1</xref>, <xref ref-type="bibr" rid="B2">2</xref>, <xref ref-type="bibr" rid="B4">4</xref>&#x2013;<xref ref-type="bibr" rid="B6">6</xref>, <xref ref-type="bibr" rid="B8">8</xref>, <xref ref-type="bibr" rid="B11">11</xref>, <xref ref-type="bibr" rid="B12">12</xref>, <xref ref-type="bibr" rid="B15">15</xref>, <xref ref-type="bibr" rid="B36">36</xref>], an energy gap is formed in the bulk as an insulator, which has a different symmetry from that in a vacuum, such that the energy gap must be closed at the edge, the state of which is topologically protected against structural imperfections as a highly conductive metal to accommodate massless Dirac fermions [<xref ref-type="bibr" rid="B4">4</xref>&#x2013;<xref ref-type="bibr" rid="B6">6</xref>, <xref ref-type="bibr" rid="B22">22</xref>]. This bulk-edge correspondence [<xref ref-type="bibr" rid="B4">4</xref>&#x2013;<xref ref-type="bibr" rid="B6">6</xref>, <xref ref-type="bibr" rid="B22">22</xref>] is considered to be a generic feature of topological materials, the topological invariants of which are Chern numbers [<xref ref-type="bibr" rid="B37">37</xref>], obtained by integrating the Pancharatnam&#x2013;Berry geometrical phase [<xref ref-type="bibr" rid="B38">38</xref>&#x2013;<xref ref-type="bibr" rid="B41">41</xref>] of wavefunctions over the Brillouin zone [<xref ref-type="bibr" rid="B14">14</xref>, <xref ref-type="bibr" rid="B42">42</xref>&#x2013;<xref ref-type="bibr" rid="B44">44</xref>]. Thus, topological materials have unique topological band structures in the momentum space [<xref ref-type="bibr" rid="B14">14</xref>, <xref ref-type="bibr" rid="B42">42</xref>, <xref ref-type="bibr" rid="B43">43</xref>], rather than topological bonding configurations in the real space [<xref ref-type="bibr" rid="B45">45</xref>&#x2013;<xref ref-type="bibr" rid="B55">55</xref>].</p>
<p>Here, we explore topological features in the polarisation space for spin states of coherent photons; that is, we consider topological aspects of polarisation states. The polarisation state is described by an SU(2) state, known as a Jones vector, which is a wavefunction of the spin state of photons [<xref ref-type="bibr" rid="B56">56</xref>&#x2013;<xref ref-type="bibr" rid="B82">82</xref>]. The wavefunction obviously has the amplitude and the phase, which are described by the polar angle (<italic>&#x3b8;</italic>) and the azimuthal angle (<italic>&#x3d5;</italic>), respectively, to show the average spin values as a vector to represent the state on the Poincar&#xe9; sphere [<xref ref-type="bibr" rid="B56">56</xref>&#x2013;<xref ref-type="bibr" rid="B82">82</xref>]. In fact, we have recently demonstrated to realise an arbitrary polarised state by passive [<xref ref-type="bibr" rid="B81">81</xref>] and active [<xref ref-type="bibr" rid="B82">82</xref>] Poincar&#xe9; rotators to execute an SU(2) rotation of the Lie groups [<xref ref-type="bibr" rid="B83">83</xref>&#x2013;<xref ref-type="bibr" rid="B88">88</xref>] in the combination of a U(1) phase-shifter and a rotator. While considering the coherent polarisation state in the power normalised configuration space, the Poincar&#xe9; sphere can be used with a unit radius (<italic>r</italic>) [<xref ref-type="bibr" rid="B60">60</xref>&#x2013;<xref ref-type="bibr" rid="B62">62</xref>]. The Poincar&#xe9; sphere with <italic>r</italic> &#x3d; 1 is equivalent to the Bloch sphere [<xref ref-type="bibr" rid="B72">72</xref>, <xref ref-type="bibr" rid="B74">74</xref>, <xref ref-type="bibr" rid="B81">81</xref>, <xref ref-type="bibr" rid="B82">82</xref>, <xref ref-type="bibr" rid="B89">89</xref>, <xref ref-type="bibr" rid="B90">90</xref>], which means that trajectories of the polarisation states upon controlling the amplitude and the phase form a two-dimensional (2D) sphere (<inline-formula id="inf3">
<mml:math id="m3">
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msup>
</mml:math>
</inline-formula>, the surface of a ball in 3D space), which is topologically trivial with the genus (<italic>g</italic>) of 0 with no hole, no knot, and no link.</p>
<p>However, there is one noticeable difference between Poincar&#xe9; and Bloch spheres, i.e., the Bose&#x2013;Einstein and Fermi&#x2013;Dirac statistics for photons and an electron, respectively [<xref ref-type="bibr" rid="B23">23</xref>, <xref ref-type="bibr" rid="B24">24</xref>, <xref ref-type="bibr" rid="B61">61</xref>&#x2013;<xref ref-type="bibr" rid="B63">63</xref>, <xref ref-type="bibr" rid="B72">72</xref>&#x2013;<xref ref-type="bibr" rid="B75">75</xref>, <xref ref-type="bibr" rid="B78">78</xref>, <xref ref-type="bibr" rid="B82">82</xref>, <xref ref-type="bibr" rid="B91">91</xref>]. For photons, we can generate another photon with the same phase as that of an original photon via the stimulated emission process by using a polarisation-independent Er-doped fibre amplifier (EDFA) [<xref ref-type="bibr" rid="B60">60</xref>&#x2013;<xref ref-type="bibr" rid="B67">67</xref>, <xref ref-type="bibr" rid="B75">75</xref>, <xref ref-type="bibr" rid="B78">78</xref>, <xref ref-type="bibr" rid="B82">82</xref>]. This corresponds to an increase <italic>r</italic> without changing the angles of <italic>&#x3b8;</italic> and <italic>&#x3d5;</italic>, which is impossible to achieve for an electron due to the Pauli exclusion principle [<xref ref-type="bibr" rid="B92">92</xref>, <xref ref-type="bibr" rid="B93">93</xref>]. The stimulated emission process requires a finite pumping power for the amplification, such that the process is not based on the norm-conserving unitary transformation [<xref ref-type="bibr" rid="B60">60</xref>, <xref ref-type="bibr" rid="B63">63</xref>, <xref ref-type="bibr" rid="B82">82</xref>]. Therefore, the amplification of coherent photons does not violate the no-cloning theorem [<xref ref-type="bibr" rid="B92">92</xref>, <xref ref-type="bibr" rid="B93">93</xref>], which prohibits copying of a quantum state by a unitary transformation, because the prerequisite of the notion for non-cloning is not satisfied by the injection of the pumping power. Consequently, we consider a larger polarisation space, where the radius of the Poincar&#xe9; sphere is not restricted to be unity, but the polar coordinate of (<italic>r</italic>, <italic>&#x3b8;</italic>, <italic>&#x3d5;</italic>) could span for the full 3D Euclidean space of Stokes parameters <bold>S</bold> &#x3d; (<italic>S</italic>
<sub>1</sub>, <italic>S</italic>
<sub>2</sub>, <italic>S</italic>
<sub>3</sub>), which we term as <italic>the Stokes space</italic>. In the Stokes space, points with different <italic>r</italic> can be distinguishable, even if <italic>&#x3b8;</italic> and <italic>&#x3d5;</italic> are the same. This is not surprising because we are dealing with signals with different intensities as for the means of digital communications [<xref ref-type="bibr" rid="B60">60</xref>, <xref ref-type="bibr" rid="B94">94</xref>&#x2013;<xref ref-type="bibr" rid="B96">96</xref>], such as quadrature amplitude modulation (QAM), pulse amplitude modulation (PAM) for advanced multiplexing, and dual-polarisation quadrature-phase-shift-keying (DP-QPSK) [<xref ref-type="bibr" rid="B97">97</xref>, <xref ref-type="bibr" rid="B98">98</xref>]. Stokes parameters [<xref ref-type="bibr" rid="B60">60</xref>&#x2013;<xref ref-type="bibr" rid="B62">62</xref>] can be described by energy per bit (pJ/bit) or power (mW). Alternatively, they are also equivalent to the spin expectation values [<xref ref-type="bibr" rid="B75">75</xref>, <xref ref-type="bibr" rid="B77">77</xref>], which are obtained by the Dirac constant of <italic>&#x210f;</italic> (the Planck constant of <italic>h</italic>, divided by 2<italic>&#x3c0;</italic>), multiplied with the number of photons per second, passing through the area perpendicular to the direction of the propagation, with the spin pointing towards <italic>x</italic>, <italic>y</italic>, and <italic>z</italic> directions, respectively. In this paper, we use power for the dimension of Stokes parameters for simplicity. In the Stokes space, considering the difference in intensities, we can explore topologically non-trivial trajectories for the pulse streams generated from a device with broken rotational symmetries in polarisation states.</p>
<p>As an example of non-trivial polarisation state in the Stokes space, we first describe how to realise a polarisation torus, <inline-formula id="inf4">
<mml:math id="m4">
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">T</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msup>
<mml:mo>&#x2245;</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msup>
<mml:mo>&#xd7;</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msup>
</mml:math>
</inline-formula>, where <inline-formula id="inf5">
<mml:math id="m5">
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msup>
</mml:math>
</inline-formula> is a 1D sphere that represents a polarisation circle, by using passive optical components based on a simple representation theory of U(2) <italic>&#x2245;</italic> U(1) &#xd7; SU(2) states to account for controlling the intensities by the Mach&#x2013;Zehnder interferometer. The comparison between the Stokes space and the Poincar&#xe9; sphere is also discussed. Then, we show our experimental results to confirm the theoretical expectations to realise the polarisation torus, which is realised as a non-trivial topological structure as trajectories in the Stokes space. Novel non-transverse toroidal pulses have been recently observed out of meta-surfaces [<xref ref-type="bibr" rid="B99">99</xref>], while the mode of our polarisation torus is a standard fundamental mode in a single-mode fibre, and intensities together with phases are controlled to exhibit a torus as a set of points in the Stokes space. We discuss the possibilities on realising more complex topological manifolds as polarisation states in the Stokes space, such as the M&#xf6;bius strip, Hopf links, and topological Dirac bosons, for the future. We also discuss the bulk-edge correspondence for these states and show that the topological invariance for the proposed topological polarisation states is the Euler number and the genus in the Stokes space for spin expectation values, obtained by the Gauss&#x2013;Bonnet theorem [<xref ref-type="bibr" rid="B44">44</xref>], rather than the Chern number [<xref ref-type="bibr" rid="B37">37</xref>], determined by the Pancharatnam&#x2013;Berry phase [<xref ref-type="bibr" rid="B38">38</xref>, <xref ref-type="bibr" rid="B39">39</xref>] in the U(2) Hilbert space.</p>
</sec>
<sec id="s2">
<title>2 Theoretical designs</title>
<p>We consider the propagation of light in a single-mode fibre (SMF), such that only the fundamental spatial mode of a SMF is available [<xref ref-type="bibr" rid="B60">60</xref>]. It is also important to make sure that the coherence of the wave is maintained upon separating the wave and combining the waves for the interference. We have recently revisited the theoretical description [<xref ref-type="bibr" rid="B75">75</xref>, <xref ref-type="bibr" rid="B78">78</xref>, <xref ref-type="bibr" rid="B81">81</xref>, <xref ref-type="bibr" rid="B82">82</xref>] for the coherent state of photons, emitted from a laser source, and confirmed that it should be treated as a many-body coherent state with the SU(2) degrees of freedom for polarisation [<xref ref-type="bibr" rid="B58">58</xref>&#x2013;<xref ref-type="bibr" rid="B62">62</xref>, <xref ref-type="bibr" rid="B68">68</xref>&#x2013;<xref ref-type="bibr" rid="B74">74</xref>, <xref ref-type="bibr" rid="B91">91</xref>]. The coherent state [<xref ref-type="bibr" rid="B63">63</xref>, <xref ref-type="bibr" rid="B67">67</xref>, <xref ref-type="bibr" rid="B75">75</xref>, <xref ref-type="bibr" rid="B81">81</xref>, <xref ref-type="bibr" rid="B82">82</xref>, <xref ref-type="bibr" rid="B91">91</xref>] is characterised by the Gaussian distribution of the photon number, centred at the average number of photons per second, <inline-formula id="inf6">
<mml:math id="m6">
<mml:mrow>
<mml:mo stretchy="false">&#x27e8;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi>N</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mo stretchy="false">&#x27e9;</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:mi>N</mml:mi>
</mml:math>
</inline-formula>, passing through the cross-section of the SMF. Practically, however, we do not have to employ creation and annihilation operators in coherent states for most of considerations in polarisation states [<xref ref-type="bibr" rid="B58">58</xref>&#x2013;<xref ref-type="bibr" rid="B62">62</xref>, <xref ref-type="bibr" rid="B68">68</xref>, <xref ref-type="bibr" rid="B69">69</xref>], and a wavefunction<disp-formula id="e1">
<mml:math id="m7">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi>N</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b3;</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:msqrt>
<mml:mrow>
<mml:mi>N</mml:mi>
</mml:mrow>
</mml:msqrt>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="normal">e</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi mathvariant="normal">&#x3a6;</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi>&#x3b3;</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:mo stretchy="false">&#x232a;</mml:mo>
</mml:math>
<label>(1)</label>
</disp-formula>
<disp-formula id="e2">
<mml:math id="m8">
<mml:mo>&#x3d;</mml:mo>
<mml:msqrt>
<mml:mrow>
<mml:mi>N</mml:mi>
</mml:mrow>
</mml:msqrt>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="normal">e</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi mathvariant="normal">&#x3a6;</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mtable class="array">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mi>cos</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mi>&#x3b1;</mml:mi>
</mml:mrow>
</mml:mfenced>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="normal">e</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>&#x3b4;</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>sin</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mi>&#x3b1;</mml:mi>
</mml:mrow>
</mml:mfenced>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
<label>(2)</label>
</disp-formula>is enough to characterise the polarisation state on the Poincar&#xe9; sphere [<xref ref-type="bibr" rid="B56">56</xref>&#x2013;<xref ref-type="bibr" rid="B82">82</xref>], where &#x3a6; is the U (1) phase of the orbital wavefunction, <italic>&#x3b3;</italic> &#x3d; 2<italic>&#x3b1;</italic> is the polar angle measured from <italic>S</italic>
<sub>1</sub>, <italic>&#x3b4;</italic> is the phase-shift measured from <italic>S</italic>
<sub>2</sub>, and <italic>&#x3b1;</italic> is the auxiliary angle for complex electric fields. Here, we have used horizontal (H) and vertical (V) bases as for the fundamental states to describe the polarisation, and the normalisation of the wavefunction (<italic>N</italic>) is related to the power intensity of the ray as <italic>P</italic> &#x3d; <italic>&#x210f;&#x3c9;N</italic> &#x3d; <italic>S</italic>
<sub>0</sub>, where <italic>&#x3c9;</italic> is the angular frequency and <italic>S</italic>
<sub>0</sub> is the 0-th component of the Stokes parameter. The SU(2) nature of the polarisation is not affected by this normalisation, and it is straightforward to obtain the spin expectation values for photons as<disp-formula id="e3">
<mml:math id="m9">
<mml:mo stretchy="false">&#x2329;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">S</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mi>&#x210f;</mml:mi>
<mml:mo stretchy="false">&#x2329;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold-italic">&#x3c3;</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mi>&#x210f;</mml:mi>
<mml:mi>N</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mtable class="array">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mi>cos</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>&#x3b3;</mml:mi>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mi>sin</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>&#x3b3;</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>cos</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mi>sin</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>&#x3b3;</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>sin</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
<label>(3)</label>
</disp-formula>where the spinor vector of <inline-formula id="inf7">
<mml:math id="m10">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold-italic">&#x3c3;</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3c3;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3c3;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3c3;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> in HV bases is given by Pauli matrices<disp-formula id="e4">
<mml:math id="m11">
<mml:msub>
<mml:mrow>
<mml:mi>&#x3c3;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mtable class="matrix">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0</mml:mn>
</mml:mtd>
<mml:mtd columnalign="center">
<mml:mn>1</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>1</mml:mn>
</mml:mtd>
<mml:mtd columnalign="center">
<mml:mn>0</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3c3;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mtable class="matrix">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0</mml:mn>
</mml:mtd>
<mml:mtd columnalign="center">
<mml:mo>&#x2212;</mml:mo>
<mml:mi>i</mml:mi>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mi>i</mml:mi>
</mml:mtd>
<mml:mtd columnalign="center">
<mml:mn>0</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3c3;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mtable class="matrix">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>1</mml:mn>
</mml:mtd>
<mml:mtd columnalign="center">
<mml:mn>0</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0</mml:mn>
</mml:mtd>
<mml:mtd columnalign="center">
<mml:mo>&#x2212;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
<label>(4)</label>
</disp-formula>forming the Lie algebra of <inline-formula id="inf8">
<mml:math id="m12">
<mml:mi mathvariant="fraktur">s</mml:mi>
<mml:mi mathvariant="fraktur">u</mml:mi>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> [<xref ref-type="bibr" rid="B72">72</xref>, <xref ref-type="bibr" rid="B74">74</xref>, <xref ref-type="bibr" rid="B75">75</xref>, <xref ref-type="bibr" rid="B81">81</xref>&#x2013;<xref ref-type="bibr" rid="B86">86</xref>, <xref ref-type="bibr" rid="B88">88</xref>]. Thus, the spin expectation values are related to the vectorial components of Stokes parameters as<disp-formula id="e5">
<mml:math id="m13">
<mml:mi mathvariant="bold">S</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mi>&#x3c9;</mml:mi>
<mml:mo stretchy="false">&#x2329;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">S</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mi>&#x210f;</mml:mi>
<mml:mi>&#x3c9;</mml:mi>
<mml:mo stretchy="false">&#x2329;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold-italic">&#x3c3;</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mi>&#x210f;</mml:mi>
<mml:mi>&#x3c9;</mml:mi>
<mml:mi>N</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mtable class="array">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mi>cos</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>&#x3b3;</mml:mi>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mi>sin</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>&#x3b3;</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>cos</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mi>sin</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>&#x3b3;</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>sin</mml:mi>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
<label>(5)</label>
</disp-formula>in the unit of mW. Alternatively, we can consider a normalisation based on the power as<disp-formula id="e6">
<mml:math id="m14">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi>P</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b3;</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:msqrt>
<mml:mrow>
<mml:mi>P</mml:mi>
</mml:mrow>
</mml:msqrt>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="normal">e</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi mathvariant="normal">&#x3a6;</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi>&#x3b3;</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:mo stretchy="false">&#x232a;</mml:mo>
</mml:math>
<label>(6)</label>
</disp-formula>
<disp-formula id="e7">
<mml:math id="m15">
<mml:mo>&#x3d;</mml:mo>
<mml:msqrt>
<mml:mrow>
<mml:mi>P</mml:mi>
</mml:mrow>
</mml:msqrt>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="normal">e</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi mathvariant="normal">&#x3a6;</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mtable class="array">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mi>cos</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mi>&#x3b1;</mml:mi>
</mml:mrow>
</mml:mfenced>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="normal">e</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>i</mml:mi>
<mml:mi>&#x3b4;</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>sin</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mi>&#x3b1;</mml:mi>
</mml:mrow>
</mml:mfenced>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
<label>(7)</label>
</disp-formula>which we will employ, henceforth.</p>
<p>The exponential map [<xref ref-type="bibr" rid="B83">83</xref>&#x2013;<xref ref-type="bibr" rid="B88">88</xref>] from the Lie algebra of <inline-formula id="inf9">
<mml:math id="m16">
<mml:mi mathvariant="fraktur">s</mml:mi>
<mml:mi mathvariant="fraktur">u</mml:mi>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> to the Lie group of SU(2) is achieved by the unitary operator.<disp-formula id="e8">
<mml:math id="m17">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
</mml:mfenced>
<mml:mo>&#x3d;</mml:mo>
<mml:mi>exp</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>i</mml:mi>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold-italic">&#x3c3;</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mo>&#x22c5;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfrac>
</mml:mrow>
</mml:mfenced>
</mml:mrow>
</mml:mfenced>
</mml:math>
<label>(8)</label>
</disp-formula>
<disp-formula id="e9">
<mml:math id="m18">
<mml:mo>&#x3d;</mml:mo>
<mml:mn mathvariant="bold">1</mml:mn>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>cos</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfrac>
</mml:mrow>
</mml:mfenced>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>i</mml:mi>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold-italic">&#x3c3;</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mo>&#x22c5;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mi>sin</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfrac>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
<label>(9)</label>
</disp-formula>where <inline-formula id="inf10">
<mml:math id="m19">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
</mml:math>
</inline-formula> is the unit vector in the Stokes space and <italic>&#x3b4;&#x3d5;</italic> is the rotation angle. The operation along the <italic>S</italic>
<sub>3</sub> axis with <inline-formula id="inf11">
<mml:math id="m20">
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:mn>0,0,1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> is called a rotator, and the operation along the <italic>S</italic>
<sub>1</sub> axis with <inline-formula id="inf12">
<mml:math id="m21">
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:mn>1,0,0</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> is called a phase-shifter [<xref ref-type="bibr" rid="B60">60</xref>&#x2013;<xref ref-type="bibr" rid="B62">62</xref>, <xref ref-type="bibr" rid="B75">75</xref>, <xref ref-type="bibr" rid="B80">80</xref>&#x2013;<xref ref-type="bibr" rid="B82">82</xref>]. The rotation along <inline-formula id="inf13">
<mml:math id="m22">
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:mn>1,0,0</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> corresponds to the propagation in media such as LiNbO<sub>3</sub> or quartz, which has eigenmodes with linear polarisation, and the phase-shift is achieved by the difference of the effective refractive indices for horizontal polarisation and vertical polarisation [<xref ref-type="bibr" rid="B68">68</xref>, <xref ref-type="bibr" rid="B69">69</xref>]. The rotation along <inline-formula id="inf14">
<mml:math id="m23">
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:mn>0,0,1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> corresponds to the propagation in an optically active medium with circular polarisation, such as a C-cut (or Z-cut) quartz or a liquid crystal, and the rotation is achieved by the difference of the effective refractive indices for left and right circular polarisation [<xref ref-type="bibr" rid="B68">68</xref>, <xref ref-type="bibr" rid="B69">69</xref>]. By combining a rotator and a phase-shifter, we could construct a Poincar&#xe9; rotator, which allows an arbitrary rotation on the Poincar&#xe9; sphere [<xref ref-type="bibr" rid="B80">80</xref>&#x2013;<xref ref-type="bibr" rid="B82">82</xref>].</p>
<p>Historically, it was theoretically proven that three waveplates are enough to realise an arbitrary polarisation state [<xref ref-type="bibr" rid="B68">68</xref>&#x2013;<xref ref-type="bibr" rid="B70">70</xref>], as demonstrated by an SU(2) gadget [<xref ref-type="bibr" rid="B100">100</xref>, <xref ref-type="bibr" rid="B101">101</xref>]. We have recently demonstrated that four waveplates are easier to realise an arbitrary phase-shift solely by rotating one of the waveplates [<xref ref-type="bibr" rid="B81">81</xref>]. This corresponds to realise an SU(2) rotation of the wavefunction of &#x7c;<italic>P</italic>, <italic>&#x3b3;</italic>, <italic>&#x3b4;</italic>&#x27e9; and the physical observable of <inline-formula id="inf15">
<mml:math id="m24">
<mml:mrow>
<mml:mo stretchy="false">&#x27e8;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">S</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mo stretchy="false">&#x27e9;</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> rotated in SO(3). The SU(2) is an appropriate Lie group [<xref ref-type="bibr" rid="B83">83</xref>&#x2013;<xref ref-type="bibr" rid="B88">88</xref>] for the polarisation [<xref ref-type="bibr" rid="B60">60</xref>&#x2013;<xref ref-type="bibr" rid="B62">62</xref>, <xref ref-type="bibr" rid="B75">75</xref>, <xref ref-type="bibr" rid="B80">80</xref>&#x2013;<xref ref-type="bibr" rid="B82">82</xref>], described by two complex numbers <inline-formula id="inf16">
<mml:math id="m25">
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:mi mathvariant="double-struck">C</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> in a normalised wavefunction [<xref ref-type="bibr" rid="B56">56</xref>&#x2013;<xref ref-type="bibr" rid="B82">82</xref>], ensured by the determinant of unity, while SO(3) is appropriate to describe a rotation of a vector, given by three real numbers <inline-formula id="inf17">
<mml:math id="m26">
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:mi mathvariant="double-struck">R</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> for spin expectation values. The trajectories of the spin expectation values upon rotations form a sphere as a set of states, controlled by unitary operations [<xref ref-type="bibr" rid="B56">56</xref>&#x2013;<xref ref-type="bibr" rid="B62">62</xref>, <xref ref-type="bibr" rid="B81">81</xref>, <xref ref-type="bibr" rid="B82">82</xref>]. The unitary operations mean that we cannot change the energy of photons, such that the radius of the sphere is fixed, ideally. In reality, for practical implementation, we have finite insertion loss to control the polarisation states in the Poincar&#xe9; rotators or conventional optical components, such as half-/quarter-wave plates and rotators, which reduces the intensities. Even in these cases, as far as the loss is not significantly dependent on the polarisation, the topology of polarisation states remained the same, such that we can analyse the polarisation state on the Poincar&#xe9; sphere. We could also introduce the gain by the polarisation-independent EDFA [<xref ref-type="bibr" rid="B82">82</xref>] to allow increasing the signal-to-noise ratio for polarimetry, but the polarisation states out of the devices are still accommodated on the sphere. In the case of the SU(2) rotations on the sphere with or without polarisation-independent loss or gain, the trajectories of the polarisation states are always on the sphere, which is topologically trivial.</p>
<p>Here, we consider using another degree of freedom together with SU(2) degrees of freedom, which is the U(1) phase of &#x3a6; &#x3d; <italic>kz</italic> &#x2212; <italic>&#x3c9;t</italic> &#x2b; &#x3a6;<sub>0</sub> for the orbital degree of freedom, where <italic>k</italic> &#x3d; 2<italic>&#x3c0;</italic>/<italic>&#x3bb;</italic> is the wavenumber for the wavelength of <italic>&#x3bb;</italic>, <italic>z</italic> is the direction of the propagation along the SMF, and &#x3a6;<sub>0</sub> is the initial phase. The U(1) phase plays no role, if we take the quantum average of spin states, as shown previously, since it merely changes the global phase of the wavefunction. On the other hand, if we have another wave to compare the relative phase, the U(1) phase could play a significant role. For photons, this could be achieved simply by splitting the wave into two (or more) waves and introducing the relative phase change and recombining to allow the interferences. The U(1) phase is related to the number of photons, such that the interference induces changes in the number of photons, propagating to the SMF after the interference. This process allows controlling <italic>P</italic> (or equivalently <italic>N</italic>), which corresponds to change in the radius of the Poincar&#xe9; sphere. There are several schemes to introduce the phase changes, and we consider one of the most simplest one, which just introduces the SU(2) operation to one of the waves. The SU(2) operation introduces the U(1) phase change, which is observable upon interferences. For example, one rotation on the Poincar&#xe9; sphere of SO(3) induces the sign change of the SU(2) wavefunction because we expect<disp-formula id="e10">
<mml:math id="m27">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mn>2</mml:mn>
<mml:mi>&#x3c0;</mml:mi>
</mml:mrow>
</mml:mfenced>
<mml:mo>&#x3d;</mml:mo>
<mml:mo>&#x2212;</mml:mo>
<mml:mn mathvariant="bold">1</mml:mn>
<mml:mo>,</mml:mo>
</mml:math>
<label>(10)</label>
</disp-formula>which induces the destructive interference to the original input wave. Mathematically, this results from the double covering of SU(2) to SO(3), which is described as <inline-formula id="inf18">
<mml:math id="m28">
<mml:mi>S</mml:mi>
<mml:mi>U</mml:mi>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
<mml:mo>/</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>0</mml:mn>
</mml:mrow>
</mml:msup>
<mml:mo>&#x2245;</mml:mo>
<mml:mi>S</mml:mi>
<mml:mi>O</mml:mi>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:mn>3</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula>, where <inline-formula id="inf19">
<mml:math id="m29">
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>0</mml:mn>
</mml:mrow>
</mml:msup>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mo stretchy="false">{</mml:mo>
<mml:mrow>
<mml:mo>&#x2212;</mml:mo>
<mml:mn mathvariant="bold">1</mml:mn>
<mml:mo>,</mml:mo>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">}</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> is the 0D sphere. We need to rotate the amount of 4<italic>&#x3c0;</italic> to expect a complete rotation in SU(2) with the identity of the operation, <inline-formula id="inf20">
<mml:math id="m30">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mn>4</mml:mn>
<mml:mi>&#x3c0;</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
<mml:mo>&#x3d;</mml:mo>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:math>
</inline-formula>. Upon the phase change towards the interference, we can introduce both dynamic and adiabatic phases through Hamiltonian (equivalently, rotators and phase-shifters) and geometrical configurations (Pancharatnam&#x2013;Berry phase) [<xref ref-type="bibr" rid="B14">14</xref>, <xref ref-type="bibr" rid="B38">38</xref>&#x2013;<xref ref-type="bibr" rid="B44">44</xref>, <xref ref-type="bibr" rid="B75">75</xref>, <xref ref-type="bibr" rid="B81">81</xref>, <xref ref-type="bibr" rid="B82">82</xref>]. In the following section, we will explain our practical deployment for realising non-trivial topological features as trajectories of polarisation states.</p>
<sec id="s2-1">
<title>2.1 Polarisation interferometer</title>
<p>We explain the simple method to change the polarisation state together with the intensity in the Stokes space. We assume specific experimental parameters to make the argument easy to understand, but it is straightforward to change parameters and to construct more generic theories. First, we prepare the input wave with the power of <italic>P</italic>
<sub>in</sub> &#x3d; 1.5&#xa0;mW with the diagonally (D) polarised state, such that the input state of &#x7c;Input&#x27e9; is prepared as<disp-formula id="e11">
<mml:math id="m31">
<mml:mfenced open="|" close="&#x27e9;">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>P</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mtext>in</mml:mtext>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mfrac>
<mml:mrow>
<mml:mi>&#x3c0;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfrac>
<mml:mo>,</mml:mo>
<mml:mn>0</mml:mn>
</mml:mrow>
</mml:mfenced>
<mml:mo>&#x3d;</mml:mo>
<mml:msqrt>
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>P</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mtext>in</mml:mtext>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfrac>
</mml:mrow>
</mml:msqrt>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mtable class="array">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>1</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>1</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mfenced>
<mml:mo>.</mml:mo>
</mml:math>
<label>(11)</label>
</disp-formula>Then, we split the input wave into two waves by using a polarisation-independent directional fibre-to-fibre coupler (FFC). We used the FFC of the splitting ratio of 90:10, which means that 90% of the signal is transmitted to the through port 3 and 10% is coupled to the tap port 4, when we inserted from the input port 1, while the isolated port 2 is not used. We define the coupling constant of <italic>&#x3b1;</italic> &#x3d; 0.1 to account for the FFC, and the splitting is simply defined by a matrix operation,<disp-formula id="e12">
<mml:math id="m32">
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mtable class="array">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mtext>Port&#x2009;&#x2009;</mml:mtext>
<mml:mn>3</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mtext>Port&#x2009;</mml:mtext>
<mml:mn>4</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mfenced>
<mml:mo>&#x3d;</mml:mo>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mtable class="array">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msqrt>
<mml:mrow>
<mml:mn>1</mml:mn>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>&#x3b1;</mml:mi>
</mml:mrow>
</mml:msqrt>
</mml:mtd>
<mml:mtd columnalign="center">
<mml:mo>&#x2212;</mml:mo>
<mml:msqrt>
<mml:mrow>
<mml:mi>&#x3b1;</mml:mi>
</mml:mrow>
</mml:msqrt>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msqrt>
<mml:mrow>
<mml:mi>&#x3b1;</mml:mi>
</mml:mrow>
</mml:msqrt>
</mml:mtd>
<mml:mtd columnalign="center">
<mml:msqrt>
<mml:mrow>
<mml:mn>1</mml:mn>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>&#x3b1;</mml:mi>
</mml:mrow>
</mml:msqrt>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mfenced>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mtable class="array">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mtext>Port&#x2009;&#x2009;</mml:mtext>
<mml:mn>1</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mtext>Port&#x2009;</mml:mtext>
<mml:mn>2</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
<label>(12)</label>
</disp-formula>where two components of polarisation states &#x7c;<italic>P</italic>
<sub>in</sub>, <italic>&#x3c0;</italic>/2, 0&#x27e9; is used for &#x7c;Port 1&#x27e9;, and &#x7c;Port 2&#x27e9; is <bold>0</bold> &#x3d; (0,0)<sup>
<italic>t</italic>
</sup>, where <sup>
<italic>t</italic>
</sup> stands for the transpose of the vector. The output from the tap port 4 is used to manipulate its polarisation state by a phase-shifter,<disp-formula id="e13">
<mml:math id="m33">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>&#x3d;</mml:mo>
<mml:mn mathvariant="bold">1</mml:mn>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>cos</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfrac>
</mml:mrow>
</mml:mfenced>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>i</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi>&#x3c3;</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>sin</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfrac>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
<label>(13)</label>
</disp-formula>which is the rotation along <italic>S</italic>
<sub>1</sub> in the <italic>S</italic>
<sub>2</sub>&#x2013;<italic>S</italic>
<sub>3</sub> plane [<xref ref-type="bibr" rid="B81">81</xref>]. We defined the rotation angle of <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> since this corresponds to the rotation along the poloidal direction, as we shall see as follows. We have previously shown that we can construct a passive phase-shifter by a combination of two quarter-wave plates (QWPs) and two half-wave plates (HWPs) [<xref ref-type="bibr" rid="B81">81</xref>]. The amount of rotation in SO(3) is determined by the physical angle of the rotation (<italic>&#x3b4;</italic>&#x3a8;<sub>p</sub>) of one of the HWPs as <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> &#x3d; 4<italic>&#x3b4;</italic>&#x3a8;<sub>p</sub> [<xref ref-type="bibr" rid="B81">81</xref>]. Then, the output state of the tap port 4 becomes<disp-formula id="e14">
<mml:math id="m34">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">4</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mtext>Port&#x2009;&#x2009;</mml:mtext>
<mml:mn>4</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>,</mml:mo>
</mml:math>
<label>(14)</label>
</disp-formula>while the output from the through port 3 is preserved to keep its polarisation state as &#x7c;Port 3&#x2032;&#x27e9; &#x3d; &#x7c;Port 3&#x27e9;. Then, we recombine the through port 3 and tap port 4 by the inverse arrangement,<disp-formula id="e15">
<mml:math id="m35">
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mtable class="array">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">1</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">2</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mfenced>
<mml:mo>&#x3d;</mml:mo>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mtable class="array">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msqrt>
<mml:mrow>
<mml:mn>1</mml:mn>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>&#x3b1;</mml:mi>
</mml:mrow>
</mml:msqrt>
</mml:mtd>
<mml:mtd columnalign="center">
<mml:msqrt>
<mml:mrow>
<mml:mi>&#x3b1;</mml:mi>
</mml:mrow>
</mml:msqrt>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mo>&#x2212;</mml:mo>
<mml:msqrt>
<mml:mrow>
<mml:mi>&#x3b1;</mml:mi>
</mml:mrow>
</mml:msqrt>
</mml:mtd>
<mml:mtd columnalign="center">
<mml:msqrt>
<mml:mrow>
<mml:mn>1</mml:mn>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>&#x3b1;</mml:mi>
</mml:mrow>
</mml:msqrt>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mfenced>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mtable class="array">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">3</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">4</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
<label>(15)</label>
</disp-formula>to expect that the port 1&#x2032; is the main output, while the port 2&#x2032; is not used. Finally, the spin expectation values of &#x7c;Port 1&#x2032;&#x27e9; are calculated, as shown in <xref ref-type="fig" rid="F1">Figure 1</xref>.</p>
<fig id="F1" position="float">
<label>FIGURE 1</label>
<caption>
<p>Calculated trajectories of polarisation states for the output from a polarisation interferometer. The input state is prepared to be a diagonally polarised state at <italic>S</italic>
<sub>2</sub> &#x3d; 1.0 on the normalised Poincar&#xe9; sphere. <bold>(A)</bold> Stokes parameters, showing a polarisation circle (blue), which reduces its intensity upon the rotation. <bold>(B)</bold> Stokes parameters against the phase-shift by an SU(2) phase-shifter. The 2<italic>&#x3c0;</italic>-rotation minimises the intensity in the diagonally polarised state, and the 4<italic>&#x3c0;</italic>-rotation is required to come back to the original input state. <bold>(C)</bold> Schematic diagram of polarisation interferometer. The operation principle is based o the interference between beams with and without the phase-shift during the propagation.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g001.tif"/>
</fig>
<p>We confirmed that the polarisation states are mostly located near the diagonally polarised state, &#x7c;D&#x27e9; since we assumed 90% of the input for the through port 3 is preserved. Without the phase-shift of the tap port 4, we confirmed that the polarisation state and the intensity are not affected by the input state. On the other hand, if we closely look at the circular trajectory, we confirm that the trajectory is inside the original Poincar&#xe9; sphere, which means that the radius, corresponding to the intensity, is successfully decreased. The reduction in energy is confirmed in <italic>S</italic>
<sub>0</sub> (<xref ref-type="fig" rid="F1">Figure 1B</xref>), which becomes minimum at <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> &#x3d; 2<italic>&#x3c0;</italic> for the rotation of the tap port 4, where the polarisation state is purely diagonally polarised. This results from the double covering of SU(2) to SO(3), discussed previously [<xref ref-type="bibr" rid="B75">75</xref>]. The circular rotation means that the input state of &#x7c;D&#x27e9; returns to the original state in the SO(3) space; however, in the real physical space, it is enough for the complex electric field for the linearly polarised diagonal state to rotate only for the rotation angle of <italic>&#x3c0;</italic> to become the diagonal state upon the rotation. This means that the electric field will be flipped to change the sign, which is not visible on the original Poincar&#xe9; sphere. On the other hand, this sign change is observable by using the portion of the original input wave, which is the role of the transmitted wave through port 3. The destructive interference becomes maximum at <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> &#x3d; 2<italic>&#x3c0;</italic>, yielding the minimum of <italic>S</italic>
<sub>0</sub>. The entire trajectory requires the 4<italic>&#x3c0;</italic>-rotation to close, as expected for the SU(2) group, and it became a polarisation circle <inline-formula id="inf21">
<mml:math id="m36">
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msup>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula>, which resides in the <italic>S</italic>
<sub>2</sub>&#x2013;<italic>S</italic>
<sub>3</sub> plane. The operation process corresponds to a Mach&#x2013;Zehnder interferometer with a polarisation control, associated with a phase-shift, and we term it <italic>polarisation interferometer</italic> (<xref ref-type="fig" rid="F2">Figure 2</xref>). The poloidal polarisation circle is realised after the second FFC as shown in <xref ref-type="fig" rid="F2">Figure 2</xref>.</p>
<fig id="F2" position="float">
<label>FIGURE 2</label>
<caption>
<p>Polarisation interferometer to realise topologically non-trivial polarisation states in the Stokes space. Rotating optical plates were used to change the spin states of SU(2) as well as the orbital U(1) phase for the bypassed wave. These phase changes are observed upon interferences with the preserved input states, thus allowing changes in intensities for the output state. Abbreviations are as follows: LD, laser diode; SMF, single-mode fibre; PC, polarisation controller; FFS, fibre-to-fibre splitter; PM, polarimeter.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g002.tif"/>
</fig>
<p>We acquire a scheme to control the radius of the polarisation states, simply by mechanically rotating a HWP, which corresponds to the change in the intensity. The total energy must be conserved upon the linear operations, and the reduced intensity exits from the isolated port 2&#x2032;, which is terminated. Consequently, the output intensity from the output port 1&#x2032; could be reduced upon addition to our polarisation interferometer. Thus, if we focus on the output waves, the system is not only based on unitary operations but also allows a loss mechanism to reduce the radius, the direction of which is perpendicular to the surface of the sphere along polar and azimuthal directions, controlled by <italic>&#x3b8;</italic> and <italic>&#x3d5;</italic> for the polar coordinate or by <italic>&#x3b3;</italic> and <italic>&#x3b4;</italic> in the HV bases. In this sense, our system is non-Hermitian, and the original rotational symmetry of the polarisation state is also broken to expect a loss in a particular direction. In this way, we obtain a method to potentially scan an entire Euclidean coordinate in the Stokes space inside the original Poincar&#xe9; sphere, spanned by the radius of the input wave. Due to the 3D nature of the Stokes space, we can consider various topologically non-trivial structures, which we will explore as follows.</p>
</sec>
<sec id="s2-2">
<title>2.2 Polarisation torus design</title>
<p>As the first non-trivial topological structure of polarisation states, we explain how to construct a polarisation torus as a set of polarisation states in the Stokes space. In topology, a torus is made of <inline-formula id="inf22">
<mml:math id="m37">
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">T</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msup>
<mml:mo>&#x2245;</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msup>
<mml:mo>&#xd7;</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msup>
</mml:math>
</inline-formula>, which requires topological groups to describe two circular rotations, orthogonal to each other. In the previous subsection, we constructed rotators to describe the rotation along the poloidal direction, and therefore, we just need to add rotators to describe the rotations along the toroidal direction (<xref ref-type="fig" rid="F3">Figure 3</xref>). This is achieved simply by applying a conventional rotator along the <italic>S</italic>
<sub>3</sub> axis,<disp-formula id="e16">
<mml:math id="m38">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo>&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>&#x3d;</mml:mo>
<mml:mn mathvariant="bold">1</mml:mn>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>cos</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfrac>
</mml:mrow>
</mml:mfenced>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>i</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi>&#x3c3;</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>sin</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfrac>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
<label>(16)</label>
</disp-formula>where <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub> is the amount of rotation along the toroidal direction to the poloidal polarisation circle. We have previously shown that two successive operations of HWPs are equivalent to a proper rotator operation to form the <italic>SO</italic>(2) group [<xref ref-type="bibr" rid="B81">81</xref>] rather than a pseudo-rotator realised by one rotated HWP [<xref ref-type="bibr" rid="B60">60</xref>&#x2013;<xref ref-type="bibr" rid="B62">62</xref>], and we just need to mechanically rotate one of the HWP to realise the target amount of rotation along the <italic>S</italic>
<sub>3</sub> axis (the last part of rotating optical plates in <xref ref-type="fig" rid="F2">Figure 2</xref>). The output polarisation state after the operation becomes<disp-formula id="e17">
<mml:math id="m39">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">O</mml:mi>
<mml:mi mathvariant="normal">u</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mi mathvariant="normal">p</mml:mi>
<mml:mi mathvariant="normal">u</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">1</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>,</mml:mo>
</mml:math>
<label>(17)</label>
</disp-formula>and we can finally calculate the Stokes parameters from this output state (<xref ref-type="fig" rid="F3">Figure 3</xref>).</p>
<fig id="F3" position="float">
<label>FIGURE 3</label>
<caption>
<p>Construction of the polarisation torus calculated in the Stokes space. The intensity of the input state in the diagonally polarised state with the power of 1.5&#xa0;mW was interfered in the polarisation interferometer to form a small circle in the <italic>S</italic>
<sub>2</sub> &#x2212; <italic>S</italic>
<sub>3</sub> plane along the poloidal direction. Then, a rotator was used to rotate the circle in the <italic>S</italic>
<sub>1</sub> &#x2212; <italic>S</italic>
<sub>2</sub> plane along the toroidal direction. The inset shows the same trajectories, shown on the Poincar&#xe9; sphere.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g003.tif"/>
</fig>
<p>We confirmed that the calculated vectorial components of Stokes parameters form a polarisation torus (<xref ref-type="fig" rid="F4">Figures 4A&#x2013;C</xref>), and the intensities of the output satisfy <inline-formula id="inf23">
<mml:math id="m40">
<mml:msub>
<mml:mrow>
<mml:mi>S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>0</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>&#x3d;</mml:mo>
<mml:msqrt>
<mml:mrow>
<mml:msubsup>
<mml:mrow>
<mml:mi>S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msubsup>
<mml:mo>&#x2b;</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msubsup>
<mml:mo>&#x2b;</mml:mo>
<mml:msubsup>
<mml:mrow>
<mml:mi>S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>3</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msubsup>
</mml:mrow>
</mml:msqrt>
</mml:math>
</inline-formula> since we consider a coherent state. As shown in the colour map of <xref ref-type="fig" rid="F4">Figure 4A</xref>, <italic>S</italic>
<sub>0</sub> depends on the location in the torus, and thus, we could realise a non-trivial topological structure with <italic>g</italic> &#x3d; 1. For the definition of a torus, the states inside the torus are empty, as observed in <xref ref-type="fig" rid="F4">Figure 4C</xref>. It is also evident that the torus is compact and so closed as a set, such that even if we extend the amount of rotations for <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> and <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub> beyond 4<italic>&#x3c0;</italic> and 2<italic>&#x3c0;</italic>, respectively, we cannot generate new polarisation states outside the torus. It is also evident from the construction of the torus that <inline-formula id="inf24">
<mml:math id="m41">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo>&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> and <inline-formula id="inf25">
<mml:math id="m42">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> from <inline-formula id="inf26">
<mml:math id="m43">
<mml:mi>U</mml:mi>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
<mml:mo>&#x2245;</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msup>
</mml:math>
</inline-formula> groups, such that the two successive operations could be performed by one operation, and the inverse of a rotation could be defined. This was also true for a spherically symmetric Poincar&#xe9; sphere, where the rotator and the phase-shifter are physical realisations of Lie group operations of SU(2) [<xref ref-type="bibr" rid="B75">75</xref>, <xref ref-type="bibr" rid="B81">81</xref>, <xref ref-type="bibr" rid="B82">82</xref>]. In the present case, the torus is realised upon the interference to reduce its intensity, which is a non-reversal process, such that these rotational operations must be completed before the interference occurred. As far as rotations are made before the interference, we can consider alternative operations. For example, we could first rotate the polarisation state of the input along the <italic>S</italic>
<sub>3</sub> axis to control along the toroidal direction, and then, we could split it into two waves to allow the poloidal rotation.</p>
<fig id="F4" position="float">
<label>FIGURE 4</label>
<caption>
<p>Polarisation torus in the Stokes space. The input state to the polarisation interferometer is in the diagonally polarised state with a power of 1.5&#xa0;mW. The output power is controlled upon the interference, together with the polar angle and the phase, affected by rotating waveplates. The Stokes parameters, (<italic>S</italic>
<sub>0</sub>, <italic>S</italic>
<sub>1</sub>, <italic>S</italic>
<sub>2</sub>, <italic>S</italic>
<sub>3</sub>), of output states were calculated by using a simple representation theory of <italic>U</italic>(2) <italic>&#x2245; U</italic>(1) &#xd7; <italic>SU</italic>(2). <bold>(A)</bold> Stokes parameters are shown for various poloidal and toroidal rotation angles. <bold>(B)</bold> Toroidal states, seen from the top of the <italic>S</italic>
<sub>3</sub> axis. <bold>(C)</bold> Poloidal states, as a cross-section of the torus, perpendicular to the toroidal plane. The inset shows the polarisation torus collapsed on the Poincar&#xe9; sphere. The calculated Stokes parameters for the polarisation torus were mapped onto the Poincar&#xe9; sphere after the normalisations at each point. The torus becomes a belt with no information of the intensity on the Poincar&#xe9; sphere.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g004.tif"/>
</fig>
<p>We have also plotted the calculated Stokes parameters on the Poincar&#xe9; sphere after normalisation at each output state (the inset of <xref ref-type="fig" rid="F4">Figure 4A</xref>). In this case, we cannot discuss differences in relative intensities, and the trajectories of the torus collapsed to form a belt on the Poincar&#xe9; sphere with no width. The mapping corresponds to a projection from <inline-formula id="inf27">
<mml:math id="m44">
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">R</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msup>
</mml:math>
</inline-formula> to <inline-formula id="inf28">
<mml:math id="m45">
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msup>
</mml:math>
</inline-formula>, and the information on the radius, corresponding to <italic>N</italic> or <italic>P</italic>, will disappear. One can always consider this mapping from a torus to a belt, but this ends up considering non-trivial topological structures in <inline-formula id="inf29">
<mml:math id="m46">
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">R</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msup>
</mml:math>
</inline-formula>. We will return to this point when we discuss the Chern number [<xref ref-type="bibr" rid="B37">37</xref>], the Pancharatnam&#x2013;Berry phase [<xref ref-type="bibr" rid="B38">38</xref>, <xref ref-type="bibr" rid="B39">39</xref>], and the Gauss&#x2013;Bonnet theorem [<xref ref-type="bibr" rid="B44">44</xref>] towards the end of this paper. Here, we emphasize the non-trivial topological feature that appeared in the Stokes space, which uses <inline-formula id="inf30">
<mml:math id="m47">
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">R</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msup>
</mml:math>
</inline-formula> in SO(3) rather than <inline-formula id="inf31">
<mml:math id="m48">
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">C</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msup>
</mml:math>
</inline-formula> for U(2) wavefunctions, and for bosons, it is meaningful to consider the difference in <italic>N</italic> due to their Bose&#x2013;Einstein statistics.</p>
<p>As shown in <xref ref-type="fig" rid="F5">Figures 5A&#x2013;F</xref>, we have also calculated the polarisation torus by using the rotated QWP as the final rotation in <xref ref-type="fig" rid="F2">Figure 2</xref> instead of the rotator. In this case, the trajectories by a rotated QWP for the input of the D-state assume an &#x201c;8&#x201d;-like structure with two holes [<xref ref-type="bibr" rid="B81">81</xref>], such that the rotation of the polarisation circle of <xref ref-type="fig" rid="F1">Figure 1A</xref> upon the rotated QWP forms two toruses (<xref ref-type="fig" rid="F5">Figure 5A</xref>). Unfortunately, this structure is not a torus of <italic>g</italic> &#x3d; 2, but it is simply two toruses of <italic>g</italic> &#x3d; 1 overlapping each other, since the simple moves of the circle intersect near the D-state. As shown in <xref ref-type="fig" rid="F5">Figure 5C</xref>, the trajectories have cross-sections, such that the topological feature is closed. In order to claim that the structure is a torus of <italic>g</italic> &#x3d; 2, the inside of the structure must be a complete hollow without intersections. By introducing an ellipticity for the input polarisation state, we can introduce the asymmetry for the &#x201c;8&#x201d;-like structure (<xref ref-type="fig" rid="F5">Figure 5B</xref>) with a larger hole and a smaller hole [<xref ref-type="bibr" rid="B70">70</xref>]. However, this asymmetry also has intersections to separate the hollows. Nevertheless, closed links, made by trajectories of polarisation states, are located on the surface of the torus (<italic>g</italic> &#x3d; 2) without intersections, as shown in <xref ref-type="fig" rid="F5">Figures 5D, E</xref>. <xref ref-type="fig" rid="F5">Figure 5D</xref> was drawn for four values of the phase-shifters, while the QWP was fully rotated for each link. In experiments, we have confirmed the trajectories of <xref ref-type="fig" rid="F5">Figure 5D</xref> for the input of the diagonally polarised state. <xref ref-type="fig" rid="F5">Figure 5E</xref> was obtained by gradual rotations of QWP while phase-shifting at the interferometer. In this example, 25 rotations were made by phase-shifters to rotate the torus of <italic>g</italic> &#x3d; 2, locally long the poloidal direction, while the entire link is closed at the diagonally polarised state. Similarly, we can realise a trefoil knot [<xref ref-type="bibr" rid="B55">55</xref>, <xref ref-type="bibr" rid="B102">102</xref>, <xref ref-type="bibr" rid="B103">103</xref>] by closing the link on the surface of the torus (<italic>g</italic> &#x3d; 1), while phase-shifting in the interferometer (<xref ref-type="fig" rid="F5">Figure 5F</xref>).</p>
<fig id="F5" position="float">
<label>FIGURE 5</label>
<caption>
<p>Coupled polarisation torus. Stokes parameters were calculated, using a rotated quarter-wave plate, applied to a polarisation circle. Two holes are visible, but the structure is based on two connected toruses with the genus of 1. Trajectories of polarisation states for the input of <bold>(A)</bold> diagonally linear polarised states and <bold>(B)</bold> elliptically polarised state at <italic>&#x3b1;</italic> &#x3d; <italic>&#x3c0;</italic>/4 and <italic>&#x3b4;</italic> &#x3d; <italic>&#x3c0;</italic>/8. Symmetric trajectories showing a character of 8 are shown in <bold>(A)</bold>, while asymmetric trajectories are shown in <bold>(B)</bold>. <bold>(C)</bold> Approximately 80% of drawing for trajectories of <bold>(A)</bold> to show just before the intersections. Due to the intersections, the topology of <bold>(A)</bold> cannot be a torus of <italic>g</italic> &#x3d; 2. <bold>(D)</bold> Trajectories of <bold>(A)</bold> for fewer parameters at the interferometer. <bold>(E)</bold> Trajectories of polarisation states by combining phase-shifts and rotations of quarter-wave plates at the same time to allow 25 rotations. The connected link covers the torus of <italic>g</italic> &#x3d; 2. <bold>(F)</bold> Trefoil knot by using a half-wave plate, instead of a quarter-wave plate. The trefoil knot covers the torus of <italic>g</italic> &#x3d; 1. The insets show the trajectories of polarisation states on the Poincar&#xe9; sphere.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g005.tif"/>
</fig>
</sec>
</sec>
<sec id="s3">
<title>3 Experimental results</title>
<p>Our experiments were conducted in a fibre-based system, together with short-distance free space optics, as shown in <xref ref-type="fig" rid="F2">Figure 2</xref>. A frequency-locked distributed-feedback (DFB) laser diode (LD) with a wavelength of 1533&#xa0;nm was used and coupled to a SMF. The polarisation of the input wave was adjusted to the D-state by a birefringent polarisation controller (PC), and the input power was 1.8&#xa0;mW. Then, the input wave was inserted into the polarisation interferometer, as explained previously, with 2 FFSs and rotating optical plates, and the output from the interferometer was further controlled by the next rotating optical plates. At each step, the polarisation states of the fibre were adjusted by PCs, and the final output wave was examined by a polarimeter to observe the Stokes parameters [<xref ref-type="bibr" rid="B81">81</xref>].</p>
<sec id="s3-1">
<title>3.1 Observation of polarisation torus</title>
<p>The experimental Stokes parameters are shown in <xref ref-type="fig" rid="F6">Figure 6</xref>. We have set <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> at 0, <italic>&#x3c0;</italic>, 2<italic>&#x3c0;</italic>, and 3<italic>&#x3c0;</italic>, which corresponds to the rotation of HWP <italic>&#x3b4;</italic>&#x3a8;<sub>p</sub> at 0, <italic>&#x3c0;</italic>/4, <italic>&#x3c0;</italic>/2, and 3<italic>&#x3c0;</italic>/4, respectively. At each <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub>, we have mechanically rotated the HWP of the rotator to change <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub> and obtained the trajectories by recording the Stokes parameters using PM, while rotating physically. As expected, from the proper rotator operation of two successive operations of HWPs to form <italic>SO</italic>(2) [<xref ref-type="bibr" rid="B81">81</xref>], each trajectory is a circle, located parallel to the <italic>S</italic>
<sub>1</sub>&#x2013;<italic>S</italic>
<sub>2</sub> plane (<xref ref-type="fig" rid="F6">Figure 6B</xref>). On the other hand, the change in <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> corresponds to the rotation along the poloidal direction, and the intensity has been changed upon the interference, which is confirmed by the small empty region in the cross-section of the torus (<xref ref-type="fig" rid="F6">Figure 6C</xref>). The maximum output power was 1.5&#xa0;mW, such that the minimum insertion loss was about 0.8&#xa0;dB, and the overall feature of the observed polarisation torus is in reasonable agreement with the calculated results (<xref ref-type="fig" rid="F3">Figure 3</xref>).</p>
<fig id="F6" position="float">
<label>FIGURE 6</label>
<caption>
<p>Polarisation torus in the Stokes space. Stokes parameters for coherent photons out of the polarisation interferometer were plotted. After setting the poloidal rotation angle, four trajectories (red, magenta, blue, and cyan in colours) were obtained at each angle by mechanically rotating the half-wave plate to change the toroidal angle. Stokes parameters are shown <bold>(A)</bold> in the 3D Stokes space, <bold>(B)</bold> from the top of the <italic>S</italic>
<sub>3</sub> axis, and <bold>(C)</bold> as a cross-section perpendicular to the toroidal plane. The insets show the trajectories of polarisation states on the Poincar&#xe9; sphere.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g006.tif"/>
</fig>
<p>Now, we can provide more details on the realisation of the polarisation torus based on the U(2) theory along with our experimental preparations of HWPs and QWPs. We explain the free space operations in the polarisation interferometer of <xref ref-type="fig" rid="F2">Figure 2</xref>. We specify the alignment of these waveplates by the angle of the fast axis (FA), measured from the horizon seen from the detector side (opposite to the LD source side) of the plates [<xref ref-type="bibr" rid="B75">75</xref>, <xref ref-type="bibr" rid="B81">81</xref>]. In our convention, we assume that the angle is 0, if the FA is aligned horizontally, and equivalently, the slow axis (SA) is aligned vertically, and the direction of rotation is positive, if it is rotated anti-clock-wise, as seen from the top of the detector side. The first free space operations were conducted by a sequential application of QWP (whose FA is aligned to &#x2212;<italic>pi</italic>/4), HWP (aligned horizontally), HWP (rotated <italic>&#x3b4;</italic>&#x3a8;<sub>p</sub>), and finally QWP (whose FA is aligned to <italic>pi</italic>/4), and these operations are given by<disp-formula id="e18">
<mml:math id="m49">
<mml:mtable class="eqnarray">
<mml:mtr>
<mml:mtd columnalign="right">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">4</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
</mml:mtd>
<mml:mtd columnalign="left"/>
<mml:mtd columnalign="left">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3c0;</mml:mi>
<mml:mo>/</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfenced>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mn>2</mml:mn>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi mathvariant="normal">&#x3a8;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo>&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3c0;</mml:mi>
</mml:mrow>
</mml:mfenced>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x2212;</mml:mo>
<mml:mn>2</mml:mn>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi mathvariant="normal">&#x3a8;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="right"/>
<mml:mtd columnalign="left"/>
<mml:mtd columnalign="left">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo>&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3c0;</mml:mi>
</mml:mrow>
</mml:mfenced>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>&#x3c0;</mml:mi>
<mml:mo>/</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfenced>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">4</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>,</mml:mo>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:math>
<label>(18)</label>
</disp-formula>
</p>
<p>whose operations are equivalent to <inline-formula id="inf32">
<mml:math id="m50">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula>, and the physical rotation of <italic>&#x3c0;</italic> for <italic>&#x3b4;</italic>&#x3a8;<sub>p</sub> is enough to realise the equivalent rotation of 4<italic>&#x3c0;</italic> for <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> along the poloidal direction.</p>
<p>Similarly, the second free space operation can be decomposed into two sequential operations of the HWP (aligned horizontally) and HWP (rotated <italic>&#x3b4;</italic>&#x3a8;<sub>t</sub>),<disp-formula id="e19">
<mml:math id="m51">
<mml:mtable class="eqnarray">
<mml:mtr>
<mml:mtd columnalign="right">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">O</mml:mi>
<mml:mi mathvariant="normal">u</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mi mathvariant="normal">p</mml:mi>
<mml:mi mathvariant="normal">u</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mo stretchy="false">&#x232a;</mml:mo>
</mml:mtd>
<mml:mtd columnalign="left">
<mml:mo>&#x3d;</mml:mo>
</mml:mtd>
<mml:mtd columnalign="left">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mn>2</mml:mn>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi mathvariant="normal">&#x3a8;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo>&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3c0;</mml:mi>
</mml:mrow>
</mml:mfenced>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x2212;</mml:mo>
<mml:mn>2</mml:mn>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi mathvariant="normal">&#x3a8;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="right"/>
<mml:mtd columnalign="left"/>
<mml:mtd columnalign="left">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo>&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3c0;</mml:mi>
</mml:mrow>
</mml:mfenced>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">1</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>,</mml:mo>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:math>
<label>(19)</label>
</disp-formula>
</p>
<p>to realise the proper <italic>SO</italic>(2) rotation [<xref ref-type="bibr" rid="B81">81</xref>] by <inline-formula id="inf33">
<mml:math id="m52">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula>, and the physical rotation of <italic>&#x3c0;</italic>/2 for <italic>&#x3b4;</italic>&#x3a8;<sub>t</sub> is enough to realise the equivalent rotation of 2<italic>&#x3c0;</italic> for <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub> along the toroidal direction.</p>
</sec>
<sec id="s3-2">
<title>3.2 Rotated polarisation torus</title>
<p>A torus is obviously a topological structure, such that it is expected that the topological structure is strong against distortions. As the first step to confirm the topological robustness, we have inserted the additional QWP with its FA rotated <italic>&#x3c0;</italic>/4 towards the end of the device, such that the output becomes<disp-formula id="e20">
<mml:math id="m53">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">4</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3c0;</mml:mi>
<mml:mo>/</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfenced>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">4</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>,</mml:mo>
</mml:math>
<label>(20)</label>
</disp-formula>which means that the polarisation states should be rotated along the <italic>S</italic>
<sub>2</sub> axis with the amount of <italic>&#x3c0;</italic>/2, and consequently, the <italic>S</italic>
<sub>1</sub>&#x2013;<italic>S</italic>
<sub>2</sub> plane is rotated to be the <italic>S</italic>
<sub>2</sub>&#x2013;<italic>S</italic>
<sub>3</sub> plane. The experimental results on the rotated torus are shown in <xref ref-type="fig" rid="F7">Figure 7</xref>. We confirmed that the structure of the torus remained unchanged in the Stokes space upon the rotation, while the toroidal direction is now located parallel to the <italic>S</italic>
<sub>2</sub>&#x2013;<italic>S</italic>
<sub>3</sub> plane.</p>
<fig id="F7" position="float">
<label>FIGURE 7</label>
<caption>
<p>Rotated polarisation torus. The quarter-wave plate, whose fast axis was aligned to the diagonal direction, was inserted. Stokes parameters are shown <bold>(A)</bold> in the 3D Stokes space, <bold>(B)</bold> from the top of the <italic>S</italic>
<sub>3</sub> axis, and <bold>(C)</bold> as a cross-section, perpendicular to the toroidal plane. We confirmed that the torus was rotated <italic>&#x3c0;</italic>/2, such that the toroidal direction is parallel to the <italic>S</italic>
<sub>2</sub>&#x2013;<italic>S</italic>
<sub>3</sub> plane. The inset shows the trajectories of polarisation states on the Poincar&#xe9; sphere.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g007.tif"/>
</fig>
<p>Similarly, we have also confirmed that the rotation along the <italic>S</italic>
<sub>1</sub> axis preserves the topological structure of the torus. This was realised by adding the QWP with its FA aligned horizontally, and the expected output state becomes<disp-formula id="e21">
<mml:math id="m54">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">4</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3c0;</mml:mi>
<mml:mo>/</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfenced>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">4</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>,</mml:mo>
</mml:math>
<label>(21)</label>
</disp-formula>and the experimental results are shown in <xref ref-type="fig" rid="F8">Figure 8</xref>. In this case, the principal axis of the toroidal rotation is along the <italic>S</italic>
<sub>2</sub> axis, which is orthogonal to the axes of previous toruses (<xref ref-type="fig" rid="F6">Figures 6</xref>, <xref ref-type="fig" rid="F7">7</xref>). Therefore, the torus was not distorted upon the applications of rotated QWPs.</p>
<fig id="F8" position="float">
<label>FIGURE 8</label>
<caption>
<p>Rotated polarisation torus. The quarter-wave plate, whose fast axis was aligned horizontally, was inserted. Stokes parameters are shown <bold>(A)</bold> in the 3D Stokes space, <bold>(B)</bold> from the top of the <italic>S</italic>
<sub>3</sub> axis, and <bold>(C)</bold> as a cross-section, perpendicular to the toroidal plane. We confirmed that the topological structure of the torus was not changed upon the rotation. The inset shows the trajectories of polarisation states on the Poincar&#xe9; sphere.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g008.tif"/>
</fig>
<p>Theoretically, the phase-shifter and the rotator merely rotate Stokes parameters upon the application of <inline-formula id="inf34">
<mml:math id="m55">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula>, such that it results in rotations of the vectorial point (<italic>S</italic>
<sub>1</sub>, <italic>S</italic>
<sub>2</sub>, <italic>S</italic>
<sub>3</sub>) along some direction <inline-formula id="inf35">
<mml:math id="m56">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
</mml:math>
</inline-formula> with the amount of <italic>&#x3b4;&#x3d5;</italic>. This linear and unitary operation cannot change the topology of a set of points in the Stokes space, such that a torus or a sphere would be transferred to the same topological structure, respectively, without changing its genus.</p>
</sec>
<sec id="s3-3">
<title>3.3 Double-connected toruses</title>
<p>We have also tried to realise the double-connected toruses with <italic>g</italic> &#x3d; 1 by a rotated QWP. Here, we expect the output state of<disp-formula id="e22">
<mml:math id="m57">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">O</mml:mi>
<mml:mi mathvariant="normal">u</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mi mathvariant="normal">p</mml:mi>
<mml:mi mathvariant="normal">u</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mn>2</mml:mn>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi mathvariant="italic">&#x3a8;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo>&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3c0;</mml:mi>
<mml:mo>/</mml:mo>
<mml:mn>2</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x2212;</mml:mo>
<mml:mn>2</mml:mn>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi mathvariant="italic">&#x3a8;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">1</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>,</mml:mo>
</mml:math>
<label>(22)</label>
</disp-formula>which makes two connected toruses. The corresponding experimental results are shown in <xref ref-type="fig" rid="F9">Figure 9</xref>. This corresponds to the theoretical calculations of <xref ref-type="fig" rid="F5">Figure 5D</xref>. As shown by the colour difference of <xref ref-type="fig" rid="F5">Figure 5D</xref>, the intensities of each trajectory are different, meaning that the trajectories are not intersecting at the D-state, and therefore, the trajectories are located on the surface of the torus of <italic>g</italic> &#x3d; 2. If we increase the number of steps for the poloidal control apart from 4 (<xref ref-type="fig" rid="F9">Figure 9</xref>), the trajectories will be eventually filled, as we have discussed for <xref ref-type="fig" rid="F5">Figures 5A&#x2013;C</xref>. In order to overcome the closure of the surface, the linked trajectory to cover the surface of the torus of <italic>g</italic> &#x3d; 2 (<xref ref-type="fig" rid="F5">Figure 5E</xref>) is required. In our current experimental setup, it was difficult to confirm the trajectory of <xref ref-type="fig" rid="F5">Figure 5E</xref> since we needed to manually rotate the waveplates physically, such that it was tough to allow correlated simultaneous rotations for both poloidal and toroidal directions. In order to allow these experiments, we need dynamic control of polarisation states by optical modulators. We are developing a dynamic polarisation controller by using an LiNbO<sub>3</sub> optical modulator [<xref ref-type="bibr" rid="B82">82</xref>]. It will be possible in the future to allow the complicated polarisation control by combining the proposed polarisation interferometer together with the dynamic Poincar&#xe9; rotator.</p>
<fig id="F9" position="float">
<label>FIGURE 9</label>
<caption>
<p>Double-connected toruses. The polarisation states were made by operating the states by using a rotated quarter-wave plate at the end of the polarisation interferometer. The sets are made of two connected toruses with the genus of 1. The inset shows the trajectories of polarisation states on the Poincar&#xe9; sphere.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g009.tif"/>
</fig>
</sec>
</sec>
<sec sec-type="discussion" id="s4">
<title>4 Discussions</title>
<p>We have shown polarisation torus is realised experimentally in the Stokes space, where each point represents the spin expectation value of photon coherent states. The observed polarisation states are standard coherent states, but the entire trajectories, realised by the polarisation interferometer, were topologically non-trivial, characterised by <italic>g</italic> &#x3d; 1, and the topological states are stationary and stable over time. In our experimental setup, using waveplates, a dynamic control is difficult to achieve, limited by the mechanical rotations of waveplates. On the other hand, there are several exciting achievements to realise topologically non-trivial pulses of lights [<xref ref-type="bibr" rid="B99">99</xref>, <xref ref-type="bibr" rid="B104">104</xref>, <xref ref-type="bibr" rid="B105">105</xref>]. The toroidal pulse shape observed by Zdagkas et al. was realised by a tailored manipulation of the meta-surface [<xref ref-type="bibr" rid="B99">99</xref>]. Wang et al. realised the micro-cavity in the shape of a M&#xf6;bius strip to find the notable impact of the Pancharatnam&#x2013;Berry phase [<xref ref-type="bibr" rid="B104">104</xref>]. Li et al. realised a M&#xf6;bius fibre ring laser to find frequency shifts and geometrical phases [<xref ref-type="bibr" rid="B105">105</xref>]. These developments are achieved by considering the dynamical evolution of lights rather than stationary polarisation states. Considering these developments, we also think dynamical evolutions are important to consider topological polarisation states. At this moment, we are developing polarisation modulators to manipulate polarisation states, dynamically [<xref ref-type="bibr" rid="B82">82</xref>]. It is also important to see the dynamical response of polarisation states because it is not easy to stabilise the phases of polarisation states against local changes of the environment such as ambient temperature and vibrations. Due to these practical disturbances, our experimental realisations of topological polarisation states are limited to toruses, as explained previously. Nevertheless, we can realise other topological non-trivial features as the polarisation states, as theoretically shown in the following section.</p>
<sec id="s4-1">
<title>4.1 M&#xf6;bius strip</title>
<p>We consider how to realise a M&#xf6;bius strip in the Stokes space. A M&#xf6;bius strip [<xref ref-type="bibr" rid="B41">41</xref>, <xref ref-type="bibr" rid="B44">44</xref>, <xref ref-type="bibr" rid="B48">48</xref>] is made of a strip with the one end, flipped for connecting to the other end. We consider the same setup as that shown in <xref ref-type="fig" rid="F2">Figure 2</xref>, and we just need to change the optical components in the free space regions. For a M&#xf6;bius strip, we need to prepare a line segment, rather than a circle (<xref ref-type="fig" rid="F1">Figure 1</xref>), prepared for the torus. Such a line segment can be made by the simple phase-shift to the wave out of the tap port 4 by the phase-shift of <inline-formula id="inf36">
<mml:math id="m58">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula> along the <italic>S</italic>
<sub>2</sub> axis. This operation will not change the input polarisation state of the D-state, while the phase is shifted, which changes the intensity of <italic>S</italic>
<sub>0</sub>. The line segment should be rotated for the toroidal direction along the <italic>S</italic>
<sub>1</sub> axis, such that the operations become<disp-formula id="e23">
<mml:math id="m59">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">4</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo>&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">4</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>.</mml:mo>
</mml:math>
<label>(23)</label>
</disp-formula>After these operations, the bypassed wave should be recombined by the subsequent FFC with the output from the through port 3. The combined wave should be rotated by the final rotator with the amount of <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub>, which is the same operation as that for the torus. The Stokes parameters were calculated from these U(2) wavefunctions, and the trajectories become the polarisation M&#xf6;bius strip, as shown in <xref ref-type="fig" rid="F10">Figure 10A</xref>. We can recognise a standard feature of a M&#xf6;bius strip, designed in the Stokes space.</p>
<fig id="F10" position="float">
<label>FIGURE 10</label>
<caption>
<p>Polarisation M&#xf6;bius strip. Stokes parameters were calculated, assuming the input of 1.5&#xa0;mW to a polarisation interferometer. A line segment is made of the interference between the bypassed wave with the phase-shift and the original polarisation state at the through port. The segment was rotated by a rotator for the same amount of rotation with the angle for the toroidal rotation. This M&#xf6;bius strip is right-handed, in the sense that it is made of the line segment, which rotates to the right, seen from the direction opposite to the toroidal rotation. <bold>(A)</bold> Set of polarisation states in the Stokes space, realised by the polarisation interferometer and rotators. The inset shows the trajectories of polarisation states on the Poincar&#xe9; sphere. <bold>(B)</bold> Swapping of the edges of the M&#xf6;bius strip. A trajectory of polarisation states at the poloidal angle of <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> &#x3d; 0 is shown, while the toroidal angle of <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub> was changed from 0 to 4<italic>&#x3c0;</italic>. The outer edge state becomes the inner edge state, after one rotation, and <italic>vice versa</italic>, after another subsequent rotation. <bold>(C)</bold> The centre line of the M&#xf6;bius strip. A trajectory of polarisation states at the poloidal angle of <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> &#x3d; <italic>&#x3c0;</italic> becomes a polarisation circle, to keep the centre of the M&#xf6;bius strip, while rotating.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g010.tif"/>
</fig>
<p>In our original consideration for the torus, we have controlled <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> from 0 to 4<italic>&#x3c0;</italic>, while <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub> was changed from 0 to 2<italic>&#x3c0;</italic>. These parameters also work for the M&#xf6;bius strip, and this will cover the M&#xf6;bius strip twice, due to the collapsing of the pore of the torus for the strip. Consequently, the half-rotation for <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> is enough to realise the M&#xf6;bius strip. It is even better to consider the quarter-rotation of <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> from 0 to <italic>&#x3c0;</italic>, and instead, the double rotation of <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub> from 0 to 4<italic>&#x3c0;</italic> could be considered. In this case, it is easier to track the trajectory, controlled by <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub>. For example, if we start from the point, realised by <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> &#x3d; 0 and <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub> &#x3d; 0, the original input state is recovered, which is located at the edge of the M&#xf6;bius strip, and the intensity is maximised. Then, it is easy to see the trajectory (<xref ref-type="fig" rid="F10">Figure 10B</xref>) of showing how <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub> changes the point, moving from the outer edge to the inner edge, and coming back to the original point upon the application of the 4<italic>&#x3c0;</italic>-rotation. On the other hand, if we start from <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> &#x3d; <italic>&#x3c0;</italic> and <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub> &#x3d; 0, it is located at the centre of the M&#xf6;bius strip, and the trajectory becomes the circle upon the change of <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub> from 0 to 2<italic>&#x3c0;</italic>, and it rotates twice upon the 4<italic>&#x3c0;</italic>-rotation (<xref ref-type="fig" rid="F10">Figure 10C</xref>).</p>
<p>It is well-known that a M&#xf6;bius strip cannot be assigned its orientation, which is evident from the fact that we cannot distinguish the front surface from the back surface. On the other hand, we can define its chirality, which depends on how the line segment could be connected upon rotations in our case. The M&#xf6;bius strip, as shown in <xref ref-type="fig" rid="F10">Figure 10</xref>, is defined to be right-handed because the line segment was rotated to the right side, seen from the direction, opposite to the toroidal rotation. Correspondingly, the left-handed M&#xf6;bius strip could be considered, simply by the opposite rotation to yield<disp-formula id="e24">
<mml:math id="m60">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">4</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo>&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">4</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>,</mml:mo>
</mml:math>
<label>(24)</label>
</disp-formula>which was used to calculate its Stokes parameters, as shown in <xref ref-type="fig" rid="F11">Figure 11</xref>. If we focus on the trajectory of the edge, starting from the outer edge at <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> &#x3d; 0 and <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub> &#x3d; 0, polarisation states rotate along the bottom (negative <italic>S</italic>
<sub>3</sub>), upon the toroidal direction, to arrive at the inner edge, and continue to go up to the top (positive <italic>S</italic>
<sub>3</sub>), towards going back to the original point. This is the opposite chirality to that of the right-handed M&#xf6;bius strip, shown in <xref ref-type="fig" rid="F10">Figure 10</xref>. Therefore, the chirality could be controlled, when we realise the M&#xf6;bius strip by defining the sign of rotation to flip the line segment.</p>
<fig id="F11" position="float">
<label>FIGURE 11</label>
<caption>
<p>Left M&#xf6;bius strip as polarisation states. Stokes parameters were calculated by considering the rotating segment to the left-handed direction, seen from the direction opposite to the toroidal rotation. The inset shows the trajectories of polarisation states on the Poincar&#xe9; sphere.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g011.tif"/>
</fig>
</sec>
<sec id="s4-2">
<title>4.2 Hopf links and other topological structures</title>
<p>Next, we consider realising a Hopf link using polarisation states. A Hopf link is made of two rings, which are completely disconnected, while one ring intersects with the other (<xref ref-type="fig" rid="F12">Figure 12</xref>). We think it is impossible to realise it solely from 1 wavelength since we cannot allow two different points with different <italic>N</italic> (or equivalently, <italic>P</italic>), while keeping the same angles for <italic>&#x3b3;</italic> and <italic>&#x3b4;</italic>. Therefore, trajectories, controlled by the polarisation states, would be continuous in the Stokes space for 1 wavelength. However, if we allow wavelength-division multiplexing (WDM) in the SMF, we can separately manipulate polarisation states for multiple wavelengths, leading the way to realise optical Hopf links. We just need to adjust relative powers and polarisation states for both wavelengths by considering to establish the topology between two waves.</p>
<fig id="F12" position="float">
<label>FIGURE 12</label>
<caption>
<p>Polarisation Hopf links in the Stokes space. <bold>(A)</bold> The small circle is calculated for the wavelength of 1530&#xa0;nm, realised by the polarisation interferometer. The large circle is realised by a phase-shifter for the wavelength of 1550&#xa0;nm, and these two waves would be combined by a coupler. The inset shows the normalised polarisation states, shown on the Poincar&#xe9; sphere. The blue (red) circles are for small (large) polarisation circles. <bold>(B)</bold> Heart-shaped polarisation circle with a Hopf link in the Stokes space. We assumed a 50:50 splitting of the input wave into the polarisation interferometer to realise the heart-like dip near the origin. The inset shows the normalised polarisation states, shown on the Poincar&#xe9; sphere. The normalised polarisation circle (the blue line in the inset) covers the whole angle in the <italic>S</italic>
<sub>1</sub>&#x2013;<italic>S</italic>
<sub>2</sub> plane, while the intensity is modulated upon rotations.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g012.tif"/>
</fig>
<p>As an example, we consider a polarisation circle realised by the polarisation interferometer, shown in <xref ref-type="fig" rid="F2">Figure 2</xref>. Here, we assume 1 wavelength of approximately 1530&#xa0;nm with the input power of 1.5&#xa0;mW to be controlled by the polarisation interferometer. The output of the tap port 4 is now controlled as<disp-formula id="e25">
<mml:math id="m61">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">4</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">3</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">4</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>,</mml:mo>
</mml:math>
<label>(25)</label>
</disp-formula>while we do not need to rotate along the toroidal direction, such that we do not insert any optical components in the second free space region. This will create a polarisation circle in the <italic>S</italic>
<sub>1</sub>&#x2013;<italic>S</italic>
<sub>2</sub> plane, perpendicular to the direction of <italic>S</italic>
<sub>3</sub> (the small circle of <xref ref-type="fig" rid="F12">Figure 12A</xref>). The polarisation circle in the Stokes space is a line segment in the normalised Poincar&#xe9; sphere (the blue line in the inset of <xref ref-type="fig" rid="F12">Figure 12A</xref>). Next, we just need to prepare another polarisation circle by using a different wavelength of approximately 1550&#xa0;nm at the power of 1.0 mW, which could be controlled by proposed Poincar&#xe9; rotators (phase-shifters to control <italic>&#x3b4;</italic>) [<xref ref-type="bibr" rid="B81">81</xref>, <xref ref-type="bibr" rid="B82">82</xref>], separately, to allow circular changes of polarisation states, located in the <italic>S</italic>
<sub>2</sub>&#x2013;<italic>S</italic>
<sub>3</sub> plane, perpendicular to the direction of <italic>S</italic>
<sub>1</sub> (a large circle of <xref ref-type="fig" rid="F12">Figure 12A</xref>). After constructing these waves in the SMFs, we can combine these by a polarisation-dependent FFC, with an appropriate power splitting ratio. These two polarisation circles do not touch each other in Stokes space, forming a Hopf link (<xref ref-type="fig" rid="F12">Figure 12</xref>). On the other hand, if we plot these states by normalising Stokes parameters to have a unit radius, these two circles are connected (the inset of <xref ref-type="fig" rid="F12">Figure 12</xref>). Therefore, it is important to distinguish the power difference of these waves.</p>
<p>Similarly, we have also calculated a Hopf link by assuming the different ratio of 50:50 (<italic>&#x3b1;</italic> &#x3d; 0.5), as shown in <xref ref-type="fig" rid="F12">Figure 12B</xref>, while the other parameters were the same as those for <xref ref-type="fig" rid="F12">Figure 12A</xref>. In this case, the larger polarisation circle is realised upon the interference, due to the larger power, propagating into the tap port 4. As a consequence of the interference, the minimum output power could be 0, which is why the heart-like dip is realised near the origin of the Stokes space.</p>
<p>This heart shape affects the torus structure if the polarisation states are further controlled upon the toroidal rotation, as shown in <xref ref-type="fig" rid="F13">Figure 13</xref>. Here, we have assumed the splitting of 50:50 (<italic>&#x3b1;</italic> &#x3d; 0.5) for an input of the single wavelength at 1530&#xa0;nm with the power of 1.5&#xa0;mW. We expect that the heart-shaped polarisation circles are making trajectories upon rotations to the toroidal direction, with the amount of <italic>&#x3b4;&#x3d5;</italic>
<sub>t</sub> changed from 0 to 3<italic>&#x3c0;</italic>/2. Due to its feature, we call it a polarisation apple to have seed-like regions due to the heart-shaped dip near the origin. This is a remarkable difference between the mathematical overlapping of two circles upon rotations. In our case, we realise the circular heart-shaped circles upon the interference, such that the intensity near the origin becomes 0 due to the complete destructive interference between two separated waves with the sign change upon the SU(2) rotation.</p>
<fig id="F13" position="float">
<label>FIGURE 13</label>
<caption>
<p>Polarisation apple in the Stokes space. The Stokes parameters were calculated for assuming 50:50 splitting at fibre couplers. The toroidal rotations from 0 to 3<italic>&#x3c0;</italic>/2 (rather than 2<italic>&#x3c0;</italic>) were assumed to have the seed-like dips near the origin, realised by the interferences. The inset shows the trajectories of polarisation states on the Poincar&#xe9; sphere.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g013.tif"/>
</fig>
</sec>
<sec id="s4-3">
<title>4.3 Bulk-edge correspondence and massless Dirac bosons</title>
<p>We have several topologically non-trivial structures as polarisation states in the Stokes space, compared with the Poincar&#xe9; sphere. Polarisation results from spin expectation values [<xref ref-type="bibr" rid="B56">56</xref>&#x2013;<xref ref-type="bibr" rid="B75">75</xref>, <xref ref-type="bibr" rid="B77">77</xref>, <xref ref-type="bibr" rid="B81">81</xref>, <xref ref-type="bibr" rid="B82">82</xref>], such that the non-trivial polarisation states are determined by the broken rotational symmetry for the polarisation states. These topologically non-trivial features are robust against the rotationally symmetric disturbances. For example, the polarisation-independent loss in the SMF cannot change the topology of the polarisation states. Moreover, spherically symmetric operations of phase-shifters and rotators can rotate the topological structures such as toruses (<xref ref-type="fig" rid="F6">Figures 6</xref>&#x2013;<xref ref-type="fig" rid="F8">8</xref>), M&#xf6;bius strip (<xref ref-type="fig" rid="F10">Figures 10</xref>, <xref ref-type="fig" rid="F11">11</xref>), and Hopf links (<xref ref-type="fig" rid="F12">Figure 12</xref>), but still, the relative topology within these structures will be kept upon rotations. It is a polarisation-dependent loss to cut these topological features. Nevertheless, it is not so easy to change the topology since a simple insertion of a polariser, for example, will completely destroy the polarisation structure, ending up to be one point in the Stokes space. We need to make an <italic>optical scissor</italic> to allow an arbitral cutting of topological polarisation states. In order to reduce the intensity of the targeted polarisation states, we need to observe the polarisation states by using a polarimeter, which corresponds to observing the wavefunctions to expect the collapse of the wavefunction. For coherent photons, we can observe a bypassed contribution via a tap port, while keeping the contribution in the through port [<xref ref-type="bibr" rid="B82">82</xref>], but still we need to prepare a complicated photonic circuit to allow the splitting, delay, and manipulation of the loss. These difficulties result from robust correlations among the bits in the pulse stream to form non-trivial topological polarisation states. Here, we discuss how the broken symmetry in the bulk is corresponding to the edge state [<xref ref-type="bibr" rid="B4">4</xref>&#x2013;<xref ref-type="bibr" rid="B6">6</xref>, <xref ref-type="bibr" rid="B14">14</xref>, <xref ref-type="bibr" rid="B22">22</xref>, <xref ref-type="bibr" rid="B41">41</xref>&#x2013;<xref ref-type="bibr" rid="B44">44</xref>]. More specifically, we return to the case of the polarisation torus and consider how the polarisation states could be connected to the original Poincar&#xe9; sphere.</p>
<p>The torus is obviously distinct from the sphere because of the non-zero genus. For the pulse streams of light, coming out of the proposed device, which is the polarisation interferometer with the polarisation rotator (<xref ref-type="fig" rid="F2">Figure 2</xref>), the Stokes parameters of the pulse represent one of the points on the polarisation torus, such that the pulse streams are considered to form the bulk state of the polarisation torus, characterised by <italic>g</italic> &#x3d; 1. On the other hand, in the standard SMF with the rotational symmetry, the polarisation states are well-known to be characterised by the Poincar&#xe9; sphere with <italic>g</italic> &#x3d; 0 as a different bulk state. If we would like to connect the torus to the Poincar&#xe9; sphere, we need to prepare the edge state, where the pore of the torus is closed, such that the polarisation circle (<xref ref-type="fig" rid="F1">Figure 1A</xref>) is closed to be 1 point, which must be robust against disturbances to rotate the polarisation state.</p>
<p>We can generate such an edge state, simply by changing the rotations in the Stokes space. One practical implementation is to use the same setup of <xref ref-type="fig" rid="F2">Figure 2</xref>, while we introduce the amplitude controller,<disp-formula id="e26">
<mml:math id="m62">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">A</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>&#x3d;</mml:mo>
<mml:mn mathvariant="bold">1</mml:mn>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>cos</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfrac>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
<label>(26)</label>
</disp-formula>in the first free space region. The amplitude controller is not a unitary operator, such that this operator does not belong to a family of SU(2). It is an operator of U(2), except for the parameters, <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> &#x3d; <italic>&#x3c0;</italic>, 3<italic>&#x3c0;</italic>, &#x22ef;, where the operator becomes <bold>0</bold>, such that the norm is controlled upon the operation. The amplitude controller is made of polarisation splitters to change the amplitude of each polarisation state, independently, while each polarisation state would be inserted into a polarisation rotator [<xref ref-type="bibr" rid="B75">75</xref>, <xref ref-type="bibr" rid="B81">81</xref>, <xref ref-type="bibr" rid="B82">82</xref>] to change its polarisation in the <italic>S</italic>
<sub>1</sub>-<italic>S</italic>
<sub>2</sub> plane, independently, picking up only the original polarisation state after the rotation, and finally recombining orthogonal polarisation states in a combiner. Alternatively, the amplitude controller is simply made of a polarisation-independent Mach&#x2013;Zehnder interferometer to control the amplitudes for both polarisation components, simultaneously, while keeping the polarisation. The amplitude controller could also be defined as<disp-formula id="e27">
<mml:math id="m63">
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">B</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo>&#x3d;</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi>&#x3c3;</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>&#x2061;</mml:mo>
<mml:mi>sin</mml:mi>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:mfrac>
</mml:mrow>
</mml:mfenced>
<mml:mo>,</mml:mo>
</mml:math>
<label>(27)</label>
</disp-formula>which accompanies a swapping of the polarisation states in addition to the polarisation rotation.</p>
<p>After the amplitude control of the contribution in the tap port 4, the output polarisation state is further controlled by a QWP, yielding<disp-formula id="e28">
<mml:math id="m64">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">4</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3c0;</mml:mi>
<mml:mo>/</mml:mo>
<mml:mn>2</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">A</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">4</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>,</mml:mo>
</mml:math>
<label>(28)</label>
</disp-formula>which is combined with the contribution with the through port 3. Finally, the recombined state is rotated along the <italic>S</italic>
<sub>2</sub> axis instead of the <italic>S</italic>
<sub>3</sub> axis by the polarisation rotator<disp-formula id="e29">
<mml:math id="m65">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">O</mml:mi>
<mml:mi mathvariant="normal">u</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mi mathvariant="normal">p</mml:mi>
<mml:mi mathvariant="normal">u</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">1</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>.</mml:mo>
</mml:math>
<label>(29)</label>
</disp-formula>These operations will create a topological Dirac cone near the D-state. However, it is intriguing to illustrate it near the north pole (in our convention, the left circularly polarised state [<xref ref-type="bibr" rid="B75">75</xref>]), which could be achieved simply by a <italic>&#x3c0;</italic>/2-rotation along <italic>S</italic>
<sub>1</sub>. Alternatively, we can apply<disp-formula id="e30">
<mml:math id="m66">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">4</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">A</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">4</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>,</mml:mo>
</mml:math>
<label>(30)</label>
</disp-formula>to the tap port 4 without a QWP, while the through port 3 is phase-shifted by a QWP to be<disp-formula id="e31">
<mml:math id="m67">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">3</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3c0;</mml:mi>
<mml:mo>/</mml:mo>
<mml:mn>2</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">3</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>,</mml:mo>
</mml:math>
<label>(31)</label>
</disp-formula>and then, the recombined states should be rotated along the <italic>S</italic>
<sub>3</sub> axis, just like creating a torus before.</p>
<p>The calculated Stokes parameters in this way are shown in <xref ref-type="fig" rid="F14">Figure 14</xref>, where a topological Dirac cone is recognised in the Stokes space. Bosonic Dirac bosons were previously discussed [<xref ref-type="bibr" rid="B106">106</xref>, <xref ref-type="bibr" rid="B107">107</xref>] in realising a single-particle spectrum of a boson. Here, we are not discussing a single-particle energy spectrum in the momentum space. Instead, we are considering the many-body energy (<italic>S</italic>
<sub>0</sub>) of a bit in a pulse stream, generated from a device, and the change in energy is described against the spin expectation values rather than momentum for an energy band. Due to the coherent nature of bosons with no charge, photons in the same bit do not interact with each other, but the energy difference in <italic>S</italic>
<sub>0</sub> could be considered the difference in number of photons in each bit. As shown in <xref ref-type="fig" rid="F14">Figure 14A</xref>, the polarisation circle, generated by a rotator, is closed at the Dirac point, where the light cone is closed. At the Dirac point, the polarisation state is not changed upon rotations along the <italic>S</italic>
<sub>3</sub> axis, such that this edge state to close the circle is topologically robust against rotations in the <italic>S</italic>
<sub>1</sub>&#x2013;<italic>S</italic>
<sub>2</sub> plane. We have also plotted the Dirac cone in the space for (<italic>S</italic>
<sub>0</sub>, <italic>S</italic>
<sub>1</sub>, <italic>S</italic>
<sub>2</sub>), as shown in <xref ref-type="fig" rid="F14">Figure 14B</xref>. We confirmed the linear energy change, seen from <italic>S</italic>
<sub>0</sub>, against the radius of the polarisation circle in the plane, parallel to the <italic>S</italic>
<sub>1</sub>-<italic>S</italic>
<sub>2</sub> plane. For the constant energy in <italic>S</italic>
<sub>0</sub>, or equivalently, for the same number of photons in a bit, the bit is characterised in the polarisation circle of the Dirac cone, which changes the helical spin expectation values (<italic>S</italic>
<sub>1</sub>, <italic>S</italic>
<sub>2</sub>) upon rotations by a rotator along the <italic>S</italic>
<sub>3</sub> axis.</p>
<fig id="F14" position="float">
<label>FIGURE 14</label>
<caption>
<p>Topological Dirac bosons. Stokes parameters (<italic>S</italic>
<sub>0</sub>, <italic>S</italic>
<sub>1</sub>, <italic>S</italic>
<sub>2</sub>, <italic>S</italic>
<sub>3</sub>) were calculated for the output from the amplitude-controlled polarisation interferometer. <bold>(A)</bold> Dirac bosons in the vectorial space (<italic>S</italic>
<sub>1</sub>, <italic>S</italic>
<sub>2</sub>, <italic>S</italic>
<sub>3</sub>). The Dirac point at the centre of the light cone is robust against the rotation in the <italic>S</italic>
<sub>1</sub>&#x2013;<italic>S</italic>
<sub>2</sub> plane, such that a rotator along the <italic>S</italic>
<sub>3</sub> axis cannot change the polarisation state at this point. <bold>(B)</bold> Dirac bosons in the vectorial space (<italic>S</italic>
<sub>0</sub>, <italic>S</italic>
<sub>1</sub>, <italic>S</italic>
<sub>2</sub>). The intensity of the light (<italic>S</italic>
<sub>0</sub>) is linearly controlled upon the <italic>S</italic>
<sub>3</sub> direction, as a result of the interference, while <italic>S</italic>
<sub>0</sub> is not affected upon the rotation in the <italic>S</italic>
<sub>1</sub>&#x2013;<italic>S</italic>
<sub>2</sub> plane, which induces a helical change of the polarisation state. <bold>(C)</bold> The trajectories of polarisation states are shown on the Poincar&#xe9; sphere.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g014.tif"/>
</fig>
<p>If we would like to change <italic>g</italic> &#x3d; 1 of a torus to <italic>g</italic> &#x3d; 0 of a sphere, it is inevitable to make such a Dirac point, where the polarisation state is robust against the rotations. We think the Dirac point corresponds to the edge state, while the polarisation torus and Poincar&#xe9; sphere are bulk states. This is the bulk-edge correspondence [<xref ref-type="bibr" rid="B4">4</xref>&#x2013;<xref ref-type="bibr" rid="B6">6</xref>, <xref ref-type="bibr" rid="B14">14</xref>, <xref ref-type="bibr" rid="B22">22</xref>, <xref ref-type="bibr" rid="B41">41</xref>&#x2013;<xref ref-type="bibr" rid="B44">44</xref>] for our topological polarisation states.</p>
<p>As an example, we have connected a polarisation torus to a Poincar&#xe9; sphere via topological Dirac cones, as shown in <xref ref-type="fig" rid="F15">Figure 15</xref>. Here, we have assumed the maximum power of 1.5, 1.05, and 0.75&#xa0;mW for the polarisation torus, Dirac bosons, and the inner Poincar&#xe9; sphere, respectively. The number of connected Dirac cones was 4 in this example, but it is not limited to this particular number. The number of edge states simply depended on our experimental setup and feasibility on how to close the pore generated in the torus. In the example of <xref ref-type="fig" rid="F15">Figure 15A</xref>, the torus is continuously connected to four Dirac cones, with four Dirac points to close the pore, and the inner light cone is continuously connected to a Poincar&#xe9; sphere with a smaller radius (<italic>S</italic>
<sub>0</sub>). The torus (<italic>g</italic> &#x3d; 1) and the sphere (<italic>g</italic> &#x3d; 0) describe different bulk states, respectively, while the Dirac points are edge states. Even if we rotate the whole structure in the 3D (<italic>S</italic>
<sub>1</sub>, <italic>S</italic>
<sub>2</sub>, <italic>S</italic>
<sub>3</sub>) space, the topology of these states will not be changed at all, and the polarisation-independent loss merely changes the scale (radius by <italic>S</italic>
<sub>0</sub>), such that the topology will not be changed, either. Consequently, these topological features in the Stokes space will be robust during the propagation in the SMF, regardless of the polarisation rotations and the loss.</p>
<fig id="F15" position="float">
<label>FIGURE 15</label>
<caption>
<p>Bulk-edge correspondence for topological polarisation states. <bold>(A)</bold> Stokes parameters were calculated for the torus, Dirac cones, and the Poincar&#xe9; sphere. The polarisation torus was connected by Dirac cones to the Poincar&#xe9; sphere. It is inevitable to have a node of the polarisation circle at the Dirac point to change the genus from 1 to 0. <bold>(B)</bold> Closed polarisation torus. The phase-shift is introduced upon the toroidal rotation, which induces the destructive interference, leading to the Dirac point at the anti-diagonally polarised state. The insets show the trajectories of polarisation states on the Poincar&#xe9; sphere.</p>
</caption>
<graphic xlink:href="fphy-11-1225462-g015.tif"/>
</fig>
<p>Another method to close the torus is to introduce a phase-shift. For example, we can introduce a phase change upon the toroidal rotation as<disp-formula id="e32">
<mml:math id="m68">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:msup>
<mml:mrow>
<mml:mn mathvariant="normal">4</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">t</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="script">D</mml:mi>
</mml:mrow>
<mml:mo>&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi mathvariant="bold">n</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">&#x302;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mn mathvariant="bold">1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfenced>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">4</mml:mn>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>,</mml:mo>
</mml:math>
<label>(32)</label>
</disp-formula>which induces the destructive rotation upon the toroidal rotation, leading to a generation of a Dirac point at the diagonally polarised state (<xref ref-type="fig" rid="F15">Figure 15B</xref>). The structure of <xref ref-type="fig" rid="F15">Figure 15B</xref> is not a torus anymore since the pore is closed, but we can introduce the toroidal phase change upon the dynamic operation [<xref ref-type="bibr" rid="B82">82</xref>]. Then, the polarisation torus can be dynamically switched to the conventional Poincar&#xe9; sphere, continuously, along with the time evolution. By considering time as another coordinate, inspired by the time crystal [<xref ref-type="bibr" rid="B34">34</xref>, <xref ref-type="bibr" rid="B35">35</xref>], we can dynamically switch polarisation structures with different genera. It is important to recognise that the edge must exist between different topological structures, and in order to close the torus continuously for the sphere, we need at least one Dirac point.</p>
</sec>
<sec id="s4-4">
<title>4.4 Chern number and Gauss&#x2013;Bonnet theorems</title>
<p>We consider the topological invariance discussed in this paper. In the physics of topological materials, the Chern number [<xref ref-type="bibr" rid="B37">37</xref>] is the topological invariance to characterise the non-trivial quantum states. The Chern theorem [<xref ref-type="bibr" rid="B37">37</xref>] was established through a generalisation to <inline-formula id="inf37">
<mml:math id="m69">
<mml:mi mathvariant="double-struck">C</mml:mi>
</mml:math>
</inline-formula> numbers for wavefunctions [<xref ref-type="bibr" rid="B1">1</xref>, <xref ref-type="bibr" rid="B2">2</xref>, <xref ref-type="bibr" rid="B4">4</xref>&#x2013;<xref ref-type="bibr" rid="B6">6</xref>, <xref ref-type="bibr" rid="B8">8</xref>, <xref ref-type="bibr" rid="B11">11</xref>, <xref ref-type="bibr" rid="B12">12</xref>, <xref ref-type="bibr" rid="B14">14</xref>, <xref ref-type="bibr" rid="B15">15</xref>, <xref ref-type="bibr" rid="B36">36</xref>, <xref ref-type="bibr" rid="B38">38</xref>&#x2013;<xref ref-type="bibr" rid="B44">44</xref>], while the classical Gauss&#x2013;Bonnet theorem is valid in <inline-formula id="inf38">
<mml:math id="m70">
<mml:mi mathvariant="double-struck">R</mml:mi>
</mml:math>
</inline-formula> numbers. We focus on the polarisation torus to identify the topological invariance.</p>
<p>First, we evaluated the Chern number for the polarisation torus. To calculate the Chern number, we need to integrate the Pancharatnam&#x2013;Berry phase of <italic>&#x3b3;</italic> along a closed loop. We consider the poloidal rotation, as shown in <xref ref-type="fig" rid="F2">Figure 2A</xref>, whose output state after the polarisation interferometer is given by<disp-formula id="e33">
<mml:math id="m71">
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x3d;</mml:mo>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="normal">P</mml:mi>
<mml:mi mathvariant="normal">o</mml:mi>
<mml:mi mathvariant="normal">r</mml:mi>
<mml:mi mathvariant="normal">t</mml:mi>
<mml:mspace width="0.3333em"/>
<mml:mn mathvariant="normal">1</mml:mn>
</mml:mrow>
<mml:mrow>
<mml:mo>&#x2032;</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>,</mml:mo>
</mml:math>
<label>(33)</label>
</disp-formula>for the total rotation of <italic>&#x3d5;</italic>
<sub>p</sub>, and we consider the small deviation of <italic>&#x3b4;&#x3d5;</italic>
<sub>p</sub> from <italic>&#x3d5;</italic>
<sub>p</sub>, and the Berry connection [<xref ref-type="bibr" rid="B4">4</xref>&#x2013;<xref ref-type="bibr" rid="B6">6</xref>, <xref ref-type="bibr" rid="B38">38</xref>&#x2013;<xref ref-type="bibr" rid="B41">41</xref>, <xref ref-type="bibr" rid="B44">44</xref>] is defined by<disp-formula id="e34">
<mml:math id="m72">
<mml:mi>d</mml:mi>
<mml:mi>A</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mfrac>
<mml:mrow>
<mml:mo stretchy="false">&#x2329;</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x2b;</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x2212;</mml:mo>
<mml:mo stretchy="false">&#x2329;</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo stretchy="false">&#x232a;</mml:mo>
</mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">&#x2329;</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo stretchy="false">&#x7c;</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo stretchy="false">&#x232a;</mml:mo>
</mml:mrow>
</mml:mfrac>
<mml:mo>&#x2261;</mml:mo>
<mml:mo stretchy="false">&#x2329;</mml:mo>
<mml:mfrac>
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
</mml:mfrac>
<mml:mo stretchy="false">&#x232a;</mml:mo>
<mml:mo>&#x22c5;</mml:mo>
<mml:mi>&#x3b4;</mml:mi>
<mml:msub>
<mml:mrow>
<mml:mi>&#x3d5;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal">p</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>,</mml:mo>
</mml:math>
<label>(34)</label>
</disp-formula>which yields the Pancharatnam&#x2013;Berry phase as<disp-formula id="e35">
<mml:math id="m73">
<mml:mi>i</mml:mi>
<mml:mi>&#x3b3;</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mo>&#x222e;</mml:mo>
<mml:mi>d</mml:mi>
<mml:mi>A</mml:mi>
</mml:math>
<label>(35)</label>
</disp-formula>to give the Chern number<disp-formula id="e36">
<mml:math id="m74">
<mml:mi>C</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mfrac>
<mml:mrow>
<mml:mi>&#x3b3;</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mi>&#x3c0;</mml:mi>
</mml:mrow>
</mml:mfrac>
<mml:mo>&#x3d;</mml:mo>
<mml:mo>&#x222e;</mml:mo>
<mml:mfrac>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>A</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mi>&#x3c0;</mml:mi>
<mml:mi>i</mml:mi>
</mml:mrow>
</mml:mfrac>
<mml:mo>,</mml:mo>
</mml:math>
<label>(36)</label>
</disp-formula>which is the winding number for the wavefunction along the closed trajectory in the Hilbert space. We confirmed that the Chern number for the topological torus is 0 upon numerical calculations. This is confirmed on the normalised Poincar&#xe9; sphere of <xref ref-type="fig" rid="F4">Figure 4</xref> (and the blue line in the inset of <xref ref-type="fig" rid="F12">Figure 12A</xref>) because the circular rotation in the Stokes space along the radial direction (<xref ref-type="fig" rid="F2">Figure 2A</xref>) simply corresponds to the line integration in the normalised Poincar&#xe9; sphere, whose solid angle vanishes. Due to the uncertainty of 4<italic>&#x3c0;</italic> in solid angle and the nature of the 2-level systems, the Chern number of polarisation torus is given by integers <inline-formula id="inf39">
<mml:math id="m75">
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mrow>
<mml:mi mathvariant="double-struck">Z</mml:mi>
</mml:mrow>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
</mml:math>
</inline-formula>; thus, we obtain <inline-formula id="inf40">
<mml:math id="m76">
<mml:mi>C</mml:mi>
<mml:mo>&#x2208;</mml:mo>
<mml:mi mathvariant="double-struck">Z</mml:mi>
</mml:math>
</inline-formula>. The line integration over the poloidal direction can be converted into the surface integration over the torus, such that the integer Chern number characterises the nature of the polarisation torus. This is exactly the same as that for the rotationally symmetric Poincar&#xe9; sphere, such that we have no difference in the wavefunction, which is not surprising in the definition of the Berry connection, which is defined as the overlap of the normalised wavefunctions upon a trajectory over the phase space. If we take the integration contour over the toroidal direction, rather than the poloidal direction, the Pancharatnam&#x2013;Berry phase becomes finite in agreement with the solid angle, defined by the toroidal trajectory. However, in this case, the toroidal loop cannot cover the whole surface of the torus, such that we cannot apply the Stokes theorem to characterise the topology of the torus. Consequently, it is reasonable to use the contour over the poloidal direction, and the Chern number of the torus is the same as that of the full sphere of the Poincar&#xe9; sphere. Therefore, the normalised SU(2) wavefunction is not useful to characterise the polarisation torus, since the non-trivial nature of the polarisation torus in topology could be considered only when we take the variable radius of the U(2) wavefunction into account for the coherent many-body states with Bose&#x2013;Einstein statistics.</p>
<p>In fact, the topological nature of the polarisation torus is appeared in the Stokes space, where the spin expectation values could take potentially any values in <inline-formula id="inf41">
<mml:math id="m77">
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">R</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msup>
</mml:math>
</inline-formula>. For characterising the topology in the real space, we can use the Gauss&#x2013;Bonnet theorem to obtain the Euler number,<disp-formula id="e37">
<mml:math id="m78">
<mml:mi>&#x3c7;</mml:mi>
<mml:mo>&#x3d;</mml:mo>
<mml:mn>2</mml:mn>
<mml:mfenced open="(" close=")">
<mml:mrow>
<mml:mn>1</mml:mn>
<mml:mo>&#x2212;</mml:mo>
<mml:mi>g</mml:mi>
</mml:mrow>
</mml:mfenced>
<mml:mo>&#x3d;</mml:mo>
<mml:mo>&#x222b;</mml:mo>
<mml:mfrac>
<mml:mrow>
<mml:mi>d</mml:mi>
<mml:mi>S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mi>&#x3c0;</mml:mi>
</mml:mrow>
</mml:mfrac>
<mml:mi>K</mml:mi>
<mml:mo>,</mml:mo>
</mml:math>
<label>(37)</label>
</disp-formula>where <italic>K</italic> is the product of the minimum and maximum curvatures on the surface and <italic>dS</italic> is the infinitesimal surface area. For the torus, the curvatures upon the toroidal direction change their sign, such that the integration becomes 0, yielding <italic>&#x3c7;</italic> &#x3d; 0 and <italic>g</italic> &#x3d; 1. The values are completely different for a sphere to have <italic>&#x3c7;</italic> &#x3d; 2 and <italic>g</italic> &#x3d; 0. Thus, the Euler number and the genus should be appropriate as topological invariants in the polarisation torus. Other topological features are also considered in <inline-formula id="inf42">
<mml:math id="m79">
<mml:msup>
<mml:mrow>
<mml:mi mathvariant="double-struck">R</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:msup>
</mml:math>
</inline-formula>, such that these numbers will be useful to consider polarisation states in the Stokes space.</p>
</sec>
</sec>
<sec sec-type="conclusion" id="s5">
<title>5 Conclusion</title>
<p>We have shown that photons in the coherent states are described by the U(2) wavefunctions, and the spin expectation values, calculated in the wavefunction, span the three-dimensional Euclidean space, named the Stokes space, allowing to realise various non-trivial topological structures rather than the simple Poincar&#xe9; sphere. We have proposed the polarisation interferometer to realise the polarisation torus and experimentally demonstrated the structure through the polarimetry. We have also shown that other topologically non-trivial structures, such as M&#xf6;bius strip, Hopf links, and topological Dirac bosons. These topological structures in the Stokes space are characterised by the Euler number and genus rather than the Chern number since the spin expectation values are observable and the proposed topological structures are realised in real values rather than complex values of wavefunctions. We found that a bulk-edge correspondence is applicable to these topological features, and the torus and the sphere must be continuously connected, only when the Dirac point is realised at the edge to connect these structures in the Stokes space. Topological polarisation states are robust against rotations, phase-shifts, and polarisation-independent losses during the propagation in the single-mode fibre, such that these features can be transmitted without breaking topological correlations. The proposed topological structures are supported by the bosonic nature of photons, allowing many photons to occupy the same state, which has a remarkable difference in the fermionic Bloch state. The energy spectrum of proposed Dirac bosons is characterised by these coherent bosons, rather than the single-particle spectrum, and the linear dispersion of the energy in the bit will be observed against the helical polarisation. We think these topological polarisation states are generic features for coherent photons emitted from ubiquitous laser sources, such that we can consider various applications such as robust optical communications and fibre sensors against signal disturbances in harsh environments or future topological quantum computing using photons.</p>
</sec>
</body>
<back>
<sec sec-type="data-availability" id="s6">
<title>Data availability statement</title>
<p>The raw data supporting the conclusion of this article will be made available by the authors, without undue reservation.</p>
</sec>
<sec id="s7">
<title>Author contributions</title>
<p>The author confirms being the sole contributor of this work and has approved it for publication.</p>
</sec>
<sec id="s8">
<title>Funding</title>
<p>This work is supported by JSPS KAKENHI Grant Number JP 18K19958.</p>
</sec>
<ack>
<p>The author would like to express sincere thanks to Prof I. Tomita for continuous discussions and encouragements.</p>
</ack>
<sec sec-type="COI-statement" id="s9">
<title>Conflict of interest</title>
<p>Author SS was employed by Hitachi, Ltd.</p>
</sec>
<sec sec-type="disclaimer" id="s10">
<title>Publisher&#x2019;s note</title>
<p>All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors, and the reviewers. Any product that may be evaluated in this article, or claim that may be made by its manufacturer, is not guaranteed or endorsed by the publisher.</p>
</sec>
<ref-list>
<title>References</title>
<ref id="B1">
<label>1.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Ando</surname>
<given-names>T</given-names>
</name>
</person-group>. <article-title>Theory of quantum transport in a two-dimensional electron system under magnetic fields II. single-site approximation under strong fields</article-title>. <source>J Phys Soc Jpn</source> (<year>1974</year>) <volume>36</volume>:<fpage>1521</fpage>&#x2013;<lpage>9</lpage>. <pub-id pub-id-type="doi">10.1143/JPSJ.36.1521</pub-id>
</citation>
</ref>
<ref id="B2">
<label>2.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Ando</surname>
<given-names>T</given-names>
</name>
<name>
<surname>Fowler</surname>
<given-names>AB</given-names>
</name>
<name>
<surname>Stern</surname>
<given-names>F</given-names>
</name>
</person-group>. <article-title>Electronic properties of two-dimensional systems</article-title>. <source>Rev Mod Phys</source> (<year>1982</year>) <volume>54</volume>:<fpage>437</fpage>&#x2013;<lpage>672</lpage>. <pub-id pub-id-type="doi">10.1103/RevModPhys.54.437</pub-id>
</citation>
</ref>
<ref id="B3">
<label>3.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>v Klitzing</surname>
<given-names>K</given-names>
</name>
<name>
<surname>Dorda</surname>
<given-names>G</given-names>
</name>
<name>
<surname>Pepper</surname>
<given-names>M</given-names>
</name>
</person-group>. <article-title>New method for high-accuracy determination of the fine-structure constant based on quantized hall resistance</article-title>. <source>Phys Rev Lett</source> (<year>1980</year>) <volume>45</volume>:<fpage>494</fpage>&#x2013;<lpage>7</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.45.494</pub-id>
</citation>
</ref>
<ref id="B4">
<label>4.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Laughlin</surname>
<given-names>RB</given-names>
</name>
</person-group>. <article-title>Quantized Hall conductivity in two dimensions</article-title>. <source>Phys Rev B</source> (<year>1982</year>) <volume>23</volume>(<issue>R</issue>):<fpage>5632</fpage>&#x2013;<lpage>3</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRevB.23.5632</pub-id>
</citation>
</ref>
<ref id="B5">
<label>5.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Kohmoto</surname>
<given-names>M</given-names>
</name>
</person-group>. <article-title>Topological invariant and the quantization of the Hall conductance</article-title>. <source>Ann Phys</source> (<year>1985</year>) <volume>160</volume>:<fpage>343</fpage>&#x2013;<lpage>54</lpage>. <pub-id pub-id-type="doi">10.1016/0003-4916(85)90148-4</pub-id>
</citation>
</ref>
<ref id="B6">
<label>6.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Hatsugai</surname>
<given-names>Y</given-names>
</name>
</person-group>. <article-title>Chern number and edge states in the integer quantum Hall effect</article-title>. <source>Phys Rev Lett</source> (<year>1993</year>) <volume>71</volume>:<fpage>3697</fpage>&#x2013;<lpage>700</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.71.3697</pub-id>
</citation>
</ref>
<ref id="B7">
<label>7.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Hirsch</surname>
<given-names>JE</given-names>
</name>
</person-group>. <article-title>Spin Hall effect</article-title>. <source>Phys Rev Lett</source> (<year>1999</year>) <volume>83</volume>:<fpage>1834</fpage>&#x2013;<lpage>7</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.83.1834</pub-id>
</citation>
</ref>
<ref id="B8">
<label>8.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Murakami</surname>
<given-names>S</given-names>
</name>
<name>
<surname>Nagaosa</surname>
<given-names>N</given-names>
</name>
<name>
<surname>Zhang</surname>
<given-names>SC</given-names>
</name>
</person-group>. <article-title>Spin-Hall insulator</article-title>. <source>Phys Rev Lett</source> (<year>2004</year>) <volume>93</volume>:<fpage>156804</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.93.156804</pub-id>
</citation>
</ref>
<ref id="B9">
<label>9.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Wunderlich</surname>
<given-names>J</given-names>
</name>
<name>
<surname>Kaestner</surname>
<given-names>B</given-names>
</name>
<name>
<surname>Sinova</surname>
<given-names>J</given-names>
</name>
<name>
<surname>Jungwirth</surname>
<given-names>T</given-names>
</name>
</person-group>. <article-title>Experimental observation of the spin-Hall effect in a two-dimensional spin-orbit coupled semiconductor system</article-title>. <source>Phys Rev Lett</source> (<year>2005</year>) <volume>94</volume>:<fpage>047204</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.94.047204</pub-id>
</citation>
</ref>
<ref id="B10">
<label>10.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Haldane</surname>
<given-names>FDM</given-names>
</name>
</person-group>. <article-title>Model for a quantum Hall effect without Landau levels: Condensed-matter realization of the &#x201c;parity anomaly&#x201d;</article-title>. <source>Phys Rev Lett</source> (<year>1988</year>) <volume>61</volume>:<fpage>2015</fpage>&#x2013;<lpage>8</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.61.2015</pub-id>
</citation>
</ref>
<ref id="B11">
<label>11.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Kane</surname>
<given-names>CL</given-names>
</name>
<name>
<surname>Mele</surname>
<given-names>EJ</given-names>
</name>
</person-group>. <article-title>
<italic>z</italic>
<sub>2</sub> topological order and the quantum spin hall effect</article-title>. <source>Phys Rev Lett</source> (<year>2005</year>) <volume>95</volume>:<fpage>146802</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.95.146802</pub-id>
</citation>
</ref>
<ref id="B12">
<label>12.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Bernevig</surname>
<given-names>BA</given-names>
</name>
<name>
<surname>Hughes</surname>
<given-names>TL</given-names>
</name>
<name>
<surname>Zhang</surname>
<given-names>SC</given-names>
</name>
</person-group>. <article-title>Quantum spin hall effect and topological phase transition in HgTe quantum wells</article-title>. <source>Science</source> (<year>2006</year>) <volume>314</volume>:<fpage>1757</fpage>&#x2013;<lpage>61</lpage>. <pub-id pub-id-type="doi">10.1126/science.1133734</pub-id>
</citation>
</ref>
<ref id="B13">
<label>13.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>K&#xf6;nig</surname>
<given-names>M</given-names>
</name>
<name>
<surname>Wiedmann</surname>
<given-names>S</given-names>
</name>
<name>
<surname>Br&#xf6;ne</surname>
<given-names>C</given-names>
</name>
<name>
<surname>Roth</surname>
<given-names>A</given-names>
</name>
<name>
<surname>Buhmann</surname>
<given-names>H</given-names>
</name>
<name>
<surname>Molenkamp</surname>
<given-names>LW</given-names>
</name>
<etal/>
</person-group> <article-title>Quantum spin hall insulator state in HgTe quantum wells</article-title>. <source>Science</source> (<year>2007</year>) <volume>318</volume>:<fpage>766</fpage>&#x2013;<lpage>70</lpage>. <pub-id pub-id-type="doi">10.1126/science.1148047</pub-id>
</citation>
</ref>
<ref id="B14">
<label>14.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Moore</surname>
<given-names>JE</given-names>
</name>
</person-group>. <article-title>The birth of topological insulators</article-title>. <source>Nat</source> (<year>2010</year>) <volume>464</volume>:<fpage>194</fpage>&#x2013;<lpage>8</lpage>. <pub-id pub-id-type="doi">10.1038/nature08916</pub-id>
</citation>
</ref>
<ref id="B15">
<label>15.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Haldane</surname>
<given-names>FDM</given-names>
</name>
<name>
<surname>Raghu</surname>
<given-names>S</given-names>
</name>
</person-group>. <article-title>Possible realization of directional optical waveguides in photonic crystals with broken time-reversal symmetry</article-title>. <source>Phys Rev Lett</source> (<year>2008</year>) <volume>100</volume>:<fpage>013904</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.100.013904</pub-id>
</citation>
</ref>
<ref id="B16">
<label>16.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Wang</surname>
<given-names>Z</given-names>
</name>
<name>
<surname>Chong</surname>
<given-names>Y</given-names>
</name>
<name>
<surname>Joannopoulos</surname>
<given-names>JD</given-names>
</name>
<name>
<surname>Solija&#x10d;i&#x107;</surname>
<given-names>M</given-names>
</name>
</person-group>. <article-title>Observation of unidirectional backscattering-immune topological electromagnetic states</article-title>. <source>Nat</source> (<year>2009</year>) <volume>461</volume>:<fpage>772</fpage>&#x2013;<lpage>5</lpage>. <pub-id pub-id-type="doi">10.1038/nature08293</pub-id>
</citation>
</ref>
<ref id="B17">
<label>17.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Hafezi</surname>
<given-names>M</given-names>
</name>
<name>
<surname>Mittal</surname>
<given-names>S</given-names>
</name>
<name>
<surname>Fan</surname>
<given-names>J</given-names>
</name>
<name>
<surname>Migdall</surname>
<given-names>A</given-names>
</name>
<name>
<surname>Taylor</surname>
<given-names>JM</given-names>
</name>
</person-group>. <article-title>Imaging topological edge states in silicon photonics</article-title>. <source>Nat Photon</source> (<year>2013</year>) <volume>7</volume>:<fpage>1001</fpage>&#x2013;<lpage>5</lpage>. <pub-id pub-id-type="doi">10.1038/NPHOTON.2013.274</pub-id>
</citation>
</ref>
<ref id="B18">
<label>18.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Lu</surname>
<given-names>L</given-names>
</name>
<name>
<surname>Joannopoulos</surname>
<given-names>JD</given-names>
</name>
<name>
<surname>Solija&#x10d;i&#x107;</surname>
<given-names>M</given-names>
</name>
</person-group>. <article-title>Topological photonics</article-title>. <source>Nat Photon</source> (<year>2014</year>) <volume>8</volume>:<fpage>821</fpage>&#x2013;<lpage>9</lpage>. <pub-id pub-id-type="doi">10.1038/NPHOTON.2014.248</pub-id>
</citation>
</ref>
<ref id="B19">
<label>19.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Price</surname>
<given-names>H</given-names>
</name>
<name>
<surname>Chong</surname>
<given-names>Y</given-names>
</name>
<name>
<surname>Khanikaev</surname>
<given-names>A</given-names>
</name>
<name>
<surname>Schomerus</surname>
<given-names>H</given-names>
</name>
<name>
<surname>Maczewsky</surname>
<given-names>LJ</given-names>
</name>
<name>
<surname>Kremer</surname>
<given-names>M</given-names>
</name>
<etal/>
</person-group> <article-title>Roadmap on topological photonics</article-title>. <source>J Phys Photon</source> (<year>2022</year>) <volume>4</volume>:<fpage>032501</fpage>. <pub-id pub-id-type="doi">10.1088/2515-7647/ac4ee4</pub-id>
</citation>
</ref>
<ref id="B20">
<label>20.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Berezinskii</surname>
<given-names>VL</given-names>
</name>
</person-group>. <article-title>Destruction of long-range order in one-dimensional and two-dimensional systems having a continuous symmetry group I. classical systems</article-title>. <source>Sov Phys JETP</source> (<year>1971</year>) <volume>32</volume>:<fpage>493</fpage>&#x2013;<lpage>500</lpage>.</citation>
</ref>
<ref id="B21">
<label>21.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Kosterlitz</surname>
<given-names>JM</given-names>
</name>
<name>
<surname>Thouless</surname>
<given-names>DJ</given-names>
</name>
</person-group>. <article-title>Ordering, metastability and phase transitions in two-dimensional systems</article-title>. <source>J Phys C: Solid State Phys</source> (<year>1973</year>) <volume>6</volume>:<fpage>1181</fpage>&#x2013;<lpage>203</lpage>. <pub-id pub-id-type="doi">10.1088/0022-3719/6/7/010</pub-id>
</citation>
</ref>
<ref id="B22">
<label>22.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Thouless</surname>
<given-names>DJ</given-names>
</name>
<name>
<surname>Kohmoto</surname>
<given-names>M</given-names>
</name>
<name>
<surname>Nightingale</surname>
<given-names>NP</given-names>
</name>
<name>
<surname>den Nijs</surname>
<given-names>M</given-names>
</name>
</person-group>. <article-title>Quantized Hall conductance in a two-dimensional periodic potential</article-title>. <source>Phys Rev Lett</source> (<year>1982</year>) <volume>49</volume>:<fpage>405</fpage>&#x2013;<lpage>8</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.49.405</pub-id>
</citation>
</ref>
<ref id="B23">
<label>23.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Wen</surname>
<given-names>XG</given-names>
</name>
</person-group>. <source>Quantum field theory of many-body systems</source>. <publisher-loc>Oxford</publisher-loc>: <publisher-name>Oxford University Press</publisher-name> (<year>2004</year>). <pub-id pub-id-type="doi">10.1093/acprofoso/9780199227259.001.0001</pub-id>
</citation>
</ref>
<ref id="B24">
<label>24.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Nagaosa</surname>
<given-names>N</given-names>
</name>
</person-group>. <source>Quantum field theory in condensed matter physics</source>. <publisher-loc>Berlin, Heidelberg</publisher-loc>: <publisher-name>Springer</publisher-name> (<year>1999</year>). <pub-id pub-id-type="doi">10.1007/978-3-662-03774-4</pub-id>
</citation>
</ref>
<ref id="B25">
<label>25.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Ezawa</surname>
<given-names>ZF</given-names>
</name>
</person-group>. <source>Quantum Hall effects: Recent theoretical and experimental developments</source>. <publisher-loc>New Jersey</publisher-loc>: <publisher-name>World Scientific</publisher-name> (<year>2013</year>).</citation>
</ref>
<ref id="B26">
<label>26.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Nambu</surname>
<given-names>Y</given-names>
</name>
</person-group>. <article-title>Quasi-particles and gauge invariance in the theory of superconductivity</article-title>. <source>Phys Rev</source> (<year>1960</year>) <volume>117</volume>:<fpage>648</fpage>&#x2013;<lpage>63</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRev.117.648</pub-id>
</citation>
</ref>
<ref id="B27">
<label>27.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Anderson</surname>
<given-names>PW</given-names>
</name>
</person-group>. <article-title>Random-phase approximation in the theory of superconductivity</article-title>. <source>Phys Rev</source> (<year>1958</year>) <volume>112</volume>:<fpage>1900</fpage>&#x2013;<lpage>16</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRev.112.1900</pub-id>
</citation>
</ref>
<ref id="B28">
<label>28.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Goldstone</surname>
<given-names>J</given-names>
</name>
<name>
<surname>Salam</surname>
<given-names>A</given-names>
</name>
<name>
<surname>Weinberg</surname>
<given-names>S</given-names>
</name>
</person-group>. <article-title>Broken symmetries</article-title>. <source>Phy Rev</source> (<year>1962</year>) <volume>127</volume>:<fpage>965</fpage>&#x2013;<lpage>70</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRev.127.965</pub-id>
</citation>
</ref>
<ref id="B29">
<label>29.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Higgs</surname>
<given-names>PW</given-names>
</name>
</person-group>. <article-title>Broken symmetries and the masses of gauge bosons</article-title>. <source>Phys Lett</source> (<year>1962</year>) <volume>12</volume>:<fpage>508</fpage>&#x2013;<lpage>9</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.13.508</pub-id>
</citation>
</ref>
<ref id="B30">
<label>30.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Schrieffer</surname>
<given-names>JR</given-names>
</name>
</person-group>. <source>Theory of superconductivity</source>. <publisher-loc>Boca Raton</publisher-loc>: <publisher-name>CRC Press</publisher-name> (<year>1971</year>). <pub-id pub-id-type="doi">10.1201/9780429495700</pub-id>
</citation>
</ref>
<ref id="B31">
<label>31.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Ginzburg</surname>
<given-names>VL</given-names>
</name>
<name>
<surname>Landau</surname>
<given-names>LD</given-names>
</name>
</person-group>. <article-title>On the theory of superconductivity</article-title>. <source>J Exp Theor Phys</source> (<year>1950</year>) <volume>20</volume>:<fpage>1064</fpage>. <pub-id pub-id-type="doi">10.1016/c2013-0-01806-3</pub-id>
</citation>
</ref>
<ref id="B32">
<label>32.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Bardeen</surname>
<given-names>J</given-names>
</name>
<name>
<surname>Cooper</surname>
<given-names>LN</given-names>
</name>
<name>
<surname>Schrieffer</surname>
<given-names>JR</given-names>
</name>
</person-group>. <article-title>Theory of superconductivity</article-title>. <source>Phys Rev</source> (<year>1957</year>) <volume>108</volume>:<fpage>1175</fpage>&#x2013;<lpage>204</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRev.108.1175</pub-id>
</citation>
</ref>
<ref id="B33">
<label>33.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Coleman</surname>
<given-names>S</given-names>
</name>
</person-group>. <source>Aspects of symmetry</source>. <publisher-loc>Cambridge</publisher-loc>: <publisher-name>Cambridge University Press</publisher-name> (<year>1985</year>).</citation>
</ref>
<ref id="B34">
<label>34.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Shapere</surname>
<given-names>A</given-names>
</name>
<name>
<surname>Wilczek</surname>
<given-names>F</given-names>
</name>
</person-group>. <article-title>Classical time crystals</article-title>. <source>Phys Rev Lett</source> (<year>2012</year>) <volume>109</volume>:<fpage>160402</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.109.160402</pub-id>
</citation>
</ref>
<ref id="B35">
<label>35.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Wilczek</surname>
<given-names>F</given-names>
</name>
</person-group>. <article-title>Quantum time crystals</article-title>. <source>Phys Rev Lett</source> (<year>2012</year>) <volume>109</volume>:<fpage>160401</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.109.160401</pub-id>
</citation>
</ref>
<ref id="B36">
<label>36.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Armitage</surname>
<given-names>NP</given-names>
</name>
<name>
<surname>Mele</surname>
<given-names>EJ</given-names>
</name>
<name>
<surname>Vishwanath</surname>
<given-names>A</given-names>
</name>
</person-group>. <article-title>Weyl and Dirac semimetals in three-dimensional solids</article-title>. <source>Rev Mod Phys</source> (<year>2018</year>) <volume>90</volume>:<fpage>015001</fpage>. <pub-id pub-id-type="doi">10.1103/RevModPhys.90.015001</pub-id>
</citation>
</ref>
<ref id="B37">
<label>37.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Chern</surname>
<given-names>SS</given-names>
</name>
</person-group>. <article-title>Characteristic classes of hermitian manifolds</article-title>. <source>Ann Math</source> (<year>1946</year>) <volume>47</volume>:<fpage>85</fpage>&#x2013;<lpage>121</lpage>. <pub-id pub-id-type="doi">10.2307/1969037</pub-id>
</citation>
</ref>
<ref id="B38">
<label>38.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Pancharatnam</surname>
<given-names>S</given-names>
</name>
</person-group>. <article-title>Generalized theory of interference, and its applications</article-title>. <source>Proc Indian Acad Sci Sect A</source> (<year>1956</year>) <volume>XLIV</volume>:<fpage>247</fpage>&#x2013;<lpage>62</lpage>. <pub-id pub-id-type="doi">10.1007/BF03046050</pub-id>
</citation>
</ref>
<ref id="B39">
<label>39.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Berry</surname>
<given-names>MV</given-names>
</name>
</person-group>. <article-title>Quantual phase factors accompanying adiabatic changes</article-title>. <source>Proc R Sco Lond A</source> (<year>1984</year>) <volume>392</volume>:<fpage>45</fpage>&#x2013;<lpage>57</lpage>. <pub-id pub-id-type="doi">10.1098/rspa.1984.0023</pub-id>
</citation>
</ref>
<ref id="B40">
<label>40.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Tomita</surname>
<given-names>A</given-names>
</name>
<name>
<surname>Cao</surname>
<given-names>RY</given-names>
</name>
</person-group>. <article-title>Observation of Berry&#x2019;s topological phase by use of an optical fiber</article-title>. <source>Phys Rev Lett</source> (<year>1986</year>) <volume>57</volume>:<fpage>937</fpage>&#x2013;<lpage>40</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.57.937</pub-id>
</citation>
</ref>
<ref id="B41">
<label>41.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Cisowski</surname>
<given-names>C</given-names>
</name>
<name>
<surname>G&#xf6;tte</surname>
<given-names>JB</given-names>
</name>
<name>
<surname>Franke-Arnold</surname>
<given-names>S</given-names>
</name>
</person-group>. <article-title>
<italic>Colloquium</italic>: Geometric phases of light: Insights from fiber bundle theory</article-title>. <source>Rev Mod Phys</source> (<year>2022</year>) <volume>94</volume>:<fpage>031001</fpage>. <pub-id pub-id-type="doi">10.1103/revmodphys.94.031001</pub-id>
</citation>
</ref>
<ref id="B42">
<label>42.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Hasan</surname>
<given-names>MZ</given-names>
</name>
<name>
<surname>Kane</surname>
<given-names>CL</given-names>
</name>
</person-group>. <article-title>
<italic>Colloquium</italic>: Topological insulators</article-title>. <source>Rev Mod Phys</source> (<year>2010</year>) <volume>82</volume>:<fpage>3045</fpage>&#x2013;<lpage>67</lpage>. <pub-id pub-id-type="doi">10.1103/RevModPhys.82.3045</pub-id>
</citation>
</ref>
<ref id="B43">
<label>43.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Qi</surname>
<given-names>XL</given-names>
</name>
<name>
<surname>Zhang</surname>
<given-names>SC</given-names>
</name>
</person-group>. <article-title>Topological insulators and superconductors</article-title>. <source>Rev Mod Phys</source> (<year>2011</year>) <volume>83</volume>:<fpage>1057</fpage>&#x2013;<lpage>110</lpage>. <pub-id pub-id-type="doi">10.1103/RevModPhys.83.1057</pub-id>
</citation>
</ref>
<ref id="B44">
<label>44.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Nakahara</surname>
<given-names>M</given-names>
</name>
</person-group>. <source>Geometry, toplogy and physics</source>. <publisher-loc>Bristol</publisher-loc>: <publisher-name>Hilger</publisher-name> (<year>1990</year>).</citation>
</ref>
<ref id="B45">
<label>45.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Shirakawa</surname>
<given-names>H</given-names>
</name>
<name>
<surname>Louis</surname>
<given-names>EJ</given-names>
</name>
<name>
<surname>Macdirmid</surname>
<given-names>AG</given-names>
</name>
<name>
<surname>Chiang</surname>
<given-names>CK</given-names>
</name>
<name>
<surname>Heeger</surname>
<given-names>AJ</given-names>
</name>
</person-group>. <article-title>Synthesis of electrically conducting organic polymers: Halogen derivatives of polyacetylene, (CH)<sub>x</sub>
</article-title>. <source>J C S Chem Comm</source> (<year>1977</year>) <fpage>578</fpage>&#x2013;<lpage>80</lpage>. <pub-id pub-id-type="doi">10.1039/C39770000578</pub-id>
</citation>
</ref>
<ref id="B46">
<label>46.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Kroto</surname>
<given-names>HW</given-names>
</name>
<name>
<surname>Heath</surname>
<given-names>JR</given-names>
</name>
<name>
<surname>O&#x2019;Brien</surname>
<given-names>SC</given-names>
</name>
<name>
<surname>Curl</surname>
<given-names>RF</given-names>
</name>
<name>
<surname>Smalley</surname>
<given-names>RE</given-names>
</name>
</person-group>. <article-title>C<sub>60</sub>: Buckminsterfullerene</article-title>. <source>Nat</source> (<year>1985</year>) <volume>318</volume>:<fpage>162</fpage>&#x2013;<lpage>3</lpage>. <pub-id pub-id-type="doi">10.1038/318162a0</pub-id>
</citation>
</ref>
<ref id="B47">
<label>47.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Iijima</surname>
<given-names>S</given-names>
</name>
</person-group>. <article-title>Helical microtubules of graphitic carbon</article-title>. <source>Nature</source> (<year>1991</year>) <volume>354</volume>:<fpage>56</fpage>&#x2013;<lpage>8</lpage>. <pub-id pub-id-type="doi">10.1038/354056a0</pub-id>
</citation>
</ref>
<ref id="B48">
<label>48.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Tanda</surname>
<given-names>S</given-names>
</name>
<name>
<surname>Tsuneta</surname>
<given-names>T</given-names>
</name>
<name>
<surname>Okajima</surname>
<given-names>Y</given-names>
</name>
<name>
<surname>Inagaki</surname>
<given-names>K</given-names>
</name>
<name>
<surname>Yamaya</surname>
<given-names>K</given-names>
</name>
<name>
<surname>Hatakenaka</surname>
<given-names>N</given-names>
</name>
</person-group>. <article-title>A M&#xf6;bius strip of single crystals</article-title>. <source>Nature</source> (<year>2002</year>) <volume>417</volume>:<fpage>397</fpage>&#x2013;<lpage>8</lpage>. <pub-id pub-id-type="doi">10.1038/417397a</pub-id>
</citation>
</ref>
<ref id="B49">
<label>49.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Novoselov</surname>
<given-names>KS</given-names>
</name>
<name>
<surname>Geim</surname>
<given-names>AK</given-names>
</name>
<name>
<surname>Morozov</surname>
<given-names>SV</given-names>
</name>
<name>
<surname>Jiang</surname>
<given-names>D</given-names>
</name>
<name>
<surname>Zhang</surname>
<given-names>Y</given-names>
</name>
<name>
<surname>Dubonos</surname>
<given-names>SV</given-names>
</name>
<etal/>
</person-group> <article-title>Electric field effect in atomically thin carbon films</article-title>. <source>Science</source> (<year>2004</year>) <volume>306</volume>:<fpage>666</fpage>&#x2013;<lpage>9</lpage>. <pub-id pub-id-type="doi">10.1126/science.1102896</pub-id>
</citation>
</ref>
<ref id="B50">
<label>50.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Novoselov</surname>
<given-names>KS</given-names>
</name>
<name>
<surname>Geim</surname>
<given-names>AK</given-names>
</name>
<name>
<surname>Morozov</surname>
<given-names>SV</given-names>
</name>
<name>
<surname>Jiang</surname>
<given-names>D</given-names>
</name>
<name>
<surname>Katsnelson</surname>
<given-names>MI</given-names>
</name>
<name>
<surname>Grigorieva</surname>
<given-names>IV</given-names>
</name>
<etal/>
</person-group> <article-title>Two-dimensional gas of massless Dirac fermions in graphene</article-title>. <source>Nature</source> (<year>2005</year>) <volume>438</volume>:<fpage>197</fpage>&#x2013;<lpage>200</lpage>. <pub-id pub-id-type="doi">10.1038/nature04233</pub-id>
</citation>
</ref>
<ref id="B51">
<label>51.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Fang</surname>
<given-names>L</given-names>
</name>
<name>
<surname>Olson</surname>
<given-names>MA</given-names>
</name>
<name>
<surname>Ben&#xed;tez</surname>
<given-names>D</given-names>
</name>
<name>
<surname>Tkatchouk</surname>
<given-names>E</given-names>
</name>
<name>
<surname>Wag</surname>
<suffix>III</suffix>
</name>
<name>
<surname>Stoddart</surname>
<given-names>JF</given-names>
</name>
</person-group>. <article-title>Mechanically bonded macromolecules</article-title>. <source>Chem Soc Rev</source> (<year>2010</year>) <volume>39</volume>:<fpage>17</fpage>&#x2013;<lpage>29</lpage>. <pub-id pub-id-type="doi">10.1039/b917901a</pub-id>
</citation>
</ref>
<ref id="B52">
<label>52.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Sunada</surname>
<given-names>T</given-names>
</name>
</person-group>. <article-title>Lecture on topological crystallography</article-title>. <source>Jpn J. Math.</source> (<year>2012</year>) <volume>7</volume>:<fpage>1</fpage>&#x2013;<lpage>39</lpage>. <pub-id pub-id-type="doi">10.1007/s11537-012-1144-4</pub-id>
</citation>
</ref>
<ref id="B53">
<label>53.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Dabrowski-Tumanski</surname>
<given-names>P</given-names>
</name>
<name>
<surname>Sulkowska</surname>
<given-names>JI</given-names>
</name>
</person-group>. <article-title>Topological knots and links in proteins</article-title>. <source>PNAS</source> (<year>2017</year>) <volume>114</volume>:<fpage>3415</fpage>&#x2013;<lpage>20</lpage>. <pub-id pub-id-type="doi">10.1073/pnas.1615862114</pub-id>
</citation>
</ref>
<ref id="B54">
<label>54.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Tomita</surname>
<given-names>I</given-names>
</name>
<name>
<surname>Saito</surname>
<given-names>S</given-names>
</name>
</person-group>. <article-title>Lattice deformation on flat-band modulation in 3D hopf-linked carbon allotrope: Hopfene</article-title>. <source>Appl Phys Lett</source> (<year>2019</year>) <volume>115</volume>:<fpage>083102</fpage>. <pub-id pub-id-type="doi">10.1063/1.5118967</pub-id>
</citation>
</ref>
<ref id="B55">
<label>55.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Saito</surname>
<given-names>S</given-names>
</name>
<name>
<surname>Tomita</surname>
<given-names>I</given-names>
</name>
</person-group>. <article-title>Topological carbon allotropes: Knotted molecules, carbon-nano-chain, chainmails, and hopfene</article-title>. <source>Mater Res Express</source> (<year>2020</year>) <volume>7</volume>:<fpage>056301</fpage>. <pub-id pub-id-type="doi">10.1088/2053-1591/ab8df3</pub-id>
</citation>
</ref>
<ref id="B56">
<label>56.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Stokes</surname>
<given-names>GG</given-names>
</name>
</person-group>. <article-title>On the composition and resolution of streams of polarized light from different sources</article-title>. <source>Trans Cambridge Phil Soc</source> (<year>1851</year>) <volume>9</volume>:<fpage>399</fpage>&#x2013;<lpage>416</lpage>. <pub-id pub-id-type="doi">10.1017/CBO9780511702266.010</pub-id>
</citation>
</ref>
<ref id="B57">
<label>57.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Poincar&#xe9;</surname>
<given-names>JH</given-names>
</name>
</person-group>. <article-title>Th&#xe9;orie math&#xe9;matique de la lumi&#xe8;re</article-title>. In: <source>Tome</source>. <publisher-loc>Paris</publisher-loc>: <publisher-name>G. Carr&#xe9;</publisher-name> (<year>1892</year>).</citation>
</ref>
<ref id="B58">
<label>58.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Born</surname>
<given-names>M</given-names>
</name>
<name>
<surname>Wolf</surname>
<given-names>E</given-names>
</name>
</person-group>. <source>Principles of optics</source>. <publisher-loc>Cambridge</publisher-loc>: <publisher-name>Cambridge University Press</publisher-name> (<year>1999</year>). <pub-id pub-id-type="doi">10.1017/9781108769914</pub-id>
</citation>
</ref>
<ref id="B59">
<label>59.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Jackson</surname>
<given-names>JD</given-names>
</name>
</person-group>. <source>Classical electrodynamics</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>John Wiley &#x26; Sons</publisher-name> (<year>1999</year>).</citation>
</ref>
<ref id="B60">
<label>60.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Yariv</surname>
<given-names>Y</given-names>
</name>
<name>
<surname>Yeh</surname>
<given-names>P</given-names>
</name>
</person-group>. <source>Photonics: Optical electronics in modern communications</source>. <publisher-loc>Oxford</publisher-loc>: <publisher-name>Oxford University Press</publisher-name> (<year>1997</year>).</citation>
</ref>
<ref id="B61">
<label>61.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Gil</surname>
<given-names>JJ</given-names>
</name>
<name>
<surname>Ossikovski</surname>
<given-names>R</given-names>
</name>
</person-group>. <source>Polarized light and the mueller matrix approach</source>. <publisher-loc>London</publisher-loc>: <publisher-name>CRC Press</publisher-name> (<year>2016</year>). <pub-id pub-id-type="doi">10.1201/b19711</pub-id>
</citation>
</ref>
<ref id="B62">
<label>62.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Goldstein</surname>
<given-names>DH</given-names>
</name>
</person-group>. <source>Polarized light</source>. <publisher-loc>London</publisher-loc>: <publisher-name>CRC Press</publisher-name> (<year>2011</year>). <pub-id pub-id-type="doi">10.1201/b10436</pub-id>
</citation>
</ref>
<ref id="B63">
<label>63.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Parker</surname>
<given-names>MA</given-names>
</name>
</person-group>. <source>Physics of optoelectronics</source>. <publisher-loc>Boca Raton</publisher-loc>: <publisher-name>Taylor &#x26; Francis</publisher-name> (<year>2005</year>). <pub-id pub-id-type="doi">10.1201/9781420027716</pub-id>
</citation>
</ref>
<ref id="B64">
<label>64.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Chuang</surname>
<given-names>SL</given-names>
</name>
</person-group>. <source>Physics of photonic devices</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>John Wiley &#x26; SonsWiley</publisher-name> (<year>2009</year>).</citation>
</ref>
<ref id="B65">
<label>65.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Hecht</surname>
<given-names>E</given-names>
</name>
</person-group>. <source>Optics</source>. <publisher-loc>Essex</publisher-loc>: <publisher-name>Pearson Education</publisher-name> (<year>2017</year>).</citation>
</ref>
<ref id="B66">
<label>66.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Pedrotti</surname>
<given-names>FL</given-names>
</name>
<name>
<surname>Pedrotti</surname>
<given-names>LM</given-names>
</name>
<name>
<surname>Pedrotti</surname>
<given-names>LS</given-names>
</name>
</person-group>. <source>Introduction to optics</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Pearson Education</publisher-name> (<year>2007</year>).</citation>
</ref>
<ref id="B67">
<label>67.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Grynberg</surname>
<given-names>G</given-names>
</name>
<name>
<surname>Aspect</surname>
<given-names>A</given-names>
</name>
<name>
<surname>Fabre</surname>
<given-names>C</given-names>
</name>
</person-group>. <source>Introduction to quantum optics: From the semi-classical approach to quantized light</source>. <publisher-loc>Cambridge</publisher-loc>: <publisher-name>Cambridge University Press</publisher-name> (<year>2010</year>).</citation>
</ref>
<ref id="B68">
<label>68.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Jones</surname>
<given-names>RC</given-names>
</name>
</person-group>. <article-title>A new calculus for the treatment of optical systems i. description and discussion of the calculus</article-title>. <source>J Opt Soc Am</source> (<year>1941</year>) <volume>31</volume>:<fpage>488</fpage>&#x2013;<lpage>93</lpage>. <pub-id pub-id-type="doi">10.1364/JOSA.31.000488</pub-id>
</citation>
</ref>
<ref id="B69">
<label>69.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Hurwitz</surname>
<given-names>H</given-names>
</name>
<name>
<surname>Jones</surname>
<given-names>RC</given-names>
</name>
</person-group>. <article-title>A new calculus for the treatment of optical systems II. proof of three general equivalence theorems</article-title>. <source>J Opt Soc Am</source> (<year>1941</year>) <volume>31</volume>:<fpage>493</fpage>&#x2013;<lpage>9</lpage>. <pub-id pub-id-type="doi">10.1364/JOSA.31.000493</pub-id>
</citation>
</ref>
<ref id="B70">
<label>70.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Salazar-Ariza</surname>
<given-names>K</given-names>
</name>
<name>
<surname>Torres</surname>
<given-names>R</given-names>
</name>
</person-group>. <article-title>Trajectories on the Poincar&#xe9; sphere of polarization states of a beam passing through a rotating linear retarder</article-title>. <source>J Opt Soc Am</source> (<year>2018</year>) <volume>35</volume>:<fpage>65</fpage>&#x2013;<lpage>72</lpage>. <pub-id pub-id-type="doi">10.1364/josaa.35.000065</pub-id>
</citation>
</ref>
<ref id="B71">
<label>71.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Fano</surname>
<given-names>U</given-names>
</name>
</person-group>. <article-title>A Stokes-parameter technique for the treatment of polarization in quantum mechanics</article-title>. <source>Phy Rev</source> (<year>1954</year>) <volume>93</volume>:<fpage>121</fpage>&#x2013;<lpage>3</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRev.93.121</pub-id>
</citation>
</ref>
<ref id="B72">
<label>72.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Baym</surname>
<given-names>G</given-names>
</name>
</person-group>. <source>Lectures on quantum mechanics</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Westview Press</publisher-name> (<year>1969</year>).</citation>
</ref>
<ref id="B73">
<label>73.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Sakurai</surname>
<given-names>JJ</given-names>
</name>
</person-group>. <source>Advanced quantum mechanics</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Addison-Wesley Publishing Company</publisher-name> (<year>1967</year>).</citation>
</ref>
<ref id="B74">
<label>74.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Sakurai</surname>
<given-names>JJ</given-names>
</name>
<name>
<surname>Napolitano</surname>
<given-names>JJ</given-names>
</name>
</person-group>. <source>Modern quantum mechanics</source>. <publisher-loc>Edinburgh</publisher-loc>: <publisher-name>Pearson</publisher-name> (<year>2014</year>).</citation>
</ref>
<ref id="B75">
<label>75.</label>
<citation citation-type="thesis">
<person-group person-group-type="author">
<name>
<surname>Saito</surname>
<given-names>S</given-names>
</name>
</person-group>. <source>Spin of photons: Nature of polarisation</source>. <comment>arXiv</comment> (<year>2023</year>). p. <fpage>2303</fpage>. <pub-id pub-id-type="doi">10.48550/arXiv.2303.17112</pub-id>
<comment>17112</comment>
</citation>
</ref>
<ref id="B76">
<label>76.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Saito</surname>
<given-names>S</given-names>
</name>
</person-group>. <article-title>Quantum commutation relationship for photonic orbital angular momentum</article-title>. <source>Front Phys</source> (<year>2023</year>) <volume>11</volume>:<fpage>1225346</fpage>. <pub-id pub-id-type="doi">10.3389/fphy.2023.1225346</pub-id>
</citation>
</ref>
<ref id="B77">
<label>77.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Saito</surname>
<given-names>S</given-names>
</name>
</person-group>. <article-title>Spin and orbital angular momentum of coherent photons in a waveguide</article-title>. <source>Front Phys</source> (<year>2023</year>) <volume>11</volume>:<fpage>1225360</fpage>. <pub-id pub-id-type="doi">10.3389/fphy.2023.1225360</pub-id>
</citation>
</ref>
<ref id="B78">
<label>78.</label>
<citation citation-type="thesis">
<person-group person-group-type="author">
<name>
<surname>Saito</surname>
<given-names>S</given-names>
</name>
</person-group>. <source>Dirac equation for photons: Origin of polarisation</source>. <comment>arXiv</comment>(<year>2023</year>) <fpage>2303</fpage>. <pub-id pub-id-type="doi">10.48550/arXiv.2303.18196</pub-id>
</citation>
</ref>
<ref id="B79">
<label>79.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Saito</surname>
<given-names>S</given-names>
</name>
</person-group>. <article-title>Special theory of relativity for a graded index fibre</article-title>. <source>Front Phys</source> (<year>2023</year>) <volume>11</volume>:<fpage>1225387</fpage>. <pub-id pub-id-type="doi">10.3389/fphy.2023.1225387</pub-id>
</citation>
</ref>
<ref id="B80">
<label>80.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Saito</surname>
<given-names>S</given-names>
</name>
</person-group>. <article-title>Poincar&#xe9; rotator for vortexed photons</article-title>. <source>Front Phys</source> (<year>2021</year>) <volume>9</volume>:<fpage>646228</fpage>. <pub-id pub-id-type="doi">10.3389/fphy.2021.646228</pub-id>
</citation>
</ref>
<ref id="B81">
<label>81.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Saito</surname>
<given-names>S</given-names>
</name>
</person-group>. <article-title>
<italic>SU</italic>(2) symmetry of coherent photons and application to poincar&#xe9; rotator</article-title>. <source>Front Phys</source> (<year>2023</year>) <volume>11</volume>:<fpage>1225419</fpage>. <pub-id pub-id-type="doi">10.3389/fphy.2023.1225419</pub-id>
</citation>
</ref>
<ref id="B82">
<label>82.</label>
<citation citation-type="thesis">
<person-group person-group-type="author">
<name>
<surname>Saito</surname>
<given-names>S</given-names>
</name>
</person-group>. <source>Macroscopic single-qubit operation for coherent photons</source> (<year>2023</year>). <comment>
<italic>arXiv</italic> 2304</comment>. <pub-id pub-id-type="doi">10.48550/arXiv.2304.00013</pub-id>
</citation>
</ref>
<ref id="B83">
<label>83.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Stubhaug</surname>
<given-names>A</given-names>
</name>
</person-group>. <source>The mathematician sophus Lie - it was the audacity of my thinking</source>. <publisher-loc>Berlin</publisher-loc>: <publisher-name>Springer-Verlag</publisher-name> (<year>2002</year>).</citation>
</ref>
<ref id="B84">
<label>84.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Fulton</surname>
<given-names>W</given-names>
</name>
<name>
<surname>Harris</surname>
<given-names>J</given-names>
</name>
</person-group>. <source>Representation theory: A first course</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Springer</publisher-name> (<year>2004</year>).</citation>
</ref>
<ref id="B85">
<label>85.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Hall</surname>
<given-names>BC</given-names>
</name>
</person-group>. <source>Lie groups, Lie algebras, and representations; an elementary introduction</source>. <publisher-loc>Switzerland</publisher-loc>: <publisher-name>Springer</publisher-name> (<year>2003</year>).</citation>
</ref>
<ref id="B86">
<label>86.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Pfeifer</surname>
<given-names>W</given-names>
</name>
</person-group>. <source>The Lie Algebras su(N) An Introduction</source>. <publisher-loc>Berlin</publisher-loc>: <publisher-name>Springer Basel AG</publisher-name> (<year>2003</year>).</citation>
</ref>
<ref id="B87">
<label>87.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Dirac</surname>
<given-names>PAM</given-names>
</name>
</person-group>. <source>The principle of quantum mechanics</source>. <publisher-loc>Oxford</publisher-loc>: <publisher-name>Oxford University Press</publisher-name> (<year>1930</year>).</citation>
</ref>
<ref id="B88">
<label>88.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Georgi</surname>
<given-names>H</given-names>
</name>
</person-group>. <source>Lie algebras in particle physics: From isospin to unified theories (Frontiers in physics)</source>. <publisher-loc>Massachusetts</publisher-loc>: <publisher-name>Westview Press</publisher-name> (<year>1999</year>).</citation>
</ref>
<ref id="B89">
<label>89.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Arecchi</surname>
<given-names>FT</given-names>
</name>
<name>
<surname>Courtens</surname>
<given-names>E</given-names>
</name>
<name>
<surname>Gilmore</surname>
<given-names>R</given-names>
</name>
<name>
<surname>Thomas</surname>
<given-names>H</given-names>
</name>
</person-group>. <article-title>Atomic coherent states in quantum optics</article-title>. <source>Phys Rev A</source> (<year>1972</year>) <volume>6</volume>:<fpage>2211</fpage>&#x2013;<lpage>37</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRevA.6.2211</pub-id>
</citation>
</ref>
<ref id="B90">
<label>90.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Narducci</surname>
<given-names>LM</given-names>
</name>
<name>
<surname>Coulter</surname>
<given-names>CA</given-names>
</name>
<name>
<surname>Bowden</surname>
<given-names>CM</given-names>
</name>
</person-group>. <article-title>Exact diffusion equation for a model for superradiant emission</article-title>. <source>Phys Rev A</source> (<year>1972</year>) <volume>6</volume>:<fpage>829</fpage>&#x2013;<lpage>45</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRevA.9.829</pub-id>
</citation>
</ref>
<ref id="B91">
<label>91.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Fox</surname>
<given-names>M</given-names>
</name>
</person-group>. <source>Quantum optics: An introduction</source>. <publisher-loc>Oxford</publisher-loc>: <publisher-name>Oxford University Press</publisher-name> (<year>2006</year>).</citation>
</ref>
<ref id="B92">
<label>92.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Wootters</surname>
<given-names>WK</given-names>
</name>
<name>
<surname>Zurek</surname>
<given-names>WH</given-names>
</name>
</person-group>. <article-title>A single quantum cannot be cloned</article-title>. <source>Nat</source> (<year>1982</year>) <volume>299</volume>:<fpage>802</fpage>&#x2013;<lpage>3</lpage>. <pub-id pub-id-type="doi">10.1038/299802a0</pub-id>
</citation>
</ref>
<ref id="B93">
<label>93.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Dieks</surname>
<given-names>D</given-names>
</name>
</person-group>. <article-title>Communication by EPR devices</article-title>. <source>Phys Lett A</source> (<year>1982</year>) <volume>92</volume>:<fpage>271</fpage>&#x2013;<lpage>2</lpage>. <pub-id pub-id-type="doi">10.1016/0375-9601(82)90084-6</pub-id>
</citation>
</ref>
<ref id="B94">
<label>94.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Kikuchi</surname>
<given-names>K</given-names>
</name>
</person-group>. <article-title>Fundamentals of coherent optical fiber communications</article-title>. <source>J Light Technol</source> (<year>2016</year>) <volume>34</volume>:<fpage>157</fpage>&#x2013;<lpage>79</lpage>. <pub-id pub-id-type="doi">10.1109/JLT.2015.2463719</pub-id>
</citation>
</ref>
<ref id="B95">
<label>95.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Debnath</surname>
<given-names>K</given-names>
</name>
<name>
<surname>Thomson</surname>
<given-names>DJ</given-names>
</name>
<name>
<surname>Zhang</surname>
<given-names>W</given-names>
</name>
<name>
<surname>Khokhar</surname>
<given-names>AZ</given-names>
</name>
<name>
<surname>Littlejohns</surname>
<given-names>C</given-names>
</name>
<name>
<surname>Byers</surname>
<given-names>F</given-names>
</name>
<etal/>
</person-group> <article-title>All-silicon carrier accumulation modulator based on a lateral metal-oxide-semiconductor capacitor</article-title>. <source>Photon Res</source> (<year>2018</year>) <volume>6</volume>:<fpage>373</fpage>&#x2013;<lpage>9</lpage>. <pub-id pub-id-type="doi">10.1364/PRJ.6.000373</pub-id>
</citation>
</ref>
<ref id="B96">
<label>96.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Zhang</surname>
<given-names>W</given-names>
</name>
<name>
<surname>Debnath</surname>
<given-names>K</given-names>
</name>
<name>
<surname>Chen</surname>
<given-names>B</given-names>
</name>
<name>
<surname>Li</surname>
<given-names>K</given-names>
</name>
<name>
<surname>Liu</surname>
<given-names>S</given-names>
</name>
<name>
<surname>Ebert</surname>
<given-names>M</given-names>
</name>
<etal/>
</person-group> <article-title>High bandwidth capacitance efficient silicon MOS modulator</article-title>. <source>J Light Technol</source> (<year>2021</year>) <volume>39</volume>:<fpage>201</fpage>&#x2013;<lpage>7</lpage>. <pub-id pub-id-type="doi">10.1109/JLT.2020.3026945</pub-id>
</citation>
</ref>
<ref id="B97">
<label>97.</label>
<citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname>Goi</surname>
<given-names>K</given-names>
</name>
<name>
<surname>Kusaka</surname>
<given-names>H</given-names>
</name>
<name>
<surname>Oka</surname>
<given-names>A</given-names>
</name>
<name>
<surname>Ogawa</surname>
<given-names>K</given-names>
</name>
<name>
<surname>Liow</surname>
<given-names>TY</given-names>
</name>
<name>
<surname>Tu</surname>
<given-names>X</given-names>
</name>
<etal/>
</person-group> <article-title>128-Gb/s DP-QPSK using low-loss monolithic silicon IQ modulator integrated with partial-rib polarization rotator</article-title>. In: <source>Optical fiber communication conference (OFC)</source>. <publisher-loc>San Francisco</publisher-loc>: <publisher-name>Optica Publishing Group</publisher-name> (<year>2014</year>). p. <fpage>W1I</fpage>&#x2013;<lpage>2</lpage>. <pub-id pub-id-type="doi">10.1364/OFC.2014.W1I.2</pub-id>
</citation>
</ref>
<ref id="B98">
<label>98.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Doerr</surname>
<given-names>CR</given-names>
</name>
</person-group>. <article-title>Silicon photonic integration in telecommunications</article-title>. <source>Front Phys</source> (<year>2015</year>) <volume>3</volume>:<fpage>37</fpage>. <pub-id pub-id-type="doi">10.3389/fphy.2015.00037</pub-id>
</citation>
</ref>
<ref id="B99">
<label>99.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Zdagkas</surname>
<given-names>A</given-names>
</name>
<name>
<surname>McDonnell</surname>
<given-names>C</given-names>
</name>
<name>
<surname>Deng</surname>
<given-names>J</given-names>
</name>
<name>
<surname>Shen</surname>
<given-names>Y</given-names>
</name>
<name>
<surname>Li</surname>
<given-names>G</given-names>
</name>
<name>
<surname>Ellenbogen</surname>
<given-names>T</given-names>
</name>
<etal/>
</person-group> <article-title>Observation of toroidal pulses of light</article-title>. <source>Nat Photon</source> (<year>2022</year>) <volume>16</volume>:<fpage>523</fpage>&#x2013;<lpage>8</lpage>. <pub-id pub-id-type="doi">10.1038/s41566-022-01028-5</pub-id>
</citation>
</ref>
<ref id="B100">
<label>100.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Simon</surname>
<given-names>R</given-names>
</name>
<name>
<surname>Mukunda</surname>
<given-names>N</given-names>
</name>
</person-group>. <article-title>Minimal three-component SU(2) gadget for polarization optics</article-title>. <source>Phys Lett</source> (<year>1990</year>) <volume>143</volume>:<fpage>165</fpage>&#x2013;<lpage>9</lpage>. <pub-id pub-id-type="doi">10.1016/0375-9601(90)90732-4</pub-id>
</citation>
</ref>
<ref id="B101">
<label>101.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Schilling</surname>
<given-names>U</given-names>
</name>
<name>
<surname>v Zanthier</surname>
<given-names>J</given-names>
</name>
<name>
<surname>Agarwal</surname>
<given-names>GS</given-names>
</name>
</person-group>. <article-title>Measuring arbitrary-order coherences: Tomography of single-mode multiphoton polarization-entangled states</article-title>. <source>Phys Rev A</source> (<year>2010</year>) <volume>81</volume>:<fpage>013826</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevA.81.013826</pub-id>
</citation>
</ref>
<ref id="B102">
<label>102.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Pisanty</surname>
<given-names>E</given-names>
</name>
<name>
<surname>Machado</surname>
<given-names>GJ</given-names>
</name>
<name>
<surname>Vicu&#xf1;a-Hern&#xe1;ndez</surname>
<given-names>V</given-names>
</name>
<name>
<surname>Pic&#xf3;n</surname>
<given-names>A</given-names>
</name>
<name>
<surname>Celi</surname>
<given-names>A</given-names>
</name>
<name>
<surname>Torres</surname>
<given-names>JP</given-names>
</name>
<etal/>
</person-group> <article-title>Knotting fractional-order knots with the polarization state of light</article-title>. <source>Nat Photon</source> (<year>2019</year>) <volume>13</volume>:<fpage>569</fpage>&#x2013;<lpage>74</lpage>. <pub-id pub-id-type="doi">10.1038/s41566-019-0450-2</pub-id>
</citation>
</ref>
<ref id="B103">
<label>103.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Oberti</surname>
<given-names>C</given-names>
</name>
<name>
<surname>Ricca</surname>
<given-names>RL</given-names>
</name>
</person-group>. <article-title>Influence of winding number on vortex knots dynamics</article-title>. <source>Sci Rep</source> (<year>2019</year>) <volume>9</volume>:<fpage>17284</fpage>. <pub-id pub-id-type="doi">10.1038/s41598-019-53548-w</pub-id>
</citation>
</ref>
<ref id="B104">
<label>104.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Wang</surname>
<given-names>J</given-names>
</name>
<name>
<surname>Valligatla</surname>
<given-names>S</given-names>
</name>
<name>
<surname>Yin</surname>
<given-names>Y</given-names>
</name>
<name>
<surname>Schwarz</surname>
<given-names>L</given-names>
</name>
<name>
<surname>Medina-S&#xe1;nchez</surname>
<given-names>M</given-names>
</name>
<name>
<surname>Baunack</surname>
<given-names>S</given-names>
</name>
<etal/>
</person-group> <article-title>Experimental observation of Berry phases in optical M&#xf6;bius-strip microcavities</article-title>. <source>Nat Photon</source> (<year>2023</year>) <volume>17</volume>:<fpage>120</fpage>&#x2013;<lpage>5</lpage>. <pub-id pub-id-type="doi">10.1038/s41566-022-01107-7</pub-id>
</citation>
</ref>
<ref id="B105">
<label>105.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Li</surname>
<given-names>S</given-names>
</name>
<name>
<surname>Zhou</surname>
<given-names>J</given-names>
</name>
<name>
<surname>Cheng</surname>
<given-names>Z</given-names>
</name>
<name>
<surname>Feng</surname>
<given-names>Y</given-names>
</name>
</person-group>. <article-title>Polarization and longitudinal modes of M&#xf6;bius fiber ring lasers</article-title>. <source>Optica</source> (<year>2022</year>) <volume>9</volume>:<fpage>1394</fpage>&#x2013;<lpage>400</lpage>. <pub-id pub-id-type="doi">10.1364/OPTICA.474407</pub-id>
</citation>
</ref>
<ref id="B106">
<label>106.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Kumar</surname>
<given-names>PS</given-names>
</name>
<name>
<surname>Herbut</surname>
<given-names>IF</given-names>
</name>
<name>
<surname>Ganesh</surname>
<given-names>R</given-names>
</name>
</person-group>. <article-title>Dirac Hamiltonians for bosonic spectra</article-title>. <source>Phys Rev Res</source> (<year>2020</year>) <volume>2</volume>:<fpage>033035</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevResearch.2.033035</pub-id>
</citation>
</ref>
<ref id="B107">
<label>107.</label>
<citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname>Banerjee</surname>
<given-names>S</given-names>
</name>
<name>
<surname>Fransson</surname>
<given-names>J</given-names>
</name>
<name>
<surname>Black-Schaffer</surname>
<given-names>AM</given-names>
</name>
<name>
<surname>&#xc5;gren</surname>
<given-names>H</given-names>
</name>
<name>
<surname>Balatsky</surname>
<given-names>AV</given-names>
</name>
</person-group>. <article-title>Granular superconductor in a honeycomb lattice as a realization of bosonic Dirac material</article-title>. <source>Phy Rev B</source> (<year>2016</year>) <volume>93</volume>:<fpage>134502</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevB.93.134502</pub-id>
</citation>
</ref>
</ref-list>
</back>
</article>