Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 4, Page 2750-2811, December 2024. We give a nearly linear-time algorithm to approximately sample satisfying assignments in the random [math]-SAT model when the density of the formula scales exponentially with [math]. The best previously known sampling algorithm for the random [math]-SAT model applies when the density [math] of the formula is less than [math] and runs in time [math] [Galanis et al., SIAM J. Comput., 50 (2021), pp. 1701–1738]. Here [math] is the number of variables and [math] is the number of clauses. Our algorithm achieves a significantly faster running time of [math] and samples satisfying assignments up to density [math]. The main challenge in our setting is the presence of many variables with unbounded degree, which causes significant correlations within the formula and impedes the application of relevant Markov chain methods from the bounded-degree setting [Feng et al., J. ACM, 68 (2021) 40; Jain, Pham, and Vuong, On the Sampling Lovász Local Lemma for Atomic Constraint Satisfaction Problems, 2021]. Our main technical contribution is a [math] bound of the sum of influences in the [math]-SAT model which turns out to be robust against the presence of high-degree variables. This allows us to apply the spectral independence framework and obtain fast mixing results of a uniform-block Glauber dynamics on a carefully selected subset of the variables. The final key ingredient in our method is to take advantage of the sparsity of logarithmic-sized connected sets and the expansion properties of the random formula, and establish relevant connectivity properties of the set of satisfying assignments that enable the fast simulation of this Glauber dynamics. Our results also allow us to conclude that, with high probability, a random [math]-CNF formula with density at most [math] has a giant component of solutions that are connected in a graph where solutions are adjacent if they have Hamming distance [math]. We are also able to deduce looseness results for random [math]-CNFs in the same regime.

Random Sampling on an High-Dimensional Sphere for Solving SVP

Orthogonalized Lattice Enumeration for Solving SVP.

A Genetic Algorithm for Searching the Shortest Lattice Vector of SVP Challenge

Variational quantum solutions to the Shortest Vector Problem

On the SVP for low-dimensional circulant lattices

Space-efficient classical and quantum algorithms for the shortest vector problem

Latent Variables on Spheres for Sampling and Spherical Inference

Super-exponential quantum advantage for finding the center of a sphere

Importance sampling method in V-space

Randomized Dual Coordinate Ascent with Arbitrary Sampling

Algorithm for Fast Calculating the Nearest Distance Between Space Point and Arbitrary Polyhedron

Fast Sampling of Satisfying Assignments from Random [math]-SAT with Applications to Connectivity

A Fast Exact Algorithm for Computing the Hypervolume Contributions in 4-D Space

Sampling from Spherical Spin Glasses in Total Variation via Algorithmic Stochastic Localization

Spherical random projection

Improved Classical and Quantum Algorithms for the Shortest Vector Problem via Bounded Distance Decoding

Geodesic slice sampling on the sphere

Random Angular Projection for Fast Nearest Subspace Search

Stochastic Dual Ascent for Solving Linear Systems

Optimization Via Simulation Using Gaussian Process-Based Search

Randomised subspace methods for non-convex optimization, with applications to nonlinear least-squares