{"entities":{"Q1702559":{"pageid":1713300,"ns":120,"title":"Item:Q1702559","lastrevid":68218692,"modified":"2026-04-12T22:13:19Z","type":"item","id":"Q1702559","labels":{"en":{"language":"en","value":"On asymptotic expansions in spin-boson models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845266"}},"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":"Q1702559$04B96B37-7F68-4A44-84CF-909B58F0E5F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbbc0ffd0d706546801d15fc2339ebecd60afdad","datavalue":{"value":{"text":"On asymptotic expansions in spin-boson models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702559$A3A0F13D-35F5-4C84-9F26-49D934ED6029","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a130be50dbbe3efa71f92e66c5a929e94a32f130","datavalue":{"value":"1385.81031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702559$891916F2-4C0F-4E5D-B5B3-12A57FA62E7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ed2e426e0a84df889ba791a19bfd9531501abaf","datavalue":{"value":{"entity-type":"item","numeric-id":629962,"id":"Q629962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702559$8B883954-7661-4C75-9E2C-A94FA59C2D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5f1a83daeb118490284fa86eb8b5a96e14e8366","datavalue":{"value":{"entity-type":"item","numeric-id":430012,"id":"Q430012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702559$F85E5D5B-CD45-447A-83FE-EA4D37D264EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8745c28903f024777af040ac73cc6e6b9c05725","datavalue":{"value":{"entity-type":"item","numeric-id":1702558,"id":"Q1702558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702559$0B8F7C4B-AB80-4D1D-A431-DFFE57942A0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"10c6de6a10c03c5a2537356e75f97f04a6080c3c","datavalue":{"value":{"entity-type":"item","numeric-id":166925,"id":"Q166925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702559$E7803372-925A-4C6B-B2D6-E8438E6C8B75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83a563c9b99725ee9beb97d56efcf7fe190c1bb1","datavalue":{"value":{"time":"+2018-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702559$FAD7F16F-3BC5-4683-8C35-832FF82625C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68ad0517a79425ddbf667c6f4c1f74c73ed4da4b","datavalue":{"value":"https://arxiv.org/abs/1608.06270","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702559$EAD07D0C-4482-4344-AF68-FEF636445805","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b39b67496cf1d563b590ad341a221a36324c0bc0","datavalue":{"value":"For a large class of generalized spin-Boson models, existence of asymptotic expansions for the ground state and the ground state energy for arbitrary order is proved (Theorem 2). Authors remark asymptotic expansion for arbitrary order have been studied in [\\textit{A. Arai}, Ann. Henri Poincar\u00e9 15, No. 6, 1145--1170 (2014; Zbl 1347.81062)], provided the infrared regularization is sufficiently strong. In the present paper, this infrared assumption is relaxed substantially (\\S2, Hypothesis 1.cf. \\S3, Hypothesis 2). The model is described in \\S2. The total Hilbert space \\(\\mathcal{H}\\) is defined by \\(\\mathcal{H}_{\\mathrm{at}}\\otimes \\mathcal{F}\\). \\(\\mathcal{H}_{\\mathrm{at}}\\) is a separable Hilbert space on which a selfadjoint operator \\(H_{\\mathrm{at}}\\) is acting, whose least spectrum \\(E_{\\mathrm{at}}\\) is an isolated nondegenerate eigenvalue. Its normalized eigenvector is denoted by \\(\\phi_{\\mathrm{at}}\\). \\(\\mathcal{F}=\\bigoplus_{n}\\mathcal{F}_n\\), \\(\\mathcal{F}_n=L^2_s((\\mathbb{R}^3)^n;\\mathbb{C})\\), is the symmetric Fock space. The free field Hamiltonian is denoted by \\(H_f\\). Total Hamiltonian is \\[ H(\\lambda)=H_{\\mathrm{at}}\\otimes 1_\\mathcal{F}+1_{\\mathcal{H}_{\\mathrm{at}}}\\otimes H_f +\\lambda V. \\] Here \\(V=\\phi(G)\\), \\(\\phi(G)=\\overline{a(G)+a^\\ast(G)}\\), where \\(a(G)\\) is the annihilation operator associated with a coupling function, a strongly measurable function \\(G:\\mathbb{R}^3\\to \\mathcal{L}(\\mathcal{H}_{\\mathrm{at}})\\). In this paper, the following estimate of \\(\\|G\\|\\) is used. \\[ \\int\\|G(k)\\|^2(1+|k|^{-2})dk\\leq \\infty. \\] Let \\(E(\\lambda)=\\mathrm{inf}\\sigma(H(\\lambda))\\). Then the following hypothesis is presented. Hypothesis 1. There exists a positive constant \\(\\lambda_0\\) such that for all \\(\\lambda\\in [0,\\lambda_0]\\), the number \\(E(\\lambda)\\) is a simple eigenvalue of \\(H(\\lambda)\\) with eigenvector \\(\\psi(\\lambda)\\in\\mathcal{H}\\). The authors remark that if \\(H_{\\mathrm{at}}\\) has compact resolvent and the coupling function satisfies a certain estimate (1), then the Hypothesis 1 hold as true [\\textit{C. G\u00e9rard}, Ann. Henri Poincar\u00e9 1, No. 3, 443--459 (2000; Zbl 1004.81012)]. Assuming (1) and denote \\(\\psi_0=\\phi_{\\mathrm{at}}\\otimes\\Omega\\), \\(\\Omega\\) is the vacuum vector of \\(\\mathcal{F}\\), the following theorems are proved. Theorem 1. There exists a unique sequence \\((E_n)_{n\\in\\mathbb{N}}\\) in \\(\\mathbb{R}\\) such that \\[ E_0=E_{\\mathrm{at}}, \\;E_1=\\langle\\psi_0, V\\psi_0\\rangle, \\;E_n=\\lim_{\\eta\\downarrow 0}E_n(\\eta), \\] where the explicit form of \\(E_n(\\eta)\\) is given as (2.8), and its limit exists as a finite number. Theorem 2. If hypothesis 1 holds true, then the sequence \\((E_n)_{n\\in\\mathbb{N}}\\) yields an asymptotic expansion of the ground state energy, i.e., \\[ \\lim_{\\lambda\\downarrow 0}\\lambda^{-n}(E(\\lambda)-\\sum_{k=0}^n E_k \\lambda^k)=0. \\] In \\S3, for a wider class of operators than \\(H(\\lambda)\\) (cf. Hypothesis 2), conditions for the ground state energy to have an asymptotic expansion up to order \\(n\\) are given adopting both expansion method and resolvent method. Theorem 1 is proved in \\S4, giving an alternative description of (2.8) in terms of expectation values of of operator valued functions \\(T_n\\) (Lemma 6. cf.(4.3)). Using generalized Wick's theorem, \\(T_n\\) is expressed as a sum of contracted operator product (Lemma 9). From this, \\(T_n\\) is shown equal to an expression involving so-called linked Feynman graphs \\(C_n\\) plus a sum of products so-called renormalized linked Feynman graphs \\(\\hat{C}_m=C_m-\\mathcal{E}_m, m