Consider electromagnetic waves in two-dimensional honeycomb structured media, whose constitutive laws have the symmetries of a hexagonal tiling of the plane. The properties of transverse electric (TE) polarized waves are determined by the spectral properties of the elliptic operatordenotes the equilateral triangular lattice), and such that with respect to some origin of coordinates,where R is a 120 • rotation in the plane). A summary of our results is as follows: a) For generic honeycomb structured media, the band structure of L A has Dirac points, i.e. conical intersections between two adjacent Floquet-Bloch dispersion surfaces. b) Initial data of wave-packet type, which are spectrally concentrated about a Dirac point, give rise to solutions of the time-dependent Maxwell equations whose waveenvelope, on long time scales, is governed by an effective two-dimensional time-dependent system of massless Dirac equations. c) Dirac points are unstable to arbitrary small perturbations which break either C (complexconjugation) symmetry or P (inversion) symmetry. d) The introduction through small and slow variations of a domain wall across a line-defect gives rise to the bifurcation from Dirac points of highly robust (topologically protected) edge states. These are time-harmonic solutions of Maxwell's equations which are propagating parallel to the line-defect and spatially localized transverse to it. The transverse localization and strong robustness to perturbation of these edge states is rooted in the protected zero mode of a one-dimensional effective Dirac operator with spatially varying mass term. e) These results imply the existence of uni-directional propagating edge states for two classes of time-reversal invariant media in which C symmetry is broken: magneto-optic media and bi-anisotropic media. arXiv:1710.03389v2 [math-ph] 13 Sep 2018
PreliminariesIn this section, we outline the relevant spectral theory [22,50, 51,76] and introduce terminology and notation for discussing the symmetry properties of the (unperturbed) bulk operator L A .
Fourier analysisLet {v 1 , v 2 } be a linearly independent set in R 2 . The lattice generated by {v 1 , v 2 } is the subset of R 2 :A choice of fundamental cell is the parallelogram: Ω = {θ 1 v 1 + θ 2 v 2 : 0 ≤ θ j ≤ 1, j = 1, 2}.