I Introduction
Supersymmetric quantum mechanics arises as the (0+1)-dimensional limit of the supersymmetric quantum field theory. E. Witten in [18] used simple supersymmetric quantum systems to describe under what conditions supersymmetry is spontaneously broken. In [17], Witten carried on remarkably connecting the difference of the number of Bosonic ground states from that of the Fermionic ground states with a topological invariant intrinsic to the manifold associated with the supersymmetric quantum system. Under some 1-parameter deformation of conjugation type by a real valued function (Morse function) on the manifold, this topological invariant called Witten index stays unchanged. He used Morse theory there [17] to establish this connection. Supersymmetric quantum mechanics in noncommutative spaces have been studied in the past (see, for example, [8]). The supersymmetric Landau problem in a noncommutative plane that we study in this article had been studied in the past in [12, 11, 8]. Although supersymmetry is shown to remain unbroken in [8], the SUSY Hamiltonian there yields different spectra in the symmetric and Landau gauges as verified in appendix VI.2. On the other hand, supersymmetry is shown to be broken in appendix VI.1 for the cases of [12, 11]. All these are remedied in the present article by introducing a gauge invariant mathematical formalism for which supersymmetry remains unbroken in all order of the noncommutativity parameter .
The physical problem that we address in the present article is that of a spin charged particle of mass and charge constrained to move in a noncommutative plane under the influence of a uniform vertical magnetic field . The dynamics of such a charged particle having spin in the commutative setup is best described by the Pauli Hamiltonian given by (3.1). Since the commutative problem exhibits supersymmetry (see [7]), we expect similar results to hold in the noncommutative setup. Essentially, there are 2 technical ingredients of the recipe: 1) Noncommutativity and 2) Supersymmetry. The first ingredient of the recipe for the model we are considering was introduced in [4]. For the classical system of a particle moving in a 2-dimensional plane, observables belong to the commutative algebra , equipped with pointwise product. Deformation quantization technique can be used by deforming this commutative algebra of classical observables using a deformation parameter (for instance, by taking in (2.9) to be smooth functions on ). For the quantum mechanical system of a scalar (spinless) particle moving in a 2-dimensional plane coupled to an external vertical uniform magnetic field, we need to consider equivalence classes of unitary irreducible representations (Unirreps) of an appropriate symmetry group. We know from our previous studies [3] that the kinematical symmetry group, for a quantum mechanical system in a noncommutative plane, is the nilpotent Lie group of the triple central extension of the abelian group of translations in . Therefore, we want our quantum observable space (which turns out to be an involutive noncommutative algebra after successful deformation of ) to conform with a certain class of self adjoint irreducible representations (see 2.1) of the universal envelo** algebra of the Lie algebra associated with the Lie group that models a family (parameterized by ) of equivalent noncommutative planes. But we have a particle on a noncommutative plane to be coupled with an external uniform vertical magnetic field. This is achieved by introducing the noncommutative gauge field (2.14). While applying the deformation quantization technique, we had to maintain careful agreement between the representation theoretic picture (see section II) and the deformation quantization picture (see section II.1). Now that we have the mathematical framework to model a scalar charged particle in a noncommutative plane coupled to an external vertical uniform magnetic field using deformation quantization following [4], we proceed to formalise the framework to deal with the second ingredient of the recipe, namely supersymmetry.
The quantum observables, in the mathematical formalism we propose, belong to the noncommutative -algebra (or involutive algebra) of formal power series in with coefficients in the commutative ring first introduced in [4]. The noncommutative, associative product between 2 formal power series is given in (2.9) which was first introduced in [4]. The parameter that labels this noncommutative product is called the gauge parameter as the resulting Poisson structure is independent of it (see 2.19). Note that the gauge parameter here that labels the star product is the same as the one that labels the equivalent noncommutative planes in (2.1) as mentioned in the previous paragraph. The gauge parameter value corresponds to the familiar Landau gauge while corresponds to the symmetric gauge. The involution is defined in (3.12) using the inner product of the Hilbert space . The state space is a -graded algebra of formal power series in . The first component of an element is meant to represent a bosonic state while the second component of represents the fermionic partner state of . The super potential is a formal power series in with coefficients in the commutative ring . The explicit expression of the superpotential in terms of its -product with a bosonic or a fermionic state is given in (3.10) so that . The supercharge operator and its adjoint are matrices with entries in the noncommutative -algebra , i.e., as given by (3.11). The supercharge operator upon acting on a fermionic state yields a bosonic state as can easily be seen using (3.15). Along the same vein, the adjoint , of the supercharge operator , acting on a bosonic state returns the fermionic state which also follows from (3.15). One then writes down the supersymmetric (SUSY) Hamiltonian , with being the Bosonic and Fermionic Hamiltonians, respectively. The noncommutative eigenvalue equations for the partner Hamiltonians then read as
|
|
|
|
(1.1) |
|
|
|
|
for . Energy eigenvaules of the partner Hamiltonians can be read off from the following expression
|
|
|
(1.2) |
with above and one considers and on the right side of (1.2) for and , respectively, on its left side. Here, is the mass and is the charge of the charged particle constrained to move on a -dimensional noncommutative plane subjected to the uniform magnetic field .
Equation (1.1) then leads one to the eigenvalue equation of the SUSY Hamiltonian for the excited SUSY eigenstate
|
|
|
(1.3) |
with and the eigenvalue for the excited SUSY state is given by
|
|
|
(1.4) |
Since , on the left side of (1.3), the entries, of the pertinent matrices following matrix multiplication, naturally get multiplied using the noncommutative -product. One immediately finds using (1.2) that the ground state energy of the Fermionic Hamiltonian is zero. There is no nontrivial Bosonic eigenstate, i.e., eigenstate of with zero energy as is also evident from (1.2). Hence, the ground state of the SUSY Hamiltonian associated with zero eigenvalue can be read off as
|
|
|
(1.5) |
where the fermionic ground state is worked out in (3.40) for an arbitrary real value of the gauge parameter . It is worth remarking here that the Fermionic ground state (see 3.41) is independent of the noncommutativity parameter in the Landau gauge () while the Fermionic ground state (3.42) in the symmetric gauge (corresponding to ) explicitly depends on the noncommutativity parameter . Similar situation arises when one computes the excited eigenstates of the SUSY Hamiltonian. The th eigenstate of the Fermionic Hamiltonian in the Landau gauge is computed in (3.47). This expression contains the th Hermite polynomial in the shifted -coordinate exponentially suppressed by a factor containing the same shifting. The shifting does not involve any contribution. The superpartner of , then, can easily be seen to be , which, in terms of superpotential operator (3.8), can be read off as . One can then gather these excited partner states as components of a column vector (see 3.49) representing the th excited state of the SUSY Hamiltonian in the Landau gauge. The th eigenstate (see 3.58) of the Fermionic Hamiltonian in the symmetric gauge, on the other hand, contains associated Laguerre polynomials in deformed radial variable in the cylindrical coordinate system. There are an exponentially suppressed and a positive exponential factors containing similar deformation of the radial coordinate of the underlying cylindrical system. One, then, finds the superpartner state , of the Fermionic state which can be gathered together as components of a column vector (see 3.59) representing the th excited state of the SUSY Hamiltonian in the symmetric gauge.
It is to be noted that in our formalism, the eigenvalues of the partner Hamiltonians in (1.2) and hence the eigenvalues of the SUSY Hamiltonian given by (1.4) are not only gauge independent (parameter independent) but also are all independent of the noncommutativity parameter . The mathematical reasoning for independence of the SUSY energy spectra is that our formalism is a gauge independent one, i.e., one obtains the same energy (see 1.4) for a given SUSY partner states (determined by ) in any gauge. Now, as emphasized in the previous paragraph, both the ground state and the th excited eigenstate of the Fermionic Hamiltonian in the Landau gauge does not contain in their expressions. As a result, there will be no contribution of in the pertaining energy eigenvalues of the Fermionic Hamiltonian in the Landau gauge. Since our formalism is a gauge independent one, energy eigenvalues of the SUSY Hamiltonian will be independent of in any gauge. In other words, energy spectra of the SUSY Hamiltonian for the SUSY Landau problem in a noncommutative plane exactly matches with the ones obtained from the SUSY Hamiltonian associated with the SUSY Landau problem in an ordinary 2-dimensional plane.
The organization of the article is as follows. In section II, we briefly recall the mathematical formalism adopted in [4] for modelling a spinless charged particle moving on a noncommutative plane under the influence of an external vertical uniform magnetic field. Subsequently, in section III, we extend the formalism to model a spin charged particle in the same set up by embedding the formalism discussed in the previous section into the framework of supersymmetry. In particular, we explicitly compute the superpotential as a formal power series in the deformation parameter using the noncommutative gauge fields introduced in section II.1. The pertinent super charge operator , its adjoint , and supersymmetric Hamiltonian were thereafter computed that satisfy the deformed SUSY algebra given by (3.22). Gauge dependent ground state of the Fermionic Hamiltonian was explicitly computed there. We then obtained the th excited eigenstate of and its partner state explicitly. In section IV, we compare the results obtained in this article with the ones obtained in some of the relevant published articles. Finally, in section V, we provide our concluding remarks and point out some of the possible future directions. Appendices VI.1,VI.2 were created to facilitate the comparisons conducted in section IV, while appendix VI.3 provides the detailed calculation for the computation of the gauge parameter -dependent ground state of the Fermionic Hamiltonian .
II Scalar Charged Particle in a Noncommutative Plane and Minimal Coupling to an External Magnetic Field
A triple central extension of the abelian group of translations in was introduced in [2, 1]. The resulting centrally extended group is a 7-dimensional nilpotent Lie group which was denoted by there. It is considered the kinematical symmetry group of quantum mechanics in a noncommutative plane (see [3]) in the same spirit as the 5-dimensional Heisenberg group underlies the structure of quantum mechanics in a 2-dimensional plane. For details on the comparison between and , refer to (section II of [1]). The set of equivalence classes of unitary irreducible representations (unirreps) of is called its unitary dual and is denoted by . The unitary dual of is computed in [2] by means of the triple . Here, is interpreted as the magnetic field that is responsible for the noncommutativity between the 2 momentum operators out of the 4 noncentral generators of the nilpotent Lie group . In [4], one focuses on the equivalence class of unirreps of labeled by . One then forms a family of equivalent irreducible self-adjoint representations (due to different values of the gauge parameter ) of the universal envelo** algebra of the Lie algebra associated with the Lie group :
|
|
|
|
(2.1) |
|
|
|
|
|
|
|
|
|
|
|
|
Here, and are the quantum mechanical position operators. They act on a generic element in the following way
|
|
|
|
|
|
|
|
Also, the quantum mechanical momenta operators and act on a generic vector in the following way
|
|
|
|
|
|
|
|
Physically, what one has is a family (parameterized by ) of noncommutative 2-planes due to a fixed triple . One then couples a spinless point particle of mass , moving in the noncommutative plane, to an external uniform magnetic field minimally through the introduction of the following -parameter family of representations ( being the coupling):
|
|
|
|
(2.2) |
|
|
|
|
|
|
|
|
|
|
|
|
Here, and are called the kinematical momenta operators. The minimal coupling of the particle, of mass situated in the noncommutative plane (given by (2.1)), with the external electromagnetic field can be manifested by a simple manipulation of (2.2):
|
|
|
|
(2.3) |
|
|
|
|
|
|
|
|
|
|
|
|
The representation given in the equation above satisfy the following set of commutation relations:
|
|
|
|
(2.4) |
|
|
|
|
|
|
|
|
Here, is the identity operator on . The last 2 commutators and , above in (2.4), are gauge dependent and are not intrinsic to the group as the kinematical momenta and are not generators of the Lie group , but rather they are derived objects (see the last 2 equations of (2.3)) obtained from the group generators , , and of the Lie group . Now, writing and , the kinematical momenta, in the last equations of (2.3), take the following form
|
|
|
(2.5) |
where the 2-component operator represents a noncommutative gauge field given by
|
|
|
(2.6) |
The derivations , with , of the components of the operatorial expression of the noncommutative gauge field given by (2.6), are defined by
|
|
|
(2.7) |
where . From the explicit expression (2.6) of the operatorial representation of the 1-parameter family of noncommutative gauge fields, one, using the definition (2.7) of derivation, obtains the following
|
|
|
(2.8) |
Equation (2.6) does not seem very natural as the underlying gauge fields are operator valued one forms. The more natural framework would be to treat the underlying noncommutative U(1) gauge fields as some noncommutative algebra valued one forms. In the following subsection, we briefly discuss this framework called deformation quantization and discuss how it can be applied to the case of a scalar charged particle confined to a noncommutative plane under the influence of a vertical uniform magnetic field, as was carried out in [4].
II.1 Star Product Approach
For a thorough understanding of the theory of deformation quantization from geometric point of view, we refer the readers to the beautiful exposition [10] by Fedosov. In the context of a scalar charged particle moving in a noncommutative plane under the influence of a vertical uniform magnetic field , one introduces a noncommutative associative *-algebra (involutive algebra) of formal power series in the deformation parameter (the same as the spatial noncommutativity parameter introduced in the previous section) and coefficients lying in the ring .
To begin with, the set of all formal power series in with coefficients in the commutative ring is endowed with the structure of a ring and is denoted by . Now, given 2 formal power series , one can define a noncommutative associative product between them following [4] as follows
|
|
|
(2.9) |
which is parameterized by the same gauge parameter , used to label the noncommutative planes in (2.1). Here the formal power series can be read off as
|
|
|
|
(2.10) |
|
|
|
|
with and being smooth functions of for .
Endowed with the noncommutative associative -product defined in (2.9), the ring of formal power series now attains the structure of an involutive algebra . The involution can easily be defined first by using the -product of an element of with a sufficiently well-behaved function in and then using the inner product available in (see (3.12) for details). The following result is a consequence of the star product defined above (2.9)
|
|
|
|
(2.11) |
|
|
|
|
where is a sufficiently well-behaved vector in . To uniformize notations, let us introduce the following definitions
|
|
|
(2.12) |
where and can be considered as elements of the noncommutative -algebra and is a sufficiently well behaved functions in .
Finally, one can proceed to show that the star product is gauge equivalent to the star product [4] both obeying (2.9) by proving the existence of an invertible operator on satisfying
|
|
|
(2.13) |
Here, the invertible operator is given by .
According to this formalism, one can rewrite the vector potential given in operatorial form (see 2.6) as
|
|
|
(2.14) |
where and are considered as elements of the noncommutative -algebra obeying(2.11). The gauge field written as an ordered pair of formal power series in now obeys the following in parallel with (2.8):
|
|
|
(2.15) |
where that maps everything to .
Before closing this section, let us look into how one obtains gauge parameter -independent Poisson structure from the star product defined in (2.9). For as given by (2.10), one obtains
|
|
|
|
(2.16) |
|
|
|
|
|
|
|
|
Similarly,
|
|
|
|
(2.17) |
|
|
|
|
|
|
|
|
One can, then, write the difference between the above two expressions of -products as
|
|
|
|
(2.18) |
|
|
|
|
where the higher order terms in are dropped. Dividing both sides of (2.18) by and taking the limit , one obtains
|
|
|
(2.19) |
where the curly bracket on the right side of (2.19) stands for the Poisson bracket between the -th order terms and , of the formal power series and in , respectively. We immediately see that although the star product between 2 formal power series involves the gauge parameter explicitly (see 2.9), the term in their star commutator that is linear in (which is precisely the Poisson bracket between the pertaining 0-th order terms of the formal power series in question) is independent of the gauge parameter , as expected.
III Supersymmetric Quantum Mechanics in Noncommutative Spaces
The main purpose of the present article is to study the system of a spin charged particle constrained to move on a 2-dimensional noncommutative plane under the influence of a uniform vertical magnetic field using the deformation quantization technique discussed in the previous section for the case of a scalar charged particle in a noncommutative plane subjected to a uniform vertical magnetic field. In the commutative setup, one can extend the formalism for the spinless charged particle to the case of a charged particle with spin by taking the coupling of the spin of the particle with the applied magnetic field into account. For the dynamics of a particle having spin there will be an extra contribution to the Hamiltonian due to this direct interaction of the intrinsic magnetic moment of the particle with the applied magnetic field (see page 456, [15]). One includes this extra contribution to the Hamiltonian of a spinless charged particle to write the correct expression of the Hamiltonian of a charged particle having spin. A well-known Hamiltonian, that incorporates all these ideas for a particle with spin, is the Pauli Hamiltonian. In the following, we will first discuss the Pauli Hamiltonian in the commutative setup in detail.
The system of a spin charged particle moving in an ordinary 2-dimensional plane under the influence of a vertical uniform magnetic field is known to exhibit supersymmetry [7].
The Hamiltonian corresponding to this commutative problem is given by the following Pauli Hamiltonian
|
|
|
(3.1) |
where are the corresponding mass, and magnitude of the charge (hence nonnegative) of the particle, respectively, and is the magnitude of the magnetic field (hence nonnegative). Besides, and
are the identity matrix and the third Pauli matrix, respectively. The value of the
gyro-magnetic ratio is 2 for the problem to possess supersymmetry. It is worth remarking here that supersymmetry (SUSY) fixes the value of the gyro-magnetic ratio .
The pertinent supercharge operator for the above defined Hamiltonian is given by
|
|
|
(3.2) |
where the superpotential operator is defined by
|
|
|
(3.3) |
Furthermore, the operators and satisfy the supersymmetric algebra, i.e.,
|
|
|
(3.4) |
with is given in (3.1). One should also note that is a -operator valued matrix given by
|
|
|
(3.5) |
where
|
|
|
|
(3.6) |
|
|
|
|
are the partner Hamiltonians.
Henceforth, we will distinguish an operator on from the corresponding noncommutative algebra element in with the introduction of a hat. It should also be mentioned here that in the above we consider , , and to be operator (on )-valued matrices, while, in the following, we will construct analogous objects, denoted by , , and , which are all noncommutative algebra -valued matrices, i.e., .
In this article, we consider the noncommutative gauge field as an ordered pair of formal power series each belonging to (see [4])
|
|
|
(3.7) |
The superpotential in terms of the formal power series and takes the following form
|
|
|
(3.8) |
It is evident from equation (3.8) that the superpotential is again in . The -product between the superpotential given by (3.8) and a sufficiently well-behaved vector is given by
|
|
|
|
(3.9) |
|
|
|
|
|
|
|
|
|
|
|
|
Here, and are given by the equation (2.1). The above equation (3.9) can be expressed as a formal power series in with coefficients in :
|
|
|
|
(3.10) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We denote this fact as , the noncommutative, associative -algebra of formal power series in with coefficients in . Therefore, one can write and in terms of . The Hamiltonian is the anticommutator of the supercharges and . In particular, the supercharges and in the noncommutative plane is given by
|
|
|
(3.11) |
Here, and are -valued matrices, i.e., . One should also note here that we denote by the involution operation on the noncommutative -algebra . The involution of the noncommutative algebra element can be realized by means of the -product with a sufficiently well-behaved algebra element :
|
|
|
|
(3.12) |
|
|
|
|
|
|
|
|
where , denotes the inner product of . One should also note here that is a formal power series in , whereas is an operator.
In supersymmetry, one considers a -graded Hilbert space on which the supercharges act. In the context of deformation quantization, one can replace this -graded Hilbert space by a graded algebra of formal power series:
|
|
|
(3.13) |
Therefore, each element is a two component column vector, i.e.,
|
|
|
(3.14) |
where each of and is in . As a result, the action of (or ) on is given by
|
|
|
|
(3.15) |
|
|
|
|
The product defined above between and merits elaboration: initially the product between and follow the rule of matrix product while the product between the elements are the star product .
Now, one can find the partner Hamiltonians by straightforward calculations:
|
|
|
|
(3.16) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Similarly,
|
|
|
|
(3.17) |
|
|
|
|
|
|
|
|
Here, the part inside the braces of the partner Hamiltonians can be replaced by the following equation [4]
|
|
|
(3.18) |
where is the noncommutative field strength and is the constant function in that maps all of to the constant real value . Using (3.18),
one can rewrite the partner Hamiltonians as
|
|
|
|
(3.19) |
|
|
|
|
Therefore, the supersymmetric Hamiltonian is exactly the Pauli Hamiltonian, i.e.,
|
|
|
(3.20) |
One should immediately notice from the above equation that the SUSY Hamiltonian is a matrix given by
|
|
|
(3.21) |
Since as is evident from (3.19), one finds that .
Without much difficulties, one can now show that and satisfiy the following deformed SUSY algebra
|
|
|
(3.22) |
Here, the product between any two matrices from , and involved in the commutator and the anticommutator above in (3.22) is just the matrix product while the product between elements of the relevant matrices ensuing from the matrix product is given by the star product .
The Witten operator of the -graded vector space , given by the equation (3.13), can be read off as
|
|
|
(3.23) |
where , being the constant function in introduced earlier, is also the unital element of the noncommutative algebra . One, therefore, has . The eigenvalues of the Witten operator are , as expected. Here, is the eigenvalue of when it acts on a purely bosonic state of the form , while, is the eigenvalue of when it acts on a Fermionic state . Furthermore, one can show that the Witten operator satisfies the following equations involving commutator and anticommutator with , , , and itself (the matrix product is respected below again with the entries of the relevant matrices multiplied with one another using product):
|
|
|
(3.24) |
where is the matrix with every element of it being the constatnt smooth -function on that maps all of to the constant real value . Also, belongs to . Therefore, the SUSY quantum mechanical system, corresponding to the model we are considering, can be represented by the following quintuple (consult [17] for details)
|
|
|
(3.25) |
From (3.19) and (3.20), it is immediate that both the partner Hamiltonians, i.e. the Fermionic Hamiltonian and the Bosonic Hamiltonian , consist of two parts. The first part
|
|
|
(3.26) |
is exactly the Hamiltonian of the Landau problem in a noncommutative plane and the second part
|
|
|
(3.27) |
is an extra contribution. Using the technique specified in the reference (page 10 in [4]), one can immediately write the nth energy eigenvalue of the partner Hamiltonians and as
|
|
|
|
(3.28) |
|
|
|
|
for . The above expression can also be written in a matrix form as
|
|
|
(3.29) |
where and are the identity matrix and the third Pauli matrix, respectively.
Using equations (3.8), (3.16), and (3.17), the Fermionic and Bosonic Hamiltonians can be read off as
|
|
|
|
(3.30) |
|
|
|
|
The above expressions for the partner Hamiltonians then lead one to conclude that there exists a relationship between the eigenstates of and . To see this relation explicitly, let us denote by the th excited state of the Fermionic Hamiltonian with energy eigenvalue denoted by . One can then write
|
|
|
(3.31) |
The expression above then leads one to the eigenstate of the Bosonic Hamiltonian in the following way
|
|
|
|
(3.32) |
|
|
|
|
|
|
|
|
|
|
|
|
One then concludes that is an eigenstate of the Bosonic Hamiltonian with the energy eigenvalue . Therefore, the th eigenstate of the SUSY Hamiltonian is given by
|
|
|
(3.33) |
One finally arrives at the following expression of the SUSY Hamiltonian
|
|
|
|
(3.34) |
|
|
|
|
Here, the energy eigenstates , for . One immediately observes using (3.29) and (3.32) that the component wavefunctions and of the SUSY eigenstate , are indeed eigenstates of and , respectively, with the same eigenvalue
|
|
|
(3.35) |
It turns out that the energy eigenvalues are all independent of the noncommutativity parameter and the gauge parameter .
Hence, the eigenvalue equation (3.34) for the SUSY Hamiltonian reduces to
|
|
|
(3.36) |
for , where is given by (3.35).
From (3.29), one can see that the ground state energy of the Fermionic Hamiltonian is indeed zero. There is no nontrivial eigenstate of the Bosonic Hamiltonian associated with zero energy. In other words, the ground state of the SUSY Hamiltonian has the form:
|
|
|
(3.37) |
Hence, one concludes that the supersymmetry remains unbroken in all orders of for the model we are considering.
From equation (3.29), it is evident that the ground state energy of the Fermionic Hamiltonian is zero, which amounts to
|
|
|
(3.38) |
One then concludes from the above equation that the ground state , of the Fermionic Hamiltonian , is -annihilated by the superpotential , i.e.,
|
|
|
(3.39) |
One can use standard techniques of seperation of variables for solving partial differential equations to achieve an explicit expression of . The detailed calculation is given in the Appendix (VI.3). In what follows, we write the gauge parameter -dependent final expression of the ground state
|
|
|
|
(3.40) |
|
|
|
|
where is some constatnt determined by the boundary conditions imposed on the wavefunction. Plugging in , one obtains the Fermionic ground state in the Landau gauge given by
|
|
|
(3.41) |
Similarly, by setting , one gets the Fermionic ground state in the symmetric gauge given by
|
|
|
|
(3.42) |
|
|
|
|
The formalism that we have developed so far in this section is a gauge invariant formalism in the sense that one can change the value of the gauge parameter to consider the SUSY system in different gauges but there is no effect of the gauge parameter in the energy eigenvalues of the SUSY Hamiltonian given by (3.35). Now we proceed to compute the nth excited state of the Fermionic Hamiltonian in the familiar Landau and Symmetric gauges and verify that the respective energy eigenvalues are indeed the same. With the Fermionic Hamiltonians in both the gauges at our disposal, we then construct the nth eigenstate of the SUSY Hamiltonian in both Landau and Symmetric gauges.
Let us address the Landau gauge first. Plugging in in the second equation of (3.19), one obtains the expression for the algebra element of the Fermionic Hamiltonian in the Landau gauge. Going back to the operatorial presentation, the corresponding Fermionic Hamiltonian operator in the Landau gauge can be expressed as
|
|
|
|
(3.43) |
|
|
|
|
The Hamiltonian operator given by the above equation consists of two parts as discussed before. The first part given by
|
|
|
(3.44) |
represents the Landau Hamiltonian operator in the Landau gauge. The second part is an extra contribution. These two parts of the Hamiltonian operator admit simultaneous eigenstates which is precisely the eigenstate of the Landau Hamiltonian operator given by (3.44). To find the explicit expression of this eigenstate, one should first notice that the operator commutes with the Landau Hamiltonian operator given in (3.44). Therefore, one can replace with its eigenvalue times the identity operator on in (3.44). The equation (3.44) then reduces to
|
|
|
(3.45) |
One can further simplify the above expression as
|
|
|
(3.46) |
The expression above is that of the Hamiltonian operator of a 1-dimensional quantum harmonic oscillator with the potential shifted in the coordinate space by and the angular frequency . The energy eigenvalues and the nth excited eigenstate of the Landau Hamiltonian operator (which is also an eigenstate of the Fermionic Hamiltonian since the Landau Hamiltonian operator commutes with the Fermionic Hamiltonian operator) (see 3.44 and 3.43) are given by
|
|
|
|
(3.47) |
|
|
|
|
respectively, where is a suitably chosen normalization constant and is the -th Hermite polynomial in the shifted -coordinate. Hence, the energy eigenvalues of the Fermionic Hamiltonian operator , given by (3.43), in the Landau gauge are given by
|
|
|
|
(3.48) |
|
|
|
|
while, using (3.33), the th eigenstate of the SUSY Hamiltonian can be read off as
|
|
|
(3.49) |
with being the superpotential operator associated with the superpotential (see (3.8)) expressed in the Landau gauge.
The above calculation is done purely in the Landau gauge, which, in this article, is achieved by setting the gauge parameter to zero. In what follows next, let us show that the same energy eigenvalues can be attained if one considers the Fermionic Hamiltonian in the symmetric gauge by setting the value of the gauge parameter to .
To express the Fermionic Hamiltonian (3.19) in the symmetric gauge, let us first evaluate
|
|
|
|
(3.50) |
|
|
|
|
|
|
|
|
by setting for the symmetric gauge.
Similarly, one proceeds to show that the following holds
|
|
|
|
(3.51) |
|
|
|
|
Let us denote
|
|
|
|
(3.52) |
|
|
|
|
|
|
|
|
|
|
|
|
The notation is borrowed from [4] where as a function of the gauge parameter is provided in equation (3.14) on p. 8 of [4]. Therefore, using the above notations, one can rewrite the Fermionic Hamiltonian operator in the symmetric gauge as
|
|
|
(3.53) |
One also obtains
|
|
|
(3.54) |
Let us define
|
|
|
(3.55) |
One finally arrives at the following expression of the Fermionic Hamiltonian operator in the symmetric gauge
|
|
|
(3.56) |
The Fermionic Hamiltonian operator , in the symmetric gauge, consists of two parts. The first one, being
|
|
|
(3.57) |
with , resembles exactly the Landau Hamiltonian operator in the symmetric gauge. The rest is an extra contribution arising from the Pauli equation.
These two pieces of the Hamiltonian operator commute with each other resulting in the fact that the Fermionic Hamiltonian operator (see 3.56) in the symmetric gauge and the Landau Hamiltonian operator (see 3.57) expressed in the symmetric gauge share simultaneous eigenstates. Therefore, it suffices to evaluate the eigenstates of the Landau Hamiltonian operator in the symmetric gauge given by (3.57). The most convenient way of solving the eigenvalue equation for the Landau Hamiltonian operator in the symmetric gauge is to use the cylindrical coordinate system. The excited eigenstates of the pertaining Landau Hamiltonian operator in the symmetric gauge can be read off as
|
|
|
|
(3.58) |
|
|
|
|
where is a normalization factor, is the associated Laguerre polynomial and . The relationship of the quantum number , attached to the Fermionic excited eigenstate in the symmetric gauge, with and appearing on the right side of (3.58) will be explored shortly. One, therefore, writes the th eigenstate (see (3.33)) of the SUSY Hamiltonian in the symmetric gauge as
|
|
|
(3.59) |
where is the superpotential operator corresponding to the superpotential (see (3.8)) expressed in the symmetric gauge.
The energy eigenvalues of the Landau Hamiltonian operator in the symmetric gauge are given by
|
|
|
(3.60) |
where is given by
|
|
|
(3.61) |
The details of these calculations can be found in [6]. Finally, the energy eigenvalues of the Fermionic Hamiltonian operator in the symmetric gauge can be read off as
|
|
|
(3.62) |
which exactly agrees with the expression for the energy eigenvalues given by (3.48). It is important to note here, using(3.61), that the energy eigenvalues given by (3.60) are degenerate in the non-negative integer values of , contributing to the degeneracy in the eigenvalues of the Fermionic Hamiltonian. To be more specific, any Fermionic excited eigenstate (see 3.58), in the symmetric gauge corresponding to a given integer value of the radial quantum number , will yield the same energy eigenvalue (which is equal to ) for whatever non-negative integer value we choose for the angular quantum number .