Showing 1–50 of 61 results for author: Fannjiang, A

Optimality of Gradient-MUSIC for Spectral Estimation

Authors: Albert Fannjiang, Weilin Li, Wenjing Liao

Abstract: The goal of spectral estimation is to estimate the frequencies and amplitudes of a nonharmonic Fourier sum given noisy time samples. This paper introduces the Gradient-MUSIC algorithm, which is a novel nonconvex optimization reformulation of the classical MUSIC algorithm. Under the assumption that $mΔ\geq 8π$, where $π/m$ is the Nyquist rate and $Δ$ is the minimum separation of the frequencies nor… ▽ More The goal of spectral estimation is to estimate the frequencies and amplitudes of a nonharmonic Fourier sum given noisy time samples. This paper introduces the Gradient-MUSIC algorithm, which is a novel nonconvex optimization reformulation of the classical MUSIC algorithm. Under the assumption that $mΔ\geq 8π$, where $π/m$ is the Nyquist rate and $Δ$ is the minimum separation of the frequencies normalized to be in $[0,2π)$, we provide a thorough geometric analysis of the objective functions generated by the algorithm. Gradient-MUSIC thresholds the objective function on a set that is as coarse as possible and locates a set of suitable initialization for gradient descent. Although the objective function is nonconvex, gradient descent converges exponentially fast to the desired local minima, which are the estimated frequencies of the signal. For deterministic $\ell^p$ perturbations and any $p\in [1,\infty]$, Gradient-MUSIC estimates the frequencies and amplitudes at the minimax optimal rate in terms of the noise level and $m$. For example, if the noise has $\ell^\infty$ norm at most $ε$, then the frequencies and amplitudes are recovered up to error at most $Cε/m$ and $Cε$, respectively, which are optimal in $ε$ and $m$. Aside from logarithmic factors, Gradient-MUSIC is optimal for white noise and matches the rate achieved by nonlinear least squares for various families of nonstationary independent Gaussian noise. Our results show that classical MUSIC is equally optimal, but it requires an expensive search on a thin grid, whereas Gradient-MUSIC is always computationally more efficient, especially for small noise. As a consequence of this paper, for sufficiently well separated frequencies, both Gradient-MUSIC and classical MUSIC are the first provably optimal and computationally tractable algorithms for deterministic $\ell^p$ perturbations. △ Less

Submitted 9 April, 2025; originally announced April 2025.

Comments: 62 pages, 4 figures

Noise-Robust One-Bit Diffraction Tomography and Optimal Dose Fractionation

Authors: Pengwen Chen, Albert Fannjiang

Abstract: This study presents a noise-robust framework for 1-bit diffraction tomography, a novel imaging approach that relies on intensity-only binary measurements obtained through coded apertures. The proposed reconstruction scheme leverages random matrix theory and iterative algorithms to effectively recover 3D object structures under high-noise conditions. A key contribution is the numerical investigat… ▽ More This study presents a noise-robust framework for 1-bit diffraction tomography, a novel imaging approach that relies on intensity-only binary measurements obtained through coded apertures. The proposed reconstruction scheme leverages random matrix theory and iterative algorithms to effectively recover 3D object structures under high-noise conditions. A key contribution is the numerical investigation of dose fractionation, revealing optimal performance at a signal-to-noise ratio near 1, {\em independent of the total dose}. This finding addresses the question: How to distribute a given level of total radiation energy among different tomographic views in order to optimize the quality of reconstruction? △ Less

Submitted 24 May, 2025; v1 submitted 9 October, 2023; originally announced October 2023.

3D Tomographic Phase Retrieval and Unwrapping

Authors: Albert Fannjiang

Abstract: This paper develops uniqueness theory for 3D phase retrieval with finite, discrete measurement data for strong phase objects and weak phase objects, including: (i) {\em Unique determination of (phase) projections from diffraction patterns} -- General measurement schemes with coded and uncoded apertures are proposed and shown to ensure unique reduction of diffraction patterns to the phase project… ▽ More This paper develops uniqueness theory for 3D phase retrieval with finite, discrete measurement data for strong phase objects and weak phase objects, including: (i) {\em Unique determination of (phase) projections from diffraction patterns} -- General measurement schemes with coded and uncoded apertures are proposed and shown to ensure unique reduction of diffraction patterns to the phase projection for a strong phase object (respectively, the projection for a weak phase object) in each direction separately without the knowledge of relative orientations and locations. (ii) {\em Uniqueness for 3D phase unwrapping} -- General conditions for unique determination of a 3D strong phase object from its phase projection data are established, including, but not limited to, random tilt schemes densely sampled from a spherical triangle of vertexes in three orthogonal directions and other deterministic tilt schemes. (iii) {\em Uniqueness for projection tomography} -- Unique determination of an object of $n^3$ voxels from generic $n$ projections or $n+1$ coded diffraction patterns is proved. This approach of reducing 3D phase retrieval to the problem of (phase) projection tomography has the practical implication of enabling classification and alignment, when relative orientations are unknown, to be carried out in terms of (phase) projections, instead of diffraction patterns. The applications with the measurement schemes such as single-axis tilt, conical tilt, dual-axis tilt, random conical tilt and general random tilt are discussed. △ Less

Submitted 3 December, 2023; v1 submitted 9 August, 2022; originally announced August 2022.

Comments: Revision of the previously titled "3D UNWRAPPED PHASE RETRIEVAL WITH CODED APERTURE IS REDUCIBLE TO PROJECTION TOMOGRAPHY"

Uniqueness Theorems for Tomographic Phase Retrieval with Few Diffraction Patterns

Authors: Albert Fannjiang

Abstract: 3D tomographic phase retrieval under the Born approximation for discrete objects supported on a $n\times n\times n$ grid is analyzed. It is proved that $n$ projections are sufficient and necessary for unique determination by computed tomography (CT) with full projected field measurements and that $n+1$ coded projected diffraction patterns are sufficient for unique determination, up to a global pha… ▽ More 3D tomographic phase retrieval under the Born approximation for discrete objects supported on a $n\times n\times n$ grid is analyzed. It is proved that $n$ projections are sufficient and necessary for unique determination by computed tomography (CT) with full projected field measurements and that $n+1$ coded projected diffraction patterns are sufficient for unique determination, up to a global phase factor, in tomographic phase retrieval. Hence $n+1$ is nearly, if not exactly, the minimum number of diffractions patterns needed for 3D tomographic phase retrieval under the Born approximation. △ Less

Submitted 29 May, 2022; v1 submitted 29 December, 2021; originally announced December 2021.

The Numerics of Phase Retrieval

Authors: Albert Fannjiang, Thomas Strohmer

Abstract: Phase retrieval, i.e., the problem of recovering a function from the squared magnitude of its Fourier transform, arises in many applications such as X-ray crystallography, diffraction imaging, optics, quantum mechanics, and astronomy. This problem has confounded engineers, physicists, and mathematicians for many decades. Recently, phase retrieval has seen a resurgence in research activity, ignited… ▽ More Phase retrieval, i.e., the problem of recovering a function from the squared magnitude of its Fourier transform, arises in many applications such as X-ray crystallography, diffraction imaging, optics, quantum mechanics, and astronomy. This problem has confounded engineers, physicists, and mathematicians for many decades. Recently, phase retrieval has seen a resurgence in research activity, ignited by new imaging modalities and novel mathematical concepts. As our scientific experiments produce larger and larger datasets and we aim for faster and faster throughput, it becomes increasingly important to study the involved numerical algorithms in a systematic and principled manner. Indeed, the last decade has witnessed a surge in the systematic study of computational algorithms for phase retrieval. In this paper we will review these recent advances from a numerical viewpoint. △ Less

Submitted 13 April, 2020; originally announced April 2020.

Journal ref: Acta Numerica 29 (2020) 125-228

Fixed Point Analysis of Douglas-Rachford Splitting for Ptychography and Phase Retrieval

Authors: A. Fannjiang, Z. Zhang

Abstract: Douglas-Rachford Splitting (DRS) methods based on the proximal point algorithms for the Poisson and Gaussian log-likelihood functions are proposed for ptychography and phase retrieval. Fixed point analysis shows that the DRS iterated sequences are always bounded explicitly in terms of the step size and that the fixed points are attracting if and only if the fixed points are regular solutions. This… ▽ More Douglas-Rachford Splitting (DRS) methods based on the proximal point algorithms for the Poisson and Gaussian log-likelihood functions are proposed for ptychography and phase retrieval. Fixed point analysis shows that the DRS iterated sequences are always bounded explicitly in terms of the step size and that the fixed points are attracting if and only if the fixed points are regular solutions. This alleviates two major drawbacks of the classical Douglas-Rachford algorithm: slow convergence when the feasibility problem is consistent and divergent behavior when the feasibility problem is inconsistent. Fixed point analysis also leads to a simple, explicit expression for the optimal step size in terms of the spectral gap of an underlying matrix. When applied to the challenging problem of blind ptychography, which seeks to recover both the object and the probe simultaneously, Alternating Minimization with the DRS inner loops, even with a far from optimal step size, converges geometrically under the nearly minimum conditions established in the uniqueness theory. △ Less

Submitted 9 April, 2020; v1 submitted 18 September, 2019; originally announced September 2019.

Comments: arXiv admin note: text overlap with arXiv:1809.00962

MSC Class: 65T

Super-resolution limit of the ESPRIT algorithm

Authors: Weilin Li, Wenjing Liao, Albert Fannjiang

Abstract: The problem of imaging point objects can be formulated as estimation of an unknown atomic measure from its $M+1$ consecutive noisy Fourier coefficients. The standard resolution of this inverse problem is $1/M$ and super-resolution refers to the capability of resolving atoms at a higher resolution. When any two atoms are less than $1/M$ apart, this recovery problem is highly challenging and many ex… ▽ More The problem of imaging point objects can be formulated as estimation of an unknown atomic measure from its $M+1$ consecutive noisy Fourier coefficients. The standard resolution of this inverse problem is $1/M$ and super-resolution refers to the capability of resolving atoms at a higher resolution. When any two atoms are less than $1/M$ apart, this recovery problem is highly challenging and many existing algorithms either cannot deal with this situation or require restrictive assumptions on the sign of the measure. ESPRIT is an efficient method that does not depend on the sign of the measure. This paper provides an explicit error bound on the support matching distance of ESPRIT in terms of the minimum singular value of Vandermonde matrices. When the support consists of multiple well-separated clumps and noise is sufficiently small, the support error by ESPRIT scales like ${\rm SRF}^{2λ+2} \times {\rm Noise}$, where the Super-Resolution Factor (${\rm SRF}$) governs the difficulty of the problem and $λ$ is the cardinality of the largest clump. {If the support contains one clump of closely spaced atoms, the min-max error is ${\rm SRF}^{2λ+2} \times {\rm Noise}/M$. Our error bound matches the min-max rate up to a factor of $M$ in the small noise regime. Our results therefore establishes the near-optimality of ESPRIT,} and our theory is validated by numerical experiments. △ Less

Submitted 21 October, 2019; v1 submitted 3 May, 2019; originally announced May 2019.

Comments: 30 pages

Raster Grid Pathology and the Cure

Authors: Albert Fannjiang

Abstract: Blind ptychography is a phase retrieval method using multiple coded diffraction patterns from different, overlapping parts of the unknown extended object illuminated with an unknown window function. The window function is also known as the probe in the optics literature. As such blind ptychography is an inverse problem of simultaneous recovery of the object and the window function given the intens… ▽ More Blind ptychography is a phase retrieval method using multiple coded diffraction patterns from different, overlapping parts of the unknown extended object illuminated with an unknown window function. The window function is also known as the probe in the optics literature. As such blind ptychography is an inverse problem of simultaneous recovery of the object and the window function given the intensities of the windowed Fourier transform and has a multi-scale set-up in which the probe has an intermediate scale between the pixel scale and the macro-scale of the extended object. Uniqueness problem for blind ptychography is analyzed rigorously for the raster scan (of a constant step size τ) and its variants, in which another scale comes into play: the overlap between adjacent blocks (the shifted windows). The block phases are shown to form an arithmetic progression and the complete characterization of the raster scan ambiguities is given, including: First, the periodic raster grid pathology of degrees of freedom proportional to τ^2 and, second, a non-periodic, arithmetically progressing phase shift from block to block. Finally irregularly perturbed raster scans are shown to remove all ambiguities other than the inherent ambiguities of the scaling factor and the affine phase ambiguity under the minimum requirement of roughly 50% overlap ratio. △ Less

Submitted 1 December, 2018; v1 submitted 1 October, 2018; originally announced October 2018.

Blind Ptychography by Douglas-Rachford Splitting

Authors: A. Fannjiang, Z. Zhang

Abstract: Blind ptychography is the scanning version of coherent diffractive imaging which seeks to recover both the object and the probe simultaneously. Based on alternating minimization by Douglas-Rachford splitting, AMDRS is a blind ptychographic algorithm informed by the uniqueness theory, the Poisson noise model and the stability analysis. Enhanced by the initialization method and the use of a randomly… ▽ More Blind ptychography is the scanning version of coherent diffractive imaging which seeks to recover both the object and the probe simultaneously. Based on alternating minimization by Douglas-Rachford splitting, AMDRS is a blind ptychographic algorithm informed by the uniqueness theory, the Poisson noise model and the stability analysis. Enhanced by the initialization method and the use of a randomly phased mask, AMDRS converges globally and geometrically. Three boundary conditions are considered in the simulations: periodic, dark-field and bright-field boundary conditions. The dark-field boundary condition is suited for isolated objects while the bright-field boundary condition is for non-isolated objects. The periodic boundary condition is a mathematically convenient reference point. Depending on the avail- ability of the boundary prior the dark-field and the bright-field boundary conditions may or may not be enforced in the reconstruction. Not surprisingly, enforcing the boundary condition improves the rate of convergence, sometimes in a significant way. Enforcing the bright-field condition in the reconstruction can also remove the linear phase ambiguity. △ Less

Submitted 30 October, 2018; v1 submitted 26 August, 2018; originally announced September 2018.

Blind Ptychography: Uniqueness and Ambiguities

Authors: A. Fannjiang, P. Chen

Abstract: Ptychography with an unknown mask and object is analyzed for general ptychographic measurement schemes that are strongly connected and possess an anchor. Under a mild constraint on the mask phase, it is proved that the masked object estimate must be the product of a block phase factor and the true masked object. This local uniqueness manifests itself in the phase drift equation that determines t… ▽ More Ptychography with an unknown mask and object is analyzed for general ptychographic measurement schemes that are strongly connected and possess an anchor. Under a mild constraint on the mask phase, it is proved that the masked object estimate must be the product of a block phase factor and the true masked object. This local uniqueness manifests itself in the phase drift equation that determines the ambiguity at different locations connected by ptychographic shifts. The proposed mixing schemes effectively connects the ambiguity throughout the whole domain such that a distinct ambiguity profile arises and consequently possess the global uniqueness that the block phases have an affine profile and that the object and mask can be simultaneously recovered up to a constant scaling factor and an affine phase factor. △ Less

Submitted 9 April, 2020; v1 submitted 5 June, 2018; originally announced June 2018.

Journal ref: Inverse Problems 36 (2020) 045005 (36pp)

Coded Aperture Ptychography: Uniqueness and Reconstruction

Authors: Pengwen Chen, Albert Fannjiang

Abstract: Uniqueness of solution is proved for any ptychographic scheme with a random masks under a minimum overlap condition and local geometric convergence analysis is given for the alternating projection (AP) and Douglas-Rachford (DR) algorithms. DR is shown to possess a unique fixed point in the object domain and for AP a simple criterion for distinguishing the true solution among possibly many fixed po… ▽ More Uniqueness of solution is proved for any ptychographic scheme with a random masks under a minimum overlap condition and local geometric convergence analysis is given for the alternating projection (AP) and Douglas-Rachford (DR) algorithms. DR is shown to possess a unique fixed point in the object domain and for AP a simple criterion for distinguishing the true solution among possibly many fixed points is given. A minimalist scheme is proposed where the adjacent masks overlap 50\% of area and each pixel of the object is illuminated by exactly four times during the whole measurement process. Such a scheme is conveniently parametrized by the number $q$ of shifted masks in each direction. The lower bound $1-C/q^2$ is proved for the geometric convergence rate of the minimalist scheme, predicting a poor performance with large $q$ which is confirmed by numerical experiments. Extensive numerical experiments are performed to explore what the general features of a well-performing mask are like, what the best-performing values of $q$ for a given mask are, how robust the minimalist scheme is with respect to measurement noise and what the significant factors affecting the noise stability are. △ Less

Submitted 6 September, 2017; originally announced September 2017.

Phase Retrieval by Linear Algebra

Authors: P. Chen, A. Fannjiang, G. Liu

Abstract: The null vector method, based on a simple linear algebraic concept, is proposed as a solution to the phase retrieval problem. In the case with complex Gaussian random measurement matrices, a non-asymptotic error bound is derived, yielding an asymptotic regime of accurate approximation comparable to that for the spectral vector method. The null vector method, based on a simple linear algebraic concept, is proposed as a solution to the phase retrieval problem. In the case with complex Gaussian random measurement matrices, a non-asymptotic error bound is derived, yielding an asymptotic regime of accurate approximation comparable to that for the spectral vector method. △ Less

Submitted 25 July, 2016; originally announced July 2016.

Compressive Spectral Estimation with Single-Snapshot ESPRIT: Stability and Resolution

Authors: Albert Fannjiang

Abstract: In this paper Estimation of Signal Parameters via Rotational Invariance Techniques (ESPRIT) is developed for spectral estimation with single-snapshot measurement. Stability and resolution analysis with performance guarantee for Single-Snapshot ESPRIT (SS-ESPRIT) is the main focus. In the noise-free case, exact reconstruction is guaranteed for any arbitrary set of frequencies as long as the number… ▽ More In this paper Estimation of Signal Parameters via Rotational Invariance Techniques (ESPRIT) is developed for spectral estimation with single-snapshot measurement. Stability and resolution analysis with performance guarantee for Single-Snapshot ESPRIT (SS-ESPRIT) is the main focus. In the noise-free case, exact reconstruction is guaranteed for any arbitrary set of frequencies as long as the number of measurement data is at least twice the number of distinct frequencies to be recovered. In the presence of noise and under the assumption that the true frequencies are separated by at least two times Rayleigh's Resolution Length, an explicit error bound for frequency reconstruction is given in terms of the dynamic range and the separation of the frequencies. The separation and sparsity constraint compares favorably with those of the leading approaches to compressed sensing in the continuum. △ Less

Submitted 6 July, 2016; originally announced July 2016.

Phase Retrieval with One or Two Diffraction Patterns by Alternating Projection with Null Initialization

Authors: Pengwen Chen, Albert Fannjiang, Gi-Ren Liu

Abstract: Alternating projection (AP) of various forms, including the Parallel AP (PAP), Real-constrained AP (RAP) and the Serial AP (SAP), are proposed to solve phase retrieval with at most two coded diffraction patterns. The proofs of geometric convergence are given with sharp bounds on the rates of convergence in terms of a spectral gap condition. To compensate for the local nature of convergence, the… ▽ More Alternating projection (AP) of various forms, including the Parallel AP (PAP), Real-constrained AP (RAP) and the Serial AP (SAP), are proposed to solve phase retrieval with at most two coded diffraction patterns. The proofs of geometric convergence are given with sharp bounds on the rates of convergence in terms of a spectral gap condition. To compensate for the local nature of convergence, the null initialization is proposed for initial guess and proved to produce asymptotically accurate initialization for the case of Gaussian random measurement. Numerical experiments show that the null initialization produces more accurate initial guess than the spectral initialization and that AP converges faster to the true object than other iterative schemes for non-convex optimization such as the Wirtinger Flow. In numerical experiments, AP with the null initialization converges globally to the true object. △ Less

Submitted 27 April, 2016; v1 submitted 26 October, 2015; originally announced October 2015.

Fourier Phase Retrieval with a Single Mask by Douglas-Rachford Algorithm

Authors: Pengwen Chen, Albert Fannjiang

Abstract: Douglas-Rachford (DR) algorithm is analyzed for Fourier phase retrieval with a single random phase mask. Local, geometric convergence to a unique fixed point is proved with numerical demonstration of global convergence. Douglas-Rachford (DR) algorithm is analyzed for Fourier phase retrieval with a single random phase mask. Local, geometric convergence to a unique fixed point is proved with numerical demonstration of global convergence. △ Less

Submitted 2 September, 2015; originally announced September 2015.

Compressive Sensing Theory for Optical Systems Described by a Continuous Model

Authors: Albert Fannjiang

Abstract: A brief survey of the author and collaborators' work in compressive sensing applications to continuous imaging models. A brief survey of the author and collaborators' work in compressive sensing applications to continuous imaging models. △ Less

Submitted 1 August, 2016; v1 submitted 2 July, 2015; originally announced July 2015.

Comments: Chapter 3 of "Optical Compressive Imaging" edited by Adrian Stern published by Taylor & Francis 2016

Fourier-Domain Fixed Point Algorithms with Coded Diffraction Patterns

Authors: Albert Fannjiang

Abstract: Fourier-domain Difference Map (FDM) for phase retrieval with two oversampled coded diffraction patterns are proposed. FDM is a 3-parameter family of fixed point algorithms including Fourier-domain Hybrid-Projection-Reflection (FHPR) and Douglas-Rachford (FDR) algorithm. For generic complex objects without any object constraint, FDM yields a unique fixed point, after proper projection back to the o… ▽ More Fourier-domain Difference Map (FDM) for phase retrieval with two oversampled coded diffraction patterns are proposed. FDM is a 3-parameter family of fixed point algorithms including Fourier-domain Hybrid-Projection-Reflection (FHPR) and Douglas-Rachford (FDR) algorithm. For generic complex objects without any object constraint, FDM yields a unique fixed point, after proper projection back to the object domain, which is the true solution to the phase retrieval problem up to a global phase factor. △ Less

Submitted 7 March, 2016; v1 submitted 10 June, 2014; originally announced June 2014.

MUSIC for Single-Snapshot Spectral Estimation: Stability and Super-resolution

Authors: Wenjing Liao, Albert Fannjiang

Abstract: This paper studies the problem of line spectral estimation in the continuum of a bounded interval with one snapshot of array measurement. The single-snapshot measurement data is turned into a Hankel data matrix which admits the Vandermonde decomposition and is suitable for the MUSIC algorithm. The MUSIC algorithm amounts to finding the null space (the noise space) of the Hankel matrix, forming the… ▽ More This paper studies the problem of line spectral estimation in the continuum of a bounded interval with one snapshot of array measurement. The single-snapshot measurement data is turned into a Hankel data matrix which admits the Vandermonde decomposition and is suitable for the MUSIC algorithm. The MUSIC algorithm amounts to finding the null space (the noise space) of the Hankel matrix, forming the noise-space correlation function and identifying the s smallest local minima of the noise-space correlation as the frequency set. In the noise-free case exact reconstruction is guaranteed for any arbitrary set of frequencies as long as the number of measurements is at least twice the number of distinct frequencies to be recovered. In the presence of noise the stability analysis shows that the perturbation of the noise-space correlation is proportional to the spectral norm of the noise matrix as long as the latter is smaller than the smallest (nonzero) singular value of the noiseless Hankel data matrix. Under the assumption that frequencies are separated by at least twice the Rayleigh Length (RL), the stability of the noise-space correlation is proved by means of novel discrete Ingham inequalities which provide bounds on nonzero singular values of the noiseless Hankel data matrix. The numerical performance of MUSIC is tested in comparison with other algorithms such as BLO-OMP and SDP (TV-min). While BLO-OMP is the stablest algorithm for frequencies separated above 4 RL, MUSIC becomes the best performing one for frequencies separated between 2 RL and 3 RL. Also, MUSIC is more efficient than other methods. MUSIC truly shines when the frequency separation drops to 1 RL or below when all other methods fail. Indeed, the resolution length of MUSIC decreases to zero as noise decreases to zero as a power law with an exponent much smaller than an upper bound established by Donoho. △ Less

Submitted 21 September, 2014; v1 submitted 5 April, 2014; originally announced April 2014.

Comments: Studies on the super-resolution of the MUSIC algorithm have been added in Section 4 and Section 5.4

Fourier phasing with phase-uncertain mask

Authors: Albert Fannjiang, Wenjing Liao

Abstract: Fourier phasing is the problem of retrieving Fourier phase information from Fourier intensity data. The standard Fourier phase retrieval (without a mask) is known to have many solutions which cause the standard phasing algorithms to stagnate and produce wrong or inaccurate solutions. In this paper Fourier phase retrieval is carried out with the introduction of a randomly fabricated mask in measure… ▽ More Fourier phasing is the problem of retrieving Fourier phase information from Fourier intensity data. The standard Fourier phase retrieval (without a mask) is known to have many solutions which cause the standard phasing algorithms to stagnate and produce wrong or inaccurate solutions. In this paper Fourier phase retrieval is carried out with the introduction of a randomly fabricated mask in measurement and reconstruction. Highly probable uniqueness of solution, up to a global phase, was previously proved with exact knowledge of the mask. Here the uniqueness result is extended to the case where only rough information about the mask's phases is assumed. The exponential probability bound for uniqueness is given in terms of the uncertainty-to-diversity ratio (UDR) of the unknown mask. New phasing algorithms alternating between the object update and the mask update are systematically tested and demonstrated to have the capability of recovering both the object and the mask (within the object support) simultaneously, consistent with the uniqueness result. Phasing with a phase-uncertain mask is shown to be robust with respect to the correlation in the mask as well as the Gaussian and Poisson noises. △ Less

Submitted 6 November, 2013; v1 submitted 16 December, 2012; originally announced December 2012.

Journal ref: Inverse Problems 29 (2013) 125001 (21pp)

Super-Resolution by Compressive Sensing Algorithms

Authors: A. Fannjiang, W. Liao

Abstract: In this work, super-resolution by 4 compressive sensing methods (OMP, BP, BLOOMP, BP-BLOT) with highly coherent partial Fourier measurements is comparatively studied. An alternative metric more suitable for gauging the quality of spike recovery is introduced and based on the concept of filtration with a parameter representing the level of tolerance for support offset. In terms of the filtered erro… ▽ More In this work, super-resolution by 4 compressive sensing methods (OMP, BP, BLOOMP, BP-BLOT) with highly coherent partial Fourier measurements is comparatively studied. An alternative metric more suitable for gauging the quality of spike recovery is introduced and based on the concept of filtration with a parameter representing the level of tolerance for support offset. In terms of the filtered error norm only BLOOMP and BP-BLOT can perform grid-independent recovery of well separated spikes of Rayleigh index 1 for arbitrarily large super-resolution factor. Moreover both BLOOMP and BP-BLOT can localize spike support within a few percent of the Rayleigh length. This is a weak form of super-resolution. Only BP-BLOT can achieve this feat for closely spaced spikes separated by a fraction of the Rayleigh length, a strong form of super-resolution. △ Less

Submitted 26 November, 2012; originally announced November 2012.

Comments: IEEE Proceeding Asilomar conference on signals, systems and computers. Nov. 4-7, 2012

Compressive Radar with Off-Grid Targets: A Perturbation Approach

Authors: Albert Fannjiang, Hsiao-Chieh Tseng

Abstract: Compressed sensing (CS) schemes are proposed for monostatic as well as synthetic aperture radar (SAR) imaging with chirped signals and Ultra-Narrowband (UNB) continuous waveforms. In particular, a simple, perturbation method is developed to reduce the gridding error for off-grid targets. A coherence bound is obtained for the resulting measurement matrix. A greedy pursuit algorithm, Support-Constra… ▽ More Compressed sensing (CS) schemes are proposed for monostatic as well as synthetic aperture radar (SAR) imaging with chirped signals and Ultra-Narrowband (UNB) continuous waveforms. In particular, a simple, perturbation method is developed to reduce the gridding error for off-grid targets. A coherence bound is obtained for the resulting measurement matrix. A greedy pursuit algorithm, Support-Constrained Orthogonal Matching Pursuit (SCOMP), is proposed to take advantage of the support constraint in the perturbation formulation and proved to have the capacity of determining the off-grid targets to the grid accuracy under favorable conditions. Alternatively, the Locally Optimized Thresholding (LOT) is proposed to enhance the performance of the CS method, Basis Pursuit (BP). For the advantages of higher signal-to-noise ratio and signal-to-interference ratio, it is proposed that Spotlight SAR imaging be implemented with CS techniques and multi-frequency UNB waveforms. Numerical simulations show promising results of the proposed approach and algorithms. △ Less

Submitted 11 April, 2013; v1 submitted 27 September, 2012; originally announced September 2012.

Comments: Inverse Problems (2013)

Phase Retrieval with Random Phase Illumination

Authors: Albert Fannjiang, Wenjing Liao

Abstract: This paper presents a detailed, numerical study on the performance of the standard phasing algorithms with random phase illumination (RPI). Phasing with high resolution RPI and the oversampling ratio $σ=4$ determines a unique phasing solution up to a global phase factor. Under this condition, the standard phasing algorithms converge rapidly to the true solution without stagnation. Excellent approx… ▽ More This paper presents a detailed, numerical study on the performance of the standard phasing algorithms with random phase illumination (RPI). Phasing with high resolution RPI and the oversampling ratio $σ=4$ determines a unique phasing solution up to a global phase factor. Under this condition, the standard phasing algorithms converge rapidly to the true solution without stagnation. Excellent approximation is achieved after a small number of iterations, not just with high resolution but also low resolution RPI in the presence of additive as well multiplicative noises. It is shown that RPI with $σ=2$ is sufficient for phasing complex-valued images under a sector condition and $σ=1$ for phasing nonnegative images. The Error Reduction algorithm with RPI is proved to converge to the true solution under proper conditions. △ Less

Submitted 5 June, 2012; originally announced June 2012.

TV-min and Greedy Pursuit for Constrained Joint Sparsity and Application to Inverse Scattering

Authors: Albert Fannjiang

Abstract: This paper proposes a general framework for compressed sensing of constrained joint sparsity (CJS) which includes total variation minimization (TV-min) as an example. TV- and 2-norm error bounds, independent of the ambient dimension, are derived for the CJS version of Basis Pursuit and Orthogonal Matching Pursuit. As an application the results extend Cand`es, Romberg and Tao's proof of exact recov… ▽ More This paper proposes a general framework for compressed sensing of constrained joint sparsity (CJS) which includes total variation minimization (TV-min) as an example. TV- and 2-norm error bounds, independent of the ambient dimension, are derived for the CJS version of Basis Pursuit and Orthogonal Matching Pursuit. As an application the results extend Cand`es, Romberg and Tao's proof of exact recovery of piecewise constant objects with noiseless incomplete Fourier data to the case of noisy data. △ Less

Submitted 19 December, 2012; v1 submitted 16 May, 2012; originally announced May 2012.

Comments: Mathematics and Mechanics of Complex Systems (2013)

MSC Class: 94A08; 68U10

Absolute Uniqueness of Phase Retrieval with Random Illumination

Authors: Albert Fannjiang

Abstract: Random illumination is proposed to enforce absolute uniqueness and resolve all types of ambiguity, trivial or nontrivial, from phase retrieval. Almost sure irreducibility is proved for any complex-valued object of a full rank support. While the new irreducibility result can be viewed as a probabilistic version of the classical result by Bruck, Sodin and Hayes, it provides a novel perspective and a… ▽ More Random illumination is proposed to enforce absolute uniqueness and resolve all types of ambiguity, trivial or nontrivial, from phase retrieval. Almost sure irreducibility is proved for any complex-valued object of a full rank support. While the new irreducibility result can be viewed as a probabilistic version of the classical result by Bruck, Sodin and Hayes, it provides a novel perspective and an effective method for phase retrieval. In particular, almost sure uniqueness, up to a global phase, is proved for complex-valued objects under general two-point conditions. Under a tight sector constraint absolute uniqueness is proved to hold with probability exponentially close to unity as the object sparsity increases. Under a magnitude constraint with random amplitude illumination, uniqueness modulo global phase is proved to hold with probability exponentially close to unity as object sparsity increases. For general complex-valued objects without any constraint, almost sure uniqueness up to global phase is established with two sets of Fourier magnitude data under two independent illuminations. Numerical experiments suggest that random illumination essentially alleviates most, if not all, numerical problems commonly associated with the standard phasing algorithms. △ Less

Submitted 20 July, 2012; v1 submitted 23 October, 2011; originally announced October 2011.

Comments: 21 pages, 7 figures

Journal ref: Inverse Problems 28 (2012) 075008

Mismatch and resolution in compressive imaging

Authors: Albert Fannjiang, Wenjing Liao

Abstract: Highly coherent sensing matrices arise in discretization of continuum problems such as radar and medical imaging when the grid spacing is below the Rayleigh threshold as well as in using highly coherent, redundant dictionaries as sparsifying operators. Algorithms (BOMP, BLOOMP) based on techniques of band exclusion and local optimization are proposed to enhance Orthogonal Matching Pursuit (OMP) an… ▽ More Highly coherent sensing matrices arise in discretization of continuum problems such as radar and medical imaging when the grid spacing is below the Rayleigh threshold as well as in using highly coherent, redundant dictionaries as sparsifying operators. Algorithms (BOMP, BLOOMP) based on techniques of band exclusion and local optimization are proposed to enhance Orthogonal Matching Pursuit (OMP) and deal with such coherent sensing matrices. BOMP and BLOOMP have provably performance guarantee of reconstructing sparse, widely separated objects {\em independent} of the redundancy and have a sparsity constraint and computational cost similar to OMP's. Numerical study demonstrates the effectiveness of BLOOMP for compressed sensing with highly coherent, redundant sensing matrices. △ Less

Submitted 16 September, 2011; v1 submitted 3 September, 2011; originally announced September 2011.

Comments: Figure 5 revised

Compressive Imaging of Subwavelength Structures II. Periodic Rough Surfaces

Authors: Albert Fannjiang, Hsiao-Chieh Tseng

Abstract: A compressed sensing scheme for near-field imaging of corrugations of relative sparse Fourier components is proposed. The scheme employs random sparse measurement of near field to recover the angular spectrum of the scattered field. It is shown heuristically and numerically that under the Rayleigh hypothesis the angular spectrum is compressible and amenable to compressed sensing techniques. Iter… ▽ More A compressed sensing scheme for near-field imaging of corrugations of relative sparse Fourier components is proposed. The scheme employs random sparse measurement of near field to recover the angular spectrum of the scattered field. It is shown heuristically and numerically that under the Rayleigh hypothesis the angular spectrum is compressible and amenable to compressed sensing techniques. Iteration schemes are developed for recovering the surface profile from the angular spectrum. The proposed nonlinear least squares in the Fourier basis produces accurate reconstructions even when the Rayleigh hypothesis is known to be false. △ Less

Submitted 30 August, 2011; originally announced August 2011.

Coherence-Pattern Guided Compressive Sensing with Unresolved Grids

Authors: A. Fannjiang, W. Liao

Abstract: Highly coherent sensing matrices arise in discretization of continuum imaging problems such as radar and medical imaging when the grid spacing is below the Rayleigh threshold. Algorithms based on techniques of band exclusion (BE) and local optimization (LO) are proposed to deal with such coherent sensing matrices. These techniques are embedded in the existing compressed sensing algorithms such a… ▽ More Highly coherent sensing matrices arise in discretization of continuum imaging problems such as radar and medical imaging when the grid spacing is below the Rayleigh threshold. Algorithms based on techniques of band exclusion (BE) and local optimization (LO) are proposed to deal with such coherent sensing matrices. These techniques are embedded in the existing compressed sensing algorithms such as Orthogonal Matching Pursuit (OMP), Subspace Pursuit (SP), Iterative Hard Thresholding (IHT), Basis Pursuit (BP) and Lasso, and result in the modified algorithms BLOOMP, BLOSP, BLOIHT, BP-BLOT and Lasso-BLOT, respectively. Under appropriate conditions, it is proved that BLOOMP can reconstruct sparse, widely separated objects up to one Rayleigh length in the Bottleneck distance {\em independent} of the grid spacing. One of the most distinguishing attributes of BLOOMP is its capability of dealing with large dynamic ranges. The BLO-based algorithms are systematically tested with respect to four performance metrics: dynamic range, noise stability, sparsity and resolution. With respect to dynamic range and noise stability, BLOOMP is the best performer. With respect to sparsity, BLOOMP is the best performer for high dynamic range while for dynamic range near unity BP-BLOT and Lasso-BLOT with the optimized regularization parameter have the best performance. In the noiseless case, BP-BLOT has the highest resolving power up to certain dynamic range. The algorithms BLOSP and BLOIHT are good alternatives to BLOOMP and BP/Lasso-BLOT: they are faster than both BLOOMP and BP/Lasso-BLOT and shares, to a lesser degree, BLOOMP's amazing attribute with respect to dynamic range. Detailed comparisons with existing algorithms such as Spectral Iterative Hard Thresholding (SIHT) and the frame-adapted BP are given. △ Less

Submitted 25 June, 2011; originally announced June 2011.

Exact Localization and Superresolution with Noisy Data and Random Illumination

Authors: Albert Fannjiang

Abstract: This paper studies the problem of exact localization of sparse (point or extended) objects with noisy data. The crux of the proposed approach consists of random illumination. Several recovery methods are analyzed: the Lasso, BPDN and the One-Step Thresholding (OST). For independent random probes, it is shown that both recovery methods can localize exactly $s=\cO(m)$, up to a logarithmic factor, ob… ▽ More This paper studies the problem of exact localization of sparse (point or extended) objects with noisy data. The crux of the proposed approach consists of random illumination. Several recovery methods are analyzed: the Lasso, BPDN and the One-Step Thresholding (OST). For independent random probes, it is shown that both recovery methods can localize exactly $s=\cO(m)$, up to a logarithmic factor, objects where $m$ is the number of data. Moreover, when the number of random probes is large the Lasso with random illumination has a performance guarantee for superresolution, beating the Rayleigh resolution limit. Numerical evidence confirms the predictions and indicates that the performance of the Lasso is superior to that of the OST for the proposed set-up with random illumination. △ Less

Submitted 26 February, 2011; v1 submitted 18 August, 2010; originally announced August 2010.

Comments: 28pages, 11 figures; fix minor errors of v1; add a new section on extended objects and a few figures

The MUSIC Algorithm for Sparse Objects: A Compressed Sensing Analysis

Authors: Albert C. Fannjiang

Abstract: The MUSIC algorithm, with its extension for imaging sparse {\em extended} objects, is analyzed by compressed sensing (CS) techniques. The notion of restricted isometry property (RIP) and an upper bound on the restricted isometry constant (RIC) are employed to establish sufficient conditions for the exact localization by MUSIC with or without the presence of noise. In the noiseless case, the suffic… ▽ More The MUSIC algorithm, with its extension for imaging sparse {\em extended} objects, is analyzed by compressed sensing (CS) techniques. The notion of restricted isometry property (RIP) and an upper bound on the restricted isometry constant (RIC) are employed to establish sufficient conditions for the exact localization by MUSIC with or without the presence of noise. In the noiseless case, the sufficient condition gives an upper bound on the numbers of random sampling and incident directions necessary for exact localization. In the noisy case, the sufficient condition assumes additionally an upper bound for the noise-to-object ratio in terms of the RIC and the condition number of objects. Rigorous comparison of performance between MUSIC and the CS minimization principle, Lasso, is given. In general, the MUSIC algorithm guarantees to recover, with high probability, $s$ scatterers with $n=\cO(s^2)$ random sampling and incident directions and sufficiently high frequency. For the favorable imaging geometry where the scatterers are distributed on a transverse plane MUSIC guarantees to recover, with high probability, $s$ scatterers with a median frequency and $n=\cO(s)$ random sampling/incident directions. Numerical results confirm that the Lasso outperforms MUSIC in the well-resolved case while the opposite is true for the under-resolved case. The latter effect indicates the superresolution capability of the MUSIC algorithm. Another advantage of MUSIC over the Lasso as applied to imaging is the former's flexibility with grid spacing and guarantee of {\em approximate} localization of sufficiently separated objects in an arbitrarily fine grid. The error can be bounded from above by $\cO(λs)$ for general configurations and $\cO(λ)$ for objects distributed in a transverse plane. △ Less

Submitted 8 November, 2010; v1 submitted 8 June, 2010; originally announced June 2010.

Comments: Strengthen and in some cases simplify the results in v.2

MSC Class: 74G75

Compressive Inverse Scattering II. SISO Measurements with Born scatterers

Authors: Albert C. Fannjiang

Abstract: Inverse scattering methods capable of compressive imaging are proposed and analyzed. The methods employ randomly and repeatedly (multiple-shot) the single-input-single-output (SISO) measurements in which the probe frequencies, the incident and the sampling directions are related in a precise way and are capable of recovering exactly scatterers of sufficiently low sparsity. For point targets, v… ▽ More Inverse scattering methods capable of compressive imaging are proposed and analyzed. The methods employ randomly and repeatedly (multiple-shot) the single-input-single-output (SISO) measurements in which the probe frequencies, the incident and the sampling directions are related in a precise way and are capable of recovering exactly scatterers of sufficiently low sparsity. For point targets, various sampling techniques are proposed to transform the scattering matrix into the random Fourier matrix. The results for point targets are then extended to the case of localized extended targets by interpolating from grid points. In particular, an explicit error bound is derived for the piece-wise constant interpolation which is shown to be a practical way of discretizing localized extended targets and enabling the compressed sensing techniques. For distributed extended targets, the Littlewood-Paley basis is used in analysis. A specially designed sampling scheme then transforms the scattering matrix into a block-diagonal matrix with each block being the random Fourier matrix corresponding to one of the multiple dyadic scales of the extended target. In other words by the Littlewood-Paley basis and the proposed sampling scheme the different dyadic scales of the target are decoupled and therefore can be reconstructed scale-by-scale by the proposed method. Moreover, with probes of any single frequency $\om$ the coefficients in the Littlewood-Paley expansion for scales up to $\om/(2π)$ can be exactly recovered. △ Less

Submitted 4 January, 2010; v1 submitted 27 August, 2009; originally announced August 2009.

Comments: Add a new section (Section 3) on localized extended targets

Compressive Inverse Scattering I. High Frequency SIMO Measurements

Authors: Albert C. Fannjiang

Abstract: Inverse scattering from discrete targets with the single-input-multiple-output (SIMO), multiple-input-single-output (MISO) or multiple-input-multiple-output (MIMO) measurements is analyzed by compressed sensing theory with and without the Born approximation. High frequency analysis of (probabilistic) recoverability by the $L^1$-based minimization/regularization principles is presented. In the ab… ▽ More Inverse scattering from discrete targets with the single-input-multiple-output (SIMO), multiple-input-single-output (MISO) or multiple-input-multiple-output (MIMO) measurements is analyzed by compressed sensing theory with and without the Born approximation. High frequency analysis of (probabilistic) recoverability by the $L^1$-based minimization/regularization principles is presented. In the absence of noise, it is shown that the $L^1$-based solution can recover exactly the target of sparsity up to the dimension of the data either with the MIMO measurement for the Born scattering or with the SIMO/MISO measurement for the exact scattering. The stability with respect to noisy data is proved for weak or widely separated scatterers. Reciprocity between the SIMO and MISO measurements is analyzed. Finally a coherence bound (and the resulting recoverability) is proved for diffraction tomography with high-frequency, few-view and limited-angle SIMO/MISO measurements. △ Less

Submitted 17 January, 2010; v1 submitted 30 June, 2009; originally announced June 2009.

Comments: A new section on diffraction tomography added; typos fixed; new figures added

Compressive Imaging of Subwavelength Structures

Authors: Albert C. Fannjiang

Abstract: The problem of imaging extended targets (sources or scatterers) is formulated in the framework of compressed sensing with emphasis on subwavelength resolution. The proposed formulation of the problems of inverse source/scattering is essentially exact and leads to the random partial Fourier measurement matrix. In the case of square-integrable targets, the proposed sampling scheme in the Littlew… ▽ More The problem of imaging extended targets (sources or scatterers) is formulated in the framework of compressed sensing with emphasis on subwavelength resolution. The proposed formulation of the problems of inverse source/scattering is essentially exact and leads to the random partial Fourier measurement matrix. In the case of square-integrable targets, the proposed sampling scheme in the Littlewood-Paley wavelet basis block-diagonalizes the scattering matrix with each block in the form of random partial Fourier matrix corresponding to each dyadic scale of the target. The resolution issue is analyzed from two perspectives: stability and the signal-to-noise ratio (SNR). The subwavelength modes are shown to be typically unstable. The stability in the subwavelength modes requires additional techniques such as near-field measurement or illumination. The number of the stable modes typically increases as the negative $d$-th (the dimension of the target) power of the distance between the target and the sensors/source. The resolution limit is shown to be inversely proportional to the SNR in the high SNR limit. Numerical simulations are provided to validate the theoretical predictions. △ Less

Submitted 15 September, 2009; v1 submitted 18 May, 2009; originally announced May 2009.

Comments: A new section on imaging with Littlewood-Paley basis is added

Compressed Remote Sensing of Sparse Objects

Authors: Albert Fannjiang, Pengchong Yan, Thomas Strohmer

Abstract: The linear inverse source and scattering problems are studied from the perspective of compressed sensing, in particular the idea that sufficient incoherence and sparsity guarantee uniqueness of the solution. By introducing the sensor as well as target ensembles, the maximum number of recoverable targets is proved to be at least proportional to the number of measurement data modulo a log-square f… ▽ More The linear inverse source and scattering problems are studied from the perspective of compressed sensing, in particular the idea that sufficient incoherence and sparsity guarantee uniqueness of the solution. By introducing the sensor as well as target ensembles, the maximum number of recoverable targets is proved to be at least proportional to the number of measurement data modulo a log-square factor with overwhelming probability. Important contributions of the analysis include the discoveries of the threshold aperture, consistent with the classical Rayleigh criterion, and the decoherence effect induced by random antenna locations. The prediction of theorems are confirmed by numerical simulations. △ Less

Submitted 19 May, 2009; v1 submitted 25 April, 2009; originally announced April 2009.

On time reversal mirrors

Authors: Albert C. Fannjiang

Abstract: The concept of time reversal (TR) of scalar wave is reexamined from basic principles. Five different time reversal mirrors (TRM) are introduced and their relations are analyzed. For the boundary behavior, it is shown that for paraxial wave only the monopole TR scheme satisfies the exact boundary condition while for spherical wave only one of the mixed mode TR scheme, after multiplication by two,… ▽ More The concept of time reversal (TR) of scalar wave is reexamined from basic principles. Five different time reversal mirrors (TRM) are introduced and their relations are analyzed. For the boundary behavior, it is shown that for paraxial wave only the monopole TR scheme satisfies the exact boundary condition while for spherical wave only one of the mixed mode TR scheme, after multiplication by two, satisfies the exact boundary condition. The asymptotic analysis of the near-field focusing property is presented. It is shown that to have a subwavelength focal spot the TRM should involve dipole fields. The monopole TR is extremely ineffective to focus below wavelength as the focal spot size decreases logarithmically with the distance between the source and TRM. Contrary to the matched field processing and the phase processor, both of which resemble TR, TR in a weak- or non-scattering medium is usually biased in the longitudinal direction, especially when TR is carried out on a {\em single} plane with a {finite} aperture. This is true for all five TR schemes. On the other hand, the TR focal spot has been shown repeatedly in the literature, both theoretically and experimentally, to be centered at the source point when the medium is multiply scattering. A reconciliation of the two seemingly conflicting results is found in the random fluctuations in the intensity of the Green function for a multiply scattering medium and the notion of scattering-enlarged effective aperture. △ Less

Submitted 10 July, 2009; v1 submitted 2 November, 2008; originally announced November 2008.

Mutual Coherence of Polarized Light in Disordered Media: Two-Frequency Method Extended

Authors: Albert C. Fannjiang

Abstract: The paper addresses the two-point correlations of electromagnetic waves in general random, bi-anisotropic media whose constitutive tensors are complex Hermitian, positive- or negative-definite matrices. A simplified version of the two-frequency Wigner distribution (2f-WD) for polarized waves is introduced and the closed form Wigner-Moyal equation is derived from the Maxwell equations. In the wea… ▽ More The paper addresses the two-point correlations of electromagnetic waves in general random, bi-anisotropic media whose constitutive tensors are complex Hermitian, positive- or negative-definite matrices. A simplified version of the two-frequency Wigner distribution (2f-WD) for polarized waves is introduced and the closed form Wigner-Moyal equation is derived from the Maxwell equations. In the weak-disorder regime with an arbitrarily varying background the two-frequency radiative transfer (2f-RT) equations for the associated $2\times 2$ coherence matrices are derived from the Wigner-Moyal equation by using the multiple scale expansion. In birefringent media, the coherence matrix becomes a scalar and the 2f-RT equations take the scalar form due to the absence of depolarization. A paraxial approximation is developed for spatialy anisotropic media. Examples of isotropic, chiral, uniaxial and gyrotropic media are discussed. △ Less

Submitted 1 October, 2007; v1 submitted 29 August, 2007; originally announced August 2007.

Journal ref: Journal of Physics A.: Math. Theor. (2007)

Two-Frequency Radiative Transfer. II: Maxwell Equations in Random Dielectrics

Authors: Albert C. Fannjiang

Abstract: The paper addresses the space-frequency correlations of electromagnetic waves in general random, bi-anisotropic media whose constitutive tensors are complex Hermitian matrices. The two-frequency Wigner distribution (2f-WD) for polarized waves is introduced to describe the space-frequency correlations and the closed form Wigner-Moyal equation is derived from the Maxwell equations. Two-frequency r… ▽ More The paper addresses the space-frequency correlations of electromagnetic waves in general random, bi-anisotropic media whose constitutive tensors are complex Hermitian matrices. The two-frequency Wigner distribution (2f-WD) for polarized waves is introduced to describe the space-frequency correlations and the closed form Wigner-Moyal equation is derived from the Maxwell equations. Two-frequency radiative transfer (2f-RT) equations is then derived from the Wigner-Moyal equation by using the multiple scale expansion. For the simplest isotropic medium, the result coincides with Chandrasekhar's transfer equation. In birefringent media, the 2f-RT equations take the scalar form due to the absence of depolarization. A number of birefringent media such as the chiral, uniaxial and gyrotropic media are examined. For the unpolarized wave in the isotropic medium the 2f-RT equations reduces to the Fokker-Planck equation previously derived in Part I. A similar Fokker-Planck equation is derived from the scalar 2f-RT equation for the birefringent media. △ Less

Submitted 1 October, 2007; v1 submitted 10 July, 2007; originally announced July 2007.

Comments: Change certain notations throughout the paper

Journal ref: Journal of Optical Society of America A (2007)

Space-frequency correlation of classical waves in disordered media: high-frequency and small scale asymptotics

Authors: Albert C. Fannjiang

Abstract: Two-frequency radiative transfer (2f-RT) theory is developed for geometrical optics in random media. The space-frequency correlation is described by the two-frequency Wigner distribution (2f-WD) which satisfies a closed form equation, the two-frequency Wigner-Moyal equation. In the RT regime it is proved rigorously that 2f-WD satisfies a Fokker-Planck-like equation with complex-valued coefficien… ▽ More Two-frequency radiative transfer (2f-RT) theory is developed for geometrical optics in random media. The space-frequency correlation is described by the two-frequency Wigner distribution (2f-WD) which satisfies a closed form equation, the two-frequency Wigner-Moyal equation. In the RT regime it is proved rigorously that 2f-WD satisfies a Fokker-Planck-like equation with complex-valued coefficients. By dimensional analysis 2f-RT equation yields the scaling behavior of three physical parameters: the spatial spread, the coherence length and the coherence bandwidth. The sub-transport-mean-free-path behavior is obtained in a closed form by analytically solving a paraxial 2f-RT equation. △ Less

Submitted 25 June, 2007; originally announced June 2007.

Two-Frequency Radiative Transfer and Asymptotic Solution

Authors: Albert C. Fannjiang

Abstract: Two-frequency radiative transfer (2f-RT) theory is developed for classical waves in random media. Depending on the ratio of the wavelength to the scale of medium fluctuation 2f-RT equation is either a Boltzmann-like integral equation with a complex-valued kernel or a Fokker-Planck-like differential equation with complex-valued coefficients in the phase space. The 2f-RT equation is used to estima… ▽ More Two-frequency radiative transfer (2f-RT) theory is developed for classical waves in random media. Depending on the ratio of the wavelength to the scale of medium fluctuation 2f-RT equation is either a Boltzmann-like integral equation with a complex-valued kernel or a Fokker-Planck-like differential equation with complex-valued coefficients in the phase space. The 2f-RT equation is used to estimate three physical parameters: the spatial spread, the coherence length and the coherence bandwidth (Thouless frequency). A closed form solution is given for the boundary layer behavior of geometrical radiative transfer and shows highly nontrivial dependence of mutual coherence on the spatial displacement and frequency difference. It is shown that the paraxial form of 2f-RT arises naturally in anisotropic media which fluctuate slowly in the longitudinal direction. △ Less

Submitted 24 April, 2007; v1 submitted 17 October, 2006; originally announced October 2006.

Comments: Typos corrected

Journal ref: Journal of Optical Society of America A Vol. 24, No. 8/August 2007

Self-Averaging Scaling Limits of Two-Frequency Wigner Distribution for Random Paraxial Waves

Authors: Albert C. Fannjiang

Abstract: Two-frequency Wigner distribution is introduced to capture the asymptotic behavior of the space-frequency correlation of paraxial waves in the radiative transfer limits. The scaling limits give rises to deterministic transport-like equations. Depending on the ratio of the wavelength to the correlation length the limiting equation is either a Boltzmann-like integral equation or a Fokker-Planck-li… ▽ More Two-frequency Wigner distribution is introduced to capture the asymptotic behavior of the space-frequency correlation of paraxial waves in the radiative transfer limits. The scaling limits give rises to deterministic transport-like equations. Depending on the ratio of the wavelength to the correlation length the limiting equation is either a Boltzmann-like integral equation or a Fokker-Planck-like differential equation in the phase space. The solutions to these equations have a probabilistic representation which can be simulated by Monte Carlo method. When the medium fluctuates more rapidly in the longitudinal direction, the corresponding Fokker-Planck-like equation can be solved exactly. △ Less

Submitted 24 April, 2007; v1 submitted 22 September, 2006; originally announced September 2006.

Comments: typos corrected

Journal ref: J. Phys. A: Math. Theor. 40 (2007) 5025-5044

Radiative Transfer Limits of Two-Frequency Wigner Distribution for Random Parabolic Waves

Authors: Albert Fannjiang

Abstract: The present note establishes the self-averaging, radiative transfer limit for the two-frequency Wigner distribution for classical waves in random media. Depending on the ratio of the wavelength to the correlation length the limiting equation is either a Boltzmann-like integral equation or a Fokker-Planck-like differential equation in the phase space. The limiting equation is used to estimate thr… ▽ More The present note establishes the self-averaging, radiative transfer limit for the two-frequency Wigner distribution for classical waves in random media. Depending on the ratio of the wavelength to the correlation length the limiting equation is either a Boltzmann-like integral equation or a Fokker-Planck-like differential equation in the phase space. The limiting equation is used to estimate three physical parameters: the spatial spread, the coherence length and the coherence bandwidth. In the longitudinal case, the Fokker-Planck-like equation can be solved exactly. △ Less

Submitted 5 October, 2006; v1 submitted 22 September, 2006; originally announced September 2006.

Comments: typos corrected

Time Reversal Communication in Rayleigh-Fading Broadcast Channels with Pinholes

Authors: Albert Fannjiang

Abstract: The paper presents an analysis of the time reversal in independent-multipath Rayleigh-fading channels with $N$ inputs (transmitters) and $M$ outputs (receivers). The main issues addressed are the condition of statistical stability, the rate of information transfer and the effect of pinholes. The stability condition is proved to be $MC\ll N_{\rm eff}B$ for broadband channels and… ▽ More The paper presents an analysis of the time reversal in independent-multipath Rayleigh-fading channels with $N$ inputs (transmitters) and $M$ outputs (receivers). The main issues addressed are the condition of statistical stability, the rate of information transfer and the effect of pinholes. The stability condition is proved to be $MC\ll N_{\rm eff}B$ for broadband channels and $M\ll N_{\rm eff}$ for narrowband channels where $C$ is the symbol rate, $B$ is the bandwidth and $N_{\rm eff}$ is the {\em effective} number (maybe less than 1) of transmitters. It is shown that when the number of screens, $n-1$, is relatively low compared to the logarithm of numbers of pinholes $N_{\rm eff}$ is given by the {\em harmonic} (or {\em inverse}) {\em sum} of the number of transmitters and the numbers of pinholes at all screens. The novel idea of the effective number of time reversal array (TRA) elements is introduced to derive the stability condition and estimate the channel capacity in the presence of multi-screen pinholes. The information rate, under the constraints of the noise power $ν$ per unit frequency and the average total power $P$, attains the supremum $P/ν$ in the regime $M\wedge N_{\rm eff}\gg P/(νB)$. In particular, when $N_{\rm eff}\gg M\gg P/(Bν)$ the optimal information rate can be achieved with statistically stable, sharply focused signals. △ Less

Submitted 31 August, 2006; v1 submitted 4 December, 2005; originally announced December 2005.

Comments: Corrected typos and minor change of content

Journal ref: Physics Letters A 353 (2006) pp 389-397

Time Reversal Communication in Multi-Path Fading Channels with Pinholes

Authors: Albert Fannjiang

Abstract: The paper presents an analysis of the time reversal in multi-path Rayleigh-fading channels with $N$ inputs (transmitters) and $M$ outputs (receivers). The main issues addressed are the condition of statistical stability, the rate of information transfer and the effect of pinholes. The stability condition is proved to be $MC\ll N_{\rm eff}B$ for broadband channels and $M\ll N_{\rm eff}$ for nar… ▽ More The paper presents an analysis of the time reversal in multi-path Rayleigh-fading channels with $N$ inputs (transmitters) and $M$ outputs (receivers). The main issues addressed are the condition of statistical stability, the rate of information transfer and the effect of pinholes. The stability condition is proved to be $MC\ll N_{\rm eff}B$ for broadband channels and $M\ll N_{\rm eff}$ for narrowband channels where $C$ is the symbol rate, $B$ is the bandwidth and $N_{\rm eff}$ is the {\em effective} number of transmitters. It is shown that when the number of layers, $n-1$, is relatively low compared to the logarithm of numbers of pinholes $N_{\rm eff}$ is given by $n^{-1}$ times the harmonic mean of the number of transmitters and the numbers of pinholes at all layers. On the other hand, when the number of layers is relatively large the effective number of pinholes diminishes exponentially. The energy efficiency is shown to be optimal when the power supply is set to the noise level times $BN_{\rm eff}$ and that the maximal information rate is roughly $BN_{\rm eff}$ when the stability condition is violated. △ Less

Submitted 17 September, 2005; originally announced September 2005.

Time Reversal of Broadband Signals in a Strongly Fluctuating MIMO Channel: Stability and Resolution

Authors: Albert Fannjiang

Abstract: We analyze the time reversal of a multiple-input-multiple-output (MIMO) system in a space-frequency-selective multi-path fading channel described by the stochastic Schrödinger equation with a random potential in the strong-fluctuation regime. We prove that in a broadband limit the conditions for stable super-resolution are the {\em packing} condition that the spacing among the $N$ transmitters a… ▽ More We analyze the time reversal of a multiple-input-multiple-output (MIMO) system in a space-frequency-selective multi-path fading channel described by the stochastic Schrödinger equation with a random potential in the strong-fluctuation regime. We prove that in a broadband limit the conditions for stable super-resolution are the {\em packing} condition that the spacing among the $N$ transmitters and $M$ receivers be more than the coherence length $\ell_c$ and the consecutive symbols in the data-streams are separated by more than the inverse of the bandwidth $B^{-1}$ and the {\em multiplexing} condition that the number of the degrees of freedom per unit time at the transmitters ($\sim NB$) be much larger than the number of the degrees of freedom ($\sim MC$) per unit time in the ensemble of intended messages. Here $C$ is the number of symbols per unit time in the data-streams intended for each receiver. When the two conditions are met, all receivers receive simultaneously streams of statistically stable, sharply focused signals intended for them, free of fading and interference. This indicates the rough multiplexing gain of $NB$ in channel capacity, with the maximal gain per unit {\em angular} cross section given by $BL^d \ell_c^{-d}$ where $L$ is the distance from the transmitters to the receivers. We show that under the ideal packing condition time reversal can result in a high signal-to-interference ratio and low probability of intercept, and hence is an effective means for achieving the information capacity of multi-path channels in the presence of multiple users (receivers). △ Less

Submitted 17 September, 2005; originally announced September 2005.

Journal ref: Nonlinearity 19 (2006) 2425-2439.

Quenching of Reaction by Cellular Flows

Authors: A. Fannjiang, A. Kiselev, L. Ryzhik

Abstract: We consider a reaction-diffusion equation in a cellular flow. We prove that in the strong flow regime there are two possible scenario for the initial data that is compactly supported and the size of the support is large enough. If the flow cells are large compared to the reaction length scale, propagating fronts will always form. For the small cell size, any finitely supported initial data will… ▽ More We consider a reaction-diffusion equation in a cellular flow. We prove that in the strong flow regime there are two possible scenario for the initial data that is compactly supported and the size of the support is large enough. If the flow cells are large compared to the reaction length scale, propagating fronts will always form. For the small cell size, any finitely supported initial data will be quenched by a sufficiently strong flow. We estimate that the flow amplitude required to quench the initial data of support $L_0$ is $A>CL_0^4\ln(L_0)$. The essence of the problem is the question about the decay of the $L^\infty$ norm of a solution to the advection-diffusion equation, and the relation between this rate of decay and the properties of the Hamiltonian system generated by the two-dimensional incompressible fluid flow. △ Less

Submitted 30 May, 2005; originally announced May 2005.

Nonlinear Schrödinger Equation with a White-Noise Potential: Phase-space Approach to Spread and Singularity

Authors: Albert C. Fannjiang

Abstract: We propose a phase-space formulation for the nonlinear Schrödinger equation with a white-noise potential in order to shed light on two issues: the rate of spread and the singularity formation in the average sense. Our main tools are the energy law and the variance identity. The method is completely elementary. For the problem of wave spread, we show that the ensemble-averaged dispersion in the… ▽ More We propose a phase-space formulation for the nonlinear Schrödinger equation with a white-noise potential in order to shed light on two issues: the rate of spread and the singularity formation in the average sense. Our main tools are the energy law and the variance identity. The method is completely elementary. For the problem of wave spread, we show that the ensemble-averaged dispersion in the critical or defocusing case follows the cubic-in-time law while in the supercritical and subcritical focusing cases the cubic law becomes an upper and lower bounds respectively. We have also found that in the critical and supercritical focusing cases the presence of a white-noise random potential results in different conditions for singularity-with-positive-probability from the homogeneous case but does not prevent singularity formation. We show that in the supercritical focusing case the ensemble-averaged self-interaction energy and the momentum variance can exceed any fixed level in a finite time with positive probability. △ Less

Submitted 2 October, 2005; v1 submitted 27 March, 2005; originally announced March 2005.

Journal ref: Physica D, Volume 212, Issues 3-4, 2005, Pages 195-204

Phase Space Models for Stochastic Nonlinear Parabolic Waves: Wave Spread and Singularity

Authors: Albert Fannjiang

Abstract: We derive several kinetic equations to model the large scale, low Fresnel number behavior of the nonlinear Schrodinger (NLS) equation with a rapidly fluctuating random potential. There are three types of kinetic equations the longitudinal, the transverse and the longitudinal with friction. For these nonlinear kinetic equations we address two problems: the rate of dispersion and the singularity f… ▽ More We derive several kinetic equations to model the large scale, low Fresnel number behavior of the nonlinear Schrodinger (NLS) equation with a rapidly fluctuating random potential. There are three types of kinetic equations the longitudinal, the transverse and the longitudinal with friction. For these nonlinear kinetic equations we address two problems: the rate of dispersion and the singularity formation. For the problem of dispersion, we show that the kinetic equations of the longitudinal type produce the cubic-in-time law, that the transverse type produce the quadratic-in-time law and that the one with friction produces the linear-in-time law for the variance prior to any singularity. For the problem of singularity, we show that the singularity and blow-up conditions in the transverse case remain the same as those for the homogeneous NLS equation with critical or supercritical self-focusing nonlinearity, but they have changed in the longitudinal case and in the frictional case due to the evolution of the Hamiltonian. △ Less

Submitted 19 March, 2005; v1 submitted 9 March, 2005; originally announced March 2005.

Journal ref: Journal of Physics A.: Math. Gen. Vol 39 (2006), 11383-11398.

Superresolution and Duality for Time-Reversal of Waves in Self-Similar Media

Authors: Albert Fannjiang, Knut Solna

Abstract: We analyze the time reversal of waves in a turbulent medium using the parabolic Markovian model. We prove that the time reversal resolution can be a nonlinear function of the wavelength and independent of the aperture. We establish a duality relation between the turbulence-induced wave spread and the time-reversal resolution which can be viewed as an uncertainty inequality for random media. The… ▽ More We analyze the time reversal of waves in a turbulent medium using the parabolic Markovian model. We prove that the time reversal resolution can be a nonlinear function of the wavelength and independent of the aperture. We establish a duality relation between the turbulence-induced wave spread and the time-reversal resolution which can be viewed as an uncertainty inequality for random media. The inequality becomes an equality when the wave structure function is Gaussian. △ Less

Submitted 23 February, 2005; originally announced February 2005.

Relaxation Time of Quantized Toral Maps

Authors: A. Fannjiang, S. Nonnenmacher, L. Wolowski

Abstract: We introduce the notion of the relaxation time for noisy quantum maps on the 2d-dimensional torus - a generalization of previously studied dissipation time. We show that relaxation time is sensitive to the chaotic behavior of the corresponding classical system if one simultaneously considers the semiclassical limit ($\hbar$ -> 0) together with the limit of small noise strength ($\ep$ -> 0). Fo… ▽ More We introduce the notion of the relaxation time for noisy quantum maps on the 2d-dimensional torus - a generalization of previously studied dissipation time. We show that relaxation time is sensitive to the chaotic behavior of the corresponding classical system if one simultaneously considers the semiclassical limit ($\hbar$ -> 0) together with the limit of small noise strength ($\ep$ -> 0). Focusing on quantized smooth Anosov maps, we exhibit a semiclassical regime $\hbar<\ep^{E}$ << 1 (where E>1) in which classical and quantum relaxation times share the same asymptotics: in this regime, a quantized Anosov map relaxes to equilibrium fast, as the classical map does. As an intermediate result, we obtain rigorous estimates of the quantum-classical correspondence for noisy maps on the torus, up to times logarithmic in $\hbar^{-1}$. On the other hand, we show that in the ``quantum regime'' $\ep$ << $\hbar$ << 1, quantum and classical relaxation times behave very differently. In the special case of ergodic toral symplectomorphisms (generalized ``Arnold's cat'' maps), we obtain the exact asymptotics of the quantum relaxation time and precise the regime of correspondence between quantum and classical relaxations. △ Less

Submitted 3 March, 2005; v1 submitted 24 June, 2004; originally announced June 2004.

Comments: LaTeX, 27 pages, former term dissipation time replaced by relaxation time, new introduction and references

Report number: T04/083 MSC Class: 81Q50; 37D20; 46L57

Dissipation time and decay of correlations

Authors: A. Fannjiang, S. Nonnenmacher, L. Wolowski

Abstract: We consider the effect of noise on the dynamics generated by volume-preserving maps on a d-dimensional torus. The quantity we use to measure the irreversibility of the dynamics is the dissipation time. We focus on the asymptotic behaviour of this time in the limit of small noise. We derive universal lower and upper bounds for the dissipation time in terms of various properties of the map and its… ▽ More We consider the effect of noise on the dynamics generated by volume-preserving maps on a d-dimensional torus. The quantity we use to measure the irreversibility of the dynamics is the dissipation time. We focus on the asymptotic behaviour of this time in the limit of small noise. We derive universal lower and upper bounds for the dissipation time in terms of various properties of the map and its associated propagators: spectral properties, local expansivity, and global mixing properties. We show that the dissipation is slow for a general class of non-weakly-mixing maps; on the opposite, it is fast for a large class of exponentially mixing systems which include uniformly expanding maps and Anosov diffeomorphisms. △ Less

Submitted 10 May, 2004; v1 submitted 13 November, 2003; originally announced November 2003.

Comments: 26 Pages, LaTex. Submitted to Nonlinearity

MSC Class: 37D20;82C05

Journal ref: Nonlinearity 17 (4) 1481-1508 (2004)

Self-Averaged Scaling Limits for Random Parabolic Waves

Authors: Albert C. Fannjiang

Abstract: We consider 6 types of scaling limits for the Wigner-Moyal equation of the parabolic waves in random media, the limiting cases of which include the radiative transfer limit, the diffusion limit and the white-noise limit. We show under fairly general assumptions on the random refractive index field that sufficient amount of medium diversity (thus excluding the white-noise limit) leads to statisti… ▽ More We consider 6 types of scaling limits for the Wigner-Moyal equation of the parabolic waves in random media, the limiting cases of which include the radiative transfer limit, the diffusion limit and the white-noise limit. We show under fairly general assumptions on the random refractive index field that sufficient amount of medium diversity (thus excluding the white-noise limit) leads to statistical stability or self-averaging in the sense that the limiting law is deterministic and is governed by various transport equations depending on the specific scaling involved. We obtain 6 different radiative transfer equations as limits. △ Less

Submitted 4 February, 2004; v1 submitted 30 May, 2003; originally announced June 2003.

Journal ref: Archives of Rational Mechanics and Analysis 175:3 (2005), pp. 343 - 387