A Note on the LogRank Conjecture in Communication Complexity

The LogRank conjecture of Lovász and Saks (1988) is the most famous open problem in communication complexity theory. The statement is as follows: suppose that two players intend to compute a Boolean function f(x,y) when x is known for the first and y for the second player, and they may send and rece...

Full description

Saved in:
Bibliographic Details
Published in:Mathematics (Basel) Vol. 11; no. 22; p. 4651
Main Author: Grolmusz, Vince
Format: Journal Article
Language:English
Published: Basel MDPI AG 01.11.2023
Subjects:
Analysis
Boolean
Boolean functions
Chaos theory
Communication
communication complexity
Complexity theory
composite modulus
Computer network protocols
hyperdense coding
logrank conjecture
Polynomials
Prediction (Logic)
Protocol
Upper bounds
Hungary
ISSN:2227-7390, 2227-7390
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The LogRank conjecture of Lovász and Saks (1988) is the most famous open problem in communication complexity theory. The statement is as follows: suppose that two players intend to compute a Boolean function f(x,y) when x is known for the first and y for the second player, and they may send and receive messages encoded with bits, then they can compute f(x,y) with exchanging (log rank(Mf))c bits, where Mf is a Boolean matrix, determined by function f. The problem is widely open and very popular, and it has resisted numerous attacks in the last 35 years. The best upper bound is still exponential in the bound of the conjecture. Unfortunately, we cannot prove the conjecture, but we present a communication protocol with (log rank(Mf))c bits, which computes a (somewhat) related quantity to f(x,y). The relation is characterized by the representation of low-degree, multi-linear polynomials modulo composite numbers. Our result may help to settle this long-open conjecture.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2227-7390
2227-7390
DOI:10.3390/math11224651