At fixed degree $n$ in positive characteristic $p$, two Specht modules belong to the same block of a group algebra exactly when their labels have the same core of a partition at modulus $p$. The simple labels in that block are precisely the regular partitions with that core. The theorem follows by combining the residue-content criterion for symmetric-group blocks with the Jucys–Murphy description of the center of a symmetric-group algebra.

For residual fraction $0<s<1$, differentiation of $V=Q\tau (e^{-st/\tau }-e^{-t/\tau })/(1-s)$ gives its unique positive maximum at the displayed time. The maximum volume is $Q\tau s^{s/(1-s)}$. When $s=0$ the mobile volume approaches $Q\tau$ monotonically, with no finite maximum. The limiting $s\to 1$ expression is $V=Qt{e}^{-t/\tau }$ with peak at $t=\tau$.

A residual synchronous time displacement ${\xi }^0=C(\mathbf{x})/a$ changes a fluid density contrast by $-{\bar{\rho }}^{\prime }{\xi }^0/\bar{\rho }$. For constant equation of state this gives the displayed mode: it scales as ${\tau }^{-2}$ during radiation domination and as ${\tau }^{-3}$ during matter domination. Such density changes alone do not indicate physical structure growth. Choosing the cold-matter rest frame fixes the residual time displacement, while a spatial relabeling fixes the remaining integration convention for the metric trace.

For an undirected capacitated network, write the net edge flow as $y_{ij}=-y_{ji}$, and the directed residual capacity as $c_{ij}-y_{ij}$. On every source–sink cut, residual capacity is the original cut capacity minus the current net flow value $f$. Taking the minimum over cuts and applying the max-flow min-cut theorem to each network gives the displayed remaining-flow identity.

A normed representation acts by individually bounded operators on a normed vector space. This condition alone does not assume that $a\mapsto \pi (a)$ is continuous in the operator norm, nor that the representation space is complete. A continuous representation has a common bound $\Vert \pi (a)\Vert \le C\Vert a\Vert$.

Algebraic irreducibility excludes every proper nonzero invariant vector subspace, including those that are not closed. It is stronger than topological irreducibility, which excludes only closed invariant subspaces. For a nonzero irreducible action, every nonzero vector is cyclic in the algebraic sense: $A\xi =X$.

A convex terminal payoff has a convex pricing extension in the binomial market, because risk-neutral pricing is a positive weighted sum of rescaled copies of the payoff. Let the stock factors be $u,d$, the riskless gross factor be $R$, and $q=(R-d)/(u-d)$. The replicating portfolio in a binomial market satisfiesThe weights sum to one. Convexity orders the secant slopes on the adjacent intervals $[d^{2}s,uds]$ and $[uds,u^{2}s]$, proving the displayed inequalities. The inequalities need not be strict: an affine payoff has constant stock holding.

For a finite commuting family in a unital Banach algebra, divide each $x_j$ by $r(x_j)+\epsilon /2$. The spectral radius formula makes each normalized element's powers bounded. Commutativity lets every product be reordered into one power of each generator, so the entire generated semigroup is bounded. Renorming a bounded multiplicative semigroup gives the displayed bounds simultaneously. Applying this to two commuting elements proves submultiplicativity and subadditivity of their spectral radius.

For $1<s\le \sqrt{2}$, set $h_s(x)=-(s-1)x$ and $J_s=[-(s-1),s-1]$. The tent map sends $J_s$ to $[1+s-s^2,1]$, with disjoint interiors, and $T_s^2(J_s)\subseteq J_s$. Directly,Successive squaring eventually brings every $s>1$ into $(\sqrt{2},2]$. A horseshoe for an interval map of an iterate in the renormalized coordinate lifts to a horseshoe of an iterate of the original map.

// Target: dynamical-systems.bigb

A standard thermal Cosmic neutrino background with one populated neutrino and one antineutrino helicity per species has $n_{\nu }+n_{\bar{\nu }}=3n_{\gamma }/11$ after electron-positron annihilation in cosmology. If this species is nonrelativistic today and dominates a spatially flat matter universe, equate $m_{\nu }(n_{\nu }+n_{\bar{\nu }})$ to the critical density $3H_0^2{M}_P^2/(8\pi )$, using the unreduced Planck mass. The photon number density gives the displayed conditional mass. Extra populated states or several massive species change the abundance count; vacuum-dominated cosmology changes the density available for matter.

Suppose $0<p_L\le p\le p_U<1$ and $0<a_L\le a\le a_U<1$. The formula for relative risk from group compositions increases with $a$ and decreases with $p$, since $a/(1-a)$ increases and $(1-p)/p$ decreases. This monotonicity proves the displayed bounds. If percentages are rounded to the nearest whole percentage point, each corresponding proportion lies within $0.005$ of its displayed value. These bounds describe rounding uncertainty; they are not a confidence interval for sampling uncertainty.

Compare expected utility of $W(1+\varphi )$, where $\mathbb{E}\varphi =0$, with the certainty equivalent $W(1-\psi )$. A second-order Taylor expansion gives $U(W)+W^2{U}^{\prime \prime }(W)\mathbb{E}{\varphi }^2/2$ for the risky side and $U(W)-W{U}^{\prime }(W)\psi$ for the sure side. Equality gives the displayed proportional risk premium. This requires a genuinely small-shock family with controlled remainders; small variance alone does not control rare large wealth shocks.

Modification of the interaction between electric charges by a medium's electrical response. In the simplest Wannier-Mott exciton model, the Coulomb potential is reduced by a constant relative permittivity; actual screening can depend on spatial and temporal scales.

For a based CW triad with connected intersection $A$, if $(B,A)$ is $p$-connected and $(C,A)$ is $q$-connected, $p,q\ge 1$, the comparison map is an isomorphism for $i<p+q$ and a surjection for $i=p+q$. This connectivity form of the Blakers-Massey theorem controls the failure of ordinary relative homotopy to satisfy unrestricted excision.

If a pointed CW complex is covered by $l$ contractible subcomplexes containing the basepoint, every reduced class lifts to a relative class for each appropriate subcomplex. Their relative cup product lies in $h^{\ast }(X,{\bigcup }_j{A}_j)=h^{\ast }(X,X)=0$, so every product of $l$ reduced classes vanishes. The conclusion also holds if $X$ is path connected. Without either condition a two-point space covered by its two points is a counterexample in ordinary degree-zero cohomology.

A relative cycle for $A\subset B$ is a chain $b\in C_n(B)$ whose boundary lies in $A$. Equivalently its coset is a homological cycle in $C_{\ast }(B,A)$. Unlike an absolute cycle, its boundary need not be zero. It represents a relative homology class.

The coordinate hyperplane is an embedded submanifold, as standard projective charts flatten its defining homogeneous coordinate. Its complement is the affine chart ${\mathbb{R}}^n$ and is connected. The lemma regular zero hypersurfaces have disconnected complements therefore excludes its being the zero set of a smooth real function with zero a regular value.

Classically, a regular formula sequent that is not provable has a set-valued countermodel, with empty sorts allowed. Start with the finite diagram of its antecedent, successively adjoin witnesses to the existential consequences of each axiom, and identify elements when equality axioms require it. Every new fact about the original parameters has a finite derivation, so the nonderivable consequent remains false. The filtered union of this witness construction is a model. The conservativity property of this chase construction is studied in Forssell and Lumsdaine's paper.

Let $X$ be smooth over a field $k$, and let $x$ be a $k$-rational point of local dimension $d$. Put $R={\mathcal{O}}_{X,x}$, whose residue field is $k$. A chosen regular system of parameters gives the displayed completion isomorphism by sending $T_i$ to $t_i$. The associated graded ring of a regular local ring is the polynomial ring on their initial forms. Successively removing the homogeneous initial form of each remainder gives a unique formal series for every local function. The Krull intersection theorem embeds the local ring in its completion. The power-series characterization is also given in Stacks Project Lemma 10.160.10.

The depth of a Noetherian local ring is the maximal length of an $R$-regular sequence in its maximal ideal. It is at most its Krull dimension. Quotienting by a nonzero divisor in the maximal ideal lowers depth by one. A unit is excluded from this assertion, since its quotient is the zero ring. This invariant measures how many independent successive nonzero-divisor equations the local algebra supports.