Equivalence of extremal type-three matrix constructions

Determine whether the matrices \(M(a,b)\) of type \(3\) having \(\Delta+4\) columns and parameter \(a_3\) in the stated admissible range are inequivalent, in the sense of Definition 4.5 of the cited prior work, for distinct values of \(a_3\).

Background

The paper identifies a family of type-three matrices that can attain the upper bound Δ+4\Delta+4 when Δ2(mod6)\Delta\equiv2\pmod 6. These matrices are parameterized by values of a3a_3 satisfying 23Δa334Δ+1\frac23\Delta\leq a_3\leq\frac34\Delta+1 and a31(mod3)a_3\equiv1\pmod3.

It remains unresolved whether different parameter values produce genuinely inequivalent matrices under the equivalence relation used in the authors’ earlier work.

References

We do not know if matrices of the above form are inequivalent (in the sense of Definition~4.5 of) for different values of $a_3$.

On generic $Δ$-modular integer matrices with two rows  (2502.15394 - Kriepke et al., 21 Feb 2025) in Section 3, subsection “Matrices \(M(a,b)\) of type 3,” immediately after the classification of matrices with \(\Delta+4\) columns