A simpler strong refutation of random k-XOR

08/08/2020
by   Kwangjun Ahn, et al.
0

Strong refutation of random CSPs is a fundamental question in theoretical computer science that has received particular attention due to the long-standing gap between the information-theoretic limit and the computational limit. This gap is recently bridged by Raghavendra, Rao and Schramm where they study sub-exponential algorithms for the regime between the two limits. In this work, we take a simpler approach to their algorithm and analysis.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/25/2018

Second-Order Converses via Reverse Hypercontractivity

A strong converse shows that no procedure can beat the asymptotic (as bl...
research
12/01/2017

The mind as a computational system

The present document is an excerpt of an essay that I wrote as part of m...
research
01/09/2023

Strong Collapse of Random Simplicial Complexes

The strong collapse of a simplicial complex, proposed by Barmak and Mini...
research
06/11/2019

The Halting Paradox

The halting problem is considered to be an essential part of the theoret...
research
07/26/2018

Seeded Graph Matching via Large Neighborhood Statistics

We study a well known noisy model of the graph isomorphism problem. In t...
research
02/27/2023

A Formal Analysis of RANKING

We describe a formal correctness proof of RANKING, an online algorithm f...
research
07/12/2019

From Observability to Significance in Distributed Information Systems

To understand and explain process behaviour we need to be able to see it...

Please sign up or login with your details

Forgot password? Click here to reset