Equal complementary-tuple degrees conjecture for balanced multipartite hypergraphs

Let HH be an nn-balanced rr-partite rr-graph, and let II be a subset of [r]:={1,2,,r}[r]:=\{1,2,\ldots,r\}. An II-tuple is an element of ×iIVi\times_{i\in I}V_i, and an IcI^c-tuple is defined using Ic:=[r]II^c:=[r]\setminus I. For tuples, let d()d(\cdot) denote degree in HH. Equal complementary-tuple degrees conjecture. If

d(e)=d(f)d(e)=d(f)

for every two II-tuples e,fe,f, and

d(g)=d(z)d(g)=d(z)

for every two IcI^c-tuples g,zg,z, then HH has a perfect matching unless rr is odd and nn is even. The conjecture proposes that uniform degrees on both complementary tuple classes force a perfect matching, apart from the stated parity exception. The source describes this as a bold conjectural weakening of the Brualdi-Ryser condition; no resolution is supplied.

Sources & referencesView supporting material

Primary source

Ron Aharoni, Agelos Georgakopoulos and Philipp Sprüssel, “Perfect matchings in r-partite r-graphs”, arXiv:0911.4008 (2009).

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.