Matrix inequality conjecture for zero diagonal entries

Less than 1 year old · traced to

Let MM be a matrix with non-negative real entries, let tt be an odd positive integer, and let (x1,y1),…,(xt,yt)(x_1,y_1),\ldots,(x_t,y_t) be distinct entries of MM satisfying Mxiyi=0M_{x_i y_i}=0 for every i=1,…,ti=1,\ldots,t. Matrix inequality conjecture. Then

∑i=1t∑j=1tMxiyjMxjyi⩽(t−1)∥M∥∞∥M∥1.\sum_{i=1}^{t}\sum_{j=1}^{t}M_{x_i y_j}M_{x_j y_i}\leqslant (t-1)\lVert M\rVert_{\infty}\lVert M\rVert_{1}.

The paper formulates this inequality because it implies the weak balls conjecture and proves it in a special case; its general validity remains open.

References

Primary source

Ilya I. Bogdanov, Fedor Petrov, Anton Sadovnichiy and Fedor Ushakov, “Biregular bipartite labeled multigraphs and perfect matchings in bipartite tensor products”, arXiv:2603.18253 (2026).

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.