Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français fr
CORDIS - Résultats de la recherche de l’UE
CORDIS

Sampling high dimensional measures with computational guarantees beyond convexity and smoothness

Objectif

This research proposal aims to address key computational challenges in sampling high dimensional measures, with a focus on problems from statistical inference that lack the usual convexity and smoothness assumptions. Many statistical models present complex computational problems that require numerical integration of high dimensional measures which can be as challenging as those encountered in computer science and statistical physics, yet they remain poorly understood. This project develops MCMC algorithms and a quantitative mixing time theory in two main thrusts. First, we study sampling for polytope-constrained log-concave measures, typically arising in probit or censored regression, where the non-smoothness at boundary causes issue for Langevin-type algorithms. We design interior-point-method-inspired barrier functions tailored for sampling, refine Riemannian HMC analysis for implementable integrators, and develop instance-adaptive weighted Dikin/Vaidya/John-type walks to surpass worst-case analysis. Second, we take sparse PCA and Bayesian variable selection as canonical problems to study MCMC without log-concavity and with mixed-discrete-continuous parameters. Tuning signal-to-noise ratio (SNR) in these problems is known to make the computational problem from easy to hard. We aim to determine the optimal SNR threshold for MCMC to succeed efficiently and to resolve the open problem on whether MCMC are among the best algorithms in statistical problems with statistical-to-computational gaps, by leveraging recent progress on expander graphs, spectral independence, local-to-global approaches and stochastic localization. We further pursue a ``discrete KLS'' result on the Boolean hypercube, aiming for a new functional inequality framework with fewer checks than that in the state-of-the-art spectral independence framework.

Champ scientifique (EuroSciVoc)

Ce projet n'a pas encore été classé par EuroSciVoc.
Proposez les domaines scientifiques qui vous semblent les plus pertinents et aidez-nous à améliorer notre service de classification.

Programme(s)

Thème(s)

Régime de financement

HORIZON-ERC - HORIZON ERC Grants

Voir tous les projets financés dans le cadre de ce programme de financement

Appel à propositions

(s’ouvre dans une nouvelle fenêtre) ERC-2026-STG

Voir tous les projets financés au titre de cet appel

Institution d’accueil

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Contribution nette de l'UE
€ 1 500 000,00
Adresse
Raemistrasse 101
8092 Zuerich
Suisse
Région
Schweiz/Suisse/Svizzera Zürich Zürich
Type d’activité
Higher or Secondary Education Establishments
Liens
Coût total
€ 1 500 000,00

Bénéficiaires (1)