Some new operator identities in two-mode Fock space (Q1309121)

Two-mode Fock space is a Hilbert space spanned by two-mode occupation number state vectors. It is given by annihilation (creation) operators \(a(a^ \dagger)\) and \(b(b^ \dagger)\) of two-mode harmonic oscillator, and it is widely used in quantum mechancis and quantum optics. The authors prove here some operator identities in the space. Let us denote \(| n,m\rangle= a^{\dagger^ n}/ \sqrt{n!} |0\rangle_ a \otimes b^{\dagger^ m}/ \sqrt{m!} | 0\rangle_ b\), and \(C_ m^ n= m!/ \{n!(m-n)!\}\). The most important one proved by them is \[ \sum_{\ell=0}^ \infty\;\sum_{n,m=0}^ \ell \sqrt{C_ \ell^ n C_ \ell^ m} | n,m\rangle \langle \ell-m,\ell-n| e^{-ab}= e^{a^ \dagger b^ \dagger} \sum_{\ell=0}^ \infty\;\sum_{k=0}^ \ell | k,\ell-k\rangle \langle k,\ell-k|. \] By the help of the identity they prove the completeness relation \(\int d^ 2 z/\pi\cdot | z\rangle\langle z|=1\), for \(| z\rangle= \exp(- (| z|^ 2/2)+ za^ \dagger+ z^* b^ \dagger- a^ \dagger b^ \dagger)| 0,0\rangle\), \(z=re^{i\theta}\). Finally they show that their results can be generalized to \(q\)-deformed boson cases given by operators \(\widetilde{a}(\widetilde{a}^ \dagger)\) and \(\widetilde{b}(\widetilde{b}^ \dagger)\) satisfying the relations \(\widetilde {a} \widetilde{a}^ \dagger- q^ 2\widetilde {a}^ \dagger \widetilde{a}=1\) etc.