Finite size scaling of random XORSAT

preprint2016arXivOpen access

Abstract

We consider a "configuration model" for random XORSAT which is a random system of nn equations over mm variables in F2\mathbb F_2. Each equation is of the form y1+y2+⋯+yk=by_1 + y_2 + \cdots + y_k = b where k≥3k \geq 3 is fixed, y1,y2,⋯y_1, y_2, \cdots are variables (not necessarily distinct) and b∈F2b \in \mathbb F_2. The equations are chosen independently and uniformly at random with replacement. It is known \cite{Dubois02, Dietzfelbinger10, pittel2016} that there exists ρkρ_k such that m/n=ρkm / n = ρ_k is a sharp threshold for the satisfiability of this system. In this note we show that for the configuration model, the width of SAT-UNSAT transition window for random kk-XORSAT is Θ(n−1/2)Θ(n^{-1/2}) and also derive the exact scaling function.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.