Next Article in Journal / Special Issue
Symmetry-Break in Voronoi Tessellations
Previous Article in Journal
Symmetry at the Foundation of Science and Nature
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Using Group Theory to Obtain Eigenvalues of Nonsymmetric Systems by Symmetry Averaging

by
Marion L. Ellzey, Jr.
Department of Chemistry, The University of Texas at El Paso, El Paso, Texas 79968-0513, USA
Symmetry 2009, 1(1), 10-20; https://doi.org/10.3390/sym1010010
Submission received: 10 July 2009 / Revised: 5 August 2009 / Accepted: 6 August 2009 / Published: 6 August 2009
(This article belongs to the Special Issue Feature Papers: Symmetry Concepts and Applications)

Abstract

:
If the Hamiltonian in the time independent Schrödinger equation, H Ψ = E Ψ , is invariant under a group of symmetry transformations, the theory of group representations can help obtain the eigenvalues and eigenvectors of H. A finite group that is not a symmetry group of H is nevertheless a symmetry group of an operator Hsym projected from H by the process of symmetry averaging. In this case H = Hsym + HR where HR is the nonsymmetric remainder. Depending on the nature of the remainder, the solutions for the full operator may be obtained by perturbation theory. It is shown here that when H is represented as a matrix [H] over a basis symmetry adapted to the group, the reduced matrix elements of [Hsym] are simple averages of certain elements of [H], providing a substantial enhancement in computational efficiency. A series of examples are given for the smallest molecular graphs. The first is a two vertex graph corresponding to a heteronuclear diatomic molecule. The symmetrized component then corresponds to a homonuclear system. A three vertex system is symmetry averaged in the first case to Cs and in the second case to the nonabelian C3v. These examples illustrate key aspects of the symmetry-averaging process.

1. Introduction

In the context of the time independent Schrödinger equation:
H ψ = E ψ
the elements of a symmetry group G commute with H [1,2,3]:
H G a = G a H , G a G
Commutativity requires that H and G do not mix each other’s invariant spaces so that the eigenfunctions of H must (barring accidental degeneracy) transform according to the irreducible representations of the symmetry group. The methods of group representations can help determine the eigenvalues and eigenvectors of H.
Suppose that H does not commute with a particular finite unitary group G but that the behavior of H under the group elements is known and given by:
{ G a H G a 1 , a = 1 , 2 , , g }
Then a symmetrized operator, Hsym, is projected from H by symmetry averaging, summing over all transformations and dividing by the order of the group:
H s y m = 1 g a = 1 g G a H G a 1
The symmetrized operator commutes with all elements of G:
{ G a H s y m = H s y m G a , a = 1 , 2 , , g }
and is Hermitian.
The original operator is the sum:
H = H s y m + H R
where HR is the remainder. If Hsym is nonzero and the remainder HR is sufficiently small in some sense, perturbation theory may give acceptable approximations to the eigenvalues and eigenvectors of H. A number of groups may be used for any particular system, but the optimum choice for analysis would generally be the largest group yielding a nonzero Hsym. In general, the larger the group, the more the reduction in analytical requirements.
This approach may be compared to established perturbation methods in which the total Hamiltonian is expressed as the sum of a high-symmetry zero-order Hamiltonian plus a symmetry lowering perturbation: H 0 + V . Symmetry-averaging is systematic, ensures that HR has no identity component and provides a relationship between reduced matrix elements of Hsym and matrix elements of H.
It is usual to have a matrix representation, [H], of the Hamiltonian over a suitable basis of a Hilbert space, either as an initial definition or as a first step in analysis. If the basis is symmetry-adapted to the group G the matrix of the symmetrized operator [Hsym] will be reduced although [H] will not be. By a corollary to the symmetry-generation theorem [4,5,6], the reduced matrix elements of [Hsym] are simple averages of certain elements of [H] making the construction of [Hsym] much more efficient than the computationally demanding projection. Therefore, even though Hsym may not be the Hamiltonian of a real molecule [Hsym] is readily determined.
Symmetry-averaging as a projection is presented in the next section and the use of the symmetry-adapted basis for symmetry-averaging is described in the third section. In the fourth section, the simplest example of a heteronuclear diatomic molecule corresponding to a two-vertex graph with one edge is presented. In the fifth section, symmetry-averaging of a three vertex system to two different groups is described. The sixth section is the conclusion.

2. Symmetry-averaging

Using the methods of finite group algebra, the identity for a finite group is given in terms of simple projectors as:
I = α M e α
where the sum is over the M irreducible representations of the group and the projectors eα are commuting orthogonal idempotents:
e α e β = e β e α = δ ( α , β ) e α
This is the notation of Littlewood [7] and Weyl [8] in which irreducible representations are indexed by lower case Greek letters. It is convenient to take the lead term, α = 1 to correspond to the totally symmetric irreducible representation occurring in every group. Then the corresponding projector is the symmetrizer:
e 1 = 1 g a = 1 g G a
where the sum is over all g elements of the group. The effect of the symmetrizer on an arbitrary operator is to project out the totally symmetric component:
H s y m = e 1 H 1 g a g G a H G a 1
where the “∘” operation is defined as shown to be the appropriate linear combination of equivalence transformations. Then Hsym commutes with all elements of the group. The original operator is expressed as the sum of Hsym and a remainder:
H = I H = e 1 H + α = 2 M e α H = H s y m + H R
Since the right hand side of Equation 10 is the average of all the system orientations produced by the group transformations, the term symmetry-averaging is appropriate.

3. Symmetry-adapted basis

The elements of a basis symmetry-adapted to a group G transform irreducibly under the elements of the group according to:
G a | ω ; ρ α r = r = 1 f ( α ) [ G a ] r r α | ω ; ρ α r
where α denotes an irreducible representation of G, r and r index the rows and columns of the f(α) ×f(α) matrix [Ga]α, ρ distinguishes repeated irreducible representations, and ω identifies the complete space. The representation of the group on a symmetry-adapted basis is completely reduced. A symmetry-adapted basis is suitably-conditioned if all of the |ω;ραr〉, ρ = 1,…, f(ω;α), transform according to identical matrices [Ga]α. Here, f(ω;α) is the number of times the α irreducible representation occurs, given by the usual character formula. Matrix elements of an operator H are expressed on this basis as:
ω ; ρ α r | H | ω ; ρ α r
If the operator is defined as a matrix [H]ω on some defining basis: {|ωi〉, i = 1,…,f(ω)}, it is necessary to perform the transformation to the symmetry-adapted basis:
| ω ; ρ α r = i = 1 f ( ω ) | ω i ω i | ρ α r
On a symmetry-adapted basis, the elements of an operator, Hsym, that commutes with G satisfy the relation [9]:
ω ; ρ α r | H s y m | ω ; ρ α r = δ ( α , α ) δ ( r , r ) ω ; ρ α H s y m ω ; ρ α
where the far right factor is a reduced matrix element. Since these elements are zero unless α equals α and r equals r , and the reduced matrix elements are independent of r, the matrix is partitioned into scalar submatrices on the symmetry-adapted basis. Reordering the basis to group together elements with the same α and r gives a partition with f(α) identical f(ω;αf(ω;α) blocks down the diagonal resulting in a factored secular polynomial. These blocks are the reduced matrices. Suppose, for example, that a basis symmetry-adapted to the point group C3v contains one A1 and two E irreducible representations:
{ | A 1 1 , | 1 E 1 , | 1 E 2 , | 2 E 1 , | 2 E 2 }
then the corresponding representation of the group element Ga is:
[ [ G a ] 11 A 1 0 0 0 0 0 [ G a ] 11 E [ G a ] 12 E 0 0 0 [ G a ] 21 E [ G a ] 22 E 0 0 0 0 0 [ G a ] 11 E [ G a ] 12 E 0 0 0 [ G a ] 21 E [ G a ] 22 E ]
The matrix of an operator that commutes with the group has the form:
[ 1 A 1 H s y m 1 A 1 0 0 0 0 0 1 E H s y m 1 E 0 1 E H s y m 2 E 0 0 0 1 E H s y m 1 E 0 1 E H s y m 2 E 0 2 E H s y m 1 E 0 2 E H s y m 2 E 0 0 0 2 E H s y m 1 E 0 2 E H s y m 2 E ]
A reordering of the basis to group together elements with the same r:
{ | A 1 1 , | 1 E 1 , | 2 E 1 , | 1 E 2 , | 2 E 2 }
results in further reduction to block diagonal form:
[ 1 A 1 H s y m 1 A 1 0 0 0 0 0 1 E H s y m 1 E 1 E H s y m 2 E 0 0 0 2 E H s y m 1 E 2 E H s y m 2 E 0 0 0 0 0 1 E H s y m 1 E 1 E H s y m 2 E 0 0 0 2 E H s y m 1 E 2 E H s y m 2 E ]
illustrating the power of group theory.
The partitioning of matrix (17) into scalar blocks illustrates the invariances that give rise to the symmetry-generation theorem [6]. If Hsym is obtained by symmetry-averaging of H, as in equation (10), and if the basis is suitably conditioned, then the trace of a block in matrix (17) is the sum of traces of corresponding transformed bocks of the matrix of H: [ G a ] α [ H ] ρ α , ρ α [ G a 1 ] α . Then as a corollary to the symmetry-generation theorem the reduced matrix elements of Hsym on a suitably conditioned symmetry-adapted basis are given by:
ω ; ρ α H s y m ω ; ρ α = 1 f ( α ) r = 1 f ( α ) ω ; ρ α r | H | ω ; ρ α r
That is, the reduced matrix elements of the symmetry-averaged operator are simple averages of particular matrix elements of the original operator over the symmetry-adapted basis.

4. Two dimensional matrix

The simplest case is a two vertex graph corresponding to a two dimensional Hermitian matrix:
[ H ] = [ a c c b ]
The weighted graph is:
Figure 1.
Figure 1.
Symmetry 01 00010 g001
The symmetry group to be used is of order two and consists of the identity and the transposition (12):
{E, (12)}
The effect of the transposition on the matrix is:
( 12 ) [ a c c b ] ( 12 ) = [ b c c a ]
so that symmetry averaging yields:
1 2 { I [ a c c b ] I + ( 12 ) [ a c c b ] ( 12 ) } = [ ( a + b ) 2 c c ( a + b ) 2 ]
Let
s = (a + b)/2  and  d = (ab)/2
then:
[ a c c b ] = [ s c c s ] + [ d 0 0 d ]
as in Equation 6. Clearly, the smaller the value of d the closer [H] is to [Hsym] and the more appropriate this choice of symmetry. A symmetry-adapted basis is:
| + = 1 2 ( | 1 + | 2 ) | = 1 2 ( | 1 | 2 )
where {|1〉, |2〉} is the defining basis. The matrix of Hsym on this basis is:
[ H s y m ] = [ s + c 0 0 s c ]
and for the difference, HR:
[ H R ] = [ 0 d d 0 ]
Evidently, as a perturbation [HR] makes only a second order correction.
Consider the numerical case a = −40.0, b = −30.0 and c = −5.00. The exact eigenvalues to three significant figures are:
λ 1 = 42.1 λ 2 = 27.9
From [Hsym] the zero-order eigenvalues are −40.0 and −30.0. With the second order correction, these become −42.5 and −27.5.

5. Three-vertex examples

The next two illustrations refer to a weighted three-edge, three-vertex graph:
Figure 2.
Figure 2.
Symmetry 01 00010 g002
corresponding to the matrix:
[ H ] = [ a 1 b 1 b 2 b 1 a 2 b 3 b 2 b 3 a 3 ]
This graph could be embedded in Euclidean three-space so that the groups considered would be point groups such as Cs, D3 or C3v. If the effect of these operations is to permute the vertices of the graph, the Hamiltonian matrix will be permuted. These are the examples considered here. If the weights associated with two of the vertices, say numbers one and two, are closer to each other than to the third, then it would be appropriate to consider a reflection plane through vertex three and bisecting the edge between vertex one and two. The effect on the Hamiltonian matrix would be exchange of index one with two. On the other hand, if the weights associated with all three vertices are similar, then the point group C3v would be suitable, transforming the Hamiltonian matrix by the permutation group S3.
S2 Averaging
First consider the choice of G as the two-fold symmetry group S 2 = { E , ( 12 ) } . Using symmetry averaging on the original the invariant matrix is:
[ H s y m ] = [ u v v v u v v v a 3 ]
where
u 1 2 ( a 1 + a 2 ) v b 1 v 1 2 ( b 2 + b 3 )
Using a symmetry adapted basis will give the reduced matrix directly. This basis is:
| ω ; 1 A = 1 2 ( | 1 + | 2 ) | ω ; 2 A = | 3 | ω ; A = 1 2 ( | 1 | 2 )
and the matrix on this basis is:
[ H ] ω = [ 1 2 ( a 1 + a 2 + 2 b 1 ) 1 2 ( b 2 + b 3 ) 1 2 ( a 1 a 2 ) 1 2 ( b 2 + b 3 ) a 3 1 2 ( b 2 b 3 ) 1 2 ( a 1 a 2 ) 1 2 ( b 2 b 3 ) 1 2 ( a 1 + a 2 2 b 1 ) ]
The reduced matrix elements of [ H s y m ] ω are then:
ω ; 1 A H s y m ω ; 1 A = ω ; 1 A | H | ω ; 1 A = u + v ω ; 2 A H s y m ω ; 2 A = ω ; 2 A | H | ω ; 2 A = a 3 ω ; 1 A H s y m ω ; 2 A = ω ; 1 A | H | ω ; 2 A = 2 v ω ; A H s y m ω ; A = ω ; A | H | ω ; A = u v
so that the invariant matrix on this basis is:
[ H s y m ] ω = [ u + v 2 v 0 2 v a 3 0 0 0 u v ]
The repetition of the A irreducible representation gives rise to a 2×2 block that must be diagonalized while the non-repeated A eigenvalue can simply be read off the diagonal.
S3 Averaging
The S3 symmetry averaged matrix is:
[ H s y m ] = [ x y y y x y y y x ]
where
x ( a 1 + a 2 + a 3 ) / 3
and
y ( b 1 + b 2 + b 3 ) / 3
It is unnecessary, however, to obtain this matrix, since [H] can be directly transformed to a symmetry-adapted basis. Assuming that the elements of the defining basis are centered at the vertices and transform in the same way, a symmetry-adapted basis is:
| ω ; A 1 = 1 3 ( | 1 + | 2 + | 3 ) | ω ; E 1 = 1 2 ( | 2 | 3 ) | ω ; E 2 = 1 6 ( 2 | 1 | 2 | 3 )
where the C3v names of the irreducible representations of have been used. On this basis, the matrix is:
[ H ] ω = [ 1 3 ( a 1 + a 2 + a 3 ) + 2 3 ( b 1 + b 2 + b 3 ) 1 6 ( a 2 a 3 + b 1 b 2 ) ( 1 12 ) ( 2 a 1 a 2 a 3 + b 1 + b 2 2 b 3 ) 1 6 ( a 2 a 3 + b 1 b 2 ) 1 2 ( a 2 + a 3 2 b 3 ) 1 6 ( a 2 + a 3 + 2 b 1 2 b 2 ) ( 1 12 ) ( 2 a 1 a 2 a 3 + b 1 + b 2 2 b 3 ) 1 6 ( a 2 + a 3 + 2 b 1 2 b 2 ) 1 6 ( 4 a 1 + a 2 + a 3 4 b 1 4 b 2 + 2 b 3 ) ]
From equation 20 the reduced matrix elements of [Hsym]ω are then:
ω ; 1 A 1 H s y m ω ; 1 A 1 = ω ; 1 A 1 1 | H | ω ; 1 A 1 1 = x + 2 y ω ; 1 E H s y m ω ; 1 E = 1 2 ( ω ; 1 E 1 | H | ω ; 1 E 1 + ω ; 1 E 2 | H | ω ; 1 E 2 ) = a b
so that the invariant matrix is:
[ H s y m ] ω = [ x + 2 y 0 0 0 x y 0 0 0 x y ]
and the difference matrix is:
[ H 1 ] ω = [ 0 1 6 ( a 2 a 3 + b 1 b 2 ) ( 1 12 ) ( 2 a 1 a 2 a 3 + b 1 + b 2 2 b 3 ) 1 6 ( a 2 a 3 + b 1 b 2 ) 1 6 ( 2 a 1 a 2 a 3 2 b 1 2 b 2 + 4 b 3 ) 1 6 ( a 2 + a 3 + 2 b 1 2 b 2 ) ( 1 12 ) ( 2 a 1 a 2 a 3 + b 1 + b 2 2 b 3 ) 1 6 ( a 2 + a 3 + 2 b 1 2 b 2 ) 1 6 ( 2 a 1 a 2 a 3 2 b 1 2 b 2 + 4 b 3 ) ]
It is instructive to consider some numerical values. The first case appears to have little symmetry.
[ H ] = [ 10.0 4.00 5.00 4.00 20.0 6.00 5.00 6.00 30.0 ]
The symmetry averaged component on the symmetry adapted basis is:
[ H s y m ] ω = [ 30.0 0 0 0 15.00 0 0 15.00 ]
with the difference matrix:
[ H 1 ] ω = [ 0 4.49 9.53 4.49 4.00 3.27 9.53 3.27 4.00 ]
The first order solutions are −30.0, −19.0, and −11.0. The exact solutions to three significant figures are −34.4, −17.4, −8.18.
A second example may be considered more symmetrical since the elements of the difference matrix are smaller.
[ H ] = [ 19.0 4.90 5.00 4.90 20.0 5.10 5.00 5.10 21.0 ]
which gives the same symmetrized component as before on the symmetry adapted basis:
[ H s y m ] ω = [ 30.0 0 0 0 15.0 0 0 0 15.0 ]
with a difference matrix of:
[ H R ] ω = [ 0 0.449 0.953 0.449 0.400 0.327 0.953 0.327 0.400 ]
The first order solutions are −30.0, −15.4, and −14.6, close to the exact eigenvalues to three significant figures of −30.1, −15.4, −14.5. The elements of the difference matrix are smaller by a factor of ten then in the previous case.

6. Conclusion

Since symmetry-averaging by projection requires a sum of triple matrix products it becomes computationally impractical as the sizes of basis and symmetry group increase. As shown here this calculation is unnecessary on a suitably conditioned symmetry-adapted basis so that symmetry-averaging is practical even for large systems.
The examples given here are purposely extremely small and simple; nevertheless, important properties of symmetry averaging can be determined from them. First, even if the system seems to have no symmetry, symmetry-averaging can be useful. For the two-vertex example the symmetry determined eigenvalues are good to second order. In the S2 treatment of the three vertex example the exact eigenvalues separate into two groups similar to the approximate result. In the second S3 treatment, the smaller difference term gives an indication of how symmetry averaging can be useful. In this case, the approximate eigenvalues are within 1% or less of the exact values.
It is anticipated that ab initio and DFT calculations can profit from this theory. Fock and Kohn-Sham matrices would be reduced on a suitably-conditioned symmetry-adapted basis and the matrix elements determined by the method described here.
A more general extended approach is to project out all the different irreducible symmetry components of the parent H. The noninvariant remainder HR would then be the sum of several irreducible tensorial operators. The Wigner-Eckart theorem can then be used to evaluate the matrix elements of these operators. This approach is being developed.

References

  1. Cotton, F. A. Chemical Applications of Group Theory, 2nd ed.; Wiley: New York, USA, 1971. [Google Scholar]
  2. Wigner, E. Group Theory and its Applications to Atomic Spectra; Academic Press: New York, USA, 1959. [Google Scholar]
  3. Hamermesh, M. Group Theory and its Applications to Physical Problems; Addison-Wesley, Reading: Massachusetts, USA, 1962. [Google Scholar]
  4. Ellzey, M. L., Jr. Finite group theory for large systems. 1. Symmetry-adaptation. J. Chem. Inf. Comput. Sci. 2003, 43, 178–181. [Google Scholar] [CrossRef] [PubMed]
  5. Ellzey, M. L., Jr.; Villagran, D. Finite group theory for large systems. 2. Generating relations and irreducible representations for the icosahedral point group, Ih. J. Chem. Inf. Comput. Sci. 2003, 43, 1763–1770. [Google Scholar] [CrossRef] [PubMed]
  6. Ellzey, M. L., Jr. Finite group theory for large systems. 3. Symmetry-generation of reduced matrix elements for icosahedral C20 and C60 molecules. J. Computational Chem. 2007, 28, 811–817. [Google Scholar] [CrossRef] [PubMed]
  7. Littlewood, D. E. The Theory of Group Characters; Oxford University Press: Oxford, UK, 1950. [Google Scholar]
  8. Weyl, H. The Theory of Groups and Quantum Mechanics; Dover: New York, 1931; (H. P. Robertson, trans.). [Google Scholar]
  9. Ellzey, M. L., Jr. Normalized irreducible tensorial matrices and the Wigner-Eckart theorem for unitary groups: A superposition Hamiltonian constructed from octahedral NITM. Int. J. Of Quantum Chem. 1992, 41, 653–665. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Ellzey, M.L., Jr. Using Group Theory to Obtain Eigenvalues of Nonsymmetric Systems by Symmetry Averaging. Symmetry 2009, 1, 10-20. https://doi.org/10.3390/sym1010010

AMA Style

Ellzey ML Jr. Using Group Theory to Obtain Eigenvalues of Nonsymmetric Systems by Symmetry Averaging. Symmetry. 2009; 1(1):10-20. https://doi.org/10.3390/sym1010010

Chicago/Turabian Style

Ellzey, Marion L., Jr. 2009. "Using Group Theory to Obtain Eigenvalues of Nonsymmetric Systems by Symmetry Averaging" Symmetry 1, no. 1: 10-20. https://doi.org/10.3390/sym1010010

Article Metrics

Back to TopTop