,
Shachar Lovett
,
Morgan Shirley
Creative Commons Attribution 4.0 International license
The log-rank conjecture is a longstanding open problem with multiple equivalent formulations in complexity theory and mathematics. In its linear-algebraic form, it asserts that the rank and partitioning number of a Boolean matrix are quasi-polynomially related. We propose a relaxed but still equivalent version of the conjecture based on a new matrix parameter, signed rectangle rank: the minimum number of all-1 rectangles needed to express the Boolean matrix as a ± 1-sum. Signed rectangle rank lies between rank and partition number, and our main result shows that it is in fact equivalent to rank up to a logarithmic factor. Additionally, we extend the main result to tensors. This reframes the log-rank conjecture as: can every signed decomposition of a Boolean matrix be made positive with only quasi-polynomial blowup? As an application, we prove an equivalence between the log-rank conjecture and a conjecture of Lovett and Singer–Sudan on cross-intersecting set systems.
@InProceedings{hambardzumyan_et_al:LIPIcs.CCC.2026.7,
author = {Hambardzumyan, Lianna and Lovett, Shachar and Shirley, Morgan},
title = {{The Log-Rank Conjecture: New Equivalent Formulations}},
booktitle = {41st Computational Complexity Conference (CCC 2026)},
pages = {7:1--7:9},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-437-6},
ISSN = {1868-8969},
year = {2026},
volume = {383},
editor = {Moshkovitz, Dana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2026.7},
URN = {urn:nbn:de:0030-drops-270495},
doi = {10.4230/LIPIcs.CCC.2026.7},
annote = {Keywords: cross-intersecting set systems, Log-rank conjecture, monochromatic rectangle, partition number}
}