This paper considers recovering @math -dimensional vectors @math , and @math from their circular convolutions @math . The vector @math is assumed to be @math -sparse in a known basis that is spread out in the Fourier domain, and each input @math is a member of a known @math -dimensional random subspace. We prove that whenever @math , the problem can be solved effectively by using only the nuclear-norm minimization as the convex relaxation, as long as the inputs are sufficiently diverse and obey @math . By "diverse inputs", we mean that the @math 's belong to different, generic subspaces. To our knowledge, this is the first theoretical result on blind deconvolution where the subspace to which @math belongs is not fixed, but needs to be determined. We discuss the result in the context of multipath channel estimation in wireless communications. Both the fading coefficients, and the delays in the channel impulse response @math are unknown. The encoder codes the @math -dimensional message vectors randomly and then transmits coded messages @math 's over a fixed channel one after the other. The decoder then discovers all of the messages and the channel response when the number of samples taken for each received message are roughly greater than @math , and the number of messages is roughly at least @math .
A natural question that arises is whether multiple ( @math ) inputs @math 's are necessary in our problem to identify @math in . The answer is no in this specific case as even in the single input case @math , under the same random subspace assumption on @math , and replacing the nuclear norm in with the standard @math norm (sum of absolute entries) will separate @math , and @math , however, the sample complexity @math will be suboptimal, and of the order of @math to within log factors. In the general single input case; under no random subspace assumption on @math , it is shown in @cite_23 that @math , and @math are not identifiable from @math .
@cite_23
2014814922
Identifiability is a key concern in ill-posed blind deconvolution problems arising in wireless communications and image processing. The single channel version of the problem is the most challenging and there have been efforts to use sparse models for regularizing the problem. Identifiability of the sparse blind deconvolution problem is analyzed and it is established that a simple sparsity assumption in the canonical basis is insufficient for unique recovery; a surprising negative result. The proof technique involves lifting the deconvolution problem into a rank one matrix recovery problem and analyzing the rank two nullspace of the resultant linear operator. A DoF (degrees of freedom) wise tight parametrized subset of this rank two null-space is constructed to establish the results.