Chrysoula Tsogka

Miguel Moscoso, Alexei Novikov, George Papanicolaou et al.

We propose an illumination strategy for interferometric imaging that allows for robust depth recovery from intensity-only measurements. For an array with colocated sources and receivers, we show that all the possible interferometric data for multiple sources, receivers and frequencies can be recovered from intensity-only measurements provided that we have sufficient source location and frequency illumination diversity. There is no need for phase reconstruction in this approach. Using interferometric imaging methods we show that in homogeneous media there is no loss of resolution when imaging with intensities-only. If in these imaging methods we reduce incoherence by restricting the multifrequency interferometric data to nearby array elements and nearby frequencies we obtain robust images in weakly inhomogeneous background media with a somewhat reduced resolution.

Miguel Moscoso, Alexei Novikov, George Papanicolaou et al.

In this paper, we study the MUltiple SIgnal Classification (MUSIC) algorithm often used to image small targets when multiple measurement vectors are available. We show that this algorithm may be used when the imaging problem can be cast as a linear system that admits a special factorization. We discuss several active array imaging configurations where this factorization is exact, as well as other configurations where the factorization only holds approximately and, hence, the results provided by MUSIC deteriorate. We give special attention to the most general setting where an active array with an arbitrary number of transmitters and receivers uses signals of multiple frequencies to image the targets. This setting provides all the possible diversity of information that can be obtained from the illuminations. We give a theorem that shows that MUSIC is robust with respect to additive noise provided that the targets are well separated. The theorem also shows the relevance of using appropriate sets of controlled parameters, such as excitations, to form the images with MUSIC robustly. We present numerical experiments that support our theoretical results.

Liliana Borcea, George Papanicolaou, Chrysoula Tsogka

We study detection and imaging of small reflectors in heavy clutter, using an array of transducers that emits and receives sound waves. Heavy clutter means that multiple scattering of the waves in the heterogeneous host medium is strong and overwhelms the arrivals from the small reflectors. Building on the adaptive time-frequency filter of [1], we propose a robust method for detecting the direction of arrival of the direct echoes from the small reflectors, and suppressing the unwanted clutter backscatter. This improves the resolution of imaging. We illustrate the performance of the method with realistic numerical simulations in a non-destructive testing setup.

Miguel Moscoso, Alexei Novikov, George Papanicolaou et al.

We propose an approach for imaging in scattering media when large and diverse data sets are available. It has two steps. Using a dictionary learning algorithm the first step estimates the true Green's function vectors as columns in an unordered sensing matrix. The array data comes from many sparse sets of sources whose location and strength are not known to us. In the second step, the columns of the estimated sensing matrix are ordered for imaging using Multi-Dimensional Scaling with connectivity information derived from cross-correlations of its columns, as in time reversal. For these two steps to work together we need data from large arrays of receivers so the columns of the sensing matrix are incoherent for the first step, as well as from sub-arrays so that they are coherent enough to obtain the connectivity needed in the second step. Through simulation experiments, we show that the proposed approach is able to provide images in complex media whose resolution is that of a homogeneous medium.

Alexander Christie, Matan Leibovich, Miguel Moscoso et al.

We develop an imaging algorithm that exploits strong scattering to achieve super-resolution in changing random media. The method processes large and diverse array datasets using sparse dictionary learning, clustering, and multidimensional scaling. Starting from random initializations, the algorithm reliably extracts the unknown medium properties necessary for accurate imaging using back-propagation, $\ell_2$ or $\ell_1$ methods. Remarkably, scattering enhances resolution beyond homogeneous medium limits. When abundant data are available, the algorithm allows the realization of super-resolution in imaging.

Alexander Christie, Matan Leibovich, Miguel Moscoso et al.

We propose a methodology that exploits large and diverse data sets to accurately estimate the ambient medium's Green's functions in strongly scattering media. Given these estimates, obtained with and without the use of neural networks, excellent imaging results are achieved, with a resolution that is better than that of a homogeneous medium. This phenomenon, also known as super-resolution, occurs because the ambient scattering medium effectively enhances the physical imaging aperture. This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible.

Miguel Moscoso, Alexei Novikov, George Papanicolaou et al.

We present a novel approach for recovering a sparse signal from cross-correlated data. Cross-correlations naturally arise in many fields of imaging, such as optics, holography and seismic interferometry. Compared to the sparse signal recovery problem that uses linear measurements, the unknown is now a matrix formed by the cross correlation of the unknown signal. Hence, the bottleneck for inversion is the number of unknowns that grows quadratically. The main idea of our proposed approach is to reduce the dimensionality of the problem by recovering only the diagonal of the unknown matrix, whose dimension grows linearly with the size of the problem. The keystone of the methodology is the use of an efficient {\em Noise Collector} that absorbs the data that come from the off-diagonal elements of the unknown matrix and that do not carry extra information about the support of the signal. This results in a linear problem whose cost is similar to the one that uses linear measurements. Our theory shows that the proposed approach provides exact support recovery when the data is not too noisy, and that there are no false positives for any level of noise. Moreover, our theory also demonstrates that when using cross-correlated data, the level of sparsity that can be recovered increases, scaling almost linearly with the number of data. The numerical experiments presented in the paper corroborate these findings.

Miguel Moscoso, Alexei Novikov, George Papanicolaou et al.

The ability to detect sparse signals from noisy high-dimensional data is a top priority in modern science and engineering. A sparse solution of the linear system $A ρ= b_0$ can be found efficiently with an $l_1$-norm minimization approach if the data is noiseless. Detection of the signal's support from data corrupted by noise is still a challenging problem, especially if the level of noise must be estimated. We propose a new efficient approach that does not require any parameter estimation. We introduce the Noise Collector (NC) matrix $C$ and solve an augmented system $A ρ+ C η= b_0 + e$, where $ e$ is the noise. We show that the $l_1$-norm minimal solution of the augmented system has zero false discovery rate for any level of noise and with probability that tends to one as the dimension of $ b_0$ increases to infinity. We also obtain exact support recovery if the noise is not too large, and develop a Fast Noise Collector Algorithm which makes the computational cost of solving the augmented system comparable to that of the original one. Finally, we demonstrate the effectiveness of the method in applications to passive array imaging.

Miguel Moscoso, Alexei Novikov, George Papanicolaou et al.

We consider the problem of imaging sparse scenes from a few noisy data using an $l_1$-minimization approach. This problem can be cast as a linear system of the form $A \, ρ=b$, where $A$ is an $N\times K$ measurement matrix. We assume that the dimension of the unknown sparse vector $ρ\in {\mathbb{C}}^K$ is much larger than the dimension of the data vector $b \in {\mathbb{C}}^N$, i.e, $K \gg N$. We provide a theoretical framework that allows us to examine under what conditions the $\ell_1$-minimization problem admits a solution that is close to the exact one in the presence of noise. Our analysis shows that $l_1$-minimization is not robust for imaging with noisy data when high resolution is required. To improve the performance of $l_1$-minimization we propose to solve instead the augmented linear system $ [A \, | \, C] ρ=b$, where the $N \times Σ$ matrix $C$ is a noise collector. It is constructed so as its column vectors provide a frame on which the noise of the data, a vector of dimension $N$, can be well approximated. Theoretically, the dimension $Σ$ of the noise collector should be $e^N$ which would make its use not practical. However, our numerical results illustrate that robust results in the presence of noise can be obtained with a large enough number of columns $Σ\approx 10 K$.

Miguel Moscoso, Alexei Novikov, George Papanicolaou et al.

We consider imaging the reflectivity of scatterers from intensity-only data recorded by a single moving transducer that both emits and receives signals, forming a synthetic aperture. By exploiting frequency illumination diversity, we obtain multiple intensity measurements at each location, from which we determine field cross-correlations using an appropriate phase controlled illumination strategy and the inner product polarization identity. The field cross-correlations obtained this way do not, however, provide all the missing phase information because they are determined up to a phase that depends on the receiver's location. The main result of this paper is an algorithm with which we recover the field cross-correlations up to a single phase that is common to all the data measured over the synthetic aperture, so all the data are synchronized. Thus, we can image coherently with data over all frequencies and measurement locations as if full phase information was recorded.

Tomas Roubicek, Christos Panagiotopoulos, Chrysoula Tsogka

The 2-step staggered (also called leap-frog) time discretisation of linear 2nd-order Hamiltonian systems (typically linear elastodynamics in a stress-velocity form) is extended for a 3-step staggered discretisation applicable for systems involving some internal variables subjected to a dissipative evolution. After spatial discretisation, a-priori estimates and convergence is proved under the usual CFL-condition. Applications to specific problems in continuum mechanics of solids at small stains are considered, in particular linearized plasticity, diffusion in poroelastic media, damage, or adhesive contact. Numerical implementation and some computational 2-dimensional simulation of waves emitted by a rupture (delamination) of an adhesive contact illustrate the abstract theory and efficiency of the explicit method.