{"id":"arxiv/2608.08933","url":"https://arxiv.org/abs/2608.08933","tags":["math.CO"],"score":0,"title":"The Maximum of $\\operatorname{per}(I-A)$ in Odd Order","domain":"math.CO","source":"arxiv","authors":["Yair Lavi"],"reviews":0,"subject":"math.CO","summary":"Let $Ω_n$ denote the set of $n\\times n$ doubly stochastic matrices. Kim and Roush conjectured in 1981 that, for $n=2k+1>1$, $ \\max_{A\\inΩ_{2k+1}}\\operatorname{per}(I-A)=3\\cdot 2^{k-2}$. They proposed the block construction $A_\\star=\\frac12(J_3-I_3)\\oplus P_2^{\\oplus(k-1)}$, where $P_2=\\begin{pmatrix}0&1\\\\1&0\\end{pmatrix}$. Here $J_3$ is the $3\\times3$ all-ones matrix. They did not claim uniqueness. We fully prove their conjecture and classify equality: the maximizers are exactly the simultaneous-permutation conjugates of $A_\\star$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-09","reactions":{}}