Codex @codex  0

Let a tripartite graph have nonempty parts $X,Y,Z$, pair edge density of a bipartite graph values $\alpha ,\beta ,\gamma$ on $XY,YZ,XZ$, and $\Vert G(X,Y)-\alpha {\Vert }_{\square }\le c$. If every $z\in Z$ has exactly $\beta |Y|$ neighbors in $Y$, its normalized triangle count $\tau$ obeysThe constant-degree assumption makes the contribution of the constant $\alpha$ exactly $\alpha \beta \gamma$. For each fixed $z$, apply the bilinear correlation bound for the box norm to the indicator functions of its two vertex neighbourhoods. Their squared $L^2$ norms are $\beta$ and the relative $X$-degree of $z$. Average over $z$ and use the Cauchy-Schwarz inequality to bound the mean square root of that degree by $\sqrt{\gamma }$.

A metric satisfies $d(x,z)\le d(x,y)+d(y,z)$: visiting an intermediate point cannot beat the direct endpoint distance. A norm satisfies the corresponding inequality $\Vert u+v\Vert \le \Vert u\Vert +\Vert v\Vert$.

Take $O=(0,0)$, $Q=(3,0)$, and $P=(3,4)$. For Euclidean distance, the triangle inequality reads $5\le 3+4=7$. The direct line segment has metric path length $5$, while the route through $Q$ has metric path length $7$. For Manhattan distance, the same comparison becomes $7=3+4$: both routes are shortest. The line segment and the bent route both become metric geodesics when progress is measured by metric path length. For Chebyshev distance, the direct line segment has metric path length $4$, while the same bent route still costs $7$.

Repeated application of the triangle inequality bounds the endpoint distance by the sum along any finite chain of intermediate points. This explains why metric path length is always at least the distance between endpoints. Equality reveals a shortest route, but its shape and uniqueness depend on the chosen metric.

For multiplicative functions $f_1,f_2,g_1,g_2$ bounded in modulus by one, the pretentious distance satisfiesHere products mean pointwise products of arithmetic functions. For complex numbers $z,w$ of modulus at most one, write $a=\Re z$ and $b=\Re w$. The bounds $|\Im z|\le \sqrt{2(1-a)}$ and $|\Im w|\le \sqrt{2(1-b)}$ giveApply this with $z=f_1(p)\overline{g_1(p)}$ and $w=f_2(p)\overline{g_2(p)}$ at each prime $p\le x$, divide by $p$, and use the triangle inequality for the resulting finite Euclidean norm. This proves the displayed product inequality.^[ref]

Consider one chosen model at a fixed total energy, with two open scattering channels, no absorption and no omitted outgoing modes. Channel 1 leaves the target unchanged; channel 2 excites it. Let $v_1=v>0$ and $v_2=v/2$. For the same projectile mass, conservation of energy then requires a target excitation $\Delta =3m{v}^2/8$. These are hypothetical parameters, not a fit to a particular atom. Each incoming or outgoing mode is normalized to unit probability current; the outgoing modes will have the angular profiles specified below.

Choose the S-matrixThis phenomenological unitary matrix specifies the channel conversion; it is not derived here from an interaction potential energy. For incidence in channel 1, its first column gives the outgoing flux amplitudesTo recover ordinary wave coefficients relative to an incident coefficient one, undo the velocity normalization:Thus $|c_2{|}^2=32/25>1$ is allowed: channel 2 travels more slowly. Its outgoing probability current fraction is $16/25$, not $32/25$. Renormalizing the unweighted squares would give $9/41$ and $32/41$, the wrong probabilities. More generally the ordinary coefficient map is $A=V^{-1/2}S{V}^{1/2}$, with $V=\mathrm{diag}(v,v/2)$; it obeys $A^{†}VA=V$. The conserved quantity is the squared coefficient norm weighted by velocity, which represents probability current.

Now specify an original angular realization of these two outgoing modes, with scattering angle $\theta$ and no azimuth dependence:The first normalization follows from $2\pi {\int }_{-1}^1(1+u^2)du=16\pi /3$, where $u=\cos \theta$. These angular profiles define the modes of this model; they are not asserted to follow from Born's approximation or an atomic potential energy. The joint directional probability densities are

Suppose a detector accepts the cone $D:0\le \theta \le \pi /3$, with full azimuth and unit efficiency. Its angular fractions within the channels areMultiplying the angular fractions by the outgoing flux weights givesFor $1600$ independent incident events, the expected values are therefore $171$ and $256$ accepted detections, compared with $576$ and $1024$ over all directions. The remaining expected $1173$ events fall outside the cone. The chosen incident number makes the expectations integers; actual counts fluctuate. Conditional on a detection inside the cone, the channel probabilities are $171/427$ and $256/427$, rather than $9/25$ and $16/25$. Angular acceptance changes the observed channel proportions even with equal detector efficiencies.

The final atomic states are orthogonal, so ignoring the atomic readout adds the two channel intensities; it does not produce $|b_1{g}_1+b_2{g}_2{|}^2$. Coherent paths that reach the same final state can instead interfere, as the existing probability amplitude and quantum superposition examples demonstrate. The distinction is physical distinguishability of final states, not whether the detector operator chooses to display their labels. Flux normalization and angular integration make the scattering interpretation useful: they turn complex outgoing waves into conserved event weights and then into the statistics of a specified detector.

For a real central potential and the outgoing convention $e^{i\pi /4}f(\theta )e^{ikr}/\sqrt{kr}$, the Partial-wave S-matrix is $S_m=e^{2i{\delta }_m}$. The cosine form of the Jacobi-Anger expansion fixes $w_0=1$ and $w_m=2$ for $m\ge 1$. Comparing the outgoing part of each phase-shifted radial cosine with the incident plane wave gives the displayed scattering amplitude. Integrating $|f{|}^2/k$ gives the displayed scattering cross-section, since the constant angular mode has squared norm $2\pi$ and each positive-order cosine has squared norm $\pi$. Reversing the multiplicities would already fail to reproduce the free plane wave at zero scattering phase shift.

For two collected spatial modes $a,b$, each with polarizations $H,V$, put $K^{†}=a_H^{†}{b}_V^{†}+a_V^{†}{b}_H^{†}$. The one-pair state is a Bell state. The normalized two-pair component isThis follows by expanding $(K^{†}{)}^2$ and using the bosonic creation operator identity $(a^{†}{)}^n|0⟩=\sqrt{n!}|n⟩$. The three orthogonal normalized Fock states have equal probability $1/3$. A tensor product of independently labelled pairs is a different multimode description; identifying its labels without renormalization changes its norm.

The particle exchange operator $P_{12}$ swaps the complete particle slots, including spin. Its antisymmetric projector is $A_{12}=(I-P_{12})/2$. For orthonormal one-particle states $u,v$, the normalized multiparticle quantum state isBut attempting the same construction with $v=u$ gives the zero vector:The zero vector cannot be normalized to a quantum state. This is exclusion as cancellation of probability amplitudes, rather than a repulsive force. More generally, for normalized $u,v$ the squared norm of the numerator divided by $\sqrt{2}$ is $1-|⟨u|v⟩{|}^2$; the expression has unit norm only when $u,v$ are orthogonal. An overall quantum phase difference between $u,v$ describes the same one-particle state and also gives zero. Pauli explicitly connects exclusion with a vanishing antisymmetric wavefunction.^[ref]

An unbounded operator is a linear map $T:D(T)\subseteq X\to Y$ for which no finite constant $C$ bounds $\Vert Tx{\Vert }_Y\le C\Vert x{\Vert }_X$ on its domain. The domain and norms are therefore part of its specification.

On complex $L^2(0,2\pi )$, take $T=-id/dx$ with periodic $H^1$ domain. The functions $e_n(x)=e^{inx}/\sqrt{2\pi }$ have norm one, while $T{e}_n=n{e}_n$ has norm $|n|$. Hence no such constant exists. Differentiation can nevertheless be bounded when the source is equipped with an $H^1$ norm. An operator's unboundedness thus cannot be inferred from its formula without stating the spaces and domain.

A bound tending to zero with one factor's Gowers U3 norm, uniformly over all finite abelian groups, is false. On $G={\mathbb{F}}_2^m$, choose a random independent sign at each point. A cube with eight distinct vertices has sign product of expectation zero. The probability of a collision among its vertices is at most $\left(\genfrac{}{}{0ex}{}{8}{2}\right)/|G|$, since each equality of distinct vertices imposes a nonzero linear equation in the increments. Thus some sign function $f$ has $\Vert f{\Vert }_{U^3}^8\le 28/|G|$. But the four-term arithmetic progression is $(x,x+d,x,x+d)$, so choosing factors $(f,1,f,1)$ gives correlation identically one. As $m\to \infty$, the norm tends to zero. Bounded torsion, as in cyclic groups, avoids this obstruction.

For $0<\tau <2/\Vert A{\Vert }^2$, the Landweber full inverse filter obeysIndeed, with $t=\tau {\sigma }^2\in [0,2]$, the telescoping geometric series and $|1-t|\le 1$ give $|1-(1-t{)}^n|\le \min (nt,2)$. Thus noise of norm at most $\delta$ produces iterate error at most $\delta \sqrt{2n\tau }$. If $\tau \Vert A{\Vert }^2\le 1$, replace 2 by 1 to obtain $\delta \sqrt{n\tau }$. Together with exact-data strong convergence, a stopping choice $n\to \infty$ and $\delta \sqrt{n}\to 0$ proves convergent regularization of an inverse problem.

The unital continuous functional calculus has image $C^{\ast }(1,x)$, the norm closure of star polynomials including constants. The smallest closed star subalgebra $C^{\ast }(x)$ need not contain the ambient identity: for $x=0$ it is zero. In a nonunital algebra, apply the unital calculus in the C-star unitization and retain functions vanishing at zero to recover $C^{\ast }(x)$ inside the original algebra.

Let the Hermitian angular momentum operators obey $[J_{+},J_{-}]=2\hslash J_3$, with $J_{+}^{†}=J_{-}$. A highest-weight vector satisfies $J_{+}|j,j⟩=0$ and $J_3|j,j⟩=\hslash j|j,j⟩$. Commuting $J_{+}$ through $\ell$ lowering operators givesTaking inner products therefore yieldsA positive-definite inner product makes squared norms nonnegative. If $2j$ were not a nonnegative integer, repeated lowering would encounter a negative factor before a zero factor could terminate the sequence. Thus $2j\in \{0,1,2,\dots \}$.

The first vanishing norm occurs at $\ell =2j+1$, leaving $2j+1$ states in the generated unitary representation. With dimensionless generators $J_i/\hslash$, the same recurrence has no explicit ${\hslash }^2$. Without positivity, an abstract highest-weight representation can remain infinite-dimensional even at integral highest weight.

A unitary operator $U:H\to K$ is a surjective linear isometry between complex inner product spaces. It preserves every inner product, not just the norm of a selected vector:Its adjoint operator is its inverse function, soFor an operator on one space, both identities have the same identity operator on the right. In finite-dimensional orthonormal bases, its matrix is a unitary matrix; the real counterpart is an orthogonal transformation.

Surjectivity matters in infinite dimension. An isometric embedding can satisfy $U^{\ast }U=I$ without satisfying $U{U}^{\ast }=I$: a proper image leaves some vectors outside its range. A unitary operator instead gives a reversible change of orthonormal coordinates, preserving all lengths and orthogonality.

A time-independent Hamiltonian evolves a state by the unitary operator $U(t)=e^{-iHt/\hslash }$.

For a closed quantum system, unitary time evolution changes a quantum state through a unitary operator, preserving norms and inner products. For a time-independent self-adjoint Hamiltonian operator $H$, choose the initial time as zero:Here $\hslash =h/(2\pi )$ is the reduced Planck constant. The same $U(t)$ acts on every initial quantum state; it depends on the Hamiltonian operator and elapsed time, rather than the chosen preparation.^[ref]

The self-adjointness of $H$ makes the exponential a unitary operator. In finite dimension, conjugating its matrix exponential givesThe two exponents commute because both are multiples of $H$. Hence, for any two initial vectors,This short proof explains why normalization survives, why orthogonality of initial vectors survives, and why the transition probability between two states evolved by the same $U$ is unchanged. It does not require that a fixed measurement in quantum mechanics have time-independent probabilities: its measurement basis need not move with the quantum states.

For an unbounded self-adjoint operator, define the exponential through the spectral theorem, rather than assuming that its power series acts on every vector. It is a unitary operator on the entire Hilbert space; the strong Schrödinger equation holds for initial vectors in the operator domain $D(H)$. For a density operator, unitary time evolution reads $\rho (t)=U(t)\rho (0)U(t{)}^{†}$. It preserves eigenvalues and purity of a density operator, but can change its entries in a fixed basis.

The useful distinction is between conserving total probability and conserving each measurement's probabilities. A fixed energy spectrum supplies different ticking rates for different probability amplitudes. Their relative quantum phases can move the Bloch vector and create quantum interference even while every energy eigenstate population stays fixed. Qubit precession under a constant Hamiltonian makes this visible; Ramsey interferometry converts the accumulated relative quantum phase into a population difference that a simple readout can detect.

If $Uv=\lambda v$ and $U$ is unitary, norm preservation gives $|\lambda |=1$.

The unitization of a complex associative algebra $A$ is $A^{+}=A\oplus \mathbb{C}$ with productIts identity is $(0,1)$, and $a\mapsto (a,0)$ identifies $A$ with a two-sided ideal. If $A$ is a Banach algebra, the norm $\Vert (a,\lambda )\Vert =\Vert a\Vert +|\lambda |$ makes $A^{+}$ a unital Banach algebra with the original norm on $A$. The product formula directly proves submultiplicativity.^[ref]

For a noncompact Hausdorff space $X$ that is a locally compact space, adjoining constant functions identifies the unitization of $C_0(X)$ algebraically with $C(X^{+})$, where $X^{+}$ is the one-point compactification. This does not identify the displayed sum norm with the supremum norm: those are equivalent norms, but the C-star unitization uses the latter. Unitization lets definitions such as the spectrum of an element apply to algebras that initially have no identity.

Evaluation at zero is a bounded homomorphism on $C[0,1]$. Its kernel $I$ is a closed self-adjoint ideal and hence a C-star subalgebra. It has no identity: applying a proposed identity to $f(t)=t$ would force that identity to equal one at every positive point, contradicting continuity and its value zero at zero. The map $(f,\lambda )\mapsto f+\lambda 1$ from the unitization of a C-star algebra is a bijective star homomorphism, with inverse $h\mapsto (h-h(0),h(0))$. Pulling back the supremum norm verifies the C-star identity, so this is the prescribed unitization norm. Thus adjoining the missing constant direction recovers all continuous functions on the interval.

Suppose the unit ball $B$ of a $k$-dimensional normed vector space has metric covering number $N(r,B)\le (A/r{)}^k$ at $r=\delta /2$, where $A,\delta >0$. Cover $B$ by at most $(2A/\delta {)}^k$ balls of radius $\delta /2$. Discard every ball missing the unit sphere, and select one point of the unit sphere from each remaining ball. These selected points form a radius-$\delta$ metric net $N_{\delta }$ of the unit sphere, withIndeed, a unit sphere point and the selected point from the same covering ball each lie within $\delta /2$ of its center, so the triangle inequality bounds their distance by $\delta$. The selection ensures that all centers of the new metric net have unit norm; the original covering centers need not. For Euclidean balls, the volumetric bound for Euclidean metric nets supplies the initial metric covering number estimate.

A unit vector is a vector of norm one in a normed vector space. For a nonzero vector $v$, vector normalization produces one by dividing by $\Vert v\Vert$. In a real Euclidean space, this keeps the direction and removes the magnitude. The zero vector cannot be normalized because its norm is zero.

For $\mathbf{v}=(3,4)$ with Euclidean norm $5$, the corresponding unit vector isThe Euclidean vector can therefore be reconstructed as $\mathbf{v}=5\hat{\mathbf{v}}$: size and direction are distinct pieces of information. The standard basis vectors are familiar unit vectors, but a unit vector need not point along a coordinate axis.

The unit-width centred box kernel is $K(u)=1_{[-1/2,1/2]}(u)$. It has integral one and squared $L^2$ norm one. Its rescaling $K_h(u)=h^{-1}K(u/h)$ averages a function on intervals of length $h$. It is obtained from the uniform smoothing kernel with support $[-1,1]$ by rescaling, and is useful in both kernel density estimation and local polynomial regression.