• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,064 questions , 2,215 unanswered
5,347 answers , 22,734 comments
1,470 users with positive rep
818 active unimported users
More ...

  The integrable spin-boson and 1D inverse-square Ising models: thermal two-point functions

+ 2 like - 0 dislike

Consider the spin-boson model. Letting the system Hamiltonian for this model be set to zero, we get an integrable system,

$$ H = X\otimes \sum_u \lambda_u x_u + \mathbb{1}\otimes H_B,$$

Where $H_B$ is the Hamiltonian for a collection of independent harmonic oscillators with displacements given by $x_u$. In particular, the Pauli matrix $X$ is a constant of motion, and so the total Hamiltonian is unitarily equivalent to a direct-sum of two copies of $H_B$ via a polaron transformation:

$$U^{-1}HU\simeq H_B\oplus H_B$$

For example, the thermal Green's function of the spin is equal to unity: because $[X,e^{\tau H}]=0$,

$$K(\tau-\tau')\equiv \langle X(\tau)X(\tau')\rangle_\beta~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\,$$

$$~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~=\frac{1}{Z}\text{tr}(e^{-\tau H}Xe^{(\tau-\tau')H}Xe^{-(\beta-\tau')H})=\frac{1}{Z}\text{tr}(X\cdot X\cdot e^{-\beta H})=1$$

However, it is also known that integrating-out the oscillators in the Feynman-Kac representation of the equilibrium partition function (for a detailed derivation, see equations (93)-(102) of Quantum Dissipative Systems by F Bascones et. al.) yields an inverse-square Ising model on a one-dimensional periodic lattice (with lattice spacing equal to the trotter time-step $\tau_c$) in imaginary time:

$$\text{tr}(e^{-\beta H})=\sum_{\{X(\tau)\}}e^{-\beta S_{\tau_c}(X(\tau))},~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~$$

$$~~~~~~~~~~~~~~~~~\beta S_{\tau_c}(X(\tau))=\sum_{\tau\neq \tau'}J(\tau-\tau')\,X(\tau)X(\tau'),~~~~~J(\tau-\tau')\underset{\tau-\tau' \to \tau_c}{\sim}\frac{\tau_c^2}{(\tau-\tau')^{2}}$$

Now, I can evaluate the thermal Green's function $K(\tau-\tau')$ for my integrable model using the effective Euclidean action above. However, there is no way that an inverse-square Ising model has a two-point function which is identically one across all temperature ranges! What went wrong? 

asked Jun 26, 2017 in Theoretical Physics by David B Roberts (135 points) [ revision history ]
edited Jun 26, 2017 by David B Roberts

1 Answer

+ 1 like - 0 dislike

The integrable spin-boson model is not an inverse-square Ising model. For that equivalence to hold, one has to include terms that do not commute with $X\otimes \mathbb{1}$.

Let's re-examine the Feynman-Kac representation for the integral kernel of the partition function: when $[H,X]=0$, Kronecker deltas appear which massively simplify the partition function:

$$Z[\tau_c]~~\underset{\tau_c\to 0}{\sim} \sum_{\{X(\tau)\},\{x_u(\tau)\}}\cdots \langle X(\tau_{i-1}),x_u(\tau_{i-1})|e^{-\tau_c\cdot X(\tau_i)\sum_u \lambda_u x_u(\tau_i)}e^{-\tau_c H_B}|X(\tau_i),x_u(\tau_i)\rangle\cdots $$

$$~~~~~~~= \sum_{\{X(\tau)\},\{x_u(\tau)\}}\cdots \delta(X(\tau_{i-1}),X(\tau_i))\cdot \langle x_u(\tau_{i-1})|e^{-\tau_c\cdot X(\tau_i)\sum_u \lambda_u x_u(\tau_i)}e^{-\tau_c H_B}|x_u(\tau_i)\rangle\cdots $$

To justify the intermediate step, since $H_B$ does not affect the system degrees of freedom, $X(\tau_i)$ is just an eigenvalue, and so the bra $\langle X(\tau_{i-1})|$ meets the ket $|X(\tau_i)\rangle$ directly, inducing a prefactor. These Kronecker deltas in the integral kernel are precisely the reason why the thermal Green's function $\langle X(\tau)X(\tau')\rangle_\beta$ for the integrable spin-boson model is identically one (as you correctly deduced by a direct calculation sans path integral techniques).

Of course, if we turned on a nontrivial system Hamiltonian $H_S$ (e.g. add a term proportional to $Z\otimes \mathbb{1}$), then there would be a possibility to connect different eigenspaces of $X$ at different imaginary times, and these Kronecker-deltas would disappear (this is the starting point of the paper which you cited). But then the integrability of the model would be lost. Either way, the model is either solvable via a polaron transformation, or is equivalent to an inverse-square Ising model; both cannot be true simultaneously.

answered Jun 28, 2017 by David B Roberts (135 points) [ revision history ]
edited Jun 28, 2017 by David B Roberts

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights