<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Proof on icyveins7's blog</title><link>https://icyveins7.github.io/tags/proof/</link><description>Recent content in Proof on icyveins7's blog</description><generator>Hugo</generator><language>en-us</language><copyright>This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.</copyright><lastBuildDate>Tue, 16 Apr 2024 20:00:00 +0800</lastBuildDate><atom:link href="https://icyveins7.github.io/tags/proof/index.xml" rel="self" type="application/rss+xml"/><item><title>Some heuristic proofs for cyclostationary methods</title><link>https://icyveins7.github.io/posts/2024/04/some-heuristic-proofs-for-cyclostationary-methods/</link><pubDate>Tue, 16 Apr 2024 20:00:00 +0800</pubDate><guid>https://icyveins7.github.io/posts/2024/04/some-heuristic-proofs-for-cyclostationary-methods/</guid><description>&lt;blockquote&gt;&#10;&lt;p&gt;Carrier offset and baud rate estimation can be done blindly using cyclostationary (cyclic moment) methods, but why?&lt;/p&gt;&#10;&lt;/blockquote&gt;&#10;&lt;h1 id="introduction"&gt;Introduction&lt;/h1&gt;&#10;&lt;p&gt;In &lt;a href="https://github.com/icyveins7/reimage"&gt;ReImage&lt;/a&gt;, there are options to blindly estimate a signal&amp;rsquo;s baud rate or residual carrier offset. These require some working knowledge, and only work on some types of modulations like PSK. But why do they work, and how do we explain the peaks we see in the resulting spectra?&lt;/p&gt;&#10;&lt;p&gt;First, some terminology. Here I&amp;rsquo;ll often mention the exponents in a &lt;em&gt;CM&lt;/em&gt; XY form: this refers to applying an exponent onto a signal with a total of $X$, where $Y$ of that is the conjugate. These refer to the cyclic moments.&lt;/p&gt;</description></item></channel></rss>