Third annual meeting of the Dutch Inverse Problems Community

Programme and abstracts.

When
12 Oct 2023 from 9:30 a.m. to 13 Oct 2023 4 p.m. CEST (GMT+0200)
Where
Groningen
Add

The third annual meeting of the Dutch Inverse Problems Community will take place on 12-13 October 2023 in Groningen. The program of last year’s event can be read here. We will follow a similar setup as last year, with a Masterclass on Thursday and plenary talks on Friday. The program will be announced on this page.

You can pre-register via this link; this helps us estimate the number of participants. We expect that registration fees will be similar to last years ( EUR 35 for 1 day and EUR 100 for both days, including dinner, excl. hotel).

Programme

Thursday 12 October: Masterclasses for PhD students

10:00 - 12:30 Formal Results in Explainable Machine Learning - Tim van Erven (UvA)

12:30 - 14:00 Lunch break

14:00 - 16:30 TBA

16:30 - 18:00 Drinks

19:00 - 21:00 Diner

Friday 13 October: Symposium

09.00 - 09.30: Reception, coffee

09.30 - 10.30: Carlona Schoenlieb (Cambridge University)

10.30 - 11:00: Coffee break

11.00 - 11.30: Hanne Kekkonen (Delft University of Technology)

11:30 - 12:00: Alessandro Sbrizzi (University Medical Center Utrecht)

12.00 - 13.30: Lunch break

13.30 - 14.00: Alden Waters (Leibniz Institute of Hannover, Faculty of Physics and Mathematics)

14:00 - 14:30: Palina Salanevic (Utrecht University)

14:30 - 15:00: Coffee break

15.00 - 16.00: Plenary lecture by Bas van der Linden (Sioux Technologies & Eindhoven University of Technology)

16.00 - 16.30: TBA
16:30 - 17.30: Drinks

Masterclasses

Since most machine learning systems are not inherently interpretable, explainable machine learning tries to generate explanations that communicate relevant aspects of their internal workings. This is a
relatively young subfield, which is generating a lot of excitement, but it is proving very difficult to lay down proper foundations: What is a good explanation? When can we trust explanations? Most of the work in this area is based on empirical evaluation, but recently the first formal mathematical results have started to appear.

In this master class, I will introduce the topic, and then highlight several formal
results of interest.

Abstracts

Inverse problems are about the reconstruction of an unknown physical quantity from indirect measurements. They appear in a variety of places, from medical imaging, for instance MRI or CT, to remote sensing, for instance radar, to material sciences and molecular biology, for instance electron microscopy. Here, inverse problems is a tool for looking inside specimen, resolving structures beyond the scale visible to the naked eye, and to quantify them. It is a mean for diagnosis, prediction and discovery.

Most inverse problems of interest are ill-posed and require appropriate mathematical treatment for recovering meaningful solutions. Classically, such approaches are derived almost conclusively in a knowledge driven manner, constituting handcrafted mathematical models. Examples include variational regularization methods with Tikhonov regularization, the total variation and several sparsity-promoting regularizers such as the L1 norm of Wavelet coefficients of the solution.

While such handcrafted approaches deliver mathematically rigorous and computationally robust solutions to inverse problems, they are also limited by our ability to model solution properties accurately and to realize these approaches in a computationally efficient manner.

Recently, a new paradigm has been introduced to the regularization of inverse problems, which derives solutions to inverse problems in a data driven way. Here, the inversion approach is not mathematically modeled in the classical sense, but modeled by highly over-parametrized models, typically deep neural networks, that are adapted to the inverse problems at hand by appropriately selected training data. Current approaches that follow this new paradigm distinguish themselves through solution accuracies paired with computational efficiency that were previously unconceivable.

In this lecture I will give an introduction to this new data-driven paradigm for inverse problems. Presented methods include data-driven variational models and plug-and-play approaches, learned iterative schemes aka learned unrolling, and learned post-processing. Throughout presenting these methodologies, we will discuss their theoretical properties and provide numerical examples for image denoising, deconvolution and computed tomography reconstruction. The lecture will finish with a discussion of open problems and future perspectives.

The Bayesian approach to inverse problems allows us to encode our a priori knowledge of the unknown function of interest in the form of a probability distribution. Gaussian process priors are often used in practice due to their fast computational properties. However, the resulting posterior estimates tend to be too smooth for functions in imaging which involve sharp transitions.

Besov priors are well fitted for imaging since smooth functions with few local irregularities have a sparse expansion in the wavelet basis which is encouraged by the prior. The edge preservation of Besov priors can further be enhanced by introducing a new random variable T that takes values in the space of ‘trees’, and which is chosen so that the realisations have jumps only on a small set.

With the improvement of numerical inversion techniques,  model-based reconstruction approaches have penetrated and pervaded the world of Magnetic Resonance Imaging (MRI). In this talk, I present one of the most recent advances in this direction, namely the Spectro-Dynamic MRI technique.

In Spectro Dynamic MRI, we leverage the fast sampling rate in the acquisition domain (Fourier space) to identify biomechanical systems at a millisecond temporal resolution. This is made possible by the interplay of ad-hoc designed spectral sampling schemes and PDE/ODE-based inversion techniques.

The Spectro-Dynamic MRI framework can also be leveraged to learn phenomenological models from spectral data, which could shed new insights in the biomechanical behavior of tissue in dynamic conditions.

We consider heat equations on bounded Lipschitz domains in Rd and show that solutions to the heat equation for positive times are analytically extendable to a subdomain of the complex plane containing the set in question. Our analysis is based on the boundary layer potential method for the heat equation. In particular, our method gives an explanation for the shapes appearing in the literature in 1 dimension, which is not so easy to explain using Fourier analysis alone. The control theory/inverse problem has never been tackled in higher dimensions before.

I will also discuss the converse theorem, namely that certain sets in the complex plane can be realized as solutions to the heat equation on the boundary of a ball. Boundary layer potential theory also gives an indication that this statement is more difficult if the domain is not a ball.  The main progress is the ability to "invert" the heat operator on a domain with inhomogeneous boundary conditions. This exciting new technique to analyze the question of reachable sets is joint work with Alexander Strohmaier.

In many signal processing problems arising in practical applications, we wish to reconstruct an unknown signal from its phaseless measurements with respect to a frame. This inverse problem is known as the phase retrieval problem. For each particular application, the set of relevant measurement frames is determined by the problem at hand, which motivates the study of phase retrieval for structured, application-relevant frames.

In this talk, we focus on one class of such frames that appear naturally in diffraction imaging, ptychography, and audio processing, namely, multi-window Gabor frames. We will discuss injectivity of the phase retrieval problem with these measurement frames in the finite-dimensional setup and propose an explicit construction of an infinite family of phase retrievable multi-window Gabor frames.

We will show that phase retrievability for the constructed frames can be achieved with a much smaller number of phaseless measurements compared to the previous results for this type of measurement frames. Additionally, we will show that the sufficient for reconstruction number of phaseless measurements depends on the dimension of the signal space, and not on the ambient dimension of the problem.