Marcus's block permanent conjecture

From papers

Let AHmkA\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

perAperG.\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=A11A22Amm.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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.