When solving problems involving quantum mechanical systems, it is frequently desirable to find the matrix elements of a unitary representation
T of a real algebraic Lie group
G. This requires defining an inner product on the Hilbert space
mathbbH that carries the representation
T. In the case where the representation is determined by a representation of a subgroup containing the lowest weight vector of
T, this can be achieved through the coherent state construction. In both the scalar and vector coherent state methods, the process of finding the overlaps can be simplified by introducing the coherent state triplet (
mathfrakFmathbbHD,
mathbbHD,
mathfrakFmathfrakHD) of Bargmann spaces. Coherent state wave functions -- the elements of
mathfrakFmathbbHD and of
mathfrakFmathbbHD -- are used to define the inner product on
mathbbHD in a way that simplifies the calculation of the overlaps. This inner product and the group action
Gamma of
G on
mathfrakFmathbbHD are used to formulate expressions for the matrix elements of
T with coefficients from the given subrepresentation.\n\nThe process of finding an explicit expression for
Gamma relies on matrix factorizations in the complexification of
G even though the representation
T does not extend to the complexification. It will be shown that these factorizations are, in fact, justified, that the overlaps and
Gamma action can be expressed in terms of the given subrepresentation, and that it is possible to find numerical values for the inner product in
mathbbH. The scalar and vector coherent state methods will both be applied to Sp(
n) and Sp(
n,mathbbR).
In the context of many-body quantum mechanics, one often encounters the need to evaluate expectation values of operators or their matrix elements. For instance, given a Hamiltonian https://www.w3.org/1998/Math/MathML" display="inline"> H ^ , we typically want to evaluate its expectation value, which is the energy of the system, https://www.w3.org/1998/Math/MathML" display="inline"> E = ⟨ H ^ ⟩ . In second quantization, the matrix element of an operator can always be expressed as a vacuum expectation value. This generally yields an expression which is hard to evaluate. Fortunately, a powerful tool to simplify these calculations exists: Wick's theorem. This theorem provides a systematic way to break down expressions involving products of creation and annihilation operators into sums of simpler terms.
A diagrammatical method, based on the second quantization formalism, time-independent Wick's theorem and Feynman-like diagrams, is developed for the calculation of arbitrary matrix elements of n-particle spin-independent operators between the states represented by antisymmetrized products of geminals of an arbitrary kind (i.e., strongly or weakly orthogonal, interacting, nonorthogonal or identical geminals). The method greatly facilitates any algebraic manipulation with geminal type functions, particularly when strong orthogonality is not assumed, and enables one to write down directly the algebraic expressions for the matrix elements of an arbitrary spin-independent operator between the single antisymmetrized products of arbitrary geminals, solely on the basis of simple graphs, which are easily constructed.