Searcharxiv⌕ Search

arXiv subjects

Nuutti Hyvönen

Publications and source records attributed to Nuutti Hyvönen.

At least 19 recordsLinked to original sources

Approximation of differential entropy in Bayesian optimal experimental design

Bayesian optimal experimental design provides a principled framework for selecting experimental configurations that maximize obtained information. In this work, we consider settings where the likelihood entropy is independent of the design or can be evaluated explicitly, which applies, e.g. to additive noise models with design-independent or explicitly computable noise entropy. This reduces the problem to maximum entropy estimation, where the nested integral defining the expected information gain collapses into a single integral. Our study is motivated by large-scale inference problems, such as inverse problems, where the computational cost is dominated by expensive likelihood evaluations. Under additive Gaussian noise model, we propose a computational approach in which the evidence density is approximated by a Monte Carlo or quasi-Monte Carlo surrogate, while the differential entropy is evaluated using standard methods without additional likelihood evaluations. We prove that this strategy achieves convergence rates that are comparable to, or better than, state-of-the-art methods for full expected information gain estimation, particularly when the cost of entropy evaluation is negligible. Our approach relies only on mild smoothness of the forward map and avoids stronger technical assumptions required in earlier work. We also present numerical experiments, which confirm some of our theoretical findings.

stat.ML↗

Pseudo Closed-Loop Bootstrapping for Reinforcement Learning Based AO Control

High contrast imaging with ground-based telescopes requires extremely precise wavefront control. The performance of the controller ultimately depends on the quality and efficiency of the wavefront sensing technique, which has led to the development of ever more sensitive wavefront sensors (WFS). However, the increase in sensitivity comes at the cost of greater nonlinearity, which poses challenges for conventional linear reconstructors and controllers. Reinforcement Learning (RL) is a branch of machine learning in which control policies are learned by interacting with the environment. RL has recently attracted interest in the field of XAO, and previous studies have demonstrated that a model-based RL variant, the Policy Optimization for Adaptive Optics (PO4AO), can effectively compensate for temporal delays, misregistration errors, and moderate WFS nonlinearities. PO4AO learns an initial control strategy by collecting closed-loop data from the integrator controller with a linear reconstructor. However, in cases of highly non-linear WFS and challenging conditions, closing the loop with the integrator is difficult, and high-fidelity data cannot be collected. Consequently, learning robust control with PO4AO is challenging. We propose a robust learning strategy in which PO4AO is pre-calibrated using an internal light source and a DM, enabling direct on-sky closed-loop operation without a stable integrator controller for bootstrapping the initial models.

astro-ph.IM↗

Direct reconstruction for acoustic inverse Born scattering

We consider the inverse medium scattering problem for the Helmholtz equation in two dimensions, i.e., the task to recover a compactly supported penetrable two-dimensional scatterer from full knowledge of the associated far field data or, equivalently, the far field operator. Although this problem is uniquely solvable, it is severely ill-posed and nonlinear. In the regime of weak scattering, the Born approximation yields a linearized relation between the contrast and the far field data, thus overcoming the second difficulty. This linear setting allows to build on recent work on linearized electrical impedance tomography, which relies on triangular Zernike decompositions, to derive an explicit reconstruction formula that expresses the expansion coefficients of the contrast in terms of those of the far field data. By choosing the expansion functions appropriately, the resulting system matrix decouples into separate (infinite) triangular systems for the spatial angular frequencies in the contrast. Consequently, each of these systems can be solved independently by performing forward substitutions. Our numerical experiments indicate that this approach, combined with an adequate regularization method, remains effective even when applied to full nonlinear far field data beyond the Born regime.

math.NA↗

A bilinear inverse problem with forward operator inaccuracy applied to neonatal atlas-based diffuse optical tomography

In this work, we assume to have a set of candidate forward operator matrices and suggest principal component analysis for modeling their variation from the mean. We use this principal component representation to adapt a bilinear inverse-problem formulation to forward-operator inaccuracy in neonatal atlas-based diffuse optical tomography and present two optimization algorithms, as well as Gibbs sampling and a version of the Bayesian approximation error method, for approximately solving the resulting problem. We apply the algorithms to account for the inaccuracy that is present in the sensitivity profiles or Jacobian matrices in diffuse optical tomography when an atlas-based model of the head anatomy is used instead of the subject's own anatomical model in neonates over a wide range of gestational ages (29--44 weeks). We report visual and numerical improvements in the spatial localization and contrast-to-noise-ratio in reconstructions of simulated hemodynamic activity.

math.NA↗

Reconstruction of shear modulus inclusions in elastostatics via divergence-free localization

We formulate an improved version of the monotonicity method for shape reconstruction in the inverse problem of linear elastostatics. We show that this method can reconstruct inclusions in the second Lamé parameter, i.e., the shear modulus, independently of inhomogeneities in the first Lamé parameter. This improves on earlier methods that only recover inclusions in the bulk modulus under certain assumptions on the local interplay between the Lamé parameters. Our proofs are based on linearization and divergence-free localization of energy using harmonic vector fields.

math.AP↗

Direct reconstruction of general elastic inclusions

The inverse problem of linear elasticity is to determine the Lamé parameters, which characterize the mechanical properties of a domain, from pairs of pressure activations and the resulting displacements on its boundary. This work considers the specific problem of reconstructing inclusions that manifest themselves as deviations from the background Lamé parameters. The monotonicity method is a direct reconstruction method that has previously been considered for domains only containing positive (or negative) inclusions with finite contrast. That is, all inclusions have previously been assumed to correspond to a finite increase (or decrease) in both Lamé parameters compared to their background values. We prove the general outer approach of the monotonicity method that simultaneously allows positive and negative inclusions, of both finite and extreme contrast; the latter refers to either infinitely stiff or perfectly elastic materials.

math.AP↗

Möbius-transformed trapezoidal rule for polynomial weights

This work studies numerical integration by the Möbius-transformed trapezoidal rule, which combines the classical trapezoidal rule with a change of variables induced by a Möbius transformation that maps the unit circle onto the real line. It is shown that this method achieves the optimal convergence rate for a polynomially weighted integral over the real line if the integrand lives in a related polynomially weighted Sobolev space with positive integer smoothness index. This result can also be generalized in a slightly weaker form for fractional smoothness indices via complex interpolation of function spaces. The algorithm only requires pointwise evaluations of the weight and the target integrand at prescribed nodes that do not depend on the integrand and weight in question. The established theoretical convergence rates are verified by numerical experiments.

math.NA↗

Projections for handling uncertainties and enabling domain truncation in diffuse optical tomography

This paper presents a projection-based technique to mitigate the impact of modeling errors related to domain truncation, changes in the optode coupling coefficients, and misspecified optical parameters of different tissue types in diffuse optical tomography. The approach considers the primary Jacobian matrix of the forward map in the image reconstruction scheme, linking the primary unknown, i.e., the per-voxel absorption coefficient changes in the region of interest, to the optode measurements, as well as the nuisance Jacobians that do the same for the auxiliary unknown parameters of secondary interest. To mitigate mismodeled coupling coefficients or domain truncation, the method projects the linearized forward model defined by the primary Jacobian onto the orthogonal complement of the range of a nuisance Jacobian, or onto the orthogonal complement of the span of a number of first left singular vectors for the nuisance Jacobian that has been weighted to account for prior information on the measurement setup. In the case of a misspecified baseline optical parameter for some tissue type, the nullspace of the utilized orthogonal projection is defined to be the span of first left singular vectors for a (weighted) difference of two Jacobian matrices evaluated at two different levels for the considered tissue-wise optical parameter. The reconstruction is formed by applying Bayesian inversion with Gaussian prior and noise models to the projected linearized equation. We evaluate the method on simulated brain activity data obtained via Monte Carlo simulations of the radiative transfer equation in a voxelized head anatomy for a neonate with combined gestational and chronological age of 41.7 weeks.

math.NA↗

Spotlight inversion by orthogonal projections

Many computational problems involve solving a linear system of equations, although only a subset of the entries of the solution are needed. In inverse problems, where the goal is to estimate unknown parameters from indirect noisy observations, it is not uncommon that the forward model linking the observed variables to the unknowns depends on variables that are not of primary interest, often referred to as nuisance parameters. In this article, we consider linear problems, and propose a novel projection technique to eliminate, or at least mitigate, the contribution of the nuisance parameters in the model. We refer to this approach as spotlight inversion, as it allows to focus on only the portion of primary interest of the unknown parameter vector, leaving the uninteresting part in the shadow. The viability of the approach is illustrated with two computed examples, one where it works as model reduction for a finite element approximation of an elliptic PDE, the other amounting to local fanbeam X-ray tomography, spotlighting the region of interest that is part of the full target.

math.NA↗

Infinite-dimensional Lipschitz stability in the Calderón problem and general Zernike bases

Calderón's inverse conductivity problem has, so far, only been subject to conditional logarithmic stability for infinite-dimensional classes of conductivities and to Lipschitz stability when restricted to finite-dimensional classes. Focusing our attention on the unit ball domain in any spatial dimension $d\geq 2$, we give an elementary proof that there are (infinitely many) infinite-dimensional classes of conductivities for which there is Lipschitz stability. In particular, Lipschitz stability holds for general expansions of conductivities, allowing all angular frequencies but with limited freedom in the radial direction, if the basis coefficients decay fast enough to overcome the growth of the basis functions near the domain boundary. We construct general $d$-dimensional Zernike bases and prove that they provide examples of infinite-dimensional Lipschitz stability.

math.AP↗

Möbius-Transformed Trapezoidal Rule

We study numerical integration by combining the trapezoidal rule with a Möbius transformation that maps the unit circle onto the real line. We prove that the resulting transformed trapezoidal rule attains the optimal rate of convergence if the integrand function lives in a weighted Sobolev space with a weight that is only assumed to be a positive Schwartz function decaying monotonically to zero close to infinity. Our algorithm only requires the ability to evaluate the weight at the selected nodes, and it does not require sampling from a probability measure defined by the weight nor information on its derivatives. In particular, we show that the Möbius transformation, as a change of variables between the real line and the unit circle, sends a function in the weighted Sobolev space to a periodic Sobolev space with the same smoothness. Since there are various results available for integrating and approximating periodic functions, we also describe several extensions of the Möbius-transformed trapezoidal rule, including function approximation via trigonometric interpolation, integration with randomized algorithms, and multivariate integration.

math.NA↗

Projection-based preprocessing for electrical impedance tomography to reduce the effect of electrode contacts

This work introduces a method for preprocessing measurements of electrical impedance tomography to considerably reduce the effect uncertainties in the electrode contacts have on the reconstruction quality, without a need to explicitly estimate the contacts. The idea is to compute the Jacobian matrix of the forward map with respect to the contact strengths and project the electrode measurements and the forward map onto the orthogonal complement of the range of this Jacobian. Using the smoothened complete electrode model as the forward model, it is demonstrated that inverting the resulting projected equation with respect to only the internal conductivity of the examined body results in good quality reconstructions both when resorting to a single step linearization with a smoothness prior and when combining lagged diffusivity iteration with total variation regularization. The quality of the reconstructions is further improved if the range of the employed projection is also orthogonal to that of the Jacobian with respect to the electrode positions. These results hold even if the projections are formed at internal and contact conductivities that significantly differ from the true ones; it is numerically demonstrated that the orthogonal complement of the range of the contact Jacobian is almost independent of the conductivity parameters at which it is evaluated. In particular, our observations introduce a numerical technique for inferring whether a change in the electrode measurements is caused by a change in the internal conductivity or alterations in the electrode contacts, which has potential applications, e.g., in bedside monitoring of stroke patients. The ideas are tested both on simulated data and on real-world water tank measurements with adjustable contact resistances.

math.NA↗

Continuity of the linearized forward map of electrical impedance tomography from square-integrable perturbations to Hilbert-Schmidt operators

This work considers the Fréchet derivative of the idealized forward map of two-dimensional electrical impedance tomography, i.e., the linear operator that maps a perturbation of the coefficient in the conductivity equation over a bounded two-dimensional domain to the linear approximation of the corresponding change in the Neumann-to-Dirichlet boundary map. It is proved that the Fréchet derivative is bounded from the space of square-integrable conductivity perturbations to the space of Hilbert--Schmidt operators on the mean-free $L^2$ functions on the domain boundary, if the background conductivity coefficient is constant and the considered simply-connected domain has a $C^{1,α}$ boundary. This result provides a theoretical framework for analyzing linearization-based one-step reconstruction algorithms of electrical impedance tomography in an infinite-dimensional setting.

math.AP↗

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

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.

astro-ph.IM↗

Linearization-based direct reconstruction for EIT using triangular Zernike decompositions

This work implements and numerically tests the direct reconstruction algorithm introduced in [Garde & Hyvönen, SIAM J. Math. Anal., 2024] for two-dimensional linearized electrical impedance tomography. Although the algorithm was originally designed for a linearized setting, we numerically demonstrate its functionality when the input data is the corresponding change in the current-to-voltage boundary operator. Both idealized continuum model and practical complete electrode model measurements are considered in the numerical studies, with the examined domain being either the unit disk or a convex polygon. Special attention is paid to regularizing the algorithm and its connections to the singular value decomposition of a truncated linearized forward map, as well as to the explicit triangular structures originating from the properties of the employed Zernike polynomial basis for the conductivity.

math.NA↗

Linearised Calderón problem: Reconstruction and Lipschitz stability for infinite-dimensional spaces of unbounded perturbations

We investigate a linearised Calderón problem in a two-dimensional bounded simply connected $C^{1,α}$ domain $Ω$. After extending the linearised problem for $L^2(Ω)$ perturbations, we orthogonally decompose $L^2(Ω) = \oplus_{k=0}^\infty \mathcal{H}_k$ and prove Lipschitz stability on each of the infinite-dimensional $\mathcal{H}_k$ subspaces. In particular, $\mathcal{H}_0$ is the space of square-integrable harmonic perturbations. This appears to be the first Lipschitz stability result for infinite-dimensional spaces of perturbations in the context of the (linearised) Calderón problem. Previous optimal estimates with respect to the operator norm of the data map have been of the logarithmic-type in infinite-dimensional settings. The remarkable improvement is enabled by using the Hilbert-Schmidt norm for the Neumann-to-Dirichlet boundary map and its Fréchet derivative with respect to the conductivity coefficient. We also derive a direct reconstruction method that inductively yields the orthogonal projections of a general $L^2(Ω)$ perturbation onto the $\mathcal{H}_k$ spaces, hence reconstructing any $L^2(Ω)$ perturbation.

math.AP↗

Bayesian experimental design for linear elasticity

This work considers Bayesian experimental design for the inverse boundary value problem of linear elasticity in a two-dimensional setting. The aim is to optimize the positions of compactly supported pressure activations on the boundary of the examined body in order to maximize the value of the resulting boundary deformations as data for the inverse problem of reconstructing the Lamé parameters inside the object. We resort to a linearized measurement model and adopt the framework of Bayesian experimental design, under the assumption that the prior and measurement noise distributions are mutually independent Gaussians. This enables the use of the standard Bayesian A-optimality criterion for deducing optimal positions for the pressure activations. The (second) derivatives of the boundary measurements with respect to the Lamé parameters and the positions of the boundary pressure activations are deduced to allow minimizing the corresponding objective function, i.e., the trace of the covariance matrix of the posterior distribution, by a gradient-based optimization algorithm. Two-dimensional numerical experiments are performed to demonstrate the functionality of our approach.

math.NA↗

Bayesian design of measurements for magnetorelaxometry imaging

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.

math.NA↗