Entanglement entropy in quantum spin chains with broken reflection symmetry
We investigate the entanglement entropy of a block of sites in quasifree translation-invariant spin chains concentrating on the effect of reflection symmetry breaking. The majorana two-point functions corresponding to the Jordan-Wigner transformed fermionic modes are determined in the most general case; from these it follows that reflection symmetry in the ground state can only be broken if the model is quantum critical. The large asymptotics of the entropy is calculated analytically for general gauge-invariant models, which has, until now, been done only for the reflection symmetric sector. Analytical results are also derived for certain non-gauge-invariant models, e.g., for the Ising model with Dzyaloshinskii-Moriya interaction. We also study numerically finite chains of length with a non-reflection-symmetric Hamiltonian and report that the reflection symmetry of the entropy of the first spins is violated but the reflection-symmetric Calabrese-Cardy formula is recovered asymptotically. Furthermore, for non-critical reflection-symmetry-breaking Hamiltonians we find an anomaly in the behavior of the ”saturation entropy” as we approach the critical line. The paper also provides a concise but extensive review of the block entropy asymptotics in translation invariant quasifree spin chains with an analysis of the nearest neighbor case and the enumeration of the yet unsolved parts of the quasifree landscape.
Understanding the entanglement properties of systems with many degrees of freedom, such as quantum spin chains, has been one of the main recent research topics connecting quantum information theory and condensed matter physics VLRK (); CC (); ECP (); AFOV (); PE (). Huge amount of results have been accumulated about translation-invariant systems. However, the results almost exclusively correspond to reflection symmetric systems, despite the fact that models violating reflection invariance play a prominent role in many-body theory, e.g., in describing interactions of Dzyaloshinskii-Moriya type or non-equilibrium steady states.
Considering a subsystem of a system, which is in a pure state, the entanglement between the subsystem and its environment is characterised by the von Neumann entropy
where denotes the density matrix of the subsystem. In the case of infinite one-dimensional critical chains, this entanglement entropy belonging to a block of contiguous spins was shown to grow asymptotically as VLRK (); CC ()
where is the conformal charge of its universality class and is a non-universal constant. For non-critical chains the asymptotics of the entanglement entropy is bounded. This saturation value of the entropy diverges as one approaches the critical point: it increases as CC ()
where is the correlation length. In the case of finite chains (with open boundary conditions) consisting of spins, the conformal field theoretic prediction for the entanglement entropy of the first spins (at criticality) is CC (); LSCAe (); LSCA ()
where is the boundary entropy introduced by Affleck and Ludwig AL ().
In this paper, we will study the asymptotics of the entanglement entropy
in chains with broken reflection symmetry.
We consider quasifree models (with finite range coupling):
their Hamiltonian can be
mapped to quadratic fermionic chains by the
Throughout the paper we will assume either open boundary conditions
or ”fermionic” periodic boundary conditions ()
Another type of model that has been studied extensively in the literature is the model
whose ground states are used to describe the energy current carrying eigenstates of the model ARRS (); ARRS2 (); EZ (). Certain non-reflection invariant quasifree states also appear as invariant states of reflection-invariant quantum cellular automata GUWZ ().
The entanglement entropy asymptotics of the models given by Eq. (4) has been studied by many authors jinkorepin (); mezzrand1 (); mezzrand2 (); itsmezzadrimo (); itsjinkorepin (). The main analytic tool for tackling this problem was expressing the entropy in terms of the determinant of a Toeplitz matrix, applied first by Jin and Korepin jinkorepin (). Until now the most general results have been achieved by Keating and Mezzadri mezzrand1 (), who gave a general analytic expression for the entropy asymptotics when is real and , and by Its, Mo, and Mezzadri itsmezzadrimo (), who gave an analytic (although less explicit) expression even for the case of general (finite-ranged) real and matrices, while certain results about the dimensional case can be found in multidim (). However, none of these studies concerned reflection symmetry breaking cases, i.e., when is complex.
We will generalize the above mention results by deriving an analytic expression for the general gauge-invariant case (i.e., when is a ”general” complex Hermitian finite-ranged Toeplitz matrix, while ). This includes, as a particular case, the model described in Eq. (6). Moreover, we will also introduce a multitude of transformations between models of Eq. (4), which allows for deriving analytic expressions for cases with non-vanishing . A remarkable result that we obtained is that for these ”quasifree” models reflection invariance can only be broken in the ground state if the model is critical. If the model is non-critical the ground state of the model does not change if we replace with Re() in the Hamiltonian. From this, as we will show, it follows that scaling in Eq. (2) may be violated. However, we will discuss how we can reinterpret this equation to keep its validity. Furthermore, we will present numerical results in non-reflection-symmetric spin chains providing an example of broken reflection symmetry in the finite size scaling of the entropy breaking the symmetry of Eq. (3), but we will see that that this deviation goes to zero as we increase the system size.
The paper is structured as follows. In Section II we calculate the majorana two-point functions of these general (finite-ranged) quasifree models and recapitulate how one can obtain the entanglement entropy from the two-point functions. The results already known about the entanglement asymptotics of certain types of quasifree models are collected in Section III. We derive an analytic formula for the entanglement entropy for general gauge-invariant models in Section IV, whereas in Section V we show how we can extend our results for certain types of non-gauge-invariant models too. Section VI is an application of the above to models with nearest neighbor interactions, while in Section VII we discuss how some of our analytic and numerical results conflict with the formulas (2) and (3) and how we can ”resolve” this discrepancy. Finally, Section VIII is devoted to the summary and the remaining open questions.
Ii Two-point function of the Majorana operators and entanglement entropy
The entanglement entropy asymptotics of the models described by the quadratic Hamiltonians in Eq. (4) can be calculated from the ground-state expectation values , where ’s denote the so-called majorana operators defined as
In this section we will first derive these majorana two-point functions in terms of the matrices and that define the Hamiltonian Eq. (4). Then we describe how to calculate (in this quasifree setting) the entanglement entropy alone from two-point functions, and finally we recapitulate the ”determinant trick” of Jin and Korepin, which will allow us later to obtain analytical results.
ii.1 The majorana two-point functions
Let us fix our conventions used in the calculation. We will consider the ”fermionic” periodic boundary condition: . The Fourier and inverse transforms of the one-particle annihilation operators read
the summation runs in the set of integers () for N odd (even) and the transform of the one-particle creation operators are to be computed by means of taking the adjoint of the above formulae. For Toeplitz matrices we define the Fourier transform as
here stands for either or , and the summation again runs in the set of integers () for N odd (even). Using these definitions, the Hamiltonian (4) can be written as
To bring this Hamiltonian into a diagonal form , one performs a Bogoliubov transformation
where the coefficients have to satisfy
so that the canonical anticommutation relations are satisfied. The consistency conditions for the commutator give
One readily extracts the one-particle spectrum
having taken the relations (which are direct consequence of ) into account. The ground state correlations for the two-point functions of the new Fermi operators read
where , and the two remaining two-point functions and can be calculated directly from the above equations. Ultimately, we would like to have a linear combination of the above, the two point functions of the self-adjoint majorana operators defined in Eq. (7). Before writing down the final result, let us introduce some notations. We will use the combinations
and the step functions
Note, that and . We now take the thermodynamic limit () and write the final result in a manner usually adopted in the literature
where the matrix has the following structure
The ’s are block entries that read
where , so all Fourier series become functions on the circle in the limit. This type of matrix is called block-Toeplitz and the matrix argument in (24) of the integral is called its symbol.
The -point majorana function can be obtained from the two-point functions by the Wick rule LSM ():
where the sum runs over all pairings of , i.e., over all permutations of the elements which satisfy for and for .
Before coming to the calculation of the entropy, let
us analyse the obtained result.
The one particle spectrum (17) has the form of a sum of a reflection
invariant and a non-invariant
term (Note that the real space reflection
corresponds to the Fourier space one
as follows from the Fourier transform (8)).
The symbol (24)
characterizing the correlation matrix has
a dependence on the
non-reflection invariant part of the spectrum only via
term, however, vanishes identically unless
at some .
In other words, non-critical quasifree
systems never break reflection invariance
ii.2 Calculation of the entanglement entropy from the two-point functions
Restricting the ground state to a subsystem consisting of consecutive sites one obtains a mixed state. Let us restrict the matrix defined in Eq. (22) (which describes the two-point majorana correlations) to consecutive modes, that is to a submatrix
where the ’s are matrices given by Eq. (24). Let us denote by the orthogonal matrix, the adjoint action of which brings the antisymmetric real matrix into its canonical form, i.e., for , we have
where () are the singular
values of . (Due to the fact that is antisymmetric,
the degeneracy of its singular values is always an even number,
that is why we label them only from to .)
The density matrix corresponding to the restricted state can be written
where for all . (Actually, translation invariance is not used here, the density matrix of any quasifree state, i.e., of any state for which the Wick expansion applies, can be written in this form.) The entropy can now be easily calculated. It can be written in terms of the function
The trick jinkorepin () to obtain the asymptotics of the entanglement as the size of the block grows is computing the determinant
and exploiting the residue theorem by writing down the following integral
where the contour is shown in Fig. 1. That contour encircles all eigenvalues of , but bounds a region, in which is analytic.
Hence, the main task in all cases is to compute the determinant of the block-Toeplitz matrix matrix
Finally, we should mention that in the gauge-invariant case (i.e., when ) there is an easier method for the calculation of the entanglement entropy. In this case, as can be seen from Eq. (II.1), the non-gauge-invariant two-point functions vanish (). If we restrict the state to consecutive sites, and denote by the corresponding restriction of the matrix and by the (not necessarily real) unitary, the adjoint action of which diagonalizes (), then the density matrix of the restricted state reads
where and . Hence the entropy of the restricted state is given by
Iii Summary of previously known cases
In this section we shortly recapitulate what has been previously known about the entanglement entropy for quasifree models.
iii.1 Gauge and reflection invariance
In the case of gauge- and reflection-invariant quasifree models, the matrix is zero while is real, which implies and the symbol of the majorana two-point functions (24) reduces to
Hence, can be factorized as
where is the restriction of the Toeplitz matrix with scalar symbol to an block on the diagonal. From this it follows that . To extract the entropy asymptotics, one only needs to calculate the ( asymptotics of the) determinant of using the Fisher-Hartwig theorem, and then use the residue theorem as described in Section II.2. This was done by Keating and Mezzadri mezzrand1 (); mezzrand2 (): they obtained the following result: Let there be number zeros of denoted by () in the semi-circle (implying another zeros in the other semi-circle : , ). Then the entanglement entropy asymptotics is given by
where is Euler’s constant, and , independent of (consult jinkorepin () for its derivation).
iii.2 Reflection invariance and real
The other case that has already been discussed in the literature is the case when both matrix and are real, i.e., when . In this case, the symbol reads
Here the idea, invented for the XY model in itsjinkorepin () and generalized for the present case in itsmezzadrimo (), is to extend the domain of to the complex plane and use a theorem of Widom widom55 (), which yields a formula of the block Toeplitz determinant at hand expressed in terms of Wiener-Hopf factors of the symbol: , where the matrices are analytic inside (outside) the unit circle. The factorization resides on the fact, that due to the assumption of finite range interaction, the functions , and are Laurent polynomials. One writes
with being the roots of the polynomial , where is the range of the coupling (defined after (4)). Note, that the equality in the middle is a choice of analytic continuation as holds on the unit circle (as is obvious from the general form . The non-analytic behaviour of the above rational function is then the only thing that has to be taken care of and the factorization is done with the help of theta functions living on the hyperelliptic surface of genus given by
The -model has thus the underlying Riemann surface is a torus, while for for general finite ranged couplings can be any degree Laurent polynomial, which satisfies on the unit circle. The result (Theorem 3. of itsmezzadrimo ()) for the logarithmic derivative reads
and the difference (rhs.lhs.) where the constant satisfies (the complex numbers are the roots of and their reciprocals). The saturation entropy is given by
This formula depends on the surface (35) via the theta functions (which are uniquely defined by some quasi-periodicity properties along non-contractible curves on the surface); their definition and that of their arguments will be omitted here (see itsmezzadrimo ()). We only remark that it is exactly at criticality, when the above surface becomes degenerate and the formula diverges.
Iv Gauge invariant models in general
The reason why one could give an explicit formula for the entropy asymptotics in the reflection and gauge invariant case (when ) and a less explicit one in the case when was that the structure of the symbol was considerably simplified in both cases.
In the general quasifree case it is hard to find the Wiener-Hopf factorization of the symbol, since there is no identically zero entry of in the matrix function . This is true even in the restricted case of gauge invariant (but not reflection invariant) models. However, as we will show in this section, one can circumvent this problem in this restricted case. We have seen in section II.2 that we can extract the entropy also from the correlation matrix : it is given by , where are the eigenvalues of the matrix . Now, we can use the contour integral trick again with a small alteration and write the entropy as
is not necessarily symmetric ( implies ). Now we can use the Fisher-Hartwig conjecture fh (): Suppose that the symbol of a Toeplitz matrix has the following form
where the function is smooth, non-vanishing and has zero winding number. Then the asymptotic formula for the determinant reads
and the so-called Barnes function is defined by
In our case the symbol, defined by Eq. (38) above, is a step function jumping between and , and the jumps occur at the zeros of . We can assume that , as the local transformation (which keeps the entanglement entropy invariant) yields Using the notation for the zeros of by , in an increasing order in the period we can write the factors in (39) for the symbol (38)
Indeed, one can easily check that the function given by (39) with the above defined ingredients has the value and alternates between with jumps at the zeros of . Now, substituting our data in the statement of the conjecture we get the expression for the determinant
where the constants and were given at the end of section III.1.
V Exact results for the entropy asymptotics for certain non-gauge-invariant models
We now turn to discuss the cases of some non-gauge-invariant models. In the first two subsections we will determine the entropy asymptotics for chains that are Kramers-Wannier selfdual and for those that decouple to two independent majorana chains, by relating these cases to certain gauge-invariant models. In the last two subsections we will relate the entropy asymptotics of different non-gauge-invariant models, by generalizing the XY-Ising transformation and doing local rotations.