Ring Dirac Solitons in Nonlinear Topological Lattices

Alexander N. Poddubny1, 2, ∗ and Daria A. Smirnova2, 3 1Ioffe Institute, St. Petersburg 194021, Russia 2Nonlinear Physics Centre, Australian National University, Canberra ACT 2601, Australia 3Institute of Applied Physics, Russian Academy of Science, Nizhny Novgorod 603950, Russia We study solitons of the two-dimensional nonlinear Dirac equation with asymmetric cubic non- linearity. We show that, with the nonlinearity parameters specifically tuned, a high degree of local- ization of both spinor components is enabled on a ring of certain radius. Such ring Dirac soliton can be viewed as a self-induced nonlinear domain wall and can be implemented in nonlinear photonic graphene lattice with Kerr-like nonlinearities. Our model could be instructive for understanding localization mechanisms in nonlinear topological systems.

I. INTRODUCTION expected monotonous decrease from the initial value at r = 0 to zero at r = ∞, the amplitude features a weak ∗ Dirac equation is a paradigmatic model of modern flat maximum at some radius r = r . Such feature was physics that describes a plethora of systems ranging from also previously seen in 1D Soler model and termed as a relativistic particles to electrons in graphene, as well as “hump” [17]. sound [1], light [2] and cold atoms [3] in artificial lattices. In this work, we analyze the generic 2D nonlinear Dirac Dirac-type models with spin-orbit interactions attract equation with asymmetric cubic nonlinearity. We present now special attention in condensed matter physics and the physical interpretation of the humped solution as a optics, being applicable to the topological insulators [4–6] radial localization of the soliton at the self-induced do- hosting edge states, immune to disorder. While the lin- main wall, where the band gap in the Dirac equation ear Dirac equation is now well understood, the physics of changes sign, see Sec.IIA. Such localization is typical for the classical nonlinear Dirac model, despite its rich his- linear topological edge states [4] and hints to an interest- tory [7–10], still has a number of open problems. The ing link between nonlinear localization and topological absence of the rigorous Vakhitov-Kolokolov criterion[11] properties. Next, we optimize the nonlinearity parame- significantly complicates the stability analysis compared ters in order to achieve the strong degree of localization. to the case of nonlinear Schr¨odingerequation [12–18]. We find a stable solution with m = 0 where both spinor There exist a variety of qualitatively different inter- components have prominent maxima at the ring where ∗ action mechanisms introducing nonlinear corrections in r = r , and, hence, we term it as a“ring Dirac soliton”. the Dirac equation. In relativistic field theory the equa- The exact analytical solution of the considered nonlinear tions have to obey Lorentz invariance that still leaves Dirac model for the 1D case is given in Sec.IIB. The Soler [19], Thirring [20, 21], and Gross-Neveu [22] non- stability and existence analysis for the ring Dirac soliton linear models. Condensed matter systems, such as Bose is presented in Sec.IIC. Finally, in Sec.III we propose condensates, are not restricted by the Lorentz invari- a scheme to realize our model in an artificial photonic ance, which further enriches the family of nonlinear Dirac graphene lattice with Kerr-like optical nonlinearities. equations [23–25]. Moreover, the results depend on the dimensionality of the problem. Two-dimensional (2D) Dirac systems deserve special attention since they fea- II. RING DIRAC SOLITONS ture such interesting phenomena as valley Hall effect and Klein tunneling and are relatively feasible both in solid A. Self-induced domain walls state [26] and optics [2, 27, 28]. Nonlinear 2D Dirac equation can be applied to the emerging field of nonlin- We start with the 2D nonlinear Dirac equation written ear topological photonics [29–36] aiming for dynamically for the two-component wavefunction χ = [χ1, χ2], tunable disorder-robust guiding of light. Recently, a stable 2D soliton of the nonlinear Dirac ∂χ1 arXiv:1805.03819v1 [physics.optics] 10 May 2018 i = E1(χ1, χ2)χ1 − i(∂x + i∂y) , χ2 (1) equation has been found by Cuevas-Maraver et al. [37, ∂t 38]. The main result of Ref. [37] is the existence and ∂χ2 i = E (χ , χ )χ + i(∂ − i∂ )χ . stability of the soliton in a wide range of parameters for ∂t 2 1 2 2 x y 1 both cubic and quintic nonlinearities. However, the nu- Here, merical calculation has also revealed an interesting fea- ture in the radial dependence of the spinor amplitude E (χ , χ ) = ∆ + a |χ |2 + b|χ |2 , (2) with zero angular momentum (m = 0). Instead of the 1 1 2 1 1 2 2 2 E2(χ1, χ2) = −∆ + a2|χ2| + b|χ1| are the positions of the band edges, affected by the cubic ∗ [email protected]ffe.ru nonlinearity, with ∆ being the band gap half-width for

2 ☞ ✎ ✍ zero nonlinearity. In Eqs. (2) we consider a general form ☞ ✌✍

of the cubic nonlinearity, that can be asymmetric (a1 6= 1.5 2

☎ ☎ ✆ a2). The only restriction is the reciprocity of the cross- ✆

2 2

☎ ☎ ✝

coupling nonlinear terms, ∂E1/∂|ψ2| = ∂E2/∂|ψ1| = b. 1 ✝ ✄

We are interested in the solutions with harmonic time ✂ ✁ 1 dependence and radial symmetry, 0.5 χ (r, ϕ, t) = ψ (r)eimϕ−iωt, (3) 1 1 0 0 i(m−1)ϕ−iωt 0 5 10 0 5 10

χ2(r, ϕ, t) = iψ2(r)e , (4) ☞ ✑ ✍ so that Eqs. (1) simplify to the ordinary nonlinear differ- ☞ ✏ ✍ 1 1 ential equations with respect to the radius r:

  ☛

d 1 − m ✡ ωψ1 = E1(ψ1, ψ2)ψ1 + + ψ2 , (5) ✠ 0 0 dr r ✟  d m ωψ2 = E2(ψ1, ψ2)ψ2 − + ψ1 . -1 -1 dr r

0 5 10 0 5 10 ✞ In what follows we focus on the solitons with zero angu- ✞ lar momentum, m = 0, since the high-momentum states were shown to be unstable [37]. FIG. 1. (a,b) Radial dependence of the spinor components ψ1 In order to solve Eqs. (5) numerically, we first discretize (blue curve) and ψ2 (red curve). (c,d) Radial distributions of the band edges E and E for upper and lower bands shown them using the Chebyshev spectral method, following 1 2 by blue and red curves, respectively. Dashed lines indicate Refs. [39, 40]. This scheme provides high precision even the band edges for vanishing nonlinearity at E = ±∆ = ±1. for relatively small sets of basis functions. The singu- Thick horizontal line indicates the soliton frequency ω = 0.4. larity at r = 0 is naturally handled [39] by looking only Left (a,c) and right (b,d) panels correspond to α = 1 and for even solutions for ψ1 and odd solutions for ψ2. After α = 1.67, respectively. Vertical lines indicates the position of the discretization is performed, we apply the numerical the maximum of ψ2. shooting technique [41] to find the solutions, vanishing at r = ∞. The results of calculation are presented in Fig.1. We decreases and the soliton components grow, the nonlin- start the analysis with the case of symmetric nonlinearity, earity induces the crossing of band edges. Their positions at r = 0 are swapped as compared to the case r → ∞. a1 = a2 = −b = −1 , (6) The crossing point matches the maxima of ψ1,2. Spatial corresponding to the 2D Soler model of Ref. [37]. The ob- localization of eigenmodes at the band crossing in the tained spatial distributions of the spinor components are Dirac spectrum is very intuitive in the linear regime and shown in Fig.1(a). At the soliton center the component lies at the heart of the topological edge states [4, 42, 43]. In this case the domains with opposite band orders are ψ1 has some nonzero value, r = 0, while the component described by certain integer topological invariants and ψ2 is zero. The latter reflects the fact that while the total angular momentum of the soliton is zero, the or- the domain wall hosts a localized state. The possibility of topological characterization of nonlinear edge states is bital momentum for the component ψ2 is equal to −1, see Eq. (4). We would like to draw attention to the fact so far unclear. However, the general phenomenon behind that the both spinor components depend on radius non- the localization in topological insulators and the maxi- monotonously. They have maxima for nonzero value of mum of spinor components in considered nonlinear Dirac r = r∗ ≈ 2 (indicated by the vertical line) before de- equation is the same band crossing. As such, one can in- caying to zero at r = ∞. This maximum is practically terpret the Dirac soliton in Fig.1(a) as a self-induced domain wall between the circular core with E < E and unresolved for the component ψ1, although it becomes 1 2 more prominent as the soliton frequency decreases. To the outlying space with E1 > E2. the best of our knowledge, the physical interpretation of The maximum in Fig.1(a) for ψ1 is not particularly this maximum has so far not been presented. prominent. It becomes sharper as the frequency de- The origin of such hump can be understood if one ex- creases, however, at low frequencies |ω| . 0.14 the soliton amines the radial dependences of the band edges, shown loses stability with respect to the radial perturbations 0 of the band edge positions E1,2(r), presented in Fig.1(c). with the angular momentum m = 2 [37]. Hence, it is At large radii where the nonlinear corrections vanish they an interesting question whether one can tune the non- tend to the linear band gap edges ±∆. The soliton fre- linearity to make the maximum more prominent while quency ω lies inside the band gap, in agreement with the simultaneously keeping the soliton frequency the same exponential decay of the amplitude. When the radius and the soliton stable. 3

The signature of the self-induced domain wall would be a realization of the band crossing condition

(1) (2) E1(χ ) = ω, E2(χ ) = ω (7) at the frequency ω for the same value χ(1) = χ(2). One can see from Fig.1(c) that the bands cross at E1 = E2 = 0 relatively far below the soliton frequency ω = 0.4, so that the radial localization is weak. The spinors χ(1) and χ(2) in Eq. (7) can be estimated by extending the evanes- cent linear asymptotic solutions of Eqs. (5) with the ratio (1,2) (1,2) p of spinor components χ1 /χ2 = (1 + ω)/(1 − ω) from r → ∞ to smaller values of r. Substituting this ratio into Eq. (7) we find !2 χ(1) 1 − ω a (1 − ω) + b(1 + ω) ξ ≡ 1 = − 2 . (8) (2) 1 + ω a1(1 + ω) + b(1 − ω) χ1 The ideal situation, when both bands cross the frequency ω at the same time, corresponds to ξ = 1. Our recipe to improve the radial localization at a given frequency is FIG. 2. Spatial distributions of the soliton spinor components 2 2 to adjust the nonlinearity by making ξ closer to unity. |χ1| (a,c) and |χ2| (b,d), corresponding to the parameters Inspection of Eq. (8) shows that this condition is further of Fig.1. Panels (a,b) and (c,d) were calculated for α = 1 and α = 1.67, respectively. simplified when the symmetry relation a1/b = b/a2 holds, so that

2 dimensional problem instead of the cylindrically symmet- a1 = −1, a2 = −α , b = α , (9) ric two-dimensional one. The 1D problem with symmet- and ric nonlinearity is known to admit exact analytical so- lutions [45]. It turns out that the nonlinearity of type 1 − ω ξ = α . (10) Eq. (9) admits them as well. In the 1D case the deriva- 1 + ω tive over x in Eqs. (1) can be suppressed and they reduce Hence, one can expect that for ξ becomes closer to unity to and the radial localization is improved when α > 1 for dχ ωχ = E (χ , χ )χ + 2 , (11) ω > 0 and α < 1 for ω < 0. 1 1 1 2 1 dy In order to test this analytical prediction we show in dχ Fig.1(c,d) the results for asymmetric nonlinearity co- ωχ = E (χ , χ )χ − 1 . 2 2 1 2 2 dy efficients satisfying Eq. (9) with α = 1.67. While the structure of the solution remains formally the same as Equations (11) have a Hamiltonian structure in Figs.1(a,b), where α = 1, it now features a promi- dχ1 ∂H dχ2 ∂H nent maximum for both ψ1 and ψ2 components, clearly = , = − pinned to the nonlinear band edge crossing point. The dy ∂χ2 dy ∂χ1 distinction between the symmetric and asymmetric cases with the Hamiltonian is most clearly seen in the two-dimensional maps of the ω − ∆ 2 ∆ + ω 2 1 2 2 2 2 H(χ , χ ) = χ + χ + (χ −αχ ) . (12) soliton, |χ1,2(x, y) |, shown in Fig.2. A ring at r ≈ 4 1 2 2 1 2 2 4 1 2 is clearly visible for both spinor soliton components in For localized soliton solutions χ (∞) → 0, and, hence, the asymmetric case [Fig.2(b,d)] while it is practically 1,2 H = 0. We use the substitution unresolved in Fig.2(a) in the symmetric case. Various solitonic and vortex solutions of the Dirac equation are χ1(y) = A(y) cos ϕ(y) , χ2(y) = A(y) sin ϕ(y) , (13) known, see e.g. a detailed analysis in Ref. [44]. However, so that Eq. (12) yields to the best of our knowledge, the m = 0 Dirac solitons with rings for both spinor components have not been an- 2(∆ cos 2ϕ − E) A2 = . (14) alyzed before. (cos2 ϕ − α sin2 ϕ)2 Substituting Eq. (13) into Eq. (11) we obtain an ordi- B. Exact solution in 1D nary differential equation for ϕ that turns out to be α- independent In order to gain deeper insight in the properties of dϕ = −E + ∆ cos 2ϕ , (15) the ring Dirac solitons we consider a simplified one- dy 4

T T u = [u1, u2] , v = [v1, v2] reads

u  H H  u ω0 = + 0 (19) v −H0 2ω − H− v

with

 2 2  ∆ + 2a1ψ1 + bψ2 D+,m±m0 + bψ1ψ2 H± = 2 2 , −D−,m±m0 + bψ1ψ2 −∆ + 2a2ψ2 + bψ1  2  a1ψ1 bψ1ψ2 H0 = 2 , bψ1ψ2 a2ψ2 where the differential operators are ∂ 1 − m ∂ m D = + ,D = + . +,m ∂r r −,m ∂r r The calculated stability and existence diagram for the ring soliton depending on its frequency and nonlinearity asymmetry α is presented in Fig.3. Figures3(a,c) show ∗ the relative amplitude of the maximum, ψ1(r )/ψ1(0), while Figs.3(b,d) present the maximum position. We FIG. 3. Shape of the soliton depending on its frequency ω and start the analysis from the exact 1D solution, obtained in the nonlinearity asymmetry α. (a,c): ratio of the maximum of ∗ the previous section. The soliton exists and has a double- the component χ1 at the point r to its value at r = 0. (b,d): hump profile with maxima at y = ±r∗ in the region where position of the soliton maximum r∗. Panels (a,b) have been calculated analytically for the 1D soliton solution Eq. (13), 1 1 + ω 1 + ω panels (c,d) correspond to numerical calculation in 2D. Blue < α < . (20) line in (c,d) bounds the region where the soliton is spectrally 2 1 − ω 1 − ω unstable and in the blue region soliton does not exist. Dotted For lower values of α the hump disappears and the maxi- white line bounds the region where the soliton has a ring ∗ ∗ mum is in the coordinate origin, i.e. r = 0. The bound- shape, i.e. r > 0. Calculation has been performed for ∆ = 1. ary of the corresponding region is indicated by a black dashed curve. For α larger than (1 + ω)/(1 − ω) the so- lution does not exist. The main result of the calculation and has the solution is the possibility to adjust the soliton shape by control- "r # ling the nonlinearity. For a given soliton frequency, the ∆ − ω p  ϕ = arctan tanh ∆2 − ω2y . (16) increase of the α parameter transforms the ordinary soli- ∆ + ω ton to the double-hump one and enhances the maximum ∗ for ψ1 component, in agreement with the calculation in The final expressions for χ1,2 are obtained by substituting Fig.1. Eq. (16) and Eq. (14) into Eq. (13). Figures3(c,d) show the phase diagram for the 2D ring solution solution. It has qualitatively the same structure as the one in the 1D case. However, the ring soliton re- C. Existence and Stability Analysis gion where r∗ > 0 (bounded by dotted white curve) is considerably wider in the 2D case than in the 1D case, In order to determine the spectral stability of the soli- cf. Fig.3(b) and Fig.3(d). Blue line indicates the stabil- ton solution χ(0), we perform a standard linearization ity region. Increase of the nonlinearity asymmetry first procedure. The solution is sought at the frequency ω0 in makes the ring soliton unstable and than it ceases to the form exist. Both for symmetric and asymmetric nonlinearity the instability develops first for the perturbation with 0 0∗ χ(1) = χ(0)e−iωt + Ue−iω t + V e+(iω −2iω)t , (17) m0 = 2. where χ(0) is the unperturbed soliton profile, and the spinors u and v have the form III. IMPLEMENTATION IN NONLINEAR LATTICES  i(m+m0)ϕ   i(m−m0)ϕ  u1e v1e U = i(m+m0−1)ϕ ,V = i(m−m0−1)ϕ , iu2e iv2e Here, we consider a model example of nonlinear pho- (18) tonic graphene based on an array of waveguides arranged and m0 is the angular momentum of the perturbation. in a honeycomb lattice, see Fig.4. In the linear optical The resulting system of linear equations for the spinors regime this waveguide platform has been already used to 5

pansion near the Dirac points √ 4π 3 κ = k , κ = k ∓ (24) x x y y 9d we obtain the following equations ∂ψ −i A = ∆ + a |ψ |2 + b|ψ |2
ψ + v(iκ ∓ κ )ψ , ∂z 1 A B A x y B FIG. 4. Schematic of photonic graphene structure with (25) waveguides having the opposite sign of Kerr nonlinearity than (3) (3) ∂ψB 2 2
the matrix, χA,BχM < 0. −i = −∆ + a |ψ | + b|ψ | ψ − v(iκ ± κ )ψ , ∂z 2 B A B x y A where v = 3t/2 and the sign ± corresponds to two differ- demonstrate topological edge states of light [27, 28, 46]. ent valleys. In the smooth envelope approximation, when Our suggestion is to embed waveguides with defocusing κ is replaced by −i∇, equations (25) are equivalent to Kerr nonlinearity (χ(3) < 0) in a focusing nonlinear ma- the nonlinear Dirac equations Eqs. (1),(2) for each of the trix with χ(3) > 0. The tight binding equations governing two valleys. The condition a b < 0, required for the the propagation of light in this system along z direction 1,2 ring Dirac soliton formation, can be realized by control- have the following form: ling the nonlinear response of the waveguides and of the ∂ψA,j X matrix. Namely, defocusing nonlinearity in each of the −i = E ψ + t ψ 0 , (21) ∂z A,j A,j B,j waveguides, χ(3) < 0, decreases the wavevector along z, hj,j0i A,B hence, a1, a2 < 0. On the other hand, the nonlocal Kerr ∂ψB,j X term results from the spatial overlap between the evanes- −i = EB,jψB,j + t ψA,j0 , ∂z cent tails of the electric fields from neighboring waveg- hj,j0i uides, penetrating in the matrix. Thus, when the matrix 2 b X 2 (3) E = ∆ + a |ψ | + |ψ 0 | , has focusing Kerr nonlinear response with χ > 0, in- A,j 1 A,j 3 B,j M hj,j0i crease of the field intensity in the given waveguide will increase the wave vector for its neighbors, hence, b > 0. 2 b X 2 E = −∆ + a |ψ | + |ψ 0 | . B,j 2 B,j 3 A,j Implementation of the cubic nonlinearity with modu- hj,j0i lated sign seems to be a challenging but feasible task, see a detailed review in Ref. [49]. For example, one could Here, ψ and ψ are the smooth envelopes of electric A,j B,j consider an optofluidic platform [50, 51] with photonic field E at the sites A and B of the unit cell j; E(z, j, t) ∝ crystal fibers filled by liquids. Strong fast focusing non- eikz z−iωtψ (z), where ω is the frequency and k is the j z linearity is available in chalcogenide glass fibers [52]. wave vector along the waveguide axis. The parameter P Chalcogenide waveguides with high nonlinear refractive t describes the tunneling, hj,j0i denotes the sum over −14 2 index n2 ∼ 4 × 10 cm /W[53] have enabled demon- nearest neighbors of the cell j, ∆ is the detuning of modes stration of self-focusing for cm-long samples at the 1.5 µm of the waveguides A and B and can be controlled by wavelength [54]. The main difficulty would be to balance varying the waveguide radiuses. We consider only the the focusing nonlinearity of the fiber material with slow linear tunneling terms but take into account both local but strong thermal defocusing nonlinearity of the liquids, (∝ a1,2) and nonlocal (∝ b) Kerr nonlinearities. Discrete −5 2 where values up to n2 = −1.6 × 10 cm /W were re- nonlinear lattices manifest interesting phenomena such ported [55]. In the pulsed regime this could be done by as self-induced gap soliton formation [47, 48]. In case of controlling the repetition rate. Alternatively, one could Dirac systems with symmetric nonlinearity the effects of consider solutions where the thermal defocusing nonlin- discreteness were recently analyzed in Ref. [25]. For the −13 2 earity is relatively weak, n2 ∼ −10 cm /W[56]. In purpose of this work it is sufficient to apply the smooth addition to the photonic crystal waveguide platform, sim- envelope approximation near the Dirac points. We start ilar effects could be potentially realized for excitonic po- with the solution of Eqs. (21) in the Bloch form, laritons in arrays of coupled micropillars with embedded ik·rj ik·rj quantum wells [2] and for cold atom lattices [3] with non- ψA,j = ψAe , ψB,j = ψBe . (22) linearity controlled by Feshbash resonances [57]. which results in

∂ψA −i = ∆ + a |ψ |2 + b|ψ |2
ψ + g ψ (23) IV. CONCLUSION ∂z 1 Aj B A k B ∂ψB 2 2
∗ −i = −∆ + a2|ψB | + b|ψA| ψB + g ψA To summarize, we have theoretically studied rotation- ∂z j k ally symmetric soliton solutions of two-dimensional non- ikxd −ikxd/2 where gk = t[e + 2e cos(kyd)] and d is the dis- linear Dirac equation with asymmetric cubic nonlinearity. tance between nearest neighbors. Applying the k · p ex- It has been demonstrated that the radial distribution of 6 the soliton amplitude strongly depends on the nonlinear- available for nonlinear edge states. Even though gener- ity parameters. By adjusting the nonlinearity we were alizations of the Berry phase in nonlinear systems are able to find a spectrally stable ring Dirac solution where known [59], the possibility of rigorous nonlinear bulk- both spinor components of the soliton have maxima at a boundary correspondence remains an open question. We certain radius. The radial localization is explained by the believe that our model can be applicable to a variety crossing of the band gap edges in the Dirac equation, in- of nonlinear topological systems spanning from photon- duced by the nonlinearity. Hence, the obtained solution ics to cold atom lattices and could provide important can be interpreted as a self-induced nonlinear domain insights for further developments in the nonlinear topo- wall. A condition relating the radial localization degree logical physics. to the nonlinearity parameters has been derived. We present a conceptual scheme to realize ring Dirac soliton in a nonlinear photonic graphene lattice with defocusing waveguides in the focusing matrix or vice versa. ACKNOWLEDGMENTS Remarkably, the formation of solitons at the self- induced domain walls is intuitively quite similar to local- The authors thank Yu.S. Kivshar, E.A. Ostrovskaya, ization of edge states at the boundary between domains A.V. Yulin, I.V. Iorsh, D.R. Gulevich, and A.A. Sukho- with distinct topological invariants. However, despite de- rukov for stimulating discussions. A.N.P. acknowledges tailed studies of edge modes in nonlinear lattices [49], the support of the “Basis” Foundation. D.A.S. acknowl- no topological classification, comparable with the es- edges the support of the Russian Foundation for Basic tablished classification of topological insulators [58], is Research (Grant No. 18-02-00381).

[1] D. Z. Rocklin, B. Chen, M. Falk, V. Vitelli, and 1230–1233 (1983). T. C. Lubensky, “Mechanical Weyl modes in topological [14] Y. S. Kivshar and D. E. Pelinovsky, “Self-focusing and Maxwell lattices,” Phys. Rev. Lett. 116, 135503 (2016). transverse instabilities of solitary waves,” Physics Re- [2] M. Mili´cevi´c,T. Ozawa, G. Montambaux, I. Carusotto, ports 331, 117 – 195 (2000). E. Galopin, A. Lemaˆıtre, L. Le Gratiet, I. Sagnes, [15] D. E. Pelinovsky and Y. Shimabukuro, “Orbital stability J. Bloch, and A. Amo, “Orbital edge states in a pho- of Dirac solitons,” Lett. Math. Phys. 104, 21–41 (2014). tonic honeycomb lattice,” Phys. Rev. Lett. 118, 107403 [16] A. Comech, M. Guan, and S. Gustafson, “On linear (2017). instability of solitary waves for the nonlinear Dirac equa- [3] L. Duca, T. Li, M. Reitter, I. Bloch, M. Schleier-Smith, tion,” Annales de l’Institut Henri Poincare (C) Non Lin- and U. Schneider, “An aharonov-bohm interferometer for ear Analysis 31, 639 – 654 (2014). determining bloch band topology,” Science 347, 288–292 [17] S. Shao, N. R. Quintero, F. G. Mertens, F. Cooper, (2014). A. Khare, and A. Saxena, “Stability of solitary waves [4] B. Bernevig and T. Hughes, Topological Insulators and in the nonlinear Dirac equation with arbitrary nonlin- Topological Superconductors (Princeton University Press, earity,” Phys. Rev. E 90, 032915 (2014). 2013). [18] N. Boussa¨ıdand A. Comech, “On spectral stability of the [5] A. B. Khanikaev and G. Shvets, “Two-dimensional topo- nonlinear Dirac equation,” J. Functional Analysis 271, logical photonics,” Nature Photonics 11, 763–773 (2017). 1462 – 1524 (2016). [6] Y. Hadad, J. C. Soric, A. B. Khanikaev, and A. Al`u, [19] M. Soler, “Classical, stable, nonlinear spinor field with “Self-induced topological protection in nonlinear circuit positive rest energy,” Phys. Rev. D 1, 2766–2769 (1970). arrays,” Nature Electronics 1, 178–182 (2018). [20] W. E. Thirring, “A soluble relativistic field theory,” An- [7] A. F. Ranada, Quantum Theory, Groups, Fields and Par- nals of Physics 3, 91 – 112 (1958). ticles, edited by A. Barut (D. Reidel, Dordrecht, 1983) [21] A. V. Mikhaˇilov, “Integrability of the two-dimensional Chap. Classical nonlinear Dirac field models of extended Thirring model,” Sov. JETP Lett. 23, 320 (1976). particles. [22] D. J. Gross and A. Neveu, “Dynamical symmetry break- [8] C. M. de Sterke and J. Sipe, “Gap solitons,” in Progress ing in asymptotically free field theories,” Phys. Rev. D in Optics (Elsevier, 1994) pp. 203–260. 10, 3235–3253 (1974). [9] E. S´er´eand M. Esteban, “An overview on linear and [23] L. Haddad and L. Carr, “The nonlinear Dirac equation nonlinear Dirac equations,” Discrete and Continuous Dy- in Bose-Einstein condensates: Foundation and symme- namical Systems 8, 381–397 (2002). tries,” Physica D 238, 1413 (2009). [10] W. Fushchych and R. Zhdanov, “Symmetries and Exact [24] L. H. Haddad, The nonlinear Dirac equation in Bose- Solutions of Nonlinear Dirac Equations,” ArXiv Mathe- Einstein condensates, Ph.D. thesis, Colodaro School of matical Physics e-prints (2006), math-ph/0609052. Mines (2012). [11] Y. S. Kivshar and G. Agrawal, Optical solitons: from [25] J. Cuevas-Maraver, P. G. Kevrekidis, A. B. Aceves, and fibers to photonic crystals (Academic press, 2003). A. Saxena, “Solitary waves in a two-dimensional nonlin- [12] I. Bogolubsky, “On spinor soliton stability,” Phys. Lett. ear Dirac equation: from discrete to continuum,” J. Phys. A 73, 87 – 90 (1979). A 50, 495207 (2017). [13] A. Alvarez and M. Soler, “Energetic stability criterion [26] D. Jariwala, T. J. Marks, and M. C. Hersam, “Mixed- for a nonlinear spinorial model,” Phys. Rev. Lett. 50, dimensional van der Waals heterostructures,” Nature 7

Materials 16, 170–181 (2016). [44] L. H. Haddad and L. D. Carr, “The nonlinear Dirac [27] M. C. Rechtsman, Y. Plotnik, J. M. Zeuner, D. Song, equation in Bose–Einstein condensates: vortex solutions Z. Chen, A. Szameit, and M. Segev, “Topological and spectra in a weak harmonic trap,” New J. Phys. 17, Creation and Destruction of Edge States in Photonic 113011 (2015). Graphene,” Phys. Rev. Lett. 111, 103901 (2013). [45] U. Al Khawaja, “Exact localized and oscillatory solutions [28] Y. Plotnik, M. C. Rechtsman, D. Song, M. Heinrich, of the nonlinear spin and pseudospin symmetric Dirac J. M. Zeuner, S. Nolte, Y. Lumer, N. Malkova, J. Xu, equations,” Phys. Rev. A 90, 052105 (2014). A. Szameit, Z. Chen, and M. Segev, “Observation of un- [46] M. C. Rechtsman, J. M. Zeuner, Y. Plotnik, Y. Lumer, conventional edge states in ‘photonic graphene’,” Nature D. Podolsky, F. Dreisow, S. Nolte, M. Segev, and A. Sza- Materials 13, 57–62 (2013). meit, “Photonic Floquet topological insulators,” Nature [29] Y. Lumer, Y. Plotnik, M. C. Rechtsman, and M. Segev, (London) 496, 196–200 (2013). “Self-localized states in photonic topological insulators,” [47] Y. S. Kivshar, “Self-induced gap solitons,” Phys. Rev. Phys. Rev. Lett. 111, 243905 (2013). Lett. 70, 3055–3058 (1993). [30] Y. Lumer, M. C. Rechtsman, Y. Plotnik, and M. Segev, [48] Y. S. Kivshar, M. Haelterman, and A. P. Sheppard, “Instability of bosonic topological edge states in the pres- “Standing localized modes in nonlinear lattices,” Phys. ence of interactions,” Phys. Rev. A 94, 021801 (2016). Rev. E 50, 3161–3170 (1994). [31] D. Leykam and Y. D. Chong, “Edge solitons in nonlinear- [49] Y. V. Kartashov, B. A. Malomed, and L. Torner, “Soli- photonic topological insulators,” Phys. Rev. Lett. 117, tons in nonlinear lattices,” Rev. Mod. Phys. 83, 247–305 143901 (2016). (2011). [32] C.-E. Bardyn, T. Karzig, G. Refael, and T. Liew, “Chi- [50] P. D. Rasmussen, F. H. Bennet, D. N. Neshev, A. A. ral bogoliubov excitations in nonlinear bosonic systems,” Sukhorukov, C. R. Rosberg, W. Krolikowski, O. Bang, Phys. Rev. B 93, 020502 (2016). and Y. S. Kivshar, “Observation of two-dimensional non- [33] M. A. Gorlach and A. N. Poddubny, “Topological edge local gap solitons,” Opt. Lett. 34, 295 (2009). states of bound photon pairs,” Phys. Rev. A 95, 053866 [51] M. Vieweg, T. Gissibl, S. Pricking, B. T. Kuhlmey, D. C. (2017). Wu, B. J. Eggleton, and H. Giessen, “Ultrafast nonlin- [34] X. Zhou, Y. Wang, D. Leykam, and Y. D. Chong, “Opti- ear optofluidics in selectively liquid-filled photonic crystal cal isolation with nonlinear topological photonics,” New fibers,” Opt. Express 18, 25232 (2010). J. Phys. 19, 095002 (2017). [52] Q. Coulombier, L. Brilland, P. Houizot, T. Chartier, [35] Y. V. Kartashov and D. V. Skryabin, “Bistable topolog- T. N. N’Guyen, F. Smektala, G. Renversez, A. Mon- ical insulator with exciton-polaritons,” Phys. Rev. Lett. teville, D. M´echin, T. Pain, H. Orain, J.-C. Sangleboeuf, 119, 253904 (2017). and J. Trol`es,“Casting method for producing low-loss [36] D. D. Solnyshkov, O. Bleu, and G. Malpuech, “Topolog- chalcogenide microstructured optical fibers,” Opt. Ex- ical optical isolator based on polariton graphene,” Appl. press 18, 9107–9112 (2010). Phys. Lett. 112, 031106 (2018). [53] M. Asobe, T. Kanamori, and K. Kubodera, “Ultrafast [37] J. Cuevas˘Maraver, P. G. Kevrekidis, A. Saxena, all-optical switching using highly nonlinear chalcogenide A. Comech, and R. Lan, “Stability of solitary waves glass fiber,” IEEE Photonics Technology Lett. 4, 362–365 and vortices in a 2d nonlinear Dirac model,” Phys. Rev. (1992). Lett. 116, 214101 (2016). [54] M. Chauvet, G. Fanjoux, K. P. Huy, V. Nazabal, F. Char- [38] J. Cuevas-Maraver, N. Boussa¨ıd, A. Comech, R. Lan, pentier, T. Billeton, G. Boudebs, M. Cathelinaud, and P. G. Kevrekidis, and A. Saxena, “Solitary waves in S.-P. Gorza, “Kerr spatial solitons in chalcogenide waveg- the Nonlinear Dirac Equation,” ArXiv e-prints (2017), uides,” Opt. Lett. 34, 1804–1806 (2009). arXiv:1707.01946 [nlin.PS]. [55] V. Smith, B. Leung, P. Cala, Z. Chen, and W. Man, “Gi- [39] L. Trefethen, Spectral Methods in MATLAB, Software, ant tunable self-defocusing nonlinearity and dark soliton Environments, and Tools (Society for Industrial and Ap- attraction observed in m-cresol/nylon thermal solutions,” plied Mathematics, 2000). Opt. Mater. Express 4, 1807–1812 (2014). [40] J. Boyd, Chebyshev and Fourier Spectral Methods: Sec- [56] Y. M. Cheung and S. K. Gayen, “Optical nonlinearities of ond Revised Edition, Dover Books on Mathematics tea studied by z-scan and four-wave mixing techniques,” (Dover Publications, 2001). J. Opt. Soc. Am. B 11, 636–643 (1994). [41] L. D. Carr and C. W. Clark, “Vortices and ring solitons [57] J. L. Roberts, N. R. Claussen, J. P. Burke, C. H. Greene, in bose-einstein condensates,” Phys. Rev. A 74, 043613 E. A. Cornell, and C. E. Wieman, “Resonant magnetic (2006). field control of elastic scattering in cold 85Rb,” Phys. [42] R. Jackiw and C. Rebbi, “Solitons with fermion number Rev. Lett. 81, 5109–5112 (1998). 1/2,” Phys. Rev. D 13, 3398–3409 (1976). [58] S. Ryu, A. P. Schnyder, A. Furusaki, and A. W. W. Lud- [43] S.-Q. Shen, Topological Insulators. Dirac Equation in wig, “Topological insulators and superconductors: ten- Condensed Matters, Springer Series in solid-state sciences fold way and dimensional hierarchy,” New J. Phys. 12, (Springer, Heidelberg, 2013). 065010 (2010). [59] J. Liu and L. B. Fu, “Berry phase in nonlinear systems,” Phys. Rev. A 81, 052112 (2010).