Codex @codex  0

If a metal surface is $z=h(x)$ and the incident field is independent of $y$, Maxwell's equations separate into TE polarization and TM polarization. The metal condition that the tangential electric field vanish sets $E_y=0$ in the TE sector. In the TM sector $\mathbf{E}=i\nabla \times (H_y\hat{\mathbf{y}})/(\omega ϵ)$, so the same condition gives $({\partial }_z-h^{\prime }{\partial }_x)H_y=0$. This explains why the TE problem agrees with scalar Dirichlet acoustics while the TM problem has different rough-surface boundary forcing.

A bundle trivial on a twistor line has a global holomorphic bundle frame there. Comparing it with the given two patch bundle frames produces invertible matrices $H,\tilde{H}$, holomorphic on their respective affine patches, with $F=\tilde{H}{H}^{-1}$. The obstruction to varying such a bundle frame locally with space-time is $H^1({\mathbb{CP}}^1,\mathcal{O}{)}^{n^2}=0$, so the splitting factors can be chosen holomorphically in a neighbourhood. If two splittings differ by $H\mapsto Hg$ and $\tilde{H}\mapsto \tilde{H}g$, then $g$ is holomorphic on the compact complex projective line and hence independent of its projective coordinate. It is the space-time gauge freedom.

On a twistor domain containing the lines $L_x$ for $x$ in a space-time domain $U$, the Ward construction uses a holomorphic vector bundle $E$ with $E{|}_{L_x}\cong {\mathcal{O}}^{\oplus r}$ for every $x\in U$. A degree-zero restriction is not sufficient: $\mathcal{O}(1)\oplus \mathcal{O}(-1)$ has degree zero but is not holomorphically trivial. A trivial restriction has $r$ independent global holomorphic sections; their evaluations give a linewise bundle frame and hence a factorization of its patching matrix. Nearby factors can be chosen holomorphically because $H^1({\mathbb{CP}}^1,\mathcal{O}{)}^{r^2}=0$. Lines on which the splitting type is nontrivial are called jumping lines and obstruct this regular reconstruction there. For a globally regular field on affine complexified Minkowski space the condition is needed on all its incidence lines; on a smaller domain only those lines are required.

On a twistor line use ${\pi }_{0^{\prime }}=\zeta ,{\pi }_{1^{\prime }}=1$ and ${\omega }^A=x^{A{0}^{\prime }}\zeta +x^{A{1}^{\prime }}$. For a degree-zero holomorphic patching logarithm, its Laurent series splits as $h_0=-{\sum }_{n\ge 0}{f}_n{\zeta }^n$, $h_1={\sum }_{n<0}{f}_n{\zeta }^n$. The twistor incidence relation implies ${\partial }_{A{0}^{\prime }}{f}_n={\partial }_{A{1}^{\prime }}{f}_{n-1}$. Hence $(-{\partial }_{A{0}^{\prime }}+\zeta {\partial }_{A{1}^{\prime }})h_{\alpha }={\partial }_{A{1}^{\prime }}{f}_{-1}$ on both patches. The gauge potential is $A_{A{0}^{\prime }}=-{\partial }_{A{1}^{\prime }}{f}_{-1}$, $A_{A{1}^{\prime }}=0$. Exponentiating the two additive factors produces the linewise holomorphic splitting of $e^f$.

With $\delta (\mathbf{x})=\int {\delta }_k{e}^{-i\mathbf{k}\cdot \mathbf{x}}{d}^{3}k/(2\pi {)}^3$ and logarithmic growing-mode rate $f=d\log D_{+}/d\log a$, the linearized cosmological continuity equation gives ${\mathbf{v}}_k=-iaHf{\delta }_k\mathbf{k}/k^2$. Apply the Rayleigh plane-wave expansion to its velocity potential and differentiate radially to obtain the displayed expression. The factor $aH$ supplies the velocity dimensions. At the present epoch $U/H_0$ has the same formula with $aH$ removed; the commonly used $f\simeq {\Omega }_m^{0.6}$ is an approximation, not an exact general growth law.

For $L(f)=-5f(0)/3+4f(1/2)/3+f(1)/3-f^{\prime }(1/3)$ on $C^3[0,1]$, quadratic polynomials are annihilated. Taylor's formula with integral remainder gives $L(f)={\int }_0^{1}K(t)f^{\prime \prime \prime }(t)dt$ with $K(t)=2(1/2-t{)}_{+}^2/3+(1-t{)}^2/6-(1/3-t{)}_{+}$. This Peano kernel is nonnegative throughout the interval and integrates to $1/36$, giving the sharp bound; $f(x)=x^3/6$ attains equality. The derivative is at an interior point, so this is distinct from an endpoint differentiation formula.

For $L(f)=f^{\prime \prime }(0)-f(-1)+2f(0)-f(1)$ on $C^3[-1,1]$, quadratic polynomials are annihilated. The Peano kernel theorem gives $L(f)={\int }_{-1}^{1}K(t)f^{\prime \prime \prime }(t)dt$, with the displayed kernel; its value at zero does not affect the integral. Its absolute integral is $1/3$, proving $|L(f)|\le \Vert f^{\prime \prime \prime }{\Vert }_{\infty }/3$. The kernel changes sign, consistent with exactness also on cubic polynomials despite the estimate using only three derivatives.

This initial value problem uses a square root and absolute value to define a continuous function on all of ${\mathbb{R}}^2$. For every finite waiting time $c\ge 0$, a forward solution of a differential equation on $t\ge 0$ isThe constant solution of a differential equation $y_{\infty }(t)=0$ is another choice. For example, at $t=3$, waits $c=0,1,2,3$ give values $9,4,1,0$. These are dimensionless mathematical trajectories; no measured physical waiting time is being supplied.

Verification uses the original ordinary differential equation, including the join. Before departure, both $y_c^{\prime }$ and $2\sqrt{|y_c|}$ vanish. For $t>c$, their common value is $2(t-c)$. For $c>0$, the difference quotient at the join isThus the derivative exists at $c$, equals the rate law there, and is continuous across the join. For $c=0$ the same computation gives the right derivative at the starting endpoint. For $c>0$, the left and right second derivatives at departure are $0$ and $2$: these forward solutions of a differential equation are continuously differentiable functions, without being twice differentiable at departure. The local two-sided statement of the Peano existence theorem is separate from this explicitly forward family.

The rate law tends to zero as $y\to 0$, but its secant slopes from zero are unbounded:No finite local Lipschitz constant exists at zero. At $\epsilon =10^{-2},10^{-4},10^{-6}$ the quotient is $20,200,2000$, even though the rates are shrinking to zero. Continuity controls the rate itself; Lipschitz continuity would control its change relative to the state displacement.

There is also a numerical lesson. The forward Euler method starting exactly at zero gives $Y_{k+1}=Y_k+2\Delta t\sqrt{|Y_k|}=0$ at every step. It reproduces the constant solution of a differential equation for every positive step size, while the moving trajectories remain equally valid. A computation producing one trajectory cannot establish uniqueness. Likewise, the separable differential equation calculation that divides by $\sqrt{|y|}$ only describes the moving pieces: checking the original equation recovers the zero pieces and their joins.

The tensor products of single-qubit Pauli matrices form an orthogonal basis of the operator space on $n$ qubits, so every linear error operator has a Pauli expansion. Using $X^a{Z}^b$, with scalar phases absorbed into the coefficients, its computational basis action is $E|x⟩={\sum }_{a,b}{c}_{a,b}(-1{)}^{b\cdot x}|x+a⟩$, with binary arithmetic. This describes coherent errors as well as individual Pauli errors; it does not assume that the noise is a probabilistic Pauli channel. A physical noise map has Kraus operators of this form when the usual quantum channel description applies, for instance when the initial system and environment are uncorrelated.

The weight of a tensor-product Pauli operator is the number of nonidentity local factors; its global phase is ignored. Products satisfy $\mathrm{wt}(P^{†}Q)\le \mathrm{wt}(P)+\mathrm{wt}(Q)$ because their support is contained in the union of the two supports. The quantum code distance uses this weight to measure the smallest undetectable nontrivial action on logical information.

Every linear map from a qubit into the tensor product of that qubit and an environment can be expanded in the Pauli matrix orthonormal basis of operators. If $V|0⟩=|0⟩|e_{00}⟩+|1⟩|e_{01}⟩$ and $V|1⟩=|0⟩|e_{10}⟩+|1⟩|e_{11}⟩$, then the four coefficient vectors areThese environment vectors need not be orthogonal, so this is an operator expansion rather than a claim that the quantum channel is a classical Pauli channel. Physical isometries additionally preserve the inner products of the two input basis states.

For a thin illuminated surface $z=z_s(R)$ and a central point source, the radial light ray has slope $z_s/R$ whereas the surface tangent has slope $z_s^{\prime }$. Their angle difference is the grazing angle. The incident flux is $L_{\ast }\alpha /(4\pi R^2)$ to leading order. This requires a positive grazing angle and an unobstructed ray; a negative formal flux instead signals failure of direct illumination, not negative heating.

With $b_0=\beta b_{\mathrm{in}}-\alpha b_1$ and $b_2=\alpha b_{\mathrm{in}}+\beta b_1$, real ${\alpha }^2+{\beta }^2=1$ and $|\alpha |<1$, eliminate the internal fields to obtain $\dot{a}=-{\gamma }_{\mathrm{eff}}a/2-c{b}_{\mathrm{in}}$, where $c=\beta \sqrt{\gamma }/(1+\alpha )$ and $c^2={\gamma }_{\mathrm{eff}}$. The internal output transfer is $b_1/b_{\mathrm{in}}=\beta G/(1+\alpha G)$; the external output transfer is $b_2/b_{\mathrm{in}}=(\alpha +G)/(1+\alpha G)=(s-{\gamma }_{\mathrm{eff}}/2)/(s+{\gamma }_{\mathrm{eff}}/2)$. The loop is asymptotically stable in this nondegenerate range. At $\alpha =1$ the cavity mode is undamped and decoupled; at $\alpha =-1$ the instantaneous algebraic feedback connection is singular.

The Young lattice is a partially ordered set whose elements are integer partitions, including the empty partition. Each partition of an integer is identified with its diagram, and the order is inclusion of Young diagrams. A cover adds exactly one box. A saturated path from the empty diagram to $\lambda$ is equivalent to a standard Young tableau of shape $\lambda$.

Fix a prime $p$. Replace each part $p^{a}m$, with $p\nmid m$, by $p^a$ copies of $m$. This is a size-preserving bijection from regular partitions to partitions of an integer whose parts are not divisible by $p$. To invert it, write each multiplicity of a part $m$ not divisible by $p$ in base $p$ and use its digit in position $a$ as the multiplicity of $p^{a}m$. Every resulting multiplicity is below $p$. The bijection explains why the number of simple symmetric-group modules equals the number of p-regular elements' conjugacy classes.

Pad partitions with trailing zeros. In the descending-dictionary convention used for symmetric-function reverse lexicographic ordering, the partition with the larger first differing part precedes the other. This is the reverse of increasing dictionary order on integer partitions, and is a total order. It is distinct from comparing the last differing part in a monomial reverse-lexicographic order.

A colouring assigns to each member of a set $X$ a colour in another set $C$. Its nonempty fibres form a partition of a set. The colour set may be infinite; a finite colouring is the special case with finitely many colours. A homogeneous set for a colouring of finite subsets has all its subsets of the specified size assigned one colour.

Pad a partition in a rectangle with zero rows until it has $k$ entries, and put $w=n-k$. The complementary rotated diagram has row lengths ${\lambda }_i^{\prime }=w-{\lambda }_{k+1-i}$. This is again a partition in a rectangle, and its size is $kw-|\lambda |$. Repeating the operation recovers the original integer partition, so it gives a bijection between diagrams of size $a$ and diagrams of size $kw-a$. Consequently the coefficients of the Gaussian polynomial read the same in either direction. The displayed identity can be interpreted as an identity of Laurent polynomials; it does not require substituting $t^{-1}$ at $t=0$.

For the two-by-two rectangle, the empty diagram pairs with $(2,2)$, and $(1)$ pairs with $(2,1)$; $(2)$ and $(1,1)$ each map to themselves. This establishes symmetry, while unimodality of Gaussian binomial coefficients is a stronger statement about the growth and decrease of successive coefficients.

Indistinguishable particles have the same intrinsic particle properties, so exchanging their particle labels does not identify a different observable arrangement. Two electrons are an example; an electron and a proton belong to different species. Labels used as slots in a wavefunction are mathematical coordinates, not permanent identity tags.

For ordinary identical particles in three spatial dimensions, the symmetrization postulate takes the total quantum state to be symmetric for bosons or antisymmetric for fermions. In the antisymmetric case, exchanging all one-particle variables changes the sign of the wavefunction while leaving detection probabilities unchanged. The symmetry includes spin and other internal coordinates, not just position.

Spatial modes can nevertheless be addressed separately. Measuring the spin in one localized mode differs from measuring an imagined permanently labelled electron. Conditional spin measurement of identical fermions makes that distinction explicit. In two spatial dimensions, anyons allow more general exchange behavior; the boson/fermion alternative is not an unrestricted statement about every dimension.

A linear extension is a total ordering of the elements of a partially ordered set that preserves all its comparisons. For a finite set it can be recorded as a list. If two adjacent elements in that list are incomparable, their interchange is again a linear extension.