If $A$ is a commutative C-star algebra of bounded operators on a Hilbert space containing its identity, there is a unique regular projection-valued measure $E$ on the character space ${\Phi }_A$ such that $E({\Phi }_A)=I$ and $a={\int }_{{\Phi }_A}\hat{a}dE$ for every $a\in A$, where $\hat{a}$ is the Gelfand transform.

For a unital star-representation $\pi :C(K)\to \mathcal{B}(H)$, the Riesz-Markov-Kakutani representation theorem gives regular measures ${\mu }_{x,y}$ representing $f\mapsto ⟨\pi (f)x,y⟩$. Define $P(E)$ by $⟨P(E)x,y⟩={\mu }_{x,y}(E)$. Positivity and ${\mu }_{x,x}(K)=\Vert x{\Vert }^2$ make these positive contractions. The identities ${\mu }_{\pi (f)x,y}=f{\mu }_{x,y}$ imply commutation with $\pi (f)$ and ${\mu }_{P(E)x,y}=1_E{\mu }_{x,y}$; hence $P(F)P(E)=P(F\cap E)$. Thus each $P(E)$ is an orthogonal projection. Scalar countable additivity and orthogonality give countable additivity in the strong operator topology, constructing the normalized regular projection-valued measure.

On a complex two-dimensional Kähler manifold, a primitive $(1,1)$ form satisfies $\ast \alpha =-\alpha$, making it an anti-self-dual differential form. For a nonzero real primitive harmonic form on a compact surface, $\int \alpha \wedge \alpha =-\Vert \alpha {\Vert }_{L^2}^2<0$.

If $M/K$ is the Galois closure of a finite extension $L/K$, a prime splits completely in $L$ exactly when it splits completely in $M$. Complete splitting means every right action of $D$ on $H\backslash G$ fixes each coset, so $D$ lies in the subgroup core of $H$. That core is trivial because the conjugates of $L$ generate $M$.

If $m=0$, use a single color. Otherwise chooseThe previous bound gives $\mathbb{E}B\le n/4$, including the case $r=0$. By Markov inequality, $\mathbb{P}(B>n/2)\le 1/2$. Sample the hyperplanes, count the monochromatic edges, and repeat if $B>n/2$. The success probability is at least $1/2$, so at most two draws are needed on average.

For a successful draw, select one endpoint of each monochromatic edge and let $D$ be the union of the selected vertices. Then $|D|\le B\le n/2$. Every monochromatic edge meets $D$, so the original colors give a proper graph colouring on the induced subgraph with vertex set $W=V\setminus D$. Since $|W|\ge n/2$, the coloring of all vertices is a semicoloring. This is a random alteration method; no additional colors for $D$ are required.

The number of available colors satisfies $2^r\le 2\max \{1,(4m/n{)}^{{\log }_{3}2}\}$. A simple graph has $m\le n(n-1)/2$, hence semicoloring by independent hyperplanes gives

Allowed through a virtual W boson. The charm quark emits a $W^{+}$ and becomes a down quark through the nonzero CKM matrix element $V_{cd}$. The virtual W boson produces a positive muon and a muon neutrino through the leptonic weak charged current. The right panel is the unique physical-particle tree-level Feynman diagram.

Its total electric charge is $-1/3+1=2/3$, equal to the initial charge, and its final lepton number is $-1+1=0$. The decay is Cabibbo suppressed, rather than forbidden. These diagram counts use unitary gauge: in covariant gauges charged unphysical Goldstone bosons can supply gauge-dependent pieces of the same physical amplitudes, not additional physical channels.

Forbidden by electric-charge conservation. The initial bottom quark has electric charge $-1/3$, while the displayed final electric charges sum to $2/3+1+0=5/3$. Therefore no Standard Model Feynman diagram, at tree level or any loop order, can realize this channel.

This is an intentionally disallowed process, not a transcription correction. The charge-conserving semileptonic bottom decay instead has an electron and an antineutrino of electron flavour, while a Positron accompanies the conjugate antiquark decay. Replacing the displayed particles silently would change the requested classification.

Allowed through a t-channel W boson. Along one fermion line the up quark becomes a down quark by emitting a virtual $W^{+}$; along the other the charm antiquark absorbs it and becomes a strange antiquark. The middle panel shows this weak charged current exchange. Both electric charge and baryon number are conserved at each vertex, and the relevant CKM matrix entries are nonzero.

This is the unique physical-particle tree-level Feynman diagram. A neutral exchange would require a flavor-changing neutral current on each line, absent at tree level in the Standard Model. An annihilation into a neutral boson would likewise require an off-diagonal up-type neutral current. The different generations do not forbid the charged-current graph.

For each polynomial $g$, take the real analytic adjoint solution on the common cap from the preceding part. On the flat boundary face the full boundary jet of $u$ vanishes; on the curved face that of $v$ vanishes. The complete boundary-jet condition for formal adjoints, proved under its corrected hypothesis, therefore applies. The two corner points have zero boundary measure, and the cap is a bounded piecewise smooth domain. It follows thatBy the Weierstrass approximation theorem, polynomials uniformly approximate $\bar{u}$ on the compact cap closure. Taking the limit gives ${\int }_{{\omega }_{\epsilon }}|u{|}^2=0$. Continuity then gives $u=0$ pointwise in the cap. For real $u$, simply approximate $u$ itself.

A positive cap alone is not a neighborhood of the origin. Apply the same argument after reflecting $x\mapsto -x$; the reflected operator remains real analytic and non-characteristic. Shrinking the two parameters to their minimum proves vanishing onThis set is open and contains the origin, including the flat face where the value data vanish. The argument is the parabolic-cap proof of Holmgren uniqueness, and it establishes Holmgren uniqueness theorem for nonanalytic $C^m$ solutions here.

Fix the coefficient normal form and a positive analyticity exponent ${\zeta }_0$ once and for all. If $g$ is a polynomial, its pullback ${\tilde{g}}_{\epsilon }=g(\tilde{x}-{\tilde{y}}^2+\epsilon ,\tilde{y})$ is again a polynomial, with degree bounded independently of $\epsilon$. On a fixed closed coordinate ball, its finitely many nonzero derivatives are uniformly bounded as the parameter ranges over a fixed compact small interval. Hence there is a finite $A_g\ge 1$ such thatAll higher derivatives vanish, so arbitrarily high polynomial degree causes no failure of this bound; it only changes $A_g$.

The normalized forcing belongs to one common majorant class. The Cauchy-Kovalevskaya theorem therefore gives a radius $r_{\ast }>0$ independent of $g$. The problem is linear with zero data, so multiplying the normalized solution by $A_g$ solves the original forcing without changing its radius. Choose one $\epsilon$ with the cap inside this radius. ThusThis is the uniform Cauchy radius for polynomial forcing. It asserts a common domain, not a uniform solution-amplitude bound over all polynomials.

In the flattened coordinates, ${\partial }_x={\partial }_{\tilde{x}}$ and ${\partial }_y=2\tilde{y}{\partial }_{\tilde{x}}+{\partial }_{\tilde{y}}$. The transformed formal adjoint consequently has coefficients obtained from finitely many real analytic coefficient pullbacks and polynomial factors. They have uniform analyticity bounds on a fixed small ball. By the preceding non-characteristic argument, its coefficient of ${\partial }_{\tilde{x}}^m$ has modulus bounded away from zero there, uniformly for small $\epsilon$. Division by it preserves uniform real analytic bounds.

The transformed forcing ${\tilde{g}}_{\epsilon }$ has analogous bounds, with constants that may depend on $g$. Apply the Cauchy-Kovalevskaya theorem in normal form with zero normal data through order $m-1$ at $\tilde{x}=0$. The supplied majorant series radius result yields a common solution radius $r_g>0$ for all sufficiently small parameters. Tangential differentiation of zero normal data shows that the entire boundary jet through order $m-1$ is zero; changing coordinates preserves this vanishing.

For $(x,y)$ in the closed cap, $|\tilde{x}|\le \epsilon$ and $|\tilde{y}|\le \sqrt{\epsilon }$. Choose $\epsilon$ so small that $\sqrt{{\epsilon }^2+\epsilon }<r_g$, with a strict margin. The whole closed cap then lies in the common real analytic solution neighborhood. Pulling the solution back provesIn fact $v$ is real analytic on a neighborhood of its closure, which is useful for the boundary integration below.

The coordinate change has inverse $x=\tilde{x}-{\tilde{y}}^2+\epsilon$, $y=\tilde{y}$. Thus the coefficient function needed after changing variables isThe PDF's displayed formula has an undefined subscript $f_{\alpha }$ and writes the forward change in the argument. It is not the coefficient pullback by the stated coordinates; the inverse expression above is the one used in transforming the equation. The forward polynomial composition, if intended instead, has the same type of uniform bounds, but is not that pullback.

For $|(\tilde{x},\tilde{y})|\le 1/2$ and $0\le \epsilon \le 1/32$, the inverse image lies in the fixed compact subset specified by $|x|\le 25/32$, $|y|\le 1/2$, whose Euclidean radius is less than one. A real analytic function extends holomorphically to a complex neighborhood of this compact set: local extensions agree on overlaps by uniqueness, and a finite covering gives a common smaller neighborhood. The polynomial inverse maps a fixed small complex neighborhood of the closed half-ball into that neighborhood, uniformly in $\epsilon$. The extensions are bounded there by a common constant $A$. Applying the multivariable Cauchy estimate on equal-radius polydiscs givesThis is uniform analyticity under polynomial coordinate changes. The argument gives a compact margin and a common complex radius, not merely separate analyticity for each parameter.

The order-$m$ principal symbol of the formal adjoint is $p_m^{\ast }=(-1{)}^m{p}_m$. Derivatives falling on coefficients contribute only lower-order terms. Thus the original plane remains a non-characteristic hypersurface.

For the curved face use the defining function ${\rho }_{\epsilon }=x+y^2-\epsilon$, whose conormal is $(1,2y)$. On the face with $x>0$, $|y|<\sqrt{\epsilon }$ and $0<x\le \epsilon$. Therefore $(x,y,1,2y)$ tends uniformly to $(0,0,1,0)$ as $\epsilon \downarrow 0$. Since $p_m^{\ast }(0,0;1,0)\ne 0$, continuity givesThe same argument supplies a common neighborhood where the transformed coefficient of the highest normal derivative is nonzero, permitting the real analytic normal form used below.

Taken literally, the printed condition is insufficient: the choice of which factor vanishes may depend on the multi-index. For a counterexample already at $m=2$, let $P={\partial }_x^2$, let $\Omega =(0,a)\times (-b,b)$ be a small rectangle compactly contained in the unit ball, and choose $\chi \in C_c^{\infty }((-b,b))$ nonnegative with positive integral. PutOn the vertical edges $u=0$, and on the horizontal edges $u$ and its derivatives vanish. Every first derivative of $v$ is zero. Thus for every $|\beta |\le 1$ the same-index alternative in the PDF holds at every boundary point. But

The valid complete boundary-jet condition for formal adjoints is that, at each boundary point, either all derivatives of $u$ through order $m-1$ vanish or all such derivatives of $v$ vanish. On a bounded piecewise smooth domain with smooth coefficients up to its closure, repeated integration by parts produces boundary terms of the form $({\partial }^{\gamma }u){\partial }^{\delta }(a_{\alpha }v)$, multiplied by a normal component, with $|\gamma |,|\delta |\le m-1$. Expanding the second factor shows that every summand vanishes under this stronger whole-jet alternative. Hence the desired identity holds under that condition. The later cap argument satisfies this stronger condition face by face, so it remains valid despite the literal error in this subpart. Boundary regularity and finite integrals are also needed for a general noncompact-support integration formula; the caps used below have them.

Repeated integration by parts against a compactly supported test function gives the bilinear formal adjointThere is no boundary remainder because $v$ has compact support. The product rule makes this an order-at-most-$m$ linear differential operator with real analytic coefficients. The displayed integral pairing has no complex conjugation, so this is the formal transpose; for a sesquilinear pairing the coefficients would be conjugated.

For uniqueness, suppose $Q$ is the difference of two candidates. Then $\int uQv=0$ for every smooth compactly supported $u$ and $v$, so $Qv=0$ for every such $v$. At an interior point, a polynomial times a cutoff can prescribe every derivative of $v$ through order $m$ independently. Hence each coefficient of $Q$ is zero. This proves uniqueness as a differential operator, not only uniqueness of its integrated action.

Write the order-$m$ principal symbol as $p_m(x,y;\xi ,\eta )={\sum }_{|\alpha |=m}{a}_{\alpha }(x,y){\xi }^{{\alpha }_1}{\eta }^{{\alpha }_2}$. The conormal of the plane is $(1,0)$. Therefore the non-characteristic hypersurface hypothesis is exactlyIn particular its value at the origin is nonzero, and continuity provides a uniform positive lower bound for its modulus in a sufficiently small neighborhood. No lower-order coefficient enters this condition.

The Gelfand–Tsetlin basis spans $V^{\lambda }$, and the scalar computed on its vectors depends only on the shape. Thusfor every $w\in V^{\lambda }$. The product is the sum of the $(n-1)!$ permutations in the conjugacy class of an $n$-cycle. Taking traces therefore gives $(n-1)!{\chi }^{\lambda }((n))$ equal to the displayed scalar times $\dim V^{\lambda }$.

For a hook partition, a standard Young tableau is uniquely determined by the choice of its $k$ entries below the top cell, selected from $\{2,\dots ,n\}$. The column and the remaining row are then forced to increase. Hence $\dim V^{(n-k,1^k)}=\left(\genfrac{}{}{0ex}{}{n-1}{k}\right)$, and cancellation of the factorials yieldsThis uses the central character value of a conjugacy-class sum and tableau counting, without a character rule for removing rim hooks.

A hook partition $\lambda =(n-k,1^k)$ has cell contentsIn a standard Young tableau, the unique zero-content cell is $(1,1)$ and contains $1$. The other eigenvalues are precisely the remaining contents, in whatever order the tableau supplies. Their product is independent of that order:The scalar is nonzero over the complex numbers. For the single row or single column, one of the factorials is $0!=1$; the formula still gives $(n-1)!$ or $(-1{)}^{n-1}(n-1)!$, respectively.

For the product assertion in a non-hook shape, ${\lambda }_2\ge 2$, so cell $(2,2)$ is present. Its Content of a Young-diagram cell is zero and its label is at least four. Since $X_r{w}_T=c_T(r)w_T$, that factor in the product vanishes. Therefore

For the cycle-sum identity for Young–Jucys–Murphy elements, let $C_m$ be the sum of all $m$-cycles on $\{1,\dots ,m\}$. Multiplying such a cycle by $(jm+1)$ inserts $m+1$ immediately after $j$ in that cycle, with our composition convention. Every $(m+1)$-cycle has a unique predecessor $j$ of $m+1$, so deleting $m+1$ recovers a unique term of $C_m{X}_{m+1}$. Since $X_2=(12)$, induction givesFor $n=1$ the empty product is the identity, also the unique one-cycle.