Embedding conjecture for three-dimensional symmetric designs from regular Hadamard matrices

About 1 year old · traced to

Let HH) be a regular Hadamard matrix of order v2v^2. A three-dimensional embedding conjecture asserts that there exists a C33(v6,v8(v4−1)/2,v8(v4−2)/4)\mathcal{C}^3_3(v^6,v^8(v^4-1)/2,v^8(v^4-2)/4)-cube containing a C33(v3,v4(v2−1)/2,v4(v2−2)/4)\mathcal{C}^3_3(v^3,v^4(v^2-1)/2,v^4(v^2-2)/4)-subcube.

Embedding conjecture. If HH is a regular Hadamard matrix of order v2v^2, then such a containing cube and subcube exist.

The existence would follow from the cited theorem if HH could be embedded in a regular Hadamard matrix of order v4v^4; the authors note that they are unaware of results on embedding regular Hadamard matrices.

References

Primary source

Amin Bahmanian, Vedran Krčadinac, Lucija Relić and Sho Suda, “Three-dimensional symmetric designs of propriety 3”, arXiv:2510.17337 (2025).

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.