347b7db90bfb7817.tex
1: \begin{abstract}
2:   We consider pairs of few-body Ising models where each spin enters a
3:   bounded number of interaction terms (bonds), such that each model
4:   can be obtained from the dual of the other after freezing $k$ spins
5:   on large-degree sites.  Such a pair of Ising models can be
6:   interpreted as a two-chain complex with $k$ being the rank of the
7:   first homology group.  Our focus is on the case where $k$ is
8:   extensive, that is, scales linearly with the number of bonds $n$.
9:   Flipping any of these additional spins introduces a homologically
10:   non-trivial defect (generalized domain wall).  In the presence of
11:   bond disorder, we prove the existence of a low-temperature
12:   weak-disorder region where additional summation over the defects
13:   have no effect on the free energy density $f(T)$ in the
14:   thermodynamical limit, and of a high-temperature region where in the
15:   ferromagnetic case an extensive homological defect does not affect
16:   $f(T)$.  We also discuss the convergence of the high- and
17:   low-temperature series for the free energy density, prove the
18:   analyticity of limiting $f(T)$ at high and low temperatures, and
19:   construct inequalities for the critical point(s) where analyticity
20:   is lost.  As an application, we prove multiplicity of the
21:   conventionally defined critical points for Ising models on all
22:   $\{f,d\}$ tilings of the infinite hyperbolic plane, where
23:   $df/(d+f)>2$.  Namely, for these infinite graphs, we show that
24:   critical temperatures with free and wired boundary conditions
25:   differ, $T_c^{(\mathrm{f})}<T_c^{(\mathrm{w})}$.
26: \end{abstract}