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.

For a block sliding right on a stationary horizontal plane, take rightward acceleration $a$ as positive. A gauge reading $F$ for a pull at angle $\alpha$ above horizontal has horizontal component $F\cos \alpha$ and upward component $F\sin \alpha$. With no vertical acceleration or other forces, Newton's second law givesand thereforeThis inference requires continued contact with $N>0$ and rightward contact slip, so its numerator must be nonnegative. An upward pull reduces normal force; a downward pull, represented by $\alpha <0$, increases it. The horizontal constant-velocity formula is the special case $\alpha =0$, $a=0$.

For the original $2\mathrm{kg}$, ${\mu }_k=0.30$ model, an upward pull at $\alpha =30^{\circ }$ maintaining constant velocity needsDividing this gauge reading by $mg$ would give about $0.2953$, rather than $0.30$: the gauge reads the full inclined force, and the pull has changed the normal force.

Even with a horizontal pull, an accelerating measurement needs the $ma$ correction: ${\mu }_k=(F-ma)/(mg)$. In the same model, a horizontal $7.88\mathrm{N}$ pull produces $a=1m/{\mathrm{s}}^2$ while the block slides right; subtracting $ma=2\mathrm{N}$ recovers the $5.88\mathrm{N}$ kinetic friction. Dividing the uncorrected reading by $19.6\mathrm{N}$ instead gives about $0.4020$. Measure acceleration in an inertial frame, along the sliding direction, over the same interval as the gauge reading. These corrections follow from the force balance, independently of whether the resulting coefficient of kinetic friction is constant across runs.

// Target: classical-mechanics.bigb

Changing the added mass while retaining the same contact pair and sliding speed tests whether a constant coefficient of kinetic friction is a useful model. Compute $N=(m_{\mathrm{block}}+m_{\mathrm{added}})g$ for each level horizontal run, and plot the mean sliding force vertically against normal force horizontally. The constant-coefficient prediction is a straight line through the origin; its slope is ${\mu }_k$. This extracts a ratio from several loads rather than relying on one reading.

The apparatus sketch identifies the contact pair and horizontal pull used by the cited laboratory procedure. The plotted line and points are the original stipulated ${\mu }_k=0.30$ model from coefficient of kinetic friction, not laboratory data. The two model points giveIn actual measurements, a linear regression $\overline{F}=b+{\mu }_{k}N$ can expose an unexplained intercept $b$. A nonzero intercept calls for checking the gauge zero, other resisting forces and the contact model; forcing the line through zero can hide those problems. Conversely, constant ratios within measurement error support the approximation only over the loads, speeds and surface conditions tested. A load sweep alone cannot establish independence from contact area or sliding speed; those require separate controlled variations.

A force gauge reads the pulling force. For horizontal straight-line sliding at constant velocity, its reading equals the opposing kinetic friction magnitude, provided these are the only horizontal forces. For total supported mass $m$, including added loads, $N=mg$, so a mean sliding reading $\overline{F}$ gives ${\mu }_k=\overline{F}/(mg)$. The important readout is the sustained sliding force after the starting peak; the peak belongs to the static friction threshold.

The University of Mississippi's Experiment 6 uses a wooden block on a wooden plane, a triple-beam balance, added masses, and a dual-range 50 N force probe connected through LabPro to Logger Pro. Its procedure calibrates the probe with a $0.5\mathrm{kg}$ load on a hanger, entering the corresponding force in newtons, and measures the block's mass separately. With the plane horizontal, it starts with $0.5\mathrm{kg}$ on the block and pulls horizontally at constant speed. The recorded force trace has a starting peak; the procedure selects the subsequent constant-force interval and takes its mean. It repeats with $0.5\mathrm{kg}$ increments up to $3\mathrm{kg}$ added, then plots sliding force against normal force to estimate the coefficient of kinetic friction from the slope.^[ref]

For a replication, check the gauge's zero with the string slack and its response to known gravitational weights; zeroing alone does not check its scale. Keep the plane level, the pull parallel to it, and the block face and track region consistent. Specify the contacting materials and whether the surfaces are dry, cleaned or lubricated; repeat runs to see whether debris or wear changes the sliding force. Verify constant velocity independently from position versus time, rather than assuming that a flat force trace proves zero acceleration. These are proposed measurement controls, not additional observations from the laboratory writeup. Record the selected interval, variation between runs and gauge resolution as sources of measurement error.

In the standard genetic code, UAA, UAG and UGA are stop codons: they signal termination of biological translation rather than an amino acid assignment. See Clark, Douglas and Choi: stop codons.

A stop codon supplies no additional amino acid residue. In the constructed AUG GCU UUC UGA example, replacing UGA by UAA preserves termination after the same three amino acid residues. Replacing UUC by UAA instead terminates after methionine and alanine. These are consequences of the stated genetic code, not measurements of expression efficiency.

At a standard stop codon, a release factor promotes release of the polypeptide from the ribosome. Ordinary delivery of an amino acid by transfer RNA does not supply a “stop amino acid”.^[ref]

Let $A_i$ be real symmetric matrices with sum $I_n$. Their matrix ranks sum to at least $n$, because their ranges span ${\mathbb{R}}^n$. If the ranks sum to $n$, those ranges form a direct sum. For $y$ in the range of $A_i$, the identity $y={\sum }_j{A}_{j}y$ and uniqueness of its range decomposition imply $A_{j}y={\delta }_{ij}y$. Thus $A_i^2=A_i$ and $A_i{A}_j=0$ for $i\ne j$: the matrices are mutually orthogonal orthogonal projections. In a combined orthonormal basis, the forms $Z^T{A}_{i}Z$ for $Z\sim N_n(0,I_n)$ use disjoint sets of independent standard normal coordinates. They are independent chi-squared distributions with degrees of freedom equal to the ranks. Conversely, if all these forms have those chi-squared laws, their expectations and their sum give ${\sum }_i\mathrm{rank}{A}_i=n$.

For simple shear, $B=\left(\begin{array}{cc}1+{\gamma }^2& \gamma \\ \gamma & 1\end{array}\right)$. The off-diagonal entry of $\sigma B-B\sigma$ is $\gamma ({\sigma }_{11}-{\sigma }_{22})-{\gamma }^2{\sigma }_{12}$. Coaxiality of isotropic elastic stress therefore proves the identity for $\gamma \ne 0$. At $\gamma =0$, material isotropy makes the stress isotropic, proving the same identity.

For an objective material isotropy law, permutation of the principal stretches permutes the labelled principal stresses. This follows by conjugating the left stretch tensor with signed permutation rotation matrices. Each principal stress is symmetric in the other two stretches, but need not be symmetric in all three. The law $\sigma =V^2$ provides the example ${\sigma }_i={\lambda }_i^2$. In an invariant representation $\sigma ={\beta }_{0}I+{\beta }_{1}V+{\beta }_2{V}^2$, the scalar coefficients are symmetric functions of the unordered stretches.

For a CM-field, put $c$ for conjugation and $E_K={\mathcal{O}}_K^{\times }$. The map $u\mapsto u/c(u)$ takes values in the cyclic group ${\mu }_K$ of roots of unity: all conjugates have absolute value one, and the Kronecker theorem on algebraic integers in the unit disk applies. Its kernel is $E_{K^{+}}$, while its image on ${\mu }_K$ is ${\mu }_K^2$. It therefore embeds $E_K/(E_{K^{+}}{\mu }_K)$ into ${\mu }_K/{\mu }_K^2$, a group of order two. This proves the index bound without assuming that every unit is a real unit times a root of unity.

A clutching function is the equatorial transition map used in the clutching construction. For an oriented real vector bundle one may choose a fiber metric and orthonormal trivializations, so its clutching function takes values in the special orthogonal group.

Start with singleton clusters and repeatedly merge the two clusters with the smallest chosen intercluster dissimilarity. Single-linkage clustering uses the smallest cross-pair distance; complete-linkage clustering uses the largest. Merge heights and sensitivity to ties help assess a proposed number of groups.

For binary vectors, this similarity counts agreements on both presences and absences. Its complement is the normalized Hamming distance. Whether joint absences should count as similarity depends on the application; rare-presence data may call for a different coefficient.