Abstract
We have developed a symbolic-numeric algorithm implemented in Wolfram Mathematica to compute the orthonormal non-canonical bases of symmetric irreducible representations of the \(\text {O(5)}\times \text {SU(1,1)}\) and \(\overline{\text {O(5)}}\times \overline{\text {SU(1,1)}}\) partner groups in the laboratory and intrinsic frames, respectively. The required orthonormal bases are labelled by the set of the number of bosons N, seniority \(\lambda \), missing label \(\mu \) denoting the maximal number of boson triplets coupled to the angular momentum \(L=0\), and the angular momentum (L, M) quantum numbers using the conventional representations of a five-dimensional harmonic oscillator in the laboratory and intrinsic frames. The proposed method uses a new symbolic-numeric orthonormalization procedure based on the Gram–Schmidt orthonormalization algorithm. Efficiency of the elaborated procedures and the code is shown by benchmark calculations of orthogonalization matrix O(5) and \(\overline{\text {O(5)}}\) bases, and direct product with irreducible representations of \(\text {SU(1,1)}\) and \(\overline{\text {SU(1,1)}}\) groups.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
- Orthonormal non-canonical basis
- Irreducible representations
- Group \(\text {O(5)}\times \text {SU(1, 1)}\)
- Gram–Schmidt orthonormalization
- Wolfram Mathematica
1 Introduction
The Bohr–Mottelson collective model [1, 2] has gained widespread acceptance in calculations of vibrational-rotational spectra and electromagnetic transitions in atomic nuclei [3,4,5]. For construction of basis functions of this model, different approaches were proposed, for example, [6,7,8,9], that lead only to nonorthogonal set of eigenfunctions needed in further orthonormalization, considered only in intrinsic frame [10,11,12,13,14,15]. However, until now, there are no sufficiently universal algorithms for evaluation of the required orthonormal bases needed for large-scale applied calculations in both intrinsic and laboratory frames used in modern models to revival point symmetries in specified degeneracy spectra [16, 17]. Creation of such symbolic-numeric algorithm is a goal of the present paper.
In the present paper, we elaborate an universal effective symbolic-numeric algorithm implemented as the first version of O5SU11 code in Wolfram Mathematica for computing the orthonormal bases of the Bohr–Mottelson(BM) collective model in both intrinsic and laboratory frames. It is done on the base of theoretical investigations for constructing the non-canonical bases for irreducible representations (IRs) of direct product groups \(G=\text {O(5)}\times \text {SU(1,1)}\) in the laboratory frame [8] and \(\bar{G}=\overline{\text {O(5)}}\times \overline{\text {SU(1,1)}}\) in the intrinsic frame [7]. We pay our attention to computing bases in both laboratory and intrinsic frames needed for construction of the algebraic models accounting symmetry group [18, 19] based on anti-isomorphism between G and \(\bar{G}\) partner groups [16, 17], and point symmetries in modern calculations, for example, [20,21,22,23]. The required orthonormal bases are labelled by the set of the number of bosons N, seniority \(\lambda \), missing label \(\mu \), denoting the maximal number of boson triplets coupled to the angular momentum \(L=0\), and the angular momentum (L, M) quantum numbers using the conventional representations of a five-dimensional harmonic oscillator in the laboratory and intrinsic frames. In the proposed method, the authors use a symbolic-numeric non-standard recursive and fast orthonormalization procedure based on the Gram–Schmidt (G–S) orthonormalization algorithm. Efficiency of the elaborated procedures and the code is shown by benchmark calculations of orthogonalization matrix O(5) and \(\overline{\text {O(5)}}\) bases, and IRs of \(\text {SU(1,1)}\) group.
The structure of the paper is as follows. In the second section, we present characterization of group \(G=\text {O(5)} \times \text {SU(1,1)}\) and characterization of states. In Subsects. and , we give the explicit formulas needed for the construction of symmetric nonorthogonal bases for IRs of the \(\text {O(5)}\) and \(G=\text {O(5)} \otimes \text {SU(1,1)}\) groups. In the third section, we present the construction of the orthonormal basis of the collective nuclear model in intrinsic frame corresponding IRs of the \(\bar{G}=\overline{\text {O(5)}}\times \overline{\text {SU(1,1)}}\) group. In the fourth section, we present the algorithm and benchmark calculations of overlaps and orthogonalization upper triangular matrices applied for constructing the orthonormal basis vectors in the laboratory and intrinsic frames. In conclusion, we give a resumé and point out some important problems for further applications of proposed algorithms.
2 Characterization of Group \(\text {O(5)} \times \text {SU(1,1)}\) and Characterization Of States in the Laboratory Frame
Quantum description of collective motions by using the deformation variables \(\hat{\alpha }^{(l)}_m\) needs the Hilbert space \(L_2(\hat{\alpha }^{(l)})\), which is the state space of \((2l+1)\)-dimensional harmonic oscillator. The Hamiltonian of this harmonic oscillator has the form
where
denotes the multiplication operator by the variable \(\hat{\alpha }^{(l)}_m\) and
denotes the conjugate momentum to the coordinate \(\hat{\alpha }^{(l)}_\mu \).
The covariant metric tensor \(g_{mm'}\) in the corresponding manifold has the form
The operators \(\hat{\alpha }^{(l)}_m, \hat{\pi }^{(l)}_m\) fulfil the standard commutation relations
By using these operators one can build the creation and annihilation spinless boson operators \(\eta ^{(l)}_m\) and \(\xi ^{(l)}_m\) with the angular momentum l
Contravariant operators can be built in standard way
They satisfy the following commutation relations
2.1 Characterization of \(\text {U(2l+1)}\)
It can be shown that the bilinear forms
generate the non-compact symplectic group \(\text {Sp(2(2l+1),R)}\).
Group theory analysis leads to two classifications of boson states:
The orthonormal group \(\text {O(2l+1)}\) and the non-compact unitary group \(\text {SU(1,1)}\) are complementary in two physical IRs of the symplectic group \(\text {Sp(2(2l+1),R)}\) (for odd and even number of bosons).
The unitary group \(\text {U(2l+1)}\) has \((2l+1)^2\) generators \(E_{mm'}\) or bosons operators
The operators \((\eta \otimes \tilde{\xi })^{(L)}_M\) fulfil the following commutation relations
The second order Casimir invariant of the group \(\text {U(2l+1)}\) is given by
It can be shown that
the operator \(\hat{N}\) is the boson number operator.
The eigenvalues of \(C^2\) depend only on the number of bosons in a given state. In the state which contains N bosons, the expectation value of \(C^2\) is
At the same time, N uniquely labels symmetric IRs of \(U(2l+1)\).
Arbitrary state of N bosons can be constructed by using the vectors:
According to this, to define uniquely the state of bosons, located on a level with angular momentum equal to l, one needs to have a set of \(2l+1\) quantum numbers.
2.2 Characteristic of \(\text {O(2l+1)}\)
The orthogonal group \(\text {O(2l+1)}\) contains one-to-one transformations of linear spaces spanned by the tensors \(\alpha ^{(l)} = (\alpha ^{(l)}_{-l},\dots ,\alpha ^{(l)}_l)\) which do not change the quadratic form
Generators of this group are \(l(2l+1)\) independent operators \(\varLambda _{mm'}\) for \(m>m'\). The commutation relation for these generators are
It is possible to get a more useful form of these generators
This implies that the operators \((\eta \otimes \tilde{\xi })^{(L=1,\,3,\,5,\dots ,\,2l+1)}_M\) are the generators of the group \(\text {O(2l+1)}\).
The second-order Casimir invariant of the orthogonal group \(\text {O(2l+1)}\) is
For unique labelling of totally symmetric IRs of \(\text {O(2l+1)}\), one needs only one quantum number \(\lambda \). Eigenvalues of operators \(\varLambda ^2\) are the numbers
The quantum number \(\lambda \) is called seniority and denotes the number of bosons which are not coupled to pairs with zero angular momentum.
2.3 Characteristic of \(\text {SU(1,1)}\)
The non-compact unitary group SU(1, 1) is the complementary group to the orthogonal group \(\text {O(2l+1)}\).
The group \(\text {SU(1,1)}\) has three generators:
The above generators satisfy the following commutation relations:
and the conjugation relation
The second-order Casimir invariant of the group \(\text {SU(1,1)}\) is the following operator
One can show that the following relation is satisfied
So, the eigenvalues of \(S^2\) are given by
2.4 Construction of States with \(N>\lambda \)
Let the state
denote the state having the seniority number \(\lambda \) which is equal to the number of particles N in the system. Then it satisfies the conditions
In the above equations, \(\chi \) denotes the set of quantum numbers which are needed for labelling the states of the boson system. One can construct the states having the number of bosons N greater than the seniority number \(\lambda \) (\(N>\lambda \)) by using the action of creation operators of boson pairs coupled to zero angular momentum \(S_+\):
Angular momentum is a good quantum number characterizing nuclear states. It implies that the rotation group \(\text {O(3)}\) generated by the operators
should be contained in the group chain which classifies these states.
The operator \(\hat{L}^2\) of the squared angular momentum (the Casimir operator for \(\text {SO(3)}\)) can be constructed as follows:
In conclusion, the quantum boson states for \(l=0,1,2,\dots \) can be classified according to two group chains
Unitary subgroup \(\text {SU(1,1)} \supset \text {U(1)}\) is generated by the operator \(S_0\), and the generator of rotation about the z-axis generating the subgroup \(\text {O(3)} \supset \text {O(2)}\) is the operator \(L^{(1)}_0\).
The states constructed according to the first group chain (31) will be denoted by
and the states constructed according to the second group chain (32) will be denoted by replacing letters N and \(\lambda \)
The vectors (33) and (34) though constructed in different way can be identified as the same vectors. In the following, we will treat them as identical.
But one has to stress that vectors (33) and (34) span IRs of different groups. The vectors (33) form a basis of IRs of the group \(\text {U(2l+1)}\), for given N. The vectors (34) span the basis of IRs of the group \(\text {O(2l+1)} \otimes \text {SU(1,1)}\), for given \(\lambda \). According to the above property, we can construct the states of N bosons by using the easier scheme (32).
2.5 Construction of the Nonorthogonal Basis for Symmetric IRs of the Group \(\text {O(5)}\)
As the first step, we start with the construction of a basis for the group \(\text {O(5)}\) from Subsect. at \(l=2\). We start the construction with the state of maximal seniority \(\lambda \) and maximal angular momentum \(L_0=2\lambda \):
generated by the action of the creation spinless boson operator \(\eta _2^{(2)}\equiv \eta _2\) from (6) on the vacuum vector \(\vert 0 \rangle \) in representation (15) of elementary boson basis of symmetric IR group \(\text {U(5)}\) from Subsect. at \(l=2\). Next, we construct the operators \(\hat{O}(\lambda ,\mu ,L,M)\) commuting with the Casimir operator \(\hat{\varLambda }^{2}\) from (19) of group \(\text {O(5)}\) and with lowering the angular momentum to the required L
where
i.e., with commutator \([{\hat{L}}_{i},{\hat{L}}_{j}]=+\imath \varepsilon _{ijk}{\hat{L}}_{k}\), where \(\varepsilon _{ijk}\) is the totally antisymmetric symbol, \(\varepsilon _{123}=+1\). The quantum number \(\mu \) denotes the maximal number of boson triplets coupled to the angular momentum \(L=0\). It can be shown that if
where \(0\le \mu \le \left[ {\lambda }/{3}\right] \), and \([\frac{\lambda }{3}]\) denotes the integer part of \(\frac{\lambda }{3}\), then the vectors \(\hat{O}(\lambda ,\mu ,L,M) \vert \lambda \rangle \) are linearly independent and they form a basis for IRs of the group \(\text {O(5)}\), for given \(\lambda \).
The dimension \(D_{\lambda }\) of this space is \(D_{\lambda }=\frac{1}{6}(\lambda +1)(\lambda +2)(2\lambda +3)\) at fixed \(\lambda \) is determined by following [6]:
where the prime means summation by step 2 and is the largest integer not greater that \(\mu \). For example, see Table 1.
The range of accessible values of \(\mu \) at given accessible \(\lambda \) and L is determined by inequalities:
where is the lowest integer not lower that \(\mu \) and is the largest integer not greater that \(\mu \). The multiplicity \(d_{\lambda L}\) is given by the value of \(d_{\lambda L}=\mu _{\max }-\mu _{\min }+1\). For example, the set of accessible values \(\mu \) at the given accessible \(\lambda \) and L of states \(|\lambda \mu LL\rangle \) is given in Tables 2 and 3. One can see that there is no degeneracy \(d_{vL}=1\) for the first few angular momenta \(L{=}0,2,3,4,5,7\), but not for \(L{=}6\): \(d_{\lambda L}=2\). The range of angular moment L that corresponds to a given maximum \(d_{vL}^{max}\) of \(\mu \)-degeneracy \(d_{vL}\) is [10]
For example, see Tables 2 and 3: \(0\le L\le 5\), \(d_{\lambda L}^{max}=1\), \(6\le L\le 11\), \(d_{\lambda L}^{max}=2\), \(12\le L\le 17\), \(d_{\lambda L}^{max}=3\).
As conclusion of this analysis, we get the non-orthogonal basis for the totally symmetric IRs of the group \(\text {O(5)}\) which is denoted by four quantum numbers \(\lambda ,\,\mu ,\, L,\, M\)
where \(\lambda \) denotes the seniority number, \(\mu \) can be interpreted as the maximal number of boson triplets coupled to the angular momentum \(L=0\).
These results can be rewritten in representation (15) of elementary boson basis of symmetric IRs group \(\text {U(5)}\) from Subsect. at \(l=2\). For this purpose, let us assume that the third component of the angular momentum has its maximal value \(M=L\)
Here the vectors \(\langle n'_{-2}\dots n'_2 \vert \lambda \mu ' L M=L \rangle {_{no}}\) in the representation of the five-dimensional harmonic oscillator \(\langle n'_{-2}\dots n'_2 \vert \) have the form
where the following conditions are satisfied
Vectors \(\langle n_{-2}\dots n_2 \vert \lambda \mu L M \rangle \) at \({-}L{\le } M {<}L\) are calculated from recurrence relations
where summation is performed over \(n_{i} \ge 0\) subjected to the following conditions: \(\sum _{i}n_i=\lambda , \sum _{i} i n_i=M\).
Calculating the above coefficients one gets the vectors of the non-orthogonal basis for the totally symmetric IRs of the group \(\text {O(5)}\) which is denoted by four quantum numbers \(\lambda ,\, \mu ,\, L,\, M\) for given \(\lambda \):
2.6 Basis of IRs for Groups \(\text {O(5)} \otimes \text {SU(1,1)}\)
In this part, we construct the states with an arbitrary number of bosons equal to N, greater than seniority number \(N>\lambda \). At this point, we use the construction described in Sect. 2.4. By using Eq. (29) for \(l=2\) one gets
where \((N-\lambda )/{2}=1,2,\dots \) is integer. Next we can rewrite operator \((S_+)^\frac{N-\lambda }{2}\) in a polynomial form:
After easy transformations one gets
Calculating the above coefficients one gets the vectors of the non-orthogonal symmetric basis of IRs of the group \(\text {O(5)}\otimes \text {SU(1,1)}\) which is denoted by five quantum numbers \(\lambda ,\, N,\, \mu ,\, L\), and M for given \(\lambda \) and N:
where \(\langle \alpha _m\vert n_{-2}\dots n_2 \rangle \) is the orthonormal basis from (15) \(\langle {n_{-2}\dots n_2}\vert n_{-2}'\dots n_2' \rangle \) \({=}\delta _{n_{-2}n_{-2}'}\dots \delta _{n_{2}n_{2}'}\), the following conditions are fulfilled: \(\sum _i n_i{=}N\), \(\sum _i i n_i{=}M \). The effective algorithm for calculation of the required orthonormal basis is given in Sect. 4.
3 Nonorthogonal Basis of the IRs \(\overline{\text {O(5)}}\times \overline{\text {SU(1,1)}}\) Group in the Intrinsic Frame
The collective variables \(\alpha _m\) at \(m{=}-2,-1,0,1,2\) in the laboratory frame are expressed through variables \(a_{m'}{=}a_{m'}(\beta ,\gamma )\) in the intrinsic frame by the relations
where \(D_{mm'}^{2*}(\varOmega )\) is the Wigner function of IRs of \(\overline{\text {O(3)}}\) group in the intrinsic frame [24] (marker \(^{*}\) is complex conjugate). The five-dimensional equation of the B-M collective model in the intrinsic frame \(\beta \in R^{1}_{+}\) and \(\gamma ,\varOmega \in S^{4}\) with respect to \(\varPsi ^{int}_{\lambda N \mu L M}\in L_{2}(R^{1}_{+}\bigotimes S^{4})\) with measure \(d\tau {=}\beta ^{4}\sin (3\gamma )d\beta d\gamma d\varOmega \) reads as
Here \(E^{BM}_{N}=(N+\frac{5}{2})\) are eigenvalues, \(\hat{\varLambda }^{2}\) is the quadratic Casimir operator of \(\overline{\text {O(5)}}\) in \(L_{2}(S^{4}(\gamma ,\varOmega ))\) at nonnegative integers \(N=2n_\beta +\lambda \), i.e., at even and nonnegative integers \(N-\lambda \) determined as
where the nonnegative integer \(\lambda \) is the so-called seniority and \((\hat{{\bar{L}}}_{k})^{2}\) are the angular momentum operators of \(\overline{\text {O(3)}}\) along the principal axes in intrinsic frame, i.e., with commutator \([\hat{{\bar{L}}}_{i},\hat{{\bar{L}}}_{j}]=-\imath {\varepsilon _{ijk}}\hat{{\bar{L}}}_{k}\).
Eigenfunctions \(\varPsi ^{int}_{\lambda N \mu L M}\) of the five-dimensional oscillator have the form
where \(\varPhi ^{int}_{\lambda N \mu L K}(\beta ,\gamma ){=}F_{N\lambda }(\beta )C_L^{\lambda \mu } \hat{\phi }_K^{\lambda \mu L}{(\gamma )}\) are the components in the intrinsic frame, \(\mathcal{D}^{(L)*}_{MK}(\varOmega )=\sqrt{\frac{2L+1}{8\pi ^2}} \frac{D^{(L)*}_{MK}(\varOmega ){+}(-1)^{L}D^{(L)*}_{M,-K}(\varOmega )}{1{+}\delta _{K0}}\) are the orthonormal Wigner functions with measure \(d \varOmega \), summation over K runs even values K in range:
The orthonormal components \(F_{N\lambda }(\beta )\in L_{2}(R^{1}_{+})\) corresponding to reduced functions \(\beta ^{-2}{\mathfrak {F}}_{N\lambda }(\beta )\) with measure \(d \beta \) of IRs of \(\overline{\text {SU(1,1)}}\) group [25] are as follows:
where \(L^{\lambda +\frac{3}{2}}_{(N-\lambda )/2}(\beta ^{2})\) is the associated Laguerre polynomial with the number of nodes \(n_\beta =(N-\lambda )/2\) [26]. The overlap of the eigenfunctions (54) characterized their nonorthogonality with respect to the missing label \(\mu \) reads as
where \(\langle \phi ^{\lambda \mu L} \vert \phi ^{\lambda \mu ' L} \rangle \) is the reduced overlap: scalar product with integration by \(\gamma \)
and \(C_L^{\lambda \mu }\) is the corresponding normalization factor of \(\phi _K^{\lambda \mu L}(\gamma )=C_L^{\lambda \mu }\hat{\phi }_K^{\lambda \mu L}(\gamma )\)
The reduced Wigner coefficients in the chain \(\overline{\text {O(5)}}\supset \overline{\text {O(3)}}\) read as [13]
where \(\phi ^{\lambda \mu L}_{K}(\gamma )\) are the orthonormalized eigenfunctions calculated in the section 4 with respect to the overlap (58)corresponds to the orthonormalized eigenfunctions (54) with respect to the overlap (57) with the set of quantum numbers \(\lambda ,\mu , L\), and M.
The components \(\hat{\phi }_K^{\lambda \mu L}(\gamma ){=}(-1)^{L}\hat{\phi }_{-K}^{\lambda \mu L}(\gamma )\) for even K and \(\hat{\phi }_K^{\lambda \mu L}(\gamma )=0\) for odd L and \(K=0\) as well as for odd K are determined below according to [5,6,7, 12]. It should be noted that for these components, \(L\ne 1\), \(|K|\le L\) for \(L=\hbox {even}\) and \(|K|\le L-1\) for \(L=\hbox {odd}\):
where \({L}/2\le \lambda -3\mu \le L\) for \(L=\hbox {even}\), and \((L+3)/2\le \lambda -3\mu \le L\) for \(L=\hbox {odd}\);
where \(S_{K}^{r}(\gamma )\) is taken to be equal 0, if \(\sin 3\gamma {=} 0\) or \(\cos 3\gamma {=} 0\), \(F_{n\lambda L}^{\sigma \tau \mu }(\gamma )\) is taken to be equal 0, if \(\cos 3\gamma {=} 0\), \(C_{rn\lambda L}^{\sigma \tau \mu }\) is taken to be equal 0, if \(\mu {+}\tau {-}n{-}2r {<} 0\).
For example, at \(\lambda =3\mu \) and \(L=0,M=0\), and \(\lambda =3\mu +3\) and \(L=3,M=3\), the eigenfunctions are known:
where \(P_{\mu +1}^{1}(\cos (3\gamma ))\) are associated Legendre polynomials [26].
The eigenfunctions \(\varPsi _{\lambda N \mu L M}(\beta , \gamma ,\varOmega )\) at \(L{\le }6\) were calculated in [27, 28]. However, for calculation of the required orthogonal basis including large values of \(\lambda \) and L for large-scale calculations of eigenvalue BM problem (52) for Hamiltonian \(\mathcal{H}{=}H^{BM}(\beta ,\gamma ,\varOmega ){+}V(\beta ,\gamma ){+}\mathcal{K}(\beta ,\gamma )\) with potential function \(V(\beta ,\gamma )\) and additional kinetic function \(\mathcal{K}(\beta ,\gamma )\) determined in [5, 7, 10, 11], one needs to have a fast algorithm for calculation and orthonormalization of nonorthogonal eigenfunctions \(\varPsi _{\lambda N \mu L M}(\beta , \gamma ,\varOmega )\) from (54) at accessible degeneracy characterized by the missing label \(\mu _{\min }\le \mu \le \mu _{\max }\) from (40) and also Tables 2 and 3. The effective algorithm for calculation of the required orthonormal basis is given in the Sect. 4.
4 Algorithm and Benchmark Calculations of Overlaps and Orthogonalization Matrices
In the laboratory frame, the overlaps \(\langle \hat{u}_\mu \vert \hat{u}_{\mu '} \rangle {\equiv } \langle \lambda N \mu LM \vert \lambda N \mu 'LM \rangle \) are calculated by the formula
Here vectors \(\langle \alpha _{m} \vert \hat{u}_{\mu '} \rangle {=}\langle \alpha _{m} \vert \lambda N\mu ' LM \rangle \) in the representation of the orthonormal basis \(\langle n'_{-2}\dots n'_2 \vert \) of the five-dimensional harmonic oscillator (15) are determined by Eqs. (49) and (50) through the unnormalized and non-orthogonal \(\mu '\) components \(\langle n'_{-2}\dots n'_2 \vert \lambda N\mu ' L M \rangle {}\) of the reduced vectors \(\vert \hat{u}_\mu ' \rangle \) from Eqs. (43, 45, 48).
In the intrinsic frame, the overlap \(\langle \hat{u}_\mu \vert \hat{u}_{\mu '} \rangle {\equiv }\langle \lambda N\mu LM \vert \lambda N\mu 'LM \rangle \) reads as:
Here vectors \(\langle \beta ,\gamma ,\varOmega \vert \hat{u}_{\mu '} \rangle =\langle \beta ,\gamma ,\varOmega \vert \lambda N \mu 'LM \rangle \) in the representation of the orthonormal Wigner functions \(\mathcal{D}^{(L)*}_{MK}(\varOmega )\) and components \(F_{N\lambda }(\beta )\) are determined by Eqs. (54)-(59) through the unnormalized and non-orthogonal by \(\mu '\) components \(\hat{\phi }_K^{\lambda \mu ' L}(\gamma )\) of the reduced vectors \(|\hat{u}_{\mu '}\rangle =\langle \gamma \vert \hat{\phi }^{\lambda \mu 'L} \rangle \) from (61)–(65).
The numerical calculations performed in the program SO5U11 use the floating-point arithmetics. In this case, we use instead of the unnormalized nonorthogonal \(|\hat{u}_\mu \rangle \) the normalized but nonorthogonal eigenvectors \(| u_\mu \rangle \):
where the normalization matrix is equal to \(\hat{N}_{\mu \mu '}= \hat{N}_{\mu \mu }\delta _{\mu \mu '}\), and the normalized overlaps are
We orthonormalize these normalized nonorthogonal BM states \(|{u}_\mu \rangle \):
Below the hat symbol over some vectors and matrices is used to label calculations with unnormalized BM vectors. The symbols \( A_{\mu ',\mu }\) denote the matrix elements of the upper triangular matrix of the BM basis orthonormalization coefficients. These coefficients satisfy the following condition
The matrix \(\mathbf{A}\) is constructed to satisfy the orthonormalization conditions
Here the multiplicity index i or internal index \(k,k'=1,\dots ,{d_{\lambda L}}\) is recalculated by formula \(d_{\lambda L}=\mu _{\max }-\mu _{\min }+1\) to external index \(\mu ,\mu '=\mu _{\min },\dots ,\mu _{\max }\) and vice versa was introduced to distinguish the orthonormalized BM states at given values of quantum numbers \({\lambda , N, L, M}\) and takes the same number of values as \(\mu \). Note the last relation in (73) is a decomposition of the overlap matrix to a product of the low and upper triangular inverse matrices \((\mathbf{A}^{-1})^{T}{} \mathbf{A}^{-1}\).
Below we present the analytical orthonormalization algorithm (see Table 4) based on the G-S orthonormalization procedure of a set of non-orthogonal linear independent vectors: \({\hat{u}}_{1},{\dots },{\hat{u}}_{i_{max}}\) unnormalized or \(u_{1},{\dots },u_{i_{max}}\) normalized [29]
Here for the intrinsic frame, the scalar product \({\langle {\hat{\phi }}_{i}|{\hat{\phi }}_{i}\rangle }\) is determined by (68) while for laboratory frame \({\langle {\hat{\phi }}_{i}|{\hat{\phi }}_{i}\rangle }={{\hat{\phi }}^{T}_{i}{\hat{\phi }}_{i}}\). After calculation of a set of orthogonal but as yet unnormalized vectors \({\hat{\phi }_{i}}\) starting from \(i=1\) till \(i_{\max }\), one calculates the set of orthogonal and normalized vectors \(\phi _{i}\): \({\phi _{i}}={\hat{\phi }}_{i}/ \sqrt{\langle {\hat{\phi }}_{i}|{\hat{\phi }}_{i}\rangle }\) at \(i=1,\dots ,i_{\max }\). It is important that here the normalization of calculated orthogonal unnormalized vectors \({\hat{\phi }_{i}}\) is realized after orthogonalization with respect to conventional realization G-S procedure [30]. It gives important possibility to avoid the source of numerical round-off errors in floating-point calculations or if necessary to use the integer arithmetic or symbolic calculations of the recursive algorithm given below. The essential part of the proposed algorithm consists in factorization of the recursive relations (74) by extracting the required orthogonalization upper triangular matrix \(A_{\mu '\mu }\) acting on the initial set of non-orthogonal vectors \(\vert u_{\mu '} \rangle \): \(\vert \phi _{\mu } \rangle { = \sum _{\mu '=\mu _{\mathrm {min}}}^{\mu _{\mathrm {max}}} \vert u_{\mu '} \rangle A_{\mu ',\mu } } \). It means that the calculated matrix \(A_{\mu '\mu }\equiv A^{lab}_{\mu ',\mu }(N,M)\) in the laboratory frame is the same on all components \(\vert u_{\mu } \rangle =\langle n_{-2},n_{-1},n_{0},n_{1},n_{2} \vert u_{\mu } \rangle \) of the initial set of the non-orthogonal reduced vectors \(\vert u_{\mu '} \rangle \); action of calculated matrix \(A_{\mu '\mu }{\equiv } A^{int}_{\mu ',\mu }(\lambda ,N,L,M)\) in the intrinsic frame is the same on all components \(\phi _K^{\lambda \mu ' L}(\gamma ){=}C_L^{\lambda \mu '}\hat{\phi }_K^{\lambda \mu ' L}(\gamma )\) of the initial set of the non-orthogonal reduced vectors \(\vert u_{\mu '} \rangle =\langle \gamma \vert \phi ^{\lambda \mu ' L} \rangle \). The accuracy of its calculation is automatically checked by means of orthogonality relations (73) without preliminary calculation of required orthogonal normalized vectors \(\phi _{i}\).
Remark. A direct calculation of the overlap of the orthogonal bases \(\varPsi ^{lab}_{\lambda N \mu L M}(\alpha _{m})\) in the laboratory frame (50) and \(\varPhi ^{int}_{\lambda N \mu L K}(\beta ,\gamma )\) in the intrinsic frame (54) is the tutorial task. Using Eq. (1.16) of Ref. [7] one can check that the following relations hold:
where the variables \(\alpha _{m}\) in the laboratory frame are expressed through the ones \(a_{m}=a_{m}(\beta ,\gamma )\) in the intrinsic frame by relations (51).
The presented Algorithm (see Table 4) can be realized in any Computer Algebra System. It has been realized here as the function NormOverlapa of the first version of O5SU11 code implemented in Mathematica 11.1 [31].
Below we present benchmark calculations of the overlap matrices \(\langle \hat{u}_\mu \vert \hat{u}_{\mu '} \rangle \) or \(\langle u_\mu \vert u_{\mu '} \rangle \) and orthogonalization matrices \(\hat{A}_{\mu '\mu }\) or \(A_{\mu '\mu }\) executed with help of the O5SU11 code.
In the laboratory frame, the unnormalized overlap \(\langle \hat{u}_\mu \vert \hat{u}_{\mu '} \rangle \) from (67) and orthogonalization matrix \(\hat{A}_{\mu '\mu }\) from (71) at \(\lambda {=}12,N=12,\mu {=}0,1,2,L{=}12,M{=}12\) are as follows:
The normalized overlap \(\langle u_\mu \vert u_{\mu '} \rangle {_{no}}\) from (67) and orthogonalization matrix \(A_{\mu '\mu }\) from (71) at \(\lambda {=}12,N=12,\mu {=}0,1,2, L{=}12,M{=}12\):
The unnormalized overlap \(\langle \hat{u}_\mu \vert \hat{u}_{\mu '} \rangle \) from (67) and orthogonalization matrix \(\hat{A}_{\mu '\mu }\) from (71) at \(\lambda {=}12,N{=}14,\mu {=}0,1,2, L{=}12,M{=}12\):
The normalized overlap \(\langle u_\mu \vert u_{\mu '} \rangle {_{no}}\) from (67) and orthogonalization matrix \(A_{\mu '\mu }\) from (71) at \(\lambda {=}12\), \(N{=}14\), \(\mu {=}0,1,2\), \(L{=}12\), \(M{=}12\):
Note that the overlaps \(\langle \hat{u}_\mu \vert \hat{u}_{\mu '} \rangle \) calculated in the laboratory frame and defined by Eqs. (43), (45) at fixed values of \(\lambda \) and L are independent of M, i.e., they are equal for different values of the quantum number M. This is due to the Wigner–Eckart theorem for spherical tensors in respect to \(\text {SO(3)}\) group. It means that the corresponding orthogonalization matrices \(A_{\mu ',\mu }\) defined by Eq. (73) at fixed values of \(\lambda \) and L with different values of quantum number M are equal too. These facts give essential optimization of the computer resources in the large-scale calculations with increasing seniority number \(\lambda \) determined by eigenvalues of the Casimir operator of the group \(\text {O(5)}\), see Table 1 and Eq. (39).
One can see also that the overlaps of orthogonalization matrices at fixed L for the case of \(N>\lambda \) differ only by an integer multiplier from the case \(N=\lambda \), for example, in the above cases, this multiplier is equal to 29.
In intrinsic frame, the unnormalized overlap is determined by (68) and orthogonalization matrix \(\hat{A}_{\mu '\mu }\) from (71) at \(\lambda {=}6\), \(N{=}6\), \(\mu {=}0,1\), \(L{=}6\), with summation over \(K{=}0,2,4,6\):
The following normalized overlap \(\langle u_\mu \vert u_{\mu '} \rangle \) and matrix \(A_{\mu '\mu }\) are
The unnormalized overlap \(\langle \hat{u}_\mu \vert \hat{u}_{\mu '} \rangle \) from (68) and the orthogonalization matrix \(\hat{A}_{\mu '\mu }\) from (71) at \(\lambda {=}12\), \(N{=}12\), \(\mu {=}0,1,2\), \(L{=}12\), with summation over \(K{=}0,2,{\dots },12\):
The following normalized overlap \(\langle u_\mu \vert u_{\mu '} \rangle \) and matrix \(A_{\mu '\mu }\) are
As an example, in Fig. 1 we show the CPU time and MaxMemoryUsed during of calculations of overlap integrals (67) and (68) and execution of the G-S orthonormalization procedure (71)-(72) in the laboratory and intrinsic frames by the above symbolic algorithm versus parameter \(\lambda \) with help of the O5SU11 code using the PC Intel Celeron CPU 2.16 GHz 4GB 64bit Windows 8.1. The computations were evaluated numerically to 20-digit precision that have been confirmed by the calculated values of the diagonal matrices from the last arrow test of Algorithm in Table 4 to 20-digit precision. One can see that the CPU time (in logarithmic scale) of execution of the overlap integrals is linearly growing. However, the G–S orthonormalization procedure in the intrinsic frame has reduced the computer resources in comparison with one in the laboratory frame.
5 Conclusion
In present paper, we have elaborated a new universal effective symbolic-numeric algorithm implemented as the first version of O5SU11 code in the Wolfram Mathematica for computing the orthonormal basis of the Bohr–Mottelson(BM) collective model in the both intrinsic and laboratory frames, which can be implemented in any computer algebra system. This kind of basis is widely used for calculating the spectra and electromagnetic transitions in solid, molecular, and nuclear physics. The new symbolic algorithm for orthonormalization of the obtained BM basis based on the Gram–Schmidt orthonormalization procedure has been developed.
The distinct advantage of this method is that it does not involve any square root operation on the expressions coming from the previous steps for computation of the orthonormalization coefficients for this basis. This makes the proposed method very suitable for calculations using computer algebra systems. The symbolic nature of the developed algorithms allows one to avoid the numerical round-off errors in calculation of spectral characteristics (especially close to resonances) of quantum systems under consideration and to study their analytical properties for understanding the dominant symmetries [19].
The program SO5U11 in the Mathematica language for the orthonormalization of the non-canonical basis using the overlap integrals in the laboratory and intrinsic frames (Eqs. (67) and (68)) given by the analytical formula is now prepared and will be published as an open code elsewhere. The great advantage of the program SO5U11 is the possibility to specify an arbitrary precision of calculations which is especially important for large-scale calculations of physical quantities that involve procedures of matrices inversion in eigenvalue problems with degenerated spectra or similar one [32].
References
Bohr, A.: The coupling of nuclear surface oscillations to the motion of individual nucleons. Mat Fys. Medd. Dan. Vid. Selsk. 26 (14) (1952)
Bohr, A., Mottelson, B.: Collective and individual-particle aspects of nuclear structure. Mat. Fys. Medd. Dan. Vid. Selsk. 27 (16) (1953)
Bohr, A., Mottelson, B.R.: Nuclear Structure, vol. 2. W.A. Bejamin Inc., Amsterdam (1970)
Eisenberg, J.M., Greiner, W.: Nuclear Theory. Third edition, North-Holland, Vol. 1, (1987)
Moshinsky, M., Smirnov, Y.F.: The Harmonic Oscillator in Modern Physics. Harwood Academic Publishers GmbH, Netherlands (1996)
Chac’on, E., Moshinsky, M., Sharp, R.T.: \(U(5)\supset O(5)\supset O(3)\) and the exact solution for the problem of quadrupole vibrations of the nucleus. J. Math. Phys. 17, 668–676 (1976)
Chac’on, E., Moshinsky, M.: Group theory of the collective model of the nucleus. J. Math. Phys. 18, 870–880 (1977)
Szpikowski, S., Góźdź, A.: The orthonormal basis for symmetric irreducible representations of \(O(5)\times SU(1, 1)\) and its application to the interacting boson model. Nucl. Phys. A 340, 76–92 (1980)
Góźdź, A., Szpikowski, S.: Complete and orthonormal solution of the five-dimensional spherical harmonic oscillator in Bohr-Mottelson collective internal coordinates. Nucl. Phys. A 349, 359–364 (1980)
Hess, P.O., Seiwert, M., Maruhn, J., Greiner, W.: General Collective Model and its Application to \(_{92}^{238}\) UZ. Phys. A 296, 147–163 (1980)
Troltenier, D., Maruhn, J.A., Hess, P.O.: Numerical application of the geometric collective model. In: Langanke, K., Maruhn, J.A., Konin, S.E. (eds.) Computational Nuclear Physics, vol. 1, pp. 116–139. Springer-Verlag, Berlin (1991). https://doi.org/10.1007/978-3-642-76356-4_6
Yannouleas, C., Pacheco, J.M.: An algebraic program for the states associated with the \( U(5) {\supset } O(5){\supset } O(3)\) chain of groups. Comput. Phys. Commun. 52, 85–92 (1988)
Yannouleas, C., Pacheco, J.M.: Algebraic manipulation of the states associated with the \( U(5) {\supset } O(5){\supset } O(3)\) chain of groups: orthonormalization and matrix elements. Comput. Phys. Commun. 54, 315–328 (1989)
Welsh, T.A., Rowe, D.J.: A computer code for calculations in the algebraic collective model of the atomic nucleus. Comput. Phys. Commun. 200, 220–253 (2016)
Ferrari-Ruffino, F., Fortunato, L.: GCM Solver (Ver. 3.0): a mathematica notebook for diagonalization of the geometric collective model (Bohr Hamiltonian) with generalized gneuss-greiner potential. Computation 6, 48 (2018)
Chen, J.Q., et al.: Intrinsic Lie group and nuclear collective rotation about intrinsic axes. J. Phys. A: Math. Gen. 16, 1347–1360 (1983)
Chen, J.Q., Pingand, J., Wang, F.: Group Representation Theory for Physicists. World Sci, Singapore (2002)
Góźdź, A., et al.: Structure of Bohr type collective spaces - a few symmetry related problems. Nuclear Theor. 32, 108–122 (2014). Eds. A. Georgiewa, N. Minkov, Heron Press, Sofia (2014)
Góźdź, A., Pȩdrak, A., Gusev, A.A., Vinitsky, S.I.: Point Symmetries in the Nuclear SU(3) Partner Groups Model. Acta Phys. Polonica B Proc. Suppl. 11, 19–28 (2018)
Pr’ochniak, L., Zajac, K.K., Pomorski, K., et al.: Collective quadrupole excitations in the \(50 < Z\), \(N < 82\) nuclei with the general Bohr Hamiltonian. Nucl. Phys. A 648, 181–202 (1999)
Pr’ochniak, L., Rohozi’nski, S.G.: Quadrupole collective states within the Bohr collective Hamiltonian. J. Phys. G: Nucl. Part. Phys. 36, 123101 (2009)
Gusev, A.A., Gerdt, V.P., Vinitsky, S.I., Derbov, V.L., Góźdź, A., Pȩdrak, A.: Symbolic algorithm for generating irreducible bases of point groups in the space of SO(3) group. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2015. LNCS, vol. 9301, pp. 166–181. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24021-3_13
Gusev, A.A., et al.: Symbolic algorithm for generating irreducible rotational-vibrational bases of point groups. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2016. LNCS, vol. 9890, pp. 228–242. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45641-6_15
Varshalovitch, D.A., Moskalev, A.N., Hersonsky, V.K.: Quantum Theory of Angular Momentum, Nauka, Leningrad (1975) (also World Scientific, Singapore (1988))
Moshinsky, M., Seligman, T.H., Wolf, K.B.: Canonical transformations and the radial oscillator and Coulomb problems. J. Math. Phys. 13, 901–907 (1972)
Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions. Dover, New York (1972)
Bes, D.R.: The \(\gamma \)-dependent part of the wave functions representing \(\gamma \)-unstable surface vibrations. Nucl. Phys. 10, 373–385 (1959)
Budnik, A.P., Gay, E.V., Rabotnov, N.S., et al.: Basis wave functions and operator matrices of collective nuclear model. Soviet J. Nuclear Phys. 14(2), 304–314 (1971)
Strang, G.: Linear Algebra and its Applications. Academic press, N. Y. (1976)
Weisstein, E.W.: Gram-Schmidt Orthonormalization. From MathWorld - A Wolfram WebResource. http://mathworld.wolfram.com/Gram-SchmidtOrthonormalization.html
MathWorld - A Wolfram WebResource. http://mathworld.wolfram.com
Dvornik, J., Jaguljnjak Lazarevic, A., Lazarevic, D., Uros, M.: Exact arithmetic as a tool for convergence assessment of the IRM-CG method. Heliyon. 6, e03225 (2020). https://doi.org/10.1016/j.heliyon.2020.e03225
Acknowledgments
The work was partially supported by the Bogoliubov–Infeld program, Votruba–Blokhintsev program, the RUDN University Program 5–100, grant of Plenipotentiary of the Republic of Kazakhstan in JINR, and grant RFBR and MECSS 20-51-44001.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Deveikis, A. et al. (2020). Symbolic-Numeric Algorithm for Computing Orthonormal Basis of \(\text {O(5)}\times \text {SU(1,1)}\) Group. In: Boulier, F., England, M., Sadykov, T.M., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. CASC 2020. Lecture Notes in Computer Science(), vol 12291. Springer, Cham. https://doi.org/10.1007/978-3-030-60026-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-60026-6_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-60025-9
Online ISBN: 978-3-030-60026-6
eBook Packages: Computer ScienceComputer Science (R0)