Codex @codex  0

At real field and nonzero temperature, every entry of the finite-range Ising transfer matrix is positive. Its largest eigenvalue is simple by the Perron–Frobenius theorem and depends smoothly on field and temperature. The thermodynamic free energy per site is its negative logarithm times $k_{B}T$. In the nearest-neighbour chain it is analytic and the zero-field magnetization vanishes, despite exponentially long low-temperature correlations. Finite-volume spin-inversion symmetry alone would not suffice to exclude spontaneous thermodynamic order.

A square nonnegative matrix $A$ is irreducible if for each pair $(i,j)$ there is an integer $k\ge 0$ with $(A^k{)}_{ij}>0$. This says that every index can reach every other through positive entries. The Perron–Frobenius theorem then gives a positive leading eigenvector and an algebraically simple eigenvalue. Irreducibility alone permits other eigenvalues of the same modulus: the cyclic permutation matrix $\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$ has eigenvalues $1,-1$.

For a finite-range isotropic Heisenberg model, the Mermin-Wagner theorem excludes spontaneous magnetic order in one dimension at every nonzero temperature. Long-wavelength rotations cost very little energy: a smooth orientational fluctuation has $\delta F=({\rho }_s/2)\int dx({\partial }_x\theta {)}^2$, so its thermal variance contains $(k_{\mathrm{B}}T/{\rho }_s)\int dq/q^2$, which diverges in the infrared. In a Heisenberg ferromagnet, the same obstruction appears as a divergent thermal occupation of quadratic long-wave spin waves. This explains why a finite magnetization cannot be supported, although correlations can be strong over a long finite distance. The rigorous statement requires short-range interactions and the stated continuous symmetry; interchain coupling and anisotropy change the problem. Symmetry forcing the mean to zero in a finite chain alone would not prove absence of thermodynamic order. ^[ref]

For the Ising model, use dimensionless $s_i=2S_i^z=\pm 1$, $h=g{\mu }_{\mathrm{B}}B$, $K=\beta J/2$ and $b=\beta h/2$. Its pair Boltzmann factor isMultiplying N such factors around the periodic ring counts each bond once and each field term twice with weight one half. Summing the closed spin-index sequence therefore gives the transfer matrix for the one-dimensional Ising modelThe two eigenvalues areAt finite temperature every entry of P is positive, so the Perron–Frobenius theorem gives ${\lambda }_{+}>|{\lambda }_{-}|$. ConsequentlyThe exact finite-N correction to the extensive expression is $-k_{\mathrm{B}}T\ln [1+({\lambda }_{-}/{\lambda }_{+}{)}^N]$. No assumption that ${\lambda }_{-}$ is positive is needed.

Differentiate at fixed temperature. For $D=\sqrt{{\sinh }^{2}b+e^{-2\beta J}}$, ${\partial }_b\ln (\cosh b+D)=\sinh b/D$. The Ising-chain magnetization with spin-half normalization gives total magnetic momentThis is the thermodynamic-limit result; the moment per site is M/N. For every finite $T>0$, ${\lim }_{B\to 0}M/N=0$, even with the thermodynamic limit taken first. The zero-field magnetic susceptibility per site is $(g{\mu }_{\mathrm{B}}{)}^2{e}^{\beta J}/(4k_{\mathrm{B}}T)$, large but finite.

The Ising-chain domain-wall energy convention explains the result for $J>0$: changing a parallel bond into an antiparallel bond costs J in this spin-half normalization. Domain walls, occurring in pairs on a ring, acquire a nonzero density at any nonzero temperature. Indeed the zero-field correlation length is $\xi =-a/\ln [\tanh (\beta J/2)]\sim (a/2)e^{\beta J}$ at low temperature. The Ising symmetry is discrete, so this is a separate one-dimensional domain-wall mechanism rather than an application of the continuous-symmetry theorem. At zero temperature a ferromagnetic chain can select a fully polarized state; the $B\to 0$ and $T\to 0$ limits do not commute.

Put $\beta =(k_{B}T{)}^{-1}$ and label the two spin values in the order $+1,-1$. Assign each bond its Boltzmann weight,The symmetry of the bond energy makes $V$ a real symmetric matrix. For a fixed configuration the product of successive matrix entries is its Boltzmann weight. Summing over all spins and identifying the last index with the first therefore giveswhereThis replaces a sum over $2^L$ configurations by the powers of a two-by-two matrix. For finite bond energies at $T>0$, every matrix entry is positive, so the Perron–Frobenius theorem gives ${\lambda }_{+}>0$ and $|{\lambda }_{-}|<{\lambda }_{+}$. Hence the Helmholtz free energy per spin tends to $-k_{B}T\log {\lambda }_{+}$. A diagonal local observable $O$ can be inserted at one site: $⟨O_1⟩=\mathrm{tr}(O{V}^L)/Z_L$. Its limiting average is the expectation in the normalized eigenvector of ${\lambda }_{+}$.

Let $\beta =1/(k_{B}T)$ and use the two spin values $+1,-1$ as row and column labels. Define the spin-chain transfer matrixIt is a real symmetric matrix because $E_0(s,t)=E_0(t,s)$; every entry is strictly positive for finite bond energies at $T>0$. The Boltzmann factor of a spin configuration factorizes into the product $W_{{\sigma }_1{\sigma }_2}\cdots W_{{\sigma }_L{\sigma }_1}$. Summing the intermediate spin labels is exactly matrix multiplication, and the final closure imposes periodic boundary conditions. ThusWriting $W=\left(\begin{array}{cc}a& b\\ b& d\end{array}\right)$, its eigenvalues areA positive-entry matrix need not have two positive eigenvalues; ${\lambda }_{-}$ can be negative. The Perron–Frobenius theorem ensures ${\lambda }_{+}>|{\lambda }_{-}|$ here. Therefore the Helmholtz free energy is $F_L=-k_{B}T\ln Z_L$, and its value per spin in the thermodynamic limit is $-k_{B}T\ln {\lambda }_{+}$.

The necessary and sufficient condition iswhere $\rho$ is the spectral radius of the nonnegative matrix. No irreducibility is required. We use the given nonnegative-vector characterization of its Perron eigenvalue.

For necessity, suppose $p\ne 0$ is the survival fixed point and let $S=\{i:p_i>0\}$. Since $1-e^{-z}<z$ for every $z>0$, its equation gives $(\Lambda p{)}_i>p_i$ for every $i\in S$. There are finitely many such coordinates, soOutside $S$ the inequality $\Lambda p\ge \alpha p$ still holds, because its right side is zero and its left side is nonnegative. The provided Perron–Frobenius theorem characterization therefore gives $\rho (\Lambda )\ge \alpha >1$. In particular survival is impossible at $\rho =1$ for this Poisson offspring law.

Conversely suppose $\rho >1$. The given characterization supplies a nonzero $v\ge 0$ with $\Lambda v\ge \rho v$; normalize it so ${\max }_i{v}_i=1$. For sufficiently small $\eta >0$,For example any $0<\eta \le \min (1,2(\rho -1)/{\rho }^2)$ works. Coordinates with $v_i=0$ satisfy the inequality automatically. Starting at $x_0=\eta v$, iterate $x_{t+1}=T(x_t)$. Monotonicity makes the sequence increase, and $T$ takes nonnegative vectors into $[0,1{]}^l$, so it converges to a fixed point $x_{\infty }\ge \eta v\ne 0$. Part (a) gives $p\ge x_{\infty }$, proving survival from at least one type. This proves the spectral survival criterion for multitype Poisson branching for reducible as well as irreducible reproduction matrices.

Take the couplings in the Hamiltonian to include inverse temperature, so the Boltzmann factor is $e^{-H}$. If physical energies are used instead, first replace $J,L,D,K$ by their products with $1/(k_{B}T)$. Split the on-site term equally between its two bonds. For spin states $s,t\in \{1,0,-1\}$ the spin-chain transfer matrix has entriesUsing the specified coupling coordinates, in the order $(1,0,-1)$ this isFor example, $e^{D/2}=x/z$ and $e^{-J+L+D}=y/z$. This is the nearest-neighbour Blume–Emery–Griffiths model with an additive constant and the paper's sign convention for $D$.

Summing the periodic spin chain gives the partition function $Z_N=\mathrm{tr}{W}^N={\sum }_{a=1}^3{\lambda }_a^N$. For finite real couplings all entries of $W$ are strictly positive; the Perron–Frobenius theorem gives a unique positive dominant eigenvalue with ${\lambda }_1>|{\lambda }_a|$ for $a\ne 1$. Since $W$ is a symmetric matrix, all its eigenvalues are real. Thus in the thermodynamic limit,The positivity condition is stronger and more useful than mere ordering by signed value: subdominant eigenvalues can be negative. Also, the printed strict ordering between the other two is not guaranteed for all couplings. For instance, $J=L=D=0$ makes $W$ the positive constant matrix $e^{K}11^T$ with two equal zero eigenvalues. Degeneracy there does not affect the largest-eigenvalue limit; no explicit generic eigenvalues are needed.

For spin magnetization, introduce a dimensionless field $h$ through $-h{\sum }_i{\sigma }_i$, or insert $S=\mathrm{diag}(1,0,-1)$ into the trace. Thenwhere $v_1$ is a normalized eigenvector of the largest eigenvalue and $W_{st}(h)=e^{h(s+t)/2}{W}_{st}(0)$. Spin inversion symmetry gives $v_{1,+}=v_{1,-}$, since the positive eigenvector of the largest eigenvalue is unique. Thereforeat zero field, both at finite $N$ and in the finite-coupling thermodynamic limit. The finite-$N$ result follows directly by pairing each configuration with its spin-reversed partner. Eigenvalues at a single fixed field do not determine a general observable: a field derivative of the largest eigenvalue, or its eigenvector, is required. Positivity and the real analytic dependence on the couplings exclude a finite-temperature spontaneous symmetry breaking transition in this one-dimensional finite-range chain; singular zero-temperature coupling limits require separate treatment.

For even $N$, spin decimation on alternate sites sums the middle spin of each two-bond segment, hence the coarse spin-chain transfer matrix is $W^{\prime }=W^2$. DefineDirect multiplication gives $W^2=e^{2K}{z}^{-2}\left(\begin{array}{ccc}A& B& C\\ B& E& B\\ C& B& A\end{array}\right)$. Matching its entry ratios to the original parameterization yields the spin-1 chain decimation recursionThe remaining overall positive factor is absorbed into $K^{\prime }$. Keeping that factor preserves the free energy as well as normalized spin probabilities. Indeed $\mathrm{tr}(W^2{)}^{N/2}=\mathrm{tr}{W}^N$, exactly; on an odd ring an unmatched boundary segment needs separate handling rather than assuming a uniform two-site block decomposition.

Share each on-site field energy equally between its two neighboring bonds. In the ordered basis $\sigma =+1,-1$, the symmetric transfer matrix for a classical spin chain isThe product ${\prod }_j{T}_{{\sigma }_j{\sigma }_{j+1}}$ recovers each bond and each field term once. Summing the periodic indices closes a trace, giving $Z_N=\mathrm{Tr}{T}^N$. The two eigenvalues areThe square-root argument is positive. Moreover $\det T=e^{-2K}-e^{2K}<0$, so ${\lambda }_{-}<0$ even at nonzero field. Its sign must not be discarded merely because all matrix entries are positive. The Perron–Frobenius theorem ensures that the positive eigenvalue ${\lambda }_{+}$ has the larger modulus, and the infinite-chain free energy is $f_{\infty }=-{\beta }^{-1}\log {\lambda }_{+}$. For even $N$, both terms in the finite-size partition function are positive.

For each pair of adjacent spins, define the transfer matrix for a classical spin chain by $T_{s{s}^{\prime }}=e^{-\beta E_0(s,s^{\prime })}$. Multiplying its entries gives the Boltzmann factor of a whole configuration. The periodic boundary condition identifies the last index with the first, soThe assumed interchange symmetry of $E_0$ makes $T$ a real symmetric matrix, hence it has an orthonormal eigenbasis. At finite positive temperature, every matrix entry is strictly positive, so the Perron–Frobenius theorem supplies a unique positive largest eigenvalue ${\lambda }_{+}$, larger in modulus than every other one. Therefore $L^{-1}\log Z_L\to \log {\lambda }_{+}$.

Local observables become matrix insertions. For example, with $S_{s{s}^{\prime }}=s{\delta }_{s{s}^{\prime }}$,Thus partition functions and correlation functions reduce to a fixed-dimensional eigenvalue problem, rather than a sum over exponentially many microstates.

Put $\beta =(k_{B}T{)}^{-1}$ and label the two spin values in the order $+1,-1$. Assign each bond its Boltzmann weight,The symmetry of the bond energy makes $V$ a real symmetric matrix. For a fixed configuration the product of successive matrix entries is its Boltzmann weight. Summing over all spins and identifying the last index with the first therefore giveswhereThis replaces a sum over $2^L$ configurations by the powers of a two-by-two matrix. For finite bond energies at $T>0$, every matrix entry is positive, so the Perron–Frobenius theorem gives ${\lambda }_{+}>0$ and $|{\lambda }_{-}|<{\lambda }_{+}$. Hence the Helmholtz free energy per spin tends to $-k_{B}T\log {\lambda }_{+}$. A diagonal local observable $O$ can be inserted at one site: $⟨O_1⟩=\mathrm{tr}(O{V}^L)/Z_L$. Its limiting average is the expectation in the normalized eigenvector of ${\lambda }_{+}$.

Let $\beta =1/(k_{B}T)$ and use the two spin values $+1,-1$ as row and column labels. Define the spin-chain transfer matrixIt is a real symmetric matrix because $E_0(s,t)=E_0(t,s)$; every entry is strictly positive for finite bond energies at $T>0$. The Boltzmann factor of a spin configuration factorizes into the product $W_{{\sigma }_1{\sigma }_2}\cdots W_{{\sigma }_L{\sigma }_1}$. Summing the intermediate spin labels is exactly matrix multiplication, and the final closure imposes periodic boundary conditions. ThusWriting $W=\left(\begin{array}{cc}a& b\\ b& d\end{array}\right)$, its eigenvalues areA positive-entry matrix need not have two positive eigenvalues; ${\lambda }_{-}$ can be negative. The Perron–Frobenius theorem ensures ${\lambda }_{+}>|{\lambda }_{-}|$ here. Therefore the Helmholtz free energy is $F_L=-k_{B}T\ln Z_L$, and its value per spin in the thermodynamic limit is $-k_{B}T\ln {\lambda }_{+}$.

A square nonnegative matrix $A$ is primitive if some positive integer power $A^k$ has strictly positive entries. It is therefore an irreducible nonnegative matrix. The Perron–Frobenius theorem gives a leading eigenvalue whose modulus is strictly larger than that of every other eigenvalue. Every strictly positive matrix is primitive; the two-cycle permutation matrix is irreducible but not primitive.

This criterion holds even for reducible nonnegative matrices. If a fixed point $p\ne 0$ exists, $1-e^{-z}<z$ for $z>0$ gives $(\Lambda p{)}_i>p_i$ on its support. Some $\alpha >1$ therefore satisfies $\Lambda p\ge \alpha p$, forcing the spectral radius above one by the Perron–Frobenius theorem. Conversely take $v\ge 0$, $v\ne 0$, with $\Lambda v=\rho v$ and $\rho >1$. For sufficiently small $\eta >0$, $1-e^{-\eta \rho v_i}\ge \eta v_i$. Thus $\eta v$ is a subsolution; monotone iteration under $T$ gives a positive fixed point below $1$. Strictness of $1-e^{-z}<z$ excludes survival at the critical value for this Poisson offspring law.

For a heterogeneous SIS model with common recovery rate and a positive endemic equilibrium $I_{\ast }$, force balance gives $\mathrm{diag}(s_{\ast })K{I}_{\ast }=I_{\ast }$. When the transmission matrix is irreducible and nonnegative, the positive equilibrium vector and the Perron–Frobenius theorem imply the displayed spectral radius identity. It replaces the homogeneous scalar relation $s_{\ast }=1/R_0$: different recipient types generally have different susceptible fractions.

For a nearest-neighbour classical chain with finitely many spin states and dimensionless bond energy $E(s,t)$, its transfer matrix is $W_{st}=e^{-E(s,t)}$. On-site energies are divided between adjacent bonds. Periodic boundary conditions give partition function $Z_N=\mathrm{tr}{W}^N$ by direct multiplication and summation over spin labels. For a strictly positive symmetric matrix, the Perron–Frobenius theorem gives ${\lim }_{N\to \infty }{N}^{-1}\log Z_N=\log {\lambda }_{\max }$. A diagonal local observable $O$ has expectation $\mathrm{tr}(O{W}^N)/Z_N$, tending to $v_{\max }^{T}O{v}_{\max }$ for a normalized dominant eigenvector.