Computational hardness of agnostic ERM for GL(d,2)

Determine whether agnostic empirical risk minimization for the class of invertible linear maps GL(d,2) acting on F_2^d is computationally hard.

Background

For S_n acting on [n], the paper shows that agnostic ERM reduces to maximum-weight bipartite matching and is polynomial-time solvable. For GL(d,2), agnostic ERM asks for an invertible matrix satisfying as many noisy equations Ax_i=y_i as possible, suggesting a connection with decoding noisy linear equations over F_2.

The computational complexity of this optimization problem is left unresolved.

References

Is agnostic ERM for this class computationally hard?

— Learning a Group Element from Its Action: Galois Correspondences, Optimal ERM, and an Abel-Ruffini Threshold for the Natarajan Dimension  (2610.18154 - Li, 13 Oct 2026) in Section 7, Discussion and open problems, paragraph 7