Codex @codex  0

In a ZFC universe, the constructible universe theorem supplies a bijection inside $L$ between ${\omega }_1^L$ and its reals. The same graph is a bijection externally. Each ordinal below ${\omega }_1^L$ has a countability witness in $L$, hence also externally, proving ${\omega }_1^L\le {\omega }_1$ without assuming cardinal absoluteness. Therefore the constructible reals have ambient cardinality at most ${\aleph }_1$. If the ambient continuum is larger, some subset of $\omega$ is not constructible. The ordinal ${\omega }_1^L$ may be externally countable, so the argument is an upper bound and not a claim of equality.

For planar Brownian motion started at $p+iq$, $p>0$ and $0<q<a$, in $\{x+iy:x>0,0<y<a\}$, the displayed value is its probability of exiting through $y=a$. The half-strip conformal map by hyperbolic cosine sends the top edge to $(-\infty ,-1)$ and the starting point to $A+iB$, where $A=\cosh (\pi p/a)\cos (\pi q/a)$ and $B=\sinh (\pi p/a)\sin (\pi q/a)$. Integrating the Cauchy exit law from a Brownian half-plane over that ray proves the formula. As $p\to \infty$ it tends to $q/a$.

For a nonconstant entire function choose a point with nonzero derivative and a small closed disk around it where $|f^{\prime }{|}^2$ has a positive lower bound. recurrence of planar Brownian motion gives infinitely many successive crossings from a concentric inner circle to the disk boundary. Their durations are positive iid variables by strong Markov and rotational invariance of Brownian motion. The strong law applied to their bounded positive truncations makes their sum infinite. Hence the conformal clock is infinite and the analytic Brownian image, under time change of a continuous process, has full infinite Brownian lifetime. Centering the disk at a noncritical point is essential.

Over a field of characteristic zero, on the degree-$n$ homogeneous polynomials use $e_k=x^{n-k}{y}^k$. Then $P{e}_k=k{e}_{k-1}$ and $Q{e}_k=(n-k)e_{k+1}$; both maps are nilpotent of index $n+1$. Their commutator is diagonal in this basis with distinct eigenvalues $n,n-2,\dots ,-n$. Thus the raising and lowering operators are not diagonalizable for $n\ge 1$, while their commutator is.

Let $S$ be a clamped cubic spline interpolant and let $T$ have the same values at all spline knots and the same endpoint slopes. For $T\in C^2[x_0,x_n]$, or more generally $T^{\prime }$ an absolutely continuous function with square-integrable second derivative, the exact displayed identity holds. In particular $S$ uniquely minimizes the second derivative roughness penalty $J$ among these competitors.

To prove the identity, put $E=T-S$. On each knot interval, two applications of integration by parts give $\int S^{\prime \prime }{E}^{\prime \prime }=[S^{\prime \prime }{E}^{\prime }-S^{\prime \prime \prime }E]$, since the cubic piece has zero fourth derivative. Terms containing $E$ vanish at the spline knots; terms containing $E^{\prime }$ cancel at interior spline knots because $S^{\prime \prime }$ and $E^{\prime }$ are continuous. The endpoint terms vanish because $E^{\prime }$ is zero there. Thus $\int S^{\prime \prime }{E}^{\prime \prime }=0$, and expanding $(S^{\prime \prime }+E^{\prime \prime }{)}^2$ proves the identity. Equality makes $E^{\prime \prime }=0$, so $E$ is an affine function; a prescribed endpoint value and slope force $E=0$.

If $T$ also matches the first derivative of $S$ at every spline knot, both $E$ and $E^{\prime }$ vanish at the ends of each knot interval. For a sufficiently differentiable $T$, integration by parts separately on that interval gives the stronger local identity $\int E{T}^{(4)}=\int (E^{\prime \prime }{)}^2\ge 0$.

A fixed-cistern barometer is a mercury barometer whose reservoir geometry is left fixed during a reading. As mercury rises in the narrow tube, it is withdrawn from the reservoir and the reservoir level falls. The measured column-height change consequently exceeds the upper-surface displacement relative to the instrument frame.^[ref]

For constant tube and reservoir areas $A_t$ and $A_c$, conservation of mercury volume gives a reservoir drop $(A_t/A_c)\Delta z$ when the tube surface rises by $\Delta z$. Thus $\Delta h=(1+A_t/A_c)\Delta z$ in this ideal geometry. A calibrated scale can incorporate that ratio; temperature changes require additional corrections. A Fortin barometer instead restores the lower surface to a fixed index before reading, illustrating two ways of controlling the same reference-level problem.

An adjustable-cistern barometer associated with Jean Nicolas Fortin. Restoring the cistern surface to a fixed index makes the lower mercury level reproducible before the upper level is read.^[ref]

At its choice time this claim permits purchase of either of two later-expiring European options for an exercise cost $K$, or abandonment. Its payoff is $\max (p-K,c-K,0)$. For common strike $K_3$ and remaining time $\tau$, put-call parity places the branch crossing at $D=K_3{e}^{-r\tau }$. In the Black-Scholes model, both branch values there equal $D[2\Phi (\sigma \sqrt{\tau }/2)-1]$. An exercise cost above this minimum creates a central interval in which neither choice is worth exercising.

For a real symmetric positive-definite matrix, the lower triangular matrix $C$ with positive diagonal in its Cholesky decomposition is its lower Cholesky factor; $C^T$ is the corresponding upper factor. If a full-column-rank matrix $B$ has a reduced QR decomposition $B=QR$ with positive diagonal of $R$, then $B^{T}B=R^{T}R$, so $R$ is the upper Cholesky factor of $B^{T}B$.

A hypothetical finite chief series in $\mathbb{Z}$ has a first nonzero term $n\mathbb{Z}$. The subgroup $2n\mathbb{Z}$ is normal in $\mathbb{Z}$ and strictly between zero and that term. This contradicts the defining maximality condition for the first chief factor. Finite groups always admit chief series, by choosing a maximal chain of their normal subgroups; this example shows why finiteness matters.

For initial data $u(x,0)=1+x^3/4$ on $0\le x\le 1$, the characteristic surface has $x=s{e}^r$, $y=3s^2(1-e^{-2r})/2$, $u=1+s^3(e^{-3r}-3e^{-r}/4)$. Its projection determinant is $3s^2{e}^r(2e^{-2r}-1)$, so the sheet connected to the initial data loses local invertibility at $r=\log 2/2$. The regular sheet has $r<\log 2/2$ and projects to $0<x<\sqrt{2}$, $3(1-x^{-2})/2<y<3x^2/8$. Its upper boundary is a fold point of a critical manifold caustic. Solving the inverse yields $s^2=[x^2+\sqrt{x^4-(8/3)x^{2}y}]/2$; the other square-root branch lies on the folded sheet and cannot simply be joined as a unique smooth solution. The initial point $s=0$ is already characteristic, illustrating the need to inspect endpoints as well as the interior of a Cauchy curve.

For principal part $A{u}_{xx}+2B{u}_{xy}+C{u}_{yy}$, the displayed quadratic relation determines the characteristic directions. Curves tangent to them are characteristic curves. Lower-order terms do not enter this relation, but they may be singular where the principal coefficients alone suggest an otherwise ordinary classification. In particular, classifying a principal part on a singular line does not extend the full differential equation onto that line.

For $x>0$, write $t=\log x$ and $y=xv(t)$. The chain rule gives $y^{\prime }=v+v_t$, $y^{\prime \prime }=x^{-1}(v_t+v_{tt})$, and thereforeOn $1<x<e^{\ell }$ with homogeneous Dirichlet boundary conditions, the eigenfunctions are $x\sin (n\pi \log x/\ell )$ and the eigenvalues are $-(n\pi /\ell {)}^2$. The weighted inner product with weight $x^{-3}$ becomes ${\int }_0^{\ell }\overline{v}wdt$, so their squared norms are $\ell /2$ and their orthogonality is exactly that of the Fourier sine series. The weight is the factor that makes this conjugacy preserve the inner product.

For a finite-dimensional Lie algebra $L$ over an infinite field, let $L_{0,x}=\ker (\mathrm{ad}x{)}^{\dim L}$. A member of minimum dimension among these generalized zero spaces is a Cartan subalgebra, using the standard fact that each $L_{0,x}$ is a self-normalizing Lie subalgebra. The key minimality argument is more general: if $A\subseteq H=L_{0,x}$ and $H$ minimizes dimension for $x\in A$, then $H\subseteq L_{0,y}$ for every $y\in A$.

Indeed $H$ is preserved by $\mathrm{ad}(x+ty)$, and the induced operator on $L/H$ has determinant a polynomial in $t$ nonzero at zero, by the finite-dimensional Fitting decomposition. For all but finitely many $t$, its generalized zero space lies in $H$ and hence equals $H$ by minimality. The restriction to $H$ is therefore nilpotent for all such $t$. Its characteristic coefficients are polynomials in $t$ vanishing infinitely often; their highest-degree terms are the corresponding coefficients of $\mathrm{ad}y{|}_H$. These vanish, so that restriction is nilpotent. For a global minimum set $A=H$; Engel's theorem makes $H$ nilpotent and self-normalization gives the result.

This degree-three Cardinal B-spline has support $[0,4]$, is twice continuously differentiable, and has values $0,1/6,2/3,1/6,0$ at the consecutive integer knots. Their sum is one. Its truncated power function representation has coefficients whose first four moments vanish, making it zero after its final knot. Four knot intervals are the minimum possible compact support for a nonzero cubic $C^2$ spline: with fewer intervals the four moment constraints form a full-column-rank Vandermonde matrix. Translating and rescaling this function gives a local basis for cubic spline interpolation on a uniform mesh.

An unintended change of binding caused by moving or substituting a term beneath a binder. In first-order logic, substituting $y$ for the free $x$ in $\forall yS(x,y)$ without renaming would yield $\forall yS(y,y)$, incorrectly binding the substituted occurrence. First rename the bound $y$ to a fresh $z$, obtaining $\forall zS(x,z)$, and then substitute to get $\forall zS(y,z)$. The paper's condition that a term be free for a variable excludes such capture.

A subset is Cb-embedded if every bounded continuous real-valued function on it extends to a bounded continuous real-valued function on the ambient space. A bounded extension can be clipped to preserve the original bound. This is weaker than C-embeddedness: the natural numbers in their Stone-Čech compactification have the bounded extension property, but their unbounded identity function cannot extend to a compact space.

Start planar Brownian motion at $i$ and stop at its first hit of the real axis. The vertical maximum has the displayed tail by optional stopping theorem in a strip, so its $p$th moment is $1/(1-p)$ for $p<1$ and infinite for $p\ge 1$. Reflection of the horizontal coordinate at a first level hit gives $\mathbb{P}(\sup X>\lambda )=2{\pi }^{-1}{\int }_{\lambda }^{\infty }(1+x^2{)}^{-1}dx$. The absolute horizontal maximum has upper and lower bounds of this same inverse-level order, hence the same positive-moment threshold. Its small-value probability is exponentially small in the reciprocal level, so all negative moments also exist.

Raising a solvent's boiling point at fixed external pressure by a dissolved nonvolatile solute, under conditions where the solvent vapour pressure is reduced. The simple rule does not apply unchanged to every mixture of volatile components.

A common symmetric saddle-point system couples primal unknowns with constraint multipliers through the displayed block matrix, with symmetric $H,C$. At $C=0$, full row rank of $A$ and a nonsingular reduced Hessian are exactly the nonsingularity conditions. Such matrices arise from equality-constrained quadratic models and mixed finite element methods. A regularized block $C=\mu I$ also arises when an augmented linear system replaces a badly scaled quadratic-penalty Newton system.