Asymptotic equivalence for nonlayerable arrays

Determine whether, for fixed d and n tending to infinity, the smallest k for which a nonlayerable (n^{d−1}, n−k)-array exists is asymptotically equal to NC_d(n).

Background

A nonlayerable array cannot be decomposed into layers, paralleling noncompletability of a Latin hypercuboid. This problem asks whether the threshold among all balanced set arrays agrees asymptotically with the completability threshold among realisable arrays.

References

Question 17. For n → ∞ and fixed d, is the smallest k for which there exists a non-layerable (nd−1, n − k)-array asymptotically equal to NCd (n)?

Extendibility of Latin Hypercuboids  (2502.08868 - Bowtell et al., 13 Feb 2025) in Question 17, Section 5.4, p. 10