The dual of $D_{\lambda }$ has dominant label $-w_0\lambda =(-{\lambda }_m,\dots ,-{\lambda }_1)$. Substitution $x_i\mapsto x_i^{-1}$ in the alternant character formula for the general linear group and reversal of determinant columns gives that character. The numerator and denominator reversal signs and common monomial factors cancel.

The finite-volume random-cluster weight monotonicity passes to consistently wired or free infinite-volume measures for finite increasing connection events. Decreasing these events to origin-to-infinity connectivity yields $\theta (p,q_1)\ge \theta (p,q_2)$ for $q_1\le q_2$. The corresponding supercritical parameter sets are nested, and hence $p_c(q_1)\le p_c(q_2)$.

Let $w\in BV\cap L^{\infty }$ and $g\in BV\cap L^2$ on a bounded domain, $F_g(v)=\frac{1}{2}\Vert v-g{\Vert }_2^2$, and $w_{\pm t}=(1-\theta )w+\theta w\circ {\Phi }_{\pm t}$ for a smooth compactly supported local flow. The displayed formula is exact to an $o(t)$ remainder, and $g$ need not be bounded. Writing $J_t=\det D{\Phi }_t$, its cross-term identity isThe remainder is $o(t)$ because $1-J_{-t}=O(t)$ and weighted $L^1$ convergence follows fromFirst let $t\to 0$, then $K\to \infty$. The mass change of $w^2$ under opposite flows is $O(t^2)\Vert w{\Vert }_2^2$. Combined with the BV jump-product limit with one bounded factor, this evaluates the jump contribution without a bounded fidelity derivative.

In the smooth zero-winding long-wave sector, integrate the density Gaussian integral by completing $g(\delta \rho +i{\partial }_{\tau }\varphi /g{)}^2/2$. Its field-independent normalization leaves the displayed action. The real-frequency pole is ${\omega }^2=g{\rho }_0{k}^2/m$, so the phonon speed is $\sqrt{g{\rho }_0/m}$. Keeping density gradients yields ${\omega }^2=g{\rho }_0{k}^2/m+k^4/(4m^2)$, matching the Bogoliubov spectrum.

If $Q\ll P$ and a continuous semimartingale is a semimartingale under both measures, its quadratic variations agree $Q$-indistinguishably. The same squared-increment sums converge uniformly on compacts in probability under both measures: absolute continuity transfers the original convergence, and uniqueness of the limit identifies the two continuous versions. Equivalence of measures is unnecessary.

Compare independent Poisson means with one shared mean under proper shape-rate gamma distribution priors. Adding the second mean as an inactive parameter under the shared-mean model gives a simple identity model switch. With equal model priors and identical active/inactive priors, its ratio from separate to shared means is $e^{{\gamma }_2-{\gamma }_1}({\gamma }_1/{\gamma }_2{)}^{x_2}$. Poisson-gamma conjugacy supplies exact within-model updates, and integrating the gamma kernels supplies an independent Bayes factor benchmark.

At fixed mass, the Press-Schechter halo mass function has abundance per logarithmic interval proportional to $\nu e^{-{\nu }^2/2}$. This increases as $\nu$ falls from infinity to one and then decreases as $\nu$ falls toward zero, reflecting incorporation of small dark-matter haloes into larger ones. A target below the maximum therefore has two mathematical crossings if the linear growth factor can increase without limit. The large-$\nu$ crossing describes first appearance; the small-$\nu$ crossing is late depletion. Late vacuum domination limits growth, so a formal future crossing need not be reached physically.

The Schur algebra is the commutant of place permutations on a tensor power. It is the linear span of the diagonal general linear group action, by Schur–Weyl duality. Modules over $S(m,n)$ correspond to homogeneous degree-$n$ polynomial representations. Over the complex numbers it is a semisimple algebra: decompose the tensor power as a module for the semisimple group algebra $\mathbb{C}{S}_n$, and take its endomorphism algebra.

Over the complex numbers, for a partition of an integer $\lambda ⊢n$, applying a Young symmetrizer of that shape to the tensor power of each vector space gives a Schur functor. The construction respects linear maps because their tensor powers commute with place permutations. For single rows it gives symmetric powers, and for single columns exterior powers.

The symmetric algebra on $V\oplus {\Lambda }^{2}V$ contains every irreducible polynomial representation of $GL(V)$ exactly once. Its torus character is ${\prod }_i(1-x_i{)}^{-1}{\prod }_{i<j}(1-x_i{x}_j{)}^{-1}$, which equals ${\sum }_{\lambda }{s}_{\lambda }(x)$ by the Schur identity. Complete reducibility and linear independence of Schur characters identify the summands. This is a formal graded identity: each fixed scalar degree is finite, so no analytic convergence is needed. Multiplicity one refers to irreducible modules, not arbitrary reducible representations.

For independent Poisson distribution cells with means $u{e}^{{\eta }_j(\beta )}$, write $n={\sum }_j{y}_j$ and $S(\beta )={\sum }_j{e}^{{\eta }_j(\beta )}>0$. Their likelihood, apart from count-factorial constants, isAn improper prior flat in $\log u$ has measure $du/u$ on $u>0$. When $n>0$, integration givesso the remaining kernel in $\beta$ is ${\prod }_j[e^{{\eta }_j(\beta )}/S(\beta ){]}^{y_j}$, proportional to the multinomial likelihood. The gamma function integral is the exact reason for the equivalence.

This is proportionality of parameter kernels after an improper-prior calculation; it does not supply a normalized model evidence. For a zero group total, the baseline integral diverges at $u=0$, so the same improper-prior marginalization is invalid even though the conditional multinomial likelihood is constant. A proper prior on the baseline generally changes the kernel. The Gaussian log-rate correction to the Poisson trick makes this additional factor explicit.

Reverse a handle decomposition of a compact $n$-dimensional manifold. Absolute $k$-handles become relative $(n-k)$-handles based on the boundary. The absolute boundary matrices count attaching sphere-belt sphere intersections; the corresponding relative matrices are their transposes over ${\mathbb{F}}_2$. The absolute chain complex is thus the complementary-degree dual of the relative chain complex. The universal coefficient theorem for cohomology proves Poincare-Lefschetz duality without an orientation hypothesis.

For independent bond percolation of density $0<p<1$ on the cubic lattice in dimension $d\ge 2$, let ${\beta }_n$ be the one-arm probability for reaching maximum-norm distance $n$. The weighted BK boundary-splitting estimate gives ${\beta }_{m+n}\le |\partial {\Lambda }_n|{\beta }_m{\beta }_n$. Since the logarithm of this boundary size is $o(n)$, the asymmetrically almost-subadditive sequence argument applies to $\log {\beta }_n$. The rate exists and lies in $[0,-\log p]$; positive rate gives exponential decay.

For $\sigma (M,0)=S{M}^{-q}$ with $q=(n+3)/6>0$, matching the Press-Schechter halo mass function to $A{M}^{q-2}\exp [-(M/M_{\ast }{)}^{2q}]$ requires $\sigma (M_{\ast },0)={\delta }_c(z)/\sqrt{2}$. The comoving normalization is $A=2q{\bar{\rho }}_{m,0}{M}_{\ast }^{-q}/\sqrt{\pi }$. Consequently both $A$ and $M_{\ast }$ evolve with the linear growth factor; $M_{\ast }\propto D^{1/q}$.

The two introductory requests can be settled before the lettered applications. In the functor category $[C,\mathbf{Set}]$, finite limits and finite unions of subobjects are pointwise. The component of the diagonal at $c$ is ordinary equality on $F(c)$. Its only possible complement isThis forms a subfunctor exactly when each $F(u)$ sends unequal elements to unequal elements, equivalently when every $F(u)$ is injective. In that case $D$ and the diagonal are disjoint and their union is $F^2$ at every component. Conversely, a diagonal complement must have these components and be stable under every transition map. Hence $F$ is decidable exactly when every transition map is injective.

Regard a monoid $M$ as a one-object category; a covariant set-valued functor is a left M-set. Give $M\times A$ the diagonal left action $t\cdot (w,a)=(tw,t\cdot a)$. LetRight multiplication on the first coordinate commutes with the diagonal left action, so $m\cdot f$ remains equivariant. The formula obeys $m\cdot (n\cdot f)=(mn)\cdot f$ and $1\cdot f=f$. Evaluation isIt is equivariant because $\mathrm{ev}(m\cdot f,m\cdot a)=f(m,m\cdot a)=m\cdot f(1,a)$.

For an equivariant $h:C\times A\to B$, defineThis is equivariant in $(w,a)$, and $\hat{h}(m\cdot c)=m\cdot \hat{h}(c)$. Evaluation recovers $h$. Conversely, currying the evaluation of a map $C\to E$ recovers that map by its equivariance. This proves the exponential universal property and the natural identificationwith exactly the stated action. In particular, decidability in a set-valued functor category says that a left M-set is decidable if and only if each of its action maps is injective.

Put $P=p/{\rho }_0$ and use the downward buoyancy anomaly $b=g{\rho }^{\prime }/{\rho }_0$. This sign convention is required by the printed potential vorticity. The linear rotating Boussinesq approximation givesLet $D=u_x+v_y$ and $\zeta =v_x-u_y$. Horizontal divergence and curl give $D_t-f\zeta =-{\nabla }_H^{2}P$ and ${\zeta }_t=-fD=f{w}_z$. HenceThus the linear potential vorticity is a time-independent field fixed by the initial data. Differentiate the pressure identity twice. Using ${\zeta }_{tt}=-f(P_{zz}+b_z)$ and $b_{ztt}=-N^2(P_{zz}+b_z)$ gives ${\nabla }^2{P}_{tt}=(N^2-f^2)(P_{zz}+b_z)$. Combining terms,The linear pressure equation for rotating stratified flow has source $Q={\rho }_{0}f{N}^{2}q$. “Arbitrary” means that different initial potential-vorticity fields give different time-independent sources; it is not independent forcing that may vary in time. If buoyancy were instead defined upward as $-g{\rho }^{\prime }/{\rho }_0$, both appearances of its sign would change consistently. The pressure source represents the balanced component alongside propagating inertia-gravity waves.

A separated dual pair consists of real vector spaces $E,F$ and a bilinear form $⟨x,y⟩$ that separates both variables: each nonzero $x\in E$ pairs nontrivially with some $y\in F$, and conversely. Thus $F$ embeds in the algebraic dual of $E$, and $E$ embeds in the algebraic dual of $F$.

The weak topology $\sigma (E,F)$ is the coarsest topology making all maps $x\mapsto ⟨x,y⟩$, $y\in F$, continuous. It makes $E$ a Hausdorff locally convex space, with topology generated by the seminorms $p_y(x)=|⟨x,y⟩|$. A neighbourhood base at zero consists of finite intersectionsSeparation ensures that the common zero set of all these seminorms is just zero, giving Hausdorffness.

We determine the continuous dual of a weak topology. Suppose a linear functional $\ell$ is continuous. A basic neighbourhood as above is contained in $\{x:|\ell (x)|<1\}$. If $x$ is in the common kernel of the finitely many evaluations, every scalar multiple of $x$ lies in that neighbourhood, so $\ell (x)=0$. Hence $\ell$ factors through the image ofExtend the resulting linear functional on $T(E)$ to ${\mathbb{R}}^m$. It has the form $z\mapsto {\sum }_j{a}_j{z}_j$, giving $\ell (x)=⟨x,{\sum }_j{a}_j{y}_j⟩$. Conversely every such evaluation is continuous by the definition of the weak topology. Since the pairing separates $F$, this identification is injective, andFor the remaining parts every topological assertion about $E^{\prime }$ or its subsets uses the stipulated weak-star topology $\sigma (E^{\prime },E)$.

Assume $ϵ\to 0^{+}$. Since the drift $(1+x{)}^2$ is positive, the fast mode decays to the right; the matched asymptotic expansion has a left boundary layer at $x=0$ of width $O(ϵ)$, and the outer expansion uses the condition at $x=1$.

Write $y\sim y_0+ϵy_1$. The first two equations for the outer expansion areEnforcing $y_0(1)=1$ and $y_1(1)=0$, defineThen the outer asymptotic expansion isTo derive the correction, set $y_1=Eq$. Cancellation of the homogeneous terms leaves $q^{\prime }=-2/(1+x{)}^5-1/(1+x{)}^6$; integration and $q(1)=0$ give the expression above.

In the left boundary layer, set $\xi =x/ϵ$ and $y=Y_0(\xi )+ϵY_1(\xi )+\cdots$. The equation becomes $Y^{\prime \prime }+(1+ϵ\xi {)}^2{Y}^{\prime }+ϵY=0$. Put $A=e^{1/2}$ and $B=1-A$. The leading inner equation and matching give $Y_0^{\prime \prime }+Y_0^{\prime }=0$, $Y_0(0)=1$, $Y_0(\infty )=A$, hence $Y_0=A+B{e}^{-\xi }$. At the next order,Since $q(0)=53/80$, put $C=53A/80$. The matched inner correction satisfying $Y_1(0)=0$ isFor verification, the differential operator $d^2/d{\xi }^2+d/d\xi$ maps $e^{-\xi }P(\xi )$ to $e^{-\xi }(P^{\prime \prime }-P^{\prime })$. The large-$\xi$ common part is $A+ϵ(C-A\xi )$, precisely the small-$x$ outer expansion in the overlap $ϵ\ll x\ll 1$.

Adding the inner expansions and outer expansions and subtracting their common part gives the first-order composite expansion for a positive driftThis is uniformly correct through $O(ϵ)$ on $0\le x\le 1$. It satisfies the left boundary condition exactly; at the right boundary the remaining error is exponentially small. Polynomial growth in the inner correction is harmless because it is multiplied by the decaying exponential. For the smooth nonvanishing drift, the next matched terms are uniformly $O({ϵ}^2)$.

The method of multiple scales introduces independent variables for the fast oscillation and its slow modulation, for example $t_0=t$, $T=ϵt$, and, when needed, $T_2={ϵ}^{2}t$. The derivative becomes $d/dt={\partial }_{t_0}+ϵ{\partial }_T+{ϵ}^2{\partial }_{T_2}+\cdots$. One expands the solution in $ϵ$ while allowing its leading amplitudes and phases to depend on the slow times.

A solvability condition in the method of multiple scales removes resonant forcing of each fast homogeneous mode. Otherwise a correction contains a secular term, such as $ϵt\sin t$, and an ordinary asymptotic expansion fails on long times. The resulting slow amplitude equations incorporate that accumulated effect in the leading solution. One must still check that the amplitudes remain within the assumed weak-coupling regime and that omitted slower effects have not accumulated.