Marcus's block permanent conjecture

About 4 years old · traced to

Let A∈HmkA\in{\cal H}_{mk} be partitioned into k×kk\times k blocks Ai,jA_{i,j}, with i,j=1,2,…,mi,j=1,2,\ldots,m. Let GG be the m×mm\times m matrix with entries

Gi,j=per(Ai,j).G_{i,j}=\mathop{\rm per}(A_{i,j}).

Marcus's block permanent conjecture. Then

perA⩾perG.\mathop{\rm per} A\geqslant \mathop{\rm per} G.

If every diagonal block Ai,iA_{i,i} is positive definite, equality holds if and only if

A=A11⊕A22⊕⋯⊕Amm.A=A_{11}\oplus A_{22}\oplus\cdots\oplus A_{mm}.

The source records the m=2m=2 case and a real-matrix result, but leaves the general conjecture unresolved.

References

Primary source

Ian M. Wanless, “Lieb's permanental dominance conjecture”, arXiv:2202.01867 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.