Critical Window of The Symmetric Perceptron
share
We study the critical window of the symmetric binary perceptron, or equivalently, combinatorial discrepancy. Consider the problem of finding a binary vector σ satisfying Aσ_∞≤ K, where A is an α n × n matrix with iid Gaussian entries. For fixed K, at which densities α is this constraint satisfaction problem (CSP) satisfiable? A sharp threshold was recently established by Perkins and Xu, and Abbe, Li, and Sly , answering this to first order. Namely, for each K there exists an explicit critical density α_c so that for any fixed ϵ > 0, with high probability the CSP is satisfiable for α n < (α_c - ϵ ) n and unsatisfiable for α n > (α_c + ϵ) n. This corresponds to a bound of o(n) on the size of the critical window. We sharpen these results significantly, as well as provide exponential tail bounds. Our main result is that, perhaps surprisingly, the critical window is actually at most O(log n). More precisely, with high probability the CSP is satisfiable for α n < α_c n -O(log n) and unsatisfiable for any α n > α_c n + ω(1). This implies the symmetric perceptron has nearly the "sharpest possible transition," adding it to a short list of CSP for which the critical window is rigorously known to be of near-constant width.
READ FULL TEXT