English

Towards a characterization of idempotent Schur multipliers

Classical Analysis and ODEs 2026-07-15 v1 Computational Complexity Combinatorics

Abstract

It is conjectured that every idempotent Schur multiplier can be written as a finite sum of contractive idempotents. This conjecture is equivalent to the statement that any boolean matrix AA with factorization norm Aγ2\lVert A\rVert_{\gamma_2} at most γ\gamma can be expressed as a signed sum A=i=1L±Bi,A = \sum_{i=1}^L \pm B_i, where, up to permutation of rows and columns, each BiB_i is a blow-up of an identity matrix, and LL depends only on γ\gamma. In this note we show that if AA is an n×nn\times n boolean matrix with Aγ2γ\lVert A\rVert_{\gamma_2} \le \gamma, then it admits such an expression with L=2O(γ9)+log ⁣nL = 2^{O(\gamma^9) + \log^*\! n}, where log\log^* is the iterated logarithm function. As an application, any sequence of matrices with bounded factorization norm belongs to the complexity class PEQ\mathrm{P}^\mathrm{EQ} of communication problems with polylogarithmic equality-oracle complexity.

Keywords

Cite

@article{arxiv.2607.14316,
  title  = {Towards a characterization of idempotent Schur multipliers},
  author = {Marcel K. Goh and Hamed Hatami},
  journal= {arXiv preprint arXiv:2607.14316},
  year   = {2026}
}

Comments

12 pages, including references