Efficiently Sampling the PSD Cone with the Metric Dikin Walk

07/24/2023
by   Yunbum Kook, et al.
0

Semi-definite programs represent a frontier of efficient computation. While there has been much progress on semi-definite optimization, with moderate-sized instances currently solvable in practice by the interior-point method, the basic problem of sampling semi-definite solutions remains a formidable challenge. The direct application of known polynomial-time algorithms for sampling general convex bodies to semi-definite sampling leads to a prohibitively high running time. In addition, known general methods require an expensive rounding phase as pre-processing. Here we analyze the Dikin walk, by first adapting it to general metrics, then devising suitable metrics for the PSD cone with affine constraints. The resulting mixing time and per-step complexity are considerably smaller, and by an appropriate choice of the metric, the dependence on the number of constraints can be made polylogarithmic. We introduce a refined notion of self-concordant matrix functions and give rules for combining different metrics. Along the way, we further develop the theory of interior-point methods for sampling.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/23/2017

Fast MCMC sampling algorithms on polytopes

We propose and analyze two new MCMC sampling algorithms, the Vaidya walk...
research
06/10/2023

K-Tensors: Clustering Positive Semi-Definite Matrices

This paper introduces a novel self-consistency clustering algorithm (K-T...
research
03/06/2018

John's Walk

We present an affine-invariant random walk for drawing uniform random sa...
research
03/08/2023

Interior-point methods on manifolds: theory and applications

Interior-point methods offer a highly versatile framework for convex opt...
research
11/13/2019

Strong Self-Concordance and Sampling

Motivated by the Dikin walk, we develop aspects of an interior-point the...
research
11/03/2021

Physarum Inspired Dynamics to Solve Semi-Definite Programs

Physarum Polycephalum is a Slime mold that can solve the shortest path p...
research
03/17/2000

Detecting Unsolvable Queries for Definite Logic Programs

In solving a query, the SLD proof procedure for definite programs someti...

Please sign up or login with your details

Forgot password? Click here to reset