Escolar Documentos
Profissional Documentos
Cultura Documentos
by
March 2008
AN INTRODUCTION AND BRIEF TOPICAL REVIEW OF NON-HERMITIAN QUANTUM MECHANICS WITH REAL SPECTRA
Acknowledgements
This work originally began as a PhD project in 2001 with the Department of Mathematics at the
University of Hull, under the supervision of Professor Paul Busch and Dr. Stefan Weigert. I extend my
gratitude and respect to both of them for their guidance at that time.
After my first year with the department, I developed Chronic Fatigue Syndrome (CFS), which led to
an indefinite intercalation from my PhD. Later, the Department of Mathematics closed and reopened
as the “Centre for Mathematics” (CfM). During this transition phase, I decided that I would not let
CFS stop me achieving my ambitions. I contacted the university to enquire if I could resume my
research, by reducing my PhD to a MSc degree. I extend my gratitude to both Dr. Nigel Shaw (Hull
University Graduate School) and Dr. Tim Scott (head of the CfM) for having agreed to this. Hence,
Since I resumed my research, I have faced many difficulties. Not least, that of learning to live with
CFS. Despite all of this, I was determined to see this project through. However, I must give the
following thanks to those people who have supported and guided me in this endeavour. Dr. Stefan
Weigert for continued academic and intellectual support; and proof reading my first draft; all despite
having moved on from Hull University. Dr. Tim Scott for administrative support and proof reading.
Avril Johnson for learning support. Finally, I would also like to extend thanks and admiration to my
mother, Carol Gilson, who has given unwavering moral support and many hours proof reading
I also wish to cite the computer software used in the production of this thesis. All of the software listed
here is free and open source, released under either the GNU Public Licence (GPL) or the Limited GPL
(LGPL). All diagrams were produced with “The GIMP” (GPL, http://www.gimp.org/) and “Inkscape”
all mathematical objects were written in “OpenOffice.org Math” and the thesis was completely written
David R Gilson 2 of 77
AN INTRODUCTION AND BRIEF TOPICAL REVIEW OF NON-HERMITIAN QUANTUM MECHANICS WITH REAL SPECTRA
Abstract
This thesis begins by introducing the postulates of standard quantum theory. It then recounts
historical attempts to break away from the limitation of Hermiticity, while preserving the
requirements of a real spectrum and unitary time evolution. It goes on to report how non-
Hermitian theories have been put to use in recent years, as academic interest has grown
markedly. The thesis proceeds to examine in detail the main non-Hermitian frameworks (PT
investigate the limitations of such theories, by examining how the reality of their
David R Gilson 3 of 77
AN INTRODUCTION AND BRIEF TOPICAL REVIEW OF NON-HERMITIAN QUANTUM MECHANICS WITH REAL SPECTRA
Table of contents
Chapter 1. Introduction............................................................................. 5
1.1. Organisation of thesis......................................................................................................5
1.2. Mathematical language and notation...............................................................................6
1.3. Physical motivation for quantum mechanics...................................................................7
Chapter 2. Postulates of quantum mechanics........................................ 11
2.1. Quantum states.............................................................................................................. 11
2.2. Time evolution.............................................................................................................. 12
2.3. Quantum measurements................................................................................................ 15
2.4. Composite systems........................................................................................................ 18
Chapter 3. Breaking away from Hermiticity.............................................19
3.1. Historical background of non-Hermitian quantum mechanics......................................19
3.2. Applications of non-Hermitian theories........................................................................ 22
3.3. Requirements for a non-Hermitian Hamiltonian...........................................................25
Chapter 4. Non-Hermitian frameworks of quantum mechanics.............. 26
4.1. PT and CPT symmetry.................................................................................................. 26
4.2. Pseudo-Hermiticity........................................................................................................34
4.3. Comparisons of CPT symmetry and pseudo-Hermiticity............................................. 40
4.4. Comparisons of PT symmetry of Hermiticity............................................................... 43
Chapter 5. Studies on spontaneous breakdown of PT symmetry........... 57
5.1. PT symmetry breakdown...............................................................................................57
5.2. Example: calculating exceptional points in the Lipkin model...................................... 59
Chapter 6. Conclusion............................................................................ 70
6.1. Summary....................................................................................................................... 70
6.2. Comments and outlook..................................................................................................72
Appendix A. Computer code................................................................... 74
References............................................................................................. 75
David R Gilson 4 of 77
AN INTRODUCTION AND BRIEF TOPICAL REVIEW OF NON-HERMITIAN QUANTUM MECHANICS WITH REAL SPECTRA
Chapter 1. Introduction
of papers could have been included in a review. Therefore, I set the following criteria:
1. Papers published before 1998 were included if they were useful in setting the
(b) Provided a basis on which original ideas were later brought to the field.
Chapter two gives a detailed mathematical statement of the postulates of quantum mechanics.
The postulates are written with the presumption that the reader has a solid grasp of linear
algebra but is not familiar with the physical concepts of quantum mechanics.
Chapter three gives a historical account of non-Hermitian quantum mechanics research since
1959, going as far as research in 2006. The historical picture shows how non-Hermitian
theories were used before the current frameworks were developed and how this was mostly
done on phenomenological grounds. The chapter goes on to state the requirements that a non-
Hermitian quantum mechanics theory must meet, with reference to the postulates given in
chapter two. Finally, chapter three reports on how non-Hermitian theories have been put into
practical application.
Chapter four gives a detailed examination of the non-Hermitian frameworks developed since
1998. In particular, these frameworks involve “PT/CPT symmetry” (Bender et al, 1998) [1],
these frameworks is conveyed, the chapter reviews papers in which they were introduced. The
PTSQM, and the second being that PTSQM is not an extension to the condition of
Hermiticity.
Chapter five looks more closely at PTSQM and discusses methods for identifying valid
PTSQM theories. It includes reviews of suggested ways to check for broken or unbroken PT
giving a report of a method which I created for analytically calculating exceptional points of a
The notation used for various mathematical objects will now be defined. This thesis will make
exhaustive use of the Dirac bra-ket notation, since this is a useful way of writing inner
products, although it does differ in principle from the traditional mathematical way of writing
A n-dimensional vector in a Hilbert space H is defined as the “ket” vector, where 1, , n ∈ℂ :
1
∣ 〉 ⋮
= (1)
n
The “bra” vector is the complex-conjugate and matrix transpose of the ket vector (the
〈 ∣= *1 , , n
*
(2)
Locking the bra Eq.(2) and the ket Eq.(1) together forms a bra-ket, an inner product. As an
n
*
1
*
1 n
∑ ∣ i∣
2
〈 ∣ 〉 = ⋮ =
2
= ∥∥ (3)
i =1
n
Having introduced this form of notation, one can assume all the normal axioms of linear
algebra to be valid.
Symbols for linear operators are distinguished from vector space symbols by a hat, such as H
At the turn of the 20th century most fundamental problems in physics were thought to have
been addressed. Around that time, physicists were considering the theoretical problem of
“black bodies”. A black body is defined as an object that absorbs all incident electromagnetic
radiation, reflecting none, and is capable of emitting any wavelength, with the energy of any
wavelength being a function of temperature. It was this study that would sow the seeds of
“atomists”, a distinction that would persist into the era of quantum theory.
The first attempt at calculating the energy output of a black body was by Wien in 1896 [3].
His result was widely accepted because it agreed with contemporary experimental
measurements, and was named “Wien's Law”. However, it did depend on two empirical
parameters and hence it was a purely phenomenological formula. Owing to the lack of a
theoretical basis, the formula was soon modified by Max Planck, and became known as the
“Wien-Planck Law”. This work was ultimately in vain, since experiments showed that the
Wien-Planck Law did not agree with experimental measurements at low frequencies.
Max Planck set about formulating a new law to account for the low frequency observations.
In 1901, he published a paper [4] showing a function that became known as “Planck's Law”,
3
2h 1
I ,T = 2 h / k T (4)
c e −1
The key concept behind this function is the quantization of energy. This was the first time that
energy had been treated as discrete and “quantized”; this was something inexplicable in
evidence. He was quite vague as to the nature of how or why energy was quantized, despite
many references to “Hertzian ocillators” [4]. Planck's law enjoyed great success with
It was not until 1905 that anyone suggested that nature itself might be quantized. Albert
Einstein took Planck's idea of quantized energy, and suggested that this would apply to light.
He proposed that packets of energy would come in discrete quanta of light (named
“photons”). This was the basis of the explanation of the “Photoelectric Effect” [5], for which
Until Einstein, the quantization of energy and “energy jumps” had only been considered as a
mathematical construct, not as something to do with the actual physical interaction between
matter and radiation [3]. The deep philosophical issue raised by Einstein's paper, which
caused it to be rejected by some, was the contradiction of the traditional picture of light as a
continuous wave. Suddenly light had begun to seem more like a particle; it was no longer a
After 1905 it was only a matter of time before more physicists would embrace the idea of
model of the hydrogen atom. In this model, the orbiting electron could only have discrete
“orbitals” around the proton [6]. It would require a specific quantum of light to kick the
In 1924, Louis DeBroglie wrote a PhD thesis [7] which further blurred the boundary between
waves and particles. He proposed that, since photons had both momentum and wavelength,
then one could assume that particles would also have some form of wavelength, a “matter
wave”. This became known as “wave particle duality”. The mathematical expression of this is
quoted below:
h
=
p
(5)
In 1925, two complete forms of quantum theory were published, each one having been
developed independently of the other. Erwin Schrödinger published his “wave mechanics”
[8], which can be thought of as naturally leading on from the DeBroglie matter waves. The
“Schrödinger Equation” is a second order differential equation. From this, quantum states are
related to “wave functions” which obey this equation. A much more abstract theory called
“matrix mechanics” was published by Werner Heisenberg [9]. Matrix mechanics works by
describing quantum systems in terms of matrices. It is the linear algebra of matrices and
vectors that give rise to the characteristic “quantum jumps” between states which are
described using “eigenvalues” and “eigenvectors”. The study of matrix mechanics led to the
“Copenhagen Interpretation”, which says that one should interpret quantum theory as a
probabilistic theory. In wave mechanics the square of the amplitude of the “wave function”
should be interpreted as a probability density. After closer analysis it can be shown that these
two different early forms of quantum theory are actually equivalent. This thesis will be
Quantum states are associated with state vectors, which exist within a state space. The length
of a state vector is always equal to one; it is the orientation (“phase”) of a vector that defines
the state. State spaces in quantum mechanics are defined over complex Hilbert spaces, which
often have infinite dimensions. The use of dimensions should not be confused with spatial
dimensions. In a state space each dimension represents a distinct state of the system and an
infinite dimensional space simply represents a system with an infinite number of possible
states.
The basis over the state space is always orthonormal, this allows states to be clearly defined.
It is always possible to form an orthonormal basis in any Hilbert space by applying the Gram-
Schmidt process. If V is some Hilbert space which is spanned by the set of vectors
{∣v 1 〉 , ,∣v n 〉 } , then we can construct another set of spanning vectors {∣u1 〉 , ,∣u n 〉} in which all
vectors are mutually orthogonal i.e., 〈 ui∣u j 〉=i , j . (The Kronecker Delta function, i , j is equal
to one for i= j and equal to zero for i≠ j .) Then, each member of the set {∣u1 〉 , ,∣u n 〉} can
be normalised, thus creating an orthonormal basis set {∣e 1〉 , ,∣en 〉 } . In general, we can
∣ui 〉
∣e i 〉= (6)
〈 ui∣u j 〉
Each member of the orthogonal set ∣ui 〉 is expressed in terms of the ∣v i 〉 via the Gram-
Schmidt equation:
i−1
〈 vi∣e j 〉
∣ui 〉=∣vi 〉− ∑ ∣v i 〉 (7)
j=1 〈 e j∣e j 〉
There are two types of states, pure states and mixed states. The distinction between these is a
matter of statistics. Both types may be assigned a “density operator”, which is denoted by .
A pure state is a clearly defined state ∣ 〉 , whose density operator is a simple projection
operator, and as such is an idempotent transformation. Therefore, for the state ∣ 〉 , let the
=∣ 〉〈 ∣ (8)
This has the trivial effect of projecting the state ∣ 〉 back onto itself:
∣ 〉 = ∣ 〉〈 ∣ 〉
(9)
= ∣ 〉
Mixed states represent systems whose state is not precisely known. The state is then expressed
as a linear combination of pure states ∣ 〉mixed =∑ pi ∣i 〉 , where the coefficients pi are the
corresponding probability for each state. Similarly, the mixed state density operator is a linear
{ pi ∈ℝ +∣∑ pi =1 } (11)
Given the outer product structure of mixed in Eq.(10), we can infer that it has a diagonal
matrix, where the set { pi } are its eigenvalues. Given Eq.(11), we can see that mixed has a
normalised trace. Because mixed would be unaffected by complex conjugation and matrix-
The time dependent Schrödinger equation is the most general way of describing how a state
d
iℏ
dt
∣ t 〉= H ∣t 〉 (12)
This is the key equation in the Schrödinger picture of quantum mechanics in which the time
dependence of a dynamic system is determined by the system's state vector. This is in contrast
to the Heisenberg picture, where the time dependence is determined by that of the linear
operators which act as the physical observables of the system (observables are explained in
In Eq.(12), H is the Hamiltonian of the system. This is the operator that represents the total
energy of a quantum system. As with all other observable quantities in quantum mechanics, it
has a spectral decomposition (see section 2.3, the third postulate, below):
Its solution can be used to show how the state of the system changes between the times t1 and
i
− H t 2−t 1
∣t 〉=e
2
ℏ
∣t 〉
1
(14)
This special case can be described as a discrete evolution, which is the change of state
between two distinct points in time. The exponential factor acts as a unitary operator. Unitary
operators are an important class of operators which preserve the norm of vectors and can be
pictured as acting to rotate a vector about its point of origin. They have the following
property:
U † = U
U † U = I (15)
where U † is the Hermitian conjugate (complex-conjugate and matrix transpose) of U . Given
Eq.(15), we can see that unitary operators are invertible and that the Hermitian conjugate of a
We therefore define:
i
− H t 2 −t 1
:=e
U
ℏ (16)
∣t 〉=U ∣ t 〉
2 1 (17)
So far, the explanation of this postulate has been implicitly restricted to pure states. However,
it is possible to expand the time dependent Schrödinger equation to account for mixed states.
Imagine that we have a mixed state which is varying with time. Recalling Eq.(10), we can
1=∑ pi∣t 1 ,i 〉 〈 t , i∣
1
(18)
2= ∑ pi∣t 2 ,i 〉 〈 t , i∣
2
(19)
Substituting Eq.(17) into Eq.(19) gives:
2= U 1 U
†
(21)
If we let t1 be zero, and t2 be a general time t, then we can make the definition:
U
t := U †
(22)
Let us now differentiate Eq.(22) with respect to time and substitute in Eq.(16):
t
−i H i H t t
−i H i H t
d i i
= e ℏ
H e ℏ
− H e ℏ
e ℏ
(23)
dt ℏ ℏ
d i
t = U H U U †
U † − H (24)
dt ℏ
Eq.(24) can be rewritten with the commutator of H and ; this is possible because U and
H commute. The total energy of a closed system has to be a conserved quantity, and
d i
t = U [ H
, ] U
† (25)
dt ℏ
d i
t = [ H , t ] (26)
dt ℏ
This is the extension of the Schrödinger equation for mixed states. However, another
interesting observation can be drawn from this. Considering that the density operator of a
mixed state is an operator composed of states (as outer products), we have constructed an
operator that has time dependence, even though we have been looking at the Schrödinger
picture of quantum mechanics where time dependence is meant to be within state vectors!
Considering Eq.(26), we can see that t is a Hermitian operator, and could be replaced by
any other Hermitian operator. This almost reconstructs the Heisenberg picture of quantum
mechanics. The only term missing is the classical time derivative, because a quantum state
d
dt
1
At= [ H
iℏ
, At ]
∂A
∂t classical
(27)
The third postulate explains how quantum states are affected by measurement. The second
postulate shows how states change with time in a closed system. However, the act of
measurement introduces an external system, and any measuring apparatus is simply another
physical system. Therefore, the act of measurement involves an interaction between the
apparatus and the system of interest. This is a concept that does not exist in classical physics
In the formalism of linear algebra the act of measurement is expressed by using linear
operators, which are called observables. As would be expected of such an operator class, they
have eigenvectors (also called eigenstates) and eigenvalues. Observables are required to
correspond to physically measurable quantities, which means that their eigenvalues must be
entirely real. Therefore, text book quantum mechanics requires that observables are self-
Given that observables are Hermitian, they can be expressed in terms of their spectral
decomposition:
M = ∑ m i∣mi 〉〈 m i∣ (28)
From Eq.(28), the set {∣m1, , n 〉 ∈H ∣〈 mi∣m j 〉=ij } is the set of eigenstates of M , which could also
be called an eigenbasis of the state space. Each possible state of the system can be thought of
as a one-dimensional subspace of the state space. Therefore, ∣mi 〉〈 mi∣ is a projector onto the ith
eigenstate. Hence, for a state ∣ 〉 , the probability p mi of measuring the ith eigenvalue mi is
defined as:
observable), then we would find the state to be in a superposition (linear combination) of the
operator's eigenstates. Measurement of the state by this operator would then project the
superposition into a single eigenstate; this is how a state is changed by the act of
measurement.
∣mi 〉 〈 mi∣ 〉
∣ new 〉= (30)
〈 ∣mi 〉 〈 mi∣ 〉
As we can see, the state becomes an eigenstate of the observable, to within a factor of minus
one.
For measurement operators, we define a quantity called the expectation value, which can be
〈 M 〉 :
〈 M 〉 := ∑ mi p mi
= ∑ mi 〈 ∣mi 〉〈 mi∣ 〉
(31)
= 〈 ∣ ∑ mi ∣mi 〉〈 mi∣∣ 〉
〈 M 〉 := 〈 ∣ M ∣ 〉
Similarly, we follow the same process for mixed states but treat it as a linear combination of
=
tr M ∑ pi 〈 i∣M ∣i 〉
(32)
= ∑ pi 〈 M 〉i
Given the mean measurement, we can calculate the standard deviation (or error) for
measurements:
=
M 〈 M 2
〉−〈 M 〉
2
(33)
Furthermore, the Heisenberg uncertainty principle shows how the uncertainty (i.e., error) of
two non-commuting observables are related. The result can be derived by use of the Cauchy-
Schwarz inequality, as shown in many text books; the result is quoted here:
A 1 ∣〈 ∣[ A
B≥ ]∣ 〉∣
,B (34)
2
Eq.(34) is applied to quantum theory by substituting into the equations the various canonical
commutation relations for quantum observables. For example, the commutator of the position
[ x , p ]=i ℏ (35)
By substituting Eq.(35) into Eq.(34), we can calculate the product of the standard deviations
ℏ
x p≥
2
(36)
When we wish to join two or more systems together, we define the new state space as the
tensor product of all of the individual state spaces. State vectors in the composite space are
made up of tensor products of state vectors from the component state spaces. This way of
In 1959, Wu published a paper calculating the ground state energy of “Bose spheres” [10].
According to the paper, a common problem with that type of calculation was that the ground
Hamiltonian avoided this problem. Remarkably though, this Hamiltonian possessed real
eigenvalues. However, the paper offered no justification for introducing such a Hamiltonian,
other than that it gave the required solution. In particular, it gave real numbers representing
low-lying energy levels of a Bose system. This paper was the earliest use of a non-Hermitian
[11]. He made the point that Hamiltonians of closed systems are Hermitian, but that when an
external interaction is considered the Hamiltonian loses its Hermiticity. Therefore, his class of
H =H
0 g H
(37)
Here, H 0 is a Hermitian Hamiltonian, H is a non-Hermitian Hamiltonian, and g is simply a
parameter to vary the influence of H . H has the restriction that it may only have a discrete
spectrum unless part of its spectrum coincides with that of H 0 . He calls this class
“dissipative” but does not fully define the term. The paper derives several propositions
relating to Hamiltonians in this class. However, at no point in the paper is the reality of the
A paper in 1969 by Wu and Bender [12] discusses an example of the anharmonic oscillator.
The paper does not explicitly discuss Hermitian or non-Hermitian Hamiltonians. The
1 1
H = ̇ 2 m 2 2 4 (38)
2 2
In [12], the parameter is extended into the complex plane, so the non-Hermiticity of their
methods of calculating the ground state of this system were also divergent. (Later
In 1975, Haydock and Kelly [13] published a letter reporting that they had used the “recursion
Arsenic. According to this letter, “chemical pseudo-potential theory” often gave rise to a non-
Hermitian representation of interactions between localised electron orbits. (See [13] for
further references.) This was one of the earliest papers to say explicitly that the condition of
In 1980, Stedman and Butler [14] published a paper reviewing material in the field of time
reversal and point group theory. In particular, focussing on the effect and selection rules for
time reversal in the rotation group SO3. This was the earliest reference found to the term “time
In 1981, Faisal and Moloney [15] studied a quantum decay process with a non-Hermitian
uncertainty principle, a decaying state could not have a sharp energy, and that the width of
associated with the decay process. The paper also includes a non-unitary yet self-consistent
These are just some examples of work from 1959 to 1998, which use non-Hermitian theories.
The common factor in all of these papers is that such theories were introduced on
phenomenological or heuristic grounds. In other words, such theories were chosen because
they fitted with experimental observation. From a pragmatic point of view, merely fitting
theories to observations could be considered reasonable. After all, nature is always correct!
However, papers which allowed the use of a complex spectrum (e.g., energy eigenvalues)
never appear to justify or elucidate the validity of such spectra. Therefore, since the prediction
of eigenvalues is the crucial link between theory and experimental observation, it would seem
A 1997 paper by Hatano and Nelson [16], did however, justify the use of a complex spectrum.
The relevant passage is quoted here (context: applying depinned field lines of a non-
“We can interpret the appearance of the imaginary part of the energy in the
trajectory and hence periodicity in the imaginary time direction. (See Fig.
on ‘‘initial conditions’’ at, say, the bottom surface of the sample, the period
of motion in the imaginary time direction associated with the nth eigenstate
systems.”
Throughout the papers mentioned here, there was no fundamental or analytical basis on which
non-Hermitian theories were chosen. Non-Hermitian theories with real spectra which did have
any sort of analytical basis did not appear in the literature until 1998.
The following are examples of ways in which non-Hermitian theories have been used.
As mentioned above, Hatano and Nelson [16] used a non-Hermitian magnetic field
mentions that non-Hermitian theories had even been used for a theoretical model of
population biology.
In 1998, Cannata et al [17] published a paper about Schrödinger operators with complex
potentials having real spectra. The introduction of the paper makes many references to noted
uses of non-Hermitian theories; it is quoted here for reference (please refer to the source for
their references):
in field theories, for example, when studying Lee-Yang zeros. Even in recent
In 2003, Killingbeck and Jolicard wrote an extensive two part topical review of Bloch wave
operators. Part one [18] references the use of perturbation series for a non-Hermitian
being used in iterative methods to calculate a wave operator with second order convergence.
Part two [19] mentions an optical potential which produces a non-Hermitian Hamiltonian with
an associated bi-orthogonal basis set. It also references an iterative integration method which
can use non-Hermitian Hamiltonians. Although the Bloch effective Hamiltonian is non-
In 2005, Znojil [20] wrote extensively about experiments in PTSQM. He cited several
phenomenological uses of PTSQM: Field theory, Nuclear physics, Many body theory,
suggested that “we” should look for new observables and that PTSQM is enriching the
“laboratory of solvable models”. He summarised by saying that new horizons are opening up,
both for relativistic quantum mechanics and for interpretations of the Einstein-Podolsky-
Rosen paradox.
In a 2004 paper, Ben-Aryeh [21] discusses the use of non-Hermitian operators to treat
scattering phenomena in atomic and molecular physics. The paper actually applies both
Bender et al published a paper in 2004 [22], in which they stated that it was unknown whether
phenomena, although they had already been used to describe interacting systems [10]. In this
paper they suggested that “an experimental signal of a complex Hamiltonian might be found
in the context of condensed matter physics”. Elaborating on this, they suggested the example
of a complex crystal lattice for which the potential would be expressed as:
= p 2 V x
H (40)
It would have a real energy spectrum but would be PT-symmetric, not Hermitian. In
Hermitian lattices, the wave function for a particle at the edge of the lattice would be 4
periodic (Fermionic). For the PT-symmetric case, such a wave function would be 2
periodic (Bosonic).
description of absorptive optical media, inelastic scattering from nuclei, and other loss
mechanisms on the atomic or molecular level. Weigert also noted that non-Hermitian theories
had recently been “rediscovered” within particle physics (refer to the paper for these
references).
The following are the requirements for a physically acceptable non-Hermitian theory:
[22]).
• Weigert [23] suggested an exception in which imaginary potentials can allow for
mechanics which has been principally developed by Bender et al. It has so far been the most
PTSQM was first introduced in a 1998 paper by Bender and Boettcher [1]. Their paper was
based on a conjecture, made in a private communication from Bessis, that the following
Hamiltonian, while not being Hermitian, would have a real and positive spectrum:
H = p x −i x (41)
2 2 3
The paper went on to make the claim that switching to PT symmetry promised “new infinite
The verification of the claims made about the spectrum of Eq.(41) relied on numerical
methods, since there was no theoretical proof. Analytic methods were only used briefly to
show how the eigenvalues could change from real to complex values.
The meaning of “PT” symmetry comes from the invariance of PT-symmetric Hamiltonians
under both parity and time reversal transformation. The parity operator, P effects spatial
reflections [1]:
P : x − x
p − p
(42)
T : x x
p − p (43)
i −i
P 2 = 1 (44)
T 2 =1 (45)
In PTSQM, it is not necessary for a Hamiltonian to be invariant under either P or T
invariant under both operations combined. According to [1], Eq.(42) and Eq.(43) show that
the canonical commutation relation, [ x , p ]=i I still holds. From [27], this must also be true if
we were to have a complex position and momentum, in which case, Eq.(42) and Eq.(43)
P : Re x −Re x Im x −Im x
(46)
Re p −Re p Im p −Im p
T : Re x Re x Im x −Im x
(47)
Re p −Re p Im p Im p
Moving on from Eq.(41), one can define a whole class of Hamiltonians of the form [1]:
H = p m x −i x
2 2 2 N
(48)
where m is mass and N ∈ℝ .
For this set of theories it was found that there are critical values of the parameter N at which
PT symmetry would spontaneously break. At such points, the spectra would change from
having all real eigenvalues to having a decreasing number of real eigenvalues and an
conjugate pairs. In the case of [1], this behaviour was determined by numerical methods; there
The way in which a PT-symmetric Hamiltonian can have a real spectrum was further
elucidated by Bender in [28]. He pointed out that if the P T operator commutes with the
Hamiltonian H and if we assume that the two operators can be simultaneously diagonalised,
then we can prove that the eigenvalues of the Hamiltonian are real. For elucidation, we will
expand on this:
P T H = H P T (49)
Post-multiplying both sides by T P demonstrates how the Hamiltonian would be PT
invariant.
P T H
T P = H (50)
We now write the time-independent Schrödinger equation:
P T H T P ∣ 〉n= P T E n T P ∣ 〉n (52)
Given that T E n T = E n and that P 2 = 1 we can then write:
*
P T H
T P ∣ 〉 n= E *n ∣ 〉n (53)
Eq.(50) and Eq.(51) imply the result:
E n∣ 〉 n= E n ∣ 〉n
*
(54)
which therefore means that:
*
E n= E n (55)
Hence the eigenspectrum is real, E n ∈ℝ .
This paper introduced several new classes of PT-symmetric theories, all of which had a real
parameter , which allowed exploration of the phase transition properties. The first
Hamiltonian was:
H = p x ix
2 2
(56)
For ≥0 the spectrum was determined to be real and positive. For 0 the spectrum had an
increasing number of complex values; PT symmetry had been spontaneously broken. Again,
there was no proof for this, just observation based on numerical tests. Further observation
showed that as decreased the eigenvalues paired off into complex conjugate pairs. A
similar observation was made for Eq.(41), see [1]. As the value of continually decreased,
The paper [27] introduced a more general Hamiltonian which was shown to have the same
characteristics as Eq.(56):
= p 2 x2K ix
H (57)
In 2001 Dorey et al [29] (Appendix B) wrote a paper which included the first elementary
attempt at a fundamental proof of the Bessis conjecture for the class of Hamiltonians given in
Eq.(57). Their proof made use of Bethe Ansatz equations, which are beyond the scope of this
study.
Also in 2001, Handy [30] developed a theoretical method for reproducing the results of
Bender et al [1] for the V x=−ix3 potential, applying a method known as the “eigenvalue
moment method”. His results were reported to be in agreement with Bender's [1]. This was
another good step towards providing a fundamental theoretical grounding for a PTSQM
theory, although it was limited in that it only applied to the pure imaginary cubic potential,
Hamiltonians was published by Weigert in 2003, [31]. In this paper he offered an alternative
view on the “spontaneous breakdown of PT symmetry”. He points out that previous works
eigenspectrum can be explained by taking into account that the P T operator is not unitary,
claims, “The properties of PT-symmetric systems are explained in a natural way” [32].
In 2002 Bender et al [33] extended the idea of PT symmetry. Previous attempts at formulating
a PT-symmetric quantum mechanical theory lacked a fundamental proof and had relied
heavily on numerical methods to check that the spectrum was positive-definite. The
systems which would allow a dynamically determined inner product to be defined. The
In [33], for the Hamiltonian H = p 2 x 2 i x ≥0 , which is PT-symmetric and has an
n x of the Hamiltonian are simultaneously eigenstates of the P T operator, for which the
unity:
P T n x= n − x=n x
*
(58)
From this they then gave the completeness relation associated with Eq.(56) as:
∑ −1n n x n y∣ = x− y
{ x, y∈ ℝ}
(59)
n
This relation was noted as “a non-trivial result that has been verified numerically to
extremely high accuracy” [33]. However, there was no explanation of how it was reached and
no references were given to its derivation, which is regrettable. Also, the precise nature of x
and y was not clarified; they seem to form some orthonormal position basis, such that
〈 x∣ y 〉 = x− y .
They went on to show an inner product for eigenfunctions which applied only for the case of
≥0 in Eq.(56):
viable or not. A theory that has an inner product such as that in Eq.(60) is describing a space
spanned by states, half of which having a norm of +1 and the other half having a norm of -1.
norms; therefore Bender et al admitted that having a negative norm created a serious issue of
interpretation. Another example of the difficulty this would cause is that associated with
expectation values. Expectation values are expected to be real and bounded below. However,
in this case they would be unbound, again causing a serious difficulty for the interpretation of
the theory.
Bender's solution to this problem was in turn one of interpretation, capitalising on the fact that
there are an equal number of positive and negative norms spanning its Hilbert space. This in
itself is a kind of symmetry. Therefore the linear operator C was introduced to describe this
symmetry (it was so named because its properties were similar to that of the charge
conjugation operator in quantum field theory [33]). It was then shown that C commutes with
both the Hamiltonian and P T . Most importantly, C had the property that C 2= I , which meant
that its eigenvalues were ±1 , precisely what was needed to counter the problem of indefinite
norms.
Weigert (2003) [34] wrote a paper to elucidate the meaning of the C operator. Here it was
pointed out that we are dealing with non-Hermitian operators and as a result we must take into
In general, for a non-Hermitian operator with a complete basis we may write the eigenvalue
problem:
H ∣ n 〉= E n∣ n 〉 (62)
The Hermitian conjugate of the operator then has a different eigenbasis whose eigenvalues are
i=n
∑ ∣ i 〉 〈 i∣= I (64)
i =1
products of basis vectors from the biorthonormal basis of the Hamiltonian (refer to [34] for
proof):
j =n
C = ∑ s j∣ j 〉〈 j∣ (67)
j=1
with:
j
s j =−1 (68)
Weigert went on to give a simple expression for the C operator, to stress its relationship to
the Hamiltonian of a system. First, take the biorthonormal diagonal representation of the
Hamiltonian [34]:
j =n
H = ∑ E j∣ j 〉 〈 j∣ (69)
j =1
Then define a function that takes the eigenvalues of the Hamiltonian into those of the C
operator:
f E j =s j (70)
Being able to relate Eq.(67) to Eq.(69) by means of Eq.(70), Weigert stated:
C = f H (71)
Bender's proof for C 2= I comes from the completeness relation Eq.(59) (as quoted from [33]):
parity operator could be constructed from eigenstates, as with C (shown here in position
representation) [33]:
P x , y = x y = ∑ −1 n x n − y
n
n
(74)
*
C P = P C (75)
It is clear from Eq.(75) that C will commute with P T , which means that the linear operator
C P T will solve the problem of indefinite norms, thus we seek Hamiltonians which are CPT-
symmetric.
Relating CPTSQM to Hermitian quantum mechanics, Bender [33] notes that as the parameter
conjugation has no effect. That is why Bender et al [33] claimed that CPTSQM is the natural
complex extension of Hermitian quantum mechanics. They further claimed that this would
The paper [33] concluded by giving a worked example of the construction of the C operator
for a given Hamiltonian, showing how the inner product structure of CPTSQM should be
written, in general:
please refer to Mostafazadeh and Batal [35], Mostafazadeh [36] and Jones [37].
4.2. Pseudo-Hermiticity
In 2002, Mostafazadeh published a trio of papers [38], [39], [40]. In which he laid out the
framework for an alternative form of quantum mechanics, in which the Hamiltonians are not
self-adjoint but still have a real positive-definite and complete spectrum. As observed in the
paper, it was already known that there were plenty of PT-symmetric Hamiltonians which did
not have a real spectrum and that there certainly were Hamiltonians with real spectra which
were not PT-symmetric. Therefore, he reasoned that PT symmetry was “neither sufficient or
necessary” to guarantee a real spectrum. The aim of this new framework of “pseudo-
In the first paper, [38], Mostafazadeh began by listing the properties of pseudo-Hermiticity.
defined as:
H = H †
# -1
(78)
An operator is then said to be -pseudo-Hermitian if:
=H
H # (79)
Next, Mostafazadeh [38] went on to give a series of propositions to demonstrate the properties
〈 1∣2 〉 := 〈 1∣ ∣2 〉 , ∀∣1〉 ,∣2 〉 ∈H , is invariant under the time-translation generated by the
This is proved by first noting that if the Hamiltonian is -pseudo-Hermitian then we may
write:
H = H
† -1
(80)
Then, inserting the pseudo-Hermitian inner product into the Schrödinger equation and using
d
i 〈 t ∣2 t 〉 = 〈 1 t ∣ H − H † ∣2 t 〉
dt 1 (81)
The inner product in Eq.(81) can only be time invariant if its rate of change with time is zero.
However, given the form of Eq.(81), it may only be zero if Eq.(80) is true. The generalisation
of ordinary quantum mechanics can also be seen here; if we choose = I , then we obtain the
In my view, the definition given by Eq.(80) has some remarkable consequences. Starting with
another eigenvector 〈 E i∣ . Then substitute the Hamiltonian with the respective eigenvalues.
H † = H
H ∣E j 〉 = H
†
∣E j 〉
〈 E i∣ H ∣E j 〉 = 〈 E i∣ H ∣ E j 〉
†
E −E j 〈 E i∣E j 〉
*
i
= 0
The result of Eq.(82) leads directly to Mostafazadeh's second proposition, quoted below [38]:
(a) The eigenvectors with a non-real eigenvalue have vanishing -semi-norm, i.e.;
complex conjugates,
Hermiticity, which are quoted here for reference (proofs for all of the following are given in
[38]):
1 #
1= (85)
=O
O
# #
(86)
#
z 1 O 1 z 2 O 2 = z *1 O #1 z *2 O #2 (87)
:V V
For { z 1 , z2 ∈ℂ } , O
For inner product spaces V 1,2,3 having Hermitian linear automorphisms 1,2,3 and
# †
O 2 O 1 =-11 O 2 O 1 3=-11 O †1 2 -12 O †2 3=O #1 O #2 (88)
-1 †
U O = U U
† -1 †U
U † O † -1 O
U † U = U † U (89)
U U
Let an inner product space V have two Hermitian linear automorphisms 1 , 2 , and
1 = -12 O
-1 †
1 O † 2
O † 1 = 1 -12 O † 2
O † -1 = -1 O † (90)
1 2 1 2
1 O -12 1
-1
2 = O
[O , -12 1 ] = 0
The paper [38] went on to show that a biorthonormal basis is the necessary condition for the
eigenvalues (in the form of conjugate pairs). This phase transition is an important observation
requiring explanation; it has been observed by Bender et al in numerical models [1] and
The essence of the biorthonormality proposition in [38] (Prop. 7) is that the Hermitian linear
automorphism and its inverse can be expressed by using outer products of elements from
the two sets of eigenvectors which form the complete biorthonormal basis of the Hamiltonian.
Furthermore, and −1 are mappings between those two sets of eigenvectors. The full proof
of the following results are contained in [38], but are summarised here for interest and
reference.
According to equations (62), (63) and (80) we may write (where ∣ n 〉 and ∣ n 〉 are the
eigensubspace.
We use subscript labels: “0” to denote eigenvectors associated with real eigenvalues and “±”
∣ n 〉 = ∣n 〉
0 0
, ∣ n 〉= ∣n 〉
± ∓
(92)
Combining Eq.(92) with Eq.(65) gives us the pseudo-Hermitian orthonormality relations:
〈 〈 ∣ 〉 〉 =
n0 m0 n0 , m 0 , 〈〈 ∣ 〉 〉 =
n± m∓ n± , m ∓
(93)
〈 〈 ∣ 〉 〉 =
n0 m0 n0 , m 0 , 〈〈 ∣ 〉 〉 =
n± m∓ n± , m ∓
Given equations (64) and (69) we may write the completeness identity and the Hamiltonian in
I = ∑ ∣ n 〉 〈 n ∣ ∑ ∣n 〉〈 n ∣∣ n 〉 〈 n ∣
n0
0 0
n+
+ + - - (94)
H = ∑ E n ∣n
n0
0 0
〉〈 n ∣∑
0
n
E n ∣n 〉 〈 n ∣E *n ∣n 〉 〈 n ∣
+
+ + + - - - (95)
=∑ ∣n
n0
0 〉〈 n ∣∑
0
n
∣ n 〉 〈 n ∣∣ n 〉 〈 n ∣
- + + - (96)
+
-1= ∑ ∣ n
n0
0 〉〈 n ∣∑
0
n
∣n 〉 〈 n ∣∣ n 〉〈 n ∣
- + + - (97)
+
These results were claimed [38] to give the necessary and sufficient condition for the presence
It should be noted that in the original paper [38] all of these results were even more general,
because they allowed for degeneracy. In fact, could not be invertible if this were not the
As claimed in the paper [38], this was the only theory to explain the underlying structure of
the real and/or conjugate-pair spectra, which in my opinion would seem to suggest that
time there was no corresponding explanation in the PTSQM literature. However, there was a
later explanation for the spectrum of PT-symmetric systems published by Weigert in 2003,
[31].
Mostafazadeh gave two more corollaries of his results on the pseudo-Hermitian framework:
The first paper of his three papers [38] showed that having eigenvalues that are either real or
complex-conjugate pairs is sufficient and necessary for pseudo-Hermiticity and vice versa. As
such, pseudo-Hermiticity is a necessary but not a sufficient condition for the existence of an
entirely real spectrum. The second paper of the three [39] thus gave a further characterization
Mostafazadeh [39] proves a short but elegant theorem which provides the added condition
Hilbert space H having a discrete spectrum and complete set of biorthonormal eigenvectors
{∣n 〉 ,∣n 〉 } , the spectrum of H is real if and only if there is an invertible linear operator
: H H
O such that H is O O † -pseudo-Hermitian.”.
:= ∑ ∣ 〉 〈 n∣
O
n
n (98)
H 0 =∑ E n∣n 〉 〈 n∣ (99)
n
-1 := ∑ ∣n〉 〈 n∣
O
n
(100)
We also have:
-1 H
O O=
H 0 (101)
If we assume by hypothesis that the spectrum of H is real and hence H 0 is then Hermitian,
we could write:
-1 H O=
O O † H
†O
-1† (102)
Which rearranges to:
-1
H = O O H
† O O † (103)
†
H is then O O † -pseudo-Hermitian. As shown in the final of the three papers [40], =O O † . In
As indicated in the previous section, Mostafazadeh made the claim that PT symmetry is
weighing the relative merits of each framework and in identifying the most fundamental
theory. Accordingly, the summaries that follow in this section will outline the arguments
made to support Mostafazadeh's claim. No counter arguments are included in this section,
symmetries. Let us recall that an operator is called anti-linear if it acts as follows, where a and
H = H
† -1
(106)
The central theorem proved in the paper [40] is that every diagonalisable linear operator with
pseudo-Hermitian”.
The key observation made by this paper is that PT symmetry is an anti-linear symmetry.
Therefore, according to this line of reasoning, every PT-symmetric Hamiltonian implies the
= P T (107)
In [35], Mostafazadeh showed how to construct PT-symmetric physical quantities based on a
pseudo-Hermitian quantisation scheme. The same paper also made an interesting calculation
of the C operator in terms of the Hermitian linear automorphism + , where the plus-sign
C = + P
-1
(108)
In my view, this is most interesting because it is also the C operator in CPTSQM that
determines the inner product of the physical Hilbert space, as do the Hermitian linear
advantages. If correct, this would seem to further suggest the greater generality of the pseudo-
Hermitian framework.
In 2005, Mostafazadeh published a paper [41] dealing with a method of practical application
PT-symmetric systems defined on the real line have the familiar space H =L2 ℝ as their
Hilbert space. However, this is not so for systems defined on a complex contour. Instead, the
Hilbert space is obtained by Cauchy completing the span of the eigenfunctions of the
notes in [41] that there is a view by some (but does not cite a reference) that the possibility of
this construction rules against the application of the pseudo-Hermitian framework. He also
discusses PT-symmetric theories defined on complex contours for which there have been no
“natural or useful” choices for the reference Hilbert space. He goes on to show that one can
construct equivalent PT-symmetric Hamiltonians with the reference Hilbert space H =L2 ℝ .
He claims that giving such theories a “real description” facilitates a better understanding of
their physical content. As a particular example, he shows that the Bender/Bessis Hamiltonian,
According to [41] doing this allows for simple application of the theory of pseudo-Hermitian
operators. It provides a description of the Hamiltonians which reveals the source of the
discreteness of their spectrum. It also has the practical advantage that approximation schemes
In my view, whether one would agree with these points or not, it is noteworthy that a PT-
strengthens the argument that pseudo-Hermitian quantum mechanics is the more fundamental
theory. Even if that were not so, it must at least point to the idea of the two frameworks being
equivalent, in the sense that one may transform between the two.
In 2003 two papers ([42] and [43]) from Bender et al explored how PT symmetry relates to
iii. P 2=1
iv. The nth eigenstate of H is also the nth eigenstate of P with eigenvalue, −1 n
The first paper [42] aimed to show that PT symmetry is a generalisation of Hermiticity by
= p 2V x
H (109)
For this H to be Hermitian V x needs to be real. Showing that Eq.(109) is T invariant is
trivial because it is entirely real, so that complex conjugation has no effect. Therefore, as the
title of the paper implied, the rest of the paper sought to prove that “All Hermitian
Hamiltonians have Parity”. This was done by exploiting the process developed in their
previous paper [33] for constructing operators. By hypothesis, if one makes the assumption
that the parity operator for a given system commutes with the system's Hamiltonian, then one
can construct the parity operator in terms of the simultaneous eigenfunctions. Since the set of
eigenfunctions for a given Hamiltonian are a complete set, then one may write the
∞
x , y= ∑ E n n x *n y
H (110)
n =0
∞
〈 x∣H ∣y 〉=∑ E n 〈 x∣ n 〉〈 n∣ y 〉 (111)
n =0
Then by analogy, one may construct the parity operator as shown in Eq.(74). Because the
eigenfunctions of any quantum mechanical system are complete and orthonormal, it can be
confirmed that the parity operator in Eq.(74) obeys the properties i-iv, listed above.
Based upon this result, Bender et al made the claim that this proved that all Hermitian
Hamiltonians are PT-symmetric. This is a proposition which is elegant in its simplicity, but
The next paper by Bender et al in 2003 [43], would actually contradict the previous paper's
conclusion that all Hermitian Hamiltonians have parity. In this paper they argued that PTSQM
was not a generalisation of Hermitian quantum mechanics. Instead, one should start with a
real symmetric Hamiltonian, then extend its matrix elements into the complex domain in such
a way that the appropriate requirements to determine the spectra and the time evolution
(unitary quantum mechanics) are satisfied. The class of real symmetric Hamiltonians can be
thought of as the overlap of the class of Hermitian Hamiltonians and the class of PT-
symmetric Hamiltonians (see fig. 4.1). That being so, there are then two ways to generalise
the real symmetric Hamiltonian matrix elements, either by moving into the complex domain
so that the matrix is still Hermitian and thus has real spectra, or by similarly generalising for
the case of PT-symmetric Hamiltonians, on the condition that the PT operator commutes with
the Hamiltonian, thus ensuring real spectra, as has been shown before. Following either of
these recipes will construct self-consistent theories of quantum mechanics, if one accepts
PTSQM.
In the paper [43], Bender et al compared these cases on the basis of how many parameters are
required to describe each case for a finite D dimensional system, which led to a quantitative
comparison of the size of each class. This comparison was stated as follows: for large D, a
asymptotically ¾D2 parameters and a real symmetric matrix would have asymptotically ½D2
parameters. See [43] for derivations of the latter two results. This comparison was illustrated
Hamiltonians
The paper [43] showed that the most general (i.e. parametric) Hamiltonian operator is:
A
H 0 = T
iB
iB
C (112)
In general, when the Hamiltonian is D-dimensional, the parity operator has m+ positive
real symmetric m+×m+ matrix, C is a real symmetric m -×m- matrix, and B is a real
Having constructed the Hamiltonian, parity and charge conjugation operators, Bender et al
then concluded by considering alternative ways of generalising the theories [43]. What if the
Hamiltonian was not symmetric? In this case, eigenstates would not be orthogonal. In order to
correct this Bender et al proposed that a weight matrix would be required to enforce
independently.) Such a matrix would be performing the same role as the charge conjugation
operator. However, because of the Hamiltonian's lack of symmetry, this weight matrix would
not commute with the Hamiltonian, which is one of the key requirements for the charge
conjugation operator. Then, because the weight matrix would not commute with the
Hamiltonian, the inner products would become time dependent. Therefore, we must reject
such a theory because it is non-unitary. They then considered the consequences of the parity
operator being an asymmetric matrix. Since a PT-symmetric Hamiltonian must commute with
the P T operator, then the Hamiltonian would need to be asymmetric also, which brings us
back to the previous case. Finally, they considered the following questions: What if the time-
reversal operator is more than just complex conjugation? What if it was the combined
operation of some complex matrix B and complex conjugation? Because of the property
T =1 ,
2
we would need to have B B *=1 ; since we also must have [ P , T ]=0 then we would
have to have [ P , B ]=0 . Bender et al [43] stated that these conditions are so strong that no
All of this provided strong evidence that Hermitian and PT-symmetric Hamiltonians are two
distinct unitary classes and that neither is a generalisation of the other. Close examination of
the paper [43] shows a much stronger argument than Bender et al made for their opposite
claim in [42]. In my opinion, the proof is particularly convincing because the authors retain
generality by keeping their Hamiltonian and parity matrices parametrised. Even though the
proof is limited to finite dimensional cases the authors conjecture that their conclusion
In the latter part of 2003, Mostafazadeh [44] published a detailed critique of PTSQM, in
which he set out to show that PTSQM was neither an alternative to or an extension of
ordinary quantum mechanics. His initial argument was that the physical content of PTSQM is
obscured by ambiguities, the principle ones being the unclear nature of the eigenvalue x in
symmetry under space-time reflections. However, this relies on the eigenvalue x to actually
represent the position of a particle. Mostafazadeh [44] claimed that, for an eigenvalue to have
Mostafazadeh argued that one could not a priori justify relating the eigenvalue x to physical
position. In this case, one would have to construct PTSQM as a physical theory without any
prior assumptions, which would require asking the following questions [44]:
In my opinion, it is not clear that the PTSQM literature covered in this review sufficiently
The next ambiguity involves the use of the terms “Hermitian” and “self-adjoint”. In ordinary
quantum mechanics, these terms are almost universally interchangeable and denote the
following property:
orthonormal basis. Then for any Hamiltonian satisfying Eq.(113), we can say of its matrix
elements:
H ij = H ji
*
(114)
This definition is commonly used because in ordinary quantum mechanics the inner product is
commuting observables. However, Mostafazadeh makes the point that quite clearly CPTSQM
has no such fixed inner product or observables. As discovered by Mostafazadeh in 2002 [39],
it can be shown that PT-symmetric Hamiltonians obey the general Hermiticity property
Eq.(113) with respect to other inner product structures. Therefore, there is good reason not to
use the term “non-Hermitian” and to be more strict with terminology, so that these
this seemingly poor terminology in PTSQM. This “naive definition” is simply an extension of
H x , y = H
y , x
*
(115)
However, this is explicitly dependent on the position basis, which cannot be an orthonormal
basis for CPTSQM, because it is not orthonormal with respect to the C P T inner product. This
shows that the correspondence between the term “Hermitian” and “self-adjoint” does not hold
in all cases, as shown here for the case of the position-basis. Therefore, the terms cannot be
used interchangeably as they are in ordinary quantum mechanics. The same argument was
Mostafazadeh [44] went on to determine the physical observables for the CPT-symmetric
H = p x i x
2 2
(116)
His aim was to show that the CPT-symmetric model Eq.(116) can be recreated as a self-
adjoint model via a “similarity transformation” and that in finite dimensions CPT-symmetric
Immediately, the common position and momentum operators are ruled out as physical
observables because they are not Hermitian with respect to the inner product defined by
Eq.(117). This leaves one asking the question “what are the PT-symmetric position and
momentum operators?”.
To answer this question Mostafazadeh quotes a text book result that “up to isomorphisms
there is a unique infinite-dimensional separable Hilbert space”, see [44] for this reference.
This means that there is a linear transformation U which maps from a Hilbert space H to the
space L 2 ℝ , which admits the standard Euclidean L 2 ℝ inner product 〈⋅∣⋅〉 :
, += 〈 U ∣U 〉
(118)
{ ,∈H }
This link between two Hilbert spaces provides the answer to the question of CPTSQM
O C P T = U o U
-1
(119)
where O C P T is a CPT-symmetric observable and o is a Hermitian (self-adjoint) observable
acting in L 2 ℝ .
Mostafazadeh [44] noted that a limitation to this “similarity transformation” is that it is “non-
Hamiltonian will lack the familiar form of kinetic+potential; observables would also be non-
local.
The consequence of this is that one may describe any CPT-symmetric Hamiltonian which has
a real eigenspectrum as a self-adjoint Hamiltonian in the Hilbert space L 2 ℝ . Based upon
this, Mostafazadeh stated that the claim of CPTSQM to be a fundamental physical theory
Another limitation reported by Mostafazadeh [44] was that the construction of an explicit
form of the operator U was not possible because of the closed form of the C P T inner
product Eq.(117). However, Mostafazadeh pointed out that Bender et al [43] showed there are
finite dimensional analogues of the CPT-symmetric Hamiltonians of Eq.(116), for which the
C operator has a simple matrix form. For such systems, Mostafazadeh has published a way of
Hermiticity [38].
et al [33]. The matrix form of the Hamiltonian is repeated here for reference:
i
re s
H C P T : = −i (120)
s re
This model was associated with a PTSQM theory over the space ℂ2 (which we shall refer to
i=2
⋅ : =∑ i i (122)
i=1
Here Mostafazadeh criticised the use of the standard basis { 10 , 01 } for avoiding the problem of
basis dependence in the context of symmetric operators. However, in my opinion the strongest
argument made by Mostafazadeh was that the standard ℂ2 basis { 10 , 01 } is not even an
The definitions of the parity and charge conjugation operators, as stated in [44] are: P :=1
and C : =sec 1i tan 3 , where 1 3 are the Pauli matrices and ∈ −/ 2 , /2 .
model, Eq.(120), can be constructed from a self-adjoint Hamiltonian. Again, the space ℂ2
was used, but with the Euclidean inner product 〈 ∣ 〉 :=∑i=2 *
i=1 i i . We will refer to this space
as . He then introduced the unitary similarity transformation, in other words, the map U
i / 2 −i /2
:= 1 e e
U i /2 i /2 (124)
2 cos −i e ie
h := U H
U
C PT
-1= + 0 =r cos 0 s cos 3
0 -
(125)
This shows that the CPT-symmetric Hamiltonian Eq.(120) is changed into a self-adjoint
Hamiltonian by means of the unitary similarity transformation Eq.(124). The observables for
this Hamiltonian are linear combinations of the spin operators. Mostafazadeh defined the spin
=3
=3
O C P T = ∑ c S (127)
=0
Mostafazadeh then gave the following solutions for S in terms of the Pauli spin matrices
[44]:
S 0 = 12 0 S 1=− 12 2
(128)
S 2= 12 tan 1−sec 3 S 3= 12 sec 1tan 3
This then shows that the O of Eq.(123) is a sub-set of the O of Eq.(127), suggesting that the
self-adjoint formulation is actually more general than the CPT-symmetric model from [33].
for the observables listed in Eq.(128); measurement in the S 1 direction is excluded! To prove
this we need to show that 2 is not C P T invariant, as I have presented below. Taking the
above definitions for parity and charge conjugation operators, setting A=sec and
C P T 2 T P C = C P 2 P C
*
= A iB
−iB A −i 0 iB
0 i A −iB
A
= i
2
B −A
0
2
A2 −B 2
0 (129)
= 0 i
−i 0
*
= 2
≠ 2
Having such a limitation has no physical justification, which is clearly a problem with the
Finally, Mostafazadeh [44] highlighted a problem for CPTSQM within the Heisenberg picture
of dynamics. For a general observable, we can relate its Heisenberg picture O H , to its
it H
O H t =e O
−it H
Se (130)
We now set O S = S 2 , which is both symmetric and CPT-symmetric according to Eq.(123) and
Eq.(128). By means of a similarity transformation and the properties of the Pauli matrices, the
As discussed, S 1 is not CPT-symmetric and consequently O H t inherits this lack of CPT
invariance. Therefore, the CPT invariant Hamiltonian Eq.(116) would seem to lose its CPT
invariance as soon as one considers the dynamics. Specifically, the observable Eq.(131)
In his critique of CPTSQM [44], Mostafazadeh covered details of terminology and basic
“book keeping” which, in my view, were overlooked or ill-considered elsewhere. From this,
several short-comings were uncovered which CPTSQM must overcome if it could ever be
In many of their papers, Bender et al, criticised the condition of Hermiticity as having an
unclear physical meaning and promote CPTSQM as having a clearer physical meaning. In
turn, Mostafazadeh rejected the notion that the condition of CPT symmetry has a clear
interpretation, despite its mathematical merits. Bender has since stated that it is unknown
experimentally observable phenomena [22]. Although, this use of the term “non-Hermitian”
could be misleading.
Mostafazadeh made a clear argument that CPTSQM may be reduced to ordinary quantum
merely equivalent to ordinary quantum mechanics. However, it is my view that his argument
against CPTSQM would have been more complete if he had also demonstrated the reverse of
observable phenomena.
• Then test to see if it would produce the same results as it did prior to transformation.
This suggestion was addressed to some extent by the next paper of Mostafazadeh, discussed
below.
In 2004 Mostafazadeh [45] published further work on PTSQM to demonstrate the theory's
unitary equivalence to ordinary “Hermitian” quantum mechanics. The central theme of the
paper is to apply the rigid mathematical structure that ordinary quantum mechanics possesses
to a study of PTSQM. The rigorous mathematical work done in this paper provides a much
The paper shows that the physical Hilbert space, the Hamiltonians and the observables of a
PTSQM theory are unitarily equivalent to the L ℝ space, Hamiltonians and observables of a
2
Hermitian theory, respectively. It should also be noted that this formulation is completely
The work in this paper somewhat addresses my suggestions for further study given above. By
demonstrating unitary equivalence between PTSQM and ordinary quantum mechanics, the
idea of “proving the reverse” is satisfied. On a similar note (also in 2004) Mostafazadeh [35]
Hamiltonian.
In 2006 Bender et al published their own account of PTSQM versus Hermitian quantum
mechanics [46]. In this paper they acknowledge that PT-symmetric systems are equivalent to
Hermitian (self-adjoint) systems. Therefore, the aim of their paper was to determine which
Initially, the paper recapitulates some established recipes, repeated here for reference. The
inner product structure depends on the C operator, which must satisfy the following
conditions:
C = 1
2
−Q /2 H
h=e
2
eQ/ (133)
As a brief exercise, they show the Hermiticity of h in the CPTSQM framework, as
Q /2 2
h = e H e
† † − Q/
Q /2
P e−Q / 2
(134)
= e P H
−Q /2
Q /2
e C =e P (135)
Substituting into Eq.(134):
/2
h =e
† −Q
C eQ /2
C H (136)
Then, because the Hamiltonian commutes with C and C 2 = 1 , we can see that C H C = H C 2 =H .
Bender et al found that calculations, based on Feynman rules, of the ground state energy of a
quantum field theory Hamiltonian H = 2 p2 2 x2 igx 3 were simpler to perform in the PT-
1 1
relation to comments made by Mostafazadeh [44], they agreed that all PT-symmetric theories
can be similarity transformed to Hermitian theories. However, they disagreed with the
doomed to reduce to ordinary quantum mechanics” [44]. Their paper [46] states that a PT-
symmetric model is free from all the difficulties and complications associated with a
similarity transformed Hermitian theory. Therefore, they assert that a PT-symmetric theory
Even if PT-symmetric theories are free of difficulties encountered with similarity transformed
Hermitian theories, it is my opinion that Bender's counter argument does seem to miss the
symmetry as a fundamental theory, not to which theory gives the simplest calculation. In the
work presented by Bender et al [46], CPT-symmetric quantum mechanics does indeed appear
to lose its status as a fundamental theory, but does offer itself as a more efficient calculation
A quantum mechanical model must have certain universal properties in order for it to be
that we can compare theoretical predictions with real world measurements in the laboratory.
The time evolution of the system must be unitary in order to avoid “probability leakage”. We
require that the set of eigenstates of the Hamiltonian should be mathematically complete.
Consequently, the Hamiltonian of the system is then diagonalisable in its eigenbasis. Self-
adjoint Hermitian operators possess all of the properties cited above, and therefore were the
most suitable choice of operator class. However, natural curiosity and a sufficient number of
mathematical oddities have led us to ask whether other types of operator have the same
characteristics.
One of the alternative formalisms has been PTSQM, although only a limited set of all PT-
symmetric Hamiltonians have the desired characteristics for a physically reasonable theory.
every model which we might use in order to check for the required characteristics.
There have been many publications dealing with the structure of PTSQM. However, little has
been published on the parametric limits within which PT-symmetric systems would remain
symmetry” [47]. Prior to 2005, the only other investigations of how PT-symmetric
Hamiltonians maintain a real spectrum were made by Bender et al, see section 4.1. These
investigations were limited to numerical observations only; at that time, there had been no
analytical analysis.
In 2005 and 2006 Weigert published papers ([25], [26] and [48]) which proposed algorithmic
tests to characterise the nature of PT-symmetric theories. Two of his papers ([25] and [48])
made extensive use of the minimal polynomial of a PT-symmetric matrix (the minimal
polynomial is the polynomial of least degree that annihilates the matrix). For a given matrix
minimal polynomial mM M =0 of degree N ≤ P for which no polynomial of degree less than
N can annihilate M . pM is related to mM by pM = d M mM . In general,
=1
−M
mM =∏=N where is the multiplicity of each root M. M is only
In these papers, Weigert also discussed an algorithm for constructing the minimal polynomial
by using the Euclidean algorithm, rather than by needing to compute the characteristic
number of steps. However, it has yet to be proven that these methods can be applied to
systems with an infinite number of countable dimensions. These are the most practically
The location of “exceptional points” (EPs) is an alternative way of assessing the physical
symmetric Hamiltonian can undergo phase transitions at which pairs of real numbers coalesce
to give a single real number, then split to give complex conjugate pairs as the value of some
perturbation parameter varies. The point at which eigenvalues coalesce is what we call an
exceptional point (see Heiss 2004 [49] for an interesting discussion of EPs).
which has such a perturbation parameter is a polynomial in two variables. That is to say, the
perturbation parameter becomes its second variable. The exceptional points of the
Hamiltonian are found at the roots of the minimal polynomial in the perturbation parameter.
Here I report on work which I undertook to create a PT-symmetric model, from which I could
analytically determine its EPs. This involved taking a modified form of the “Lipkin model”;
while not possessing Hermiticity or PT symmetry, this model does have analytically solvable
EPs. Therefore the aim of this exercise was to introduce PT symmetry into the model and then
Heiss et al (2005) published a paper [50] which used a modified version of the Lipkin model.
The original Lipkin model seemed suitable for adaptation to a PT-symmetric system because
it has been used for demonstrations of quantum phase transitions and spontaneous symmetry
= S z S 2+ S 2-
H (137)
2N
where: N ∈ℕ , ∈ℝ , S ±= S x ±i S y and S x , S y , S z are the familiar Pauli spin matrices. For the
H of Eq.(137) one finds that the eigenvalues “decouple” into two sets, corresponding to
even and odd values of N . Therefore, in order “to facilitate technicalities” Heiss et al
H = H
0 H
1 H 0=k k , k '
(138)
2
N 2k
H 1 = 1− 1− k , k '−1h.c. , k =1 , , N
8 N
Here, the Kronecker deltas are denoted with hats since they represent a matrix form, as
demonstrated below:
1 0 0
k , k ' = 0 1 0
0 0 1 1 0 0
k k , k ' = 0 2 0
0 0 3
0 1 0 0 0 0 (139)
k , k '−1= 0 0 1 k , k '1= 1 0 0
0 0 0 0 1 0
Therefore k , k ' −1= †k , k ' 1
and k , k '1= k−1, k '
2
N 2k
H 1 = 1− 1− k , k '−1 k , k '1 (140)
8 N
Heiss et al, solve for the value at the phase transition, i.e. the exceptional point. Their
result was:
N N
k =±i
N −2k−1
k=1, ,
2
(141)
It was suggested to me by Weigert [51] that the Heiss model Eq.(138) could be modified, so
Heiss [50], the aim would be to determine for which values of the PT symmetry of the
Therefore, the first step is to determine how to make Eq.(138) PT-symmetric. To start with,
let us remind ourselves of the PT transformations of the Pauli spin operators. Both S x and S y
multiplication with the imaginary unit, which would compensate for the negative term, giving
follows from the definition S ±= S x ±i S y . These identities hold for cases beyond the familiar
2x2 cases. A 1978 paper by Jeffery [52] shows how one may calculate n-dimensional spin
0 1
2
0
S x = 1
2
0 1
2
0 1
2
0
0 −i 1
2
0
(142)
S y = i
1
2
0 −i 1
2
0 i 1
2
0
1 0 0
S z = 0 0 0
0 0 −1
One can see by inspection that the PT invariances for the 3x3 cases are the same as those for
From these observations, it follows that a trivial modification of the Lipkin model as given in
2 2
H =i S z S S
2N + -
(143)
This is instructive in indicating how the Heiss/Lipkin Hamiltonian Eq.(138) can be made PT-
symmetric. Since the S z term is playing the role of H 0 , we can compare their respective
matrix structures.
1
H 0 = ⋱ (144)
N
Secondly, we wish to study the general form of S z , which is more complicated. Consider the
−n
{
−n2 For N even, n=N −1
S z = ⋱ N 1 (145)
For N odd, n=
n−2 2
n
Here, one must consider whether N is even or odd. When N is even we can simply shift the
we can write:
S z =2 H
0− 1 N even I (146)
For example, we would write the following matrix sum for the 6x6 case:
1 1 −5
2 1 −3
S z =2 3 −7 1 = −1
4 1 1
(147)
5 1 3
6 1 5
However, if N is odd, such as for the 5x5 case, Eq.(146) does not work:
1 1 −4
2 1 −2
S z ≠2 3 −6 1 = 0 (148)
4 1 2
5 1 4
Further inspection reveals that when N is odd the relationship between S z and H 0 is:
1 N odd
S z = H
0− I (149)
2
1 1 −3
2 1 −1
S z = 3 −3 1 = 0 (150)
4 1 1
5 1 3
This demonstrates seemingly different expressions for the cases when N is even or odd.
However, given that Eq.(146) & Eq.(149) only differ by a factor of 2, there seems no
justifiable reason to let this decoupled space persist. Therefore, my solution was to use the
greatest common divisor (GCD) of N and 2 (for which the Euclidean algorithm is the most
efficient method [53]). If N is even, the GCD of N and 2 is 2. If N is odd, the GCD of N and 2
is 1.
Hence, we can reunite the even and odd spaces by using the equation:
0 − N 1 I
S z =gcd N , 2 H
2 (151)
S z =gcd N , 2 k −
N 1
2
k , k ' (152)
Now, let us recall H 1 from Eq.(140). We can see that the k , k '−1 k , k '1 term possesses PT
symmetry, according to the definitions given in Eq.(139). The matrix structure is very similar
0 5/12 0 0 0 0
5/12 0 2/3 0 0 0
H 1= 0
2/ 3 0 3/ 4 0 0
(153)
0 0 3/ 4 0 2/ 3 0
0 0 0 2/ 3 0 5/ 12
0 0 0 0 5/ 12 0
2
N 2k k N −k
1− 1− = (154)
8 N 2N
k N −k
1=
H
2N
k , k ' −1 k , k ' 1 (155)
If we now take S z from Eq.(152), multiplied by the imaginary unit and then added to the H 1
model:
H =i gcd N , 2 k−
N 1
2
k , k '
k N −k
2N
k , k ' −1 k , k ' 1 , For k , k '= 1,, N (156)
The next step that Heiss et al took was to find the simultaneous roots belonging to both the
characteristic polynomial and to its derivative; the corresponding values of are exceptional
d dP1 dP 2 dP 3
P x= P 2 P 3 P 1 P 3 P1 P 2 (158)
dx dx dx dx
n
d 1 dP 1 1 dP 2 1 dP 3
dx
P x= ∏ P i x P 1 dx
P 2 dx
P 3 dx
(159)
i=1
n
d 1 dPi
P x=P x ∑ (160)
dx i=1 P i dx
N
d 1
dE
P E=P E ∑ E− (161)
i=1 i
The logic behind finding the simultaneous roots of P E and P ' E is that as the
Hamiltonian coalesce into single real values, as illustrated in figure 5.1. The roots of the
characteristic polynomial will do the same because they are the eigenvalues. At this stage one
may imagine the graph of a polynomial, plotted on the same axes as its derivative, moving
vertically so that its turning points and/or stationary points coincide with the roots of the
P(E) as pairs of real eigenvalues coalesce into single eigenvalues and coincide
Figure 5.3 illustrates the behaviour of the eigenspectrum in the N=6 case of the H of
Eq.(156) as varies. We can see that as increases from negative values, pairs of
eigenvalues come together until they are no longer defined as real values. Eventually, all the
eigenvalues have become complex or imaginary. It is not until arrives at its respective
positive exceptional points that we regain single real eigenvalues, which then go on to split
into pairs of real eigenvalues as continues to increase. Eventually, we recover the full
Figure 5.3: Real energy eigenvalues for the N=6 case of the PT-symmetric Lipkin Hamiltonian as a
function of .
Following the procedure reported in [50], I used the computer program Mathematica to
calculate the resultant of the characteristic polynomial and its derivative. The resultant
eliminated the energy variable E, leaving only the roots in to be solved for. (See Appendix
A for the list of Mathematica commands required.) Because of a technical limitation I could
not input an expression for a general case (i.e., a matrix of indefinite size). As an alternative, I
In each case, the resultant polynomial R for the PT-symmetric Lipkin model was of order
N N −1 . This is the same as for the resultant calculated by Heiss et al [50], so we see that the
degree of R is unaffected by PT symmetry. The resultant for the PT-symmetric Lipkin
model factorised into the following form, just as it did in the calculations of Heiss et al:
2
R= S T (162)
where S was of the form:
k=N / 2
This factorised form was desirable because inspection showed that the position of the
exceptional points were encoded as the roots of S . Therefore, T was of no interest
other than to make a further comparison of polynomial degrees. S was of order 2N, and
was of order N −1 −1 / 2 . These are the same as the orders of the corresponding
2
T
polynomials given in [50]. Hence, we see that even by incorporating PT symmetry the
fundamental structure of the exceptional point problem is unaltered. However, there is one
important difference between the Heiss/Lipkin Hamiltonian and the PT-symmetric Lipkin
Hamiltonian. The EPs of the Heiss model are imaginary, as shown in Eq.(141), whereas the
EPs of the PT-symmetric Lipkin Hamiltonian are all real, as shown below.
Table 5.1 shows the roots of S for various values of N, as calculated by the computer
matrices, from which the polynomials were computed in Mathematica. I eventually wrote a
Mathematica equivalent to the MatLab script (see Appendix A for all computer codes). Since
the case of odd values of N gave more complicated roots I limited my analysis to even values
of N.
N k
2 ±4
8
4 ± ,±8
3
12
6 ±
5
,±4 ,±12
16 16 16
8 ±
7
,± ,± ,±16
5 3
20 20 20
10 ±
9
,± ,±4 ,± ,±20
7 3
24 8 24 24
12 ± ,± ,± ,± ,±8 ,±24
11 3 7 5
28 28 28 28 28
14 ±
13
,± ,± ,±4 ,± ,± ,±28
11 9 5 3
32 32 32 32 32 32 32
16 ±
15
,± ,± ,± ,± ,± ,± ,±32
13 11 9 7 5 3
36 12 36 36 36 36
18 ±
17
,± ,± ,± ,±4 ,± ,± ,±12 ,±36
5 13 11 7 5
40 40 8 40 36 40 36 40
20 ±
19
,± ,± ,± ,± ,± ,± ,±8 ,± ,±40
17 3 13 11 9 7 3
44 44 44 44 44 44 44 44 44
22 ± ,± ,± ,± ,± ,±4 ,± ,± ,± ,± ,±44
21 19 17 15 13 9 7 5 3
48 16 48 48 16 48 48 16 48 48
24 ±
23
,± ,± ,± ,± ,± ,± ,± ,± ,± ,±16 ,±48
7 19 17 5 13 11 3 7 5
52 52 52 52 52 52 52 52 52 52 52
26 ± ,± ,± ,± ,± ,± ,± 4 ,± ,± ,± ,± ,± ,±52
25 23 21 19 17 15 11 9 7 5 3
56 56 56 8 56 56 56 56 56 56 56 56
28 ± ,± ,± ,± ,± ,± ,± ,± ,± ,± ,±8 ,± ,± ,±56
27 25 23 7 19 17 15 13 11 9 5 3
60 20 12 60 20 60 60 60 60 20 60
30 ±
29
,± ,± ,± ,± ,± ,± ,±4 ,± ,± ,± ,± ,±12 ,±20 ,±60
9 5 23 7 19 17 13 11 3 7
64 64 64 64 64 64 64 64 64 64 64 64 64 64 64
32 ±
31
,± ,± ,± ,± ,± ,± ,± ,± ,± ,± ,± ,± ,± ,± ,±64
29 27 25 23 21 19 17 15 13 11 9 7 5 3
Table 5.1: Exceptional points of the PT-symmetric Lipkin model, for various values of N.
From this, a general expression for the kth exceptional point of even dimensional cases can be
seen by inspection:
2N
k= , k =1 ,, N (164)
N − 2 k −1
While this is not a rigorous proof, it shows that the Lipkin model can be modified to produce
a PT-symmetric model, which in turn allows all of the exceptional points to be calculated
analytically. In my research, I have not found any other such PT-symmetric model.
Chapter 6. Conclusion
6.1. Summary
This thesis has endeavoured to give an overview of quantum mechanics: setting out the
original motivations, the established text book postulates and the latest attempts to generalise
the mathematical framework. The latter attempts effectively tried to modify the mathematical
However a quantum theory is expressed there are certain requirements that must be fulfilled
in order for the theory to be physically reasonable (see section 5.1). In the past, these
complex Hilbert space, with the Euclidean inner product, 〈 ∣ 〉 : =∑ i=n *
i=1 i i . In this traditional
“Hermitian” then it satisfies both 〈 H ∣ 〉= 〈 ∣ H 〉 for the Euclidean inner product, and
=H †
H where † represents complex conjugation and matrix transposition. However, we have
since learnt that those terms are not synonymous when we venture into a formalism using
This thesis has discussed two alternatives to the Hermitian framework, namely that of CPT
Mostafazadeh.
PTSQM replaces the condition of Hermiticity for an operator with the condition of PT
symmetry. An example of this is the Bessis conjecture [1], for which the PT invariant
Hamiltonian p 2i x 3 has a real and positive spectrum. However, one should always be aware
that not all PT invariant operators have a completely real spectrum. Later investigation of
various PT-symmetric systems showed that for any given Hamiltonian only half of its
eigenvectors had positive norms, while the other half had negative norms. Norms are usually
fact that there was an equal share of positive and negative norms was in itself a kind of
symmetry. Therefore, a third operator called C was introduced in order to compensate for the
The operators described above are defined as follows. T is the operation of complex
conjugation. The parity operator P , in its simplest form can be pictured as a square matrix
with ones along its minor diagonal and zeroes elsewhere. The C operator is more
=1 −1 ∣ j 〉〈 j∣
C =∑ jj =n j
. Thus in defining transformations and inner products we use the
compound operator C P T .
Mostafazadeh replaces the traditional condition of Hermiticity with that of being “Hermitian”
identity operator, since the condition of -pseudo-Hermiticity then reduces to that of normal
Hermiticity.
To calculate , one needs to use the entire biorthonormal eigenbasis of the Hamiltonian (see
Eq.(96) and Eq.(97)). This property is similar to that of the C operator in CPTSQM, in that
one needs access to the entire eigenbasis before even attempting to test for CPT invariance. It
was later shown that pseudo-Hermitian quantum mechanics could be a parent class to
Prior to writing this final chapter, I thought that I should revisit the literature to look for any
new developments. I found that Mostafazadeh had published a time dependent model of the
imaginary cubic potential v x=i x 3 , using a pseudo-Hermitian framework [54]. Until now, a
time dependent model had been missing from the pseudo-Hermitian literature. I also found
The development of pseudo-Hermiticity has been encouraging, in that it has not given rise to
the same conceptual difficulties that PTSQM has produced. According to [35], applications of
the approach have been found in quantum cosmology, relativistic quantum mechanics,
seems to be intuitively correct, being based on a simple relaxing of the original condition of
Hermiticity. However, PT symmetry has the honour of being the first framework to open our
could find an -pseudo-Hermitian Hamiltonian which has a complex spectrum, while still
satisfying the condition for a real spectrum (i.e. disprove the theorem given in equations (97)
signatures of its existence in experimental results [22]. Bender et al have already suggested
this for lattices with complex potentials. As of yet, it is still unknown whether PT symmetry
From my point of view, the major question for PT symmetry relates to its applicability. There
are good reasons to say that it is not a universally applicable theory, although there are cases
in which it has indeed been productive to apply it, (see [46]). Weigert has written algorithms
to check for the viability of potential PT-symmetric systems, on a one by one basis (see [25]
and [48]). However, what is not known and would be an exciting discovery, is to find some
criterion determining when PT symmetry is the appropriate tool to use. I believe that a rich
area to search for this answer is in particle physics; this idea is inspired by the complex lattice
potential suggestion of Bender, [22]. Also, Weigert has mentioned uses of non-Hermitian
It is also unknown whether PT symmetry could be applied to areas of physics other than
quantum theory. However, several uses of non-Hermitian theories have been noted by
Within the research community there has been a marked difference in the respective
acceptance of PTSQM and pseudo-Hermitian quantum mechanics. This has been all the more
Finally, quantum mechanics has (somewhat notoriously) given rise to a great deal of
philosophical debate about its interpretation, more so than any other physical theory. A rich
avenue of philosophical and metaphysical discussion could well be found in the implications
of expanding the condition of Hermiticity. Such a study would provide many linguistic and
logical problems. As the study for this thesis has certainly shown, when dealing with such
mathematical subtleties we need to be as strict with our language as we are with our
mathematics.
Function M = heiss(N)
k=1:N;
h0=zeros(N); h1=zeros(N);
m=zeros(N); M=zeros(N);
A=sqrt(-1)*gcd(N,2); B=-((N+1)/2)*eye(N);
syms L real
for i=1:N;
h0(i,i)=i;
end
for i=1:N;
for j=1:N;
m(i,j)=((N/8)*(1-(1-(2*k(i)/N))^2))*isequal(k(i),k(j)'-1);
end;
end;
h1=m+m';
M=A*(h0+B)+(L*h1);
sym(M);
return;
This is an equivalent function written for Mathematica; the input argument n is the number of
dimensions:
References
[1] Bender Carl M, and Stefan Boettcher (1998) Phys. Rev. Lett. 80 (24) 15 June 1998
[2] Mostafazadeh Ali (2002) J. Math. Phys. Vol.43, No.1, January 2002
[10] Wu Tai Tsun (1959) Phys. Rev. Vol.115, No.6, September 1959
[12] Wu Tai Tsun, Bender Carl (1969) Phys. Rev. Vol.184, No.5, 25 August 1969
[13] Haydock R and M J Kelly (1975) J. Phys. C: Solid State Phys., Vol. 8, 197
[14] Stedman G E and Butler P H (1980) J. Phys. A: Math. Gen. 13 (1980) 3125-3140.
[15] Faisal F H M and J V Moloney (1981) J. Phys. B: At. Mol. Phys. 14 (1981) 3603-3620.
[16] Hatano Naomichi, David R. Neslon (1997) Phys. Rev. B, 56(14) 1 October 1997
[18] Killingbeck J P and Georges Jolicard (2003) J. Phys. A: Math. Gen. 36 (2003) R105–
R180
[19] Jolicard Georges and John P Killingbeck (2003) J. Phys. A: Math. Gen. 36 (2003)
R411–R473
[20] Znojil Miloslav, Caliceti Emanuela, Cannata Francesco, Ventura Alberto (2005)
[21] Yacob Ben-Aryeh, Ady Mann and Itamar Yaakov (2004) J. Phys. A: Math. Gen. 37
(2004) 12059–12066
[22] Bender Carl M, Joachim Brod, Andr´e Refig and Moretz E Reuter (2004) J. Phys. A:
[23] Weigert Stefan (2004) Czechoslovak Journal of Physics, Vol. 54 (2004), No. 10
[24] Bender Carl M, Dorje C. Brody and Hugh F. Jones (2003) Am. J. Phys. 71 (11),
November 2003
[25] Weigert Stefan (2005) Czechoslovak Journal of Physics, Vol. 55 (2005), No. 9
[27] Bender Carl M, Stefan Boettcher and Peter N. Meisinger (1999) J.Math.Phys Vol40,
[29] Dorey Patrick, Clare Dunning and Roberto Tateo (2001) J. Phys. A: Math. Gen. 34
(2001) 5679–5704
[31] Weigert Stefan (2003) J. Opt. B: Quantum Semiclass. Opt. 5 (2003) S416–S419
[33] Bender Carl M, Dorje C. Brody, and Hugh F. Jones (2002) Phys. Rev. Lett. 89(27),
Dec2002, P.2704011-2704014
[35] Mostafazadeh Ali and Batal, Ahmet (2004) J. Phys. A: Math. Gen. 37 (2004) 11645–
11679
[42] Bender Carl M, Peter N Meisinger and QinghaiWang (2003) J. Phys. A: Math. Gen. 36
(2003) 1029–1031
[43] Bender Carl M, Peter N Meisinger and QinghaiWang (2003) J. Phys. A: Math. Gen. 36
(2003) 6791–6797
[45] Mostafazadeh Ali (2004) Czechoslovak Journal of Physics, Vol. 54 (2004), No. 10
[46] Bender Carl M, Jun-Hua Chen and Kimball A Milton (2006) J. Phys. A: Math. Gen. 39
(2006) 1657–1668
[47] Dorey Patrick, Clare Dunning and Roberto Tateo (2001) J. Phys. A: Math. Gen. 34
(2001) L391–L400
[50] Heiss W D, Scholtz F G, Geye H B (2005) J. Phys. A: Math. Gen. 38 (2005) 1843–1851