generate "annihilation" operators acting on a given space of quantum states - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Physics : Physics/Annihilation

Physics[Annihilation] - generate "annihilation" operators acting on a given space of quantum states

Physics[Creation] - generate "creation" operators acting on a given space of quantum states

Calling Sequence

Annihilation(A, n1, n2, ... notation = ..., phaseconvention = ...)

Creation(A, n1, n2, ... notation = ..., phaseconvention = ...)

Parameters

A

-

a name, as a label; identifies the space of quantum states on which the operator returned acts

n1, n2, ...

-

positive integers; indicate the position of the quantum numbers on which the operator returned acts

notation = ...

-

(optional) equation of the form notation = explicit or notation = implicit (default); if explicit, the operator returned explicitly shows the space and quantum numbers onto which it acts

phaseconvention = ...

-

(optional) equation of the form phaseconvention = procedure where procedure is a procedure of one argument, telling how to construct the phase factor from the quantum number onto which the operator acts (annihilation default: expr; creation default: expr)

Description

• 

The Annihilation and Creation commands return annihilation and creation operators, respectively, which act on the quantum numbers of state vectors, Kets or Bras, of a space of quantum states. The first argument, A, is the label of the basis of quantum states on which the operator returned acts. The second and subsequent arguments are expected to be positive integers indicating the position of the quantum numbers on which the operator returned acts; if not given, it is assumed that there is only one quantum number.

• 

The %Annihilation and %Creation commands are the inert forms of Annihilation and Creation. That is, they represent the same mathematical operations while returning the operators unevaluated. To evaluate the inert operations, use the value command.

• 

By default, the annihilation and creation operators returned are displayed as a and a+, respectively (in the underlying computational implementation, a and a+ are local variables that you can invoke in an input line using the global variables `a-` and `a+`). Thus, the default returned operator tells neither the basis of states nor the position of the quantum numbers onto which it acts. You can override this default by using the optional argument notation = explicit. See the Options section for details.

• 

The annihilation and creation operators satisfy the commutation relation, a,a+=1, where a,a+ is the Commutator, unless the label of the basis of states on which the operators act is itself an anticommutative variable, in which case the operators satisfy the anticommutation relation, a,a++=1, where a,a++ is the AntiCommutator. When these operators are constructed by calls to Annihilation and Creation, these (anti)commutation relations are automatically set, and so are taken into account by the Commutator and AntiCommutator commands.

  

Note: Annihilation and creation operators can be created to operate only on Bras and Kets belonging to discrete spaces of states.

Options

  

notation

• 

The default value is notation = implicit. You can override this value by using the optional argument notation = explicit. This option is useful, for example, to distinguish among various annihilation (or creation) operators within a single worksheet, and to make a and a+ (entering the returned indexed annihilation and creation operators) be exports of Physics, not local variables. Alternatively, for the same purpose, you can use the alias command. See the Examples for a demonstration.

  

phaseconvention

• 

Given a basis of states with label A, and a single quantum number, n, the annihilation operator satisfies the equation aA0=0 . So the state vector A0 is defined, up to a constant factor. Assuming A0 is normalized to 1, this factor is of the form ⅇitheta with theta real. By requiring, additionally, that A1=c1a+A0, with c1 real and positive, and taking into account the (anti)commutation relation satisfied by a and a+, the factor c1 is equal to 1.

• 

In the bosonic case, considering now that An=cna+An1, by using the same assumptions, the following phase convention arises:

aAn   =

nAn1

a+An   =

n+1An+1

• 

You can override this phase convention with a procedure pc having one argument, by using the optional argument phaseconvention = pc.

• 

In the fermionic case, recalling Pauli's exclusion principle, each quantum number can only assume the values 0 or 1, so:

aA1   =

A0

a+A1   =

0

• 

In the case of many quantum numbers, for example with a and a+ acting on the nth quantum number qn, let M=m=1n1qm represent the total number of particles occupying states represented by the previous qm quantum numbers. Then the phaseconvention is

aAq1,...,1,...   =

1MAq1,...,0,...

a+Aq1,...,0,...   =

1MAq1,...,1,...

• 

The default value for this option in the Annihilation command is phaseconvention = sqrt; the default in the Creation command is phaseconvention = n -> sqrt(n + 1).

Examples

withPhysics:

Setupmathematicalnotation=true

mathematicalnotation=true

(1)

Produce annihilation and creation operators for a (discrete) basis of state vectors labeled phi regarding the 1st and 2nd quantum numbers of the Ket state vectors of this basis, respectively.

amAnnihilationφ,1

ama

(2)

apCreationφ,1

apa+

(3)

In the above, a- and a+ are local variables. These operators are applied to the Bras and Kets of this space of states by using the Physics[.] scalar product operator.

am.Ketφ,n

nφn1

(4)

Braφ,n.am

n+1φn+1

(5)

ap.Ketφ,n

n+1φn+1

(6)

Braφ,n.ap

nφn1

(7)

Commutatoram,ap

1

(8)

You can also use the inert form of Commutator, and evaluate the operation by using the value command when desired.

c_am_ap%Commutatoram,ap

c_am_apa,a+

(9)

valuec_am_ap

1

(10)

Construct one more pair of annihilation and creation operators for a different basis, labeled psi. In order to distinguish this new pair from the one acting on the phi basis, use the optional argument notation = explicit.

am2Annihilationψ,1,notation=explicit

am2aψ1

(11)

ap2Creationψ,2,notation=explicit

ap2a+ψ2

(12)

Note that the indices of a and a+ explicitly show the basis of states and position of quantum numbers on which they act. a- and a+ are are also exports of Physics, not local variables.

The first and second pair of operators constructed only act on state vectors of the basis indicated when the operators were constructed

am2.Ketψ,n,m

nψn1,m

(13)

ap2.Ketψ,n,m

m+1ψn,m+1

(14)

In order to distinguish between annihilation operators acting on different basis or different quantum numbers, instead of using the option notation = explicit, you can also use an alias.

aliasAm1=Annihilationψ,1:

aliasAm2=Annihilationψ,2:

Am1

Am1

(15)

Am1.Ketψ,n,m

nψn1,m

(16)

Am2

Am2

(17)

Am2.Ketψ,n,m

mψn,m1

(18)

When the label representing the basis of states is anticommutative, the annihilation and creation operators anticommute. To illustrate the phase convention for fermionic states, consider a case where a and a+ act on the third quantum number.

Physics:-Setupanticommutativeprefix=θ

anticommutativeprefix=_λ,θ

(19)

amAnnihilationθ,3,notation=explicit

amaθ3

(20)

apCreationθ,3,notation=explicit

apa+θ3

(21)

The following is the inert form of AntiCommutatoram,ap, and needs to be evaluated by using the value command.

a_am_ap%AntiCommutatoram,ap

a_am_apaθ3,a+θ3+

(22)

valuea_am_ap

1

(23)

In the next example, there is one particle associated with the first quantum number, zero associated with the second quantum number, and a acts on the third quantum number; so the factor entering the result of the first example is `^`1,1=1.

am_K`%.`am,Ketθ,1,0,1

am_Kaθ3·θ1,0,1

(24)

valueam_K

θ1,0,0

(25)

am_K`%.`am,Ketθ,1,1,1

am_Kaθ3·θ1,1,1

(26)

valueam_K

θ1,1,0

(27)

ap.Ketθ,1,0,1

0

(28)

ap.Ketθ,1,0,0

θ1,0,1

(29)

See Also

`.`, AntiCommutator, Bra, Bracket, Commutator, Ket, Physics, Physics conventions, Physics examples, Setup, type,anticommutative, type,commutative, type,noncommutative, value

References

  

Cohen-Tannoudji, C.; Diu, B.; and Laloe, F. Quantum Mechanics. Chapter II. Paris, France: Hermann, 1977.


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam