Abstract:Resolving the details of an object from coarse-scale measurements is a classical problem in applied mathematics. This problem is usually formulated as extrapolating the Fourier transform of the object from a bounded region to the entire space, that is, in terms of performing extrapolation in frequency. This problem is ill-posed unless one assumes that the object has some additional structure. When the object is compactly supported, then it is well-known that its Fourier transform can be extended to the entire space. However, it is also well-known that this problem is severely ill-conditioned. In this work, we assume that the object is known to belong to a collection of compactly supported functions and, instead performing extrapolation in frequency to the entire space, we study the problem of extrapolating to a larger bounded set using dilations in frequency and a single Fourier multiplier. This is reminiscent of the refinement equation in multiresolution analysis. Under suitable conditions, we prove the existence of a worst-case optimal multiplier over the entire collection, and we show that all such multipliers share the same canonical structure. When the collection is finite, we show that any worst-case optimal multiplier can be represented in terms of an Hermitian matrix. This allows us to introduce a fixed-point iteration to find the optimal multiplier. This leads us to introduce a family of multipliers, which we call $\Sigma$-multipliers, that can be used to perform extrapolation in frequency. We establish connections between $\Sigma$-multipliers and multiresolution analysis. We conclude with some numerical experiments illustrating the practical consequences of our results.
Abstract:Estimation of cardiovascular model parameters from electronic health records (EHR) poses a significant challenge primarily due to lack of identifiability. Structural non-identifiability arises when a manifold in the space of parameters is mapped to a common output, while practical non-identifiability can result due to limited data, model misspecification, or noise corruption. To address the resulting ill-posed inverse problem, optimization-based or Bayesian inference approaches typically use regularization, thereby limiting the possibility of discovering multiple solutions. In this study, we use inVAErt networks, a neural network-based, data-driven framework for enhanced digital twin analysis of stiff dynamical systems. We demonstrate the flexibility and effectiveness of inVAErt networks in the context of physiological inversion of a six-compartment lumped parameter hemodynamic model from synthetic data to real data with missing components.
Abstract:Use of generative models and deep learning for physics-based systems is currently dominated by the task of emulation. However, the remarkable flexibility offered by data-driven architectures would suggest to extend this representation to other aspects of system synthesis including model inversion and identifiability. We introduce inVAErt (pronounced \emph{invert}) networks, a comprehensive framework for data-driven analysis and synthesis of parametric physical systems which uses a deterministic encoder and decoder to represent the forward and inverse solution maps, normalizing flow to capture the probabilistic distribution of system outputs, and a variational encoder designed to learn a compact latent representation for the lack of bijectivity between inputs and outputs. We formally investigate the selection of penalty coefficients in the loss function and strategies for latent space sampling, since we find that these significantly affect both training and testing performance. We validate our framework through extensive numerical examples, including simple linear, nonlinear, and periodic maps, dynamical systems, and spatio-temporal PDEs.
Abstract:Novel Magnetic Resonance (MR) imaging modalities can quantify hemodynamics but require long acquisition times, precluding its widespread use for early diagnosis of cardiovascular disease. To reduce the acquisition times, reconstruction methods from undersampled measurements are routinely used, that leverage representations designed to increase image compressibility. Reconstructed anatomical and hemodynamic images may present visual artifacts. Although some of these artifact are essentially reconstruction errors, and thus a consequence of undersampling, others may be due to measurement noise or the random choice of the sampled frequencies. Said otherwise, a reconstructed image becomes a random variable, and both its bias and its covariance can lead to visual artifacts; the latter leads to spatial correlations that may be misconstrued for visual information. Although the nature of the former has been studied in the literature, the latter has not received as much attention. In this study, we investigate the theoretical properties of the random perturbations arising from the reconstruction process, and perform a number of numerical experiments on simulated and MR aortic flow. Our results show that the correlation length remains limited to two to three pixels when a Gaussian undersampling pattern is combined with recovery algorithms based on $\ell_1$-norm minimization. However, the correlation length may increase significantly for other undersampling patterns, higher undersampling factors (i.e., 8x or 16x compression), and different reconstruction methods.
Abstract:In this work, we let the sweet spot be the region where a sound wave generated by an array of loudspeakers is psycho-acoustically close to a desired auditory scene, and we develop a method that aims to generate a sound wave that directly maximizes this sweet spot. Our method incorporates psycho-acoustic principles from the onset and is flexible: while it imposes little to no constraints on the regions of interest, the arrangement of loudspeakers or their radiation pattern, it allows for a wide array of psycho-acoustic models that include state-of-the-art monaural psycho-acoustic models. Our method leverages tools from analysis and optimization that allow for its mathematical analysis and efficient implementation. Our numerical results show that our method yields larger sweet spots compared to some state-of-the-art methods when performing sound field reconstruction for sinusoidal signals using van de Par's psycho-acoustic model.