<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD Journal Publishing DTD v2.3 20070202//EN" "journalpublishing.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article">
<front>
<journal-meta>
<journal-id journal-id-type="publisher-id">Front. Phys.</journal-id>
<journal-title>Frontiers in Physics</journal-title>
<abbrev-journal-title abbrev-type="pubmed">Front. Phys.</abbrev-journal-title>
<issn pub-type="epub">2296-424X</issn>
<publisher>
<publisher-name>Frontiers Media S.A.</publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="doi">10.3389/fphy.2016.00051</article-id>
<article-categories>
<subj-group subj-group-type="heading">
<subject>Physics</subject>
<subj-group>
<subject>Original Research</subject>
</subj-group>
</subj-group>
</article-categories>
<title-group>
<article-title>Effects of Spontaneous Symmetry Break in the Origin of Non-analytic Behavior of Entanglement at Quantum Phase Transitions</article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name><surname>Pereira</surname> <given-names>Leonardo J.</given-names></name>
</contrib>
<contrib contrib-type="author" corresp="yes">
<name><surname>de Oliveira</surname> <given-names>Thiago R.</given-names></name>
<xref ref-type="author-notes" rid="fn001"><sup>&#x0002A;</sup></xref>
<uri xlink:href="http://loop.frontiersin.org/people/284396/overview"/>
</contrib>
</contrib-group>
<aff><institution>Departamento de F&#x000ED;sica, Instituto de F&#x000ED;sica, Universidade Federal Fluminense</institution> <country>Niter&#x000F3;i, Brazil</country></aff>
<author-notes>
<fn fn-type="edited-by"><p>Edited by: James Avery Sauls, Northwestern University, USA</p></fn>
<fn fn-type="edited-by"><p>Reviewed by: Byungchan Han, DGIST, South Korea; Takeshi Mizushima, Osaka University, Japan</p></fn>
<fn fn-type="corresp" id="fn001"><p>&#x0002A;Correspondence: Thiago R. de Oliveira <email>tro&#x00040;if.uff.br</email></p></fn>
<fn fn-type="other" id="fn002"><p>This article was submitted to Condensed Matter Physics, a section of the journal Frontiers in Physics</p></fn>
</author-notes>
<pub-date pub-type="epub">
<day>21</day>
<month>12</month>
<year>2016</year>
</pub-date>
<pub-date pub-type="collection">
<year>2016</year>
</pub-date>
<volume>4</volume>
<elocation-id>51</elocation-id>
<history>
<date date-type="received">
<day>16</day>
<month>05</month>
<year>2016</year>
</date>
<date date-type="accepted">
<day>05</day>
<month>12</month>
<year>2016</year>
</date>
</history>
<permissions>
<copyright-statement>Copyright &#x000A9; 2016 Pereira and de Oliveira.</copyright-statement>
<copyright-year>2016</copyright-year>
<copyright-holder>Pereira and de Oliveira</copyright-holder>
<license xlink:href="http://creativecommons.org/licenses/by/4.0/"><p>This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) or licensor are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.</p></license>
</permissions>
<abstract><p>We present an example where spontaneous symmetry breaking (SSB) may affect not only the behavior of the entanglement at Quantum Phase Transitions (QPT), but also the origin of its non-analyticity. In particular, in the XXZ model, we study the non-analyticities in the concurrence between two spins, which was claimed to be accidental since it had its origin in the optimization involved in the concurrence definition. We show that when one takes into account the effect of the SSB, even though the values of the entanglement measure does not change, the origin of the non-analytical behavior changes. The non-analytical behavior is not due to the optimization process anymore and in this sense it is a &#x0201C;natural&#x0201D; non-analyticity. This is a much more subtle influence of the SSB not observed before. We also show that the value of entanglement between one site and the rest of the chain changes after taking into account the SSB.</p></abstract>
<kwd-group>
<kwd>quantum phase transitions</kwd>
<kwd>entanglement</kwd>
<kwd>spontaneous symmetry breaking</kwd>
<kwd>XXZ model</kwd>
<kwd>non-analytic behavior of entanglement</kwd>
</kwd-group>
<contract-sponsor id="cn001">Coordena&#x000E7;&#x000E3;o de Aperfei&#x000E7;oamento de Pessoal de N&#x000ED;vel Superior<named-content content-type="fundref-id">10.13039/501100002322</named-content></contract-sponsor>
<contract-sponsor id="cn002">Conselho Nacional de Desenvolvimento Cient&#x000ED;fico e Tecnol&#x000F3;gico<named-content content-type="fundref-id">10.13039/501100003593</named-content></contract-sponsor>
<counts>
<fig-count count="4"/>
<table-count count="0"/>
<equation-count count="14"/>
<ref-count count="11"/>
<page-count count="5"/>
<word-count count="3415"/>
</counts>
</article-meta>
</front>
<body>
<sec id="s1">
<title>1. Introduction</title>
<p>It is now generally accepted that entanglement may help in finding and characterizing Quantum Phase Transitions (QPT), since it may inherit the non-analytic behavior of the ground state energy [<xref ref-type="bibr" rid="B1">1</xref>, <xref ref-type="bibr" rid="B2">2</xref>] (see [<xref ref-type="bibr" rid="B3">3</xref>] for a review on entanglement and QPT). However, the use of entanglement in the study of QPT is very complex in many particle systems. From one side there are many possible measures. One can, for example, divide the system into two parts and look at the entanglement between them and the way it scales with respect to the size of one of the parts. In this scenario, we would expect the entanglement to scale with the volume, and not the area as has been found in many cases. This scaling with the area is called the area law and was found numerically in many particular models and analytically proved for some class of models. More interestingly, one can relate this entanglement with the ability to approximate the ground state and even obtain critical properties, such as the central charge of the model; see Amico et al. [<xref ref-type="bibr" rid="B3">3</xref>] and references. Another possibility is to look at the entanglement between two particles in the system; tracing out the rest. Usually this measure is maximum at the critical point and thus can signal the quantum phase transition, however this is not always true. All these entanglement measures can be written in terms of the reduced density matrices and therefore in terms of correlation functions which contain information about non-analytic behavior of the ground state energy at the critical point [<xref ref-type="bibr" rid="B1">1</xref>, <xref ref-type="bibr" rid="B2">2</xref>]. Thus, in principle, they should inherit the non-analytical behavior of the thermodynamical quantities. However, there are non-analytical behaviors in the entanglement measurements which do not correspond to QPT, as first showed by Yang [<xref ref-type="bibr" rid="B4">4</xref>], for example. In general, that happens because entanglement measures are defined using optimization procedures which may create accidental non-analytical behavior or even hide genuine ones.</p>
<p>The use of entanglement measures to study QPT are also problematic because most of the measures are difficult to calculate and even more difficult to directly measure. Thus, even though the characterization of entanglement gives more information about the nature of the ground state and its correlation it may be easier to use the usual correlation functions and thermodynamic quantities to study the quantum phase transition. Besides such caveats, the study of the entanglement at QPT is in general more intricate than of thermodynamical quantities, because of the spontaneous symmetry breaking (SSB). At the critical point of a symmetry breaking QPT, the ground state becomes degenerate. In fact, this degenerescency is necessary for the spontaneous breaking of the Hamiltonian symmetry: the emergence of ground states without the Hamiltonian symmetry. However, as the ground state is degenerate, there are many possible ground states; some preserving the symmetry (equal superpositions of symmetry breaking states) others not. Furthermore, while thermodynamical quantities do not depend on which particular degenerate ground state one chooses, entanglement may. Therefore, one has to be careful when choosing the state. In general, states which preserve the symmetry are preferable, since they are simpler: have reduced density matrices with many null entries. But one has to be careful since there are examples where the entanglement depend on the particular ground state used [<xref ref-type="bibr" rid="B5">5</xref>, <xref ref-type="bibr" rid="B6">6</xref>] and examples where it does not depend [<xref ref-type="bibr" rid="B7">7</xref>].</p>
<p>Here, we show an example of a new and very subtle caveat in the relation between entanglement, SSB and QPT. More specifically, we show that the SSB may change not only the value of the entanglement but also the origin of its non-analytical behavior. Actually, in our example, SSB changes the origin of the non-analytical behavior without even changing the value of the entanglement; a much more subtle influence.</p>
<p>In order to be self-contained, we organize the article as follows: In the next section we make a brief discussion of the model studied. In the following we discuss the subtle SSB effect on the concurrence as a QPT measurement. Then we discuss the same effect on the Von Neumann entropy, which is another kind of entanglement measurement, we then finish with the conclusion.</p>
</sec>
<sec id="s2">
<title>2. Spin-<inline-formula><mml:math id="M1"><mml:mfrac><mml:mrow><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:mfrac></mml:math></inline-formula> XXZ model</title>
<p>We will describe the model closely following [<xref ref-type="bibr" rid="B8">8</xref>]. The model is the infinite one dimensional spin-<inline-formula><mml:math id="M2"><mml:mfrac><mml:mrow><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:mfrac></mml:math></inline-formula> XXZ chain given by the following Hamiltonian</p>
<disp-formula id="E1"><label>(1)</label><mml:math id="M3"><mml:mrow><mml:mi>H</mml:mi><mml:mo>=</mml:mo><mml:mstyle displaystyle='true'><mml:munderover><mml:mo>&#x02211;</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mtext>&#x0200A;</mml:mtext><mml:mo>=</mml:mo><mml:mtext>&#x0200A;</mml:mtext><mml:mo>&#x02212;</mml:mo><mml:mi>&#x0221E;</mml:mi><mml:mtext>&#x02009;</mml:mtext></mml:mrow><mml:mi>&#x0221E;</mml:mi></mml:munderover><mml:mrow><mml:mo stretchy='false'>(</mml:mo><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>i</mml:mi><mml:mi>x</mml:mi></mml:msubsup><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mtext>&#x0200A;</mml:mtext><mml:mo>&#x0002B;</mml:mo><mml:mtext>&#x0200A;</mml:mtext><mml:mn>1</mml:mn></mml:mrow><mml:mi>x</mml:mi></mml:msubsup></mml:mrow></mml:mstyle><mml:mo>&#x0002B;</mml:mo><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>i</mml:mi><mml:mi>y</mml:mi></mml:msubsup><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mtext>&#x0200A;</mml:mtext><mml:mo>&#x0002B;</mml:mo><mml:mtext>&#x0200A;</mml:mtext><mml:mn>1</mml:mn></mml:mrow><mml:mi>y</mml:mi></mml:msubsup><mml:mo>&#x0002B;</mml:mo><mml:mi>&#x00394;</mml:mi><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>i</mml:mi><mml:mi>z</mml:mi></mml:msubsup><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mtext>&#x0200A;</mml:mtext><mml:mo>&#x0002B;</mml:mo><mml:mtext>&#x0200A;</mml:mtext><mml:mn>1</mml:mn></mml:mrow><mml:mi>z</mml:mi></mml:msubsup><mml:mo stretchy='false'>)</mml:mo><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>
<p>where <inline-formula><mml:math id="M4"><mml:msubsup><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mi>j</mml:mi></mml:mrow><mml:mrow><mml:mi>u</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>j</mml:mi></mml:mrow><mml:mrow><mml:mi>u</mml:mi></mml:mrow></mml:msubsup><mml:mo>/</mml:mo><mml:mn>2</mml:mn></mml:math></inline-formula> (<italic>u</italic> &#x0003D; <italic>x, y, z</italic>), <inline-formula><mml:math id="M5"><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>j</mml:mi></mml:mrow><mml:mrow><mml:mi>u</mml:mi></mml:mrow></mml:msubsup></mml:math></inline-formula> are the Pauli spin-<inline-formula><mml:math id="M6"><mml:mfrac><mml:mrow><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:mfrac></mml:math></inline-formula> operators on site <italic>j</italic>, &#x00394; is the anisotropy parameter, and we consider periodic boundary conditions: <inline-formula><mml:math id="M7"><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>j</mml:mi><mml:mo>&#x0002B;</mml:mo><mml:mi>N</mml:mi></mml:mrow><mml:mrow><mml:mi>u</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>j</mml:mi></mml:mrow><mml:mrow><mml:mi>u</mml:mi></mml:mrow></mml:msubsup></mml:math></inline-formula>. The XXZ model cannot be diagonalized, but its energy spectrum can be obtained by the Bethe ansatz. The Hamiltonian has three symmetries: (i) a discrete parity &#x02124;<sub>2</sub> symmetry over the plane <italic>xy</italic>: &#x003C3;<sup><italic>z</italic></sup> &#x02192; &#x02212;&#x003C3;<sup><italic>z</italic></sup>; (ii) a continuous <italic>U</italic>(1) symmetry that rotates the spins in the <italic>xy</italic> plane by any angle &#x003B8;; and (iii) translational invariance. The &#x02124;<sub>2</sub> symmetry implies that <inline-formula><mml:math id="M8"><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula> and <inline-formula><mml:math id="M9"><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>x</mml:mi></mml:mrow></mml:msubsup><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>j</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>y</mml:mi></mml:mrow></mml:msubsup><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>j</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula>; while the <italic>U</italic>(1) symmetry implies that <inline-formula><mml:math id="M10"><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>x</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>y</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula>. The translational invariance implies that the reduced density matrix of a single spin does not depend on its position and that of two spins does only depend on the distance between them.</p>
<p>Since we want to analyze the QPT at &#x00394; &#x0003D; &#x02212;1, the two important phases are:</p>
<list list-type="order">
<list-item><p>&#x00394; &#x0003C; &#x02212;1: the system experiences a SSB, which lead it to a ferromagnetic phase, where all the spins point in the same direction creating a finite magnetization <inline-formula><mml:math id="M11"><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mrow><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>j</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mi>m</mml:mi></mml:mrow><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:math></inline-formula>. The critical point at &#x00394; &#x0003D; &#x02212;1 is of first order.</p></list-item>
<list-item><p>&#x02212;1 &#x0003C; &#x00394; &#x0003C;1: the system is in a gapless phase, where the correlations decay polynomially and all the symmetries are preserved.</p></list-item>
</list>
<p>The Bethe ansatz solution gives the ground state energy [<xref ref-type="bibr" rid="B9">9</xref>, <xref ref-type="bibr" rid="B10">10</xref>] as</p>
<disp-formula id="E2"><label>(2)</label><mml:math id="M12"><mml:mrow><mml:msub><mml:mi>e</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mo stretchy='false'>(</mml:mo><mml:mi>&#x00394;</mml:mi><mml:mo stretchy='false'>)</mml:mo><mml:mo>=</mml:mo><mml:mrow><mml:mo>{</mml:mo><mml:mrow><mml:mtable columnalign='left'><mml:mtr columnalign='left'><mml:mtd columnalign='left'><mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mfrac><mml:mi>&#x00394;</mml:mi><mml:mn>4</mml:mn></mml:mfrac><mml:mo>,</mml:mo></mml:mrow></mml:mtd><mml:mtd columnalign='left'><mml:mrow><mml:mi>&#x00394;</mml:mi><mml:mo>&#x02264;</mml:mo><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr><mml:mtr columnalign='left'><mml:mtd columnalign='left'><mml:mrow><mml:mfrac><mml:mi>&#x00394;</mml:mi><mml:mn>4</mml:mn></mml:mfrac><mml:mo>&#x0002B;</mml:mo><mml:mfrac><mml:mrow><mml:mi>sin</mml:mi><mml:mi>&#x003C0;</mml:mi><mml:mi>&#x003BD;</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn><mml:mi>&#x003C0;</mml:mi></mml:mrow></mml:mfrac><mml:mstyle displaystyle='true'><mml:mrow><mml:msubsup><mml:mo>&#x0222B;</mml:mo><mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>&#x0221E;</mml:mi><mml:mo>&#x0002B;</mml:mo><mml:mfrac><mml:mi>i</mml:mi><mml:mn>2</mml:mn></mml:mfrac></mml:mrow><mml:mrow><mml:mi>&#x0221E;</mml:mi><mml:mo>&#x0002B;</mml:mo><mml:mfrac><mml:mi>i</mml:mi><mml:mn>2</mml:mn></mml:mfrac></mml:mrow></mml:msubsup><mml:mi>d</mml:mi></mml:mrow></mml:mstyle><mml:mi>x</mml:mi><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mi>sinh</mml:mi><mml:mi>x</mml:mi></mml:mrow></mml:mfrac><mml:mfrac><mml:mrow><mml:mi>cosh</mml:mi><mml:mi>&#x003BD;</mml:mi><mml:mi>x</mml:mi></mml:mrow><mml:mrow><mml:mi>sinh</mml:mi><mml:mi>&#x003BD;</mml:mi><mml:mi>x</mml:mi></mml:mrow></mml:mfrac></mml:mrow></mml:mtd><mml:mtd columnalign='left'><mml:mrow><mml:mo>,</mml:mo><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn><mml:mo>&#x0003C;</mml:mo><mml:mi>&#x00394;</mml:mi><mml:mo>&#x0003C;</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mrow></mml:mrow></mml:mrow></mml:math></disp-formula>
<p>where &#x00394; &#x0003D; cos&#x003C0;&#x003BD;. For nearest neighbors we can obtain the correlation from <italic>e</italic><sub>0</sub>(&#x00394;):</p>
<disp-formula id="E3"><label>(3)</label><mml:math id="M13"><mml:mo>&#x02329;</mml:mo><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>i</mml:mi><mml:mi>z</mml:mi></mml:msubsup><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mtext>&#x0200A;</mml:mtext><mml:mo>&#x0002B;</mml:mo><mml:mtext>&#x0200A;</mml:mtext><mml:mn>1</mml:mn></mml:mrow><mml:mi>z</mml:mi></mml:msubsup><mml:mo>&#x0232A;</mml:mo><mml:mo>=</mml:mo><mml:mn>4</mml:mn><mml:mfrac><mml:mrow><mml:mo>&#x02202;</mml:mo><mml:msub><mml:mi>e</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mo stretchy='false'>(</mml:mo><mml:mi>&#x00394;</mml:mi><mml:mo stretchy='false'>)</mml:mo></mml:mrow><mml:mrow><mml:mo>&#x02202;</mml:mo><mml:mi>&#x00394;</mml:mi></mml:mrow></mml:mfrac><mml:mo>,</mml:mo></mml:math></disp-formula>
<disp-formula id="E4"><label>(4)</label><mml:math id="M14"><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>i</mml:mi><mml:mi>x</mml:mi></mml:msubsup><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mtext>&#x0200A;</mml:mtext><mml:mo>&#x0002B;</mml:mo><mml:mtext>&#x0200A;</mml:mtext><mml:mn>1</mml:mn></mml:mrow><mml:mi>x</mml:mi></mml:msubsup><mml:mo>&#x0232A;</mml:mo><mml:mo>=</mml:mo><mml:mo>&#x02329;</mml:mo><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>i</mml:mi><mml:mi>y</mml:mi></mml:msubsup><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mtext>&#x0200A;</mml:mtext><mml:mo>&#x0002B;</mml:mo><mml:mtext>&#x0200A;</mml:mtext><mml:mn>1</mml:mn></mml:mrow><mml:mi>y</mml:mi></mml:msubsup><mml:mo>&#x0232A;</mml:mo><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mn>2</mml:mn></mml:mfrac><mml:mo stretchy='false'>(</mml:mo><mml:mn>4</mml:mn><mml:msub><mml:mi>e</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mo stretchy='false'>(</mml:mo><mml:mi>&#x00394;</mml:mi><mml:mo stretchy='false'>)</mml:mo><mml:mo>&#x02212;</mml:mo><mml:mi>&#x00394;</mml:mi><mml:mo>&#x02329;</mml:mo><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>i</mml:mi><mml:mi>z</mml:mi></mml:msubsup><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mtext>&#x0200A;</mml:mtext><mml:mo>&#x0002B;</mml:mo><mml:mtext>&#x0200A;</mml:mtext><mml:mn>1</mml:mn></mml:mrow><mml:mi>z</mml:mi></mml:msubsup><mml:mo>&#x0232A;</mml:mo><mml:mo stretchy='false'>)</mml:mo><mml:mo>.</mml:mo></mml:mrow></mml:math></disp-formula>
<p>For spins further apart, progress has been slow, but there are already some expressions available up to third neighbors [<xref ref-type="bibr" rid="B10">10</xref>]. We will not show them here, since they are too lengthy<xref ref-type="fn" rid="fn0001"><sup>1</sup></xref>.</p>
<p>We are interested in the subtleties of SSB in entanglement measurements for two spins in this chain. These entanglement measurements can be determined by the reduced density matrix of the two spins, which can be obtained from the magnetizations and correlations of the two spins. Applying the symmetries of the XXZ model, the state becomes</p>
<disp-formula id="E5"><label>(5)</label><mml:math id="M15"><mml:mrow><mml:msub><mml:mi>&#x003C1;</mml:mi><mml:mi>r</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mn>4</mml:mn></mml:mfrac><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mtable><mml:mtr><mml:mtd><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x0002B;</mml:mo><mml:msubsup><mml:mi>t</mml:mi><mml:mi>r</mml:mi><mml:mrow><mml:mi>z</mml:mi><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x02212;</mml:mo><mml:msubsup><mml:mi>t</mml:mi><mml:mi>r</mml:mi><mml:mrow><mml:mi>z</mml:mi><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:mn>2</mml:mn><mml:msubsup><mml:mi>t</mml:mi><mml:mi>r</mml:mi><mml:mrow><mml:mi>x</mml:mi><mml:mi>x</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mrow><mml:mn>2</mml:mn><mml:msubsup><mml:mi>t</mml:mi><mml:mi>r</mml:mi><mml:mrow><mml:mi>x</mml:mi><mml:mi>x</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x02212;</mml:mo><mml:msubsup><mml:mi>t</mml:mi><mml:mi>r</mml:mi><mml:mrow><mml:mi>z</mml:mi><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x0002B;</mml:mo><mml:msubsup><mml:mi>t</mml:mi><mml:mi>r</mml:mi><mml:mrow><mml:mi>z</mml:mi><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>.</mml:mo></mml:mrow></mml:math></disp-formula>
<p>with <italic>r</italic> being the distance between the sites and <inline-formula><mml:math id="M16"><mml:msubsup><mml:mrow><mml:mi>t</mml:mi></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow><mml:mrow><mml:mi>u</mml:mi><mml:mi>v</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>u</mml:mi></mml:mrow></mml:msubsup><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0002B;</mml:mo><mml:mi>r</mml:mi></mml:mrow><mml:mrow><mml:mi>v</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow></mml:math></inline-formula>. When the &#x02124;<sub>2</sub> symmetry is broken, the state becomes</p>
<disp-formula id="E6"><label>(6)</label><mml:math id="M17"><mml:mrow><mml:msub><mml:mi>&#x003C1;</mml:mi><mml:mi>r</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mn>4</mml:mn></mml:mfrac><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mtable><mml:mtr><mml:mtd><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x0002B;</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mi>z</mml:mi></mml:msub><mml:mo>&#x0002B;</mml:mo><mml:msub><mml:mi>q</mml:mi><mml:mi>z</mml:mi></mml:msub><mml:mo>&#x0002B;</mml:mo><mml:msubsup><mml:mi>t</mml:mi><mml:mi>r</mml:mi><mml:mrow><mml:mi>z</mml:mi><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x0002B;</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mi>z</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>q</mml:mi><mml:mi>z</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msubsup><mml:mi>t</mml:mi><mml:mi>r</mml:mi><mml:mrow><mml:mi>z</mml:mi><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:mn>2</mml:mn><mml:msubsup><mml:mi>t</mml:mi><mml:mi>r</mml:mi><mml:mrow><mml:mi>x</mml:mi><mml:mi>x</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mrow><mml:mn>2</mml:mn><mml:msubsup><mml:mi>t</mml:mi><mml:mi>r</mml:mi><mml:mrow><mml:mi>x</mml:mi><mml:mi>x</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mtd><mml:mtd><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mi>z</mml:mi></mml:msub><mml:mo>&#x0002B;</mml:mo><mml:msub><mml:mi>q</mml:mi><mml:mi>z</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msubsup><mml:mi>t</mml:mi><mml:mi>r</mml:mi><mml:mrow><mml:mi>z</mml:mi><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mi>z</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>q</mml:mi><mml:mi>z</mml:mi></mml:msub><mml:mo>&#x0002B;</mml:mo><mml:msubsup><mml:mi>t</mml:mi><mml:mi>r</mml:mi><mml:mrow><mml:mi>z</mml:mi><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>
<p>with <inline-formula><mml:math id="M18"><mml:msub><mml:mrow><mml:mi>p</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow></mml:msubsup><mml:msub><mml:mrow><mml:mo>&#x1D540;</mml:mo></mml:mrow><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0002B;</mml:mo><mml:mi>r</mml:mi></mml:mrow></mml:msub></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M19"><mml:msub><mml:mrow><mml:mi>q</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msub><mml:mrow><mml:mo>&#x1D540;</mml:mo></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0002B;</mml:mo><mml:mi>r</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow></mml:math></inline-formula>; they are the magnetization of each spin along the <italic>z</italic> direction. Note that the only difference between Equations (5) and (6) are the local magnetization in the <italic>z</italic> direction. When the &#x02124;<sub>2</sub> symmetry is broken <italic>p</italic><sub><italic>z</italic></sub> and <italic>q</italic><sub><italic>z</italic></sub> become finite and should appear in the reduced density matrix, as they do in Equation (6). Note also that the translational symmetry is still maintained, thus we have <inline-formula><mml:math id="M20"><mml:msub><mml:mrow><mml:mi>q</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mrow><mml:mi>p</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mi>m</mml:mi><mml:mo>=</mml:mo><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow></mml:math></inline-formula>.</p>
</sec>
<sec id="s3">
<title>3. Concurrence and QPT</title>
<p>The first formal and general relation between entanglement and QPT was given in Wu et al. [<xref ref-type="bibr" rid="B1">1</xref>]. It is proved that: a discontinuity or a divergence of the ground-state concurrence (the first derivative of the ground state concurrence) can be both necessary and sufficient condition to signal first-order QPT (second-order QPT), except in cases where the non-analyticity is artificial and/or accidental. In sum, the non-analyticity has to come from the matrix elements of the density matrix, not from the mathematical expression for the entanglement measure. At the same time, an explicit example of such an artificial non-analyticity was given for the concurrence of two spins in a XXZ chain [<xref ref-type="bibr" rid="B4">4</xref>].</p>
<p>The concurrence is a well known entanglement measure and for two spin 1/2 particles is given by</p>
<disp-formula id="E7"><label>(7)</label><mml:math id="M21"><mml:mrow><mml:msub><mml:mi mathvariant='-tex-caligraphic'>C</mml:mi><mml:mi>r</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mtext>max</mml:mtext><mml:mo>&#x0007B;</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:msqrt><mml:mrow><mml:msub><mml:mi>&#x003BB;</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:mrow></mml:msqrt><mml:mo>&#x02212;</mml:mo><mml:msqrt><mml:mrow><mml:msub><mml:mi>&#x003BB;</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:msqrt><mml:mo>&#x02212;</mml:mo><mml:msqrt><mml:mrow><mml:msub><mml:mi>&#x003BB;</mml:mi><mml:mn>3</mml:mn></mml:msub></mml:mrow></mml:msqrt><mml:mo>&#x02212;</mml:mo><mml:msqrt><mml:mrow><mml:msub><mml:mi>&#x003BB;</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:mrow></mml:msqrt><mml:mo>&#x0007D;</mml:mo></mml:mrow></mml:math></disp-formula>
<p>with <inline-formula><mml:math id="M22"><mml:msqrt><mml:mrow><mml:msub><mml:mrow><mml:mi>&#x003BB;</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msqrt><mml:mo>&#x02265;</mml:mo><mml:msqrt><mml:mrow><mml:msub><mml:mrow><mml:mi>&#x003BB;</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msqrt><mml:mo>&#x02265;</mml:mo><mml:msqrt><mml:mrow><mml:msub><mml:mrow><mml:mi>&#x003BB;</mml:mi></mml:mrow><mml:mrow><mml:mn>3</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msqrt><mml:mo>&#x02265;</mml:mo><mml:msqrt><mml:mrow><mml:msub><mml:mrow><mml:mi>&#x003BB;</mml:mi></mml:mrow><mml:mrow><mml:mn>4</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msqrt></mml:math></inline-formula> the eigenvalues of <inline-formula><mml:math id="M23"><mml:mi>&#x003C1;</mml:mi><mml:mover accent="true"><mml:mrow><mml:mi>&#x003C1;</mml:mi></mml:mrow><mml:mo>&#x002DC;</mml:mo></mml:mover></mml:math></inline-formula> and <inline-formula><mml:math id="M24"><mml:mover accent="true"><mml:mrow><mml:mi>&#x003C1;</mml:mi></mml:mrow><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>=</mml:mo><mml:msup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>y</mml:mi></mml:mrow></mml:msup><mml:mo>&#x02297;</mml:mo><mml:msup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>y</mml:mi></mml:mrow></mml:msup><mml:msup><mml:mrow><mml:mi>&#x003C1;</mml:mi></mml:mrow><mml:mrow><mml:mo>&#x0002A;</mml:mo></mml:mrow></mml:msup><mml:msup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>y</mml:mi></mml:mrow></mml:msup><mml:mo>&#x02297;</mml:mo><mml:msup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>y</mml:mi></mml:mrow></mml:msup></mml:math></inline-formula> the time reversed density matrix. For the symmetric ground state the concurrence has the simple formula:</p>
<disp-formula id="E8"><label>(8)</label><mml:math id="M25"><mml:mrow><mml:msub><mml:mi mathvariant='-tex-caligraphic'>C</mml:mi><mml:mi>r</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mtext>max</mml:mtext><mml:mo>&#x0007B;</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:msub><mml:mover accent='true'><mml:mi mathvariant='-tex-caligraphic'>C</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mi>r</mml:mi></mml:msub><mml:mo>&#x0007D;</mml:mo></mml:mrow></mml:math></disp-formula>
<p>with</p>
<disp-formula id="E9"><label>(9)</label><mml:math id="M26"><mml:mrow><mml:msub><mml:mover accent='true'><mml:mi mathvariant='-tex-caligraphic'>C</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mi>r</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mn>2</mml:mn></mml:mfrac><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mn>2</mml:mn><mml:mo>&#x0007C;</mml:mo><mml:mo>&#x02329;</mml:mo><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msubsup><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>x</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0002B;</mml:mo><mml:mi>r</mml:mi></mml:mrow></mml:msubsup><mml:mo>&#x0232A;</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mo>&#x02212;</mml:mo><mml:mo stretchy='false'>(</mml:mo><mml:mn>1</mml:mn><mml:mo>&#x0002B;</mml:mo><mml:mo>&#x02329;</mml:mo><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>z</mml:mi><mml:mi>i</mml:mi></mml:msubsup><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>z</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0002B;</mml:mo><mml:mi>r</mml:mi></mml:mrow></mml:msubsup><mml:mo>&#x0232A;</mml:mo></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>.</mml:mo></mml:mrow></mml:math></disp-formula>
<p>However if one consider the SSB, the expression for the concurrence is a little more complicated and given, as seen in Syljuasen [<xref ref-type="bibr" rid="B7">7</xref>], by:</p>
<disp-formula id="E10"><label>(10)</label><mml:math id="M27"><mml:mrow><mml:msubsup><mml:mi mathvariant='-tex-caligraphic'>C</mml:mi><mml:mi>r</mml:mi><mml:mrow><mml:mi>S</mml:mi><mml:mi>S</mml:mi><mml:mi>B</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:mtext>max</mml:mtext><mml:mrow><mml:mo>{</mml:mo><mml:mrow><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:msubsup><mml:mover accent='true'><mml:mi mathvariant='-tex-caligraphic'>C</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mi>r</mml:mi><mml:mrow><mml:mi>S</mml:mi><mml:mi>S</mml:mi><mml:mi>B</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>}</mml:mo></mml:mrow></mml:mrow></mml:math></disp-formula>
<p>with</p>
<disp-formula id="E11"><label>(11)</label><mml:math id="M28"><mml:mrow><mml:msubsup><mml:mover accent='true'><mml:mi mathvariant='-tex-caligraphic'>C</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mi>r</mml:mi><mml:mrow><mml:mi>S</mml:mi><mml:mi>S</mml:mi><mml:mi>B</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mn>2</mml:mn></mml:mfrac><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mtext>&#x0200B;</mml:mtext><mml:mn>2</mml:mn><mml:mo>&#x0007C;</mml:mo><mml:mo>&#x02329;</mml:mo><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:msubsup><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>x</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0002B;</mml:mo><mml:mi>r</mml:mi></mml:mrow></mml:msubsup><mml:mo>&#x0232A;</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mo>&#x02212;</mml:mo><mml:msqrt><mml:mrow><mml:msup><mml:mrow><mml:mo stretchy='false'>(</mml:mo><mml:mn>1</mml:mn><mml:mo>&#x0002B;</mml:mo><mml:mo>&#x02329;</mml:mo><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>z</mml:mi><mml:mi>i</mml:mi></mml:msubsup><mml:msubsup><mml:mi>&#x003C3;</mml:mi><mml:mi>z</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0002B;</mml:mo><mml:mi>r</mml:mi></mml:mrow></mml:msubsup><mml:mo>&#x0232A;</mml:mo><mml:mo stretchy='false'>)</mml:mo></mml:mrow><mml:mn>2</mml:mn></mml:msup><mml:mo>&#x02212;</mml:mo><mml:msup><mml:mrow><mml:mo stretchy='false'>(</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mi>z</mml:mi></mml:msub><mml:mo>&#x0002B;</mml:mo><mml:msub><mml:mi>q</mml:mi><mml:mi>z</mml:mi></mml:msub><mml:mo stretchy='false'>)</mml:mo></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mrow></mml:msqrt><mml:mtext>&#x0200B;</mml:mtext></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mtext>&#x0200B;</mml:mtext><mml:mo>.</mml:mo><mml:mo>&#x000A0;</mml:mo><mml:mo>&#x000A0;</mml:mo><mml:mo>&#x000A0;</mml:mo></mml:mrow></mml:math></disp-formula>
<p>The maximization in Equations (7), (8), and (10) appears because the entanglement measure involves an optimization procedure over all possible decompositions of the mixed state in a mixture over pure states. The expressions for the concurrence without taking into account the maximum operation are given by Equations (9) or (11), for symmetric and non-symmetric ground states, respectively. But note that such expression are not valid entanglement measures. Note also that, as expected, Equation (11) reduces to Equations (9) and (10) reduces to Equation (8), when there is no SSB (<italic>p</italic><sub><italic>z</italic></sub> &#x0003D; <italic>q</italic><sub><italic>z</italic></sub> &#x0003D; <italic>m</italic> &#x0003D; 0).</p>
<p>In Figure <xref ref-type="fig" rid="F1">1</xref> we show <inline-formula><mml:math id="M29"><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mo>&#x002DC;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, which is the concurrence without taking into account the maximum operation neither the SSB. We can see that <inline-formula><mml:math id="M30"><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mo>&#x002DC;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is discontinuous at &#x00394; &#x0003D; &#x02212;1, jumping from -1 to 0. This discontinuity has its origins in <inline-formula><mml:math id="M31"><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>x</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msubsup><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>x</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0002B;</mml:mo><mml:mi>r</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="M32"><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msubsup><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0002B;</mml:mo><mml:mi>r</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow></mml:math></inline-formula>, which are both discontinuous at &#x00394; &#x0003D; &#x02212;1. A discontinuity in the concurrence would indicate a first-order QPT (1QPT), but the true entanglement measure is <inline-formula><mml:math id="M33"><mml:msub><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, not <inline-formula><mml:math id="M34"><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mo>&#x002DC;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. So <inline-formula><mml:math id="M35"><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mo>&#x002DC;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> does indicate the right transition, but is not an entanglement measure.</p>
<fig id="F1" position="float">
<label>Figure 1</label>
<caption><p><bold>&#x0201C;Concurrence.&#x0201D;</bold> &#x0201C;Concurrence&#x0201D; before maximum operation for first, second and third neighbor without taking into account the Spontaneous Symmetry Breaking. We can see that the non analyticity in the concurrence at &#x00394; &#x0003D; &#x02212;1 is accidental, due to the maximum operation.</p></caption>
<graphic xlink:href="fphy-04-00051-g0001.tif"/>
</fig>
<p>In Figure <xref ref-type="fig" rid="F2">2</xref> one can see that <inline-formula><mml:math id="M36"><mml:msub><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is continuous and it is possible to check that the first derivative of <inline-formula><mml:math id="M37"><mml:msub><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is discontinuous (we checked it, but one can also guess from the form of the curve of <inline-formula><mml:math id="M38"><mml:msub><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>), which should indicate a second-order QPT (2QPT). In sum, the concurrence indicates a 2QPT, while it is known that at &#x00394; &#x0003D; &#x02212;1 we have a 1QPT.</p>
<fig id="F2" position="float">
<label>Figure 2</label>
<caption><p><bold>Concurrence</bold>. Concurrence for first, second and third neighbor. We can see a non-alalyticity at &#x00394; &#x0003D; &#x02212;1.</p></caption>
<graphic xlink:href="fphy-04-00051-g0002.tif"/>
</fig>
<p>This failure of concurrence to indicate the right order of the QPT was noted in Yang [<xref ref-type="bibr" rid="B4">4</xref>] and happens because the discontinuity in the first derivative of <inline-formula><mml:math id="M39"><mml:msub><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> comes from the maximum operation and not from the non-analytical behavior of the energy, which is present in the correlation functions and in <inline-formula><mml:math id="M40"><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mo>&#x002DC;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. Thus, this is an artificial non-analyticity and should not indicate a QPT properly. Note that <inline-formula><mml:math id="M41"><mml:msub><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math id="M42"><mml:msub><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mrow><mml:mn>3</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula> also have an &#x0201C;extra&#x0201D; non-analytical behavior (around &#x00394; &#x0003D; &#x02212;0.5), which originates in the maximization and does not correspond to a QPT. However these results are obtained by not taking into account the effects of the SSB, i.e., using Equation (9) instead of Equation (11).</p>
<p>We now consider the effect of the SSB by taking into account that in the ferromagnetic phase, &#x00394; &#x0003C; &#x02212;1, all spins are aligned in the same direction: <italic>m</italic> &#x0003D; &#x000B1;1 (<italic>p</italic><sub><italic>z</italic></sub> &#x0003D; <italic>q</italic><sub><italic>z</italic></sub> &#x0003D; <italic>m</italic>). This was first studied in Syljuasen [<xref ref-type="bibr" rid="B7">7</xref>], where it was shown that concurrence does not change when considering SSB, even thought the expressions for the concurrence are different: it is Equation (8) for symmetric states and Equation (10) for non-symmetric states. However, Syljuasen [<xref ref-type="bibr" rid="B7">7</xref>] does not analyze the origin of the non-analyticity at &#x00394; &#x0003D; &#x02212;1 when considering the SSB. In order to study this, we ploted Equation (11) in Figure <xref ref-type="fig" rid="F3">3</xref>. One can see that in the ferromagnetic phase <inline-formula><mml:math id="M43"><mml:msubsup><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mo>&#x002DC;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow><mml:mrow><mml:mi>S</mml:mi><mml:mi>S</mml:mi><mml:mi>B</mml:mi></mml:mrow></mml:msubsup></mml:math></inline-formula> vanishes, so the concurrence goes to zero &#x0201C;naturally&#x0201D; without the need of the maximum operation: <inline-formula><mml:math id="M44"><mml:msubsup><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mo>&#x002DC;</mml:mo></mml:mover></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow><mml:mrow><mml:mi>S</mml:mi><mml:mi>S</mml:mi><mml:mi>B</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:msubsup><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow><mml:mrow><mml:mi>S</mml:mi><mml:mi>S</mml:mi><mml:mi>B</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:msub><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> for &#x00394; &#x02264; &#x02212;1. We can also observe that SSB does not change the &#x0201C;extra&#x0201D; non-analytical behavior of <inline-formula><mml:math id="M45"><mml:msub><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math id="M46"><mml:msub><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mrow><mml:mn>3</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula>.</p>
<fig id="F3" position="float">
<label>Figure 3</label>
<caption><p><bold>&#x0201C;Concurrence&#x0201D; with SSB</bold>. &#x0201C;Concurrence&#x0201D; before maximum operation for first, second and third neighbor taking into account the Spontaneous Symmetry Breaking. We can see that the non-analyticity in the concurrence at &#x00394; &#x0003D; &#x02212;1, which was accidental due to the maximum operation, happens naturally if we do take into account the symmetry breaking, and that is the only non-analyticity that is changed.</p></caption>
<graphic xlink:href="fphy-04-00051-g0003.tif"/>
</fig>
<p>So, we have two facts here:</p>
<list list-type="order">
<list-item><p>Although the expressions for symmetric and non-symmetric state are different, the entanglement value is the same; something already noted by Syljuasen [<xref ref-type="bibr" rid="B7">7</xref>] (and by Osterloh et al. [<xref ref-type="bibr" rid="B6">6</xref>] and de Oliveira et al. [<xref ref-type="bibr" rid="B5">5</xref>] for the XY model).</p></list-item>
<list-item><p>The origin of non-analyticity in <inline-formula><mml:math id="M47"><mml:msub><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, taking into account SSB, at &#x00394; &#x0003D; &#x02212;1 is not due to the maximum operation, it comes from the correlation functions and the magnetizations.</p></list-item>
</list>
<p>Therefore, even tough SSB does not change the behavior of the concurrence, it does change the origin of the non-analyticity: leading an accidental non-analyticity to &#x0201C;natural&#x0201D; one. Note also that SSB only changes the non-analyticity that correspond to a real QPT.</p>
<p>Unfortunately <inline-formula><mml:math id="M48"><mml:msubsup><mml:mrow><mml:mrow><mml:mi mathvariant="-tex-caligraphic">C</mml:mi></mml:mrow></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow><mml:mrow><mml:mi>S</mml:mi><mml:mi>S</mml:mi><mml:mi>B</mml:mi></mml:mrow></mml:msubsup></mml:math></inline-formula> still indicates a 2QPT instead of a 1QPT. That happens because the non-analytic behavior of the energy, which would indicate the correct 1QPT, is contained in the correlation function <inline-formula><mml:math id="M49"><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msubsup><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>z</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0002B;</mml:mo><mml:mi>r</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow></mml:math></inline-formula>, but this is canceled by the term <italic>p</italic><sub><italic>z</italic></sub>&#x0002B;<italic>q</italic><sub><italic>z</italic></sub> in Equation (21). Thus, in some sense one could still argue that this is an accidental non-analytical behavior, but of different nature.</p>
</sec>
<sec id="s4">
<title>4. Von neumann entropy and QPT</title>
<p>Another interesting fact is the raise of a discontinuity in the entanglement between one site and the rest of the chain given by the von Neumann entropy for one site when we take into account the SSB.</p>
<p>The von Neumann entropy for one site is given by the equation:</p>
<disp-formula id="E12"><label>(12)</label><mml:math id="M50"><mml:mrow><mml:mi>S</mml:mi><mml:mo>=</mml:mo><mml:mo>&#x02212;</mml:mo><mml:mi>x</mml:mi><mml:mi>log</mml:mi><mml:mi>x</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mo stretchy='false'>(</mml:mo><mml:mn>1</mml:mn><mml:mo>&#x02212;</mml:mo><mml:mi>x</mml:mi><mml:mo stretchy='false'>)</mml:mo><mml:mi>log</mml:mi><mml:mo stretchy='false'>(</mml:mo><mml:mn>1</mml:mn><mml:mo>&#x02212;</mml:mo><mml:mi>x</mml:mi><mml:mo stretchy='false'>)</mml:mo><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>
<p>where <italic>x</italic> is one of the two eigenvalues of the reduced density matrix of one site, that is</p>
<disp-formula id="E13"><label>(13)</label><mml:math id="M51"><mml:mrow><mml:msub><mml:mi>&#x003C1;</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mn>2</mml:mn></mml:mfrac><mml:mrow><mml:mo>[</mml:mo><mml:mrow><mml:mtable><mml:mtr><mml:mtd><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x0002B;</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mtd><mml:mtd><mml:mn>0</mml:mn></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mn>0</mml:mn></mml:mtd><mml:mtd><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mrow><mml:mo>]</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:math></disp-formula>
<p>with <italic>m</italic><sub><italic>i</italic></sub> &#x0003D; <italic>m</italic> &#x0003D; &#x02329;&#x003C3;<sub><italic>z</italic></sub>&#x0232A;. Thus, the von Neumann entropy is:</p>
<disp-formula id="E14"><label>(14)</label><mml:math id="M52"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mo>&#x02212;</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mtext>&#x0200B;</mml:mtext><mml:mfrac><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x0002B;</mml:mo><mml:mi>m</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac><mml:mtext>&#x0200B;</mml:mtext></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mi>log</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mtext>&#x0200B;</mml:mtext><mml:mfrac><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x0002B;</mml:mo><mml:mi>m</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac><mml:mtext>&#x0200B;</mml:mtext></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mtext>&#x0200B;</mml:mtext><mml:mfrac><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x02212;</mml:mo><mml:mi>m</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac><mml:mtext>&#x0200B;</mml:mtext></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mi>log</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mfrac><mml:mrow><mml:mn>1</mml:mn><mml:mo>&#x02212;</mml:mo><mml:mi>m</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>.</mml:mo><mml:mo>&#x000A0;</mml:mo><mml:mo>&#x000A0;</mml:mo></mml:mrow></mml:math></disp-formula>
<p>Figure <xref ref-type="fig" rid="F4">4</xref> depicts this von Neumann entropy taking into account the SSB (red dashed line) and without this SSB (blue line). It shows that without SSB this entropy indicates that the ferromagnetic phase is maximally entangled: it is a macroscopic superposition of two states with finite and opposite magnetizations. Such state is very sensitive to external perturbations. Taking into account the SSB, the entanglement goes to zero as it should for the separable ferromagnetic state at this phase; in this case the system chooses one of the two ferromagnetic configurations. Therefore, in this case the SSB influences directly the entanglement behavior at the QPT, and has to be taken into account for the entanglement to signals the 1QPT. Such influence of the SSB has also been found out in other models [<xref ref-type="bibr" rid="B5">5</xref>, <xref ref-type="bibr" rid="B6">6</xref>].</p>
<fig id="F4" position="float">
<label>Figure 4</label>
<caption><p><bold>Von Neumann entropy for one particle</bold>. Von Neumann entropy of particle <italic>i</italic> with and without SSB, which shows the entanglement between this particle with all other particles in the chain. We can see that it can indicate 1QFT at &#x00394; &#x0003D; &#x02212;1 if we take into account SSB.</p></caption>
<graphic xlink:href="fphy-04-00051-g0004.tif"/>
</fig>
</sec>
<sec id="s5">
<title>5. Conclusion</title>
<p>We have studied the influence of SSB in the entanglement between two spins and between one spin and the rest of the chain in the one dimensional spin-<inline-formula><mml:math id="M53"><mml:mfrac><mml:mrow><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:mfrac></mml:math></inline-formula> XXZ model.</p>
<p>We first showed that, although SSB does not change the behavior of the concurrence at the first-order Quantum Phase Transition, as first noted by Syljuasen [<xref ref-type="bibr" rid="B7">7</xref>], it does change the origin of non-analyticity behavior from an accidental one to a &#x0201C;natural&#x0201D; one. This is a much more subtle influence. Unfortunately, the &#x0201C;natural&#x0201D; non-analyticity still indicates a second-order Quantum Phase Transition instead of the correct first-order Quantum Phase Transition.</p>
<p>We also showed that the behavior of the entanglement between one site and the rest is affected by the SSB at the first-order Quantum Phase Transition. It only signals the phase transition when taking into account the SSB.</p>
<p>We thus give further evidence that the use of entanglement to study QPT may be much more intricate than at first glance. One has to be cautious at least about: (i) accidental non-analytic behavior due to optimizations in the entanglement measure adopted; (ii) effects of the SSB in the entanglement value and (iii) effects of spontaneous symmetry break in the origin of the non-analyticities.</p>
</sec>
<sec id="s6">
<title>Author contributions</title>
<p>LPJ did all the calculations. TRO participated in all the discussions and supervised the work.</p>
<sec>
<title>Conflict of interest statement</title>
<p>The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.</p>
</sec>
</sec>
</body>
<back>
<ack><p>Both authors acknowledge financial support from the Brazilian agencies Conselho Nacional de Desenvolvimento Cient&#x000ED;fico e Tecnol&#x000F3;gico (CNPq) and Coordena&#x000E7;&#x000E3;o de Aperfei&#x000E7;oamento de Pessoal de N&#x000ED;vel Superior (CAPES). This work was performed as part of the Brazilian National Institute of Science and Technology for Quantum Information.</p>
</ack>
<ref-list>
<title>References</title>
<ref id="B1">
<label>1.</label>
<citation citation-type="journal"><person-group person-group-type="author"><name><surname>Wu</surname> <given-names>LA</given-names></name> <name><surname>Sarandy</surname> <given-names>MS</given-names></name> <name><surname>Lidar</surname> <given-names>DA</given-names></name></person-group>. <article-title>Quantum phase transitions and bipartite entanglement</article-title>. <source>Phys Rev Lett.</source> (<year>2004</year>) <volume>93</volume>:<fpage>250404</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.93.250404</pub-id><pub-id pub-id-type="pmid">15697878</pub-id></citation>
</ref>
<ref id="B2">
<label>2.</label>
<citation citation-type="journal"><person-group person-group-type="author"><name><surname>Wu</surname> <given-names>L-A</given-names></name> <name><surname>Sarandy</surname> <given-names>MS</given-names></name> <name><surname>Lidar</surname> <given-names>DA</given-names></name> <name><surname>Sham</surname> <given-names>LJ</given-names></name></person-group>. <article-title>Linking entanglement and quantum phase transitions via density functional theory</article-title>. <source>Phys Rev A</source> (<year>2006</year>) <volume>74</volume>:<fpage>052335</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevA.74.052335</pub-id></citation>
</ref>
<ref id="B3">
<label>3.</label>
<citation citation-type="journal"><person-group person-group-type="author"><name><surname>Amico</surname> <given-names>L</given-names></name> <name><surname>Fazio</surname> <given-names>R</given-names></name> <name><surname>Osterloh</surname> <given-names>A</given-names></name> <name><surname>Vedral</surname> <given-names>V</given-names></name></person-group>. <article-title>Entanglement in many-body systems</article-title>. <source>Rev Mod Phys.</source> (<year>2008</year>) <volume>80</volume>:<fpage>517</fpage>. <pub-id pub-id-type="doi">10.1103/RevModPhys.80.517</pub-id><pub-id pub-id-type="pmid">25166146</pub-id></citation>
</ref>
<ref id="B4">
<label>4.</label>
<citation citation-type="journal"><person-group person-group-type="author"><name><surname>Yang</surname> <given-names>M-F</given-names></name></person-group>. <article-title>Reexamination of entanglement and the quantum phase transition</article-title>. <source>Phys Rev A</source> (<year>2005</year>) <volume>71</volume>:<fpage>030302(R)</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevA.71.030302</pub-id></citation>
</ref>
<ref id="B5">
<label>5.</label>
<citation citation-type="journal"><person-group person-group-type="author"><name><surname>de</surname> <given-names>Oliveira TR</given-names></name> <name><surname>Rigolin</surname> <given-names>G</given-names></name> <name><surname>de</surname> <given-names>Oliveira MC</given-names></name> <name><surname>Miranda</surname> <given-names>E</given-names></name></person-group>. <article-title>Symmetry-breaking effects upon bipartite and multipartite entanglement in the XY model</article-title>. <source>Phys Rev A</source> (<year>2008</year>) <volume>77</volume>:<fpage>032325</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevA.77.032325</pub-id></citation>
</ref>
<ref id="B6">
<label>6.</label>
<citation citation-type="journal"><person-group person-group-type="author"><name><surname>Osterloh</surname> <given-names>A</given-names></name> <name><surname>Palacios</surname> <given-names>G</given-names></name> <name><surname>Montangero</surname> <given-names>S</given-names></name></person-group>. <article-title>Enhancement of pairwise entanglement from &#x02124;<sub>2</sub> symmetry breaking</article-title>. <source>Phys Rev Lett.</source> (<year>2006</year>) <volume>97</volume>:<fpage>257201</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevLett.97.257201</pub-id><pub-id pub-id-type="pmid">17280385</pub-id></citation>
</ref>
<ref id="B7">
<label>7.</label>
<citation citation-type="journal"><person-group person-group-type="author"><name><surname>Syljuasen</surname> <given-names>OF</given-names></name></person-group>. <article-title>Entanglement and spontaneous symmetry breaking in quantum spin models</article-title>. <source>Phys Rev A</source> (<year>2003</year>) <volume>68</volume>:<fpage>060301(R)</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevA.68.060301</pub-id><pub-id pub-id-type="pmid">22587032</pub-id></citation>
</ref>
<ref id="B8">
<label>8.</label>
<citation citation-type="journal"><person-group person-group-type="author"><name><surname>Justino</surname> <given-names>L</given-names></name> <name><surname>de</surname> <given-names>Oliveira TR</given-names></name></person-group>. <article-title>Bell inequalities and entanglement at quantum phase transitions in the XXZ model</article-title>. <source>Phys Rev A</source> (<year>2012</year>) <volume>85</volume>:<fpage>052128</fpage>. <pub-id pub-id-type="doi">10.1103/PhysRevA.85.052128</pub-id></citation>
</ref>
<ref id="B9">
<label>9.</label>
<citation citation-type="journal"><person-group person-group-type="author"><name><surname>Yang</surname> <given-names>CN</given-names></name> <name><surname>Yang</surname> <given-names>CP</given-names></name></person-group>. <article-title>One-dimensional chain of anisotropic spin-spin interactions</article-title>. II. Properties of the ground-state energy per lattice site for an infinite system. <source>Phys. Rev.</source> (<year>1966</year>) <volume>150</volume>:<fpage>321</fpage>&#x02013;<lpage>39</lpage>. <pub-id pub-id-type="doi">10.1103/PhysRev.150.321</pub-id></citation>
</ref>
<ref id="B10">
<label>10.</label>
<citation citation-type="journal"><person-group person-group-type="author"><name><surname>Shiroishi</surname> <given-names>M</given-names></name> <name><surname>Takahashi</surname> <given-names>M</given-names></name></person-group>. <article-title>Exact Calculation of Correlation Functions for Spin-1/2 Heisenberg Chain</article-title>. <source>J Phys Soc Jpn.</source> (<year>2005</year>) <volume>74</volume>:<fpage>47</fpage>&#x02013;<lpage>52</lpage>. <pub-id pub-id-type="doi">10.1143/JPSJS.74S.47</pub-id></citation>
</ref>
<ref id="B11">
<label>11.</label>
<citation citation-type="journal"><person-group person-group-type="author"><name><surname>Kato</surname> <given-names>G</given-names></name> <name><surname>Shiroishi</surname> <given-names>M</given-names></name> <name><surname>Takahashi</surname> <given-names>M</given-names></name> <name><surname>Sakai</surname> <given-names>K</given-names></name></person-group>. <article-title>Third-neighbour and other four-point correlation functions of spin-1/2 XXZ chain</article-title>. <source>J Phys A Math Gen.</source> (<year>2004</year>) <volume>37</volume>:<fpage>5097</fpage>&#x02013;<lpage>123</lpage>. <pub-id pub-id-type="doi">10.1088/0305-4470/37/19/001</pub-id></citation>
</ref>
</ref-list>
<fn-group>
<fn id="fn0001"><p><sup>1</sup>Note that there are typos in Equations (19) and (20) from Shiroishi and Takahashi [<xref ref-type="bibr" rid="B10">10</xref>]. In (19) we only need to sum a <inline-formula><mml:math id="M54"><mml:mo>-</mml:mo><mml:mfrac><mml:mrow><mml:msub><mml:mrow><mml:mi>c</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mrow><mml:mi>&#x003C0;</mml:mi><mml:msub><mml:mrow><mml:mi>s</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:mfrac><mml:msub><mml:mrow><mml:mi>&#x003B6;</mml:mi></mml:mrow><mml:mrow><mml:mi>&#x003BD;</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. In (20) we need to go to Kato et al. [<xref ref-type="bibr" rid="B11">11</xref>] [note that Equation (5.4) has the same typo] and use Equations (5.10), (B.11), and (B.12) to calculate and find the error in <inline-formula><mml:math id="M55"><mml:mrow><mml:mo>&#x02329;</mml:mo><mml:mrow><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>x</mml:mi></mml:mrow></mml:msubsup><mml:msubsup><mml:mrow><mml:mi>&#x003C3;</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0002B;</mml:mo><mml:mn>3</mml:mn></mml:mrow><mml:mrow><mml:mi>x</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mo>&#x0232A;</mml:mo></mml:mrow></mml:math></inline-formula>.</p></fn>
</fn-group>
</back>
</article>