Fix the convention ${\iota }_{X_f}\omega =-df$ for a Hamiltonian vector field. Nondegeneracy of the symplectic form gives one unique smooth $X_f$ for each smooth real-valued function $f$. Define the Poisson bracket byIn coordinates with $\omega =\sum d{q}^i\wedge d{p}_i$, this is $\sum (f_{q^i}{g}_{p_i}-f_{p_i}{g}_{q^i})$. Thus the sign convention is explicit and agrees with the usual coordinate Poisson bracket. By Cartan's magic formula, ${\mathcal{L}}_{X_f}\omega =d{\iota }_{X_f}\omega +{\iota }_{X_f}d\omega =0$. The contraction–Lie derivative commutator identity now givesHence the Hamiltonian Lie algebra homomorphism is $\boxed{\Phi (f)=X_f,[X_f,X_g]=X_{\{f,g\}}}$. It is linear and onto the space of Hamiltonian vector fields by definition. For completeness, the Jacobi identity for the bracket on functions follows from closure of $\omega$: evaluating $d\omega =0$ on $X_f,X_g,X_h$ and using the displayed commutator relation gives the cyclic Jacobi sum zero. Thus this really is a map of Lie algebras, not just a bracket-preserving notation.

Its kernel is determined by nondegeneracy:On a connected manifold these are precisely the real constants; on a disconnected manifold the constant may differ on each component. Therefore the quotient by these functions is isomorphic to the Lie algebra of Hamiltonian vector fields. The printed “homeomorphis” is interpreted as homomorphism: the map before taking this quotient is not an isomorphism because of its nontrivial kernel. The alternative convention ${\iota }_{X_f}\omega =df$ requires a corresponding bracket sign change to retain this homomorphism.

A principal bundle consists of smooth manifolds $P,B$, a Lie group $G$, a smooth surjection $\pi :P\to B$, and a smooth free right action of $G$ on $P$, whose orbits are the fibers. Every $b\in B$ has an open neighborhood $U$ with a $G$-equivariant local trivialization ${\pi }^{-1}(U)\cong U\times G$, under which $\pi$ is projection and the action is $(x,\gamma )h=(x,\gamma h)$. Equivalently a local section $s:U\to P$ writes every fiber point uniquely as $p=s(x)\gamma$. On overlaps, sections differ by smooth transition functions $s_{\beta }=s_{\alpha }{u}_{\alpha \beta }$ satisfying the cocycle identity.

A principal connection is a Lie-algebra-valued one-form $\omega$ on $P$ satisfying $R_h^{\ast }\omega ={\mathrm{Ad}}_{h^{-1}}\omega$ and $\omega ({\xi }^{\#})=\xi$ for the fundamental vector field ${\xi }^{\#}(p)={\frac{d}{dt}|}_{0}p\exp (t\xi )$. Its horizontal distribution of a principal connection is the complement $\ker \omega$ to the vertical tangent spaces. The local gauge potential of a principal connection is Lie-algebra-valued, specifically $A=s^{\ast }\omega$; matrix notation identifies the adjoint action with conjugation. The displayed connection expression is understood on each coordinate trivialization, not as a choice of a global section.

Use the Lie bracket convention $[X,Y]=XY-YX$. If $E_{ij}$ denotes a matrix unit, then $E_{ij}{E}_{kl}={\delta }_{jk}{E}_{il}$. Here this givesThus, writing $[X_j,X_k]=f^i{}_{jk}{X}_i$, the nonzero structure constants of a Lie algebra areAll other entries vanish. This is the Lie algebra of the translation-dilation group of the plane: its two-dimensional translation ideal is abelian, and $X_0$ acts on that ideal as the identity. In group coordinates the multiplication and inverse areThese formulas also make the semidirect product structure explicit.

For the quadratic potential, the e-fold integral above gives ${\Phi }_N/M_{\mathrm{Pl}}\simeq \sqrt{4N+2}$. At $N\simeq 60$, the field is ${\Phi }_{\ast }/M_{\mathrm{Pl}}\simeq \sqrt{242}\simeq 15.6$. Since $k=aH$ at exit and $N$ counts down,To leading slow-roll order, $|\Delta N|\simeq \Delta \ln k$. The quadratic-inflation field interval from a wavenumber interval is thereforeThe corresponding field endpoints are approximately $\sqrt{232}{M}_{\mathrm{Pl}}$ and $\sqrt{252}{M}_{\mathrm{Pl}}$, or $15.2$ to $15.9$ reduced Planck masses. Longer wavelengths exit earlier at the larger field value. Using $\ln 100=4.605$ instead of the supplied rounded logarithmic interval gives a span of about $0.59M_{\mathrm{Pl}}$; retaining $1-{ϵ}_H$ changes either estimate by less than one percent. The observable interval samples a small part of the large background field value, rather than the entire excursion to the end of inflation.

The density bound on a relativistically decoupled massive relic is already decisive for a conventional near-critical cosmological density budget: the thermal pair alone gives $\Omega \simeq 22.4$. The same additional relativistic pair increases the effective number of neutrino species by one during nucleosynthesis and raises the primordial helium mass fraction, so its expansion effect supplies another constraint. Thus a stable, fully thermalized MeV-decoupling neutrino pair of this mass is incompatible with the usual cosmological density budget.

This conclusion is not a prohibition on every particle with that mass. Earlier decoupling followed by entropy dilution, a reduced production abundance, or interactions that change the assumed thermal history can alter both tests. At fixed mass, requiring this pair to contribute no more than the supplied critical density would demand a number density at most $1/22.4$ of the standard value, or a thermal temperature at most $(1/22.4{)}^{1/3}\simeq 0.355$ of the standard neutrino temperature. No numerical abundance or exclusion independent of these assumptions follows from the mass and equal particle-antiparticle counts alone.

At the tricritical point, tune $u=0$, hold $v>0$, and let $r=at$ cross zero. The equation of state becomes $h=rM+v{M}^5$. At $h=0,r<0$, $M^4=-r/v$, while the inverse susceptibility on the ordered branch is $r+5v{M}^4=4|r|$. On the disordered side it is $r$. At $r=0$, $M=\mathrm{sgn}(h)(|h|/v{)}^{1/5}$. Therefore $\beta =1/4$, $\gamma =1$ and $\delta =5$.

The minimized singular free-energy density isTwo temperature derivatives give a singular heat capacity proportional to $|t{|}^{-1/2}$ on the ordered side. Consequently the mean-field tricritical exponent calculation givesThe displayed scaling relations for critical exponents hold numerically:These are Landau theory values with both relevant coefficients tuned: along a generic path with fixed $u>0$, the asymptotic transition is ordinary rather than tricritical. The sextic upper critical dimension is three, so fluctuations can change the powers below three dimensions, and logarithmic corrections are possible at three. The vanishing disordered mean-field singular amplitude does not invalidate the ordered-side exponent.

First use the actual PDF boost bracket $[K_i,K_j]=-i{ϵ}_{ijk}{J}_k$; replacing the final $J_k$ by $K_k$, as the TeX transcription does, would be a different and incorrect algebra. Expanding the three brackets yieldsThusThe two sets have SU(2)-type brackets. Their compact real form exponentiates to $SU(2)\times SU(2)$, whereas their full complexification exponentiates to $SL(2,\mathbb{C})\times SL(2,\mathbb{C})$. This does not turn the physical real Lorentz group into a compact product. With Hermitian $J,K$, $A^{†}=B$, and the two factors are tied by the Lorentz reality condition; the connected physical spin cover is $SL(2,\mathbb{C})$.

For the right-handed spinor representation, the supplied sigma formula gives ${\bar{\sigma }}^{ij}={ϵ}_{ijk}{\sigma }_k/2$ and ${\bar{\sigma }}^{0i}=i{\sigma }_i/2$. ThereforeIt is the $(0,1/2)$ representation in this definition of $A,B$. These are finite-dimensional representation matrices; the boosts are not Hermitian for a positive-definite spinor inner product, as expected for a noncompact group. They are distinct from the operator-component commutator coefficients discussed in Question 1.

For the group map, encode a real Minkowski vector by the Hermitian matrixThe trace identity $\frac{1}{2}\mathrm{Tr}({\bar{\sigma }}^{\mu }{\sigma }_{\nu })={\delta }^{\mu }{}_{\nu }$ recovers its contravariant components. For $N\in SL(2,\mathbb{C})$, $X^{\prime }=NX{N}^{†}$ is Hermitian and has the same determinant. Expanding $X^{\prime }$ in that basis givesThe coefficients are real because the trace of a product of Hermitian matrices is real. Equality of determinants for all $x$ proves ${\Lambda }^T\eta \Lambda =\eta$. The action for $N_1{N}_2$ is the composition of the two actions, proving the homomorphism law.

Since $SL(2,\mathbb{C})$ is connected and the identity maps to the identity, its image has determinant $+1$ and preserves time orientation. More directly, positive-definite matrices representing future timelike vectors remain positive definite under $X\mapsto NX{N}^{†}$. The kernel is $\{I,-I\}$: if every Hermitian $X$ is fixed, $X=I$ first makes $N$ unitary, and then commutation with all Hermitian matrices makes it a scalar with determinant one.

Conversely, $SU(2)$ gives every spatial rotation, and positive Hermitian determinant-one matrices $\exp (\mathbf{b}\cdot \mathbf{\sigma }/2)$ give every pure boost. Rotation-boost decomposition yields every proper orthochronous Lorentz transformation. Thus the formula gives the Lorentz spinor double coverIt is a map into $SO(1,3)$ as asked, with precisely its identity component as image; it does not produce disconnected time-reversing transformations.

Write $q_1={\bar{Q}}^{\dot{1}}$ and $q_2={\bar{Q}}^{\dot{2}}$. In the Jacobi-consistent convention just fixed,Applying the commutator product rule twice givesHere ${\sum }_i{\sigma }_i^2=3I$ produces the constant term; moving the $J_i$ to the right accounts for it. ConsequentlyThus the physically consistent numerical coefficients areIf one mechanically retains the literal positive-sign column transformation instead, the coefficient tuple would be $(\frac{1}{2},\frac{3}{4},1,-i,1,\frac{3}{4},1,i,-1)$. It cannot describe a unitary multiplet with the supplied rotation algebra, by the explicit Jacobi counterexample in part (a).

Take the spin-zero Clifford vacuum $|\Omega ⟩$, normalized to one and annihilated by the two annihilation charges. This is a lowest Fock state of a positive-mass representation, not a zero-energy vacuum annihilated by every charge. For the first one-charge state,The ladder commutators are $[J_{+},q_1]=-q_2$, $[J_{-},q_1]=0$, $[J_{+},q_2]=0$, $[J_{-},q_2]=-q_1$. Therefore these two states are the $j=1/2$ pair. A phase choice $|\frac{1}{2},+\frac{1}{2}⟩=-N{q}_2|\Omega ⟩$ makes the usual positive ladder coefficient hold.

Raising the dotted index only changes the oscillator basis by the unitary antisymmetric epsilon matrix, so $\{q_a,q_b^{†}\}=2m{\delta }_{ab}$. Since $q_a^{†}|\Omega ⟩=0$,The positive convention would formally label this state with $j_3=+1/2$ while $J_{+}$ acts nontrivially on it, contradicting the highest-weight ladder rule. This supplies an independent state-level check of the needed sign correction.

The two-charge state is a rotation singlet. Indeed, using $q_1^2=q_2^2=0$ and $q_2{q}_1=-q_1{q}_2$, the product rule gives $[J_i,q_1{q}_2]=0$ for every $i$: only the sum of the two diagonal spinor coefficients survives, and their trace is zero. Hence the requested commutators and quantum numbers areIts squared norm is $(2m{)}^2$ before multiplication by $N^4$, by the two oscillator anticommutators.

The spin-zero massive N=1 supermultiplet therefore consists of $|\Omega ⟩$, $N{q}_1|\Omega ⟩$, $N{q}_2|\Omega ⟩$ and $N^2{q}_1{q}_2|\Omega ⟩$. Their spins are $0,1/2,1/2,0$, all with the same mass $m$. Starting with an even vacuum, the two spin-zero states are bosonic and the two one-charge states fermionic. They are the two real scalar degrees of freedom and the two on-shell fermion polarizations of a massive chiral multiplet. Any product of three creation charges repeats an index and vanishes; annihilation charges reduce to these four states by the canonical anticommutation relations. There are exactly four independent states.

For centered square-integrable variables with positive variances, the correlation coefficient isPut $v=\sqrt{\mathbb{E}[X^2]}$ and $v^{\prime }=\sqrt{\mathbb{E}[(X^{\prime }{)}^2]}$. ThenThus $\boxed{\rho =1⟺X=(v/v^{\prime })X^{\prime }\text{ almost surely}}$, with positive proportionality factor. Conversely positive proportionality immediately gives correlation one. For variables with nonzero means, this criterion applies to their centered versions and yields an affine, not necessarily proportional, relationship. That distinction is essential for the positive stock prices below.

At each event time within a stratum, let $r_A,r_B$ be the group risk sets and let $d$ be the total number of observed failures. Under the null of equal hazard functions, the expected A count is $d{r}_A/(r_A+r_B)$. The log-rank statistic adds observed minus expected A counts over event times; the stratified log-rank statistic first makes these comparisons within each patient stratum, then adds across patients. Let $V$ be the sum of the corresponding null conditional variances. The standardized statistic $U/\sqrt{V}$ has an approximate standard normal distribution under the null, and its square has an approximate one-degree-of-freedom chi-squared distribution. Compare it with the appropriate quantile for a two-sided test, under the usual independent censoring and exchangeability assumptions.