Two-sided limiting-threshold conjecture for the symmetric binary perceptron

For κ>0\kappa>0, define the symmetric binary-perceptron mm-OGP threshold αm(κ)\alpha_m^*(\kappa) as the infimum density at which the appropriate mm-OGP occurs, and set

α(κ)=limmtoinftyαm(κ).\alpha_\infty^*(\kappa)=\lim_{mtoinfty}\alpha_m^*(\kappa).

Two-sided limiting-threshold conjecture. For every ϵ>0\epsilon>0, there exists κ(ϵ)>0\kappa^*(\epsilon)>0 such that for every kappalekappa(ϵ)kappalekappa^*(\epsilon): no polynomial-time search algorithm for the SBP exists if α>(1+ϵ)α(κ)\alpha>(1+\epsilon)\alpha_\infty^*(\kappa), while a polynomial-time search algorithm exists if α<(1ϵ)α(κ)\alpha<(1-\epsilon)\alpha_\infty^*(\kappa). This conjecture would identify the limiting mm-OGP threshold with the algorithmic threshold up to arbitrarily small relative error as κ0\kappa\to0.

Sources & referencesView supporting material

Primary source

David Gamarnik, Eren C. Kızıldağ, Will Perkins and Changji Xu, “Algorithms and Barriers in the Symmetric Binary Perceptron Model”, arXiv:2203.15667 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.