Larger Corner-Free Sets from Combinatorial Degenerations

11/16/2021
by   Matthias Christandl, et al.
0

There is a large and important collection of Ramsey-type combinatorial problems, closely related to central problems in complexity theory, that can be formulated in terms of the asymptotic growth of the size of the maximum independent sets in powers of a fixed small (directed or undirected) hypergraph, also called the Shannon capacity. An important instance of this is the corner problem studied in the context of multiparty communication complexity in the Number On the Forehead (NOF) model. Versions of this problem and the NOF connection have seen much interest (and progress) in recent works of Linial, Pitassi and Shraibman (ITCS 2019) and Linial and Shraibman (CCC 2021). We introduce and study a general algebraic method for lower bounding the Shannon capacity of directed hypergraphs via combinatorial degenerations, a combinatorial kind of "approximation" of subgraphs that originates from the study of matrix multiplication in algebraic complexity theory (and which play an important role there) but which we use in a novel way. Using the combinatorial degeneration method, we make progress on the corner problem by explicitly constructing a corner-free subset in F_2^n × F_2^n of size Ω(3.39^n/poly(n)), which improves the previous lower bound Ω(2.82^n) of Linial, Pitassi and Shraibman (ITCS 2019) and which gets us closer to the best upper bound 4^n - o(n). Our new construction of corner-free sets implies an improved NOF protocol for the Eval problem. In the Eval problem over a group G, three players need to determine whether their inputs x_1, x_2, x_3 ∈ G sum to zero. We find that the NOF communication complexity of the Eval problem over F_2^n is at most 0.24n + O(log n), which improves the previous upper bound 0.5n + O(log n).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/02/2021

Communication Complexity, Corner-Free Sets and the Symmetric Subrank of Tensors

We develop and apply new combinatorial and algebraic tools to understand...
research
12/17/2018

Barriers for fast matrix multiplication from irreversibility

The determination of the asymptotic algebraic complexity of matrix multi...
research
11/22/2022

On Optimal Coreset Construction for Euclidean (k,z)-Clustering

Constructing small-sized coresets for various clustering problems in Euc...
research
09/12/2023

An improved protocol for ExactlyN with more than 3 players

The ExactlyN problem in the number-on-forehead (NOF) communication setti...
research
02/15/2019

Universally Sparse Hypergraphs with Applications to Coding Theory

For fixed integers r> 2,e> 2,v> r+1, an r-uniform hypergraph is called G...
research
04/06/2022

Nearly Tight Spectral Sparsification of Directed Hypergraphs by a Simple Iterative Sampling Algorithm

Spectral hypergraph sparsification, which is an attempt to extend well-k...
research
07/21/2020

Improved lower and upper bounds on the tile complexity of uniquely self-assembling a thin rectangle non-cooperatively in 3D

We investigate a fundamental question regarding a benchmark class of sha...

Please sign up or login with your details

Forgot password? Click here to reset