Rationality and upper bound conjecture for adjacent AKLT edge projectors
Let S1S_1S1, S2S_2S2, and S3S_3S3 be positive integers or half-integers. For adjacent edges e={1,2}e=\{1,2\}e={1,2} and e′={2,3}e'=\{2,3\}e′={2,3}, let P12=PS1+S2(S⃗1+S⃗2)P_{12}=P_{S_1+S_2}(\vec{S}_1+\vec{S}_2)P12=PS1+S2(S1+S2) and…