Appendix B. Symmetry Group and Irreducible Representations
In this section, we present the symmetry group of particle in a 2D square potential with infinite walls together with the construction of its irreducible representations. Although this problem has already been presented in heuristic manner [
9], it has not been formally presented in the framework of induced representations as it was for the cubic 3D square well potential [
11].
Let us first start by presenting the solutions of one particle inside the potential depicted in
Figure A1, where the origin is located at the left corner of the square. In this reference framework, the solutions take the following simple form:
where the following is the case.
Figure A1.
Square well potential and symmetry elements associated with geometrical symmetry
. Two reference systems are shown: (
a) the origin is located at the left corner with solutions given by (
A53) and (A54); and (
b) the origin is located at the center of the square.
Figure A1.
Square well potential and symmetry elements associated with geometrical symmetry
. Two reference systems are shown: (
a) the origin is located at the left corner with solutions given by (
A53) and (A54); and (
b) the origin is located at the center of the square.
The symmetry projection of functions (
A52) allows the assignment of irreducible representation to the energy spectrum depicted in
Figure 10 [
9]. In this system, we are able to identify two subspaces. The one-dimensional space of the following:
with the following reduction:
and the following two dimensional subspaces:
with reductions provided in
Table A1 is provided. The first 13 energy levels obtained with Equation (
28) in dimensionless units
are displayed in
Figure 10. It is, thus, clear that double degeneracy
and
represent accidental degeneracy.
Table A1.
Irreducible representations (irreps) of the geometrical group
contained in the subspaces (
A58). The reduction depends of the parity of
n and
m with
p and
q integers.
Table A1.
Irreducible representations (irreps) of the geometrical group
contained in the subspaces (
A58). The reduction depends of the parity of
n and
m with
p and
q integers.
Irrep | n | m |
---|
E | | |
E | | |
A | | |
A | | |
However, since this degeneracy is systematic over the entire spectrum, we have the presence of systematic accidental degeneracy, which implies that symmetry group
is a subgroup of the true symmetry group. In order to obtain the true symmetry group, it is necessary to identify the operator connecting the accidental degenerate states. In order to achieve this goal, we start establishing that such operators
, carrying the
-th irreducible representation (irrep), must satisfy the following.
In other words, the operator must span the irrep
satisfying the following.
In accordance with the character in
Table A2, such operators should span the irreducible representation
. Notice that degenerate states
are left unaltered by the
tensor.
Table A2.
Character table of group .
Table A2.
Character table of group .
| E | | | | | | |
---|
| 1 | | | | | z | |
| 1 | | | | | | |
| 1 | | | | | | |
| 1 | | | | | | |
E | 2 | | | | | | |
From the character in
Table A2, we see that the Cartesian harmonic
spans irrep
, where the primes mean that the function is referred to the origin located in panel (b) of
Figure A1. However, the same linear combination in terms of the square momenta transforms according to
and, consequently, we have the following operator.
This operator commutes with the following Hamiltonian:
and conserves boundary conditions. Consequently, it is suitable to be added to the symmetry elements of the
group. Operator (
A61) generates continuous group
with elements obtained by exponentiation in the following manner.
In order to elucidate the structure of the new group it is convenient to observe whether subgroup
is invariant. Taking into account that elements
are isomorphic to operators
that act over the space of functions, the conjugation of
with respect to the elements of
yields the following:
with the following being the case:
where
denotes the character of the irrep
in group
. This result means that group
is invariant, a fact that allows the new symmetry group
to be expressed as a semidirect product:
and in terms of an expansion of left cosets.
Hence, any element
can be written in the following form:
where we have simplified the following notation
.
We now proceed to construct irreducible representations of group . To accomplish this task, we shall proceed through the induction method by constructing the irreps of group from the irreps of subgroup . We start with the construction of the irreps of the invariant subgroup, .
First, let us consider the two dimensional representation spaces.
The action of the elements of
over this space is given by the following:
where the following is the case:
with the following.
We, thus, have states
spanning representation
. It is, thus, convenient to label the states according to this representation in the following form
in such a manner that the following is the case.
For the sake of convenience, we introduce the following definitions.
Hence, the two-dimensional space (
A69) is a representation space spanning the diagonal irreps of the subgroup
.
On the other hand, it is clear that for
, we have a one-dimensional space
spanning representation
with
.
Once we count on the irreps of subgroup , we are ready to proceed to construct the irreps of the group . However, to accomplish this task, it is necessary to recall the concept of conjugate representation.
Let
, with
H invariant. Given
, the
-th irrep of
, the matrix
called
conjugate representation is also a representation of
H. In our case,
is an invariant subgroup with representations
. We, thus, have to identify the conjugate representation. In order to achieve this goal, consider the representation
defined by the following.
From (
A64), we have the following.
Hence, we have the following for the conjugate representation.
This result can be reinterpreted in the following form:
where the following is the case:
with the proviso that the operators involved act over state
. Here, we have used simplified notation,
. In addition, it is worth noticing that the following is the case:
which means that the state spanning the conjugate representation
is obtained by the following.
We notice that two irreps are identified, namely
and
. Starting with
, we obtain conjugate representations
,
, although some of them are equivalent. The set of nonequivalent representations, denoted by
, is called the star of
. In our case, from (
A81), only two nonequivalent representations are obtained:
itself and
, the latter generated with
in (
A81) satisfying
. The star is then given by the following:
where each element is called the prong of the star. Starting with
, the same star is obtained. This explains that the star will be referred as
without specifying the particular
from which it is generated. It should be clear that
conjugations are carried out to obtain (
A84) of order
. Consequently, there should be a set of elements that transform
to either an equivalent or identical representation. Indeed this set of elements corresponds to the elements of
as well as the elements of subgroup
. This set of transformation form a group, the
little group of
, denoted by
and is given by the following.
Each prong in star (
A84) has associated its own little group, but they are isomorphic, a fact that explains the notation of
. The little group of
k is infinite. To deal with a finite group, we consider the factor group called
little co-group:
in which its elements are provided by the left cosets in the following expansion.
On the other hand, the factor group is isomorphic to group
:
with the following expansion in left cosets:
a fact that allows confrontation with finite groups. This is the basic background in the construction of the irreps of
. Expansion (
A89) implies that every element
can be expressed in terms of a product of the following form:
and in the following explicit form:
with identification
.
Let us now consider the ket
. All the elements of
leave it invariant. On the other hand the action of the coset representatives in the expansion (
A89) yields
Hence, the set of functions
form a representation space of
. However, for the construction of irreps, it is convenient to consider the basis in the following form:
. The procedure to obtain the irreps of element
consists in applying operator
over the representation space. In this manner, we obtain the following:
where identity follows from expansion (
A89). Here,
h is called the sub-element of g in
denoted by
. All sub-elements involved are listed in
Table A3. We should remark that the action over states
are well defined since they carry irreps of
.
Table A3.
Sub-elements
defined in (
A94) through expansion (
A89).
Table A3.
Sub-elements
defined in (
A94) through expansion (
A89).
g | | | |
---|
E | E | E E | E |
| E | | |
| E | | |
| E | | |
| E | | |
| E | | E |
| E | | |
E | | | E |
| | | |
| | | |
| | | |
| | | |
| | | E |
| | | |
We are now prepared to carry out the induction. However, before we accomplish this goal, it is convenient to present the general procedure. Let us consider the general situation of generating representations of a group
G from the irreps
of
[
10]. First, we expand group
G in cosets of
H.
The set of cosets
span a representation of
G:
where
is called the basal representation given by the following.
Let us now consider a set of kets
spanning the
-th irrep
of subgroup
H.
Hence, set
is a representation the space of group
G:
where
is called the induced representation with the following elements.
In general, the induced representation is reducible. However, when induction is carried out through the
little co-groups associated with the irreps of the subgroup, the induced representations are complete and irreducible. We may, thus, sketch the general procedure as follows. In the frame work of our group
, we begin these states,
, by carrying irreps of the invariant subgroup
. Then, the
little group is identified. This group in infinite; consequently, to deal with a finite group, it is considered the
little co-group isomorphic to a subgroup of point group
. The states
span irreps
of the
little co-group, a fact that permits a labeling scheme,
. Finally, induction is carried out by obtaining all irreducible representations of
.
Here, there are two labels, the prong corresponding to the irrep , and the irrep and component associated with the little co-group.
We now proceed to generate irreps (
A101). In our previous analysis, we were dealing with two-dimensional space (
A69) leading to the star (
A84), which may be identified with vectors
, as shown in
Figure A2. In this figure, we denote
in accordance with the notation for the
little co-group. Each prong of the two dimensional star is called a general vector with
little co-group. On the other hand, the irrep
spanned by the kets
leads to the star
. Because this irrep
is invariant under full point group
, it is called a special point.
Figure A2.
Irreducible representations of the group labeled by the corresponding little co-groups. Two little co-groups have been identified: corresponding to a general vector and corresponding to special point .
Figure A2.
Irreducible representations of the group labeled by the corresponding little co-groups. Two little co-groups have been identified: corresponding to a general vector and corresponding to special point .
We start considering general points associated with the star (
A84). Since in this case the
co-group is
, states
by itself carry irreps of
. Indeed, considering the generators
of the little co-group
, we obtain diagonal representations.
This representation is of course reducible and contains the two irreps given by the following:
which have to be identified with the irreps of the
group in accordance to the character in
Table A4. Since the little co-groups for
and
are isomorphic, it is enough to consider the reduction associated with
, which is displayed in
Table A5.
Table A4.
Character table for group .
Table A4.
Character table for group .
| E | | | | | |
---|
| 1 | | | | z | |
| 1 | | | | | |
| 1 | | | | | |
| 1 | | | | | |
Table A5.
Identification of the irreps of in accordance with parity.
Table A5.
Identification of the irreps of in accordance with parity.
| | | | |
---|
| | | | |
| 1 | | | |
| 1 | | | |
| | | | |
We proceed to obtain the representations of
that are completely specified by the matrix representation of generators
. Let us start considering element
. In accordance with the coset expansion (
A89), the representation space is
. From
Table A3 for the sub-elements, we obtain the following:
from which we obtain the matrix representation for element
.
In similar manner for element
, we have the following:
and, consequently, we have the following.
Finally, we have to obtain the matrix representation of element
. The action of an element of
over an element of the basis is given by the following:
where we have taken into account the invariance of
. Nevertheless, from (
A83), the new element
is associated with the inverse of
R.
However, in this case,
and, consequently, the following is the case.
We now consider the special point
. In this case, the little co-group is
and the basal representation is generated by element
with basis
. The action of the generators is as follows.
From the character in
Table A2, we have identifications for the following representations:
and in compact form in terms of characters.
Finally, we present subduction
in order to make clear that the accidental degeneracy previously identified in
renders a natural degeneracy in group
. In
Table A6, we present subduction
where we can observe that the accidental degeneracy in accordance with geometrical group
is indeed a natural degeneracy in the new symmetry group,
.
Table A6.
Subduction .
Table A6.
Subduction .
| E | | | | | |
---|
| 1 | | | | 1 | |
| 1 | | | | 1 | |
| 2 | | | | 0 | |
| 2 | | | | 0 | |
| 2 | | | | 0 | E |
| 2 | | | | 0 | E |
Remark A1. In the construction of irreps of space groups, an induction process is followed from the irreps of the translational group to the space group. The procedure we have presented has a close analogy with space groups. Our group corresponds to the translational group while irreps k corresponds to the momentum space involved in the Bloch functions. This is the reason we have used the language of solid state physics to developed the representation theory of the new group, .