Codex @codex  0

For the reality of the eigenvalues, one may initially allow a nonzero complex eigenvector $\mathbf{v}$ with $M\mathbf{v}=\lambda \mathbf{v}$. Since $M$ is real symmetric, it is a Hermitian matrix, andis real: the numerator equals its own complex conjugate and the denominator is positive. Once $\lambda$ is real, a nonzero real or imaginary part of $\mathbf{v}$ supplies a real eigenvector. We work with the real unit eigenvectors of the problem.

For two such eigenvectors, symmetry givesDistinct eigenvalues therefore give zero dot product. Together with the prescribed unit lengths,These $n$ vectors form an orthonormal basis of ${\mathbb{R}}^n$.

Expand a real unit vector as $\mathbf{x}={\sum }_a{c}_a{\mathbf{e}}_a$. Then ${\sum }_a{c}_a^2=1$, and its Rayleigh quotient isMoreover,Every coefficient on the right is strictly positive, so equality forces $c_a=0$ for $a\ge 2$. Equality occurs precisely along the top eigendirection:

To obtain a unit vector in $S$ using just ${\mathbf{e}}_1,{\mathbf{e}}_2$, let $u=({\mathbf{e}}_1{)}_1$ and $v=({\mathbf{e}}_2{)}_1$ denote their first coordinates. If $u^2+v^2>0$, takeThen ${\alpha }_{1}u+{\alpha }_{2}v=0$ and ${\alpha }_1^2+{\alpha }_2^2=1$. Hence ${\alpha }_1{\mathbf{e}}_1+{\alpha }_2{\mathbf{e}}_2$ has first coordinate zero and unit length. If $u=v=0$, simply take ${\alpha }_1=1,{\alpha }_2=0$. In either case the Rayleigh quotient of the constructed vector isThe continuous quadratic form attains its maximum on the compact space $S$, so

For $\mathbf{x}=(0,\mathbf{y}{)}^T$, deletion of the first row and column gives ${\mathbf{x}}^{T}M\mathbf{x}={\mathbf{y}}^{T}A\mathbf{y}$, while $|\mathbf{x}|=|\mathbf{y}|$. The spectral theorem for real symmetric matrices applied to $A$ identifies its largest eigenvalue with this maximum:Combining the upper bound for every unit vector with the constructed lower bound provesThis is largest-eigenvalue interlacing for a principal submatrix: restricting a quadratic form to a coordinate hyperplane cannot exceed its old maximum, but leaves some direction in the span of the top two eigenvectors.

A matrix is a diagonalizable matrix if there is an invertible matrix $P$ for which $P^{-1}MP$ is diagonal. Its columns then form a basis of eigenvectors, and the diagonal entries are their corresponding eigenvalues.

Here the given eigenvectors form an orthonormal basis. Put them into the columns of $Q$:Define $\Lambda =Q^{T}MQ$. Its entries areThis proves the claimed diagonalization of a matrix, rather than merely guessing it:The trace follows directly from this factorization:because each column of $Q$ has unit length. Trace is the sum of the eigenvalues, with multiplicity.

For the particular matrix, $(M^2{)}_{ij}={\sum }_k{M}_{ik}{M}_{kj}$. If $i=j$, every $k\ne i$ contributes one and $k=i$ contributes zero. If $i\ne j$, precisely $k=i$ and $k=j$ contribute zero; the other $n-2$ terms contribute one. ThusApplying this identity to a nonzero eigenvector givesEvery eigenvalue is therefore $n-1$ or $-1$.

If $r$ is the multiplicity of $n-1$, the trace formula for a diagonalizable matrix and the zero diagonal giveso $r=1$. Up to ordering, the required diagonal form isFor $n=1$ this means just $(0)$. For $n\ge 2$, the eigendirections are also transparent: the all-ones vector has eigenvalue $n-1$, and the $(n-1)$-dimensional subspace whose coordinate sum is zero has eigenvalue $-1$, since $(M\mathbf{x}{)}_i={\sum }_j{x}_j-x_i$. The spectrum consists of one collective mode and $n-1$ zero-sum modes.

Write the system as ${\mathbf{x}}^{\prime }=M\mathbf{x}$, with $M=\left(\begin{array}{cc}2& 5\\ -1& -2\end{array}\right)$. Its characteristic polynomial is ${\lambda }^2+1$, so its eigenvalues are $i$ and $-i$. An eigenvector for $i$ is $v=(5,-2+i{)}^{\mathsf{T}}$. Thus $e^{it}v$ is a complex solution, and its real part and imaginary part give real solutions:Their initial vectors are $(5,-2{)}^{\mathsf{T}}$ and $(0,1{)}^{\mathsf{T}}$, with determinant $5\ne 0$. Consequently they are linearly independent and span the two-dimensional solution space.

The characteristic polynomial of the given matrix is $(t-1)(t-2{)}^2$. Solving the two eigenvalue equations givesFor example, multiplying the matrix by these three vectors gives respectively $1$, $2$ and $2$ times the original vector. The eigenvectors form a basis: the matrix with these columns has nonzero determinant $-1$. Thus an eigenbasis and its diagonal matrix are

We prove the finite-dimensional spectral theorem for normal operators by induction on dimension. A complex linear operator has an eigenvector $v$ with eigenvalue $\lambda$, by the fundamental theorem of algebra. For a normal operator $T$, the operator $T-\lambda I$ is also normal, andfor every $w$. Applying this to $v$ shows $T^{\ast }v=\overline{\lambda }v$.

Normalize $v$. Its orthogonal complement $W=v^{\perp }$ is invariant under both $T$ and $T^{\ast }$: the adjoint operator identities pair $Tw$ with $v$ through $T^{\ast }v$, and $T^{\ast }w$ with $v$ through $Tv$. The restricted operator on $W$ remains normal, and its adjoint is the restriction of $T^{\ast }$. Induction supplies an orthonormal eigenbasis of $W$, which together with $v$ gives one for $V$.

Conversely, in an orthonormal basis of eigenvectors, $T$ is diagonal and $T^{\ast }$ is the diagonal matrix of the conjugate eigenvalues. The two diagonal operators commute. Thus normality is equivalent to an orthonormal eigenbasis. The zero-dimensional case is immediate.

Over the complex numbers, every finite-dimensional representation of a solvable Lie algebra has a basis in which every representing matrix is upper triangular. The Lie theorem is often stated first as the existence of a common eigenvector in every nonzero finite-dimensional Lie algebra representation of a solvable Lie algebra. Applying that assertion successively to quotient representations gives an invariant complete flag, and hence the upper triangular form. The same proof works over any algebraically closed field of characteristic zero.

We prove the common eigenvector assertion by induction on $\dim \mathfrak{g}$, writing the action as $av$. The zero Lie algebra is immediate. If $\mathfrak{g}\ne 0$ is solvable, its derived series of a Lie algebra shows that $[\mathfrak{g},\mathfrak{g}]\ne \mathfrak{g}$. Choose a codimension-one ideal of a Lie algebra $\mathfrak{a}$ containing $[\mathfrak{g},\mathfrak{g}]$, and choose $x\notin \mathfrak{a}$. By induction there are $v\ne 0$ and a linear functional $\lambda :\mathfrak{a}\to \mathbb{C}$ such that $av=\lambda (a)v$ for all $a\in \mathfrak{a}$.

Let $W$ be the span of $v,xv,x^{2}v,\dots$. If $m=\dim W$, the first $m$ of these vectors form a basis, and $W$ is $x$-invariant. We claim that for each $a\in \mathfrak{a}$,For $j=0$ this is the definition of $v$. For the induction step, use $ax=xa+[a,x]$ and $[a,x]\in \mathfrak{a}$. Applying the induction hypothesis to both $a$ and $[a,x]$ proves the claim. Consequently $W$ is $\mathfrak{a}$-invariant, and every $a\in \mathfrak{a}$ acts on $W$ by an upper triangular matrix with all diagonal entries $\lambda (a)$.

Since both $x$ and $a$ preserve $W$, the matrix trace of their commutator on $W$ is zero. The claim applied to $[x,a]\in \mathfrak{a}$ givesHere characteristic zero is essential: $m\ne 0$ in the field, so $\lambda ([x,a])=0$. Now the common weight spaceis nonzero and $x$-invariant. Indeed, for $w\in E_{\lambda }$,An endomorphism of a nonzero finite-dimensional complex vector space has an eigenvector, so choose an eigenvector of $x$ in $E_{\lambda }$. It is a common eigenvector for $\mathfrak{g}=\mathfrak{a}+\mathbb{C}x$. This proves the Lie theorem.

For the printed matrices in characteristic $p$, $[x,y]=x$, and there is no common eigenvector. Index the standard basis by $e_0,\dots ,e_{p-1}$. The cyclic entry in the PDF givesThe $p$ diagonal eigenvalues of $y$ are distinct in $k$. Thus every eigenvector of $y$ is a scalar multiple of a single $e_j$. Since $p\ge 2$, $x{e}_j$ is never a scalar multiple of $e_j$, proving the assertion even when $k$ is not an algebraically closed field.

For $1\le j\le p-1$,At the cyclic boundary,Hence $[x,y]=x$. The two-dimensional Lie subalgebra $kx+ky$ has derived algebra $kx$, whose own derived algebra is zero, so it is solvable. It nevertheless has no common eigenvector, including after extending $k$ to its algebraic closure. This is a failure of Lie theorem in positive characteristic. In the proof above, the obstruction is precisely that $\dim W=p$ can vanish as a scalar in $k$.

The derived algebra of a complex solvable Lie algebra is nilpotent. First suppose $\mathfrak{g}\subseteq \mathfrak{gl}(V)$. By the Lie theorem, put every element of $\mathfrak{g}$ in upper triangular form. The diagonal of a commutator of upper triangular matrices is zero, so $\mathfrak{d}=[\mathfrak{g},\mathfrak{g}]$ consists of strictly upper triangular matrices. The Lie algebra of all such matrices is a nilpotent Lie algebra: if $F_r$ consists of matrices whose entries vanish whenever $j-i<r$, thenTherefore the lower central series of a Lie algebra of $\mathfrak{d}$ reaches zero. Alternatively, every element of $\mathfrak{d}$ is a nilpotent linear map, and the Engel theorem states that a finite-dimensional Lie subalgebra consisting of nilpotent linear maps is a nilpotent Lie algebra.

For an abstract complex solvable Lie algebra $\mathfrak{g}$, apply the preceding result to its Adjoint representation. The Lie algebra $\mathrm{ad}\mathfrak{d}=[\mathrm{ad}\mathfrak{g},\mathrm{ad}\mathfrak{g}]$ is nilpotent. Since $\ker (\mathrm{ad}{|}_{\mathfrak{d}})=\mathfrak{d}\cap Z(\mathfrak{g})$ is central in $\mathfrak{d}$, some term of the lower central series of a Lie algebra of $\mathfrak{d}$ lies in that central ideal; the next term is zero. Thus $\mathfrak{d}$ itself is nilpotent.

Conversely, every nilpotent Lie algebra is solvable, since its derived series of a Lie algebra is contained term by term in its lower central series of a Lie algebra. If $\mathfrak{d}$ is nilpotent, it is therefore solvable, and $\mathfrak{g}/\mathfrak{d}$ is Abelian. More directly, the derived series of a Lie algebra of $\mathfrak{g}$, after its first term, is the derived series of a Lie algebra of $\mathfrak{d}$. Consequently the derived algebra nilpotence criterion is

The definitions in a unital C-star algebra areThus a Hermitian element of a C-star algebra is self-adjoint, a Unitary element of a C-star algebra has inverse $x^{\ast }$, and a Normal element of a C-star algebra commutes with its adjoint. We derive the needed C-star algebra facts directly from $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$, as required.

First $\Vert 1\Vert =\Vert 1{\Vert }^2$ gives $\Vert 1\Vert =1$, andgives $\Vert a\Vert \le \Vert a^{\ast }\Vert$; applying the same argument to $a^{\ast }$ gives equality. Thus the involution is an isometry. For a Unitary element of a C-star algebra $u$,The general Banach algebra spectrum bound gives $|\lambda |\le 1$ for $\lambda \in \sigma (u)$. Such a $\lambda$ is nonzero, and the inverse spectral mapping theorem gives ${\lambda }^{-1}\in \sigma (u^{-1})$, so also $|\lambda {|}^{-1}\le 1$. Hence

If $h=h^{\ast }$, the convergent exponential series and the isometric involution give $(e^{ith}{)}^{\ast }=e^{-ith}$. These commuting exponentials multiply to $1$, so $e^{ith}$ is unitary for real $t$. By the exponential spectral mapping theorem, if $\lambda \in \sigma (h)$ then $e^{it\lambda }\in \sigma (e^{ith})\subseteq \mathbb{T}$. Taking $t=1$ gives $e^{-\mathrm{Im}\lambda }=1$, soOnly general Banach algebra spectral mapping theorem and the defining C-star identity were used.

Now prove spectral permanence for C-star algebras. Let $B\subseteq A$ be the norm-closed C-star subalgebra with the same identity. The algebraic inclusion always gives ${\sigma }_A(b)\subseteq {\sigma }_B(b)$. For $h=h^{\ast }\in B$, both spectra lie in $\mathbb{R}$. If $\lambda \notin {\sigma }_A(h)$, choose nonreal ${\lambda }_n\to \lambda$. Since ${\sigma }_B(h)\subseteq \mathbb{R}$, each $({\lambda }_{n}1-h{)}^{-1}$ belongs to $B$. By continuity of inversion in a Banach algebra, these inverses converge in $A$ to $(\lambda 1-h{)}^{-1}$, which belongs to $B$ because $B$ is closed. Thus $\lambda \notin {\sigma }_B(h)$, proving equality for hermitian elements.

For the requested normal $x\in B$, suppose $b=x-\lambda 1$ is invertible in $A$. The element $b^{\ast }b$ is hermitian and invertible in $A$, so the equality just proved places $(b^{\ast }b{)}^{-1}$ in $B$. ConsequentlySince $b$ already has a two-sided inverse in $A$, multiplying $yb=1$ by that inverse gives $y=b^{-1}$. Hence its inverse belongs to $B$, and

We need one more elementary consequence of the C-star identity: the spectral radius norm equality for normal elements. If $h=h^{\ast }$, then $\Vert h^2\Vert =\Vert h{\Vert }^2$. If $a$ is normal, commutativity of $a,a^{\ast }$ givesEvery power of $a$ is a Normal element of a C-star algebra. Induction gives $\Vert a^{2^n}\Vert =\Vert a{\Vert }^{2^n}$. The general spectral radius formula therefore implies

The continuous functional calculus is the unique unital $\ast$-homomorphism $C(K)\to \mathcal{B}(H)$ taking the coordinate function to $T$. For bounded linear operators on a Hilbert space, the adjoint identity gives $\Vert S\Vert ={\sup }_{\Vert v\Vert =\Vert w\Vert =1}|⟨Sv,w⟩|=\Vert S^{\ast }\Vert$. ThereforeThis proves the C-star identity for $\mathcal{B}(H)$ directly; completeness and submultiplicativity come from the operator norm. LetBecause $T$ is a normal operator, this is a commutative unital C-star algebra. Every element of $C$ is a Normal element of a C-star algebra, so the preceding norm identity says its Gelfand transform is isometric:Here $\Delta (C)$ is the compact character space from the general Gelfand representation theorem for commutative Banach algebras.

Each algebra character preserves the involution. Indeed, write $a=h+ik$ with $h,k$ hermitian; $\chi (h)\in {\sigma }_C(h)\subseteq \mathbb{R}$ and similarly for $k$, so $\chi (a^{\ast })=\overline{\chi (a)}$. Therefore the continuous mapis injective: its value determines $\chi (T^{\ast })$ and hence its value on all the dense polynomials. It is surjective because the general character description of the spectrum gives $\{\chi (T):\chi \in \Delta (C)\}={\sigma }_C(T)$, and spectral permanence for C-star algebras identifies this with ${\sigma }_{\mathcal{B}(H)}(T)=K$. A continuous function that is a bijection from a compact space to a Hausdorff space is a homeomorphism, so we identify $\Delta (C)$ with $K$.

Under this identification, the Gelfand transform sends $T$ to $u(z)=z$ and $T^{\ast }$ to $\overline{u}$. Its image is an isometric, and therefore closed, unital self-adjoint subalgebra of $C(K)$. It separates points because it contains $u$. The complex Stone-Weierstrass theorem makes the image dense, hence equal to all of $C(K)$. Inverting the Gelfand transform and including $C$ into $\mathcal{B}(H)$ givesan isometric unital C-star homomorphism with $u(T)=T$.

To prove uniqueness without assuming automatic continuity of C-star homomorphisms, let $\Psi$ be any other such map. Since every $f\in C(K)$ is normal, $\Psi (f)$ is normal. A unital algebra homomorphism preserves inverses, soUsing the normal-element norm identity yields $\Vert \Psi (f)\Vert =r(\Psi (f))\le \Vert f{\Vert }_{\infty }$. Thus $\Psi$ is contractive. It agrees with $\Phi$ on polynomials in $u,\overline{u}$, since both send them to the same polynomials in $T,T^{\ast }$. These polynomials are dense by the Stone-Weierstrass theorem, so continuity proves $\Psi =\Phi$. This establishes the continuous functional calculus with no unproved theorem specific to C-star algebras.

A disconnected spectrum gives a nontrivial closed invariant subspace. Write $K=K_1\bigsqcup K_2$ with $K_1,K_2$ nonempty and both open and closed in $K$. The indicator function $f=1_{K_1}$ is continuous on $K$, even though no such continuity is needed across the gap outside $K$. Let $P=f(T)$. The continuous functional calculus givesIts isometry gives $\Vert P\Vert =1$ and $\Vert I-P\Vert =1$, so $P\ne 0,I$. The linear projection has closed range $Y=PH=\ker (I-P)$. Its range is nonzero and proper, and $T(Px)=P(Tx)\in Y$ proves invariance. Since it also commutes with $T^{\ast }$, the same subspace is reducing. This proves disconnected spectrum gives a reducing subspace.

The figure can be realized without any eigenvalues: take $H=L^2(K,dA)$, where $dA$ is planar area on the two closed disks, and let $T$ multiply by $z$. Its adjoint multiplies by $\overline{z}$, so it is a normal operator. An eigenvector for $\lambda$ would be supported on the area-zero singleton $\{\lambda \}$, hence would be zero in $L^2$. Outside $K$, multiplication by $1/(z-\lambda )$ is a bounded inverse to $T-\lambda I$. For $\lambda \in K$, normalized indicator functions of $K\cap \{|z-\lambda |<\epsilon \}$ have $\Vert (T-\lambda I)h\Vert \le \epsilon$, excluding a bounded inverse. Thus its spectrum is exactly $K$. The linear projection in the figure multiplies by $1_{K_1}$, and its range consists of functions supported on the left disk.

Hecke operators give a commuting family of arithmetic symmetries of modular forms. They preserve the weight and cusp forms, and diagonalizing them turns the Fourier coefficients of a modular form into multiplicative arithmetic data. Odd weight spaces are zero by the action of $-I$; in weight zero the operators act on constants by $T_{n}1={\sigma }_{-1}(n)$. For the substantive theory, fix an even positive weight $k$ and $\Gamma =S{L}_2(\mathbb{Z})$, and use the following normalization consistently.

Extend the slash operator for modular forms to $G{L}_2^{+}(\mathbb{Q})$ byIt is a right action and positive scalar matrices act trivially. Let ${\mathcal{D}}_n$ be the integral matrices of determinant $n>0$. The determinant-n matrix representatives for Hecke operators for $\Gamma \backslash {\mathcal{D}}_n$ areInteger row operations reduce the first column to $(a,0)$, after which a row shear reduces $b$ modulo $d$; uniqueness follows from these same conditions. The Hecke operator isRight multiplication by $\Gamma$ permutes the left cosets, so $T_{n}f$ is again invariant under the weight-$k$ slash operator for modular forms. Each summand is a holomorphic function on the complex upper half-plane, and the coefficient formula below proves holomorphy at a cusp. Thus $T_n$ acts on $M_k(\Gamma )$ and preserves $S_k(\Gamma )$. Geometrically, these operators sum over index-$n$ sublattices, or equivalently the associated finite-degree correspondences between complex tori; the factors above compensate for the weight's response to lattice scaling.

Write $f={\sum }_{r\ge 0}{a}_r{q}^r$. The sum over $b$ is zero unless $d\mid r$, in which case it is $d$. Substituting into the displayed definition proves the Fourier coefficients of a composite-index Hecke operator formulawith $\gcd (n,0)=n$. In particular, $a_0(T_{n}f)={\sigma }_{k-1}(n)a_0(f)$ and $a_1(T_{n}f)=a_n(f)$. At a prime this becomeswhere $a_{r/p}=0$ if $p\nmid r$.

The Hecke multiplication relations areThey can be checked by applying the coefficient formula twice and regrouping the divisors. More explicitly, coprime indices factor independently, so $T_m{T}_n=T_{mn}$ if $(m,n)=1$. At a prime, separating the terms in the divisor sum according to whether one more factor $p$ is available givesIteration gives $T_{p^a}{T}_{p^b}={\sum }_{j=0}^{\min (a,b)}{p}^{j(k-1)}{T}_{p^{a+b-2j}}$; combining the prime factors gives the full relation. Hence all Hecke operators commute, $T_1=1$, and the Hecke algebra of modular forms is generated by the $T_p$ together with scalars.

The Petersson inner product on the finite-dimensional cusp form space isThe integrand is invariant and the integral converges because cusp forms decay exponentially at the cusp. The Hecke operators are self-adjoint for the Petersson inner product at level one. To see the underlying adjoint calculation, unfold the finite correspondence for a determinant-$n$ matrix and change variable $\tau \mapsto \alpha \tau$. The invariant hyperbolic measure and the determinant-normalized slash factors transfer $\alpha$ from one side of the inner product to ${\alpha }^{-1}$. Scalar matrices act trivially, so one can replace ${\alpha }^{-1}$ by the integral adjugate $n{\alpha }^{-1}$, which again has determinant $n$. This reverses the correspondence and permutes the same collection of terms, with the same real prefactor $n^{k/2-1}$. Summing givesCommuting self-adjoint operators on a finite-dimensional inner product space admit a common orthonormal basis of eigenvectors. Thus $S_k(\Gamma )$ has a basis of simultaneous Hecke eigenforms, with real eigenvalues.

A nonzero simultaneous cuspidal Hecke eigenform has $a_1\ne 0$: if $T_{n}f={\lambda }_{n}f$ and $a_1=0$, comparison of the first coefficients gives $a_n={\lambda }_n{a}_1=0$ for every $n\ge 1$, so $f=0$. Normalize $a_1=1$. ThenConsequently the full Fourier series is determined by the eigenvalues, and a simultaneous eigenvalue system has a one-dimensional eigenspace. The Hecke multiplication relations translate intoIn particular the coefficients are multiplicative at coprime indices and are determined by the prime coefficients. This is the elementary multiplicity-one statement for normalized level-one Hecke eigenforms.

The Hecke eigenvalues are algebraic integers. One way to explain the arithmetic input is to use the rational structure supplied by the graded ring $M_{\ast }(\Gamma ,\mathbb{Q})=\mathbb{Q}[E_4,E_6]$. The rational cusp form space has a basis with integral Fourier coefficients, for example from appropriate monomials in $E_4,E_6,\Delta$. Its subgroup of forms whose entire expansions are integral is a full lattice: a finite initial coefficient map is injective by the valence formula for the modular group, so it embeds this subgroup into a finite-rank integer module. The coefficient formula shows that every $T_n$ preserves this lattice, and therefore has a monic integral characteristic polynomial. Its eigenvalues are algebraic integers. Simultaneous diagonalization also makes their number field finite over $\mathbb{Q}$; conjugating the rational coefficient data gives another eigenform, whose eigenvalues are again real by self-adjointness. Thus the coefficient field is totally real.

For a normalized cuspidal Hecke eigenform, define its L-function of a cusp form by $L(f,s)={\sum }_{n\ge 1}{a}_n{n}^{-s}$. The coefficient relations yield the Euler product of a Hecke eigenformIndeed the prime-power recurrence gives ${\sum }_{r\ge 0}{a}_{p^r}{X}^r=(1-a_{p}X+p^{k-1}{X}^2{)}^{-1}$, and multiplicativity assembles these factors. These identities hold analytically in an initial right half-plane, as well as formally. For instance boundedness of $y^{k/2}|f(\tau )|$ on the full complex upper half-plane gives $a_n=O(n^{k/2})$, so $\mathrm{Re}s>k/2+1$ suffices for absolute convergence.

The Mellin transform of a cusp-form L-function relates this arithmetic to the modular transformation:Splitting at one and using $f(i/y)=i^k{y}^{k}f(iy)$ givesExponential cusp decay makes the last integral entire in $s$. This proves the analytic continuation and functional equation of the L-function of a cusp form, complementing its Euler product. The root number is $i^k=(-1{)}^{k/2}$.

Two examples show the scope of the theory. For even $k\ge 4$, the Eisenstein series $E_k$ is an eigenform with $T_n{E}_k={\sigma }_{k-1}(n)E_k$. This follows from its divisor-sum expansion and the same multiplicativity relations; its associated positive-index Dirichlet series is proportional to $\zeta (s)\zeta (s-k+1)$. The constant coefficient gives $M_k(\Gamma )=\mathbb{C}{E}_k\oplus S_k(\Gamma )$, so an eigenbasis of the cusp space together with $E_k$ gives an eigenbasis of the whole modular-form space. The ordinary Petersson inner product above is only used on the cusp space, where it converges. In weight twelve the valence formula for the modular group gives $\dim S_{12}=1$: cancellation of the first coefficients of two independent cusp forms would give a nonzero form with order at infinity at least two, exceeding $12/12$. Thus the normalized modular discriminant is a Hecke eigenform; writing $\Delta ={\sum }_{n\ge 1}\tau (n)q^n$ gives the Ramanujan tau function relations $\tau (mn)=\tau (m)\tau (n)$ for coprime $m,n$ and $\tau (p^{r+1})=\tau (p)\tau (p^r)-p^{11}\tau (p^{r-1})$.

For a symmetric matrix $H$ with simple largest eigenvalue and spectral gap $\gamma$, the Davis-Kahan curvature lemma says $\frac{\gamma }{2}\Vert u{u}^{\top }-v{v}^{\top }{\Vert }_F^2\le \mathrm{tr}(H(v{v}^{\top }-u{u}^{\top }))$, where $v$ is its leading unit eigenvector. Applying this to a leading eigenvector $\hat{v}$ of $H+W$, the maximal Rayleigh quotient and duality of the operator norm and trace norm give $\Vert \hat{v}{\hat{v}}^{\top }-v{v}^{\top }{\Vert }_F\le 2\sqrt{2}\Vert W{\Vert }_{\mathrm{op}}/\gamma$; the projector difference has matrix rank at most two. This is a rank-one eigenprojector perturbation bound.

Here $W=M-M_0=A-A_0$ has independent centered bounded upper-triangular entries, apart from symmetry. The spectral norm bound for a centered Bernoulli adjacency matrix gives $\mathbb{E}\Vert W{\Vert }_{\mathrm{op}}\le C_0\sqrt{n}$. Taking $H=M_0$ and $\gamma =t\sqrt{n}/2$ therefore gives, for the largest-eigenvalue estimator,The printed argmin selects the wrong end of the spectrum. For a minimizing unit eigenvector $u$, compare its Rayleigh quotient with any unit vector orthogonal to $v$. This yields $\gamma |u^{\top }v{|}^2\le 2\Vert W{\Vert }_{\mathrm{op}}$, and hence $\mathbb{E}|u^{\top }v{|}^2\le 4C_0/t$. Its mean projector error is at least $\sqrt{2}(1-4C_0/t)$, using $\sqrt{1-x}\ge 1-x$. Along $t=n^{1/4}$ with sufficiently large even $n$, the printed parameter restriction holds and this lower bound tends to $\sqrt{2}$, contradicting an error of order $1/t$. Replace argmin by argmax, or negate the entire matrix before minimizing.

For partitions, the appropriate Hamming distance between unlabelled bipartitions is $\Delta (T,S)=\min \{|T△S|,|T△S^c|\}$. It counts vertices assigned to the wrong group after the better global exchange of the two group names. The printed signed-indicator formula does not implement this exchange: negating a zero-one indicator is not taking its complement. It must be read as this partition distance, or written with the $\pm 1$ membership vectors.

Use the corrected leading eigenvector estimator from 4(b), and orient its sign to minimize $\Vert \hat{v}-\sigma v{\Vert }_2$. At every wrongly signed coordinate, this difference has magnitude at least $1/\sqrt{n}$. Therefore the sign rounding bound for a unit eigenvector givesThe last inequality uses the projector distance bound $\sqrt{2}\le 2$. Taking the expected value of this Frobenius norm estimate proves $\mathbb{E}\Delta (\hat{S},S)\le 2nc/t$. The assertion relies on the corrected estimator and partition-distance definition.