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

Sign-rank preservation under constant-cost reductions

Prove that constant-cost oracle reductions preserve bounded sign-rank: given communication problems Q and P with D^Q(P) = O(1) and P of bounded sign-rank, establish that Q must also have bounded sign-rank.

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

Background

Sign-rank is a geometric complexity measure tightly connected to randomized communication. A general preservation theorem under constant-cost reductions would provide a powerful structural constraint on what problems can simulate others efficiently and would imply stronger separations, including those between EHD_1 and IIP_d for small d, as noted by the authors.

References

The first conjecture is that, if Q and P are any problems where DQ(P) = O(1) and P has bounded sign-rank (which holds in particular for IIP_d [CHHS23]), Q also has bounded sign-rank [HHPTZ22].

No Complete Problem for Constant-Cost Randomized Communication (2404.00812 - Fang et al., 31 Mar 2024) in Section 7 (Discussion and Open Problems)