Dice Question Streamline Icon: https://streamlinehq.com

Does large margin imply constant sign-rank?

Establish whether there exists a universal function η such that for every N×N boolean matrix M, the sign-rank satisfies signrank(M) ≤ η(1/margin(M)). Equivalently, determine whether matrices of large (constant) margin necessarily have constant sign-rank, where margin(M) is the supremum over unit-vector assignments of the minimum absolute inner product realizing the sign pattern of M.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper studies the relationship between sign-rank (dimension complexity) and margin (or discrepancy) of boolean matrices, a central theme in communication complexity and learning theory. While small sign-rank does not imply large margin, the converse direction—whether large margin forces constant sign-rank—remains a fundamental question with broad implications.

They connect this question to communication complexity: constant bounded-error randomized communication (Rand(M)=O(1)) is equivalent to constant margin, and constant unbounded-error communication (U(M)=O(1)) is equivalent to constant sign-rank. A positive resolution would imply that any problem learnable with constant bounded-error randomized communication is also easy in the unbounded-error model.

References

A basic open question is the converse: Is there a function \eta such that any boolean matrix M satisfies \signrank(M) \leq \eta(\margin(M){-1})? That is, do matrices of large (constant) margin also have constant sign-rank?

Sign-Rank of $k$-Hamming Distance is Constant (2506.12022 - Göös et al., 1 May 2025) in Section 1.2 (Context and Consequences for Sign-Rank vs. Margin), Boxquestion (question:intro-main)