On the symmetry of four particles in a arxiv:1607.00977v [quant-ph] 8 Jul 016 one-dimensional box with harmonic interaction Francisco M. Fernández INIFTA (CONICET, UNLP), División Química Teórica Blvd. 113 S/N, Sucursal, Casilla de Correo 16, 1900 La Plata, Argentina Abstract We show that a system of four particles in a one-dimensional box with a two-particle harmonic interaction can by described by means of the symmetry point group O h. Group theory proves useful for the discussion of both the small-box and large-box regimes. We apply perturbation theory and obtain the corrections of first order for the lowest states. We carry out a simple Rayleigh-Ritz variational calculation with basis sets adapted to the symmetries of the system. We also obtain alternative variational results for the first three lowest energy levels that are more suitable for larger box sizes. 1 Introduction During the last decades there has been great interest in the model of a harmonic oscillator confined to boxes of different shapes, sizes and dimensions. Such model has been suitable for the study of several physical problems ranging from dynamical friction in star clusters to magnetic properties of solids and impuritiesinquantumdots(see[1,]forareviewoftherelevantliteratureonthe subject). In addition to it, systems of few identical particles in one dimension E-mail: fernande@quimica.unlp.edu.ar 1
have proved to exhibit a rich phenomenological structure resembling that of realistic systems [3 6]. In two recent papers Amore and Fernández discussed the problems posed by two [1] and three [] particles confined in a one-dimensional box with impenetrable walls that interact through harmonic forces. They found that a straightforward application of group theory considerably facilitates the analysis of the solutions to the Schrödinger equation. In particular, an accurate Rayleigh-Ritz variational calculation revealed that the energies of the threeparticle model as functions of the box length exhibit a most interesting pattern of avoided crossings between pairs of states of the same symmetry []. The purpose of this paper is to discuss the case of four particles in a one dimensional box that also interact through harmonic forces. The reason for choosing such interaction is that it has proved quite useful in the past (see the references in []) and because the calculation of the matrix elements of the resulting potential is quite simple. In section we introduce the model, section 3 shows a perturbation approach to the small-box regime and a Rayleigh-Ritz calculation with symmetry-adapted basis sets, section describes the largebox limit, in section 5 we discuss a simple variational calculation that is more suitable for larger box sizes and in section 6 we draw conclusions. There is also an Appendix outlining the construction of the projection operators used in all the calculations just described. Four particles in a one-dimensional box We first consider N interacting point particles of mass m in a one-dimensional box of length L = a with Hamiltonian H = h m N x i=1 i N 1 + N i=1 j=i+1 W( x i x j ), (1) where x i is the coorinate of the i-th particle. The boundary conditions are determined by the impenetrable walls of the box Ψ(x 1,x,...,x i = ±a,...,x N ) = 0, i = 1,,...,N. ()
The Hamiltonian operator is invariant under the N! permutations of the particle coordinates as well as under parity inversion x x. The N! N N matrices that produce all the permutations of the sets {x 1,x,...,x N } and { x 1, x,..., x N } form a groupgiven by the product S N O(1) [7,8]. When N = the group is also called C h (in principle we can also use D or C v that are isomorphic to C h ) and when N = 3 we can resort to either D 3d or D 3h [9]. Both cases have already been treated by group theory in earlier papers [1,]. In order to solve the Schrödinger equation it is convenient to define the dimensionless particle coordinates q i = x i /a and the dimensionless Hamiltonian H d = ma h H = N q i=1 i N 1 +λ N i=1 j=i+1 w( q i q j ), (3) where λw( q i q j ) = ma W(a q i q j )/ h. The boundary conditions for the eigenfunctions ψ of this operator now become ψ(q 1,q,...,q i = ±1,...,q N ) = 0, i = 1,,...,N. () From now on we only consider the dimensionless Hamiltonian (3) and omit the subscript d. In order to facilitate the numerical calculations we choose a harmonic interaction of the form W ( x i x j ) = k (x i x j ) that leads to λ = ma k/ h and w( q i q j ) = (q i q j ). For N = our problem just reduces to solving the Schrödinger equation for the operator H = with the boundary conditions ( ) q1 + q + q3 + q + [ + λ (q 1 q ) +(q 1 q 3 ) +(q 1 q ) +(q q 3 ) +(q q ) +(q 3 q ) ], (5) ψ(±1,q,q 3,q ) = ψ(q 1,±1,q 3,q ) = ψ(q 1,q,±1,q ) = ψ(q 1,q,q 3,±1) = 0. In this case the group S O(1) is isomorphic to O h and in this paper we resort to the character table of the latter group [9]. (6) 3
3 Small-box-regime When λ is sufficiently small (sufficiently small box size L) we can estimate the energy levels by means of perturbation theory. The Schrödinger equation is exactly solvable when λ = 0 and the eigenvalues and eigenfunctions of H 0 = H(λ = 0) are ψ (0) E (0) n 1n n 3n = π ( n 1 +n +n 3 +n ), n1,n,n 3,n = 1,,... n 1n n 3n (q 1,q,q 3,q ) = φ n1 (q 1 )φ n (q )φ n3 (q 3 )φ n (q ) nπ(q +1) φ n (q) = sin. (7) Note that φ n ( q) = ( 1) n 1 φ n (q). In order to facilitate the discussion of the results we introduce the notation {a,b,c,d} P to indicate the set of all distinct permutations of four elements that may be either coordinates or quantum numbers. For example, each - tuple of quantum numbers in the set {n 1,n,n 3,n } P leads to the same unperturbed energy E (0) n 1n n 3n. We may eventually add accidental Pythagorean degeneracies of the form m 1 + m + m 3 + m = n 1 + n + n 3 + n, where (m 1,m,m 3,m ) / {n 1,n,n 3,n } P [10]. If such energy level is g-fold degenerate then the perturbation corrections of first order to the eigenfunctions will be of the form ψ (1) = g j=1 c (1) j ψ (0) j, (8) where j denotes a -tuple (n 1,n,n 3,n ). The coefficients c (1) j the secular equation are solutions to ( ) H E (1) I c (1) = 0, (9) where H is the g g matrix of the perturbation H = H H 0 in the set of { } degenerate eigenfunctions ψ (0) j,j = 1,,...,g, I is the g g identity matrix, c (1) is a column vector with elements c (1) j secular determinant H E (1) I = 0. and E (1) is one of the g roots of the In order to determine the symmetry of the solution ψ (1), which provides a suitable label for the correspondingroot E (1), we apply the projection operators
P S associated to the irreducible representations (irreps) S of the group O h [9]. The result is well known to be P S ψ (1) = ψ (1) if ψ (1) is a basis for the irrep S or P S ψ (1) = 0 otherwise. The construction of the projection operators is outlined in the Appendix. In this way we obtain the following results for the first energy levels: E 1A1g = π + ( π 6 ) π λ+..., (10) E 1A1u E 1Tu = 7π + 16π 1053π 096 5π λ+..., = 7π + 68π 3159π +096 16π λ+..., (11) E A1g E 1Tg E 1Eg = 5π + 3π 115π 819 81π λ+..., = 5π + π 15 π λ+..., = 5π + 3π 115π +096 81π λ+..., (1) E 3A1g = 3π + ( 3π 1 ) 3π λ+..., E Tg = 3π + ( 3π 1 ) 3π λ+..., (13) E A1u E Tu = 13π = 13π + 16π 567π 096 5π λ+..., + 68π 1701π +096 16π λ+..., (1) E 3A1u E 3Tu E 1Eu = 15π = 15π = 15π + 05000π 13375π 810598 10150π λ+..., + 05000π 13375π 61 31 180000 10150π λ+..., + 05000π 13375π 598 10150π λ+..., 5
E Tu E 1T1u = 15π = 15π + 05000π 13375π +61 31 180000 10150π λ+..., + 05000π 13375π +55598 10150π λ+..., (15) E A1g = π + ( π 3 ) π λ+..., (16) E 5A1g E 3Tg E Tg E 1T1g E Eg = 9π + 0500π 89375π 55598 5065π λ+..., = 9π + 0500π 89375π 61 5339 138696 5065π λ+..., = 9π + 0500π 89375π +61 5339 138696 5065π λ+..., = 9π + 0500π 89375π +7799 5065π λ+..., = 9π + 0500π 89375π +7799 5065π λ+..., (17) where A 1g, A g, A 1u, and A u are nondegenerate, E g and E u are two-fold degenerate, and T 1g, T g, T 1u and T u are three-fold degenerate. We appreciate that the degeneracy of the unperturbed states is partially removed by the perturbation. The remaining degeneracies are expected to be broken at higher perturbation orders. One does not expect that such remaining degeneracies are due to an unknown hidden symmetry [10] because they are rather inconsistent. For example, in the case {1,1,1,3} P we have E 3A1g = E Tg ; however, {1,,,3} P leads to E 5A1g < E 3Tg < E Tg < E Eg = E 1T1g where the state A 1g and the three states T g are not degenerate as in the preceding case. Figure 1 shows the lowest energy levels in the interval 0 λ 1 where perturbation theory is expected to yield sufficiently accurate results. We also carried out a simple Rayleigh-Ritz variational calculation with symmetry-adapted basis sets for A 1g and T g choosing only those functions coming from {1,1,1,1}, {1,1,,} P and {1,1,1,3} P in order to show the splitting of the levels E 3A1g and E Tg. These levels appear to be degenerate in the upper subfigure but the finer scale of the lower one clearly reveals the splitting that takes place at the 6
second order of perturbation theory (E 3A1g > E Tg ). The symmetry-adapted basis set was constructed by straightforward application of the projection operators P A1g and P Tg to the zeroth-order eigenfunctions (7) (see [1,] for more details). Large-box-regime When L (λ ) we have a system of four unconfined particles with harmonic-pair interaction. In order to discuss this case it is convenient to define the new coordinates q q1 ξ 1 = 6q1 6q 6q3 ξ = + 6 6 3 3q1 3q 3q3 3q ξ 3 = + 6 6 6 ξ = q 1 +q +q 3 +q (18) because the Hamiltonian operator becomes ( ) H = ξ1 + ξ + ξ3 + ξ +λ ( ξ1 +ξ +ξ3). (19) We appreciate that the center of mass described by the coordinate ξ moves freely while there is harmonic oscillation along the 3 remaining coordinates. The eigenvalues and eigenfunctions are expected to be E K,n1,n,n 3 = K + λ(n 1 +n +n 3 +3), ψ K,n1,n,n 3 (ξ 1,ξ,ξ 3,ξ ) = exp(ikξ )χ n1 (ξ 1 )χ n (ξ )χ n3 (ξ 3 ), n 1,n,n 3 = 0,1,..., < K <, (0) where χ n (ξ) is a harmonic-oscillator eigenfunction. The connection between the small and large box regimes is given by lim λ λ 1/ E m1,m m 3,m (λ) = (n 1 +n +n 3 +3). (1) 7
When carrying out this limit we should take into account that the symmetry of the eigenfunction should be conserved as λ and that exp(ikξ ) does not exhibit a definite symmetry. Therefore, in order to make a connection between both regimes the eigenfunctions in the large-box case should be of the form ψk,n c 1,n,n 3 (ξ 1,ξ,ξ 3,ξ ) = cos(kξ )χ n1 (ξ 1 )χ n (ξ )χ n3 (ξ 3 ), ψk,n s 1,n,n 3 (ξ 1,ξ,ξ 3,ξ ) = sin(kξ )χ n1 (ξ 1 )χ n (ξ )χ n3 (ξ 3 ). () In order to determine the symmetry of a given eigenfunction in the largebox limit we take into account that ξ is basis for the irrep A 1u while the set {ξ 1,ξ,ξ 3 } is a basis for the irrep T u. Therefore, cos(kξ ) and sin(kξ ) are basis for the irreps A 1g and A 1u, respectively. By means of the direct product of irreps we obtain the symmetry of any eigenfunction of the form (). For example, when {n 1,n,n 3 } P = {0,0,1} P the three possible products χ n1 (ξ 1 )χ n (ξ )χ n3 (ξ 3 )arebasisfort u andtheresultingfunctionsψk,n c 1,n,n 3 (ξ 1,ξ,ξ 3,ξ ) and ψk,n s 1,n,n 3 (ξ 1,ξ,ξ 3,ξ ) are basis for T u and T g, respectively. 5 Simple variational method In order to obtain accurate variational results for large values of λ as was done in the case of two particles [1] we should try variational functions of the form F(q 1,q,q 3,q ) = G(q 1,q,q 3,q )exp [ a ( ξ1 +ξ +ξ3)], (3) where G(q 1,q,q 3,q ) satisfies the boundary conditions at the box walls and exp [ a ( ξ1 +ξ 3)] +ξ provides the correct asymptotic behaviour of the wavefunction of the free oscillator. The variational parameter a will increase from a 0 to infinity as λ increases from zero to infinity. However, since this calculation is rather cumbersome here we try a much simpler one with a variational function of the form F(q 1,q,q 3,q ) = G(q 1,q,q 3,q )exp [ a ( q1 +q +q3 +q)], () 8
where we clearly sacrifice the correct description of the asymptotic behaviour when λ. For example, F A1g (q 1,q,q 3,q ) = N ( q1 1 )( q 1 )( q3 1 )( q 1 ) exp [ a ( q1 +q +q 3 )] +q, (5) F A1u (q 1,q,q 3,q ) = Nξ ( q 1 1 )( q 1 )( q 3 1 )( q 1 ) exp [ a ( q 1 +q +q 3 +q )], (6) and F Tu (q 1,q,q 3,q ) = N ( q1 1)( q 1)( q3 1)( q 1) exp [ a ( ξ q1 )] 1 +q +q 3 +q ξ (7) ξ 3 are expected to yield approximations to the first energy levels E 1A1g < E 1A1u < E 1Tu. Figure shows the perturbation and variational results for those three states. Both the perturbation corrections of first order and the variational approaches are upper bounds to the corresponding energies because the variational principle applies to the lowest state of each symmetry. Since the perturbation expressions shownin section3(e PT fromnowon)yieldthe exactresultwhen λ = 0theyare expected to be more accurate than the variational results (E var ) for sufficiently small λ. Figure reveals that E var < E PT for λ > λ c that tells us that E var is more accurate for sufficiently large values of λ. As expected, the perturbation expressions exhibit a wrong behaviour for large values of λ. On the other hand, E var increases correctly as λ but the choice of an incorrect exponential factor inthetrialfunction leadstoawrongcoefficientoftheleadingtermoftheenergy; for example a numerical calculation suggests that lim λ λ 1/ E 1A1g = 8 > 6. (8) 9
6 Conclusions Throughout this paper, as well as in the two earlier ones [1,], we have shown that group theory is useful for the analysis of systems of particles in a onedimensional box. In the present case we can label the states of the system of fourparticlesbymeansoftheirrepsofthepointgroupo h. Theknowledgeofthe symmetry of the states for finite λ and for λ facilitates the analysis of the connection between the states of the confined and free systems, respectively. In addition to it, point group proves suitable for the construction of simple variational trial functions like those in section 5 as well as for the construction of symmetry-adapted basis sets for more accurate calculations like the Rayleigh- Ritz method used in section 3. References [1] P. Amore and F. M. Fernández, Two-particle harmonic oscillator in a onedimensional box, Acta Polytech. 50 (010) 17-. arxiv:0908.0006 [quantph]. [] P. Amore and F. M. Fernández, On the symmetry of three identical interacting particles in a one-dimensional box, Ann. Phys. 36 (015) 118-19. [3] N. L. Harshman, Symmetries of three harmonically trapped particles in one dimension, Phys. Rev. A 86 (01) 051. [] N. L. Harshman, Spectroscopy for a few atoms harmonically trapped in one dimension, Phys. Rev. A 89 (01) 033633. [5] N. L. Harshman, One-dimensional traps, two-body interactions, few-body symmetries: I. One, two, and three particles, Few-Body Syst. 57 (016) 11-3. [6] N. L. Harshman, One-dimensional traps, two-body interactions, few-body symmetries. II. N particles, Few-Body Syst. 57 (016) 5-69. 10
[7] M. Hammermesh, Group Theory and its Application to Physical Problems, Addison-Wesley, Reading, Massachussets, 196). [8] M Tinkham, Group Theory and Quantum Mechanics, McGraw-Hill, New York, 196). [9] F. A. Cotton, Chemical Applications of Group Theory, Third (John Wiley & Sons, New York, 1990). [10] F. M. Fernández, On the symmetry of the quantum-mechanical particle in a cubic box, 013. arxiv:1310.5136 [quant-ph]. Appendix: Construction of projection operators In this appendix we outline the procedure for the construction of the projection operators that enabled us to determine the symmetry of the corrections of first order to the eigenfunctions as well as to construct symmetry-adapted basis sets and the variational trial functions. First, we build a set of 8 matrices G M = {M j, j = 1,,...,8} given by the permutations of the rows of the identity matrix I and the permutations of the rows of I. This set of matrices is a group with respect to thematrixproductm i M j. Second,wedefineasetG O = {O j, j = 1,,...,8} of linear invertible operators according to the rule O j f(q) = f(m 1 j q), (9) where q is a column vector with elements q i (the four dimensionless particle coordinates) and f(q) is an arbitrary function of them. These operators form a group with respect to the composition O i O j. If M i and M j are the matrix representations of O i and O j, respectively, then M i M j is the matrix representation of O i O j. In other words, the groups G M and G O are isomorphic. Third, we determine the classes for the group of matrices G M in the usual way. Two matrices M i and M j belong to the same class if M k M i M 1 k = M j for some M k G M. Fourth, we calculate the traces, determinants and orders 11
of the matrices in every class. In this way we connect each class of matrices M j (or operators O j ) with the corresponding class of symmetry operations that appear in the character table of the group O h [9]. Finally, we obtain the projection operators by means of the well known expression [7 9] P S = n S h h χ j (S)O j, (30) j=1 where h = 8 is the order of the group, n S is the dimension of the irreducible representation S and χ j (S) is the character of the operation O j for S that appears in the character table. Since the matrices in a class share the same trace it is sufficient to obtain a one-to-one correspondence between the classes of matrices and the classes of symmetry operations. The application of the projection operators to the eigenfunctions of order zero given by some of the sets of quantum numbers {n 1,n,n 3,n } P yields the following irreps: Quantumnumbers Numberofstates E 0 Symmetry {1,1,1,1} 1 π 1A 1g {1,1,1,} P 3 7π / 1A 1u, 1T u {1,1,,} P 6 5π / A 1g, 1T g, 1E g {1,1,1,3} P 3π 3A 1g, T g {1,,,} P 13π / A 1u, T u {1,1,,3} P 1 15π / 3A 1u, 3T u, 1E u, T u, 1T 1u {,,,} P 1 π A 1g {1,,,3} P 1 9π / 5A 1g, 3T g, T g, E g, 1T 1g {1,1,1,} P 19π / A 1u, 5T u {1,1,3,3} P 6 5π 6A 1g, 3E g, 5T g {,,,3} P 1π / 5A 1u, 6T u {1,1,,} P 1 11π / 7A 1g, T 1g, 6T g, E g, T 1g 1
3 {1,1,1,3} P {1,1,,} P E 16 {1,1,1,} P 8 {1,1,1,1} 0 0.0 0. 0. 0.6 0.8 1.0 λ 3 3A 1g 31 T g E 30 9 0.0 0. 0. 0.6 0.8 1.0 λ Figure 1: Lowest eigenvalues calculated by means of perturbation theory and the Raleigh-Ritz variational method 5 0 35 30 1T u 1A 1u 5 E 0 1A 1g 15 10 5 0 0 3 6 9 1 15 λ Figure : Lowest three eigenvalues calculated by means of perturbation theory (solid line) and the variational method (circles) 13