Keywords: Non-hermitian operator, Bose-Hubbard model, Partial -symmetry, Fock space, Reproducing Kernel Hilbert Space.
1. Introduction
Non-hermitian Hamiltonian with real eihenvalues in the context of symmetry has become an interesting area of investigation for last couple of decades [1, 2, 3, 4, 5, 6, 7, 8]. The present article stems from a recent study of partial symmetry by Beygi et. al. [9] where a variable specific action of symmetry operator is understood considering a model of an N-coupled harmonic oscillator Hamiltonian with purely imaginary coupling terms. It has also been observed that the reality and partial reality of the spectrum have direct correspondences with the classical trajectories.The present formulation attempts to explore the possibility of partial symmetry in a Bose-Hubberd hamiltonian operator[10] as well as in its eigenstates in a typical Fock space environment. The relevant Fock space [11] has been viewed as a Reproducing Kernel Hilbert Space [12, 13, 14, 15, 16, 17]and the symetry operators are understood as Weighted Composition Conjugation [13, 14, 15] acting on it.
We begin with the following definition of Fock space involving functions of complex variable.
-
Definition 1.
A Fock (or Segal-Bargmann) space is a separable complex Hilbert space of entire functions (of the complex variables ) equipped with an inner-product
|
|
|
|
|
|
(1) |
Here, represents the relevant Gaussian measure relative to the complex variable .
In a Fock space of one complex variable symmetry is often understood as a consequence of the more general notion of weighted composition conjugation [13] defined as follows.
-
Definition 2.
Let, is a complex variable and are complex numbers satisfying the set of necessary and sufficient conditions : and .The weighted composition conjugation is defined as
|
|
|
(2) |
The anti-linear operator is a conjugation since it is involutive and isometric. The action of the operator is equivalent to the choice : which results to the following equation
|
|
|
(3) |
Similarly, the action of is indicative of the choice : giving
|
|
|
(4) |
If is a function of several complex variables one can define an operator with the action
|
|
|
(5) |
Let us introduce an operator as -th partial symmetry () operator through the following action
|
|
|
(6) |
and a global symmetry operator through the action
|
|
|
(7) |
For our present purpose we shall only consider the operators and . Now, global and partial symmetries of any
function are understood through the following equations
|
|
|
(8) |
respectively.
2. The model Hamiltonian and symmetry in Fock space
In the present discussion, following [10] a Bose-Hubbard type Hamiltonian has been considered. Such a Hamiltonian has been invoked as a two mode version for a second quantized many particle system showing Bose-Einstein Condensation (BEC) in a double well potential at low temperature. The said Hamiltonian becomes non-hermitian if one of the interaction terms present in it is taken as purely imaginary.The model Hamiltonian under consideration is given by
|
|
|
(9) |
Here represents the on site energy difference, is the single particle tunneling and stands for the interaction strength. are boson operators satisfying the condition . The Hamiltonian commutes with the number operator indicating particle conservation. For the time being we consider and and to be real.
In order to understand symmetry in Fock space we rewrite the Hamiltonian using Bargmann-Fock correspondence : as follows
|
|
|
(10) |
Following [13, 14, 15] we shall demonstrate the actions of weighted composition conjugations and on via the notion of Reproducing Kernel Hilbert Space (RKHS).
-
Definition 3.
A function of the form ( and ) is called a kernel function (or a reproducing kernel) which satisfies the condition
|
|
|
|
|
|
(11) |
Considering the case with two complex variables the following proposition is immediate.
-
Proposition 1.
where is defined as .
Proof : We shall first show that .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(12) |
An identical argument holds for and similar calculations justify forms of adjoints for the operators for . For example, it can be shown that
|
|
|
|
|
|
(13) |
Using these results in the expression of Hamiltonian the proposition is verified.
-
Proposition 2.
is self-adjoint i. e.;
Proof : We shall first show the case with . Considering the conjugation operator we find
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(14) |
Similarly one can prove and . Using these result in the expression of the Hamiltonian the above proposition is verified.
-
Proposition 3.
has symmetry i. e.; , for but it lacks global symmetry i. e.;
.
Proof : We shall only verify the that through the following steps
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(15) |
Similarly,
|
|
|
|
|
|
|
|
|
|
|
|
(16) |
Using these and similar results for the expression of the Hamiltonian the proposition can be verified.
3. symmetry of the eigenstates of the Hamiltonian
First we shall show that the reality of the eigenvalues is directly related to the symmetry of the eigen states of the Hamiltonian. It is readily observed that the present Hamiltonian leaves the homogeneous polynomial space of two indeterminates invariant. Considering such a space of degree of homogeneity and polynomial bases the operator has the following tridiagonal representation
|
|
|
(22) |
Here, .
The the eigenvalues of such a matrix can be found out with the help of the following theorem [18].
-
Theorem 1.
Given a tri-diagonal matrix
|
|
|
(23) |
with , let us consider a polynomial
that follows the well-known three term recursion relation [19, 20]
|
|
|
(24) |
If and the eigenvalues are given by the zeros
of the polynomial and eigenvector corresponding to -th eigenvalue
is given by the vector
|
|
|
(25) |
Proof :
Let be the eigen vector corresponding to the eigenvalue . Then the eigenvalue equation gives us
|
|
|
|
|
|
|
|
|
|
|
|
(26) |
Since , one can write . Now in view of the recurrence relation (equation-24)
|
|
|
(27) |
Continuing the substitution recursively we get
|
|
|
(28) |
Substituting in equation-28 and using the three term relation (equation-24) we get
|
|
|
(29) |
giving the characteristic equation .
Now going back to the matrix in equation-22
and comparing the matrices in equation-22 and equation-23 we get , and , one can determine the eigenvectors and eigenvalues of the matrix using the above algorithm.
3.1. Reality of the eigenvalues and symmetry of the eigenstates
Without calculating the eigenvalues explicitly, an immediate inference regarding the symmetry behaviour of the eigenfunctions is possible in view of the reality of the eigenvalues. We shall consider the following two cases.
Case-I :
Let us begin from the value . The matrix of is a matrix. Correspondingly the matrix has the diagonal elements . This implies . When for some fixed , and the matrix becomes a matrix. As a consequence a polynomial equation implies and roots of this polynomial equation gives us the eigenvalues. The eigenvector corresponding to an eigenvalue would be given by the vector
|
|
|
(30) |
The first term is equal to one for all values of . Now for real it is easy to verify that starting from the purely imaginary second term the subsequent terms are alternatively real and purely imaginary leading to the following equivalence
|
|
|
(31) |
Here, are real functions of with . In the Fock space setting the eigenfunction in can be given by
|
|
|
(32) |
Now the action of partial parity operator on can be understood through the following equation
|
|
|
|
|
|
|
|
|
(33) |
Similarly, .
Case-II :
Similar argument as given above can lead to the following eigenfunction for odd
|
|
|
(34) |
where, are real functions of some real eigenvalue with .
Now actions of on are given by
|
|
|
(35) |
Remark-I :
It is observed that the eigen functions for even are symmetric in either of the variables whereas, for odd the eigenfunctions are symmetric in one variable and anti-symmetric in the other . It can also be shown that and implying the fact that neither of them has any global symmetry.
Remark-II :
If the eigenvalue has any nonzero complex part the antilinear action of the operators representing symmetry replaces the coefficients or by their respective complex conjugates thus destroying the symmetry of the eigenfunctions. This phenomenon may termed as symmetry breaking.
It is obvious that the eigenvalues have a strong parametric dependence on the values of the parameters and an issue that may be discussed elsewhere. Considering and the eigenvalues are . This means, according to the above discussion, the states corresponding to is a symmetric state but those corresponding to and are symmetry breaking states. On the other hand, for the eigenvalues are and consequently, all the states are symmetric.
In the above discussion only the cases with non-degenerate eigenvalues have been considered. The situation with degenerate eigenvalues may be an interesting area of investigation.