For $d\ge 3$ and $|x|>\epsilon$, stop the harmonic function $u(x)=|x{|}^{2-d}$ at the two boundaries of $\{\epsilon <|x|<R\}$. Bounded optional stopping gives the probability of hitting the inner sphere first as $(u(x)-u(R))/(u(\epsilon )-u(R))$. Letting $R\to \infty$ gives the displayed formula; a finite hitting path is contained in some finite-radius ball.

For a cumulative distribution function $F$ and a standard Brownian bridge $\mathbb{G}$, the F-Brownian bridge is the centred Gaussian process ${\mathbb{G}}_F=\mathbb{G}\circ F$. Its covariance is $F(\min (s,t))-F(s)F(t)$, by substituting $F(s),F(t)$ into the bridge covariance. It can jump when $F$ jumps. Its law is tight in the supremum norm, since composition with $F$ is a continuous map from the separable space of continuous bridge paths.

For $t<1$ this stochastic integral solves $d{X}_t=d{B}_t-X_t(1-t{)}^{-1}dt$. The Itô product rule also gives $X_t=B_t-(1-t){\int }_0^t{B}_s(1-s{)}^{-2}ds$. The process is centered Gaussian, with covariance $\min (s,t)-st$, and has a continuous extension $X_1=0$. Time reversal of a Brownian bridge proves endpoint continuity without assuming it at the start.

The Brownian bridge covariance kernel is invariant under reversing both times, and its mean is zero. The two centered Gaussian processes therefore have equal finite-dimensional laws. Equality on countably many rational coordinates transfers the event of continuity at zero to the reversed endpoint. Interior continuity then extends the rational-time limit to all times. This proves the terminal continuity of the stochastic integral representation of a Brownian bridge.

The cubic crystal system has cubic point symmetry. Its three cubic Bravais lattices are primitive, body-centered, and face-centered. The body-centered cubic lattice is one member of that classification.

A tetragonal conventional cell with lattice points at its vertices and face centers describes a Bravais lattice. It is equivalent, after a rotation and a change of conventional cell, to a body-centered tetragonal description. The reciprocal lattice of a body-centered tetragonal lattice with conventional sides $a,a,b$ consists of $2\pi (h/a,k/a,l/b)$ with $h+k+l$ even; these points form a face-centered tetragonal conventional cell with sides $4\pi /a,4\pi /a,4\pi /b$.

A region whose translates tile a lattice's ambient space, together with the lattice points represented in it. A primitive unit cell represents one lattice point; a conventional unit cell may represent several to display symmetry.

Associate to each prime $p\equiv 3(\mathrm{mod}4)$ the class of $(-1,p{)}_{\mathbb{Q}}$. These classes have order two, since quaternion conjugation identifies the algebra with its opposite. The product rule $[(-1,a)][(-1,b)]=[(-1,ab)]$ follows by factoring their tensor product into the commuting subalgebras generated by $i_1,j_1{j}_2$ and by $i_1{i}_2,j_2$; the second is the split algebra $(1,b)$. Every nonempty finite product of distinct such primes has an odd valuation at one of them. The quaternion norm obstruction at primes congruent to three modulo four therefore makes its class nonzero, proving independence. Euclid's construction $4p_1\cdots p_m-1$ proves there are infinitely many such primes.

For a number field $K$, localization of the Brauer group is injective. Its image is exactly the finite-support tuples of local classes whose local Brauer invariants sum to zero. The non-Archimedean summands have invariant group $\mathbb{Q}/\mathbb{Z}$, real summands have $\{0,1/2\}$, and complex summands are zero. For a cyclic character $\chi$ and parameter $a$, the invariant of the local cyclic algebra is $\chi ({\mathrm{Art}}_{K_v}(a))$. Thus the zero-sum condition on principal parameters is the additive form of Artin reciprocity.

The Brauer class of a central simple algebra is its equivalence class under adjoining matrix-algebra factors. Two algebras have the same class exactly when their central division-algebra representatives are isomorphic. The zero class consists of split matrix algebras; the inverse of $[A]$ is the class of the opposite algebra. For a cyclic algebra $(L/K,\sigma ,a)$, the class is zero exactly when $a$ is a field norm from $L$.

Assume four spacetime dimensions, $\Phi \ne 0$, constant $\omega$, no scalar potential and matter independent of $\Phi$. In the stated action convention, scalar variation gives $\Phi R+\omega {\Phi }^{-1}(\nabla \Phi {)}^2-2\omega \square \Phi =0$. The trace of the metric tensor equation gives $\Phi R+\omega {\Phi }^{-1}(\nabla \Phi {)}^2+3\square \Phi =8\pi GT$. Their subtraction proves the displayed wave equation with $T=g^{ab}{T}_{ab}$. The degenerate coupling of Brans-Dicke theory needs separate treatment before dividing by its coefficient.

Take two copies of each direction $(1,0),(0,1),(1,1),(1,-1)$. The resulting box spline has total polynomial degree six and $C^4$ continuity: there are eight directions and a rank-deficient remaining set has at most two, so the removal number is six. With a centred origin its support is the zonotopeIts centred binary symbol isThis symbol factors as $A(z,w)A(zw,z/w)$ with $A=(2+z+z^{-1})(2+w+w^{-1})/8$, giving an efficient quincunx subdivision implementation. The box spline criterion is also described in the primary research paper 4–8 Subdivision by Velho and Zorin.

This box spline is the density of the image of the uniform unit four-cube under the indicated direction matrix. Its polynomial pieces have total degree $4-2=2$. Removing three directions is necessary to leave a nonspanning set, giving $C^1$ continuity. Its knot arrangement is a criss-cross triangulation of a square lattice. Its refinement mask is $\frac{1}{4}(1+z)(1+w)(1+zw)(1+z/w)$, up to the monomial that fixes the origin.

The unit-direction univariate box spline is the density of the sum of $m$ independent uniform unit-interval coordinates. It is the order-$m$ Cardinal B-spline: its closed support is $[0,m]$, it is strictly positive on the interior, and its polynomial degree is $m-1$. For $m\ge 2$ it is $C^{m-2}$, generally not $C^{m-1}$. The recurrence $B_m(x)={\int }_0^1{B}_{m-1}(x-u)du$ proves its support and positivity. Starting with a half-open unit interval, integrating the translate partition recursively proves ${\sum }_{j\in \mathbb{Z}}{B}_m(x-j)=1$. Orthogonal projection onto the unit diagonal rescales support width from $m$ to $\sqrt{m}$.

A transformed-response regression estimates the conditional mean $m$ on the transformed scale. Inverting that mean does not generally estimate the original-scale mean, because nonlinear transformations do not commute with expected values. For a smooth inverse $g$ and centered transformed error of variance ${\sigma }^2$, a second-order Taylor expansion gives the displayed local correction. For $g(z)=z^q$ at positive $m$, it is $m^q+\frac{1}{2}q(q-1)m^{q-2}{\sigma }^2$. The variance is the response's residual variance, not the sampling variance of the estimated mean. This approximation requires errors small enough that the inverse is meaningful over the relevant range; it is not an exact moment formula for arbitrary transformed noise.

A bounding volume hierarchy traversal visits only nodes whose ancestors passed a conservative enclosure test. It can use depth-first search; its time complexity depends on how many nodes pass, not just the height of a binary tree.

// Target: optics.bigb

Let $S_n={\sum }_{j=1}^n{X}_j$, where the increments are nonconstant independent and identically distributed random variables with zero expected value and $|X_j|\le c$. Then the random walk oscillates between arbitrarily large positive and negative levels almost surely. For $T_a=\inf \{n:S_n\ge a\}$, the stopped martingale $a+c-S_{n\wedge T_a}$ is nonnegative. The martingale convergence theorem implies that $S_n$ converges finitely on $\{T_a=\infty \}$. However, some $\delta >0$ has $\mathbb{P}(|X_1|>\delta )>0$, and the Borel-Cantelli lemmas imply $|X_n|>\delta$ infinitely often. Hence finite convergence is impossible. Apply this to every positive integer $a$ and to $-S_n$.

The bounded increments also imply infinitely many visits to $[-c/2,c/2]$: a path cannot cross from above $c/2$ to below $-c/2$ without entering this interval. Identical distribution cannot simply be dropped. For independent symmetric signs ${\epsilon }_j$, the increments $X_j=c{4}^{-(j-1)}{\epsilon }_j$ satisfy $|S_n|\ge 2c/3$ for every $n$, even though they are nonzero, independent, symmetric and uniformly bounded.

If $X_1,\dots ,X_n$ are independent random variables and $f$ has bounded differences constants $c_i$, thenand the same bound holds for the lower tail.

A meromorphic function on the unit disc has bounded characteristic if and only if it has this representation. Its pole Blaschke product $B$ makes $g=Bf$ analytic with bounded positive logarithmic means. The least harmonic majorant by expanding disk lifts gives $H\ge {\log }^{+}|g|$. A harmonic conjugate gives an analytic $A$ with $\mathrm{Re}A=H$, so $u=g{e}^{-A}$ and $v=B{e}^{-A}$ are bounded. Conversely the Nevanlinna first main theorem bounds the characteristic of $u/v$ by that of $u$ and $1/v$, hence by a constant.

For $0<\kappa <4$ and $x>0$, stop the simple chordal SLE trace on first entering the radius-$r$ half-disc about $x$, with $r<x/4$. A crosscut from its tip to $x$ separates the positive-side boundary arc containing $x/2$ from infinity. Harmonic measure comparison with the half-disc bounds the length of that arc's mapped interval, $g_t(x/2)-{\xi }_t$, by a universal constant times $r$. This centered boundary image is a positive Bessel process of dimension $1+4/\kappa >2$ and has a strictly positive all-time minimum. Hence the full trace stays a positive distance from each fixed nonzero real point. Reflection gives the negative-side version.