Relaxations semi-definies positives pour l'imagerie - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2020

Positive semi-definite relaxation for imaging science

Relaxations semi-definies positives pour l'imagerie

Résumé

This thesis proposes theoretical and algorithmic advances for positive semi-definite relaxations and their applications in data science. These so-called Lasserre’s hierarchies allow one to solve super-resolution problems without resorting to spatial discretization, by replacing measures with their trigonometric moments. However, they require the resolution of large convex optimization problems. The contributions of this thesis show how to scale these methods by exploiting certain properties and invariances of imaging problems. We first propose a new approach for the recovery of continuous measures from a finite number of moments, based on the approximate joint-diagonalization of a few non-Hermitian matrices. Then, we study the super-resolution problem, and its approximation by Lasserre’s hierarchy. A preliminary step consisting in the spectral projection of the forward operator makes this approximation possible, and further allows a fast implementation, the Fourier-based Frank Wolfe (FFW), taking advantage of the convolutional and low-rank structure of the involved matrices. We apply our method on fluorescence microscopy data. Finally, combining the recovery of continuous measures with the fast implementation of FFW, we employ Lasserre’s hierarchies to approximate the optimal transport between measures, which can also be coupled with the Blasso.
Cette thèse propose des avancées théoriques et algorithmiques pour les relaxations semidéfinies positives et leurs applications en science des données. Ces relaxations, dites de Lasserre, fondées sur la substitution aux mesures boréliennes de leurs moments trigonométriques, permettent de résoudre des problèmes de super-résolution sans discrétisation spatiale, mais nécessitent en contrepartie la résolution de problèmes d’optimisation convexe de grande taille. Les contributions de cette thèse montrent comment faire passer ces méthodes à l’échelle en exploitant certaines propriétés et invariances des problèmes d’imagerie. Nous proposons dans un premier temps une nouvelle méthode pour la reconstruction de mesures continues à partir d’un nombre fini de leurs moments, reposant sur un algorithme de codiagonalisation approchée. Nous étudions ensuite le problème de super-résolution, sous sa forme variationnelle appelée BLASSO, et son approximation par la hiérarchie de Lasserre. Une étape préalable de projection spectrale de l’opérateur d’acquisition rend possible cette approximation et permet également son implémentation efficace via un nouvel algorithme, le Fourier-based Frank- Wolfe (FFW), tirant profit de la structure convolutive et de faible rang des matrices impliquées. Nous appliquons notre méthode sur des données de microscopie par fluorescence. Enfin, combinant la reconstruction de mesures continues avec l’implémentation rapide de FFW, nous employons les hiérarchies de Lasserre afin d’approcher le transport optimal entre deux mesures, qui peut également être couplé avec le Blasso.
Fichier principal
Vignette du fichier
Catala_2020_These.pdf (55.92 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-03612382 , version 1 (17-03-2022)

Identifiants

  • HAL Id : tel-03612382 , version 1

Citer

Paul Catala. Relaxations semi-definies positives pour l'imagerie. Vision par ordinateur et reconnaissance de formes [cs.CV]. Université Paris sciences et lettres, 2020. Français. ⟨NNT : 2020UPSLE057⟩. ⟨tel-03612382⟩
84 Consultations
8 Téléchargements

Partager

Gmail Facebook X LinkedIn More