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

From papers

Let HH) be a regular Hadamard matrix of order v2v^2. A three-dimensional embedding conjecture asserts that there exists a C33(v6,v8(v41)/2,v8(v42)/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(v21)/2,v4(v22)/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.

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

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

Solutions 0

No solutions have been posted yet.