Lune

NeurIPS2022Top-tier venue

Sampling in Constrained Domains with Orthogonal-Space Variational Gradient Descent

Ruqi Zhang, Qiang Liu, Xin T. Tong

2022Year
23Citations
3Top-tier citations

Abstract

Sampling methods, as important inference and learning techniques, are typically designed for unconstrained domains. However, constraints are ubiquitous in machine learning problems, such as those on safety, fairness, robustness, and many other properties that must be satisfied to apply sampling results in real-life applications. Enforcing these constraints often leads to implicitly-defined manifolds, making efficient sampling with constraints very challenging. In this paper, we propose a new variational framework with a designed orthogonal-space gradient flow (O-Gradient) for sampling on a manifold G0\mathcal{G}_0 defined by general equality constraints. O-Gradient decomposes the gradient into two parts: one decreases the distance to G0\mathcal{G}_0 and the other decreases the KL divergence in the orthogonal space. While most existing manifold sampling methods require initialization on G0\mathcal{G}_0, O-Gradient does not require such prior knowledge. We prove that O-Gradient converges to the target constrained distribution with rate O~(1/the number of iterations)\widetilde{O}(1/\text{the number of iterations}) under mild conditions. Our proof relies on a new Stein characterization of conditional measure which could be of independent interest. We implement O-Gradient through both Langevin dynamics and Stein variational gradient descent and demonstrate its effectiveness in various experiments, including Bayesian deep neural networks.

Ask about this paper

Your agent reads all of it.

Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.

Questions to start from

Your agent calls

Luneget_paper_fulltext

Ask in Lune

Free to start. No credit card required.

lune papers fulltext 89c5d8b5-aabe-4eb3-87a7-6c303588e8e4

Cited by top-tier papers3

Ask how each one uses it

Builds on7

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines