Transformation optics, isotropic chiral media and non-Riemannian geometry
Identifieur interne : 001696 ( Istex/Corpus ); précédent : 001695; suivant : 001697Transformation optics, isotropic chiral media and non-Riemannian geometry
Auteurs : S A R. HorsleySource :
- New Journal of Physics [ 1367-2630 ] ; 2011.
Abstract
The geometrical interpretation of electromagnetism in transparent media (transformation optics) is extended to include chiral media that are isotropic but inhomogeneous. It was found that such media may be described through introducing the non-Riemannian geometrical property of torsion into the Maxwell equations, and it is shown how such an interpretation may be applied to the design of optical devices.
Url:
DOI: 10.1088/1367-2630/13/5/053053
Links to Exploration step
ISTEX:3B9053BD7685B29AAFE4FBA10ACE2FC9AE0E4B42Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Transformation optics, isotropic chiral media and non-Riemannian geometry</title>
<author><name sortKey="Horsley, S A R" sort="Horsley, S A R" uniqKey="Horsley S" first="S A R" last="Horsley">S A R. Horsley</name>
<affiliation><mods:affiliation>School of Physics and Astronomy, University of St Andrews, North Haugh, St Andrews, KY16 9SS, UK</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: sarh@st-andrews.ac.uk</mods:affiliation>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:3B9053BD7685B29AAFE4FBA10ACE2FC9AE0E4B42</idno>
<date when="2011" year="2011">2011</date>
<idno type="doi">10.1088/1367-2630/13/5/053053</idno>
<idno type="url">https://api.istex.fr/document/3B9053BD7685B29AAFE4FBA10ACE2FC9AE0E4B42/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001696</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Transformation optics, isotropic chiral media and non-Riemannian geometry</title>
<author><name sortKey="Horsley, S A R" sort="Horsley, S A R" uniqKey="Horsley S" first="S A R" last="Horsley">S A R. Horsley</name>
<affiliation><mods:affiliation>School of Physics and Astronomy, University of St Andrews, North Haugh, St Andrews, KY16 9SS, UK</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: sarh@st-andrews.ac.uk</mods:affiliation>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="j">New Journal of Physics</title>
<title level="j" type="abbrev">New J. Phys.</title>
<idno type="ISSN">1367-2630</idno>
<idno type="eISSN">1367-2630</idno>
<imprint><publisher>IOP Publishing</publisher>
<date type="published" when="2011">2011</date>
<biblScope unit="volume">13</biblScope>
<biblScope unit="issue">5</biblScope>
<biblScope unit="page" from="1">1</biblScope>
<biblScope unit="page" to="19">19</biblScope>
</imprint>
<idno type="ISSN">1367-2630</idno>
</series>
<idno type="istex">3B9053BD7685B29AAFE4FBA10ACE2FC9AE0E4B42</idno>
<idno type="DOI">10.1088/1367-2630/13/5/053053</idno>
<idno type="articleID">381623</idno>
<idno type="articleNumber">053053</idno>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">1367-2630</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract">The geometrical interpretation of electromagnetism in transparent media (transformation optics) is extended to include chiral media that are isotropic but inhomogeneous. It was found that such media may be described through introducing the non-Riemannian geometrical property of torsion into the Maxwell equations, and it is shown how such an interpretation may be applied to the design of optical devices.</div>
</front>
</TEI>
<istex><corpusName>iop</corpusName>
<author><json:item><name>S A R Horsley</name>
<affiliations><json:string>School of Physics and Astronomy, University of St Andrews, North Haugh, St Andrews, KY16 9SS, UK</json:string>
<json:string>E-mail: sarh@st-andrews.ac.uk</json:string>
</affiliations>
</json:item>
</author>
<language><json:string>eng</json:string>
</language>
<originalGenre><json:string>paper</json:string>
</originalGenre>
<abstract>The geometrical interpretation of electromagnetism in transparent media (transformation optics) is extended to include chiral media that are isotropic but inhomogeneous. It was found that such media may be described through introducing the non-Riemannian geometrical property of torsion into the Maxwell equations, and it is shown how such an interpretation may be applied to the design of optical devices.</abstract>
<qualityIndicators><score>6.208</score>
<pdfVersion>1.4</pdfVersion>
<pdfPageSize>595.276 x 841.89 pts (A4)</pdfPageSize>
<refBibsNative>true</refBibsNative>
<keywordCount>0</keywordCount>
<abstractCharCount>406</abstractCharCount>
<pdfWordCount>7746</pdfWordCount>
<pdfCharCount>38979</pdfCharCount>
<pdfPageCount>19</pdfPageCount>
<abstractWordCount>59</abstractWordCount>
</qualityIndicators>
<title>Transformation optics, isotropic chiral media and non-Riemannian geometry</title>
<genre><json:string>research-article</json:string>
</genre>
<host><volume>13</volume>
<publisherId><json:string>nj</json:string>
</publisherId>
<pages><total>19</total>
<last>19</last>
<first>1</first>
</pages>
<issn><json:string>1367-2630</json:string>
</issn>
<issue>5</issue>
<genre><json:string>journal</json:string>
</genre>
<language><json:string>unknown</json:string>
</language>
<eissn><json:string>1367-2630</json:string>
</eissn>
<title>New Journal of Physics</title>
</host>
<publicationDate>2011</publicationDate>
<copyrightDate>2011</copyrightDate>
<doi><json:string>10.1088/1367-2630/13/5/053053</json:string>
</doi>
<id>3B9053BD7685B29AAFE4FBA10ACE2FC9AE0E4B42</id>
<score>0.2191239</score>
<fulltext><json:item><original>true</original>
<mimetype>application/pdf</mimetype>
<extension>pdf</extension>
<uri>https://api.istex.fr/document/3B9053BD7685B29AAFE4FBA10ACE2FC9AE0E4B42/fulltext/pdf</uri>
</json:item>
<json:item><original>false</original>
<mimetype>application/zip</mimetype>
<extension>zip</extension>
<uri>https://api.istex.fr/document/3B9053BD7685B29AAFE4FBA10ACE2FC9AE0E4B42/fulltext/zip</uri>
</json:item>
<istex:fulltextTEI uri="https://api.istex.fr/document/3B9053BD7685B29AAFE4FBA10ACE2FC9AE0E4B42/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Transformation optics, isotropic chiral media and non-Riemannian geometry</title>
</titleStmt>
<publicationStmt><authority>ISTEX</authority>
<publisher>IOP Publishing</publisher>
<availability><p>IOP Publishing and Deutsche Physikalische Gesellschaft</p>
</availability>
<date>2011</date>
</publicationStmt>
<sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">Transformation optics, isotropic chiral media and non-Riemannian geometry</title>
<author xml:id="author-1"><persName><forename type="first">S A R</forename>
<surname>Horsley</surname>
</persName>
<email>sarh@st-andrews.ac.uk</email>
<affiliation>School of Physics and Astronomy, University of St Andrews, North Haugh, St Andrews, KY16 9SS, UK</affiliation>
</author>
</analytic>
<monogr><title level="j">New Journal of Physics</title>
<title level="j" type="abbrev">New J. Phys.</title>
<idno type="pISSN">1367-2630</idno>
<idno type="eISSN">1367-2630</idno>
<imprint><publisher>IOP Publishing</publisher>
<date type="published" when="2011"></date>
<biblScope unit="volume">13</biblScope>
<biblScope unit="issue">5</biblScope>
<biblScope unit="page" from="1">1</biblScope>
<biblScope unit="page" to="19">19</biblScope>
</imprint>
</monogr>
<idno type="istex">3B9053BD7685B29AAFE4FBA10ACE2FC9AE0E4B42</idno>
<idno type="DOI">10.1088/1367-2630/13/5/053053</idno>
<idno type="articleID">381623</idno>
<idno type="articleNumber">053053</idno>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><creation><date>2011</date>
</creation>
<langUsage><language ident="en">en</language>
</langUsage>
<abstract><p>The geometrical interpretation of electromagnetism in transparent media (transformation optics) is extended to include chiral media that are isotropic but inhomogeneous. It was found that such media may be described through introducing the non-Riemannian geometrical property of torsion into the Maxwell equations, and it is shown how such an interpretation may be applied to the design of optical devices.</p>
</abstract>
</profileDesc>
<revisionDesc><change when="2011">Published</change>
</revisionDesc>
</teiHeader>
</istex:fulltextTEI>
<json:item><original>false</original>
<mimetype>text/plain</mimetype>
<extension>txt</extension>
<uri>https://api.istex.fr/document/3B9053BD7685B29AAFE4FBA10ACE2FC9AE0E4B42/fulltext/txt</uri>
</json:item>
</fulltext>
<metadata><istex:metadataXml wicri:clean="corpus iop not found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="ISO-8859-1" </istex:xmlDeclaration>
<istex:docType SYSTEM="http://ej.iop.org/dtd/iopv1_5_2.dtd" name="istex:docType"></istex:docType>
<istex:document><article artid="nj381623"><article-metadata><jnl-data jnlid="nj"><jnl-fullname>New Journal of Physics</jnl-fullname>
<jnl-abbreviation>New J. Phys.</jnl-abbreviation>
<jnl-shortname>NJP</jnl-shortname>
<jnl-issn>1367-2630</jnl-issn>
<jnl-coden>NJOPFM</jnl-coden>
<jnl-imprint>IOP Publishing</jnl-imprint>
<jnl-web-address>stacks.iop.org/NJP</jnl-web-address>
</jnl-data>
<volume-data><year-publication>2011</year-publication>
<volume-number>13</volume-number>
</volume-data>
<issue-data><issue-number>5</issue-number>
<coverdate>May 2011</coverdate>
</issue-data>
<article-data><article-type type="paper" sort="regular"></article-type>
<type-number type="paper" numbering="article" artnum="053053">053053</type-number>
<article-number>381623</article-number>
<first-page>1</first-page>
<last-page>19</last-page>
<length>19</length>
<pii></pii>
<doi>10.1088/1367-2630/13/5/053053</doi>
<copyright>IOP Publishing and Deutsche Physikalische Gesellschaft</copyright>
<ccc>1367-2630/11/053053+19$33.00</ccc>
<printed></printed>
</article-data>
</article-metadata>
<header><title-group><title>Transformation optics, isotropic chiral media and non-Riemannian geometry</title>
<short-title>Transformation optics, isotropic chiral media and non-Riemannian geometry</short-title>
<ej-title>Transformation optics, isotropic chiral media and non-Riemannian geometry</ej-title>
</title-group>
<author-group><author address="nj381623ad1" email="nj381623ea1"><first-names>S A R</first-names>
<second-name>Horsley</second-name>
</author>
<short-author-list>S A R Horsley <italic>et al</italic>
</short-author-list>
</author-group>
<address-group><address id="nj381623ad1" showid="no">School of Physics and Astronomy, <orgname>University of St Andrews</orgname>
, North Haugh, St Andrews, KY16 9SS, <country>UK</country>
</address>
<e-address id="nj381623ea1"><email mailto="sarh@st-andrews.ac.uk">sarh@st-andrews.ac.uk</email>
</e-address>
</address-group>
<history received="14 January 2011" online="27 May 2011"></history>
<abstract-group><abstract><heading>Abstract</heading>
<p indent="no">The geometrical interpretation of electromagnetism in transparent media (transformation optics) is extended to include chiral media that are isotropic but inhomogeneous. It was found that such media may be described through introducing the non-Riemannian geometrical property of torsion into the Maxwell equations, and it is shown how such an interpretation may be applied to the design of optical devices.</p>
</abstract>
</abstract-group>
</header>
<body refstyle="numeric"><sec-level1 id="nj381623s1" label="1"><heading>Introduction</heading>
<p indent="no">Several authors have noted that the free space Maxwell equations in a general space–time look like those in a certain kind of transparent material (see references cited in [<cite linkend="nj381623bib1">1</cite>
] and also [<cite linkend="nj381623bib2">2</cite>
, section 90]). For some time this was a curiosity, but recently this relationship has been put to work in reverse. <italic>Transformation optics</italic>
[<cite linkend="nj381623bib3" range="nj381623bib3,nj381623bib4,nj381623bib5,nj381623bib6,nj381623bib7">3–7</cite>
] has been developed to use this formal analogy to design optical devices and even investigate analogues of astrophysical objects in the laboratory [<cite linkend="nj381623bib8">8</cite>
, <cite linkend="nj381623bib9">9</cite>
].</p>
<p>So far the space–time geometry of transformation optics has been Riemannian—i.e. the properties of the geometry have been solely determined by a symmetric metric tensor, <inline-eqn><math-text><italic>g</italic>
<sub>μν</sub>
</math-text>
</inline-eqn>
. Light propagation on a Riemannian space–time background can be intuitively understood in terms of rays following geodesics and the polarization undergoing parallel transport along each ray [<cite linkend="nj381623bib3">3</cite>
, <cite linkend="nj381623bib10">10</cite>
]. Transformation optics uses this simple picture to <italic>design</italic>
a space that acts on the optical field in a desired way and thereby determines the necessary material properties from geometrical quantities. Notably, this recipe has been applied to derive the material properties necessary for devices that conceal objects from the electromagnetic field [<cite linkend="nj381623bib6">6</cite>
, <cite linkend="nj381623bib11">11</cite>
] and focus light intensity into a region that is smaller than what the diffraction limit leads us to expect [<cite linkend="nj381623bib12">12</cite>
, <cite linkend="nj381623bib13">13</cite>
]. In this paper, the idea is to provide more variables for this design strategy to explore: in particular, to incorporate chiral media into transformation optics.</p>
<p>To motivate going beyond Riemannian geometry, consider the following counting argument. The term ‘transformation optics’ came from the initial use of co-ordinate transformations to arrive at material parameters—i.e. Euclidean geometry. Therefore, in the original sense, transformation optics works through the specification of <italic>three</italic>
functions of position. The full Riemannian geometry has greater freedom, with a symmetric space–time metric containing <italic>ten</italic>
independent functions of position, translating into nine independent material parameters<fnref linkend="nj381623fn1"><sup>1</sup>
</fnref>
.</p>
<p>Recognizing that a geometry must affect electric and magnetic fields in the same way, this may not be the full story. Symmetric, impedance-matched permittivity and permeability tensors (i.e. <inline-eqn></inline-eqn>
) represent six independent quantities, and the possibility of magneto-electric coupling, at least another six components. This leaves three real magneto-electric coupling parameters that cannot be represented within Riemannian geometry, but may well have a geometrical interpretation<fnref linkend="nj381623fn2"><sup>2</sup>
</fnref>
. It is therefore worth investigating non-Riemannian extensions to transformation optics. In such a geometry there is at least one additional field (the space–time <italic>torsion</italic>
, <inline-eqn><math-text><italic>T</italic>
<sup>μ</sup>
<sub>νσ</sub>
=Γ<sup>μ</sup>
<sub>νσ</sub>
−Γ<sup>μ</sup>
<sub>σν</sub>
</math-text>
</inline-eqn>
) that may be freely specified independent of the metric. Torsion has already been explored in other analogous systems: for example, the theory of sound waves propagating through superfluids, where non-Riemannian geometry has been used to describe the interaction with vorticity [<cite linkend="nj381623bib14">14</cite>
, <cite linkend="nj381623bib15">15</cite>
].</p>
<p>In the following, it will be shown that if we couple a non-Riemannian geometrical background to the free space Maxwell equations in a certain way, then Maxwell's equations can be interpreted as if in an inhomogeneous, isotropic, chiral medium described by both a Tellegen parameter, <inline-eqn><math-text>χ</math-text>
</inline-eqn>
, and a chirality parameter, <inline-eqn><math-text>κ</math-text>
</inline-eqn>
. In the limit of geometrical optics, this coupling is shown to reproduce the usual geodesic and parallel transport equations, but in the presence of geometrical torsion: that is, optical activity is shown to have a geometrical interpretation in terms of the torsion tensor.</p>
</sec-level1>
<sec-level1 id="nj381623s2" label="2"><heading>The relationship between electromagnetic fields in continuous media and Riemannian geometry</heading>
<p indent="no">We begin by reviewing the existing theory of transformation optics [<cite linkend="nj381623bib3">3</cite>
, <cite linkend="nj381623bib7">7</cite>
, <cite linkend="nj381623bib16">16</cite>
].</p>
<p>Consider a space–time where the curvature tensor, <inline-eqn><math-text><italic>R</italic>
<sup>μ</sup>
<sub>νστ</sub>
</math-text>
</inline-eqn>
, may not vanish and where the co-ordinates, <inline-eqn><math-text><italic>x</italic>
<sup>μ</sup>
</math-text>
</inline-eqn>
, are arbitrary. In this instance, we write down the free space Maxwell's equations using their usual four-dimensional (4D) form [<cite linkend="nj381623bib2">2</cite>
], along with the following convention from general relativity [<cite linkend="nj381623bib17">17</cite>
]: that ordinary partial derivatives be replaced by covariant ones, <inline-eqn><math-text>∂<sub>μ</sub>
→∇<sub>μ</sub>
</math-text>
</inline-eqn>
, and that the permutation symbol be scaled by the volume element, <inline-eqn><math-text><italic>e</italic>
<sup>μνστ</sup>
→ε<sup>μνστ</sup>
=<italic>g</italic>
<sup>−1/2</sup>
<italic>e</italic>
<sup>μνστ</sup>
</math-text>
</inline-eqn>
[<cite linkend="nj381623bib18">18</cite>
],
<display-eqn id="nj381623eqn1" textype="equation" notation="LaTeX" eqnnum="1"></display-eqn>
<display-eqn id="nj381623eqn2" textype="equation" notation="LaTeX" eqnnum="2"></display-eqn>
The covariant derivative, <inline-eqn><math-text>∇<sub>μ</sub>
</math-text>
</inline-eqn>
, in (<eqnref linkend="nj381623eqn1">1</eqnref>
) and (<eqnref linkend="nj381623eqn2">2</eqnref>
) differs from an ordinary partial derivative by a quantity, <inline-eqn><math-text>Γ<sup>σ</sup>
<sub>νμ</sub>
</math-text>
</inline-eqn>
, known as the connection symbol [<cite linkend="nj381623bib18">18</cite>
]. Transformation optics works because, in the Riemannian case, the connection symbol in (<eqnref linkend="nj381623eqn1">1</eqnref>
) and (<eqnref linkend="nj381623eqn2">2</eqnref>
) plays the same algebraic role as the difference between the field equations in vacuum and in a polarizable medium. We can see this through explicitly identifying <inline-eqn><math-text>Γ<sup>σ</sup>
<sub>νμ</sub>
</math-text>
</inline-eqn>
in (<eqnref linkend="nj381623eqn1">1</eqnref>
) and (<eqnref linkend="nj381623eqn2">2</eqnref>
),
<display-eqn id="nj381623eqn3" textype="equation" notation="LaTeX" eqnnum="3"></display-eqn>
<display-eqn id="nj381623eqn4" textype="equation" notation="LaTeX" eqnnum="4"></display-eqn>
The assumptions of Riemannian geometry lead to a particular form of <inline-eqn><math-text>Γ<sup>μ</sup>
<sub>νσ</sub>
</math-text>
</inline-eqn>
that is known as a Christoffel symbol [<cite linkend="nj381623bib18">18</cite>
], <inline-eqn><math-text>Γ<sup>μ</sup>
<sub>νσ</sub>
={<sup> μ</sup>
<sub>νσ</sub>
}</math-text>
</inline-eqn>
, and depends only on the form of the metric tensor, <inline-eqn><math-text><italic>g</italic>
<sub>μν</sub>
</math-text>
</inline-eqn>
,
<display-eqn id="nj381623eqn5" textype="equation" notation="LaTeX" eqnnum="5"></display-eqn>
Due to the symmetry of the Christoffel symbol in its lower two indices, (<eqnref linkend="nj381623eqn3">3</eqnref>
) is unaffected by the distinction between <inline-eqn><math-text>∇<sub>μ</sub>
</math-text>
</inline-eqn>
and <inline-eqn><math-text>∂<sub>μ</sub>
</math-text>
</inline-eqn>
. <italic>Therefore, the definition of the field tensor in terms of the vector potential is the same as if the co-ordinates were those of a Galilean system</italic>
<fnref linkend="nj381623fn3"><sup>3</sup>
</fnref>
. Furthermore, the antisymmetry of the field tensor means that the final term to the left of the equals sign in (<eqnref linkend="nj381623eqn4">4</eqnref>
) is also zero. We can now see that the only term that distinguishes the Maxwell equations (<eqnref linkend="nj381623eqn3">3</eqnref>
) and (<eqnref linkend="nj381623eqn4">4</eqnref>
) from a Galilean system is proportional to the trace of the Christoffel symbol [<cite linkend="nj381623bib18">18</cite>
],
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
where <inline-eqn><math-text><italic>g</italic>
=<upright>det</upright>
(<italic>g</italic>
<sub>μν</sub>
)</math-text>
</inline-eqn>
. The free space Maxwell equations on a Riemannian background, (<eqnref linkend="nj381623eqn1">1</eqnref>
) and (<eqnref linkend="nj381623eqn2">2</eqnref>
), can thus be written in a form very similar to that of the free space Maxwell equations in Galilean space–time. All that is changed is the appearance of a factor of <inline-eqn></inline-eqn>
, and the relationship between <inline-eqn></inline-eqn>
and <inline-eqn><math-text><italic>F</italic>
<sub>μν</sub>
</math-text>
</inline-eqn>
,<fnref linkend="nj381623fn4"><sup>4</sup>
</fnref>
<display-eqn id="nj381623eqn6" textype="equation" notation="LaTeX" eqnnum="6"></display-eqn>
<display-eqn id="nj381623eqn7" textype="equation" notation="LaTeX" eqnnum="7"></display-eqn>
There are two equivalent ways to understand (<eqnref linkend="nj381623eqn6">6</eqnref>
) and (<eqnref linkend="nj381623eqn7">7</eqnref>
): either, as we have done so far, in terms of an empty, possibly non-flat, space-time background, or equivalently in terms of a Galilean system containing a dielectric medium. For, if we consider the 4D Maxwell equations in the presence of a material medium, within a Galilean co-ordinate system and without any external sources, then Maxwell's equations can be written as [<cite linkend="nj381623bib19">19</cite>
]
<display-eqn id="nj381623eqn8" textype="equation" notation="LaTeX" eqnnum="8"></display-eqn>
<display-eqn id="nj381623eqn9" textype="equation" notation="LaTeX" eqnnum="9"></display-eqn>
In this case, there are two separate, but not independent, ‘field tensors’: the tensor, <inline-eqn><math-text><italic>F</italic>
<sub>στ</sub>
</math-text>
</inline-eqn>
, containing the physical fields, <inline-eqn><math-text><italic>F</italic>
<sub>στ</sub>
=(<bold>E</bold>
/<italic>c</italic>
, <bold>B</bold>
)</math-text>
</inline-eqn>
; and the tensor, <inline-eqn><math-text><italic>G</italic>
<sup>μν</sup>
</math-text>
</inline-eqn>
, containing the material fields, <inline-eqn><math-text><italic>G</italic>
<sup>μν</sup>
=(−<italic>c</italic>
<bold>D</bold>
, <bold>H</bold>
)</math-text>
</inline-eqn>
, the vanishing divergence of which indicates that the material has no net charge and that no net current passes through any cross-section. The constitutive relationship between <inline-eqn><math-text><italic>F</italic>
<sub>στ</sub>
</math-text>
</inline-eqn>
and <inline-eqn><math-text><italic>G</italic>
<sup>μτ</sup>
</math-text>
</inline-eqn>
serves to indicate how the physical fields are influenced by the medium.</p>
<p>As the form of (<eqnref linkend="nj381623eqn6">6</eqnref>
) and (<eqnref linkend="nj381623eqn7">7</eqnref>
) is identical to that of (<eqnref linkend="nj381623eqn8">8</eqnref>
) and (<eqnref linkend="nj381623eqn9">9</eqnref>
), there is a correspondence between <italic>each and every co-ordinate system</italic>
on any Riemannian background, and an equivalent material, described within a Galilean co-ordinate system,
<display-eqn id="nj381623eqn10" textype="equation" notation="LaTeX" eqnnum="10"></display-eqn>
where the factor of <inline-eqn><math-text>μ<sub>0</sub>
</math-text>
</inline-eqn>
has been introduced so that the units agree with the physical interpretation of <inline-eqn><math-text><italic>G</italic>
<sup>μν</sup>
</math-text>
</inline-eqn>
. The co-ordinates, <inline-eqn><math-text><italic>x</italic>
<sup>μ</sup>
</math-text>
</inline-eqn>
, on a general background are re-interpreted as a Galilean system, <inline-eqn></inline-eqn>
, with the contravariant field tensor appearing as a material field.</p>
<p>The constitutive relationship between the physical fields, <inline-eqn><math-text><italic>F</italic>
<sub>μν</sub>
</math-text>
</inline-eqn>
, and the material fields, <inline-eqn><math-text><italic>G</italic>
<sup>μν</sup>
</math-text>
</inline-eqn>
, is obtained from the relationship between covariant and contravariant indices on the Riemannian background,
<display-eqn id="nj381623eqn11" textype="equation" notation="LaTeX" eqnnum="11"></display-eqn>
To make the interpretation more transparent, we introduce the usual 3D quantities: <inline-eqn><math-text><italic>E</italic>
<sub><italic>i</italic>
</sub>
=<italic>F</italic>
<sub>0<italic>i</italic>
</sub>
</math-text>
</inline-eqn>
, <inline-eqn></inline-eqn>
, <inline-eqn><math-text><italic>cD</italic>
<sub><italic>i</italic>
</sub>
=<italic>G</italic>
<sup><italic>i</italic>
0</sup>
</math-text>
</inline-eqn>
and <inline-eqn></inline-eqn>
, and adopt dyadic notation, so that (<eqnref linkend="nj381623eqn11">11</eqnref>
) becomes
<display-eqn id="nj381623eqn12" textype="equation" notation="LaTeX" eqnnum="12"></display-eqn>
<display-eqn id="nj381623eqn13" textype="equation" notation="LaTeX" eqnnum="13"></display-eqn>
</p>
<p indent="no">where <inline-eqn></inline-eqn>
, <inline-eqn></inline-eqn>
and we have introduced the symbols <inline-eqn><math-text>γ<sub><italic>ij</italic>
</sub>
=(<italic>g</italic>
<sub>0<italic>i</italic>
</sub>
<italic>g</italic>
<sub>0<italic>j</italic>
</sub>
/<italic>g</italic>
<sub>00</sub>
−<italic>g</italic>
<sub><italic>ij</italic>
</sub>
)</math-text>
</inline-eqn>
, <inline-eqn><math-text>γ<sup>−1</sup>
<sub><italic>ij</italic>
</sub>
=−<italic>g</italic>
<sup><italic>ij</italic>
</sup>
</math-text>
</inline-eqn>
and <inline-eqn><math-text><italic>g</italic>
<sub><italic>j</italic>
</sub>
=<italic>cg</italic>
<sub>0<italic>j</italic>
</sub>
/<italic>g</italic>
<sub>00</sub>
</math-text>
</inline-eqn>
[<cite linkend="nj381623bib2">2</cite>
]. The conclusion is, therefore, that each co-ordinate system, on every Riemannian background, can be considered to appear to the electromagnetic field as a continuous medium with equal relative permeability and permittivity tensors (an impedance-matched medium)—<inline-eqn><math-text>ε<sub><italic>ij</italic>
</sub>
/ε<sub>0</sub>
=μ<sub><italic>ij</italic>
</sub>
/μ<sub>0</sub>
</math-text>
</inline-eqn>
—described within a Galilean system of co-ordinates.</p>
<p>Perhaps even more importantly, the reverse also holds; for a fixed frequency of the electromagnetic field, all transparent, impedance-matched media can be understood in terms of the vacuum Maxwell equations within a Riemannian geometry. However, this space–time co-ordinate system is not uniquely defined by the medium, due to the invariance of the Maxwell equations under conformal transformations.</p>
</sec-level1>
<sec-level1 id="nj381623s3" label="3"><heading>Isotropic chiral media</heading>
<p indent="no">Section <secref linkend="nj381623s4">4</secref>
will describe a class of non-Riemannian geometries that are equivalent to inhomogeneous, isotropic, chiral media. Unfortunately, there seems to be no agreement regarding the form of the constitutive relations that should be used to describe such media. Although, in the frequency domain, these various constitutive relations can be shown to be <italic>physically</italic>
equivalent [<cite linkend="nj381623bib20">20</cite>
, <cite linkend="nj381623bib21">21</cite>
], the meaning of the individual material parameters <italic>is</italic>
different for each constitutive relation. This will turn out to be important when we come to interpret chiral parameters in terms of geometrical quantities. Therefore, we spend this section distinguishing the constitutive relations before, in the next section, introducing the geometry.</p>
<p>Landau and Lifshitz determine the relationship between the material fields and the physical fields in optically active media in terms of antisymmetric complex components in the permittivity tensor, <inline-eqn><math-text>ε<sub><italic>ij</italic>
</sub>
=ε<sub><italic>ji</italic>
</sub>
<sup>☆</sup>
</math-text>
</inline-eqn>
[<cite linkend="nj381623bib19">19</cite>
]. This is equivalent to what is known as the Drude–Born constitutive relation [<cite linkend="nj381623bib20">20</cite>
, <cite linkend="nj381623bib21">21</cite>
], where <inline-eqn><math-text><bold>D</bold>
</math-text>
</inline-eqn>
is coupled not only to <inline-eqn><math-text><bold>E</bold>
</math-text>
</inline-eqn>
, but also to <inline-eqn></inline-eqn>
. For a geometric interpretation, we must have constitutive relationships that are local and have symmetric coupling terms in <inline-eqn><math-text><bold>D</bold>
</math-text>
</inline-eqn>
and <inline-eqn><math-text><bold>B</bold>
</math-text>
</inline-eqn>
(or <inline-eqn><math-text><bold>H</bold>
</math-text>
</inline-eqn>
)<fnref linkend="nj381623fn5"><sup>5</sup>
</fnref>
, and so we exclude this possibility. Instead, we describe isotropic chirality via the electric–magnetic coupling terms that were discussed in the introduction. The Tellegen constitutive relations are often used [<cite linkend="nj381623bib20">20</cite>
],
<display-eqn id="nj381623eqn14" textype="equation" notation="LaTeX" eqnnum="14"></display-eqn>
<display-eqn id="nj381623eqn15" textype="equation" notation="LaTeX" eqnnum="15"></display-eqn>
where <inline-eqn><math-text>χ</math-text>
</inline-eqn>
represents the Tellegen parameter [<cite linkend="nj381623bib22">22</cite>
] and <inline-eqn><math-text>κ</math-text>
</inline-eqn>
the chiral parameter. The presence of the <inline-eqn><math-text><italic>i</italic>
</math-text>
</inline-eqn>
indicates that, as long as <inline-eqn><math-text>κ≠0</math-text>
</inline-eqn>
, (<eqnref linkend="nj381623eqn14">14</eqnref>
) and (<eqnref linkend="nj381623eqn15">15</eqnref>
) have meaning only in the frequency domain. While the existence of media with non-zero <inline-eqn><math-text>κ</math-text>
</inline-eqn>
is unquestionable (the restrictions on <inline-eqn><math-text>κ</math-text>
</inline-eqn>
have caused some controversy [<cite linkend="nj381623bib23">23</cite>
]), there is a history of debate regarding the reality of media with non-zero <inline-eqn><math-text>χ</math-text>
</inline-eqn>
[<cite linkend="nj381623bib24" range="nj381623bib24,nj381623bib25,nj381623bib26,nj381623bib27">24–27</cite>
].</p>
<p>We can observe that an isotropic chiral medium is a material where there is a linear coupling between one component of the electric (magnetic) polarization, say <inline-eqn><math-text><italic>P</italic>
<sub><italic>x</italic>
</sub>
</math-text>
</inline-eqn>
(<inline-eqn><math-text><italic>M</italic>
<sub><italic>x</italic>
</sub>
</math-text>
</inline-eqn>
), and the same component of the magnetic (electric) field. Therefore, for our purposes it is useful to see our initial suspicions confirmed and to note that it is not possible to have a totally spatially isotropic medium and have such a direct coupling described geometrically by (<eqnref linkend="nj381623eqn12">12</eqnref>
) and (<eqnref linkend="nj381623eqn13">13</eqnref>
), for in this case <inline-eqn><math-text><bold>g</bold>
</math-text>
</inline-eqn>
should vanish. Hence, optical activity in isotropic media cannot be understood in terms of the theory of transformation optics presented in section <secref linkend="nj381623s2">2</secref>
.</p>
<p>One common alternative form to (<eqnref linkend="nj381623eqn14">14</eqnref>
) and (<eqnref linkend="nj381623eqn15">15</eqnref>
) is the Boys–Post relation [<cite linkend="nj381623bib20">20</cite>
]
<display-eqn id="nj381623eqn16" textype="equation" notation="LaTeX" eqnnum="16"></display-eqn>
<display-eqn id="nj381623eqn17" textype="equation" notation="LaTeX" eqnnum="17"></display-eqn>
</p>
<p>In the frequency domain (where these relationships are defined), (<eqnref linkend="nj381623eqn14">14</eqnref>
), (<eqnref linkend="nj381623eqn15">15</eqnref>
) , (<eqnref linkend="nj381623eqn16">16</eqnref>
) and (<eqnref linkend="nj381623eqn17">17</eqnref>
) are equivalent. However, it is important that in each case the meaning of the permittivity and permeability is different, as well as the interpretation of the chirality. Indeed, if we cast (<eqnref linkend="nj381623eqn16">16</eqnref>
) and (<eqnref linkend="nj381623eqn17">17</eqnref>
) into the form of (<eqnref linkend="nj381623eqn14">14</eqnref>
) and (<eqnref linkend="nj381623eqn15">15</eqnref>
), then we obtain
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
so that we can observe a correspondence in the coupling parameters
<display-eqn id="nj381623eqn18" textype="equation" notation="LaTeX" eqnnum="18"></display-eqn>
Therefore, in general, when the magnetic susceptibility is anisotropic, whether the chirality is isotropic is relative to the interpretation. Furthermore, ‘impedance matching’ in the Post constitutive relations does not translate into impedance matching in the Tellegen interpretation. As noted in [<cite linkend="nj381623bib20">20</cite>
], true impedance matching must be done relative to the Tellegen parameters. However, in the limit of small chirality, the difference is negligible.</p>
</sec-level1>
<sec-level1 id="nj381623s4" label="4"><heading>Non-Riemannian geometry and isotropic chiral media</heading>
<p indent="no">From the summary of the theory of transformation optics given in section <secref linkend="nj381623s2">2</secref>
, it is evident that there are two reasons why a Riemannian background has the same effect on the Maxwell equations as a material medium: (i) the definition of the field tensor in terms of the vector potential is unchanged by the co-ordinate system, so that the co-ordinates may be re-interpreted as if they were Galilean, and; (ii) the expression for the trace of the Christoffel symbols is such that (<eqnref linkend="nj381623eqn7">7</eqnref>
) can be written as a total divergence. Consequently, when the co-ordinate system is re-interpreted as Galilean, the effect of the geometry is that of a charge neutral medium, with no net current passing through any cross-section.</p>
<p indent="no">Is it possible to fulfil both these conditions with a more general geometrical background? Let us explore more general forms of the connection,
<display-eqn id="nj381623eqn19" textype="equation" notation="LaTeX" eqnnum="19"></display-eqn>
It is instructive to write the non-Riemannian part of the connection, <inline-eqn><math-text><italic>C</italic>
<sup>μ</sup>
<sub>νσ</sub>
</math-text>
</inline-eqn>
, in terms of component tensors (see e.g. [<cite linkend="nj381623bib17">17</cite>
, section 3.3]),<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
where <inline-eqn></inline-eqn>
is the contorsion tensor (recalling that the torsion, <inline-eqn><math-text><italic>T</italic>
<sup>μ</sup>
<sub>νσ</sub>
</math-text>
</inline-eqn>
, is the antisymmetric part of the connection), and <inline-eqn><math-text><italic>H</italic>
<sup>μ</sup>
<sub>νσ</sub>
</math-text>
</inline-eqn>
represents the non-metricity<fnref linkend="nj381623fn6"><sup>6</sup>
</fnref>
. When <inline-eqn><math-text><italic>H</italic>
<sup>μ</sup>
<sub>νσ</sub>
=0</math-text>
</inline-eqn>
, the connection satisfies the condition <inline-eqn><math-text>∇<sub>μ</sub>
<italic>g</italic>
<sub>στ</sub>
=0</math-text>
</inline-eqn>
everywhere. In what follows, we assume that <inline-eqn><math-text><italic>H</italic>
<sup>μ</sup>
<sub>νσ</sub>
=0</math-text>
</inline-eqn>
, so that <inline-eqn><math-text><italic>C</italic>
<sup>μ</sup>
<sub>νσ</sub>
=<italic>K</italic>
<sup>μ</sup>
<sub>νσ</sub>
</math-text>
</inline-eqn>
.</p>
<p>We must be careful how we write down Maxwell's equations in a geometry with torsion, for almost immediately we encounter problems if we add <inline-eqn><math-text><italic>K</italic>
<sup>μ</sup>
<sub>νσ</sub>
</math-text>
</inline-eqn>
into the connection. If we follow the usual ‘partial derivative goes to covariant derivative’ rule, then the antisymmetry in the lower indices interferes with the definition of the field tensor, (<eqnref linkend="nj381623eqn6">6</eqnref>
),
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
In itself this might not be a problem, did it not break the gauge invariance of the theory. For, if we perform a gauge transformation, <inline-eqn><math-text><italic>A</italic>
′<sub>μ</sub>
=<italic>A</italic>
<sub>μ</sub>
+∇<sub>μ</sub>
ϕ</math-text>
</inline-eqn>
, the field tensor ends up depending upon <inline-eqn><math-text>ϕ</math-text>
</inline-eqn>
:
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
Therefore, we reach the conclusion that, with non-zero torsion, the ‘partial derivative goes to covariant derivative’ rule does not produce a gauge invariant theory. For a more extensive coverage of this issue, see [<cite linkend="nj381623bib17">17</cite>
, section 11.3] and [<cite linkend="nj381623bib28">28</cite>
]. Hence, we choose to keep the <italic>definition</italic>
of the field tensor the same as in the Riemannian case, <inline-eqn><math-text><italic>F</italic>
<sub>μν</sub>
=∂<sub>μ</sub>
<italic>A</italic>
<sub>ν</sub>
−∂<sub>ν</sub>
<italic>A</italic>
<sub>μ</sub>
</math-text>
</inline-eqn>
.</p>
<p>The second Maxwell equation does not relate to the definition of the field tensor, and we may suppose that the background geometry modifies this equation with terms including the contorsion tensor. Applying (<eqnref linkend="nj381623eqn19">19</eqnref>
) to (<eqnref linkend="nj381623eqn4">4</eqnref>
), we obtain
<display-eqn id="nj381623eqn20" textype="equation" notation="LaTeX" eqnnum="20"></display-eqn>
In order that this appears as a material medium—cf (<eqnref linkend="nj381623eqn9">9</eqnref>
)—there is a minimal choice for the form of the torsion,
<display-eqn id="nj381623eqn21" textype="equation" notation="LaTeX" eqnnum="21"></display-eqn>
where <inline-eqn><math-text>χ</math-text>
</inline-eqn>
is an arbitrary single valued function of <inline-eqn><math-text><italic>x</italic>
<sup>μ</sup>
</math-text>
</inline-eqn>
(see figure <figref linkend="nj381623fig1">1</figref>
for the geometrical interpretation of (<eqnref linkend="nj381623eqn21">21</eqnref>
)). The Maxwell equation associated with sources, (<eqnref linkend="nj381623eqn20">20</eqnref>
), thus takes the following form
<display-eqn id="nj381623eqn22" textype="equation" notation="LaTeX" eqnnum="22"></display-eqn>
It is interesting that (<eqnref linkend="nj381623eqn22">22</eqnref>
) has the same form of coupling to the torsion field as was obtained in [<cite linkend="nj381623bib28">28</cite>
] through microscopic considerations of the interaction between a space–time torsion field and the vacuum polarization associated with the quantized electromagnetic field. The divergence-less material field in (<eqnref linkend="nj381623eqn22">22</eqnref>
) is
<display-eqn id="nj381623eqn23" textype="equation" notation="LaTeX" eqnnum="23"></display-eqn>
Due to the appearance of the dual electromagnetic field tensor on the right-hand side of (<eqnref linkend="nj381623eqn23">23</eqnref>
), the presence of the torsion (<eqnref linkend="nj381623eqn21">21</eqnref>
) in the connection is equivalent to some coupling between alike components of the polarization (magnetization) and the magnetic (electric) field. To be explicit, we write (<eqnref linkend="nj381623eqn23">23</eqnref>
) in terms of the usual fields, (<inline-eqn><math-text><bold>E</bold>
</math-text>
</inline-eqn>
, <inline-eqn><math-text><bold>B</bold>
</math-text>
</inline-eqn>
, <inline-eqn><math-text><bold>D</bold>
</math-text>
</inline-eqn>
, <inline-eqn><math-text><bold>H</bold>
</math-text>
</inline-eqn>
).</p>
<figure id="nj381623fig1" parts="single" width="column" position="float" pageposition="top" printstyle="normal" orientation="port"><graphic position="indented"><graphic-file version="print" format="EPS" width="17.4pc" printcolour="no" filename="images/nj381623fig1.eps"></graphic-file>
<graphic-file version="ej" format="JPEG" printcolour="yes" filename="images/nj381623fig1.jpg"></graphic-file>
</graphic>
<caption type="figure" id="nj381623fc1" label="Figure 1"><p indent="no">A completely antisymmetric torsion field, <inline-eqn><math-text><italic>T</italic>
<sub>μνσ</sub>
=−<italic>T</italic>
<sub>μσν</sub>
=−<italic>T</italic>
<sub>νμσ</sub>
</math-text>
</inline-eqn>
, does not affect geodesics, and rotates vectors in the plane normal to the direction of parallel transport. In the figure, parallel transport is being performed along the blue lines. The transparent vectors show the case when torsion is not included, whereas the solid vectors show the case when we have a completely antisymmetric torsion field.</p>
</caption>
</figure>
<p>Take the simplest case first, and consider an isotropic material, <inline-eqn><math-text><italic>g</italic>
<sub>μν</sub>
=<upright>diag</upright>
(1, −<italic>n</italic>
<sup>2</sup>
, −<italic>n</italic>
<sup>2</sup>
, −<italic>n</italic>
<sup>2</sup>
)</math-text>
</inline-eqn>
. For this case, (<eqnref linkend="nj381623eqn23">23</eqnref>
) becomes
<display-eqn id="nj381623eqn24" textype="equation" notation="LaTeX" eqnnum="24" lines="multiline"></display-eqn>
The addition of the torsion, (<eqnref linkend="nj381623eqn21">21</eqnref>
), into the isotropic geometry may be understood in material terms as an isotropic chiral medium with a non-zero Tellegen parameter, which has equal relative permittivity and permeability as regards the Boys–Post prescription, (<eqnref linkend="nj381623eqn16">16</eqnref>
) and (<eqnref linkend="nj381623eqn17">17</eqnref>
), <inline-eqn></inline-eqn>
.</p>
<p>The next simplest case is where the medium is anisotropic, but where the magneto-electric coupling defined by the <inline-eqn><math-text><bold>g</bold>
</math-text>
</inline-eqn>
vector vanishes. Here, (<eqnref linkend="nj381623eqn23">23</eqnref>
) gives
<display-eqn id="nj381623eqn25" textype="equation" notation="LaTeX" eqnnum="25" lines="multiline"></display-eqn>
where, as before, <inline-eqn></inline-eqn>
and <inline-eqn></inline-eqn>
. As the torsion, (<eqnref linkend="nj381623eqn21">21</eqnref>
), is actually a pseudo-tensor, the <inline-eqn><math-text>χ</math-text>
</inline-eqn>
parameter changes sign under time reversal or spatial parity inversion: this is consistent with a Tellegen medium, which is not time reversible. The constitutive relation is somewhat more complicated in the case of a space–time background with a non-vanishing <inline-eqn><math-text><bold>g</bold>
</math-text>
</inline-eqn>
vector as there is an interplay between the magneto-electric coupling due to the metric and that due to the torsion.</p>
<p>We conclude that the inhomogeneity of the Tellegen parameter is equivalent to space–time torsion in the covariant derivative of (<eqnref linkend="nj381623eqn4">4</eqnref>
). Note that when the Tellegen parameter is homogeneous, it disappears from the geometry, which again becomes Riemannian: this is consistent with the known invariance of the Maxwell equations under transformations of the fields, where <inline-eqn><math-text><bold>D</bold>
→<bold>D</bold>
+η<bold>B</bold>
</math-text>
</inline-eqn>
and <inline-eqn><math-text><bold>H</bold>
→<bold>H</bold>
−η<bold>E</bold>
</math-text>
</inline-eqn>
, with uniform <inline-eqn><math-text>η</math-text>
</inline-eqn>
(see e.g. [<cite linkend="nj381623bib24">24</cite>
, <cite linkend="nj381623bib29">29</cite>
]).</p>
<p>It is evident that the more physically important magneto-electric parameter, <inline-eqn><math-text>κ</math-text>
</inline-eqn>
, does not arise from the above modification to the space–time connection. The definition of this quantity, (<eqnref linkend="nj381623eqn16">16</eqnref>
) and (<eqnref linkend="nj381623eqn17">17</eqnref>
), anticipates that it can only arise in the frequency domain, which we now consider.</p>
<sec-level2 id="nj381623s4.1" label="4.1"><heading>The frequency domain</heading>
<p indent="no">In the frequency domain, we consider a purely spatial geometry—<inline-eqn><math-text><italic>g</italic>
<sub>00</sub>
=1</math-text>
</inline-eqn>
, <inline-eqn><math-text><italic>g</italic>
<sub>0<italic>i</italic>
</sub>
=<italic>g</italic>
<sub><italic>i</italic>
0</sub>
=0</math-text>
</inline-eqn>
—and replace the time derivative with <inline-eqn><math-text>−<italic>i</italic>
ω</math-text>
</inline-eqn>
. With this assumption, (<eqnref linkend="nj381623eqn20">20</eqnref>
) is
<display-eqn id="nj381623eqn26" textype="equation" notation="LaTeX" eqnnum="26"></display-eqn>
where we have assumed, as in the previous section, that the additional torsion does not alter the trace of the connection symbol. One such set of components is as follows:
<display-eqn id="nj381623eqn27" textype="equation" notation="LaTeX" eqnnum="27" lines="multiline"></display-eqn>
Note that, despite appearances, (<eqnref linkend="nj381623eqn27">27</eqnref>
) transforms as a pseudo-tensor under purely spatial co-ordinate transformations. We can decompose (<eqnref linkend="nj381623eqn26">26</eqnref>
) into two equations, one for <inline-eqn><math-text>ν=0</math-text>
</inline-eqn>
,
<display-eqn id="nj381623eqn28" textype="equation" notation="LaTeX" eqnnum="28"></display-eqn>
and the other for <inline-eqn><math-text>ν=<italic>j</italic>
</math-text>
</inline-eqn>
,
<display-eqn id="nj381623eqn29" textype="equation" notation="LaTeX" eqnnum="29" lines="multiline"></display-eqn>
From the form of (<eqnref linkend="nj381623eqn28">28</eqnref>
) and (<eqnref linkend="nj381623eqn29">29</eqnref>
), the torsion given by (<eqnref linkend="nj381623eqn27">27</eqnref>
) defines the following divergence-less quantity:
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
In terms of a Galilean system containing a material medium, these are equivalent to the vector relationships
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
which define a material medium with a chiral parameter, <inline-eqn><math-text>κ</math-text>
</inline-eqn>
, interpreted in the sense of a Boys–Post constitutive relationship. Combining this result with that of the previous section, a medium with both a chiral parameter and a Tellegen parameter may be defined via a torsion pseudo-tensor with the components
<display-eqn id="nj381623eqn30" textype="equation" notation="LaTeX" eqnnum="30" lines="multiline"></display-eqn>
As we are working in the frequency domain, we have assumed that the material parameters are independent of time. Note that when the material is uniform, the mixed time and space components of the <inline-eqn><math-text><italic>T</italic>
<sup>αβγ</sup>
</math-text>
</inline-eqn>
vanish, and we are left with only the spatial components of the torsion that are proportional to <inline-eqn><math-text>κ</math-text>
</inline-eqn>
. Indeed, the spatial torsion (<inline-eqn><math-text><italic>T</italic>
<sup>123</sup>
</math-text>
</inline-eqn>
) is far and away the dominant part of the object, as it is also weighted by the factor <inline-eqn><math-text>ω/<italic>c</italic>
</math-text>
</inline-eqn>
. This is particularly important in the limit of geometrical optics, which we now investigate.</p>
</sec-level2>
</sec-level1>
<sec-level1 id="nj381623s5" label="5"><heading>Parallel transport and geometrical optics</heading>
<p indent="no">Transformation optics is a geometrical theory that goes beyond ordinary geometrical optics: it is an exact mapping between geometries and materials. Yet geometrical optics encodes most of the intuitive content of the theory: rays follow geodesics, and polarization is parallel transported [<cite linkend="nj381623bib3">3</cite>
, <cite linkend="nj381623bib10">10</cite>
]. Therefore, it is a minimal requirement that the theory of section <secref linkend="nj381623s4">4</secref>
bear these intuitions out: does the geometrical optics of an isotropic chiral medium behave as a theory of rays on a background with torsion? Here we show that this is indeed the case. The approach of this section is like that of the last: the existing theory is briefly reviewed so that we can bring out the new features that come from the non-Riemannian modifications.</p>
<sec-level2 id="nj381623s5.1" label="5.1"><heading>Riemannian media</heading>
<p indent="no">The starting point of geometrical optics is the wave equation, which we now derive for the Riemannian case. As noted previously, in this case it is immaterial whether covariant or partial derivatives appear in the definition of the field tensor. Therefore, the 4D curl of (<eqnref linkend="nj381623eqn6">6</eqnref>
) can be written as
<display-eqn id="nj381623eqn31" textype="equation" notation="LaTeX" eqnnum="31"></display-eqn>
As has been assumed throughout, the covariant derivative of the Lévi–Cività symbol is zero, and the usual formula <inline-eqn><math-text>δ<sup>αβγ</sup>
<sub>νστ</sub>
=ε<sup>αβγμ</sup>
ε<sub>νστμ</sub>
</math-text>
</inline-eqn>
(where <inline-eqn><math-text>δ<sup>αβγ</sup>
<sub>νστ</sub>
</math-text>
</inline-eqn>
is a <inline-eqn><math-text>3×3</math-text>
</inline-eqn>
determinant of the Kronecker deltas [<cite linkend="nj381623bib18">18</cite>
]) can be used to obtain the following result:
<display-eqn id="nj381623eqn32" textype="equation" notation="LaTeX" eqnnum="32"></display-eqn>
Applying (<eqnref linkend="nj381623eqn7">7</eqnref>
) then gives the wave equation
<display-eqn id="nj381623eqn33" textype="equation" notation="LaTeX" eqnnum="33"></display-eqn>
where the commutators of the derivatives are proportional to the contraction of the Riemann curvature tensor, <inline-eqn><math-text><italic>R</italic>
<sup>μ</sup>
<sub>νστ</sub>
</math-text>
</inline-eqn>
, against each index of the field tensor in turn: for example, for a four-vector, <inline-eqn><math-text><italic>V</italic>
<sup>μ</sup>
</math-text>
</inline-eqn>
, <inline-eqn><math-text>[∇<sub>α</sub>
, ∇<sub>β</sub>
] <italic>V</italic>
<sub>σ</sub>
=<italic>R</italic>
<sup>τ</sup>
<sub>σβα</sub>
<italic>V</italic>
<sub>τ</sub>
</math-text>
</inline-eqn>
.</p>
<p>These curvature terms will not enter the approximation of geometrical optics, because they do not diverge as the wavelength goes to zero. To see this, we write down the field tensor in the form <inline-eqn><math-text><italic>F</italic>
<sub>μν</sub>
=<italic>f</italic>
<sub>μν</sub>
<italic>e</italic>
<sup>2π<italic>iS</italic>
/λ</sup>
</math-text>
</inline-eqn>
, where <inline-eqn><math-text>λ=2π<italic>c</italic>
/ω</math-text>
</inline-eqn>
, and take the limit of rapidly varying phase: <inline-eqn><math-text>λ→0</math-text>
</inline-eqn>
, which is equivalent to assuming a length scale for the variation of the material properties that is much larger than the wavelength of the optical field.</p>
<p>Expanding (<eqnref linkend="nj381623eqn33">33</eqnref>
) in powers of <inline-eqn><math-text>λ<sup>−1</sup>
</math-text>
</inline-eqn>
and requiring that the coefficient of each power vanish separately (neglecting the zeroth order as <inline-eqn><math-text>λ→0</math-text>
</inline-eqn>
) yields the equations of geometrical optics
<display-eqn id="nj381623eqn34" textype="equation" notation="LaTeX" eqnnum="34"></display-eqn>
<display-eqn id="nj381623eqn35" textype="equation" notation="LaTeX" eqnnum="35"></display-eqn>
which, as expected, do not include the curvature tensor. The first of these relations, (<eqnref linkend="nj381623eqn34">34</eqnref>
), is equivalent to the statement that rays follow geodesics. To see this, we operate on the left with the covariant derivative, <inline-eqn><math-text>∇<sub>β</sub>
</math-text>
</inline-eqn>
, and recall that in a Riemannian space–time, the second-order derivatives of a scalar commute (the torsion is zero): <inline-eqn><math-text>[∇<sub>α</sub>
, ∇<sub>β</sub>
] ϕ=0</math-text>
</inline-eqn>
,
<display-eqn id="nj381623eqn36" textype="equation" notation="LaTeX" eqnnum="36"></display-eqn>
where the gradient of the phase, <inline-eqn><math-text>∂<sub>α</sub>
<italic>S</italic>
</math-text>
</inline-eqn>
, is taken to equal the tangent vector to a curve, <inline-eqn><math-text>∂<sub>α</sub>
<italic>S</italic>
=<italic>g</italic>
<sub>αβ</sub>
<upright>d</upright>
<italic>x</italic>
<sup>β</sup>
/<upright>d</upright>
<italic>s</italic>
</math-text>
</inline-eqn>
, and <inline-eqn><math-text><italic>D</italic>
≡<upright>d</upright>
<italic>x</italic>
<sup>α</sup>
∇<sub>α</sub>
</math-text>
</inline-eqn>
. Equation (<eqnref linkend="nj381623eqn36">36</eqnref>
) is precisely the rule for the geodesic motion of a material particle in a Riemannian space–time.</p>
<p>The second defining equation of geometrical optics, (<eqnref linkend="nj381623eqn35">35</eqnref>
), illustrates how the polarization changes along a ray. We write the field tensor amplitude as a bivector that, in the frame we are considering, contains two unit three-vectors, multiplied by an amplitude, <inline-eqn><math-text><italic>f</italic>
<sub>μν</sub>
=<italic>u</italic>
<sub>μν</sub>
<italic>F</italic>
</math-text>
</inline-eqn>
, where <inline-eqn><math-text><italic>u</italic>
<sub>μν</sub>
=(<bold>u</bold>
, <bold>v</bold>
)</math-text>
</inline-eqn>
: <inline-eqn><math-text><italic>u</italic>
<sub><italic>i</italic>
</sub>
(<italic>u</italic>
)<sup><italic>i</italic>
</sup>
=1</math-text>
</inline-eqn>
; <inline-eqn><math-text><italic>v</italic>
<sub><italic>i</italic>
</sub>
<italic>v</italic>
<sup><italic>i</italic>
</sup>
=1</math-text>
</inline-eqn>
; <inline-eqn><math-text><italic>u</italic>
<sub><italic>i</italic>
</sub>
<italic>k</italic>
<sup><italic>i</italic>
</sup>
=<italic>v</italic>
<sub><italic>i</italic>
</sub>
<italic>k</italic>
<sup><italic>i</italic>
</sup>
=<italic>u</italic>
<sub><italic>i</italic>
</sub>
<italic>v</italic>
<sup><italic>i</italic>
</sup>
=0</math-text>
</inline-eqn>
. The tensor <inline-eqn><math-text><italic>u</italic>
<sub>μν</sub>
</math-text>
</inline-eqn>
indicates the direction of the polarization, and (<eqnref linkend="nj381623eqn35">35</eqnref>
) becomes
<display-eqn id="nj381623eqn37" textype="equation" notation="LaTeX" eqnnum="37"></display-eqn>
Both terms to the left of the equality in (<eqnref linkend="nj381623eqn37">37</eqnref>
) must vanish separately if the unit polarization vectors defined within <inline-eqn><math-text><italic>u</italic>
<sub>μν</sub>
</math-text>
</inline-eqn>
are to remain unit vectors at all points along a ray. Consequently,
<display-eqn id="nj381623eqn38" textype="equation" notation="LaTeX" eqnnum="38"></display-eqn>
<display-eqn id="nj381623eqn39" textype="equation" notation="LaTeX" eqnnum="39"></display-eqn>
Explicitly, (<eqnref linkend="nj381623eqn38">38</eqnref>
) is equivalent to the continuity of the energy momentum along the ray, and (<eqnref linkend="nj381623eqn39">39</eqnref>
) to the statement that the direction of the polarization is parallel transported along the ray. These are the essential results of geometrical optics in a Riemannian medium.</p>
</sec-level2>
<sec-level2 id="nj381623s5.2" label="5.2"><heading>Non-Riemannian media</heading>
<p indent="no">If we allow for the possibility of a space time with torsion as in section <secref linkend="nj381623s4">4</secref>
, then it is not immediately obvious whether the equations of geometrical optics will still carry the simple structure where rays follow geodesics, and polarization is parallel transported. Although the Maxwell equations remain identical in form to (<eqnref linkend="nj381623eqn6">6</eqnref>
) and (<eqnref linkend="nj381623eqn7">7</eqnref>
) throughout, this was achieved through imposing the definition of the field tensor, and we should check that this imposition has not spoilt the geometrical interpretation (which is, after all, the point of transformation optics). We shall show that, due to the particular form of the torsion, (<eqnref linkend="nj381623eqn30">30</eqnref>
), the geometrical optics limit is unaffected; rays still follow geodesics, and the polarization is still parallel transported.</p>
<p>The analogous situation to that represented by equation (<eqnref linkend="nj381623eqn31">31</eqnref>
) contains an additional contribution that arises because of the use of partial, rather than covariant, derivatives to define the field tensor
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
Following the same procedure as the one that led to (<eqnref linkend="nj381623eqn32">32</eqnref>
) and expanding the contraction of the Lévi–Cività symbols,
<display-eqn id="nj381623eqn40" textype="equation" notation="LaTeX" eqnnum="40" lines="multiline"></display-eqn>
it is clear that there are terms in addition to the wave operator, <inline-eqn><math-text>∇<sub>γ</sub>
∇<sup>γ</sup>
<italic>F</italic>
<sup>αβ</sup>
</math-text>
</inline-eqn>
, that involve the contraction of geometric quantities not only against the field tensor, but also against <italic>derivatives</italic>
of the field tensor. Such terms will remain in the equations of geometrical optics, and we must investigate them further.</p>
<p>The commutator of the derivatives of the field tensor, <inline-eqn><math-text>[∇<sub>γ</sub>
, ∇<sup>α</sup>
]<italic>F</italic>
<sup>βγ</sup>
</math-text>
</inline-eqn>
, now also contains terms involving the torsion tensor
<display-eqn id="nj381623eqn41" textype="equation" notation="LaTeX" eqnnum="41"></display-eqn>
Using (<eqnref linkend="nj381623eqn41">41</eqnref>
) and applying (<eqnref linkend="nj381623eqn2">2</eqnref>
), we can group the terms in addition to the wave operator in (<eqnref linkend="nj381623eqn40">40</eqnref>
). The zeroth-order terms involving no derivatives of the fields are found to be
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
meanwhile, the terms that are first order in the derivatives of the field tensor are
<display-eqn id="nj381623eqn42" textype="equation" notation="LaTeX" eqnnum="42"></display-eqn>
For a general form of <inline-eqn><math-text><italic>T</italic>
<sup>αβγ</sup>
</math-text>
</inline-eqn>
, (<eqnref linkend="nj381623eqn42">42</eqnref>
) is non-zero, and a simple geometric description will not apply. However, it is immediately clear that the description of Tellegen media given by (<eqnref linkend="nj381623eqn21">21</eqnref>
) makes these first order terms vanish.</p>
<p>In treating (<eqnref linkend="nj381623eqn42">42</eqnref>
) in the frequency domain, we assume, as in [<cite linkend="nj381623bib30">30</cite>
], that the optical activity of the chiral parameter, <inline-eqn><math-text>κ</math-text>
</inline-eqn>
, is such that the polarization is only slightly changed over each optical cycle: i.e. that <inline-eqn><math-text>ωκ/<italic>c</italic>
</math-text>
</inline-eqn>
does not diverge as <inline-eqn><math-text>λ→0</math-text>
</inline-eqn>
. This means that the quantity <inline-eqn><math-text>κ</math-text>
</inline-eqn>
is of order <inline-eqn><math-text>λ</math-text>
</inline-eqn>
, and the non-zero part of (<eqnref linkend="nj381623eqn30">30</eqnref>
) in the limit equals only the spatial part of the torsion, <inline-eqn><math-text><italic>T</italic>
<sup><italic>ijk</italic>
</sup>
</math-text>
</inline-eqn>
(not including the Tellegen parameter, the contribution of which we have shown to equal zero), so that (<eqnref linkend="nj381623eqn42">42</eqnref>
) also vanishes in this case. This proves that the limit of geometrical optics involves only the wave operator and zeroth-order terms, just as in the Riemannian case.</p>
<p>We have therefore established that, as in the usual situation presented in section <secref linkend="nj381623s5.1">5.1</secref>
, only the wave operator matters in the limit of geometrical optics,
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
For slowly varying torsion and small curvature and torsion in comparison to <inline-eqn><math-text>1/λ</math-text>
</inline-eqn>
, this is the equation obeyed by the exact solution to Maxwell's equations, to a good approximation. The geometrical understanding of the theory becomes more complicated when the torsion is rapidly varying, just as it does when the curvature is large in the usual theory of transformation optics. So our formalism passes the first test.</p>
<p>Inserting the ansatz for the field tensor as in the previous section, we have again (<eqnref linkend="nj381623eqn34">34</eqnref>
) and (<eqnref linkend="nj381623eqn35">35</eqnref>
). However, the meaning of these equations is now slightly different. For, if we take (<eqnref linkend="nj381623eqn34">34</eqnref>
) and attempt to derive the geodesic equation as before, then we find an additional term,
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
For the same reason that this limit works in the first place, namely the vanishing of the terms in (<eqnref linkend="nj381623eqn42">42</eqnref>
), this additional contribution vanishes and we have
<display-eqn id="nj381623eqn43" textype="equation" notation="LaTeX" eqnnum="43"></display-eqn>
This is the equation for an auto-parallel rather than a geodesic [<cite linkend="nj381623bib31">31</cite>
, section 10], as it contains the full connection and not only the Christoffel symbol: this equation formally determines the straightest line between two points and not the shortest. However, again due to the antisymmetry of (<eqnref linkend="nj381623eqn30">30</eqnref>
) in all indices, the contribution of the contorsion is zero (i.e. chiral media are equivalent to a geometry with a <inline-eqn><math-text><italic>K</italic>
<sup>μ</sup>
<sub>νσ</sub>
</math-text>
</inline-eqn>
that is antisymmetric in the lower two indices), and <italic>rays follow geodesics</italic>
.</p>
<p>The derivation of the equivalent of (<eqnref linkend="nj381623eqn37">37</eqnref>
) is unaltered in this situation, and so (<eqnref linkend="nj381623eqn38">38</eqnref>
) and (<eqnref linkend="nj381623eqn39">39</eqnref>
) remain in the same form. First the propagation of energy–momentum
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
The contorsion that gave rise to the chirality did not alter the trace of the connection. Therefore, energy–momentum propagates relative to geodesics, as in the Riemannian case: this is consistent with the equivalence of (<eqnref linkend="nj381623eqn43">43</eqnref>
) to geodesic motion. Meanwhile, the propagation of polarization along the ray <italic>is</italic>
affected by the presence of torsion,
<display-eqn id="nj381623eqn44" textype="equation" notation="LaTeX" eqnnum="44"></display-eqn>
So the formalism appears to be consistent with the idea that <italic>weak chirality acts to rotate polarization during propagation</italic>
(cf figure <figref linkend="nj381623fig1">1</figref>
).</p>
<p indent="no"><italic>In summary</italic>
: for a chiral medium that rotates the polarization by a finite amount over a typical length scale, and where the change in the chiral parameter, <inline-eqn><math-text>κ</math-text>
</inline-eqn>
, is not significant over a wavelength, the geometrical optics of chiral media requires that we add torsion into the connection. The form of the torsion, (<eqnref linkend="nj381623eqn30">30</eqnref>
), is such that the propagation of a ray is unaffected—geodesics are equivalent to auto-parallels—whereas the parallel transport of the polarization is modified. This result holds also for Tellegen media, where <inline-eqn><math-text>χ</math-text>
</inline-eqn>
does not vary too rapidly.</p>
</sec-level2>
</sec-level1>
<sec-level1 id="nj381623s6" label="6"><heading>Applications</heading>
<sec-level2 id="nj381623s6.1" label="6.1"><heading>A homogeneous, isotropic, chiral medium</heading>
<p indent="no">The simplest test of this theory is to apply it to the simplest kind of chiral medium; one that is homogeneous. Note that throughout this section and the next, we implicitly work in the frequency domain, despite using 4D notation. For an isotropic, homogeneous medium, the theory of sections <secref linkend="nj381623s2">2</secref>
and <secref linkend="nj381623s4">4</secref>
prescribes that the metric and torsion should be given by
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
and
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
Due to the assumed uniformity of <inline-eqn><math-text><italic>n</italic>
</math-text>
</inline-eqn>
, the Christoffel symbols vanish, and the connection is equal to the contorsion tensor
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
Therefore, (<eqnref linkend="nj381623eqn43">43</eqnref>
) becomes
<display-eqn id="nj381623eqn45" textype="equation" notation="LaTeX" eqnnum="45"></display-eqn>
Rays follow straight lines. Yet the polarization is changed along each ray, as is clear from (<eqnref linkend="nj381623eqn44">44</eqnref>
). For instance, if we take the unit vector for the electric field, <inline-eqn><math-text><italic>u</italic>
<sub>0<italic>i</italic>
</sub>
=<italic>u</italic>
<sub><italic>i</italic>
</sub>
</math-text>
</inline-eqn>
, then it changes according to
<display-eqn id="nj381623eqn46" textype="equation" notation="LaTeX" eqnnum="46"></display-eqn>
where <inline-eqn><math-text>α=μ<sub>0</sub>
ωκ/<italic>c</italic>
</math-text>
</inline-eqn>
and <inline-eqn><math-text><italic>k</italic>
<sub><italic>j</italic>
</sub>
=<upright>d</upright>
<italic>x</italic>
<sub><italic>j</italic>
</sub>
/<upright>d</upright>
<italic>s</italic>
</math-text>
</inline-eqn>
. Suppose that a ray travels along the <inline-eqn><math-text><italic>x</italic>
</math-text>
</inline-eqn>
-axis, <inline-eqn><math-text><bold>k</bold>
=(<italic>n</italic>
, 0, 0)</math-text>
</inline-eqn>
. In this case, <inline-eqn><math-text><bold>u</bold>
=(0, <italic>u</italic>
<sub><italic>y</italic>
</sub>
, <italic>u</italic>
<sub><italic>z</italic>
</sub>
)</math-text>
</inline-eqn>
, and (<eqnref linkend="nj381623eqn46">46</eqnref>
) yields two coupled equations,
<display-eqn id="nj381623eqn47" textype="equation" notation="LaTeX" eqnnum="47" lines="multiline"></display-eqn>
From the definition of <inline-eqn><math-text><upright>d</upright>
<italic>x</italic>
<sup><italic>i</italic>
</sup>
/<upright>d</upright>
<italic>s</italic>
</math-text>
</inline-eqn>
, <inline-eqn><math-text><upright>d</upright>
<italic>x</italic>
<sup><italic>i</italic>
</sup>
<upright>d</upright>
<italic>x</italic>
<sub><italic>i</italic>
</sub>
=<upright>d</upright>
<italic>s</italic>
<sup>2</sup>
</math-text>
</inline-eqn>
, the line element on the ray is <inline-eqn><math-text><upright>d</upright>
<italic>s</italic>
=<italic>n</italic>
<upright>d</upright>
<italic>x</italic>
</math-text>
</inline-eqn>
. Therefore the covariant unit vector, <inline-eqn><math-text><bold>u</bold>
</math-text>
</inline-eqn>
, has the following form:
<display-eqn id="nj381623eqn48" textype="equation" notation="LaTeX" eqnnum="48"></display-eqn>
An almost identical calculation of the unit vector of the magnetic field, <inline-eqn><math-text><bold>v</bold>
</math-text>
</inline-eqn>
, shows that <inline-eqn><math-text><bold>v</bold>
</math-text>
</inline-eqn>
also satisfies (<eqnref linkend="nj381623eqn47">47</eqnref>
). Applying the definition of the field tensor,
<display-eqn id="nj381623eqn49" textype="equation" notation="LaTeX" eqnnum="49"></display-eqn>
From (<eqnref linkend="nj381623eqn45">45</eqnref>
), (<eqnref linkend="nj381623eqn48">48</eqnref>
) and (<eqnref linkend="nj381623eqn49">49</eqnref>
), the field in the material is therefore proportional to
<display-eqn id="nj381623eqn50" textype="equation" notation="LaTeX" eqnnum="50"></display-eqn>
<display-eqn id="nj381623eqn51" textype="equation" notation="LaTeX" eqnnum="51"></display-eqn>
In the weakly chiral limit in which we are working, (<eqnref linkend="nj381623eqn50">50</eqnref>
) and (<eqnref linkend="nj381623eqn51">51</eqnref>
) are the solutions to the Maxwell equations. To see this, we consider the wave equation that arises from the usual Maxwell equations (<inline-eqn><math-text><bold>μ</bold>
/μ<sub>0</sub>
=<bold>ε</bold>
/ε<sub>0</sub>
</math-text>
</inline-eqn>
) with the constitutive relations (<eqnref linkend="nj381623eqn16">16</eqnref>
) and (<eqnref linkend="nj381623eqn17">17</eqnref>
),
<display-eqn id="nj381623eqn52" textype="equation" notation="LaTeX" eqnnum="52"></display-eqn>
Substituting an electric field of the form <inline-eqn></inline-eqn>
into (<eqnref linkend="nj381623eqn52">52</eqnref>
) yields,
<display-eqn id="nj381623eqn53" textype="equation" notation="LaTeX" eqnnum="53"></display-eqn>
The right-hand side of (<eqnref linkend="nj381623eqn53">53</eqnref>
) is proportional to <inline-eqn><math-text>λ</math-text>
</inline-eqn>
times a quantity of the order of unity. Therefore, in the approximation of (<eqnref linkend="nj381623eqn50">50</eqnref>
) and (<eqnref linkend="nj381623eqn51">51</eqnref>
),
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
which is identical to (<eqnref linkend="nj381623eqn47">47</eqnref>
). This confirms that in the case of an isotropic, homogeneous, chiral medium, with <inline-eqn><math-text>μ<sub>0</sub>
κ≪1</math-text>
</inline-eqn>
, non-Riemannian geometrical optics is equivalent to the solution of Maxwell's equations.</p>
</sec-level2>
<sec-level2 id="nj381623s6.2" label="6.2"><heading>Maxwell's fish eye lens</heading>
<p indent="no">In the formalism of transformation optics presented in section <secref linkend="nj381623s2">2</secref>
, geometry is implemented for the purpose of directing rays, and <italic>polarization is a bystander</italic>
, responding in a way that is determined by the geodesics. However, one may wish to maintain a given polarization throughout a device or change it in some prespecified manner. Here we show, using the simplest example of a curved geometry for light, namely the Maxwell fish eye [<cite linkend="nj381623bib3">3</cite>
, <cite linkend="nj381623bib10">10</cite>
, <cite linkend="nj381623bib32">32</cite>
, <cite linkend="nj381623bib33">33</cite>
], that torsion can be used to control the polarization of light without affecting the geodesics. We should note that chiral media have previously been considered for ‘correcting’ polarization in a variant of the planar fish eye [<cite linkend="nj381623bib30">30</cite>
].</p>
<p>The fish eye is a continuous medium in which the behaviour of light maps onto the free motion on the surface of a sphere (this may be a two-sphere or a three-sphere, depending on whether the medium is planar or truly 3D). It has received much attention recently, in part owing to its ability to periodically perfectly reconstruct an initial optical pulse as it propagates through the medium, as well as sub-diffraction resolution [<cite linkend="nj381623bib13">13</cite>
], [<cite linkend="nj381623bib34" range="nj381623bib34,nj381623bib35,nj381623bib36">34–36</cite>
] (see [<cite linkend="nj381623bib37">37</cite>
] for an interesting discussion of sub-wavelength focusing).</p>
<p>If the behaviour of light in terms of lab co-ordinates <inline-eqn><math-text>(<italic>x</italic>
, <italic>y</italic>
, <italic>z</italic>
)</math-text>
</inline-eqn>
corresponds to motion on the surface of a three-sphere (a hypersphere), the optical line element can be written in a form corresponding to an isotropic medium,
<display-eqn id="nj381623eqn54" textype="equation" notation="LaTeX" eqnnum="54" lines="multiline"></display-eqn>
where <inline-eqn></inline-eqn>
, and <inline-eqn><math-text><italic>a</italic>
</math-text>
</inline-eqn>
and (<inline-eqn><math-text>Θ, Φ, χ</math-text>
</inline-eqn>
) are the radius and angular co-ordinates of the equivalent three-sphere, respectively.</p>
<p>To motivate an expression for <inline-eqn><math-text><italic>n</italic>
(<italic>r</italic>
)</math-text>
</inline-eqn>
, we note that a spherical geometry has no boundary, whereas physical space has a ‘boundary’ at infinity. Therefore, as <inline-eqn><math-text><italic>r</italic>
→∞</math-text>
</inline-eqn>
in physical space, <inline-eqn><math-text><italic>n</italic>
(<italic>r</italic>
)</math-text>
</inline-eqn>
should be such that the radius of any circle surrounding the origin, as experienced by a light ray, <inline-eqn><math-text>2π<italic>n</italic>
(<italic>r</italic>
)r</math-text>
</inline-eqn>
, goes to zero. Also, the length of any optical path, <inline-eqn><math-text>∫<sub>0</sub>
<sup>∞</sup>
<italic>n</italic>
(<italic>r</italic>
)<upright>d</upright>
<italic>r</italic>
</math-text>
</inline-eqn>
, should equal <inline-eqn><math-text>π<italic>a</italic>
</math-text>
</inline-eqn>
, where <inline-eqn><math-text><italic>a</italic>
</math-text>
</inline-eqn>
is the radius of the sphere. A refractive index fulfilling both these requirements is
<display-eqn id="nj381623eqn55" textype="equation" notation="LaTeX" eqnnum="55"></display-eqn>
If we introduce spherical polar co-ordinates in the lab system, <inline-eqn><math-text><upright>d</upright>
<italic>x</italic>
<sup>2</sup>
+<upright>d</upright>
<italic>y</italic>
<sup>2</sup>
+<upright>d</upright>
<italic>z</italic>
<sup>2</sup>
=<upright>d</upright>
<italic>r</italic>
<sup>2</sup>
+<italic>r</italic>
<sup>2</sup>
(<upright>d</upright>
&thetas;<sup>2</sup>
+<upright>sin</upright>
<sup>2</sup>
(&thetas;)<upright>d</upright>
&phis;<sup>2</sup>
)</math-text>
</inline-eqn>
in (<eqnref linkend="nj381623eqn54">54</eqnref>
), then the observation that the angles <inline-eqn><math-text>&thetas;, &phis;</math-text>
</inline-eqn>
can, by symmetry, equal the corresponding angles on the three-sphere, <inline-eqn><math-text>&thetas;, &phis;=Φ, χ</math-text>
</inline-eqn>
, leads via (<eqnref linkend="nj381623eqn55">55</eqnref>
) to the identification <inline-eqn><math-text><italic>r</italic>
=<italic>a</italic>
<upright>tan</upright>
(Θ/2)</math-text>
</inline-eqn>
. Performing this transformation of the radial co-ordinate in the first line of (<eqnref linkend="nj381623eqn54">54</eqnref>
) yields the line element on the second line of (<eqnref linkend="nj381623eqn54">54</eqnref>
), justifying (<eqnref linkend="nj381623eqn55">55</eqnref>
).</p>
<p>The metric tensor associated with Maxwell's fish eye can be immediately written down from (<eqnref linkend="nj381623eqn54">54</eqnref>
):
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
This corresponds to the non-zero Christoffel symbols: <inline-eqn></inline-eqn>
; <inline-eqn></inline-eqn>
; <inline-eqn></inline-eqn>
; <inline-eqn></inline-eqn>
; <inline-eqn></inline-eqn>
; and <inline-eqn></inline-eqn>
. These symbols determine the trajectories of the light rays, as well as the change in polarization during propagation. In particular, light rays with motion along the <inline-eqn><math-text>Φ, χ</math-text>
</inline-eqn>
axes are confined to a two-sphere (of constant <inline-eqn><math-text>Θ</math-text>
</inline-eqn>
) when <inline-eqn><math-text>Θ=π/2</math-text>
</inline-eqn>
(<inline-eqn><math-text><italic>r</italic>
=<italic>a</italic>
</math-text>
</inline-eqn>
in the lab system). As a visual example, let us examine the motion of light rays and transport of polarization in this specific case (see figure <figref linkend="nj381623fig2">2</figref>
).</p>
<figure id="nj381623fig2" parts="single" width="column" position="float" pageposition="top" printstyle="normal" orientation="port"><graphic position="left"><graphic-file version="print" format="EPS" width="37.7pc" printcolour="no" filename="images/nj381623fig2.eps"></graphic-file>
<graphic-file version="ej" format="JPEG" printcolour="yes" filename="images/nj381623fig2.jpg"></graphic-file>
</graphic>
<caption type="figure" id="nj381623fc2" label="Figure 2"><p indent="no">In Maxwell's fish eye lens, the ray trajectories are the great circles of a three-sphere, as illustrated for the special case of <inline-eqn><math-text><italic>r</italic>
=<italic>a</italic>
</math-text>
</inline-eqn>
in (a) and (b). Panel (a) shows the usual situation, where the refractive index determines both the ray trajectory (red line) and the behaviour of the polarization (blue lines). Meanwhile, (b) shows that transformation optics with the inclusion of the geometrical torsion, (<eqnref linkend="nj381623eqn58">58</eqnref>
) (i.e. isotropic chirality), allows for the manipulation of polarization without affecting the geodesics.</p>
</caption>
</figure>
<p>The geodesic equations (<eqnref linkend="nj381623eqn36">36</eqnref>
) on the two-sphere defined by <inline-eqn><math-text>Θ=π/2</math-text>
</inline-eqn>
are
<display-eqn id="nj381623eqn56" textype="equation" notation="LaTeX" eqnnum="56" lines="multiline"></display-eqn>
so the rays remain confined to the two-sphere. The change in polarization is similarly obtained, through applying (<eqnref linkend="nj381623eqn39">39</eqnref>
):
<display-eqn id="nj381623eqn57" textype="equation" notation="LaTeX" eqnnum="57" lines="multiline"></display-eqn>
Equations (<eqnref linkend="nj381623eqn56">56</eqnref>
) can be integrated to give the ray trajectory
<display-eqn textype="equation" notation="LaTeX" number="no"></display-eqn>
where <inline-eqn><math-text><italic>l</italic>
</math-text>
</inline-eqn>
and <inline-eqn><math-text><italic>l</italic>
<sub><italic>z</italic>
</sub>
</math-text>
</inline-eqn>
are the constants of integration in (<eqnref linkend="nj381623eqn56">56</eqnref>
), and the sign of the derivative changes as the square root goes to zero. Noting the symmetry of the medium and setting <inline-eqn><math-text>Φ=π/2</math-text>
</inline-eqn>
, <inline-eqn><math-text><italic>l</italic>
=<italic>l</italic>
<sub><italic>z</italic>
</sub>
</math-text>
</inline-eqn>
, it is clear that rays propagate along the great circles and polarization has a constant orientation along each ray (figure <figref linkend="nj381623fig2">2</figref>
(a)). In Riemannian transformation optics, we can only manipulate the propagation of polarization along a ray by changing the geodesics. However, the additional geometrical property of torsion, outlined in sections <secref linkend="nj381623s4">4</secref>
and <secref linkend="nj381623s5.2">5.2</secref>
, allows us to ‘twist’ the co-ordinate lines on the sphere so that the polarization is changed, while the geodesics is left unaltered.</p>
<p>For instance, if we wished to generate TE polarization at one point on the sphere (e.g. <inline-eqn><math-text>Θ=π/2, Φ=π/2, χ=0</math-text>
</inline-eqn>
) and have it arrive at the antipode (<inline-eqn><math-text>Θ=π/2, Φ=π/2, χ=π</math-text>
</inline-eqn>
) with TM polarization, then we could add the following torsion into the connection (this picture is accurate as long as <inline-eqn><math-text><italic>a</italic>
≫λ</math-text>
</inline-eqn>
):
<display-eqn id="nj381623eqn58" textype="equation" notation="LaTeX" eqnnum="58"></display-eqn>
The behaviour of the polarization on the surface of the two-sphere with the addition of (<eqnref linkend="nj381623eqn58">58</eqnref>
) is shown in figure <figref linkend="nj381623fig2">2</figref>
.</p>
</sec-level2>
</sec-level1>
<sec-level1 id="nj381623s7" label="7"><heading>Conclusions</heading>
<p indent="no">We have shown that non-Riemannian geometry can be introduced into the Maxwell equations to describe inhomogeneous media with isotropic chirality. If the definition of the field tensor is kept in the same gauge invariant form as in a Riemannian geometry, then we have shown that a background with a particular kind of torsion can reproduce the correct constitutive relations for such media. Furthermore, if the chirality produces only a small amount of optical activity over a single optical cycle and varies by only a small amount over a wavelength, then we have also shown that geometrical optics behaves exactly as if on a background with a non-zero torsion. This formalism allows for a greater degree of control over polarization within the theory of transformation optics, and we have given an example of how torsion can be implemented to change polarization without changing the geodesics.</p>
<p>Any transformation-optics-based device can therefore perform an additional action on the polarization of light through a simple addition of torsion into the geometry. The resulting material parameters may be realized with a homogenization procedure such as that of [<cite linkend="nj381623bib38">38</cite>
], and this may allow for a reinvigorated exploration of potentially useful chiral devices. One suggestion could be to look at transformation optics designs for ‘sub-diffraction’ chirolenses. See, for example, [<cite linkend="nj381623bib39">39</cite>
] for a broad review of possible avenues that could be explored with chiral media.</p>
</sec-level1>
<acknowledgment><heading>Acknowledgments</heading>
<p indent="no">This research was supported by an EPSRC postdoctoral fellowship award. I thank Tom Philbin and Ulf Leonhardt for useful discussions, suggestions and corrections, as well as patience.</p>
</acknowledgment>
</body>
<back><references><heading>References</heading>
<reference-list type="numeric"><journal-ref id="nj381623bib1" num="1"><authors><au><second-name>Leonhardt</second-name>
<first-names>U</first-names>
</au>
<au><second-name>Philbin</second-name>
<first-names>T G</first-names>
</au>
</authors>
<year>2006</year>
<jnl-title>New J. Phys.</jnl-title>
<volume>8</volume>
<pages>247</pages>
<crossref><cr_doi>http://dx.doi.org/10.1088/1367-2630/8/10/247</cr_doi>
<cr_issn type="electronic">1367-2630</cr_issn>
</crossref>
</journal-ref>
<book-ref id="nj381623bib2" num="2"><authors><au><second-name>Landau</second-name>
<first-names>L D</first-names>
</au>
<au><second-name>Lifshitz</second-name>
<first-names>E M</first-names>
</au>
</authors>
<year>2003</year>
<book-title>The Classical Theory of Fields</book-title>
<publication><place>Oxford</place>
<publisher>Butterworth-Heinemann</publisher>
</publication>
</book-ref>
<book-ref id="nj381623bib3" num="3"><authors><au><second-name>Leonhardt</second-name>
<first-names>U</first-names>
</au>
<au><second-name>Philbin</second-name>
<first-names>T G</first-names>
</au>
</authors>
<year>2010</year>
<book-title>Geometry and Light: The Science of Invisibility</book-title>
<publication><place>New York</place>
<publisher>Dover</publisher>
</publication>
</book-ref>
<journal-ref id="nj381623bib4" num="4"><authors><au><second-name>Chen</second-name>
<first-names>H</first-names>
</au>
<au><second-name>Chan</second-name>
<first-names>C T</first-names>
</au>
<au><second-name>Ping</second-name>
<first-names>S</first-names>
</au>
</authors>
<year>2010</year>
<jnl-title>Nat. Mat.</jnl-title>
<volume>9</volume>
<pages>387</pages>
<crossref><cr_doi>http://dx.doi.org/10.1038/nmat2743</cr_doi>
<cr_issn type="print">1476-1122</cr_issn>
<cr_issn type="electronic">1476-4660</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib5" num="5"><authors><au><second-name>Leonhardt</second-name>
<first-names>U</first-names>
</au>
</authors>
<year>2006</year>
<jnl-title>Science</jnl-title>
<volume>312</volume>
<pages>1777</pages>
<crossref><cr_doi>http://dx.doi.org/10.1126/science.1126493</cr_doi>
<cr_issn type="print">0036-8075</cr_issn>
<cr_issn type="electronic">1095-9203</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib6" num="6"><authors><au><second-name>Pendry</second-name>
<first-names>J B</first-names>
</au>
<au><second-name>Schuring</second-name>
<first-names>D</first-names>
</au>
<au><second-name>Smith</second-name>
<first-names>D R</first-names>
</au>
</authors>
<year>2006</year>
<jnl-title>Science</jnl-title>
<volume>312</volume>
<pages>1780</pages>
<crossref><cr_doi>http://dx.doi.org/10.1126/science.1125907</cr_doi>
<cr_issn type="print">0036-8075</cr_issn>
<cr_issn type="electronic">1095-9203</cr_issn>
</crossref>
</journal-ref>
<book-ref id="nj381623bib7" num="7"><authors><au><second-name>Cai</second-name>
<first-names>W</first-names>
</au>
<au><second-name>Shalaev</second-name>
<first-names>V</first-names>
</au>
</authors>
<year>2010</year>
<book-title>Optical Metamaterials</book-title>
<publication><place>London</place>
<publisher>Springer</publisher>
</publication>
</book-ref>
<journal-ref id="nj381623bib8" num="8"><authors><au><second-name>Philbin</second-name>
<first-names>T G</first-names>
</au>
<au><second-name>Kuklewicz</second-name>
<first-names>C</first-names>
</au>
<au><second-name>Robertson</second-name>
<first-names>S</first-names>
</au>
<au><second-name>Hill</second-name>
<first-names>S</first-names>
</au>
<au><second-name>König</second-name>
<first-names>F</first-names>
</au>
<au><second-name>Leonhardt</second-name>
<first-names>U</first-names>
</au>
</authors>
<year>2008</year>
<jnl-title>Science</jnl-title>
<volume>319</volume>
<pages>1367</pages>
<crossref><cr_doi>http://dx.doi.org/10.1126/science.1153625</cr_doi>
<cr_issn type="print">0036-8075</cr_issn>
<cr_issn type="electronic">1095-9203</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib9" num="9"><authors><au><second-name>Belgiorno</second-name>
<first-names>F</first-names>
</au>
<au><second-name>Cacciatori</second-name>
<first-names>S L</first-names>
</au>
<au><second-name>Clerici</second-name>
<first-names>M</first-names>
</au>
<au><second-name>Gorini</second-name>
<first-names>V</first-names>
</au>
<au><second-name>Ortenzi</second-name>
<first-names>G</first-names>
</au>
<au><second-name>Rizzi</second-name>
<first-names>L</first-names>
</au>
<au><second-name>Rubino</second-name>
<first-names>E</first-names>
</au>
<au><second-name>Sala</second-name>
<first-names>V G</first-names>
</au>
<au><second-name>Faccio</second-name>
<first-names>D</first-names>
</au>
</authors>
<year>2010</year>
<jnl-title>Phys. Rev. Lett.</jnl-title>
<volume>105</volume>
<pages>203901</pages>
<crossref><cr_doi>http://dx.doi.org/10.1103/PhysRevLett.105.203901</cr_doi>
<cr_issn type="print">0031-9007</cr_issn>
<cr_issn type="electronic">1079-7114</cr_issn>
</crossref>
</journal-ref>
<book-ref id="nj381623bib10" num="10"><authors><au><second-name>Born</second-name>
<first-names>M</first-names>
</au>
<au><second-name>Wolf</second-name>
<first-names>E</first-names>
</au>
</authors>
<year>1999</year>
<book-title>Principles of Optics</book-title>
<publication><place>Cambridge</place>
<publisher>Cambridge University Press</publisher>
</publication>
</book-ref>
<journal-ref id="nj381623bib11" num="11"><authors><au><second-name>Leonhardt</second-name>
<first-names>U</first-names>
</au>
<au><second-name>Tyc</second-name>
<first-names>T</first-names>
</au>
</authors>
<year>2009</year>
<jnl-title>Science</jnl-title>
<volume>323</volume>
<pages>110</pages>
<crossref><cr_doi>http://dx.doi.org/10.1126/science.1166332</cr_doi>
<cr_issn type="print">0036-8075</cr_issn>
<cr_issn type="electronic">1095-9203</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib12" num="12"><authors><au><second-name>Pendry</second-name>
<first-names>J B</first-names>
</au>
</authors>
<year>2000</year>
<jnl-title>Phys. Rev. Lett.</jnl-title>
<volume>85</volume>
<pages>3966</pages>
<crossref><cr_doi>http://dx.doi.org/10.1103/PhysRevLett.85.3966</cr_doi>
<cr_issn type="print">0031-9007</cr_issn>
<cr_issn type="electronic">1079-7114</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib13" num="13"><authors><au><second-name>Leonhardt</second-name>
<first-names>U</first-names>
</au>
</authors>
<year>2009</year>
<jnl-title>New J. Phys.</jnl-title>
<volume>11</volume>
<pages>093040</pages>
<crossref><cr_doi>http://dx.doi.org/10.1088/1367-2630/11/9/093040</cr_doi>
<cr_issn type="electronic">1367-2630</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib14" num="14"><authors><au><second-name>Garcia de Andrade</second-name>
<first-names>L C</first-names>
</au>
</authors>
<year>2004</year>
<jnl-title>Phys. Rev.</jnl-title>
<part>D</part>
<volume>70</volume>
<pages>064004</pages>
<crossref><cr_doi>http://dx.doi.org/10.1103/PhysRevD.70.064004</cr_doi>
<cr_issn type="print">1550-7998</cr_issn>
<cr_issn type="electronic">1550-2368</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib15" num="15"><authors><au><second-name>Garcia de Andrade</second-name>
<first-names>L C</first-names>
</au>
</authors>
<year>2005</year>
<jnl-title>Phys. Lett.</jnl-title>
<part>A</part>
<volume>346</volume>
<pages>327–9</pages>
<crossref><cr_doi>http://dx.doi.org/10.1016/j.physleta.2005.07.023</cr_doi>
<cr_issn type="print">03759601</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib16" num="16"><authors><au><second-name>Ward</second-name>
<first-names>A J</first-names>
</au>
<au><second-name>Pendry</second-name>
<first-names>J B</first-names>
</au>
</authors>
<year>1996</year>
<jnl-title>J. Mod. Opt.</jnl-title>
<volume>43</volume>
<pages>773</pages>
<crossref><cr_doi>http://dx.doi.org/10.1080/09500349608232782</cr_doi>
<cr_issn type="print">0950-0340</cr_issn>
</crossref>
</journal-ref>
<book-ref id="nj381623bib17" num="17"><authors><au><second-name>Hurley</second-name>
<first-names>D J</first-names>
</au>
<au><second-name>Vandyck</second-name>
<first-names>M A</first-names>
</au>
</authors>
<year>2000</year>
<book-title>Geometry, Spinors and Applications</book-title>
<publication><place>Chichester</place>
<publisher>Springer</publisher>
</publication>
</book-ref>
<book-ref id="nj381623bib18" num="18"><authors><au><second-name>Lovelock</second-name>
<first-names>D</first-names>
</au>
<au><second-name>Rund</second-name>
<first-names>H</first-names>
</au>
</authors>
<year>1975</year>
<book-title>Tensors, Differential Forms and Variational Principles</book-title>
<publication><place>New York</place>
<publisher>Dover</publisher>
</publication>
</book-ref>
<book-ref id="nj381623bib19" num="19"><authors><au><second-name>Landau</second-name>
<first-names>L D</first-names>
</au>
<au><second-name>Lifshitz</second-name>
<first-names>E M</first-names>
</au>
<au><second-name>Pitaevskii</second-name>
<first-names>L P</first-names>
</au>
</authors>
<year>2004</year>
<book-title>The Electrodynamics of Continuous Media</book-title>
<publication><place>Oxford</place>
<publisher>Butterworth-Heinemann</publisher>
</publication>
</book-ref>
<book-ref id="nj381623bib20" num="20"><authors><au><second-name>Lakhtakia</second-name>
<first-names>A</first-names>
</au>
</authors>
<year>1994</year>
<book-title>Beltrami Fields in Chiral Media</book-title>
<publication><place>Singapore</place>
<publisher>World Scientific</publisher>
</publication>
</book-ref>
<book-ref id="nj381623bib21" num="21"><authors><au><second-name>Lindell</second-name>
<first-names>I V</first-names>
</au>
<au><second-name>Sihvola</second-name>
<first-names>A H</first-names>
</au>
<au><second-name>Tretyakov</second-name>
<first-names>S A</first-names>
</au>
<au><second-name>Viitanen</second-name>
<first-names>A J</first-names>
</au>
</authors>
<year>1994</year>
<book-title>Electromagnetic Waves in Chiral and Bi-Anisotropic Media</book-title>
<publication><place>London</place>
<publisher>Routledge</publisher>
</publication>
</book-ref>
<journal-ref id="nj381623bib22" num="22"><authors><au><second-name>Tellegen</second-name>
<first-names>B D H</first-names>
</au>
</authors>
<year>1948</year>
<jnl-title>Philips Res. Rep.</jnl-title>
<volume>3</volume>
<pages>81</pages>
</journal-ref>
<journal-ref id="nj381623bib23" num="23"><authors><au><second-name>Zhang</second-name>
<first-names>C</first-names>
</au>
<au><second-name>Jun Cui</second-name>
<first-names>T</first-names>
</au>
</authors>
<year>2007</year>
<jnl-title>Opt. Express</jnl-title>
<volume>15</volume>
<pages>5114</pages>
<crossref><cr_doi>http://dx.doi.org/10.1364/OE.15.005114</cr_doi>
<cr_issn type="electronic">1094-4087</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib24" num="24"><authors><au><second-name>Lakhtakia</second-name>
<first-names>A</first-names>
</au>
</authors>
<year>1994</year>
<jnl-title>Int. J. Infrared Millim. Waves</jnl-title>
<volume>15</volume>
<pages>1625</pages>
<crossref><cr_doi>http://dx.doi.org/10.1007/BF02096889</cr_doi>
<cr_issn type="print">0195-9271</cr_issn>
<cr_issn type="electronic">1572-9559</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib25" num="25"><authors><au><second-name>Lakhtakia</second-name>
<first-names>A</first-names>
</au>
<au><second-name>Weiglhofer</second-name>
<first-names>W S</first-names>
</au>
</authors>
<year>1994</year>
<jnl-title>IEEE Trans. Microwave Theory Tech.</jnl-title>
<volume>42</volume>
<pages>1715</pages>
<crossref><cr_doi>http://dx.doi.org/10.1109/22.310568</cr_doi>
<cr_issn type="print">00189480</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib26" num="26"><authors><au><second-name>Raab</second-name>
<first-names>R E</first-names>
</au>
<au><second-name>Sihvola</second-name>
<first-names>A H</first-names>
</au>
</authors>
<year>1997</year>
<jnl-title>J. Phys. A: Math. Gen.</jnl-title>
<volume>30</volume>
<pages>1335</pages>
<crossref><cr_doi>http://dx.doi.org/10.1088/0305-4470/30/4/032</cr_doi>
<cr_issn type="print">0305-4470</cr_issn>
<cr_issn type="electronic">1361-6447</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib27" num="27"><authors><au><second-name>Weiglhofer</second-name>
<first-names>W S</first-names>
</au>
<au><second-name>Lakhtakia</second-name>
<first-names>A</first-names>
</au>
</authors>
<year>1998</year>
<jnl-title>J. Phys. A: Math. Gen.</jnl-title>
<volume>31</volume>
<pages>1113</pages>
<crossref><cr_doi>http://dx.doi.org/10.1088/0305-4470/31/3/023</cr_doi>
<cr_issn type="print">0305-4470</cr_issn>
<cr_issn type="electronic">1361-6447</cr_issn>
</crossref>
</journal-ref>
<book-ref id="nj381623bib28" num="28"><authors><au><second-name>de Sabbata</second-name>
<first-names>V</first-names>
</au>
<au><second-name>Sivaram</second-name>
<first-names>C</first-names>
</au>
</authors>
<year>1994</year>
<book-title>Spin and Torsion in Gravitation</book-title>
<publication><place>Singapore</place>
<publisher>World Scientific</publisher>
</publication>
</book-ref>
<journal-ref id="nj381623bib29" num="29"><authors><au><second-name>Sihvola</second-name>
<first-names>A</first-names>
</au>
<au><second-name>Tretyakov</second-name>
<first-names>S</first-names>
</au>
</authors>
<year>2008</year>
<jnl-title>Optik</jnl-title>
<volume>119</volume>
<pages>247</pages>
</journal-ref>
<conf-ref id="nj381623bib30" num="30"><authors><au><second-name>Lindell</second-name>
<first-names>I V</first-names>
</au>
<au><second-name>Sihvola</second-name>
<first-names>A H</first-names>
</au>
<au><second-name>Viitanen</second-name>
<first-names>A J</first-names>
</au>
<au><second-name>Tretyakov</second-name>
<first-names>S A</first-names>
</au>
</authors>
<year>1989</year>
<conf-title>Proc. 19th European Microwave Conf.</conf-title>
<pages>p 534</pages>
</conf-ref>
<book-ref id="nj381623bib31" num="31"><authors><au><second-name>Kleinert</second-name>
<first-names>H</first-names>
</au>
</authors>
<year>2006</year>
<book-title>Path Integrals in Quantum Mechanics, Statistics, Polymer Physics and Financial Markets</book-title>
<publication><place>Singapore</place>
<publisher>World Scientific</publisher>
</publication>
</book-ref>
<journal-ref id="nj381623bib32" num="32"><authors><au><second-name>Maxwell</second-name>
<first-names>J C</first-names>
</au>
</authors>
<year>1854</year>
<jnl-title>Camb. Dublin Math. J.</jnl-title>
<volume>8</volume>
<pages>188</pages>
</journal-ref>
<book-ref id="nj381623bib33" num="33"><authors><au><second-name>Luneburg</second-name>
<first-names>R K</first-names>
</au>
</authors>
<year>1964</year>
<book-title>Mathematical Theory of Optics</book-title>
<publication><place>Berkeley, CA</place>
<publisher>University of California Press</publisher>
</publication>
</book-ref>
<journal-ref id="nj381623bib34" num="34"><authors><au><second-name>Leonhardt</second-name>
<first-names>U</first-names>
</au>
<au><second-name>Philbin</second-name>
<first-names>T G</first-names>
</au>
</authors>
<year>2010</year>
<jnl-title>Phys. Rev.</jnl-title>
<part>A</part>
<volume>81</volume>
<pages>011804</pages>
<crossref><cr_doi>http://dx.doi.org/10.1103/PhysRevA.81.011804</cr_doi>
<cr_issn type="print">1050-2947</cr_issn>
<cr_issn type="electronic">1094-1622</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib35" num="35"><authors><au><second-name>Benítez</second-name>
<first-names>P</first-names>
</au>
<au><second-name>Miñano</second-name>
<first-names>J C</first-names>
</au>
<au><second-name>González</second-name>
<first-names>J C</first-names>
</au>
</authors>
<year>2010</year>
<jnl-title>Opt. Express</jnl-title>
<volume>18</volume>
<pages>7650</pages>
<crossref><cr_doi>http://dx.doi.org/10.1364/OE.18.007650</cr_doi>
<cr_issn type="electronic">1094-4087</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib36" num="36"><authors><au><second-name>Miñano</second-name>
<first-names>J C</first-names>
</au>
<au><second-name>Benítez</second-name>
<first-names>P</first-names>
</au>
<au><second-name>González</second-name>
<first-names>J C</first-names>
</au>
</authors>
<year>2010</year>
<jnl-title>New J. Phys.</jnl-title>
<volume>12</volume>
<pages>123023</pages>
<crossref><cr_doi>http://dx.doi.org/10.1088/1367-2630/12/12/123023</cr_doi>
<cr_issn type="electronic">1367-2630</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib37" num="37"><authors><au><second-name>Guenneau</second-name>
<first-names>S</first-names>
</au>
<au><second-name>Diatta</second-name>
<first-names>A</first-names>
</au>
<au><second-name>McPhedran</second-name>
<first-names>R C</first-names>
</au>
</authors>
<year>2010</year>
<jnl-title>J. Mod. Opt.</jnl-title>
<volume>57</volume>
<pages>511</pages>
<crossref><cr_doi>http://dx.doi.org/10.1080/09500341003640061</cr_doi>
<cr_issn type="print">0950-0340</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib38" num="38"><authors><au><second-name>Guenneau</second-name>
<first-names>S</first-names>
</au>
<au><second-name>Zolla</second-name>
<first-names>F</first-names>
</au>
</authors>
<jnl-title>Physica</jnl-title>
<part>B</part>
<volume>394</volume>
<pages>145</pages>
<crossref><cr_doi>http://dx.doi.org/10.1016/j.physb.2006.12.021</cr_doi>
<cr_issn type="print">09214526</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib39" num="39"><authors><au><second-name>Cory</second-name>
<first-names>H</first-names>
</au>
</authors>
<year>1995</year>
<jnl-title>J. Electromagn. Waves Appl.</jnl-title>
<volume>9</volume>
<pages>805</pages>
<crossref><cr_doi>http://dx.doi.org/10.1163/156939395X00929</cr_doi>
<cr_issn type="print">09205071</cr_issn>
<cr_issn type="electronic">15693937</cr_issn>
</crossref>
</journal-ref>
<journal-ref id="nj381623bib40" num="40"><authors><au><second-name>Smolyaninov</second-name>
<first-names>I I</first-names>
</au>
<au><second-name>Narimanov</second-name>
<first-names>E E</first-names>
</au>
</authors>
<year>2010</year>
<jnl-title>Phys. Rev. Lett.</jnl-title>
<volume>105</volume>
<pages>067402</pages>
<crossref><cr_doi>http://dx.doi.org/10.1103/PhysRevLett.105.067402</cr_doi>
<cr_issn type="print">0031-9007</cr_issn>
<cr_issn type="electronic">1079-7114</cr_issn>
</crossref>
</journal-ref>
</reference-list>
</references>
<footnotes><footnote id="nj381623fn1" source="text" type="number" marker="1"><p>The conformal invariance of Maxwell's equations (i.e. invariance under <inline-eqn><math-text><italic>g</italic>
<sub>μν</sub>
→<italic>f</italic>
(<italic>x</italic>
<sup>σ</sup>
)<italic>g</italic>
<sub>μν</sub>
</math-text>
</inline-eqn>
) has the consequence that out of <inline-eqn><math-text><italic>n</italic>
</math-text>
</inline-eqn>
independent space–time metric components there are <inline-eqn><math-text><italic>n</italic>
−1</math-text>
</inline-eqn>
independent material parameters.</p>
</footnote>
<footnote id="nj381623fn2" source="text" type="number" marker="2"><p>When considering complex entries in the <inline-eqn><math-text>ε</math-text>
</inline-eqn>
, <inline-eqn><math-text>μ</math-text>
</inline-eqn>
and electric–magnetic coupling tensors, the number of under-described parameters is larger.</p>
</footnote>
<footnote id="nj381623fn3" source="text" type="number" marker="3"><p>Throughout we use the term ‘Galilean’ in accordance with Landau and Lifshitz, i.e. to mean the system of co-ordinates where the metric equals <inline-eqn><math-text>η<sub>μν</sub>
=<upright></upright>
<upright>diag</upright>
(1, −1, −1, −1)</math-text>
</inline-eqn>
everywhere.</p>
</footnote>
<footnote id="nj381623fn4" source="text" type="number" marker="4"><p>The minus sign is introduced into the square rootof <inline-eqn><math-text><italic>g</italic>
</math-text>
</inline-eqn>
for the sake of convention: physical space–time has the signature <inline-eqn><math-text>(1, 3)</math-text>
</inline-eqn>
and therefore a negative value for the determinant, <inline-eqn><math-text><italic>g</italic>
</math-text>
</inline-eqn>
. However, transformation optics is free to explore media that are equivalent to space–times with arbitrary signature (see e.g. [<cite linkend="nj381623bib40">40</cite>
]).</p>
</footnote>
<footnote id="nj381623fn5" source="text" type="number" marker="5"><p>The Drude–Born–Federov constitutive relations modify the Drude–Born relations to describe media with symmetric magneto-electric coupling (see e.g. [<cite linkend="nj381623bib20">20</cite>
, section 3.2]), coupling <inline-eqn><math-text><bold>D</bold>
</math-text>
</inline-eqn>
to <inline-eqn></inline-eqn>
as well as <inline-eqn><math-text><bold>B</bold>
</math-text>
</inline-eqn>
to <inline-eqn></inline-eqn>
. Clearly, these relationships are also non-local.</p>
</footnote>
<footnote id="nj381623fn6" source="text" type="number" marker="6"><p>We should note that the covariant derivative of the Lévi–Cività symbol, <inline-eqn><math-text>ε<sub>μνστ</sub>
</math-text>
</inline-eqn>
, vanishes when the trace of the connection equals the trace of the Christoffel symbol [<cite linkend="nj381623bib3">3</cite>
, section 20]; the contorsion tensor does not alter the trace of the connection.</p>
</footnote>
</footnotes>
</back>
</article>
</istex:document>
</istex:metadataXml>
<mods version="3.6"><titleInfo lang="eng"><title>Transformation optics, isotropic chiral media and non-Riemannian geometry</title>
</titleInfo>
<titleInfo type="abbreviated"><title>Transformation optics, isotropic chiral media and non-Riemannian geometry</title>
</titleInfo>
<titleInfo type="alternative" lang="eng"><title>Transformation optics, isotropic chiral media and non-Riemannian geometry</title>
</titleInfo>
<name type="personal"><namePart type="given">S A R</namePart>
<namePart type="family">Horsley</namePart>
<affiliation>School of Physics and Astronomy, University of St Andrews, North Haugh, St Andrews, KY16 9SS, UK</affiliation>
<affiliation>E-mail: sarh@st-andrews.ac.uk</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<typeOfResource>text</typeOfResource>
<genre type="research-article" displayLabel="paper">paper</genre>
<originInfo><publisher>IOP Publishing</publisher>
<dateIssued encoding="w3cdtf">2011</dateIssued>
<copyrightDate encoding="w3cdtf">2011</copyrightDate>
</originInfo>
<language><languageTerm type="code" authority="iso639-2b">eng</languageTerm>
<languageTerm type="code" authority="rfc3066">en</languageTerm>
</language>
<physicalDescription><internetMediaType>text/html</internetMediaType>
</physicalDescription>
<abstract>The geometrical interpretation of electromagnetism in transparent media (transformation optics) is extended to include chiral media that are isotropic but inhomogeneous. It was found that such media may be described through introducing the non-Riemannian geometrical property of torsion into the Maxwell equations, and it is shown how such an interpretation may be applied to the design of optical devices.</abstract>
<relatedItem type="host"><titleInfo><title>New Journal of Physics</title>
</titleInfo>
<titleInfo type="abbreviated"><title>New J. Phys.</title>
</titleInfo>
<genre type="journal">journal</genre>
<identifier type="ISSN">1367-2630</identifier>
<identifier type="eISSN">1367-2630</identifier>
<identifier type="PublisherID">nj</identifier>
<identifier type="CODEN">NJOPFM</identifier>
<identifier type="URL">stacks.iop.org/NJP</identifier>
<part><date>2011</date>
<detail type="volume"><caption>vol.</caption>
<number>13</number>
</detail>
<detail type="issue"><caption>no.</caption>
<number>5</number>
</detail>
<extent unit="pages"><start>1</start>
<end>19</end>
<total>19</total>
</extent>
</part>
</relatedItem>
<identifier type="istex">3B9053BD7685B29AAFE4FBA10ACE2FC9AE0E4B42</identifier>
<identifier type="DOI">10.1088/1367-2630/13/5/053053</identifier>
<identifier type="articleID">381623</identifier>
<identifier type="articleNumber">053053</identifier>
<accessCondition type="use and reproduction" contentType="copyright">IOP Publishing and Deutsche Physikalische Gesellschaft</accessCondition>
<recordInfo><recordContentSource>IOP</recordContentSource>
<recordOrigin>IOP Publishing and Deutsche Physikalische Gesellschaft</recordOrigin>
</recordInfo>
</mods>
</metadata>
<enrichments><json:item><type>multicat</type>
<uri>https://api.istex.fr/document/3B9053BD7685B29AAFE4FBA10ACE2FC9AE0E4B42/enrichments/multicat</uri>
</json:item>
</enrichments>
<serie></serie>
</istex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Belgique/explor/OpenAccessBelV2/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001696 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 001696 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Belgique |area= OpenAccessBelV2 |flux= Istex |étape= Corpus |type= RBID |clé= ISTEX:3B9053BD7685B29AAFE4FBA10ACE2FC9AE0E4B42 |texte= Transformation optics, isotropic chiral media and non-Riemannian geometry }}
![]() | This area was generated with Dilib version V0.6.25. | ![]() |