MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose we have a graph $G$ with $n$ vertices, edgeset $E$, $\mathcal{X}=\{1,-1\}^n$. The partition function of the spin-1/2 Ising model on $G$ is

$$Z(J,h)=\sum_{x\in \mathcal{X}} \exp\left(J \sum_{(i,j)\in E} x_i x_j + h \sum_i x_i\right)$$

and its gradient with respect to the coupling and applied field is

$$\nabla Z(J,h)=\left ( \frac{\partial}{\partial J} Z, \frac{\partial}{\partial h} Z \right ).$$

We are interested in computing these quantities to some pre-determined finite precision. Computing $Z$ is hard in general, but easy in special cases, like when $|J|$ is small relative to average degree of the graph.

What can we say about relative hardness of computing $\nabla Z$?

share|cite|improve this question
The angle brackets threw me off for a second when I tried to imagine an inner product there. I guess other notation might be subject to the same problem though. – j.c. Oct 8 '10 at 16:53
What's the standard notation for vector written out explicitly? – Yaroslav Bulatov Oct 8 '10 at 16:55
Maybe if you write $\in \mathbb{R}^2$ ? It's not a big deal though. – j.c. Oct 8 '10 at 17:49
If you are going to use angle brackets, you should surely use \langle and \rangle rather than the less-than and greater-than symbols. – JBL Oct 8 '10 at 19:17
Can you explain your notation, please? Does that indicate the correlation function of $\partial Z/\partial J$ and $\partial Z/\partial h$ with respect to the Gibbs measure? – Tom LaGatta Oct 8 '10 at 19:24

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.