arXiv++ Combinatorics

We construct explicit off-diagonal Ramsey graphs from polynomial families of incident point--hyperplane flags. Universal interpolation translates the exact dimension of ordered clique configurations into a bound on their coefficient--label incidence. At the critical dimension, a polynomial separates the forbidden-pair image from its diagonal; deleting the corresponding edges preserves a triangular rank certificate. Restriction of scalars realizes the rational endpoint without rounding loss. The resulting fixed-$s$ exponent has leading scale $s/(2\log_2s)$, and short Frobenius relations give the explicit example $R(16,t)\geΩ(t^{2.0539221767\ldots})$. A finite-fiber construction gives the range $s^2(\log s)^2=o(\log t)$. For fixed parameters, algebraic preprocessing terminates and field initialization, vertex decoding and adjacency take deterministic time polynomial in the extension degree. We also retain an elimination-free variant and formulate the filtering argument for general forbidden configurations with a distinguished edge.

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.