Jump to content

User:Ninnatd/input output draft

From Wikipedia, the free encyclopedia

The input-output formalism, is a formalism developed by M. J. Collett and C. W. Gardiner[1] to model the behavior of systems coupled weakly to the environment in the Heisenberg picture. Therefore, it is appropriate for systems whose Heisenberg equations of motion are linear and thus can be solved easily.

In this model, the environment is treated as one or families of modes of excitation, each family being called a reservoir. An input field from a reservoir interacts with the system resulting in an output field. The reservoirs can be classified according to their uses into a noise reservoir and a signal reservoir.

  • For a noise reservoir, which is a part of the environment we are not interested in, the goal is to eliminate the reservoir degree of freedoms: the input and output fields, from the description of the dissipative system. The input-output formalism gives a relation between quantum noise and the input fields.
  • For a signal reservoir such as a classical driving field the goal is to find out about the system from the reservoir fields to be observed: the output. Historically, a system interacting with a reservoir such as a thermal reservoir or a classical driving field (coherent state reservoir) was studied using methods with little generality.[1] The input-output formalism allows us to treat an arbitrary reservoir, for instance, a squeezed state reservoir, as an input.

The formalism can handle both types of reservoirs as long as the interaction is linear in the reservoir degree of freedom. This excludes, for example, a model for electrical resistance in metal, which arises from scattering of electrons by phonons and impurities and thus depends on the number of phonons.[2]

Derivation of the formalism

[edit]

In the standard input-output formalism, there are assumptions that mimic the Wigner-Weisskopf theory of spontaneous emission which captures a typical system-reservoir model in quantum optics.

  • The spectrum of reservoir frequencies is continuous.
  • The system has a discrete spectrum.
  • The system is weakly coupled to a broad frequency range of the reservoir.

the Hamiltonian that describes the system and the reservoir is

where is the annihilation operator for the system, i.e. is the annihilation operator for a reservoir mode with frequency that obeys the commutation relation

and is a function involving the coupling strength and the density of the reservoir modes. Here, is assumed to be real since any phase can be absorbed into the definition of . (The in is for convenience.) For simplicity, we only consider a single reservoir. A generalization to multiple reservoirs is often necessary, even to accommodate a vacuum input, but straightforward by adding together the Hamiltonians of every reservoir and system-reservoir interaction.

The interaction Hamiltonian has a form similar to the Jaynes-Cummings interaction Hamiltonian after the rotating wave approximation. In the usual presentation, [1], the range of integration includes non-physical negative frequencies and is extended to from the beginning. This can arise when we go into a rotating frame with angular frequency , and the bandwidth of interest is very small compared to . But we will follow Garrison and Chiao[3] and keep the range of integration to only positive frequencies to make clear where and how we need to make further approximations.

Assume that has a characteristic frequency much larger than a characteristic response frequency of the interaction since is weak compared to . So to separate the fast and slow evolution, let us define the slowly-varying operators and whose Heisenberg equations of motion are

Now we can choose to calculate everything w.r.t. to a time before the interaction or a time after the interaction .

In-fields

[edit]

For ,

So

where . Since is slowly varying compared to the oscillating exponential function, it can be taken out of the integral. Moreover, is sharply peaked at . Therefore, the lower limit of the integral can be extended to with negligible error, yielding

The Markov approximation dictates that the system coupling equally to broad spectrum of the reservoir .

Defining ,

where . This is a retarded quantum Langevin equation with the noise operator .

The retarded Langevin equation for , where is an arbitrary system operator, is


The unequal-time commutation relation for the in-field can be calculated using the equal time commutation relation to be

Integrating this againts a test function gives

Since we are only interested in a slowly-varying function in this approximation, is peaked at and the same argument to extend the lower limit of integration to is applied again, giving


There is a few things to note:

  • is defined in terms of at time . It is not evolving as a Heisenberg operator.
  • The term gives the damping effect regardless of the reservoir quantum state, whereas the noise statistics does depend on the reservoir state. The damping is Markovian, having no memory, because the damping term only depends on the system operator at the current time.
  • The in-field is required to preserve the commutation relation . There is always a vacuum input in an "empty" input port.

Out-fields

[edit]

For ,

Defining

apparently with the same commutation relation as , we obtain an advanced quantum Langevin equation

Note again that is defined in terms of at time . It is not evolving as a Heisenberg operator.

The advanced Langevin equation for an arbitrary system operator can similarly be derived by the substitution

Inputs and outputs

[edit]

The input-output relation can be found by equating the two Langevin equations:

This allows us to obtain the unequal time commutation relation between an arbitrary system operator and the fields in terms of the system operators alone. First, because the definition of and , the retarded and advanced Langevin equations respect causality:

Therefore, using the input-output relation,

where is the Heaviside step function.

Our derivation is now completed. For a noise reservoir, the evolution of any system operator can be calculated without referring to the reservoir. For a signal reservoir, the output can be computed from the input and the system operator .

The field interpretation

[edit]

Because of the input-output relation and causality of the Langevin equations, and can be interpreted as inputs and outputs to the system, which acts as a boundary condition.

To further clarify the formalism and the nature of these fields, let us consider the implementation of the formalism as a one-dimensional semi-infinite transmission line.[2] Suppose that the system is localized at position, say, . There is a field propagates from the right, interacts with the system, and propagates back to the right.

The one-dimensional semi-infinite transmission line model

The Lagrangian that describes the system and the (massless free scalar) field is

where is the coupling function and is a system operator.

The field has a canonical momentum

If is strictly a Dirac delta function, then this Lagrangian cannot be turned into a Hamiltonian because contains the mathematically undefined square of Dirac delta function. Nevertheless, this is a continuum analog of a system interacting with an oscillator reservoir. It exhibits damping and, moreover, the input and output are actual quantum fields.

The reason we are considering this model is that several assumptions made in the derivation of the formalism above is rather natural in this context.

  • The Markovian assumption that is flat amounts to the assumption that the interaction is local: .
  • The damping is caused by radiation damping.

and

Then it can be shown that the in- and out- field satisfy the input-output relation

and that outside the range of interaction,

That is, the total field is simply the sum of the in- and out-fields, and the out-field is the sum of a reflected in-field and the radiated field from the system.

Applications

[edit]

References

[edit]
  1. ^ a b c C. W. Gardiner (1985). "Input and output in damped quantum systems: Quantum stochastic differential equations and the master equation". Phys. Rev. A. 31 (6): 3761–74. doi:10.1103/PhysRevA.31.3761. PMID 9895956. {{cite journal}}: Unknown parameter |coauthors= ignored (|author= suggested) (help)
  2. ^ a b C. W. Gardiner (2004). Quantum Noise (3rd ed.). Springer. {{cite book}}: Unknown parameter |coauthors= ignored (|author= suggested) (help)
  3. ^ J. C. Garrison (2008). Quantum Optics. Oxford University Press. {{cite book}}: Unknown parameter |coauthors= ignored (|author= suggested) (help)