The block mutual coherence property condition for signal recovery

06/11/2020 ∙ by Jianwen Huang, et al. ∙ Southwest University NetEase, Inc 0

Compressed sensing shows that a sparse signal can stably be recovered from incomplete linear measurements. But, in practical applications, some signals have additional structure, where the nonzero elements arise in some blocks. We call such signals as block-sparse signals. In this paper, the ℓ_2/ℓ_1-αℓ_2 minimization method for the stable recovery of block-sparse signals is investigated. Sufficient conditions based on block mutual coherence property and associating upper bound estimations of error are established to ensure that block-sparse signals can be stably recovered in the presence of noise via the ℓ_2/ℓ_1-αℓ_2 minimization method. For all we know, it is the first block mutual coherence property condition of stably reconstructing block-sparse signals by the ℓ_2/ℓ_1-αℓ_2 minimization method.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

Compressed sensing (CS) is a novel genre of sampling theory, which has attracted a large number of attention in different areas including applied mathematics, machine learning, pattern recognition, image processing, and so forth. The sparsity of signal is elementary precondition of compressed sensing. In general, one thinks over the model as follows:

(1.1)

where is an measurement matrix () and

is a vector of measurement errors. The aim is to reconstruct the unknown signal

based on and .

Now we all understand that the minimization method presents an efficient approach for recovery of the sparse signal in numerous scenarios. The minimization problem in this settings is

(1.2)

In the noisefree situation, we get . In the noisy situation, we can put [1] or , where stands for the conjugate transpose of the matrix [2]. Now it is well known that the problem of sparse signal recovery has been well investigated in the framework of the mutual coherence property introduced in [3]. Let

(1.3)

It has been shown that a sparse signal can been reconstructed by minimization with a small or zero error under some appropriate conditions regarding MIP[3] [1] [4] [5] [6]. In order to further enhance the reconstruction performance, Yin et al. [7] has recently proposed the approach (i.e., minimization method) as follows:

(1.4)

Additionally, Yin et al. conducted simulations to show that the method (1.4) behaves better than the method (1.2) in recovering sparse signals. Based on this fact, numerous researches [8] [9] [10] on the minimization approach have been developed. Besides, for recovering , the researchers [11] [12] proposed minimization method:

(1.5)

When , (1.5) degenerates to the minimization method (1.4).

However, in practical applications, there exist signals which have special structure form, where the nonzero coefficients appear in some blocks. Such structural signal we called block spare signal in this paper. Such structural sparse signals commonly arise in all kinds of applications, e.g. foetal electrocardiogram (FECG) [13], motion segmentation[15], color image [14], and reconstruction of multi-band signals [16] [17]. Without loss of generality, suppose that there exist blocks with block size in . Then, can be expressed as

(1.6)

where represents the th block of . We call a vector block -sparse signal if has at most nonzero blocks, i.e., Therefore, the measurement matrix can also be described as

(1.7)

where and respectively stand for the th column vector and th sub-block matrix of .

In this paper, we propose the following minimization to recover block sparse signal:

(1.8)

where . Furthermore, mixed norm . Observe that . When , (1.8) returns to minimization [18]. And when the block size , (1.8) reduces to the minimization (1.5).

In this paper, we study the block mutual coherence conditions for the stable recovery of signals with blocks structure from (1.6) via minimization in noise case. Sufficient conditions for stable signal reconstruction by minimization are established. Moreover, we also gain upper bound estimation of error concerning the recovery of block sparse signal. As far as we know, this is the first block mutual coherence based sufficient condition of stably reconstructing via solving (1.8).

The remainder of the paper is organized as follows. In, Section 2, we present some notations and lemmas that will be used. The main theoretical results and their proofs are given in Section 3. Finally, the conclusion is summarized in Section 4.

2 Preliminaries

In this section, we primarily present several lemmas to prove our main results. Before giving these lemmas, we first of all explain some symbols in this paper.

Notations: denotes block indices, is the complement of in . For any vector , denote to imply that maintains the blocks indexed by of and displaces other blocks by zero. represents the block support of . In addition, we often assume that , where is the solution of (1.8) and is the signal to be recovered.

Definition 2.1.

(block mutual coherence) Given matrix , we define its block mutual coherence as

(2.1)
Lemma 2.1.

([19], Lemma 3) For any block -sparse vector , we have

(2.2)
Lemma 2.2.

We have

(2.3)
Proof.

Recollect that . Since is a minimizer of (1.8), we get

By the reverse triangular inequality of , we get

Note that is block -sparse and , then

which brings about the result. ∎

3 Main results

With the preparations provided in Section , we establish the main results in this section-block mutual coherence conditions for the stable reconstruction of block -sparse signals. We will reveal that the measurement matrix satisfies the block mutual coherence property with , then every block -sparse signal can be stably reconstructed via the minimization method in presence of noise. We first think about stable reconstruction of block -sparse signals with -error.

Theorem 3.1.

Consider the model (1.1) with . Let be the solution of (1.8) with , and . Assume that is block -sparse with . Then fulfills

(3.1)

We then consider stable reconstructing of block -sparse signals with error in the bounded set .

Theorem 3.2.

Let be noisy measurement of a signal with . If the block -sparse signal obeys the block mutual coherence property with , then the solution of (1.8) with fulfills

(3.2)

Proof of Theorem 3.1.

Due to the feasibility of , we get

(3.3)

Notice that . It follows from the facts , for , and (2.2) that

(3.4)

On the other hand, by (2.2), we get

(3.5)

It follows from the Cauchy-Schwarz inequality, (3.3) and (3.5) that

(3.6)

Combining with (3) and , it implies

Then, one can easily check that

(3.7)

Because of the fact , for , we get

(3.8)

where (a) follows from (2.3), and (b) is due to the Cauchy-Schwarz inequality.

Next, we estimate (3.1) by discussing three cases: , , and . We first of all discuss the situation that . A combination of (3.3), (3.7) and (3), we get

The equation above can be adapted as

Therefore, due to , we get

Accordingly, by Quadratic Formula, we get

where (a) is from the fact for any nonnegative constants and , and (b) is because both and are monotonically reducing when .

In the case of , it follows from (3.3), (3.7) and (3) that

The above equation can be recast as

Owing to the condition of Theorem 3.1, , thereby,

By utilizing Quadratic Formula, we obtain

where (a) is from the fact that both and are monotonically descending when .

When , through (3.3), (3.7) and (3), we gain

The above equation can be reworded as

From , and when , hence

Consequently,

Proof of Theorem 3.2.

Notice that from the first portion of the proof of Theorem 3.1, we get

(3.9)

Employing the fact , where , we have

which combines with (3.9) and the condition , it leads to

Thus, it is easy to check that

(3.10)

By (3), we get

(3.11)

By (2.3), the fact that and Cauchy-Schwarz inequality, we get

which combines with (3.11), it implies that