Let a fixed simple three-uniform hypergraph $F$ have $m$ hypergraph edges, with one host vertex of a hypergraph class $V_i$ for each vertex of a hypergraph. Assume each hypergraph edge triple has indicator $h_e$, subset density $p_e$, and balanced three-dimensional box norm at most ${\alpha }^{1/8}$. The normalized labelled hypergraph copy count is $\mathbb{E}{\prod }_{e\in E(F)}{h}_e$. Telescope this product against ${\prod }_e{p}_e$. In each error term, fix all variables outside the three vertices of a hypergraph of its balanced hypergraph edge. Every other hypergraph edge intersects that triple in at most two vertices of a hypergraph, so the remaining factors group into three pair functions bounded by one. The pair-factor correlation bound for the three-dimensional box norm bounds the error by ${\alpha }^{1/8}$. Summing givesFor the three-uniform tetrahedron, $m=4$. The same argument with a common host set counts homomorphisms; excluding collisions of distinct abstract vertices of a hypergraph changes the count by at most $\left(\genfrac{}{}{0ex}{}{|V(F)|}{2}\right)|V{|}^{|V(F)|-1}$.

One observed radiative flux cannot determine both luminosity and Euclidean distance: for every $k>0$, replacing $(L,d)$ by $(k^{2}L,kd)$ leaves $F$ unchanged. In particular, $4\times 10^{26}\mathrm{W}$ at $40$ parsecs produces the same observed radiative flux as $10^{26}\mathrm{W}$ at $20$ parsecs. This is a concrete failure of identifiability in an inverse problem.

An independent stellar parallax fixes the distance and breaks this degeneracy; alternatively, a calibrated standard candle supplies the luminosity. Interstellar extinction can further reduce the observed radiative flux, and a photometric passband measures only a selected spectral range. At cosmological distances, use luminosity distance in the bolometric relation. Each inference must specify which radiative flux was measured and what propagation assumptions connect it to luminosity.

For fixed vertical wavenumber one, write the stationary threshold as $F(k)+QG(k)$, with $F=(1+k^2{)}^3/k^2$ and $G=(1+k^2)(\cos \alpha +k\sin \alpha {)}^2/k^2$. The nonmagnetic minima are $k=\pm 1/\sqrt{2}$ with $F=27/4$; a small positive field selects the negative one. Expanding the stationarity condition gives $k_c=a-Q{G}^{\prime }(a)/F^{\prime \prime }(a)+O(Q^2)$, $a=-1/\sqrt{2}$, andFor large $Q$, the magnetic penalty forces $k$ toward its unique zero $b=-\cot \alpha$. Since $G^{\prime \prime }(b)>0$, $k_c=b-F^{\prime }(b)/[Q{G}^{\prime \prime }(b)]+O(Q^{-2})$ and $R_c={\csc }^6\alpha /{\cot }^2\alpha -F^{\prime }(b{)}^2/[2Q{G}^{\prime \prime }(b)]+O(Q^{-2})$. Thus strongly magnetized rolls align their wavevector perpendicular to the imposed field, rather than continuing to raise their stationary threshold proportionally to field strength.

At inclination $\alpha =\arctan \sqrt{2}$ and vertical wavenumber one, the nonmagnetic minimizing wavenumber $k=-1/\sqrt{2}$ also satisfies $\mathbf{c}\cdot \mathbf{k}=0$. The stationary threshold is the sum of $F(k)\ge 27/4$ and a nonnegative magnetic penalty that vanishes there. Therefore $k_c=-1/\sqrt{2}$ and $R_c=27/4$ for every $Q\ge 0$. The selected disturbance is constant along the imposed field, so the linear resistive induction equation produces no magnetic perturbation and there is no field-line tension penalty.

For a complex-valued harmonic function in the first quadrant, write $\Phi =q_z$ and $\Psi (\bar{z})=q_{\bar{z}}$ as independent holomorphic functions. Prescribe $i(e^{i{\beta }_1}\Phi -e^{-i{\beta }_1}\Psi )=g_1$ on the imaginary axis and $e^{-i{\beta }_2}\Phi +e^{i{\beta }_2}\Psi =g_2$ on the real axis. If ${\beta }_1+{\beta }_2=n\pi /2$, set $ϵ=(-1{)}^n$. Reflection into four quadrants produces a scalar Riemann-Hilbert problem with parity $H(-z)=-ϵH(z)$ and known jumps. Provided its corner and large-arc contributions vanish, the Cauchy integral formula givesComplex boundary data do not justify replacing $q_{\bar{z}}$ by the conjugate of $q_z$.

For a solution with a continuous gradient at a quadrant corner, the prescribed derivative directions are $(-\sin {\beta }_1,\cos {\beta }_1)$ and $(\cos {\beta }_2,-\sin {\beta }_2)$. When ${\beta }_1+{\beta }_2=\pi /2$, these vectors are negatives of one another. Their corner data must therefore be opposite. Imposing $h_1(0)=h_2(0)$ as well forces both to vanish. Smooth decay of separate boundary functions alone does not ensure this local compatibility condition for an overdetermined linear system.

// Target: analysis.bigb

In the oriented stereographic projection $\varphi =(2\mathrm{Re}w,2\mathrm{Im}w,1-|w{|}^2)/(1+|w{|}^2)$, the sphere's metric is $4|dw{|}^2/(1+|w{|}^2{)}^2$. For energy $V=\int |\nabla \varphi {|}^2$, its topological degree is $N={\pi }^{-1}\int \mathrm{Im}(\overline{w_{x_1}}{w}_{x_2})/(1+|w{|}^2{)}^2$. The inequality $|w_{x_1}{|}^2+|w_{x_2}{|}^2\ge 2|\mathrm{Im}(\overline{w_{x_1}}{w}_{x_2})|$ gives $V\ge 8\pi |N|$. Holomorphic maps and antiholomorphic maps that are rational maps saturate the respective signs. The more common energy with a prefactor $1/2$ has bound $4\pi |N|$ instead.

An elementary abelian regular minimal normal subgroup acts as translations of a vector space. Its point stabilizer acts faithfully and irreducibly on that space; invariant subspaces would be blocks. The full affine normalizer is $AG{L}_d(p)$. In degree sixteen it lies inside $A_{16}$: nonzero translations swap eight pairs, and elementary linear transvections swap four pairs. Thus it is not a maximal subgroup of $S_{16}$.

For a nonabelian simple group $T$, act on cosets of its full diagonal in $T^r$. A suitable factor-permuting extension is primitive and has point stabilizer intersecting the socle in the diagonal. The full normalizer has order $|T{|}^r|\mathrm{Out}(T)|r!$. For $T=A_5,r=2$, it acts on the sixty elements of $A_5$ by left/right multiplication, automorphisms and inversion, and has order $14400$. Odd conjugation in $S_5$ induces an odd permutation of these sixty points, while inversion is even; the full group is a primitive maximal subgroup of $S_{60}$.

The five-real-dimensional space of projective null twistors. A projective line lies entirely in it precisely when its corresponding two-plane is totally isotropic for the twistor Hermitian form. Such lines represent real points of Minkowski conformal compactification. Two independent null twistors lie on one such line exactly when $h(X,Y)=0$.

Given subsets $S_1,\dots ,S_m$ of a finite universe, the decision problem asks whether at most $k$ of them cover the universe. It is NP-complete. If $k<m$, existence of a cover by at most $k$ subsets is equivalent to existence of a cover by exactly $k$, by adding unused subsets. The promise that every element occurs in some subset loses no hardness: an uncovered element can be detected in polynomial time and mapped to a fixed negative instance.

// Target: mathematical-optimization.bigb

For the primitive minimal polynomial $a_d{\prod }_j(T-{\alpha }_j)$, the height-Mahler measure formula gives $H(\alpha {)}^d=a_d{\prod }_j\max (1,|{\alpha }_j|)$. Expanding the product bounds every integer coefficient by $2^D{B}^D$. There are finitely many bounded coefficient lists and each has finitely many roots, proving finiteness of the algebraic numbers. On a projective coordinate chart, every coordinate ratio has height at most the point's projective height; applying the scalar bound proves the projective Northcott theorem too. A degree bound is essential, as the infinitely many roots of unity all have height one.

A pycnometer makes the distinction between mass and mass density experimentally tangible. NIST's 1994 report describes a glass vessel with filling capillaries, wire plugs and a covered overflow bowl in a controlled water bath. The operators soaked a pure-water filling to establish the bath temperature, dried the outside, then left it overnight in the balance enclosure to reach thermal equilibrium before weighing. Empty and full force-restoration balance readings, together with known water mass density, calibrated its capacity at the bath temperature. A tin-oxide coating suppressed stray electric charge; an electrometer detected none during use. The authors distinguish bath and weighing temperatures and correct for buoyancy and changes of displacement volume. Capacity and water-reference uncertainties carry into later liquid mass density determinations. Their pycnometer data were not yet analyzed, so this account provides no measured density or achieved precision.^[ref]

The ideal accounting behind this measurement calibration can be derived without numerical observations. Let $m_0,m_w,m_x$ denote corrected masses of the empty vessel, water-filled vessel and sample-filled vessel. At the same filling temperature, with known reference water mass density ${\rho }_w$ and reproducibly filled volume $V_c$,The empty-vessel subtraction removes vessel mass; the water filling sets volume. Doubling $V_c$ for the same uniform sample doubles the sample mass increment but preserves ${\rho }_x$. Uncorrected balance indications, trapped bubbles, incomplete filling or unequal filling temperatures break the simple identification with corrected mass and a common $V_c$. This explains why replication is a statement about comparable states rather than arbitrary instrument readings.

Consider two hypothetical parcels at the same temperature $300\mathrm{K}$, kept separated with negligible partition mass and excluded container volume. Parcel A has mass $2\mathrm{kg}$ and volume $0.002{\mathrm{m}}^3$; parcel B has mass $3\mathrm{kg}$ and volume $0.006{\mathrm{m}}^3$. They may be different materials. Their individual mass densities and the composite mass density areThe composite mass density is total material mass divided by total occupied volume; it need not be the local mass density anywhere. Equal temperature does not make these parcels replicas. In particular, the unweighted average $750\mathrm{kg}{\mathrm{m}}^{-3}$ is wrong. The volume fractions are $1/4$ and $3/4$, givingWith mass fractions $2/5$ and $3/5$, the equivalent rule is a weighted harmonic mean:This follows directly by writing $V_i=m_i/{\rho }_i$ and dividing total volume by total mass; it is also the mass-weighted average of specific volumes. An unweighted average of mass densities is valid when the parcel volume values are equal, not merely when their temperatures are equal.

If a partition is removed and different substances mix, the final volume need not equal the sum of initial volume values. A new temperature, thermodynamic phase or composition may also change the local mass density. Use the actual final volume in $\rho =m/V$; the pre-mixing weighted identity cannot supply it. Even unchanged temperature alone does not guarantee unchanged volume.

For $t$ tetrahedra, count the seven disk types in each tetrahedron. Across each glued face the counts of each of its three normal arc types must agree. These are homogeneous linear equations with integer coefficients. An admissible solution also has at most one nonzero quadrilateral type in each tetrahedron. Matching the arcs in their boundary order reconstructs the normal surface up to an isotopy preserving the tetrahedra.

A rotating rod can draw a liquid with appreciable viscoelasticity inward and raise its free surface around the rod. Tensile normal stresses along curved flow lines produce an inward hoop force, competing with inertia and gravity. It is a manifestation of elastic normal-stress differences, rather than merely a changed scalar shear viscosity.

A polymeric extrudate can expand sideways after leaving a die as the normal-stress differences and stored deformation generated upstream relax. Axial elastic recovery contributes to transverse swelling in an incompressible flow. A Newtonian extrudate can also swell through rearrangement of its velocity profile, so observing swelling alone does not isolate the elastic contribution.

A chief series is a strict normal series of a group with no proper normal-series refinement. Its factors are minimal normal subgroups of the appropriate quotient groups. A chief factor of a finite soluble group is elementary abelian, whereas a composition factor of a finite soluble group is cyclic of prime order. A chief factor can therefore have order larger than a prime.

For conditionally independent annual averages $X_j\mid \theta \sim N(\theta ,v/m_j)$ and prior $\theta \sim N(\mu ,{\sigma }^2)$, the posterior mean is $Z{\overline{X}}_w+(1-Z)\mu$, with ${\overline{X}}_w={\sum }_j{m}_j{X}_j/W$. Completing the quadratic likelihood gives posterior precision ${\sigma }^{-2}+W/v$. This is an exact Bayesian credibility version of the Bühlmann–Straub credibility estimate. Increasing the between-risk prior variance increases the experience weight; increasing process variance decreases it. The next total pure premium is $m_{n+1}$ times the estimated per-life mean.

In an additive category with finite categorical limits and colimits in which every epimorphism is a conormal epimorphism, closure of normal monomorphisms under composition forces every monomorphism to be normal. To prove this, write a monomorphism $m$ as $kg$, where $k=\ker \mathrm{coker}m$, and put $l=\ker \mathrm{coker}g$. If $kl=\ker t$ were normal, $tm=0$ would force $tk=0$, hence $l$ would be an isomorphism. This makes $\mathrm{coker}g=0$, so $g$ is epic as well as monic. An epic monomorphism which is a cokernel is invertible, forcing $m$ to be normal. Contrapositively, any failure of normality provides two normal monomorphisms whose composite is not normal.