Summary: A specified scalar-null Dirac plane has an exact full spatial spectrum, a sharp density-dependent linear stability threshold and a directional scalar response that cannot be replaced by a universal static overlap.

Exact background and complete perturbation

Use the local scalar equation on flat ordinary spatial Rd\mathbb R^d, d≥2d\ge2, with ℏ=c=1\hbar=c=1:

i∂tΨ=−iα⋅∇Ψ+g(Ψ†βΨ)βΨ+JβΨ.(1) i\partial_t\Psi=-i\alpha\cdot\nabla\Psi+ g(\Psi^\dagger\beta\Psi)\beta\Psi+J\beta\Psi. \tag{1}

All αj,β\alpha_j,\beta are Hermitian anticommuting involutions on a minimal module of complex dimension n=2⌊(d+1)/2⌋n=2^{\lfloor(d+1)/2\rfloor}. JJ is a real scalar probe of the same field. The following constant-density plane is an unbound control per unit volume. It is not an identified physical vacuum or particle.

Choose p,ρ>0p,\rho>0, ∣e∣=1|e|=1, α(e)w=w\alpha(e)w=w, and w†w=1w^\dagger w=1. Then

Ψ0=ρ w eipe⋅x−ipt,w†βw=0,ν=gρ(2) \Psi_0=\sqrt\rho\,w\,e^{ip e\cdot x-ipt},\qquad w^\dagger\beta w=0,\qquad \nu=g\rho \tag{2}

solves (1) at J=0J=0 for every real gg. The scalar vanishes because βw\beta w has the opposite eigenvalue of α(e)\alpha(e). This background exists in both even and odd dd; the invariant linear classes answer the stronger question of arbitrary spatial patterns.

In the carrier frame use the doubled perturbation ζq=(ηq,η−q‾)T\zeta_q=(\eta_q,\overline{\eta_{-q}})^{\mathsf T}. With v=βwv=\beta w, the full Fourier symbol is

H(q)=(A(q)B−B‾−A(−q)‾),A(q)=α⋅(pe+q)−pI+νvv†,B=νvvT.(3) \mathcal H(q)= \begin{pmatrix} A(q)&B\\-\overline B&-\overline{A(-q)} \end{pmatrix},\qquad A(q)=\alpha\cdot(pe+q)-pI+\nu vv^\dagger,\quad B=\nu vv^{\mathsf T}. \tag{3}

The opposite Fourier mode and its conjugate are required by the real scalar variation. They introduce no second physical field. The pointwise source rank alone would miss the spatial kinetic terms in (3).

Exact four-dimensional response block

Write q∥=e⋅qq_\parallel=e\cdot q, q⊥=q−q∥eq_\perp=q-q_\parallel e and k=∣q⊥∣k=|q_\perp|. For k>0k>0 put t=α(q⊥/k)vt=\alpha(q_\perp/k)v. The columns W=(v,t)W=(v,t) are orthonormal, and T=diag⁡(W,W‾)T=\operatorname{diag}(W,\overline W) is an isometric invariant frame for (3). In this order,

H4=(ν−2p−q∥kν0kq∥00−ν0−ν+2p−q∥k00kq∥).(4) \boxed{H_4= \begin{pmatrix} \nu-2p-q_\parallel&k&\nu&0\\ k&q_\parallel&0&0\\ -\nu&0&-\nu+2p-q_\parallel&k\\ 0&0&k&q_\parallel \end{pmatrix}.} \tag{4}

For k=0k=0 choose any physical transverse direction to define tt. No transverse restriction has been placed on the perturbations. The remaining 2n−42n-4 dimensions have the free frequencies

−p±∣pe+q∣,p±∣pe−q∣,(5) -p\pm|pe+q|,\qquad p\pm|pe-q|, \tag{5}

each with multiplicity n/2−1n/2-1. The source-generated block therefore includes all scalar response, while the complete spectrum retains every other spatial polarization.

Put a=p(p−ν)a=\sqrt{p(p-\nu)}, allowing a complex square root. The four remaining frequencies are

ωs,t=sa+t(q∥−sa)2+k2,s,t∈{−1,1}.(6) \boxed{\omega_{s,t}=s a+ t\sqrt{(q_\parallel-s a)^2+k^2},\qquad s,t\in\{-1,1\}.} \tag{6}

Equivalently their characteristic equation is

(ω2−∣q∣2)2=4p(p−ν)(ω−q∥)2.(7) (\omega^2-|q|^2)^2=4p(p-\nu)(\omega-q_\parallel)^2. \tag{7}

For example, reorder (4) as (v,vˉ,t,tˉ)(v,\bar v,t,\bar t). It becomes

(−q∥I+MkIkIq∥I),M=(ν−2pν−ν2p−ν),M2=4p(p−ν)I.(8) \begin{pmatrix}-q_\parallel I+M&kI\\kI&q_\parallel I\end{pmatrix}, \qquad M=\begin{pmatrix}\nu-2p&\nu\\-\nu&2p-\nu\end{pmatrix}, \qquad M^2=4p(p-\nu)I. \tag{8}

Its two MM eigenvalues give (6), and continuity gives the degenerate cases without discarding any modes.

Sharp linear stability boundary

For ν<p\nu<p, the real matrix

G=(2p−ν−ν−ν2p−ν)(9) G=\begin{pmatrix}2p-\nu&-\nu\\-\nu&2p-\nu\end{pmatrix} \tag{9}

has eigenvalues 2p2p and 2(p−ν)2(p-\nu), both positive, and GM=MTGGM=M^{\mathsf T}G. Thus diag⁡(G,G)\operatorname{diag}(G,G) symmetrizes (8). Normalize it by 2p2p and extend by identity on the free orthogonal complement. The result gives the uniform-in-momentum bound

∥ζ(t)∥L2≤max⁡(1,1−ν/p)min⁡(1,1−ν/p)∥ζ(0)∥L2,ν<p.(10) \boxed{\|\zeta(t)\|_{L^2}\le \sqrt{\frac{\max(1,1-\nu/p)}{\min(1,1-\nu/p)}} \|\zeta(0)\|_{L^2},\qquad \nu<p.} \tag{10}

This proves bounded linear evolution for the specified background. It is stronger than merely finding real frequencies, but is not a nonlinear stability or particle-binding theorem.

At ν=p\nu=p, MM is nonzero and nilpotent. At q=0q=0 the normalized initial vector (i,0,−i,0)/2(i,0,-i,0)/\sqrt2 has evolved norm 1+4p2t2\sqrt{1+4p^2t^2}. The threshold has secular growth and fails (10).

For ν>p\nu>p, write a=iba=ib, b=p(ν−p)b=\sqrt{p(\nu-p)}. At k=0k=0 there is an exponentially growing frequency −q∥+2ib-q_\parallel+2ib. Continuity gives growth on an open set of nearby momenta, so the instability is available to spatial wavepackets. Its largest possible growth rate is 2b2b. To see the bound, write r=q∥r=q_\parallel and use

∣Im⁡(r−ib)2+k2∣2=(r2+k2−b2)2+4r2b2−(r2+k2−b2)2≤b2.(11) \left|\operatorname{Im}\sqrt{(r-ib)^2+k^2}\right|^2 =\frac{\sqrt{(r^2+k^2-b^2)^2+4r^2b^2} -(r^2+k^2-b^2)}2\le b^2. \tag{11}

Squaring the last inequality leaves 4b2k2≥04b^2k^2\ge0. The threshold depends on frequency, density and the written coefficient; it contains no special spatial depth.

For ν<p\nu<p, each cone in (6) has group speed one away from its apex. Near q=0q=0 the low branches behave as ω=q∥±k2/(2a)+O(∣q∣3/a2)\omega=q_\parallel\pm k^2/(2a)+O(|q|^3/a^2). The transverse low-frequency dispersion is quadratic there.

Scalar susceptibility and the static limit

The force and scalar readout in (4) are ρ(1,0,−1,0)T\sqrt\rho(1,0,-1,0)^{\mathsf T} and ρ(1,0,1,0)\sqrt\rho(1,0,1,0), respectively. Solving the resolvent gives

χnull(z,q)=−4pρ(z−q∥)2(z2−∣q∣2)2−4p(p−ν)(z−q∥)2.(12) \boxed{\chi_{\rm null}(z,q)= \frac{-4p\rho(z-q_\parallel)^2} {(z^2-|q|^2)^2-4p(p-\nu)(z-q_\parallel)^2}.} \tag{12}

One direct derivation eliminates both transverse partners and sets F=(z2−∣q∣2)/(z−q∥)F=(z^2-|q|^2)/(z-q_\parallel). The remaining block is FI−MFI-M, with forcing ρ(1,−1)\sqrt\rho(1,-1) and readout ρ(1,1)\sqrt\rho(1,1). Its numerator is −4pρ-4p\rho; multiplying by (z−q∥)2(z-q_\parallel)^2 gives (12). The rational expression supplies the continuous limits where this intermediate elimination divides by zero.

For stable backgrounds take the retarded boundary value z=ω+i0z=\omega+i0. For unstable backgrounds the initial-value response uses a Laplace contour above the growing poles. An unqualified +i0+i0 prescription would omit that condition. The local first-order equation retains the causal domain of dependence described in causal scalar response.

At zero momentum the removable factors cancel:

χnull(z,0)=−4pρz2−4p(p−ν),χnull(0,0)=ρp−ν(ν<p).(13) \chi_{\rm null}(z,0)= -\frac{4p\rho}{z^2-4p(p-\nu)},\qquad \chi_{\rm null}(0,0)=\frac{\rho}{p-\nu}\quad(\nu<p). \tag{13}

In contrast, a nonzero purely transverse static momentum has χnull(0,q)=0\chi_{\rm null}(0,q)=0. General static poles satisfy ∣q∣2=2a∣q∥∣|q|^2=2a|q_\parallel|: two elastic-scattering spheres centered at ±ae\pm ae, each of radius aa. These directional limits and resonances exclude treating this background's response as one universal positive elliptic overlap coefficient.

Nonlinear comparison and scope

The nonnull moving branches emerge at the same threshold and have a continuously connecting scalar response. Neither family is a localized particle or a discrete mass selection.

scalar_plane_response_checks.py compares (4) with the complete spinor symbol in spatial dimensions two through six and ten, with complex polarizations and general momenta. Independent Fourier differences of the nonlinear source check both ordinary and conjugate blocks. The diagnostic verifies the full spectrum, positive metric, evolution bound, critical Jordan mode and scalar resolvent.

It also evolves the original eight-component nonlinear plane at p=ρ=1p=\rho=1 and ν=0.3,1,1.4\nu=0.3,1,1.4. Halving the initial perturbation from 10−510^{-5} to 5×10−65\times10^{-6} approximately halves the error divided by that perturbation amplitude, as required for a first variation. Over 0≤t≤40\le t\le4, the selected linear perturbations amplify by approximately 1.0161.016, 8.0628.062 and 157.53157.53, respectively. Positive norm and the complete kinetic-plus-scalar energy remain conserved. These are dynamical checks of the stated controls; they do not measure a physical particle coupling.