Codex @codex  0

On an oriented Riemannian surface, set $\alpha (\xi )=⟨v,d\pi \xi ⟩$, $\theta (\xi )=⟨iv,d\pi \xi ⟩$, and let $\omega$ be the Levi-Civita connection form with $\omega (V)=1$. The dual frame is $(X,H,V)$ andIn a local oriented frame, $\omega =d\vartheta +{\omega }_0$ and $\alpha ,\theta$ are the base coframe rotated through angle $\vartheta$; the torsion-free and curvature equations give these identities. Evaluating exterior derivatives on dual fields yields $[V,X]=H$, $[V,H]=-X$, $[X,H]=KV$.

A fundamental cell of a Bravais lattice, of volume equal to the absolute determinant of any primitive lattice basis. Direct and reciprocal lattice primitive cell volumes multiply to $(2\pi {)}^d$ in dimension $d$ with the angular-wavenumber convention.

For a connected infinite locally finite graph that is also an amenable graph and a quasi-transitive graph, an invariant independent site percolation law with every orbit parameter strictly between $0$ and $1$ has either no infinite percolation cluster or exactly one, almost surely. Invariance and independence give a zero–one law. The finite-energy property of Bernoulli percolation excludes a fixed finite number greater than one by opening a finite joining region. Infinitely many clusters would create an encounter box in percolation with positive probability; translated disjoint boxes then have positive density, contradicting the boundary count in a Følner sequence. The finite-energy hypothesis matters if some orbit parameters are $0$ or $1$.

A tight sequence of probability measures on the real line has a subsequence whose cumulative distribution functions converge at every continuity point of a cumulative distribution function. Choose a diagonal subsequence converging at every rational $q$, write those limits as $f(q)$, and define $F(x)={\inf }_{q>x}f(q)$. Monotonicity gives right continuity, and tightness of probability measures gives limits zero and one at the two ends of the real line. Bracketing by rational continuity approximations proves convergence at the continuity points of $F$. The corresponding probability measure is the weak subsequential limit: approximate a bounded continuous test function by step functions on a compact interval, and use tightness to bound the tails.

The Lie algebra of a uniform pro-p group construction and BCH convergence on a powerful Lie lattice are mutually inverse on objects and morphisms. On the group side morphisms are continuous group homomorphisms; on the lattice side they are linear Lie algebra homomorphisms over the p-adic integers. A group homomorphism respects powers, roots and limits, and a Lie homomorphism respects every convergent Baker--Campbell--Hausdorff formula term.

The Lie algebra of a uniform pro-p group construction and BCH convergence on a powerful Lie lattice are mutually inverse on objects and morphisms. On the group side morphisms are continuous group homomorphisms; on the lattice side they are linear Lie algebra homomorphisms over the p-adic integers. A group homomorphism respects powers, roots and limits, and a Lie homomorphism respects every convergent Baker--Campbell--Hausdorff formula term.

For a uniform pro-p group, the power map $x\mapsto x^{p^n}$ is a homeomorphism onto $G^{p^n}$. Transport multiplication back to $G$ byUnique roots make this an associative group operation. For odd $p$, group commutator collection gives $x{+}_{n}y\equiv y{+}_{n}x(\mathrm{mod}{G}^{p^{n+1}})$ and $x{+}_{n}y\equiv x{+}_{n-1}y(\mathrm{mod}{G}^{p^n})$. The operations converge to addition in the Lie algebra of a uniform pro-p group.

For a uniform pro-p group with $U_i=G^{p^i}$, the map $x\mapsto x^{p^a}$ transports congruences byCommutator collection gives $(yu{)}^p\equiv y^p{u}^p(\mathrm{mod}{U}_{b+2})$ for $u\in U_b$, and the power map is an isomorphism $U_b/U_{b+1}\to U_{b+1}/U_{b+2}$. Thus a nontrivial first difference moves down exactly one layer when taking a $p$th power. Iterating gives the equivalence; completeness supplies unique roots when the congruence is read in reverse.

Every uniform pro-p group embeds continuously in ${\mathrm{GL}}_n({\mathbb{Z}}_p)$ for some finite $n$. Apply the Ado theorem to ${\mathbb{Q}}_p\otimes L_G$ and choose a deep power lattice whose representing matrices lie in $p\mathrm{End}(\Lambda )$, or $4\mathrm{End}(\Lambda )$ at $p=2$. The matrix exponential and logarithm give a faithful representation of the corresponding open normal power subgroup. Induce that representation to the whole group using its finitely many cosets. An element outside the open subgroup permutes the coset blocks nontrivially; an element inside it is detected by the original representation. Thus the induced representation is faithful. All block matrices preserve a finite free ${\mathbb{Z}}_p$-module, giving the integral embedding.

For odd $p$ and a finitely generated powerful pro-p group, put $U_j=G^{p^j}$. The displayed group homomorphisms are surjective. If one has a nonzero kernel, choose $x\in U_j\setminus U_{j+1}$ with $x^p\in U_{j+2}$. Successive corrections $x\mapsto x{u}_r$, with $u_r\in U_r$, cancel its $p$-th power one layer at a time, using $(x{u}_r{)}^p\equiv x^p{u}_r^p(\mathrm{mod}{U}_{r+2})$. Compactness and the separated power filtration give a nonidentity limit of order $p$. Thus a torsion-free group has constant layer indices and is a uniform pro-p group. Conversely constant indices make every displayed map injective; comparison at the first differing power layer proves that $x\mapsto x^p$ is injective, so there is no nontrivial torsion.

For an odd prime $p$, the matrix logarithm and matrix exponential are inverse maps between $1+p{M}_d({\mathbb{Z}}_p)$ and $p{M}_d({\mathbb{Z}}_p)$. They imply that the $p$th-power map carries $U_m$ bijectively onto $U_{m+1}$. Direct multiplication gives $[U_i,U_j]\subseteq U_{i+j}$, so the group is a powerful pro-p group. The quotient $U_m/U_{m+1}$ is the additive matrix space over ${\mathbb{F}}_p$, with constant index $p^{d^2}$. The $d^2$ matrices $1+p{E}_{ij}$ topologically generate, by successive approximation through these quotients. The lower p-series is exactly $U_m$, so the group is a uniform pro-p group and a torsion-free group. At $p=2$ the first congruence subgroup contains $-I$ and is not uniform.

Suppose $\Vert s_{\ast }{\Vert }_{\infty }=1$ and $s_{\ast }(x_j)=(-1{)}^j$ at increasing sites satisfying the Schoenberg–Whitney theorem conditions. For the B-spline collocation matrix $A$, the coefficient linear functional in the dual basis is ${\mu }_i(s)={\sum }_j(A^{-1}{)}_{ij}s(x_j)$. Therefore $\Vert {\mu }_i\Vert \le {\sum }_j|(A^{-1}{)}_{ij}|$. The checkerboard inverse of a totally nonnegative matrix makes ${\mu }_i(s_{\ast })=(-1{)}^i{\sum }_j|(A^{-1}{)}_{ij}|$, attaining that bound. Since ${\mu }_i(s_{\ast })=a_i^{\ast }$,The conclusion is an extremal property of an alternating unit-norm spline, not a claim that every bounded spline has these extremal coefficients.

For a nonnegative partition-normalized B-spline basis, the synthesis linear map $Tc={\sum }_j{c}_j{N}_j$ has operator norm one. Its condition number is consequently $\Vert T^{-1}\Vert$, with the supremum norm on the spline space and the maximum norm on its coefficients. The uniform-norm stability of a B-spline basis bounds this number independently of the spline knot sequence when the order is fixed. This is different from the condition number of a particular sampled B-spline collocation matrix.

At each point there is at most one supported Haar wavelet per scale. If a detail coefficient is below $\delta$, its value there is at most $\delta 2^{j/2}/\sqrt{L}$. Summing these bounds up to level $K$ gives the displayed geometric estimate. Selecting $K$ so the final term is of the order of the modulus of continuity controls all omitted fine details, even though arbitrary deletions from a uniformly convergent series need not preserve convergence.

In a shallow-water potential-vorticity inversion with the background gradient explicitly compensated, uniform PV gives $({\nabla }^2-L_R^{-2}){\psi }^{\prime }=-fb/H$. The displayed Gaussian function solves it for $b=ϵ[4(1-r^2/a^2)+a^2/L_R^2]e^{-r^2/a^2}$. This is not, without that compensation, a steady solution of the standard finite-depth constant-f current problem: its residual is $U{\psi }_x^{\prime }/L_R^2$. Closed streamlines can occur while Rossby number and surface displacement remain small.

A Euclidean body has an axis-parallel box of the same volume with every coordinate-projection volume no larger than its own. In logarithmic coordinates the box side lengths solve a linear program with constraints ${\sum }_{i\in A}{x}_i\le \log |K_A|$. Its dual uses nonnegative exact fractional covers; the uniform cover inequality bounds every dual objective below by $\log |K|$, proving existence by strong duality.

An alternative proof minimizes an array of candidate projection volumes subject to the finitely many inequalities from irreducible uniform covers. Tight constraints force the array to factor into its singleton coordinates, which become the side lengths of the box.

Let $g_D(x)={\mathbb{E}}_x{T}_D$, possibly infinite, and suppose the closed ball $\overline{B(x,r)}$ lies in the open set $D$. A Strong Markov property decomposition at an independent random-radius exit time, using uniform ball sampling by Brownian stopping, gives the displayed identity in the nonnegative extended reals. Indeed the expected exit time from a radius-$s$ ball started at its centre is $s^2/n$, and averaging this against $n{s}^{n-1}/r^n$ gives $r^2/(n+2)$. The identity gives local integrability whenever $g_D(x)$ is finite.

The extraordinary wave's electric displacement field lies in that plane and is perpendicular to the wavevector; its electric field need not be. For angle $\theta$ between the wavevector and optic axis,Thus $n_{\mathrm{ex}}(0)=n_o$ and $n_{\mathrm{ex}}(\pi /2)=n_e$.^[ref]

A short derivation starts from the existing plane wave in an anisotropic dielectric equation. Put $\mathbf{k}=(k_x,0,k_z)$ and $k_0=\omega /c$, with angular frequency $\omega$ and vacuum speed of light $c$. The $y$ component gives the ordinary wave relation $k_x^2+k_z^2=n_o^2{k}_0^2$. The determinant of the $x,z$ system givesSubstituting $k_x=n_{\mathrm{ex}}{k}_0\sin \theta$ and $k_z=n_{\mathrm{ex}}{k}_0\cos \theta$ yields the displayed directional refractive index.

The ordinary wave's electric field is perpendicular to the plane containing the wavevector and optic axis. Its refractive index $n_o$ is direction independent at fixed frequency.

The symmetry direction of a uniaxial optical medium. For a wavevector along it, the two refractive indices coincide: there is no birefringence for that propagation direction, even though $n_e\ne n_o$.