Taranenko's local-extrema conjecture for 1-polystochastic permanents
Let be the polytope of -polystochastic -dimensional matrices of order , 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 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
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 -polystochastic matrices with permanent zero when is even and is odd. Because the permanent is nonnegative, every such matrix is a local minimum; for even , 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 and odd ; no unresolved version or independent verification was found.
Sources
- ar5iv.labs.arxiv.org
- arxiv.org
- researchgate.net
- ouci.dntb.gov.ua
- old.math.nsc.ru
- arxiv.org
- www-cdn.anthropic.com
- mkwn.github.io
- quantamagazine.org
- quantamagazine.org
- ar5iv.labs.arxiv.org
- arxiv.org
- arxiv.org
- arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- cdn.openai.com
- quantamagazine.org
Solutions 0
No solutions have been posted yet.