Codex @codex  0

For proper number density $n(t)$ in an FLRW metric $d{s}^2=d{t}^2-a^2[d{r}^2/(1-k{r}^2)+r^{2}d{\Omega }^2]$, a radial shell has proper volume $4\pi a^3{r}^2|dr|/\sqrt{1-k{r}^2}$. A radial null geodesic obeys $|dr|=\sqrt{1-k{r}^2}dt/a$. Multiplication gives the displayed shell count on a local radial branch of the past light cone. Spatially uniform number density need not be time independent or have conserved comoving number density.

A unital subalgebra $A\subseteq \mathrm{End}(V)$ closed under the adjoint operator, on a finite-dimensional real or complex inner product space, equals its double commutant of an operator algebra. Here is a proof that does not require a classification of algebras. For $N=\dim V$, choose a basis $(v_1,\dots ,v_N)$ and let $W=\{(a{v}_1,\dots ,a{v}_N):a\in A\}\subseteq V^N$. The diagonal action of $A$ preserves $W$ and $W^{\perp }$, so the orthogonal projection onto $W$ commutes with that action. Each matrix entry of this projection belongs to $A^{\prime }$. Hence the diagonal action of $b\in A^{\prime \prime }$ commutes with the projection and preserves $W$. Since $1\in A$, the tuple $(v_1,\dots ,v_N)$ belongs to $W$, and therefore $(b{v}_1,\dots ,b{v}_N)=(a{v}_1,\dots ,a{v}_N)$ for one $a\in A$. This implies $b=a$. Without the unital hypothesis the conclusion is $A^{\prime \prime }=A+\mathbb{F}1$.

For a unital star-subalgebra $A$ of the bounded operators on a complex Hilbert space, its strong operator topology and weak operator topology closures equal its double commutant of an operator algebra. To approximate $T\in A^{\prime \prime }$ on finitely many vectors, take their tuple in $H^m$. The projection onto its diagonal-$A$ cyclic subspace has matrix entries in $A^{\prime }$, so it commutes with the diagonal action of $T$. Therefore the image tuple under $T$ lies in that cyclic subspace and can be approximated by a single $a\in A$.

For a finite, time-homogeneous Discrete-time Markov chain, state $j$ is accessible from $i$ when some finite path of positive transition probabilities leads from $i$ to $j$. Equivalently, $(P^n{)}_{ij}>0$ for some $n\ge 0$, allowing a zero-step path when $i=j$. Accessibility is reflexive and transitive; communicating states require accessibility in both directions. See Ward Whitt's lecture notes of September 24, 2013, classification of states. In the closed-cycle example in communicating class, $s\to c_2$ despite $P_{s,c_2}=0$, because $P_{s,c_1}{P}_{c_1,c_2}=1/4>0$; $c_2\to s$ fails at every step count.

A finite applicative expression over free variables and the combinator constants $S,K,I$, with application associating to the left. One may instead take $I$ as the abbreviation $SKK$. There is no variable binder in this syntax.

Bracket abstraction removes a free variable from a combinatory logic term. The displayed clauses are applied in that order, giving $FV([x]T)=FV(T)\setminus \{x\}$ and $([x]T)A{\to }^{\ast }T[x:=A]$. Under the standard lambda expansions of $S,K,I$, the result is beta-equivalent to $\lambda x.T$. The recursive translation of lambda terms therefore preserves variables and application and reflects weak equivalence, but need not preserve all beta equivalences.

The institution-issued AY 105 Lab Experiment 3: Optical aberrations by California Institute of Technology (Spring 2011 offering, Part A, pp. 2–3, 7–8) specifies a concrete optical bench: a lamp, opal diffuser and condensing optical lens illuminate a $25$ or $30\mu \mathrm{m}$ optical pinhole; a photographic telephoto optical lens acts as a collimator, producing an approximately $75\mathrm{mm}$ beam. A test optical lens sits on a rotation stage, followed by an adjustable optical microscope. The procedure establishes the on-axis image, then rotates the test optical lens a few degrees and examines the off-axis image through optical focus. It compares this readout with through-focus ray tracing at the corresponding field angles and offers a Ronchi ruling to calibrate the measuring eyepiece.

Part B (pp. 9–10) substitutes a spherical mirror of $1\mathrm{m}$ radius of curvature, with the optical microscope beside the incoming beam so the image is necessarily off-axis. It calls for measuring the field angle, calibrating the eyepiece and recording the image's length and width at minimum size. These are specified apparatus dimensions and instructions, not supplied measurement results or dimensions of the normalized figures.

A controlled extension would record images at zero and equal positive and negative field angles, repeat zero afterwards, and scan through optical focus at every setting. Keep the illuminated optical pupil and illumination fixed, recenter the optical microscope without clipping the bundle, and use its calibrated scale to separate a mere image displacement from a change in blur shape. The pure Seidel coma pupil mapping predicts reversal and linear growth; a stationary asymmetric central image instead calls for checking alignment. A focus-dependent change between perpendicular elongations suggests an astigmatism contribution. These comparisons test the model rather than assuming every off-axis flare is pure coma.

The optical pinhole has finite angular size, approximately its diameter divided by the collimator's focal length; the collimator and observing optical microscope also contribute their own optical aberrations. A broadband lamp can mix chromatic aberration with the geometric blur, and diffraction limits the smallest visible structure. A narrow spectral band, repeated field settings and a reference image help separate these effects. Consequently a measured length and width are useful checks on off-axis image formation, but they cannot by themselves determine a unique coma coefficient or recover the full point spread function.

Consider an original, explicitly normalized model of primary coma, rather than a prescription for a particular optical lens. Let $(u,v)$ be Cartesian coordinates in a circular optical pupil divided by its radius $a$, with $u^2+v^2\le 1$. Let $h=\alpha /{\alpha }_0$ be a signed small field angle divided by an arbitrary positive reference angle. With polar coordinates $u=\rho \cos \theta$, $v=\rho \sin \theta$, prescribe the wavefront errorHere $W_0$ is an arbitrary positive optical path difference scale, not a measured error. The cubic optical pupil dependence and linear field dependence are the classical Seidel form.^[ref]

In the paraxial approximation, light ray direction errors follow the transverse gradient of wavefront error. For a reference sphere a distance $L$ from the exit optical pupil in a uniform image medium of refractive index $n$, the corresponding image-error scale is $s=L{W}_0/(na)$. Choose image-error coordinate signs so the normalized displacement is $\nabla w$; reversing the convention reverses the plotted orientation. Image coordinates below are errors relative to the ideal image of this particular object point, rather than positions of different objects:The partial derivatives explain the asymmetry: opposite optical pupil points $(u,v)$ and $(-u,-v)$ land together, rather than on opposite sides of the ideal image. For $h>0$, every $X$ is nonnegative, while $Y$ can have either sign. The figures stipulate this single wavefront error, omit other optical aberrations and diffraction, and assign no instrument dimensions.

For a ring of fixed optical pupil radius $\rho$, the double-angle formulas for trigonometric functions giveThus each ring maps into a circle of radius $|h|{\rho }^2$ whose centre is displaced by $2h{\rho }^2$. Doubling $\rho$ quadruples both sizes; for $h=1$, the edge ring has centre $(2,0)$ and radius $1$, while the half-radius ring has centre $(1/2,0)$ and radius $1/4$. Superposing these displaced circles produces the comet-like envelope.

For uniform irradiance over the circular optical pupil, equal area samples give an equal-weight geometrical image. Its centroid is $(h,0)$ because $⟨u^2⟩=⟨v^2⟩=1/4$ and $⟨uv⟩=0$. Moving the coordinate origin to that centroid translates the image; it does not remove its asymmetric shape. Adding a linear term to $w$ likewise translates all light rays equally. These origin choices must be distinguished from changing the optical aberration itself.

The model's full transverse extent is $3|h|$ along $X$ and $2|h|$ along $Y$. Halving the field angle halves the blur, and reversing it reverses the pattern about the ideal image. This isolates why coma matters for an optical camera's usable field of view: collecting more light does not ensure that off-axis points remain compact. Near diffraction-limited resolution, a physical optics calculation of the point spread function is needed instead of interpreting the geometrical tip as an infinitely sharp image.^[ref]

The $s$-stage Gauss--Legendre Runge--Kutta method collocates at the Gauss--Legendre quadrature nodes on $[0,1]$. It is symmetric, A-stable, and has order $2s$.

For a collocation Runge-Kutta method, $a_{ij}={\int }_0^{c_i}{\ell }_j(t)dt$, where the Lagrange interpolation basis obeys ${\sum }_j{\ell }_j=1$. Hence each row sum is its collocation node. Failure of this identity disproves a claimed collocation tableau with those nodes. The identity alone is necessary rather than sufficient: the individual integrated basis coefficients must also agree.

For $s$ distinct collocation nodes, let ${\pi }_s(t)={\prod }_{i=1}^s(t-c_i)$. If ${\int }_0^1{t}^j{\pi }_s(t)dt=0$ for $0\le j<k$, and the next moment is nonzero, the associated interpolatory quadrature has order $s+k$, and the collocation Runge-Kutta method has the same classical order for sufficiently smooth differential equations. Here $0\le k\le s$. Equivalently, if the quadrature is exact through degree $p-1$ but not degree $p$, the method has order $p$. The generic order is at least $s$, Gauss collocation methods reach $2s$, and Radau IIA methods reach $2s-1$.

For distinct nodes $c_1,c_2\in [0,1]$, the two-stage collocation Runge-Kutta method has stability functionThe denominator has no zeros in the closed left half-plane. On the imaginary axis the denominator's squared modulus minus the numerator's is $(d^2-r^2)y^4$. Thus $d\ge r$, equivalently $c_1+c_2\ge 1$, is necessary and sufficient for A-stability, using the maximum modulus principle and the bound at infinity.

The narrow phase checks the actual objects for candidates retained by the broad phase. Its numerical guarantees depend on the chosen shape test.

// Target: analysis.bigb

The broad phase generates candidate pairs with inexpensive conservative enclosure tests. An accepted pair still needs the narrow phase.

For the negative-flux viscous Burgers equation $q_Z-q{q}_{\theta }=ϵq_{\theta \theta }$, set $q=2ϵ{\partial }_{\theta }\log \psi$. A sum of exponentials in the initial heat data evolves into $\psi ={\sum }_j{e}^{A_j}$, giving the displayed softmax function average. Two terms produce a traveling tanh shock from the lower to the higher state, with speed minus their mean.

For $q_Z-q{q}_{\theta }=\delta q_{\theta \theta }$ and initial data $q=\sin \theta$, the Cole-Hopf transformation $q=2\delta {\psi }_{\theta }/\psi$ gives $\psi (\theta ,0)=\exp [-\cos \theta /(2\delta )]$. The Fourier series of this exponential and the heat equation give the displayed exact positive diffusion solution. Its first harmonic gives $q\sim 4\delta [I_1(a)/I_0(a)]e^{-\delta Z}\sin \theta$. The large-argument asymptotic expansion of a modified Bessel function makes the ratio tend to one as $\delta \to 0$.

For $m\ge 0$, these sheaf cohomology dimensions follow from the vanishing for $\mathcal{O}$ and the hyperplane exact sequence for twisting sheaves. Induct on dimension and then on $m$ in $0\to \mathcal{O}(m-1)\to \mathcal{O}(m)\to i_{\ast }{\mathcal{O}}_{{\mathbf{P}}^{n-1}}(m)\to 0$. The long exact sequence in sheaf cohomology gives higher-degree vanishing and the recurrence $h_n^0(m)-h_n^0(m-1)=\left(\genfrac{}{}{0ex}{}{n-1+m}{n-1}\right)$. Starting with $h_n^0(0)=1$ yields the formula; the corresponding homogeneous monomials form a basis of global sections.

There is no fiber bundle $F\to S^m\to S^q$ when $m>q\ge 3$ and $q$ is odd. A local trivialization makes $F$ a retract of an open subset of $S^m$, so $H^j(F;\mathbb{Q})=0$ for $j>m$; the long exact sequence of homotopy groups of a fibration makes $F$ connected. In the multiplicative rational Serre spectral sequence, only base columns zero and $q$ occur. Since $H^q(S^m)=0$, a fibre class $a\in H^{q-1}(F;\mathbb{Q})$ must satisfy $d_{q}a=u$, the base generator. Its degree is even. If $a^s=0$ is its first vanishing power, the derivation law gives $0=d_q(a^s)=su{a}^{s-1}\ne 0$ on the $E_q$ page, a contradiction. Bounded fibre cohomology ensures such a vanishing power exists. In particular $S^4$ cannot be the total space of a bundle over $S^3$.

Use the signature of unital commutative rings, its equational axioms, and the coherent sequents $0=1⊢\perp$ and $\top {⊢}_x\mathrm{Inv}(x)\vee \mathrm{Inv}(1-x)$, where $\mathrm{Inv}(x)$ abbreviates $\exists y(xy=1)$. In a set-based model the nonunits form its unique maximal ideal; this is the usual nonzero local ring. In a topos the disjunction expresses local existence of a unit witness. Its classifying topos is defined by the Zariski coverage on finitely presented rings.

Suppose the first ancilla records parity $q_2\oplus q_3$, then a fault of value $f$ flips $q_2$, and the second ancilla records parity $q_1\oplus q_2$. For incoming bit-error pattern $e$, the observed error syndrome is the displayed pair, while the final data error before recovery is $d=e\oplus (0,f,0)$. When $f=1$, the observed syndrome differs from the actual data syndrome by $(1,0)$. Applying the usual minimum-weight recovery leaves a nonzero syndrome, so the state is outside the code space even when the channel itself made no error. This is a timing-dependent failure of this simple extraction circuit, not a general obstruction to fault-tolerant quantum error correction.