Real-part largest-eigenvalue conjecture for the permanent matrix

Let Hn\mathcal{H}_n be the set of n×nn\times n positive semidefinite Hermitian matrices. For A=[ai,j]HnA=[a_{i,j}]\in\mathcal{H}_n, let A(i,j)A(i,j) be obtained by deleting row ii and column jj, and define FA=[fi,j]F_A=[f_{i,j}] by

fi,j=ai,jper(A(i,j)).f_{i,j}=a_{i,j}\operatorname{per}(A(i,j)).

Let λmaxR(FA)\lambda_{\max}^{\mathbb{R}}(F_A) denote the maximum eigenvalue of the symmetric part of FAF_A over Rn×n\mathbb{R}^{n\times n}, formed by taking the real part of each entry of FAF_A. Real-part eigenvalue conjecture. For every AHnA\in\mathcal{H}_n,

λmaxR(FA)per(A).\lambda_{\max}^{\mathbb{R}}(F_A)\leq\operatorname{per}(A).

The supplied text does not give evidence resolving this newly introduced conjecture, so its database status remains open.

Sources & referencesView supporting material

Primary source

Léo Pioge, Kamil K. Pietrasz, Benoit Seron, Leonardo Novo and Nicolas J. Cerf, “A logical implication between two conjectures on matrix permanents”, arXiv:2508.00111 (2025).

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.