Showing 1–45 of 45 results for author: Helin, T

Surrogate model for Bayesian optimal experimental design in chromatography

Authors: Jose Rodrigo Rojo-Garcia, Heikki Haario, Tapio Helin, Tuomo Sainio

Abstract: We applied Bayesian Optimal Experimental Design (OED) in the estimation of parameters involved in the Equilibrium Dispersive Model for chromatography with two components with the Langmuir adsorption isotherm. The coefficients estimated were Henry's coefficients, the total absorption capacity and the number of theoretical plates, while the design variables were the injection time and the initial co… ▽ More We applied Bayesian Optimal Experimental Design (OED) in the estimation of parameters involved in the Equilibrium Dispersive Model for chromatography with two components with the Langmuir adsorption isotherm. The coefficients estimated were Henry's coefficients, the total absorption capacity and the number of theoretical plates, while the design variables were the injection time and the initial concentration. The Bayesian OED algorithm is based on nested Monte Carlo estimation, which becomes computationally challenging due to the simulation time of the PDE involved in the dispersive model. This complication was relaxed by introducing a surrogate model based on Piecewise Sparse Linear Interpolation. Using the surrogate model instead the original reduces significantly the simulation time and it approximates the solution of the PDE with high degree of accuracy. The estimation of the parameters over strategical design points provided by OED reduces the uncertainty in the estimation of parameters. Additionally, the Bayesian OED methodology indicates no improvements when increasing the number of measurements in temporal nodes above a threshold value. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: 23 pages and 8 figures

MSC Class: 62Kxx; 62Pxx; 62F15; 35R30

The power of prediction: spatiotemporal Gaussian process modeling for predictive control in slope-based wavefront sensing

Authors: Jalo Nousiainen, Juha-Pekka Puska, Tapio Helin, Nuutti Hyvönen, Markus Kasper

Abstract: Time-delay error is a significant error source in adaptive optics (AO) systems. It arises from the latency between sensing the wavefront and applying the correction. Predictive control algorithms reduce the time-delay error, providing significant performance gains, especially for high-contrast imaging. However, the predictive controller's performance depends on factors such as the WFS type, the me… ▽ More Time-delay error is a significant error source in adaptive optics (AO) systems. It arises from the latency between sensing the wavefront and applying the correction. Predictive control algorithms reduce the time-delay error, providing significant performance gains, especially for high-contrast imaging. However, the predictive controller's performance depends on factors such as the WFS type, the measurement noise, the AO system's geometry, and the atmospheric conditions. This work studies the limits of prediction under different imaging conditions through spatiotemporal Gaussian process models. The method provides a predictive reconstructor that is optimal in the least-squares sense, conditioned on the fixed times series of WFS data and our knowledge of the atmosphere. We demonstrate that knowledge is power in predictive AO control. With an SHS-based extreme AO instrument, perfect knowledge of Frozen Flow evolution (wind and Cn2 profile) leads to a reduction of the residual wavefront phase variance up to a factor of 3.5 compared to a non-predictive approach. If there is uncertainty in the profile or evolution models, the gain is more modest. Still, assuming that only effective wind speed is available (without direction) led to reductions in variance by a factor of 2.3. We also study the value of data for predictive filters by computing the experimental utility for different scenarios to answer questions such as: How many past data frames should the prediction filter consider, and is it always most advantageous to use the most recent data? We show that within the scenarios considered, more data consistently increases prediction accuracy. Further, we demonstrate that given a computational limitation on how many past frames we can use, an optimized selection of $n$ past frames leads to a 10-15% additional improvement in RMS over using the n latest consecutive frames of data. △ Less

Submitted 26 June, 2024; originally announced June 2024.

Comments: Accepted for publication in JATIS

Reducing the cost of posterior sampling in linear inverse problems via task-dependent score learning

Authors: Fabian Schneider, Duc-Lam Duong, Matti Lassas, Maarten V. de Hoop, Tapio Helin

Abstract: Score-based diffusion models (SDMs) offer a flexible approach to sample from the posterior distribution in a variety of Bayesian inverse problems. In the literature, the prior score is utilized to sample from the posterior by different methods that require multiple evaluations of the forward map** in order to generate a single posterior sample. These methods are often designed with the objective… ▽ More Score-based diffusion models (SDMs) offer a flexible approach to sample from the posterior distribution in a variety of Bayesian inverse problems. In the literature, the prior score is utilized to sample from the posterior by different methods that require multiple evaluations of the forward map** in order to generate a single posterior sample. These methods are often designed with the objective of enabling the direct use of the unconditional prior score and, therefore, task-independent training. In this paper, we focus on linear inverse problems, when evaluation of the forward map** is computationally expensive and frequent posterior sampling is required for new measurement data, such as in medical imaging. We demonstrate that the evaluation of the forward map** can be entirely bypassed during posterior sample generation. Instead, without introducing any error, the computational effort can be shifted to an offline task of training the score of a specific diffusion-like random process. In particular, the training is task-dependent requiring information about the forward map** but not about the measurement data. It is shown that the conditional score corresponding to the posterior can be obtained from the auxiliary score by suitable affine transformations. We prove that this observation generalizes to the framework of infinite-dimensional diffusion models introduced recently and provide numerical analysis of the method. Moreover, we validate our findings with numerical experiments. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Comments: 23 pages, 2 figues

MSC Class: 62F15; 65N21; 68Q32; 60Hxx; 60Jxx

Recovery of transversely-isotropic elastic material parameters in induction motor rotors

Authors: Hanz Martin Cheng, Tapio Helin, Ville-Petteri Manninen, Timo Holopainen, Juha Jokinen, Samu Sorvari, Andreas Rupp

Abstract: We propose numerical algorithms for recovering parameters in eigenvalue problems for linear elasticity of transversely isotropic materials. Specifically, the algorithms are used to recover the elastic constants of a rotor core. Numerical tests show that in the noiseless setup, two pairs of bending modes are sufficient for recovering one to four parameters accurately. To recover all five parameters… ▽ More We propose numerical algorithms for recovering parameters in eigenvalue problems for linear elasticity of transversely isotropic materials. Specifically, the algorithms are used to recover the elastic constants of a rotor core. Numerical tests show that in the noiseless setup, two pairs of bending modes are sufficient for recovering one to four parameters accurately. To recover all five parameters that govern the elastic properties of electric engines accurately, we require three pairs of bending modes and one torsional mode. Moreover, we study the stability of the inversion method against multiplicative noise; for tests in which the data contained multiplicative noise of at most $1\%$, we find that all parameters can be recovered with an error less than $10\%$. △ Less

Submitted 10 May, 2024; originally announced May 2024.

MSC Class: 65Z05; 65C20

Laboratory Experiments of Model-based Reinforcement Learning for Adaptive Optics Control

Authors: Jalo Nousiainen, Byron Engler, Markus Kasper, Chang Rajani, Tapio Helin, Cédric T. Heritier, Sascha P. Quanz, Adrian M. Glauser

Abstract: Direct imaging of Earth-like exoplanets is one of the most prominent scientific drivers of the next generation of ground-based telescopes. Typically, Earth-like exoplanets are located at small angular separations from their host stars, making their detection difficult. Consequently, the adaptive optics (AO) system's control algorithm must be carefully designed to distinguish the exoplanet from the… ▽ More Direct imaging of Earth-like exoplanets is one of the most prominent scientific drivers of the next generation of ground-based telescopes. Typically, Earth-like exoplanets are located at small angular separations from their host stars, making their detection difficult. Consequently, the adaptive optics (AO) system's control algorithm must be carefully designed to distinguish the exoplanet from the residual light produced by the host star. A new promising avenue of research to improve AO control builds on data-driven control methods such as Reinforcement Learning (RL). RL is an active branch of the machine learning research field, where control of a system is learned through interaction with the environment. Thus, RL can be seen as an automated approach to AO control, where its usage is entirely a turnkey operation. In particular, model-based reinforcement learning (MBRL) has been shown to cope with both temporal and misregistration errors. Similarly, it has been demonstrated to adapt to non-linear wavefront sensing while being efficient in training and execution. In this work, we implement and adapt an RL method called Policy Optimization for AO (PO4AO) to the GHOST test bench at ESO headquarters, where we demonstrate a strong performance of the method in a laboratory environment. Our implementation allows the training to be performed parallel to inference, which is crucial for on-sky operation. In particular, we study the predictive and self-calibrating aspects of the method. The new implementation on GHOST running PyTorch introduces only around 700 microseconds in addition to hardware, pipeline, and Python interface latency. We open-source well-documented code for the implementation and specify the requirements for the RTC pipeline. We also discuss the important hyperparameters of the method, the source of the latency, and the possible paths for a lower latency implementation. △ Less

Submitted 30 December, 2023; originally announced January 2024.

Comments: Accepted for publication in JATIS

Statistical inverse learning problems with random observations

Authors: Abhishake, Tapio Helin, Nicole Mücke

Abstract: We provide an overview of recent progress in statistical inverse problems with random experimental design, covering both linear and nonlinear inverse problems. Different regularization schemes have been studied to produce robust and stable solutions. We discuss recent results in spectral regularization methods and regularization by projection, exploring both approaches within the context of Hilber… ▽ More We provide an overview of recent progress in statistical inverse problems with random experimental design, covering both linear and nonlinear inverse problems. Different regularization schemes have been studied to produce robust and stable solutions. We discuss recent results in spectral regularization methods and regularization by projection, exploring both approaches within the context of Hilbert scales and presenting new insights particularly in regularization by projection. Additionally, we overview recent advancements in regularization using convex penalties. Convergence rates are analyzed in terms of the sample size in a probabilistic sense, yielding minimax rates in both expectation and probability. To achieve these results, the structure of reproducing kernel Hilbert spaces is leveraged to establish minimax rates in the statistical learning setting. We detail the assumptions underpinning these key elements of our proofs. Finally, we demonstrate the application of these concepts to nonlinear inverse problems in pharmacokinetic/pharmacodynamic (PK/PD) models, where the task is to predict changes in drug concentrations in patients. △ Less

Submitted 23 December, 2023; originally announced December 2023.

Bayesian design of measurements for magnetorelaxometry imaging

Authors: Tapio Helin, Nuutti Hyvönen, Jarno Maaninen, Juha-Pekka Puska

Abstract: The aim of magnetorelaxometry imaging is to determine the distribution of magnetic nanoparticles inside a subject by measuring the relaxation of the superposition magnetic field generated by the nanoparticles after they have first been aligned using an external activation magnetic field that has subsequently been switched off. This work applies techniques of Bayesian optimal experimental design to… ▽ More The aim of magnetorelaxometry imaging is to determine the distribution of magnetic nanoparticles inside a subject by measuring the relaxation of the superposition magnetic field generated by the nanoparticles after they have first been aligned using an external activation magnetic field that has subsequently been switched off. This work applies techniques of Bayesian optimal experimental design to (sequentially) selecting the positions for the activation coil in order to increase the value of data and enable more accurate reconstructions in a simplified measurement setup. Both Gaussian and total variation prior models are considered for the distribution of the nanoparticles. The former allows simultaneous offline computation of optimized designs for multiple consecutive activations, while the latter introduces adaptability into the algorithm by using previously measured data in choosing the position of the next activation. The total variation prior has a desirable edge-enhancing characteristic, but with the downside that the computationally attractive Gaussian form of the posterior density is lost. To overcome this challenge, the lagged diffusivity iteration is used to provide an approximate Gaussian posterior model and allow the use of the standard Bayesian A- and D-optimality criteria for the total variation prior as well. Two-dimensional numerical experiments are performed on a few sample targets, with the conclusion that the optimized activation positions lead, in general, to better reconstructions than symmetric reference setups when the target distribution or region of interest are nonsymmetric in shape. △ Less

Submitted 31 May, 2023; originally announced May 2023.

Comments: 23 pages, 9 figures

MSC Class: 45Q05; 62K05; 62F15; 65F10; 65F22; 78A46

Bayesian Posterior Perturbation Analysis with Integral Probability Metrics

Authors: Alfredo Garbuno-Inigo, Tapio Helin, Franca Hoffmann, Bamdad Hosseini

Abstract: In recent years, Bayesian inference in large-scale inverse problems found in science, engineering and machine learning has gained significant attention. This paper examines the robustness of the Bayesian approach by analyzing the stability of posterior measures in relation to perturbations in the likelihood potential and the prior measure. We present new stability results using a family of integra… ▽ More In recent years, Bayesian inference in large-scale inverse problems found in science, engineering and machine learning has gained significant attention. This paper examines the robustness of the Bayesian approach by analyzing the stability of posterior measures in relation to perturbations in the likelihood potential and the prior measure. We present new stability results using a family of integral probability metrics (divergences) akin to dual problems that arise in optimal transport. Our results stand out from previous works in three directions: (1) We construct new families of integral probability metrics that are adapted to the problem at hand; (2) These new metrics allow us to study both likelihood and prior perturbations in a convenient way; and (3) our analysis accommodates likelihood potentials that are only locally Lipschitz, making them applicable to a wide range of nonlinear inverse problems. Our theoretical findings are further reinforced through specific and novel examples where the approximation rates of posterior measures are obtained for different types of perturbations and provide a path towards the convergence analysis of recently adapted machine learning techniques for Bayesian inverse problems such as data-driven priors and neural network surrogates. △ Less

Submitted 2 March, 2023; originally announced March 2023.

Introduction To Gaussian Process Regression In Bayesian Inverse Problems, With New ResultsOn Experimental Design For Weighted Error Measures

Authors: Tapio Helin, Andrew Stuart, Aretha Teckentrup, Konstantinos Zygalakis

Abstract: Bayesian posterior distributions arising in modern applications, including inverse problems in partial differential equation models in tomography and subsurface flow, are often computationally intractable due to the large computational cost of evaluating the data likelihood. To alleviate this problem, we consider using Gaussian process regression to build a surrogate model for the likelihood, resu… ▽ More Bayesian posterior distributions arising in modern applications, including inverse problems in partial differential equation models in tomography and subsurface flow, are often computationally intractable due to the large computational cost of evaluating the data likelihood. To alleviate this problem, we consider using Gaussian process regression to build a surrogate model for the likelihood, resulting in an approximate posterior distribution that is amenable to computations in practice. This work serves as an introduction to Gaussian process regression, in particular in the context of building surrogate models for inverse problems, and presents new insights into a suitable choice of training points. We show that the error between the true and approximate posterior distribution can be bounded by the error between the true and approximate likelihood, measured in the $L^2$-norm weighted by the true posterior, and that efficiently bounding the error between the true and approximate likelihood in this norm suggests choosing the training points in the Gaussian process surrogate model based on the true posterior. △ Less

Submitted 9 February, 2023; originally announced February 2023.

Least squares approximations in linear statistical inverse learning problems

Authors: Tapio Helin

Abstract: Statistical inverse learning aims at recovering an unknown function $f$ from randomly scattered and possibly noisy point evaluations of another function $g$, connected to $f$ via an ill-posed mathematical model. In this paper we blend statistical inverse learning theory with the classical regularization strategy of applying finite-dimensional projections. Our key finding is that coupling the numbe… ▽ More Statistical inverse learning aims at recovering an unknown function $f$ from randomly scattered and possibly noisy point evaluations of another function $g$, connected to $f$ via an ill-posed mathematical model. In this paper we blend statistical inverse learning theory with the classical regularization strategy of applying finite-dimensional projections. Our key finding is that coupling the number of random point evaluations with the choice of projection dimension, one can derive probabilistic convergence rates for the reconstruction error of the maximum likelihood (ML) estimator. Convergence rates in expectation are derived with a ML estimator complemented with a norm-based cut-off operation. Moreover, we prove that the obtained rates are minimax optimal. △ Less

Submitted 19 January, 2024; v1 submitted 22 November, 2022; originally announced November 2022.

Comments: 23 pages

MSC Class: 62G08; 62G20; 65J20; 68Q32

Stability estimates for the expected utility in Bayesian optimal experimental design

Authors: Duc-Lam Duong, Tapio Helin, Jose Rodrigo Rojo-Garcia

Abstract: We study stability properties of the expected utility function in Bayesian optimal experimental design. We provide a framework for this problem in a non-parametric setting and prove a convergence rate of the expected utility with respect to a likelihood perturbation. This rate is uniform over the design space and its sharpness in the general setting is demonstrated by proving a lower bound in a sp… ▽ More We study stability properties of the expected utility function in Bayesian optimal experimental design. We provide a framework for this problem in a non-parametric setting and prove a convergence rate of the expected utility with respect to a likelihood perturbation. This rate is uniform over the design space and its sharpness in the general setting is demonstrated by proving a lower bound in a special case. To make the problem more concrete we proceed by considering non-linear Bayesian inverse problems with Gaussian likelihood and prove that the assumptions set out for the general case are satisfied and regain the stability of the expected utility with respect to perturbations to the observation map. Theoretical convergence rates are demonstrated numerically in three different examples. △ Less

Submitted 3 November, 2023; v1 submitted 8 November, 2022; originally announced November 2022.

Comments: 21 pages; 6 figures

MSC Class: 62K05; 62G20; 65J22

Journal ref: Inverse Problems 39 125008 (2023)

LBT SOUL data as a science test bench for MICADO PSF-R tool

Authors: Matteo Simioni, Carmelo Arcidiacono, Roland Wagner, Andrea Grazian, Marco Gullieuszik, Elisa Portaluri, Benedetta Vulcani, Anita Zanella, Guido Agapito, Richard Davies, Tapio Helin, Fernando Pedichini, Roberto Piazzesi, Enrico Pinna, Ronny Ramlau, Fabio Rossi, Aleksi Salo

Abstract: Current state-of-the-art adaptive optics (AO) provides ground-based, diffraction-limited observations with high Strehl ratios (SR). However, a detailed knowledge of the point spread function (PSF) is required to fully exploit the scientific potential of these data. This is even more crucial for the next generation AO instruments that will equip 30-meter class telescopes, as the characterization of… ▽ More Current state-of-the-art adaptive optics (AO) provides ground-based, diffraction-limited observations with high Strehl ratios (SR). However, a detailed knowledge of the point spread function (PSF) is required to fully exploit the scientific potential of these data. This is even more crucial for the next generation AO instruments that will equip 30-meter class telescopes, as the characterization of the PSF will be mandatory to fulfill the planned scientific requirements. For this reason, there is a growing interest in develo** tools that accurately reconstruct the observed PSF of AO systems, the so-called PSF reconstruction. In this context, a PSF-R service is a planned deliverable for the MICADO@ELT instrument and our group is in charge of its development. In the case of MICADO, a blind PSF-R approach is being pursued to have the widest applicability to science cases. This means that the PSF is reconstructed without extracting information from the science data, relying only on telemetry and calibrations. While our PSF-R algorithm is currently being developed, its implementation is mature enough to test performances with actual observations. In this presentation we will discuss the reliability of our reconstructed PSFs and the uncertainties introduced in the measurements of scientific quantities for bright, on-axis observations taken with the SOUL+LUCI instrument of the LBT. This is the first application of our algorithm to real data. It demonstrates its readiness level and paves the way to further testing. Our PSF-R algorithm is able to reconstruct the SR and full-width at half maximum of the observed PSFs with errors smaller than 2% and 4.5%, respectively. We carried out the scientific evaluation of the obtained reconstructed PSFs thanks to a dedicated set of simulated observations of an ideal science case. △ Less

Submitted 7 September, 2022; originally announced September 2022.

Comments: 10 pages, 3 figures. Proceeding of the SPIE conference Adaptive Optics Systems VIII, SPIE Astronomical Telescopes + Instrumentation 2022 (paper 12185-12). arXiv admin note: substantial text overlap with arXiv:2209.01563

Status of the PSF Reconstruction Work Package for MICADO ELT

Authors: Andrea Grazian, Matteo Simioni, Carmelo Arcidiacono, Jani Achren, Yann Clenet, Yixian Cao, Richard Davies, Marco Gullieuszik, Tapio Helin, Daniel Jodlbauer, Hanindyo Kuncarayakti, Miska Le Louarn, Seppo Mattila, Fernando Pedichini, Roberto Piazzesi, Elisa Portaluri, Aleksi Salo, Gijs Verdoes Kleijn, Benedetta Vulcani, Roland Wagner, Steven Williams, Anita Zanella, Werner W. Zeilinger

Abstract: MICADO is a workhorse instrument for the ESO ELT, allowing first light capability for diffraction limited imaging and long-slit spectroscopy at near-infrared wavelengths. The PSF Reconstruction (PSF-R) Team of MICADO is currently implementing, for the first time within all ESO telescopes, a software service devoted to the blind reconstruction of the PSF. This tool will work independently of the sc… ▽ More MICADO is a workhorse instrument for the ESO ELT, allowing first light capability for diffraction limited imaging and long-slit spectroscopy at near-infrared wavelengths. The PSF Reconstruction (PSF-R) Team of MICADO is currently implementing, for the first time within all ESO telescopes, a software service devoted to the blind reconstruction of the PSF. This tool will work independently of the science data, using adaptive optics telemetry data, both for Single Conjugate (SCAO) and Multi-Conjugate Adaptive Optics (MCAO) allowed by the MORFEO module. The PSF-R service will support the state-of-the-art post-processing scientific analysis of the MICADO imaging and spectroscopic data. We provide here an update of the status of the PSF-R service tool of MICADO, after successfully fulfilling the Final Design Review phase, and discuss recent results obtained on simulated and real data gathered on instruments similar to MICADO. △ Less

Submitted 16 September, 2022; v1 submitted 7 September, 2022; originally announced September 2022.

Comments: to appear in the Proceedings 12185-149 of the SPIE conference Adaptive Optics Systems VIII, Astronomical Telescopes+Instrumentation 2022 Montreal, Quebec, Canada; 6 pages, 1 figure, 1 table; updated affiliations

Point spread function reconstruction for SOUL+LUCI LBT data

Authors: Matteo Simioni, Carmelo Arcidiacono, Roland Wagner, Andrea Grazian, Marco Gullieuszik, Elisa Portaluri, Benedetta Vulcani, Anita Zanella, Guido Agapito, Richard Davies, Tapio Helin, Fernando Pedichini, Roberto Piazzesi, Enrico Pinna, Ronny Ramlau, Fabio Rossi, Aleksi Salo

Abstract: This paper presents the status of an ongoing project aimed at develo** a PSF reconstruction software for adaptive optics (AO) observations. In particular, we test for the first time the implementation of pyramid wave-front sensor data on our algorithms. As a first step in assessing its reliability, we applied the software to bright, on-axis, point-like sources using two independent sets of obser… ▽ More This paper presents the status of an ongoing project aimed at develo** a PSF reconstruction software for adaptive optics (AO) observations. In particular, we test for the first time the implementation of pyramid wave-front sensor data on our algorithms. As a first step in assessing its reliability, we applied the software to bright, on-axis, point-like sources using two independent sets of observations, acquired with the single-conjugated AO upgrade for the Large Binocular Telescope. Using only telemetry data, we reconstructed the PSF by carefully calibrating the instrument response. The accuracy of the results has been first evaluated using the classical metric: specifically, the reconstructed PSFs differ from the observed ones by less than 2% in Strehl ratio and 4.5% in full-width at half maximum. Moreover, the recovered encircled energy associated with the PSF core is accurate at 4% level in the worst case. The accuracy of the reconstructed PSFs has then been evaluated by considering an idealized scientific test-case consisting in the measurements of the morphological parameters of a compact galaxy. In the future, our project will include the analysis of anisoplanatism, low SNR regimes, and the application to multi-conjugated AO observations. △ Less

Submitted 4 September, 2022; originally announced September 2022.

Comments: 22 pages, 8 figures. Accepted for publication in Journal of Astronomical Telescopes, Instruments, and Systems

Towards on-sky adaptive optics control using reinforcement learning

Authors: J. Nousiainen, C. Rajani, M. Kasper, T. Helin, S. Y. Haffert, C. Vérinaud, J. R. Males, K. Van Gorkom, L. M. Close, J. D. Long, A. D. Hedglen, O. Guyon, L. Schatz, M. Kautz, J. Lumbres, A. Rodack, J. M. Knight, K. Miller

Abstract: The direct imaging of potentially habitable Exoplanets is one prime science case for the next generation of high contrast imaging instruments on ground-based extremely large telescopes. To reach this demanding science goal, the instruments are equipped with eXtreme Adaptive Optics (XAO) systems which will control thousands of actuators at a framerate of kilohertz to several kilohertz. Most of the… ▽ More The direct imaging of potentially habitable Exoplanets is one prime science case for the next generation of high contrast imaging instruments on ground-based extremely large telescopes. To reach this demanding science goal, the instruments are equipped with eXtreme Adaptive Optics (XAO) systems which will control thousands of actuators at a framerate of kilohertz to several kilohertz. Most of the habitable exoplanets are located at small angular separations from their host stars, where the current XAO systems' control laws leave strong residuals.Current AO control strategies like static matrix-based wavefront reconstruction and integrator control suffer from temporal delay error and are sensitive to mis-registration, i.e., to dynamic variations of the control system geometry. We aim to produce control methods that cope with these limitations, provide a significantly improved AO correction and, therefore, reduce the residual flux in the coronagraphic point spread function. We extend previous work in Reinforcement Learning for AO. The improved method, called PO4AO, learns a dynamics model and optimizes a control neural network, called a policy. We introduce the method and study it through numerical simulations of XAO with Pyramid wavefront sensing for the 8-m and 40-m telescope aperture cases. We further implemented PO4AO and carried out experiments in a laboratory environment using MagAO-X at the Steward laboratory. PO4AO provides the desired performance by improving the coronagraphic contrast in numerical simulations by factors 3-5 within the control region of DM and Pyramid WFS, in simulation and in the laboratory. The presented method is also quick to train, i.e., on timescales of typically 5-10 seconds, and the inference time is sufficiently small (< ms) to be used in real-time control for XAO with currently available hardware even for extremely large telescopes. △ Less

Submitted 16 May, 2022; originally announced May 2022.

Journal ref: A&A 664, A71 (2022)

Adaptive Optics control using Model-Based Reinforcement Learning

Authors: Jalo Nousiainen, Chang Rajani, Markus Kasper, Tapio Helin

Abstract: Reinforcement Learning (RL) presents a new approach for controlling Adaptive Optics (AO) systems for Astronomy. It promises to effectively cope with some aspects often hampering AO performance such as temporal delay or calibration errors. We formulate the AO control loop as a model-based RL problem (MBRL) and apply it in numerical simulations to a simple Shack-Hartmann Sensor (SHS) based AO system… ▽ More Reinforcement Learning (RL) presents a new approach for controlling Adaptive Optics (AO) systems for Astronomy. It promises to effectively cope with some aspects often hampering AO performance such as temporal delay or calibration errors. We formulate the AO control loop as a model-based RL problem (MBRL) and apply it in numerical simulations to a simple Shack-Hartmann Sensor (SHS) based AO system with 24 resolution elements across the aperture. The simulations show that MBRL controlled AO predicts the temporal evolution of turbulence and adjusts to mis-registration between deformable mirror and SHS which is a typical calibration issue in AO. The method learns continuously on timescales of some seconds and is therefore capable of automatically adjusting to changing conditions. △ Less

Submitted 28 April, 2021; originally announced April 2021.

Comments: Accepted for publication in Optics Express

Edge-promoting adaptive Bayesian experimental design for X-ray imaging

Authors: Tapio Helin, Nuutti Hyvönen, Juha-Pekka Puska

Abstract: This work considers sequential edge-promoting Bayesian experimental design for (discretized) linear inverse problems, exemplified by X-ray tomography. The process of computing a total variation type reconstruction of the absorption inside the imaged body via lagged diffusivity iteration is interpreted in the Bayesian framework. Assuming a Gaussian additive noise model, this leads to an approximate… ▽ More This work considers sequential edge-promoting Bayesian experimental design for (discretized) linear inverse problems, exemplified by X-ray tomography. The process of computing a total variation type reconstruction of the absorption inside the imaged body via lagged diffusivity iteration is interpreted in the Bayesian framework. Assuming a Gaussian additive noise model, this leads to an approximate Gaussian posterior with a covariance structure that contains information on the location of edges in the posterior mean. The next projection geometry is then chosen through A-optimal Bayesian design, which corresponds to minimizing the trace of the updated posterior covariance matrix that accounts for the new projection. Two and three-dimensional numerical examples based on simulated data demonstrate the functionality of the introduced approach. △ Less

Submitted 1 April, 2021; originally announced April 2021.

Comments: 21 pages, 9 figures

MSC Class: 62K05; 65F22

PCS -- A Roadmap for Exoearth Imaging with the ELT

Authors: Markus Kasper, Nelly Cerpa Urra, Prashant Pathak, Markus Bonse, Jalo Nousiainen, Byron Engler, Cédric Taïssir Heritier, Jens Kammerer, Serban Leveratto, Chang Rajani, Paul Bristow, Miska Le Louarn, Pierre-Yves Madec, Stefan Ströbele, Christophe Verinaud, Adrian Glauser, Sascha P. Quanz, Tapio Helin, Christoph Keller, Frans Snik, Anthony Boccaletti, Gaël Chauvin, David Mouillet, Caroline Kulcsár, Henri-François Raynaud

Abstract: The Planetary Camera and Spectrograph (PCS) for the Extremely Large Telescope (ELT) will be dedicated to detecting and characterising nearby exoplanets with sizes from sub-Neptune to Earth-size in the neighbourhood of the Sun. This goal is achieved by a combination of eXtreme Adaptive Optics (XAO), coronagraphy and spectroscopy. PCS will allow us not only to take images, but also to look for biosi… ▽ More The Planetary Camera and Spectrograph (PCS) for the Extremely Large Telescope (ELT) will be dedicated to detecting and characterising nearby exoplanets with sizes from sub-Neptune to Earth-size in the neighbourhood of the Sun. This goal is achieved by a combination of eXtreme Adaptive Optics (XAO), coronagraphy and spectroscopy. PCS will allow us not only to take images, but also to look for biosignatures such as molecular oxygen in the exoplanets' atmospheres. This article describes the PCS primary science goals, the instrument concept and the research and development activities that will be carried out over the coming years. △ Less

Submitted 20 March, 2021; originally announced March 2021.

Comments: 6 pages, 6 figures

Journal ref: The Messenger 182, 2021

Convex regularization in statistical inverse learning problems

Authors: Tatiana A. Bubba, Martin Burger, Tapio Helin, Luca Ratti

Abstract: We consider a statistical inverse learning problem, where the task is to estimate a function $f$ based on noisy point evaluations of $Af$, where $A$ is a linear operator. The function $Af$ is evaluated at i.i.d. random design points $u_n$, $n=1,...,N$ generated by an unknown general probability distribution. We consider Tikhonov regularization with general convex and $p$-homogeneous penalty functi… ▽ More We consider a statistical inverse learning problem, where the task is to estimate a function $f$ based on noisy point evaluations of $Af$, where $A$ is a linear operator. The function $Af$ is evaluated at i.i.d. random design points $u_n$, $n=1,...,N$ generated by an unknown general probability distribution. We consider Tikhonov regularization with general convex and $p$-homogeneous penalty functionals and derive concentration rates of the regularized solution to the ground truth measured in the symmetric Bregman distance induced by the penalty functional. We derive concrete rates for Besov norm penalties and numerically demonstrate the correspondence with the observed rates in the context of X-ray tomography. △ Less

Submitted 1 November, 2021; v1 submitted 18 February, 2021; originally announced February 2021.

Comments: 35 pages, 4 figures

MSC Class: 62G08; 62G20; 65J22; 68Q32

Non-asymptotic error estimates for the Laplace approximation in Bayesian inverse problems

Authors: Tapio Helin, Remo Kretschmann

Abstract: In this paper we study properties of the Laplace approximation of the posterior distribution arising in nonlinear Bayesian inverse problems. Our work is motivated by Schillings et al. (2020), where it is shown that in such a setting the Laplace approximation error in Hellinger distance converges to zero in the order of the noise level. Here, we prove novel error estimates for a given noise level t… ▽ More In this paper we study properties of the Laplace approximation of the posterior distribution arising in nonlinear Bayesian inverse problems. Our work is motivated by Schillings et al. (2020), where it is shown that in such a setting the Laplace approximation error in Hellinger distance converges to zero in the order of the noise level. Here, we prove novel error estimates for a given noise level that also quantify the effect due to the nonlinearity of the forward map** and the dimension of the problem. In particular, we are interested in settings in which a linear forward map** is perturbed by a small nonlinear map**. Our results indicate that in this case, the Laplace approximation error is of the size of the perturbation. The paper provides insight into Bayesian inference in nonlinear inverse problems, where linearization of the forward map** has suitable approximation properties. △ Less

Submitted 27 October, 2021; v1 submitted 11 December, 2020; originally announced December 2020.

MSC Class: 47J06; 62E17; 62E20; 62F15; 65D30; 65D32; 65J20; 65J22

Journal ref: Numerische Mathematik 150 (2022), 521-549

MICADO PSF-Reconstruction work package description

Authors: Matteo Simioni, Carmelo Arcidiacono, Andrea Grazian, Yann Clenet, Richard Davies, Marco Gullieuszik, Gijs Verdoes Kleijn, Fernando Pedichini, Roland Wagner, Ronny Ramlau, Werner W. Zeilinger, Fabrice Vidal, Benedetta Vulcani, Roberto Ragazzoni, Arnaud Sevin, Bernardo Salasnich, Andrea Baruffolo, Lorenzo Busoni, Simone Esposito, Éric Gendron, Roberto Piazzesi, Elisa Portaluri, Anita Zanella, Tapio Helin, Hanindyo Kuncarayakti , et al. (3 additional authors not shown)

Abstract: The point spread function reconstruction (PSF-R) capability is a deliverable of the MICADO@ESO-ELT project. The PSF-R team works on the implementation of the instrument software devoted to reconstruct the point spread function (PSF), independently of the science data, using adaptive optics (AO) telemetry data, both for Single Conjugate (SCAO) and Multi-Conjugate Adaptive Optics (MCAO) mode of the… ▽ More The point spread function reconstruction (PSF-R) capability is a deliverable of the MICADO@ESO-ELT project. The PSF-R team works on the implementation of the instrument software devoted to reconstruct the point spread function (PSF), independently of the science data, using adaptive optics (AO) telemetry data, both for Single Conjugate (SCAO) and Multi-Conjugate Adaptive Optics (MCAO) mode of the MICADO camera and spectrograph. The PSF-R application will provide reconstructed PSFs through an archive querying system to restore the telemetry data synchronous to each science frame that MICADO will generate. Eventually, the PSF-R software will produce the output according to user specifications. The PSF-R service will support the state-of-the-art scientific analysis of the MICADO imaging and spectroscopic data. △ Less

Submitted 9 December, 2020; originally announced December 2020.

Comments: 10 pages, 2 figures. Proceeding of the SPIE conference Adaptive Optics Systems VII, SPIE Astronomical Telescopes + Instrumentation 2020 Digital Forum, 14-18 December 2020 (paper 11448-169)

Fuel rod classification from Passive Gamma Emission Tomography (PGET) of spent nuclear fuel assemblies

Authors: Riina Virta, Rasmus Backholm, Tatiana A. Bubba, Tapio Helin, Mikael Moring, Samuli Siltanen, Peter Dendooven, Tapani Honkamaa

Abstract: Safeguarding the disposal of spent nuclear fuel in a geological repository needs an effective, efficient, reliable and robust non-destructive assay (NDA) system to ensure the integrity of the fuel prior to disposal. In the context of the Finnish geological repository, Passive Gamma Emission Tomography (PGET) will be a part of such an NDA system. We report here on the results of PGET measurements a… ▽ More Safeguarding the disposal of spent nuclear fuel in a geological repository needs an effective, efficient, reliable and robust non-destructive assay (NDA) system to ensure the integrity of the fuel prior to disposal. In the context of the Finnish geological repository, Passive Gamma Emission Tomography (PGET) will be a part of such an NDA system. We report here on the results of PGET measurements at the Finnish nuclear power plants during the years 2017-2020. Gamma activity profiles are recorded from all angles by rotating the detector arrays around the fuel assembly that has been inserted into the center of the torus. Image reconstruction from the resulting tomographic data is defined as a constrained minimization problem with a data fidelity term and regularization terms. The activity and attenuation maps, as well as detector sensitivity corrections, are the variables in the minimization process. The regularization terms ensure that prior information on the (possible) locations of fuel rods and their diameter are taken into account. Fuel rod classification, the main purpose of the PGET method, is based on the difference of the activity of a fuel rod from its immediate neighbors, taking into account its distance from the assembly center. The classification is carried out by a support vector machine. We report on the results for ten different fuel types with burnups between 5.72 and 55.0 GWd/tU, cooling times between 1.87 and 34.6 years and initial enrichments between 1.9 and 4.4%. For all fuel assemblies measured, missing fuel rods, partial fuel rods and water channels were correctly classified. Burnable absorber fuel rods were classified as fuel rods. On rare occasions, a fuel rod that is present was falsely classified as missing. We conclude that the combination of the PGET device and our image reconstruction method provides a reliable base for fuel rod classification. △ Less

Submitted 24 September, 2020; originally announced September 2020.

Comments: 14 pages, 12 figures, 1 table

Sequentially optimized projections in X-ray imaging

Authors: Martin Burger, Andreas Hauptmann, Tapio Helin, Nuutti Hyvönen, Juha-Pekka Puska

Abstract: This work applies Bayesian experimental design to selecting optimal projection geometries in (discretized) parallel beam X-ray tomography assuming the prior and the additive noise are Gaussian. The introduced greedy exhaustive optimization algorithm proceeds sequentially, with the posterior distribution corresponding to the previous projections serving as the prior for determining the design param… ▽ More This work applies Bayesian experimental design to selecting optimal projection geometries in (discretized) parallel beam X-ray tomography assuming the prior and the additive noise are Gaussian. The introduced greedy exhaustive optimization algorithm proceeds sequentially, with the posterior distribution corresponding to the previous projections serving as the prior for determining the design parameters, i.e. the imaging angle and the lateral position of the source-receiver pair, for the next one. The algorithm allows redefining the region of interest after each projection as well as adapting parameters in the (original) prior to the measured data. Both A and D-optimality are considered, with emphasis on efficient evaluation of the corresponding objective functions. Two-dimensional numerical experiments demonstrate the functionality of the approach. △ Less

Submitted 22 June, 2020; originally announced June 2020.

Comments: 23 pages, 8 figures

MSC Class: 62K05; 65F22

Hyperparameter Estimation in Bayesian MAP Estimation: Parameterizations and Consistency

Authors: Matthew M. Dunlop, Tapio Helin, Andrew M. Stuart

Abstract: The Bayesian formulation of inverse problems is attractive for three primary reasons: it provides a clear modelling framework; means for uncertainty quantification; and it allows for principled learning of hyperparameters. The posterior distribution may be explored by sampling methods, but for many problems it is computationally infeasible to do so. In this situation maximum a posteriori (MAP) est… ▽ More The Bayesian formulation of inverse problems is attractive for three primary reasons: it provides a clear modelling framework; means for uncertainty quantification; and it allows for principled learning of hyperparameters. The posterior distribution may be explored by sampling methods, but for many problems it is computationally infeasible to do so. In this situation maximum a posteriori (MAP) estimators are often sought. Whilst these are relatively cheap to compute, and have an attractive variational formulation, a key drawback is their lack of invariance under change of parameterization. This is a particularly significant issue when hierarchical priors are employed to learn hyperparameters. In this paper we study the effect of the choice of parameterization on MAP estimators when a conditionally Gaussian hierarchical prior distribution is employed. Specifically we consider the centred parameterization, the natural parameterization in which the unknown state is solved for directly, and the noncentred parameterization, which works with a whitened Gaussian as the unknown state variable, and arises when considering dimension-robust MCMC algorithms; MAP estimation is well-defined in the nonparametric setting only for the noncentred parameterization. However, we show that MAP estimates based on the noncentred parameterization are not consistent as estimators of hyperparameters; conversely, we show that limits of finite-dimensional centred MAP estimators are consistent as the dimension tends to infinity. We also consider empirical Bayesian hyperparameter estimation, show consistency of these estimates, and demonstrate that they are more robust with respect to noise than centred MAP estimates. An underpinning concept throughout is that hyperparameters may only be recovered up to measure equivalence, a well-known phenomenon in the context of the Ornstein-Uhlenbeck process. △ Less

Submitted 10 May, 2019; originally announced May 2019.

Comments: 36 pages, 8 figures

MSC Class: 62G05; 62C10; 62G20; 45Q05

Simultaneous Reconstruction of Emission and Attenuation in Passive Gamma Emission Tomography of Spent Nuclear Fuel

Authors: Rasmus Backholm, Tatiana A. Bubba, Camille Bélanger-Champagne, Tapio Helin, Peter Dendooven, Samuli Siltanen

Abstract: The International Atomic Energy Agency (IAEA) has recently approved passive gamma emission tomography (PGET) as a method for inspecting spent nuclear fuel assemblies (SFAs), an important aspect of international nuclear safeguards which aim at preventing the proliferation of nuclear weapons. The PGET instrument is essentially a single photon emission computed tomography (SPECT) system that allows t… ▽ More The International Atomic Energy Agency (IAEA) has recently approved passive gamma emission tomography (PGET) as a method for inspecting spent nuclear fuel assemblies (SFAs), an important aspect of international nuclear safeguards which aim at preventing the proliferation of nuclear weapons. The PGET instrument is essentially a single photon emission computed tomography (SPECT) system that allows the reconstruction of axial cross-sections of the emission map of the SFA. The fuel material heavily self-attenuates its gamma-ray emissions, so that correctly accounting for the attenuation is a critical factor in producing accurate images. Due to the nature of the inspections, it is desirable to use as little a priori information as possible about the fuel, including the attenuation map, in the reconstruction process. Current reconstruction methods either do not correct for attenuation, assume a uniform attenuation throughout the fuel assembly, or assume an attenuation map based on an initial filtered back projection (FBP) reconstruction. Here, we propose a method to simultaneously reconstruct the emission and attenuation maps by formulating the reconstruction as a constrained minimization problem with a least squares data fidelity term and regularization terms. Using simulated data, we compare the proposed method to FBP, showing that our approach produces significantly better reconstructions by various numerical metrics and a much better classification of spent, missing, and fresh fuel rods. △ Less

Submitted 17 April, 2019; originally announced May 2019.

Comments: 21 pages, 9 figures

Inverse problems for heat equation and space-time fractional diffusion equation with one measurement

Authors: Tapio Helin, Matti Lassas, Lauri Ylinen, Zhidong Zhang

Abstract: Given a connected compact Riemannian manifold $(M,g)$ without boundary, $\dim M\ge 2$, we consider a space--time fractional diffusion equation with an interior source that is supported on an open subset $V$ of the manifold. The time-fractional part of the equation is given by the Caputo derivative of order $α\in(0,1]$, and the space fractional part by $(-Δ_g)^β$, where $β\in(0,1]$ and $Δ_g$ is the… ▽ More Given a connected compact Riemannian manifold $(M,g)$ without boundary, $\dim M\ge 2$, we consider a space--time fractional diffusion equation with an interior source that is supported on an open subset $V$ of the manifold. The time-fractional part of the equation is given by the Caputo derivative of order $α\in(0,1]$, and the space fractional part by $(-Δ_g)^β$, where $β\in(0,1]$ and $Δ_g$ is the Laplace--Beltrami operator on the manifold. The case $α=β=1$, which corresponds to the standard heat equation on the manifold, is an important special case. We construct a specific source such that measuring the evolution of the corresponding solution on $V$ determines the manifold up to a Riemannian isometry. △ Less

Submitted 11 March, 2019; originally announced March 2019.

Comments: 34 pages, 1 figure

MSC Class: 35R11; 35R30

Inverse random source problems for time-harmonic acoustic and elastic waves

Authors: Jianliang Li, Tapio Helin, Peijun Li

Abstract: This paper concerns the random source problems for the time-harmonic acoustic and elastic wave equations in two and three dimensions. The goal is to determine the compactly supported external force from the radiated wave field measured in a domain away from the source region. The source is assumed to be a microlocally isotropic generalized Gaussian random function such that its covariance operator… ▽ More This paper concerns the random source problems for the time-harmonic acoustic and elastic wave equations in two and three dimensions. The goal is to determine the compactly supported external force from the radiated wave field measured in a domain away from the source region. The source is assumed to be a microlocally isotropic generalized Gaussian random function such that its covariance operator is a classical pseudo-differential operator. Given such a distributional source, the direct problem is shown to have a unique solution by using an integral equation approach and the Sobolev embedding theorem. For the inverse problem, we demonstrate that the amplitude of the scattering field averaged over the frequency band, obtained from a single realization of the random source, determines uniquely the principle symbol of the covariance operator. The analysis employs asymptotic expansions of the Green functions and microlocal analysis of the Fourier integral operators associated with the Helmholtz and Navier equations. △ Less

Submitted 29 November, 2018; originally announced November 2018.

Rates of contraction of posterior distributions based on $p$-exponential priors

Authors: Sergios Agapiou, Masoumeh Dashti, Tapio Helin

Abstract: We consider a family of infinite dimensional product measures with tails between Gaussian and exponential, which we call $p$-exponential measures. We study their measure-theoretic properties and in particular their concentration. Our findings are used to develop a general contraction theory of posterior distributions on nonparametric models with $p$-exponential priors in separable Banach parameter… ▽ More We consider a family of infinite dimensional product measures with tails between Gaussian and exponential, which we call $p$-exponential measures. We study their measure-theoretic properties and in particular their concentration. Our findings are used to develop a general contraction theory of posterior distributions on nonparametric models with $p$-exponential priors in separable Banach parameter spaces. Our approach builds on the general contraction theory for Gaussian process priors in van der Vaart and van Zanten 2008, namely we use prior concentration to verify prior mass and entropy conditions sufficient for posterior contraction. However, the specific concentration properties of $p$-exponential priors lead to a more complex entropy bound which can influence negatively the obtained rate of contraction, depending on the topology of the parameter space. Subject to the more complex entropy bound, we show that the rate of contraction depends on the position of the true parameter relative to a certain Banach space associated to $p$-exponential measures and on the small ball probabilities of these measures. For example, we apply our theory in the white noise model under Besov regularity of the truth and obtain minimax rates of contraction using (rescaled) $α$-regular $p$-exponential priors. In particular, our results suggest that when interested in spatially inhomogeneous unknown functions, in terms of posterior contraction, it is preferable to use Laplace rather than Gaussian priors. △ Less

Submitted 8 October, 2020; v1 submitted 29 November, 2018; originally announced November 2018.

MSC Class: 62G20; 62G05; 60G50

An inverse random source problem in a stochastic fractional diffusion equation

Authors: **** Niu, Tapio Helin, Zhidong Zhang

Abstract: In this work the authors consider an inverse source problem in the following stochastic fractional diffusion equation $$\partial_t^αu(x,t)+\mathcal{A} u(x,t)=f(x)h(t)+g(x) \dot{\mathbb{W}}(t).$$ The interested inverse problem is to reconstruct $f(x)$ and $g(x)$ by the statistics of the final time data $u(x,T).$ Some direct problem results are proved at first, such as the existence, uniqueness, rep… ▽ More In this work the authors consider an inverse source problem in the following stochastic fractional diffusion equation $$\partial_t^αu(x,t)+\mathcal{A} u(x,t)=f(x)h(t)+g(x) \dot{\mathbb{W}}(t).$$ The interested inverse problem is to reconstruct $f(x)$ and $g(x)$ by the statistics of the final time data $u(x,T).$ Some direct problem results are proved at first, such as the existence, uniqueness, representation and regularity of the solution. Then the reconstruction scheme for $f$ and $g$ is given. To tackle the ill-posedness, the Tikhonov regularization is adopted. Finally we give a regularized reconstruction algorithm and some numerical results are displayed. △ Less

Submitted 7 October, 2018; originally announced October 2018.

MSC Class: 35R11; 35R30; 65C30; 65M32; 62N15

Generalized modes in Bayesian inverse problems

Authors: Christian Clason, Tapio Helin, Remo Kretschmann, Petteri Piiroinen

Abstract: Uncertainty quantification requires efficient summarization of high- or even infinite-dimensional (i.e., non-parametric) distributions based on, e.g., suitable point estimates (modes) for posterior distributions arising from model-specific prior distributions. In this work, we consider non-parametric modes and MAP estimates for priors that do not admit continuous densities, for which previous appr… ▽ More Uncertainty quantification requires efficient summarization of high- or even infinite-dimensional (i.e., non-parametric) distributions based on, e.g., suitable point estimates (modes) for posterior distributions arising from model-specific prior distributions. In this work, we consider non-parametric modes and MAP estimates for priors that do not admit continuous densities, for which previous approaches based on small ball probabilities fail. We propose a novel definition of generalized modes based on the concept of approximating sequences, which reduce to the classical mode in certain situations that include Gaussian priors but also exist for a more general class of priors. The latter includes the case of priors that impose strict bounds on the admissible parameters and in particular of uniform priors. For uniform priors defined by random series with uniformly distributed coefficients, we show that generalized MAP estimates -- but not classical MAP estimates -- can be characterized as minimizers of a suitable functional that plays the role of a generalized Onsager--Machlup functional. This is then used to show consistency of nonlinear Bayesian inverse problems with uniform priors and Gaussian noise. △ Less

Submitted 14 January, 2019; v1 submitted 1 June, 2018; originally announced June 2018.

Journal ref: SIAM/ASA J. Uncertainty Quantification 7 (2019), 652-684

Correlation imaging in inverse scattering is tomography on probability distributions

Authors: Pedro Caro, Tapio Helin, Antti Kujanpää, Matti Lassas

Abstract: Scattering from a non-smooth random field on the time domain is studied for plane waves that propagate simultaneously through the potential in variable angles. We first derive sufficient conditions for stochastic moments of the field to be recovered from correlations between amplitude measurements of the leading singularities, detected in the exterior of a region where the potential is almost sure… ▽ More Scattering from a non-smooth random field on the time domain is studied for plane waves that propagate simultaneously through the potential in variable angles. We first derive sufficient conditions for stochastic moments of the field to be recovered from correlations between amplitude measurements of the leading singularities, detected in the exterior of a region where the potential is almost surely supported. The result is then applied to show that if two sufficiently regular random fields yield the same data, they have identical laws as function-valued random variables. △ Less

Submitted 15 May, 2018; originally announced May 2018.

Comments: 16 pages

MSC Class: 35R30; 35R60

Atmospheric turbulence profiling with unknown power spectral density

Authors: Tapio Helin, Stefan Kindermann, Jonatan Lehtonen, Ronny Ramlau

Abstract: Adaptive optics (AO) is a technology in modern ground-based optical telescopes to compensate the wavefront distortions caused by atmospheric turbulence. One method that allows to retrieve information about the atmosphere from telescope data is so-called SLODAR, where the atmospheric turbulence profile is estimated based on correlation data of Shack--Hartmann wavefront measurements. This approach r… ▽ More Adaptive optics (AO) is a technology in modern ground-based optical telescopes to compensate the wavefront distortions caused by atmospheric turbulence. One method that allows to retrieve information about the atmosphere from telescope data is so-called SLODAR, where the atmospheric turbulence profile is estimated based on correlation data of Shack--Hartmann wavefront measurements. This approach relies on a layered Kolmogorov turbulence model. In this article, we propose a novel extension of the SLODAR concept by including a general non-Kolmogorov turbulence layer close to the ground with an unknown power spectral density. We prove that the joint estimation problem of the turbulence profile above ground simultaneously with the unknown power spectral density at the ground is ill-posed and propose three numerical reconstruction methods. We demonstrate by numerical simulations that our methods lead to substantial improvements in the turbulence profile reconstruction, compared to standard SLODAR-type approach. Also, our methods can accurately locate local perturbations in non-Kolmogorov power spectral densities. △ Less

Submitted 13 February, 2018; v1 submitted 7 July, 2017; originally announced July 2017.

Comments: 34 pages, 11 figures, submitted to Inverse Problems

MSC Class: 45Q05; 65F22; 65R32; 85-08; 85A35

A Variational Reconstruction Method for Undersampled Dynamic X-ray Tomography based on Physical Motion Models

Authors: Martin Burger, Hendrik Dirks, Lena Frerking, Andreas Hauptmann, Tapio Helin, Samuli Siltanen

Abstract: In this paper we study the reconstruction of moving object densities from undersampled dynamic X-ray tomography in two dimensions. A particular motivation of this study is to use realistic measurement protocols for practical applications, i.e. we do not assume to have a full Radon transform in each time step, but only projections in few angular directions. This restriction enforces a space-time re… ▽ More In this paper we study the reconstruction of moving object densities from undersampled dynamic X-ray tomography in two dimensions. A particular motivation of this study is to use realistic measurement protocols for practical applications, i.e. we do not assume to have a full Radon transform in each time step, but only projections in few angular directions. This restriction enforces a space-time reconstruction, which we perform by incorporating physical motion models and regularization of motion vectors in a variational framework. The methodology of optical flow, which is one of the most common methods to estimate motion between two images, is utilized to formulate a joint variational model for reconstruction and motion estimation. We provide a basic mathematical analysis of the forward model and the variational model for the image reconstruction. Moreover, we discuss the efficient numerical minimization based on alternating minimizations between images and motion vectors. A variety of results are presented for simulated and real measurement data with different sampling strategy. A key observation is that random sampling combined with our model allows reconstructions of similar amount of measurements and quality as a single static reconstruction. △ Less

Submitted 17 May, 2017; originally announced May 2017.

MSC Class: 15A29; 94A08; 65K10

Journal ref: Inverse Problems, Volume 33, Number 12, 124008 (2017)

Sparsity-promoting and edge-preserving maximum a posteriori estimators in non-parametric Bayesian inverse problems

Authors: Sergios Agapiou, Martin Burger, Masoumeh Dashti, Tapio Helin

Abstract: We consider the inverse problem of recovering an unknown functional parameter $u$ in a separable Banach space, from a noisy observation $y$ of its image through a known possibly non-linear ill-posed map ${\mathcal G}$. The data $y$ is finite-dimensional and the noise is Gaussian. We adopt a Bayesian approach to the problem and consider Besov space priors (see Lassas et al. 2009), which are well-kn… ▽ More We consider the inverse problem of recovering an unknown functional parameter $u$ in a separable Banach space, from a noisy observation $y$ of its image through a known possibly non-linear ill-posed map ${\mathcal G}$. The data $y$ is finite-dimensional and the noise is Gaussian. We adopt a Bayesian approach to the problem and consider Besov space priors (see Lassas et al. 2009), which are well-known for their edge-preserving and sparsity-promoting properties and have recently attracted wide attention especially in the medical imaging community. Our key result is to show that in this non-parametric setup the maximum a posteriori (MAP) estimates are characterized by the minimizers of a generalized Onsager--Machlup functional of the posterior. This is done independently for the so-called weak and strong MAP estimates, which as we show coincide in our context. In addition, we prove a form of weak consistency for the MAP estimators in the infinitely informative data limit. Our results are remarkable for two reasons: first, the prior distribution is non-Gaussian and does not meet the smoothness conditions required in previous research on non-parametric MAP estimates. Second, the result analytically justifies existing uses of the MAP estimate in finite but high dimensional discretizations of Bayesian inverse problems with the considered Besov priors. △ Less

Submitted 23 May, 2017; v1 submitted 9 May, 2017; originally announced May 2017.

Comments: 36 pages, some typos corrected, acknowledgements added

MSC Class: 49N45; 62C10; 62G05; 62G20

Correlation based passive imaging with a white noise source

Authors: Tapio Helin, Matti Lassas, Lauri Oksanen, Teemu Saksala

Abstract: Passive imaging refers to problems where waves generated by unknown sources are recorded and used to image the medium through which they travel. The sources are typically modelled as a random variable and it is assumed that some statistical information is available. In this paper we study the stochastic wave equation $\partial_t^2 u - Δ_g u = χW$, where $W$ is a random variable with the white nois… ▽ More Passive imaging refers to problems where waves generated by unknown sources are recorded and used to image the medium through which they travel. The sources are typically modelled as a random variable and it is assumed that some statistical information is available. In this paper we study the stochastic wave equation $\partial_t^2 u - Δ_g u = χW$, where $W$ is a random variable with the white noise statistics on ${\mathbb R}^{1+n}$, $n \ge 3$, $χ$ is a smooth function vanishing for negative times and outside a compact set in space, and $Δ_g$ is the Laplace-Beltrami operator associated to a smooth non-trap** Riemannian metric tensor $g$ on ${\mathbb R}^n$. The metric tensor $g$ models the medium to be imaged, and we assume that it coincides with the Euclidean metric outside a compact set. We consider the empirical correlations on an open set $\mathcal X \subset {\mathbb R}^n$, $$ C_T(t_1, x_1, t_2, x_2) = \frac 1 T \int_0^T u(t_1+s,x_1) u(t_2+s,x_2) ds, \quad t_1,t_2>0,\ x_1,x_2\in \mathcal X, $$ for $T>0$. Supposing that $χ$ is non-zero on $\mathcal X$ and constant in time after $t > 1$, we show that in the limit $T \to \infty$, the data $C_T$ becomes statistically stable, that is, independent of the realization of $W$. Our main result is that, with probability one, this limit determines the Riemannian manifold $({\mathbb R}^n,g)$ up to an isometry. To our knowledge, this is the first result showing that a medium can be determined in a passive imaging setting, without assuming a separation of scales. △ Less

Submitted 4 November, 2016; v1 submitted 26 September, 2016; originally announced September 2016.

MSC Class: 35R30

Inverse scattering for a random potential

Authors: Pedro Caro, Tapio Helin, Matti Lassas

Abstract: In this paper we consider an inverse problem for the $n$-dimensional random Schrödinger equation $(Δ-q+k^2)u = 0$. We study the scattering of plane waves in the presence of a potential $q$ which is assumed to be a Gaussian random function such that its covariance is described by a pseudodifferential operator. Our main result is as follows: given the backscattered far field, obtained from a single… ▽ More In this paper we consider an inverse problem for the $n$-dimensional random Schrödinger equation $(Δ-q+k^2)u = 0$. We study the scattering of plane waves in the presence of a potential $q$ which is assumed to be a Gaussian random function such that its covariance is described by a pseudodifferential operator. Our main result is as follows: given the backscattered far field, obtained from a single realization of the random potential $q$, we uniquely determine the principal symbol of the covariance operator of $q$. Especially, for $n=3$ this result is obtained for the full non-linear inverse backscattering problem. Finally, we present a physical scaling regime where the method is of practical importance. △ Less

Submitted 12 July, 2016; v1 submitted 27 May, 2016; originally announced May 2016.

Comments: Previous version 48 pages; Current version 51 pages, 3 figures, several references have been added

Large Noise in Variational Regularization

Authors: Martin Burger, Tapio Helin, Hanne Kekkonen

Abstract: In this paper we consider variational regularization methods for inverse problems with large noise that is in general unbounded in the image space of the forward operator. We introduce a Banach space setting that allows to define a reasonable notion of solutions for more general noise in a larger space provided one has sufficient map** properties of the forward operators. A key observation, wh… ▽ More In this paper we consider variational regularization methods for inverse problems with large noise that is in general unbounded in the image space of the forward operator. We introduce a Banach space setting that allows to define a reasonable notion of solutions for more general noise in a larger space provided one has sufficient map** properties of the forward operators. A key observation, which guides us through the subsequent analysis, is that such a general noise model can be understood with the same setting as approximate source conditions (while a standard model of bounded noise is related directly to classical source conditions). Based on this insight we obtain a quite general existence result for regularized variational problems and derive error estimates in terms of Bregman distances. The latter are specialized for the particularly important cases of one- and p-homogeneous regularization functionals. As a natural further step we study stochastic noise models and in particular white noise, for which we derive error estimates in terms of the expectation of the Bregman distance. The finiteness of certain expectations leads to a novel class of abstract smoothness conditions on the forward operator, which can be easily interpreted in the Hilbert space case. We finally exemplify the approach and in particular the conditions for popular examples of regularization functionals given by squared norm, Besov norm and total variation, respectively. △ Less

Submitted 8 February, 2018; v1 submitted 1 February, 2016; originally announced February 2016.

Towards analytical model optimization in atmospheric tomography

Authors: Tapio Helin, Stefan Kindermann, Daniela Saxenhuber

Abstract: Modern ground-based telescopes rely on a technology called adaptive optics (AO) in order to compensate for the loss of image quality caused by atmospheric turbulence. Next-generation AO systems designed for a wide field of view require a stable and high-resolution reconstruction of the refractive index fluctuations in the atmosphere. By introducing a novel Bayesian method, we address the problem o… ▽ More Modern ground-based telescopes rely on a technology called adaptive optics (AO) in order to compensate for the loss of image quality caused by atmospheric turbulence. Next-generation AO systems designed for a wide field of view require a stable and high-resolution reconstruction of the refractive index fluctuations in the atmosphere. By introducing a novel Bayesian method, we address the problem of estimating an atmospheric turbulence strength profile and reconstructing the refractive index fluctuations simultaneously, where we only use wavefront measurements of incoming light from guide stars. Most importantly, we demonstrate how this method can be used for model optimization as well. We propose two different algorithms for solving the maximum a posteriori estimate: the first approach is based on alternating minimization and has the advantage of integrability into existing atmospheric tomography methods. In the second approach, we formulate a convex non-differentiable optimization problem, which is solved by an iterative thresholding method. This approach clearly illustrates the underlying sparsity-enforcing mechanism for the strength profile. By introducing a tuning/regularization parameter, an automated model reduction of the layer structure of the atmosphere is achieved. Using numerical simulations, we demonstrate the performance of our method in practice. △ Less

Submitted 23 November, 2015; originally announced November 2015.

Maximum a posteriori probability estimates in infinite-dimensional Bayesian inverse problems

Authors: Tapio Helin, Martin Burger

Abstract: A demanding challenge in Bayesian inversion is to efficiently characterize the posterior distribution. This task is problematic especially in high-dimensional non-Gaussian problems, where the structure of the posterior can be very chaotic and difficult to analyse. Current inverse problem literature often approaches the problem by considering suitable point estimators for the task. Typically the ch… ▽ More A demanding challenge in Bayesian inversion is to efficiently characterize the posterior distribution. This task is problematic especially in high-dimensional non-Gaussian problems, where the structure of the posterior can be very chaotic and difficult to analyse. Current inverse problem literature often approaches the problem by considering suitable point estimators for the task. Typically the choice is made between the maximum a posteriori (MAP) or the conditional mean (CM) estimate. The benefits of either choice are not well-understood from the perspective of infinite-dimensional theory. Most importantly, there exists no general scheme regarding how to connect the topological description of a MAP estimate to a variational problem. The results by Dashti et. al. (2013) resolve this issue for non-linear inverse problems in Gaussian framework. In this work we improve the current understanding by introducing a novel concept called the weak MAP (wMAP) estimate. We show that any MAP estimate in the sense of Dashti et. al. (2013) is a wMAP estimate and, moreover, how in general infinite-dimensional non-Gaussian problems the wMAP estimate connects to a variational formulation. Such a formulation yields many properties of the estimate that were earlier impossible to study. In a recent work by Burger and Lucka (2014) the MAP estimator was studied in the context of Bayes cost method. Using Bregman distances, proper convex Bayes cost functions were introduced for which the MAP estimator is the Bayes estimator. Here, we generalize these results to the infinite-dimensional setting. Moreover, we discuss the implications of our results for some examples of prior models such as the Besov prior and hierarchical prior. △ Less

Submitted 2 June, 2015; v1 submitted 18 December, 2014; originally announced December 2014.

Comments: 22 pages

MSC Class: 65J22; 62F15; 62C10; 65C60; 62F10

Inverse acoustic scattering problem in half-space with anisotropic random impedance

Authors: Tapio Helin, Matti Lassas, Lassi Päivärinta

Abstract: We study an inverse acoustic scattering problem in half-space with a probabilistic impedance boundary value condition. The Robin coefficient (surface impedance) is assumed to be a Gaussian random function $λ= λ(x)$ with a pseudodifferential operator describing the covariance. We measure the amplitude of the backscattered field averaged over the frequency band and assume that the data is generated… ▽ More We study an inverse acoustic scattering problem in half-space with a probabilistic impedance boundary value condition. The Robin coefficient (surface impedance) is assumed to be a Gaussian random function $λ= λ(x)$ with a pseudodifferential operator describing the covariance. We measure the amplitude of the backscattered field averaged over the frequency band and assume that the data is generated by a single realization of $λ$. Our main result is to show that under certain conditions the principal symbol of the covariance operator of $λ$ is uniquely determined. Most importantly, no approximations are needed and we can solve the full non-linear inverse problem. We concentrate on anisotropic models for the principal symbol, which leads to the analysis of a novel anisotropic spherical Radon transform and its invertibility. △ Less

Submitted 15 August, 2014; v1 submitted 9 July, 2014; originally announced July 2014.

MSC Class: 35R30; 35R60; 35P25; 82D30; 60J25

Inverse problem for the wave equation with a white noise source

Authors: Tapio Helin, Matti Lassas, Lauri Oksanen

Abstract: We consider a smooth Riemannian metric tensor $g$ on $\R^n$ and study the stochastic wave equation for the Laplace-Beltrami operator $\p_t^2 u - Δ_g u = F$. Here, $F=F(t,x,ω)$ is a random source that has white noise distribution supported on the boundary of some smooth compact domain $M \subset \R^n$. We study the following formally posed inverse problem with only one measurement. Suppose that… ▽ More We consider a smooth Riemannian metric tensor $g$ on $\R^n$ and study the stochastic wave equation for the Laplace-Beltrami operator $\p_t^2 u - Δ_g u = F$. Here, $F=F(t,x,ω)$ is a random source that has white noise distribution supported on the boundary of some smooth compact domain $M \subset \R^n$. We study the following formally posed inverse problem with only one measurement. Suppose that $g$ is known only outside of a compact subset of $M^{int}$ and that a solution $u(t,x,ω_0)$ is produced by a single realization of the source $F(t,x,ω_0)$. We ask what information regarding $g$ can be recovered by measuring $u(t,x,ω_0)$ on $\R_+ \times \p M$? We prove that such measurement together with the realization of the source determine the scattering relation of the Riemannian manifold $(M, g)$ with probability one. That is, for all geodesics passing through $M$, the travel times together with the entering and exit points and directions are determined. In particular, if $(M,g)$ is a simple Riemannian manifold and $g$ is conformally Euclidian in $M$, the measurement determines the metric $g$ in $M$. △ Less

Submitted 23 August, 2013; v1 submitted 22 August, 2013; originally announced August 2013.

Comments: 25 pages

MSC Class: 35R30

Wavelet methods in multi-conjugate adaptive optics

Authors: Tapio Helin, Mykhaylo Yudytskiy

Abstract: The next generation ground-based telescopes rely heavily on adaptive optics for overcoming the limitation of atmospheric turbulence. In the future adaptive optics modalities, like multi-conjugate adaptive optics (MCAO), atmospheric tomography is the major mathematical and computational challenge. In this severely ill-posed problem a fast and stable reconstruction algorithm is needed that can take… ▽ More The next generation ground-based telescopes rely heavily on adaptive optics for overcoming the limitation of atmospheric turbulence. In the future adaptive optics modalities, like multi-conjugate adaptive optics (MCAO), atmospheric tomography is the major mathematical and computational challenge. In this severely ill-posed problem a fast and stable reconstruction algorithm is needed that can take into account many real-life phenomena of telescope imaging. We introduce a novel reconstruction method for the atmospheric tomography problem and demonstrate its performance and flexibility in the context of MCAO. Our method is based on using locality properties of compactly supported wavelets, both in the spatial and frequency domain. The reconstruction in the atmospheric tomography problem is obtained by solving the Bayesian MAP estimator with a conjugate gradient based algorithm. An accelerated algorithm with preconditioning is also introduced. Numerical performance is demonstrated on the official end-to-end simulation tool OCTOPUS of European Southern Observatory. △ Less

Submitted 15 February, 2013; originally announced February 2013.

MSC Class: 45Q05; 65R32; 65T60; 85-08; 85A35

An inverse problem for the wave equation with one measurement and the pseudorandom noise

Authors: Tapio Helin, Matti Lassas, Lauri Oksanen

Abstract: We consider the wave equation $(\p_t^2-Δ_g)u(t,x)=f(t,x)$, in $\R^n$, $u|_{\R_-\times \R^n}=0$, where the metric $g=(g_{jk}(x))_{j,k=1}^n$ is known outside an open and bounded set $M\subset \R^n$ with smooth boundary $\p M$. We define a deterministic source $f(t,x)$ called the pseudorandom noise as a sum of point sources, $f(t,x)=\sum_{j=1}^\infty a_jδ_{x_j}(x)δ(t)$, where the points… ▽ More We consider the wave equation $(\p_t^2-Δ_g)u(t,x)=f(t,x)$, in $\R^n$, $u|_{\R_-\times \R^n}=0$, where the metric $g=(g_{jk}(x))_{j,k=1}^n$ is known outside an open and bounded set $M\subset \R^n$ with smooth boundary $\p M$. We define a deterministic source $f(t,x)$ called the pseudorandom noise as a sum of point sources, $f(t,x)=\sum_{j=1}^\infty a_jδ_{x_j}(x)δ(t)$, where the points $x_j,\ j\in\Z_+$, form a dense set on $\p M$. We show that when the weights $a_j$ are chosen appropriately, $u|_{\R\times \p M}$ determines the scattering relation on $\p M$, that is, it determines for all geodesics which pass through $M$ the travel times together with the entering and exit points and directions. The wave $u(t,x)$ contains the singularities produced by all point sources, but when $a_j=λ^{-λ^{j}}$ for some $λ>1$, we can trace back the point source that produced a given singularity in the data. This gives us the distance in $(\R^n, g)$ between a source point $x_j$ and an arbitrary point $y \in \p M$. In particular, if $(\bar M,g)$ is a simple Riemannian manifold and $g$ is conformally Euclidian in $\bar M$, these distances are known to determine the metric $g$ in $M$. In the case when $(\bar M,g)$ is non-simple we present a more detailed analysis of the wave fronts yielding the scattering relation on $\p M$. △ Less

Submitted 10 November, 2010; originally announced November 2010.

MSC Class: 35R30

Hierarchical models in statistical inverse problems and the Mumford--Shah functional

Authors: Tapio Helin, Matti Lassas

Abstract: The Bayesian methods for linear inverse problems is studied using hierarchical Gaussian models. The problems are considered with different discretizations, and we analyze the phenomena which appear when the discretization becomes finer. A hierarchical solution method for signal restoration problems is introduced and studied with arbitrarily fine discretization. We show that the maximum a posteri… ▽ More The Bayesian methods for linear inverse problems is studied using hierarchical Gaussian models. The problems are considered with different discretizations, and we analyze the phenomena which appear when the discretization becomes finer. A hierarchical solution method for signal restoration problems is introduced and studied with arbitrarily fine discretization. We show that the maximum a posteriori estimate converges to a minimizer of the Mumford--Shah functional, up to a subsequence. A new result regarding the existence of a minimizer of the Mumford--Shah functional is proved. Moreover, we study the inverse problem under different assumptions on the asymptotic behavior of the noise as discretization becomes finer. We show that the maximum a posteriori and conditional mean estimates converge under different conditions. △ Less

Submitted 14 September, 2009; v1 submitted 24 August, 2009; originally announced August 2009.

Comments: 31 pages, 2 figures

MSC Class: 60F17; 35A15; 65C20

On infinite-dimensional hierarchical probability models in statistical inverse problems

Authors: Tapio Helin

Abstract: In this article, the solution of a statistical inverse problem $M = AU+\mathcal{E}$ by the Bayesian approach is studied where $U$ is a function on the unit circle $\mathbb{T}$, i.e., a periodic signal. The map** $A$ is a smoothing linear operator and $\mathcal{E}$ a Gaussian noise. The connection to the solution of a finite-dimensional computational model $M_{kn} = A_k U_n + \mathcal{E}_k$ is… ▽ More In this article, the solution of a statistical inverse problem $M = AU+\mathcal{E}$ by the Bayesian approach is studied where $U$ is a function on the unit circle $\mathbb{T}$, i.e., a periodic signal. The map** $A$ is a smoothing linear operator and $\mathcal{E}$ a Gaussian noise. The connection to the solution of a finite-dimensional computational model $M_{kn} = A_k U_n + \mathcal{E}_k$ is discussed. Furthermore, a novel hierarchical prior model for obtaining edge-preserving conditional mean estimates is introduced. The convergence of the method with respect to finer discretization is studied and the posterior distribution is shown to converge weakly. Finally, theoretical findings are illustrated by a numerical example with simulated data. △ Less

Submitted 31 July, 2009; v1 submitted 30 July, 2009; originally announced July 2009.

Comments: 28 pages, 14 figures

MSC Class: 60F17; 65C20