Projector - Maple Help

Physics[Projector] - compute the projector onto a space of states represented by the given (Ket) argument

 Calling Sequence Projector(K, dimension = N, quantumcontinuousbasis, subspace)

Parameters

 K - a Ket state vector N - positive integer, infinity, or an algebraic expression that could be positive or a positive integer, when the space of states is respectively continuous or discrete quantumcontinuousbasis - (optional) indicates that the projector acts over a continuous space of states subspace - (optional) indicates that the projector projects onto a subspace, so its dimension should not be used to update the dimension of the embedding space

Description

 • The Projector command returns the quantum operator that projects onto a basis of a space of states. This operator is constructed as a sum of tensor products of Bras and Kets of the basis. To indicate that the space is a continuous space of states, use the quantumcontinuousbasis option, or set the label of the space (first argument of the given Ket) to represent a continuous space of states, by using the Setup command.
 • The dimension of the space associated with each quantum number entering the Ket passed as first argument can be specified directly to Projector. If so, this information is automatically used to update the current Setup, unless the optional argument subspace is given, indicating that the dimensions given are not the ones of the embedding quantum space of states. Alternatively, you can set the dimension first, by using the Setup command, and then call Projector without specifying the dimension.
 • In the case of a continuous space of states, if the dimension is not given and it is not known to the Setup command, this dimension is assumed to be from $-\mathrm{\infty }$ to $\mathrm{\infty }$.
 • When indicating the dimension as dimension = N, N can be a positive integer or an algebraic expression representing it, so that the dimension will be from 0 to $N-1$ in the discrete case, and from $-N$ to $N$ in the continuous case. You can also indicate directly a range of the form $N=a..b$, where $a$ and $b$ are also half-integers. When there are many quantum numbers, the dimension indicated in one of these ways will be assumed to be the same for all of them.
 Alternatively, to indicate different dimensions for each quantum number, N should be a list of dimensions, so that the first dimension in the list is associated with the first quantum number, and so on, and each dimension is as in the previous paragraph.
 • The %Projector command is the inert form of Projector; that is, it represents the same mathematical operation while displaying the operation unevaluated. To evaluate the operation, use the value command.

Examples

 > $\mathrm{with}\left(\mathrm{Physics}\right):$
 > $\mathrm{Setup}\left(\mathrm{mathematicalnotation}=\mathrm{true}\right)$
 $\left[{\mathrm{mathematicalnotation}}{=}{\mathrm{true}}\right]$ (1)
 > $\mathrm{Ket}\left(A,n\right)$
 $\left|\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{A}}_{{n}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\right⟩$ (2)
 > $\mathrm{Projector}\left(,\mathrm{dimension}=3\right)$
 ${\sum }_{{n}{=}{0}}^{{2}}{}\left|\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{A}}_{{n}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\right⟩{}⟨\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{A}}_{{n}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}|$ (3)
 > $\mathrm{Setup}\left(\mathrm{continuousbasis}=R\right)$
 $\mathrm{* Partial match of \text{'}}\mathrm{continuousbasis}\mathrm{\text{'} against keyword \text{'}}\mathrm{quantumcontinuousbasis}\text{'}$
 $\mathrm{_______________________________________________________}$
 $\left[{\mathrm{quantumcontinuousbasis}}{=}\left\{{R}\right\}\right]$ (4)
 > $\mathrm{Ket}\left(R,x,y,z\right)$
 $\left|\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{R}}_{{x}{,}{y}{,}{z}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\right⟩$ (5)
 > $\mathrm{Projector}\left(\right)$
 ${{\int }}_{{-}{\mathrm{\infty }}}^{{\mathrm{\infty }}}\left({{\int }}_{{-}{\mathrm{\infty }}}^{{\mathrm{\infty }}}\left({{\int }}_{{-}{\mathrm{\infty }}}^{{\mathrm{\infty }}}\left|\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{R}}_{{x}{,}{y}{,}{z}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\right⟩{}⟨\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{R}}_{{x}{,}{y}{,}{z}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}|\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{ⅆ}{x}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{ⅆ}{y}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{ⅆ}{z}$ (6)

A projector with different dimensions associated with each quantum number: the dimension information passed to Projector is automatically tracked in the Setup for later use.

 > $\mathrm{Projector}\left(\mathrm{Ket}\left(B,m,n,x\right),\mathrm{dimension}=\left[N,-\frac{3}{2}..\frac{3}{2},\mathrm{\infty }\right]\right)$
 ${\sum }_{{x}{=}{0}}^{{\mathrm{\infty }}}{}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\sum }_{{n}{=}{0}}^{{3}}{}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\sum }_{{m}{=}{0}}^{{N}{-}{1}}{}\left|\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{B}}_{{m}{,}{n}{-}\frac{{3}}{{2}}{,}{x}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\right⟩{}⟨\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{B}}_{{m}{,}{n}{-}\frac{{3}}{{2}}{,}{x}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}|$ (7)
 > $\mathrm{Setup}\left(\mathrm{basisdim}\right)$
 $\mathrm{* Partial match of \text{'}}\mathrm{basisdim}\mathrm{\text{'} against keyword \text{'}}\mathrm{quantumbasisdimension}\text{'}$
 $\mathrm{_______________________________________________________}$
 $\left[{\mathrm{quantumbasisdimension}}{=}\left\{{A}{=}{3}{,}{R}{=}{\mathrm{\infty }}{,}{{B}}_{{1}}{=}{N}{,}{{B}}_{{2}}{=}{-}\frac{{3}}{{2}}{..}\frac{{3}}{{2}}{,}{{B}}_{{3}}{=}{\mathrm{\infty }}\right\}\right]$ (8)

A projector where some of the quantum numbers are associated with discrete spaces, and others with continuous spaces (note that you do not need to specify the dimensions again).

 > $\mathrm{Setup}\left(\mathrm{continuous}=\left\{B\left[1\right],B\left[3\right]\right\}\right)$
 $\mathrm{* Partial match of \text{'}}\mathrm{continuous}\mathrm{\text{'} against keyword \text{'}}\mathrm{quantumcontinuousbasis}\text{'}$
 $\mathrm{_______________________________________________________}$
 $\left[{\mathrm{quantumcontinuousbasis}}{=}\left\{{R}{,}{{B}}_{{1}}{,}{{B}}_{{3}}\right\}\right]$ (9)
 > $\mathrm{Projector}\left(\mathrm{Ket}\left(B,m,n,x\right)\right)$
 ${{\int }}_{{-}{\mathrm{\infty }}}^{{\mathrm{\infty }}}\left({\sum }_{{n}{=}{0}}^{{3}}{}\left({{\int }}_{{-}{N}}^{{N}}\left|\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{B}}_{{m}{,}{n}{-}\frac{{3}}{{2}}{,}{x}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\right⟩{}⟨\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{B}}_{{m}{,}{n}{-}\frac{{3}}{{2}}{,}{x}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}|\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{ⅆ}{m}\right)\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{ⅆ}{x}$ (10)

When projecting onto a subspace, use the optional argument subspace to avoid having the dimension information tracked in the Setup.

 > $\mathrm{PC}≔\mathrm{Projector}\left(\mathrm{Ket}\left(C,m,n\right),\mathrm{dimension}=\left[-\frac{1}{2}..\frac{1}{2},1\right],\mathrm{subspace}\right)$
 ${\mathrm{PC}}{≔}{\sum }_{{m}{=}{0}}^{{1}}{}\left|\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{C}}_{{m}{-}\frac{{1}}{{2}}{,}{0}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\right⟩{}⟨\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{C}}_{{m}{-}\frac{{1}}{{2}}{,}{0}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}|$ (11)
 > $\mathrm{Setup}\left(\mathrm{basisdim}\right)$
 $\mathrm{* Partial match of \text{'}}\mathrm{basisdim}\mathrm{\text{'} against keyword \text{'}}\mathrm{quantumbasisdimension}\text{'}$
 $\mathrm{_______________________________________________________}$
 $\left[{\mathrm{quantumbasisdimension}}{=}\left\{{A}{=}{3}{,}{R}{=}{\mathrm{\infty }}{,}{{B}}_{{1}}{=}{N}{,}{{B}}_{{2}}{=}{-}\frac{{3}}{{2}}{..}\frac{{3}}{{2}}{,}{{B}}_{{3}}{=}{\mathrm{\infty }}\right\}\right]$ (12)

To project the Ket $\left|\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathrm{\psi }\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\right⟩$ into a basis, take the scalar product of the Projector and the Ket.

 > $\mathrm{expansion}≔\mathrm{PC}·\mathrm{Ket}\left(\mathrm{\psi }\right)$
 ${\mathrm{expansion}}{≔}{\sum }_{{m}{=}{0}}^{{1}}{}⟨\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{C}}_{{m}{-}\frac{{1}}{{2}}{,}{0}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{|}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathrm{\psi }}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}⟩{}\left|\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{C}}_{{m}{-}\frac{{1}}{{2}}{,}{0}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\right⟩$ (13)

Set a bracket rule for$⟨C,m,n|\psi ⟩$, and use the value command to perform the sum (rewrite it explicitly as a sum of terms).

 > $\mathrm{%Bracket}\left(\mathrm{Bra}\left(C,m,n\right),\mathrm{Ket}\left(\mathrm{\psi }\right)\right)=\mathrm{\psi }\left(n,m\right)$
 $⟨\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{C}}_{{m}{,}{n}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{|}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathrm{\psi }}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}⟩{=}{\mathrm{\psi }}{}\left({n}{,}{m}\right)$ (14)
 > $\mathrm{Setup}\left(\right)$
 $\left[{\mathrm{bracketrules}}{=}\left\{⟨\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{C}}_{{m}{,}{n}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{|}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathrm{\psi }}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}⟩{=}{\mathrm{\psi }}{}\left({n}{,}{m}\right)\right\}\right]$ (15)
 > $\mathrm{value}\left(\mathrm{expansion}\right)$
 ${\mathrm{\psi }}{}\left({0}{,}{-}\frac{{1}}{{2}}\right){}\left|\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{C}}_{{-}\frac{{1}}{{2}}{,}{0}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\right⟩{+}{\mathrm{\psi }}{}\left({0}{,}\frac{{1}}{{2}}\right){}\left|\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{{C}}_{\frac{{1}}{{2}}{,}{0}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\right⟩$ (16)