{"title":"Wavelets and polyphase transfer: exact worked derivation","collection_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","program_source":"examples/wavelet_polyphase.py","program_sha256":"82c022f5a81c7512b22e5bde523c58ce0208959a42fe13d373d4641ce2145f20","program_size":37975,"manuscript_source":"docs/demonstrations/WAVELET_POLYPHASE.md","manuscript_sha256":"36ade09f6fd6ab59079482bcea7765b98a0800c200106f5b88e8771a03bfe95c","reader_url":"read/wavelet-polyphase.html","manuscript_url":"collection/demonstrations/WAVELET_POLYPHASE.html","download_url":"downloads/wavelet-polyphase/wavelet_polyphase.py","tables":[{"source":"verification/wavelet-polyphase/phase-transfer.csv","url":"downloads/wavelet-polyphase/phase-transfer.csv","sha256":"1bc05bbf5b0e2448eab014f4de9901de5c1c2cd41d9f8ba1e02d2e78a0bfc0e3","size":464},{"source":"verification/wavelet-polyphase/haar-coefficients.csv","url":"downloads/wavelet-polyphase/haar-coefficients.csv","sha256":"2fb3389ec6b51065a5dd08aad951b71d5abc34098ff699e9d0832fdd82033a87","size":336},{"source":"verification/wavelet-polyphase/weighted-budget.csv","url":"downloads/wavelet-polyphase/weighted-budget.csv","sha256":"86163bf7c929cea4b64739cd6cd6da5a7c5e4898ae4f9eeb099d51c96a344910","size":116},{"source":"verification/wavelet-polyphase/full-wavelet-transfer.csv","url":"downloads/wavelet-polyphase/full-wavelet-transfer.csv","sha256":"ddf4f0dc4c2812ec3607244d7965f5e6a8ab0410801fb83be9df37185f61d13c","size":1070},{"source":"verification/wavelet-polyphase/multiscale-energy.csv","url":"downloads/wavelet-polyphase/multiscale-energy.csv","sha256":"fecf7aabf2144ad79410b26eeff89c4dde0bb41800db2c9a7a832b3e47f0af5d","size":164},{"source":"verification/wavelet-polyphase/operation-order.csv","url":"downloads/wavelet-polyphase/operation-order.csv","sha256":"bd72a5cc315e1cf5129eaf43b9f244dd929793d451a1bde5c1c9343f3925f2dc","size":483},{"source":"verification/wavelet-polyphase/results.json","url":"downloads/wavelet-polyphase/results.json","sha256":"a324ac68e43f269fd5f89f8cc6c3aafc3c5ee5549441b53a960c03b2be12b57f","size":1825},{"source":"verification/wavelet-polyphase/signal-comparison.svg","url":"downloads/wavelet-polyphase/signal-comparison.svg","sha256":"52044c8da6407c37a04cb55c32569937f022be1ed83b20b58fe7e78c3b22ddd6","size":9665},{"source":"verification/wavelet-polyphase/full-wavelet-transfer.svg","url":"downloads/wavelet-polyphase/full-wavelet-transfer.svg","sha256":"af148bf574c46401ee01346058d62796eb600c5a0f49eb53a1bb5b33130110ab","size":29778}],"archive_url":"downloads/wavelet-polyphase/source-and-results.zip","archive_sha256":"6948e410cd90e7cc3278c95ef76df085adac2a1e6359422a4e0dce2127b10b4e","archive_files":[{"source":"examples/wavelet_polyphase.py","sha256":"82c022f5a81c7512b22e5bde523c58ce0208959a42fe13d373d4641ce2145f20"},{"source":"docs/demonstrations/WAVELET_POLYPHASE.md","sha256":"36ade09f6fd6ab59079482bcea7765b98a0800c200106f5b88e8771a03bfe95c"},{"source":"verification/wavelet-polyphase/phase-transfer.csv","sha256":"1bc05bbf5b0e2448eab014f4de9901de5c1c2cd41d9f8ba1e02d2e78a0bfc0e3"},{"source":"verification/wavelet-polyphase/haar-coefficients.csv","sha256":"2fb3389ec6b51065a5dd08aad951b71d5abc34098ff699e9d0832fdd82033a87"},{"source":"verification/wavelet-polyphase/weighted-budget.csv","sha256":"86163bf7c929cea4b64739cd6cd6da5a7c5e4898ae4f9eeb099d51c96a344910"},{"source":"verification/wavelet-polyphase/full-wavelet-transfer.csv","sha256":"ddf4f0dc4c2812ec3607244d7965f5e6a8ab0410801fb83be9df37185f61d13c"},{"source":"verification/wavelet-polyphase/multiscale-energy.csv","sha256":"fecf7aabf2144ad79410b26eeff89c4dde0bb41800db2c9a7a832b3e47f0af5d"},{"source":"verification/wavelet-polyphase/operation-order.csv","sha256":"bd72a5cc315e1cf5129eaf43b9f244dd929793d451a1bde5c1c9343f3925f2dc"},{"source":"verification/wavelet-polyphase/results.json","sha256":"a324ac68e43f269fd5f89f8cc6c3aafc3c5ee5549441b53a960c03b2be12b57f"},{"source":"verification/wavelet-polyphase/signal-comparison.svg","sha256":"52044c8da6407c37a04cb55c32569937f022be1ed83b20b58fe7e78c3b22ddd6"},{"source":"verification/wavelet-polyphase/full-wavelet-transfer.svg","sha256":"af148bf574c46401ee01346058d62796eb600c5a0f49eb53a1bb5b33130110ab"},{"source":"LICENSE.md","sha256":"ac7045773daf5eff7346bd72eccc7c71e3f468f3205308452e6199abbfe8b052"}],"scope":"Exact rational sixteen-sample Haar/FIR worked example with four-level operator conjugacy, 16x16 sparse transfer, finite noncommuting-filter certificate, lifting, stability and reproducible checks. No infinite-signal or Lean replay."}