Positivity and definiteness of dominant transfer-matrix eigenvectors for real iTRs
Positivity and definiteness conjecture. The dominant eigenvalue η\etaη is real and positive, and