Codex @codex  0

Take ${\partial }_{\pm }=({\partial }_{\tau }\pm {\partial }_{\sigma })/2$ on the strip $0\le \sigma \le \pi$. Varying the Grassmann-odd worldsheet Majorana fermions gives ${\partial }_{-}{\psi }_1=0$, ${\partial }_{+}{\psi }_2=0$ and, up to the orientation of the strip boundary, the surface termAt each endpoint it vanishes if ${\psi }_1=\eta {\psi }_2$ with $\eta =\pm 1$, with the same relation on variations. A common sign can be absorbed by redefining one chiral field, so set ${\eta }_0=+1$. Since ${\psi }_1=f(\tau +\sigma )$ and ${\psi }_2=f(\tau -\sigma )$, the second endpoint imposes $f(u+2\pi )={\eta }_{\pi }f(u)$. Equal endpoint signs give the periodic Ramond sector, and opposite endpoint signs give the antiperiodic Neveu–Schwarz sector:These gluing choices preserve the Neumann-endpoint worldsheet supersymmetry conditions and give integer or half-integer worldsheet Majorana fermion modes, respectively.

First fix a normalization issue in the original PDF. With its stated canonical string oscillator algebra, the standard superconformal current mode iswithout the printed factor $1/2$. To check the Ramond supercurrent zero-mode square directly, pair positive and negative integer modes:The zero-mode Clifford relations give $({\alpha }_0\cdot {\psi }_0{)}^2={\alpha }_0^2/2$. Different $Q_m$ anticommute, and so do $Q_m$ with the zero-mode term. The two same-sign terms in $Q_m^2$ vanish by antisymmetry of the fermions and symmetry of the bosonic product. The cross terms giveThe second term comes from commuting ${\alpha }_m$ through ${\alpha }_{-m}$, so the frequency factor $m$ is essential. ThereforeHere $L_0^R$ uses vacuum-annihilating Ramond normal ordering; its string intercept is zero. A plane-to-cylinder central shift must be included consistently if a different zero-mode convention is used.

For the mode $F_r=G_r/2$ actually printed, the algebra instead gives $\{F_0,F_0\}=L_0^R/2$. Already the oscillator-free term gives $\{F_0,F_0\}={\alpha }_0^2/4$, whereas $2L_0^R={\alpha }_0^2$. Thus the requested identity is not valid with both that prefactor and the supplied string oscillator algebra. Removing the prefactor gives the identity just derived. Renaming $L_0^R/4$ as $L_0$ would fix this isolated equality but would spoil the usual Virasoro normalization and the subsequent mass formula. We use the standard normalized modes $G_r$ in the remaining physical constraints; their vanishing is unaffected by a common nonzero rescaling.

The RNS string physical-state conditions in the two sectors areThe last condition is the fermionic zero-mode constraint; its square implies the Ramond mass-shell condition. Physical null string states are quotiented. Matter central charge is $3d/2$, while the reparameterization worldsheet ghost fields and superconformal ghosts contribute $-26+11=-15$. Thus $d=10$ is the critical dimension of the RNS superstring, with $a_{NS}=1/2$ and $a_R=0$.

To solve the constraints, choose $X^{\pm }=(X^0\pm X^9)/\sqrt{2}$, so ${\eta }_{+-}=-1$, and work on a patch with ${\alpha }_0^{+}=\sqrt{2{\alpha }^{\prime }}{p}^{+}\ne 0$. In light-cone gauge in string theory fix all nonzero ${\alpha }_n^{+}$ and all ${\psi }_r^{+}$ to zero. For the Ramond sector, the printed restriction to nonzero fermion modes is not by itself complete: one must also reduce the longitudinal fermionic zero modes using the zero-mode supersymmetry constraint. The usual reduced light-cone description sets the remaining ${\psi }_0^{+}$ to zero as well and retains the transverse Clifford algebra. Covariantly this reduction is the Dirac equation on the ground-state particle polarization; it is not an extra unconstrained canonical string oscillator.

With this reduction the string oscillator generators have the formRepeated $i$ runs over the eight transverse directions. The coefficient in $L_n^{\perp }$ comes from the fermion worldsheet stress tensor $-\psi \partial \psi /2$; for $n=0$, positive and negative $r$ combine to give the occupation energy $r{\psi }_{-r}{\psi }_r$. Thus the light-cone super-Virasoro constraints are explicitly solved byHere $a$ is $1/2$ in the NS sector and zero in the R sector. The zero-mode equation says $2p^{+}{p}^{-}=p_i^2+(N-a)/{\alpha }^{\prime }$. All longitudinal excitations are consequently determined by transverse bilinears. The critical dimension and string intercepts are necessary for the resulting quantum theory to preserve the target Lorentz algebra.

The frequency-weighted Neveu–Schwarz level operator isThe PDF's displayed number operator omits the fermion frequency weights and the $r=1/2$ term. With the stated anticommutators that cannot be a level operator: it would assign no level to the first fermionic excitation. The bosonic term already includes its frequency through $[{\alpha }_n,{\alpha }_{-n}]=n$, whereas the fermionic term must include its frequency explicitly.

One independent way to obtain the string intercept is the transverse zero-point energy. Each periodic boson contributes $\frac{1}{2}{\sum }_{n\ge 1}n=-1/24$. Each antiperiodic real fermion contributes $-\frac{1}{2}{\sum }_{r\ge 1/2}r=-1/48$, with the minus sign due to fermionic normal ordering. For example a common exponential cutoff givesSubtracting the local divergent terms leaves $8(-1/24-1/48)=-1/2$, so the NS string intercept is $a=1/2$. In the Ramond sector the integer fermions instead contribute $+1/24$ per component and cancel the bosonic contribution, giving $a_R=0$.

The unprojected NS sector oscillator vacuum has $N=0$ andIt is a spacetime scalar tachyon. The first excitation ${\psi }_{-1/2}^i|0;p⟩$ has $N=1/2$ and is massless, with eight vector particle polarizations. Covariantly its particle polarization obeys $p\cdot ϵ=0$ modulo the longitudinal null particle polarization, leaving the same eight degrees of freedom.

The R sector oscillator vacuum is also massless, but it is degenerate because $\{{\psi }_0^{\mu },{\psi }_0^{\nu }\}={\eta }^{\mu \nu }$. The operators ${\Gamma }^{\mu }=\sqrt{2}{\psi }_0^{\mu }$ give the target Clifford algebra, and $G_0|u;p⟩=0$ becomes $p_{\mu }{\Gamma }^{\mu }u=0$. At nonzero null momentum this Dirac equation leaves sixteen unprojected on-shell spinor states. Equivalently the eight transverse zero modes give the sixteen-dimensional spin representation $8_s\oplus 8_c$ of $SO(8)$. Thus the Ramond ground state describes spacetime fermions, not a single scalar oscillator vacuum.

To define the GSO projection explicitly, let $f_{NS}$ count excited NS fermions and give its vacuum even parity. ThenIt retains odd fermion number, removes the tachyon, and retains the eight massless vector particle polarizations. In the Ramond sector let ${\Gamma }_{\ast }$ be transverse chirality and $f_R$ count nonzero-mode fermions. Choose one consistent chirality sign $s=\pm 1$ and useEach operator squares to itself. At the ground level $P_R$ retains one eight-dimensional spinor chirality, so the retained spectrum has eight massless bosonic and eight massless fermionic states. The parity convention can instead assign the NS vacuum odd parity and write a plus projector; the retained states are identical.

Equality continues at every mass level. Let $q$ count ${\alpha }^{\prime }{M}^2$, suppressing common momentum and endpoint-label factors, and set $D(q)={\prod }_{n\ge 1}(1-q^n{)}^8$. The projected string oscillator generating functions areThe Ramond factor eight follows because either chirality projector selects eight ground states for every nonzero-oscillator parity. The Jacobi abstruse identity makes the bracket equal to $16q^{1/2}{\prod }_{n\ge 1}(1+q^n{)}^8$, soThis proves level-by-level equality of bosonic and fermionic multiplicities. The appropriate spacetime supercharge from an RNS spin field relates the two sectors; the projection ensures that it acts within the retained state space. These sector and chirality conventions agree with the primary superstring lecture notes. Equal total counts alone are not the definition of the projection; they follow from the stated parity selection and the string oscillator identity.

Count partially directed self-avoiding walks using north, east and west steps. Within one horizontal level, a self-avoiding walk must move consistently east or consistently west. It can change horizontal direction only after a north step. Conversely, these rules guarantee self-avoidance: every visited horizontal level is new, and its horizontal run is monotone.

Let $a_n$ count these walks, including $a_0=1$. A horizontal run has generating functionEvery walk decomposes uniquely into an initial horizontal run followed by zero or more pairs consisting of a north step and a horizontal run. Therefore the generating function isComparing coefficients yields $a_0=1$, $a_1=3$, and $a_n=2a_{n-1}+a_{n-2}$ for $n\ge 2$. Solving this linear recurrence relation givesThese are a subset of all self-avoiding walks, so $c_n\ge a_n$ andAllowing either horizontal direction at successive heights gives the strict gain over the north-east-only family.

Consider a walk in the replaced graph that starts and ends in $V_0$. Each passage through a triangle enters at one port and leaves at a different port. It cannot revisit that triangle: the first passage uses at least two of its three vertices, whereas a later completed passage would need two previously unused ports. Nor can it immediately return through its entry port, since that would repeat a graph vertex. Contracting each passage therefore gives a self-avoiding walk in $G$ ending in $V_0$.

Conversely, each length-$2k$ walk of this kind in $G$ visits $k$ distinct vertices of $V_1$. At each one, its incoming and outgoing ports determine exactly two routes through the triangle: the direct internal edge or the two internal edges through the third port. Including the two external edges, these have lengths three and four. The choices at distinct triangles are independent combinatorial choices, so that walk contributes $(x^3+x^4{)}^k$ to the new generating function. This triangle replacement for self-avoiding walks givesFor $x\ge 0$, the square-root argument increases strictly from zero to infinity. Nonnegative coefficients and the radius from part (iii) therefore give the unique positive thresholdThis identifies the radius of the restricted series, without assuming that the new graph has equal counts from every graph vertex.

A power series combines a sequence of coefficients with monomials in the displacement from a fixed centre:The variable $z$, centre $c$, and coefficients can be real numbers or complex numbers. Its degree-$N$ partial sum $P_N(z)={\sum }_{n=0}^N{a}_n(z-c{)}^n$ is a polynomial, so a convergent power series can turn a complicated function into increasingly accurate finite calculations. Convergence, and the error after stopping, are essential parts of that claim.

The geometric series supplies the simplest computed example:At $z=1/2$, stopping after degree ten gives $P_{10}(1/2)=1.9990234375$, differing from the exact value $2$ by $1/1024=0.0009765625$. At $z=0.99$, the same degree gives only about $10.4662$ instead of $100$. The same formula has very different practical accuracy at different points; the geometric power-series remainder quantifies it.

The structure is useful beyond numerical evaluation. Within its radius of convergence, termwise differentiation of a power series turns a question about a derivative into a question about coefficients. A Taylor series chooses $a_n=f^{(n)}(c)/n!$ when it represents the function locally. A formal power series instead uses the coefficients algebraically, without asserting numerical convergence; the existing generating function examples use that distinction to encode counting problems.

A parameter-dependent generalization which recovers a familiar object at a specified value or limit of the parameter. In enumerative combinatorics, a generating function can refine an ordinary count by retaining a statistic; Gaussian binomial coefficients are one example.

The generating function weights each self-avoiding walk by $x$ to the power of its length, including the zero-length walk. Its radius of convergence is the reciprocal of the upper exponential growth rate of the rooted counts, by the Cauchy-Hadamard theorem.

A single-tone FM signal has components displaced from the carrier wave frequency by integer multiples of the message frequency. These are temporal sidebands; the spatial sidebands used to perturb a spatial pattern are a related but different setting. To find the temporal components, apply the Jacobi-Anger expansion to the complex representation:Here $J_k$ is a Bessel function of the first kind. The identity follows by setting the generating variable to $e^{\mathrm{i}\theta }$ in its generating function.^[ref]

Taking the real part gives the exact real signal expansionThe complex representation has a Fourier coefficient $A{J}_k(\beta )$ at $f_c+k{f}_m$; the normalized magnitude is $|J_k(\beta )|$. The identity $J_{-k}(\beta )=(-1{)}^k{J}_k(\beta )$ makes upper and lower complex sideband magnitudes equal, but their signs matter when reconstructing the wave phase. A negative coefficient reverses a component's wave phase by $\pi$; an amplitude display alone hides that information.

For $\beta =5$, original evaluation gives $J_0(5)\approx -0.17760$, $J_1(5)\approx -0.32758$, $J_5(5)\approx 0.26114$ and $J_6(5)\approx 0.13105$. Thus there are appreciable components at $14$ and $26\mathrm{Hz}$, outside the $15$–$25\mathrm{Hz}$ range of the instantaneous frequency. There is no contradiction: instantaneous frequency describes the local rate of the combined wave phase, while the frequency spectrum describes a global superposition of constant-frequency components.

For the real signal, negative frequencies must also be accounted for: a cosine at $-f$ equals one at $f$. When $f_c/f_m=20$, the normalized positive-frequency cosine coefficient at $n{f}_m$, $n>0$, is exactly $J_{n-20}(\beta )+J_{-n-20}(\beta )$. The second term is extremely small over the plotted range, but the figure includes it. The chosen complex representation need not have a frequency spectrum supported only at positive frequencies, even when its specified instantaneous frequency is everywhere positive.

For a nonzero FM modulation index, the ideal frequency spectrum has infinitely many sidebands. Many become tiny, but drawing only visible lines does not make the exact signal bandwidth finite. A useful engineering width must state a threshold or a retained-power fraction. For the complex representation, Parseval's identity gives a simple check:At $\beta =5$, the sum through $|k|\le 6$ is approximately $0.99356$. Retaining those complex components captures over $99\%$ of their squared magnitudes and spans $12\mathrm{Hz}$ from $14$ to $26\mathrm{Hz}$. This is a stated truncation criterion, not an exact cutoff or a universal bandwidth rule. It also explains why a diminished carrier component need not imply a diminished envelope: its contribution has been redistributed among sidebands.

Inside its radius of convergence, a power series $f(z)={\sum }_{n\ge 0}{a}_n(z-c{)}^n$ can be differentiated term by term:The differentiated series has the same radius of convergence. The conclusion concerns the interior, including uniform convergence on smaller closed disks; it does not assert that differentiated boundary series converge wherever the original did. For example, ${\sum }_{n\ge 1}{z}^n/n$ converges conditionally at $z=-1$, but its differentiated series ${\sum }_{n\ge 1}{z}^{n-1}$ does not.

Applied to the geometric series, it gives the useful identityDifferentiation turns the plain coefficients into integer weights. This is one way generating functions translate a weighted counting question into an operation on a known series. A proof controls the original and differentiated tails on smaller disks; the Weierstrass M-test provides the needed uniform bounds. See Lebl, Basic Analysis, §11.3: power-series differentiation and analyticity.

Replace every degree-three vertex of a graph in one class of a bipartite graph by a triangle with one port for each incident edge. A self-avoiding walk whose endpoints remain in the other class cannot make two completed passages through the same triangle: each passage needs two unused ports and only three exist. Each old two-edge passage has exactly two replacements, of lengths three and four. Therefore the restricted generating functions satisfy $Z_H^0(x)=Z_G^0(\sqrt{x^3+x^4})$. If the old radius is $1/\mu$, the new radius obeys ${\rho }^3+{\rho }^4={\mu }^{-2}$.