arXiv++ Combinatorics

We determine the complete eigenvalue region of the following Markov chains on $2q$ states, for $q\ge2$. The states are $A_0,\ldots,A_{q-1}$ and $B_0,\ldots,B_{q-1}$. Each transition $A_j\to A_{j+1}$ and $B_j\to B_{j+1}$, for $0\le j<q-1$, has probability one. From $A_{q-1}$, the chain moves to $A_0$ with probability $a$ and to $B_0$ with probability $1-a$. From $B_{q-1}$, it moves to $B_0$ with probability $b$ and to $A_j$ with probability $(1-b)p_j$. Here $a,b\in[0,1]$ and $p_j\ge0$ with $\sum_{j=0}^{q-1}p_j=1$; these parameters vary over all permitted values. Every segment from zero to an attainable eigenvalue lies in the region. Its unit-circle points are exactly the roots of unity of order at most $2q$, as for unrestricted stochastic matrices of the same order, yet the full region is strictly smaller. It excludes $0<|\operatorname{Arg}λ|<π/q$. For odd $q$, the final nonreal boundary arc ends at a negative real point inside the unit disk; the remaining interval to $-1$ is also boundary. Every transition matrix has the same characteristic polynomial as one with $a=b$. Among $q+1$ fixed matrices in this balanced family, convex combinations of at most three realize every attainable eigenvalue, and two suffice on the boundary. Both bounds are sharp within this set. Consecutive reduced fractions in $[1/(2q),1/2]$ with denominators at most $2q$ select the upper nonreal boundary constructions. Each boundary radius is the unique solution of an equation whose left-hand side increases strictly with the radius.