{"entities":{"Q1068335":{"pageid":1079087,"ns":120,"title":"Item:Q1068335","lastrevid":69775974,"modified":"2026-04-13T09:18:42Z","type":"item","id":"Q1068335","labels":{"en":{"language":"en","value":"A remark on the cluster theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3931800"}},"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":"Q1068335$89A167DE-F4C7-4F80-A993-31C5C970BB3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"509960f64b44f7c4c551f04ecf7fe440e02bcb4c","datavalue":{"value":{"text":"A remark on the cluster theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1068335$217551ED-14C8-4355-A3E3-17D8546DF0AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bf978c89ff51e48b27355d13bf6431b27bbd9cf","datavalue":{"value":"0582.46068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068335$CA8D337B-6F9E-4DCD-A02F-88E9697E16E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae1420b71503f97ac2e81736accfdaf0be2b54d5","datavalue":{"value":"10.1007/BF01213409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068335$25DD6D8F-96FF-45E9-9206-E1F9C4101581","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56374a65e5e6074396b34b440787d76d907d7575","datavalue":{"value":{"entity-type":"item","numeric-id":444632,"id":"Q444632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068335$FACBEDF3-1BC1-4FC1-ABA2-7478532EE09E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"74062a62bcb16497befde51af6dcf546af6addde","datavalue":{"value":{"entity-type":"item","numeric-id":192672,"id":"Q192672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068335$F91641F3-FE17-406A-8074-4B5DB88FE981","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1068335$042B7CB1-3859-4626-A815-3DF7C029889A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c0eaa375b0321bc82d9cbd8b7e870af81b1b879","datavalue":{"value":"The cluster theorem states that in a massive relativistic quantum field theory the vacuum correlations of local observables decay exponentially fast with their spacelike separation. Proofs of the cluster theorem have been given by \\textit{D. Ruelle} [Helv. Phys. Acta 35, 147--163 (1962; Zbl 0158.45702)] (decay faster than every power, functional analytic techniques), \\textit{H. Araki}, \\textit{K. Hepp} and \\textit{D. Ruelle} [Helv. Phys. Acta 35, 164--174 (1962; Zbl 0161.23503)] (correct exponential decay with power corrections, only simple geometric situations, techniques of the Jost-Lehmann-Dyson representation in the theory of analytic functions of several variables) and \\textit{R. Haag} and \\textit{J. A. Swieca} [Commun. Math. Phys. 1, 308--320 (1965; Zbl 0149.23803)] (exponential decay with a smaller parameter, functional analytic techniques).    In this paper the following improved version of the cluster theorem is proved. Theorem. Let \\(H\\) be a positive selfadjoint operator in some Hilbert space \\({\\mathcal H}\\) with \\(\\text{sp}\\;H\\subset \\{0\\}\\cup [m,\\infty)\\), \\(m>0\\) and with a nondegenerate eigenvalue 0. Let \\(A\\) and \\(B\\) be bounded operators in \\({\\mathcal H}\\) with \\([A,e^{itH} Be^{-itH}]=0\\) for all \\(t\\) with \\(| t| <\\tau\\), \\(\\tau >0\\). Then  \\[  | (\\Omega,AB\\Omega)- (\\Omega,A\\Omega)(\\Omega,B\\Omega)| \\leq \\{\\| A\\Omega \\| \\| A^*\\Omega \\| \\| B\\Omega \\| \\| B^*\\Omega \\| \\}^{1/2}e^{-m\\tau}. \\]   The proof relies on techniques of the theory of analytic functions. Due to the assumptions on \\(A\\), \\(B\\) and \\(H\\) the function  \\[  f(z)=(\\Omega,Ae^{izH} B\\Omega)- (\\Omega,A\\Omega)(\\Omega,B\\Omega),\\quad \\text{Im}\\;z>0  \\]  can be analytically extended to the cut plane  \\[  {\\mathbb C}_{\\tau}=\\{z\\in {\\mathbb C}, \\text{Im}\\;z\\neq 0 \\text{ or } | \\text{Re}\\;z| <\\tau \\}.  \\]  A holomorphic mapping from the unit disc onto \\({\\mathbb C}_{\\tau}\\) makes \\(f\\) into an analytic function on the unit disc. An application of Jensen's inequality then leads to the desired result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068335$B3B664FD-450C-4E0E-BB5C-351989080EDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"940b4be11a3cd6bc12acb4d21fe46d01e7520f75","datavalue":{"value":"81T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068335$2E064978-BC87-4562-96D6-5081A8FC3F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c693e2a3de9b1637cff59b38d19aa5c090e545d2","datavalue":{"value":"46N50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068335$B9282753-E163-4CF9-A269-54F4DCB5A1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"755e7aa36816bfd9af87874c1ec6fc057a595484","datavalue":{"value":"47N50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068335$84C79920-BC1D-4877-9BC8-0BA61BFCCCCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdde3f066f1f7671e99e332738a5670b1b6ba23e","datavalue":{"value":"3931800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068335$A9E6B00C-CB8A-4A63-8E9B-997AA1B5D976","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e975cacae5df7925208dced1fc675e84627393bf","datavalue":{"value":"cluster theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068335$87CB250C-1200-4268-97FB-33D169017B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd08fa31d71c4079d7bba4a28f88312d1954451","datavalue":{"value":"massive relativistic quantum field theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068335$8430A306-613B-401E-B1B3-3A8E2A0BEDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a49ddd46ecbd19b8b98c6388bd7b0b1f1374bac1","datavalue":{"value":"the vacuum correlations of local observables decay exponentially fast with their spacelike separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068335$3FB9F64A-3833-4070-8AA6-6F82C63F9572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e0f187f2c9771f30b700db2c6dd0b89d5482a33","datavalue":{"value":"Jensen's inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068335$742EE381-3433-4E61-88CD-1159946F23B6","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":"Q1068335$9208732E-80F0-4FA8-BA51-1D09AC729927","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f6a0f95be1c7d618513aac2d5190c8a65da34b","datavalue":{"value":{"entity-type":"item","numeric-id":5543456,"id":"Q5543456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068335$5BC05F76-1FFA-497C-819D-9C41BE6E9F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e278ba06f7cce2d3164246ecbeae7ce18ef98c","datavalue":{"value":{"entity-type":"item","numeric-id":5542029,"id":"Q5542029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068335$7E5787F1-4760-4ED1-8EBC-46F22BCFFC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17405dba133c280b7226661627efc81b4ad20098","datavalue":{"value":{"entity-type":"item","numeric-id":2525156,"id":"Q2525156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068335$A245F9CC-AFAA-4BDB-B7A4-5F94475C07E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00853d1c62e1af0266dd5f9683c5457be0e43335","datavalue":{"value":{"entity-type":"item","numeric-id":5597066,"id":"Q5597066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068335$67D9BFA6-A720-40B1-8E74-AFADB841E1A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7482288fa3be556dfa70d31d168825ac528731a","datavalue":{"value":{"entity-type":"item","numeric-id":4828022,"id":"Q4828022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8471404ddb3de782d00560a6ec444de67069c7d","datavalue":{"value":{"amount":"+0.6964392066001892","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":"Q1068335$E4D9D613-9332-41D5-8CD0-430AEA3085BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512696d8be223c8f63d944ed1c7f3bcaace154d0","datavalue":{"value":{"entity-type":"item","numeric-id":2421679,"id":"Q2421679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1413c15c4cef0854e9b1c0addaaa1a4e4fcb007","datavalue":{"value":{"amount":"+0.6922305226325989","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":"Q1068335$9544D3E6-E179-45B9-AA6F-763628B566C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f278b0f77cfdb57b1a04a153ea67babc4879e21","datavalue":{"value":{"entity-type":"item","numeric-id":3742187,"id":"Q3742187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2282dee84ffbabb695892920f22f176ba686904","datavalue":{"value":{"amount":"+0.6839538216590881","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":"Q1068335$02B5057B-835D-40A6-B1D9-D7D609D36D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45505537ba2e5aaca6ef8c17be16a23a67ed01a","datavalue":{"value":{"entity-type":"item","numeric-id":2723271,"id":"Q2723271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f4e9d59149d10c3d1d1f28455bed38d1c06c38","datavalue":{"value":{"amount":"+0.6745496988296509","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":"Q1068335$B4BC8B37-5E3B-4136-94B9-988DBEDA4EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0457c3e3b6edca2bf62d283f68f10753c8327ec","datavalue":{"value":{"entity-type":"item","numeric-id":2465601,"id":"Q2465601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab35de87bfee1f93dd86f84b31de983e96bf411c","datavalue":{"value":{"amount":"+0.6697903871536255","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":"Q1068335$E8A6B20E-7083-44FE-A616-4C7CBAD371FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A remark on the cluster theorem","badges":[]}}}}}