110 Photon. Res. / Vol. 1, No. 3 / October 2013 E. Rephaeli and S. Fan
Dissipation in few-photon waveguide transport [Invited]
Eden Rephaeli1,* and Shanhui Fan2 1Department of Applied Physics, Stanford University, Stanford, California 94305, USA 2Department of Electrical Engineering, Stanford University, Stanford, California 94305, USA *Corresponding author: [email protected]
Received April 15, 2013; revised June 9, 2013; accepted June 9, 2013; posted June 10, 2013 (Doc. ID 188761); published August 30, 2013 We develop a formulation of few-photon Fock-space waveguide transport that includes dissipation in the form of reservoir coupling. We develop the formalism for the case of a two-level atom and then show that our formalism leads to a simple rule that allows one to obtain the dissipative description of a system from the nondissipative case. © 2013 Chinese Laser Press OCIS codes: (270.2500) Fluctuations, relaxations, and noise; (270.4180) Multiphoton processes; (270.5580) Quantum electrodynamics; (290.5850) Scattering, particles; (270.5585) Quantum information and processing; (270.0270) Quantum optics. http://dx.doi.org/10.1364/PRJ.1.000110
1. INTRODUCTION photons to interfere coherently, which can give rise to signifi- – The topic of dissipation in quantum optics is both important cant capabilities in controlling transport [6,7,11,16,19 23], and subtle. Dissipation is important because many quantum switching [17,24], and amplification [9,15,25] processes for optical systems are open; therefore tracking all of the out few-photon states. – flowing energy is often not possible, but accounting for it is A formulation of input output formalism has been recently often quite crucial. Dissipation is subtle because energy in developed that enables analytical calculation of few-photon quantum systems cannot simply disappear, and naively de- scattering matrices in these systems of waveguide coupled scribing dissipation with phenomenological damping factors to quantum multilevel atoms. In this paper we extend this in the system’s equations of motion is formally incorrect, lead- formalism to include dissipation. We model loss by introduc- ing to a non-Hermitian Hamiltonian, violation of commutation ing an auxiliary reservoir that transports energy away from relations [1], and time-reversal invariance [2]. the atom. – A correct treatment of dissipation entails coupling the sys- In applying the input output formalism to treat two-photon tem under study, which usually contains discrete energy lev- transport [8,18], a key step is to insert a complete set of basis els, to a reservoir that is modeled as having a continuum of states for the single-excitation Hilbert space. Here we show energy states [1]. When this is done, the presence of dissipa- that, to obtain the correct result for two-photon transport tion in the system is accompanied by a source of fluctuation in the presence of dissipation, such a basis set needs to from the reservoir, enabling two-way energy exchange. include the states of the reservoir. In quantum optics, the system–reservoir model is treated The paper is organized as follows. In Section 2 we present with many different approaches. In the Schrödinger picture, the Hamiltonian describing a two-level atom with reservoir this model has been treated in the master equation approach, coupling. In Section 3 we obtain the one and two-photon – where multiple-time averages are calculated via the quantum S-matrices of the system using the input output formalism, regression theorem [2]. Alternatively in the Schrödinger pic- showing that excluding the reservoir from the system ture one can use the stochastic approach of the Monte Carlo description leads to violation of outgoing particle exchange wave function [3], which involves evolving the wave function symmetry. Finally, in Section 4 we conclude with a general of the system with a non-Hermitian Hamiltonian term. In the recipe for the inclusion of dissipation in a general class of Heisenberg picture, the input–output formalism [4] is widely important and relevant systems. used. In typical use of the input–output formalism, one as- sumes that the input is a weak coherent state. The nonlinear 2. SYSTEM HAMILTONIAN response is then often treated approximately in the weak We consider a two-level atom side-coupled to a waveguide excitation limit [5]. The input–output formalism is attractive with right and left moving photons, as described by the because the external degrees of freedom, such as those of Hamiltonian the reservoir, are integrated out, allowing one to focus on the Z dynamics of the system alone. † d † d Hwvg atom dx −ivgc x cR x ivgc x cL x Recently, there has been great interest in describing the R dx L dx h i properties of photons propagating in a waveguide coupled p † † κδ x c x σ− σ c x c x σ− σ c x to quantum multilevel atoms either directly [6–16] or through R R L L the use of a microcavity [17,18]. The one-dimensional nature Ω σ : (1) of waveguide propagation allows incident and scattered 2 z
2327-9125/13/030110-05 © 2013 Chinese Laser Press E. Rephaeli and S. Fan Vol. 1, No. 3 / October 2013 / Photon. Res. 111
† † Here cR x cR x and cL x cL x create (annihilate) a right or a x − a −x κ a x R p L ; (3b) left moving photon with group velocity vg, respectively. is o 2 the coupling rate between the atom and waveguide. The form of the interaction here assumes the rotating-wave approxima- with the above operators, the even subspace Hamiltonian He tion. σ σ− raises (lowers) the state of the two-level atom and the odd subspace Hamiltonian Ho follow whose transition frequency is Ω. We note that the waveguide Z model in Hwvg atom can describe any single-mode dielectric † d † d or plasmonic waveguide in the optical regime [13] or a trans- H dx −iv a x a x − iv b x b x e g dx r dx mission line in the microwave regime [26]. Since the atomic linewidth is typically quite narrow, a linear approximation δ † σ σ δ † σ σ V x a x − a x V r x b x − b x of the waveguide dispersion relation, which we adopt here, is generally sufficient to describe the waveguide. We further 1 Ωσz; note that the two-level atom in Hwvg atom can describe either a 2 real atom or an artificial atom, such as a quantum dot [13]or Z superconducting qubit [15]. † d Ho −ivg dxao x ao x . To model dissipation we introduce reservoir–atom cou- dx pling as described by Hr and consider the composite Here H describes a one-way propagating chiral waveguide system H Hwvg atm Hr as shown schematically in Fig. 1, e where mode that interacts with the atom. Ho describes a one-way propagating waveguide mode without any interaction with Z the atom. Once the solutions for He are known, the solution † d p † Hr dx −ivrb x b x γδ x b x σ− σ b x : to H H can be straightforwardly obtained by using dx wvg atm r Eqs. (3a) and (3b). In what follows we consider only the even (2) Hamiltonian, since it contains all of the nontrivial physics of the system. Here b x and b† x are the reservoir photon operators The Hamiltonian He can be recast in k-spacep by and γ is the atom–reservoir coupling rate. We assume the res- ≡ 1∕ 2π definingR momentum-spacep photonR operators ak ervoir has a continuum of modes centered around the atomic dxa x e−ikx and b ≡ 1∕ 2π dxb x e−ikx, transition frequency Ω. We further assume that within the k r spectral range of interest the dispersion of these reservoir Z † † κ † H dk kv a a kv b b a σ− σ a modes is well described by a group velocity vr. The reservoir e g k k r k k 2π k k will initially be set to the vacuum state. As a result of interac- r tion with the atom, photons originating in the waveguide may γ † 1 b σ− σ bk Ωσz: leak back into the waveguide, described in Eq. (1), or they 2π k 2 may leak into the reservoir as described in Eq. (2), resulting in loss. WeR note thatR the total number of excitations Nexc † † σ σ To proceed, we exploit the spatial inversion symmetry of H dkakak dkbkbk − commutes with He, Ho, allowing for the solution to proceed independently in each excitation and decompose it to even and odd subspaces H He Ho, number manifold. where He;Ho 0. We transform from right- and left-moving waveguide photon operators to even and odd photon opera- tors. We omit from here on the subscripts of the even mode operators: 3. INPUT–OUTPUT FORMALISM In the absence of dissipation, the one- and two-photon scat- a x a −x tering matrices of this system were solved in [10], to which a x R p L ; (3a) 2 we refer the reader for a detailed derivation of the formalism we use. Our focus here is on the addition of dissipation to the formalism. By defining input and output field operators for the waveguide, Z 1 −ik t−t0 a t p dka t0 e ; in 2π k Z 1 −ik t−t1 a t p dka t1 e ; out 2π k
and reservoir, Z 1 −ik t−t0 Fig. 1. Schematic of sample system considered. A waveguide side b t p dkb t0 e ; κ in 2π k coupled with rate to a two-level atom with transition frequency Z Ω. The atom is additionally coupled with rate γ to a reservoir. The 1 −ik t−t1 initial state in the waveguide is either a one- or a two-photon Fock bout t p dkbk t1 e ; state, whereas the auxiliary waveguide is initially in the vacuum state. 2π 112 Photon. Res. / Vol. 1, No. 3 / October 2013 E. Rephaeli and S. Fan we obtain (in the limits t0 → −∞ and t1 → ∞) the input–output incoming photons with momenta k1 and k2 to scatter into two equations, outgoing photons with momenta p1 and p2 and can be expressed as p aout t ain t − i κσ− t ; (4)
− − † † hp ;p jk ;k i h0ja p2 a p1 a k1 a k2 j0i: p 1 2 1 2 out out in in bout t bin t − i γσ− t ; (5) To proceed, we insert the resolution of the identity in the dσ− t κ γ p single-excitation subspace −i Ω − i − i σ− t i κσ t a t dt 2 2 z in Z Z pγσ i z t bin t : (6) ˆ I1 dkjk ihk j dkjk irrhk j; We see that the presence of dissipation in Eq. (6) in the form of damping rate γ is accompanied by the input field operator p which comprises of a sum of both waveguide and reservoir i γσ t b t from the reservoir. Below we use Eqs. (4)–(6) z in interacting eigenstates outer products to obtain one and two-photon S-matrices.
A. One-Photon S-Matrix − − hp1 ;p2 jk1 ;k2 i The one-photon S-matrix relates an incoming free-photon Z − † † state jki with momentum k to an outgoing free-photon state dkhp1 jk ihk ja p2 a k1 a k2 j0i − out in in jpi with momentum p and is given by hpjSjki hp jk i, where Z † S is the scattering operator and jk i ≡ a k j0i is an incoming − † † in dkhp1 jk i hk ja p2 a k1 a k2 j0i one-excitation interacting eigenstate that evolved from a rr out in in − † ≡ 0 r free-photon state jki in the distant past. jp i aout p j i is an tp1 hp1 jaout p2 jk1 ;k2 i tp1 rhp1 jaout p2 jk1 ;k2 i; outgoing one-excitation interacting eigenstate that will evolve into a free photon state jpi in the distant future. The one- photon S-matrix can be reexpressed as follows: where we have used the definitions of the one-photon scattering amplitudes hp−jk i t δ k − p and hp−jk i p 1 k r 1 − 0 † 0 δ − − κ 0 σ hp−jk i t r δ k − p . Inserting the Fourier transform hp jk i h jaout p ain k j i k p i h j − p jk i; 1 r k 0 of Eq. (4) and noting that rhp1 jain p2 jk1 ;k2 i ,we where we have used the input–output relation in Eq. (4) have and h0jain p jk i δ k − p [10]. To obtain the matrix element h0jσ− p jk i, we solve for its time-domain counterpart δ − δ − δ − δ − 0 σ 0 σ 0 tp1 k1 p1 k2 p2 k1 p2 k2 p1 h j − t jk i using Eq. (6), noting that h j z t bin t jk i p † −ikt p p r and h0jσz t ain t jk i − 1∕ 2π e , where jk ir b k j0i − κ σ − κ σ in i tp1 hp1 j − p2 jk1 ;k2 i i tp1 rhp1 j − p2 jk1 ;k2 i: is an incoming reservoir eigenstate. The resulting one-photon (7) transport matrix elements are p κδ k − p 0 σ ≡ δ − We now need to solve for the matrix elements h j − p jk i κ γ sk k p ; k − Ω i i hp1 jσ− p2 jk1 ;k2 i and hp1 jσ− p2 jk1 ;k2 i.Todosowe 2 2 r pγδ − sandwich Eq. (6) between the appropriate states, getting k p r h0jσ− p jk i γ δ k − p ≡ s δ k − p ; the equations r k − Ω i κ i k 2 2 γ k − Ω − i κ − hp−jk i 2 2 δ k − p t δ k − p ; κ γ κ γ k d k − Ω i 2 2 hp1jσ− t jk ;k i −i Ω − i − i hp jσ− t jk ;k i dt 1 2 2 2 1 1 2 − pκγδ − − i k p p p k rh j i κ γ i κhp1 jσz t ain t jk1 ;k2 i; (8) k − Ω i 2 2 ≡ r δ − tk k p : ≠ d κ γ We note that, as a result of reservoir damping, sk tksk . hp1jσ− t jk1 ;k2 i −i Ω − i − i hp1 jσ− t jk1 ;k2 i This seemingly innocuous difference between the dissipative dt r 2 2 r p case and the dissipation-free case stems from the fact that i κrhp1 jσz t ain t jk1 ;k2 i; (9) the set jk i is not complete in the presence of dissipation. We will see the crucial importance of this fact in the two- photon calculation. where we note that hp1 jσz t bin t jk1 ;k2 i 0 and σ 0 rhp1 j z t bin t jk1 ;k2 i . To proceed, we solve for the B. Two-Photon S-Matrix source terms in Eqs. (8) and (9) by using σ 2σ σ− − 1 ˆ z The transport of two waveguide photons is given by the two- and inserting a resolution of the identity I0 j0ih0j in the photon S-matrix, which describes the probability amplitude of zero-excitation Hilbert space, E. Rephaeli and S. Fan Vol. 1, No. 3 / October 2013 / Photon. Res. 113 e−ik2t 1 This form of the S-matrix violates the particle exchange i p1−k2 t hp jσ t a t jk ;k i p s s e − δ p1 − k2 1 z in 1 2 2π π p1 k2 symmetries mentioned above. If we examine the form of the S-matrix in Eq. (13), it e−ik1t 1 i p1−k1 t p s s e − δ p1 − k1 ; might seem odd that, even though the result is expressible 2π π p1 k1 by single-photon scattering amplitudes, it violates exchange −ik2t e 1 r − symmetry of outgoing particle momenta while the one- hp jσ t a t jk ;k i p s s ei p1 k2 t r 1 z in 1 2 2π π p1 k2 photon S-matrix does not. This is explained as follows.
−ik1t The physical origin of the symmetry violation is in the scat- e 1 r p s s ei p1−k1 t: σ 0 2π π p1 k1 tering amplitude hp1 j j i. This amplitude is proportional ’ to the Fourier coefficient sp1 of the atom s spontaneous emission amplitude into the waveguide. However, in the Having calculated the source terms, we may now solve presence of dissipation, the atom may also spontaneously Eqs. (8) and (9) and Fourier transform their solution to emit a photon into the reservoir, corresponding to the am- obtain σ 0 plitude rhp1j j i. This amplitude is provided by the term in 1 Eq. (10) and originates in our inclusion of the reservoir σ − r δ − − when inserting the two-excitation resolution of the identity rhp1 j − p2 jk1 ;k2 i sp2 sp1 sk1 sk2 p1 p2 k1 k2 ; R R π ˆ I2 dkjk ihk j dkjk i hk j. (10) rr