A new family of matrix product states with Dzyaloshinski-Moriya interactions
Department of Physics, Shahid Beheshti University, GC
19839-63113, Tehran, Iran
We define a new family of matrix product states which are exact ground states of spin 1/2 Hamiltonians on one dimensional lattices. This class of Hamiltonians contain both Heisenberg and Dzyaloshinskii-Moriya interactions but at specified and not arbitrary couplings. We also compute in closed forms the one and two-point functions and the explicit form of the ground state. The degeneracy structure of the ground state is also discussed.
PACS Numbers: 03.67.HK, 05.40.Ca
In the past few years, a lot of interest has been attracted to
the subject of matrix product states
[1, 3, 3, 4, 4, 5, 6, 7, 8, 9].
There has been a revival of interest in this subject
[10, 11, 12, 13, 14, 15, 16] due to the
advances in quantum information theory  and the
techniques developed in this field. Quite recently the method of
matrix product states has been used for obtaining new models of
many body systems for which an exact ground state can be defined
and its many-body properties like the entanglement between various
sites can be calculated in closed form
[18, 19, 20, 21, 22, 23, 24, 25, 26]. This is interesting
in view of the fact that in some works, transitions in
entanglement behaviour has turned out [30, 31] to be a
good signal of
quantum phase transitions .
The reason for this high level of interest is the complementary
role that the fields of condensed matter physics and quantum
information play in investigation of many body systems. The
matrix product formalism [32, 33] is one of the
subjects which lies at the borderline of these two subjects. As
is well known, in this formalism, one starts from proposed states
whose expansion coefficients are the trace of product of given
matrices. While for numerical investigations, i.e. the density
matrix renormalization group (DMRG), one usually starts from
large dimensional matrices, to simulate ground states of given
Hamiltonians, in the approach which is used for finding exactly
solvable models, one starts from low dimensional matrices and
finds family of Hamiltonians for which these states are exact
ground states. This is the approach which has been used in many
of the works in the past few years [1, 2, 3, 4, 5, 18, 19, 20, 21, 22, 24, 23, 25, 26].
In a recent work , we classified all spin 1/2 matrix
product states which arise from two-dimensional matrices and
showed that some of them can undergo phase transitions. Doing the
same kind of classification for higher dimensional matrices turns
out to be a formidable task. A general classification in effect
requires classification of solutions of a system of non-linear
equations, which obviously is extremely difficult. However it is
possible to define new models by starting with special classes of
matrices which have nice algebraic properties. Such properties
allow us to bypass the above-mentioned difficult problem. The
price that we will pay is that we will obtain only restricted
family of models and not all models. However if we start from a
nice algebra, it is usually possible to end at physically
interesting models and by the subsequent analysis of these models
beyond the matrix product formalism, many useful information can
be obtained for such models which are otherwise difficult to
obtain. We will later see explicit examples of this method.
Following this method, in this paper we will introduce one such family of matrix product states which is based on a simple algebra
where is a root of unity. We use a finite dimensional
representation of this algebra in which and are
represented by generalized Pauli operators. Everything in the
model, from the state and its parent Hamiltonian (i.e. the
Hamiltonian which has the matrix product state as its ground
state) to the one- and two-point functions depend on the dimension
of the representation. We will show that while for
dimensional representation of the algebra, the parent
Hamiltonian, is a one parameter of Heisenberg spin chain, for
dimensional representation the Hamiltonian contains both
Heisenberg and Dzyaloshinskii-Moriya interactions [27, 28], but
for specified values of couplings which depend on the dimensional
It is to be noted that the matrix product state is by construction
a translation-invariant state and in some cases, it happens that
this state is a sum of two ground states each of which breaks the
translation symmetry. This is the case with Majumdar-Ghosh
[34, 35] model . Here we will see a similar
phenomena, where the matrix product state is the sum of many
ground states each of which breaks the translation symmetry of
The calculation of the one- and two-point functions is an
important step in this analysis. While such a calculation is
straightforward in the formalism of matrix product formalism, a
close scrutiny of their structure will give clues as to the whole
or part of the ground space structure and by following these
clues we can obtain valuable information about the degeneracy
structure of the ground state.
The structure of this paper is as follows. In section (2) we give a brief introduction to matrix product states, in section (3) we introduce the representation of the algebra (1) and construct the family of matrix product states and derive the parent Hamiltonian, in section (62) we calculate the one and two point functions. Finally we end up with a discussion.
2 A brief introduction to matrix product states
First let us review the basics of matrix product states. Consider a homogeneous ring of sites, where each site describes a level state. The Hilbert space of each site is spanned by the basis vectors . A state
is called a matrix product state if there exists dimensional complex matrices such that
where is a normalization constant given by
Here we are restricting ourselves to translationally invariant states, by taking the matrices to be site-independent.
Let be any local operator acting on a single site. Then we can obtain the one-point function on site of the chain as follows:
The n-point functions can be obtained in a similar way. For example, the two-point function can be obtained as
where . Note that this is a formal notation which allows us to write the n-point functions in a uniform way, it does not require that is an invertible matrix. Also by considering the permutation operator defined as
and using equation(5)we see that and since we find that , meaning that the normalization is real as it should be. Also for a Hermitian operator in equation (6) the one point function will be real. The same reasoning applies for n-point functions.
2.1 The Parent Hamiltonian
Given a matrix product state, the reduced density matrix of consecutive sites is given by
The null space of this reduced density matrix includes the solutions of the following system of equations
Given that the matrices are of size , there are equations with unknowns. Since there can be at most independent equations, there are at least solutions for this system of equations. Thus for the density matrix of sites to have a null space it is sufficient that the following inequality holds
Let the null space of the reduced density matrix be spanned by the orthogonal vectors . Then we can construct the local hamiltonian acting on consecutive sites as
where ’s are positive constants. These parameters together with the parameters of the vectors inherited from those of the original matrices , determine the total number of coupling constants of the Hamiltonian. If we call the embedding of this local Hamiltonian into the sites to by then the full Hamiltonian on the chain is written as
The state is then a ground state of this hamiltonian with vanishing energy. The reason is as follows:
where is the reduced density matrix of sites to
and in the last line we have used the fact that is
constructed from the null eigenvectors of for consecutive
sites. Given that is a positive operator, this proves the
In view of the above introduction, we have a clear receipe for constructing matrix product states and a family of parent Hamiltonians. First one chooses the range of interaction and then choose appropriate matrices, throwing away all spurious degrees of freedom by appropriate transformations and reducing further the degrees of freedom by imposing symmetries. In this way one ends with a reasonable set of matrix product states, which hopefully may have applications in description of real physical systems. In the following section, we want to study a particular family of such states arising from the simple algebra 1.
3 The model
In this paper we specify the auxiliary matrices and as dimensional generalization of spin (Pauli) operators in and directions. This is a D dimensional representation of the algebra 1. Hereafter, for convenience, we denote and respectively by and . In the so called computational basis for qudits, spanned by the orthonormal vectors and we have
The matrix plays a central role for calculating the normalization of the ground state and also in determining all the correlation functions. We need to find the spectrum of this matrix. The right and left eigenvectors of turn out to be
both of which correspond to the eigenvalue
It is easily checked that .
Also we need to know , the normalization constant which from (22) turns out to be
where we have re-labeled the partition function as to emphasize its dependence on the number of sites and the dimension of the representation . From the binomial expansion, we find
Summing over and and noting that and where and are integers we find that is nonzero only when is a multiple of . Hereafter we assume that this is the case, that is we set in all the equations. The physical necessity of this requirement will become clear when we discuss the explicit form of the ground states. With this modification, we find the
This is a sum of terms, where is the number of sites and as such is not a close expression. However we can use an identity and rewrite it as a sum of terms which is much simpler. To this end we consider the following binomial identity
and sum over both sides for to obtain
However, since , the sum over in the right hand side is non-vanishing only when is a multiple of and in that case it will be equal to . Therefore we find that
In contrast to (25), this is a sum over terms which
independent of the system size and obviously is much simpler.
For example for and for we have respectively
We will now consider the parent Hamiltonian, for which the matrix product state is an exact ground state.
3.1 The Parent Hamiltonian
To find the parent Hamiltonian, we use the relation which in view of (1) takes the form
For the operators and are independent. However in any dimension and hence the vanishing of the left hand side gives the following relations on the coefficients
According to (33), these equations define the null space of the density matrix of two adjacent sites. This null space is spanned by only one vector, which we denote by ,
Thus the local Hamiltonian is given by
Writing the above expression in terms of the Pauli operators, we find that
After a simple re-scaling and neglecting an additive constant, the full Hamiltonian becomes
This is the general form of the Hamiltonian when we use the
dimensional representation of the algebra
(1). Therefore this Hamiltonian contains both
Heisenberg and Dzyaloshinskii-Moriya interaction [27, 28], but
with specific and
not arbitrary couplings.
In case we use the dimensional representation, a different Hamiltonian will be obtained, since in this case we have and the null-space condition (38) will have a different solution. In this null-space condition (38) turns out to be
and the null space is spanned by two vectors, namely
This larger null space means that the Hamiltonian has now two arbitrary coupling constants, and by a re-scaling , the Hamiltonian takes the form
In this case the Dzyaloshinskii-Moriya interaction is absent. Note the Hamiltonian 40 cannot be obtained from 37 in a certain limit. Up to now the parent Hamiltonian has been obtained for both types of representations of the matrix product algebra (38). The next step will be to calculate the correlation functions. We limit ourselves to one and two-point functions.
4 One and two-point correlation functions
The matrix product formalism allows a straightforward calculation of correlation functions. According to (7), the matrix product operators corresponding to the spin observables and are
For finding the average of Pauli operators in each site of the chain we use equation (6). As explained in section (2), for finite systems, this requires a diagonalization of the transfer matrix , while in the thermodynamic limit even this problem simplifies to the determination of the largest eigenvalue of the transfer matrix. In some cases, i.e. for the two-dimensional representation of the algebra (1), one can even proceed in an alternative and very simple way. Therefore we organize the content of this section in two separate subsections, where we deal separately, using different methods, with 2-dimensional and higher dimensional representations of the matrix product algebra.
4.1 Two-dimensional representation
Let us start by noting that for the two-dimensional representation, we have and . The same relations hold with . These relations and the expression for the transfer operator E given in (19) leads to the simple relations
from which we immediately obtain that
It is obvious from the relations (44) that any correlation function containing and operators on non-adjacent sites will also vanish. For adjacent sites we have to calculate traces of operators like , and . It is simply obtained from (41) that
which leads to
where we have used equation (41). The last relation implies that the ground state is one in which the the spins of adjacent sites are aligned in the directions but in opposite senses. There are two such states and the matrix product state, which by construction should be translation invariant, is the sum of these two states, namely
where are the two eigenstates of the operator. By using the relations
one can readily check that the two states in the superposition of are actually annihilated by the Hamiltonian, so they are the ground states of the Hamiltonian. In fact a simple way to see this, is to rotate all the spins in the odd-numbered sites by an angle around the -axis. Under such a rotation, the Hamiltonian (40) transforms to
or equivalently by adding and subtracting terms of the form , it transforms to
and we have dropped a total additive constant. In case that
, the first term is a ferromagnetic interaction which
tends to align all the spins in one single direction, the
direction is determined by the second interaction. Hence we
have a doubly degenerate ground state of the form
and for . Rotating back all the odd-numbered spins by
around the axis gives the two ground states of as
expressed in (48),
where their sum has been obtained as a
matrix product state. Thus in this case the MPS formalism guides
us through the complete degenerate structure of the ground state.
However if , then the first term in is an
anti-ferromagnetic interaction with a highly degenerate complex
structure. In this case the MPS only gives a very small part of
4.2 Higher dimensional representations
We now turn to higher dimensional representation where the Hamiltonian contains a Dzyialoshinski-Moriya interaction. In this case the commutation relations do not allow a simple calculation of the correlation functions for finite systems. Therefore we calculate the correlations directly in the thermodynamic limit. In this limit, only the largest eigenvalue and eigenvector of the transition operator will survive the limit and one finds that
where and are the largest eignevalue of and its corresponding eigenvector. From (22) we know that the largest eigenvalue of is corresponding to the generalized Bell state . For the one-point functions we need the matrix elements of the operators and on this Bell state. It is obvious from (41) that . For we find that
Therefore we find
We now proceed to calculate the two-point functions for adjacent sites. To do this we need the following matrix elements which are readily obtained from (41) after simple manipulations:
Moreover all the other quadratic matrix elements turn out to vanish. From the above matrix elements, one can easily obtain the correlation functions from (52) as follows:
All the other two-point correlation functions vanish for nearest neighbor sites. The above results can be written in the following compact form:
From these correlation functions along with the result (48) which we obtained for the explicit form of the ground state for the two-dimensional representations, we can guess an explicit form for the ground state of the Hamiltonian (37). We will later check the validity of our guess by direct calculations. The ground state (48), turned out to be a superposition of two product states, each one of them was nothing but a juxtaposition of spins in opposite directions. In fact each of the two product states are ground states of the Hamiltonian separately, and the matrix product state superposes them to ensure its own translational invariance. The same thing may happen here, that is we may find product states each of which is a ground state of the Hamiltonian and the matrix product state is a superposition of them. Inspired by the form of the ground states for the D=2 representation, we construct a product state which gives the same form of correlation functions as in (63). This construction is a generalization of the states in (48). Let
where and are the spin states in the positive and directions respectively. We now form the following product state on consecutive sites (instead of two sites in the case)
Each consecutive spin has been rotated anti-clockwise by an angle of around the axis, in analogy with the dimensional case. That is, the spins in each block of consecutive sites are distributed regularly around a circle in the plane. It is obvious that for any such block state, comprising consecutive sites, the average of spin operator in any direction should vanish, that is
The reason is nothing but the regular distribution of the spin
states over the circle. The same type of reasoning,
which can be supported by direct and explicit calculations, shows
the validity of the two-point correlations (63) for any
of the above form.
We can extend such a state to the whole lattice as a non-translation invariant , which obviously has the same kinds of correlations as in (63). The matrix product state, being translation invariant is nothing but the following superposition
This formula for the MPS ground state generalized the explicit
formula (48) to higher dimensional representations of the
It is instructive to know the origin of the character of the ground state (66). Let us proceed as in the case and rotate the spins individually, but this time, according to a different pattern. Consider the local Hamiltonian
and rotate the spin at site by an angle around the axis. Under this transformation, the spin operators transform as follows:
Under this transformation, it is readily seen that transforms to an isotropic Heisenberg ferromagnet,
It is well known that the ground state of the Heisenberg Hamiltonian is the state in which all the spins align in one direction, and since the Hamiltonian has rotational symmetry, the ground state consists of a whole spin multiplet, which is the multiplet with the Highest spin. For a lattice with sites, this multiplet has the spin whose top state is . The other states are obtained by the action of the angular momentum operator on this top state. That is, the other un-normalized ground states are
Acting on these states by the inverse rotations we obtain the ground states of the original Hamiltonian in the form
The ground states in from which the matrix product state (66) is constructed are only part of the ground space of the Hamiltonian. As expected in the matrix product formalism one starts from one single state, but a careful analysis of that single state and its correlation functions, assisted by some guesswork and physical analogies, can unravel the whole degeneracy structure of the Hamiltonian.
We have started from a simple matrix product algebra, namely where and proceeded to obtain the
properties of the matrix product state which corresponds to this
algebra. There is a distinct difference between the cases
and . In the former case, the model describes a system of
spins on a line with Heisenberg type interaction but with
prescribed couplings, in the latter case, the model describes
both a Heisenberg and a Dzyaloshinski-Morya (DM) interaction. In
both cases we have been able to calculate the one and two point
functions and from the insight that these functions have
provided, we have been able to obtain a more thorough
understanding of these models, including the degeneracy structure
of their ground state. One possible line of expansion of this
work is to start from a Heisenberg ferromagnetic chain of
arbitrary spins in a magnetic field. If now we rotate in a
periodic pattern the magnetic fields and demand, similar to the
work of Kurman et al , that all the cross terms except
the Heisenberg and the DM interactions vanish, we will end up
with a new form of exactly solved Heisenberg model in which DM
interactions are also present. The difficulty with this approach
is that if we start with a uniform magnetic field, the final
magnetic fields will not be uniform anymore, due to the periodic
rotations. On the other hand if we start with a non-uniform
magnetic field and demand that the final magnetic field will be
uniform along the chain, then the spectrum of the original
Hamiltonian will be very difficult to find. We hope to overcome
these difficulties in our future work.
Acknowledgements I would like to thank V. Karimipour for many instructive discussions and valuable comments and also for a critical reading of the manuscript.
- A. Klumper, A. Schadschneider and J. Zittartz, J. Phys. A (1991) L293; Z. Phys. B, 87 (1992) 281; Europhys. Lett., 24 (1993) 293.
- H. Niggemann, and J. Zittartz, J. Phys. A: Math. Gen. 31, 9819-9828 (1998).
- E. Bartel, A. Schadschneider and J. Zittartz, Eur. Phys. Jour. B, 31, 2, 209-216 (2003). 14
- M. A. Ahrens, A. Schadschneider, and J. Zittartz, Europhys. Lett. 59 6, 889 (2002).
- A. K. Kolezhuk and H. J. Mikeska, Phys. Rev. Lett. 80, 2709 (1998); Int. J. Mod. Phys. B, 12, 2325-2348 (1998).
- A. K. Kolezhuk, H. J. Mikeska, and Shoji Yamamoto, Phys. Rev. B 55, R3336 - R3339 (1997).
- H. Niggemann, A. Kl¨umper, and J. Zittartz, Eur. Phys. J. B 13, 15 (2000).
- H. Niggemann, A. Kl¨umper, and J. Zittartz, Z. Phys. B 104, 103 (1997).
- A. Kl¨umper, S. Matveenko, and J. Zittartz, Z. Phys. B 96, 401 (1995).
- F. Verstraete, J. J. Garcia-Ripoll, and J. I. Cirac, Phys. Rev. Lett. 93, 207204 (2004).
- F. Verstraete, J. I. Cirac, Phys. Rev. B 73, 094423 (2006); T. J. Osborne, Phys. Rev. Lett. 97, 157202 (2006); M. B. Hastings, Phys. Rev. B 73, 085115 (2006).
- G. Vidal, Phys. Rev. Lett. 91, 147902 (2003).
- M. M. Wolf, G. Ortiz, F. Verstraete and I. Cirac, Phys. Rev. Lett. 97, 110403 (2006).
- F. Verstraete, M. A. Martin-Delgado, and J. I. Cirac, Phys. Rev. Lett. 92, 087201 (2004); F. Verstraete, M. Popp, and J. I. Cirac, Phys. Rev. Lett. 92, 027901 (2004); F. Verstraete, J. I. Cirac, J. I. Latorre, E. Rico, and M. M. Wolf, Phys. Rev. Lett. 94 140601(2005).
- F. Verstraete, D. Porras, J. I. Cirac, Phys. Rev. Lett. 93, 227205 (2004).
- J. M. Roman, G. Sierra, J. Dukelsky, and M. A. Martn-Delgado, J. Phys. A: Mathematical and General, 31, 48, 9729-9759(1998).
- M. A. Nielsen, and I. L. Chuang;Quantum computation and quantum information, Cambridge University Press, Cambridge, 2000.
- M. Asoudeh, V. Karimipour, and A. Sadrolashrafi, Phys. Rev. A 76, 012320 (2007).
- M. Asoudeh, V. Karimipour and A. Sadrolashrafi, Phys. Rev. B, 75, 224427 (2007).
- M. Asoudeh, V. Karimipour, and A. Sadrolashrafi, Phys. Rev. A 76, 012320 (2007).
- S. Alipour, V. Karimipour and L. Memarzadeh, Phys. Rev. A 75, 052322 (2007).
- S. Alipour, V. Karimipour, and L. Memarzadeh, Eur. Phys. J. B 62, 159-169 (2008).
- S. Alipour, S. Baghbanzadeh, and V. Karimipour, C Europhysics Letters (EPL), 84 (2008) 67006.
- V. Karimipour and L. Memarzadeh, Phys. Rev. B 77, 094416 (2008). 15
- A. Trebedi and I. Bose, Phys. Rev. A 75, 042304(2007).
- M. Asoudeh, Physica A; 389, 8, 1555-1564 (2010).
- I. Dzyaloshinskii, J. Phys. Chem. Solids 4, 241 (1958).
- T. Moriya, Phys. Rev 120, 91 (1960).
- S. Sachdev, Quantum Phase Transitions (Cambridge University Press, Cambridge, 1999).
- A. Osterloh, L. Amico, G. Falci, and R. Fazio, Nature 416, 608 (2002).
- T. J. Osborne and M. A. Nielsen, Phys. Rev. A 66, 032110 (2002).
- M. Fannes, B. Nachtergaele and R. F. Werner, Commun. Math. Phys. 144, 443 (1992).
- I. Affleck, T. Kennedy, E. H. Lieb, H. Tasaki, Commun.Math. Phys. 115, 477 (1988);
- C. K. Majumdar and D. P. Ghosh, J. Math. Phys. 10 (1969)1388.
- C. K. Majumdar and D. P. Ghosh, J. Math. Phys. 10 (1969)1399.
- J. Kurmann, H. Thomas and G. Muller, Physica 112 A 235(1982).