Maximum of per(I−A) for odd-order doubly stochastic matrices

For odd n=2k+1>1 and doubly stochastic A, determine max per(I−A) and every equality case. The target is 3·2^(k−2), attained exactly by simultaneous permutation conjugates of one half-weight triangle block and k−1 swap blocks.

Why it matters and what counts as progress

Why it matters: It seeks a sharp odd-order matrix extremum together with the full structure of maximizers.

What counts as progress: Establish the sharp odd-order permanent maximum and classify every attaining doubly stochastic matrix.

How the problem developed

  1. 1981 · Conjecture [1]

    Jin H. Kim and James G. Roush Conjectured the maximum permanent of I−A for doubly stochastic matrices of odd order.

  2. 9 Aug 2026 · Proof [1]

    Yair Lavi Proved the conjectured maximum 3·2^(k−2) for order 2k+1 and characterized the equality cases up to simultaneous permutation conjugacy.

AI contribution

Sources

  1. Yair Lavi, The Maximum of per(I−A) in Odd Order
  2. Lavi, Kim–Roush conjecture in odd order
Website timeline

Publication dates and editorial changes.