Here the negative binomial distribution has mean parameter $\mu >0$ and size parameter $\theta >0$. Its support in the original PDF is all nonnegative integers; a finite endpoint appearing in the TeX aid would be incorrect. The probability generating function, obtained from the generalized binomial series, isDifferentiating at one gives $G^{\prime }(1)=\mu$ and $G^{\prime \prime }(1)={\mu }^2(1+1/\theta )$. Since the variance is $G^{\prime \prime }(1)+G^{\prime }(1)-G^{\prime }(1{)}^2$, this provesThe extra positive term explains its overdispersion relative to a Poisson distribution.

For one observation, write the log-likelihood asThe mean score function and its cross derivative areTaking expectations gives $I_{\mu \theta }=-\mathbb{E}({\partial }_{\theta }{u}_{\mu })=0$. In addition,For reference, with $\psi$ the digamma function, the size score function isIts variance $I_{\theta \theta }$ is finite and positive for finite positive $\mu ,\theta$. Thus negative binomial mean-size parameter orthogonality makes the expected Fisher information matrix diagonal. For an independent identically distributed sample and a regular identifiable interior true parameter, asymptotic normality of a maximum likelihood estimator givesHence the asymptotic correlation is zero. This is first-order asymptotic independence, not a claim of exact finite-sample independence. Indeed the mean score yields $\hat{\mu }=\bar{y}$ at an interior fit, while the size fit also depends on the observed dispersion. The argument excludes a true boundary such as the Poisson limit $\theta =\infty$.

The rational translate $g(\tau )=f(a/N+\tau )$ has Fourier coefficients $e^{2\pi ian/N}{c}_n$, with the same polynomial bound as $c_n$. Thus the preceding Mellin transform gives, initially for $\mathrm{Re}s$ large, the completion of the additive twist of a cusp-form L-functionWrite $\epsilon =i^k=(-1{)}^{k/2}$. Nonzero level-one forms have even weight, so ${\epsilon }^2=1$. Split the integral at $1/N$. In its lower part substitute $y=1/(N^{2}v)$, and use rational-cusp inversion of a level-one cusp form with $\tau =iv$:The bounds reverse from $(0,1/N)$ to $(\infty ,1/N)$, so

Both cusp values in this integral are $O(e^{-2\pi y})$ as $y\to \infty$. On any compact set of $s$-values, the remaining powers of $Ny$ are bounded by fixed positive powers of $y$; differentiation in $s$ merely introduces powers of $\log (Ny)$. The integral and its differentiated integrals therefore converge uniformly on compact sets. It defines an entire function of $s$, agreeing with the original completion in its half-plane of convergence, and hence supplies the required analytic continuation to $\mathbb{C}$.

For the opposite rational cusp, $a^{\prime }=-d$ has inverse $d^{\prime }=-a$ modulo $N$. Denote the two individual upper integrals by $I_a(s)$ and $I_{-d}(s)$. The representation givesReplacing $s$ by $k-s$ in the first equality and using ${\epsilon }^2=1$ proves the functional equation of an additive cusp-form twist:For $N=1$ this specializes to the entire completion and functional equation of the ordinary L-function of a cusp form.

Choose $b=(ad-1)/N\in \mathbb{Z}$, and take the matrixAt $w=\tau -d/N$ its denominator is $Nw+d=N\tau$, while its numerator is $aw+b=a\tau -1/N$. ConsequentlyApplying the weight-$k$ transformation law of the cusp form at $w\in \mathbb{H}$ proves the rational-cusp inversion of a level-one cusp form:

Use $q=e^{2\pi i\tau }$, so $g(iy)={\sum }_{n\ge 1}{b}_n{e}^{-2\pi ny}$. Put $u=\mathrm{Re}s$. For $u>\max \{0,\sigma +1\}$,The Gamma integral and absolute convergence therefore justify exchanging summation and integration. For every positive integer $n$, substitution $t=2\pi ny$ givesSumming these identities proves the Mellin transform formula for the Dirichlet series:The power of the positive real variable $y$ uses the real logarithm; the initial half-plane stated above is a sufficient one even when $\sigma$ is negative.

The preceding dimension of level-one modular forms gives $\dim M_{16}=2$ and $\dim S_{16}=\dim M_4=1$. Thus $E_4\Delta$, which begins with $q$, spans $S_{16}$. A normalized weight-sixteen Eisenstein series and $E_4^4$ both have constant term one, so their difference is a multiple of $E_4\Delta$.

There is a normalization error in the printed auxiliary expansion: for the usual normalized $E_{16}$, the coefficient multiplier is $16320/3617$, rather than $255/(8\cdot 3617)$. Indeed, the Fourier expansion of a normalized Eisenstein series gives $-32/B_{16}$, and the Bernoulli number $B_{16}=-3617/510$ gives $16320/3617$. The printed multiplier is smaller by a factor of $512$. With the correct normalization, the first Fourier coefficients yieldComparing all positive-index coefficients therefore gives the exact identityThe Fourier coefficients of $E_4^4$ are integers, as are those of $E_4\Delta$: $E_4$ has its integral divisor-sum expansion and the modular discriminant has the product $q{\prod }_{r\ge 1}(1-q^r{)}^{24}$. Also $3456000+16320=960\cdot 3617$, and $\gcd (16320,3617)=1$. Reducing the identity modulo $3617$ and cancelling the invertible multiplier proves the weight-sixteen Eisenstein congruenceThe desired congruence is valid; it is the auxiliary normalization in the PDF that requires correction.

A terminal object and pullbacks in a category give a binary product $X\times Y$ by pulling back $X\to 1\leftarrow Y$. Repeating this gives every finite product, with the empty product supplied by the terminal object. The preceding parts then construct equalizers of arbitrary parallel arrows.

For a diagram $D:J\to \mathcal{C}$ with finitely many objects and arrows, form $P={\prod }_{j\in \mathrm{Ob}J}D(j)$ and $Q={\prod }_{a:j\to k}D(k)$. Define $r,s:P\to Q$ by $r_a=D(a){\pi }_j$ and $s_a={\pi }_k$. Their equalizer $e:L\to P$ has projections ${\pi }_{j}e$ satisfying every cone equation. Conversely a categorical cone supplies a unique map to $P$, and its cone equations say that this map equalizes $r,s$, hence factors uniquely through $L$. Thus $L$ is the categorical limit. This proves a terminal object and all pullbacks give all finite limits, including the empty diagram.

DefineEvery projective point with $z_3\ne 0$ has a unique unit representative whose third coordinate is positive real, so $F$ is a diffeomorphism. More explicitly, in the affine coordinate $u=(z_1/z_3,z_2/z_3)$ its inverse is $w=u/\sqrt{1+|u{|}^2}$. Lift $F$ to the unit sphere by $\tilde{F}(w)=(w,\sqrt{1-|w{|}^2})$. The last coordinate is real, so its contribution $d{x}_3\wedge d{y}_3$ pulls back to zero. The reduction identity therefore yieldsThis proves the symplectic ball chart in complex projective space directly, including the precise unit radius.

For the final unheaded request, embed the two disjoint balls in this chart. Fix arbitrary $0<{\rho }_i<r_i$, and choose intermediate radii ${\rho }_i<{\rho }_i^{\prime }<r_i$. On the images of the balls of radius ${\rho }_i^{\prime }$, transport the standard complex structure by the given symplectic embeddings. It is compatible with $\Omega$. Their smaller closed neighborhoods are compact and disjoint. Choose a global Riemannian metric agreeing there with the associated compatible metrics, using a partition of unity outside these neighborhoods, and apply the metric construction. The resulting global compatible almost complex structure $J$ agrees with the transported standard structure on each ball of radius ${\rho }_i$ and on a slightly larger neighborhood. This extends metrics, rather than averaging almost complex structures.

Let $p_1,p_2$ be the centres. They are distinct. The degree-one J-holomorphic curve supplied in the question has total area $\pi$, because its homology class is the projective line class. We use the sharp Euclidean version of the Monotonicity theorem for a J-holomorphic curve: a nonconstant holomorphic curve through the centre of a standard complex ball, with no boundary in the ball and counted with its parametrization multiplicities, has area in the radius-$\rho$ ball at least $\pi {\rho }^2$. This includes branched points: their density is a positive integer $m$, and the stronger lower bound is $m\pi {\rho }^2$. One way to see the constant is that complex curves are calibrated minimal surfaces; their stationary area ratio $\mathrm{area}(C\cap B(\rho ))/{\rho }^2$ is nondecreasing and its limit at the centre is $m\pi$.

The closed degree-one curve cannot stay entirely inside either chart ball: there the form is exact, so Stokes theorem would give zero total area, contradicting its positive area. Thus the branch through each centre crosses the surrounding spheres, and the stated monotonicity bound applies to each restriction. The two ball images are disjoint, so their area contributions add without overlap. It follows thatLetting both smaller radii increase to their original radii givesThis two-ball packing obstruction in the projective plane is sharper than volume alone: a volume comparison would only give $r_1^4+r_2^4\le 1$.

Outside both poles, the two geometric series use negative powers:HenceThe coefficient of $z^{-1}$ vanishes, as it must since the rational function starts with $z^{-2}$ at infinity.

In the middle annulus, expand the pole at one in negative powers and the pole at two in positive powers:Their geometric series convergence conditions are $|z|>1$ and $|z|<2$, respectively. The required Laurent series is

The coefficient ratio isThus the ratio test again gives radius of convergence $\boxed{R=1}$. On $|z|=1$, however, the terms have absolute value $n+2^{-n}$, which does not tend to zero. The necessary term condition for a convergent series fails at every boundary point. Therefore this power series diverges everywhere on $|z|=1$.

Use dots for derivatives with respect to proper time $s$ and the given unit curvature radius. Translation symmetry in the four brane coordinates gives constantsFor a future-directed timelike curve $E>0$. The unit-tangent constraint isIt follows that $K^2=E^2-{\mathbf{p}}^2>0$ and ${\dot{y}}^2=K^2{e}^{2y}-1$. Set $w=e^{-y}$. Thenwith solution $w=K\cos (s-s_0)$ on an interval where the cosine is positive. A phase shift includes either sign of the initial radial velocity. Integrating the four conserved-momentum equations gives the most general trajectory within this patch:The arbitrary constants encode the initial location and every unit timelike initial velocity. For the past-directed orientation reverse the tangent. The radial turning point is $y_{\min }=-\log K$; the two limits $y\to \infty$ are patch horizons, not the endpoints of the complete globally extended geodesic. This is the timelike geodesics in a warped Poincaré patch solution. As a check, $\ddot{y}=K^2{e}^{2y}$ and ${\ddot{x}}^{\mu }-2\dot{y}{\dot{x}}^{\mu }=0$, which are the explicit geodesic equations.

To measure the acceleration of the $y=0$ surface, take an observer at rest in its flat coordinates: $u^A=(1,0,0,0,0)$ there. The relevant Christoffel coefficient isThereforeIt points toward decreasing $y$. More generally any observer moving inertially within the brane satisfies $e^{-2y}{\eta }_{\mu \nu }{u}^{\mu }{u}^{\nu }=-1$, and ${\Gamma }_{\mu \nu }^y=e^{-2y}{\eta }_{\mu \nu }$ gives the same normal acceleration. The brane's extrinsic curvature for normal $+{\partial }_y$ is $K_{\mu \nu }=-h_{\mu \nu }$, consistent with this result. Restoring curvature radius $L$ gives warped-brane proper acceleration $|a|=1/L$. Intrinsically the induced brane metric is Minkowski and these observers have zero four-dimensional proper acceleration; the nonzero acceleration is relative to the bulk.

A low-frequency example is Galactic synchrotron emission: relativistic electrons spiral in the Galactic magnetic field and emit a broad nonthermal spectrum. In antenna-temperature units its approximate spectrum is $T_A\propto {\nu }^{-{\beta }_s}$ with ${\beta }_s$ around3, varying with the electron population and sky direction. It is a major, often dominant contamination at frequencies below roughly20–40GHz; radio point sources and bremsstrahlung can contribute in the same low-frequency region.

A high-frequency example is Galactic thermal dust emission. Grains heated by starlight have approximate modified-blackbody spectrum $I_{\nu }\propto {\nu }^{{\beta }_d}{B}_{\nu }(T_d)$, with grain temperatures of order tens of kelvin. Their emissivity-weighted emission rises rapidly through the microwave/submillimeter range and commonly dominates anisotropy contamination above roughly100–200GHz, especially at higher frequencies. Dusty extragalactic galaxies provide a related high-frequency foreground.

Synchrotron is the low-frequency contaminant and thermal dust the high-frequency contaminant. There is no universal crossover frequency at which either exceeds CMB anisotropy everywhere: sky masking, angular scale, polarization and source amplitude matter. Cleaner cosmological windows lie between these regimes, and multi-frequency observations distinguish the foreground spectra from a thermodynamic CMB temperature perturbation. The separation into low-frequency emission and high-frequency dust is also used in the Planck astrophysical-component products.

At two derivatives, specify the gauge group and matter representations, a real Kähler potential $K(\Phi ,\bar{\Phi })$, a holomorphic superpotential $W(\Phi )$ and a symmetric holomorphic gauge kinetic function $f_{ab}(\Phi )$. Gauge couplings and topological angles are contained in $f$; global theories can also have allowed Fayet–Iliopoulos terms for Abelian factors. Local theories require the gravitational coupling and consistent gauging: a constant Fayet–Iliopoulos term is not an independent addition to arbitrary supergravity data. A constant in $W$ affects supergravity although it is irrelevant in the global theory. $K$ is not holomorphic or protected; $W$ has no perturbative Wilsonian renormalization; holomorphic $f$ is perturbatively one-loop exact. Nonperturbative corrections can modify $W$ and $f$, and wave-function renormalization makes physical couplings run despite superpotential non-renormalization. Higher-derivative actions require further data.

Dependence on Grassmann variables alone does not specify a superfield transformation law. A superfield is a function on superspace, with components transforming under the induced supertranslation and Lorentz transformation action. Any suitable superfunction can be an unconstrained superfield once equipped with that action; a fixed element of a Grassmann algebra with independently assigned components need not be covariant. A chiral superfield, for example,also obeys ${\bar{D}}_{\dot{\alpha }}\Phi =0$. Keeping only a nonconstant $A(x)$ and forbidding the other components is not a closed supermultiplet: applying a supercharge generates Grassmann-dependent derivative terms. A real unconstrained superfield can instead describe a vector superfield.

Use the standard $L_{\infty }$-oriented partition normalization of B-splines, in contrast to the unit-integral normalization. Thus $N_i\ge 0$ and ${\sum }_i{N}_i(t)\le 1$ on $[0,1]$, with equality for a complete basis on its basic knot interval. This terminology does not mean that each basis function's maximum is exactly one; for example an order-three cardinal spline has maximum $3/4$. Assume the basis has positive support on the integration interval and is continuous, as is needed for a projection taking values in $C[0,1]$.

LetThe ordinary Gram matrix $H$ is positive definite by linear independence. The appropriate row-normalized, or mixed-normalization spline Gram matrix, isHere $M_i$ is a unit-integral nonnegative spline. Unlike $H$, $G$ need not be symmetric. If the full support lies inside the interval, $d_i=(t_{i+k}-t_i)/k$; otherwise use the actual interval integral rather than that full-support formula.

The normal equations for the $L_2$ orthogonal projection $P_{\mathcal{S}}f={\sum }_i{a}_i{N}_i$ say $Ha=c$, with $c_i=\int f{N}_i$. Divide each row by $d_i$ to obtainNonnegativity and unit integral give $|b_i|\le \Vert f{\Vert }_{\infty }$. The subpartition of unity for B-splines then givesTaking the supremum over $t$ and then over nonzero $f$ proves the uniform norm bound for B-spline orthogonal projection:The row normalization is essential; replacing $G$ with the ordinary Gram matrix would not be the same asserted estimate. The operator is defined on $C[0,1]$ and maps into its finite-dimensional spline subspace, onto $\mathcal{S}$, not onto all of $C[0,1]$ as one phrase in the PDF says. Its range follows both from the formula and from reproducing every $s\in \mathcal{S}$.

If “$L_{\infty }$-normalized” were instead read literally as individually peak-one splines, their sum can exceed one. The basis-dependent factor $K=\Vert {\sum }_i{N}_i{\Vert }_{\infty }$ must then be retained: $\Vert P_{\mathcal{S}}{\Vert }_{\infty }\le K\Vert (D^{-1}H{)}^{-1}{\Vert }_{{\ell }^{\infty }}$. Equivalently the displayed bound without an outside factor uses $G=K^{-1}{D}^{-1}H$. The standard partition-normalized convention has $K\le 1$ and yields the sharper bound proved above.

The change of time is $d\tau /dt=u$, which is positive in the half-plane under consideration. Dividing the two approximate equations by $u$ givesSet $w=v-\mu$. The inhomogeneous system becomes $(u,w{)}^{\prime }=(u-w,\lambda u)$, with eigenvalues $(1\pm \sqrt{1-4\lambda })/2$. For $\lambda >1/4$, write $\omega =\sqrt{4\lambda -1}/2$. Integrating with the prescribed initial data givesandThese expressions also verify both initial values and their initial derivatives. For fixed $\mu >0$ and small $h,v_0$ on the outgoing branch, the sine coefficient in $u$ is positive and dominates the initial cosine term. The first return to small $u$ is near the first positive zero, $\omega \tau \simeq \pi$. HenceThe factor is a half-turn of the growing spiral, not its full rotation period. After this excursion the approximate trajectory approaches the small-$u$, large-$v$ region. In the full system the term $-\lambda v$, omitted during the large excursion, allows the motion to descend along that region and return.

As $\lambda \downarrow 1/4$, the rescaled excursion time diverges and the factor $e^{\tau /2}$ produces arbitrarily large excursions. At the critical value the matrix is a nontrivial Jordan block, and the limiting formula isFor the small outgoing initial data this is positive and unbounded: the unstable manifold no longer turns back. Below $1/4$ the two eigenvalues are real and positive, so there is again no oscillatory return. This quadratic escape desingularization explains loss of the periodic orbit at infinity, together with the unstable-manifold escape, as $\lambda$ decreases through $1/4$. It is not a finite homoclinic bifurcation to the origin. The divergent $\tau$ travel time must not be identified with the physical period without integrating $dt=d\tau /u$; the time change becomes singular near $u=0$.

Here $\mu >{\mu }_H=\lambda (\lambda -1)>0$. The origin is a saddle equilibrium, $P_{+}$ is repelling, and $P_{-}$ lies in $u<0$. Thus there is no saddle equilibrium in the interior of $u>0$ to which this periodic orbit could become homoclinic. The origin cannot supply the missing loop: the line $u=0$ is invariant and is precisely its local stable manifold. An orbit in $u>0$ cannot lie on that stable manifold, so the positive periodic orbit cannot close into a homoclinic orbit to the origin either.

The outgoing trajectories do not escape to infinity in this regime. To see the large-amplitude turning mechanism, put $w=v/u$ once $v\ge 0$. Direct differentiation givesSince $\lambda >1$, the quadratic $w^2-w+\lambda$ is uniformly positive. At large $u$ while $0\le w\le 1$, $\dot{w}$ is bounded below by a positive multiple of $u$, whereas $\dot{u}/u\le \mu +u$. Thus $w$ rises by a fixed amount per bounded increase in $\log u$: the trajectory reaches $w>1$ and then $w>1+\mu /u$, where $\dot{u}<0$, before $u$ can diverge. The same estimate bounds repeated outgoing excursions; large positive $v$ also decreases when $v>u^2$. Initially negative $v$ increases until it becomes nonnegative. These nullcline and ratio estimates give bounded forward excursions.

The repelling upper equilibrium is therefore surrounded by recurrent trajectories, and the Poincaré-Bendixson alternative supplies periodic motion rather than a saddle equilibrium connection. The supercritical attracting periodic orbit persists in the displayed regime, with trajectories spiralling away from the upper equilibrium and approaching it. The last panel of the portrait figure shows this behavior; the boundary stable manifold of the origin is kept separate.