Vortex solitons in photonic crystal fibers.

We demonstrate the existence of vortex soliton solutions in photonic crystal fibers. We analyze the role played by the photonic crystal fiber defect in the generation of optical vortices. An analytical prediction for the angular dependence of the amplitude and phase of the vortex solution based on group theory is also provided. Furthermore, all the analysis is performed in the non-paraxial regime. © 2004 Optical Society of America OCIS codes: (060.4370) Nonlinear optics, fibers; (190.4370) Nonlinear optics, fibers. References and links 1. D. N. Christodoulides and R. I. Joseph, “Discrete self-focusing in nonlinear arrays of coupled waveguides,” Opt. Lett. 13, 794 (1988). 2. H. S. Eisenberg, Y. Silberberg, R. Morandotti, A. R. Boyd, and J. S. Aitchison, “Discrete spatial optical solitons in waveguide arrays,” Phys. Rev. Lett. 81, 3383 (1998). 3. J. W. Fleischer, T. Carmon, M. Segev, N. K. Efremedis, and D. N. Christodoulides, “Observation of discrete solitons in optically induced real time waveguide arrays,” Phys. Rev. Lett. 90, 023902 (2003). 4. D. Neshev, E. Ostrovskaya, Y. S. Kivshar, and W. Krolikowsky, “Spatial solitons in optically induced gratings,” Opt. Lett. 28, 710 (2003). 5. J. W. Fleischer, M. Segev, N. K. Efremedis, and D. N. Christodoulides, “Observation of two-dimensional discrete solitons in optically induced nonlinear photonic lattices,” Nature 422, 147 (2003). 6. Y. S. Kivshar, “Self-localization in arrays of defocusing waveguides,” Opt. Lett. 18, 1147 (1993). 7. B. A. Malomed and P. G. Keverkidis, “Discrete vortex solitons,” Phys. Rev. E 64, 026601 (2001). 8. J. Yang and Z. H. Musslimani, “Fundamental and vortex solitons in a two-dimensional optical lattice,” Opt. Lett. 28, 2094 (2003). 9. D. N. Neshev, T. J. Alexander, E. A. Ostrovskaya, Y. Kivshar, H. Martin, and Z. Chen, “Observation of discrete vortex solitons in optically-induced photonic lattices,” arXiv:nlin/0309018 (2003). 10. A. Ferrando, M. Zacarés, P. F. de Córdoba, D. Binosi, and J. A. Monsoriu, “Spatial soliton formation in photonic crystal fibers,” Opt. Express 11, 452 (2003), http://www.opticsexpress.org/abstract.cfm?URI=OPEX-11-5-452. 11. M. J. Steel, T. P. White, C. M. de Sterke, R. C. McPhedran, and L. C. Botten, “Symmetry and degeneracy in microstructured optical fibers,” Opt. Lett. 26, 488 (2001). 12. M. Hamermesh, Group theory and its application to physical problems, (Addison-Wesley, Reading, Massachusetts, 1964). 13. P. R. McIsaac, “Symmetry-induced modal characteristics of uniform waveguides,” IEEE Trans. Microw. Theory Tech. 23, 421 (1975). 14. A. Ferrando, E. Silvestre, J. J. Miret, P. Andrés, and M. V. Andrés, “Vector description of higher-order modes in photonic crystal fibers,” J. Opt. Soc. Am. A 17, 1333 (2000). 15. W. J. Firth and D. V. Skryabin, “Orbital solitons carrying orbital angular momentum,” Phys. Rev. Lett. 79, 2450 (1997). 16. N. Akhmediev, A. Ankiewicz, and J. M. Soto-Crespo, “Does the nonlinear Schrödinger equation correctly describe beam propagation?,” Opt. Lett. 18, 411 (1993).


Introduction
Spatial soliton solutions in 1D periodic structures have been theoretically predicted [1] and experimentally demonstrated in nonlinear waveguide arrays [2]. More recently, similar structures have been observed in optically induced gratings [3,4] and, for the first time, in 2D photonic lattices [5]. Modeling has been traditionally performed using the discrete nonlinear Schrödinger equation (NLSE) [1,6], valid only in the so-called tight-binding approximation. However, the accurate study of nonlinear solutions in optically-induced lattices requires the resolution of the NLSE with a continuous periodic potential model [3,5]. Discrete optical vortices have been also predicted in the discrete NLSE [7] and in continuous models [8] and, recently, experimentally observed in optically-induced 2D lattices [9].
A different scenario appears in a 2D photonic crystal in the presence of a defect. An example of such a system is a photonic crystal fiber (PCF). A PCF is a silica fiber that possesses a regular array of air-holes extending along the entire fiber length (see Fig. 1(a)). It is an axially invariant 2D photonic crystal with a central defect (the PCF core, where guidance occurs). It has been recently proven that a PCF acting as a 2D nonlinear photonic crystal can support and stabilize fundamental solitons [10]. Unlike fundamental solitons embedded in perfectly periodic potentials [5,8], a distinguishing feature of these systems is that no power gap is needed to generate the nonlinear localized solution. In this letter we go a step further and give numerical evidence of the existence of vortex solitons in PCF's.

Description of the method
When one considers that silica can have a nonlinear response, electromagnetic propagation in a PCF is given by the following non-paraxial equation (∇ · E ≈ 0): ∇ 2 t being the 2D-transverse Laplacian operator and k 0 = ω 0 /c the vacuum wavenumber. The linear refractive index profile function n 0 (x, y) is 1 in the air-holes and equals n silica in silica, whereas the nonlinear index profile function n 2 (x, y) is different from zero only in silica (n 2 2(silica) ≡ 3χ (silica) /(2ε 0 cn 0(silica) )). We search for monochromatic (or quasimonochromatic) stationary electric field solutions with well-defined constant polarization: E(x, y, z,t) ≈ uφ (x, y)e i(β z−ω 0 t) . That is, we analyze the following equation: where L 0 = ∇ 2 t + k 2 0 n 2 0 (x, y) and L NL (|φ |) = k 2 0 n 2 2 (x, y)|φ | 2 stand for the linear and nonlinear parts of the differential operator L(|φ |), respectively. Due to the geometry of the air-holes distribution, both n 0 (x, y) and n 2 (x, y) are invariant under the action of the C 6v point-symmetry group. This group is constituted by discrete π/3-rotations (R π/3 ) plus specular reflections with respect to the x and y axes: Our aim is to look for nonlinear solutions of Eq. (2) beyond the fundamental solitons reported in Ref. [10]. Our search strategy will be based on group theory arguments, which will be enlightening in the classification and understanding of new solutions according to the sixthfold symmetry of the system. In the linear case, this approach has been adopted to study the degeneracy of solutions in a PCF [11]. Here, we will use it to obtain analytical expressions for the angular dependency of solutions. According to group theory, since L 0 is invariant under the C 6v group, all its eigenfunctions have to lie on discrete representations of this group [12,13]. Solutions of the vortex type belong to one of the two two-dimensional representation of C 6v . A pair of functions (φ l , φ * l ) (l = 1, 2) belonging to these representations have the following transformation properties: . These symmetry constraints impose the form of these functions: where φ s l is a scalar function, that is, a function invariant under finite rotations and specular reflections, whereas φ p l is a pseudo-scalar function, invariant under rotations but sign-changing under reflections. Mathematically, φ s . Both φ s l and φ p l are periodic functions of θ , so they can be expanded in Fourier series in cos(6nθ ) and sin(6nθ ) (n ∈ N). Reflection symmetry forces φ s (φ p ) to depend on the cosine (sine) terms only. Thus, φ s l (r, θ ) = ∑ n a ln (r) cos(6nθ ) and φ p l (r, θ ) = ∑ n b ln (r) sin(6nθ ). In the nonlinear case, functions φ l of the form given by Eq. (3) can satisfy self-consistency, according to group theory. The full operator L(|φ l |) = L 0 (n 0 ) + L NL (r l φ s l ; n 2 ) is invariant under the C 6v group because L 0 , r l , φ s l and n 2 are all C 6v invariants. Thus L(|φ l |), like in the linear case, provides the representation where φ l lies on. However, group self-consistency is not sufficient to ensure that the resolution of the nonlinear equation (2)   nontrivial solution in all cases, since Eq. (2) always admits the φ = 0 solution. We solve Eq. (2) by means of the Fourier iterative method previously used in Ref. [10] to find soliton solutions in PCF's. These solutions also fulfill the group self-consistency condition and they belong to the fundamental representation of C 6v . The important difference now is that we restrict ourselves to a different representation space; we search for nonlinear solutions in the l = 1, 2 representations of C 6v . The φ l solution and its conjugate φ * l represent a vortex and an anti-vortex soliton of order l, respectively.

Results
We have simulated large-scale PCF's (in order to prevent silica breakdown [10]) with a lattice period, or pitch, Λ = 31 µm, and several air-hole radius at a fixed wavelength λ = 1064 nm (a convenient quasi-continuum source). We define a dimensionless nonlinear parameter as γ = n 2 2(silica) P/A 0 (A 0 is an area parameter: A 0 = π(Λ/2) 2 ; P is the total power carried by the solution) and perform calculations for increasing values of γ. We discover that a family of optical vortex solutions of the type given by the ansatz (3) is found. The amplitudes of several solutions (with l = 1) for increasing values of γ are represented in Fig. 1(b)-(d). According to group theory (Eq. (3)), these amplitudes have to be scalar functions, thus showing full invariance under C 6v , and they have to vanish at the origin, as seen in Fig. 1(b)-(d). Besides, they become gradually narrower as the nonlinearity increases. It is interesting to plot the effective index of these solutions (n eff = β /k 0 ) versus γ, as shown in Fig. 2. The value of n eff increases as γ increases, accordingly to the narrowing of solutions depicted in Fig. 1(b)-(d). For comparison, we have also included the n eff (γ) curve of the fundamental soliton family for the same PCF structure, as in Ref. [10]. Both lie on the upper forbidden band of the perfectly periodic cladding structure. Here it can be clearly envisaged the role of the central defect. Notice that there is no threshold γ (power) to generate a nonlinear vortex soliton, i.e, there is a continuum of solutions in γ starting from the linear (TE or TM) mode. Unlike in perfectly periodic structures, the defect can eliminate the presence of a threshold power [8]. If we consider structures where the linear vortex-like mode is not present [14], a threshold γ is necessary to generate the nonlinear vortex solution in the forbidden band. By playing with the geometric parameters of the PCF, it is possible to tune this threshold value. In all cases, this value is much lesser than in perfectly periodic structures, which can be important for experimental purposes. Even more interesting is the phase behavior of these solutions. We show in Fig. 3 a typical phase profile of a PCF vortex calculated at a fixed radius. It shows strict accordance with the group theory prediction for the phase: arg(φ l ) = lθ + φ p l (r, θ ) = lθ + ∑ ∞ n=1 b ln (r) sin(6nθ ) and it points out that n ≈ 1. The phase of these vortex solutions differs from that of an ordinary vortex by the presence of the pseudo-scalar function extra term: the group phase. Besides the existence of the standard linear behavior in θ , the group phase provides an additional sinusoidal dependence on the angle (with period determined by the group order: π/3 for order 6) not present in ordinary vortices.
In order to check the stability of a vortex soliton solution φ l , we have to consider z-dependent perturbations. This implies solving the non-paraxial equation (1) for the perturbed field φ = φ l + δ φ. In terms of group theory, (φ l , φ * l ) constitute an orthogonal basis of the l representation of C 6v , so we can consider two types of perturbations around a vortex solution φ l : diagonal perturbations, in which φ remains in the one-dimensional subspace spawned by φ l , that is, φ |φ * l = 0, and non-diagonal, where the perturbation takes φ out of this subspace, φ |φ * l = 0.
A typical initial condition of the form φ = re iθ exp[−(r/r 0 ) 2 ] is an example of diagonal perturbation for a vortex (l = 1). Another example is a perturbation of the form φ = (1 + ε)φ l , ε being a small real constant number. In both cases, φ |φ * l = 0. We have simulated the evolution of a perturbation of the latter type launched into the fiber core for different PCF configurations and values of ε (ε ∼ 0.025 − 0.1). In Fig. 4 we present an animation that displays the evolution of the transverse field amplitude along the fiber. The animation shows the transient from the initial amplitude towards an asymptotically stationary profile corresponding to a vortex. This transient is a few centimeters long and has the characteristic form of a damped oscillation. Non-paraxial evolution shows that a vortex is stable under diagonal perturbations. Diagonal perturbations generalize the concept of radial perturbations to the discrete symmetry case. We have also simulated non-diagonal perturbations by introducing random perturbations (|δ φ(x, y)| ≤ ε, ε ∼ 0.05 − 0.1) that modify both the phase and amplitude of the vortex solution in such a way that φ |φ * l = 0. Non-diagonal perturbations correspond to azimuthal ones in the radially symmetric case. In this case, an oscillatory instability occurs, as seen in the simulation presented in Fig. 5. This oscillatory instability initially appears as a rotating flux along the  vortex ring. After a short evolution, the perturbed vortex breaks into a two strongly interacting single structures of zero vorticity with a cumbersome dynamics, as observed in our simulation. It is remarkable that, unlike vortices in an homogeneous medium [15], these two structures do not fly off tangential to the vortex ring but remain confined in the PCF defect due to the inhibition of transverse flux produced by the PCF cladding. It is also noticeable that, in spite of this instability, no collapse of the structures is detected due to the non-paraxial nature of evolution [16].

Conclusions
Summarizing, we propose a novel way of generating vortex solitons, based on PCF's, in which the presence of the defect plays a crucial role. Our analytical approach, based on group theory, is general and permits to predict the angular dependence of vortex solutions in a nonlinear system owning a discrete invariance, no matter it is periodic or non-periodic. Finally, the use of a non-paraxial equation permits to analyze new phenomena beyond the paraxial approximation.