Write $f=u+iv$. The Cauchy-Riemann equations give $v_x=-u_y$, $v_y=u_x$ and $\Delta u=\Delta v=0$. Since the two Brownian coordinates are independent, $[X{]}_t=[Y{]}_t=t$ and $[X,Y{]}_t=0$. The Itô formula therefore becomesStop in balls on which the derivatives are bounded. The stopped integrals are martingales, proving that $U$ and $V$ are local martingales. Their coefficient rows have equal squared length and are orthogonal. ThusThese are quadratic covariations of an analytic Brownian image; orthogonality does not in general imply independence of the two transformed coordinates.

For the exit law, put $c=2a^2$. Squaring sends the positive quadrant to the upper half-plane, sends $a+ia$ to $ic$, and the Möbius transformation $w\mapsto (w-ic)/(w+ic)$ sends the upper half-plane to the unit disk with the starting point sent to zero. Its composition is the displayed conformal map. The exit time is finite: it is the minimum of the two almost surely finite one-dimensional hitting times of zero. There is no hit at the quadrant's corner, since a planar Brownian motion started away from zero avoids that point.

We can justify the uniform image exit law without assuming a conformal-time-change theorem. For each integer $n\ge 1$, the real and imaginary parts of $f(Z_{t\wedge T}{)}^n$ are bounded martingales obtained from harmonic functions. At the start their values are zero. The bounded convergence theorem at the finite exit time gives $\mathbb{E}f(Z_T{)}^n=0$. The boundary image has modulus one, and conjugation gives the vanishing negative Fourier moments as well. Trigonometric polynomials are dense among continuous functions on the unit circle, so these moments characterize the uniform distribution there.

Consequently the real variable $W=Z_T^2$ is the inverse image of a uniform point $e^{i\Theta }$ under that Möbius transformation:The Jacobian of this change of variable gives the centered Cauchy distribution of scale $c$:Positive $w$ corresponds to exit at $\sqrt{w}$ on the real axis; negative $w$ corresponds to exit at $i\sqrt{-w}$ on the imaginary axis. Pulling back by $w=\pm r^2$ therefore gives the complete boundary lawHere $dr$ on each axis denotes length along that axis, not two-dimensional area measure. Each density integrates to $1/2$, with no remaining atoms. Equivalently the chosen axis is a fair Bernoulli choice independent of the radius, andThis is Brownian exit law from a quadrant, obtained as a harmonic measure and not as an absolutely continuous planar density.

For $\theta >0$, $E_s=\exp (\theta B_s-{\theta }^{2}s/2)$ is an Exponential martingale for Brownian motion, as follows directly from independent Gaussian increments. Stop it at ${\tau }_{\delta }\wedge t$, where ${\tau }_{\delta }$ is the first time $B$ reaches $\delta$. On $\{{\tau }_{\delta }\le t\}$,The stopped expectation is one and the other contribution is nonnegative, soFor $t>0$, minimize the exponent at $\theta =\delta /t$. Apply the same argument to $-B$ and use the union bound to obtainAt $t=0$ the probability is zero; the right side can be interpreted by its limit. This proves the Gaussian maximal bound for Brownian motion without losing an extra factor from a two-sided reflection argument.

Let $L$ be a global Lipschitz constant of $b$. Realize the diffusion with the stated generator by $d{X}_s^{\epsilon }=b(X_s^{\epsilon })ds+\epsilon d{W}_s$, where $W$ is a standard $d$-dimensional Brownian motion. Global Lipschitz continuity gives existence and uniqueness; its generator is exactly the printed operator. Couple it with the ordinary differential equation having the same initial value $x(0)=x_0$. Subtraction gives, with $D_t={\sup }_{s\le t}|X_s^{\epsilon }-x_s|$,The Gronwall inequality implies $D_t\le \epsilon e^{Lt}{\sup }_{s\le t}|W_s|$. If a Euclidean norm exceeds $u$, some coordinate has absolute value exceeding $u/\sqrt{d}$. The scalar bound and a union over the coordinates therefore giveTaking the logarithm and multiplying by ${\epsilon }^2$ yields the explicit answerFor $t=0$ the probability is zero and the limit is $-\infty$, with $\log 0=-\infty$. This is exponential small-noise concentration for a Lipschitz diffusion.

Matching the deterministic initial value is necessary. The printed last line specifies the differential equation but does not separately write this initial condition. Without it, take $b=0$ and a deterministic solution displaced from $x_0$ by $2\delta$ in one fixed direction. The deviation event already holds at time zero, giving logarithmic rate zero instead of a strictly negative rate.

A simple predictable process can be writtenwhere each ${\xi }_j$ is bounded and ${\mathcal{F}}_{t_j}$-measurable. Define its integral to start at zero:Refining the partition leaves this sum unchanged. Every summand is a martingale, by conditioning its future increment on the information at $t_j$. Bounded coefficients and the $L^2$ bound on $M$ make the integral an L2-bounded continuous martingale. Its terminal value is the same sum with $M_{\infty }$ substituted at any infinite endpoint; $L^2$ martingale convergence supplies this limit.

We need the conditional square identity, rather than assuming independent increments. The Doob L2 maximal inequality gives $\mathbb{E}{\sup }_t|M_t{|}^2<\infty$. Localize the square identity for $M^2-[M]$ at level and bracket stopping times. The stopped identity and this maximal bound give $\mathbb{E}[M{]}_{\infty }<\infty$ by monotone convergence. Nowis integrable, so localization passes to conditional expectations and $M^2-[M]$ is a uniformly integrable martingale. Expanding a squared increment and using $\mathbb{E}(M_t\mid {\mathcal{F}}_s)=M_s$ provesThe infinite endpoint follows from $L^2$ convergence and integrability of the bracket. The initial value $M_0$ need not be zero: the integral itself is zero-starting.

In the square of the terminal integral, all cross terms vanish. For $j<k$, the $j$th increment and both coefficients in its cross term are measurable at $t_k$, whereas the conditional mean of the $k$th increment there is zero. For the diagonal terms, the preceding conditional identity can be multiplied by the bounded ${\xi }_j^2$. ThereforeThis proves the Itô isometry for these simple integrands. Ordered stopping-time intervals also work, replacing the conditional identity by optional stopping theorem, but deterministic intervals suffice for the approximation requested here.

For that approximation, put $\mu (A)=\mathbb{E}{\int }_0^1{1}_A(\omega ,s)ds$ on the predictable sigma-algebra. This is a finite measure. That sigma-algebra is generated, apart from the zero-time slice of measure zero, by rectangles $A\times (s,t]$ with $A\in {\mathcal{F}}_s$. The indicator of every such rectangle is a bounded simple predictable process.

Here is a density proof. Let $V$ be the closed linear span of these indicators in $L^2(\mu )$, and let $\mathcal{D}$ contain the predictable sets whose indicators belong to $V$. The whole space belongs to $\mathcal{D}$; complements stay in $\mathcal{D}$; and disjoint countable unions do also, because their finite partial indicator sums converge in $L^2$ under the finite measure. Thus $\mathcal{D}$ is a Dynkin system containing the generating rectangle pi-system. The Pi-lambda theorem makes it the entire predictable sigma-algebra. Bounded predictable simple functions therefore belong to $V$. Truncating any $L^2(\mu )$ function and then approximating its truncated range by finitely many levels shows that every such function belongs to $V$. A finite sum of rectangle indicators can be rewritten on one common deterministic time partition, with the coefficient on each interval measurable at its left endpoint; it is exactly an allowed simple process.

Consequently choose $H^n$ of this form with $\Vert H^n-H{\Vert }_{L^2(\mu )}<1/n$. This provesIt is density of simple predictable processes for finite measures, with a proof of the actual approximation step.

Finally apply the preceding isometry to $M_t=B_{t\wedge 1}$, whose bracket is $t\wedge 1$. The elementary integrals $I_n={\int }_0^1{H}_s^{n}d{B}_s$ satisfyDefine the Itô integral as the $L^2$ limit of these elementary integrals. The same identity shows independence of the approximating sequence, linearity, mean zero, and $\mathbb{E}({\int }_0^1{H}_{s}d{B}_s{)}^2=\mathbb{E}{\int }_0^1{H}_s^{2}ds$. Applying the Doob inequality to the difference processes also gives uniform-in-time $L^2$ convergence on $[0,1]$, with a continuous martingale version of the integral.

For $g(x)=\log |x|$ on ${\mathbb{R}}^2\setminus \{0\}$,The Itô formula, stopped in a compact annulus, therefore givesThis proves the local martingale property up to a possible hitting of the origin. For the annulus exit time $T$, $M_{t\wedge T}$ is bounded between $\log r$ and $\log R$, so it is a true uniformly integrable martingale.

The exit is finite almost surely. Indeed $|B_t{|}^2-2t$ is a martingale, so stopping at $T\wedge t$ gives $2\mathbb{E}(T\wedge t)=\mathbb{E}|B_{T\wedge t}{|}^2-1\le R^2-1$. Letting $t\to \infty$ proves $\mathbb{E}T<\infty$. Bounded convergence in the logarithmic martingale now yieldsIf $p$ is the probability of reaching radius $r$ before radius $R$, continuity givesHitting zero before reaching radius $R$ would require reaching every positive radius $r$ first. Its probability is bounded by $p$, which tends to zero as $r\downarrow 0$. Any finite-time path hitting zero is bounded before that time and hence hits zero before exiting some integer-radius disk. A countable union over those disks proves $B_t\ne 0$ for every $t\ge 0$, almost surely. This is planar Brownian motion avoids a fixed point; it also makes $M$ a globally defined continuous local martingale.

To decide whether it is a true martingale, compute its expectation directly. Condition on $B_0$ if necessary and use rotation to take $B_0=(1,0)$ and write $B_t=B_0+W_t$. Conditional on $\rho =|W_t|$, the angle of $W_t$ is uniform. The angular average of a logarithmic potential isFor $\rho <1$ this follows by taking the real part of the convergent power series for $\log (1+\rho e^{i\theta })$: each nonconstant Fourier term integrates to zero. For $\rho >1$ factor out $\rho$ and apply the same argument to $1/\rho$. The equality at one follows by the integrable limiting logarithmic singularity. All interchanges are valid: the shifted Gaussian density is bounded near the origin, where ${\int }_0^{1}r|\log r|dr<\infty$, and its Gaussian tail controls logarithmic growth.

The radius $\rho$ has density $(\rho /t)e^{-{\rho }^2/(2t)}$. Consequently, for $t>0$,Since $M_0=0$, $M$ is not a martingale, despite integrability at each deterministic time. This is the logarithmic radius of planar Brownian motion example.

The optional hint is consistent with this conclusion. The upper-radius exit $T(2,0)$ is finite and never occurs at zero. After that exit the stopped square is $(\log 2{)}^2$; before it, a radius in $[1/2,2]$ also gives a logarithmic square no larger than $(\log 2{)}^2$, while a radius below $1/2$ contributes precisely the extra indicated term. This proves the hinted inequality without assuming that the unstopped process is a true martingale.

Work with the filtration relative to which the given Brownian motion or Markov jump process has its stated properties. All martingale assertions below concern every finite time interval; no infinite-horizon uniform integrability is claimed.

First put $C={\sup }_x|\sigma (x)|$. The solution has the representation $X_t={\int }_0^t\sigma (X_s)d{B}_s$, and the Itô isometry givesThus $X$ is a square-integrable martingale, not just a local martingale. Applying the Itô formula to its square cancels the finite-variation term and givesThe expected squared integrand integral is bounded byTherefore both $X$ and $Z$ are true square-integrable martingales. This is the bounded diffusion coefficient gives square martingales criterion. Only bounded measurability of the coefficient and existence of the stipulated solution have been used.

For the jump process, the Lévy kernel of a Markov jump process uses displacements: a mark $y$ sends the state $x$ to $x+y$. Let $\Lambda ={\sup }_x\lambda (x)$ and $V={\sup }_{x}v(x)$. The bounded total rate prevents explosion; the number of jumps on a finite interval is dominated by a rate-$\Lambda$ Poisson process. Let $N(ds,dy)$ record the jump displacements. Its predictable compensator of a jump measure isThe Cauchy-Schwarz inequality gives $\int |y|K(x,dy)\le \sqrt{\lambda (x)v(x)}$, so the zero first moment is absolutely meaningful. Since that moment vanishes,The compensated integral is a square-integrable martingale: its isometry follows first for bounded marks from conditional compensation and then by truncation in the squared-integrand norm.

The jump version of the square Itô formula is $X_t^2=2{\int }_0^t{X}_{s-}d{X}_s+{\sum }_{s\le t}(\Delta X_s{)}^2$. HenceThe first term is square integrable becauseThe second is an integrable martingale: the expected absolute uncompensated jump-square sum is at most $Vt$, and the compensator identity, multiplied by any bounded event known at an earlier time, makes its increments conditionally centered. Values $X_s$ and $X_{s-}$ agree for Lebesgue-almost every time, so the displayed compensation is exactly the one defining $Z$. Thus $X$ and $Z$ are true martingales in the jump case as well. A fourth moment of the jumps is unnecessary; in particular we have not asserted that this $Z$ must be square integrable. This is centered finite-rate jump kernel gives square martingales.

Use ${\mathbb{F}}_{32}={\mathbb{F}}_2[\omega ]$ with ${\omega }^5={\omega }^2+1$. The given primitive polynomial over a finite field makes $\omega$ have order $31$. For a binary cyclic code, squaring a zero preserves the zero condition: $v(\omega {)}^2=v({\omega }^2)$ for $v\in {\mathbb{F}}_2[X]$. Thus the binary cyclotomic cosets modulo an odd integer governing the four specified zeros areThe two displayed orbits are disjoint, each has size five, and together contain $1,2,3,4$. Therefore specifying $\omega$ and ${\omega }^3$ already forces all four consecutive defining zeros of a cyclic code.

The minimal polynomial of an algebraic element of $\omega$ is $m_1(X)=X^5+X^2+1$. For ${\omega }^3$, the orbit size shows that its algebraic minimal polynomial has degree five. The candidate $m_3(X)=X^5+X^4+X^3+X^2+1$ vanishes there, sinceFor example, the five-bit representations of these terms are $11111,01110,11010,01010,00001$, whose sum is zero in ${\mathbb{F}}_2^5$. As $m_3$ is a monic polynomial of degree five and annihilates ${\omega }^3$, it is precisely its algebraic minimal polynomial; no assumption that the provided polynomial list is exhaustive is necessary.

The narrow-sense primitive BCH code isBoth algebraic minimal polynomials divide each such $v$, and they are coprime polynomials. Their product is a divisor of $X^{31}-1$. Hence the generator polynomial is their product. Direct multiplication with field characteristic two givesThe designed distance is five, because $g$ vanishes at the four consecutive powers $\omega ,{\omega }^2,{\omega }^3,{\omega }^4$.

Here is an explicit BCH bound proof for these zeros. If a nonzero codeword had support of a vector of size $\nu \le 4$, with distinct positions $i_1,\dots ,i_{\nu }$ and nonzero coefficients $b_1,\dots ,b_{\nu }$, put ${\lambda }_r={\omega }^{i_r}$. Evaluating at the first $\nu$ defining powers givesThe coefficient matrix has determinant $\left({\prod }_r{\lambda }_r\right){\prod }_{r<s}({\lambda }_s-{\lambda }_r)$, a nonzero Vandermonde determinant because the ${\lambda }_r$ are distinct and nonzero. It therefore forces every $b_r=0$, a contradiction. Thus the minimum Hamming distance is at least five.

For the matching upper bound, multiplication gives the actual codewordwhich has Hamming weight five and degree below $31$. HenceThis proves the actual distance without needing the optional theorem. Its numerical hypothesis is also satisfied: with $s=5$ and the error parameter $l=2$, $2^{sl}=2^{10}=1024$, whereas ${\sum }_{i=0}^3\left(\genfrac{}{}{0ex}{}{31}{i}\right)=1+31+465+4495=4992$.

Now calculate the root-evaluation syndrome for a cyclic code from the received polynomial. Reduction modulo $m_1(X)$ gives $u(X)\equiv X^3$, so $S_1=u(\omega )={\omega }^3$. Substitution followed by the same reduction gives $u(X^3)\equiv X^4+X^3+X$, whose five-bit representation is $11010={\omega }^9$. ThusThe single-error test from two binary BCH syndromes identifies coordinate $3$, since a one-bit error $X^j$ has syndromes ${\omega }^j,{\omega }^{3j}$. Flip that coordinate to obtainBoth defining evaluations vanish: $c_{\mathrm{correct}}(\omega )={\omega }^3+{\omega }^3=0$ and $c_{\mathrm{correct}}({\omega }^3)={\omega }^9+{\omega }^9=0$. More directly,so it is certainly a codeword of $\mathcal{X}$. It is at Hamming distance one from $u$. Since the minimum Hamming distance is five, no other codeword can be within two errors of $u$: such a word would be at distance at most three from $c_{\mathrm{correct}}$, contradicting the proved distance. Thus this is the unique bounded-distance decoding under the linear code's two-error guarantee.

The decoded polynomial printed in the original PDF is incorrect. It instead adds $X^{10}$ to $u$, giving a polynomial $c_{\mathrm{printed}}=u+X^{10}$. Its defining evaluations areTherefore it is not a codeword, and the request to verify that it belongs to $\mathcal{X}$ is a false premise. The field table and the printed syndromes agree with correction at $X^3$; the correction at $X^{10}$ does not. The boxed corrected polynomial resolves this source error and supplies the intended decoding and membership proof.