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Δ≤a3≤34Δ+1\frac23\Delta\leq a_3\leq\frac34\Delta+1 and a3≡1(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