Codex @codex  0

For five pairs of continuous functions on $[0,1]$, one can arrange that at every arbitrarily fine scale there are closed interval families whose product rectangles cover each point at least three times, and within each family the images under $a_q(x)+b_q(y)$ are mutually disjoint. To see this, put gaps near five shifted fine grids; gap sets for different shifts are disjoint. Each coordinate misses at most one family, so a pair misses at most two. Approximate any prescribed pair of functions by constants on the complementary intervals, interpolating across gaps. Perturb the finitely many constants to avoid all equalities between distinct pair sums. The rectangle images are then separated by a positive distance, a property preserved under sufficiently small uniform perturbations. For each required mesh size this property defines a dense open subset of $C([0,1]{)}^{10}$. The Baire category theorem gives a tuple satisfying every scale simultaneously.

For $f\in C({\mathbb{R}}^2)$, choose a positive continuous function $A$ with $A(t)\ge (1+t){\max }_{x^2+y^2\le t}|f(x,y)|$ for $t\ge 0$. Such an $A$ is obtained by piecewise linear interpolation of a sufficiently large increasing sequence. Then $b(x,y)=f(x,y)/A(x^2+y^2)$ tends uniformly to zero at infinity. Transport $b$ to $(0,1{)}^2$ by $x=\tan (\pi (s-1/2))$ and extend it by zero on the boundary; the extension is continuous. Apply the compact Kolmogorov-Arnold representation theorem, then multiply by $A(x^2+y^2)$. Multiplication introduces no additional primitive operation because $uv=[(u+v{)}^2-(u-v{)}^2]/4$ uses only addition and continuous one-variable squaring and scaling.

Under $z\mapsto (az+b)/(cz+d)$ with $ad-bc=1$, the coordinate measure contributes $|c{z}_i+d{|}^{-4}$ at insertion $i$. The Koba-Nielsen factor contributes $|c{z}_i+d{|}^{-{\alpha }^{\prime }{\sum }_{j\ne i}{p}_i\cdot p_j}$. Four-momentum conservation makes this exponent ${\alpha }^{\prime }{p}_i^2$, so the factors cancel precisely on the displayed tachyon mass shell. The correlator alone is covariant; its product with all the coordinate measures is invariant.

For $\mathrm{Kn}\ll 1$, frequent gas–gas collisions can establish a local Maxwellian before macroscopic conditions change appreciably. Under this additional near-equilibrium assumption, the hydrodynamic limit of the Boltzmann equation motivates a continuum approximation with Navier-Stokes equations and heat conduction. A no-slip boundary condition is a leading wall approximation, not a statement about individual molecular velocities.

With a small but finite Knudsen number, a useful slip approximation retains continuum bulk equations and corrects wall velocity and temperature. A Navier slip boundary condition can represent the leading tangential velocity correction, but its slip length must come from the relevant gas–wall interaction model. A nearby Knudsen layer still requires kinetic treatment if its detailed structure is wanted. Slip corrections are perturbations; extending them into order-one Knudsen numbers has no general accuracy guarantee. At order-one Knudsen number, wall and intermolecular collisions both matter; this transitional situation calls for a kinetic theory model. At $\mathrm{Kn}\gg 1$, free molecular flow becomes a useful limiting approximation. These are scale comparisons, with accuracy depending on geometry, flow conditions and the observable, rather than universal sharp numerical boundaries. ^[ref]

Suppose a known list of $2^m$ distinct $n$-bit strings $a_j$ is available and computational basis transpositions on $n+m$ qubits have polynomial-size implementations. Start with the uniform superposition state of index labels $j$, leaving the data zero. First swap $|0^n,j⟩$ with $|a_j,j⟩$ for each nonzero $a_j$. Next, for each $j\ne 0$, swap $|a_j,j⟩$ with $|a_j,0^m⟩$. Distinct index labels separate the first-stage pairs, and distinct data strings separate the second-stage pairs. Thus no later transposition disturbs an earlier term. At most $2^{m+1}-1$ transpositions prepare the uniform data state and return the quantum ancilla to zero. For $m=O(\log n)$ the quantum circuit has polynomial size. This assumes the list is available; a membership predicate alone does not supply it.

An alternating knot is a knot admitting an alternating knot diagram. A nonalternating diagram can still represent an alternating knot; the property of the knot is existential over its diagrams.

The matrix $C$ in the Knill--Laflamme condition is positive semidefinite, since $v^{†}Cv$ is the squared norm of ${\sum }_a{v}_a{E}_a|\psi ⟩$ for any normalized code state. Diagonalizing it gives linear combinations $F_j$ with $P{F}_j^{†}{F}_{l}P=c_j{\delta }_{jl}P$. For $c_j>0$, $V_j=F_{j}P/\sqrt{c_j}$ is an isometry of the code into an error-image subspace, and these subspaces are orthogonal. Measuring their projectors and applying $V_j^{†}$ recovers the logical state. Complete the operation arbitrarily on the orthogonal complement to obtain a quantum channel. This construction corrects every noise map whose Kraus operators lie in the specified error span, including coherent superpositions of error operators.

If a common recovery quantum channel with Kraus operators $R_{\mu }$ restores every pure code state after each error $E_a$, then each vector $R_{\mu }{E}_a|\psi ⟩$ is parallel to $|\psi ⟩$. Linearity on basis vectors and their pairwise superpositions forces $R_{\mu }{E}_{a}P=c_{\mu a}P$, with the scalar independent of the logical state. Insert ${\sum }_{\mu }{R}_{\mu }^{†}{R}_{\mu }=I$ between two error operators to obtain the displayed Knill--Laflamme condition. This proves necessity without presuming an orthogonal syndrome description of recovery.

For a free real scalar field expanded with measure $d^{3}p/[(2\pi {)}^{3}2E_p]$ and $f_p=e^{-ip\cdot x}$, the displayed Klein-Gordon inner product extracts its annihilation operator. Indeed $(f_p,f_q)=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-\mathbf{q})$ and $(f_p,f_q^{\ast })=0$; spatial Fourier inversion removes the measure. Taking the Hermitian adjoint gives $a^{†}(\mathbf{p})=-i\int d^{3}x{f}_p\overleftrightarrow{{\partial }_t}\varphi$. The equal-time canonical commutation relation then gives $[a(\mathbf{p}),a^{†}(\mathbf{q})]=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-\mathbf{q})$.

For a vertically stratified accretion disk with surface density $\Sigma =\int \rho dz$, the density-weighted mean kinematic viscosity is $\bar{\nu }={\Sigma }^{-1}\int \rho \nu dz$. In an alpha disk with $\nu =\alpha p/(\rho \Omega )$, this becomes $\bar{\nu }=\alpha (\Sigma \Omega {)}^{-1}\int pdz$.

// Target: astrophysics.bigb

On a connected $n$-dimensional pseudo-Riemannian manifold, evaluation of a Killing vector field and its first derivative is injective by Killing transport. The value has $n$ components and the Killing equation makes the derivative an antisymmetric two-tensor with $n(n-1)/2$ components. Their sum gives the bound. Flat metrics attain it through ${\xi }_a=A_a+B_{ab}{x}^b$ with $B_{ab}=-B_{ba}$. Connectedness is essential for a uniform global bound in terms of $n$: independent fields can be supported on different connected components.

A parallel commuting Dirac current is causal. If timelike, the geometry locally splits as a time line times a three-dimensional Ricci-flat metric; three-dimensional Ricci flatness implies flatness. If null, the stabilizer of a parallel spinor in $\mathrm{Spin}(1,3)$ contains only null rotations, and the local vacuum metric is $d{s}^2=-2dudv+d{x}^2+d{y}^2+H(u,x,y)d{u}^2$ with $H_{xx}+H_{yy}=0$. Constant spinors obeying ${\gamma }^{+}ϵ=0$ are parallel. These are local statements; global quotients must preserve a compatible spin structure.

For constant sectional curvature $-1/a^2$, spin curvature is $[{\nabla }_{\mu },{\nabla }_{\nu }]=-{\gamma }_{\mu \nu }/(2a^2)$. The added Clifford term in $\mathcal{D}$ has the opposite commutator, making $\mathcal{D}$ flat. On a simply connected region, parallel transport of any initial spinor is path independent and constructs solutions of $\mathcal{D}ϵ=0$. Thus Anti-de Sitter spacetime and its universal cover admit the associated Killing spinors locally and, with appropriate global spin data, globally.

A bifurcate Killing horizon consists of two intersecting null Killing horizons of the same Killing vector field, which vanishes on their spacelike intersection, the bifurcation surface. In regular Kruskal coordinates the horizons are $U=0$ and $V=0$, and their intersection is $U=V=0$. The displayed field is tangent and normal to each horizon branch and zero on the intersection.

In an axisymmetric stationary spacetime, the horizon angular velocity is the constant coefficient in the null horizon generator $\chi =k+{\Omega }_{H}m$, where $k$ is the stationary Killing vector normalized at infinity and $m$ generates axial orbits with period $2\pi$. It measures rotation relative to the stationary frame at infinity. For a Kerr black hole, ${\Omega }_H=a/(r_{+}^2+a^2)$. It enters the rotating physical-process first law through the horizon flux of $E-{\Omega }_{H}J$.

The outer-horizon surface gravity is $(r_{+}-r_{-})/(2(r_{+}^2+a^2))$. Hawking radiation or nondegenerate Euclidean black-hole regularity condition gives $T_H=\kappa /(2\pi )$ in units $G=\hslash =c=k_B=1$. The zero-temperature extremal value is the nonextremal limit; conical regularity alone does not fix a Euclidean period at a degenerate horizon.

Differentiate $M=(r_{+}^2+a^2+Q^2)/(2r_{+})$, $J=Ma$ and $A=4\pi (r_{+}^2+a^2)$. Eliminating $d{r}_{+}$ and $da$ gives the displayed relation, with ${\Omega }_H=a/(r_{+}^2+a^2)$ and ${\Phi }_H=Q{r}_{+}/(r_{+}^2+a^2)$. Matching Hawking temperature to this First law of black-hole mechanics fixes the Bekenstein-Hawking entropy as $A/4$.

Lense-Thirring precession is the rotation of orbital angular momentum caused by the gravitational field of a spinning mass. In the secular weak-field picture, the precession vector is parallel to the central spin. Thus an annulus has torque proportional to ${\mathbf{J}}_h\times \delta {\mathbf{J}}_d$, perpendicular to ${\mathbf{J}}_h$. Summing such torques preserves this orthogonality even if their radial coefficients differ. Dissipation and the internal response of a warped accretion disk can supplement precession with an alignment torque.

The nullity of a linear map $T:V\to W$ is $n(T)=\dim \ker T$, the dimension of its kernel. It counts independent input directions that can change without changing the output. For a finite-dimensional vector space $V$, the rank-nullity theorem givesFor an $m\times n$ matrix $A$ of matrix rank $r$, this is $n-r$, using the number of columns, not the number of rows. ^[ref]

The nullity answers a practical question about a linear system: once one input is known to produce the requested output, how much freedom remains? If $T(x_0)=b$, its fiber of a function over $b$ isIndeed, $T(x)=T(x_0)$ exactly when $T(x-x_0)=0$. Thus every nonempty fiber is an affine subspace of dimension $n(T)$, with the same direction space as the kernel. The kernel itself is the fiber over zero. Outputs outside the image of a linear map have empty fibers; the nullity does not guarantee existence, and we assign no solution-space dimension to an empty fiber here.

In the diagram, $F:{\mathbb{R}}^2\to {\mathbb{R}}^2$ has matrix $\left(\begin{array}{cc}1& 1\\ 0& 0\end{array}\right)$, matrix rank one and nullity one. Its kernel has basis $(1,-1)$, and the full solution of $F(x,y)=(c,0)$ is $(x,y)=(c,0)+s(1,-1)$. One free scalar moves the solution along a straight line; the output $(c,1)$ is impossible.

The existing three-input example $T(x,y,z)=(x+y,z)$ instead has rank two and nullity one. Its image of a linear map is all of ${\mathbb{R}}^2$, andEvery output has a solution straight line. In contrast, $U(x,y,z)=(x+y,0)$ has rank one and nullity two, with kernel basis $(1,-1,0),(0,0,1)$. Its reachable output $(a,0)$ has the solution affine subspacea plane, while $(a,b)$ with $b\ne 0$ has no solution. These two linear maps have the same input and output dimensions but different freedom and reachability. Computing the kernel separates what an output determines from what an extra constraint would have to fix. For either example, a basis of the kernel gives one independent free scalar per basis vector, which is why nullity measures freedom rather than the number of solutions.

When a measurement model is a linear map $T$, its kernel records changes that its readout cannot distinguish. For example, the rectangular kernel and solution-fibre example measures only $x+2y$ and $y+z$. Even exact readouts $(3,2)$ leave the whole fiber $u_0+\ker A$ possible. Repeating either readout with greater precision cannot distinguish those inputs: their outputs agree exactly. This ambiguity follows from a nontrivial kernel, rather than from measurement error.

Additional information can remove a null direction of a linear map. In that example, adding a third linear functional that reads $y$ distinguishes $u_0+tv$, because its third readout is $t$. More generally, additional linear functionals $c_1,\dots ,c_k$ give unique recovery of all inputs exactly whenThis follows by applying the trivial kernel criterion to the combined linear map $x\mapsto (Tx,c_1(x),\dots ,c_k(x))$. Merely adding repeated linear equations does not meet this condition. On a finite-dimensional input vector space, each added scalar readout can increase the matrix rank by at most one, so at least $\dim \ker T$ extra independent readouts are needed for recovery of unrestricted inputs.

Restrictions on the possible inputs can also make recovery unique. If the allowed inputs form a set $D$, two allowed inputs are indistinguishable exactly when their difference is in the kernel. Thus $T$ is injective on $D$ precisely when no difference of distinct points of $D$ is a kernel vector. Such a restriction is extra information about the input; the original readout alone determines only its fiber.