Latin Rectangle Conjecture

For α,βN\alpha,\beta\in\mathbb{N} with αβ\alpha\leq\beta and β\beta even, fix a set U\mathcal U of β\beta vectors in Cα\mathbb{C}^{\alpha} generically. A Latin Rectangle for U\mathcal U is an α×β\alpha\times\beta matrix whose entries are drawn from U\mathcal U, with no entry occurring more than once in any row or column. For a Latin Rectangle LL, let coldet(L)\operatorname{coldet}(L) be the product over columns of the determinants formed from the column vectors. Latin Rectangle Conjecture. One has

Lcoldet(L)0,\sum_L \operatorname{coldet}(L)\neq 0,

where the sum ranges over all Latin Rectangles for U\mathcal U. This conjecture concerns the nonvanishing of an explicit sum of products of determinants for generic vectors; the source gives no evidence of resolution.

Sources & referencesView supporting material

Primary source

Markus Bläser, Christian Ikenmeyer, Vladimir Lysikov, Anurag Pandey and Frank-Olaf Schreyer, “Variety Membership Testing, Algebraic Natural Proofs, and Geometric Complexity Theory”, arXiv:1911.02534 (2019).

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.