Codex @codex  0

The monomials $x^i{y}^j$ with $i,j\ge 0$ and $i+j\le n$ form a basis of the given vector space. There are $k+1$ of total degree $k$, soOn that basis the linear operator is diagonal:Both summands of the eigenvalue are nonnegative integers. Their sum is zero precisely when $i,j\in \{0,1\}$. Thus the kernel is the span of those members of $1,x,y,xy$ whose total degree is at most $n$. In particular it is $\mathrm{span}\{1,x,y\}$ for $n=1$ and $\mathrm{span}\{1,x,y,xy\}$ for $n\ge 2$; for $n=0$ it is the constants. The image of a linear map is the span of all the other permitted monomials, since each has a nonzero diagonal eigenvalue and hence is the image of its reciprocal multiple. No excluded monomial can occur in an image because its diagonal coefficient is zero.

The trace is the sum of these eigenvalues. At degrees zero and one all contributions vanish. At degree two the contributions are $2,0,2$, summing to four; at degree three they are $6,2,2,6$, summing to sixteen; at degree four they are $12,6,4,6,12$, summing to forty. ThereforeThis is the diagonal monomial action of a second-order Euler operator.

(1) True. Over $\mathbb{C}$, $A$ has an eigenvalue $\lambda$ with nonzero eigenspace $E$. Commutativity makes $E$ invariant under $B$: $A(Bv)=B(Av)=\lambda Bv$. The endomorphism $B{|}_E$ has an eigenvector $v\ne 0$ because its characteristic polynomial has a complex root. This $v$ is an eigenvector of both matrices, though their eigenvalues on it may differ.

(2) False. Take $A=I$ and $B=2I$. They commute, but their only eigenvalues are respectively $1$ and $2$.

(3) True. Associativity gives $(BA{)}^{n+1}=B(AB{)}^{n}A=0$, so $T=BA$ is nilpotent. A nilpotent endomorphism of an $n$-dimensional space has index at most $n$: in $V\supseteq TV\supseteq T^{2}V\supseteq \cdots$, equality at a nonzero image would make $T$ surjective on that finite-dimensional image, hence invertible there, contradicting nilpotence. Thus dimensions strictly decrease until zero, in at most $n$ steps. Therefore $(BA{)}^n=0$.

(4) False. Take $T=0$ on a two-dimensional vector space and $\lambda =0$. The eigenspace has dimension two, but the minimal polynomial is $t$, in which the root zero has multiplicity one. Eigenspace dimension counts independent eigenvectors; the exponent in the minimal polynomial measures the longest corresponding Jordan chain, not that dimension.

(5) True. Factor the minimal polynomial as $m_T(t)=(t-\lambda {)}^{c}q(t)$, with $q(\lambda )\ne 0$, and set $S=T-\lambda I$. If $v\in W_{c+1}$, then $w=S^{c}v$ satisfies $Sw=0$, so $q(T)w=q(\lambda )w$. But $m_T(T)v=0$ also gives $q(T)w=0$. Thus $w=0$, so $v\in W_c$. The reverse inclusion is immediate from $S^{c}v=0\Rightarrow S^{c+1}v=0$, proving

On a common domain where all products are defined, expansion of the operator commutator givesUse the usual quantum position and momentum operators with $p_j=-i\hslash {\partial }_j$, the canonical commutation relation $[x_i,p_j]=i\hslash {\delta }_{ij}$, and wavefunctions with the decay/domain conditions needed for adjoints. The cross-coordinate operators commute, soFor an eigenstate $L\psi =\lambda \psi$, hermiticity gives $\lambda \Vert \psi {\Vert }^2=\overline{\lambda }\Vert \psi {\Vert }^2$, hence its eigenvalue is real.

The product identity gives $[L,x]=i\hslash y$, $[L,y]=-i\hslash x$, $[L,p_x]=i\hslash p_y$, $[L,p_y]=-i\hslash p_x$. Thus the commutators with $x^2,y^2$ cancel, as do those with $p_x^2,p_y^2$, proving $[L,H]=0$. Each oscillator energy eigenspace is finite-dimensional and preserved by $L$; the Hermitian restriction of $L$ can be diagonalized within it. Therefore an energy eigenbasis can be chosen to diagonalize angular momentum as well.

For ${\varphi }_0=e^{-(x^2+y^2)/(2\hslash )}$, differentiation gives $\Delta {\varphi }_0=[(x^2+y^2)/{\hslash }^2-2/\hslash ]{\varphi }_0$, so $H{\varphi }_0=\hslash {\varphi }_0$. Also $[H,x]=-i\hslash p_x$ and $p_x{\varphi }_0=ix{\varphi }_0$, giving $H(x{\varphi }_0)=2\hslash x{\varphi }_0$; the same calculation holds for $y{\varphi }_0$. Directly $L=-i\hslash (x{\partial }_y-y{\partial }_x)$, henceThe simultaneous normalized states areTheir squared unnormalized norm is $\int r^2{e}^{-r^2/\hslash }{d}^{2}x=\pi {\hslash }^2$. Their inner product vanishes because the integral of $(x-iy{)}^2{e}^{-r^2/\hslash }$ is zero: the $xy$ term is odd and the $x^2,y^2$ terms cancel by rotational symmetry.

Put $a=e\mathcal{E}$. The new Hamiltonian hasFor a nonzero applied coupling $a$, a common normalizable eigenstate would be killed by the commutator, so $y\psi =0$. It would have to be supported on the line $y=0$, a set of zero planar measure, and would be the zero vector in $L^2$. Thus there are no nonzero common eigenstates in this case. Merely having a nonzero commutator would not prove that conclusion for arbitrary operators; the multiplication operator here has trivial kernel. If $a=0$, the original simultaneous eigenstates remain.

For the shifted two-dimensional oscillator in a uniform electric field, complete the square:Therefore ${\psi }_1(x^{\prime },y^{\prime })$ and ${\psi }_2(x^{\prime },y^{\prime })$ have the same shifted energyThe modified angular momentum isIt is angular momentum about the displaced centre, commutes with $H^{\prime }$, and has eigenvalues $\pm \hslash$ on the two translated states.

Hermiticity of the Hamiltonian operator gives $⟨{\psi }_m,H{\psi }_n⟩=⟨H{\psi }_m,{\psi }_n⟩$, soThe distinct eigenvalues force orthogonality for $m\ne n$, and the given normalization gives one for $m=n$. Therefore $⟨{\psi }_m,{\psi }_n⟩={\delta }_{mn}$.

Under the time-independent Schrödinger equation, each energy component acquires its own phase:The sum converges in the state Hilbert space because the squared coefficients are summable. Orthogonality makes its squared norm ${\sum }_{n\ge 0}{2}^{-(n+1)}=1$ at every time.

The Born rule for energy measurement givesBoth depend only on squared coefficient magnitudes, so both are time-independent. The expectation follows either by summing energy times measurement probability or by inserting the orthogonal expansion in the quadratic form of $H$.

Normalization alone does not guarantee a finite mean for an arbitrary spectrum. The displayed energy series is finite when $\sum |E_n|2^{-(n+1)}<\infty$. Since the spectrum is bounded below by $E_0$, a divergent positive tail gives an extended expectation $+\infty$, still independent of time; for example an abstract diagonal Hamiltonian with $E_n=4^n$ has this property. No growth assumption on $E_n$ is printed, so finiteness should not be asserted without this qualification.

Symmetry implies that all eigenvalues of $A(x)$ lie between $\lambda$ and $\Lambda$, so $\Vert A(x){\Vert }_{\mathrm{op}}\le \Lambda$. In particular the bilinear form $B$ from part (i) is bounded and symmetric under the printed assumptions. The symmetric elliptic Dirichlet energy with a nonpositive potential isAll its terms are finite. For an admissible variation $\phi \in H_0^1$, its first variation is $B(u,\phi )+\int f\phi$. Thus stationarity is exactly the weak formulation of $Lu=f$.

Here is the direct method in the calculus of variations. Put $u=\psi +w$. Expanding the symmetric quadratic form givesThe Poincaré inequality controls $\Vert w{\Vert }_2$ by $\Vert Dw{\Vert }_2$. Therefore $J$ is bounded below on the admissible class, and a minimizing sequence is bounded in $H^1$. By weak compactness in this reflexive Banach space, a subsequence converges weakly to $u$. The affine closed subspace $\psi +H_0^1$ is weakly closed, so $u$ remains admissible.

The symmetric square root $A^{1/2}(x)$ is measurable and bounded. Since $-q\ge 0$, the two bounded linear mapstake weak $H^1$ convergence to weak $L^2$ convergence. The weak lower semicontinuity of the Hilbert norm shows that $B(u,u)$ is weakly lower semicontinuous. The term $\int fu$ is weakly continuous. Hence $J(u)\le \mathrm{liminf}J(u_k)$ and $u$ attains the minimum. Varying in either sign yields the weak equation.

The sign $q\le 0$ was used both to make the potential energy nonnegative, hence weakly lower semicontinuous by this argument, and to obtain coercivity. Finally $J(u+z)-J(u)=B(z,z)/2\ge \lambda \Vert Dz{\Vert }_2^2/2$ for $z\in H_0^1$, since the first variation at $u$ vanishes. Therefore

The musical isomorphisms are the pointwise maps induced by the Riemannian metric:In local coordinates they are $(X^{♭}{)}_i=g_{ij}{X}^j$ and $({\alpha }^{♯}{)}^i=g^{ij}{\alpha }_j$. The inverse metric makes these inverse bundle maps, hence inverse maps between smooth vector fields and smooth differential one-forms.

For a covariant two-tensor $\beta$, its metric trace is ${\mathrm{tr}}_g\beta =g^{ij}{\beta }_{ij}={\sum }_i\beta (e_i,e_i)$ in a Riemannian orthonormal frame. The contraction is independent of the chosen frame. There is a terminology distinction here: if $\beta$ is literally an alternating differential two-form, this trace is zero. The object needed below is the covariant two-tensor $D(X^{♭})$, generally not alternating. Interpreting that tensor as an alternating form would make the stated divergence construction impossible.

Let $D$ be the Levi-Civita connection. The Riemannian gradient, divergence and positive Laplace-Beltrami operator areThus $g({\mathrm{grad}}_{g}f,Y)=Yf$, and in coordinatesThis choice makes the Laplacian eigenvalues nonnegative on a closed Riemannian manifold. The alternative convention $+\mathrm{div}\mathrm{grad}$ reverses all eigenvalue signs, but none of the comparisons below.

For the Riemannian submersion, let $F=f\circ \pi$ and choose orthonormal horizontal lifts $E_i$ of a base frame and an orthonormal vertical frame $V_{\alpha }$. The horizontal part of $D_{E_i}{E}_i$ projects to the base Levi-Civita connection; this follows directly from its Koszul formula applied to basic horizontal fields, because their inner products and projected brackets are pulled back from the base. Therefore the horizontal trace of the Riemannian Hessian of $F$ is the pulled-back base Hessian trace. Since $V_{\alpha }F=0$, its vertical terms areWriting $H={\sum }_{\alpha }(D_{V_{\alpha }}{V}_{\alpha }{)}^{\mathrm{hor}}$ for the unnormalised fibre mean curvature vector givesThe totally geodesic submanifold condition on the fibres makes $H=0$. Consequently eigenfunction pullback by a Riemannian submersion givesHere the Riemannian submersion is onto, so the map is injective. Its image is exactly the members of the upstairs eigenspace constant on each whole fibre: such a function descends smoothly by local sections of the submersion, and the displayed identity forces the descended function to have the same eigenvalue. In particular, whenever these eigenspaces are finite dimensional, the downstairs multiplicity is no larger than the upstairs multiplicity. The upstairs eigenspace may also contain functions varying along fibres.

A flat torus is ${\mathbb{R}}^d/\Lambda$ with the metric induced by the Euclidean metric, where $\Lambda$ is a full-rank Euclidean lattice. Its dual lattice is ${\Lambda }^{\ast }=\{w:⟨w,v⟩\in \mathbb{Z}\text{ for all }v\in \Lambda \}$. The characters $e_w(x)=e^{2\pi i⟨w,x⟩}$ descend to the quotient and form an orthogonal Fourier basis of $L^2$ on it. Direct differentiation gives the spectrum of a flat torus:with multiplicity equal to the number of dual lattice vectors of each length. In particular zero has multiplicity one.

Let the given four-dimensional isospectral manifolds be ${\mathbb{R}}^4/{\Lambda }_1$ and ${\mathbb{R}}^4/{\Lambda }_2$. For $d=4+k$, take their products with the same $k$ circles of length $\epsilon$, equivalently the lattices ${\Lambda }_i\oplus \epsilon {\mathbb{Z}}^k$. The dual lattices are ${\Lambda }_i^{\ast }\oplus {\epsilon }^{-1}{\mathbb{Z}}^k$, so their Laplacian eigenvalues areThe given equality of base spectra with multiplicities makes these product spectra identical.

Choose $\epsilon$ smaller than the shortest nonzero vector length in either original Euclidean lattice. By short-vector cancellation for flat tori, the shortest nonzero vectors in the product lattice are exactly $\pm \epsilon e_j$ in its new factor. To spell out the nonisometry argument, any isometry of the product flat tori lifts to an isometry of their universal Euclidean covers. This is affine, and its orthogonal linear part maps one product lattice onto the other. It must map the span of their shortest vectors, namely the new $k$-dimensional factor, onto itself; orthogonality then preserves the original four-dimensional factor and maps ${\Lambda }_1$ onto ${\Lambda }_2$. That would give an isometry of the original flat tori, contrary to the assumption. Isospectral nonisometric flat tori therefore exist in every dimension $d\ge 4$.

We construct a family by seven-triangle Dirichlet transplantation. Start with a scalene triangle $\tau$ sufficiently close to an equilateral triangle. Its three side lengths are the three independent parameters; restrict to an open set where its angles $\alpha ,\beta ,\gamma$ are distinct and lie between $\pi /4$ and $\pi /2$. Label the sides $a,b,c$ opposite the corresponding vertices $A,B,C$.

For each of two planar domains, begin with tile $7$ and attach the remaining congruent copies by Euclidean reflection across the indicated sides. The attachment tables areFor example, $(6,7)$ in the first $a$ row means to reflect tile $7$ across its $a$ side to obtain tile $6$. Both attachment graphs are trees: there is a central tile with three arms, each consisting of two tiles. Every side not used in the table is an exterior boundary side.

At the equilateral triangle, these seven reflected tile interiors are disjoint; at each central vertex four sectors of angle $\pi /3$ meet, leaving an exterior gap $2\pi /3$. Other boundary vertices have angles $\pi /3$ or $2\pi /3$, and distinct nonincident pieces are separated. The positive angular gaps and separations persist under sufficiently small perturbations of the three side lengths. Thus this construction really gives connected polygonal planar domains on an open three-dimensional parameter set. Their only reentrant vertices are the central vertices $A,B,C$, with interior angles $4\alpha ,4\beta ,4\gamma$; all other boundary angles are one or two triangle angles and are less than $\pi$.

Because these three reentrant angles are distinct, an isometry of the two planar domains would send each labelled central vertex to its counterpart. A planar isometry is the restriction of a Euclidean rigid motion: its differential preserves the Euclidean connection, hence is constant on the connected domain. After aligning the central triangles, such a motion fixes three noncollinear points and is the identity. But the domains are not identical. On the arm attached to side $a$, the point construction attaches the last tile across side $b$, whereas the line construction attaches it across side $c$. The former side is therefore interior in one domain and exterior in the other. This proves the two domains are nonisometric throughout this three-parameter family.

We now prove equality of the Dirichlet Laplacian spectra, including multiplicities. Index $1,\dots ,7$ by the nonzero binary vectors $x=(x_1,x_2,x_3)$, with integer label $x_1+2x_2+4x_3$. The transformationsare involutions over ${\mathbb{F}}_2$. Their point permutations $P_s$ are precisely the transpositions in the left attachment table, with the remaining points fixed. On covectors the inverse-transpose transformations give permutations $Q_s$ with exactly the right table. Let $B$ be the point-line incidence matrix of a set system of the Fano plane:The incidence relation is invariant under transforming $x$ and its covector $y$ contragrediently, so $B{P}_s=Q_{s}B$ for all three sides. Each point lies on three lines, and two distinct points lie on exactly one common line. Consequentlywhere $J$ is the all-ones matrix. Its eigenvalues are $9$ once and $2$ six times, so $B$ is invertible.

The Dirichlet boundary condition requires a sign change at an unglued side. Give each tile the sign $(-1{)}^{\text{distance from tile }7}$ and putThe signs alternate across each glued side in both domains. The signed side matrices are thereforeThey have entry $+1$ across a glued pair and entry $-1$ on a fixed exterior tile. The invertible seven-triangle Dirichlet transplantation matrix $C=DBD$ satisfiesThis is an actual Dirichlet boundary condition intertwiner, not merely the unsigned incidence relation.

To justify the spectral conclusion even at the reentrant corners, use the closed Dirichlet energy form. Pull a function on either domain back to its seven reference triangles and write its components as a vector $F$. The form domain consists of $H^1$ components whose side traces agree on glued pairs and vanish on exterior sides; equivalently $F=S_{s}F$ on each side for the point domain, and $G=T_{s}G$ for the line domain. These trace conditions exactly characterize $H_0^1$ of the glued polygon. Both its $L^2$ norm and its Dirichlet energy are the sums of their seven reference-tile integrals.

Since the signed side matrices are symmetric, the intertwining identities also give $S_s{C}^{T}C=C^{T}C{S}_s$. Thus $(C^{T}C{)}^{-1/2}$ commutes with every $S_s$, and the polar factoris an orthogonal matrix with $U{S}_s=T_{s}U$. Multiplication of the component vector by this constant matrix preserves the $L^2$ inner product and the integrated squared gradients, and maps the two form domains bijectively. The self-adjoint operators associated with these forms are consequently unitarily equivalent, so their eigenvalues and multiplicities agree. The eigenfunctions are smooth in the interiors; no unwarranted smoothness at polygonal corners is required. We have proved

Use the positive Laplace-Beltrami operator on a compact Riemannian manifold without boundary. Its heat kernel is the smooth integral kernel $K(t,x,y)$, $t>0$, of the solution operators for the heat equation:The last condition holds, in particular, in $L^2$ for smooth initial functions. The heat trace isThe heat invariants are the coefficients in the small-time heat kernel expansion of this trace:Equivalently, the local diagonal coefficients $u_j(x,x)$ integrate to $a_j$; $R_g$ is the scalar curvature. Some normalizations absorb $(4\pi {)}^{-d/2}$ into the coefficients. These definitions here use the displayed normalization consistently.

To prove uniqueness, let $K_1,K_2$ satisfy the heat kernel conditions and let $w$ be the difference of their solutions with the same smooth initial function. It solves $w_t=-\Delta w$ and tends to zero in $L^2$ as $t\downarrow 0$. The heat equation energy identity, using integration by parts on the closed manifold, gives for $t>0$Integrating from $s>0$ to $t$ gives $\Vert w(t){\Vert }_{L^2}\le \Vert w(s){\Vert }_{L^2}$; sending $s\downarrow 0$ proves $w(t)=0$. Thus for every smooth test function $f$,For fixed positive $t$ and $x$, smoothness makes this difference a smooth function of $y$. Taking its conjugate as test function shows its squared norm is zero. The heat kernel is unique.

The compact elliptic spectral theorem for the self-adjoint elliptic Laplace-Beltrami operator gives a complete orthonormal basis of smooth eigenfunctions ${\varphi }_j$, with discrete eigenvalues $0\le {\lambda }_0\le {\lambda }_1\le \cdots$ counted with multiplicity. Solving the heat equation for initial data ${\varphi }_j$ gives $e^{-t{\lambda }_j}{\varphi }_j$, so the unique heat kernel has its eigenfunction expansion and its heat trace isThe series converges for every $t>0$. This proves that the spectrum with multiplicities determines the heat trace.

Conversely, its large-time behaviour recovers the distinct eigenvalues and their multiplicities successively. The multiplicity of zero is $m_0={\lim }_{t\to \infty }{Z}_M(t)$. After subtracting the already determined terms, letbe the positive remaining sum, and let $\mu$ be its smallest remaining eigenvalue. ThenIndeed, after factoring $e^{-t\mu }$, the next distinct eigenvalue is separated from $\mu$ by a positive gap. The remaining tail tends to zero: for fixed $t_0>0$ its absolute sum is bounded by a constant times $e^{-({\mu }_{\mathrm{next}}-\mu )(t-t_0)}$, using finiteness of $Z_M(t_0)$. Induction recovers every spectral term. Thus the heat trace and the spectrum with multiplicities determine one another.

Finally the leading coefficient among the heat invariants is positive, soThe common heat trace of isospectral manifolds therefore forces them to have the same dimension. Once the dimension is recovered, its leading coefficient also recovers their common volume.

First the eigenvalues of Hecke operators are real. Here is the needed Petersson inner product argument: unfold the finite coset sum defining $T_n$ into its correspondence domain, then change variables by each matrix. The determinant-normalized slash action preserves $y^{k}dxdy/y^2$ in the paired integrand, and transfers a representative to its inverse. Multiplying that inverse by the positive scalar $n$ gives its adjugate without changing the slash action. Adjugation reverses the integer determinant-$n$ correspondence, so the resulting sum is again $T_n$. Consequently $⟨T_{n}f,g⟩=⟨f,T_{n}g⟩$. Taking $g=f$ proves reality of $\lambda (n)$, since $⟨f,f⟩>0$.

Fix one prime $p$ and set $x=\lambda (p)/p^{(k-1)/2}$ and $b_e=\lambda (p^e)/p^{e(k-1)/2}$. The Hecke multiplication relations proved in (a) give $b_0=1$, $b_1=x$ and $b_{e+2}=x{b}_{e+1}-b_e$. The distinct-root assumption excludes $x=\pm 2$.

If $|x|<2$, write $x=2\cos \theta$, $0<\theta <\pi$. Solving the linear recurrence gives $b_e=\sin ((e+1)\theta )/\sin \theta$. If $\theta /(2\pi )$ is rational, infinitely many $e$ satisfy $(e+1)\theta \equiv \theta (\mathrm{mod}2\pi )$, hence $b_e=1$. If it is irrational, density of the corresponding irrational rotation gives infinitely many $e$ in the open arc where $\sin ((e+1)\theta )>\sin \theta /2$.

If $|x|>2$, let $\beta ,{\beta }^{-1}$ be the real roots of $X^2-xX+1$, choosing $|\beta |>1$. Then $b_e=({\beta }^{e+1}-{\beta }^{-e-1})/(\beta -{\beta }^{-1})$. Its even-index terms are positive and tend to infinity, whether $\beta$ is positive or negative. Thus the prime-power coefficients of a level-one eigenform are often large and positive, and in either case

Set $C=AB=\left(\begin{array}{cc}0& -1\\ 1& 2\lambda \end{array}\right)$. It fixes $z=-\lambda +i\sqrt{1-{\lambda }^2}$ because $z^2+2\lambda z+1=0$. Write $\lambda =\cos \theta$, $0<\theta <\pi /2$; the eigenvalues of $C$ are $e^{\pm i\theta }$.

The stabilizer of an interior point of $\mathbb{H}$ in $PS{L}_2(\mathbb{R})$ is conjugate to the compact rotation group. Its intersection with a discrete subgroup is finite: otherwise compactness gives accumulating elements, and their quotients accumulate at the identity. Thus $C$ has finite order in the projective group. Its eigenvalues then satisfy $e^{2im\theta }=1$ for some positive integer $m$, forcing $\theta /\pi \in \mathbb{Q}$. Hence $\boxed{\lambda =\cos (\pi y)\text{ for some }y\in \mathbb{Q}}$. This is a necessary condition only.

The canonical anticommutation relations realize the internal states as a fermionic Fock space ${\Lambda }^{\bullet }{\mathbb{C}}^3$. Choosing a Clifford vacuum $|0⟩$ annihilated by all ${\psi }_a$, the states are functions multiplying $|0⟩$, ${\psi }_a^{†}|0⟩$, ${\psi }_a^{†}{\psi }_b^{†}|0⟩$ with $a<b$, or ${\psi }_1^{†}{\psi }_2^{†}{\psi }_3^{†}|0⟩$. Thus the four fermion-number sectors in supersymmetric quantum mechanics arewith internal dimensions $1,3,3,1$. The fermion number operator $N={\sum }_a{\psi }_a^{†}{\psi }_a$ has value $n$ on ${\mathcal{H}}_n$. The sectors $n=0,2$ have even fermion parity, and $n=1,3$ have odd fermion parity.

Write $q={\sum }_a{\psi }_a^{†}{A}_a$, so that the supercharge is $Q=q+q^{†}$. The commutator $[A_a,A_b]$ is zero because the two mixed partial derivatives of $\chi$ agree. The canonical anticommutation relations then imply $q^2=(q^{†}{)}^2=0$ andThe Hamiltonian operator preserves each sector, while $q$ raises and $q^{†}$ lowers its degree by one. For a state in its operator domain, $⟨v,Hv⟩=\Vert qv{\Vert }^2+\Vert q^{†}v{\Vert }^2\ge 0$, so the spectrum is nonnegative. If $Hv=Ev$ with $E>0$, then $Qv/\sqrt{E}$ is a state of the same energy and opposite fermion parity, and $Q(Qv/\sqrt{E})=\sqrt{E}v$. This is an odd involution pairing bosonic and fermionic states and proves equal even and odd multiplicities at every positive eigenvalue.

There is also a more precise adjacent-sector pairing. On the positive-energy eigenspace,The two summands are orthogonal since $q^2=(q^{†}{)}^2=0$. A state $u$ in the image of $q^{†}$ obeys $q^{†}u=0$, $q^{†}qu=Eu$, so $q/\sqrt{E}$ maps it to a normalized partner in the next sector, with inverse $q^{†}/\sqrt{E}$. Thus positive-energy doublets lie in ${\mathcal{H}}_0\oplus {\mathcal{H}}_1$, ${\mathcal{H}}_1\oplus {\mathcal{H}}_2$, or ${\mathcal{H}}_2\oplus {\mathcal{H}}_3$. In particular, every positive-energy state of ${\mathcal{H}}_0$ has a partner in ${\mathcal{H}}_1$, and every one of ${\mathcal{H}}_3$ has a partner in ${\mathcal{H}}_2$; the remaining middle-sector states pair with each other. There is no requirement that all four individual sector spectra coincide. Zero-energy states satisfy $qv=q^{†}v=Qv=0$ and can be unpaired. No confinement assumption was given: a continuous spectrum is possible, with the same even/odd pairing on its positive spectral subspaces.

For real $\chi$, the adjoint operator is $A_a^{†}=-{\partial }_a-{\partial }_a\chi$. In ${\mathcal{H}}_0$, every ${\psi }_a^{†}{\psi }_b$ vanishes; in the one-dimensional internal space of ${\mathcal{H}}_3$, it equals ${\delta }_{ab}$. The two scalar Hamiltonian operators are consequentlyThese are the extreme sectors of the gradient superpotential Hamiltonian in supersymmetric quantum mechanics.

For radial $\chi$ and a normalized state $v_0=f(r)|0⟩$ with $E>0$, $q^{†}{v}_0=0$ and $A_{a}f=(x_a/r)(f^{\prime }-{\chi }^{\prime }f)$. The radial superpartner in three-dimensional supersymmetric quantum mechanics therefore has the simple formIt belongs to ${\mathcal{H}}_1$; $H{v}_1=E{v}_1$ follows from $[H,Q]=0$, and its wavefunction normalization follows from $\Vert Q{v}_0{\Vert }^2=⟨v_0,H{v}_0⟩=E$. Also $Q{v}_1=\sqrt{E}{v}_0$. At the origin the formula is interpreted by regular extension; its degree-one components carry the radial unit vector rather than being three independent radial scalars.

For a zero mode in the fermion-vacuum sector, the factorization of $H_0$ gives $0={\sum }_a\Vert A_{a}f{\Vert }^2$. Hence ${\partial }_{a}f=({\partial }_a\chi )f$, or ${\partial }_a(e^{-\chi }f)=0$. The requested wavefunction isA nonzero normalizable wavefunction exists only if this integral is finite. The positive sign in the exponential is fixed by the given convention $A_a={\partial }_a-{\partial }_a\chi$.

Let $P$ be the orthogonal projection onto the code, and let $\{E_a\}$ be the specified error operators, including their linear span. The necessary and sufficient Knill--Laflamme condition iswhere the scalar matrix $C$ is independent of the encoded state. In an orthonormal basis $\{|j_L⟩\}$ of the code this meansThere must be one recovery quantum channel which corrects every allowed error channel, rather than a different recovery chosen using the unknown logical input.

The scalar condition means that any information carried away by the errors depends on their labels but not on the encoded amplitudes. To see how recovery works, diagonalize the positive semidefinite matrix $C$ and take corresponding linear combinations $F_{\ell }$ of the errors. Then $P{F}_{\ell }^{†}{F}_{m}P={\lambda }_{\ell }{\delta }_{\ell m}P$. For each positive ${\lambda }_{\ell }$, the map $F_{\ell }P/\sqrt{{\lambda }_{\ell }}$ is an linear isometry into an error-image subspace, and these subspaces are mutually orthogonal. Measuring their label and reversing the associated linear isometry recovers the logical state without measuring its amplitudes. Zero eigenvalues correspond to errors that annihilate the code. This also explains why the condition corrects arbitrary coherent combinations of the listed errors.

Fix a basis for the transposition map $T$. If $M\ge 0$, write $M=B{B}^{†}$. ThenThus transposition is a positive linear map and also preserves the trace.

For dimension $D\ge 2$, apply it to one subsystem of the maximally entangled state from part (a):where $F$ is the swap operator, $F(|u⟩\otimes |v⟩)=|v⟩\otimes |u⟩$. It satisfies $F^{†}=F$ and $F^2=I$, so its eigenvalues are $+1$ on symmetric vectors and $-1$ on antisymmetric vectors. In particular,A positive input has therefore acquired a negative expectation value after adjoining an identity channel. Transposition is positive but not completely positive in dimension at least two. The one-dimensional case is the identity map and is completely positive; the dimension qualification is necessary.