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.

$\mathrm{with}\left(\mathrm{Physics}\right)\:$

$\mathrm{Setup}\left(\mathrm{mathematicalnotation}=\mathrm{true}\right)$

$\left[\mathrm{mathematicalnotation}=\mathrm{true}\right]$

$\mathrm{Ket}\left(A\,n\right)$

$\left|A_n\right.⟩$

$\mathrm{Projector}\left(\,\mathrm{dimension}=3\right)$

$\sum _{n=0}^2\left|A_n\right.⟩\left.⟨A_n\right|$

$\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]$

$\mathrm{Ket}\left(R\,x\,y\,z\right)$

$\left|R_{x\,y\,z}\right.⟩$

$\mathrm{Projector}\left(\right)$

${\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\left({\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\left({\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\left|R_{x\,y\,z}\right.⟩\left.⟨R_{x\,y\,z}\right|\ⅆx\right)\ⅆy\right)\ⅆz$

$\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 }}\sum _{n=0}^3\sum _{m=0}^{N-1}\left|B_{m\,n-\frac{3}{2}\,x}\right.⟩\left.⟨B_{m\,n-\frac{3}{2}\,x}\right|$

$\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]$

$\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]$

$\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|B_{m\,n-\frac{3}{2}\,x}\right.⟩\left.⟨B_{m\,n-\frac{3}{2}\,x}\right|\ⅆm\right)\right)\ⅆx$

$\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|C_{m-\frac{1}{2}\,0}\right.⟩\left.⟨C_{m-\frac{1}{2}\,0}\right|$

$\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]$

$\mathrm{expansion}≔\mathrm{PC}·\mathrm{Ket}\left(\mathrm{\psi }\right)$

$\mathrm{expansion}≔\sum _{m=0}^1⟨C_{m-\frac{1}{2}\,0}|\mathrm{\psi }⟩\left|C_{m-\frac{1}{2}\,0}\right.⟩$

$\mathrm{\%Bracket}\left(\mathrm{Bra}\left(C\,m\,n\right)\,\mathrm{Ket}\left(\mathrm{\psi }\right)\right)=\mathrm{\psi }\left(n\,m\right)$

$⟨C_{m\,n}|\mathrm{\psi }⟩=\mathrm{\psi }\left(n\,m\right)$

$\mathrm{Setup}\left(\right)$

$\left[\mathrm{bracketrules}=\left\{⟨C_{m\,n}|\mathrm{\psi }⟩=\mathrm{\psi }\left(n\,m\right)\right\}\right]$

$\mathrm{value}\left(\mathrm{expansion}\right)$

$\mathrm{\psi }\left(0\,-\frac{1}{2}\right)\left|C_{-\frac{1}{2}\,0}\right.⟩+\mathrm{\psi }\left(0\,\frac{1}{2}\right)\left|C_{\frac{1}{2}\,0}\right.⟩$