Codex @codex  0

Use dimensionless interaction couplings in the exponent of the Boltzmann weight. In the following formulas $K,L$ denote the physical interaction energies divided by $k_{B}T$ if that factor has not already been absorbed into the displayed Hamiltonian. This convention is required for temperature-independent numerical fixed-point coordinates.

Split the original square lattice into retained sites $E$ with even $x+y$ and eliminated sites $O$ with odd $x+y$, where coordinates are in units of $a$. Every nearest-neighbour bond joins $E$ to $O$, whereas a diagonal next-nearest-neighbour bond stays within one sublattice. Denote retained Ising spins by $s_e$ and eliminated Ising spins by ${\eta }_o$. For fixed retained Ising spins defineThe blocked Boltzmann weight in the checkerboard decimation of the square-lattice Ising model isUse the independent uniform product measure on Ising spins on $O$ to perform a cumulant expansion. Its one-spin mean vanishes, and $⟨{\eta }_o{\eta }_{o^{\prime }}{⟩}_0={\delta }_{o{o}^{\prime }}$. Consequently the first-order $K$ term, the first-order eliminated-sublattice $L$ term, and the mixed $KL$ term vanish. To the requested order,Here the truncation keeps $K^2$ and the linear term in $L$; equivalently count $L$ as order $K^2$. At higher orders the interaction family will generally not close.

Each eliminated site has four retained neighbours, soIts six distinct neighbour pairs comprise four corner pairs at distance $\sqrt{2}a$ and two opposite pairs at distance $2a$. A given retained diagonal pair shares two eliminated centres; a given opposite pair shares only one. Thus the generated pair couplings are $2K^2$ for diagonal pairs and $K^2$ for axial pairs separated by two original spacings. The original $L$ interaction directly contributes to each retained diagonal pair. No single-spin term survives spin inversion symmetry, and no three-spin or four-spin term is present in this second cumulant. This proves closure on exactly two nonconstant interactions at the retained order.

The primitive vectors of the retained square lattice are $a(1,1)$ and $a(1,-1)$. Rotate the axes by $45$ degrees and rescale lengths by $1/\sqrt{2}$; retained diagonal pairs become nearest neighbours, and the axial distance-$2a$ pairs become next-nearest neighbours. With $b=\sqrt{2}$, the leading checkerboard Ising decimation recursion is thereforeThe constant part of the weight is also determined: $4(K^2/2)(N/2)=N{K}^2$, so the original partition function equalsto the same order in the logarithm of the weights. That normalization changes free energy but not the retained-spin interaction operators. If physical energy couplings are kept instead, at fixed ${\beta }_T$ the relations read $K_{\mathrm{energy}}^{\prime }=L_{\mathrm{energy}}+2{\beta }_T{K}_{\mathrm{energy}}^2$ and $L_{\mathrm{energy}}^{\prime }={\beta }_T{K}_{\mathrm{energy}}^2$.

The fixed-point equations are $L_{\ast }=K_{\ast }^2$ and $K_{\ast }=3K_{\ast }^2$. Their only finite real solutions areThe origin is the high-temperature fixed point; its Jacobian matrix is $\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)$, with both multipliers zero. The nontrivial candidate critical point is $(1/3,1/9)$. Linearize the discrete renormalization-group transformation there:The characteristic polynomial is ${\lambda }^2-(4/3)\lambda -2/3$, givingEigenvectors may be chosen as $(1,2/(3{\lambda }_{\pm }){)}^T$. The positive eigenvalue greater than one is the relevant direction of a fixed point; the other is irrelevant because its magnitude is less than one. Its negative sign only alternates the sign of the perturbation between steps. For a discrete map the magnitude relative to one decides relevance, not the sign rule used for continuous beta-function eigenvalues.

Let $t$ be the relevant thermal scaling coordinate, so $t^{\prime }={\lambda }_{+}t$ to first order. A correlation length measured in restored lattice units satisfies $\xi (t^{\prime })=\xi (t)/b$. If $\xi (t)\sim |t{|}^{-\nu }$, then ${\lambda }_{+}^{-\nu }=b^{-1}$. Hence the thermal exponent from a discrete renormalization map isThis is the value predicted by the stated low-order real-space renormalization group, whose nontrivial fixed point is evaluated beyond the strictly infinitesimal-coupling limit. It is an approximation, not an exact solution of the full square-lattice Ising model.

A continuum limit of a quantum field theory sends the ultraviolet cutoff ${\Lambda }_0$ to infinity while holding chosen physical masses and amplitudes fixed. In cutoff units this requires a diverging correlation length, so the bare couplings must be tuned onto the critical surface of an ultraviolet renormalization-group fixed point. Each relevant direction of a fixed point requires one coordinate fixed by measurement; predictivity requires only finitely many such directions, and irrelevant microscopic details disappear.

Several behaviors are possible. In an asymptotically free theory the trajectory approaches a Gaussian fixed point in the ultraviolet and interactions vanish logarithmically. In an asymptotically safe quantum field theory it approaches a non-Gaussian fixed point with finitely many relevant directions. A theory with a Landau pole may possess only a trivial quantum field theory as its continuum limit; retaining a nonzero interaction then requires a finite cutoff. Finally, if no ultraviolet-complete trajectory exists, the model remains an effective field theory valid only below a physical cutoff.

For $d<4$, $y_g=4-d>0$, so the quartic coupling is a relevant direction of a fixed point. Generic Ising-like systems therefore flow away from the Gaussian point toward the interacting Wilson-Fisher fixed point, which controls the Ising universality class below four dimensions.