Conjecture on short admissible profiles in the hypercube

From papers

Let QnQ^n be the nn-dimensional hypercube, and let an admissible tuple be a tuple that occurs as the profile of a matching in QnQ^n. For x=(x1,,xn)Nn\bm{x}=(x_1,\ldots,x_n)\in\mathbb{N}^n, write x1=i=1nxi||\bm{x}||_1=\sum_{i=1}^n x_i. Short-profile admissibility conjecture. Every tuple xNn\bm{x}\in\mathbb{N}^n satisfying

x1<2n1||\bm{x}||_1<2^{n-1}

is admissible. The claim extends the verified computations for n4n\leq 4 and proposes that, below the size of a perfect matching, there are no restrictions beyond the definition of a profile.

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

Joshua Erde, “Matchings in the hypercube with specified edges”, arXiv:2404.03950 (2026).

Solutions 0

No solutions have been posted yet.