The existence of HGDDs with block size four and its application to double frames (Q1011732)

The paper provides the last four designs needed to establish: There exists a \((4,\lambda)\)-holey group-divisible design of type \((n,m^t)\) if and only if \(t,n \geq 4\) and \(\lambda(t-1)(n-1)m \equiv 0 \pmod{3}\) except for \((m,n,t,\lambda) = (1,4,6,1)\). As a consequence, the existence of double frames with block size three is completely settled.