The viscous Burgers step solution with negative flux is symmetric around $\theta =-Uz/2$ after subtracting $U/2$. Its Gaussian-tail ratio equals one precisely at this midpoint, giving $f=U/2$ for either sign of $U$. For $U>0$ this point becomes the entropy-shock center in the vanishing viscosity approximation; for $U<0$ it is the center of a rarefaction wave. The same trajectory therefore does not by itself identify a shock.

In the prescribed along-beam scalar model $U=A(\xi )\cos \omega t$ with $A=U_0{e}^{-\lambda \xi }$, the first-order fluid displacement is $A\sin \omega t/\omega$. Its leading sampled-velocity correction is $-\lambda A^2\sin (2\omega t)/(2\omega )$, whose period average vanishes. This result concerns the supplied component model and does not determine an Eulerian mean streaming flow.

If a halo retains the mean density acquired at collapse, $3M/(4\pi R^3)={\Delta }_{\mathrm{vir}}{\bar{\rho }}_{m,0}(1+z_f{)}^3$ estimates its formation redshift. In the non-dissipative spherical-collapse model during matter domination, ${\Delta }_{\mathrm{vir}}=18{\pi }^2$. Subsequent mass growth, profile evolution and the reference-density convention limit this inference.

For constant positive $\lambda =p_r/p_g$ and molecular gas constant $\mathcal{R}=k/({\mu }_m{m}_p)$, the gas–radiation equation of state gives $\rho =4\sigma T^3/(3c\lambda \mathcal{R})$. Vertical hydrostatic equilibrium in harmonic central gravity therefore gives $T=T_0(1-z^2/H^2)$ with $T_0={\Omega }^2{H}^2/[8(1+\lambda )\mathcal{R}]$. The mass density and pressure powers are three and four. Integrating both faces yields $\Sigma =(32/35){\rho }_{0}H$ and $\int pdz=\Sigma {\Omega }^2{H}^2/9$. With constant opacity, radiative diffusion produces a linear flux and height-independent dynamic viscosity $\mu =4c\lambda /[9\kappa (1+\lambda )]$. This is an interior formal profile; its low-density surface requires a photospheric treatment beyond diffusion.

Split a set family in the hypercube graph according to whether coordinate $i$ is present, and delete that coordinate from the present section. Replace both sections by initial segments of the simplicial order on the discrete cube with the same respective sizes. Induction and nesting of initial-segment closed graph neighbourhoods show that this operation cannot enlarge the original closed graph neighbourhood. Repeated nontrivial compressions terminate because the sum of simplicial positions strictly decreases.

Equality in Harper theorem need not make a down-set a cube-automorphic image of a simplicial initial segment. In $Q_4$, take all sets of size at most one and the four two-element sets forming a four-cycle. This family has size nine and closed graph neighbourhood size fifteen, just like the size-nine simplicial order on the discrete cube initial segment. The induced degree of a vertex distributions differ, so they cannot be related by a graph automorphism.

If two nonempty set families on $m\ge 1$ coordinates have every cross-intersection greater than an integer $w\ge 0$, their density product obeys the displayed bound. Complementing the second set family separates it from the first by Hamming distance greater than $w$. Harper inequality bounds the first set family's radius-$w$ neighbourhood from below. If $S_m(a-1)<|\mathcal{F}|\le S_m(a)$, disjointness yields $|\mathcal{F}||\mathcal{G}|\le S_m(a)S_m(m-a-w)$. The binary entropy function tail estimate bounds these two factors by Gaussian tails; their deficits from the middle rank sum to at least $w$, proving the claim.

A flag is a strictly nested chain of vector subspaces of a fixed vector space. A complete flag contains a subspace of every possible dimension. For an action by linear maps, an invariant flag means that each of its vector subspaces is an invariant subspace. A basis adapted to an invariant complete flag makes all these maps upper triangular, connecting complete flags to simultaneous triangularization of a Lie algebra representation.

A vector Radon measure has Radon measures as components. The vector form of the Riesz-Markov-Kakutani representation theorem identifies finite such measures with bounded functionals on $C_0(\Omega ;{\mathbb{R}}^n)$.

The zero section sends each base point to the zero vector in its fiber. It is a smooth section of a vector bundle and an embedded copy of the base. The Liouville one-form vanishes as an ambient covector precisely along the zero section of a cotangent bundle.

The top exterior power of a rank-$r$ vector bundle is its determinant line bundle. A short exact sequence of vector bundles gives a canonical isomorphism of the middle determinant with the tensor product of the other two. Locally, a subbundle frame followed by lifts of a quotient frame defines it; changing lifts only adds off-diagonal blocks. This is the determinant step in adjunction for a smooth submanifold.

The displayed identity is exact for all positive integers and all positive cutoffs. Expand $(\mu -{\mu }_{\le U})\ast (\mu -{\mu }_{\le V})\ast 1$ and use $\mu \ast 1=\epsilon$. The two truncated terms are short sums; the negative term is a type I sum over divisors at most $UV$; the last term is a type II sum with both factor variables larger than a cutoff. This form of the Vaughan identity is specific to Möbius weights.

For distinct ${\ell }_i$ and $c_j$, expand the exponential entries in powers of $t$. Nonzero determinant terms first occur at the distinct powers $0,1,\dots ,m-1$. The coefficient is the product of their two Vandermonde determinants divided by the factorial product. Ratios of such alternants yield the Weyl dimension formula by taking a torus character to the identity.

The left side is an alternating polynomial of total degree one more than $\Delta (x)$. Dividing by the Vandermonde determinant gives a symmetric homogeneous polynomial of degree one, necessarily $a{\sum }_i{x}_i+bt$. At $t=0$, $a=1$; differentiation in $t$ and the Euler theorem for homogeneous functions give $b=\left(\genfrac{}{}{0ex}{}{m}{2}\right)$. Thus the identity holds as a polynomial identity, even at repeated coordinates. At shifted partition coordinates with $t=-1$, it proves the removable-corner recurrence in the hook-length formula.

Evaluating arbitrary monic polynomials of successive degrees $0,\dots ,m-1$ gives the same determinant as evaluating the monomials of those degrees. The basis-change matrix is triangular with diagonal entries one, so its determinant is one. This permits an orthogonal polynomial basis to replace the monomials in eigenvalue densities.

For a nonnegative weight $w$ and monic polynomials $p_j$ of degree $j$, this determinant is ${\prod }_i\sqrt{w(x_i)}{\prod }_{i<j}(x_j-x_i)$. Its square is the product of the weights times the squared Vandermonde determinant. For normalized weighted polynomials it differs by the product of their norm factors.

For canonical chiral superfields, nonzero $\lambda$, a gauged $U(1)$ with charges $(0,+1,-1)$, and no Fayet–Iliopoulos term, F-flatness requires the charged product to vanish and D-flatness requires equal charged magnitudes. Together they force both charged scalar values to zero, leaving the neutral scalar arbitrary. The vacuum moduli space of a supersymmetric gauge theory has zero energy, unbroken gauge symmetry and unbroken supersymmetry. At $\lambda =0$, equal nonzero charged magnitudes instead permit a gauge-Higgsed supersymmetric branch. A neutral modulus alone does not imply internal gauge breaking.

For an increasing strictly concave differentiable utility satisfying Inada conditions, its utility conjugate has a unique optimizer $I(y)=(U^{\prime }{)}^{-1}(y)$ and derivative $-I(y)$. The dual is strictly decreasing and strictly convex. Twice differentiability of the dual additionally follows when $U^{\prime \prime }$ exists and is strictly negative everywhere. Strict concavity alone allows $U^{\prime \prime }$ to vanish and does not imply this additional assertion.

A finite extension of complete discretely valued fields is unramified exactly when it has an integral generator whose reduced minimal polynomial of an algebraic element is separable. In one direction, lift a residue-field primitive element. In the other, the factorization form of Hensel's lemma makes the separable reduction irreducible, forcing residue degree to equal the entire extension degree.

Ordinary short-range independent bond percolation and site percolation on regular lattices of the same spatial dimension are expected to share their percolation critical exponents and large-scale limiting behavior. Their percolation critical probabilities can differ. Long-range or correlated models can lie in a different universality class. A theorem for one lattice alone does not establish this transfer.