The Sparse Fourier Transform. Haitham Hassanieh
Чтение книги онлайн.

Читать онлайн книгу The Sparse Fourier Transform - Haitham Hassanieh страница 19

Название: The Sparse Fourier Transform

Автор: Haitham Hassanieh

Издательство: Ingram

Жанр: Программы

Серия: ACM Books

isbn: 9781947487062

isbn:

СКАЧАТЬ holds iff Image; and

      • “Large noise” event Enoise(i): holds Image.

      By Claims 4.1 and 4.2, Image and Image for any iS

      Claim 4.4 For any iS, Image.

      Proof For each ji, Image by Lemma 2.1.

      Then

Image

      The result follows by Markov’s inequality.

      We will show for iS that if none of Ecoll(i), Eoff(i), and Enoise(i) hold then SPARSEFFTINNER recovers Image with 1 − O(α) probability.

      Lemma 4.5 Let a ∈ [n] uniformly at random, B divide n, and the other parameters be arbitrary in

Image

      Then for any i ∈ [n] with Image and none of Ecoll(i), Eoff(i), or Enoise(i) holding,

Image

      Proof The proof can be found in Appendix A.5.

      Properties of LOCATESIGNAL

      In our intuition, we made a claim that if Image uniformly at random, and i > 16w, then Image is “roughly uniformly distributed about the circle” and hence not concentrated in any small region. This is clear if β is chosen as a random real number; it is less clear in our setting where β is a random integer in this range. We now prove a lemma that formalizes this claim.

      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,

Image

      Proof Note that any interval of length l can cover at most Image elements of any arithmetic sequence of common difference i. Then Image is such a sequence, and there are at most Image intervals an + S overlapping this sequence. Hence, at most Image of the β ∈ [m] have βi mod nS. Hence, Image.

      Lemma 4.7 Let iS. Suppose none of Ecoll(i), Eoff(i), and Enoise(i) hold, and let j = hσ,b(i). Consider any run of LOCATEINNER with Image. Let f > 0 be a parameter such that

Image

      for C larger than some fixed constant. Then Image with probability at least Image,

      Конец ознакомительного фрагмента.

      Текст предоставлен ООО «ЛитРес».

      Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.

      Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.

/9j/4SOaRXhpZgAATU0AKgAAAAgABwESAAMAAAABAAEAAAEaAAUAAAABAAAAYgEbAAUAAAABAAAA agEoAAMAAAABAAIAAAExAAIAAAAeAAAAcgEyAAIAAAAUAAAAkIdpAAQAAAABAAAApAAAANAALcbA AAAnEAAtxsAAACcQQWRvYmUgUGhvdG9zaG9wIENTNiAoV2luZG93cykAMjAxODowMjoyNiAxMzoy OTowMwAAA6ABAAMAAAABAAEAAKACAAQAAAABAAAIxqADAAQAAAABAAAK5gAAAAAAAAAGAQMAAwAA AAEABgAAARoABQAAAAEAAAEeARsABQAAAAEAAAEmASgAAwAAAAEAAgAAAgEABAAAAAEAAAEuAgIA BAAAAAEAACJkAAAAAAAAAEgAAAABAAAASAAAAAH/2P/iDFhJQ0NfUFJPRklMRQABAQAADEhMaW5v AhAAAG1udHJSR0IgWFlaIAfOAAIACQAGADEAAGFjc3BNU0ZUAAAAAElFQyBzUkdCAAAAAAAAAAAA AAAAAAD21gABAAAAANMtSFAgIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAEWNwcnQAAAFQAAAAM2Rlc2MAAAGEAAAAbHd0cHQAAAHwAAAAFGJrcHQAAAIEAAAA FHJYWVoAAAIYAAAAFGdYWVoAAAIsAAAAFGJYWVoAAAJAAAAAFGRtbmQAAAJUAAAAcGRtZGQAAALE AAAAiHZ1ZWQAAANMAAAAhnZpZXcAAAPUAAAAJGx1bWkAAAP4AAAAFG1lYXMAAAQMAAAAJHRlY2gA AAQwAAAADHJUUkMAAAQ8AAAIDGdUUkMAAAQ8AAAIDGJUUkMAAAQ8AAAIDHRleHQAAAAAQ29weXJp Z2h0IChjKSAxOTk4IEhld2xldHQtUGFja2FyZCBDb21wYW55AABkZXNjAAAAAAAAABJzUkdCIElF QzYxOTY2LTIuMQAAAAAAAAAAAAAAEnNSR0IgSUVDNjE5NjYtMi4xAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABYWVogAAAAAAAA81EAAQAAAAEWzFhZWiAA AAAAAAAAAAAAAAAAAAAAWFlaIAAAAAAAAG+iAAA49QAAA5B СКАЧАТЬ