Some useful combinatorial formulae for bosonic operators

P. Blasiak,K.A. Penson,A.I. Solomon,A. Horzela,G.E.H. Duchamp
DOI: https://doi.org/10.1063/1.1904161
2006-02-16
Abstract: We give a general expression for the normally ordered form of a function F(w(a,a*)) where w is a function of boson annihilation and creation operators satisfying [a,a*]=1. The expectation value of this expression in a coherent state becomes an exact generating function of Feynman-type graphs associated with the zero-dimensional Quantum Field Theory defined by F(w). This enables one to enumerate explicitly the graphs of given order in the realm of combinatorially defined sequences. We give several examples of the use of this technique, including the applications to Kerr-type and superfluidity-type hamiltonians.
Quantum Physics,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the combinatorial formula of boson operators and its application in quantum field theory (QFT). Specifically, the authors strive to derive and verify the normal - ordering form of the function \( F[\hat{w}(a, a^\dagger)] \) of boson creation and annihilation operators, and relate it to the generating function of Feynman diagrams in zero - dimensional quantum field theory through the expectation value of coherent states. ### Specific description of the problem 1. **Normal - ordering problem**: In quantum mechanics, the boson creation operator \( a^\dagger \) and the annihilation operator \( a \) satisfy the commutation relation \([a, a^\dagger]=1\). For a function \( F(a, a^\dagger) \) involving these operators, how can it be transformed into the normal - ordering form \( N[F(a, a^\dagger)] \) such that all annihilation operators are moved to the right? 2. **Generating function of Feynman diagrams**: Through the normally - ordered expression, how can the expectation value in the coherent state be calculated? This step can transform the result into the exact generating function of Feynman diagrams, which can be used to enumerate Feynman diagrams of a given order. 3. **Application of combinatorics**: Using the above methods, how can these Feynman diagrams be explicitly enumerated by combinatorial methods? In particular, for specific types of Hamiltonians (such as Kerr - type and superfluid - type Hamiltonians), how can these techniques be applied? ### Key points of the solution - **Normal - ordering formula**: The authors derived the normal - ordering formula in general form, especially for operators of the form \( \hat{w}(a, a^\dagger) \), where \( \hat{w} \) is in the form of products or powers of creation and annihilation operators. - **Generating function of Feynman diagrams**: By introducing auxiliary symbols \( : : \) and exponential generating functions (egf), the authors showed how to relate the normally - ordered expression to the generating function of Feynman diagrams. - **Specific application examples**: The paper gives several specific examples, including the applications of Kerr - type Hamiltonians and superfluid - type Hamiltonians, showing how to use these formulas for practical calculations. ### Markdown representation of formulas For example, one of the key formulas mentioned in the paper is: \[ N[F(\lambda \hat{w})]=F\left(\lambda \frac{d}{dx}\right) : G_{\hat{w}}(x, a, a^\dagger) : \Bigg|_{x = 0} \] where \( G_{\hat{w}}(x, a, a^\dagger) \) is the expression obtained through normal - ordering. In addition, another important formula is: \[ Z(L, V, \lambda)=\exp\left(\sum_{m = 1}^\infty \frac{L_m}{m!} \lambda^m \frac{d^m}{dx^m}\right)\cdot\exp\left(\sum_{n = 1}^\infty V_n x^n / n!\right)\Bigg|_{x = 0} \] These formulas successfully transform the problem of generating Feynman diagrams in quantum field theory into a specific combinatorial counting problem through normal - ordering and combinatorial methods. In conclusion, through rigorous mathematical derivations and combinatorial analyses, this paper solves the normal - ordering problem of boson operator functions and applies it to the generation and counting of Feynman diagrams in quantum field theory, which has important theoretical and practical values.