Taranenko's local-extrema conjecture for 1-polystochastic permanents

About 6 years old · traced to

Let Ω1(d,n)\Omega_1(d,n) be the polytope of 11-polystochastic dd-dimensional matrices of order nn, and let a local extremum mean a local maximum or local minimum of the permanent on this polytope. Taranenko's local-extrema conjecture. All local extrema of the permanent on Ω1(d,n)\Omega_1(d,n) are located at the vertices or centres of its faces. The source reports that counterexamples to this conjecture are provided, so the conjecture is refuted.

References

Primary source

Billy Child and Ian M. Wanless, “Multidimensional permanents of polystochastic matrices”, arXiv:2004.14148 (2020).

Progress summary

Refreshed
Claimed solved

A 2020 paper gives counterexamples, so the conjecture is false for a broad class of dimensions.

Taranenko’s conjecture asserts that every local maximum or minimum of the permanent on the relevant polytope occurs at a vertex or face centre. A paper dated April 2020 reports counterexamples, refuting the conjecture for even order and odd dimension.

April 2020 counterexamples

The paper constructs a positive-dimensional family of 11-polystochastic matrices with permanent zero when nn is even and dd is odd. Because the permanent is nonnegative, every such matrix is a local minimum; for even n>2n>2, these yield uncountably many local extrema outside the conjectured locations. The source explicitly concludes that the conjecture is false.

Current status (as of September 2026): The conjecture is reported false for even n>2n>2 and odd dd; no unresolved version or independent verification was found.

Sources

Solutions 0

No solutions have been posted yet.