The Sparse Fourier Transform. Haitham Hassanieh
By Claims 4.1 and 4.2,
Claim 4.4 For any i ∈ S,
Proof For each j ≠ i,
Then
The result follows by Markov’s inequality.
We will show for i ∈ S that if none of Ecoll(i), Eoff(i), and Enoise(i) hold then SPARSEFFTINNER recovers
Lemma 4.5 Let a ∈ [n] uniformly at random, B divide n, and the other parameters be arbitrary in
Then for any i ∈ [n] with
Proof The proof can be found in Appendix A.5.
Properties of LOCATESIGNAL
In our intuition, we made a claim that if
Lemma 4.6 Let T ⊂ [m] consist of t consecutive integers, and suppose β ∈ T uniformly at random. Then for any i ∈ [n] and set S ⊂ [n] of l consecutive integers,
Proof Note that any interval of length l can cover at most
Lemma 4.7 Let i ∈ S. Suppose none of Ecoll(i), Eoff(i), and Enoise(i) hold, and let j = hσ,b(i). Consider any run of LOCATEINNER with
for C larger than some fixed constant. Then
Конец ознакомительного фрагмента.
Текст предоставлен ООО «ЛитРес».
Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.
Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.