{"entities":{"Q504205":{"pageid":505972,"ns":120,"title":"Item:Q504205","lastrevid":62327736,"modified":"2026-04-11T05:20:18Z","type":"item","id":"Q504205","labels":{"en":{"language":"en","value":"Correlation inequalities for the quantum XY model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6677854"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504205$5EF9ABCF-FB1E-4B70-97BA-CC6262788A84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85f8f191bc4e1f4ea3687bb6a41b483366709a69","datavalue":{"value":{"text":"Correlation inequalities for the quantum XY model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q504205$931D9335-2B4B-4BEA-943D-53171FBFB8C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10ef8616f2d27bde98e9c6f1c2fefd1d98240b4b","datavalue":{"value":"1359.82002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504205$A6F0FB4A-7904-4255-8140-472771BBBBD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b903399d4830aaf8a2f75aa5edb5bfe3cbf91cf","datavalue":{"value":{"entity-type":"item","numeric-id":504204,"id":"Q504204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504205$E747B230-D6E0-4B23-9367-684B0FDAFD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"054b5a72f723accd5986d78208e1f7baa25fc353","datavalue":{"value":{"entity-type":"item","numeric-id":328179,"id":"Q328179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504205$58F1C43F-255D-4B1E-91B6-86860C60062B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a92934da2decf3fb253d02aad5e727b979e14ece","datavalue":{"value":{"entity-type":"item","numeric-id":326828,"id":"Q326828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504205$19C0133C-8847-4543-9547-A481A06DFD17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd988655a64cc18194d4bb8e267ebd8eed41b1a8","datavalue":{"value":{"entity-type":"item","numeric-id":166985,"id":"Q166985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504205$75B446F1-E997-4123-BF8C-05C90DD57890","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0e464d8dd4bee096d6b5638865b8c3068a3fe10","datavalue":{"value":{"time":"+2017-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q504205$5FB51B7F-3655-4348-BD4F-2EBA2B008082","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dfcbb5e1f84bbbeae9e03a92eaa84a9513c8cfa","datavalue":{"value":"https://arxiv.org/abs/1510.03215","type":"string"},"datatype":"url"},"type":"statement","id":"Q504205$43054DDE-3DC1-4644-9F1E-D111C75D3264","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cda9eb617d34d3f5477af9e64e5dc6d10ec2cb52","datavalue":{"value":"\\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\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q504205$CFF8F31C-BA24-45A4-9BA8-1BC9AEAA207E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a9f7b93ef2b97ed1472eda4d3840832e80e84441","datavalue":{"value":"82B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504205$0870E904-72E9-41DE-A9DD-D695378E0F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ac4eec6d7cc8329ab3df374138b13cb9d331467","datavalue":{"value":"82B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504205$3172F9EA-DB8D-4C73-95B6-90501614E1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6270beb3f138de18bcf9496281086bec933669ba","datavalue":{"value":"82B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504205$333BD549-9A8B-4D13-AD4B-EC23033D1D49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73fe374d8440841310ae3299bc56c2febb98578b","datavalue":{"value":"6677854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504205$AD67682C-98BB-4ADD-81AE-31618F4E0A18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5b3da7afda728c360995e49cb3ee25f81af5566","datavalue":{"value":"quantum XY model","type":"string"},"datatype":"string"},"type":"statement","id":"Q504205$8A3B7753-3942-492F-95E4-1BC7115F7891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96cdb3aab37ce5339e78bf7f8d83df10f70a70b5","datavalue":{"value":"correlation inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q504205$AA544DC2-DD03-4582-9B0C-9C40D2A33F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde81a597810cbb5609a1a187ee168afd5f23869","datavalue":{"value":"Griffiths inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q504205$04BAB2F0-478B-48E8-8820-D9467C24B37B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8136e72ab344ee4922c9d01c10021cd9e5864b9b","datavalue":{"value":"Q42373167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504205$6CF4DF8D-C5C3-4C11-A574-BD80B0A107AC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d1b9364d9e6fda7e34b22c9ee86f645a14aee9b1","datavalue":{"value":{"entity-type":"item","numeric-id":548132,"id":"Q548132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504205$28C9C0E9-B78E-48F6-8CD6-AB485EF9E468","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504205$A07A5307-8A33-4189-8344-34337271271E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4412a9db95cafc5bb8e6da14020086e87be8dccc","datavalue":{"value":"W3104382123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504205$B90E4C5C-7D77-4E20-83F9-080DA099EE09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ec49d59fcf08085a3d62a0831aa40d4e3c8397","datavalue":{"value":{"entity-type":"item","numeric-id":5253090,"id":"Q5253090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504205$3A98CA5F-CAAD-445C-85F6-4F74F8738208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1657d2d254a75466d05cdd4976796420c3b884","datavalue":{"value":{"entity-type":"item","numeric-id":4848561,"id":"Q4848561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504205$232594C2-FACD-4A82-B4C4-62359FD5A916","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1239528566d16a725f58be33cdda9842932d980","datavalue":{"value":"10.1007/S10955-016-1580-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504205$818D24FC-E5E2-484F-B04E-347277FC3F13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1311ff1a85a85905a4f0e6422a392ce1ae0898e","datavalue":{"value":{"entity-type":"item","numeric-id":4593646,"id":"Q4593646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f12576e452de629c1b83575f3677de12785409","datavalue":{"value":{"amount":"+0.8872987627983093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q504205$9F3E40F8-2279-407C-B7DA-633CE921EF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f82964d35b40a938f1b06ca097e6dd079b0160ec","datavalue":{"value":{"entity-type":"item","numeric-id":5246550,"id":"Q5246550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a589e8c751cba3790d9400eb1b0391d7c9791f1b","datavalue":{"value":{"amount":"+0.7648294568061829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q504205$8C1E4DB7-EE9D-4F5B-ABB3-48DF94E9B7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b52e673864fd1ff6ba6a4abf7eef658688f2adc","datavalue":{"value":{"entity-type":"item","numeric-id":506036,"id":"Q506036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23cd84a448ce444255c19ef988dc1286227f5741","datavalue":{"value":{"amount":"+0.7470840215682983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q504205$DD766B99-4603-45AD-B968-4373DACA590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4fa320b4fff83f5ec93b545e98cde2cf567c65","datavalue":{"value":{"entity-type":"item","numeric-id":931360,"id":"Q931360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b416d998f61b3cd8605ecbc299a9d5488df17e69","datavalue":{"value":{"amount":"+0.7424167990684509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q504205$3D411F6C-E4D6-496F-8036-E0235603146B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504205$C18E40B1-A960-4DBD-8C34-7D326D325990","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correlation inequalities for the quantum XY model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correlation_inequalities_for_the_quantum_XY_model"}}}}}