 Research
 Open Access
 Published:
Adaptive recovery of dictionarysparse signals using binary measurements
EURASIP Journal on Advances in Signal Processing volumeÂ 2022, ArticleÂ number:Â 49 (2022)
Abstract
Onebit compressive sensing (CS) is an advanced version of sparse recovery in which the sparse signal of interest can be recovered from extremely quantized measurements. Namely, only the sign of each measure is available to us. The groundtruth signal is not sparse in many applications yet can be represented in a redundant dictionary. A strong line of research has addressed conventional CS in this signal model, including its extension to onebit measurements. However, onebit CS suffers from an extremely large number of required measurements to achieve a predefined reconstruction error level. A common alternative to resolve this issue is to exploit adaptive schemes. We utilize an adaptive sampling strategy to recover dictionarysparse signals from binary measurements in this work. A multidimensional threshold is proposed for this task to incorporate the previous signal estimates into the current sampling procedure. This strategy substantially reduces the required number of measurements for exact recovery. We show that the proposed algorithm considerably outperforms the stateoftheart approaches through rigorous and numerical analysis.
1 Introduction
Sampling a signal heavily depends on the prior information about the signal structure. For example, if one knows the signal of interest is bandlimited, the Nyquist sampling rate is sufficient for exact recovery. Signals with most of their coefficients equal to zero are called sparse. It has been observed that sparsity is a powerful assumption that significantly reduces the required number of measurements. The process of recovering a sparse signal from a small number of measurements is called compressed sensing (CS). In CS, the measurement vector is assumed to be a linear combination of the groundtruth signal, i.e.,
where \(\varvec{A}\in {\mathbb {R}}^{m\times N}\) is called the measurement matrix, and \(\varvec{x}\in {\mathbb {R}}^{N}\) is an unknown ssparse signal, i.e., it has at most s nonzero entries or \(\Vert \varvec{x}\Vert _{0} \le s\). Here, \(\left\ \cdot \right\ _{0}\) is the \(\ell _{0}\) norm which counts the number of nonzero elements.^{Footnote 1} It has been shown that \({\mathcal {O}}(s\log (\tfrac{N}{s}))\) measurements are sufficient to guarantee exact recovery of the signal, by solving the convex program:
with high probability (see [1, 2]).
Practical limitations force us to quantize the measurements in (1) as \(\varvec{y}={\mathcal {Q}}(\textit{{A x}})\) where \({\mathcal {Q}}:{\mathbb {R}}^m\rightarrow {\mathcal {A}}^m\) is a nonlinear operator that maps the measurements into a finite symbol alphabet \({\mathcal {A}}\). It is an interesting question to ask: What is the result of extreme quantization? [3] addressed this question: Signal reconstruction is still feasible using only onebit quantized measurements. In onebit compressed sensing, samples are taken as the sign of a linear transform of the signal \(\varvec{y}= {\text {sign}}\left( \varvec{A}\varvec{x}\right)\). This sampling scheme discards magnitude information. Therefore, we can only recover the direction of the signal. Fortunately, we can keep the amplitude information by using nonzero threshold. Thus, the new sampling scheme is \(\varvec{y}= [\text {sign}]\left( \varvec{A}\varvec{x}\varvec{\tau }\right)\) where \(\varvec{\tau }\) is the threshold vector. In our work, each element of \(\varvec{\tau }\) is generated via \(\tau _i \sim {\mathcal {N}} (0,1)\). While a great part of CS literature discusses sparse signals, most natural signals are dictionarysparse, i.e., sparse in a transform domain. For instance, sinusoidal signals and natural image are sparse in Fourier and wavelet domains, respectively [4,5,6,7]. This means that the signal of interest \(\varvec{f}\in {\mathbb {R}}^n\) can be expressed as \(\varvec{f}=\varvec{D x}\) where \(\varvec{D}\in {\mathbb {R}}^{n\times N}\) is a redundant dictionary with the constrain \(\varvec{DD}^{\mathrm{H}} = \varvec{I}\)^{Footnote 2} and \(\varvec{x}\in {\mathbb {R}}^N\) is a sparse vector. With this assumption, \(\varvec{y}=\varvec{Af}= \varvec{A D x}\) gives the measurement vector. A common approach for recovering such signals is to use the optimization problem
which is called \(\ell _1\) analysis problem [5, 6].
In this work, we investigate a more practical situation where the signal of interest \(\varvec{f}\) is effective sanalysissparse which means that \(\varvec{f}\) satisfies \(\Vert \varvec{D}^{\mathrm{H}}\varvec{f}\Vert _1\le \sqrt{s}\Vert \varvec{D}^{\mathrm{H}}\varvec{f}\Vert _2\). In fact, perfect dictionary sparsity is rarely satisfied in practice, since realworld signals of interest are only compressible in a domain. Our approach is adaptive which means that we incorporate previous signal estimates into the current sampling procedure. More explicitly, we solve the optimization problem
where \(\varvec{\varphi }\in {\mathbb {R}}^m\) is a vector of thresholds chosen adaptively based on previous estimations via AlgorithmÂ 1. We propose a strategy to find a best effective sanalysissparse approximation to a signal in \({\mathbb {R}}^n\).
1.1 Contributions
In this section, we state our novelties compared to the previous works. To highlight the contributions, we list them as below.

1
Proposing a novel algorithm for dictionarysparse signals: We introduce an adaptive thresholding algorithm for reconstructing dictionarysparse signals in case of binary measurements. The proposed algorithm provides accurate signal estimation even in case of redundant and coherent dictionaries. The required number of onebit measurements considerably outperforms the nonadaptive approach used in [8].

2
Exponential decay of reconstruction error: The reconstruction error of our algorithm reduces exponentially when the number of adaptive stages (i.e., T) increases. To be more precise, we obtain a nearoptimal relation between the reconstruction error and the required number of adaptive batches. Written in mathematical form, if one takes the output of our reconstruction algorithm by \(\varvec{f}_{T}\), then we show that \(\Vert \varvec{f}_{T}\varvec{f}\Vert _2\approx {\mathcal {O}}(\tfrac{1}{2^T})\), where \(\varvec{f}\) is the groundtruth signal and T is the number of stages in our adaptive algorithm (see TheoremÂ 1 for more details).

3
Highdimensional threshold selection: We propose an adaptive highdimensional threshold to extract the most information from each sample, which substantially improves performance and reduces the reconstruction error (see Algorithm 1 for more explanations).
1.2 Prior works and key differences
In this section, we review prior works about applying quantized measurements to CS framework [3, 8,9,10,11,12,13]. In what follows, we explain some of them.
The authors of [3] propose a heuristic algorithm to reconstruct the groundtruth sparse signal from extreme quantized measurements, i.e., onebit measurements. In [9], it has been shown that conventional CS algorithms also work well when the measurements are quantized. In [10], an algorithm with simple implementation is proposed. This algorithm has less error in Hamming distance than the existing ones. Investigated from a geometric view, the authors of [11] exploit functional analysis tools to provide an almost optimal solution to the problem of onebit CS. They show that the number of required onebit measurements is \({\mathcal {O}}(s\log ^2(\tfrac{n}{s}))\).
The work of [14] presents two algorithms for full (i.e., direction and norm) reconstruction with provable guarantees. The former approach takes advantage of the random thresholds, while the latter predicts the direction and magnitude separately. The authors of [12] introduce an adaptive thresholding scheme which utilizes a generalized approximate message passing algorithm (GAMP) [12] for recovery and thresholds update throughout sampling. In a different approach, the work [13] proposes an adaptive quantization and recovery scenario making an exponential error decay in onebit CS frameworks. The authors of [15] use an adaptive process to take measurements around the estimated signal in each iteration. While [15] only changes the bias (mean) of the estimated signal, our algorithm also generates random dithers with adaptive variance. The variance value of thresholds initializes from an overestimation of desired signal and is divided by a factor of 2 in each iteration. This adaptive thresholding scheme forces the algorithm estimate to concentrate around the optimal solution and makes the feasible set smaller in each iteration (random part with reduced variance).
Many of the techniques mentioned for adaptive sparse signal recovery do not generalize (at least not in an obvious strategy) to dictionarysparse signal. For example, determining a surrogate of \(\varvec{f}\) that is supposed to be of lower complexity with respect to \(\varvec{D}^{\mathrm{H}}\) is nontrivial and challenging. We should emphasize that while the proofs and main parts in [13] rely on hard thresholding operator, it could not be used for either effective or exact dictionarysparse signals. This is due to that given a vector \(\varvec{x}\) in the analysis domain^{Footnote 3}\({\mathbb {R}}^N\), one cannot guarantee the existence of a signal \(\varvec{f}\) in \({\mathbb {R}}^n\) such that \(\varvec{D}^{\mathrm{H}}\varvec{f}=\varvec{x}\). Recently, the work [8] shows both direction and magnitude of a dictionarysparse signal can be recovered by a convex program with strong guarantees. The work [8] has inspired our work for recovering dictionarysparse signal in an adaptive manner. In contrast to the existing method [8] for binary dictionarysparse signal recovery which takes all of the measurements in one step with fixed settings, we solve the problem in an adaptive multistage way. In each stage, regarding the estimate from previous stage, our algorithm is propelled to the desired signal. In the nonadaptive work [8], the error rate is poorly large, while in our work, the error rate exponentially decays with increased number of adaptive steps.
Notation. Here, we introduce the notation used in the paper. Vectors and matrices are denoted by boldface lowercase and capital letters, respectively. \(\varvec{A}^T\) and \(\varvec{A}^{\mathrm{H}}\) stand for transposition and Hermitian of \(\varvec{A}\), respectively. C and c denote positive absolute constants which can be different from line to line. We use \(\left\ \varvec{v}\right\ _2= \sqrt{\sum _i v_i^2}\) for the \(\ell _2\)norm of a vector \(\varvec{v}\) in \({\mathbb {R}}^n\), \(\left\ \varvec{v}\right\ _1= \sum _{i} v_i\) for the \(\ell _1\)norm and \(\left\ \varvec{v}\right\ _{\infty }= \max _{i} v_{i}\) for the \(\ell _{\infty }\)norm. We write \({\mathbb {S}}^{n1}:= \{\varvec{v}\in {\mathbb {R}}^n : \left\ \varvec{v}\right\ _{2}= 1 \}\) for the unit Euclidean sphere in \({\mathbb {R}}^n\). For \(\varvec{x}\in {\mathbb {R}}^{n}\), we define \(\varvec{x}_S\) as the subvector in \({\mathbb {R}}^{S}\) consisting of the entries indexed by the set S.
2 Method
In this section, we present the general procedure of our adaptive scheme in details. Our system model is built upon the optimization problem (4). A major part of this problem is to choose an efficient threshold \(\varvec{\varphi }\in {\mathbb {R}}^m\). To this end, we propose a closedloop feedback system (see Fig. 1) which exploits prior information from previous stages. The superscript (i) corresponding to an element represents the ith stage of that element in the adaptive algorithm. Our adaptive approach consists of three algorithms highdimensional threshold generator (\({\mathsf {HDTG}}\)), adaptive sampling (\({\mathsf {AS}}\)) and adaptive recovery (\({\mathsf {AR}}\)). \({\mathsf {HDTG}}\) specifies the method of choosing the thresholds based on previous estimates. \({\mathsf {AS}}\) takes onebit measurements of the signal by using \({\mathsf {HDTG}}\) and returns the onebit samples and corresponding thresholds. Lastly, \({\mathsf {AR}}\) recovers the signal given the onebit measurements. We provide a mathematical framework to guarantee our algorithm results in the following.
Theorem 1
(Main theorem) Let \(r,c_{\epsilon },\gamma ,\epsilon >0\). Consider \(\varvec{f}\in {\mathbb {R}}^n\) as the desired effective sanalysissparse signal with \(\Vert \varvec{f}\Vert _2\le r\) and \(\varvec{A}\in {\mathbb {R}}^{m\times n}\) is the measurement matrix with standard normal entries where m is the total number of measurements divided into T stages. Assume that
be the sampling and recovery algorithms introduced later in AlgorithmsÂ 2 andÂ 3, respectively, where \(\varvec{\varphi }\) is determined by AlgorithmÂ 1. Then, with probability at least \(1 \gamma \exp (\tfrac{c_{\epsilon }m}{T})\) over the choice of \(\varvec{\varphi }\) and \(\varvec{A}\), the output of AlgorithmÂ 3 satisfies
Proof
See AppendixÂ 5.1. \(\square\)
A remarkable note is that if we only consider one stage, i.e., \(T=1\), the exponential behavior of our error bound disappears and reaches the stateoftheart error bound [8, Theorem 8]. In fact, the results of [8] are a special case of our work when the thresholds are nonadaptive. The term adaptivity is related to the threshold updating, and the measurement matrix (\(\varvec{A}\)) is fixed.
In what follows, we provide rigorous explanations about our proposed algorithmsÂ 1,Â 2 andÂ 3 in three items.

1.
HighDimensional Threshold: Our algorithm for highdimensional threshold selection is given in AlgorithmÂ 1. The algorithm output consists of two parts: deterministic (i.e., \(\varvec{A}\varvec{f}_{i}\)) and random (i.e., \(\varvec{\tau }\in {\mathbb {R}}^q\)) . The former transfers the origin to the previous signal estimate (\(\varvec{f}_{i}\)), while the latter creates measurement dithers from the origin. (The variance parameter \(\sigma ^2\) controls the threshold distance from \(\varvec{f}_{i}.\))

2.
Adaptive Sampling: Our adaptive sampling algorithm is given in AlgorithmÂ 2. To implement this algorithm, we need the dictionary \(\varvec{D}\in {\mathbb {R}}^{n\times N}\), the measurement matrix \(\varvec{A}\in {\mathbb {R}}^{m\times n}\), linear measurement \(\varvec{A}\varvec{f}\) and an over estimation of signal power r (\(\left\ \varvec{f}\right\ _{2}\le r\)). At the first stage, we initialize signal estimation to zero vector. We choose T stages for our algorithm. At the ith stage, the measurement matrix \(\varvec{A}^{(i)}\) is taken from the ith row subset (of size \(q:=\left\lfloor {\tfrac{m}{T}}\right\rfloor\)) of \(\varvec{A}\). The adaptive sampling process consists of four essential parts. First, in step 2 of the pseudocode, we generate the highdimensional thresholds using AlgorithmÂ 1 by the parameters \(\sigma ^2=2^{1i}r\) and \(\varvec{f}_i\). Second, we compare the linear measurement block \(\varvec{A}^{(i)}\varvec{f}\) with the threshold vector \(\varvec{\varphi }^{(i)}\) and obtain the sample vector \(\varvec{y}^{(i)}\) (step 3 of AlgorithmÂ 2). Third, we implement a secondorder cone program (steps 4 and 5) to find an approximate for \(\varvec{f}\). However, this strategy does not often lead to an effective dictionarysparse signal. So, in step 6, we devise a strategy to find a lowcomplexity approximation of \(\varvec{f}\) with respect to operator \(\varvec{D}^{\mathrm{H}}\). In other words, we project the resulting signal onto the nearest effective sanalysissparse signal. We refer to the third part of the adaptive sampling algorithm (steps 4â€“6) as singlestep recovery (SSR). The estimated signal at each stage (\(\varvec{f}_{i}\)) builds the deterministic part of our highdimensional threshold in step 2. Finally, AlgorithmÂ 2 returns binary vectors \(\{\varvec{y}^{(i)}\}_{i=1}^T\) and the threshold vectors \(\{\varvec{\varphi }^{(i)}\}_{i=1}^T\) to the output.

3.
Adaptive Recovery: In the recovery procedure (AlgorithmÂ 3), we need the dictionary \(\varvec{D}\), the measurement matrix \(\varvec{A}\), binary measurements vector \(\varvec{y}\), highdimensional threshold vector \(\varvec{\varphi }\) and an upper norm estimation of signal r. In the adaptive recovery algorithm, we first divide the inputs (\(\varvec{y}\) and \(\varvec{A}\)) into T blocks (i.e., \(\varvec{y}^{(i)}\) and \(\varvec{A}^{(i)}\)). Then, we simply implement SSR on each block. The output of SSR in the last stage is the final recovered signal (i.e., \(\varvec{f}_T\)).
2.1 Intuitive description of our algorithms
We provide here an example to clarify how our algorithm works. In this example, we consider a 2D point denoted by point DS (Fig.Â 2a) as the desired signal and depict the algorithm procedure for two consecutive iterations. At the first iteration of the algorithm, we do not have any estimation of the desired signal. Therefore, we set the first estimate to zero (equivalently \([0,0,1]^T\) in the 3D domain or point P in Fig.Â 2a). We generate highdimensional thresholds and take four measurements (step 2 of \(\mathsf {AS}\)). These measurements are equivalently four hyperplane crossing the center of the hemisphere (Fig.Â 2b, step 3 of \(\mathsf {AS}\)). In the next step, we implement the augmented random hyperplane tessellation on the hemisphere and compute the first estimate of the desired signal and project it to the signal domain (steps 3â€“6 of \(\mathsf {AS}\)). In this example, we consider the point B as the first estimate (\(\varvec{f}_{1}\) in first iteration of \(\mathsf {AS}\)). In the next iteration, we transfer the hemisphere to the adjacent point B and reduce the radius by a factor of two (Fig.Â 2c). The point B is the highdimensional threshold of the second iteration of the algorithm. We perform our algorithm with four measurements. The main advantage of the reduction in the radius of the hemisphere (equivalently the variance argument of the threshold generator) is to get more precise measurements in the neighborhood of the desired signal. In the second stage of the algorithm, we take measurements (or equivalently hyperplanes) around the threshold, leading to locate measurements more concentrated around the desired signal. The intersection of hyperplanes and signal space in this example creates a new feasible set border which is depicted by the red line in Fig.Â 2d. In this intuitive description, we tried to clarify the random hyperplane tessellation usage in our proof sketch.^{Footnote 4}.
In the second example, we follow our algorithm steps in a 2D example and compare it with the nonadaptive algorithm. In Fig.Â 3a, we perform the nonadaptive algorithm for eight measurements. It is obvious that the solid lines (\(L_5  L_8\)) or equivalently measurements do not have any impact on the final result. However, if we get these measurements in two iterations (i.e., stages) of the adaptive algorithm, the second bunch of samples (\(L_5  L_8\) in Fig.Â 3(b)) is more concentrated toward the desired signal (\(\varvec{f})\).
3 Experimental results and discussion
In this section, we investigate the performance of our algorithm and compare it with the two previous onebit dictionarysparse recovery given by [8]. The first algorithm solves linear programming optimization (LP) [8, Subsection Â 4.1], and the second algorithm solves a secondorder cone programming (CP) optimization [8, Subsection Â 4.2]. First, we construct a matrix where its columns are drawn randomly and independently from \({\mathbb {S}}^{n1}\). Then, the dictionary \(\varvec{D}\in {\mathbb {R}}^{n\times N}\) (\(N=1000,n=50\)) is defined as an orthonormal basis of this matrix. Then, the signal \(\varvec{f}\) is generated as \(\varvec{f}=\varvec{B}\varvec{c}\) where \(\varvec{B}\) is a basis of \({\mathrm{null}}(\varvec{D}_{\overline{{\mathcal {S}}}})\) and \(\varvec{c}\) is drawn from standard normal distribution. Here, \(\overline{{\mathcal {S}}}\) is used to denote the complement of the support of \(\varvec{D}^{\mathrm{H}}\varvec{f}\). The elements of \(\varvec{A}\) are chosen from i.i.d. standard normal distribution. We set \(r= 2\Vert \varvec{f}\Vert _{2}\), \(\sigma =r\) and the number of stages to \(T=10\). Define the normalized reconstruction error as \(\tfrac{\Vert \varvec{f}\hat{\varvec{f}}\Vert _{2}}{\Vert \varvec{f}\Vert _{2}}\) (\(\hat{\varvec{f}}\) denotes the estimated signal in each algorithm, and it is represented by \(\varvec{f}_{T}\)) especially in our algorithm. The results in Fig.Â 4a are obtained by implementing Algorithms 2 andÂ 3 100 times and taking the average of the normalized reconstruction error. As it is clear from Fig.Â 4a, LP algorithm outperforms CP by 2Â dB on average. Our algorithm with few measurements behaves slightly weaker than others. The proposed approach requires a minimum number of measurements to act perfectly. The main reason for this behavior is our thresholding scheme. The variance of dithers is reduced in each iteration (i.e., stage). We also take the measurements around the previous estimate of the desired signal. On the contrary, the CP and LP algorithms only reduce the signal space uniformly. When the number of measurements is below the required bound, our first estimate gets away from the desired signal, so the adaptive algorithm tries to find it around a false estimate. However, it seems that there is a phase transition behavior in our algorithm when the number of measurements increases. In fact, after a certain number of measurements, our proposed algorithm substantially outperforms both LP and CP. Table 1 shows the average execution time (CPU time) of the three algorithms per the specified number of measurements.
In the second experiment, we examine the performance of our algorithm for multiple degrees of sparsity. FigureÂ 4b shows the result for \(s = 20, 30, 40.\) (Other parameters are assumed similar to the first experiment.) As it is clear from the figure, by increasing the sparsity level, the accuracy is decreased.
In the third experiment, we consider the Sheppâ€“Logan phantom image as the groundtruth signal. Since the required number of measurements in onebit CS is significantly larger than that of the conventional CS (see, e.g., [13, Section 5]), we split the picture into multiple blocks of size \(32\times 32\) and process each block separately, merely due to computational complexity reasons. This block processing allows us to implement the algorithm in multiple threads and reduce the execution time. We use a redundant wavelet dictionary and \(10^5\) Gaussian measurements to recover each block. We evaluate the reconstruction quality of final result in terms of the peak signaltonoise ratio (PSNR) given by
where \(\varvec{X}\) and \(\widehat{\varvec{X}}\) are the true and estimated images. As shown in Fig.Â 5, LP (Fig.Â 5b) and CP (Fig.Â 5c) algorithms clearly fail with poor performances, but as it is evident in Fig.Â 5d, the output of our algorithm is almost similar to the desired picture.
4 Conclusion
This paper proposed a onebit compressed sensing algorithm that recovers dictionarysparse signals from binary measurements by adaptively exploiting the inherent information in the sampling procedure. This scheme helps to reduce the number of needed measurements substantially. In addition, our algorithm exhibits an exponential decaying behavior in the reconstruction error. The proof approach is based on geometric theories in the highdimensional estimation. In this work, we used geometric intuition to explain our result, which also can be used in other areas of signal processing. We believe our analysis can be extended to the multibit setting. We used a fixed reduction pattern in the thresholds dithers throughout this work. We believe that this reduction can be chosen smartly by extracting the geometric features in each algorithm step.
5 Proofs
5.1 Proof of Theorem 1
Proof
By induction law, we show that
holds with high probability for any \(i\in \{1,\dots ,T\}\). Consider the first step, i.e., \(i=1\) in AlgorithmÂ 2. At this step, our initial estimate \(\varvec{f}_0\) is equal to \(\varvec{0}\). Thus, the output of AlgorithmÂ 1 only contains the random part of highdimensional thresholds (step 2 of AlgorithmÂ 2). Then, we obtain \(\varvec{f}_1\) by using steps 4â€“9 of AlgorithmÂ 2 (except that we assume \(\sigma =r\) in AlgorithmÂ 2 and \(q = \left\lfloor {\tfrac{m}{T}}\right\rfloor\)). As a result, to verify \(\Vert \varvec{f}\varvec{f}_{1}\Vert _{2}\le \epsilon r\), we use [8, Theorem 8] to prove our result: \(\square\)
Theorem 2
[8, TheoremÂ 8] Let \(\epsilon ,r,\sigma >0\), let
and let \(\varvec{A}\in {\mathbb {R}}^{m\times n}\) be populated by independent standard normal random variables. Furthermore, let \(\tau _{1}, \ldots , \tau _{m}\) be independent normal random variables with mean zero and variance \(\sigma ^{2}\) that are also independent from \(\varvec{A}\). Then, with failure probability at most \(\gamma \exp (\tfrac{c^{\prime }m \epsilon ^{2}r^{2}\sigma ^{2}}{(r^{2}+\sigma ^{2})^{2}})\), any signal \(\varvec{f}\in {\mathbb {R}}\) with \(\Vert \varvec{f}\Vert _{2} \le r\), \(\Vert \varvec{D}^{\mathrm{H}}\varvec{f}\Vert _{1} \le \sqrt{s} r\) and observed via \(\varvec{y}= {\text {sign}}(\varvec{A}\varvec{f}\varvec{\tau })\) is approximated by
with error
Now, suppose that the result (9) holds in the \((i1)\)th step, i.e.,
Consider ith stage of AlgorithmÂ 2 where the highdimensional thresholds and the measurements are obtained as
By substituting (12) in (13), we reach:
Since \(\varvec{f}\) is effective sanalysissparse with \(\Vert \varvec{f}\Vert _2\le 1\), we have that \(\Vert \varvec{D}^H\varvec{f}\Vert _1\le \sqrt{s}\Vert \varvec{f}\Vert _2\). Further, the output of AlgorithmÂ 2 at the \((i1)\)th stage satisfies, i.e., \(\Vert \varvec{D}^H\varvec{f}_{i1}\Vert _1\le \sqrt{s}r\), and it then holds that the signal \(\varvec{f}\varvec{f}_{i1}\) satisfies \(\Vert \varvec{D}^H(\varvec{f}\varvec{f}_{i1})\Vert _1\le \Vert \varvec{D}^H\varvec{f}\Vert _1+\Vert \varvec{D}^H\varvec{f}_{i1}\Vert _1\le 2\sqrt{s} r=\sqrt{2^{2i2} \epsilon ^{2} s} \epsilon 2^{i}r:=\sqrt{s'}r'\). Now, by leveraging the assumption in (11), we can directly apply TheoremÂ 2 to this signal. In simple words, we set
in TheoremÂ 2. As a result, by exploiting this theorem and some simplifications, we shall have that
with probability at least \(1 \gamma \exp (c^{\prime }_{\epsilon } q)\) where in the latter expression we used \(\epsilon _1=\frac{1}{4}\) and \(\varvec{\Delta }_i\) is the output vector of the optimization problem in step 4 of AlgorithmÂ 2. \(c^{\prime }_{\epsilon }\) is a certain constant dependent on \(\epsilon\). Now, suppose that (16) occurs. Consider
After applying step 6 of AlgorithmÂ 2, we obtain \(\varvec{f}_i\) that has the property
Then, we have
Finally, by using (16), (17), and the fact that \(\Vert \varvec{f}_i\varvec{f}_{\mathrm{tmp}}\Vert _2\le \Vert \varvec{f}\varvec{f}_{\mathrm{tmp}}\Vert _2\) (step 6), the latter equation becomes
Since we consider T stage in AlgorithmsÂ 2 andÂ 3, we reach the error bound:
Availability of data and materials
Reproducible source codes of this paper are provided in the Github repository by clicking here.
Notes
The used notation is introduced in Sect.Â 1.2.
\((\varvec{D})^{\mathrm{H}}\) stands for the Hermitian of the matrix \(\varvec{D}\)
The domain in which the desired signal is being analyzed due to having a particular structure, e.g., sparsity.
We prepare figures by means of GeoGebra tools, and the 3D model is available by clicking here
Abbreviations
 CS:

Compressed Sensing
 GAMP:

Generalized Approximate Message Passing
 HDTG:

HighDimensional Threshold Generator
 AS:

Adaptive Sampling
 AR:

Adaptive Recovery
 SSR:

SingleStep Recovery
 LP:

Linear Programming
 CP:

Cone Programming
 PSNR:

Peak SignaltoNoise Ratio
References
D.L. Donoho, Compressed sensing. IEEE Trans. Inf. Theory 52(4), 1289â€“1306 (2006)
E.J. CandÃ¨s, et al., Compressive sampling, in Proceedings of the International Congress of Mathematicians, vol. 3, pp. 1433â€“1452 (2006). Madrid, Spain
P.T. Boufounos, R.G. Baraniuk, 1bit compressive sensing, in 2008 42nd Annual Conference on Information Sciences and Systems, pp. 16â€“21 (2008). IEEE
E.J. CandÃ¨s, Y.C. Eldar, D. Needell, P. Randall, Compressed sensing with coherent and redundant dictionaries. Appl. Comput. Harmon. Anal. 31(1), 59â€“73 (2011)
M. Genzel, G. Kutyniok, M. MÃ¤rz, l_{1}analysis minimization and generalized (co) sparsity: when does recovery succeed? Appl. Comput. Harmon. Anal. 52, 82â€“140 (2021)
S. Daei, F. Haddadi, A. Amini, M. Lotz, On the error in phase transition computations for compressed sensing. IEEE Trans. Inf. Theory 65(10), 6620â€“6632 (2019)
S. Daei, F. Haddadi, A. Amini, Living near the edge: a lowerbound on the phase transition of total variation minimization. IEEE Trans. Inf. Theory 66(5), 3261â€“3267 (2019)
R. Baraniuk, S. Foucart, D. Needell, Y. Plan, M. Wootters, Onebit compressive sensing of dictionarysparse signals. Inf. Inference J. IMA 7(1), 83â€“104 (2018)
A. Zymnis, S. Boyd, E. Candes, Compressed sensing with quantized measurements. IEEE Signal Process. Lett. 17(2), 149â€“152 (2010)
L. Jacques, J.N. Laska, P.T. Boufounos, R.G. Baraniuk, Robust 1bit compressive sensing via binary stable embeddings of sparse vectors. IEEE Trans. Inf. Theory 59(4), 2082â€“2102 (2013)
Y. Plan, R. Vershynin, Onebit compressed sensing by linear programming. Commun. Pure Appl. Math. 66(8), 1275â€“1297 (2013)
U.S. Kamilov, A. Bourquard, A. Amini, M. Unser, Onebit measurements with adaptive thresholds. IEEE Signal Process. Lett. 19(10), 607â€“610 (2012)
R.G. Baraniuk, S. Foucart, D. Needell, Y. Plan, M. Wootters, Exponential decay of reconstruction error from binary measurements of sparse signals. IEEE Trans. Inf. Theory 63(6), 3368â€“3385 (2017)
K. Knudson, R. Saab, R. Ward, Onebit compressive sensing with norm estimation. IEEE Trans. Inf. Theory 62(5), 2748â€“2758 (2016)
F. Wang, J. Fang, H. Li, Z. Chen, S. Li, Onebit quantization design and channel estimation for massive mimo systems. IEEE Trans. Veh. Technol. 67(11), 10921â€“10934 (2018)
Funding
There is no funding for the research of this paper.
Author information
Authors and Affiliations
Contributions
H.B proposed the framework of the whole algorithm; performed the simulations, analysis and interpretation of the results; and drafted the manuscript. S.D and F.H have participated in the conception and design of this research. The paper was revised and edited by S.D and F.H. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Consent for publication
The manuscript does not contain any individual personâ€™s data in any form (including individual details, images or videos), and therefore, the consent to publish is not applicable to this article.
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Beheshti, H., Daei, S. & Haddadi, F. Adaptive recovery of dictionarysparse signals using binary measurements. EURASIP J. Adv. Signal Process. 2022, 49 (2022). https://doi.org/10.1186/s1363402200878z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1363402200878z
Keywords
 Onebit
 Dictionarysparse signals
 Adaptive measurement
 Highdimensional geometry