Conjecture on short admissible profiles in the hypercube

About 2 years old · traced to

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 ∣∣x∣∣1=∑i=1nxi||\bm{x}||_1=\sum_{i=1}^n x_i. Short-profile admissibility conjecture. Every tuple x∈Nn\bm{x}\in\mathbb{N}^n satisfying

∣∣x∣∣1<2n−1||\bm{x}||_1<2^{n-1}

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

References

Primary source

Joshua Erde, “Matchings in the hypercube with specified edges”, arXiv:2404.03950 (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.