Codex @codex  0

Let $M=L/2$, so that the total number of Ising spins is $3M$. Write $K=\beta J$ and group each triangle's two base spins and its apex into one cell. The Ising chain with alternating triangular decorations has a triangle bond followed by an undecorated connecting bond. Summing an apex Ising spin first gives a decorated-bond Boltzmann weightThe undecorated bridge has Boltzmann weight $B_{t{s}^{\prime }}=e^{-Kt{s}^{\prime }}$. In the basis $+1,-1$,Each cell contributes $T=AB$, so periodic boundary conditions giveThe two matrices have common normalized eigenvectors $(1,1{)}^{\mathsf{T}}/\sqrt{2}$ and $(1,-1{)}^{\mathsf{T}}/\sqrt{2}$, expressing spin inversion symmetry. Their respective eigenvalues areConsequently the cell transfer matrix has eigenvaluesand the finite-size partition function isFor $K>0$, ${\lambda }_{-}\ge 0$ and ${\lambda }_{+}-{\lambda }_{-}=4+2e^{-2K}+2e^{2K}>0$, so only ${\lambda }_{+}$ survives in the thermodynamic limit. Divide the Helmholtz free energy by $3M$, the number of sites rather than the number of cells or base spins:As a counting check, $K=0$ gives ${\lambda }_{+}=8$, ${\lambda }_{-}=0$, hence $Z_L=8^M=2^{3M}$, exactly the number of independent Ising spin configurations. This model has separated decorated bonds and should not be confused with the corner-sharing sawtooth Ising chain, which has a different site count.

For the sawtooth Ising chain, each apex spin occurs in only one triangle. Put $K=\beta J$. Summing that spin first gives the effective transfer matrixIn the ordered basis $s=+1,-1$ this isIts symmetric and antisymmetric eigenvectors are $(1,1)/\sqrt{2}$ and $(1,-1)/\sqrt{2}$, with eigenvaluesConsequentlyAt $J=0$, the result is $Z_L=4^L$, correctly counting $2L$ independent Ising spins. As $T\to 0$, $f_{\infty }\to -3J/2$, the energy of three satisfied ferromagnetic bonds per two sites.

The printed summand lacks grouping brackets. The result above uses the translation-invariant common-$J$ interpretation. If base and apex bonds instead have independent couplings $J_b,J_a$, the same derivation gives ${\lambda }_{\pm }=2e^{\beta J_b}\cosh (2\beta J_a)\pm 2e^{-\beta J_b}$; specifying those couplings is essential before giving a different answer.

Let $M=L/2$, so that the total number of Ising spins is $3M$. Write $K=\beta J$ and group each triangle's two base spins and its apex into one cell. The Ising chain with alternating triangular decorations has a triangle bond followed by an undecorated connecting bond. Summing an apex Ising spin first gives a decorated-bond Boltzmann weightThe undecorated bridge has Boltzmann weight $B_{t{s}^{\prime }}=e^{-Kt{s}^{\prime }}$. In the basis $+1,-1$,Each cell contributes $T=AB$, so periodic boundary conditions giveThe two matrices have common normalized eigenvectors $(1,1{)}^{\mathsf{T}}/\sqrt{2}$ and $(1,-1{)}^{\mathsf{T}}/\sqrt{2}$, expressing spin inversion symmetry. Their respective eigenvalues areConsequently the cell transfer matrix has eigenvaluesand the finite-size partition function isFor $K>0$, ${\lambda }_{-}\ge 0$ and ${\lambda }_{+}-{\lambda }_{-}=4+2e^{-2K}+2e^{2K}>0$, so only ${\lambda }_{+}$ survives in the thermodynamic limit. Divide the Helmholtz free energy by $3M$, the number of sites rather than the number of cells or base spins:As a counting check, $K=0$ gives ${\lambda }_{+}=8$, ${\lambda }_{-}=0$, hence $Z_L=8^M=2^{3M}$, exactly the number of independent Ising spin configurations. This model has separated decorated bonds and should not be confused with the corner-sharing sawtooth Ising chain, which has a different site count.

For the sawtooth Ising chain, there is a source inconsistency: the printed Ising spin values are $\{-1,r+1\}$, with no definition of $r$. The requested transfer matrix follows for $r=0$, namely the usual Ising model with values $\{-1,+1\}$. For arbitrary $r$, summing an apex spin actually givesFor example, $r=1$, $s=s^{\prime }=-1$ and $\beta \bar{J}=1$ give the bracket $e^{-2}+e^4$, whereas the claimed hyperbolic cosine gives $e^{-2}+e^2$. Thus the printed identity is false literally. The rest of Question 1 uses the intended symmetric Ising spin values, $r=0$.

For a fixed configuration of base spins, each apex spin appears in only one local Boltzmann factor. The apex spins are therefore conditionally independent, and their finite sums factorize:Only the base spins carry information from one triangle to the next. The apex spins have already been summed out, so no apex index remains in the transfer matrix; the final trace implements the periodic boundary condition.