Correlation inequalities for the quantum XY model (Q504205): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(8 intermediate revisions by 5 users not shown)
Property / review text
 
\textit{G. Gallavotti} [``A proof of the Griffiths inequalities for the X-Y model'', Stud. Appl. Math. 50, 89--92 (1971; \url{doi:10.1002/sapm197150189})] has presented a simple generalization of the Griffiths inequalities to the XY model. In the present paper, the authors generalize the results obtained by Gallavotti. The authors show that the quantum XY model fits the setting, at least with spins \(S = \frac{1}{2}\) and \(S=1\). It follows that many truncated correlation functions take a fixed sign. The authors prove that all ground states of the new model lie in the triplet subspace, so the inequality can be transferred. The authors deal with the Hamiltonian \(H_{\Lambda } = -\sum _{A \subset \Lambda } \Bigl ( J_{A}^{1} \prod _{x\in A} S_{x}^{1} + J_{A}^{2} \prod _{x\in A} S_{x}^{2} \Bigr ), \) where \(J_{A}^{i}\) is a nonnegative coupling constant for each subset of \(A \subset \Lambda\) and each spin direction \(i \in \{1,2\}\). The main results of the authors are follows: Theorem. Assume that \(J_{A}^{i} \geq 0\) for all \(A \subset \Lambda\) and all \(i \in \{1,2\}\). Assume also that \(S=\frac{1}{2}\). Then for all \(A,B \subset \Lambda\), and all \(s\in [0,1]\), we have \[ \begin{aligned} &\Bigl \langle \prod _{x\in A} S_{x}^{1} ; \prod _{x\in B} S_{x}^{1} \Bigr \rangle _{s} - \Bigl \langle \prod _{x\in A} S_{x}^{1} \Bigr \rangle \, \Bigl \langle \prod _{x\in B} S_{x}^{1} \Bigr \rangle \geq 0; \\ &\Bigl \langle \prod _{x\in A} S_{x}^{1} ; \prod _{x\in B} S_{x}^{2} \Bigr \rangle _{s} - \Bigl \langle \prod _{x\in A} S_{x}^{1} \Bigr \rangle \, \Bigl \langle \prod _{x\in B} S_{x}^{2} \Bigr \rangle \leq 0. \end{aligned} \] Assume that \(J_{A}^{i} \geq 0\) for all \(A \subset \Lambda\) and all \(i \in \{1,2\}\). Assume also that \(S=1\). Then for all \(A,B \subset \Lambda\), and all \(s\in [0,1]\), we have \[ \begin{aligned} &\lim _{\beta \rightarrow \infty } \biggl [ \Bigl \langle \prod _{x\in A} S_{x}^{1} ; \prod _{x\in B} S_{x}^{1} \Bigr \rangle _{s} - \Bigl \langle \prod _{x\in A} S_{x}^{1} \Bigr \rangle \, \Bigl \langle \prod _{x\in B} S_{x}^{1} \Bigr \rangle \biggr ] \geq 0;\\ &\lim _{\beta \rightarrow \infty } \biggl [ \Bigl \langle \prod _{x\in A} S_{x}^{1} ; \prod _{x\in B} S_{x}^{2} \Bigr \rangle _{s} - \Bigl \langle \prod _{x\in A} S_{x}^{1} \Bigr \rangle \, \Bigl \langle \prod _{x\in B} S_{x}^{2} \Bigr \rangle \biggr ] \leq 0. \end{aligned} \] Theorem. For every finite \(A \subset \subset {\mathbb Z}^d\) and every \(i \in \{1,2\}\), \(\bigl \langle \prod _{x\in A} S_x^i \bigr \rangle _{\Lambda }^{(+)}\) converges as \(\Lambda \nearrow {\mathbb Z}^d\)
Property / review text: \textit{G. Gallavotti} [``A proof of the Griffiths inequalities for the X-Y model'', Stud. Appl. Math. 50, 89--92 (1971; \url{doi:10.1002/sapm197150189})] has presented a simple generalization of the Griffiths inequalities to the XY model. In the present paper, the authors generalize the results obtained by Gallavotti. The authors show that the quantum XY model fits the setting, at least with spins \(S = \frac{1}{2}\) and \(S=1\). It follows that many truncated correlation functions take a fixed sign. The authors prove that all ground states of the new model lie in the triplet subspace, so the inequality can be transferred. The authors deal with the Hamiltonian \(H_{\Lambda } = -\sum _{A \subset \Lambda } \Bigl ( J_{A}^{1} \prod _{x\in A} S_{x}^{1} + J_{A}^{2} \prod _{x\in A} S_{x}^{2} \Bigr ), \) where \(J_{A}^{i}\) is a nonnegative coupling constant for each subset of \(A \subset \Lambda\) and each spin direction \(i \in \{1,2\}\). The main results of the authors are follows: Theorem. Assume that \(J_{A}^{i} \geq 0\) for all \(A \subset \Lambda\) and all \(i \in \{1,2\}\). Assume also that \(S=\frac{1}{2}\). Then for all \(A,B \subset \Lambda\), and all \(s\in [0,1]\), we have \[ \begin{aligned} &\Bigl \langle \prod _{x\in A} S_{x}^{1} ; \prod _{x\in B} S_{x}^{1} \Bigr \rangle _{s} - \Bigl \langle \prod _{x\in A} S_{x}^{1} \Bigr \rangle \, \Bigl \langle \prod _{x\in B} S_{x}^{1} \Bigr \rangle \geq 0; \\ &\Bigl \langle \prod _{x\in A} S_{x}^{1} ; \prod _{x\in B} S_{x}^{2} \Bigr \rangle _{s} - \Bigl \langle \prod _{x\in A} S_{x}^{1} \Bigr \rangle \, \Bigl \langle \prod _{x\in B} S_{x}^{2} \Bigr \rangle \leq 0. \end{aligned} \] Assume that \(J_{A}^{i} \geq 0\) for all \(A \subset \Lambda\) and all \(i \in \{1,2\}\). Assume also that \(S=1\). Then for all \(A,B \subset \Lambda\), and all \(s\in [0,1]\), we have \[ \begin{aligned} &\lim _{\beta \rightarrow \infty } \biggl [ \Bigl \langle \prod _{x\in A} S_{x}^{1} ; \prod _{x\in B} S_{x}^{1} \Bigr \rangle _{s} - \Bigl \langle \prod _{x\in A} S_{x}^{1} \Bigr \rangle \, \Bigl \langle \prod _{x\in B} S_{x}^{1} \Bigr \rangle \biggr ] \geq 0;\\ &\lim _{\beta \rightarrow \infty } \biggl [ \Bigl \langle \prod _{x\in A} S_{x}^{1} ; \prod _{x\in B} S_{x}^{2} \Bigr \rangle _{s} - \Bigl \langle \prod _{x\in A} S_{x}^{1} \Bigr \rangle \, \Bigl \langle \prod _{x\in B} S_{x}^{2} \Bigr \rangle \biggr ] \leq 0. \end{aligned} \] Theorem. For every finite \(A \subset \subset {\mathbb Z}^d\) and every \(i \in \{1,2\}\), \(\bigl \langle \prod _{x\in A} S_x^i \bigr \rangle _{\Lambda }^{(+)}\) converges as \(\Lambda \nearrow {\mathbb Z}^d\) / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 82B10 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 82B20 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 82B26 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6677854 / rank
 
Normal rank
Property / zbMATH Keywords
 
quantum XY model
Property / zbMATH Keywords: quantum XY model / rank
 
Normal rank
Property / zbMATH Keywords
 
correlation inequalities
Property / zbMATH Keywords: correlation inequalities / rank
 
Normal rank
Property / zbMATH Keywords
 
Griffiths inequalities
Property / zbMATH Keywords: Griffiths inequalities / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q42373167 / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Hasan Akin / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3104382123 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1510.03215 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some properties of correlations of quantum lattice systems in thermal equilibrium / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4848561 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 07:46, 13 July 2024

scientific article
Language Label Description Also known as
English
Correlation inequalities for the quantum XY model
scientific article

    Statements

    Correlation inequalities for the quantum XY model (English)
    0 references
    0 references
    0 references
    0 references
    25 January 2017
    0 references
    \textit{G. Gallavotti} [``A proof of the Griffiths inequalities for the X-Y model'', Stud. Appl. Math. 50, 89--92 (1971; \url{doi:10.1002/sapm197150189})] has presented a simple generalization of the Griffiths inequalities to the XY model. In the present paper, the authors generalize the results obtained by Gallavotti. The authors show that the quantum XY model fits the setting, at least with spins \(S = \frac{1}{2}\) and \(S=1\). It follows that many truncated correlation functions take a fixed sign. The authors prove that all ground states of the new model lie in the triplet subspace, so the inequality can be transferred. The authors deal with the Hamiltonian \(H_{\Lambda } = -\sum _{A \subset \Lambda } \Bigl ( J_{A}^{1} \prod _{x\in A} S_{x}^{1} + J_{A}^{2} \prod _{x\in A} S_{x}^{2} \Bigr ), \) where \(J_{A}^{i}\) is a nonnegative coupling constant for each subset of \(A \subset \Lambda\) and each spin direction \(i \in \{1,2\}\). The main results of the authors are follows: Theorem. Assume that \(J_{A}^{i} \geq 0\) for all \(A \subset \Lambda\) and all \(i \in \{1,2\}\). Assume also that \(S=\frac{1}{2}\). Then for all \(A,B \subset \Lambda\), and all \(s\in [0,1]\), we have \[ \begin{aligned} &\Bigl \langle \prod _{x\in A} S_{x}^{1} ; \prod _{x\in B} S_{x}^{1} \Bigr \rangle _{s} - \Bigl \langle \prod _{x\in A} S_{x}^{1} \Bigr \rangle \, \Bigl \langle \prod _{x\in B} S_{x}^{1} \Bigr \rangle \geq 0; \\ &\Bigl \langle \prod _{x\in A} S_{x}^{1} ; \prod _{x\in B} S_{x}^{2} \Bigr \rangle _{s} - \Bigl \langle \prod _{x\in A} S_{x}^{1} \Bigr \rangle \, \Bigl \langle \prod _{x\in B} S_{x}^{2} \Bigr \rangle \leq 0. \end{aligned} \] Assume that \(J_{A}^{i} \geq 0\) for all \(A \subset \Lambda\) and all \(i \in \{1,2\}\). Assume also that \(S=1\). Then for all \(A,B \subset \Lambda\), and all \(s\in [0,1]\), we have \[ \begin{aligned} &\lim _{\beta \rightarrow \infty } \biggl [ \Bigl \langle \prod _{x\in A} S_{x}^{1} ; \prod _{x\in B} S_{x}^{1} \Bigr \rangle _{s} - \Bigl \langle \prod _{x\in A} S_{x}^{1} \Bigr \rangle \, \Bigl \langle \prod _{x\in B} S_{x}^{1} \Bigr \rangle \biggr ] \geq 0;\\ &\lim _{\beta \rightarrow \infty } \biggl [ \Bigl \langle \prod _{x\in A} S_{x}^{1} ; \prod _{x\in B} S_{x}^{2} \Bigr \rangle _{s} - \Bigl \langle \prod _{x\in A} S_{x}^{1} \Bigr \rangle \, \Bigl \langle \prod _{x\in B} S_{x}^{2} \Bigr \rangle \biggr ] \leq 0. \end{aligned} \] Theorem. For every finite \(A \subset \subset {\mathbb Z}^d\) and every \(i \in \{1,2\}\), \(\bigl \langle \prod _{x\in A} S_x^i \bigr \rangle _{\Lambda }^{(+)}\) converges as \(\Lambda \nearrow {\mathbb Z}^d\)
    0 references
    quantum XY model
    0 references
    correlation inequalities
    0 references
    Griffiths inequalities
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references