Provably Efficient Posterior Sampling for Sparse Linear Regression via Measure Decomposition | Synapse