Abstract: Take an Ising model with very low temperature. What is the largest p such that the Ising model dominates Bernoulli percolation with parameter p ? We will show that the answer to this question depends drastically on the geometry of the graph. We also obtain similar results for for two Ising models at very low, but close temperatures.

A process is a finitary factor of iid if it can be written as a measurable and equivariant function of an iid process. As an application of the domination results, we show that the very low temperature Ising model on a nonamenable graph is a finitary factor of iid. This is in stark contrast with the amenable setting, where it is known through a celebrated result of Van Den Berg and Steif that the low temperature Ising model is not a finitary factor of iid. Joint work with Yinon Spinka.